Область (математика)

Линейно связное и открытое множество

О́бласть (или открытая область[1])[2]непустое линейно свя́зное открытое множество точек топологического пространства[3][4][5][6][7][8][9][10].

Этот термин часто используется в комплексном анализе, поэтому под областью часто понимают область комплексной плоскости[11].

Связанные определения

[править | править код]

Напомним, что множество открыто, если у любой точки множества имеется окрестность, все точки которой лежат в множестве[3][5][6][7][9]. Множество линейно связно, если любые две точки из множества можно соединить некоторой линией, все точки которой лежат в множестве[5][6][7][8][9].

Топологическим пространством в определении часто выступает евклидовы пространства, комплексное пространство, риманова поверхность или другие многообразия[4]. В этих пространствах для открытых множеств линейная связность равносильна связности, то есть тому, что множество нельзя разбить на два непустых открытых подмножества[12] (или что множество не содержит собственных подмножеств, одновременно открытых и замкнутых в исходном множестве[13]). Поэтому иногда в определении области вместо линейной связности используют связность[14][1].

Иногда областью называют непустое открытое множество, не обязательно линейно связное. Тогда область в обычном смысле называют линейно связной областью, или просто связной областью[3][14][15][16][17].

Замкнутая область (не вполне удачный термин[18], уместен в паре с термином «открытая область»[1]) — замкнутое множество внутренность которого является открытой областью.

Иногда несущественно, что называть областью — связное или несвязное множество, открытое или замкнутое, тогда под областью понимают вообще любое множество, соответствующее контексту[19][20].

Область комплексной плоскости

[править | править код]

Определение области

[править | править код]

Рассмотрим на комплексной плоскости понятие «область», которое переносится без изменений на любое топологическое пространство[14][21].

Линейно связное и открытое множество

О́бласть (или открытая область[1]) — множество точек обычной комплексной или расширенной комплексной плоскости , которые обладают следующими двумя свойствами[5]:

В частности, любое открытое выпуклое множество на комплексной плоскости есть область[8].

Поскольку для открытых множеств понятие «линейная связность» равносильно понятию просто «связность», то есть тому, что множество нельзя разбить на два непустых открытых подмножества[12] (или что множество не содержит собственных подмножеств, одновременно открытых и замкнутых в исходном множестве[13]), то иногда в определении области понятие «линейная связность» заменяют на понятие «связность»[14][1].

Иногда областью называют непустое открытое множество, не обязательно линейно связное. Тогда область в обычном смысле называют линейно связной областью, или просто связной областью[3][14][15][16][17].

Область общего вида обычно обозначают латинской прописной буквой [4][5][6][8], а иногда — латинской прописной буквой [9][22][18][23] или греческой прописной буквой [10][17]. Разные виды областей могут обозначаться специальным образом[6].

Слева направо: внутренняя, внешняя и граничная точки

Все точки плоскости по отношению к лежащей в ней области распадаются на следующие три непересекающиеся множества, объединение которых полностью покрывает плоскость[18][24][25]:

  • внутренние точки области, у которых имеются некоторые окрестности, полностью лежащие в области;
  • внешние точки , области, у которых имеются некоторые окрестности, полностью лежащие вне области;
  • граничные точки области, любые окрестности которых имеют как точки, лежащие в области, так и точки, лежащие вне области, то есть это точки, которые ни внутренние, ни внешние одновременно.

Предельная точка области — внутренняя либо граничная точка, то есть точка, любые окрестности которой имеют бесконечно много точек области[24][26].

Множество всех внутренних точек области с неё совпадает и поэтому всегда непусто[25].

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

Если область отлична от всей плоскости, то её дополнение непусто и может состоять из внешних и граничных точек. Если внешних точек нет, то дополнение области включает не менее одной граничной точки. Если внешние точки есть, то тогда[25]:

  • их бесконечно много, так как имеется окрестность из внешних точек;
  • граничных точек тоже бесконечно много.

