Holomorphic surjection from the unit disc onto the complex plane
ID: holomorphic-surjection-from-the-unit-disc-onto-the-complex-plane
The rational function is holomorphic on the unit disc and maps it onto the entire complex plane. For any , choose a square root with and put . The identity gives , while . It is not injective: the two choices give distinct points in the disc with image .
A holomorphic bijection in this direction is impossible: its inverse would be a bounded entire function, contradicting the Liouville theorem. Thus a surjection onto the complex plane can exist even when a conformal equivalence cannot.
New to topics? Read the docs here!