Основные примеры и свойства
[21/100%]Покажите, что если — накрывающее отображение, а — линейно связное, локально линейно связное хаусдорфово пространство, то , является накрывающим отображением.
Покажите, что если , — накрывающие отображения, то таковым же является , .
Покажите, что , (комплексное умножение) — или, эквивалентно, — является накрывающим отображением.
Покажите, что если компактно, а — накрывающее отображение, то для любого множество состоит из конечного числа точек.
Используя контекст упражнения 4.1.4 (что компактно, а — накрывающее отображение), покажите, что поскольку предполагается линейно связным, число точек в не зависит от .
Напомним, что порядок накрывающего отображения — это (постоянное) число точек в каждом прообразе ; когда это число конечно и равно , накрытие называется -листным.
Покажите, что , , является накрывающим пространством.
Покажите, что порядок этого накрытия равен .
Рассмотрим накрытие из упражнения 4.1.6. На рисунке 4.1(a) изображено это накрытие. Теперь изменим базовое пространство на , используя ту же конструкцию, которая применялась для получения из (хирургия: удаление двух дисков и замена их цилиндром), а в накрывающем пространстве проделаем эту хирургию дважды, как показано на рисунке 4.1(b).
Построение накрытия p : T^{(3)} \to T^{(2)}.
Покажите, что описанная выше конструкция приводит к двулистному накрытию .
Начиная с , постройте -листное накрытие .
Продолжая хирургическую конструкцию из упражнения 4.1.7 и начиная с , но теперь выполняя хирургий над базовым пространством, постройте -листное накрытие .
Напомним (из изучения неориентируемых поверхностей), что существуют двулистные накрытия и , где — сфера и тор, а — проективная плоскость и бутылка Клейна. Из них можно получить новые накрывающие пространства с помощью хирургии (удаление диска как из накрывающего пространства, так и из базового пространства, согласованным с накрывающим отображением образом, и замена каждого из них ручкой), как в упражнениях 4.1.7-4.1.8. Покажите, что существует двулистное накрытие .
Покажите, что существует двулистное накрытие .
Начнём с (обычная конструкция бутылки Клейна как фактора тора). Для нечётного образуем новое пространство ; заметим, что при получается обычная конструкция . Существует естественное отображение из в , индуцированное тождественным отображением на себя (оно корректно определено, поскольку нечётно, так что является частью отношения эквивалентности, задающего ). Покажите, что гомеоморфно .
Для каждого из конечных накрытий поверхностей, построенных хирургией в упражнениях 4.1.6-4.1.11, проверьте, что имеет место формула
связывающая эйлеровы характеристики и , где — порядок накрытия.
Предполагая формулу для поверхностей (упражнение 4.1.12), покажите, что единственные поверхности без края, которые могут накрывать сами себя с порядком , — это (тор) и (бутылка Клейна).
Пусть — накрывающее отображение конечного порядка одной поверхности на другую, и пусть дано разбиение на ручки, в котором каждая ручка лежит в равномерно накрытой окрестности.
Тогда существует эквивариантное разбиение на ручки, содержащее -ручек для каждой -ручки из .
Используя (а), покажите, что .
Пусть — букет двух окружностей, помеченных . Накрывающее пространство порядка можно изобразить, пометив накрытие как . На рисунке 4.2 показан один такой пример, в котором каждая окружность двулистно накрывается одной окружностью.
Двулистное накрытие S^1 \vee S^1.
Существуют ещё два неэквивалентных 2-листных накрывающих пространства для , отличных от изображённого выше. Приведите их изображения.
На рисунке 4.3 показано 3-листное накрытие . Рёбра, помеченные , отображаются на одну окружность, а помеченные — на другую.
Трёхлистное накрытие S^1 \vee S^1.
Приведите изображения двух различных неэквивалентных 3-листных накрывающих пространств для , отличных от изображённого на рисунке 4.3.
Существует более двух других, так что возможно много ответов.
Докажите следующую лемму: пусть — накрывающее отображение, и — линейно связное открытое множество, которое равномерно накрыто, причём , и . Пусть удовлетворяют . Если связно и непрерывно, причём , , то существует единственное поднятие отображения с . Более того, .
Докажите теорему о единственности поднятия пути: пусть — накрывающее отображение с . Дан путь с ; тогда существует единственный путь с и .
Пусть — путь в с и . Определим отображение из в следующим образом: для каждого пусть — единственное поднятие пути с . Затем сопоставим точку . Покажите, что это задаёт биекцию между и .
Докажите следующую теорему: пусть — гомотопия между , и .
Существует единственное поднятие с .
Если — поднятия с , то .
Используя упражнение 4.1.20, определите отображение из в следующим образом: сопоставим точку , где — единственное поднятие пути с .
Используя предположение о линейной связности , покажите, что это отображение сюръективно.
Пусть — подмножество классов с . Покажите, что является подгруппой .