En una pregunta de examen (Pregunta 21), se afirma que si $K$ es compacto y $f_n : K \to \mathbb{R}$ son funciones continuas aumento de pointwise a una función continua $f : K \to \mathbb{R}$, $f_n$ converge a $f$ uniformemente. He tratado de demostrar esta afirmación para la mejor parte de una hora, pero me siguen llegando corto. Sospecho que una hipótesis en equicontinuity se ha omitido debido, en parte porque la primera mitad de la pregunta es acerca de la Arzelà–Ascoli teorema - pero yo no tengo acceso a la lista de errores para el examen, así que no puedo estar seguro.
Aquí está mi intento de prueba: vamos a $g_n = f - f_n$, por lo que el $(g_n)$ es una secuencia de funciones continuas disminución de pointwise a $0$. Claramente, $0 \le \cdots \le \| g_n \| \le \| g_{n-1} \| \le \cdots \le \| g_1 \|$, por lo que debemos tener $\| g_n \| \longrightarrow L$ para algunas constantes $L$. $K$ es compacto, por lo que para cada una de las $g_n$, hay un $x_n \in K$ tal que $g_n(x_n) = \| g_n \|$, y no es convergente larga con $x_{n_k} \longrightarrow x$ algunos $x \in K$. Por hipótesis, $g_n(x) \longrightarrow 0$, y por la construcción de $g_{n_k} (x_{n_k}) \longrightarrow L$. Me gustaría concluir que $L = 0$, pero para ello necesitaría saber que las dos secuencias tienen el mismo límite. Esto es cierto si, por ejemplo, $\{ g_n \}$ es un equicontinuous de la familia, pero esta no es una de las hipótesis, así que estoy atascado.