how to show image of a non constant entire function is dense in $\mathbb{C}$? is there any smallest proof? I have seen this as a theorem in some books but I want some elementary proof.

  • 1
    $\begingroup$ See the Little Picard Theorem ( en.wikipedia.org/wiki/Picard_theorem ) $\endgroup$ – Yury Mar 21 '13 at 18:36
  • 2
    $\begingroup$ Liouville's theorem actually implies the apparently stronger statement: the range of a non constant entire function is dense in $\mathbb{C}$. The proof is easy and can be found here. $\endgroup$ – Julien Mar 21 '13 at 18:45

It can be done with the help of the $\color{blue}{Casorati-Weierstrass\ theorem}$ or by the $\color{blue} {Liouville's\ theorem, }$

With the help of $\color{blue}{Casorati-Weierstrass\ theorem}$

Suppose $f$ is an entire function whose image is not dense in $\mathbb{C}$. Then there exists a complex number $\alpha$ and a number $s> 0$ such that |$f(z)-\alpha|>s$ $\forall z \in \mathbb{C}$.

Write $f(z) =\sum_{n=0}^{\infty} a_nz^n$ and suppose that there are infinitely many nonzero terms in this expansion. Then, for all $z \not=0$, let $g(z)=f(1/z)$ .We see that g has an essential singularity at $0$ so by the Casorati-Weierstrass theorem for some $z\ near\ 0$ we have $|g(z)-\alpha|<s $ then$|f(1/z)-\alpha|<s$ This contradiction implies that the power series expansion of $f$ can have only finitely many terms. Then the fundamental theorem of algebra guarantees that $f\ is\ constant$. This contradicts the hypothesis.

With the help of $\color{blue}{Liouville's\ theorem, }$

Suppose there exists a complex number $\alpha$ and $s\in \mathbb{R^+}$ such that $|f(z) — \alpha|>s, \forall z \in \mathbb{C}$. Then the function $g(z) = 1/(f(z) — \alpha)$ is entire and bounded, so by Liouville's theorem, g is constant. Hence $f$ is constant, again contradicting the hypothesis.

  • 4
    $\begingroup$ skyblue chokkkoti dhonnobad :-* $\endgroup$ – Marso May 9 '13 at 17:44
  • 3
    $\begingroup$ brazilianra o baglavashi hoi? anyway my pleasure .. $\endgroup$ – ROBINSON May 9 '13 at 18:49

If the image weren't dense, it would miss a small disk. Inversion in the boundary of that disk would give you a non-constant bounded entire function, contrary to Liouville's Theorem.


To give a slightly more concrete rephrasing of Andreas's answer, if $f(z)$ is holomorphic and its image excludes $B(\lambda, r)$ for some $\lambda \in \mathbb{C}$, then $g(z) = \frac{1}{f(z) - \lambda}$ is entire and $|g(z)| \le 1/r$, so $g$ is constant, and hence $f$ is.


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.