Teorema de Arzelá-Ascoli

El teorema de Arzelà-Ascoli es una de las herramientas más poderosas que hay para verificar si una familia de funciones de un espacio topólogico en otro es compacta. Lo que dice el teorema es lo siguiente:[1]

Sea X {\displaystyle X} un espacio topológico compacto, Y {\displaystyle Y} un espacio métrico completo. Un conjunto H C ( X , Y ) {\displaystyle H\subset C(X,Y)} (el espacio de las funciones continuas de X {\displaystyle X} en Y {\displaystyle Y} ) será relativamente compacto en la topología de la métrica del infinito si y solamente si:

  1. H {\displaystyle H} es equicontinuo
  2. Para todo x X {\displaystyle x\in X} , el conjunto H x = { f ( x ) : f H } {\displaystyle H_{x}=\{f(x):f\in H\}} es relativamente compacto en Y {\displaystyle Y} .

Debe tenerse en cuenta que si Y = R {\displaystyle Y=\mathbb {R} } , la condición 2 es equivalente a pedir que para cada x X {\displaystyle x\in X} , el conjunto H x {\displaystyle H_{x}} sea acotado. En este mismo caso, se cumple que si además X {\displaystyle X} es un espacio topólogico conexo, basta verificar que existe un x {\displaystyle x} tal que la condición 2 se cumple, y automáticamente se tendrá para todos.

Referencias

  1. THEODORE GAMELIN (2003). Complex Analysis. Springer Science & Business Media. pp. 307 de 478. ISBN 9780387950693. Consultado el 14 de octubre de 2023. 
Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q1477053
  • Wd Datos: Q1477053