Buenas, quería consultar por qué el 1 sería verdadero y el 5 falso.
Hola Santiago.
En 5), como T es unitario tenemos que
, y como T es autoadjunto tenemos
, de donde
y por tanto
.
En 5), como T es unitario tenemos que
![T^{-1}=T^* T^{-1}=T^*](https://eva.fing.edu.uy/filter/tex/pix.php/099929caa153fc627d9cc75ed993ef33.png)
![T=T^* T=T^*](https://eva.fing.edu.uy/filter/tex/pix.php/3192e87cdd4bbdd4c1c41f431ccd378e.png)
![T=T^{-1} T=T^{-1}](https://eva.fing.edu.uy/filter/tex/pix.php/d4cfe075eeadd40d9d5d82ded74b767b.png)
![T^2=Id T^2=Id](https://eva.fing.edu.uy/filter/tex/pix.php/62afe5f98d6cd55a5c8c58d9ef10933f.png)
Esto no implica que T=Id, como contrajemplo considera la matriz 2 x 2 cuya primera columna es (-1,0) y la segunda columna es (0,-1).
En 1), al ser un EV sobre los complejos, si asumimos dimensión finita, todas las raíces del polinomio característico serán valores propios.
Si trabajamos en una base ortonormal B y llamamos M a la matriz asociada a T, tendremos que la matriz asociada a
es
.
![T^* T^*](https://eva.fing.edu.uy/filter/tex/pix.php/89cdaade8ab2be96ff644dad9846ffe7.png)
![\overline{M^t} \overline{M^t}](https://eva.fing.edu.uy/filter/tex/pix.php/d5bca96eb6f13b8e67c97ec70db3b7b3.png)
Llamemos
, entonces
(hemos usado que conjugar y transponer conmutan y que conjugar dos veces devuelve la misma matriz, así como transponer dos veces, que el conjugado de un producto es el producto de los conjugados y que la transpuesta de un producto es el producto de las transpuestas en orden inverso).
![A=\overline{M^t}.M A=\overline{M^t}.M](https://eva.fing.edu.uy/filter/tex/pix.php/f9e2d65b6f031c4e783e958ddadc096f.png)
![\overline{A^t}=\overline{(\overline{M^t}.M)^t}=\overline{M^t.\overline{M^t}^t}=\overline{M^t} .\overline{\overline{M^t}}^t=\overline{M^t}.M \overline{A^t}=\overline{(\overline{M^t}.M)^t}=\overline{M^t.\overline{M^t}^t}=\overline{M^t} .\overline{\overline{M^t}}^t=\overline{M^t}.M](https://eva.fing.edu.uy/filter/tex/pix.php/aec5c042ff05e87b49ff6893af46054c.png)
Entonces la matriz A es hermítica y por tanto el operador
es diagonalizable, y por tanto también lo es el operador
.
![T^* \circ T=T^{2018} T^* \circ T=T^{2018}](https://eva.fing.edu.uy/filter/tex/pix.php/77088b4649804a14f0ce0855251855a9.png)
![T T](https://eva.fing.edu.uy/filter/tex/pix.php/b9ece18c950afbfa6b0fdbfa4ff731d3.png)
Saludos
J.
Gracias! Pero no termino de entender por qué aunque T es igual a T inversa no se puede decir que T es la identidad (pensándolo con matrices asociadas), y por que T a la 2 sí lo es
Saludos
J.