validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione ...
Leggi Tutto
Malgrange Bernard
Malgrange 〈malgràngë〉 Bernard [STF] (n. 1928) ◆ [ANM] Teorema di preparazione di M.: afferma che data una funzione di classe C∞ in un intorno dell'origine di Rn+1 che soddisfi F(t, [...] 0, ..., 0)=g(t)tk, con g(t)€0 per t=0, allora esiste in C∞ una funzione q tale che qF(t, x₁, ..., xn)= tk+Σk-1i=0 λi(x₁, ..., xn)ti, con λi(0, ..., 0)=0 per ogni i=1, ..., n; questo risultato (che generalizza ...
Leggi Tutto
Kouchnirenko
Kouchnirenko (o, in traslitterazione più corretta, Kuchnirenko) 〈kushniriènko〉 [MCS] Teorema di K.: v. entropia e informazione: II 428 f. ...
Leggi Tutto
esistenza
esistènza [Der. del lat. existentia, da existere "esistere"] [ALG] [ANM] Teorema di e.: proposizione la quale dimostri che esiste almeno una soluzione di un dato problema. ◆ [FAF] Teorema di [...] e. di un modello: v. logica: III 485 c. ◆ [ALG] [ANM] Teorema di e. e unicità: proposizione la quale dimostri che la soluzione di un dato problema esiste ed è unica. Mentre i grandi matematici dei secoli precedenti e della prima metà dell'800 avevano ...
Leggi Tutto
Lanford Oscar Erasmus
Lanford 〈lènfo〉 Oscar Erasmus [STF] (n.1940) ◆ [MCS] Teorema di L. sul limite centrale di Grad-Boltzmann: teorema che mostra come, per certe scale di tempi, non vi è incompatibilità [...] tra la reversibilità delle equazioni di Hamilton e l'irreversibilità dell'equazione di Boltzmann: v. meccanica statistica: III 733 c ...
Leggi Tutto
Krein Mark Grigorjevich
Krein 〈kràin〉 Mark Grigorjevich [STF] (n. 1907) ◆ [ANM] Teorema di K.-Milman: se K è un insieme convesso compatto contenuto in uno spazio vettoriale normato con x∈k punto estremale, [...] se x=(1-t)x₀+tx₁ con t∈(0,1) e x₀, x₁∈K implica x₀=x₁=x, allora K coincide con l'inviluppo convesso chiuso dei suoi punti estremali ...
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...