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.

Like in Riemann's mapping theorem, we have a conformal mapping $f:\Omega\rightarrow\mathbb{D}$ (so $f$ is bijective and holomorphic), where $\mathbb{D}=\{|z|<1,\ z \in\mathbb{C}\}$ is the set of the open unit disks.

Why does it follow from Liouville's theorem, that $\Omega$ is not the whole $\mathbb{C}$, so $\Omega \neq \mathbb{C}$?

Liouville's theorem states that if $f$ is holomorphic on $\mathbb{C}$ and bounded, the $f$ is constant.

I really don't see how this determines $\Omega \neq \mathbb{C}$.

It would be so nice, if someone could walk me through this.

Thank you for your time,

Chris

share|improve this question
2  
Well, $\mathbb{D}$ is bounded. If the image of $f$ is in there, $f$ is bounded.... –  user20266 Jun 17 '12 at 14:21
add comment

1 Answer

up vote 2 down vote accepted

If $\Omega=\Bbb C$, since $f$ gets it's values in the unit disk, it's a bounded function. So it can't be bijective.

Note that Liouville theorem doesn't work if the open set is not $\Bbb C$. For example, when $\Omega$ contains a ball $B(z_0,r)$, the map $f(z):=\frac 1{z-z_0}$ is bounded, holomorphic but not constant.

share|improve this answer
    
Ahh, the bijective property does not uphold, I see. –  Chris Jun 17 '12 at 14:32
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.