Sea $A,B\in\mathbb{C}^{n\times n}$ commute, let $B$ sea no singular y que $\lambda\in\sigma(A)$ tienen multiplicidad geométrica 1 y un vector propio correspondiente $\mathbf{v}.$
Hasta ahora he demostrado que $B\mathbf{v}$ es un vector propio de $A$ correspondiente a $\lambda$ y tengo que demostrar que
- Existe un $\mu\in\sigma(B)$ tal que $\mathbf{v}$ es un vector propio de $B$ correspondiente a $\mu.$
- Si $B=B^{-1},$ entonces $\mu=\pm 1.$
Estoy un poco atascado en estas dos partes en la forma de abordarlos, creo que la parte 1 requiere el uso de la multiplicidad y que el eigenspace será unidimensional, pero no estoy seguro.