teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] In un sistema assiomatico moderno la distinzione fra t. e assiomi non è però netta e assoluta in quanto il sistema costituisce un insieme organico di enunciati nel quale si può, in generale, cominciare ...
Leggi Tutto
teorema ergodico
Giacomo Aletti
In un sistema dinamico governato da una trasformazione ergodica, la media spaziale e la media temporale coincidono quasi certamente. Matematicamente, un sistema dinamico [...] -preserving (X,✄,P,T) è detto ergodico se gli unici eventi T-invarianti sono banali, ossia hanno probabilità 0 o 1. Il teorema ergodico afferma che per funzione g su un sistema ergodico (X,✄,P,T) sufficientemente regolare – g deve appartenere a L1(X ...
Leggi Tutto
teorema della divergenza
Luca Tomassini
Una formula nel calcolo di integrali multipli di funzioni di più variabili che stabilisce un legame tra un integrale (di volume) su un dominio n-dimensionale [...] x1,...,∂/∂xn) l’operatore gradiente e con ( , ) l’usuale prodotto scalare in ℝn, si può scrivere diva(x)=(∇,a(x)). Il teorema della divergenza prende allora la forma
dove l’integrale a secondo membro è esteso al bordo ∂G e dS indica l’elemento ...
Leggi Tutto
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] ′di T per cui T′⊩A. Equivalentemente, una teoria T ha un modello se ne ha uno ogni sua parte finita. Il teorema vale per i linguaggi elementari di qualunque cardinalità dei linguaggi elementari ma non vale in generale nelle forme sopra mensionate per ...
Leggi Tutto
teorema di Mazur
Arrigo Cellina
Proposizione secondo la quale uno spazio normato, un insieme che sia convesso e chiuso è anche chiuso rispetto alla topologia debole. Nella topologia debole si hanno [...] che una successione (xn) converge debolmente a x* se per ogni x′ nello spazio duale X′ si ha che x′(xn)→x′(x*). Il teorema di Mazur afferma che se X è uno spazio di Banach e (xn) una successione di elementi di X che converge debolmente a x*, allora ...
Leggi Tutto
teorema di Bayes
Giacomo Aletti
Risultato della teoria della probabilità che nel suo uso più frequente lega le distribuzioni marginali e condizionate di variabili aleatorie. Viene anche utilizzato, [...] le due scuole bayesiana e frequentista. Nella sua forma matematica più semplice, il teorema di Bayes è conseguenza del teorema delle probabilità totali e della definizione di probabilità condizionata. In questa forma, su uno spazio di probabilità ...
Leggi Tutto
Fermat, ultimo teorema di
MMassimo Bertolini
di Massimo Bertolini
SOMMARIO: 1. Introduzione. ▭ 2. Storia: il lavoro di Kummer. ▭ 3. Estensioni abeliane di Q. ▭ 4. Estensioni esplicite di campi e funzioni [...] di L( f, s) e quindi di L(E, s). La seconda parte della congettura di Birch e Swinnerton-Dyer è nota, grazie ai teoremi di Benedict Gross e Don Zagier (v., 1986) e Victor Kolyvagin (v., 1990), solamente se l'ordine di annullamento di L(E, s) in ...
Leggi Tutto
teorema del limite centrale
Luca Tomassini
Nome collettivo per una serie di teoremi limite in teoria della probabilità che stabiliscono condizioni sotto le quali somme o altre funzioni di un grande [...] casuali in ciascuna riga sono allora indipendenti e Zn=Xn,1+...+Xn,n. Le usuali condizioni per la valità del teorema del limite centrale implicano che Xn,k è asintoticamente trascurabile al crescere di n. Viceversa, dato uno schema triangolare e ...
Leggi Tutto
teorema fondamentale dell’algebra
Luca Tomassini
Teorema che stabilisce, per ogni polinomio a coefficienti complessi, l’esistenza di almeno una radice nel campo dei numeri complessi. Più precisamente, [...] complessi ha sempre un numero di radici complesse pari al suo grado. È questa la forma completa del teorema fondamentale dell’algebra. Il teorema è stato per la prima volta enunciato da René Descartes nel 1637, seppure in veste diversa da quella ...
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...