Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

топология / Прасолов В. В., Элементы комбинаторной и дифференциальной топологии

.pdf
Скачиваний:
126
Добавлен:
16.04.2015
Размер:
2.75 Mб
Скачать

§ 2. Гомотопические свойства графов

41

графе по крайней мере одну вершину степени не более 3. Эту вершину выберем в качестве km−1.

С л у ч а й 2. В графе K(m) по крайней мере одна из вершин k1, k2, k3 и k4 соединена ребром с вершиной ki, i > 5.

В этом случае одна из вершин k1, k2, k3 и k4 имеет степень не менее 3, поэтому в величину 2v2 + v3 эти вершины дают вклад не более 7. Это означает, в частности, что граф K(m) имеет вершину степени не более 3, отличную от вершин k1, k2, k3 и k4. Эту вершину мы и выберем в каче-

стве km−1.

Во всех случаях граф K(m − 1) получается из графа K(m) выбрасы-

ванием вершины km−1.

2

§ 2. Гомотопические свойства графов

2.1.Фундаментальная группа графа

На графах (1-мерных комплексах) можно наблюдать многие явления гомотопической топологии, чем мы сейчас и займемся.

Отображения f0, f1 : X → Y называют гомотопными, если существует такое непрерывное отображение F : X × [0, 1] → Y , что F(x, 0) =

= f0 (x) и F(x, 1) = f1 (x). Иными словами, отображения f0 и

f1 можно

связать семейством непрерывных отображений ft : X → Y ,

0 6 t 6 1,

непрерывно зависящих от t. Это семейство непрерывных отображений называют гомотопией, связывающей f0 и f1. Для гомотопности отображений f0 и f1 используется обозначение f0 ' f1.

Легко проверить, что гомотопность отображений – отношение эквивалентности. При доказательство того, что если f ' g и g ' h, то f ' h, следует воспользоваться теоремой о склейке отображений (теорема 0.1 на с. 14).

З а д а ч а 2.1. Пусть отображения ) f, g : GL(n, R) × GL(n, R) →

→ GL(2n, R) заданы формулами

 

 

0

1 .

f(A, B) =

0 B

,

g(A, B) =

 

A

0

 

 

AB

0

Докажите, что f ' g.

Отображение, гомотопное постоянному отображению, называют гомотопным нулю.

) На множестве, состоящем из матриц размером m × n, топология вводится следующим образом: каждая матрица отождествляется с точкой пространства Rmn (или Cmn, если элементы матрицы комплексные) и берётся индуцированная топология.

42 Глава I. Графы

Топологические пространства X и Y называют гомотопически эквивалентными, если существуют такие непрерывные отображения f : X → Y и g : Y → X, что отображения f ◦ g и g ◦ f гомотопны тождественным отображениям пространств Y и X, соответственно. Для гомотопической эквивалентности пространств X и Y используется обозначение X Y .

Топологическое пространство называют стягиваемым, если оно гомотопически эквивалентно точке.

У п р а ж н е н и е 1. Докажите, что пространство Rn стягиваемо. Топологическое пространство X называют линейно связным, если

любые две его точки x0 и x1 можно соединить путём, т. е. существует непрерывное отображение f отрезка I = [0, 1] в X, для которого f(0) = x0

иf(1) = x1.

Уп р а ж н е н и е 2. Докажите, что линейно связное пространство

связно.

З а д а ч а 2.2. Докажите, что следующие топологические пространства матриц линейно связны: а) пространство вещественных матриц порядка n с положительным определителем; б) пространство SO(n),

состоящее из

ортогональных матриц

порядка n

с

определителем 1;

 

 

в)

пространство U(n), состоящее

из унитарных матриц порядка n;

 

 

 

 

г) пространство SU(n), состоящее

 

 

из унитарных

 

матриц порядка n

 

 

с определителем 1.

 

 

 

Если в топологических про-

 

 

странствах X и Y , не имеющих об-

 

 

щих точек, отмечены точки x0 X

 

 

и

x1 Y , то

можно определить

 

 

топологическое

пространство

 

 

X Y = X Y/{x0, y0}, называемое

 

 

букетом пространств X и Y . Ины-

 

ми словами,

пространство X Y

 

 

Рис. 20. Букет окружностей

получается в

результате отожде-

 

 

ствления точек x0 и y0. По-другому

букет X Y можно определить как подмножество в X × Y , состоящее из таких точек (x, y), что x = x0 или y = y0. Аналогично для пространств X1, . . . , Xn с отмеченными точками x1, . . . , xn можно определить букет

