En matemáticas , específicamente en la topología algebraica , un mapa de cobertura (que también cubre la proyección ) es una función continua. desde un espacio topológico a un espacio topológico tal que cada punto en tiene un vecindario abierto cubierto uniformemente por(como se muestra en la imagen). [1] En este caso,se llama espacio de cobertura yel espacio de la base de la proyección de cobertura. La definición implica que cada mapa de cobertura es un homeomorfismo local .
Los espacios de cobertura juegan un papel importante en la teoría de la homotopía , el análisis armónico , la geometría de Riemann y la topología diferencial . En la geometría de Riemann, por ejemplo, la ramificación es una generalización de la noción de mapas de cobertura. Los espacios de cobertura también están profundamente entrelazados con el estudio de los grupos de homotopía y, en particular, el grupo fundamental . Una aplicación importante proviene del resultado de que, sies un espacio topológico "suficientemente bueno" , hay una biyección entre la colección de todas las clases de isomorfismos de revestimientos conectados dey las clases de conjugación de subgrupos del grupo fundamental de.
Definicion formal
Dejar ser un espacio topológico . Un espacio de cobertura de es un espacio topológico junto con un mapa de sobreyección continuo
tal que por cada , existe un barrio abierto de , tal que (la imagen previa de debajo ) es una unión de conjuntos abiertos disjuntos en, cada uno de los cuales está mapeado homeomórficamente en por . [2] [3]
De manera equivalente, un espacio de cobertura de puede definirse como un haz de fibras con fibras discretas.
El mapa se llama mapa de cobertura , [3] el espacioa menudo se llama el espacio base de la cubierta, y el espaciose llama el espacio total de la cubierta. Por cualquier punto en la base la imagen inversa de en es necesariamente un espacio discreto [3] llamado fibra sobre.
Los barrios abiertos especiales de que se dan en la definición se denominan barrios con cobertura uniforme . Los vecindarios cubiertos de manera uniforme forman una cubierta abierta del espacio.. Las copias homeomorfas en de un vecindario cubierto uniformemente se llaman las sábanas sobre. Uno generalmente imágenes como "flotando por encima" , con mapeando "hacia abajo", las hojas sobre estar apilados horizontalmente uno encima del otro y por encima y la fibra sobre que consta de esos puntos de que se encuentran "verticalmente arriba" . En particular, los mapas de cobertura son localmente triviales. Esto significa que localmente, cada mapa de cobertura es 'isomorfo' a una proyección en el sentido de que hay un homeomorfismo,, de la imagen previa, de un barrio cubierto uniformemente, sobre, dondees la fibra, satisfaciendo la condición de trivialización local , que es que, si proyectamos sobre , , entonces la composición de la proyección con el homeomorfismo será un mapa de la imagen previa sobre , luego la composición derivada será igual localmente (dentro de ).
Definiciones alternativas
Muchos autores imponen algunas condiciones de conectividad a los espacios y en la definición de un mapa de cobertura. En particular, muchos autores requieren que ambos espacios estén conectados por caminos y localmente conectados por caminos . [4] [5] Esto puede resultar útil porque muchos teoremas se cumplen solo si los espacios en cuestión tienen estas propiedades. Algunos autores omiten el supuesto de sobrejetividad, porque si está conectado y no está vacío, entonces la sobrejetividad del mapa de cobertura se sigue en realidad de los otros axiomas.
Ejemplos de
- Cada espacio se cubre trivialmente.
- Un espacio topológico conectado y conectado de forma local tiene una cubierta universal si y solo si se conecta de forma semilocal de forma sencilla .
- es la cubierta universal del círculo
- El grupo de giro es una tapa doble del grupo ortogonal especial y una tapa universal cuando. Los isomorfismos accidentales o excepcionales para los grupos de Lie dan entonces isomorfismos entre los grupos de espín en la dimensión baja y los grupos de Lie clásicos.
- El grupo unitario tiene cubierta universal .
- La n-esfera es una doble cubierta de espacio proyectivo real y es una funda universal para .
- Cada colector tiene una doble tapa orientable que se conecta si y solo si el colector no es orientable.
- El teorema de la uniformización afirma que cada superficie de Riemann tiene una cubierta universal equivalente conforme a la esfera de Riemann , el plano complejo o el disco unitario.
- La funda universal de una cuña de círculos es el gráfico de Cayley del grupo libre engeneradores, es decir, una celosía Bethe .
- El toro es una doble tapa de la botella de Klein . Esto se puede ver utilizando los polígonos del toro y la botella de Klein, y observando que la doble tapa del círculo (incrustado en enviando ).
- Cada gráfico tiene una cubierta doble bipartita . Dado que cada gráfico es homotópico a una cuña de círculos, su cobertura universal es un gráfico de Cayley.
- Cada inmersión de un colector compacto a un colector de la misma dimensión es una cobertura de su imagen.
- Otra herramienta eficaz para la construcción de espacios de cobertura es el uso de cocientes mediante acciones libres de grupos finitos.
- Por ejemplo, el espacio se define por el cociente de (incrustado en ) mediante el -acción . Este espacio, llamado espacio de lentes , tiene un grupo fundamental y tiene funda universal .
- El mapa de esquemas afines forma un espacio de cobertura con como su grupo de transformaciones de cubierta. Este es un ejemplo de una cubierta cíclica de Galois .
Propiedades
Propiedades locales comunes
- Cada portada es un homeomorfismo local ; [6] es decir, para cada, existe un barrio de cy un barrio de tal que la restricción de p a T produce un homeomorfismo de U a V . Esto implica que C y X comparten todas las propiedades locales. Si X está simplemente conectado y C está conectado, entonces esto también es válido globalmente, y la cobertura p es un homeomorfismo.
- Si y están cubriendo mapas, entonces también lo es el mapa dada por . [7]
Homeomorfismo de las fibras
Para cada x en X , la fibra sobre x es un discreto subconjunto de C . [3] En cada componente conectado de X , las fibras son homeomórficas.
Si X está conectado, hay un espacio discreto F tal que para cada x en X la fibra sobre x es homeomorfa a F y, además, para cada x en X hay un vecindario U de x tal que su preimagen completa p -1 ( U ) es homeomorfo a U × F . En particular, la cardinalidad de la fibra sobre x es igual a la cardinalidad de F y se llama el grado de la cubierta p : C → X . Así, si cada fibra tiene n elementos, hablamos de una cubierta de n pliegues (para el caso n = 1 , la cubierta es trivial; cuando n = 2 , la cubierta es una cubierta doble ; cuando n = 3 , la cubierta es una cubierta triple y así sucesivamente).
Propiedades de elevación
Si p : C → X es una cobertura y γ es una ruta en X (es decir, un mapa continuo desde el intervalo unitario [0, 1] en X ) y c ∈ C es un punto "que se encuentra sobre" γ (0) (es decir p ( c ) = γ (0)) , entonces existe una ruta única Γ en C que se encuentra sobre γ (es decir, p ∘ Γ = γ ) tal que Γ (0) = c . La curva Γ se llama elevación de γ. Si x y y son dos puntos en X conectadas por un camino, entonces ese camino proporciona una biyección entre la fibra sobre x y la fibra sobre y a través de la propiedad de elevación.
De manera más general, sea f : Z → X un mapa continuo a X desde un espacio Z conectado con una ruta y con una ruta local conectada . Fije un punto base z ∈ Z y elija un punto c ∈ C "que se encuentre sobre" f ( z ) (es decir, p ( c ) = f ( z ) ). Entonces existe una elevación de f (es decir, un mapa continuo g : Z → C para el cual p ∘ g = f y g ( z ) = c ) si y solo si los homomorfismos inducidos f # : π 1 ( Z , z ) → π 1 ( X , f ( z )) y p # : π 1 ( C , c ) → π 1 ( X , f ( z )) a nivel de grupos fundamentales satisfacer
( ♠ )
Además, si existe tal elevación g de f , es única.
En particular, si se supone que el espacio Z está simplemente conectado (de modo que π 1 ( Z , z ) es trivial), la condición (♠) se satisface automáticamente y cada mapa continuo de Z a X se puede levantar. Dado que el intervalo unitario [0, 1] está simplemente conectado, la propiedad de elevación para caminos es un caso especial de la propiedad de elevación para mapas indicados anteriormente.
Si p : C → X es una cobertura y c ∈ C y x ∈ X son tales que p ( c ) = x , entonces p # es inyectivo a nivel de grupos fundamentales , y los homomorfismos inducidos p # : π n ( C , c ) → π n ( X , x ) son isomorfismos para todo n ≥ 2 . Ambas afirmaciones se pueden deducir de la propiedad de elevación para mapas continuos. Sobreyectividad de p # para n ≥ 2 se deduce del hecho de que para todos tal n , el n -sphere S n está conectado simplemente y por lo tanto cada aplicación continua de S n a X se puede levantar a C .
Equivalencia
Sean p 1 : C 1 → X y p 2 : C 2 → X dos coberturas. Se dice que las dos coberturas p 1 y p 2 son equivalentes si existe un homeomorfismo p 21 : C 2 → C 1 y tal que p 2 = p 1 ∘ p 21 . Las clases de equivalencia de revestimientos corresponden a clases de conjugación de subgrupos del grupo fundamental de X , como se analiza a continuación. Si p 21 : C 2 → C 1 es una cobertura (en lugar de un homeomorfismo) y p 2 = p 1 ∘ p 21 , entonces se dice que p 2 domina a p 1 .
Recubrimiento de un colector
Desde revestimientos son locales homeomorfismos , una cubierta de un topológica n - colector es un n -manifold. (Se puede probar que el espacio de cobertura es contable en segundo lugar por el hecho de que el grupo fundamental de una variedad siempre es contable ). Sin embargo, un espacio cubierto por una variedad n puede ser una variedad que no es de Hausdorff . Se da un ejemplo al dejar que C sea el plano con el origen eliminado y X el espacio del cociente obtenido al identificar cada punto ( x , y ) con (2 x , y / 2) . Si p : C → X es el mapa del cociente, entonces es una cobertura ya que la acción de Z sobre C generada por f ( x , y ) = (2 x , y / 2) es propiamente discontinua . El puntos p (1, 0) y p (0, 1) no tienen barrios disjuntos en X .
Cualquier espacio de cobertura de una variedad diferenciable puede estar equipado con una estructura diferenciable (natural) que convierte p (el mapa de cobertura en cuestión) en un difeomorfismo local , un mapa con rango constante n .
Cubiertas universales
Un espacio de cobertura es un espacio de cobertura universal si simplemente está conectado . El nombre cobertura universal proviene de la siguiente propiedad importante: si el mapeo q : D → X es una cobertura universal del espacio X y el mapeo p : C → X es cualquier cobertura del espacio X donde está conectado el espacio de cobertura C , entonces existe un mapa de cobertura f : D → C tal que p ∘ f = q . Esto puede expresarse como
La cubierta universal (del espacio X ) cubre cualquier cubierta conectada (del espacio X ).
El mapa f es único en el siguiente sentido: si fijamos un punto x en el espacio X y un punto d en el espacio D con q ( d ) = x y un punto c en el espacio C con p ( c ) = x , entonces existe un mapa de cobertura único f : D → C tal que p ∘ f = q y f ( d ) = c .
Si el espacio X tiene una cobertura universal entonces que la cobertura universal es esencialmente único: si las asignaciones de q 1 : D 1 → X y q 2 : D 2 → X son dos tapas universales del espacio X entonces existe un homeomorfismo f : D 1 → D 2 tal que q 2 ∘ f = q 1 .
El espacio X tiene una cobertura universal si está conectado , localmente ruta conectados y semi-localmente simplemente conexo . La cubierta universal del espacio X puede ser construido como un cierto espacio de trayectorias en el espacio X . Más explícitamente, forma un paquete principal con el grupo fundamental π 1 ( X ) como grupo de estructura.
El ejemplo R → S 1 dado arriba es una cubierta universal. El mapa S 3 → SO (3) desde los cuaterniones unitarios hasta las rotaciones del espacio 3D descrito en los cuaterniones y la rotación espacial también es una cobertura universal.
Si el espacio lleva alguna estructura adicional, entonces su cobertura universal generalmente hereda esa estructura:
- Si el espacio es un colector , entonces también lo es su cobertura universal D .
- Si el espacio es una superficie de Riemann , entonces también lo es su cubierta universal D , yes un mapa holomórfico .
- Si el espacio es una variedad de Riemann , entonces también lo es su cubierta universal, yes una isometría local .
- Si el espacio es una variedad de Lorentz , entonces también lo es su cubierta universal. Además, suponga que el subconjunto p −1 ( U ) es una unión disjunta de conjuntos abiertos, cada uno de los cuales es difeomórfico con U por el mapeo. Si el espaciocontiene una curva de tiempo cerrada (CTC), luego el espaciotiene una conexión temporal similar a la de un tiempo (ningún CTC puede ser homotópico temporal hasta un punto, ya que ese punto no se comportaría causalmente bien), su cobertura universal (difeomórfica) es una conexión temporal simplemente conectada (no contiene una CTC).
- Si X es un grupo de Lie (como en los dos ejemplos anteriores), entonces también lo es su cobertura universal D , y el mapeo p es un homomorfismo de grupos de Lie. En este caso, la cubierta universal también se denomina grupo de cubierta universal . Esto tiene una aplicación particular a la teoría de la representación y la mecánica cuántica , ya que las representaciones ordinarias del grupo de cobertura universal ( D ) son representaciones proyectivas del grupo original (clásico) ( X ).
La cobertura universal surgió por primera vez en la teoría de las funciones analíticas como el dominio natural de una continuación analítica .
Recubrimientos G
Deje que G sea un grupo discreto que actúa en el espacio topológico X . Esto significa que cada elemento g de G está asociado a un homeomorfismo H g de X sobre sí mismo, de tal manera que H g h es siempre igual a H g ∘ H h para dos elementos g y h de G cualesquiera . (O en otras palabras, una acción de grupo del grupo G en el espacio X es simplemente un homomorfismo de grupo del grupo G en el grupo Homeo ( X ) de auto-homeomorfismos de X ). Es natural preguntarse bajo qué condiciones el La proyección de X al espacio orbital X / G es un mapa de cobertura. Esto no siempre es cierto ya que la acción puede tener puntos fijos. Un ejemplo de esto es el grupo cíclico de orden 2 que actúa sobre un producto X × X por la acción de giro donde el elemento no identitario actúa por ( x , y ) ↦ ( y , x ) . Por tanto, el estudio de la relación entre los grupos fundamentales de X y X / G no es tan sencillo.
Sin embargo, el grupo G actúa sobre el grupoide fundamental de X , por lo que el estudio se maneja mejor si se consideran los grupos que actúan sobre los grupoides y los correspondientes grupos de órbitas . La teoría para esto se establece en el Capítulo 11 del libro Topología y agrupaciones a las que se hace referencia a continuación. El resultado principal es que para acciones discontinuas de un grupo G en un espacio de Hausdorff X que admite una cobertura universal, entonces el grupoide fundamental del espacio orbital X / G es isomorfo al grupoide orbital del grupoide fundamental de X , es decir, el cociente de que groupoid por la acción del grupo G . Esto conduce a cálculos explícitos, por ejemplo, del grupo fundamental del cuadrado simétrico de un espacio.
Grupo de transformación de cubierta (cubierta), cubiertas regulares
Una transformación de recubrimiento o transformación de cubierta o automorfismo de una cubierta.es un homeomorfismo tal que . El conjunto de todas las transformaciones de mazos deforma un grupo bajo composición , el grupo de transformación de cubierta . Las transformaciones de cubierta también se denominan transformaciones de cobertura . Cada transformación de la plataforma permuta los elementos de cada fibra. Esto define una acción de grupo del grupo de transformación de cubierta en cada fibra. Tenga en cuenta que por la propiedad de elevación única, si no es la identidad y está conectado el camino, entonces no tiene puntos fijos .
Ahora suponga es un mapa de cobertura y (y por lo tanto también ) está conectado y la ruta está conectada localmente. La acción deen cada fibra es gratis . Si esta acción es transitiva en alguna fibra, entonces es transitiva en todas las fibras, y llamamos a la cobertura regular (o normal o Galois ). Cada cobertura regular es un principio GRAMO {\ Displaystyle G} -paquete , donde se considera un grupo topológico discreto.
Cada funda universal es regular, con el grupo de transformación del mazo isomorfo al grupo fundamental .
Como otro ejemplo importante, considere el plano complejo y el plano complejo menos el origen. Entonces el mapa con es una portada regular. Las transformaciones del mazo son multiplicaciones con-th raíces de la unidad y el grupo de transformación de cubierta es, por lo tanto, isomorfo al grupo cíclico . Asimismo, el mapa con es la funda universal.
Acción monodromía
Supongamos de nuevo es un mapa de cobertura y C (y por lo tanto también X ) está conectado y la ruta está conectada localmente. Si x está en X y c pertenece a la fibra sobre x (es decir,), y es un camino con , luego esta ruta se eleva a una ruta única en C con el punto de partida c . El punto final de esta trayectoria elevada no necesita ser c , pero debe estar en la fibra sobre x . Resulta que este punto final solo depende de la clase de γ en el grupo fundamental π 1 ( X , x ) . De esta manera obtenemos una acción de grupo derecha de π 1 ( X , x ) en la fibra sobre x . Esto se conoce como acción monodromía .
Hay dos acciones en la fibra sobre x : Aut ( p ) actúa a la izquierda y π 1 ( X , x ) actúa a la derecha. Estas dos acciones son compatibles en el siguiente sentido:para todo f en Aut ( p ), c en p −1 ( x ) y γ en π 1 ( X , x ) .
Si p es una cobertura universal, entonces Aut ( p ) se puede identificar naturalmente con el grupo opuesto de π 1 ( X , x ) de modo que la acción izquierda del grupo opuesto de π 1 ( X , x ) coincida con la acción de Aut ( p ) en la fibra sobre x . Tenga en cuenta que Aut ( p ) y π 1 ( X , x ) son naturalmente isomorfos en este caso (ya que un grupo siempre es naturalmente isomorfo a su opuesto a través de g ↦ g −1 ) .
Si p es una cobertura regular , entonces Aut ( p ) es naturalmente isomorfo a un cociente de π 1 ( X , x ) .
En general (para buenos espacios), Aut ( p ) es naturalmente isomorfo al cociente del normalizador de p * ( π 1 ( C , c )) en π 1 ( X , x ) sobre p * ( π 1 ( C , c )) , donde p ( c ) = x .
Más sobre la estructura del grupo
Sea p : C → X un mapa de cobertura donde tanto X como C están conectados por caminos. Sea x ∈ X un punto base de X y sea c ∈ C una de sus preimágenes en C , es decir p ( c ) = x . Existe un homomorfismo inducido de los grupos fundamentales p # : π 1 ( C , c ) → π 1 ( X , x ) que es inyectivo por la propiedad de elevación de los revestimientos. Específicamente, si γ es un ciclo cerrado en c tal que p # ([ γ ]) = 1 , es decir, p ∘ γ es homotópico nulo en X , entonces considere una homotopía nula de p ∘ γ como un mapa f : D 2 → X de la 2-disco D 2 a X tal que la restricción de f al límite S 1 de D 2 es igual a p ∘ gamma . Por la propiedad de elevación, el mapa f se eleva a un mapa continuo g : D 2 → C tal que la restricción de g al límite S 1 de D 2 es igual a γ . Por lo tanto, γ es nulo-homotópico en C , de modo que el núcleo de p # : π 1 ( C , c ) → π 1 ( X , x ) es trivial y por lo tanto p # : π 1 ( C , c ) → π 1 ( X , x ) es un homomorfismo inyectivo.
Por lo tanto, π 1 ( C , c ) es isomorfo al subgrupo p # ( π 1 ( C , c )) de π 1 ( X , x ) . Si c 1 ∈ C es otra imagen previa de x en C entonces el subgrupos p # ( π 1 ( C , c )) y p # ( π 1 ( C , c 1 )) son conjugado en π 1 ( X , x ) por p -imagen de una curva en C que conecta c con c 1 . Así, un mapa de cobertura p : C → X define una clase de conjugación de subgrupos de π 1 ( X , x ) y se puede mostrar que las cubiertas equivalentes de X definen la misma clase de conjugación de subgrupos de π 1 ( X , x ) .
Para una cobertura p : C → X, el grupo p # ( π 1 ( C , c )) también puede verse como igual a
el conjunto de clases de homotopía de aquellas curvas cerradas γ basadas en x cuyas elevaciones γ C en C , comenzando en c , son curvas cerradas en c . Si X y C están conectados en una ruta, el grado de cobertura p (es decir, la cardinalidad de cualquier fibra de p ) es igual al índice [ π 1 ( X , x ): p # ( π 1 ( C , c )) ] del subgrupo p # ( π 1 ( C , c )) en π 1 ( X , x ) .
Un resultado clave de la teoría del espacio de cobertura dice que para un espacio X "suficientemente bueno" (es decir, si X está conectado a un camino, conectado a un camino localmente y conectado simplemente de manera semiclocal ) existe de hecho una biyección entre clases de camino de equivalencia -cubiertas conectadas de X y las clases de conjugación de subgrupos del grupo fundamental π 1 ( X , x ) . El paso principal para demostrar este resultado es establecer la existencia de una cobertura universal, es decir, una cobertura correspondiente al subgrupo trivial de π 1 ( X , x ) . Una vez que la existencia de una cobertura universal C de X se establece, si H ≤ pi 1 ( X , x ) es un subgrupo arbitraria, el espacio C / H es la cubierta de X correspondiente a H . También es necesario comprobar que dos cubiertas de X correspondientes al mismo subgrupo (clase de conjugación de) de π 1 ( X , x ) son equivalentes. Conectados complejos de células y conectados colectores son ejemplos de espacios "suficientemente buenas".
Sea N ( Γ p ) el normalizador de Γ p en π 1 ( X , x ) . El grupo de transformación de mazos Aut ( p ) es isomorfo al grupo cociente N (Γ p ) / Γ p . Si p es una cobertura universal, entonces Γ p es el grupo trivial y Aut ( p ) es isomorfo a π 1 ( X ).
Invirtamos este argumento. Sea N un subgrupo normal de π 1 ( X , x ) . Por los argumentos anteriores, esto define una (regular) que cubre p : C → X . Sea c 1 en C en la fibra de x . Entonces, para cada otro c 2 en la fibra de x , no es precisamente una transformación cubierta que lleva c 1 a c 2 . Esta transformación del tablero corresponde a una curva g en C que conecta c 1 con c 2 .
Relaciones con los grupoides
Una de las formas de expresar el contenido algebraico de la teoría de la cobertura de espacios es el uso de groupoids y el groupoid fundamental . El último funtor da una equivalencia de categorías.
entre la categoría de espacios de cobertura de un espacio X razonablemente agradable y la categoría de morfismos de cobertura grupoide de π 1 ( X ). Así, un tipo particular de mapa de espacios está bien modelado por un tipo particular de morfismo de los grupoides. La categoría de morfismos de recubrimiento de un grupoide G es también equivalente a la categoría de acciones de G sobre conjuntos, y esto permite recuperar clasificaciones de recubrimientos más tradicionales.
Relaciones con espacios de clasificación y cohomología grupal
Si X es un conectado complejo célula con grupos de homotopía pi n ( X ) = 0 para todos los n ≥ 2 , entonces el espacio recubrimiento universal T de X es contráctil, como la aplicación de las teorema Whitehead a T . En este caso, X es un espacio de clasificación o K ( G , 1) para G = π 1 ( X ) .
Por otra parte, para cada n ≥ 0 el grupo de celulares n -Cadenas C n ( T ) (es decir, un grupo abeliano libre con base dada por n -Cells en T ) también tiene un naturales Z G - módulo de estructura. Aquí, para una n- celda σ en T y para g en G, la celda g σ es exactamente la traducción de σ por una transformación de cobertura de T correspondiente a g . Por otra parte, C n ( T ) es un libre Z G -módulo con conexión Z G -basis propuesta por representantes de G -orbits de n -Cells en T . En este caso, el complejo de cadena topológica estándar
donde ε es el mapa de aumento , es un libre Z G -Resolución de Z (donde Z está equipado con el trivial Z G estructura -module, GM = m por cada g ∈ G y cada m ∈ Z ). Esta resolución se puede utilizar para calcular la cohomología de grupo de G con coeficientes arbitrarios.
El método de Graham Ellis para calcular resoluciones de grupo y otros aspectos del álgebra homológica, como se muestra en su artículo en J. Symbolic Comp. y su página web que se enumera a continuación, es construir una cubierta universal de una K ( G , 1) prospectiva inductivamente al mismo tiempo que una homotopía contratante de esta cubierta universal. Es este último el que da el método computacional.
Generalizaciones
Como teoría de la homotopía, la noción de cubrir espacios funciona bien cuando el grupo de transformación de la plataforma es discreto o, de manera equivalente, cuando el espacio está conectado localmente con una ruta . Sin embargo, cuando el grupo de transformación del tablero es un grupo topológico cuya topología no es discreta , surgen dificultades. Se han hecho algunos avances para espacios más complejos, como el pendiente hawaiano ; consulte las referencias allí para obtener más información.
Varias de estas dificultades se resuelven con la noción de semicoverificación debida a Jeremy Brazas, véase el artículo citado a continuación. Todo mapa de cobertura es un semicubrimiento, pero los semicubrimientos cumplen la regla "2 de 3": dada una composición h = fg de mapas de espacios, si dos de los mapas son semicubrimientos, también lo es el tercero. Esta regla no se aplica a las coberturas, ya que la composición de los mapas de cobertura no necesita ser un mapa de cobertura.
Otra generalización es a las acciones de un grupo que no son libres. Ross Geoghegan, en su revisión de 1986 ( MR 0760769 ) de dos artículos de MA Armstrong sobre los grupos fundamentales de espacios orbitales, escribió: "Estos dos artículos muestran qué partes de la teoría del espacio de cobertura elemental se trasladan del caso libre al no libre. tipo de material básico que debería haber estado en los libros de texto estándar sobre grupos fundamentales durante los últimos cincuenta años ". En la actualidad, "Topología y grupos" que se enumeran a continuación parece ser el único texto de topología básica que cubre tales resultados.
Aplicaciones
Una aplicación práctica importante de cubrir espacios se produce en los gráficos de SO (3) , el grupo de rotación . Este grupo se encuentra ampliamente en la ingeniería, debido a que las rotaciones tridimensionales se utilizan mucho en la navegación , la ingeniería náutica y la ingeniería aeroespacial , entre muchos otros usos. Topológicamente, SO (3) es el espacio proyectivo real RP 3 , con el grupo fundamental Z / 2, y solo (no trivial) que cubre el espacio la hiperesfera S 3 , que es el grupo Spin (3) , y representada por la unidad de cuaterniones. . Por lo tanto, los cuaterniones son un método preferido para representar rotaciones espaciales; consulte los cuaterniones y la rotación espacial .
Sin embargo, a menudo es deseable representar las rotaciones mediante un conjunto de tres números, conocidos como ángulos de Euler (en numerosas variantes), tanto porque esto es conceptualmente más simple para alguien familiarizado con la rotación plana como porque uno puede construir una combinación de tres cardanes para producir rotaciones en tres dimensiones. Topológicamente esto corresponde a un mapa del 3-toro T 3 de tres ángulos al espacio proyectivo real RP 3 de rotaciones, y el mapa resultante tiene imperfecciones debido a que este mapa no puede ser un mapa de cobertura. Específicamente, el hecho de que el mapa no sea un homeomorfismo local en ciertos puntos se denomina bloqueo de cardán y se demuestra en la animación de la derecha: en algunos puntos (cuando los ejes son coplanares) el rango del mapa es 2, en lugar de 3, lo que significa que solo se pueden realizar 2 dimensiones de rotaciones desde ese punto cambiando los ángulos. Esto causa problemas en las aplicaciones y se formaliza con la noción de espacio de cobertura.
Ver también
- Bethe lattice es la cubierta universal de un gráfico Cayley
- Gráfico de cobertura , un espacio de cobertura para un gráfico no dirigido y su caso especial, la cubierta doble bipartita.
- Grupo de cobertura
- Conexión de Galois
- Espacio de cociente (topología)
Notas
- ^ Spanier 1994 , p. 62
- ↑ a b c d Munkres , 2000 , pág. 336
- ^ Lickorish (1997). Introducción a la teoría de los nudos . págs. 66–67.
- ^ Bredon, Glen (1997). Topología y geometría . ISBN 978-0387979267.
- ^ Munkres 2000 , p. 338
- ^ Munkres 2000 , p. 339, Teorema 53,3
Referencias
- Brown, Ronald (2006). Topología y Groupoids . Charleston, Carolina del Sur: Booksurge LLC. ISBN 1-4196-2722-8. Ver capítulo 10.
- Chernavskii, AV (2001) [1994], "Covering" , Enciclopedia de Matemáticas , EMS Press
- Farkas, Hershel M .; Kra, Irwin (1980). Riemann Surfaces (2ª ed.). Nueva York: Springer. ISBN 0-387-90465-4. Consulte el capítulo 1 para una revisión simple.
- Hatcher, Allen (2002). Topología algebraica . Prensa de la Universidad de Cambridge . ISBN 0-521-79540-0.
- Higgins, Philip J. (1971). Notas sobre categorías y grupoides . Estudios Matemáticos. 32 . Londres-Nueva York-Melbourne: Van Nostrand Reinhold. Señor 0327946 .
- Jost, Jürgen (2002). Superficies compactas Riemann . Nueva York: Springer. ISBN 3-540-43299-X. Ver sección 1.3.
- Massey, William (1991). Un curso básico de topología algebraica . Nueva York: Springer. ISBN 0-387-97430-X. Ver capítulo 5.
- Munkres, James R. (2000). Topología (2. ed.). Upper Saddle River, Nueva Jersey: Prentice Hall. ISBN 0131816292.
- Brazas, Jeremy (2012). "Semicoverings: una generalización de la teoría del espacio de cobertura". Homología, Homotopía y Aplicaciones . 14 (1): 33–63. arXiv : 1108.3021 . doi : 10.4310 / HHA.2012.v14.n1.a3 . Señor 2954666 . S2CID 55921193 .
- Ellis, Graham. "Programación de Álgebra Homológica" .
- Ellis, Graham (2004). "Informática de resoluciones de grupo". Revista de Computación Simbólica . 38 (3): 1077-1118. doi : 10.1016 / j.jsc.2004.03.003 .
- Spanier, Edwin (1994) [1966]. Topología algebraica . Saltador. ISBN 0-387-94426-5.