Вы находитесь на странице: 1из 577

Б.В.

Шабат
ВВЕДЕНИЕ В КОМПЛЕКСНЫЙ АНАЛИЗ

В этой книге дается единое изложение основных понятий теории функций


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

ОГЛАВЛЕНИЕ
Предисловие 7
ЧАСТЬ ПЕРВАЯ
ФУНКЦИИ ОДНОГО ПЕРЕМЕННОГО
Глава I. Голоморфные функции 13
§ 1. Комплексная плоскость 13
1. Комплексные числа 13
2. Топология комплексной плоскости 17
3. Пути и кривые 20
4. Области 23
§ 2. Функции комплексного переменного 26
5. Понятие функции 26
6. Дифференцируемость 31
7. Геометрическая и гидродинамическая интерпретация 36
§ 3. Элементарные функции 42
8. Дробно-линейные функции 42
9. Геометрические свойства 47
10. Дробно-линейные изоморфизмы и автоморфизмы 50
11. Некоторые рациональные функции 54
12. Показательная функция 58
13. Тригонометрические функции 61
Задачи 65
Глава II. Свойства голоморфных функций 68
§ 4. Интеграл 68
14. Понятие интеграла 68
15. Первообразная 72
16. Гомотопия. Теорема Коши 80
17. Обобщения теоремы Коши 86
18. Интегральная формула Коши 90
§ 5. Ряды Тейлора 93
19. Ряды Тейлора 94
20. Свойства голоморфных функций 100
21. Теорема единственности 103
22. Теорема Вейерштрасса 106
§ 6. Ряды Лорана и особые точки 112
23. Ряды Лорана 112
24. Изолированные особые точки 119
25. Вычеты 127
Задачи 134
Глава III. Аналитическое продолжение 137
§ 7. Понятие аналитического продолжения 137
26. Элементы аналитических функций 137
27. Продолжение вдоль пути 144
§ 8. Понятие аналитической функции 151
28. Аналитические функции 151
29. Элементарные функции 156
30. Особые точки 164
§ 9. Понятие римановой поверхности 170
31. Элементарный подход 170
32. Общий подход 174
Задачи 181
Глава IV. Основы геометрической теории 183
§ 10. Геометрические принципы 183
33. Принцип аргумента 183
34. Принцип сохранения области 187
35. Принцип максимума модуля и лемма Шварца 192
§ 11. Теорема Римана 195
36. Конформные изоморфизмы и автоморфизмы 195
37. Принцип компактности 199
38. Теорема Римана 204
§ 12. Соответствие границ и принцип симметрии 206
39. Соответствие границ 206
40. Принцип симметрии 211
41. Эллиптический синус и модулярная функция 216
Задачи 221
Глава V. Дополнительные вопросы 223
§ 13. Разложения целых и мероморфных функций 223
42. Теорема Миттаг-Леффлера 223
43. Теорема Вейерштрасса 230
§ 14. Гармонические и субгармонические функции 238
44. Гармонические функции 238
45. Задача Дирихле 243
46. Субгармонические функции 248
Задачи 254
ЧАСТЬ ВТОРАЯ
ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
Глава I. Голоморфные функции нескольких переменных 259
§ 1. Комплексное пространство 259
1. Пространство Сn 259
2. Простейшие области 264
§ 2. Понятие голоморфности 270
3. Определение голоморфности 270
4. Плюригармонические функции 277
5. Основная теорема Хартогса 280
§ 3. Голоморфные функции 285
6. Простейшие свойства 285
7. Степенные ряды 293
8. Ряды Хартогса и Лорана 297
Задачи 301
Глава II. Интегрирование 304
§ 4. Многообразия и формы 304
9. Понятие многообразия 304
10. Дифференциальные формы 309
11. Понятие интеграла от формы 314
§ 5. Теорема Коши — Пуанкаре 321
12. Цепи и их границы 322
13. Дифференцирование форм 326
14. Формула Стокса 331
15. Теорема Коши — Пуанкаре 334
§ 6. Интегральные представления 337
16. Формулы Мартинелли — Бохнера и Лере 337
17. Теорема Севери 344
18. Формула Вейля 350
Задачи 355
Глава III. Аналитическое продолжение 357
§ 7. Области голоморфности 357
19. Теорема Хартогса о продолжении 357
20. Понятие области голоморфности 360
21. Голоморфная выпуклость 365
22. Свойства областей голоморфности 372
§ 8. Псевдовыпуклость 377
23. Принцип непрерывности 377
24. Выпуклость в смысле Леви 381
25. Плюрисубгармонические функции 386
26. Псевдовыпуклые области 395
§ 9. Оболочки голоморфности 401
27. Однолистные оболочки голоморфности 402
28. Области разложения 408
29. Многолистные оболочки голоморфности 417
Задачи 422
Глава IV. Мероморфные функции и проблемы Кузена 424
§ 10. Мероморфные функции 424
30. Понятие мероморфной функции 424
31. Первая проблема Кузена 429
32. Решение для поликругов 434
30. Применения. Вторая проблема Кузена 439
§ 11. Методы теории пучков 445
34. Основные определения 445
35. Группы когомологий 451
36. Точные последовательности пучков 455
§ 12. Применения 460
37. Решение первой проблемы Кузена 460
38. Решение второй проблемы Кузена 466
39. Решение ∂ -проблемы и проблемы Леви 469
Задачи 480
Глава V. Особенности и вычеты 484
§ 13. Многомерные вычеты 484
40. Теория Мартинелли 485
41. Теория Лере 492
42. Логарифмический вычет 501
§ 14. Аналитические множества 507
43. Понятие аналитического множества 507
44. Локальное обращение голоморфных функций 515
§ 15. Аналитичность множества особенностей 519
45. Аналитичность множества особых точек 520
46. Существенно особые точки 523
47. Теорема о вложенном ребре 527
Задачи 530
Глава VI. Голоморфные отображения 533
§ 16. Автоморфизмы простейших областей 533
48. Общие теоремы 534
49. Автоморфизмы пространства 540
50. Автоморфизмы некоторых областей 546
§ 17. Инвариантная метрика 551
51. Кернфункция 551
52. Метрика Бергмана 559
53. Поведение кернфункции на границе 564
Задачи 570
Предметный указатель 572

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Абеля теоремы 97, 275, 293 Абсолютный октант 267
Автоморфизмы канонических — теоремы 106, 231, 288
областей 197 Вейля множество 350
— круга 53 — область 350
— области 533 — разложение 353
— поликруга 550 — теорема 351
— пространства 540 — формула 350
— — нелинейные 541 Векторное поле 40
— шара 546 Верхняя огибающая 250
Автоморфная функция 217 Ветвь аналитической функции 152
Адамара теорема 235 Вложение многообразий 412
Аналитическая кривая 377 Внешнее умножение 311
— плоскость 260 Выпуклая оболочка 365
— — касательная 343, 510, 513 — функция 394
— поверхность 377 Выпуклость 365
— — компактная 377 — — в смысле Леви 381
— прямая 260 — голоморфная 365, 415
— функция 152, 410 — логарифмическая 294—296
Аналитическое множество 507 Выпуклость относительно класса 366
— — компактное 531 — полиномиальная 366, 481
— — локально неприводимое 508 — рациональная 367, 531
— — неприводимое 507 Вычет 130
— продолжение 137, 143, 410 — логарифмический 183, 501
— — вдоль пути 145, 410 — относительно базисного цикла 488
— — непосредственное 143, 410 — — особого цикла 490
Антиголоморфная функция 277 — функции 128, 484
Антиконформное отображение 38 Вычет-класс 498
А-точка 106 — — сложный 500
База открытых множеств 448 Вычет-форма 495
— пучка 446 Гамма-функция 138
— n-мерных гомологии 487 Гармоническая мажоранта 249, 250
Барьер в граничной точке 362, 364 — — наилучшая 252
Бенке — Зоммера теорема 378, 520 — функция 238, 242, 390
Бенке — Штейна теоремы 370, 373 Геометрия Лобачевского 67, 563
Бергмана граница 303 Гиперболическая метрика 563
— кернфункция 555 Гипотеза Бибербаха 136
Бесконечная точка 15, 36, 106, 130 Глобальное сечение пучка 453
Бесконечное произведение 230 Голоморфизм 195, 307, 376, 413, 533
Биголоморфное отображение 376, Голоморфная выпуклость 365, 415
413, 533 — кривая 355
Буняковского — Шварца — нерасширяемость в точке 381
неравенство 551 — форма 314
Бурмана — Лагранжа ряд 191 — функция 35, 271
Вейерштрасса теорема — — в смысле Вейерштрасса 102,
подготовительная 289, 514, 516 285
— — — — Коши 102 Дирихле задача 243, 255, 280
— — — — Римана 102. 285 Дискриминант 511
— — на комплексном многообразий Дискриминантное множество 511,
308 517
Голоморфное отображение Дифференциал 31
многообразий 412 — формы 323
— расширение области 361 Дифференциальная форма 79, 278,
Голоморфность функции в точке 35, 310—
271 — — бистепени (p, q) 314
Голоморфный изоморфизм 412 — — замкнутая 79, 278, 330, 433
— коцикл 430, 442 — — класса C0∞ ( D ) 471
Гомологии компактные 497
— — Сq312
Гомоморфизм пучков 456
— — точная 79, 278, 330
Гомотопические классы 82
— — эрмитова 384, 561
Гомотопия 80
Дифференциальный коцикл 432
Гомотопность кривых 83
— —, когомологичный нулю 432
Граница 324
Дифференцирование сложных
— Бергмана 303
функций 272
— области 24
Дифференцируемость в смысле Сп
— — ориентированная 87
32, 270
— поликруга 265
— — Rп 31, 270
— симплекса 322
— — точке 31
— цепи 323, 325
Длина пути 22
— Шилова 237, 303, 570
Дольбо теорема 461
Граничное расстояние 409
Дробно-линейные автоморфизмы 52
Грина формула 337, 338
— — изоморфизмы 51
Группа автоморфизмов 195, 544
— — функции 42
— гомологии 324
Дуга аналитическая 208
— дифференциальных форм 313, 330
— когомологий 331, 434, 451—455 ∂ -проблема 469
— — с коэффициентами в пучке 452 δ-функция 341
— — покрытия 453 Евклидова метрика 16, 261
— — пространства 455 Жордана лемма 134
— коциклов 452 Жорданов путь 21
— относительных гомологии 500 Жорданова граница 25
— — цепей 500 — кривая 23
Даламбера — Эйлера условия 33 — область 25
Двоякопериодичность 217 Жуковского функция 55
де Рама теорема 463, 482 Задача Дирихле 243, 255, 280
Диаграмма Рейнхарта 267 Зацепления коэффициент 486
— Хартогса 268 Идеал кольца 254, 291, 303
Диаметр множества 88 Изолированная особая точка 119,
Дивизор 468 164, 349
Дигармонические функции 278 Изоморфизм голоморфный 376
— Дольбо 462 Компакт 202
— областей 533 'Компактификация 15, 206, 261
— пучков 456 Компактность в себе 202
Инверсия 49 Копактные гомологии 497
Индекс отображения 519 Комплекс 325
— — локальный 506, 518 Комплексная плоскость 13, 15
— пресечения симплексов 485 — прямая 260
— — цепей 485 — структура на многообразии 306
— поверхности относительно точки Компоненты множества 24
501 Конформность 37, 207
— пути относительно точки 185 Конформные автоморфизмы 195
Интеграл 68, 78, 71, 316, 319 — изоморфизмы 195
— Коши 90, 274, 321 Координаты локальные 305
— —типа Коши 134 — однородные 262
— эллиптический первого рода 209— Коцепь порядка р 452
211 Коцикл 331. 430, 433, 452
Интегральное представление Вейля —, когомологичный нулю 331, 430
350 Коши интеграл 90
— — Лере 343 — — кратный 274
— — Мартинелли — Бохнера 340 — — повторный 321
Исчерпание множества 320 — неравенства 95, 117. 276
— — компактное 108, 363, 368 — теоремы 84, 128, 484
Каратеодори компактификация 206 — формула 90
Картана теоремы 463, 464, 534 Коши — Адамара формула 97, 296
Картана — Коши — Буняковского неравенство
Каратеодори теорема 537 540
Картана — Туллена теоремы 367, Коши — Гоина формула 92, 340
371, 415 Коши — Пуанкаре теорема 335
Келлога теорема 207 Коши — Римана уравнения 33
Кернфункция 555 — — — касательные 356
Класс-вычет 498 — — — неоднородные 434, 470
— — сложный 500 Коши — Фантапье формула 341
Класс функций 369 Коэффициент зацепления 486
— — й-устойчивый 369 Кривая 21
— — р-устойчивый 370 — гладкая 23
Кнезера теорема 527 — жорданова 23
Кограница 452 — — аналитическая 208
Кограничный оператор 452 — кусочно гладкая 23
— — Лере 496 — спрямляемая 23
Кольцо голоморфных функций 36, Кпитические точки 510, 513
272 Круг сходимости 98. 114
— ростков голоморфных функций Кузена проблема вторая 441. 460, 466
445 — — первая 429, 460. 463, 464
— — мероморфных функций 450 Леви выпуклость 381
— определитель 385 — инвариантная 563
— проблема 382, 478 Миттаг — Леффлера теорема 224
— теоремы 525, 526 Многолистные области 360
— форма 383 Многообразие 304
Леви — Кшоски теорема 384 — гладкое 306
Лере кограничный оператор 496 — дифференцируемое 306
— теория 492—501 — класса C p 306
— формула 343 — — C ∞ 306
Линделёфа теорема 207 — комплексно аналитическое 177,
Линейная функция 43 307
Линейное преобразование 544—546 — комплексное 307, 355
Линии тока 41 — наложения над С 409
Липшица условие 102, 398 — ориентируемое 315, 356
Лиувилля теорема 95, 241, 288, 302, — Штейна 417, 478
349 Множество аналитическое в точке
Логарифмическая выпуклость 294 507
— производная 183 — ветвления 517
Логарифмический вычет 183, 501 — дискриминантное 511, 517
— образ 294 — неприводимое 507
— потенциал 255, 521 — неопределенности функции 124
Локально конечное покрытие 318, — — мероморфной функции 427
432 — сходимости степенного ряда 303
Локальное обращение голоформных — тонкое 358
функций 188, 515—519 Модель Пуанкаре геометрии
Локальные координаты 305 Лобачевского 67
Локальный индекс отображения 506, Модулярная функция 217
518 Монтеля теорема 201
— параметр 177, 304 Мореры теорема 101, 335
— принцип максимума Росси 423 Наилучшая гармоническая
Лорана ряд 144, 299 мажоранта 252
L-выпуклость 381 — плюрисубгармоническая
Мартинелли — Бохнера мажоранта 408
интегральное представление — плюрисупергармоническая
340 мажоранта 407
— — формула 340 Непрерывная функция 30
Матрица кососимметрическая 312 Непрерывность в смысле С 30
— Якоби 512
— — — C 30, 66
Мероморфная кривая 530
— точке 30
— функция 126, 237, 424, 427
Неприводимая компонента
Мероморфное продолжение 523
аналитического множества 509
Метод Коши улучшения сходимости
Неравенство Коши 95, 117, 276
139, 226
Неравенство Буняковского —
Метрика Бергмана 559, 563
Шварца 551
— гиперболическая 563
— Коши — Буняковского 540 — поликруга 265
— треугольника 551 — поликруговой области 265, 335
Носитель комплекса 325 Остроградского формула 333
— формы, функции 318, 432 Относительная граница 500
Нуль мероморфной кривой 530 — топология 26
— функции 103 Отображение антиконформное 38
Ньютона — Лейбница формула 77, — биголоморфное 376, 413, 533
333 — конформное в точке 37
Область 23 — — — области 37
Оболочка выпуклая 365 — — второго рода 38
— голоморфности 362, 402 — пучков 455
— — области Рейнхарта 406 Парсеваля равенство 553
— — — Хартогса 407 Первообразная 72
— — трубчатой области 404 — вдоль пути 76
— F-выпуклая — локальная 73
Общее положение многообразий 499 Пересечение областей
— — точек 322 голоморфности 372
Объединение областей Пикара теорема 219, 220, 554
голоморфности 373 — — большая 220
— путей 70 Плоскость аналитическая 260
Ока теоремы 467, 480 Плюригармоническая функция 278
Окрестность 17, 174, 410, 446 Плюрисубгармоническая функция
— проколотая 18 387
Октант абсолютный 267 Плюрисупергармоническая функция
Оператор взятия границы 323 407
— d 327, 330 Поверхность аналитическая 377
— ∂ 469 — модуля 29, 321
— ∂ 482 Подготовительная теорема
— Лапласа 238 Вейерштрасса 289, 514, 516
— res 495 Подпучок 456
Определитель Леви 385 Поле мероморфных функций 428
Определяющая функция 439 — отношений кольца 450
Ориентация многообразия 315, 356 Поликруг (полицилиндр) 264, 287,
Осгуда лемма 282 419, 550, 556
— теорема 518 — — — — максимальный 409
Осгуда — Брауна теорема 349 — сходимости степенного ряда 296
Особая точка 119, 164 Полиномиальная выпуклость 366,
— — изолированная 119, 164, 349 481
— — многозначного характера 166 Полиэдр 325
— — неизолированная, пример 120 — аналитический 350, 367, 373
— — однозначного характера 166 — полиномиальный 356
— — устранимая 119 Полиэдрическая область 350
Остов множества Вейля 350 Полиэдрическое множество 350
Полунепрерывность 249, 278, 387
Полюс 119, 425 Пространство комплексное n-мерное
— мероморфной кривой 530 259
Полярная особенность 499 — — проективное 262, 307
— — первого порядка 493 — теории функций 262
Полярное множество мероморфной — топологическое 174
функции 425 — — хаусдорфово 175
Порядок Л-точки 106, 519 — Сn 259
— ветвления 167 Псевдовыпуклость 377—395
— нулевого множества 468, 509 Пуанкаре — Вольтерра теорема 154
— нуля 105, 530 Пуассона формула 244
—— — в бесконечности 106 Пути гомотопные 81, 149
— общего нуля 506 — с общими концами 81
— полюса 123, 530 — эквивалентные 21
— полярного множества 468, 509 Путь 20
— целой функции 234 — гладкий 22, 320
Последовательность гомоморфизмов —, гомотопный нулю 82
324 — жорданов 21
— — точная 324, 331 — замкнутый 21
— комплексных чисел 19 — кусочно гладкий 22
Потенциал комплексный 41 — непрерывно дифференцируемый
Потенциальная функция поля 40 22
Предел функции 29, 30 — спрямляемый 22
Предельная точка Пучок 446
последовательности 19 — групп 451
Предпучок 448 — колец 450
— мероморфных функций 450 — полей 450
Преобразование линейное 544 — постоянный 451
— — положительно определенное — ростков голоморфных функций
545 181, 450
— — унитарное 545 — — дифференциальных форм 450
— Рейнхарта 267, 302 — — мероморфных функций 450
Принадлежность компактна» 25 — — функций класса С 451
Проблема Кузена вторая — тонкий 481
(мультипликативная) 441, 460, Равенство Парсеваля 553
466 Радиус мероморфности функции 526
— — первая (аддитивная) 429, 460, — сходимости 98
463, 464 — Хартогса 298, 395, 397
— Леви 382 Радиусы сходимости сопряженные
Продолжение аналитическое 137, 296
143, 145, 410 Разбиение единицы 318, 432
— мероморфное 523 Размерность аналитического
Производная 34 множества 512
— аналитической функции 155 — комплекса 325
— по направлению 33 Расстояние 16, 20
— граничное на многообразии — — (сильно) ограниченное 535
наложения 409 Серра теорема 466, 482
Рациональная выпуклость 366, 531 Сечение пучка 181, 447
Ребро множества Вейля 350 Сильное ф-вложение многообразий
Результант 511, 516 412
Рейнхарта область 266, 267, 300, 405 Симплекс 314
Рельеф функции 29 — криволинейный 325
Римана поверхность 171, 178, 308, Синус 61
411 — эллиптический 216. 222
— сфера 16 Слабая сходимость 475
— теорема 204 Слабое ϕ-вложение многообразий
Римана — Грина формула 85, 333 412
Римана — Шварца принцип Сложный класс-вычет 500
симметрии 213 Соответствие границ 206—208
Риманово многообразие 176, 411 Соотношения соседства 177, 305
Росси локальный принцип Сопряженные радиусы сходимости
максимума модуля 423 296
— теорема 481 Сохоцкого теорема 123, 544
Росток аналитического множества — формула 135
513 Сохранение углов 39
— аналитической функции 151, 410 Стебель пучка 447
— дивизора 469 Степенная функция 54
— мероморфной функции 450 Степенные ряды 94, 293
Рунге область 355 Степень дифференциальной формы
— теорема 109, 193 312
Руше теорема 186, 506 Стереографическая проекция 16, 302
Ряд Бурмана — Лагранжа 191 Стирлинга формула 221
— Лорана 114 Стокса формула 331, 333
— — кратный 299 Строго плюрисубгармоническая
— степенной 94, 293 функция 389
— Тейлора 95 Субгармоническая функция 249, 390
— Фурье 117, 549 Супергармоническая функция 254
— Хартогса 298 Существенно особая точка 120, 523
— Хартогса — Лорана 301, 524 Сфера комплексных чисел 16
ρ-метрика 261 — Римана 15
Связность 24, 26, 308 Сферическая метрика 16
— линейная 24 Сходимость последовательности
Севери теорема 344, 348 множеств 377
Семейство функций компактное 200 — ряда 93
— — равномерно ограниченное — — мероморфных функций 224
внутри области 199 — — равномерная 93
— — равностепенно непрерывное Тейлора ряд 95
внутри области 200 Тип целой функции 235, 254
— — слабо ограниченное 534 Тонкое множество 358
Тор комплексный n -мерпый 355 ϕ -сужение функции 413
Точка ветвления 166 F-выпуклость 366
— — бесконечного порядка 167 Характеристическая функция 332,
— — конечного порядка 167 472
— — логарифмическая 167 Харнака теорема 242
— — римановой поверхности 171 Хартогса лемма 283
— критическая 171, 510, 513 — область 268, 302, 407
— неопределенности 424 — — полная 268
— обыкновенная 171, 509, 512 — ряд 298
Точки в общем положении 322 — теорема основная 284
— симметричные 48 — теоремы 252, 357, 520, 523
Точная последовательность пучков Хартогса — Лорана ряд 301, 524
457 Хефера теорема 351, 441
Трансцендентная целая функция 126 Хёрмандера теоремы 478, 567
Угловое граничное значение 207 Цепь 322
Угол в бесконечности 44 Цикл 324
Унитарное преобразование 545 —, гомологичный нулю 324
Уравнения Коши — Римана 33 — особый 489
— — — касательные 356 Циклы гомологичные 324
— — — неоднородные 434, 470 Шар 264, 287, 546, 557
Условие Липшица 108, 398 Шварца лемма 194, 281, 539, 550
Условия Даламбера — Эйлера 33 — теорема 215
— локальной однолистности 190, 515 Шилова граница 287, 303, 570
Усредняющее ядро 472 Шпета — Картана теорема 531
Факторпучок 456 Эйлера формула 59
Фату пример 541—544 Экстремальная функция 553, 558
Форма-вычет 495 Элемент аналитической функции
Форма дифференциальная 79, 278, 143, 410
310—314, 330, 384, 433, 471, — — — канонический 144
561 Эллиптический интеграл 209
Функционал 202, 417 — синус 216, 222
ϕ-вложение сильное 412 ε-окрестность 17, 175
— слабое 412 Ядро гомоморфизма 324, 331
ϕ -расширение функции 413

Оценить