Grupo lineal general

Grupo lineal general

En matemáticas, el grupo lineal general (GL) de un espacio vectorial \scriptstyle E, denotdo como \scriptstyle \text{GL}(E), es el grupo formado por todos los isomorfismos de ese espacio.

Cuando el espacio vectorial es \scriptstyle E = \mathbb{F}^n siendo \scriptstyle \mathbb{F} un cuerpo F (tal como \scriptstyle \R o \scriptstyle \mathbb{C}), se escribe \scriptstyle \text{GL}(n,\mathbb{F}) (en lugar de \scriptstyle \text{GL}(\mathbb{F}^n)) y se llama grupo lineal general de grado n sobre el cuerpo. Este último grupo puede ser pensado como el grupo de matrices inversibles n por n con las entradas en \scriptstyle \mathbb{F}, con la operación de grupo dada por la multiplicación de matrices. (esto es ciertamente un grupo porque el producto de dos matrices inversibles es otra vez inversible, al igual que la inversa de una inversible.) Si el cuerpo es claro por contexto escribimos a veces \scriptstyle \text{GL}(n), o \scriptstyle \text{GL}_n.

El grupo lineal especial (SL), escrito \scriptstyle \text{SL}(n,\mathbb{F}) o \scriptstyle \text{SL}(n), es el subgrupo de \scriptstyle \text{GL}(n,\mathbb{F}) de las matrices con determinante 1.

El grupo \scriptstyle \text{GL}(n,\mathbb{F}) y sus subgrupos se llaman a menudo grupos lineales o grupos matriciales. Estos grupos son importantes en la teoría de las representaciones de grupo, y también se presentan en el estudio de simetrías espaciales y de simetrías de los espacios vectoriales en general, así como el estudio de los polinomios.

Si n ≥ 2, el grupo \scriptstyle \text{GL}(n,\mathbb{F}) no es grupo abeliano.

Contenido

Grupo lineal general de un espacio vectorial

Si \scriptstyle V es un espacio vectorial sobre el cuerpo \scriptstyle \mathbb{F}, entonces escribimos \scriptstyle \text{GL}(V) o \scriptstyle \text{Aut}(V) para el grupo de todos los automorfismos de \scriptstyle V, es decir el conjunto de todas las transformaciones lineales biyectivas VV, junto con la composición funcional como operación de grupo. Si la dimensión de V es n, entonces \scriptstyle \text{GL}(V) y \scriptstyle \text{GL}(n,\mathbb{F}) son isomorfos. El isomorfismo no es canónico; depende de una elección de una base en V. Una vez que se haya elegido una base, cada automorfismo de V se puede representar como una matriz inversible n por n, que establece el isomorfismo.

Grupo lineal del espacio euclídeo

Si consideramos el espacio euclídeo n-dimensional o \scriptstyle \R^n 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 aplicación lineal podría 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 aplicación lineal invertible viene representada en una base por una matriz de determinante diferente de cero).

Grupo lineal de un espacio normado

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

GL sobre \R y \mathbb{C}

Si el cuerpo F es \scriptstyle \R (los números reales) o \scriptstyle \C (los números complejos), entonces GL(n) es un grupo de Lie real o complejo de dimensión real o compleja n2. La razón es como sigue: GL(n) consiste en matrices con determinante diferente de cero, el determinante es una función (incluso un polinomio) continuo, y por lo tanto GL(n) es un subconjunto abierto no vacío de la variedad de todas las matrices n por n, que tiene dimensión n².

El álgebra de Lie que corresponde a GL(n) consiste en todas las matrices n × n sobre F, con el conmutador como el corchete de Lie.

Mientras que GL(n, C) es conexo, GL(n, R) 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 GL(n, R) denotado por GL+(n, R). Éste es también un grupo de Lie de dimensión real n² y tiene la misma álgebra de Lie que GL(n, R). GL+(n, R) es conexo.

Ni GL(n, C) ni GL+(n, R) son simplemente conexos (salvo, en el caso real, cuando n = 1). La variedad del grupo GL(n, C) tiene un grupo fundamental isomorfo a Z mientras que GL+(n, R) tiene un grupo fundamental isomorfo a Z para n = 2 y a Z2 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 múltiplos de la primera columna, etc.

Grupo lineal especial

El grupo lineal especial, SL(n, F), es el grupo de todas las matrices con determinante 1. Que esto forma un grupo se sigue de la regla de multiplicación 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

det: GL(n, F) → F×.


El núcleo de la función 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×:

GL(n, F) = SL(n, F) ⋊ F×


Cuando F es R o C, SL(n) es un subgrupo de Lie de GL(n) de dimensión n²-1. El álgebra de Lie de SL(n) consiste en todas las matrices n × n sobre F con traza nula. El corchete de Lie 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 orientación.

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. Obsérvese que SZ(n, C) es isomorfo a las raíces n-ésimas de la unidad.

Grupos clásicos

Los así llamados grupos clásicos son subgrupos de GL(V) que preserven una cierta clase de producto interior en V. Éstos incluyen el

Estos grupos proporcionan ejemplos importantes de los grupos de Lie.

Asuntos relacionados

  • grupo lineal proyectivo
  • grupo afín

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Grupo — (del italiano gruppo), la pluralidad de elementos que forman un conjunto, puede hacer referencia a: Contenido 1 En matemáticas 2 En astronomía 3 En física …   Wikipedia Español

  • Grupo ortogonal — En matemáticas, el grupo ortogonal de grado n sobre un cuerpo F (escrito como O(n, F)) es el grupo de matrices ortogonales n por n con las entrad …   Enciclopedia Universal

  • Grupo de Lorentz — En física, el grupo de Lorentz es el grupo de todas las transformaciones de Lorentz del espacio de Minkowski, la composición clásica de todas los fenómenos físicos no gravitacionales. Es el grupo de isometría grande posible que deja invariante el …   Wikipedia Español

  • P-grupo — En matemáticas, dado un número primo p, un p grupo es un grupo periódico en el que cada elemento tiene como orden una potencia de p: cada elemento es de orden potencia prima. Esto es, para cada elemento g del grupo, existe un entero no negativo n …   Wikipedia Español

  • Grupo de Lie — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Lineal — Para otros usos de este término, véase Lineal (distribución comercial). La palabra lineal viene de la palabra latín linearis, que significa creado por líneas . Contenido 1 Matemáticas (función lineal) 1.1 Propiedades 1.2 …   Wikipedia Español

  • Grupo diedral — Este copo de nieve tiene la simetría diedral de un hexágono regular. En matemáticas, un grupo diedral es el grupo de simetría de un polígono regular, incluyendo tanto rotaciones y reflexiones.[1] …   Wikipedia Español

  • Grupo general lineal — En matemáticas, el grupo general lineal de grado n sobre un cuerpo F (tal como R o C), escrito como GL(n, F), es el grupo de matrices inversibles n por …   Enciclopedia Universal

  • Grupo especial unitario — En matemáticas, el grupo especial unitario (o grupo unitario especial) de grado n es el grupo de matrices unitarias n por n con determinante igual a 1, con las entradas en el cuerpo C de los números complejos y con la operación de grupo dada por… …   Wikipedia Español

  • Grupo ortogonal — En matemática, el grupo ortogonal de grado n sobre un cuerpo F (escrito como O(n, F)) es el grupo de matrices ortogonales n por n con las entradas en F, con la operación de grupo dada por la multiplicación de matrices. Éste es un subgrupo del… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”