proposizione rango massimo se e solo se invertibile e algoritmo per invertire una matrice quadrata
Teorema
Sia , allora (ovvero il rango di è massimo) se e solo se è invertibile.
rango di una matrice
matrice invertibile
Dimostrazione
""
Sia invertibile, allora per il teorema di Cramer, il sistema è compatibile, dunque per il corollario precedente .
""
Supponiamo che , vogliamo mostrare che una certa tale che ; è sufficiente costruire tale che ; ora, vale che
se e solo se
chiamiamo il vettore
se e solo se tutti i sistemi lineari , con , hanno soluzione; dato che , sappiamo che tutti questi sistemi lineari sono compatibili e dunque le loro soluzioni determinano le colonne di .
Da questo risultato otteniamo un algoritmo per determinare l’inversa di una matrice quadrata quando essa è invertibile.
Abbiamo visto che per risolvere l’inversa di dobbiamo risolvere tutti i sistemi lineari del tipo , con . Cerchiamo di risolverli tutti contemporaneamente, ovvero consideriamo la matrice
Notiamo che dato che è invertibile, il suo rango è , quindi la sua forma a scala dopo l’algoritmo di Gauss è
infatti è una matrice e dato che , deve avere righe non nulle.
Usando ancora operazioni elementari possiamo portare nella forma
Riassumendo, usando operazioni elementari possiamo portare nella matrice .
Applichiamo ora queste operazioni elementari alla matrice
otterremo una matrice del tipo , con una certa matrice .
Ora la matrice di partenza codificava i sistemi , le cui soluzioni sono le colonne dell’inversa di . Le operazioni elementari non cambiano le soluzioni del sistema. L’ultima matrice codifica i sistemi lineari , pertanto le soluzioni di quest’ultimo sistema sono le colonne della matrice inversa di . Le soluzioni di questo sistema sono proprio le colonne di , il che ci mostra che è l’inversa di .