Множества на комплексной плоскости
Расположение точек на комплексной плоскости
Напомним известные из анализа функций двух действительных переменных основные геометрические понятия, связанные с расположением точек на плоскости. Определения будем давать в терминах комплексной плоскости, т.е. точка плоскости — это точка комплексной плоскости.
1. Множество точек , удаленных от заданной точки на расстояние, меньшее чем заданное число , называется ε-окрестностью точки , будем обозначать ее . Используя понятие расстояния между точками плоскости , определение можно записать в виде соотношения:
Очевидно, что геометрически — круг с центром в точке и радиусом .
2. Множество точек , удовлетворяющих неравенству , образует проколотую окрестность точки .
3. Точка называется внутренней точкой множества, если она принадлежит ему вместе с некоторой своей окрестностью, т.е. — внутренняя точка множества , если и , что .
4. Множество, состоящее только из внутренних точек (множество, все точки которого являются внутренними), называется открытым.
5. Точка называется граничной точкой множества, если в любой ее окрестности есть точки, принадлежащие множеству, и точки, не принадлежащие ему, т.е. — граничная точка множества , если для существуют точки и , то , такие. что .
Совокупность граничных точек множества образует границу множества.
Направление обхода границы называется положительным, если область, ограниченная контуром, при обходе расположена слева.
6. Множество, содержащее все свои граничные точки (множество вместе с границей), называется замкнутым. Оно обозначается , то есть , где — граница множества .
7. Множество называется связным, если любые две его точки можно соединить непрерывной кривой, все точки которой принадлежат множеству.
8. Открытое, связное множество называется областью. Область с присоединенной границей — замкнутая обметь, и .
9. Область (множество) называется односвязной, если для любой замкнутой кривой, принадлежащей области, точки множества, границей которого является кривая, также принадлежат области. В противном случае — область многосвязная.
10. Многосвязная область называется n-связной, если ее граница состоит из компонент. Порядок связности многосвязной (n-связной) области определяется числом связных компонент границы области.
На рис. 1.10 приведены геометрические примеры односвязных и многосвязных областей. Обход границы области указан стрелкой.
11. Множество называется ограниченным, если существует круг с центром в начале координат, содержащий это множество, т.е. ограничено, если , что
Кривые на комплексной плоскости
На множестве действительных чисел можно обычным образом определить функцию, которая принимает на этом множестве комплексные значения: любому соответствует — комплекснозначная функция действительной переменной.
Например, — комплекснозначные функции, первые две определены для любого , последняя — для любого . Для функции , так же как для действительной функции действительной переменной, вводится понятие предела в точке, а на его основе — понятия непрерывности, производной, интеграла.
Так как для любого значения из области определения число является комплексным числом, то, записав его в алгебраической форме , получим, что задание комплексной функции действительной переменной на некотором множестве равносильно заданию на этом множестве двух действительных функций и .
Используя соответствующие определения, нетрудно убедиться в справедливости следующих утверждений и формул:
1. Для непрерывности функции в точке необходимо и достаточно, чтобы в этой точке были непрерывны функции и .
2. .
3. .
4. .
Уравнения кривых на комплексной плоскости
Одним из способов задания кривой на плоскости является параметрическое задание:
 (1.18)
Будем рассматривать гладкие и кусочно-гладкие кривые.
Кривая называется гладкой на множестве , если функции имеют на непрерывные производные . Геометрически гладкая кривая характеризуется существованием касательной к этой кривой в каждой точке, причем направление касательной изменяется непрерывно при движении точки по кривой.
Кривая называется кусочно-гладкой, если ее можно разбить на конечное число гладких кривых.
На рис. 1.11 изображены кривые, которые являются кусочно-гладкими на и гладкими на каждом из интервалов и .
Из определения функции , данного выше, следует, что геометрически её задание определяет кривую на плоскости (и обратно): по формуле (1.18) любому значению соответствует точка , то есть число .
Следовательно, параметрическое задание кривой в форме (1.18) равносильно заданию . Равенство
 (1.19)
называется уравнением кривой в параметрической форме.
Пример 1.26. Записать в параметрической форме уравнение окружности, центр которой находится в точке , а радиус равен .
Решение
Уравнение плоской кривой, как известно, можно также записать в виде , т.е. соотношения, связывающего декартовы координаты точек, принадлежащих этой линии; в частности, — явное задание линии. Но так как пара определяет комплексное число , то, выразив и через , можно записать соотношение в комплексной форме. Из и получаем и . Поэтому равенство
 (1.21)