Граничные точки области имеются всегда, если область отлична от плоскости, а внешние точки при этом могут отсутствовать. Например, когда область состоит из всех точек плоскости, не принадлежащих некоторой прямой или окружности, то эти прямая или окружность образуют границу области, а внешние точки отсутствуют[27].

Граница области

[править | править код]

Граница области — множество (или [4]) всех граничных точек области[5][18][9].

Теорема 1 (о замкнутости границы). Граница произвольной области есть замкнутое множество[5][18].

Доказательство. Область есть множество, поэтому его граница замкнута как граница множества[18]. □

Теорема 2 (об открыто-замкнутом множестве). Если непустое подмножество связной области , , , одновременно открыто и замкнуто в индуцированной топологии области , то подмножество совпадает с областью, [28][29].

Компактная, или строгая, принадлежность множества области — принадлежность области замыкания множества , , [29][30]. При этом множество компактно, или строго, принадлежит области [29][30][28].

Ограниченная, или конечная, или компактная, область — область , для которой

[4],

или существует круг, содержащий эту область , то есть

[29],

или бесконечная точка не принадлежит замыканию области в расширенной комплексной плоскости , то есть

[31].

Иначе область называется неограниченной, или бесконечной[4].

Замкнутая область объединение области и её границы , то есть множество всех внутренних и всех граничных точек области[1][11][18]. Это не вполне удачный термин[18], но уместный в паре с термином «открытая область»[1]. Другими словами, замкнутая область получается замыканием области [11][5].

Круг, граничная окружность и внутренняя граница — радиус

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

Внутренняя граница области — часть границы области , которая не принадлежит границе замыкания , то есть разность множеств (не спутайте с внутренней компонентой границы)[11].

Метрическое строение границы области может быть очень сложным множеством[4][32]. На рисунке внизу слева показан прямоугольник с прямолинейными разрезами на нём от сторон и , которые сгущаются при приближении к стороне . В этом случае область — это множество внутренних точек прямоугольника, из которого удалены точки разрезов. На рисунке внизу справа область — это спиралевидная полоска, которая стягивается к предельной окружности [32].

Но обычно имеют дело с областями, границы которых суть конечное число кусочно-гладких кривых или точек[32].

Теорема 3. Расстояние от замкнутого множества (например, кривой), принадлежащего области, до границы области больше нуля[32].

Порядок связности области

[править | править код]

Граница области — это некоторое замкнутое множество. Если это замкнутое множество не связно, то тогда оно представляет собой набор из нескольких замкнутых связных частей — компонент связности[32]. Число компонент связности может быть любым: [4].

Односвязная область — область расширенной комплексной плоскости , , со связной границей , то есть [4][33]. Образно говоря, односвязная область — это область без «дыр»[34]. Граница односвязной области расширенной комплексной плоскости состоит из одного замкнутого связного множества, например, из одной замкнутой кривой Жордана или из одной точки[32]. Иначе, если граница области не связна, то есть , область называется многосвязной[4][33].

Следующая теорема принимается некоторыми авторами за определение односвязной области[4][32][35].

Теорема 1. Произвольную замкнутую кривую Жордана, принадлежащую односвязной области, можно непрерывно стянуть в произвольную точку этой области, оставаясь всё время в этой области[4][36][35]. Другими совами, произвольная замкнутая кривая Жордана, принадлежащая односвязной области, имеет внутреннюю часть, также принадлежащую этой области[37]

Понятие границы плоской области тесно связано с понятие кривой, но в общем случае граница произвольной плоской области имеет существенно более сложнее строение. Простейшим примером такой связи служит следующая теорема Жордана[38].

Теорема 2 (теорема Жордана). Замкнутая кривая Жордана делит расширенную комплексную плоскость на две односвязные области, для которых эта кривая является общей границей: на конечную и бесконечную [4][32][38][39]. Дополнение к дуге Жордана на расширенной комплексной плоскости есть односвязная область, для которой эта дуга является границей и которой принадлежит бесконечно удалённая точка[39].