X1 . . . Xn = X1 . . . Xn/{x1, . . . , xn}. Букет n окружностей изображён на рис. 20.

Т е о р е м а 2.1. Любой конечный связный 1-мерный комплекс гомотопически эквивалентен букету окружностей.

Рис. 21. Продолжение отображения

§ 2. Гомотопические свойства графов

43

Д о к а з а т е л ь с т в о. Предположим, что концы ребра A 1-мер- ного комплекса X не совпадают. Тогда A представляет собой отрезок, а не окружность, поэтому существует гомотопия ft : A → A, связывающая тождественное отображение f0 = idA и постоянное отображение f1 : A → A. Докажем, что в таком случае про-

странства X и X/A гомотопически эквивалентны. Гомотопию ft : A → A можно продолжить до такой гомотопии Ft : X → X, что F0 = idX . Иными словами, отображение множества (A × I) (X × {0}) X × I можно продолжить до отображения всего множества X × I. Это продолжение строится следующим образом. Пусть оба конца ребра B принадлежат ребру A. Тогда отображение задано на трёх из четырёх сторон квадрата B × I; на рис. 21 эти стороны изображены сплошными линиями, а четвертая сторона квадрата изображена пунктиром. Все точки луча, выходящего из точки P, отобразим в одну и ту

же точку (образ точки пересечения луча с одной из трёх выделенных сторон). Если один конец (или оба конца) ребра B не принадлежит ребру A, то на одной боковой стороне (или на обеих боковых сторонах) отображение задаём произвольно. Затем аналогично строим продолжение отображения для рёбер, граничащих с A и B, и т. д.

Пусть p : X → X/A – естественная проекция. Отображение F1 обладает следующим свойством: F1 (A) = A. Поэтому существует (единственное) отображение q : X/A → A, для которого F1 = q ◦ p. Для доказательства гомотопической эквивалентности пространств X и X/A достаточно проверить, что q ◦ p idX и p ◦ q idX/A. Гомотопия Ft по построению связывает отображения F1 = q ◦ p и F0 = idX . А так как Ft (A) A при всех t, то p ◦ Ft = qt ◦ p, где qt – некоторая гомотопия, связывающая отображения q0 = idX/A и q1 = p ◦ q.

Последовательные переходы от 1-мерного комплекса X к 1-мерному комплексу X/A приводят в конце концов к 1-мерному комплексу, у которого нет рёбер с несовпадающими концами. Такой комплекс представляет

собой букет окружностей.

2

Нетрудно убедиться, что связный 1-мерный комплекс, содержащий n0 вершин и n1 рёбер, гомотопически эквивалентен букету n1 − n0 + 1 окружностей. Чтобы доказать это, построим максимальное дерево, т. е. стягиваемый подкомплекс, содержащий все вершины. Фиксируем для этого некоторую вершину P0 и рассмотрим множества Sn, n = 1, 2, . . . , состоящие из тех вершин, для которых самый короткий путь до P0 проходит ровно через n рёбер. Соединим каждую вершину из множества

44 Глава I. Графы

Sn+1 с одной из тех вершин множества Sn, с которыми она соединена ребром (рис. 22). В результате получим максимальное дерево. Оно содержит n0 − 1 рёбер, которые можно последовательно стянуть. После этого получится 1-мерный комплекс с одной вершиной и n1 − n0 + 1 рёбрами, т. е. букет n1 − n0 + 1 окружностей.

Важной характеристикой линейно связного топологического пространства X с отмеченной точкой x0 является его фундаментальная группа π1 (X, x0). Элементами фундаментальной группы служат классы гомотопных петель в X с началом x0, т. е. отображений f : I → X отрезка I = [0, 1], для которых f(0) = f(1) = x0. Структура группы на множестве π1 (X, x0) вводится следующим образом. Положим

f1 f2 (t) =

