Теорема Монтеля о компактном семействе функций

Теорема Монтеля об условиях компактности семейства голоморфных функций или принцип компактности:

Пусть $\{f_{\alpha }(z)\}$ ― бесконечное семейство голоморфных функций в области $D$ комплексной плоскости $z$ ; тогда для того чтобы это семейство было предкомпактным, то есть чтобы из любой последовательности $f_{\alpha _{i}}$ можно было выделить подпоследовательность, равномерно сходящуюся локально внутри $D$ , необходимо и достаточно, чтобы семейство было равномерно ограничено локально внутри $D$ .

Теорема Монтеля обобщается на области $D$ в пространстве $\mathbb {C} ^{n}$ , $n>1$ .

Теорема Монтеля есть следствие теоремы Арцела-Асколи, оценок на производные аналитической функции (неравенства Коши) и сепарабельности всякой области в $\mathbb {C} ^{n}$ .

Следствия

Следствием теоремы Монтеля является следующий факт: Если область $D$ компактно лежит в области $G$ , тогда оператор ограничения на область D функций, голоморфных в G, компактен (в топологии локально-равномерной сходимости функций).
Теорема Монтеля используется при доказательстве теоремы Римана о конформном отображении (нужное конформное отображение ищется как то, которое максимизирует модуль производной в некоторой точке, а существование такого отображения следует из непрерывности этого функционала и компактности семейства функций со значениями в единичном круге).

Похожие исследовательские статьи

Непреры́вное отображе́ние — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.

<span class="mw-page-title-main">Множество Жюлиа</span> множество точек, динамика в окрестности которых в определённом смысле неустойчива по отношению к малым возмущениям начального положения

Множество Жюлиа́ — множество $\text{[math]}$ , определяемое для рационального отображения $\text{[math]}$ как совокупность точек, динамика в окрестности которых в определённом смысле неустойчива по отношению к малым возмущениям начального положения. В случае, если $\text{[math]}$ — многочлен, рассматривают также заполненное множество Жюлиа — множество точек, не стремящихся к бесконечности. Обычное множество Жюлиа при этом является его границей.

<span class="mw-page-title-main">Преобразование Мёбиуса</span>

Преобразование Мёбиуса — дробно-линейная функция одного комплексного переменного, тождественно не равная константе:

\text{[math]}

Ко́мпле́ксный ана́лиз, тео́рия фу́нкций ко́мпле́ксного переме́нного — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.

Конформное отображение — непрерывное отображение, сохраняющее углы между кривыми, а значит и форму бесконечно малых фигур.

Голоморфная функция, иногда называемая регулярной функцией — функция комплексного переменного, определённая на открытом подмножестве комплексной плоскости $\text{[math]}$ и комплексно дифференцируемая в каждой точке.

Аналитическое продолжение в комплексном анализе — аналитическая функция, совпадающая с заданной функцией $\text{[math]}$ в её исходной области C и определённая при этом в области D, содержащей C — продолжение функции $\text{[math]}$ , являющееся аналитическим. Аналитическое продолжение всегда единственно.

<span class="mw-page-title-main">Теорема Лиувилля о конформных отображениях</span>

Теорема Лиувилля о конформных отображениях утверждает, что

Мероморфная функция одного комплексного переменного в области $\text{[math]}$ — голоморфная функция $\text{[math]}$ в области $\text{[math]}$ , которая в каждой особой точке $\text{[math]}$ имеет полюс.

Теорема Вейерштра́сса — Стоуна — утверждение о возможности представления любой непрерывной функции на хаусдорфовом компакте пределом равномерно сходящейся последовательности непрерывных функций особого класса — алгебры Стоуна.

Интегральная формула Коши — соотношение для голоморфных функций комплексного переменного, связывающее значение функции в точке с её значениями на контуре, окружающем точку.

Теорема Рунге в комплексном анализе — утверждение о возможности равномерного приближения голоморфной функции многочленами. Сформулирована Карлом Рунге в 1885 году.

Теорема Римана об отображении — классический результат 2-мерной конформной геометрии и одномерного комплексного анализа.

Кратность критической точки $\text{[math]}$ -гладкой функции $\text{[math]}$ — размерность так называемой локальной алгебры градиентного отображения этой функции в рассматриваемой точке.

Ба́наховой алгеброй над комплексным или действительным полем называется ассоциативная алгебра, являющаяся при этом банаховым пространством. При этом умножение в ней должно быть согласовано с нормой:

\text{[math]}

Теорема Дарбу — утверждение о том, что для любой симплектической структуры, заданной на многообразии $\text{[math]}$ , у любой точки в $\text{[math]}$ существует открытая окрестность и локальные координаты $\text{[math]}$ в ней, в которых симплектическая форма $\text{[math]}$ принимает канонический вид $\text{[math]}$ .

Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.

Теорема Римана — Роха связывает комплексный анализ связных компактных римановых поверхностей с чисто топологическим родом поверхности g, используя методы, которые могут быть распространены на чисто алгебраические ситуации.

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

Клод Лебрю́н — североамериканский геометр, специалист в комплексной и дифференциальной геометрии, в первую очередь четырёхмерных многообразий, а также теории относительности. Профессор Университета штата Нью-Йорк в Стони-Бруке.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.