Замечание. Для кусочно-гладких кривых эта теорема имеет простое доказательство и геометрически очевидна, но для произвольных непрерывных кривых доказывается достаточно тонко и является достаточно трудной задачей[32][38].

Жорданова область — одна из двух односвязных областей: конечная или бесконечная , на которые делит расширенную комплексную плоскость замкнутая кривая Жордана[4].

Замечание. Обычную конечную, не расширенную, комплексную плоскость замкнутая кривая Жордана делит на односвязную область, находящуюся внутри кривой, и на многосвязную (конкретно двусвязную) область, находящуюся во внешности кривой, со стороны бесконечно удалённой точки[37].

Порядок, или число, связности области — конечно число связных компонент границы области расширенной комплексной плоскости , [4][33][32]. Иначе, если число компонент связности границы бесконечно, , область называется бесконечно связной[4][33].

Три разреза: односвязная область

Разрез, или купюра, области — удаление из области точек кусочно-гладкой кривой, которая вся принадлежит области, за исключением, быть может, начала и конца кривой[36][40].

Порядок связности области на единицу больше минимального числа разрезов, превращающих область в односвязную, причём эти разрезы соединяют попарно компоненты связности границы области[4][36].

-связная область — область расширенной комплексной плоскости , , граница которой состоит из компонент связности[32]. При область называется двусвязной, при трёхсвязной и так далее, при конечносвязной[4].

Порядок связности области на комплексной плоскости определяет её топологический тип. Но топологические типы областей пространств , , или , , не определяются одним числом[4].

Ориентированная граница области

[править | править код]

Простая граница области — граница области комплексной плоскости , состоящая из конечного числа кусочно-гладких замкнутых жордановых кривых (контуров)[28].

Ориентированная граница области, состоящая из замкнутых жордановых кривых

Внешняя граница области — компонент простой границы области, замкнута кривая, отделяющая точки области от бесконечной точки плоскости. Остальные компоненты границы области называются внутренними (не спутайте с внутренней границей)[31][28].

Ориентированная простая граница[2] области — ориентация простой границы области такая, что область остаётся слева при её обходе вдоль границы. Другими словами, внешняя граница области ориентирована против часовой стрелки, а внутренние компоненты границы — по часовой стрелке[31][28]. Такая ориентация границы области и такое направление её обхода называются положительными[36][41]. Противоположная ориентация границы области и противоположное направление её обхода называются отрицательными[42].

Ориентированная граница области, состоящая просто из жордановых кривых

Обычно понятие ориентированной границы обобщают, снимая с жордановых кривых границы требование замкнутости. Такая граница области состоит не только из замкнутых жордановых кривых (то есть контуров), но также из жордановы дуг (то есть разрезов) и точек. Получается следующие определения[36][43][44].

Кривая со складками — кривая комплексной плоскости , состоящая из конечного числа кусочно-гладких замкнутых жордановых кривых (контуров), конечного числа жордановых дуг (складок) и счётного числа изолированных точек[44].

Складка кривой — компонента кривой со складками, а именно: жорданова дуга[44].

Ориентированная граница со складками области — ориентация компонентов границы со складками области, состоящей из конечного числа кусочно-гладких жордановых кривых, такая, что область остаётся слева при её обходе вдоль границы. При таком обходе одни точки границы проходятся только один раз, другие — несколько раз[36][43].

Кратность граничной точки

[править | править код]
Полный обход границы со складками односвязной области. 1 — простые граничные точки, 2 — двойные, 3 — тройная

Понятие кратности граничной точки получается при детализации обхода границы со складками области[41] (а также при детализации достижимых граничных точек[45]).

Обход кривой со складками — последовательный поэтапный непрерывный обход связной кривой со складками. Каждый этап обхода приходится на одну из частей контуров или складок между разветвлениями кривой. Такой обход аналогичен обходу связного лабиринта[англ.], то есть прямому обходу дерева справа налево: в точке разветвления выбираем самый левый путь. Части контуров проходятся один раз, части складок — два раза в противоположных направлениях. При этом некоторые точки разветвления кривой могут проходиться произвольной конечное число раз[41][44].

