6
$\begingroup$

I need to prove without using Picard's Little Theorem the following statement:

Let $f(z)$ an entire function such that $f(z) \notin \mathbb R$ for every $z \in \mathbb C$. Prove that $f$ is constant.

Do you have a way to do it?

Thanks

$\endgroup$
  • 2
    $\begingroup$ Do you know about the maximum principle for the real and imaginary parts of a harmonic function? Or Liouville's theorem and the Cauchy Riemann equations? $\endgroup$ – Jeff Dec 6 '11 at 15:32
7
$\begingroup$

Hint : The hypothesis implies that $Im f(z) \neq 0$ for all $z \in \mathbb{C}$, so $$\mathbb{C}=\{Im f(z)>0\} \cup \{Im f(z) < 0\}.$$

Use the fact that $\mathbb{C}$ is connected to deduce that either $Im f(z)<0$ for all $z$ for $Im f(z)>0$ or all $z$. Then, apply Liouville's theorem to either $g(z):=e^{if(z)}$ or $g(z):=e^{-if(z)}$.

$\endgroup$
  • 3
    $\begingroup$ Or $g(z):=1/(i+f)$ or $g(z):=1/(f-i)$. $\endgroup$ – Jonas Meyer Dec 6 '11 at 15:56
  • $\begingroup$ Yes indeed, good idea. Thank you for the comment. $\endgroup$ – Malik Younsi Dec 6 '11 at 16:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.