Biholomorphism

In the mathematical theory of functions of one or more complex variables, and also in complex algebraic geometry, a biholomorphism or biholomorphic function is a bijective holomorphic function whose inverse is also holomorphic.

Formally, a "biholomorphic function" is a function $phi$ defined on an open subset "U" of the $n$-dimensional complex space C^"n" with values in C^"n" which is holomorphic and one-to-one, such that its image is an open set $V$ in C^"n" and the inverse $phi^\{-1\}:V\; o\; U$ is also holomorphic. More generally, "U" and "V" can be complex manifolds. One can prove that it is enough for $phi$ to be holomorphic and one-to-one in order for it to be biholomorphic onto its image.

If there exists a biholomorphism $phi\; colon\; U\; o\; V$, we say that "U" and "V" are biholomorphically equivalent or that they are biholomorphic.

If $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 ball and open unit polydisc are not biholomorphically equivalent for $n>1.$ In fact, there does not exist even a proper holomorphic function from one to the other.

References

*
*

----