Grupo lineal general

De Wikipedia, la enciclopedia libre

En matemticas, el grupo lineal general (GL) de un espacio vectorial , denotado como , es el grupo
formado por todos los isomorfismos de ese espacio.

Cuando el espacio vectorial es siendo un cuerpo F (tal como o ), se escribe (en lugar de
) y se llama grupo lineal general de grado n sobre el cuerpo. Este ltimo grupo puede ser pensado como
el grupo de matrices invertibles n por n con las entradas en , con la operacin de grupo dada por la
multiplicacin de matrices. (esto es ciertamente un grupo porque el producto de dos matrices invertibles es otra
vez invertible, al igual que la inversa de una invertible.) Si el cuerpo es claro por contexto escribimos a veces
,o .

El grupo lineal especial (SL), escrito o , es el subgrupo de de las matrices con determinante
1.

El grupo y sus subgrupos se llaman a menudo grupos lineales o grupos matriciales. Estos grupos son
importantes en la teora de las representaciones de grupo, y tambin se presentan en el estudio de simetras
espaciales y de simetras de los espacios vectoriales en general, as como el estudio de los polinomios.

Si n 2, el grupo no es grupo abeliano.

ndice
1 Grupo lineal general de un espacio vectorial
1.1 Grupo lineal del espacio eucldeo
1.2 Grupo lineal de un espacio normado
2 Grupos lineales reales (GL(n,R)) y los complejos (GL(n,C))
3 GL sobre cuerpos finitos
4 Grupo lineal especial
5 Otros subgrupos
5.1 Subgrupos diagonales
5.2 Grupos clsicos
6 Asuntos relacionados

Grupo lineal general de un espacio vectorial

Si es un espacio vectorial sobre el cuerpo , entonces escribimos o para el grupo de todos los
automorfismos de , es decir el conjunto de todas las transformaciones lineales biyectivas V V, junto con la
composicin funcional como operacin de grupo. Si la dimensin de V es n, entonces y son
isomorfos. El isomorfismo no es cannico; depende de una eleccin de una base en V. Una vez que se haya
elegido una base, cada automorfismo de V se puede representar como una matriz invertible n por n, que
establece el isomorfismo.

Grupo lineal del espacio eucldeo

Si consideramos el espacio eucldeo n-dimensional o como espacio vectorial su grupo lineal estar
representado por todas las aplicaciones lineales que admiten inversa. Si escogemos una base cualquiera para ese
espacio vectorial, cada aplicacin lineal podra expresarse mediante una matriz. Entonces el grupo lineal vendr
representado por el conjunto de todas las matrices que representan aplicaciones lineales que admiten inversa, y
por tanto, por matrices cuyo determinante es diferente de cero (ya que el lgebra lineal establece que una
aplicacin lineal invertible viene representada en una base por una matriz de determinante diferente de cero).

Puede demostrarse que el grupo lineal sobre un espacio eucldeo n-dimensional puede considerarse como una
variedad diferenciable dentro de por lo que la dimensin de este grupo de Lie como variedad diferenciable
2
es n .

Grupo lineal de un espacio normado

En un espacio vectorial normado E el grupo lineal GL(E) puede ser dotado de una topologa inducida, y resulta
ser un conjunto abierto dentro del conjunto de aplicaciones lineales o morfismos del espacio vectorial E.

Grupos lineales reales (GL(n,R)) y los complejos (GL(n,C))

Si el cuerpo es (los nmeros reales) o (los nmeros complejos), entonces es un grupo de Lie real o
2
complejo de dimensin real o compleja n . La razn es como sigue: puede representarse por matrices con
determinante diferente de cero, el determinante es una funcin (incluso un polinomio) continuo, y por lo tanto
es un subconjunto abierto no vaco de la variedad de todas las matrices n por n, que tiene dimensin n.

El lgebra de Lie que corresponde a , designada frecuentemente como , consiste en todas las matrices
n n sobre , con el conmutador como el corchete de Lie.

