Okas approksimationssætning er en sætning om nødvendige og tilstrækkelige betingelser for at tilnærme en holomorf funktion af flere komplekse variable. Formuleret og bevist af K. Oka i 1939 [1] .
Lad være en region af rummet , være en familie af funktioner, der er holomorfe i denne region. Enhver funktion , der er holomorf i et domæne , kan repræsenteres som summen af en serie , der konvergerer ensartet i dette domæne og består af funktioner, der tilhører familien, hvis og kun hvis det holomorfe skrog af dette domæne er konveks i forhold til familien .
Rummet er rummet af komplekse variable. Skallen af holomorfi af et domæne er et domæne, der er skæringspunktet mellem holomorfiens domæner af alle funktioner, der er holomorfe i domænet [2] .