Biholomorfismo
En la teoría matemática de funciones de una o más variables complejas , y también en geometría algebraica compleja , un biholomorfismo o función biholomorfa es una función biyectiva holomorfa cuya inversa también es holomorfa .
Formalmente, una función biholomórfica es una función definida en un subconjunto abierto U del espacio complejo -dimensional C n con valores en C n que es holomórfico y uno a uno , de modo que su imagen es un conjunto abierto en C n y el el inverso también es holomórfico . 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 sea inyectivo, en cuyo caso la inversa también es holomórfica (p. Ej., Ver Gunning 1990, Teorema I. 11).
Si existe un biholomorfismo , decimos que U y V son biholomorphically equivalentes o que son biholomorphism .
Si todo conjunto abierto simplemente conectado que no sea el plano complejo completo es biholomórfico para el disco unitario (este es el teorema de mapeo de Riemann ). La situación es muy diferente en dimensiones superiores. Por ejemplo, las bolas unitarias abiertas y los polidiscos unitarios abiertos no son biholomórficamente equivalentes para De hecho, ni siquiera existe una función holomórfica adecuada de uno a otro.
En el caso de los mapas f : U → C definidos en un subconjunto abierto U del plano complejo C , algunos autores (p. Ej., 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. Según esta definición, un mapa f : U → C es conforme si y solo si f : U → f ( U) es biholomórfico. Otros autores (por ejemplo, Conway 1978) definen un mapa conforme como uno con derivada distinta de cero, sin requerir que el mapa sea inyectivo. Según esta definición más débil de conformalidad, un mapa conforme no necesita ser biholomórfico aunque sea localmente biholomórfico. Por ejemplo, si f : U → U está definida por f ( z ) = z 2 con U = C - {0}, entonces f es conforme a U , ya que su derivada f '( z ) = 2 z ≠ 0, pero no es biholomórfico, ya que es 2-1.
Este artículo incorpora material de equivalente biholomórfico en PlanetMath , que tiene la licencia Creative Commons Attribution / Share-Alike License .