(f2

(2t

1) при 1/2 6 t 6 1.

 

f1

(2t)

при 0 6 t 6 1/2,

Иными словами, за первую половину пути мы с удвоенной скоростью проходим петлю f1, а за вторую половину пути мы с удвоенной скоростью проходим петлю f2.

Единичным элементом фундаментальной группы служит класс, содержащий постоянное отображение f : I → x0. Для класса, содержащего петлю f(t), обратным является класс, содержащий петлю g(t) = f(1 − t). В самом деле, гомотопия

x0

f(2t − s)

Fs (t) = f(2 − 2t − s)

x0

при 0 6 t 6 s/2, при s/2 6 t 6 1/2,

при 1/2 6 t 6 1 − s/2, при 1 − s/2 6 t 6 1

(рис. 23) связывает отображения F0 = fg и F1 : I → x0.

Рис. 22. Максимальное дерево

§ 2. Гомотопические свойства графов

 

 

45

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 23. Обратный элемент

 

Рис. 24.

Ассоциатив-

 

фундаментальной группы

 

ность умножения

С помощью рис. 24 несложно построить гомотопию, связывающую

отображения f1 (f2 f3) и (f1 f2) f3.

 

 

 

 

Пусть α – путь в X с началом x1 и концом x2; f – петля с началом

и концом в точке x1. Тогда α−1 fα – петля с началом и концом в точке x2.

Легко проверить, что отображение f 7→α−1 fα индуцирует изоморфизм

группы π1 (X, x1) на группу π1 (X, x2). Пути α и β индуцируют один и тот

же изоморфизм тогда и только тогда, когда класс петли αβ−1 принадле-

жит центру группы π1 (X, x1). В самом деле, петли α−1 fα и β−1 fβ гомо-

топны тогда и только тогда, когда петли f(αβ−1) и (αβ−1) f гомотопны.

Линейно связное

пространство

X

называют

односвязным, если

π1 (X, x0) = 0 для некоторой точки x0 X; в таком случае π1 (X, x1) = 0

для любой точки x1 X.

 

 

 

 

 

Непрерывное отображение f : X → Y естественным образом индуци-

рует гомоморфизм f : π1 (X, x0) → π1 (Y , y0), где y0 = f(x0). При этом го-

моморфизме класс, содержащий петлю ω (t), переходит в класс, содер-

жащий петлю f(ω (t)). Ясно, что (fg) = f g .

 

 

Т е о р е м а

2.2.

Пусть ft – гомо-

 

 

 

топия, связывающая

отображения

 

 

 

f0, f1 :

X → Y .

Тогда

гомоморфизм

 

 

 

(f1) :

π1 (X, x0) → π1 (Y ,

f1 (x0)) совпа-

α

 

α

дает

с композицией

гомоморфизма

 

 

 

(f0) : π1 (X, x0) → π1 (Y ,

f0 (x0)) и изо-

 

 

 

морфизма π1 (Y , f0 (x0)) → π1 (Y , f1 (x0)),

 

 

 

индуцированного путём α(t) = ft (x0),

 

 

 

соединяющим точки f0 (x0) и f1 (x0).

 

 

 

 

 

Д о к а з а т е л ь с т в о. Пусть

h –

Рис. 25. Гомотопия

некоторая петля в X с началом и концом

 

 

и α−1 f0 (h(t))α

в точке x0. Требуется доказать, что

петли f1 (h(t))

гомотопны. Рассмотрим отображение F : I × I → Y , заданное формулой

46 Глава I. Графы

F(s, t) = fs (h(t)). Семейство путей, один из которых изображён на рис. 25, представляет собой гомотопию, связывающую петли f1h и α−1 (f0h)α. 2

Т е о р е м а 2.3. Фундаментальные группы гомотопически эквивалентных линейно связных топологических пространств изоморфны.

Д о к а з а т е л ь с т в о. Предположим, что линейно связные топологические пространства X и Y гомотопически эквивалентны. Тогда существуют отображения f : X → Y и g : Y → X, для которых fg idY и gf idX . Согласно теореме 2.2 гомоморфизмы g f : π1 (X, x0) →

→ π1 (X, gf(x0)) и f g : π1 (Y , y0) → π1 (Y , fg(y0)) являются композициями тождественного отображения и изоморфизма, т. е. изоморфизмами.

Рассмотрим гомоморфизмы

f (1)

g

f (2)

π1 (X, x0) −→ π1 (Y , f(x0)) −→ π1

(X, gf(x0)) −→ π1 (Y , fgf(x0)).

(Здесь f (1) и f (2) – гомоморфизмы фундаментальных групп с разными отмеченными точками, индуцированные одним и тем же отображением f.) Гомоморфизм g f (1) – изоморфизм, поэтому g – эпиморфизм. Гомоморфизм f (2) g – изоморфизм, поэтому g – мономорфизм. В итоге получаем, что g – изоморфизм. 2

Из теорем 2.1 и 2.3 следует, что фундаментальная группа связного 1-мерного комплекса изоморфна фундаментальной группе некоторого букета окружностей. А именно, фундаментальная группа связного 1-мер- ного комплекса, содержащего n0 вершин и n1 рёбер, изоморфна фундаментальной группе букета n1 − n0 + 1 окружностей.

2.2.Накрытия 1-мерных комплексов

 

Пусть Xh и X – линейно связные топологические пространства (напри-

мер, связные 1-мерныеh

комплексы). Отображение p : Xh → X называют

накрытием, если p(X)

−1

и у каждой точки x X есть такая окрест-

 

 

 

= X

 

этой окрестности гомеоморфен U × D,

ность U, что прообраз

p

(U)

где

D – дискретное множество,

причём ограничение отображения p

на

p−1 (U)

hустроено как естественная проекция U × D → U (рис. 26).

При этом

X называют накрывающим пространством, а X – базой

накрытия. Если дискретное множество D состоит ровно из n точек, то говорят, что накрытие n-листно. Прообраз точки x0 X называют слоем над точкой x0. Слой n-листного накрытия состоит ровно из n точек.

За д а ч а 2.3. а) Пусть Kn — полный граф с n вершинами, p : Kn

