Biholomorphy

From Wikipedia, the free encyclopedia

In mathematics, more precisely in the theory of functions of several complex variables, a biholomorphic function is a holomorphic function whose inverse is also holomorphic.

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

If there exists a one-to-one and onto biholomorphic mapping \phi \colon U \to 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.

[edit] References

  • Steven G Krantz (Jan 1, 2002). Function Theory of Several Complex Variables. American Mathematical Society. ISBN 0-8218-2724-3. 
  • John P D'Angelo, D'Angelo P D'Angelo (Jan 6, 1993). Several Complex Variables and the Geometry of Real Hypersurfaces. CRC Press. ISBN 0-8493-8272-6. 

This article incorporates material from biholomorphically equivalent on PlanetMath, which is licensed under the GFDL.