# Are these the Big and Little Picard Theorems?

These seem to be the Big and Little Picard Theorems or at least related to them.

(Exer 9.3) Prove $f$ has an essential singularity at $z_0 \implies \frac 1 f$ has an essential singularity at $z_0$.

(Exer 9.4) Prove that any complex number is arbitrarily close to the image of a nonconstant entire function $f$. Hint: if $f$ is not a polynomial, use Casorati-Weierstrass Theorem (Thm 9.7) on $f(\frac 1 z)$.

Question 1. What exactly are the connections between Exer 9.3 and 9.4 and Big and Little Picard Theorems?

• In the textbook, 'Picard's Theorem' is only briefly mentioned on p.131. It seems Exer 9.4 is for Little Picard while Exer 9.3 is for Big Picard.

Question 2. Is the following right?

By the contrapositive of Exer 9.4, if $f$ is bounded and entire, then $f$ is either not entire or not nonconstant and thus constant. Thus, both Exer 9.4 and Little Picard are indeed strengthenings of Liouville's Theorem (Thm 5.13).

• These statements are often used in comple analysis textbooks to provide the readers with an intuition of Picard theorems. They are significantly weaker than the theorems, but with the same spirit. – Cave Johnson Aug 19 '18 at 4:08
• @CaveJohnson thanks! Is 9.3 for big and 9.4 for little? – BCLC Aug 19 '18 at 4:27
• Yes, you're right :-) – Cave Johnson Aug 19 '18 at 16:05
• @CaveJohnson thanks! For 1. post as answer? For 2. Please check =) – BCLC Aug 19 '18 at 23:48
• I have posted an answer. Hope that helps :-) – Cave Johnson Aug 20 '18 at 0:19

• These statements are often used in comple analysis textbooks to provide the readers with an intuition of Picard theorems. They are significantly weaker than the theorems, but with the same spirit.
• Exer 9.3 has a direct corollary that the image of an analytic function $f$ on any punctured neighborhood of its essential singularity $z_0$ is dense in $\mathbb C$. In fact, assume on the contrary that on some punctured neighborhood of $z_0$, $f(z)$ takes value outside the disk $B_r(w)$. Note that $z_0$ is an essential singularity of $f(z)-w$, thus by Exer 9.3 it is a essential singularity of $1/(f(z)-w)$. From our assumption, $|1/(f(z)-w)|\le1/r$, contradicting the fact that an analytic function is unbounded in any punctured neighborhood of its essential singularity. Furthermore, it's immediate from density that $f(z)$ takes value in any disk $B_r(w)$ infinitely often.
The above statement is a weaker version of

Picard's great theorem. If an analytic function $f$ has an essential singularity at a point $z_0$, then on any punctured neighborhood of $z_0$, $f(z)$ takes on all possible complex values, with at most a single exception, infinitely often.

• Exer 9.4 is obviously a weaker version of

Picard's little theorem. If a function $f:\mathbb C\to\mathbb C$ is entire and non-constant, then there are at most one point which is not in the image of $f$.

• You are right. Liouville's theorem only claims that the image of an entire non-constant function is unbounded, while Exer 9.4 says it's dense in $\mathbb C$ and Picard's theorem says its complement has at most one point. Both are much stronger than Liouville's theorem. There is, however, some subtleness in saying so:
• To clarify,: Liouville says unbounded image for entire non-constant, Exer 9.4 says image is dense in $\mathbb C$ for the same assumptions but using Liouville and then Little Picard says image is whole $\mathbb C$ except possibly 1 point still for the same assumptions but using Liouville or Exer 9.4? – BCLC Aug 20 '18 at 8:37