Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose that $f:\mathbb{C}\to\mathbb{C}$ is continuous, and analytic everywhere except possibly the unit circle. I want to show that $f$ is in fact entire. I guess the idea is to consider the integral along the disc and argue that it must be zero by Cauchy's theorem, and ...

What is the final step here?

share|cite|improve this question
Morera's theorem, and argue by continuity in the integral. – Kris Aug 29 '12 at 0:41
@Kris, you should write your comment as an answer. – DonAntonio Aug 29 '12 at 2:10
up vote 1 down vote accepted

Morera's statement says that if $f: D \to \mathbb{C}$ is continuous on some connected open set $D \subset \mathbb{C}$, and $\int_{\gamma} \ f = 0$ for any closed piecewise $C^1$ curve $\gamma \subset D$, then $f$ is holomorphic on $D$.

In this case, $D = \mathbb{C}$, and it's clear that $\int_{\gamma} \ f = 0$ for any $\gamma$ which does not intersect the unit circle. If $\gamma$ does intersect the unit circle, then we can argue by continuity of the integral that $\int_{\gamma} \ f = 0$ still (split up $\gamma$ into finitely many parts, each of which intersects the circle, and deform each 'infinitesimally' so that each part no longer intersects the unit circle).

Now we are done.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.