Diferencia entre revisiones de «Teorema de Arzelá-Ascoli»

Contenido eliminado Contenido añadido
VolkovBot (discusión · contribs.)
Sin resumen de edición
Línea 1:
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 [[Espacio compacto|compacto]]. Lo que dice el teorema es lo siguiente:
 
Sea <math>X</math> un [[espacio topológico]] [[espacio compacto|compacto]], <math>Y</math> un [[Espacio métrico|espacio métrico]] [[espacio completo|completo]]. Un conjunto <math>H\subseteqsubset C(X,Y)</math> (el espacio de las [[Continuidad (matemática)|funciones continuas]] de <math>X</math> en <math>Y</math>) será [[Conjunto relativamente compacto|relativamente compacto]] en la topología de la [[Métrica Infinito para funciones continuas|métrica infinito]] si y solamente si:
# <math>H</math> es [[equicontinuidad|equicontinuo]]
# Para todo <math>x \in X</math>, el conjunto <math>H_x=\{f(x):f\in H\}</math> es relativamente compacto en <math>Y</math>.