Complex Analysis – Continuous Extension of a Bounded Holomorphic Function on $\mathbb{C}\setminus K$

complex-analysis

Let $f:\mathbb{C}\setminus K\rightarrow\mathbb{D}$ be a holomorphic map, where $K$ is a compact set with empty interior. My question:

Prove or disprove that: $f$ extends continuously on $\mathbb{C}.$

Remark: Observe that if $K$ is discrete then by the Riemann Removable Singularity Theorem we know that infact there is a holomorphic extension.

Best Answer

Here is an example from Which sets are removable for holomorphic functions?

The function $f=z+z^{-1}$ maps the punctured unit disk $\mathbb D$ bijectively onto $\mathbb C\setminus [-2,2]$. The inverse $g=f^{-1}$ is holomorphic in $\mathbb C\setminus [-2,2]$ and is bounded by $1$, but has no holomorphic (or even continuous) extension to $\mathbb C$. Indeed, $g(z)$ approaches both $i$ and $-i$ as $z\to 0$.

A compact set $K$ is removable for bounded holomorphic functions if and only if its analytic capacity is zero. A simple sufficient condition was given by Painlevé: if the $1$-dimensional Hausdorff measure of $K$ is zero, then it's removable for bounded holomorphic functions. That is, every bounded holomorphic function on $\mathbb C\setminus K$ extends to a holomorphic function on $\mathbb C$ (which is necessarily constant by Liouville's theorem).

Related Question