TeorAutovett4

Vogliamo vedere come fare a determinare gli autovalori e gli autovettori
(se esistono) di un'applicazione lineare F.

Teorema 2.4

Sia V uno spazio vettoriale di dimensione finita, dim V = n, e sia F Î End(V).
Uno scalare l Î K è un autovalore di F se e solo se l'operatore

F - l 1_V: V ® V

definito da

(F - l 1_V)(v) = F(v) - l v

per ogni v Î V,

non è un isomorfismo, o, equivalentemente, se e solo se

det(F - l 1_V) = 0.