Caracterización de subconjuntos relativamente compactos de C(K) (funciones continuas sobre un dominio compacto K) en la topología uniforme: una familia es relativamente compacta si y solo si es equicontinua y puntualmente relativamente compacta (a menudo formulado como equicontinua y acotada en cada punto).

Principio

El control uniforme de la oscilación (equicontinuidad) junto con control en cada punto evita divergencias y asegura precompacidad en la norma suprema sobre un dominio compacto.

Demostración

En K = [0,1], la familia de funciones con constante de Lipschitz uniforme L y valores uniformemente acotados en un punto es equicontinua y acotada punto por punto; por Arzelà-Ascoli, toda sucesión tiene una subsucesión que converge uniformemente. En cambio, la familia f_n(x)=sin(n x) en [0,2π] no es equicontinua y no tiene subsucesión que converja uniformemente.

Aplicación incorrecta

Usar el teorema en dominios no compactos, en espacios sin la estructura de norma suprema, o ignorar la equicontinuidad: la simple acotación puntual no implica precompacidad; en K no compacto la conclusión puede fallar.

Consecuencia

Proporciona una prueba práctica de compacidad para conjuntos de funciones continuas que garantiza la existencia de subsucesiones que convergen uniformemente y es fundamental en el estudio de ecuaciones diferenciales, cálculo de variaciones e incrustaciones compactas.

Inversión

Si una familia no es equicontinua o no está acotada en cada punto, puede no ser relativamente compacta; la negación de las hipótesis permite construir sucesiones sin subsucesiones de convergencia uniforme.

Límite

Requiere un dominio compacto K y la topología de convergencia uniforme (norma suprema) en funciones continuas. No se aplica directamente a espacios L^p, distribuciones ni dominios no compactos sin ajustes.

Tensión semántica

Tensión con la convergencia puntual y la compacidad débil: Arzelà-Ascoli asegura precompacidad fuerte (uniforme), más fuerte que la simple compacidad puntual o débil; distinguir estos modos es crucial en las aplicaciones.

Síntesis

Arzelà-Ascoli vincula equicontinuidad y control puntual con precompacidad en C(K): las familias de funciones continuas cuyo comportamiento está uniformemente controlado solo acumulan en la norma suprema, produciendo subsucesiones de convergencia uniforme.