En matemáticas , un espacio homogéneo es, de manera muy informal, un espacio que parece igual en todas partes, a medida que te mueves a través de él, con movimiento dado por la acción de un grupo . Los espacios homogéneos ocurren en las teorías de grupos de Lie , grupos algebraicos y grupos topológicos . Más precisamente, un espacio homogéneo para un grupo G es una variedad no vacía o espacio topológico X sobre el cual G actúa transitivamente . Los elementos de G se llaman simetrías de X. Un caso especial de esto 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 , grupo de difeomorfismo o grupo de homeomorfismo . En este caso, X es homogéneo si intuitivamente X parece localmente igual en cada punto, ya sea en el sentido de isometría (geometría rígida), difeomorfismo ( geometría diferencial ) u homeomorfismo ( topología ). Algunos autores insisten en que la acción de G sea fiel (los elementos no identitarios actúan de manera no trivial), aunque el presente artículo no lo hace. Por lo tanto , hay una acción grupal de G sobre X que se puede considerar que preserva alguna "estructura geométrica" en X y convierte a X en una única órbita G.
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] Tenga 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, los mapas en X provenientes de elementos de G conservan la estructura asociada a la categoría (por ejemplo, si X es un objeto en Diff entonces se requiere que la acción sea por difeomorfismos ). Un espacio homogéneo es un G -espacio 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.
Por ejemplo, si X es un espacio topológico , entonces 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 homeomorfismo de X .
De manera similar, si X es una variedad diferenciable , entonces los elementos del grupo son difeomorfismos . La estructura de un espacio G es un homomorfismo de grupo ρ : G → Diffeo( X ) en el grupo de difeomorfismo 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.
Ejemplos concretos incluyen:
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 fue cierto para esencialmente todas las geometrías propuestas antes de la geometría riemanniana , a mediados del siglo XIX.
Así, por ejemplo, el espacio euclidiano , el espacio afín y el espacio proyectivo son todos espacios naturalmente homogéneos para sus respectivos grupos de simetría . Lo mismo ocurre con los modelos encontrados de geometría no euclidiana de curvatura constante , como el espacio hiperbólico .
Otro ejemplo clásico es el espacio de líneas en el espacio proyectivo de tres dimensiones (de manera equivalente, el espacio de subespacios bidimensionales de un espacio vectorial de cuatro dimensiones ). Es álgebra lineal simple demostrar que GL 4 actúa transitivamente sobre ellos. Podemos parametrizarlos mediante coordenadas de línea : estos son los menores de 2 × 2 de la matriz de 4 × 2 con columnas y dos vectores base para el subespacio. La geometría del espacio homogéneo resultante es la geometría lineal de Julius Plücker .
En general, si X es un espacio homogéneo de G , y H o 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 izquierdas G / H o , 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 el G -torsor , lo que explica por qué los G -torsores a menudo se describen intuitivamente como " G con identidad olvidada".
En general, una elección diferente del origen o conducirá a un cociente de G por un subgrupo H o′ diferente que está relacionado con H o por un automorfismo interno de G . Específicamente,
donde g es cualquier elemento de G para el cual go = o ′ . Tenga en cuenta que el automorfismo interno (1) no depende de cuál g se seleccione; depende sólo de g módulo H o .
Si la acción de G sobre X es continua y X es Hausdorff , entonces H es un subgrupo cerrado de G. En particular, si G es un grupo de Lie , entonces H es un subgrupo de Lie según el teorema de Cartan . Por lo tanto, G / H es una variedad suave y, por lo tanto , X tiene una estructura suave única compatible con la acción grupal.
Se puede ir más allá a los espacios de clase lateral doble , en particular las formas de Clifford-Klein Γ\ G / H , donde Γ es un subgrupo discreto (de G ) que actúa adecuadamente de manera discontinua .
Por ejemplo, en el caso de la geometría lineal, podemos identificar H como un subgrupo de 12 dimensiones del grupo lineal general de 16 dimensiones , GL(4), definido por condiciones en las entradas de la matriz.
buscando el estabilizador del subespacio abarcado por los dos primeros vectores de base estándar. Eso muestra 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 un Grassmanniano , distinto 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 idea de un espacio vectorial prehomogéneo fue introducida por Mikio Sato .
Es un espacio vectorial de dimensión finita V con una acción grupal de un grupo algebraico G , tal que hay una órbita de G que está abierta para la topología de Zariski (y por tanto, densa). Un ejemplo es GL(1) actuando sobre un espacio unidimensional.
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".
Dado el grupo G de Poincaré y su subgrupo el grupo H de Lorentz , el espacio de clases laterales G / H es el espacio de Minkowski del álgebra espacio-temporal . [2]
La cosmología física que utiliza la teoría general de la relatividad hace uso del sistema de clasificación de Bianchi . Los espacios homogéneos en relatividad representan la parte espacial de las métricas de fondo para algunos modelos cosmológicos ; por ejemplo, los tres casos de la métrica de Friedmann-Lemaître-Robertson-Walker pueden representarse mediante subconjuntos de los tipos Bianchi I (plano), V (abierto), VII (plano o abierto) y IX (cerrado), mientras que Mixmaster El universo representa un ejemplo anisotrópico de una cosmología de Bianchi IX. [3]
Un espacio homogéneo de N dimensiones admite un conjunto de1/2N ( N + 1) Vectores de muerte . [4] Para tres dimensiones, esto da un total de seis campos vectoriales 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 Killing que no desaparecen en todas partes ξ( un )
yo,
donde el objeto C a bc , las "constantes de estructura", forman un tensor constante de orden tres antisimé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 C a bc = 0 (tipo I), pero en el caso de un universo FLRW cerrado, C a bc = ε a bc , donde ε a bc es el símbolo de Levi-Civita. .
![{\displaystyle \xi _{[i;k]}^{(a)}=C_{\ bc}^{a}\xi _{i}^{(b)}\xi _{k}^{( C)},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f60da26d55ac68935bb528a6463aef3cd09bf777)