0
$\begingroup$

Let $D$ be a region in $\hat{\mathbb C}$, the Riemann surface, $I=[T_0,T_1]$ be a bounded closed interval in $\mathbb R$ and $\phi: I\rightarrow D$ be a function whose real part and imaginary part are continuous as real functions. I want to show that there exists a partition $T_0=t_0 of $I$ such that for every $1\le j\le n$ there exists an open disk $\Delta_j\subset D$ that contains $\phi([t_{j-1},t_j])$, and if $\infty\in\Delta_j$ either $\phi(t_{j-1})$ or $\phi(t_j)$ is $\infty$.

How do you prove this?

1 Answers 1

1

As the real and the imaginary part of $\phi$ are continuous on the compact interval $I$ the point $\infty$ is not part of the problem.

The essential ingredient in the following proof is the compactness of $I$ resp. its image in $D$.

For $t\in I$ put $\rho(t):=\sup\{r>0\ |\ D_r\bigl(\phi(t)\bigr)\subset D\}$. We may assume $\rho(t)<\infty$ for all $t\in I$, or there would be nothing to prove. The function $t\mapsto \rho(t)$ is positive and continuous on $I$. To prove the latter assume that an $\epsilon>0$ is given. Then there is a $\delta>0$ with |\phi(t)-\phi(t')|<{\epsilon\over 2} as soon as |t-t'|<\delta. It follows that \rho(t')\geq \rho(t)-{\epsilon\over 2} when |t-t'|<\delta, whence by symmetry |\rho(t')- \rho(t)|\leq{\epsilon\over 2} when |t-t'|<\delta.

Therefore we may conclude that there is a $\delta>0$ with $\rho(t)>2\delta$ for all $t\in I$. Choose $N$ so large that |\phi(t)-\phi(t')|<\delta when |t-t'|, and put $t_j:=T_0+ jh$ $\ (0\leq j\leq N)$. Then the open disks $\Delta_j$ $\ (1\leq j\leq N)$ with center $\phi(t_j)$ and radius $\delta$ are subsets of $D$ and contain the respective arcs $\phi\bigl([t_{j-1},t_j]\bigr)$.

  • 0
    @Pteromys: See my edit.2012-04-03