# Question about different statements of Picard Theorem

• A
• MathLearner123
MathLearner123
I want to prove following (Big Picard Theorem forms):\
Theorem.
The followings are equivalent:\
a) If ##f \in H(\mathbb{D}\setminus\{0\})## and ##f(\mathbb{D}') \subset \mathbb{C} \setminus \{0, 1\}##, then ##f## has a pole of an removable singularity at ##0##.\
b) Let ##\Omega \subset \mathbb{C}## is a open subset, ##f : \Omega \to \mathbb{C}## is holomorphic and ##z_0 \in \mathbb{C}##. If ##f## has an essential singularity at ##z_0##, then, with at most one exception, ##f## attains every complex value infinitely many times;\
c) Let ##f : \mathbb{C} \to \mathbb{C}## a entire function which is not polynomial. Then, with at most one exception, ##f## attains every complex value infinitely many times;

I have proved that a) ##\implies## b) ##\implies## c) and that b) ##\implies## a) but I don't know how to start proving that c) implies a) or b). And another thing: Is mathematically correct to say that those points are equivalent? Thanks!!

Last edited:

• Topology and Analysis
Replies
14
Views
758
• Topology and Analysis
Replies
3
Views
210
• Calculus
Replies
3
Views
328
• Topology and Analysis
Replies
4
Views
637
• Topology and Analysis
Replies
6
Views
1K
• Topology and Analysis
Replies
4
Views
171
• Topology and Analysis
Replies
1
Views
502
• Topology and Analysis
Replies
11
Views
1K
• Topology and Analysis
Replies
2
Views
645
• Topology and Analysis
Replies
32
Views
2K