Oka's lemma
ریاضی میں، اوکا کا لیما، جسے کیوشی اوکا نے ثابت کیا ہے، بیان کرتا ہے کہ ہولومورفی کے ڈومین میں، فنکشن پلوریسبھرمونک ہے، جہاں حد تک کا فاصلہ ہے۔ یہ خاصیت ظاہر کرتی ہے کہ ڈومین سڈوکونویکس ہے۔ تاریخی طور پر، یہ لیما پہلی بار ہارٹگس ڈومین میں دو متغیرات کے معاملے میں دکھایا گیا تھا، اوکا کا لیما بھی لیوی کے مسئلے (غیر منظم ریمن ڈومین اوور) کا الٹا ہے۔ تو شاید یہی وجہ ہے کہ اوکا نے لیوی کے مسئلے کو "پروبلم انورس ڈی ہارٹگس" کہا، اور لیوی کے مسئلے کو کبھی کبھار ہارٹگس کا الٹا مسئلہ کہا جاتا ہے۔ مزید پڑھنے کے لیے حوالہ جات پیچیدہ تجزیے میں ٹی ای ایکس تھیوریمز تجزیہ میں لیما