Un endomorfismo "f" definido sobre el espacio vectorial "V" es diagonalizable si y sólo si la multiplicidad algebraica de cada autovalor coincide con su multiplicidad geométrica. En tal caso, para construir una base de "V" que diagonalice a "f" cada autovalor aporta una base de su correspondiente subespacio de autovectores.
