Cobertura universal
La cobertura universal es, en cierto sentido, la mayor cobertura del espacio. En los casos no patológicos, la cobertura universal es la cobertura por un espacio simplemente conexo.
Definición
Una tapa se llama universal si para cualquier otra tapa existe una tapa tal que .
![{\displaystyle p\dos puntos {\tilde {Y}}\a Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fe55df4f01a3e7c4bafc6407c8783eba85a0e40)
![{\displaystyle q\dos puntos X\a Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38c62a170acad20b6a480acfad93f1f762d671be)
![{\displaystyle s\colon {\tilde {Y}}\to X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe0dca9258bc574e44258d882d68ddcdb0274e07)
![{\displaystyle p=q\circ s}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da9472d127daaa9a264c8851a600e169b3143153)
Ejemplos
- Un ejemplo de espacio que no permite una cobertura universal es el llamado arete hawaiano : la unión de una secuencia de círculos, tangentes por pares en un mismo punto, cuyos radios tienden a cero. [una]
- Dos copias del cono sobre el arete hawaiano, pegadas en un punto, donde los círculos del arete hawaiano tienen un punto común, dan un ejemplo de un espacio no simplemente conectado con una cubierta universal trivial (y por lo tanto no simplemente conectada). . Un camino cerrado que corre alrededor de círculos decrecientes y que corre de cono a cono no es cero homogéneo. [2]
- La línea real es la cobertura universal del círculo .
![\matemáticas {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![S^{1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60796c8d0c03cf575637d3202463b214d9635880)
Propiedades
- Todos los espacios conexos localmente conexos y semilocalmente conexos admiten una cobertura universal. Además, el espacio de la cubierta está simplemente conectado.
- En particular, cualquier espacio conectado localmente simplemente conectado tiene una cubierta universal.
Notas
- ↑ Capítulo 2, § 5, 17 en Spanier E. Topología algebraica. — M .: Mir, 1971
- ↑ Capítulo 2, § 5, 18 en Spanier E. Topología algebraica. — M .: Mir, 1971
Literatura
- Allen Hatcher. Topología algebraica / Per. V. V. Prasolova. - M. : MTSNMO, 2011. - 688 p. — ISBN 978-5-94057-748-5 .