Let $f: \bar{D} \rightarrow \mathbb{C}$ be analytic function in $D$ and continues on $\bar{D}$ where $D$ denotes the open unit disk and $\bar{D}$ denotes the close unit disk. Also, it is given than for $z \in \partial D$, $|f(z)| = 1$. In other words, the boundary of the disk goes to itself. The exercise has 4 parts.
- Show that for $|z| < 1$, $|f(z)| < 1$, it's direct corollary of the maximum principle.
- If additionally, $f$ is onto on the boundary, in other words, for every $\omega \in \partial D$, there exist $z \in \partial D$ such that $f(z)=\omega$, than $f$ has a zero on the interior of the unit disk. Assume not, then by the minimum principle, $|f|$ gets its minimum on the boundary, but than $|f|$'s minimum is $1$, as well as its maximum, so $|f|$ is constant so $f$ is constant, contradiction.
- With the previous assumptions, show that $f$ is onto in the open disk as well. Using Rouche's theorem, let $|z_0|<1$, so on the boundary, $|z_0| < f$, so $f$ and $f-z_0$ have the same number of zeroes (with multiplicities), which is positive.
- Assuming additionally, that $f$ is one to one on the boundary, in other words, if $z, \omega \in \partial D$ and $f(z) = f(\omega)$ then $z = \omega$, then it's the same for the interior. I'm stuck here.
Some thoughts: if I'll show that for some $|z_0| < 1$, $f(z) - z_0$ has one zero (with multiplicities), then according to Roche's theorem, that's true for all $|z|<1$. However, it's not clear how to use the one-to-one'ness of the function on the boundary.
I'll appreciate any help.