## You are here

Homeremovable singularity

## Primary tabs

# removable singularity

Let $U\subset\mathbb{C}$ be an open neighbourhood of a
point $a\in\mathbb{C}$. We say that a function
$f:U\backslash\{a\}\rightarrow\mathbb{C}$ has a *removable singularity* at
$a$, if the complex derivative $f^{{\prime}}(z)$ exists for all $z\neq a$, and
if $f(z)$ is bounded near $a$.

Removable singularities can, as the name suggests, be removed.

###### Theorem 1.

Suppose that $f:U\backslash\{a\}\rightarrow\mathbb{C}$ has a removable singularity at $a$. Then, $f(z)$ can be holomorphically extended to all of $U$, i.e. there exists a holomorphic $g:U\rightarrow\mathbb{C}$ such that $g(z)=f(z)$ for all $z\neq a$.

*Proof.*
Let $C$ be a circle centered at $a$, oriented counterclockwise, and
sufficiently small so that $C$ and its interior are contained in
$U$. For $z$ in the interior of $C$, set

$g(z)=\frac{1}{2\pi i}\oint_{C}\frac{f(\zeta)}{\zeta-z}d\zeta.$ |

Since $C$ is a compact set, the defining limit for the derivative

$\frac{d}{dz}\frac{f(\zeta)}{\zeta-z}=\frac{f(\zeta)}{(\zeta-z)^{2}}$ |

converges uniformly for $\zeta\in C$. Thanks to the uniform convergence, the order of the derivative and the integral operations can be interchanged. Hence, we may deduce that $g^{{\prime}}(z)$ exists for all $z$ in the interior of $C$. Furthermore, by the Cauchy integral formula we have that $f(z)=g(z)$ for all $z\neq a$, and therefore $g(z)$ furnishes us with the desired extension.

## Mathematics Subject Classification

30E99*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier