Oka's lemma

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For Oka's lemma about coherent sheaves, see Oka coherence theorem.

In mathematics, Oka's lemma, proved by Kiyoshi Oka, states that in a domain of holomorphy in Cn, the function –log d(z) is plurisubharmonic, where d is the distance to the boundary. This property shows that the domain is pseudoconvex.

References[edit]