Теорема непрерывности для голоморфных функций
Теоре́ма непреры́вности для голомо́рфных фу́нкций (принцип непрерывности), пусть – область голоморфности в , , и и , , – любые последовательности множеств, для которых имеет место принцип максимума относительно модулей функции , голоморфной в , т. е.
тогда если сходятся к некоторому ограниченному множеству , а – к множеству и , то . Если в качестве взять аналитические гиперповерхности и в качестве – их границы , то получают теорему Беенке – Зоммера (см. Behnke. 1934). Отсюда следует, что всякая область голоморфности псевдовыпукла. Применительно к конкретной функции некоторые модификации теоремы непрерывности известны как теоремы о «диске». Например, т. н. сильная теорема о «диске» утверждает следующее. Пусть в задана жорданова кривая вида
Пусть , , – семейство областей в плоскости , обладающее тем свойством, что для любого компакта найдётся число , для которого при всех . Тогда если голоморфна в точках «дисков»
и в одной точке предельного «диска»
то голоморфна и во всех точках предельного «диска». Теоремы о «диске» весьма полезны при голоморфном расширении областей и при построении оболочек голоморфности, например при доказательстве теоремы Бохнера об оболочке голоморфности трубчатой области, при доказательстве теорем Осгуда – Брауна, «о вложенном ребре», «об острие клина», «о -выпуклой оболочке» и др.