spazio separabile
Luca Tomassini
Un insieme A è detto di cardinalità numerabile se esso può essere posto in corrispondenza biunivoca con l’insieme dei numeri naturali positivi ℕ. Esempi di insiemi numerabili [...] X stesso o equivalentemente per ogni x∈X deve essere possibile trovare una successione di elementi an∈A (con A di cardinalità numerabile) convergente a x nella topologia assegnata. La chiusura dell’insieme ℕ visto come sottoinsieme di ℝ (dotato della ...
Leggi Tutto
Kummer Ernst Eduard
Kummer 〈kumër〉 Ernst Eduard [STF] (Sorau 1810 - Berlino 1893) Prof. di matematica nell'univ. di Breslavia (1843) e poi di Berlino (1856); socio straniero dei Lincei (1883). ◆ [ANM] [...] se esiste una successione c₁,c₂,...,cn... di numeri positivi, tale che, da un certo n in poi, la quantità (cn an/an+1)-cn+1 si mantenga superiore a un numero positivo costante; la serie data è invece divergente se esiste una serie divergente ...
Leggi Tutto
Fermat, test di
Fermat, test di in teoria dei numeri, è un test di non primalità, vale a dire una sorta di prova che, dato un numero intero, permette (ma non sempre) di stabilire se esso non è primo. [...] n è un numero primo. Un numero n che supera il test di Fermat con base a (vale a dire tale che an ≡ a(modn)) è detto pseudoprimo (di Fermat) in base a; un numero non primo che sia uno pseudoprimo di Fermat in qualsiasi base è detto numero ...
Leggi Tutto
Carmichael, numero di
Carmichael, numero di in teoria dei numeri, numero intero positivo composto n che, per ogni intero positivo a, soddisfa la relazione an ≡ a (modn) (si legga: an congruo a modulo [...] modulo n); vale a dire tale che n divide an − a, per ogni intero positivo a. Sono per esempio numeri di Carmichael 561 e 41041. I numeri di Carmichael sono i numeri non primi per i quali il test di Fermat, in ogni base a, non ha termine; la ...
Leggi Tutto
linguaggio context-free
linguaggio context-free linguaggio formale generato da una → grammatica generativa G = 〈AN, A, P, s〉, dove A è l’alfabeto dei simboli terminali, AN è l’alfabeto dei simboli non [...] di riscrittura (produzioni) del tipo α → β, così intendendo che la stringa a sinistra della freccia può essere rimpiazzata da quella a destra, con α ∈ AN e β ∈ (AN ∪ A)+. Tali regole indicano che un simbolo non terminale può essere sostituito da una ...
Leggi Tutto
telescopico
telescòpico [agg. (pl.m. -ci) "attinente al telescopio" Der. di telescopio] [FTC] Di dispositivi meccanici in cui si abbia un organo costituito da due o più tubi che s'inseriscono e scorrono [...] partic. stella, osservabile soltanto al telescopio, cioè non visibile a occhio nudo; sono tali gli astri che hanno una magnitudine ◆ [ANM] Somma t.: si dice di una somma della forma Σi=ni=1 (ai-ai-1). Il risultato della somma è ovviamente an-a₀. ...
Leggi Tutto
linguaggio regolare
linguaggio regolare linguaggio formale generato da una grammatica generativa G = 〈An, A, P, s〉 dove A è l’alfabeto dei simboli terminali, An è l’alfabeto dei simboli non terminali, [...] di regole di riscrittura (produzioni) del tipo α → β, così intendendo che la stringa a sinistra della freccia può essere rimpiazzata da quella a destra, con α ∈ An e con β simbolo terminale oppure simbolo terminale seguito da un simbolo non terminale ...
Leggi Tutto
ricorrente
ricorrènte [agg. Part. pass. di ricorrere, dal lat. recurrere, comp. di re- e currere "correre"] [ALG] Di procedimento, definizione, formula, ecc. che permette di passare dall'ente Am-1 al-l'ente [...] Am, ... termini di una particolare successione): per es., la definizione di potenza an può essere data con procedimento r. facendo le posizioni a1=a, a2=a·a1, ..., an=a·an-1. ◆ [ALG] Determinante r.: lo stesso che determinante ortosimmetrico (←). ...
Leggi Tutto
Fermat, pseudoprimo di
Fermat, pseudoprimo di o numero pseudoprimo, in algebra, se a è un fissato intero positivo, uno pseudoprimo di Fermat in base a è un intero positivo n che verifica la congruenza [...] an ≡ a (mod n). Un numero composto che sia uno pseudoprimo di Fermat in qualsiasi base è detto numero di → Carmichael. Gli pseudoprimi di Fermat nascono in relazione al test di non primalità di Fermat (→ Fermat, test di). ...
Leggi Tutto
ortosimmetrico
ortosimmètrico [agg. (pl.m. -ci) Comp. di orto- e simmetrico] [ALG] Determinante o., o ricorrente: è del tipo a₀a₁a₂ an-1 a₁a₂a₃ an ✄ a₂a₃a₄ an+1 ✄ an-1 anan+1 a₂ ;esso è nullo [...] se gli elementi formano una progressione aritmetica di ordine minore di n-1 oppure una progressione geometrica ...
Leggi Tutto
a-2
a-2 (davanti a vocale an-) [dal gr. ἀ-, ἀν-, con lo stesso etimo e valore del lat. in-; cfr. gr. ἄ-σοϕος, lat. in-doctus]. – Primo elemento (detto alfa privativo, o anche, meno spesso, a- privativo, a- negativo) di composti greci o formati...