Polynomially approximable resolvent point (source code)

= Polynomially approximable resolvent point

For a closed set $K\subsetneq\mathbb C$, a point $\lambda\notin K$ is a polynomially approximable resolvent point when $z\mapsto(z-\lambda)^{-1}$ is a <uniform limit> on $K$ of complex polynomials.