A Question about different statements of Picard Theorem

MathLearner123
Messages
25
Reaction score
4
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:
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top