The map is bounded by one near the puncture, so the Riemann removable singularity theorem extends it holomorphically to a map . The maximum modulus principle shows that its image still lies in : if , the extension would be constant, contradicting its values in unless that constant also had modulus less than one.
If is biholomorphic, its inverse also extends holomorphically. Were , continuity of and the identity on the punctured disk would give . This is impossible because and takes values in the punctured disk. Hence

Articles by others on the same topic (0)

There are currently no matching articles.