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.

I wonder if this is correct: there is a holomorphic function on an open connected subset $G$ of $\mathbb{C}$ which maps $G$ onto a subset of a straight line, and I have to show that the function is constant.

I thought I can suppose that the straight line is the real axis (otherwise I can find a rotation and a traslation that will do so) and so using the Cauchy-Riemann equations I find that the function is constant since its imaginary part is zero. Is that correct? Thank you

share|improve this question
5  
Yes, that is correct and a much better argument (as it is much more elementary) than appealing to the open mapping theorem as suggested in the answers. –  t.b. Aug 11 '12 at 12:18
add comment

3 Answers

See the Open mapping theorem: the image of an open set in a non-constant holomorphic function is open. No non-empty subset of a line is open, so if the image is contained in a line, the function must be constant.

That said, proving the open mapping theorem may depend on already having results like the one you ask for. In that case your approach is fine.

Here's an informal way of looking at it: pick a point $z$ in the domain of $f$ and reason that sufficiently close to $z$, $f$ is well-approximated by multiplication by $f^\prime(z)$, which is a scale and/or rotation of the complex plane. Hence there must be some direction you can go from $z$ such that $f(z)$ moves away from the line, unless $f^\prime(z)$ is $0$. So if you always stay within a line, $f^\prime(z)$ must always be $0$, i.e. $f$ must be constant. This approach uses no heavy machinery, just basic facts about the derivative.

share|improve this answer
add comment

The open mapping theorem says that any nonconstant analytic function is an open map. A map taking an open subset of the plane into a line cannot be open; therefore, it is constant.

share|improve this answer
add comment

It also follows from the fact that an holomorphic map $f$ is conformal (as a map $\Bbb R^2\rightarrow\Bbb R^2$). As such, it induces isomorphisms between the (real) tangent planes, which a map sending an open set on to a straight line does not.

share|improve this answer
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.