Meromorphic Function on Extended Plane

Question

How do I prove that every meromorphic function on the extended plane is a rational function?

Answer 1

Because $\infty$ is a removable singularity or pole of a meromorphic function $f(z)$, $\exists$ $R>0$, s.t. $f\in H(\{z:R<|z|<\infty\})$.

We note that $f$ has at most finite poles in $\{z:|z|\le R\}$. If not, then the finite poles $\{z_j\}$ must have a convergent sub sequence. Let $z_j\to a(j\to \infty)$. Then $|a|<R$ and $a$ is not a isolated pole, which is impossible.

Let $z_1,z_2,\cdots,z_n$ be all poles of $f$ in $\{z:|z|\le R\}$, with orders of $m_1,m_2,\cdots,m_n$. $f$ has Laurent expansion besides $z_j$, which main part is \begin{equation} h_j(z)=\sum_{k=1}^{m_j}\frac{c_{-k}^{(j)}}{(z-z_j)^k}. \end{equation}

Let $g$ be the main part of $f$'s Laurent expansion besides $\infty$.

If $\infty$ is a pole of $f$, $g$ is a polynomial; if $\infty$ is a removable singularity of $f$, $g\equiv 0$. Note \begin{equation} F(z)=f(z)-\sum_{j=1}^n h_j(z)-g(z), \end{equation} We know that $F\in H(\bf C$ $_\infty$ \ $\{z_1,\cdots,z_n,\infty\}$. The main parts of $f$'s Laurent expansion besides $z_1,\cdots,z_n,\infty$ have been eliminated, thus $f$ is holomorphic. That implies $F\in H(\bf C$ $_\infty$). From Liouville's theorem, we know $F\equiv c$. Then \begin{equation} f(z)=c+g(z)+\sum_{j=1}^n h_j(z) \end{equation} is a rational function.