Biholomorphism

Riemann mapping theorem and generalizations

If ${\displaystyle n=1,}$ every simply connected open set other than the whole complex plane is biholomorphic to the unit disc (this is the Riemann mapping theorem). The situation is very different in higher dimensions. For example, open unit balls and open unit polydiscs are not biholomorphically equivalent for ${\displaystyle n>1.}$ In fact, there does not exist even a proper holomorphic function from one to the other.

Alternative definitions

In the case of maps f : U → C defined on an open subset U of the complex plane C, some authors define a conformal map to be an injective map with nonzero derivative i.e., f’(z)≠ 0 for every z in U. According to this definition, a map f : U → C is conformal if and only if f: U → f(U) is biholomorphic. Notice that per definition of biholomorphisms, nothing is assumed about their derivatives, so, this equivalence contains the claim that a homeomorphism that is complex differentiable must actually have nonzero derivative everywhere. Other authors define a conformal map as one with nonzero derivative, but without requiring that the map be injective. According to this weaker definition, a conformal map need not be biholomorphic, even though it is locally biholomorphic, for example, by the inverse function theorem. For example, if f: U → U is defined by f(z) = z² with U = C–{0}, then f is conformal on U, since its derivative f’(z) = 2z ≠ 0, but it is not biholomorphic, since it is 2-1.