есть уравнение кривой на плоскости, записанное в комплексной форме. Используя тригонометрическую форму задания комплексного числа, можно получить и другие виды уравнений кривых на комплексной плоскости.
Пример 1.27. Записать в комплексной форме уравнения: а) прямой; б) окружности.
Решение
Замечание 1.2. Утверждение, что уравнение прямой на плоскости является частным случаем уравнения окружности на комплексной плоскости имеет более глубокий смысл: прямые как геометрический образ являются частным случаем окружности (их можно рассматривать как окружности "бесконечного" радиуса, ). Обоснование этого можно получить, используя стереографическую проекцию — геометрическое изображение комплексных чисел (множества ) точками на сфере Римана.
Имеет место утверждение: окружности и прямые плоскости при стереографической проекции отображаются в окружности, причем образом окружности является окружность на сфере Римана, не проходящая через точку , а образом прямой — окружность, проходящая через .
Для доказательства используем формулы связи координат точки плоскости и ее образа на сфере (см. рис. 1.12,а).
Если положить диаметр сферы равным единице и ввести систему координат , направив по лучу ось , а плоскость выбрав за плоскость , где ось , совпадает с , а ось — с , то, используя коллинеарность векторов и , получим выражение координат точки плоскости через координаты ее образа на сфере. Эти формулы имеют вид .
Подставляем их в уравнение окружности и учитывая, что точка лежит на сфере, т.е. ее координаты удовлетворяют уравнению или , после преобразований получаем уравнение плоскости . Следовательно, образом окружности является линия пересечения сферы этой плоскостью, т.е. окружность на сфере. При на плоскости имеем прямую с уравнением ; ее образом на сфере будет окружность
проходящая через точку , так как координаты точки удовлетворяют этой системе.
Аналогично доказывается обратное утверждение: окружностям на сфере, не проходящим через точку , соответствуют окружности плоскости , а окружностям, проходящим через , — прямые.
Пример 1.28. Записать в комплексной форме уравнения: а) координатных осей; б) биссектрисы первого и третьего координатных углов.
Решение
Пример 1.29. Записать в комплексной форме уравнение:
а) дуги окружности единичного радиуса с центром в начале координат, расположенной в первой четверти; б) биссектрисы первого координатного угла; в) отрезка  биссектрисы первого координатного угла, где  .
Решение
Пример 1.30. Определить вид кривой, заданной комплексным соотношением: a) ; б) .
Решение
Пример 1.31. Определить вид кривой, заданной уравнением в комплексной форме:
а) ; б) .
Решение
а) Используя правило деления , находим . Получаем уравнение кривой в действительной форме: Это уравнение окружности радиуса с центром в точке . б) Производим действия, как в предыдущем пункте: В результате получено уравнение окружности радиуса с центром в точке .
Области на комплексной плоскости
Будем рассматривать области, границы которых состоят из конечного числа кусочно-гладких кривых, в частности простых кривых, т.е. не имеющих точек самопересечения, а также отдельных изолированных точек.
Приведем аналитические выражения для областей простейшего вида, границами которых являются простейшие линии — прямые, окружности.
1. Круг радиуса с центром в точке задается неравенством . Это — открытое, связное множество, т.е. область. Область — ограниченная, односвязная; ее границей является окружность (рис. 1.12,а). В частности, круг есть окрестность точки . Заметим, что неравенство определяет замкнутую область, т.е. область вместе с границей.
2. Проколотая окрестность точки — круг с выброшенным центром задается неравенством . Это двусвязная, ограниченная область, граница которой состоит из двух компонент — окружности и точки (рис. 1.12,б).
3. Окрестность бесконечно удаленной точки определяется как множество точек плоскости , образами которых на сфере Римана являются точки, принадлежащие окрестности точки (см. рис. 1.12,а). Эта окрестность получается отсечением от сферы некоторой области плоскостью, перпендикулярной лучу . Границей этой окрестности на сфере является окружность — пересечение сферы и плоскости. На плоскости этой окружности соответствует также окружность, центр которой, очевидно, находится в точке ; ее уравнение . Сферической окрестности точки будет соответствовать часть плоскости, границей которой является окружность и которая содержит бесконечно удаленную точку (образ точки ), эта область — внешность круга (рис. 1.12,в).
4. Кольцо с центром в точке , радиус внешней окружности которого и внутренней , задается неравенством (рис. 1.12,г). Это — ограниченная, двусвязная область, граница которой состоит из двух окружностей и .
5. Верхняя полуплоскость плоскости — множество точек, для которых , т.е. в комплексной форме (рис. 1.12,д); соответственно — нижняя полуплоскость. Неравенство определяет правую полуплоскость (рис. 1.12,е), — левую полуплоскость. Это односвязные, неограниченные области.
Заметим, что на расширенной комплексной плоскости граница односвязной области состоит либо только из одной замкнутой кривой, либо её границей является единственная точка (область ), или граница не содержит ни одной точки (сама расширенная плоскость ).
Замкнутая кривая на может быть неограниченной (кривая "проходит" через бесконечно удаленную точку). Например, на рис. 1.12,д границей односвязной области является прямая , которую рассматриваем на как окружность радиуса ; её образом на сфере Римана является окружность (см. замечание 1.2).
Теорема Жордана
Утверждение 1.1. Простая замкнутая непрерывная кривая разбивает расширенную комплексную плоскость на две области.
Если граница — ограниченная кривая, то области называются внутренней и внешней; внутренняя — та из двух областей, которая не содержит бесконечно удаленную точку, внешняя — другая область. Так, на рис. 1.12,в область внешность круга; а множество — внутренняя часть круга, или просто круг
Пример 1.32. Определить вид множеств, заданных соотношениями:
Решение
1) Искомым множеством является пересечение кольца и нижней полуплоскости — нижнее полукольцо (рис. 1.13,а). Это — ограниченная односвязная область. 2) Искомым множеством является пересечение круга и правой полуплоскости — правый полукруг (рис.1.13,б). Область ограниченная односвязная. 3) Определяем вид границы множеств — линий и . Второе равенство определяет два луча и и, следовательно, мнимую ось. Чтобы определить вид другой линии, запишем уравнение в действительной форме, производя указанные действия с  Поэтому уравнение , то есть , есть уравнение окружности , а неравенство — круг, который можно записав иначе . Ответом является та же область, что и в предыдущем пункте (рис. 1.13,б).
Пример 1.33. Определить вид множеств, заданных неравенствами:

