[Math] Show that function has removable singularity

calculuscomplex numberscomplex-analysis

Let $a\in\Omega$ be an isolated singularity of function $f$ that is
holomorphic on $\Omega \setminus \{a\}$. Show that if
$\mathbb{Re}f(z)>0$ in some neighbourhood of point $a$, then $a$ is a
removable singularity for $f$.

$f$ has removable singularity at $a$ if and only if $\lim_{z\rightarrow a}(z-a)f(z)=0$.

But I don't know how to start. Do you have any idea?

Best Answer

The function $$g(z) = \frac{f(z) - 1}{f(z) + 1}$$ has an isolated singularity at $a$ and satisfies $|g(z)| < 1$ in a (deleted) neighborhood of $a$, thus $\lim_{z\to a} g(z)$ exists. Hence $$\lim_{z\to a} (z - a)f(z) = \lim_{z\to a} (z - a)\frac{1 + g(z)}{1 - g(z)} = \lim_{z\to a} (z - a)(1 + g(z) + O(g(z)^2)) = 0.$$ Consequently, $a$ is a removable singularity of $f$.