~ Copyright © Ripetizionando - All rights reserved ~ http://ripetizionando.wordpress.com TEOREMI DELL’ALGEBRA LINEARE L’algebra lineare è quella branca della matematica che si occupa di studiare vettori e spazi vettoriali, nochè i sistemi lineari: questi elementi sono governati da regole relativamente semplici che richiedono, tuttavia, una formalità abbastanza pesante. In particolare è possibile individuare i due teoremi fondamentali di questa disciplina nel “teorema di Rouché-Capelli” e nella “regola di Cramer”: tramite questi due teoremi è infatti possibile risolvere agevolmente qualsiasi tipo di sistema lineare. Il Teorema di Rouché-Capelli Si consideri il sistema di equazioni lineari a coefficienti reali (in realtà il teorema ha validità anche nel caso di coefficienti complessi), con ๐ฅ ∈ โ๐ e con ๐ ∈ โ๐ : ๐1,1 ๐ฅ1 + ๐1,2 ๐ฅ2 + โฏ + ๐1,๐ ๐ฅ๐ = ๐1 ๐2,1 ๐ฅ1 + ๐2,2 ๐ฅ2 + โฏ + ๐2,๐ ๐ฅ๐ = ๐2 โฎ โจ โฉ๐๐,1 ๐ฅ1 + ๐๐,2 ๐ฅ2 + โฏ + ๐๐,๐ ๐ฅ๐ = ๐๐ โง Il sistema è rappresentato fedelmente dalla matrice (completa) dei coefficienti: ๐1,1 (๐ด|๐) = ๏ฟฝ โฎ ๐๐,1 โฏ ๐1,๐ โฑ โฎ โฏ ๐๐,๐ ๐1 โฎ ๏ฟฝ ๐๐ Il teorema di Rouché-Capelli afferma che esistono soluzioni per il sistema se e solo se il rango della matrice completa è uguale al rango della matrice incompleta: ๐ ๐(๐ด|๐) = ๐ ๐(๐ด|0) = ๐ ๐(๐ด) Inoltre, se esistono soluzioni, queste formano un sottospazio affine di โ๐ di dimensione ๐ − ๐ ๐(๐ด): è immediato che se il sistema ha un numero di incognite pari al numero di equazioni linearmente indipendenti, allora il suddetto sistema ammette soluzione ed è anche unica. La regola di Cramer Un sistema di equazioni lineari può essere rappresentato usando moltiplicazione fra matrici come: ๐ด × ๐ฅโ = ๐๏ฟฝโ dove A è una matrice e x, b sono due vettori. Se A è una matrice quadrata (cioè il numero di incognite del sistema è pari al numero di equazioni) ed è anche invertibile (determinante diverso da zero cioè rango della matrice uguale al numero di incognite), il teorema di Rouché-Capelli asserisce che il sistema ha esattamente una soluzione. |1| ~ Copyright © Ripetizionando - All rights reserved ~ http://ripetizionando.wordpress.com In questo caso, la regola di Cramer fornisce un algoritmo per calcolare la soluzione (x 1 , …, x n ) usando il determinante nel modo seguente: ๐ฅ๐ = det(๐ด๐ ) det(๐ด) dove A i è la matrice formata sostituendo la i-esima colonna di A con il vettore b dei termini noti. Notiamo che la condizione di invertibilità di A garantisce che il denominatore det(A) sia diverso da zero, e quindi che l'espressione descritta abbia sempre senso. |2|