The two bounding circles meet at zero and one, which the Möbius transformation sends to zero and infinity. They therefore become straight lines through zero. More explicitly write , so . The two disk inequalities becomeSince , these say . ThusThe positive real axis belongs to the image because , fixing which sector is intended. Cubing maps this sector bijectively onto the right half-plane: its argument interval of width becomes . The Cayley transform between the half-plane and disk then maps that half-plane bijectively onto the unit disk. Hence a holomorphic bijection isEvery denominator is nonzero on the corresponding domain, and the sector width ensures the power map is injective. This is the conformal map of a symmetric circular lens.
Articles by others on the same topic
There are currently no matching articles.