G – некоторое накрытие. Докажите, что число листов этого накрытия нечётно.

§ 2. Гомотопические свойства графов

47

h

R

Рис. 26. Накры-

Рис. 27. Экспоненциаль-

Рис. 28.

Незамкнутое

тие 1-мерного

ное накрытие окружно-

поднятие

замкнутого

комплекса

сти

пути

 

б) Докажите, что существует накрытие p : Kn → G с любым нечётным числом листов.

В этой главе мы будем рассматривать только накрытия 1-мерных комплексов.

Прямую R можно рассматривать как 1-мерный комплекс с вершинами

в точках с целочисленными координатами.

Отображение exp:

R →

S1,

 

1

,

 

 

 

 

переводящее точку t R в точку exp(2πit) S

 

является накрытием

(рис. 27).

γ

 

 

 

γh

)

 

Xh, что p(γh(t)) =

Назовем поднятием пути

 

(t) X такой путь

 

(t−1

 

 

 

= γ (t) при всех t. Если x0 – начало пути γ (t), а x˜ 1 p

(x0), то существу-

ет единственное поднятие пути γ (t) с началом в точке x˜ 1. Пример отображения exp показывает, что поднятие замкнутого пути не обязательно будет замкнутым путём (рис. 28). Накрытие p : Xh → X индуцирует го-

моморфизм p : π1 (Xh, x˜ 0) → π1 (X, x0), где x0 = p(x˜ 0). Класс петли γ (t)X с началом в точке x0 принадлежит подгруппе p π1 (Xh, x˜ 0) π1 (X, x0) тогда и только тогда, когда поднятие этой петли с началом в точке x˜ 0 за-

мкнуто. Если рассмотреть другую точку x˜ 1 из прообраза точки x0, то груп-

пы G0 = p π1 (Xh, x˜ 0) и G1 = p π1 (Xh, x˜ 1) не обязательно будут совпадать. В самом деле, G1 = α−1G0α, где α – проекция пути в Xh, соединяющего

точки x˜ 0 и x˜ 1. Совпадение групп G0 и G1 эквивалентно тому, что поднятие петли γ с началом в точке x˜ 0 замкнуто тогда и только тогда, когда замкнуто поднятие этой петли с началом в точке x˜ 1. Ясно также, что для петли γ с началом и концом в точке x0 любое её поднятие соединяет некоторые точки прообраза точки x0. Поэтому для любой петли γ с нача-

48 Глава I. Графы

лом x0 её поднятия, начинающиеся в разных точках прообраза точки x0, одновременно замкнуты или одновременно незамкнуты лишь в том случае,

когда hα−1G0α = G0 для

всех α π1 (X, x0), т. е.

p π1 (X, x˜ 0) – нормальная

подгруппа в π1 (X, x0).

В таком случае накрытие p называют регулярным. Пример нерегулярного накрытия изображён на рис. 29. По-другому то же самое накрытие изображено на рис. 30.

p : π1 (Xh, x˜ 0) → π1 (X, x0). Прежде всего покажем,Изучим теперь более подробно гомоморфизм

 

что p – мономорфизм. Для этого нужно прове-

 

рить, что если петли γh0 и γh1 с началом в точке x˜ 0

Рис. 29. Нерегуляр-

проецируются в гомотопные петли γ0 и γ1, то петли

ное накрытие

γh0 и γh1 тоже гомотопны. Пусть γs (t) – гомотопия,

 

соединяющая петли γ0 и γ1. Тогда при фиксиро-

ванном t = t0 получаем путь ω (s, t0) = γs (t0), соединяющий точки γ0

(t0)

и γ1 (t0). Рассмотрим его поднятие ωh(s, t0) с началом в точке γh0

(t0)

(рис. 31).

 

 

Рис. 30. Другое изображение нерегулярного накрытия

Концы путей ωh(s, t) образуют путь γh, проецирующийся в γ1, причём началом (и концом) пути γh служит точка x˜ 0. Поэтому γh совпадает с γh1, а значит, γhs (t) = ωh(s, t) – гомотопия, соединяющая петли γh0 и γh1.

Для подгруппы H = p π1 (Xh, x˜ 0) π1 (X, x0) =

= G можно рассмотреть правые смежные клас-сы Hg , g G. Смежные классы Hg1 и Hg2 сов-

γh

 

 

 

 

 

γh

i

i

 

 

 

 

 

падают, если g1 g2−1 H, и не пересекаются, если

 

ωh

 

 

 

 

 

 

 

 

 

 

−1

6H. Между множеством правых смежных

 

 

 

 

 

 

g1 g2

 

 

 

 

 

классов Hgi и точками p−1 (x0) существует есте-

γ

 

ω

 

 

 

γ

ственное взаимно однозначное соответствие. При

 

 

построении этого соответствия мы воспользуем-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ся тем, что среди точек p−1 (x0) есть выделенная

 

 

 

 

 

точка, а именно, точка x˜ 0. Сопоставим петле γ

Рис. 31.

Поднятие

в X с

началом x0 конец поднятия этой петли

гомотопии

 

 

 

 

с началом x˜ 0. В результате получим отображение

G → p−1 (x0). Покажем, что это отображение устанавливает взаимно однозначное соответствие между правыми смежными классами и точками

§ 2. Гомотопические свойства графов

49

множества p−1 (x0). Пусть γh1 и γh2 – поднятия с началом x˜ 0 петель γ1 и γ2. Конец пути γh1 совпадает с концом пути γh2 тогда и только тогда, когда γh1γh2−1 – замкнутый путь с началом x0, т. е. γh1γh2−1 H. Остаётся заметить, что рассматриваемое отображение G → p−1 (x0) является отображением на всё множество p−1 (x0). В самом деле, в точку x˜ 1 p−1 (x0) отображается элемент группы π1 (X, x0), соответствующий проекции пути в Xh

сначалом x˜ 0 и концом x˜ 1; проекция этого пути является петлей в X

сначалом x0. Итак, доказано следующее утверждение.

Т е о р е м а 2.4. Если p : Xh → X – накрытие и p(x˜ 0) = x0, то существует взаимно однозначное соответствие между множеством смежных классов π1 (X, x0)/p π1 (Xh, x˜ 0) и слоем p−1 (x0).

В общем случае множество смежных классов не имеет естественной структуры группы. Например, если однозначно определено произведение классов Hg и Hg−1, то для всех g G должно выполняться равенство HgHg−1 = H, т. е. gHg−1 = H. Это означает, что H – нормальная подгруппа в G, т. е. p – регулярное накрытие. Ясно также, что если H – нормальная подгруппа, то Hg1Hg2 = Hg1 g2, так как g1H = Hg1.

Итак, если накрытие p регулярное, то множество G/H, находящееся во взаимно однозначном соответствии с множеством p−1 (x0), имеет естественную структуру группы. В таком случае, фиксировав точку x˜ 0 p−1 (x0), множество p−1 (x0) тоже можно снабдить структурой группы. Эта группа допускает более геометрическое описание, чем факторгруппа π1 (X, x0)/p π1 (Xh, x˜ 0). Дело в том, что для регулярных накрытий в соответствие G/H ↔ p−1 (x0) можно вставить промежуточную группу Aut(p):

G/H ↔ Aut(p) ↔ p−1 (x0).

Здесь Aut(p) – группа автоморфизмов накрытия p, которую мы сейчас определим.

Гомеоморфизмh

f : Xh → Xh называют

автоморфизмомh

накрытия

p : X → X, если p(f(x˜ )) = p(x˜ ) для всех x˜

X. Если y˜ = f(x˜ ), то

p(y˜ ) =

= p(f(x˜ )) = p(x˜ ), поэтому автоморфизм

накрытия переставляет

точки

каждого слоя.

 

 

 

 

 

 

Т е о р е м а 2.5.

Любой автоморфизм накрытия полностью за-

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

 

 

Д о к а з а т е л ь с т в о. Покажем, что дляh

накрытияh

p : Xh → X су-

ществуетh

не более одного автоморфизмаh

f h: X → X, переводящего точку

0 X в заданную точку x˜ 1 X. Пусть y˜ 0 X – произвольная точка. Рассмотрим путь γh0, соединяющий точки x˜ 0 и y˜ 0. Пусть γ = pγh0 – проекция пути γh0, а γh1 – поднятие пути γ с началом в точке x˜ 1. Тогда автоморфизм f переводит путь γh0 в путь γh1, а значит, f(y˜ 0) = y˜ 1. Таким образом,

50 Глава I. Графы

автоморфизм f определён однозначно. Ясно также, что автоморфизм f,

переводящий точку x˜ 0 в точку x˜ 1, существует тогда и только тогда, когда

точка y˜

1

однозначно определяется точкой y˜ 0, т. е. поднятие с началом

в точке

1 проекции любого замкнутого пути с началом в точке x˜ 0 тоже

будет замкнуто.

2

У п р а ж н е н и е 3.

Докажите, что любой автоморфизм накрытия,

изображённого на рис. 29, тождествен.

Т е о р е м а 2.6. а) Накрытие p : Xh → X регулярно тогда и только тогда, когда группа Aut(p) транзитивно действует на слое p−1 (x0), т. е. переводит любой элемент слоя в любой другой эле-

