Okova aproximační věta je věta o nutných a postačujících podmínkách pro aproximaci holomorfní funkce několika komplexních proměnných. Formuloval a dokázal K. Oka v roce 1939 [1] .
Dovolit být oblast prostoru , být nějaká rodina funkcí, které jsou v této oblasti holomorfní. Jakákoli funkce , která je holomorfní v doméně, může být reprezentována jako součet řady , která v této doméně jednotně konverguje a skládá se z funkcí patřících do rodiny právě tehdy, když je holomorfní obal této domény konvexní vzhledem k rodině .
Prostor je prostor komplexních proměnných. Skořápka holomorfie domény je doména, která je průsečíkem domén holomorfie všech funkcí, které jsou v oblasti holomorfní [2] .