Question about different statements of Picard Theorem

  • #1
MathLearner123
17
3
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:

Similar threads

  • Topology and Analysis
Replies
14
Views
758
  • Topology and Analysis
Replies
3
Views
210
Replies
3
Views
328
Replies
4
Views
637
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
Replies
2
Views
645
  • Topology and Analysis
Replies
32
Views
2K
Back
Top