Sturm-Picone, teorema di
Sturm-Picone, teorema di o teorema del confronto di Sturm-Picone, in analisi, fornisce un criterio per valutare la possibile oscillazione delle soluzioni di una data classe di [...] equazioni differenziali nel campo reale. Siano p1(x), p2(x), q1(x), q2(x) funzioni reali continue nell’intervallo [a, b] e siano due equazioni differenziali del secondo ordine nella forma seguente:
e
con ...
Leggi Tutto
Bohm-Jacopini, teorema di
Böhm-Jacopini, teorema di stabilisce che ogni algoritmo può essere costruito utilizzando unicamente tre strutture (o schemi di controllo), cioè tre schemi aggregativi di istruzioni [...] pratica, tuttavia, i linguaggi di programmazione mettono a disposizione anche altre strutture. Per questo l’interesse del teorema è soprattutto teorico e la sua importanza, dal punto di vista storico, risiede nell’aver contribuito all’evoluzione ...
Leggi Tutto
completezza funzionale, teorema di
completezza funzionale, teorema di in logica, stabilisce che è sempre possibile associare un enunciato a una qualunque funzione booleana data (→ funzione logica). ...
Leggi Tutto
tre simmetrie, teorema delle
tre simmetrie, teorema delle in geometria piana, stabilisce che ogni isometria può essere ottenuta come composizione di al più tre → simmetrie assiali. ...
Leggi Tutto
Budan-Fourier, teorema di
Budan-Fourier, teorema di pone in relazione, in un polinomio p(x) di grado n a coefficienti reali, il numero di variazioni di segno della sequenza delle sue derivate e gli zeri [...] V(0) è uguale al numero di variazioni della sequenza dei coefficienti di p(x); questo corrisponde alla regola di → Cartesio: il numero degli zeri positivi del polinomio p(x) è al più V(0), potendone differire per un numero pari (→ Sturm, teorema di). ...
Leggi Tutto
Riemann-Roch, teorema di
Riemann-Roch, teorema di in geometria, fornisce una stima, e in molti casi il numero esatto, della dimensione dello spazio vettoriale delle funzioni meromorfe definite su una [...] . Si indica poi in modo analogo con I(D) uno spazio differenziale meromorfo con preassegnati zeri e preassegnati comportamenti polari. Il teorema di Riemann-Roch stabilisce che se X è una superficie di Riemann compatta di genere g, D un divisore di X ...
Leggi Tutto
punto estremo, teorema del
punto estremo, teorema del principio base della programmazione lineare secondo il quale il valore ottimo della funzione obiettivo, quando esiste, si trova su uno dei vertici [...] della poligonale (o del → politopo) che racchiude la regione ammissibile. Tali vertici sono anche detti punti estremi ...
Leggi Tutto
Lindenbaum-Tarski, teorema di
Lindenbaum-Tarski, teorema di in logica, stabilisce che un insieme non contraddittorio di formule chiuse del linguaggio dei predicati è sempre contenuto in un insieme di [...] formule coerente massimale, tale cioè che aggiungendo un’altra formula ben formata esso diventa incoerente (→ coerenza) ...
Leggi Tutto
Green-Tao, teorema di
Green-Tao, teorema di in teoria dei numeri, afferma che la sequenza dei numeri primi contiene progressioni aritmetiche arbitrariamente lunghe; esistono progressioni aritmetiche [...] di numeri primi con n termini, dove n è un qualsiasi numero naturale (→ Tao, Terence) ...
Leggi Tutto
Jordan-Holder, teorema di
Jordan-Hölder, teorema di in teoria dei gruppi, stabilisce che ogni gruppo finito possiede, a meno di isomorfismo, un’unica serie di composizione (→ gruppo, serie di composizione [...] di un; → Hölder, programma di) ...
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...