Acoperire universală
Acoperirea universală este, într-un sens, cea mai mare acoperire a spațiului. În cazurile nepatologice, învelișul universal este acoperirea printr-un spațiu simplu conectat.
Definiție
O husă se numește universală dacă pentru orice altă husă există o husă astfel încât .
![{\displaystyle p\colon {\tilde {Y}}\la Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fe55df4f01a3e7c4bafc6407c8783eba85a0e40)
![{\displaystyle q\colon X\la Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38c62a170acad20b6a480acfad93f1f762d671be)
![{\displaystyle s\colon {\tilde {Y}}\la 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)
Exemple
- Un exemplu de spațiu care nu permite o acoperire universală este așa-numitul cercel hawaian : unirea unei secvențe de cercuri, tangente perechi în același punct, ale căror raze tind spre zero. [unu]
- Două copii ale conului peste cercelul hawaiian, lipite într-un punct, unde cercurile cercelului hawaian au un punct comun, dau un exemplu de spațiu neconectat simplu cu o acoperire universală banală (și, prin urmare, neconectat simplu) . O cale închisă care circulă în jurul unor cercuri descrescătoare și care merge de la con la con nu este omogenă cu zero. [2]
- Linia reală este acoperirea universală a cercului .
![\mathbb {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)
Proprietăți
- Toate spațiile conectate la cale locală și semi-local conectate simplu admit o acoperire universală. Mai mult, spațiul de acoperire este simplu conectat.
- În special, orice spațiu conectat simplu conectat local are o acoperire universală.
Note
- ↑ Capitolul 2, § 5, 17 în Spanier E. Topologie algebrică. — M .: Mir, 1971
- ↑ Capitolul 2, § 5, 18 în Spanier E. Topologie algebrică. — M .: Mir, 1971
Literatură
- Allen Hatcher. Topologie algebrică / Per. V. V. Prasolova. - M. : MTSNMO, 2011. - 688 p. — ISBN 978-5-94057-748-5 .