5
$\begingroup$

$f$ is an entire function, and it satisfies $f(\mathbb{C}) \subseteq \{z \in \mathbb{C} \mid \operatorname{Im} z > 0\}$. Show that $f$ is constant.

I want to take advantage of the Liouville's Theorem, but I just can't figure out the relationship between its image part with its module.

$\endgroup$
  • $\begingroup$ Apply Liouville to 1/(f+ic), for a real positive c. $\endgroup$ – Dalimil Mazáč Apr 20 '13 at 2:46
  • $\begingroup$ Is not f$(\mathbb{C}) \subseteq \{z \in \mathbb{C} \mid \operatorname{Im} z \geq 0\}$ enough? $\endgroup$ – Babai Jul 26 '17 at 19:51
8
$\begingroup$

Consider $$g(z)=\frac{1}{f(z)+i}.$$ Clearly it is entire, and $$\left|g(z)\right|=\frac{1}{|f(z)+i|}\leq\frac{1}{1}=1.$$ Thus, $g(z)$ is constant. Applying Liouville's theorem, $g(z)$ is constant, implying $f(z)$ is constant.

NOTE: This argument can be used to show that $f(\Bbb C)$ is dense in $\Bbb C$ by using a proof by contradiction.

$\endgroup$
  • $\begingroup$ thank you,thus the positive imagenary part could be useful. $\endgroup$ – sopin Apr 20 '13 at 3:24
  • $\begingroup$ @Clayton Is not f$(\mathbb{C}) \subseteq \{z \in \mathbb{C} \mid \operatorname{Im} z \geq 0\}$ enough? $\endgroup$ – Babai Jul 26 '17 at 19:51
  • $\begingroup$ @Babai: Of course it is enough, just see the note that I listed in the answer. $\endgroup$ – Clayton Jul 28 '17 at 16:29

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.