Сандракова Дифферентсиалные формы на гладкикх многообразиякх 2014
.pdfЗадача 7.17. Пусть гладкое отображение h: M × I → M , M – гладкое многообразие. Если отображение h рассматривать как се-
мейство зависящих от параметра t I отображений ht : |
M → M , |
то для любой замкнутой на M формы ω все формы h*ω, |
t I , бу- |
t |
|
дут лежать в одном классе когомологий. |
|
Задача 7.18. |
|
А. Пусть ht C(∞) (M , N ) , t I , – гладко зависящее от парамет-
ра t семейство отображений многообразия M в многообразие N. Проверьте, что для любой формы ω Ω(N ) справедлива следую-
щая формула гомотопии:
|
∂ |
|
* |
|
* |
|
|
* |
|
|
|
|
|
|
|
(h |
ω)(x) |
= dh |
(i |
|
ω)(x) + h |
(i |
|
dω)(x) , |
|
|
∂t |
|
|
|||||||||
|
|
t |
|
t |
|
X |
t |
|
X |
|
||
где x M , |
X – |
|
гладкое |
векторное |
поле на N, причем |
|||||||
X (x, t) Th ( x) N |
|
и |
X (x, t) |
есть вектор скорости для пути t′ → ht′(x) |
||||||||
t |
|
|
|
|
|
|
|
|
|
|
|
при t′ = t .
Б. Покажите, что если N – стягиваемое многообразие в точку, то для любого многообразия M и для любого k = 0, 1, 2, …
H k (N × M ) = H k (M ) .
Задача 7.19.
А. Непосредственно покажите, что если замкнутая 2-форма на сфере S2 такова, что ∫ ω= 0 , то форма ω – точная.
S2
Б. Покажите, что группа H 2 (S 2 ) изоморфна R.
С. Покажите, что H1(S 2 ) = 0 .
Задача 7.20.
А. Пусть ϕ: S2 → S2 – отображение, которое каждой точке x S2 ставит в соответствие диаметрально противоположную ей точку −x S2 (антипод).
Покажите, что между формами на проективной плоскости RP2 и формами на сфере S2 , инвариантными относительно отображения ϕ (т.е. ϕ*ω = ω), имеется взаимно однозначное соответствие.
131
Б. Покажите, что H 2 (RP2 ) = 0 . |
|
|
|
|
|
|||||
С. Докажите, что |
если |
функция |
f C(S2 , R) |
такова, |
что |
|||||
f (x) − f (−x) ≡ const , |
то |
f |
≡ 0 . Учитывая п. Б, покажите, |
что |
||||||
H1(RP2 ) = 0 . |
|
|
|
|
|
|
|
|
|
|
Задача 7.21. Найдите группы H (M ) , |
H1(M ) и H 2 (M ) , если: |
|||||||||
а) |
M = S1 |
– окружность; |
|
|
|
|
|
|
||
б) |
M =T 2 |
– двумерный тор; |
|
|
|
|
|
|||
с) |
M = K 2 |
– бутылка Клейна. |
|
|
|
|
|
|||
Задача 7.22. Докажите, что имеют место равенства: |
|
|||||||||
|
|
H 0 (S n ) = R , |
H i (S n ) = 0 , |
1 ≤ i ≤ n −1 , |
|
|
||||
|
|
H n (S n ) = R , |
H i (S n ) = 0 , |
i ≥ n +1 . |
|
|
||||
Задача 7.23. Докажите, |
что сфера |
Sn−1 = ∂Dn не является де- |
||||||||
формационным ретрактом замкнутого диска Dn . |
|
|
||||||||
Задача 7.24. Пусть |
f : |
S 2n → S 2n |
– отображение сферы S2n в |
|||||||
себя, |
заданное формулой |
f (x) = −x , |
x S 2n . Тогда f |
не гомотопно |
тождественному отображению.
Задача 7.25. Любое векторное поле на сфере S2n обращается хотя бы в одной точке в нуль.
Задача 7.26. Докажите теорему Брауэра (о неподвижной точке).
Любое гладкое отображение f диска Dn в себя имеет неподвижную точку.
Размерность линейного пространства H k (M n , R) называется k-мерным числом Бетти многообразия M n.
Задача 7.27. Исходя из определения 7.5, найдите одномерное число Бетти тора T 2 = S1 ×S1 .
К гл. 5
Задача 7.28. Покажите, что π1 (Y; y0 ) является группой с естественной групповой операцией.
132
Задача 7.29. Покажите, что π1 (Y; y0 ) в некотором смысле не зависит от точки y0 для линейно связного пространства Y (т.е. группы π1 (Y ; y0 ) и π1 (Y; y1 ) изоморфны, хотя и этот изоморфизм не канонический – он определяется путем, соединяющим y0 и y1 ).
Задача 7.30. Покажите, что π1 (Y; y0 ) – топологический инвари-
ант пространства Y, т.е. при замене Y на гомеоморфное ему топологическое пространство фундаментальная группа заменяется на изоморфную.
Задача 7.31. Вычислите π1(Sn ) при n ≥ 2 .
Задача 7.32. Пусть Bn – n-мерный диск (шар) с границей Sn−1 .
Тогда Bn / Sn−1 гомеоморфно Sn ( Bn / Sn−1 – фактор-пространст- во).
Задача 7.33. Для каких A на множестве Π( A; X ) при любом X
есть естественная групповая структура?
(Частичный ответ: если A = ΣB , то Π( A; X ) – группа, а если
A = ΣΣC , то эта группа абелева.)
Задача 7.34. Докажите, что определенная в тексте композиция превращает πn ( X ) в группу.
Задача 7.35. Покажите, что гомотопия является соотношением эквивалентности в пространстве C( X ; Y ) – непрерывных отобра-
жений X →Y .
Задача 7.36. Пусть Y – выпуклое множество в Rn , т.е. такое множество, которое вместе с любыми своими точками содержит и отрезок прямой, соединяющий эти точки. Топология на Y индуци-
рована топологией Rn .
Покажите, что отображение любого топологического пространства X в Y гомотопно тождественному отображению.
Задача 7.37. Пусть f : S n → X , X – топологическое простран-
ство. Пусть Bn+1 – диск (шар), границей которого является сфера
S n ( S n = ∂Bn+1 ). Покажите, что f гомотопно тождественному отображению тогда и только тогда, когда оно может быть продолжено
внутрь шара Bn+1 , т.е. когда существует такое непрерывное отображение g : Bn+1 → X , что g / ∂Bn+1 = f .
133
Задача 7.38. Покажите, что S1 и |
R2 \ {0} гомотопически экви- |
валентны. |
|
Задача 7.39. Покажите, что сфера |
S n−1 , n > 2 , и n-мерное евк- |
лидово пространство с выколотой точкой гомотопически эквивалентны.
Задача 7.40. Приведите пример топологического пространства
X, фундаментальная группа |
π1 ( X ) которого некоммутативна. |
||
Задача 7.41. Покажите, |
что отображение ff −1 |
|
гомотопно тож- |
дественному отображению. |
|
|
|
Задача 7.42. Докажите, что группа π (RP2 ) ≈ Z |
2 |
. |
|
|
1 |
|
К гл. 6
Задача 7.43. Докажите, что расслоение Хопфа нетривиально (т.е. не сводится к прямому произведению).
Задача 7.44. Ответьте на вопрос: верно ли, что любое расслое-
ние со слоем Dk тривиально?
Указание 7.45. Рассмотрите лист Мебиуса, при k >1 можно пользоваться расслоением произведения.
Задача 7.46. Пусть D – область в Rn ; f : D → Rn – отображе-
ние Cr (D) , якобиан которого отличен от нуля во всех точках облас-
ти D.
Верно ли, что отображениеf обратимо? Верно ли этопри n = 1?
Задача 7.47. Докажите, что следующие топологические про-
странства являются многообразиями: |
Sn , RPn , |
грассманианы |
Gk (Rn ) и Gk+ (Rn ) , группы Ли GL(Rn ) |
и O(n; Rn ) . |
|
Задача 7.48. Какие из перечисленных в задаче 7.47 многообразий ориентируемы, а какие неориентируемы?
Задача 7.49. Докажите, что если на многообразии имеется ориентрирующий атлас, то любой эквивалентный ему атлас тоже будет ориентирующим.
134
Задача 7.50.
1.Докажите, что любое многообразие паракомпактно.
2.Докажите, что для n-мерного многообразия можно выбрать открытое покрытие, при котором каждую точку покрывают не более n +1 множеств.
135
СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ
Кгл. 1–2
1.Виноградов И.А., Олехник С.Н., Садовничий В.А. Математический анализ в задачах и упражнениях. М.: МГУ, 1991.
2.Ефимов Н.В. Введение в теорию внешних форм. М.: Наука,
1977.
3.Зорич В.А.. Математический анализ. Ч. 2. М.: МЦНМО, 1999.
4.Трофимов В.В. Введение в геометрию многообразий с симметриями. М.: МГУ, 1989.
Кгл. 3–4
5.Аносов Д.В. Лекции по линейной алгебре // МЦНМО, ВКМ НМУ. Редакция журнала «Регулярная и хаотическая динамика». 1999.
6.Арнольд В.И. Математические методы классической механи-
ки. М.: Наука, 1974.
7.Зорин В.А. Математический анализ. Т. 2. М.: МЦНМО, 1998.
8.Де Рам И.С. Дифференцируемые многообразия. М.: Иностр.
лит., 1956.
9.Трофимов В.В. Введение в геометрию многообразий с симметриями. М.: МГУ, 1989.
10.Шварц А.С. Квантовая теория поля и топология. М.: Наука,
1989.
Кгл. 5–6
11.Монастырский М.И. Топология калибровочных полей и конденсированных сред. М.: Паимс, 1996.
12.Васильев В.А. Введение в топологию. М.: Фазис, 1997.
136
СОДЕРЖАНИЕ
Глава 1. Алгебра форм........................................................................ |
3 |
||
§ 1. |
Сопряженные линейные пространства. |
|
|
|
Двойные (взаимные) базисы............................................. |
3 |
|
§ 2. |
Линейные и полилинейные формы.................................. |
6 |
|
|
2.1. |
Линейные формы..................................................... |
6 |
|
2.2. |
Полилинейные формы............................................. |
8 |
§ 3. |
Кососимметрические формы.......................................... |
12 |
|
§ 4. |
Линейные отображения линейных пространств |
|
|
|
и сопряженные отображения |
|
|
|
сопряженных пространств.............................................. |
22 |
|
Глава 2. Гладкие многообразия ...................................................... |
28 |
||
§ 5. |
Понятие топологического пространства....................... |
28 |
|
§ 6. |
Аксиомы счетности и аксиомы отделимости............... |
32 |
|
|
6.1. |
Аксиомы счетности.............................................. |
33 |
|
6.2. |
Аксиомы отделимости......................................... |
36 |
§ 7. |
Понятие гладкого многообразия.................................... |
37 |
|
§ 8. |
Касательное пространство.............................................. |
39 |
|
§ 9. |
Дифференциальные формы |
|
|
|
на гладком многообразии............................................... |
41 |
|
§ 10. |
Примеры и задачи............................................................ |
43 |
|
Глава 3. Интегрирование дифференциальных форм |
|
||
на гладких многообразиях................................................................ |
49 |
||
§ 11. |
Многообразие с краем..................................................... |
49 |
|
§ 12. |
Ориентация гладкого многообразия.............................. |
57 |
|
|
|
137 |
|
§ 13. |
Разбиение единицы.......................................................... |
73 |
§ 14. Интеграл от формы по гладкому многообразию.......... |
78 |
|
§ 15. |
Формула Стокса............................................................... |
82 |
§ 16. Замкнутые и точные формы на многообразии ............. |
85 |
|
Глава 4. Гомологии и когомологии гладких многообразий...... |
91 |
|
§ 17. Потенциальные векторные поля.................................... |
91 |
|
§ 18. Топологическая структура области и потенциал ......... |
95 |
|
§ 19. |
Когомологии многообразия............................................ |
98 |
§ 20. |
Гомологии многообразия.............................................. |
100 |
Глава 5. Основные понятия теории гомотопий......................... |
106 |
|
§ 21. Как различить два заданных многообразия? .............. |
106 |
|
§ 22. |
Гомотопические группы |
|
|
и гомотопическая эквивалентность............................. |
107 |
|
22.1. Фундаментальная группа |
|
|
топологического пространства........................ |
107 |
|
22.2. Старшие гомотопические группы.................... |
110 |
§ 23. |
Примеры гомотопически |
|
|
эквивалентных пространств......................................... |
114 |
Глава 6. Расслоение топологического пространства................ |
115 |
|
§ 24. |
Накрытие........................................................................ |
115 |
§ 25. |
Расслоения...................................................................... |
117 |
|
25.1. Локально тривиальное расслоение.................... |
117 |
|
25.2. Точная последовательность расслоения.......... |
120 |
Глава 7. Задачи и упражнения |
|
|
для самостоятельного решения..................................................... |
122 |
|
Список рекомендуемой литературы ............................................ |
136 |
138
Елизавета Васильевна Сандракова Евгений Васильевич Сумин
ДИФФЕРЕНЦИАЛЬНЫЕФОРМЫ НА ГЛАДКИХ МНОГООБРАЗИЯХ
Учебное пособие
Редактор М.В. Макарова
Подписано в печать 20.11.2014. Формат 60х84 1/16
Уч.-изд. л. 8,75. Печ. л. 8,75. Тираж 100 экз.
Изд. № 1/27. Заказ № 33.
Национальный исследовательский ядерный университет «МИФИ». 115409, Москва, Каширское ш., 31.
ООО «Клаб Принт».
127018, Москва, Марьиной Рощи 3-й проезд, д. 40, корп. 1.