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.
Oka River | Oka | Oka Crisis | OKA | Kiyoshi Shiga | Kiyoshi Maekawa | Kiyoshi Kobayashi | Kiyoshi Oka | Kiyoshi Kurosawa | Anukokunda Oka Roju | OKA 4wd | Michele Oka Doner | Kiyoshi Nakamura | Kiyoshi Hikawa | Kiyoshi Aki | Haruo Oka | Harry Kiyoshi Ishisaka |
With work of Friedrich Hartogs, and of Kiyoshi Oka in the 1930s, a general theory began to emerge; others working in the area at the time were Heinrich Behnke, Peter Thullen and Karl Stein.