Ока Теоремы

Теоремы о классич. проблемах теории функций многих комплексных переменных, впервые доказанные К. Ока в 1930-50 (см. [1]). 1) О. т. о Кузена проблемах:первая проблема Кузена разрешима в любой области голоморфности в ; вторая проблема Кузена разрешима в любой области голоморфности , гомеоморфной D1X...XDn, где все области , кроме, возможно, одной, односвязны. 2) О. т. о Лееи проблеме:всякая псевдовыпуклая риманова область является областью голоморфности. Первоначально эта теорема была доказана К. Ока для размерности n=2; в случае произвольной размерности она доказана К. Ока и др. математиками. 3) Ока — Вейля теорема: пусть D- область в и компакт совпадает со своей оболочкой относительно алгебры всех голоморфных в Dфункций; тогда для любой функции f, голоморфной в окрестности К, и любого e>0 найдется функция такая, что Эта фундаментальная теорема теории голоморфных приближений широко применяется в комплексном и функциональном анализе. 4) О. т. о когерентности: пусть — пучок голоморфных функций на комплексном многообразии X;тогда для любого натурального числа рлюбой локально конечно порожденный подпучок пучка ( р раз) является когерентным аналитическим пучком. Это одна из основных теорем т. н. теории Ока — Картана, к-рая существенно используется при доказательстве Картана теорем А и В. Лит.:[1] Ока К., Sur les fonctions analitiques plusieurs variables, Tokyo, 1961; [2] X е р м а н д е р Л., Введение в теорию функций нескольких комплексных переменных, пер. с англ., М., 1968; [3] Г а н н и н г Р., Р о с с и X., Аналитические функции многих комплексных переменных, пер. с англ., М., 1909. Е. М. Чирка