Creating surjective holomorphic map from unit disc to $\mathbb{C}$?
I'm trying to formulate a surjective holomorphic map from the unit disc ($\mathbb{D}$) to $\mathbb{C}$. I know that there exists $f: \mathbb{D} \rightarrow \mathbb{H}$, which is a biholomorphism from the unit disc to the upper half plane.
I know that I can define $g(z) = z -i$ to shift the upper half plane down by 1 unit, then I can define $h(z) = z^2$ to square the result.
Then, $h \circ g \circ f$ is a holomorphic function $\mathbb{U} \rightarrow \mathbb{C}$. My question is: how does $h(z)$, (i.e. squaring the result of the shifted upper half plane), extend the image to the entire lower half plane?
Maybe I'm missing something obvious, but I'm not seeing how $\mathbb{C}$ is hit in its entirety.
Solution 1:
You know that $h \colon ℂ → ℂ$ is surjective (by the fundamental theorem of algebra or using polar coordinates).
For any $w ∈ ℂ$, if $z^2 = w$, then $(-z)^2 = w$. Then $\Im (-z) = - \Im (z)$, so one of $z, -z$ is in $\mathbb H$, if not in $ℝ$. Therefore $h \colon \mathbb H - \mathrm i → ℂ$ is surjective as well.
And $g ∘ f \colon \mathbb D → \mathbb H-i$ is obviously surjective, as you said.