Накрытие

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Пример накрытия: накрытие окружности спиралью, гомеоморфной пространству вещественных чисел R.

Накрытие — это непрерывное сюръективное отображение линейно связного пространства на линейно связное пространство , такое, что у любой точки найдется окрестность , полный прообраз которой представляет собой объединение непересекающихся областей :

,

причём на каждой области отображение является гомеоморфизмом между и .

Формальное определение[править | править вики-текст]

Covering space diagram.svg

Отображение линейно связного пространства на линейно связное пространство называется накрытием, если у любой точки имеется окрестность , для которой существует гомеоморфизм , где дискретное пространство, такое что если обозначает естественную проекцию, то

.

Связанные определения[править | править вики-текст]

  • Пространство Y называется базой накрытия, а Xпространством накрытия (или накрывающим пространством).
  • Прообраз точки называют слоем над точкой .
  • Число областей Vk в полном прообразе называется числом листов.
    • Если это число конечно и равно n, то накрытие называется n-листным.
  • Накрытие называется универсальным если накрывающее пространство односвязно.

Примеры[править | править вики-текст]

  • Пусть обозначает единичную окружность комплексной плоскости .
    • ,   .
    • ,   , где , .

Свойства[править | править вики-текст]

Связь с фундаментальной группой[править | править вики-текст]

Обычно накрытие рассматривается в предположении связности и и также локальной односвязности . При этих предположениях устанавливается связь между фундаментальными группами и : если , то индуцированный гомоморфизм , отображает изоморфно на подгруппу в и, меняя точку в , можно получить в точности все подгруппы из некоторого класса сопряжённых подгрупп.

Если этот класс состоит из одной подгруппы (т. е. нормальный делитель), то накрытие называется регулярным. В этом случае возникает свободное действие группы на , причём оказывается факторотображением на пространство орбит . Вообще, свободные действия дискретных групп — обычный источник регулярных накрытий (над пространством орбит, хотя и не всякое такое действие задает накрытие, пространство орбит может оказаться неотделимым), но это так для конечных групп. Это действие порождается поднятием петель: если петле , , сопоставить единственный путь , для которого и , то точка будет зависеть только от класса этой петли в и от точки . Таким образом, элементу из отвечает перестановка точек в . Эта перестановка не имеет неподвижных точек, и непрерывно зависит от точки . Это определяет гомеоморфизм комутирующий с .

Гавайская серьга — пример пространства, не имеющего универсального накрытия

В общем случае эта конструкция определяет лишь перестановку в , то есть имеется действие на , называемый монодромией накрытия. Частным случаем регулярного накрытия является универсальное накрытие, для которого или, что эквивалентно, X — односвязно.

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

Для любого отображения линейно связного пространства в поднятие его до отображения существует тогда и только тогда, когда образ лежит в . Между накрытиями имеется отношение частичного порядка (накрытие накрытия есть накрытие), двойственное включению подгрупп в . В частности, универсальное накрытие является единственным максимальным элементом.

Литература[править | править вики-текст]

  • Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия. Методы и приложения. М.: Наука,1986
  • Болтянский В. Г., Ефремович В. А., Наглядная топология выпуск 21 серии «Библиотечка квант» М., Наука, 1982.

См. также[править | править вики-текст]