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

Let $S\subset \mathbb{C}$ be a simply connected domain (i.e. every point in complement of $S$ can be connected to $\infty$). Let $C=\{z:|z-\alpha|=r\}$. Would you help me to show that for all $z\in S$, $\delta(z)=\sup \{u:D(z,u)\subset S\}$ is continuous function?

share|cite|improve this question

Suppose $z, w \in S$ and $w \in D(z, u)\subseteq S$. It is not hard to show, using the triangle inequality, that $$D(w, u - |w-z|) \subseteq D(z,u).$$ Taking the supremum over $u$ yields $$\delta(w) \geq \delta(z) - |w-z|,$$ or rearranging terms $$\delta(z) - \delta(w) \leq |w-z|.$$ Everything we have done is symmetric in $z$ and $w$, so we actually have $$|\delta(z) - \delta(w)| \leq |w-z|,$$ and thus $\delta$ is continuous.

share|cite|improve this answer
Thanks a lot @Travis – beginner Dec 7 '12 at 0:16
Wait, we can't claim that we can find u such that $w\in D(z,u) \subset S$. Consider the case when $\delta (z)<|z-w|$ – beginner Dec 7 '12 at 0:25
For proving continuity we need only consider points $z, w$ that are very close together. Assuming $\delta(z)$ is not zero then we can indeed find a $w \in S$ such that there is a disk around $w$ which contains $z$ and a disk around $z$ which contains $w$. Once you have done this, the argument is as I said. – Travis Dec 7 '12 at 19:00

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.