En matemáticas, un espacio homogéneo es, de manera muy informal, un espacio que parece igual en todas partes independientemente de que se produzca un movimiento dado por la acción de un grupo. Los espacios homogéneos aparecen en la teoría de grupos de Lie, de grupos algebraicos y de grupos topológicos. Más precisamente, un espacio homogéneo para un grupoG es una variedadno vacía o un espacio topológicoX sobre el que Gactúatransitivamente. Los elementos de G se denominan simetrías de X. Un caso especial es cuando el grupo G en cuestión es el grupo de automorfismo del espacio X. Aquí, "grupo de automorfismo" puede significar grupo de isometría, difeomorfismo u homeomorfismo. En este caso, X es homogéneo si intuitivamente parece localmente igual en cada punto, ya sea en el sentido de las isometrías (geometría rígida), los difeomorfismos (geometría diferencial) u los homeomorfismos (topología). Algunos autores insisten en que la acción de G sea fiel (los elementos que no son la identidad actúan de manera no trivial), aunque en el presente artículo no se hace. Por lo tanto, existe un grupo de acciones de G en X que se puede considerar como que preserva alguna "estructura geométrica" en X y convierte a X en una única G-órbita.
Definición formal
Sea X un conjunto no vacío y G un grupo. Entonces X se llama espacio G si está equipado con una acción de G sobre X.[1] Téngase en cuenta que automáticamente G actúa mediante automorfismos (biyecciones) en el conjunto. Si X además pertenece a alguna categoría, entonces se supone que los elementos de G actúan como automorfismos en la misma categoría. Es decir, las aplicaciones en X provenientes de elementos de G conservan la estructura asociada con la categoría (por ejemplo, si X es un objeto difeomorfo, entonces la acción debe ser realizada por un difeomorfismo). Un espacio homogéneo es un espacio G sobre el cual G actúa transitivamente.
De manera sucinta, si X es un objeto de la categoría C, entonces la estructura de un espacio G es un homomorfismo:
en el grupo de automorfismos del objeto X en la categoría C. El par (X, ρ) define un espacio homogéneo siempre que ρ(G) sea un grupo transitivo de simetrías del conjunto subyacente de X.
Ejemplos
Por ejemplo, si X es un espacio topológico, se supone que los elementos del grupo actúan como homeomorfismos en X. La estructura de un espacio G es un homomorfismo de grupo ρ : G → Homeo(X) en el grupo de homeomorfismos de X.
De manera similar, si X es una variedad diferenciable, entonces los elementos del grupo son difeomorfos. La estructura de un espacio G es un homomorfismo de grupo ρ : G → Diffeo(X) en el grupo de difeomorfismos de X.
Los espacios simétricos de Riemann son una clase importante de espacios homogéneos e incluyen muchos de los ejemplos que se enumeran a continuación.
Entre los ejemplos concretos, figuran:
Ejemplos de espacios homogéneos
Espacio
Grupo
Estabilizador
Espacio esférico
Orientado
Espacio proyectivo
Espacio euclídeo
Orientado
Espacio hiperbólico
Orientado
Anti espacio de Sitter
Grassmanniano
Espacio afín
Grupos de isometría
Curvatura positiva:
Esfera (grupo ortogonal): . Esto es cierto debido a las siguientes observaciones: Primero, es el conjunto de vectores en con norma . Si se considera uno de estos vectores como un vector base, entonces se puede construir cualquier otro vector mediante una transformación ortogonal. Si se considera el tramo de este vector como un subespacio unidimensional de , entonces el complemento es un espacio vectorial -dimensional que es invariante bajo una transformación ortogonal de . Esto muestra por qué se puede construir como un espacio homogéneo.
Desde el punto de vista del Programa de Erlangen, se puede entender que "todos los puntos son iguales" en la geometría de X. Esto se aplicaba esencialmente a todas las geometrías propuestas antes de la aparición de la geometría de Riemann, a mediados del siglo XIX.
Otro ejemplo clásico es el espacio de las rectas en el espacio proyectivo de tres dimensiones (de manera equivalente, el espacio de los subespacios bidimensionales de un espacio vectorial de cuatro dimensiones). Es simple demostrar en álgebra lineal que GL4 actúa transitivamente sobre ellos. Se puede parametrizarlos mediante coordenadas de línea: estos son los menores de orden 2 × 2 de la matriz de 4 × 2 con dos vectores base del subespacio como columnas. La geometría del espacio homogéneo resultante es la geometría lineal de Julius Plücker.
Espacios homogéneos como espacios de clases laterales
En general, si X es un espacio homogéneo de G, y Ho es el estabilizador de algún punto marcado o en X (una elección de origen), los puntos de X corresponden a las clases laterales a la izquierda G/Ho, y el punto marcado o corresponde a la clase lateral de la identidad. Por el contrario, dado un espacio lateral G/H, es un espacio homogéneo para G con un punto distinguido, a saber, la clase lateral de la identidad. Por tanto, un espacio homogéneo puede considerarse como un espacio lateral sin elección de origen.
Por ejemplo, si H es el subgrupo de identidad {e}, entonces X es un G-torsor, lo que explica por qué los G-torsores a menudo se describen intuitivamente como " sin considerar la identidad".
En general, una elección diferente del origen o conducirá a un cociente de G por un subgrupo diferente Ho′ que está relacionado con Ho por un automorfismo interno de G. Específicamente,
:
(1)
donde g es cualquier elemento de G para el que go = o′. Téngase en cuenta que el automorfismo interno (1) no depende de qué g se seleccione; depende solo del módulo gHo.
Por ejemplo, en el caso de la geometría lineal, se puede identificar H como un subgrupo de 12 dimensiones del grupo lineal general, GL(4) de 16 dimensiones, definido por condiciones en las entradas de la matriz:
h13 = h14 = h23 = h24 = 0,
buscando el estabilizador del subespacio abarcado por los dos primeros vectores de una base estándar. Eso demuestra que X tiene dimensión 4.
Dado que las coordenadas homogéneas dadas por los menores son 6, esto significa que estos últimos no son independientes entre sí. De hecho, existe una única relación cuadrática entre los seis menores, como sabían los geómetras del siglo XIX.
Este ejemplo fue el primer ejemplo conocido de grasmaniano, además de un espacio proyectivo. Hay muchos más espacios homogéneos de los grupos lineales clásicos de uso común en matemáticas.
La definición es más restrictiva de lo que parece inicialmente: dichos espacios tienen propiedades notables y existe una clasificación de espacios vectoriales prehomogéneos irreducibles, hasta una transformación conocida como "enroque".
Un espacio homogéneo de N dimensiones admite un conjunto de vectores de Killing.[4] Para tres dimensiones, esto da un total de seis campos vectoriales de Killing linealmente independientes. Los 3 espacios homogéneos tienen la propiedad de que se pueden usar combinaciones lineales de estos para encontrar tres campos vectoriales de Killing que no desaparecen en todas partes (),
donde el objeto , las "constantes de estructura", forman un tensorconstanteantisimétrico en sus dos índices inferiores (en el lado izquierdo, los corchetes denotan antisimetrización y ";" representa el operador diferencial covariante). En el caso de un universo isotrópico plano, una posibilidad es que (tipo I), pero en el caso de un universo FLRW cerrado (según la métrica de Friedman-Lemaître-Robertson-Walker), donde es el Símbolo de Levi-Civita.