En matemáticas , el grupo afín o grupo afín general de cualquier espacio afín es el grupo de todas las transformaciones afines invertibles del espacio en sí mismo. En el caso de un espacio euclidiano (donde el campo asociado de escalares son los números reales ), el grupo afín consta de aquellas funciones del espacio a sí mismo de modo que la imagen de cada línea es una línea.
En cualquier campo, el grupo afín puede verse como un grupo matricial de forma natural. Si el campo asociado de escalares es el campo real o complejo, entonces el grupo afín es un grupo de Lie .
Concretamente, dado un espacio vectorial V , tiene un espacio afín subyacente A obtenido "olvidando" el origen, con V actuando por traslaciones, y el grupo afín de A puede describirse concretamente como el producto semidirecto de V por GL( V ) , el grupo lineal general de V :
La acción de GL( V ) sobre V es la natural (las transformaciones lineales son automorfismos), por lo que esto define un producto semidirecto .
En términos de matrices, se escribe:
donde aquí la acción natural de GL( n , K ) sobre K n es la multiplicación matricial de un vector.
Dado el grupo afín de un espacio afín A , el estabilizador de un punto p es isomorfo al grupo lineal general de la misma dimensión (por lo que el estabilizador de un punto en Aff(2, R ) es isomorfo a GL(2, R ) ); formalmente, es el grupo lineal general del espacio vectorial ( A , p ) : recordemos que si se fija un punto, un espacio afín se convierte en un espacio vectorial.
Todos estos subgrupos son conjugados, donde la conjugación se da mediante la traducción de p a q (que está definido de forma única); sin embargo, ningún subgrupo en particular es una elección natural, ya que ningún punto es especial; esto corresponde a las múltiples opciones de subgrupo transversal, o división de la secuencia corta exacta
En el caso de que el grupo afín se construyera comenzando con un espacio vectorial, el subgrupo que estabiliza el origen (del espacio vectorial) es el GL( V ) original .
Representando el grupo afín como un producto semidirecto de V por GL( V ) , luego por construcción del producto semidirecto , los elementos son pares ( v , M ) , donde v es un vector en V y M es una transformada lineal en GL( V ) , y la multiplicación viene dada por
Esto se puede representar como la matriz de bloques ( n + 1) × ( n + 1)
donde M es una matriz de n × n sobre K , v un vector de columna de n × 1 , 0 es una fila de ceros de 1 × n y 1 es la matriz de bloques de identidad de 1 × 1 .
Formalmente, Aff( V ) es naturalmente isomorfo a un subgrupo de GL( V ⊕ K ) , con V incrustado como plano afín {( v , 1) | v ∈ V } , es decir, el estabilizador de este plano afín; la formulación matricial anterior es la (transposición de) la realización de esto, con los bloques n × n y 1 × 1 ) correspondientes a la descomposición de suma directa V ⊕ K .
Una representación similar es cualquier matriz ( n + 1) × ( n + 1) en la que las entradas de cada columna suman 1. [1] La similitud P para pasar del tipo anterior a este tipo es ( n + 1) × ( n + 1) matriz identidad con la fila inferior reemplazada por una fila de todos unos.
Cada una de estas dos clases de matrices está cerrada bajo la multiplicación de matrices.
El paradigma más simple bien puede ser el caso n = 1 , es decir, las matrices triangulares superiores de 2 × 2 que representan el grupo afín en una dimensión. Es un grupo de Lie no abeliano de dos parámetros , por lo que con solo dos generadores (elementos de álgebra de Lie), A y B , tales que [ A , B ] = B , donde
de modo que
Aff( F p ) tiene orden p ( p − 1) . Desde
sabemos que Aff( F p ) tiene p clases de conjugación, es decir
Entonces sabemos que Aff( F p ) tiene p representaciones irreducibles. Según el párrafo anterior (§ Representación matricial), existen p - 1 representaciones unidimensionales, decididas por el homomorfismo
para k = 1, 2,… p − 1 , donde
y i 2 = −1 , a = g j , g es un generador del grupo F∗
p. Luego compare con el orden de F p , tenemos
por tanto χ p = p − 1 es la dimensión de la última representación irreducible. Finalmente usando la ortogonalidad de representaciones irreducibles, podemos completar la tabla de caracteres de Aff( F p ) :
Los elementos de pueden tomar una forma simple en un sistema de coordenadas afines bien elegido . Más precisamente, dada una transformación afín de un plano afín sobre los reales , existe un sistema de coordenadas afín en el que tiene una de las siguientes formas, donde a , b y t son números reales (las condiciones dadas aseguran que las transformaciones sean invertibles, pero no para hacer distintas las clases; por ejemplo, la identidad pertenece a todas las clases).
El caso 1 corresponde a traducciones .
El caso 2 corresponde a escalamientos que pueden diferir en dos direcciones diferentes. Cuando se trabaja con un plano euclidiano estas direcciones no necesitan ser perpendiculares , ya que los ejes coordenados no necesitan ser perpendiculares.
El caso 3 corresponde a una escala en una dirección y una traslación en otra.
El caso 4 corresponde a un mapeo de corte combinado con una dilatación.
El caso 5 corresponde a un mapeo de corte combinado con una dilatación.
El caso 6 corresponde a similitudes cuando los ejes de coordenadas son perpendiculares.
Las transformaciones afines sin ningún punto fijo pertenecen a los casos 1, 3 y 5. Las transformaciones que no conservan la orientación del plano pertenecen a los casos 2 (con ab < 0 ) o 3 (con a < 0 ).
La prueba se puede hacer observando primero que si una transformación afín no tiene un punto fijo, entonces la matriz del mapa lineal asociado tiene un valor propio igual a uno, y luego usando el teorema de la forma normal de Jordan para matrices reales .
Dado cualquier subgrupo G < GL( V ) del grupo lineal general , se puede producir un grupo afín, a veces denominado Aff( G ) , de manera análoga a Aff( G ) := V ⋊ G .
De manera más general y abstracta, dado cualquier grupo G y una representación de G en un espacio vectorial V , se obtiene [nota 1] un grupo afín asociado V ⋊ ρ G : se puede decir que el grupo afín obtenido es "una extensión de grupo por un representación vectorial", y, como arriba, se tiene la secuencia corta exacta
El subconjunto de todas las transformaciones afines invertibles que conservan una forma de volumen fija hasta el signo se denomina grupo afín especial . (Las transformaciones mismas a veces se denominan equiafinidades ). Este grupo es el análogo afín del grupo lineal especial . En términos del producto semidirecto, el grupo afín especial consta de todos los pares ( M , v ) con , es decir, las transformaciones afines
El subgrupo del grupo afín especial que consta de aquellas transformaciones cuya parte lineal tiene el determinante 1 es el grupo de aplicaciones que conservan la orientación y el volumen. Algebraicamente, este grupo es un producto semidirecto del grupo lineal especial de con las traslaciones. Es generado por los mapeos de corte .
Suponiendo que se tenga conocimiento de la proyectividad y del grupo proyectivo de la geometría proyectiva , el grupo afín se puede especificar fácilmente. Por ejemplo, Günter Ewald escribió: [4]
Cuando el espacio afín A es un espacio euclidiano (sobre el campo de números reales), el grupo de mapas que conservan la distancia ( isometrías ) de A es un subgrupo del grupo afín. Algebraicamente, este grupo es un producto semidirecto del grupo ortogonal de con las traslaciones. Geométricamente, es el subgrupo del grupo afín generado por las reflexiones ortogonales.
El grupo de Poincaré es el grupo afín del grupo de Lorentz O(1,3) :
Este ejemplo es muy importante en relatividad .