Dado un espacio topológico y un grupo que actúa sobre él, las imágenes de un solo punto bajo la acción del grupo forman una órbita de la acción. Un dominio fundamental o región fundamental es un subconjunto del espacio que contiene exactamente un punto de cada una de estas órbitas. Sirve como realización geométrica para el conjunto abstracto de representantes de las órbitas.
Hay muchas maneras de elegir un dominio fundamental. Normalmente, se requiere que un dominio fundamental sea un subconjunto conectado con algunas restricciones en sus límites, por ejemplo, suave o poliédrico. Las imágenes de un dominio fundamental elegido bajo la acción grupal luego mosaico el espacio. Una construcción general de dominios fundamentales utiliza células de Voronoi .
Dada una acción de un grupo G sobre un espacio topológico X mediante homeomorfismos , un dominio fundamental para esta acción es un conjunto D de representantes de las órbitas. Por lo general, se requiere que sea un conjunto topológicamente agradable, en una de varias formas definidas con precisión. Una condición típica es que D es casi un conjunto abierto, en el sentido de que D es la diferencia simétrica de un conjunto abierto en X con un conjunto de medida cero , para una determinada medida (cuasi)invariante en X. Un dominio fundamental siempre contiene un conjunto regular libre U , un conjunto abierto movido por G en copias disjuntas , y casi tan bueno como D para representar las órbitas. Con frecuencia se requiere que D sea un conjunto completo de representantes de clases laterales con algunas repeticiones, pero la parte repetida tiene medida cero. Ésta es una situación típica de la teoría ergódica . Si se utiliza un dominio fundamental para calcular una integral en X / G , los conjuntos de medida cero no importan.
Por ejemplo, cuando X es el espacio euclidiano R n de dimensión n , y G es la red Z n que actúa sobre ella mediante traslaciones, el cociente X / G es el toroide de n dimensiones . Un dominio fundamental D aquí puede considerarse como [0,1) n , que difiere del conjunto abierto (0,1) n por un conjunto de medida cero, o el cubo unitario cerrado [0,1] n , cuya frontera Está formado por los puntos cuya órbita tiene más de un representante en D.
Ejemplos en el espacio euclidiano tridimensional R 3 .
En el caso de la simetría traslacional combinada con otras simetrías, el dominio fundamental forma parte de la celda primitiva. Por ejemplo, para los grupos de papel tapiz , el dominio fundamental es un factor 1, 2, 3, 4, 6, 8 o 12 más pequeño que la celda primitiva.
El diagrama de la derecha muestra parte de la construcción del dominio fundamental para la acción del grupo modular Γ en el semiplano superior H.
Este famoso diagrama aparece en todos los libros clásicos sobre funciones modulares . (Probablemente CF Gauss lo sabía bien , quien se ocupó de dominios fundamentales bajo la forma de la teoría de reducción de formas cuadráticas ). Aquí, cada región triangular (delimitada por las líneas azules) es un conjunto regular libre de la acción de Γ sobre h . Los límites (las líneas azules) no forman parte de los conjuntos regulares gratuitos. Para construir un dominio fundamental de H /Γ, también se debe considerar cómo asignar puntos en el límite, teniendo cuidado de no contar dichos puntos dos veces. Por lo tanto, el conjunto regular libre en este ejemplo es
El dominio fundamental se construye sumando el límite de la izquierda más la mitad del arco de la parte inferior, incluido el punto del medio:
La elección de qué puntos de la frontera incluir como parte del dominio fundamental es arbitraria y varía de un autor a otro.
La dificultad central de definir el dominio fundamental no radica tanto en la definición del conjunto per se , sino más bien en cómo tratar las integrales sobre el dominio fundamental, al integrar funciones con polos y ceros en el límite del dominio.
