The polynomial form of the Runge approximation theorem says: if is compact, is connected, and is holomorphic on a neighborhood of , then for every there is a polynomial with . Choosing errors tending to zero gives a uniformly convergent sequence of polynomials. Equivalently, on an open domain with connected complement in the Riemann sphere, every holomorphic function is the compact-uniform limit of polynomials. The connected-complement hypothesis excludes enclosed holes containing poles of the function being approximated.
A compact set has exactly one unbounded complementary component, since its complement contains the outside of a sufficiently large disk. The connected, unbounded open set , being disjoint from , lies in that component. In particular belongs to the unbounded component.
Fill all bounded components of to obtain the polynomial hull . It is a compact set with connected complement, and . Therefore is holomorphic on a neighborhood of . The Runge approximation theorem gives polynomials converging uniformly to this function on , hence on . This proves the requested uniform polynomial approximation on , even when itself has holes. If is empty, the assertion is vacuous.
Take , , and . These satisfy the stated connectedness and disjointness conditions. If polynomials converged uniformly to on , convergence of the contour integrals would implya contradiction to the Cauchy integral theorem. Thus boundedness of this permits the obstruction excluded in part (b).
Articles by others on the same topic
There are currently no matching articles.