• Registro
Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






Otro de Endomorfismos de espacios vectoriales.

+2 votos
Sea $V$ espacio vectorial sobre $\mathbb{C}$, con $dim(V)=n$.

Sea $G<GL(V)$ con $|G|$ finito.

Demuestre que toda $T\in{G}$ es semisimple.
preguntado por Izzyro (6,260 puntos) Oct 14, 2013 en Torito
editado por Izzyro Oct 14, 2013
Por cierto, esto tambien es cierto para $G$ compacto.

2 Respuestas

+3 votos
 
Mejor respuesta
Sea $g\in G$. Como $G$ es finito, existe $k>0$ tal que $g^k= id$. Consideremos ahora la forma normal de Jordan de $g$ y sea $B$ uno de sus bloques. Entonces también $B^k=id$. Pero esto no puede pasar si el bloque es de tamaño $\geq 2$ (por ejemplo es suficiente verificar que el segundo elemento del primer renglón nunca puede ser cero). Por lo tanto $g$ es diagonalizable.
respondido por Carlos (17,280 puntos) Oct 15, 2013
seleccionada por Izzyro Oct 15, 2013
Una buena forma de hacerlo.
Otra forma sería observando que el polinomio $P(X)=X^k-1$ es separable en $\mathbb{C}$
+2 votos
Probablemente uno podria hacer esto de una forma mas directa pero me parece interesante ver como algunas cosas vistas en un contexto mas general se ven muy claras.

Un espacio simetrico de tipo no compacto es una variedad Riemanniana homogenea de la forma $X=G/K$ donde $G$ es un grupo de Lie semisimple no compacto y $K$ es un subgrupo compacto maximal. $G$ es la componente conexa de la identidad en el grupo de isometrias de $X$ y $K$ es el estabilizador de un punto base. En nuestro ejemplo $G=SL(n,\mathbb{C})$ y $K=SU(n)$.

$X$ resulta ser un espacio de curvatura no positiva. En este tipos de espacios tenemos bien definido un centro de gravedad de un subconjunto acotado (en particular de un subconjunto finito). El centro de gravedad de $A$ es el unico $x_0\in X$ tal que $\sup_{a\in A}\{d(x_0,a)\} = \inf_{x\in X}\{\sup_{a\in A} d(x,a)\}$. Como este punto depende solo de $A$ entonces cualquier grupo de isometrias que deja invariante a $A$ debe fijar a $x_0$.

Tomando ahora $\Gamma\subset G$ un subgrupo finito y $A=\Gamma\cdot x$, vemos que $\Gamma$ fija un punto $x_0\in X$. Es decir $\Gamma\subset Stab_G(x_0) = K'$, donde $K'$ es un grupo conjugado a $K$.

En nuestro ejemplo esto quiere decir que un subgrupo finito $\Gamma$ es conjugado a un subgrupo de  $SU(n)$ y por lo tanto cada elemento es semisimple.

Por otra parte en  http://projecteuclid.org/euclid.pjm/1102780613 se da un ejemplo de un subgrupo $\Gamma$ de $GL(n,\mathbb{C})$ tal que todos sus elementos son conjugados a matrices unitarias, pero el grupo completo no es conjugado a un subgrupo de $U(n)$. Este grupo tiene que ser no finito por lo que vimos arriba.
respondido por Carlos (17,280 puntos) Oct 15, 2013
Sólo una duda, creo debí ser más explicito en el problema, en el caso $\mathbb{C}$ se entiende que semisimple quiere decir diagonalizable, ó que para todo subespacio invariante ante $T$ admite un complemente también invariante ante $T$, ¿coincido con usted?
Claro, la respuesta no es elemental. Pero queria mostrar la "big picture".

Si, una matriz unitaria es diagonalizable.
Desde luego, pero es una bonita forma de ver que el problema admite varias soluciones.
Esperemos pues una demostración elemental, pero se agradece Carlos su solución del problema, desde otro punto de vista algo "pesadón".
Esperemos alguien se interese en el problema, despues de ver su solución.
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...