мент того же слоя.

 

накрытия p : Xh → X группа Aut(p) изоморф-

б) Для регулярногоh

на π1 (X, x0)/p π1 (X, x˜ 0).

 

 

p регулярно и x˜

 

, x˜

 

Д о к а з а т е л ь с т в о. а)

Пусть накрытие

1

2

p

−1

(x0). Построимh

автоморфизм g Aut(p),

переводящий x˜ 1

 

 

 

 

в x˜ 2.

Пусть y˜ 1 X – произвольная точка; γh1 – произвольный путь из x˜ 1

в y˜ 1;

γ = pγh – проекция пути γ;

γh2 – поднятие пути

γ

с

началом в

точ-

ке x˜

2. Положим g(y˜

1) = y˜ 2,

где y˜ 2 – конец пути

γh2.

Отображение g

определено

корректно,

т. е.

2 не зависит от выбора

пути γh1. В са-

мом

деле,

из регулярности

накрытия p следует,

что

если

путь

γh1γh0

 

 

 

 

 

 

 

 

пути p(γh1γh0) тоже является

 

 

 

1

замкнут, то любое поднятие

замкнутым

путём.

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предположим теперь, что

группа Aut(p)

транзитивно

действует

на слое p−1 (x0). Пусть ω – замкнутый путь с началом и концом в точке