Решение
Для выяснения вида множества в каждом случае сначала определяем вид границы: 1) границей множества является линия , или , то есть . Она разбивает плоскость на две полуплоскости — верхнюю (содержит, например, точку ) и нижнюю (не содержит точку ). Условию задачи удовлетворяет верхняя полуплоскость (рис. 1.14,а). На рисунке указан обход границы и точки, принадлежащая множеству. Множество, очевидно, является односвязным и неограниченным; 2) граница области состоит из двух компонент — прямых , то есть и . Условие определяет полосу на плоскости (условию удовлетворяет, например, точка ). На рис. 1.14,б указан обход границы. Множество является неограниченным односвязным; 3) граница области состоит из отрезков прямых и . Контур прямоугольника, сторонами которого являются эти отрезки, разбивает плоскость МП два множества: внутреннюю часть и внешнюю. Условию задачи удовлетворяет, например, точка , поэтому система , описывает внутреннюю часть прямоугольника (рис. 1.14,в).
Пример 1.34. Записать в виде неравенств множества точек:
а) угла ; б) сектора , если .
Решение
Чтобы получить неравенства, определяющие эти множества, сначала составим уравнения, описывающие их границы: а) границами множества являются лучи и , уравнения которых i полярных координатах и , где и , то есть и . На комплексной плоскости уравнения этих лучей записываются в виде равенств и ; область, ими ограниченная, — в виде неравенства (рис. 1.15,д); б) сектор геометрически можно рассматривать как пересечение двух множеств: угла и круга радиуса 2 с центром в начале координат, т.е. множество точек сектора может быть записано системой . Это множество — ограниченная односвязная область (рис. 1.15,б).
Пример 1.35. Записать в виде неравенств множества, изображенные на рис. 1.16 (области заштрихованы, обход границ указан стрелками).
Решение
Как и в предыдущем примере, для каждого случая составим уравнение, описывающие границы множеств: а) геометрически множество есть первый квадрант с разрезок (выброшенным лучом). Границами множества являются лучи и луч по биссектрисе от точки в бесконечность. Уравнение этого луча можно писать в виде . Следовательно, множество, изображенное на рис. 1.16,а, можно описать соотношениями: для точек , у которых или . б) геометрически множество есть верхняя полуплоскость с разрезом по лучу от точки в бесконечность; уравнение луча: Следовательно, множество, изображенное на рис. 1.16,б, можно описать соотношениями  в) на рис. 1.16,в изображена верхняя полуплоскость с "выброшенным" полукругом. Точки полукруга описываются системой  Следовательно, изображенное множество можно описать соотношениями  или  .
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|