Ш.Кобаяси, К.Номидзу ОСНОВЫ ДИФФЕРЕНЦИАЛЬНОЙ

advertisement
Ш.Кобаяси, К.Номидзу
ОСНОВЫ ДИФФЕРЕНЦИАЛЬНОЙ ГЕОМЕТРИИ, Т. I
Книга является первым томом двухтомной монографии «Основы
дифференциальной геометрии». В первом томе рассмотрены дифференцируемые
многообразия, теория связностей, линейные и аффинные связности, римановы
связности, кривизна и пространственные формы, преобразования.
Книга предназначена для научных работников, аспирантов и студентов старших
курсов физико-математических специальностей.
ОГЛАВЛЕНИЕ
Предисловие переводчика
Предисловие
Взаимозависимость глав и параграфов
Глава I
ДИФФЕРЕНЦИРУЕМЫЕ МНОГООБРАЗИЯ
§ 1. Дифференцируемые многообразия
§ 2. Тензорные алгебры
§ 3. Тензорные поля
§ 4. Группы Ли
§ 5. Расслоенные пространства
Глава II
ТЕОРИЯ СВЯЗНОСТЕЙ
§ 1. Связности в главном расслоенном пространстве
§ 2. Существование и продолжение связностей
§ 3. Параллелизм
§ 4. Группы голономии
§ 5. Форма кривизны и структурное уравнение
§ 6. Отображения связностей
§ 7. Теорема редукции
§ 8. Теорема о голономии
§ 9. Плоские связности
§ 10. Локальные и инфинитезимальные группы голономии
§ 11. Инвариантные связности
Глава III
ЛИНЕЙНЫЕ И АФФИННЫЕ СВЯЗНОСТИ
§ 1. Связность в векторном расслоении
§ 2. Линейные связности
§ 3. Аффинные связности
§ 4. Развертки
§ 5. Тензоры кривизны и кручения
§ 6. Геодезические
§ 7. Выражения в локальных системах координат.
§ 8. Нормальные координаты
§ 9. Линейные инфинитезимальные группы голономии
5
7
11
11
25
34
45
56
68
71
73
75
79
83
S6
91
94
96
104
113
118
123
128
130
135
137
143
147
Глава IV
РИМАНОВЫ СВЯЗНОСТИ
§ 1. Римановы метрики
§ 2. Римановы связности
§ 3. Нормальные координаты и выпуклые окрестности
§ 4. Полнота
§ 5. Группы голономии
§ 6. Теорема разложения де Рама
§ 7. Аффинные группы голономии
Глава V
КРИВИЗНА И ПРОСТРАНСТВЕННЫЕ ФОРМЫ
§ 1. Предварительные алгебраические рассмотрения
§ 2. Секционная кривизна
§ 3. Пространства постоянной кривизны
§ 4. Плоские аффинные и римановы связности
Глава VI
ПРЕОБРАЗОВАНИЯ
§ 1. Аффинные отображения и аффинные преобразования
§ 2. Инфинитезимальные аффинные преобразования
§ 3. Изометрии и инфинитезимальные изометрии
§ 4. Голономия и инфинитезимальиые изометрии
§ 5. Тензор Риччи и инфинитезимальные изометрии
§ 6. Продолжение локальных изоморфизмов
§ 7. Проблема эквивалентности
ПРИЛОЖЕНИЯ
1. Обыкновенные дифференциальные уравнения
2. Связное локально компактное метрическое пространство сепарабельно
3. Разбиение единицы
4. Дугообразно связные подгруппы группы Ли
5. Неприводимые подгруппы в 0 (я)
6. Теорема Грина
7. Лемма о факторизации
ПРИМЕЧАНИЯ
1. Связности и группы голономии
2. Полные аффинные и римановы связности
3. Тензор Риччи и скалярная кривизна
4. Пространства постоянной положительной кривизны
5. Плоские римановы многообразия
6. Параллельный перенос кривизны
7. Симметрические пространства
8. Линейные связности с рекурентной кривизной
9. Группа автоморфизмов геометрической структуры
10. Группы изометрии и аффинных преобразований максимальных
размерностей
150
153
158
166
173
180
185
189
191
194
198
212
216
222
230
233
236
241
249
250
252
254
255
259
261
263
266
268
269
272
274
275
279
281
282
11. Конформные преобразования римановых многообразий.
Библиография
Добавление. Методы неассоциативной алгебры в дифференциальной
геометрии (Л.В.Сабинин)
Список основных обозначений
Предметный указатель
283
286
293
340
342
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Абсолютный параллелизм 121
Автоморфизм алгебры Ли 47
— группы Ли 47
— связности 84
Алгебра Ли 45
Альтернация 35
Аналитическое продолжение 238
Атлас 12
— полный 12
Аффинная группа голономии 128
— связность 127
— — обобщенная 125
Аффинное отображение 212
— преобразование 124, 213
— — инфинитезимальное 217
— пространство 123
— — касательное 123
Аффинный параллельный перенос
128
— параметр 135
— репер 124
Бутылка Клейна 210
Вектор 14 Векторное поле 15
— — Киллинга 223
— расслоение 113
Вертикальная компонента 68
Вертикальное подпространство 68,
90
Вертикальный вектор 68
Вещественное проективное
пространство 52
Вложение 18, 59
— изометрическое 156
Внешнее дифференцирование 17, 43
— — ковариантное 80
Внешняя производная 80
— — ковариантная 80
Внутреннее произведение 42
Выпуклая окрестность 146, 161
Геодезическая 135, 142
— минимизирующая 161
Гиперповерхность 18
Голоморфное преобразование 11
Гомоморфизм расслоений 59
Гомотопия 261
Горизонтальная компонента 68
— кривая 73, 90
Горизонтальное подпространство
68, 90
Горизонтальный вектор 68
— лифт 69, 73, 90
Группа голономии 75, 76
— — аффинная 128
— — инфинитезимальная 98, 147
— — линейная 128
— — локальная 96, 147
— — однородная 128
Группа голономии суженная 75, 76
— изотропии линейная 150
— Ли 45
— — преобразований 48
Дивергенция 259
Диффеоморфизм 19
Дифференциал ковариантный 122
— отображения 17
— функции 17
Дифференцирование алгебры 38, 41
— Ли 37
— тензорной алгебры 33
Длина дуги 157
Евклидов тор 199
— цилиндр 199
Евклидова метрика 150
Евклидово движение 204
— касательное пространство 185
— подпространство 206
Естественный лифт векторного поля
216
Изометрическое вложение 156
— погружение 156
Изометрия 52, 156, 222
— инфинитеэимальная 223
Иммерсия 18
Инвариантная риманова метрика
150
— связность 84, 104
Инволютивное распределение 19
Индуцированная риманова метрика
150
— связность 85
Индуцированное расслоение 66
Интегральная кривая 21
Интегральное многообразие 19
Каноническая инвариантная
риманова метрика 151
— — связность 110, 276
— линейная связность 302
— метрика 151
— плоская связность 94
— форма на L (М) 118
— 1-форма на группе 48
Канонический параметр на
геодезической 158
Каноническое разложение
(разложение де Рама)178, 184
Карта 12
Касательное пространство 15
— — аффинное 123
— расслоение 62
Касательный вектор 14
Ковариантная производная 114, 115,
121
Ковариантное дифференцирование
115, 121
Ковариантный дифференциал 122
— тензор 29
Ковектор 16
Компактно открытая топология 52
Компоненты векторного поля 15
— линейной связности 138
— тензора 29
— тензорного поля 34
— 1-формы 16
Контравариантный тензор 29
Конформное преобразование 283
— — инфинитезимальное 284
Координатная окрестность 13
Косое дифференцирование 41
Кривизна 130
— постоянная 192
—, преобразование 130
— рекуррентная 279
— риманова 191
— секционная 192
— скалярная 269
—, тензорное поле 130, 142
—, форма 80
Кручение двух тензорных полей
типа (1,1) 44
— тензорного поля 130, 142
—, трансляция 130
—, форма 119
Кубическая окрестность 13
Лассо 77, 177, 261
Линейная группа голономии 128
— — изотропии 150
— связность 118
Линейный репер 61
Лист Мёбиуса 210
Лифт (подъем) 69, 73, 90
— горизонтальный 69, 73, 90
— естественный 216
Локальная координатная система 13
Локальный базис распределения 19
Лоренцева метрика 267
Метрическая связность 117, 154
Многообразие 12
— аналитическое действительное
12
— — комплексное 12
— дифференцируемое 12
— локально аффинное 199
— ориентированное 12
— ориентируемое 18
Накрывающее пространство 67
Неопределенная риманова метрика
151
Неприводимая группа евклидовых
движений 206
Неприводимое риманово
многообразие 173
Нормальная система координат 144,
158
Однопараметрическая группа
преобразований 21
— подгруппа 45
Однородное пространство риманово
150, 170
— — симметрическое 275
Орбита 21
Ориентация 12, 13 Ортонормальный
репер 65
Паракомпактность 63
Параллельное сечение 90
— тензорное поле 122
Параллельный перенос 74, 90, 91
— — аффинный 128
Плоская связность 94
— — аффинная 198
— — каноническая 94
— — линейная 199
Плоское риманово многообразие
198, 199
Погружение 18
— изометрическое 156
Подгруппа изотропии 55
— Ли 46
Подмногообразие 18
— вполне геодезическое 174
Подрасслоение 59
Полная линейная связность 137
— риманова метрика 166
Полное векторное поле 22
— риманово многообразие 166
Полный дифференциал 16
Послойная метрика 116
Постоянная кривизна 192
Преобразование 19
— гомотетии 227, 284
— — инфинитезимальное 284
Присоединенное представление 47
Проекция 56
Производная Ли 36
Простое покрытие 162
Пространственная форма 198
Пространство базисное 56
— ковариантных тензоров 29
— контравариантных тензоров 29
— постоянной кривизны 192, 194
— расслоения 56
— тотальное 56
Псевдогруппа преобразований 11
Псевдотензориальная форма 79
Разбиение единицы 252 Развертка
129
Разложение де Рама 178, 184
Разрывная группа 51
Ранг отображения 18
Распределение 19
— инволютивное 19
Расслоение ассоциированное 60
— аффинных реперов 124
— векторное 113
— главное 56
— голономии 87
— индуцированное 66
— касательное 62
— линейных реперов 61
— ортонормальных реперов 65
— редуцированное 59
— тензорное 62
— тривиальное 57 Редукция
связности 84, 86
— структурной группы 59
Редуцированное расслоение 59
Редуцируемая связность 84, 86
— структурная группа 59
Рекуррентная кривизна 279
Рекуррентный тензор 279
Репер аффинный 124
— линейный 61
— ортонормальный 65
Риманов тензор кривизны 191
Риманова метрика 35, 150, 151
— — инвариантная 150
— — — каноническая 151
— — индуцированная 150
— — неопределенная 151
— связность 153
Риманово многообразие 65, 150
Риманово многообразие
гиперболическое 198
— — локально евклидово 188, 198,
199
— — неприводимое 173
— — непродолжаемое 172
— — плоское 198, 199
— — полное 166
— — приводимое 173
— — эллиптическое 198
— однородное пространство 150
Свертывание 30
Свободное действие группы 48
Связность 68
— аффинная 127
— — обобщенная 125
— — плоская 198
— инвариантная 84, 104
— — при параллелизме 246
— индуцированная 85
— каноническая 110, 276
— — линейная 277
— — плоская 94
— Леви-Чивита 154
— линейная 118
— — локально симметрическая 278
— метрическая 117, 154
— плоская 94
— риманова 153
— универсальная 265
—, форма 68 Сегмент 163
Секционная кривизна 192
Сечение 63
—, адаптированное к нормальной
координатной системе 241
Символы Кристоффеля 138
Симметризация 36
Симметрия 276
Скалярная кривизна 269
Скалярное произведение 32
Скрученный тор 210
— цилиндр 210
Слой 60
Слой-транзитивность 107
Собственно разрывная группа 50
Стандартное горизонтальное
векторное поле 118
Структурная группа 56
Структурные константы 48
— уравнения 80, 81, 117, 120, 127
Тензор ковариантный 29
— контравариантный 29
Тензориальная форма 79
Тензорная алгебра 30, 32
Тензорное поле 34
— — Риччи 233
— произведение 25
— пространство 29, 30
— расслоение 62
Теорема голономии 91
— Грина 259
— редукции 86
— Фробениуса 20
— Шура 192
Тип тензора 30
— adG 80
Тождества Бианки 82, 120, 132
Top 67
— евклидов 199
— скрученный 210
Точечное поле 128
Тривиальное расслоение 57
Универсальное факторизационное
свойство 26
Уравнения Маурера — Картана 47,
48
Факторпространство 50
Форма Киплинга — Картана 151
— кривизны 80
— кручения 119
— псевдотензориальная 79
— связности 68
— Тензориальная 79
Формула Лейбница 21
Фундаментальное векторное поле
57
Функции переноса 57
Функция расстояния 153
Цилиндр 210
— евклидов 199
— скрученный 210
Эйнштейново многообразие 268
Экспоненциальное отображение 46,
137, 143
Эффективное действие группы 48
Сk-гомотопия 261
G-структура 264
r-форма 16
1-форма 16
Download