Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$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|improve this question
add comment

2 Answers 2

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|improve this answer
add comment

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|improve this answer
add comment

Your Answer

 
discard

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.