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

$f,g$ are continuos on closed unit disk but analytic on open unit disk and $f(z)=g(z)$ on $|z|=1$, we need to show $f\equiv g$

so $h(z)=f(z)-g(z)$ has zero set $S^1$ which is analytic on open unit disk $D$ and continous on compact unit disk so has maximum attained at boundary which is $0$ so $max|h(z)|=0$ so $h(z)\equiv 0\Rightarrow f(z)\equiv g(z)$ on compact unit disk. am I right?

share|cite|improve this question
up vote 2 down vote accepted

You are essentially correct, but I don't think you should say that $h(z)$ has the zero set $S^1$, since after all, your goal is to show $f\equiv g$. Instead, you might say that $S^1$ is a subset of the zero set, then by the maximum modulus principle, the maximum is attained on the boundary, so $h\equiv0$ on the closed disk.

share|cite|improve this answer

Let $\epsilon > 0$ By compactness and uniform continuity, you can choose $r$ with $0<r<1$ and so that $|f - g| < \epsilon$ on the circle of radius $r$ centered at zero. By the maximum modulus theorem, $|f - g| < \epsilon$ on the interior of this circle. This should close the ring for you.

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.