Pole-moving polynomial approximation (source code)

= Pole-moving polynomial approximation

Let the uniform closure of polynomials on a compact set be an algebra. A reciprocal at a sufficiently distant pole belongs to it by a geometric series. A path of poles avoiding the compact set can be divided into short steps; expanding each reciprocal in powers of the previous one transfers polynomial approximability along the path.