bilutapa-kurstfkp
.pdfМИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
Национальный исследовательский университет Новосибирский государственный университет Механико-математический факультет
УТВЕРЖДАЮ
2012 г.
Курс лекций
Курс теории функций комплексного переменного
Направление подготовки
Механика и математическое моделирование
Квалификация (степень) выпускника
Бакалавр
Форма обучения
Очная
Новосибирск 2012
Аннотация
Настоящая разработка представляет собой материал курса лекций дисциплины "Теория функций комплексного переменного читаемых студентам 2–3 курсов механико-математического факультета Новосибирского государственного университета по специальности "механика и математическое моделирование" и призвана способствовать решению задачи развития образовательного процесса
врамках Мероприятий по реализации Программы развития НИУ НГУ (ПНР-1, III, п.Б.3.9).
Материал разработки находится в полном соотвтствии с содержанием лекций, читаемых по инновационной программе третьего поколения ФГОС ВПО и отличается от имеющихся учебных пособий по теории функций комплексного переменного как по усовершенствованной методике изложения, так и по содержанию, ибо
вних не всегда имеется необходимый материал или имеется не в том виде, в котором он читается. Например, материал разделов о свойствах интеграла типа Коши в замкнутых областях, краевых задачах теории функций и сингулярных интегральных уравнениях можно найти в основном в монографиях.
Изложение материала учитывает уровень подготовки студентов в начале четвертого семестра, когда начинается чтение курса Теории функций крмплексного переменного.
Методы теории функций комплексного переменного широко применяются во многих областях, например, в теории дифференциальных упавнений, теории чисел, теории врочтностей, а также при моделировании и анализе результатов фундаментальных физических экспериментов в области аэродинимики, гидродинамики, электродинамики и др.
3
|
ОГЛАВЛЕНИЕ |
|
|
Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
5 |
|
ВВЕДЕНИЕ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
6 |
0.1. Комплексные числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
6 |
|
0.2. Множества на расширенной комплексной плоскости. . . . . . . . |
9 |
|
0.3. Предел. Ряды комплексных чисел . . . . . . . . . . . . . . . . . . . . . . . . . |
12 |
|
0.4. Функции комплексного переменного . . . . . . . . . . . . . . . . . . . . . . . |
15 |
|
0.5. Кривая Жордана. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
17 |
|
0.6. Функциональные ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
22 |
|
Глава I. АНАЛИТИЧЕСКИЕ ФУНКЦИИ . . . . . . . . . . . . . . . . . . . . . . . . . |
30 |
|
1.1. Дифференцирование функции комплексного переменного. |
|
|
|
Аналитичность . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
30 |
1.2. Аналитичность суммы степенного ряда . . . . . . . . . . . . . . . . . . . . |
33 |
|
1.3. Конформное отображение. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
34 |
|
1.4. Обращение некоторых элементарных функций. Понятия |
|
|
|
римановой поверхности и точки ветвления . . . . . . . . . . . . . . . . |
39 |
1.5. Дробно-линейное отображение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
43 |
|
Глава 2. |
ТЕОРИЯ ИНТЕГРАЛА КОШИ . . . . . . . . . . . . . . . . . . . . . . . . . . . |
50 |
2.1. Комплексное интегрирование . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
50 |
|
2.2. Теорема Коши. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
53 |
|
2.3. Интеграл типа Коши . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
64 |
|
2.4. Теорема Морера. Понятие неопределенного интеграла . . . . |
66 |
|
2.5. Ряд Тейлора. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
68 |
|
2.6. Принцип максимума модуля аналитической функции . . . . . |
71 |
|
2.7. Теоремы Вейерштрасса о рядах аналитических функций. . |
74 |
|
2.8. Принцип компактности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
77 |
|
2.9. Интегральные формулы Шварца и Пуассона . . . . . . . . . . . . . . |
80 |
|
2.10. Функции класса Гельдера . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
82 |
|
2.11. Интеграл в смысле главного значения по Коши . . . . . . . . . . |
88 |
|
2.12. Граничные значения интеграла типа Коши. . . . . . . . . . . . . . . |
89 |
|
Глава 3. РЯД ЛОРАНА. ЭЛЕМЕНТЫ ТЕОРИИ ВЫЧЕТОВ. . . . . . |
103 |
|
3.1. Ряд Лорана. Изолированные особые точки . . . . . . . . . . . . . . . . |
103 |
|
3.2. Понятия целой и меромофной функций . . . . . . . . . . . . . . . . . . . |
111 |
|
3.3. Элементы теории вычетов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
113 |
|
3.4. Принцип аргумента аналитической функции. . . . . . . . . . . . . . |
120 |
|
3.4. Интегральная формула Коши для внешней области . . . . . . |
124 |
4
Глава 4. ОСНОВНЫЕ ПРИНЦИПЫ КОНФОРМНОГО ОТОБРАЖЕНИЯ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
5.1. Аналитическое продолжение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 5.2. Теорема Римана о конформном отображении
односвязных областей . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 5.3. Соответствие границ при конформном отображении . . . . . . 143
Глава 5. КРАЕВЫЕ ЗАДАЧИ ТЕОРИИ ФУНКЦИЙ . . . . . . . . . . . . . . 148 6.1. Гармонические функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148 6.2. Задача Дирихле . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 6.3. Задача Неймана . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159 6.4. Задачи сопряжения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 6.5. Задача Римана – Гильберта . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172 6.6. Сингулярные интегральные уравнения . . . . . . . . . . . . . . . . . . . . 174
СПИСОК ЛИТЕРАТУРЫ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
5
ПРЕДИСЛОВИЕ
В настоящий курс лекций внесены изменения в ряд доказательств, некоторые доказательства иллюстрируются рисунками.
25 сентябряя 2012 г. |
П. А. Билута |
г. Новосибирск |
|
6
ВВ Е Д Е Н И Е
0.1.Комплексные числа
Напомним некоторые известные понятия и факты из теории комплексных чисел.
Комплексное число α определим как упорядоченную пару (a, b) действительных чисел a, b. Первая компонента a этой пары называется д е й с т в и т е л ь н о й ч а с т ь ю, а вторая компонента b м н и м о й
ч а с т ь ю комплексного числа α, и для |
них приняты обозначения: a = |
= <eα, b = =mα. Потребуем, чтобы (a, 0) |
= a. Число вида (0, b) называет- |
ся м н и м ы м. |
Числа (0, 0) = 0, (1, 0) = 1 и (0, 1) = i называются н у л е м, |
е д и н и ц е й и |
м н и м о й е д и н и ц е й соответственно. |
Два комплексных числа равны, если соответственно равны их действительные и мнимые части. Введя надлежащим образом операции сложения и умножения, получим обычное представление комплексного числа:
α = (a, b) = a + ib.
Обозначим через E2 евклидову плоскость с декартовыми ортогональными координатами x, y. Так как комплексное число z = x + iy является парой (x, y) действительных чисел, а множество всевозможных та-
ких пар находится во |
в з а и м н о о д н о з н а ч н о м |
с о о т в е т с т в и и |
||||
с точками E2, то |
к а ж д у ю |
т о ч к у E2 c координатами x, y можно |
||||
принять за и з о б р а ж е н и е |
к о м п л е к с н о г о ч и с л а |
z = x + iy. |
||||
В таком истолковании |
E2 |
естественно называть |
к о м п л е к с н о й |
|||
п л о с к о с т ь ю, |
которую будем обозначать через C, а z |
|
т о ч к о й |
|||
комплексной плоскости C. Множество C = C \{0} называется |
п р о к о - |
л о т о й (в нуле) к о м п л е к с н о й п л о с к о с т ь ю.
Так как оси x, y описываются уравнениями =mz = 0, <ez = 0 соответ-
ственно, то их называют д е й с т в и т е л ь н о й и м н и м о й о с я м и. Число x−iy называется к о м п л е к с н о с о п р я ж е н н ы м с числом
z = x+iy и обозначается через z¯.
Число √zz,¯ z C, называется м о д у л е м, а угол ϕ между радиусвектором точки z C и положительным направлением оси x а р г у - м е н т о м комплексного числа z, и для них приняты обозначения: √zz¯= = | z |, ϕ = arg z.
Отметим, что р а з н ы е комплексные числа можно с р а в н и в а т ь т о л ь к о п о м о д у л ю.
7
Положение точки z на комплексной плоскости однозначно определяется как декартовыми координатами x, y, так и полярными r = | z |, ϕ = arg z. Обратно, по заданной точке z ее декартовы координаты и мо-
дуль определяются единственным образом, а аргумент с точностью до слагаемого 2kπ, k Z. Так, например, аргументом комплексного числа z служит как положительный угол ϕ (см. Рис. 1), так и отрицательный угол ψ = ϕ−2π.
6
|
|
|
|
|
|
|
z = (x, y) = x+iy |
|
|
|
|
||||||
|
y |
|
|
|
|
* |
|
r |
z1 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
qJ]J |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J |
|
− |
|
|
|
|
||
ψ |
|
|
|
|
|
|
|
J z |
1 |
z |
2 |
- |
|||||
|
|
ϕ = arg z |
|
|
|
|
|
J |
|
|
|||||||
|
|
|
|
|
x |
JJJ |
|
r |
2 |
||||||||
|
|
|
|
|
|
|
z q |
|
|
|
J |
||||||
|
|
|
|
|
|
|
|
|
|
z |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 1
Значение arg z, удовлетворяющее условию −π < arg z ≤π, называется
г л а в н ы м.
Заметим, что аналогично тому, как комплексное число z можно изображать на комплексной плоскости радиус-вектором точки z, комплексное число вида z1 −z2 часто удобно изображать вектором с началом в точке z2 и концом в точке z1 , причем | z1−z2 | геометрически представ-
ляет собой расстояние между этими точками.
Для двух комплексных чисел z1 |
и z2 имеют место неравенства тре- |
||||||||||||||
угольника |
|
|
|
|
|
|
| z1 | − | z2 | . |
|
|
|
|
|
|
||
| z1 + z2 | ≤ | z1 | + | z2 |, | z1 − z2 | ≥ |
|
|
|
|
|
|
|||||||||
Поскольку z1 + z2 = z1 |
− |
( |
− |
z2 ), z1 |
− |
z2 = z1 + ( |
z2 ), а |
|− |
z2 |
| |
= |
| |
z2 |
| |
, то |
|
|
|
|
− |
|
|
|
|
|||||||
отсюда получим следующее двойное неравенство |
|
|
|
|
|
|
|
|
|||||||
| z1 | − | z2 | ≤ | z1 ± z2 | ≤ | z1 | + | z2 |. |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При этом легко увидеть, что верхняя граница для модуля суммы и нижняя для модуля разности достигаются, когда радиус-векторы точек z1 и z2 одинаково направлены, а нижняя граница для модуля суммы и верх-
няя для модуля разности, когда они противоположно направлены.
8
В евклидовом пространстве E3 |
|
с декартовыми ортогональными ко- |
||||||||||||||||||||||||||||||||||
ординатами ξ, η, ζ |
рассмотрим сферу S |
радиуса 1 с центром в точке |
||||||||||||||||||||||||||||||||||
0, 0, 21 : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
ξ2 + η2 + ζ2 − ζ = 0. |
(0.1) |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Плоскость ζ = 0 совместим с |
|||||
|
|
|
|
|
|
|
|
|
6ζ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
комплексной плоскостью C, |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
действительная ось x |
кото- |
||||||||
|
|
|
|
|
|
|
|
|
|
P (0, 0,1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рой совпадает с осью |
ξ, а |
||||||||||||
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
мнимая ось y с осью η. |
|||||||||
|
|
|
|
|
|
|
|
|
rL |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Соединим точку z = x+iy |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
L |
L M |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
комплексной плоскости C |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ, η, ζ |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
LrL ( |
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
c точкой P (0, 0,1) отрезком |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LL |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
прямой. Он пересечет сферу |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S в отличной от P точке |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M (ξ, η, ζ), которая называет- |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
LL |
|
|
|
|
|
|
|
|
- |
|
ся с т е р е о г р а ф и ч е с к о й |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
п р о е к ц и е й точки z на сфе- |
||||||||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
L |
|
|
|
|
|
|
|
|
η (y) |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LL |
|
|
|
|
|
|
|
|
|
|
|
|
|
ру S с полюсом P (см. Рис. 2). |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
|
|
|
|
|
|
|
Стереографическая про- |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
|
|
|
|
|
|
екция устанавливает в з а- |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
|
|
|
|
и м н о о д н о з н а ч н о е с о- |
|||||||||
= ξ(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LL |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
о т в е т с т в и е между точка- |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zr= x+iy |
ми сферы S с выколотым |
||||||||||||||
|
|
|
|
|
|
|
|
Рис. 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
полюсом P и точками ком- |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
плексной плоскости C. |
|
||||
Из коллинеарности точек P (0, 0, 1), M (ξ, η, ζ) и z следует, что |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ |
|
= |
η |
= |
ζ −1 |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
y |
|
|
|
||||||||||||
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ |
|
|
|
|
|
|
|
|
|
|
η |
|
|
|
|
|
|
ξ +iη |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x = |
|
, |
|
|
|
y = |
|
|
, |
|
z = |
. |
(0.2) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
−ζ |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1−ζ |
|
|
|
1−ζ |
|
||||||||
В силу последнего из равенств (0.2) с учетом (0.1) имеем |
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| z |2 = |
|
ξ2 +η2 |
|
|
|
|
ζ |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
, |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1−ζ)2 |
1−ζ |
|
9
откуда |
|
|
|
| z |2 |
|
|
|
|
|
ζ = |
|
. |
|
(0.3) |
|||
|
1+| z |2 |
|||||||
|
|
|
|
|
|
|
||
Подставив значение ζ из (0.3) в (0.2), получим |
|
|||||||
|
x |
|
|
|
y |
(0.4) |
||
ξ = |
|
|
, |
η = |
|
|
. |
|
1+| z |2 |
1+| z |2 |
|||||||
Равенства (0.3) и (0.4) называются |
ф о р м у л а м и с т е р е о г р а ф и ч е - |
с к о й п р о е к ц и и.
Отметим без доказательства два свойства стереографической проекции:
1)она сопоставляет окружности (и прямой) на комплексной плоскости C окружность на сфере S и обратно;
2)она сохраняет углы.
Введем теперь в рассмотрение "и д е а л ь н о е" комплексное число
z = ∞ и "пополним"комплексную плоскость |
присоединением к ней |
е д и н с т в е н н о й б е с к о н е ч н о у д а л е н н о й |
т о ч к и, соответствую- |
щей числу z = ∞. Комплексная плоскость вместе с бесконечно удален-
ной точкой называется р а с ш и р е н н о й к о м п л е к с н о й п л о с к о с -
т ь ю и обозначается через C .
Дополняя соответствие, установленное стереографической проекцией, сопоставлением бесконечно удаленной точки полюсу P сферы S,
получим взаимно однозначное соответствие между расширенной ком-
плексной плоскостью C и сферой S.
Эта интерпретация комплексных чисел была предложена Риманом, поэтому S называют с ф е р о й Р и м а н а.
0.2.Множества на расширенной комплексной плоскости
Будем называть:
– о к р е с т н о с т ь ю (δ - о к р е с т н о с т ь ю) точки z0 C множество точек z C, удовлетворяющих неравенству | z−z0 |< δ, δ > 0, и обозначать
ее через C(δ, z0 );
10
– п р о к о л о т о й о к р е с т н о с т ь ю точки z0 множество C (δ, z0 ) =
=C(δ, z0 ) \ {z0 };
–о к р е с т н о с т ь ю б е с к о н е ч н о у д а л е н н о й т о ч к и множество
точек z C , удовлетворяющих неравенству | z |> δ;
– точку z и з о л и р о в а н н о й точкой множества E C , если существует такое число δ > 0, что пересечение E ∩ C(δ, z) состоит из единственной точки z : E ∩ C(δ, z) = {z};
– точку z п р е д е л ь н о й точкой множества E, если в любой окрест-
ности точки z |
имеется бесконечное множество точек этого множества; |
|||
– точку z |
в н у т р е н н е й |
точкой множества |
E, |
если существует |
такое число δ > 0, что C(δ, z) E; |
|
|
||
– точку z |
в н е ш н е й точкой множества E, если существует такое |
|||
число δ > 0, что E ∩ C(δ, z) = ; |
|
|
||
– точку z |
г р а н и ч н о й |
точкой множества |
E, |
если в любой ее |
окрестности имеются как точки множества E, так и точки, не принадле-
жащие этому множеству. Заметим, что если граничная точка множества E не принадлежит E, то она является его предельной точкой;
– совокупность всех граничных точек множества E г р а н и ц е й этого множества и обозначать через ∂E;
– множество E о г р а н и ч е н н ы м, если все его точки лежат в некотором круге | z |< R, 0 < R < ∞;
– множество E з а м к н у т ы м, если оно содержит все свои предель-
ные точки. В частности, оно может не иметь предельных точек;
– з а м ы к а н и е м множества E множество E = E ∂E;
– д и а м е т р о м множества E число d (E) = sup | z −ζ |;
|
|
|
|
|
z, ζ E |
– р а с с т о я н и е м м е ж д у м н о ж е с т в а м и E и G число ρ (E, G) = |
|||||
inf |
z |
− |
ζ |
| |
; |
= z E, ζ G | |
|
|
|
||
– множество |
о т к р ы т ы м, если каждая точка этого множества яв- |
ляется его внутренней точкой;
–множество с в я з н ы м, если его нельзя представить в виде объединения двух непустых непересекающихся множеств, каждое из которых не содержит предельных точек другого;
–о б л а с т ь ю открытое связное множество;
– з а м к н у т о й о б л а с т ь ю множество, состоящее из области и ее границы;
11