# entire function with ist imaginary part positive

$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.

• Apply Liouville to 1/(f+ic), for a real positive c.
– D M
Commented Apr 20, 2013 at 2:46
• Is not f$(\mathbb{C}) \subseteq \{z \in \mathbb{C} \mid \operatorname{Im} z \geq 0\}$ enough? Commented Jul 26, 2017 at 19:51

## 1 Answer

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.

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