Autovalori e autovettori e diagonalizzazione di matrici
Similitudine di matrici
Diamo la definizione di similitudine tra due matrici. Template:Riquadro
La similitudine è una relazione di equivalenza su (provate a dimostrarlo per esercizio).
Proposizione
Dimostrazione
Diagonalizzabilità
L'equazione dell'endomorfismo assumerebbe una forme particolarmente semplice se fosse diagonale. Dunque ci si pone il problema di stabilire se una data matrice è o meno simile ad una qualche matrice diagonale.
In definitiva, è diagonalizzabile se e solo se la matrice relativa ad una qualsiasi base di lo è anch'essa.
Dall'ultima definizione possiamo ora dare la definizione di autovalore e autovettore.
Autovalori e Autovettori
La definizione è estensibile anche alle matrici. Infatti definiamo autovettore della matrice un vettore non nullo della matrice se esiste autovalore di tale che
- .
Prima di procedere con alcune proposizioni, vediamo alcuni esempi.
Esempi
- Sia l'endomorfismo definito da . Cerchiamo degli autovalori e autovettori. Applicando la definizione, dobbiamo trovare un vettore tale che , per un qualche autovalore di .Innanzitutto notiamo che trovare gli autovalori equivale a risolvere , cioè
- . Questa equazione si annulla per se , oppure per se . Non ci sono altre soluzioni, dunque non ci sono altri autovalori.
- Quali sono gli autovettori associati agli autovalori e ? Come detto prima, tutti i vettori che soddisfano l'equazione sopra. Dunque gli autovettori sono coppie del tipo .
- Consideriamo ora il caso di . Cerchiamo ora gli autovalori.
- .
Il sistema lineare omogeneo ha soluzione per , dunque sono gli autovalori. Per trovare gli autovettori, risolviamo il sistema precedente sostituendo a -1 e poi 1.
Gli autovettori sono dunque i vettori di tipo per l'autovalore e per l'autovalore .
Proposizione
Dimostrazione
Prendiamo come base di la base canonica . Comunque sia definita , abbiamo che , dunque la base canonica è una base costituita da autovettori.
La matrice associata all'endomorfismo è
che è una matrice diagonale. Dunque, per la definizione, è diagonalizzabile.