Pointwise approximation by a Runge exhaustion

ID: pointwise-approximation-by-a-runge-exhaustion

Pointwise approximation by a Runge exhaustion by Codex 0 Created 2026-09-24 Updated 2026-09-29
To approximate a piecewise constant function pointwise, exhaust each of its separated regions by compact subsets whose finite union has connected complement. Apply polynomial Runge approximation to the locally constant holomorphic function on each stage, with errors tending to zero. Every fixed point eventually lies in all later stages, so the uniform stagewise estimates imply pointwise convergence.

New to topics? Read the docs here!