Función meromorfa


Función meromorfa

En análisis complejo, una función meromorfa sobre un subconjunto abierto D del plano complejo es una función que es holomorfa en todo D excepto en un conjunto de puntos aislados, llamados polos de la función. (La terminología viene del Griego clásico “meros”, que significa parte, en contrapunto a “holos”, que significa todo.) Dichas funciones son a veces conocidas como funciones regulares o regulares sobre D.

Toda función meromorfa sobre D puede ser expresada como el cociente entre dos funciones holomorfas (no siendo el denominador la función constante 0) definidas sobre D: los polos de la función meromorfa ocurren en los ceros del denominador.

La función gamma es meromorfa en todo el plano complejo.

Intuitivamente, una función meromorfa es un cociente de dos "buenas" funciones (holomorfas). Dicha función seguirá siendo "buena" excepto en los puntos en el que el denominador se anula, en los cuales el valor tiende a infinito.

Desde un punto de vista algebraico, si D es un espacio conexo, entonces el conjunto de funciones meromorfas es un cuerpo de fracciones del dominio de integridad del conjunto de funciones holomorfas. Esta relación es análoga a la existente entre \mathbb{Q}, los racionales, y \mathbb{Z}, los enteros.

Contenido

Ejemplos

f(z) = (z3 − 2z + 1)/(z5 + 3z − 1)
es meromorfa en todo el plano complejo.
  • Las funciones
f(z) = exp(z)/z and f(z) = sin(z)/(z − 1)2
así como la función gamma y la función zeta de Riemann son meromorfas en todo el plano complejo.
  • La función
f(z) = exp(1/z)
está definida en todo el plano complejo exceptuando el origen, z=0. Sin embargo, el punto z=0 no es un polo de la función sino una singularidad esencial. Por tanto, esta función no es meromorfa en todo el plano complejo. Sin embargo, es meromorfa (incluso holomorfa) en C-{0}.
  • La función f(z) = ln(z) no es meromorfa en todo el plano complejo, ya que no puede ser definida de forma contínua en todo el plano y ni siguiera quitando un conjunto de puntos aislados.

Propiedades

Como los polos de una función meromorfa son aislados, como mucho puede haber una cantidad numerable de ellos. El conjunto de polos puede ser infinito, como se puede ver en la función

f(z)=1/sin(z).

Mediante la continuación analítica para eliminar las singularidades evitables, las funciones meromorfas pueden ser sumadas, restadas, multiplicadas, y el cociente f/g está bien definido a no ser que g(z) = 0 sobre una componente conexa de D. Por lo que, si D es conexo, las funciones meromorfas constituyen un cuerpo, de hecho constituyen una extensión de los complejos.

Funciones meromorfas sobre superficies de Riemann

En una superficie de Riemann todo punto admite un entorno abierto que es isomorfo a un subconjunto abierto del plano complejo. De este modo la noción de función meromorfa puede ser definida para toda superficie de Riemann.

Cuando el conjunto D es la esfera de Riemann, el cuerpo de funciones meromorfas es simplemente el cuerpo de funciones racionales de una variable sobre el plano complejo, por lo que se puede demostrar que toda función meromorfa sobre la esfera es racional.

Para toda superficie de Riemann, una función meromorfa es lo mismo que una función holomorfa cuyo espacio de llegada es la esfera de Riemann y que no toma el valor ∞ en todo punto. Los polos corresponden a aquellos números complejos cuya imagen es ∞.

En una superficie de Riemann no compacta, toda función meromorfa puede ser expresada como el cociente de dos (globalmente definidas) funciones holomorfas. En cambio, sobre una superficie de Riemann compacta toda función holomorfa es constante, mientras que siempre existen funciones meromorfas no constantes.

Las funciones meromorfas sobre una curva elíptica se les conoce como funciones elípticas.

Diversas variables

Con múltiples variables complejas, una función meromorfa se define como el cociente local de dos funciones holomorfas. Por ejemplo, f(z1,z2)=z1/z2 es una función meromorfa sobre el espacio afín complejo de dos dimensiones. En este nuevo contexto, no es cierto que cada función meromorfa puede ser pensada como una función holomorfa con valores dentro de la esfera de Riemann: hay un conjunto de indeterminación de codimensión 2 (en el ejemplo que se ha mostrado, este conjunto consiste en el origen (0,0)). A diferencia de una sola dimensión, en dimensiones más altas existen variedades complejas sobre las cuales no hay ninguna función meromorfa no constante.

Referencias


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Función zeta de Riemann — ζ(s) en el plano complejo. El color de un punto s codifica el valor de ζ(s): Colores fuertes denotan valores cercanos a 0 y el tono codifica el valor del argumento. El punto blanco en s=1 es el polo de la función zeta; los puntos negros en el eje …   Wikipedia Español

  • Función gamma — en el eje real. Valor absoluto de la función gamma en el plano complejo …   Wikipedia Español

  • Función holomorfa — Las funciones holomorfas son el principal objeto de estudio del análisis complejo; son funciones que se definen sobre un subconjunto abierto del plano complejo C y con valores en C, que además son complejo diferenciables en cada punto. Esta… …   Wikipedia Español

  • Función elíptica — En análisis complejo, una función elíptica es, hablando toscamente, una función definida sobre el plano complejo y periódica en ambas direcciones. Las funciones elípticas pueden ser vistas como generalizaciones de las funciones trigonométricas… …   Wikipedia Español

  • Función zeta de Dedekind — En matemática, la función zeta de Dedekind es una serie de Dirichlet definida para todo cuerpo K de números algebraicos, expresada como ζK(s) donde s es una variable compleja. Es la suma infinita: realizada sobre todos los I ideales del anillo de …   Wikipedia Español

  • Función gamma inversa — Gráfica de 1/Γ(x) a lo largo del eje real. Función gamma invers …   Wikipedia Español

  • Teorema de Weierstrass-Casorati — En análisis complejo, una rama de las matemáticas el teorema de Casorati–Weierstrass describe el comportamiento de funciones meromorfas cerca de una singularidad esencial. Recibe su nombre de Karl Theodor Wilhelm Weierstrass y Felice Casorati.… …   Wikipedia Español

  • Teorema de factorización de Weierstrass — En matemática, concretamente en análisis complejo, el teorema de factorización de Weierstrass, llamado así en honor a Karl Weierstrass, asegura que las funciones enteras pueden ser representadas mediante un producto que envuelve sus ceros. Además …   Wikipedia Español

  • Polo (análisis complejo) — Saltar a navegación, búsqueda En análisis complejo, un polo de una función holomorfa es un cierto tipo de singularidad que se comporta como la singularidad 1/zn en z = 0. Un polo de la función f(z) es un punto z = a tal que f(z) tiende a infinito …   Wikipedia Español

  • Hipótesis generalizada de Riemann — La hipótesis de Riemann es una de las conjeturas más importantes de la matemáticas. Es un postulado sobre los ceros de la función zeta de Riemann. Existen varios objetos geométricos y aritméticos que pueden ser descritos por las llamadas… …   Wikipedia Español