Convergencia uniforme de la secuencia de la función derivada en subconjuntos compactos

Permítanme resumir aquí: creo que la siguiente proposición es verdadera, ya que se le da una "prueba" en la página 54-55 en Complex Analysis de Elias Stein y Rami Shakarchi (Princeton University Press), que para mí, sin embargo, no es Convincente.

De todos modos, la proposición en cuestión dice que

Dado Ω C un subconjunto abierto arbitrario , si { F norte } , una secuencia de funciones holomorfas en Ω , converge uniformemente a alguna función F en todos los subconjuntos compactos de Ω , entonces F también es holomorfo en Ω y { F norte } converge uniformemente a F en todos los subconjuntos compactos de Ω .

Ya entiendo cómo se prueba la primera parte de la afirmación, pero no estoy seguro de la segunda parte (es decir, la parte en cursiva). ¿Alguien puede referirme a una prueba o refutación? Tenga cuidado, sin embargo, que no hay restricciones puestas en el conjunto abierto. Ω ! Gracias de antemano.

Para aquellos que estén interesados, tengo dudas sobre la prueba de Stein porque quiere probar mostrando que F norte F converge uniformemente a 0 en cualquier

Ω d := { z Ω d ( z , Ω ) < d } .
Esto creo que solo es cierto cuando podemos cubrir cada Ω d con un subconjunto compacto de Ω , que parece inútil cuando Ω es, digamos, una región ilimitada.

Es al revés: puedes cubrir cada conjunto compacto k Ω por algunos Ω d .
@MartinR Esto lo entiendo. Pero ahora, siguiendo el hilo de Steins, lo que tenemos que mostrar es que F norte F converge uniformemente a 0 en Ω d , mientras que lo que hemos probado es que esto se cumple en todos los subconjuntos compactos de Ω .

Respuestas (1)

¿Quizás la prueba del corolario 3.5.2 (p. 89) en Greene y Krantz ( Function Theory of One Complex Variable , el vínculo es con el teorema principal del cual el corolario toma su notación) es convincente?

El método de hacer el Ω d trabajo (que no aparece explícitamente en esta prueba) es que solo necesitamos el resultado en compacta. Cualquier subconjunto compacto de tu está cubierto por una adecuada Ω d , por lo que ningún subconjunto compacto de tu puede ser un testigo del fracaso del teorema.