Четыре складки, сходящиеся в четырёхкратной точке

Пример кривой со складками. Рассмотрим следующую область : расширенная комплексная плоскость без отрезков

где натуральное число . Таким образом, — это односвязная область с границей «звезда» из указанных удалённых отрезков. Обход такой области происходит следующим образом: проходим отрезок от точки до , а затем обратно до . После этого так же проходим отрезок , потом отрезок и так далее до последнего отрезка . Отрезки суть кривые Жордана рассматриваемой кривой со складками, которые проходятся дважды, то есть складки. Точка проходится раз[44].

Кратность граничной точки — количество проходов через точку границы области при её полном однократном обходе. Если за полный однократный обход границы точка границы проходится один раз, она называется простой (или однократной[46]), иначе она называется кратной (или -кратной[45]): при двух проходах — двойной, при трёх — тройной[41].

Понятие кратности граничной точки действует и для многосвязных областей[41].

Достижимая граничная точка

[править | править код]
Достижимая четырёхкратная точка

Достижимая граничная точка (достижимая изнутри граничная точка[47]), лежащая над некоторой точкой границы области , — пара , где кривая Жордана с концом в точке , принадлежащая области за исключением [48][49][4][47][39][50]. Причём выполняется следующие условие: две кривые и , обе с концом в точке , задают одну и ту же достижимую граничную точку, если для любой окрестности обе кривые находятся в одной и той же связной части пересечения окрестности с областью [48][49][51]. Если для граничной точки не существует такой пары из точки и кривой, то такая точка называется недостижимой[47].

Точки отрезка границы области недостижимы

На рисунке справа показан прямоугольник с прямолинейными разрезами на нём от сторон и , которые сгущаются при приближении к стороне . В этом случае область — это множество внутренних точек прямоугольника, из которого удалены точки разрезов. Для этой области точки отрезка недостижимы, а все остальные граничные точки достижимы[47][51].

Теорема 1. Любая граничная точка области, ограниченной конечным числом жордановых кривых, достижима[47].

Метрика Мазуркевича в области, или расстояние по областирасстояние между двумя точками области, равное точной нижней границе диаметров ломаных, полностью лежащих в области и соединяющих эти точки[48].

В метрике Мазуркевича достижимые граничные точки можно считать обычными точками границы, то есть обойтись в определении без связных частей пересечения окрестности с областью[48].

Внутренним точкам разреза области всегда отвечают две достижимые граничные точки — по одной на каждой стороне разреза[48].

Понятие кратности граничной точки получается не только при детализации обхода границы со складками области[41], но и при детализации достижимых граничных точек[45].

-кратная граничная точка — геометрическая граничная точка, над которой лежит ровно , , различных достижимых граничных точек[45].

Понятие достижимых граничных точек лежит в основе дополнения к теореме Жордана, данное Шёнфлисом[51].

Теорема 2 (теорема Шёнфлиса). Все точки замкнутой кривой Жордана на расширенной комплексной плоскости достижимы с обеих сторон, то есть для каждой из двух односвязных областей, ею определяемых[39][51].

Следствие 1. Из теорем Жордана и Шёнфлиса следует, что все внутренние точки незамкнутой кривой Жордана на расширенной комплексной плоскости достижимы[39].

Следствие 2. Из теорем Жордана и Шёнфлиса следует, что любая точка границы области на расширенной комплексной плоскости, ограниченной незамкнутой кривой Жордана, однократна; любая внутренняя точка незамкнутой кривой Жордана — двукратна[52].

Основные области

[править | править код]

Основная, или каноническая, область — одна из трёх областей на комплексной плоскости: 1) расширенная комплексная плоскость, или замкнутая плоскость, ; 2) комплексная плоскость, или открытая плоскость, ; 3) единичный круг (или верхняя полуплоскость) [53])[54][53][55].

Группы автоморфизмов этих областей можно описать следующим образом[56][57][58]:

