Suppose is open and admits an injective holomorphic map whose image is bounded. Every entire function is constant: the function composition is a bounded entire function, hence constant by Liouville theorem, and injectivity of then forces to be constant. Surjectivity of onto a disk is unnecessary. For example is a conformal map from onto . A square-root branch with argument in followed by the Cayley transform between the half-plane and disk maps this to the punctured unit disk. It therefore supplies a bounded injective holomorphic coordinate on the interval complement, giving the same rigidity even though that domain is not simply connected.

Articles by others on the same topic (0)

There are currently no matching articles.