Oka's lemma

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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.