El día martes 16 unos alumnos me preguntaron por el tema de subespecies invariantes y creo que les dije algo incorrecto referido a cuando se tienen dos vectores propios 
con valores propios distintos. En ese caso una combinación no trivial de los vectores no es un vector propio, por lo que no se tiene un subespecie propio nuevo de dimensión 1, pero el subespacio ![[v_1,v_2]](https://eva.fing.edu.uy/filter/tex/pix.php/6e000b8859dc602de291724b45ca432f.png "[v_1,v_2]")
es invariante, pues si 
y [T v_2=\lambda_2 v_2\], entonces para cualquier ![\alpha v_1 + \beta v_2 \in [v_1,v_2]](https://eva.fing.edu.uy/filter/tex/pix.php/54aae0eb65244cea80f8fa5101bcd845.png "\alpha v_1 + \beta v_2 \in [v_1,v_2]")
se tiene que r ![T(\alpha v_1 + \beta v_2) = \alpha T v_1 + \beta T v_2 = \alpha \lambda_1 v_1 + β \lambda_2 v_2 \in [v_1,v_2]](https://eva.fing.edu.uy/filter/tex/pix.php/c2c2c1fa573b7be51e551cd4915e7cc5.png "T(\alpha v_1 + \beta v_2) = \alpha T v_1 + \beta T v_2 = \alpha \lambda_1 v_1 + β \lambda_2 v_2 \in [v_1,v_2]")
.
Se puede hacer un análisis general de la cantidad de subespecies propios de dimensión k, a partir de la forma canónica, pero es complicado escribirlo aquí. Lo que les comento es que si la mg de un valor propio es 2 o mayor y hay algún otro valor propio, entonces la cantidad de subespecies propios de dimensión 2 es infinita.
Saludos!
Eduardo