Oka's lemma
ગણિતમાં, કિયોશી ઓકા દ્વારા સાબિત થયેલ ઓકાનો લેમ્મા જણાવે છે કે હોલોમોર્ફીના ક્ષેત્રમાં, કાર્ય પ્લુરિસુફાર્મોનિક છે, જ્યાં સીમાનું અંતર છે. આ ગુણધર્મ દર્શાવે છે કે ડોમેન સ્યુડોકોનવેક્સ છે. ઐતિહાસિક રીતે, આ લેમ્મા સૌપ્રથમ હાર્ટોગ્સ ડોમેનમાં બે ચલોના કિસ્સામાં દર્શાવવામાં આવ્યો હતો, ઓકાનો લેમ્મા પણ લેવિઝ પ્રોબ્લેમ (અનરેમિફાઇડ રીમેન ડોમેન ઓવર) નો ઇન્વર્સ છે. તેથી જ કદાચ ઓકાએ લેવીની સમસ્યાને "પ્રોબલેમ ઇન્વર્સ ડી હાર્ટોગ્સ" તરીકે ઓળખાવી અને લેવીની સમસ્યાને ક્યારેક ક્યારેક હાર્ટોગ્સની ઇન્વર્સ પ્રોબ્લેમ કહેવામાં આવે છે. સંદર્ભો વધુ વાંચન પી. ડી. એફ. જટિલ વિશ્લેષણમાં ટેક્સ પ્રમેયો વિશ્લેષણમાં લેમ્મા