Mientras que es conexo, tiene dos componentes conexas: las matrices con determinante positivo
y las de determinante negativo. Las matrices reales n por n con determinante positivo forman un subgrupo del
denotado por . ste es tambin un grupo de Lie de dimensin real n y tiene la misma lgebra
de Lie que . es conexo.

Ni ni son simplemente conexos (salvo, en el caso real, cuando n = 1). La variedad del grupo
tiene un grupo fundamental isomorfo a mientras que tiene un grupo fundamental isomorfo a
para n = 2 y a para n > 2.

GL sobre cuerpos finitos

Si F es un cuerpo finito con q elementos, entonces escribimos a veces GL(n, q) en vez de GL(n, F). GL(n, q)
es un grupo finito con

(qn - 1)(qn - q) (qn - q)... (qn - qn -1)

elementos. Esto puede ser demostrado contando las columnas posibles de la matriz: la primera columna puede
ser todo menos la columna cero; la segunda columna puede ser todo menos los mltiplos de la primera
columna, etc.

Grupo lineal especial

El grupo lineal especial, SL(n, F), es el grupo de todas las matrices con determinante igual a 1. Que dicho
conjunto constituye un grupo se sigue de la regla de multiplicacin de determinantes. SL(n, F) es un subgrupo
normal de GL(n, F).

Si escribimos F para el grupo multiplicativo de F (excluyendo el 0), entonces el determinante es un

homomorfismo de grupos
El ncleo de la funcin es precisamente el grupo lineal especial. Por el primer teorema del isomorfismo vemos
que GL(n, F)/SL(n, F) es isomorfo a F. De hecho, GL(n, F) se puede escribir como producto semidirecto de
SL(n, F) por el F:

Cuando F es R o C, SL(n) es un subgrupo de Lie de GL(n) de dimensin n-1. El grupo de Lie de SL(n)
consiste en todas las matrices n n sobre F con determinante unidad. Su lgebra de Lie es puede
representarse por matrices de traza nula y el corchete de Lie de esta lgebra viene dado por el conmutador.

El grupo lineal especial SL(n, R) se puede caracterizar como el grupo de las transformaciones lineales de Rn
que preservan el volumen y la orientacin.

El grupo SL(n, C) es simplemente conexo mientras que no lo es SL(n ,R). SL(n, R) tiene el mismo grupo
fundamental que GL+(n, R), es decir, Z para n = 2 y Z2 para n > 2.

Otros subgrupos
Subgrupos diagonales

El conjunto de todas las matrices diagonales forma un subgrupo de GL(n, F) isomorfo a (F)n. En cuerpos
como R y C, stas corresponden al reescalado del espacio; las llamadas expansiones y contracciones.

Una matriz escalar es una matriz diagonal que es una constante por la matriz identidad. El conjunto de todas
las matrices escalares distintas de cero, (a veces denotado Z(n, F), forma un subgrupo de GL(n, F) isomorfo al
F. Este grupo es el centro de GL(n, F). En particular, es un subgrupo normal, abeliano.

El centro de SL(n, F), denotado SZ(n, F), es simplemente el conjunto de todas las matrices escalares con
determinante unidad. Obsrvese que SZ(n, C) es isomorfo a las races n-simas de la unidad.

Grupos clsicos
Los as llamados grupos clsicos son subgrupos de GL(V) que preserven una cierta clase de producto interior
en V. Estos incluyen el

grupo ortogonal, O(V), que preserva una forma bilineal simtrica en V,

grupo simplctico, Sp(V), que preserva una forma bilineal anti-simtrica en V,
grupo unitario, U(V), que preserva una forma hermitiana en V (cuando F = C).

Estos grupos proporcionan ejemplos importantes de los grupos de Lie.

Asuntos relacionados
grupo lineal proyectivo

grupo afn

representacin de grupo
Obtenido de https://es.wikipedia.org/w/index.php?title=Grupo_lineal_general&oldid=94643305

Categoras: Teora de grupos Grupos de Lie

Se edit esta pgina por ltima vez el 29 oct 2016 a las 15:03.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.