Русская Википедия:Универсальное накрытие

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Универсальное накрытие — в некотором смысле самое большое накрытие пространства. В непатологических случаях, универсальное накрытие есть накрытие односвязным пространством.

Определение

Накрытие <math>p\colon \tilde Y \to Y</math> называется универсальным если для любого другого накрытия <math>q\colon X\to Y</math> существует накрытие <math>s\colon \tilde Y \to X</math> такое, что <math>p=q\circ s</math>.

Примеры

Файл:Hawaiian earrings.png
Гавайская серьга
Файл:Неодносвязное универсальное накрытие.svg
Пространство неодносвязного универсального накрытия
  • Примером пространства, не допускающего универсальное накрытие, является так называемая гавайская серьга: объединение последовательности окружностей, попарно касающихся в одной точке, радиусы которых стремятся к нулю.[1]
  • Две копии конуса над гавайской серьгой, склеенные по одной точке, в которой окружности гавайской серьги имеют общую точку, дают пример неодносвязного пространства с тривиальным (и значит неодносвязным) универсальным накрытием. Замкнутый путь, обегающий уменьшающиеся окружности и бегающий из конуса в конус, негомотопен нулю. [2]
  • Вещественная прямая <math>\R</math> является универсальным накрытием окружности <math>S^1</math>.

Свойства

  • Все локально линейно связные и полулокально односвязные связные пространства допускают универсальное накрытие. Более того, пространство накрытия является односвязным.
    • В частности, у любого локально односвязного связного пространства существует универсальное накрытие.

Примечания

Шаблон:Примечания

Литература

  1. Глава 2, § 5, 17 в Спеньер Э. Алгебраическая топология. — Шаблон:М: Мир, 1971
  2. Глава 2, § 5, 18 в Спеньер Э. Алгебраическая топология. — Шаблон:М: Мир, 1971