En el análisis complejo , el gran teorema de Picard y el pequeño teorema de Picard son teoremas relacionados sobre el rango de una función analítica . Su nombre se debe a Émile Picard .
Teorema de Little Picard: Si una función es entera y no constante, entonces el conjunto de valores que asume es el plano complejo entero o el plano menos un solo punto.
Bosquejo de la demostración: La demostración original de Picard se basaba en las propiedades de la función lambda modular , usualmente denotada por , y que realiza, usando la terminología moderna, el recubrimiento universal holomorfo del plano perforado dos veces por el disco unitario. Esta función se construye explícitamente en la teoría de funciones elípticas . Si omite dos valores, entonces la composición de con la inversa de la función modular mapea el plano en el disco unitario, lo que implica que es constante por el teorema de Liouville.
Este teorema es un refuerzo significativo del teorema de Liouville, que establece que la imagen de una función no constante completa debe ser ilimitada . Posteriormente se encontraron muchas demostraciones diferentes del teorema de Picard y el teorema de Schottky es una versión cuantitativa del mismo. En el caso en que a los valores de les falte un único punto, este punto se denomina valor lagunar de la función.
Gran teorema de Picard: si una función analítica tiene una singularidad esencial en un punto , entonces en cualquier vecindad perforada de toma todos los valores complejos posibles, con como máximo una única excepción, infinitamente a menudo.
Este es un fortalecimiento sustancial del teorema de Casorati-Weierstrass , que solo garantiza que el rango de es denso en el plano complejo. Un resultado del Gran Teorema de Picard es que cualquier función no polinómica completa alcanza todos los valores complejos posibles una cantidad infinita de veces, con una excepción como máximo.
La "excepción única" es necesaria en ambos teoremas, como se demuestra aquí:
Supongamos que es una función completa que omite dos valores y . Al considerar podemos suponer sin pérdida de generalidad que y .
Como es simplemente conexo y el rango de omite , f tiene un logaritmo holomorfo . Sea una función entera tal que . Entonces el rango de omite todos los números enteros. Mediante un argumento similar usando la fórmula cuadrática , existe una función entera tal que . Entonces el rango de omite todos los números complejos de la forma , donde es un número entero y es un número entero no negativo.
Por el teorema de Landau , si , entonces para todo , el rango de contiene un disco de radio . Pero de arriba, cualquier disco suficientemente grande contiene al menos un número que el rango de h omite. Por lo tanto , para todo . Por el teorema fundamental del cálculo , es constante, entonces es constante.
El gran teorema de Picard es cierto en una forma ligeramente más general que también se aplica a las funciones meromórficas :
Gran teorema de Picard (versión meromorfa): si M es una superficie de Riemann , w un punto en M , P 1 ( C ) = C ∪ {∞} denota la esfera de Riemann y f : M \{ w } → P 1 ( C ) es una función holomorfa con singularidad esencial en w , entonces en cualquier subconjunto abierto de M que contenga a w , la función f ( z ) alcanza todos los puntos de P 1 ( C ) excepto dos como máximo infinitamente a menudo.
Ejemplo: La función f ( z ) = 1/(1 − e 1/ z ) es meromórfica en C* = C - {0}, el plano complejo con el origen eliminado. Tiene una singularidad esencial en z = 0 y alcanza el valor ∞ infinitamente a menudo en cualquier entorno de 0; sin embargo, no alcanza los valores 0 o 1.
Con esta generalización, el Teorema de Picard Menor se deduce del Teorema de Picard Mayor porque una función entera es un polinomio o tiene una singularidad esencial en el infinito. Al igual que con el Teorema Menor, los (dos como máximo) puntos que no se alcanzan son valores lagunares de la función.
La siguiente conjetura está relacionada con el "Gran Teorema de Picard": [1]
Conjetura: Sea { U 1 , ..., U n } una colección de subconjuntos abiertos y conexos de C que cubren el disco unitario perforado D \ {0}. Supóngase que en cada U j hay una función holomorfa inyectiva f j , tal que d f j = d f k en cada intersección U j ∩ U k . Entonces las diferenciales se unen para formar una 1- forma meromórfica en D .
Está claro que las diferenciales se adhieren entre sí para formar una 1-forma holomorfa g d z en D \ {0}. En el caso especial en el que el residuo de g en 0 es cero, la conjetura se deduce del "Gran Teorema de Picard".