Предельные множества, граничные свойства и устранимые особенности последовательностей функций тема автореферата и диссертации по математике, 01.01.01 ВАК РФ
Девятков, Антон Павлович
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Тюмень
МЕСТО ЗАЩИТЫ
|
||||
2008
ГОД ЗАЩИТЫ
|
|
01.01.01
КОД ВАК РФ
|
||
|
На правах рукописи
003452824
ДЕВЯТКОВ Антон Павлович
ПРЕДЕЛЬНЫЕ МНОЖЕСТВА, ГРАНИЧНЫЕ СВОЙСТВА И УСТРАНИМЫЕ ОСОБЕННОСТИ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ФУНКЦИЙ
01.01.01 - математический анализ
Автореферат диссертации на соискание ученой степени кандидата физико-математических наук
Тюмень - 2008
003452824
Работа выполнена на кафедре математического анализа и теории функций Тюменского государственного университета
Научный руководитель
доктор физико-математических наук,
профессор Кругликов В. И.
Научный консультант
доктор физико-математических наук, доцент Латфуллин Т. Г.
Официальные оппоненты:
доктор физико-математических наук, профессор Асеев В. В. доктор физико-математических наук, профессор Стругов Ю. Ф.
Ведущая организация
Московский государственный университет им. М. В. Ломоносова
Защита состоится "¿<- " декабря 2008 г. в ^ .^С часов на заседании диссертационного совета Д 212.174.02 в Новосибирском государственном университете по адресу 630090, г. Новосибирск, ул. Пирогова, 2.
С диссертацией можно ознакомиться в библиотеке Новосибирского государственного университета.
Автореферат разослан "3." октября 2008 г.
Ученый секретарь диссертационного совета, доктор физико-математических наук Макаренко Н. И.
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность темы. Понятие предельного множества является основным инструментом при изучении разнообразных граничных свойств функций.
Это понятие впервые было введено П. Пенлеве в 1895 году для наглядной характеристики поведения аналитической функции в окрестности её особой точки. Будучи чисто топологическим, оно применимо к произвольным функциям в пространствах любой размерности. Однако, имея ввиду прежде всего приложения к аналитическим функциям комплексного переменного, мы все рассмотрения будем проводить на плоскости. В современной терминологии понятие предельного множества описывается следующим образом.
Пусть в области D комплексной плоскости С задана ком-плекснозначная функция w = f(z). Для некоторого подмножества А С D и точки го G А (черта означает замыкание) предельным множеством функции / в точке zq относительно множества А назовём совокупность С(/, А, zq) точек w таких, что существует последовательность точек (-ZiObLi с А, lim Zk ~ za,
к—>00
для которой lim f(zk) = w.
к—*оа
Нетрудно показать, что предельное множество функции / представимо в виде
ре/
где (<5р)ре/ - произвольная фундаментальная система окрестностей ТОЧКИ Zq.
Классические теоремы Сохоцкого-Вейерштрасса, Пикара и Жюлиа можно рассматривать как теоремы о предельных множествах аналитической функции в её изолированной особой точке, теоремы Фату и Линделёфа - как теоремы о предельных множествах в граничной точке круга.
Существенное развитие теория граничных свойств аналитических функций получила в первую треть XX века в работах
П. Пенлеве, Ф. Иверсена, В. Гросса, В.В. Голубева, H.H. Лузина. И.И. Привалова, К. Каратеодори, В. Зейделя, А. Бёрлинга, Ф. и М. Риссов, Р. Неванлинны, А.И. Плеснера.
После некоторого затишья, длившегося примерно до 1950 года, теория предельных множеств стала вновь развиваться. В 60-е годы выходят монографии К. Носиро [1] и Э. Коллингвуда.
A. Ловатера [2], посвященные предельным множествам. В работах этого периода помимо аналитических функций большое внимание начинает уделяться произвольным функциям. Значительный вклад в развитие теории предельных множеств внесли отечественные математики Е.П. Долженко, А.Г. Витушкин.
B.И. Гаврилов, Г.Ц.Тумаркин, П.П.Белинский, И.Н.Песин и другие. Из иностранных ученых, работавших в этой области, можно назвать Л. Альфорса, О. Лехто, Л. Карлесона, Дж. Дуба. М. Оцука, Г. Маклейна. Обширная библиография, доведённая до 1971 года, содержится в обзоре [3].
Наряду с изучением граничных свойств отдельных функций многие исследователи рассматривали последовательности функций. Вопросами, связанными со сходимостью последовательностей аналитических функций занимались К. Каратеодори, П.Монтель, А.И. Маркушевич, А.Я.Хинчин. Г.Ц.Тумаркин, А.Островский, Г.Д.Суворов, Б.П.Куфарев.
В 1981 году В.И. Кругликовым [4] было введено понятие предельного множества последовательности функций. В статье [5] им были указаны некоторые применения этого понятия к исследованию граничных свойств последовательностей функций.
Цель работы состоит в изучении нового понятия предельного множества последовательности функций и развитии применений этого понятия к исследованию свойств сходимости последовательностей аналитических функций.
Методика исследования основана на общих методах метрической топологии и теории функций действительного переменного, классических методах теории функций комплексного переменного.
Научная новизна. В диссертации изучены различные топологические вопросы теории предельных множеств последо-
вательности функций. Дан ответ на вопрос Б.П. Куфарева о распределении простых концов последовательности областей. Получено дополнение к теореме Бэра о точках непрерывности функций первого класса. Для последовательностей аналитических в круге функций получены аналоги теорем Фату и Линделёфа. Указаны условия, обеспечивающие совпадение предельных множеств последовательности аналитических в круге функций вдоль двух различных путей, ведущих в одну точку. Решена задача о продолжении свойства непрерывной сходимости последовательности аналитических функций на множество своих особенностей.
Теоретическая и практическая значимость. Работа имеет теоретическое значение при изучении свойств сходимости последовательностей аналитических функций, в теории простых концов последовательности областей Г.Д. Суворова и в теории приближений.
Апробация работы. Результаты диссертации докладывались на семинаре кафедры математического анализа и теории функций Тюменского государственного университета под руководством профессора В.И. Крутикова (неоднократно); на семинаре лаборатории геометрической теории функций под руководством профессоров A.B. Сычёва и В.В. Асеева в Институте математики им. C.JT. Соболева Сибирского отделения Российской академии наук (апрель 2006 г.); на семинаре "Предельные множества"под руководством профессора В.И. Гаврилова в Московском государственном университете в рамках конференции "Ломоносов-2007"(апрель 2007 г.); На 37-й Региональной молодежной школе-конференции "Проблемы теоретической и прикладной математики"(февраль 2006 г., Екатеринбург); на XLIV международной научной студенческой конференции "Студент и научно-технический прогресс"(апрель 2006 г., Новосибирск).
Публикации. Основные результаты диссертации опубликованы в работах [6]-[14]. В работах [б], [7] все утверждения сформулированы и доказаны А.П. Девятковым, В.И. Кругликовым осуществлялось общее руководство на уровне постановки за-
дач и критического анализа доказательств. В работе [12] А.П. Девятковым проведено доказательство двух теорем, анонсированных В.И. Кругликовым в статье [5]. Вклад соавторов в результаты работы [10] равный.
Структура и объём диссертации. Диссертация содержит 102 страницы и состоит из введения, трёх глав и списка литературы, содержащего 42 наименования работ отечественных и зарубежных авторов.
Автор пользуется случаем выразить благодарность своему безвременно ушедшему из жизни научному руководителю профессору Виктору Ивановичу Кругликову за постановки задач и постоянное внимание к работе.
СОДЕРЖАНИЕ РАБОТЫ
В первой главе мы вводим понятие предельного множества последовательности функций, указываем его топологические свойства и даём некоторые иллюстративные применения этого понятия.
Пусть в области D комплексной плоскости С задана последовательность & — {fj)f;Li комплекснозначных функций w = fj(z).
Определение 1.1.1. Для некоторого подмножества А С D и точки zq G А предельным множеством последовательности функций & = (/j)jl! в точке zq относительно множества А назовём совокупность А, zo) точек w таких, что существует последовательность точек (zfc)ibLi С А, lim Zk = Zq,
¿—>00
и подпоследовательность функций {fJk)kLi С , для которых lim fjk(zk) = w.
k—> oo
В следующей теореме, анонсированной в статье [5], приводится теоретико-множественная формула для предельного множества.
Теорема 1.1.1. Предельное множество последовательно-
стпи функций предстпавимо в виде
C{c?,A,zo) = Р) Ls Д;(Дг),
I ' J—»00 г>0
где Ls Ají А, г) - верхний топологиче-j-* 00
ский предел последовательности множеств Aj{A, г) = fj{Sr П А), 5Г = {z:\z- zq\ < г}, j = 1,2,...
Из этого представления вытекают основные топологические свойства предельного множества последовательности функций.
Первым приложением понятия предельного множества последовательности функций является следующий теоретико-множественный критерий равномерной сходимости, указанный в работе [5j.
Теорема 1.1.3. Последовательность функций & — (/j)£Li равномерно сходится на множестве D к функции f тогда и только тогда, когда относительно любого множества А С D в каждой точке Zq 6 А предельные множества последовательности & и функции / совпадают, т.е.
C(&,A,z0) = C(f,A,z0).
Второй параграф посвящен приложению понятия предельного множества последовательности функций к теории простых концов последовательности областей Г.Д. Суворова.
Исследования Г.Д.Суворова обобщают (в идейном смысле) схему построения теории простых концов Каратеодори для фиксированной области на случай переменных областей и в качестве основных элементов содержат в себе определение простого конца последовательности областей и доказательство би-екции между множествами простых концов последовательности областей 1 и её ядра В с последующим изучением структуры носителя простого конца и основанной на том классификации простых концов последовательности областей, включающей в себя восемь их типов.
Краткое описание понятия простого конца последовательности областей и его носителя приведено в первом пункте §2.
Основной результат §2 заключается в том, что предельное множество последовательности конформных отображений единичного круга на сходящуюся к ядру равномерно ограниченную последовательность односвязных областей является носителем простого конца Г.Д. Суворова. Более точно, имеет место следующее утверждение, анонсированное в статье [5].
Теорема 1.2.1. Для последовательности & = (fj)^i конформных отображений f3: D —> Bj, нормированных условиями fj(0) = 0, /j(0) > 0 и отображающих единичный круг D : \z\ < 1 на равномерно ограниченную последовательность областей (Bj)^, сходящуюся к своему ядру В, в каждой точке егв на окружности |г| = 1 полное предельное множество D, eiö) представляет собой носитель \ Pq\ простого конца Рв последовательности областей (Bj)JLx, соответствующего (по теореме Г.Д. Суворова о соответствии границ) заданной точке егв.
В третьем параграфе исходная последовательность функций & — (fj)jL 1 предполагается сходящейся. Тогда для всякого подмножества А С D и каждой точки zq € А имеют смысл два предельных множества: C(^,A,zo) - предельное множество последовательности функций & = ifj)%i и С(/, А, zq) - предельное множество её предельной функции f(z) = lim fj(z).
j-» оо
Возникает вопрос: когда эти предельные множества совпадают? Частично ответ на поставленный вопрос дает следующее утверждение. _
Теорема 1.3.1. Множество тех точек z0 6 А, в которых выполнено равенство А, zq) = С(/, А, zq), является Gs-множеством на А.
В качестве следствия этой теоремы, мы даём отрицательный ответ на один вопрос Б.П. Куфарева о возможных типах распределения простых концов последовательности областей.
В четвертом параграфе даётся приложение понятия предельного множества к классификации функций по Бэру.
Напомним, что действительную функцию f{x), заданную
на отрезке [а, 6], называют функцией первого класса Бэра, если она не является непрерывной, но представима в виде f(x) = lim /,(х), где все функции fj(x) непрерывны на этом
]—<х)
отрезке.
Классическая теорема Р. Бэра утверждает, что для всякой функции первого класса f(x) и любого непустого замкнутого множества А, расположенного на отрезке [а, Ь], найдётся точка хо Е А, в которой функция f(x) является непрерывной относительно множества А.
Описывая свойства предельной функции, теорема Бэра не даёт никакой информации о самом процессе её образования.
Мы, используя в качестве инструмента исследования понятие предельного множества последовательности функций, установили наличие более сильных свойств (чем при поточечной сходимости) предельного процесса образования функций первого класса.
Прежде, чем сформулировать соответствующую теорему, сделаем замечание о том, что вырожденность (т.е. одноточеч-ность) предельного множества А, го) последовательности функций & — (fj)'jLi равносильна непрерывной сходимости этой последовательности функций в точке z0 относительно множества А, т.е. существованию предела lim fj(z,) для любой по-
J—>00
следовательности точек (г,)^, С Л с liin z< = zq.
J j—»oo
Основным результатом четвёртого параграфа является следующее утверждение.
Теорема 1.4.1. Пусть на некотором отрезке [а, Ь] задана последовательность & — непрерывных функций fj{x),
сходящаяся в каждой точке этого отрезка. Тогда для любого непустого замкнутого множества А, расположенного на отрезке [а,Ь], найдётся точка хо £ А, в которой предельное множество С{&, А, хо) вырожденно, и, таким образом, последовательность функций & непрерывно сходится в точке хо относительно множества А.
Во второй главе основным объектом исследования являют-
ся последовательности аналитических функций & — заданные в единичном круге В : \г\ < 1. Опираясь на понятие предельного множества, мы проводим систематическое изучение поведения таких последовательностей вблизи граничной окружности.
Результаты второй главы можно расценивать как аналоги соответствующих теорем о предельных множествах для одной функции - теоремы П. Фату о радиальных пределах, теоремы Э. Линделёфа об угловых пределах, теоремы о совпадении предельных множеств вдоль различных путей, теоремы Э. Коллингвуда о множествах максимальной неопределённости.
Отметим, что полного совпадения здесь нет. Например, при построении аналога теоремы Фату, которому посвящен первый параграф, важным оказывается понятие консервативного предельного множества.
Определение 2.1.1. Скажем, что предельное множество С(^,А,г0) последовательности функций & — в тючке го относительно множества А является консервативным, если оно не изменяется при замене последовательности & любой её подпоследовательностью, т.е.
о) = С(Ф, А, для всякой подпоследовательности функций Ф = (¡]к)£=1.
Аналог теоремы Фату звучит следующим образом.
Теорема 2.1.1. Для того, чтобы равномерно ограниченная последовательность & = однолистных аналитических
в круге Б : \г\ < 1 функций имела п.в. на окружности \г\ = 1 радиальные граничные значения (т.е. предельные множества 7(?, е'е) вдоль радиусов уо : г = ге"9,0 < г < 1, вырожден-ны для п. в. 9 £ [0,2п}), необходимо и достаточно, чтобы при п.в. в € [0,27т] данная последовательность функций & имела в т,очке егв консервативное радиальное предельное множество.
Условие консервативности здесь не может быть отброшено, что подтверждается соответствующим контрпримером.
В качестве следствия этой теоремы мы получаем дополнение к классической теореме Каратеодори о сходимости последова-
телыюсти конформных отображений.
Во втором параграфе формулируется теорема о связи угловых и радиальных граничных значений последовательности аналитических в круге функций, аналогичная теореме Линде-лёфа для одной функции.
Теорема 2.2.1. Пусть в круге D : \z\ < 1 задана равномерно ограниченная последовательность = (/j)yii аналитических функций fj{z). Если её предельное множество вдоль радиуса 7$ \ z = ге'9,0 < г < 1, вырожденно, то таковым же является и предальное множество , Ад, ег8) вдоль любого угла Д3 с вершиной в el9, образованного хордами окружности \z\ — 1.
В третьем параграфе мы подробно исследуем введённое понятие консервативного предельного множества: даём критерий консервативности, описываем топологическое строение множества точек, в которых предельное множество является консервативным, приводим теоремы о существовании консервативных подпоследовательностей.
Ограничимся здесь критерием консервативности, для формулировки которого мы вводим понятие нижнего предельного множества, имеющее и самостоятельный интерес.
Определение 2.3.1. Нижним предельным множеством последовательности функций = (fj)JLi в точке zo относительно множества А назовём совокупность , А, zo) точек w таких, что существует последовательность точек (zjС А, lim z, = zq, для которой lim fAz,) = w.
J j—>oc J—>00
Следующая теорема даёт другие эквивалентные описания нижнего предельного множества, оправдывающие его название.
Теорема 2.3.1. Нижнее предельное множество последовательности функций представимо в виде
C(<?,A,z0) = f) Li Aj(A,r),
1 4—>oo
где Li Д,(Дг) - нижний топологиче-
j—сю
ский предел последовательности множеств Дj(A, г) = fj{Sr П А), 6г {z:\z- zq\ < г}, j = 1,2,...
Фс^
где пересечение берётся по всевозможным подпоследовательностям функций Ф = (jjJfcLi из
Критерий консервативности звучит следующим образом. Теорема 2.3.2. Предельное множество последовательности функций A, zq) консервативно тогда и только тогда, когда оно совпадает с нижним предельным множеством
C(ß,A,z0)=C(ß,A,z0) .
В четвёртом параграфе мы рассматриваем равномерно ограниченные последовательности = {fj)JLi однолистных аналитических в единичном круге D : \z\ < 1 функций и находим условия, обеспечивающие совпадение предельных множеств C(ß,Ai, егв) и C(ß~, Л2, егв) этой последовательности функций вдоль различных путей А\, А% , ведущих в одну точку e,s € 3D.
Чтобы сформулировать соответствующую теорему, мы вводим новый тип предельного множества. Скажем, что полное предельное множество С{ß, D, егв) последовательности функций & = (fj)JLi является сжимающимся , если в точке егв выполнено равенство
lim difj[6r П D) = О , }'—+0 j—юо
где 6r = {z : \z — e'e\ < r}, a diM - внутренний диаметр множества M, т.е. точная верхняя грань диаметров кругов К, целиком содержащихся в этом множестве
djM = sup diam К . Кем
Следующее утверждение даёт простейший признак сжимаемости предельного множества.
Лемма 2.4.1. Если предельное множество С(^,0,е1в) не содержит внутренних точек, то оно сжимающееся.
Основной результат четвертого параграфа звучит так.
Теорема 2.4.1. Пусть в круге Б : \г\ < 1 задана равномерно ограниченная последовательность & = однолистных
аналитических функций /¿(г), и пусть в точке егв предельное множество СИ, егВ) сжимающееся. Если для некоторых множеств А\. Ач С В, имеющих на дБ одну общую предельную точку е , отклонение по Хаусдорфу в гиперболической метрике конечно, т.е.
сИэ^Ль Л2) < +оо ,
то вдоль этих множеств предельные множества последовательности функций & совпадают, а именно
В пятом параграфе мы доказываем две теоремы о множествах максимальной неопределённости последовательностей функций, аналогичные теоремам Э. Коллингвуда для одной функции.
В третьей главе решается задача о продолжении свойства сходимости последовательности аналитических функций на множество своих особенностей.
В первоначальной постановке задача об устранимости некоторого множества Е из области £> означает поиск условий, при которых для каждой ограниченной аналитической в0\Е функции обеспечивается возможность её доопределения на всю область £) с сохранением свойства аналитичности.
Множества Е, дающие положительное решение этой задачи принято называть АВ-устранимыми (или ЛВ-множествами). В настоящее время такие множества хорошо изучены в работах Е.П. Долженко, А.Г. Витушкина, С.Я. Хавинсона и других. Достаточным условием Л.В-устранимости множества Е является равенство нулю его длины, т.е. одномерной меры Хаусдорфа т\Е = 0, а необходимым - равенство нулю его а-мерной меры
Хаусдорфа таЕ = 0 при всех а > 1. Необходимое и достаточное условие АВ-устранимости заключается в равенстве нулю так называемой аналитической ёмкости множества у(Е) = 0.
Дополнительно к АВ-устранимым множествам мы вводим ещё два типа устранимых множеств, выражаемые терминами С- и СЯ-устранимости, суть которых состоит в требовании вырожденности в каждой точке а € Е и для любой ограниченной аналитической в В \ Е функции соответствующих предельных множеств: С(/, В \ Е, а) - в случае С-устранимых множеств и С{<р, (В \ Е)2 \1,А) - в случае С1-устранимых множеств, где функция двух переменных
-г - С
определена при г, £ € В \ Е\ г С,, А = (а, а), а I = {(г, 0 : -г = С} ~ диагональ в С2.
Путём несложных рассуждений легко убедиться, что условия как С-устранимости, так и С^-устранимости гарантируют возможность продолжения функции /(г) на множество Е по непрерывности, при этом условие С^-устранимости обеспечивает ещё и аналитичность такого продолжения.
Более сильным утверждением здесь является
Теорема 3.1.2. Классы устранимых множеств АВ, С и С1 попарно совпадают.
Опишем теперь для семейства всевозможных равномерно ограниченных последовательностей & — аналитических
и непрерывно сходящихся в В\Е функций /¿(г) классы устранимых множеств.
АВ-устранимые множества Е с В характеризуются тем; что во всякой такой последовательности & = каж-
дая функция /Д-г) может быть доопределена до аналитической функции на всю область £), и получаемая так последовательность доопределённых функций непрерывно сходится в каждой точке области В (что равносильно равномерной сходимости этой последовательности внутри В).
Более слабой является характеристика С-устранимого множества, заключающаяся в том, что для каждой точки а € Е предельное множество О \Е, а) вырожденно для всякой последовательности функций & =
Нетрудно показать, что условие С-устранимости множества Е позволяет продолжить по непрерывности на всю область £> каждую из функций последовательности & = так,
что эта продолженная последовательность функций непрерывно сходится в И (а значит, сходится раномерно внутри В).
Наконец, С1-устранимое множество Е С В характеризуется условием вырожденности в каждой точке А = (а, а), где а е Е, предельного множества (£> \ Е)2 \ 1,А), где
~ произвольно выбранная последовательность функций двух переменных
м Г\ - № ~ Ж) , _ , о
4>]{г, С) =--' 3 2'''' '
определённая при г, ( € 0\Е, г ф исходя из какой-либо рассматриваемой нами последовательности аналитических функций 9 = (/,)--,
Основным результатом второго параграфа является следующая
Теорема 3.2.1. Классы устранимых множеств АВ, С1, С, АВ, С1 и С попарно совпадают.
В третьем параграфе решается аналогичная задача о продолжении свойства сходимости для последовательностей лишь гомеоморфных отображений - конформных, квазиконформных и более общих.
ЛИТЕРАТУРА
[1] Носиро К. Предельные множества. - М.: ИЛ, 1963. - 252
с.
[2] Коллингвуд Э., Ловатер А. Теория предельных множеств.
- М.: Мир, 1971. - 312 с.
[3] Ловатер А. Граничное поведение аналитических функций// Итоги науки и техники. Математический анализ. - ВИНИТИ, 1973. - Т. 10. - С. 99-259.
[4] Кругликов В. И. Предельные множества последовательности функций. - Донецк: Донец, ун-т, 1981. - 16 с.(Рукопись деп. в ВИНИТИ, № 5325-81 Деп).
[5] Кругликов В. И. Предельные множества последовательности функций// Докл. РАН. - 1997. - 357, № 1. - С. 16-18.
ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ
[6] Девятков А. П., Кругликов В. И. О стирании особенностей последовательностей аналитических функций// Докл. РАН. -
2006. - 406, № 5. - С. 591-592.
[7] Девятков А. П., Кругликов В. И. Устранимые особенности последовательностей аналитических функций// Матем. и прикладной анализ. - Тюмень: ТюмГУ, 2005. - Вып. 2. - С. 47-65.
[8] Девятков А. П. О стирании особенностей последовательностей гомеоморфизмов// Вестник ТюмГУ. - 2006. - № 5. - С. 169-172.
[9] Девятков А. П. Две иллюстрации понятия предельного множества последовательности функций// Вестник ТюмГУ. -
2007. - № 5. - С. 3-12.
[10] Девятков А. П., Кругликов В. И. О радиальных предельных множествах последовательностей аналитических функций.
- Тюмень: ТюмГУ, 2006. - 16 с. (Рукопись деп. в ВИНИТИ, № 894-В2006).
[11] Девятков А. П. О совпадении предельных множеств последовательностей аналитических функций вдоль различных путей. - Тюмень: ТюмГУ, 2006. - 18 с. (Рукопись деп. в ВИНИТИ, № 1616-В2006).
[12] Девятков А. П., Кругликов В. И. О множествах максимальной неопределённости для последовательностей функций/ / Матем. и прикладной анализ. - Тюмень: ТюмГУ, 2007 -Вып. 3. - С. 13-18.
[13] Девятков А. П. Устранимые множества для аналитических функций и их последовательностей// Проблемы теоретической и прикладной математики: труды 37-й Региональной молодежной конференции. - Екатеринбург: УрО РАН, 2006. - С. 25-26.
[14] Девятков А. П. Предельные множества, устранимые особенности и граничные значения последовательностей аналитических функций// Материалы ХЫУ Международной научной студенческой конференции "Студент и научно-технический прогресс Математика. - Новосибирск: НГУ, 2006. - С. 9.
Подписано в печать 23.10.2008. Тираж 120 экз. Объем 1,0 уч. изд. л. Формат 60x84/16. Заказ 810.
Издательство Тюменского государственного университета 625000, г. Тюмень, ул. Семакова, 10 Тел./факс (3452) 46-27-32 E-mail: izdatelstvo@utmn.ru
ВВЕДЕНИЕ.
ГЛАВА 1. ПРЕДЕЛЬНЫЕ МНОЖЕСТВА ПОСЛЕДОВАТЕЛЬНОСТЕЙ ФУНКЦИЙ.
§1. Понятие предельного множества последовательности функций.
§2. Носитель простого конца последовательности областей как предельное множество переменного конформного отображения.
§3. Топологическая характеристика множества совпадения предельных множеств последовательности функций и её предельной функции.
§4. О точках непрерывной сходимости в процессе образования функций первого класса Бэра.
ГЛАВА 2. ГРАНИЧНЫЕ СВОЙСТВА.
§ 1. Радиальные предельные множества последовательностей аналитических функций.
§2. Аналог теоремы Линделёфа для последовательностей функций.
§3. Консервативные предельные множества.
§4. О совпадении предельных множеств последовательностей аналитических функций вдоль различных путей.
§5. Множества максимальной неопределённости последовательности функций.
ГЛАВА 3. УСТРАНИМЫЕ ОСОБЕННОСТИ.
§1. О стирании особенностей для аналитических функций.
§2. Устранимые множества для сходящихся последовательностей аналитических функций.
§3. О стирании особенностей для последовательностей гомеоморфных отображений.
Понятие предельного множества является основным инструментом при изучении разнообразных граничных свойств функций.
Это понятие впервые было введено П. Пенлеве в 1895 году для наглядной характеристики поведения аналитической функции в окрестности её особой точки. Будучи чисто топологическим, оно применимо к произвольным функциям в > пространствах любой размерности. Однако, имея ввиду прежде всего приложения к аналитическим функциям комплексного переменного, мы все рассмотрения будем проводить на плоскости. В современной терминологии понятие предельного множества описывается следующим образом.
Пусть в области D комплексной плоскости С задана комплекснозначная функция w = f(z). Для некоторого подмножества А С D и точки zq € А (черта означает замыкание) предельным множеством функции f в точке zq относительно множества А назовём совокупность С(/, А, zq) точек w таких, что существует последовательность точек С А, lim z/. = zq, k-too для которой lim f(zk) = w. k—>oo
Нетрудно показать, что предельное множество функции / представимо в виде
C(f,A,zo) = (~)f(öpDA), pei где (öp)p£i - произвольная фундаментальная система окрестностей точки z0•
Классические теоремы Сохоцкого-Вейерштрасса, Пикара и Жюлиа можно рассматривать как теоремы о предельных множествах аналитической функции в её изолированной особой точке, теоремы Фату и Линделёфа - как теоремы о предельных множествах в граничной точке круга. '
Существенное развитие теория граничных свойств аналитических функций получила в первую треть XX века в работах П. Пенлеве, Ф.Иверсена, В.Гросса, В.В. Голубева, Н.Н.Лузина, И.И.Привалова, К. Каратеодори, В.Зейделя, А. Бёрлинга, Ф. и М. Риссов, Р. Неванлинны, А.И. Плеснера.
После некоторого затишья, длившегося примерно до 1950 года, теория предельных множеств стала вновь развиваться. В 60-е годы выходят монографии К.Носиро [28] и Э. Коллингвуда, А. Ловатера [18], посвященные предельным множествам. В работах этого периода помимо аналитических функций большое внимание начинает уделяться произвольным функциям. Значительный вклад в развитие теории предельных множеств внесли отечественные математики Е.П. Долженко, А.Г. Витушкин, В.И. Гаврилов, Г.Ц. Тумаркин, П.П. Белинский, И.Н. Песин и другие. Из иностранных ученых, работавших в этой области, ' можно назвать Л.Альфорса, О.Лехто, Л.Карлесона, Дж.Дуба, М. Оцука, Г. Маклейна. Обширная библиография, доведённая до 1971 года, • содержится в обзоре [24].
Наряду с изучением граничных свойств отдельных функций многие исследователи рассматривали последовательности функций. Вопросами, связанными со сходимостью последовательностей аналитических функций занимались К. Каратеодори, П. Монтель, А.И. Маркушевич, А.Я. Хинчин, Г.Ц.Тумаркин, А.Островский, Г.Д.Суворов, Б.П.Куфарев.
В 1981 году В.И. Кругликовым [20] было введено понятие предельного множества последовательности функций. В статье [21] им были указаны некоторые применения этого понятия к исследованию граничных свойств последовательностей функций.
Целью данной диссертационной работы является изучение понятия предельного множества последовательности функций и дальнейшее развитие его применений.
Переходя к обзору основных результатов работы, сделаем предварительно замечание о её структуре.
Содержание работы изложено в трех главах. Каждая глава имеет свою нумерацию параграфов, которые разбиты на пункты. Для утверждений типа лемма, теорема, замечание и т.п. в работе принята тройная нумерация (глава, параграф, порядковый номер). Так, например, утверждение типа теорема 2.4.1. является первой теоремой в §4 главы 2. В список литературы включены лишь те публикации, на которые имеется ссылка в тексте.
В первой главе мы вводим понятие предельного множества последовательности функций, указываем его топологические свойства и даём некоторые иллюстративные применения этого понятия.
Пусть в области D комплексной плоскости С задана последовательность & — (fj)jL 1 комплекснозначных функций w = fj(z).
Определение 1.1.1. Для некоторого подмножества А С D' и точки Zq € А предельным множеством последовательности функций & = (fj)j^= 1 в точке zq относительно множества А назовём совокупность С(¿Р, А, zq) точек w таких, что существует последовательность точек С А, lim zj~ = zq, k-Л оо и подпоследовательность функций (fjk)kLi С &, для которых
Ит fjkW = w.
В следующей' теореме, анонсированной в статье [21], приводится теоретико-множественная формула для предельного множества.
Теорема 1.1.1. Предельное множество последовательности функций представимо в виде где Ьв А ¿{А, г) - верхний топологический предел последовательности множеств Д^-А, г) = П А), 5Г = {г : — £о| < 3 — 1,2,.
Относительно понятия верхнего и нижнего топологического предела последовательности множеств см. §1.
Из этого представления вытекают основные топологические свойства предельного множества последовательности функций (см. теорему 1.1.2.).
Первым приложением понятия предельного множества последовательности функций является следующий теоретико-множественный критерий равномерной сходимости, указанный в работе [21].
Теорема 1.1.3. Последовательность функций & — (/7)^1 равномерно сходится на мноэ/сестве И к функции / тогда и только тогда, когда относительно любого множества А С V в каоюдой точке' 6 А предельные мнооюества последовательности и функции / совпадают, т.е. С(&,А,го) = С{/,А,го).
Второй параграф посвящен приложению понятия предельного множества последовательности функций к теории простых- концов последовательности областей Г.Д. Суворова.
Исследования Г.Д. Суворова обобщают (в идейном смысле) схему построения теории простых концов Каратеодори для фиксированной области на случай переменных областей и в качестве основных элементов содержат в себе определение простого конца последовательности областей и доказательство биекции между множествами простых концов последовательности областей (Ви ядра В с последующим изучением структуры носителя простого конца и основанной на том классификации простых концов последовательности областей, включающей в себя восемь их типов.
Краткое описание понятия простого конца последовательности областей, а также его носителя, приведено в первом пункте §2.
Основной результат §2 заключается в том, что предельное множество последовательности конформных отображений единичного круга на сходящуюся к ядру равномерно ограниченную последовательность односвязных областей является носителем простого конца Г.Д. Суворова. Более точно, имеет место следующее утверждение, анонсированное в статье [21].
Теорема 1.2.1. Для последовательности & — {fj)jjLi конформных отображений fj\D—± Bj, нормированных условиями fj( 0) = 0, /j( 0) > 0 и отображающих единичный круг D : \z\ < 1 на равномерно ограниченную последовательность областей сходящуюся к своему ядру В, в каоюдой точке егд на окружности \z\ — 1 полное предельное множество C(cP,D,el9) представляет собой носитель простого конца Pq последовательности областей (Bj)JL1, соответствующего (по теореме Г Д. Суворова о соответствии границ) заданной точке егв.
В третьем параграфе исходная последовательность функций • & = (fj)f^i предполагается сходящейся. Тогда для всякого подмножества А С D и каждой точки zq € А имеют смысл два предельных множества: C(J?,A,zo) - предельное множество последовательности функций — {fj)*jL 1 и С(/, А, zq) - предельное множество её предельной функции f(z) = lim fj(z). Возникает вопрос: когда эти предельные множества j->0O совпадают? Частично ответ на поставленный вопрос дает следующее утверждение.
Теорема 1.3.1. Множество тех точек zq £ А, в которых выполнено равенство \ А, zq) = С(/, А, zo), является Gß-множеством на А.
В качестве следствия этой теоремы, мы даём отрицательный ответ на один вопрос Б.П.Куфарева о возможных типах распределения простых концов последовательности областей (подробнее см. §3, пункт 2).
В четвертом параграфе даётся приложение понятия предельного множества к классификации функций по Бэру.
Напомним, что действительную функцию f(x), заданную на отрезке [а, Ь], называют функцией первого класса Бэра, если она не является непрерывной, но представима в виде f(x) = lim /.• (ж), где все функции fAx) j—too непрерывны на этом отрезке.
Классическая теорема Р. Бэра утверждает, что для всякой функции первого класса f(x) и любого непустого замкнутого множества А, расположенного на отрезке [а, 6], найдётся точка xq 6 А, в которой функция f(x) является непрерывной относительно множества А.
Описывая свойства предельной функции, теорема Бэра не даёт никакой информации о самом процессе её образования.
Мы, используя в качестве инструмента исследования понятие предельного множества последовательности функций, установили наличие более сильных свойств (чем при поточечной сходимости) предельного процесса образования функций первого класса.
Прежде, чем сформулировать соответствующую теорему, сделаем замечание о том, что вырожденность (т.е. одноточечность) предельного множества А, zo) последовательности функций = (fj)JLi равносильна непрерывной сходимости этой последовательности функций в точке zo относительно множества А, т.е. существованию предела lim fj(zj) j-* оо для любой последовательности точек (zj)^.i С А с lim Zj = zq.
J j—УОО
Основным результатом четвёртого параграфа является следующее утверждение.
Теорема 1.4.1. Пусть па некотором отрезке [а, Ь] задана последовательность = (fj)jLi непрерывных функций fj{x), сходящаяся в каждой точке этого отрезка. Тогда для любого непустого замкнутого множества А, расположенного на отрезке [а, 6], найдётся точка жо € А, в которой предельное множество А, хо) вырожденно, и, таким образом, последовательность функций непрерывно сходится в точке жо относительно множества А.
Во второй главе основным объектом исследования являются последовательности аналитических функций & — заданные в единичном круге И : \г\ < 1. Опираясь на понятие предельного множества, мы проводим систематическое изучение поведения таких последовательностей вблизи граничной окружности.
Результаты второй главы можно расценивать как аналоги соответствующих теорем о предельных множествах для одной функции -теоремы П. Фату о радиальных пределах, теоремы Э.Линделёфа об угловых пределах, теоремы о совпадении предельных множеств вдоль различных путей, теоремы Э. Коллингвуда о множествах максимальной неопределённости.
Отметим, что полного совпадения здесь нет. Например, при построении аналога теоремы Фату, которому посвящен первый параграф, важным оказывается понятие консервативного предельного множества.
Определение 2.1.1. Скажем, что предельное множество о) последовательности функций & = в точке го относительно множества А является консервативным, если оно не изменяется при замене последовательности & любой её подпоследовательностью, т.е.
А, го) = С(Ф,А,го) для всякой подпоследовательности функций
Ф = (/>*)?=! •
Аналог теоремы Фату звучит следующим образом.
Теорема 2.1.1. Для того, чтобы равномерно ограниченная последователъностъ & — однолистных аналитических в круге Б : \г\ < 1 функций имела п.в. на окружности = 1 радиальные граничные значения (т.е. предельные множества 70, егв) вырожденны для п.в. в 6 [0,2^]^, необходимо и достаточно, чтобы при п.в. 9 € [0, 2тт\ данная последовательность функций имела в точке егв консервативное радиальное предельное множество.
Условие консервативности здесь не может быть отброшено, что подтверждается соответствующим контрпримером.
В качестве следствия этой теоремы может быть получено дополнение к классической теореме Каратеодори о сходимости последовательности конформных отображений (см. теорему 2.1.2.).
Во втором параграфе формулируется теорема о связи угловых и-радиальных граничных значений последовательности аналитических в круге функций, аналогичная теореме Линделёфа для одной функции.
Теорема 2.2.1. Пусть в круге И : \г\ < 1 задана равномерно ограниченная последовательность ЗР — аналитических функций г). Если её предельное множество 70, егв) вдоль радиуса
70 : 2 = гегв, 0 < г < 1, вырожденно, то таковым же является и предельное множество Дя, егв) вдоль любого угла Ав с вершиной в егв, образованного хордами окружности \г\ = 1.
В третьем параграфе мы подробно исследуем введённое понятие консервативного предельного множества: даем критерий консервативности, описываем топологическое строение множества точек, в которых предельное множество является консервативным, приводим теоремы о существовании консервативных подпоследовательностей.
Ограничимся здесь критерием консервативности, для формулировки которого мы вводим понятие нижнего предельного множества, имеющее и самостоятельный интерес.
Определение 2.3.1. Нижним предельным множеством последовательности функций & = в точке zq относительно множества А назовём совокупность С (J^", А, zq) точек w таких, что существует последовательность точек С А, lim Zj = zq, для которой
J j-ь оо lim fj(zj) = w.
J-»00
Следующая теорема даёт другие эквивалентные описания нижнего предельного множества, оправдывающие его название.
Теорема 2.3.1. Нижнее предельное множество последовательности функций представимо в виде 1) где Ы А,-(Л, г) - нижний топологический предел последовательности множеств г) = П А), = {г : — го\ < г}, 7 = 1,2,.
В)
Фс^" где пересечение берётся по всевозможным подпоследовательностям функций Ф = С/^)^! ш
Критерий консервативности звучит следующим образом. Теорема 2.3.2. Предельное множество последовательности функций А, консервативно тогда и только тогда, когда оно совпадает с нижним предельным множеством А, = С (¿Р, А, ¿о) •
В четвёртом параграфе мы рассматриваем равномерно ограниченные последовательности & — (/^^х однолистных аналитических в единичном круге И : \z\ < 1 функций и находим условия, обеспечивающие совпадение предельных множеств А}, егв) и Аъ, егв) этой последовательности функций вдоль различных путей А\,А2 , ведущих в и одну точку еге е 3D.
Чтобы сформулировать соответствующую теорему, мы вводим новый тип предельного множества. Скажем, что полное предельное множество C{ß, D,el6) последовательности функций ß = 1 является сжимающимся , если в точке егв выполнено равенство lim difjißr nZ?) = 0 , j-*oо где = {z : |z — егв\ < r}, a djM - внутренний диаметр множества М, т.е. точная верхняя грань диаметров кругов К, целиком содержащихся в этом множестве diM = sup diam К .
КсМ
Следующее утверждение даёт простейший признак сжимаемости предельного множества.
Лемма 2.4.1. Если предельное множество C(ß,D,eie) не содержит внутренних точек, то оно сжимающееся.
Основной результат четвертого параграфа звучит так.
Теорема 2.4.1. Пусть в круге D : \z\ < 1 задана равномерно ограниченная последовательность ß = {fj)f-Li однолистных аналитических функций fj(z), и пусть в точке егв предельное множество , D,etd) сжимающееся. Если для некоторых множеств А\,Ач С D, имеющих на 3D одну общую предельную точку егв, отклонение по Хаусдорфу в гиперболической метрике конечно, т.е. dist/»(Ai, А2) < Н-оо , то вдоль этих множеств предельные множества последовательности функций ß совпадают, а именно
C(ß,Abeie) = C(ß,A2,eie).
Относительно понятия гиперболической метрики и хаусдорфова отклонения между двумя множествами см. §4, п.1.
В пятом параграфе мы доказываем две теоремы о множествах максимальной неопределённости последовательностей функций, аналогичные теоремам Э. Коллингвуда для одной функции.
В третьей главе решается задача о продолжении свойства сходимости последовательности аналитических функций на множество своих особенностей.
В первоначальной постановке задача об устранимости некоторого множества Е из области И означает поиск условий, при которых для каждой ограниченной аналитической в И\Е функции f(z) обеспечивается возможность её доопределения на всю область И с сохранением свойства аналитичности.
Множества Е, дающие положительное решение этой задачи принято называть АВ-устранимыми (или Л£?-множествами). В настоящее время такие множества хорошо изучены в работах Б.П. Долженко, А.Г. Витушкина, С.Я. Хавинсона и других. Достаточным условием АВ-устранимости множества Е является равенство нулю его длины, т.е. одномерной меры Хаусдорфа тхЕ = 0, а необходимым - равенство нулю его а-мерной меры Хаусдорфа таЕ — 0 при всех а > 1. Необходимое и достаточное условие АБ-устранимости заключается в равенстве нулю так называемой аналитической ёмкости множества у(Е) = 0 (см., напр., [4]).
Дополнительно к Л5-устранимым множествам мы вводим ещё два типа устранимых множеств, выражаемые терминами С- и С1-устранимости, суть которых состоит в требовании вырожденности в каждой точке а € Е и для любой ограниченной аналитической в П \ Е функции соответствующих предельных множеств: С(/, £) \ Е, а) - в случае Сустранимых множеств и С(ср, (Е \ Е)2 \1,А) - в случае С1-устранимых множеств, где функция двух переменных определена при zX&D\E,z^^A = (а, а), а / = : г = С} диагональ в
С2.
Путём несложных рассуждений легко убедиться, что условия как С-устранимости, так и С-устранимости гарантируют возможность продолжения функции /(г) на множество Е по непрерывности, при этом условие
С1
-устранимости обеспечивает ещё и аналитичность такого продолжения.
Более сильным утверждением здесь является
Теорема 3.1.2. Классы устранимых множеств АВ, С и С1 попарно совпадают.
Опишем теперь для семейства всевозможных равномерно ограниченных последовательностей 3? = (/у)^ аналитических и непрерывно сходящихся в И \ Е функций fj(z) классы устранимых множеств.
АВ-устранимые множества Е С Е характеризуются тем, что во всякой такой последовательности & — каждая функция ^(г) может быть доопределена до аналитической функции на всю область И, и получаемая так последовательность доопределённых функций непрерывно сходится в каждой точке области И (что равносильно равномерной сходимости этой последовательности внутри £)).
Более слабой является характеристика С-устранимого множества, заключающаяся в том, что для каждой точки а £ Е предельное множество И \ Е, а) вырожденно для всякой последовательности функций = ШТ= 1
Нетрудно показать, что условие С-устранимости множества Е позволяет продолжить по непрерывности на всю область £) каждую из функций последовательности & = (/7)^=1 так, что эта продолженная последовательность функций непрерывно сходится в И (а значит, сходится раномерно внутри Б).
Наконец, С1-устранимое множество Е С характеризуется условием вырожденности в каждой точке А = (а, а), где а £ Е, предельного множества (И\Е)2\1,А), где ~~ произвольно выбранная последовательность функций двух переменных
Л - ~ Ш) ■ 1 9
С) =-7-5 7 = 1,2,. , - С определённая при б исходя из какой-либо рассматриваемой нами последовательности аналитических функций & — ■
Основным результатом второго параграфа является следующая
Теорема 3.2.1. Классы устранимых множеств. АВ, С1, С, АВ, С1 и С попарно совпадают.
В третьем параграфе решается аналогичная задача о продолжении свойства сходимости для последовательностей лишь гомеоморфных отображений - конформных, квазиконформных и более общих.
Перечислим теперь вкратце основные результаты, выносимые на защиту:
- изучены различные топологические вопросы теории предельных множеств последовательностей функций (теоремы 1.З.1., 2.З.1., 2.3.2., 2.3.3., 2.3.4., 2.3.5., леммы 2.4.1., 2.4.2.)
- дан ответ на вопрос Б.П. Куфарева о распределении простых концов последовательности областей (теорема 1.3.2.)
- получено дополнение к теореме Бэра о точках непрерывности функций первого класса (теорема 1.4.1.)
- получены аналоги теорем Фату и Линделёфа для последовательностей аналитических в круге функций (теоремы 2.1.1., 2.2.1.)
- указаны условия, обеспечивающие совпадение предельных множеств последовательности аналитических в круге функций вдоль двух различных путей, ведущих в одну граничную точку (теорема 2.4.1.)
- введены и изучены различные классы устранимых множеств, как для отдельных аналитических функций, так и для их последовательностей (теорема 3.2.1.)
- решена задача о продолжении свойства непрерывной сходимости последовательности аналитических функций на множество своих особенностей (теоремы З.2.1., 3.3.2.)
Помимо этого в диссертации даны доказательства теорем о предельных множествах последовательностей функций, анонсированных в статье [21].
1. Белинский П. П. Общие свойства квазиконформных отображений. -Новосибирск: Наука, 1974. - 100 с.
2. Бицадзе A.B. Основы теории аналитических функций комплексного переменного. М.: Наука, 1972. - 264 с.
3. Бэр Р. Теория разрывных функций. M.-JL: ГТТИ, 1932. - 134 с.
4. Витушкин А. Г. Аналитическая ёмкость множеств в задачах теории приближений// Успехи мат. наук. 1967. - 22, № 6. - С. 141-199.
5. Голубев В. В. Однозначные аналитические функции. Автоморфные функции. М.: Физматгиз, 1961. - 456 с.
6. Голузин Г. М. Геометрическая теория функций комплексного переменного. М.: Наука, 1966. - 628 с.
7. Гофман К. Банаховы пространства аналитических функций. М.: ИЛ, 1963. - 312 с.
8. Девятков А. П. Две иллюстрации понятия предельного множества последовательности функций// Вестник ТюмГУ. 2007. - № 5. - С. 3-12.
9. Девятков А. П. О совпадении предельных множеств последовательностей аналитических функций вдоль различных путей. Тюмень: ТюмГУ, 2006. - 18 с. (Рукопись деп. в ВИНИТИ, № 1616-В2006).
10. Девятков А. П., Кругликов В. И. О радиальных предельныхомножествах последовательностей аналитических функций. Тюмень: ТюмГУ, 2006. - 16 с. (Рукопись деп. в ВИНИТИ, № 894-В2006).
11. Девятков А. П., Кругликов В. И. О стирании особенностей последовательностей аналитических функций// Докл. РАН. -2006. 406, № 5. - С. 591-592.
12. Девятков А. П., Кругликов В. И. Устранимые особенности последовательностей аналитических функций// Матем. и прикладной анализ. Тюмень: ТюмГУ, 2005. - Вып. 2. - С. 47-65.
13. Евграфов М. А. Аналитические функции. М.: Наука, 1968. - 472 с.
14. Каратеодори К. Конформное отображение. М.-Л.: ГТТИ, 1934. -132 с.
15. Кокорева С. И., Куфарев Б. П. Замечания о строении множества простых концов последовательности плоских областей, сходящейся к ядру// Вопросы геометрической теории функций. Томск: ТГУ, 1965.- Вып. 3. С. 27-31.
16. Коллипгвуд Э., Ловатер А. Теория предельных множеств. М.: Мир, 1971. - 312 с.
17. Кругликов В. И. Емкости конденсаторов, простые концы и пространственные отображения, квазиконформные в среднем. -Донецк: Донец, ун-т, . 286 с. (Дисс—д-ра физ.-мат. наук).
18. Кругликов В. И. Предельные множества последовательности функций.- Донецк: Донец, ун-т, 1981. 16 с.(Рукопись деп. в ВИНИТИ, № 532581 Деп).
19. Кругликов В. И. Предельные множества последовательности функций// Докл. РАН. 1997. - 357, № 1. - С. 16-18.
20. Куратовский К. Топология. Т.1. М.: Мир, 1966. - 596 с.
21. Куратовский К. Топология. Т.2. М.: Мир, 1969. - 624 с.
22. Ловатер А. Граничное поведение аналитических функций// Итоги науки и техники. Математический анализ. ВИНИТИ, 1973. - Т.10.- С. 99-259.
23. Маркушевич А. И. Теория аналитических функций. Т.1. М.: Наука,1967. 486 с.
24. Маркушевич А. И. Теория аналитических функций. Т.2. М.: Наука,1968. 624 с.
25. Натансон И. П. Теория функций вещественной переменной. М.: Наука, 1974. - 480 с.
26. Носиро К. Предельные множества. М.: ИЛ, 1963. - 252 с.
27. Привалов И. И. Граничные свойства аналитических функций, изд. 2-е.- М.-Л.: ГИТТЛ, 1950. 336 с.
28. Сакс С. Теория интеграла. М.: ИЛ, 1949. - 496 с.
29. Суворов Г. Д. Метрическая теория простых концов и граничные свойства плоских отображений с ограниченными интегралами Дирихле. Киев: Наук, думка, 1981. - 168 с.
30. Суворов Г. Д. Семейства плоских топологических отображений. -Новосибирск: Изд-во СО АН СССР, 1965. 268 с.
31. Трохимчук Ю.Ю. Непрерывные отображения и условия моногенности. М.: Физматгиз, 1963. - 212 с.
32. Хаусдорф Ф. Теория множеств. M.-JL: ОНТИ, 1937. - 304 с.
33. Ahlfors L., Beurling A. Conformai invariants and function-theoretic null-sets// Acta math. 1950. - V.83. - P. 101-129.
34. Caratheodory C. Uber die Begrenzung einfach zussamenhängender Gebiete// Math. Ann. 1913. - B.73. - S. 323-370.
35. Gehring F. W. The Caratheodory convergence theorem for quasiconformal mappings in space// Ann. Acad. Sei. Fenn. Ser. AI. 1963. - № 336/11. -P. 11-21.
36. Hahn H. Theorie der reelen Funktionen. Berlin, 1921.
37. Seidel W. On the cluster values of analytic functions// Trans. Amer. Math. Soc. 1932. - 34. - P. 1-21.
38. Stoilow S. Asupra convergentei continue// Studii si cercetari mat. 1956. - 7. - № 3-4. - S.247-250.