Голоморфности Область

область Dкомплексного пространства , для к-рой существует функция f(z), голоморфная в Dи не продолжаемая голоморфно в большую область. При этом Dназ. Естественной областью определения функции f(z). Напр., естественной областью определения функции служит единичный круг, к-рый поэтому является Г. О. в . В всякая область есть Г. О. Напротив, в , , не всякая область есть Г. О. Так, никакая область вида , где К- компакт, содержащийся в D, не будет Г. О. Область наз. Голоморфно выпуклой, если для каждого множества существует такое содержащее Амножество , что для любой точки существует функция , голоморфная в Dи такая, что Для того чтобы область Dбыла Г. О., необходимо и достаточно, чтобы она была голоморфно выпуклой (теорема Картана - Туллена).

Для того чтобы область Dбыла Г. О., необходимо и достаточно, чтобы для каждой точки существовал барьер - функция , голоморфная в D и не продолжимая голоморфно в точку . Напр., если D- произвольная область в , то функция есть барьер в любой точке , так что Dесть Г. О. Если D - выпуклая область в С n и - опорная плоскость в точке , то функция есть барьер в , и поэтому всякая выпуклая область в есть Г. О. Пересечение Г. О. Есть Г. О. Всякое биголоморфное отображение переводит Г. О. В Г. Р. Сумма возрастающей последовательности Г. О. Есть Г. О. (теорема Бенке- Штейна). Область наз. Псевдовыпуклой, если функция- есть плюрисубгармоническая. Функция в D, где есть расстояние от точки до Для того чтобы область была Г. О., необходимо и достаточно, чтобы она была псевдовыпуклой (теорема Ока).

Достаточность условия в теореме Ока составляет содержание проблемы Леви, поставленной Э. Леви (Е. Levi, в 1911). Для она была решена К. Ока (К. Ока, 1942). Для эта проблема решена независимо К. Ока, Ф. Норгэ, Г. Бремерманом (F. Norguet, H. Bremermann, 1953-1954). Г. О. С достаточно гладкой границей допускают локальное описание. Область наз. Псевдовыпуклой в точке , если существует такая окрестность Vточки и такая определенная в Vдей-ствительна-я функция класса , что. А) и б) на плоскости форма Гессе Если в условии б) имеет место строгое неравенство для всех рассматриваемых векторов , то область Dназ. Строго псевдовыпуклой в точке гД. Область Dназ. (строго) псевдовыпуклой всмысле Леви, если она (строго) псевдовыпукла в каждой точке .

Если область строго псевдовыпукла в смысле Леви, то она псевдовыпукла (теорема Леви). Г. О. Функции , заданной в первоначальной окрестности , может быть построена при помощи разложений в ряды Тейлора с использованием принципа голоморфного продолжения. При этом может оказаться, что в построенной области голоморфно продолженная функция неоднозначна. Чтобы сделать функцию однозначной, необходимо расширить понятие области. Это достигается путем введения римановых областей ( наложения областей, неоднолистных областей) над (римановы области над наз. римановыми поверхностями). Понятие Г. О. Распространяется и на римановы области и даже на объекты более общей структуры - комплексные многообразия и комплексные пространства.

Обобщение понятия Г. О. Приводит к Штейна пространствам. Лит.:[1] Владимиров В. С., Методы теории функций многих комплексных переменных, М., 1964. [2] Шабат Б. В., Введение в комплексный анализ, 2 изд., ч. 2, М., 1976. [3] Xёрмандер Л., Введение в теорию функций нескольких комплексных переменных, пер. С англ., М. 1968. В. С. Владимиров.