Лемма Окаса - Okas lemma - Wikipedia

По поводу леммы Оки о когерентных пучках см. Окская теорема когерентности.

В математика, Лемма Оки, доказано Киёси Ока, утверждает, что в область голоморфности в C^п, функция –log d(z) является плюрисубгармонический, куда d расстояние до границы. Это свойство показывает, что домен псевдовыпуклый.

Рекомендации

• Ока, Киёси (1953), "Sur les fonctions analytiques de plusieurs variables. IX. Domaines Finis sans point crisique intérieur", Jpn. J. Math., 23: 97–155, Дои:10.4099 / jjm1924.23.0_97, МИСТЕР  0071089^{[постоянная мертвая ссылка ]}