Sia V uno spazio vettoriale di dimensione finita. Un operatore F Î End(V) è diagonalizzabile se e solo se V possiede una base costituita da autovettori di F.