6 votos

Posible analítica de imágenes de la unidad de disco?

A partir del teorema de Picard, la imagen de $\mathbb{C}$ bajo una analítica de la función que tiene para todo el avión o $\mathbb{C}$ menos en un punto único. ¿Qué pasa con otros bloques abiertos? Esto puede ser muy amplio, así que ¿qué hay de la unidad de disco?

Deje $B$ el de apertura de la unidad de disco. Si $f:B\to \mathbb{C}$ es analítica, ¿qué podemos decir acerca de la $f(B)$?

Sabemos que $f(B)$ tiene que ser abierto. Puede algo ser dicho?

Por ejemplo, $f(B)$ no necesita ser simplemente conectado (considere el $exp(\alpha z)$ para una lo suficientemente grande como $\alpha$).

2voto

David C. Ullrich Puntos 13276

De hecho, $f(B)$ puede ser cualquier subconjunto abierto de $\Bbb C$. (Edit: O más bien conectado conjunto abierto; gracias a Robert Israel para darse cuenta de que esto es a lo que me refería...)

Bonus: Si $V$ es abierto conectado subconjunto del plano existe $f$ con los no-desaparición de derivados que $f(B)=V$, y en el hecho de si $V\ne\Bbb C$ podemos tomar $f$ a una cubierta mapa.

Decir $V\subset\Bbb C$ es abierto y conectado. Supongamos primero que $\Bbb C\setminus V$ contiene más de un punto. Ahora el Uniformiization Teorema demuestra que no es un simple conectado superficie de Riemann $M$ y un holomorphic cubriendo mapa de $M$ a $V$. Y $M$ es la esfera de Riemann, el disco o el avión. Con la excepción de $M$ no puede ser la esfera de Riemann desde $V$ no es compacto, y el pequeño teorema de Picard muestra que $V$ no puede ser $\Bbb C$, lo $M$ es el disco.

Que hace a excepción de $V=\Bbb C\setminus \{0\}$ e $V=\Bbb C$. Hay una tira de $S$, de modo que $\exp(S)=\Bbb C\setminus\{0\}$ y un mapa de la disco a $S$. Y hay un mapa de la disco en la región de $\Re z>-1$; la plaza de este mapa, los mapas de $B$ a $\Bbb C$.

Estamos hecho, excepto para el bono parte, y ya casi hemos terminado con eso. Si $V\ne\Bbb C$ hemos dado un holomorphic cubriendo mapa de $B$ a $V$. Si $V=\Bbb C$ no hay tal cubrimiento mapa. Pero sí existe un holomorphic surjection con los no-desaparición de derivados:

Decir $f$ es la función completa con $f(0)=0$ e $f'(z)=e^{\cos(z)}$. A continuación,$f'(z+2\pi)-f'(z)=0$, de modo que existe $c$ con $f(z+2\pi)=f(z)+c$. Tenga en cuenta que $c=f(0)>0$; en particular,$c\ne0$.

Desde $f(z+2\pi)=f(z)+c$ con $c\ne0$ el Gran teorema de Picard muestra que $f$ toma cada valor complejo infinidad de veces. Por lo tanto $f(\Bbb C\setminus\{0\})=\Bbb C$. Como antes, se trata de una cubierta mapa de $g$ de $B$ a $\Bbb C\setminus\{0\}$; ahora $f\circ g$ es un mapa de $B$ a $\Bbb C$ con los no-desaparición de derivados.

0voto

Ranc Puntos 631

Bloch-Landau, el teorema de los estados:
Existe una absoluta constante $\ell$ tal que, para cualquier holomorphic función de $f$ definido en la unidad de disco, con la propiedad de $|f'(0)| =1$, Entonces:
La imagen de la unidad de disco contiene una bola con un radio mayor o igual a $\ell$.

Observe que la condición de la derivada es "sólo" una normalización de la restricción.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X