Дробно-линейный изоморфизм областей — дробно-линейное преобразование комплексной плоскости , отображающее область на область [59].

Теорема 1. Единичный круг и верхняя полуплоскость дробно-линейно изоморфны[59], поскольку конформно отображается на следующим дробно-линейным отображением[60][61][62]:

Теорема 2. Группы автоморфизмов основных областей комплексной плоскости не изоморфны друг другу[63]. Основные области не биголоморфно эквивалентны друг другу[64][63].

Доказательство 1. Группы автоморфизмов основных областей имеют разную вещественную размерность:

  • группа имеет размерность 6, так как зависит всего от трёх комплексных параметров, поскольку числитель и знаменатель можно поделить на комплексное число;
  • группа имеет размерность 4, так как зависит от двух комплексных параметров;
  • группа имеет размерность 3, так как зависит от одного комплексного и одного вещественного параметра,

следовательно, группы автоморфизмов основных областей комплексной плоскости не изоморфны друг другу, а сами основные области не биголоморфно эквивалентны друг другу[63]. □

Доказательство 2. Докажем непосредственно, что основные области не биголоморфно эквивалентны друг другу. Замкнутая область (сфера) даже не гомеоморфна открытым областям и , поэтому не биголоморфно эквивалентна и . Области и гомеоморфны, но биголоморфного отображения на не существует, поскольку такое отображение должно быть целой функцией , причём везде , следовательно, по теореме Лиувилля, [64][63]. □

Основные области односвязны и даже топологически различны как подмножества области : граница пуста, граница состоит из одной точки, граница состоит из более чем одной точки, то есть бесконечна, поскольку область связна. Следовательно, области с пустой границей биголоморфны , а с границей из одной точки биголоморфны . Одна из основных теорем комплексного анализатеорема Римана заключается в том, что произвольная односвязная область , граница которой состоит из более чем одной точки, биголоморфна единичному кругу [64][63].

Итак, на расширенной комплексной плоскости существуют всего три класса биголоморфной эквивалентности односвязных областей — по количеству основных областей[63].

Область в комплексном пространстве

[править | править код]

Трёхмерная область

[править | править код]

Любой -мерный открытый шар есть область. Любой -мерный замкнутый шар есть замкнутая область[65].

Список простейших областей

[править | править код]

Приведём список некоторых простейших областей комплексного пространства[6]:

Примечания

