Sia V uno spazio vettoriale, dim V = n, e sia F Î End(V).
Allora l
Î K è un autovalore di F se e solo se l
è una radice del polinomio caratteristico PF(t).
Poiché PF(t) ha grado uguale a dim (V), e dato che un polinomio di grado n a coefficienti in K possiede al più n radici in K, F possiede al più n autovalori distinti.
