Ir al contenido

Biholomorfismo

De Wikipedia, la enciclopedia libre
Ilustración de un biholomorfismo. La función exponencial compleja que transforma biholomórficamente un rectángulo en un cuarto de anular.

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 .

Definición formal

[editar]

Formalmente, una función biholomorfa es una función definido en un subconjunto abierto de norte-el espacio complejo dimensional con valores en que es holomorfo y uno a uno , de modo que su imagen es un conjunto abierto en y el inverso 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 , decimos que y son biholomórficamente equivalentes o que son biholomórficos.

Teorema de mapeo de Riemann y generalizaciones

[editar]

Si 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 . De hecho, no existe ni siquiera una función holomorfa adecuada de uno a otro.

Definiciones alternativas

[editar]

En el caso de los mapas f : definidos en un subconjunto abierto del plano complejo , 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 ) ≠ para cada z en . De acuerdo con esta definición, un mapa f : → 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 se define por con = - {0}, entonces f es conforme en , ya que su derivada f '( z ) = 2 z ≠ 0, pero no es biholomorphic, ya que es 2-1.

Bibliografía

[editar]