confronto
confrónto [Der. del lat. confrontare "mettere di fronte", da cum "insieme" e frons frontis "fronte"] [LSF] Atto ed effetto del confrontare, cioè del mettere di fronte due o più cose per riconoscerne [...] : v. magnetotellurica: III 611 b. ◆ [MTR] [OTT] Metodo del c. in cascata: v. misurazioni ottiche: IV 45 c. ◆ [ALG] Teorema del c.: afferma che: (a) se una serie a₁+...+an+... è assolutamente convergente, è tale anche la serie b₁+...+bn+... se |ai|> ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] T sui r. si possono scambiare tra loro le due operazioni citate ottenendo un altro teorema T' anch'esso valido, detto teorema duale di T. Esempi di r. sono: (a) nell'aritmetica, i numeri naturali quando si assumano come "intersezione" e "unione ...
Leggi Tutto
Categoricità
Silvio Bozzi
Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] e definire k-categorica, dove k è un cardinale, ogni teoria i cui modelli di cardinalità k sono isomorfi. Un teorema fondamentale al riguardo, dimostrato nel 1965 da Michael Morley, stabilisce che ogni teoria elementare numerabile, se è categorica in ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e induzione: v. complessità di calcolo: I 663 b. ◆ [ALG] Insiemi r.: v. Gödel, teorema di: III 57 b. ◆ [INF] Paradigma r.: v. algoritmi, teoria degli: I 102 c. ...
Leggi Tutto
ordinamento
ordinaménto [Der. del lat. ordinamentum "atto ed effetto dell'ordinare", da ordinare "mettere in ordine"] [ALG] Per un insieme, è la disposizione dei suoi elementi in un determinato ordine, [...] un primo elemento, com'è, per es., l'o. dei numeri interi naturali secondo i valori crescenti. Esiste un teorema di E. Zermelo (1904), detto teorema del buon o., secondo il quale ogni insieme è suscettibile di tale ordinamento. [ALG] O. ciclico, o ...
Leggi Tutto
algebra di funzioni
Luca Tomassini
L’insieme F([a,b],ℂ) di tutte le funzioni f: [a,b]⊂ℝ→ℂ definite su un intervallo [a,b] della retta reale ℝ e a valori nei numeri complessi ℂ costituisce un’algebra, [...] è detta separare i punti se per x1≠x2 in X esiste f in A tale che f(x1)≠f(x2). In questo caso vale il teorema di approssimazione di Stone-Weierstrass: la chiusura (nella topologia della norma) di A coincide C0(X,ℂ). Per es., se X è l’intervallo [0,1 ...
Leggi Tutto
Laplace Pierre-Simon de
Laplace 〈laplàs〉 (in origine La Place) Pierre-Simon de (questa particella viene quasi sempre fatta cadere) [STF] (Beaumont-en-Auge, Calvados, 1749 - Parigi 1827) Prof. di matematica [...] è uguale alla somma dei prodotti degli elementi di una prefissata riga (o colonna) per i rispettivi complementi algebrici; (b) secondo teorema: è sempre nulla la somma dei prodotti degli elementi di una riga (o colonna) di una matrice quadrata per i ...
Leggi Tutto
Riemann Bernhard
Riemann 〈rìiman〉 Bernhard [STF] (Breselenz 1826 - Intra 1866) Prof. di matematica nell'univ. di Gottinga (1857). ◆ [ALG] Formula di R.-Hurwitz: v. Riemann, superfici di: V 4 b. ◆ [ALG] [...] (v. sopra) espresso con le sue componenti covarianti. ◆ [ALG] Teorema di esistenza di R.: v. Riemann, superfici di: V 4 c. ◆ [ALG] Teorema di R.-Lebesgue: v. trasformazione integrale: VI 299 c. ◆ [ALG] Teorema di R.-Roch: v. superfici di Riemann: V 5 ...
Leggi Tutto
Steiner Jakob
Steiner (o Stainer) 〈stàinër〉 Jakob [STF] (Utzensdorf 1796 - Berna 1863) Prof. di geometria nell'univ. di Berlino (1834). ◆ [ALG] Curva di S. (o, assolut., steineriana s.f.): di una curva [...] con la particolarità che le sue sezioni con piani tangenti sono tutte curve spezzate in coppie di coniche. ◆ [ALG] Teorema di S. sulla generazione proiettiva di coniche: ogni conica irriducibile può essere concepita come luogo dei punti d'incontro di ...
Leggi Tutto
Banach Stefan
Banach 〈bànak〉 Stefan [STF] (Cracovia 1892 - Leopoli 1945) Prof. (1924) nell'univ. di Leopoli. ◆ [ALG] Algebra di B. (propr., algebra commutativa di B.): è un'algebra nella quale si sia [...] di Cauchy converge a un elemento dello spazio; per es., uno spazio di Hilbert: v. funzionale, analisi: II 771 a. ◆ [ALG] Teorema di B.-Alaoglu: v. algebre di operatori: I 98 a. ◆ [ALG] Teorema di B.-Steinhaus: v. funzionale, analisi: II 770 f. ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...