1 p−1 (x0)

и g – автоморфизм, переводящий x˜ 1 в

2. Тогда gω –

поднятие пути pω с началом в точке x˜ 2. Ясно, что путь

gω замкнут.

б) Пусть

α – петля в X с началом и концом x0,

[α] π1 (X, x0) –

класс гомотопных петель, содержащий петлю α. Сопоставим классу [α] следующий автоморфизм gα накрытия p. Пусть x˜ 0 p−1 (x0) – фиксированная точка слоя, y˜ 0 Xh – произвольная точка. Соединим x˜ 0 и y˜ 0 путём γh и рассмотрим путь γ = pγh. Положим gα (y˜ 0) = y˜ 1, где y˜ 1 – конец поднятия пути γα с началом x˜ 0.

Ядром гомоморфизма π1 (X, x0) → Aut(p) служит подгруппа π1 (Xh, x˜ 0).

Этот гомоморфизм эпиморфен. В самом деле, для любой точки x˜

i

p

−1

 

 

(x0) можно рассмотреть петлю αi, являющуюся проекцией пути

из x˜ 0 в x˜ i. Петле αi соответствует автоморфизм, переводящий x˜ 0 в x˜ i.

Но автоморфизм накрытия, переводящий x˜ 0 в x˜ i, единствен.

2

С л е д с т в и е 1.

Если p : Xh → X накрытие

и π1 (Xh) = 0, то

Aut(p) π1 (X).

 

 

 

=

Если p : Xh → X – регулярноеh

 

 

С л е д с т в и е h2.

накрытиеh

и A =

= Aut(p), то X = X/A и накрытие имеет вид p : X

→ X/A.

 

Соседние файлы в папке топология