Laplace, teorema di
Laplace, teorema di in algebra lineare è così riportato a volte il teorema che stabilisce che il determinante di una matrice quadrata è uguale alla somma dei prodotti degli elementi [...] di una riga (di una colonna) per i rispettivi complementi algebrici ...
Leggi Tutto
Hadamard, teorema di
Hadamard, teorema di o teorema di fattorizzazione di Hadamard, stabilisce che ogni funzione meromorfa ƒ(s) può essere riscritta come un prodotto infinito:
dove un sono gli zeri [...] di ƒ. Per esempio, la fattorizzazione di sin(πs) è ...
Leggi Tutto
Ippocrate, teorema di
Ippocrate, teorema di stabilisce che le aree di due cerchi stanno tra loro come i quadrati costruiti sui loro diametri. Il teorema è attribuito a Ippocrate di Chio, che lo utilizzò [...] per la quadratura di particolari → lunule ...
Leggi Tutto
Bolzano, teorema di
Bolzano, teorema di detto anche teorema di esistenza degli zeri di una funzione, in analisi, stabilisce che una funzione continua ha almeno uno zero reale in un intervallo ai cui [...] estremi essa assume segni opposti: ƒ: [a, b] → R, continua e tale che ƒ(a) · ƒ(b) < 0 ⇒ Ǝx ∈ (a, b) tale che ƒ(x) = 0 ...
Leggi Tutto
Sylvester, teorema di
Sylvester, teorema di o teorema di inerzia, in algebra lineare, stabilisce che l’indice di positività (vale a dire il numero di autovalori positivi) e l’indice di negatività (vale [...] di A, dove C è un’arbitraria matrice invertibile e dove CT ne indica la trasposta. Un’importante conseguenza del teorema di Sylvester è la seguente: due matrici simmetriche a coefficienti reali sono congruenti se e solo se esse hanno lo stesso ...
Leggi Tutto
parallelogramma, teorema del
parallelogramma, teorema del proprietà che caratterizza le norme indotte dal prodotto scalare, espressa dall’identità
Nella geometria euclidea tale identità lega la lunghezza [...] delle diagonali di un parallelogramma a quelle dei lati, da cui il nome del teorema. Uno spazio completo con tale norma è uno spazio di Hilbert. ...
Leggi Tutto
deduzione, teorema di
deduzione, teorema di in logica, stabilisce che se dagli assiomi di un sistema formale S e da una formula A del sistema è deducibile la formula P, allora dai soli assiomi di S è [...] deducibile la formula A ⇒ P che è, quindi, un teorema di S (→ deduzione). ...
Leggi Tutto
carabinieri, teorema dei
carabinieri, teorema dei in analisi, denominazione scherzosa con cui si indica il teorema del → confronto, che stabilisce che se una funzione, nel suo andamento al limite, è [...] sempre minore e, rispettivamente, sempre maggiore di due funzioni convergenti allo stesso limite, essa converge al limite di entrambe ...
Leggi Tutto
Cantor, teorema di
Cantor, teorema di in teoria degli insiemi, stabilisce che in un qualsiasi insieme X l’insieme dei suoi sottoinsiemi (detto anche insieme delle parti di X), indicato con ℘(X), ha cardinalità [...] maggiore di X: |℘(X)| > |X|. Cantor dimostrò il teorema nel modo seguente: si supponga che le cose non stiano così e i casi, vi è contraddizione, e quindi si deve respingere l’ipotesi iniziale e considerare il teorema dimostrato per assurdo. ...
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...