stringtranslate.com

Dominio de la holomorfía

Los conjuntos en la definición.

En matemáticas , en la teoría de funciones de varias variables complejas , un dominio de holomorfía es un dominio que es máximo en el sentido de que existe una función holomorfa en este dominio que no puede extenderse a un dominio mayor.

Formalmente, un conjunto abierto en el espacio complejo n -dimensional se denomina dominio de holomorfía si no existen conjuntos abiertos no vacíos y donde es conexo , y tal que para cada función holomorfa en existe una función holomorfa en con en

En este caso, todo conjunto abierto es un dominio de holomorfía: podemos definir una función holomorfa con ceros acumulándose en todas partes en el límite del dominio, que debe ser entonces un límite natural para un dominio de definición de su recíproco. Esto ya no es cierto, como se sigue del lema de Hartogs .

Condiciones equivalentes

Para un dominio las siguientes condiciones son equivalentes:

  1. es un dominio de holomorfia
  2. es holomórficamente convexo
  3. es pseudoconvexo
  4. es Levi convexo - para cada secuencia de superficies analíticas compactas tales que para algún conjunto tenemos ( no puede ser "tocado desde adentro" por una secuencia de superficies analíticas)
  5. tiene propiedad local de Levi : para cada punto existe un entorno de y holomorfo en tal que no puede extenderse a ningún entorno de

Las implicaciones son resultados estándar (para , véase el lema de Oka ). La principal dificultad radica en demostrar , es decir, construir una función holomorfa global que no admita extensión a partir de funciones no extensibles definidas solo localmente. Esto se llama el problema de Levi (en honor a EE Levi ) y fue resuelto primero por Kiyoshi Oka , y luego por Lars Hörmander usando métodos de análisis funcional y ecuaciones diferenciales parciales (una consecuencia del ∂ ¯ {\displaystyle {\bar {\partial }}} -problema).

Propiedades

Véase también

Referencias

Este artículo incorpora material de Domain of holomorphy en PlanetMath , que está licenciado bajo la Licencia Creative Commons Atribución/Compartir-Igual .