title: Biholomorfismo
text: # Biholomorfismo
  
  En la teoría matemática de funciones de una o más variables complejas, y también en la geometría algebraica compleja, un biholomorfismo o función biholomorfa es una función holomorfa biyectiva cuya inversa también es holomorfa .
  
  # Biholomorfismo
  ## Definición formal
  
  Formalmente, una función biholomorfa es una función $\phi$ definido en un subconjunto abierto $U$ de $n$ norte-el espacio complejo dimensional $\mathbb {C} ^{n}$con valores en $\mathbb {C} ^{n}$ que es holomorfo y uno a uno , de modo que su imagen es un conjunto abierto $V$ en $\mathbb {C} ^{n}$ y el inverso $\phi ^{-1}:V\to U$ También es holomorfa. De manera más general, U y V pueden ser variedades complejas . Como en el caso de las funciones de una sola variable compleja, una condición suficiente para que un mapa holomórfico sea biholomórfico en su imagen es que el mapa es inyectivo, en cuyo caso el inverso también es holomórfico (por ejemplo, véase Gunning 1990, Teorema I. 11).
  Si existe un biholomorfismo $\phi \colon U\to V$, decimos que $U$ y $V$ son biholomórficamente equivalentes o que son biholomórficos.
  
  # Biholomorfismo
  ## Teorema de mapeo de Riemann y generalizaciones
  
  Si $n=1,$ cada conjunto abierto simplemente conectado que no sea todo el plano complejo es biholomorfo al disco unidad (este es el teorema de mapeo de Riemann). La situación es muy diferente en dimensiones más altas. Por ejemplo, las bolas unitarias abiertas y los polidiscos unitarios abiertos no son biholomorfamente equivalentes para $n>1.$. De hecho, no existe ni siquiera una función holomorfa adecuada de uno a otro.
  
  # Biholomorfismo
  ## Definiciones alternativas
  
  En el caso de los mapas f : $U$ → $\mathbb {C}$ definidos en un subconjunto abierto $U$ del plano complejo $\mathbb {C}$, algunos autores (p. e., Freitag 2009, Definición IV.4.1) definen un mapa conforme como un mapa inyectivo con derivada distinta de cero, es decir, f '( z ) ≠ $0$ para cada z en $U$. De acuerdo con esta definición, un mapa f : $U$ → C es conforme si y solo si f : U → f ( U) es biholomorfa. Otros autores (p. Ej., Conway 1978) definen un mapa conforme como uno con derivada distinta de cero, sin requerir que el mapa sea inyectivo. De acuerdo con esta definición más débil de conformalidad, un mapa conforme no necesita ser biholomórfico a pesar de que es localmente biholomorfa. Por ejemplo, si $f:U$ → $U$ se define por $f(z)=z^{2}$ con $U$ = $\mathbb {C}$ - {0}, entonces f es conforme en $U$ , ya que su derivada f '( z ) = 2 z ≠ 0, pero no es biholomorphic, ya que es 2-1.
  
  # Biholomorfismo
  ## Bibliografía
  
  * John B. Conway (1978). Functions of One Complex Variable. Springer-Verlag. ISBN 3-540-90328-3.
  * John P. D'Angelo (1993). Several Complex Variables and the Geometry of Real Hypersurfaces. CRC Press. ISBN 0-8493-8272-6.
  * Eberhard Freitag and Rolf Busam (2009). Complex Analysis. Springer-Verlag. ISBN 978-3-540-93982-5.
  * Robert C. Gunning (1990). Introduction to Holomorphic Functions of Several Variables, Vol. II. Wadsworth. ISBN 0-534-13309-6.
  * Steven G. Krantz (2002). Function Theory of Several Complex Variables. American Mathematical Society. ISBN 0-8218-2724-3.
  * Datos: Q377166