An Oka manifold is a complex manifold with the convex approximation property in every
complex source dimension. For every integer , nonempty compact convex
set
,
open neighborhood
of
,
holomorphic map
, and
, there is a holomorphic
map
with
Here is any smooth Hermitian distance.
The equivalent Stein-source formulation permits continuous maps to be deformed to
holomorphic maps with approximation and interpolation.