The Oka–Weil theorem states that if X is a Stein space and K is a compact-convex subset of X, then every holomorphic function in an open neighborhood of K can be approximated uniformly on K by holomorphic functions on (i.e. by polynomials).[1]
Applications
Since Runge's theorem may not hold for several complex variables, the Oka–Weil theorem is often used as an approximation theorem for several complex variables. The Behnke–Stein theorem was originally proved using the Oka–Weil theorem.
Jorge, Mujica (1977–1978). "The Oka–Weil theorem in locally convex spaces with the approximation property". Séminaire Paul Krée Tome 4: 1–7. Zbl0401.46024.
Weil, André (1935). "L'intégrale de Cauchy et les fonctions de plusieurs variables". Mathematische Annalen. 111: 178–182. doi:10.1007/BF01472212. S2CID120807854.
Agler, Jim; McCarthy, John E. (2015). "Global Holomorphic Functions in Several Noncommuting Variables". Canadian Journal of Mathematics. 67 (2): 241–285. arXiv:1305.1636. doi:10.4153/CJM-2014-024-1. S2CID120834161.