Sea ff sea una función analítica que cartografíe el disco unitario D a sí mismo con f(0)=0 y |f′(0)|<1 . Sea fn=f∘f∘⋯∘f sea la función obtenida al componer f consigo mismo n -veces. Demostrar que fn→0 uniformemente en subconjuntos compactos de D .
Mi intento:
Todo subconjunto compacto estará contenido en una bola cerrada ¯B(0,R) con R<1 por lo que basta con demostrar la convergencia uniforme en ¯B(0,R) . Por el principio del módulo máximo y el lema de Schwarz,
|f(z)|≤R
para cada z∈¯B(0,R) . Además, por el lema de Schwarz, la secuencia fn(z) es decreciente para cada z∈¯B(0,R) . La cuestión es que el límite de la secuencia R no disminuye a 0 a medida que n→∞ . Supongo que necesito usar la condición |f′(0)|<1 para conseguir un atado más apretado, pero no sé a dónde ir desde aquí.