[править | править код]
  1. 1 2 3 4 5 6 7 Стоилов С. Лекции о топологических принципах теории аналитических функций, 1964, Глава I. Некоторые вспомогательные сведения из топологии. I. Топологическое пространство…, с. 27.
  2. 1 2 Перевод на англ. см. в закладке «Обсуждение» статьи
  3. 1 2 3 4 5 6 Область, 1974.
  4. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Соломенцев Е. Д. Область, 1982.
  5. 1 2 3 4 5 6 7 8 Шабат Б. В. Введение в комплексный анализ, ч. I, 1976, 4. Области, с. 22.
  6. 1 2 3 4 5 6 Шабат Б. В. Введение в комплексный анализ, ч. II, 1976, 2. Простейшие области, с. 13.
  7. 1 2 3 4 Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного, 1973, 3. Геометрические понятия, с. 16.
  8. 1 2 3 4 5 Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Первое полугодие, 2004, 1.4. Топология комплексной плоскости, с. 6.
  9. 1 2 3 4 5 6 Привалов И. И. Введение в теорию функций комплексного переменного, 2009, Глава II. Комплексные переменные… § 1. Функции комплексного переменного, с. 47.
  10. 1 2 Steven G. Krantz. Function Theory of Several Complex Variables, 2001, 0.1 Preliminaries, p. 3.
  11. 1 2 3 4 5 Стоилов С. Теория функций комплексного переменного. Том I, 1962, Глава I. Предварительные понятия. § 2. Множества комплексных чисел. 14, с. 30.
  12. 1 2 Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Первое полугодие, 2004, 1.4. Топология комплексной плоскости, с. 6—7.
  13. 1 2 Стоилов С. Лекции о топологических принципах теории аналитических функций, 1964, Глава I. Некоторые вспомогательные сведения из топологии. I. Топологическое пространство…, с. 22.
  14. 1 2 3 4 5 6 7 Область, 1988.
  15. 1 2 Ильин В. А., Позняк Э. Г. Основы математического анализа. Часть I, 1971, Глава 14. Функции нескольких переменных. § 1. Понятие функции нескольких переменных, с. 462.
  16. 1 2 Маркушевич А. И. Теория аналитических функций. Том I, 1967, Глава первая. Основные понятия. § 4. Связность множеств. Кривые и области, с. 52.
  17. 1 2 3 Jaap Korevaar, Jan Wiegerinck Several Complex Variables, 2011, Chapter 1 Basic properties of holomorphic functions…, p. 1.
  18. 1 2 3 4 5 6 7 8 Гурвиц А., Курант Р. Теория функций, 1968, Глава 1. Предварительные сведения. § 2. Кривые и области, с. 281.
  19. Арнольд В. И. Геометрические методы в теории обыкновенных дифференциальных уравнений, 2000, с. 119, 131, 134, 145, 177, 183.
  20. Арнольд В. И. Обыкновенные дифференциальные уравнения, 2000, с. 179, 288, 318, 329, 341, 344.
  21. Стоилов С. Лекции о топологических принципах теории аналитических функций, 1964, Глава I. Некоторые вспомогательные сведения из топологии. I. Топологическое пространство…, с. 28.
  22. Ильин В. А., Позняк Э. Г. Основы математического анализа. Часть II, 1980, Глава 5. Поверхностные интегралы. § 1. Понятие поверхности, с. 123.
  23. Маркушевич А. И. Теория аналитических функций. Том I, 1967, Глава первая. Основные понятия. § 4. Связность множеств. Кривые и области, с. 55.
  24. 1 2 Евграфов М. А. Аналитические функции, 1991, Глава I. Введение. § 2. Множества, функции и кривые, с. 12.
  25. 1 2 3 4 Маркушевич А. И. Теория аналитических функций. Том I, 1967, Глава первая. Основные понятия. § 4. Связность множеств. Кривые и области, с. 54.
  26. Маркушевич А. И. Теория аналитических функций. Том I, 1967, Глава первая. Основные понятия. § 4. Множества и функции…, с. 37.
  27. Маркушевич А. И. Теория аналитических функций. Том I, 1967, Глава первая. Основные понятия. § 4. Связность множеств. Кривые и области, с. 54—55.
  28. 1 2 3 4 5 Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Первое полугодие, 2004, 1.4. Топология комплексной плоскости, с. 8.
  29. 1 2 3 4 Шабат Б. В. Введение в комплексный анализ, ч. I, 1976, 4. Области, с. 24.
  30. 1 2 Владимиров В. С. Методы теории функций многих комплексных переменных, 1964, § 1. Обозначения и определения, с. 11.
  31. 1 2 3 Шабат Б. В. Введение в комплексный анализ, ч. I, 1976, 18. Обобщения теоремы Коши, с. 99.
  32. 1 2 3 4 5 6 7 8 9 10 11 Гурвиц А., Курант Р. Теория функций, 1968, Глава 1. Предварительные сведения. § 2. Кривые и области, с. 282.
  33. 1 2 3 4 Шабат Б. В. Введение в комплексный анализ, ч. I, 1976, 4. Области, с. 23.
  34. Кудрявцев Л. Д. Курс математического анализа. Том II, 1981, 47.8. Условия независимости…, с. 211.
  35. 1 2 Шабат Б. В. Введение в комплексный анализ, ч. I, 1976, 4. Области, с. 94.
  36. 1 2 3 4 5 6 Гурвиц А., Курант Р. Теория функций, 1968, Глава 1. Предварительные сведения. § 2. Кривые и области, с. 283.
  37. 1 2 Привалов И. И. Введение в теорию функций комплексного переменного, 2009, Глава II. Комплексные переменные… § 1. Функции комплексного переменного, с. 48.
  38. 1 2 3 Евграфов М. А. Аналитические функции, 1991, Глава I. Введение. § 2. Множества, функции и кривые, с. 15.
  39. 1 2 3 4 5 Владимиров В. С. Методы теории функций многих комплексных переменных, 1964, § 1. Обозначения и определения, с. 16.
  40. Фукс Б. А., Шабат Б. В. Функции комплексного переменного и некоторые приложения, 1964, 6. Области и их границы, с. 33.
  41. 1 2 3 4 5 6 Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного, 1973, 3. Геометрические понятия, с. 17.
  42. Кудрявцев Л. Д. Курс математического анализа. Том II, 1981, 47.5. Формула Грина, с. 198.
  43. 1 2 Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного, 1973, 3. Геометрические понятия, с. 16—17.
  44. 1 2 3 4 5 Евграфов М. А. Аналитические функции, 1991, Глава I. Введение. § 2. Множества, функции и кривые, с. 16.
  45. 1 2 3 4 Владимиров В. С. Методы теории функций многих комплексных переменных, 1964, § 7. Голоморфные отображения, с. 61.
  46. Владимиров В. С. Методы теории функций многих комплексных переменных, 1964, § 7. Голоморфные отображения, с. 62.
  47. 1 2 3 4 5 Привалов И. И. Введение в теорию функций комплексного переменного, 2009, Глава XII. Общие принципы… § 7. Соответствие границ при конформном отображении, с. 387.
  48. 1 2 3 4 5 Гурвиц А., Курант Р. Теория функций, 1968, Глава 6. Конформное отображение…. § 5. Соответствие границ при конформном отображении, с. 440.
  49. 1 2 Евграфов М. А. Аналитические функции, 1991, Глава IV. Особые точки и разложение в ряды. § 1. Понятие особой точки, с. 132.
  50. Голузин Г. М. Геометрическая теория функций комплексного переменного, 1966, Глава II. Принципы конформного отображения. § 3. Соответствие границ…, с. 38.
  51. 1 2 3 4 Голузин Г. М. Геометрическая теория функций комплексного переменного, 1966, Глава II. Принципы конформного отображения. § 3. Соответствие границ…, с. 39.
  52. Владимиров В. С. Методы теории функций многих комплексных переменных, 1964, § 7. Голоморфные отображения, с. 61—62.
  53. 1 2 Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Первое полугодие, 2004, 3.7. Дробно-линейные изоморфизмы основных областей, с. 31, 34.
  54. Шабат Б. В. Введение в комплексный анализ, ч. I, 1976, 37. Конформные изоморфизмы и автоморфизмы, с. 218.
  55. Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Второе полугодие, 2004, 17.1. Автоморфизмы основных областей, с. 192.
  56. Шабат Б. В. Введение в комплексный анализ, ч. I, 1976, 37. Конформные изоморфизмы и автоморфизмы, с. 219.
  57. Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Первое полугодие, 2004, 3.7. Дробно-линейные изоморфизмы основных областей, с. 31—33.
  58. Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Второе полугодие, 2004, 17.1. Автоморфизмы основных областей, с. 194.
  59. 1 2 Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Первое полугодие, 2004, 3.7. Дробно-линейные изоморфизмы основных областей, с. 34.
  60. Полуплоскость, 1975.
  61. Полуплоскость, 1984.
  62. Полуплоскость, 1988.
  63. 1 2 3 4 5 6 Домрин А. В., Сергеев А. Г. Лекции по комплексному анализу. Второе полугодие, 2004, 17.1. Автоморфизмы основных областей, с. 195.
  64. 1 2 3 Шабат Б. В. Введение в комплексный анализ, ч. I, 1976, 37. Конформные изоморфизмы и автоморфизмы, с. 220.
  65. Кудрявцев Л. Д. Курс математического анализа. Том I, 1981, 18.2. Различные типы множеств, с. 309.