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 .

Risorse