# Teorema de Arzelà-Ascoli

El teorema de Arzelà-Ascoli es una de las herramientas más poderosas del análisis matemático para decidir si un conjunto de funciones continuas reales definidas en un intervalo cerrado y acotado es compacto. En concreto, el teorema toma un conjunto de funciones reales continuas en un intervalo cerrado y acotado y da condiciones necesarias y suficientes para que tengan una subsucesión uniformemente convergente. Así, la adherencia de un conjunto con esas condiciones será compacta. La condición principal que pide el teorema es que el conjunto de funciones sea equicontinuo.
El teorema de Arzelà-Ascoli es la base de muchos otros resultados en matemáticas, incluyendo el teorema de existencia de Peano en la teoría de ecuaciones diferenciales ordinarias, el teorema de Montel en análisis complejo, el teorema de Peter-Weyl en análisis armónico y varios resultados sobre la compacidad de operadores integrales.

## Historia

La noción de equicontinuidad fue introducida a finales del siglo XIX por los matemáticos italianos Cesare Arzelà y Giulio Ascoli, de quienes recibe el nombre el teorema. Una versión débil del teorema fue demostrada por Ascoli (1883–1884), que dio la condición suficiente para la compacidad, y Arzelà (1895), que demostró la condición necesaria y a quien se debe la primera presentación clara del resultado. Fréchet (1906) demostró una generalización del teorema a funciones reales continuas con dominio compacto métrico (Dunford y Schwartz, 1958, p. 382). Formulaciones más modernas del teorema permiten que el dominio sea compacto Hausdorff y que el espacio de llegada sea sólo métrico.

## Definiciones previas

A continuación se definen las propiedades de un conjunto de funciones continuas sobre un intervalo cerrado y acotado que juegan un papel en el enunciado y la demostración del teorema. Para ello, sea ${\mathcal {F}}\subseteq {\mathcal {C}}(I,\mathbb {R} )$ un conjunto de funciones continuas de un intervalo cerrado y acotado $I=[a,b]$ a $\mathbb {R}$.
Decimos que el conjunto ${\mathcal {F}}$ es puntualmente acotado si, fijando cualquier punto del intervalo, las funciones de ${\mathcal {F}}$ toman en ese punto un conjunto acotado de valores:
$\forall x\in I\quad \exists M_{x}\in \mathbb {R} :\vert f(x)\vert \leq M_{x}\quad \forall f\in {\mathcal {F}}$.
Es decir, en cada punto hay una cota para los valores que toman las funciones. Esta cota puede depender del punto considerado del intervalo pero, una vez fijado este, no de las funciones. Si la cota no depende tampoco del punto del intervalo, decimos que es una cota uniforme. Es decir, ${\mathcal {F}}$ es uniformemente acotado si
$\exists M\in \mathbb {R} :\vert f(x)\vert \leq M\quad \forall x\in [a,b],\forall f\in {\mathcal {F}}$.
Ahora definimos la condición clave del teorema: la equicontinuidad. Diremos que ${\mathcal {F}}$ es equicontinuo si
$\forall x\in I\quad \forall \varepsilon >0\quad \exists \delta >0:\vert x-y\vert \leq \delta \Rightarrow \vert f(x)-f(y)\vert \leq \varepsilon \quad \forall y\in I\ \ \forall f\in {\mathcal {F}}$,
es decir, si en cada punto del intervalo todas las $f$ son continuas con un mismo $\delta$ (son "igual de continuas" en cada punto). Es decir, $\delta$ puede depender del punto $x$ del intervalo, pero no de la función $f$ considerada. Si se puede tomar un mismo $\delta$ en cualquier punto $x\in I$, diremos que ${\mathcal {F}}$ es uniformemente equicontinuo:
$\forall \varepsilon >0\quad \exists \delta >0:\vert x-y\vert \leq \delta \Rightarrow \vert f(x)-f(y)\vert \leq \varepsilon \quad \forall x,y\in I\ \ \forall f\in {\mathcal {F}}$.
Algunos autores, como Rudin, definen equicontinuo de esta última manera, y no de la primera. Aquí usaremos la primera definición, pero podremos usar ambas condiciones indistintamente, ya que en caso de que $I$ sea compacto (cerrado y acotado) ambas definiciones son equivalentes, y en el teorema a demostrar siempre se consideran funciones definidas en intervalos de ese tipo.

## Enunciado del teorema

La versión más sencilla del teorema se puede enunciar como sigue:
Sea ${\mathcal {F}}\subseteq {\mathcal {C}}(I,\mathbb {R} )$ un conjunto de funciones reales continuas de un intervalo cerrado y acotado $I$. Entonces, son equivalentes:
* ${\mathcal {F}}$ es uniformemente acotado y equicontinuo.
* Cualquier sucesión $(f_{n})_{n\in \mathbb {N} }$ de funciones de ${\mathcal {F}}$ tiene una subsucesión $(f_{n_{k}})_{k\in \mathbb {N} }$ uniformemente convergente.
Para $1\Rightarrow 2$ se puede pedir sólo que ${\mathcal {F}}$ sea puntualmente acotado.

## Demostración
### Implicación directa

Demostramos primero que $1\Rightarrow 2$ usando sólo que ${\mathcal {F}}$ es puntualmente acotado. Primero tomamos una sucesión $(f_{n})_{n\in \mathbb {N} }$ de funciones de ${\mathcal {F}}$. Queremos encontrar una subsucesión uniformemente convergente. La construcción se basa en un argumento diagonal.
Sea $Q=I\cap \mathbb {Q}$ el conjunto de racionales del intervalo. Como $I$ es cerrado y acotado, claramente ${\overline {Q}}=I$, donde la barra denota la adherencia. Además, al ser los racionales un conjunto numerable, existe una numeración $(q_{1},q_{2},q_{3},\dots )$ de los elementos de $Q$. Usando la numeración vamos a construir subsucesiones de la sucesión original como sigue:
Para $q_{1}$ consideramos la sucesión numérica formada por los valores de las funciones de la sucesión evaluadas en $q_{1}$. Esto es, $(f_{n}(q_{1}))_{n\in \mathbb {N} }$. Al ser ${\mathcal {F}}$ puntualmente acotado, esta sucesión es acotada, por lo que, por el teorema de Bolzano-Weierstrass, tiene una parcial convergente que denotaremos por $(f_{1,n}(q_{1}))_{n\in \mathbb {N} }$ donde el 1 representa que viene de considerar la subsucesión convergente de la sucesión evaluada en $q_{1}$. Aunque no esté escrito explícitamente en la forma $f_{n_{k}}$ es importante recordar que las funciones $f_{1n}$ son un funciones que ya estaban en la sucesión de $f_{n}$. Por tanto, hemos construido una subsucesión de la sucesión original de funciones que ahora converge al evaluarla en $q_{1}$.
Ahora tomamos las funciones de la sucesión que acabamos de construir y las evaluamos en $q_{2}$: $(f_{1,n}(q_{2}))_{n\in \mathbb {N} }$. Como antes, esta sucesión tiene una parcial convergente que ahora denotaremos por $(f_{2,n}(q_{2}))_{n\in \mathbb {N} }$. Esta nueva sucesión de funciones, $(f_{2,n})_{n\in \mathbb {N} }$, converge al ser evaluada en $q_{1}$ por ser subsucesión de $(f_{1,n})_{n\in \mathbb {N} }$ y al ser evaluada en $q_{2}$ por construcción. Y podemos continuar así sucesivamente: ahora tomamos esta nueva sucesión y la evaluamos en $q_{3}$, obtenemos una subsucesión de la original $(f_{n})_{n\in \mathbb {N} }$ que converge al ser evaluada en $q_{1},q_{2}$ y $q_{3}$, esta nueva sucesión la evaluamos en $q_{4}$, etcétera.
Querríamos poder afirmar que hemos construido una subsucesión de la original que converge al ser evaluada en cualquier racional de $I$. Aquí es donde entra en juego el argumento diagonal. Escribimos las sucesiones que hemos construido:
$f_{1,1},f_{1,2},f_{1,3},f_{1,4},\dots$
$f_{2,1},f_{2,2},f_{2,3},f_{2,4},\dots$
$f_{3,1},f_{3,2},f_{3,3},f_{3,4},\dots$
$\vdots$
Tomamos la sucesión de las funciones que aparecen en la diagonal: $(f_{n,n})_{n\in \mathbb {N} }$. Esta sucesión converge en todos los racionales del intervalo: tomemos un cierto $q_{m}\in Q$. Para $n\geq m$, $f_{n,n}$ son una subsucesión de $(f_{m,n})_{n\in \mathbb {N} }$, y esta converge al ser evaluada en $q_{m}$ por construcción. Por tanto, $(f_{n,n})_{n\in \mathbb {N} }$ también.
Ahora, afirmamos que $(f_{n,n})_{n\in \mathbb {N} }$ converge uniformemente. Para ello, veamos que es uniformemente de Cauchy. Es decir, queremos ver que, fijado $\varepsilon >0$, para $n,m$ suficientemente grandes se tiene que $\vert f_{n,n}(x)-f_{m,m}(x)\vert \leq \varepsilon \quad \forall x\in I$.
Por equicontinuidad, para ese $\varepsilon$, existe $\delta =\delta (\varepsilon )$ tal que $\forall x,y\in I$ se tiene que $\vert x-y\vert \leq \delta \Rightarrow \vert f_{n}(x)-f_{n}(y)\vert \leq {\tfrac {\varepsilon }{3}}\quad \forall n\in \mathbb {N}$ (aquí estamos usando de hecho la equicontinuidad uniforme, pero podemos porque $I$ es compacto). Como $Q$ es denso en $I$, tenemos que $\bigcup _{q\in Q}B(q,\delta )\supseteq I$ y, por compacidad de $I$, existe un número finito de $q\in Q$ cuyas bolas ya recubren $I$: $I\subseteq B(q_{1}^{\delta },\delta )\cup \dots \cup B(q_{r}^{\delta },\delta )$. Además, $(f_{n,n}(b_{j}^{\delta }))_{n\in \mathbb {N} }$ son sucesiones convergentes, luego de Cauchy: $\exists l_{j}:\forall n,m\geq l_{j}\quad \vert f_{n,n}(b_{j}^{\delta })-f_{m,m}(b_{j}^{\delta })\vert \leq {\tfrac {\varepsilon }{3}}$. Tomemos $n_{\varepsilon }=\min\{l_{1},\dots ,l_{r}\}$.
Ahora, dado $x\in I$ arbitrario, si $n,m\geq n_{\varepsilon }$, tenemos que existe un $b_{j}^{\delta }$ tal que $\vert x-b_{j}^{\delta }\vert \leq \delta$ porque $x\in I\subseteq B(q_{1}^{\delta },\delta )\cup \dots \cup B(q_{r}^{\delta },\delta )$, así que
$\vert f_{n,n}(x)-f_{m,m}(x)\vert \leq \vert f_{n,n}(x)-f_{n,n}(b_{j}^{\delta })\vert +\vert f_{n,n}(b_{j}^{\delta })-f_{m,m}(b_{j}^{\delta })\vert +\vert f_{m,m}(b_{j}^{\delta })-f_{m,m}(x)\vert \leq {\tfrac {\varepsilon }{3}}+{\tfrac {\varepsilon }{3}}+{\tfrac {\varepsilon }{3}}=\varepsilon$
Así, $(f_{n,n})_{n\in \mathbb {N} }$ es uniformemente de Cauchy, por lo que es uniformemente convergente, como queríamos.

### Implicación inversa

Veamos el recíproco. Supongamos que toda sucesión de ${\mathcal {F}}$ tiene una parcial convergente y veamos que ${\mathcal {F}}$ es uniformemente acotado y equicontinuo.
Veamos primero que es equicontinuo. Si no lo fuera, $\exists \varepsilon >0$ tal que $\forall \delta >0\quad \exists x,y\in I,f\in {\mathcal {F}}:\vert x-y\vert \leq \delta$ pero $\vert f(x)-f(y)\vert >\varepsilon$. Fijamos este $\varepsilon$ y, para $\delta ={\tfrac {1}{n}}$ para cada $n\in \mathbb {N}$, podemos construir sucesiones $(x_{n}),(y_{n})$ de puntos y $(f_{n})$ de funciones de ${\mathcal {F}}$ tales que para todo $n\in \mathbb {N}$ se tiene que $\vert x_{n}-y_{n}\vert \leq {\tfrac {1}{n}}$ pero $\vert f_{n}(x_{n})-f_{n}(y_{n})\vert >\varepsilon$. Por hipótesis $(f_{n})_{n\in \mathbb {N} }$ tiene una subsucesión $(f_{n_{k}})_{k\in \mathbb {N} }$ uniformemente convergente a una cierta función $f\in {\mathcal {C}}(I,\mathbb {R} )$ (por ser el límite uniforme de funciones continuas continuo). Ahora tenemos que
$\varepsilon <\vert f_{n_{k}}(x_{n_{k}})-f_{n_{k}}(y_{n_{k}})\vert \leq \vert f_{n_{k}}(x_{n_{k}})-f(x_{n_{k}})\vert +\vert f(x_{n_{k}})-f(y_{n_{k}})\vert +\vert f(y_{n_{k}})-f_{n_{k}}(y_{n_{k}})\vert \leq \epsilon$,
donde cada uno de los sumandos se puede hacer menor que ${\tfrac {\varepsilon }{3}}$ para $k$ suficientemente grande por convergencia uniforme de $(f_{n_{k}})_{k\in \mathbb {N} }$ hacia $f$ y continuidad de $f$. Pero esto último es una contradicción ($\varepsilon <\varepsilon$), por lo que ${\mathcal {F}}$ debe ser equicontinuo.
Veamos ahora que es puntualmente acotado. Si ${\mathcal {F}}$ no fuera puntualmente acotado, existiría un $x\in I$ tal que $\forall n\in \mathbb {N} \quad \exists f_{n}\in {\mathcal {F}}:\vert f_{n}(x)\vert \geq n$ (todas las posibles cotas (naturales) fallan). Esta sucesión no tiene ninguna parcial uniformemente convergente pues, si tuviera una, sería uniformemente acotada (uniformemente convergente implica uniformemente acotada), pero esto es una contradicción, pues es subsucesión de $(f_{n})$, que no lo es.
Veamos que al ser $I$ compacto, el hecho de ser puntualmente acotado y equicontinuo ya implica ser uniformemente acotado. En efecto, para $\varepsilon =1$, por ejemplo, existe $\delta >0$ tal que $\vert x-y\vert \leq \delta \Rightarrow \vert f(x)-f(y)\vert \leq 1\quad \forall x,y\in I,f\in {\mathcal {F}}$. Ahora, $\bigcup _{y\in I}B(y,\delta )\supseteq I$ y, por ser $I$ compacto, existen $y_{1},\dots ,y_{r}\in I$ tales que $I\subseteq B(y_{1},\delta )\cup \dots \cup B(y_{r},\delta )$.
Como cada conjunto $\{f(y_{j}):f\in {\mathcal {F}}\}$ es acotado (${\mathcal {F}}$ es puntualmente acotado), tenemos que $\forall f\in {\mathcal {F}}$ $\vert f(y_{j})\vert \leq M_{j}$ para ciertas cotas $M_{1},\dots ,M_{r}$. Tomamos $M=\max\{M_{1},\dots ,M_{r}\}$ y afirmamos que $M+1$ es una cota uniforme. En efecto, dado $x\in I\subseteq B(y_{1},\delta )\cup \dots \cup B(y_{r},\delta )$, existe $y_{j}$ tal que $\vert x-y_{j}\vert \leq \delta$, lo que, por equicontinuidad, implica que $\vert f(x)-f(y_{j})\vert \leq 1\quad \forall f\in {\mathcal {F}}$. Por tanto, $\vert f(x)\vert \leq \vert f(y_{j})\vert +1\leq M_{j}+1\leq M+1$, y esto vale para toda $f\in {\mathcal {F}}$ y para todo punto $x\in I$, como queríamos. $\quad \square$

## Generalizaciones
### A espacios topológicos

El teorema se puede generalizar a funciones continuas entre dos espacios topológicos generales. En este caso, lo que dice el teorema es lo siguiente:
Sea $X$ un espacio topológico compacto, $Y$ un espacio métrico completo. Un conjunto $H\subset C(X,Y)$ (el espacio de las funciones continuas de $X$ en $Y$) será relativamente compacto en la topología de la métrica del infinito si y solamente si:
* $H$ es equicontinuo
* Para todo $x\in X$, el conjunto $H_{x}=\{f(x):f\in H\}$ es relativamente compacto en $Y$.
Debe tenerse en cuenta que si $Y=\mathbb {R}$, la condición 2 es equivalente a pedir que para cada $x\in X$, el conjunto $H_{x}$ sea acotado. En este mismo caso, se cumple que si además $X$ es un espacio topólogico conexo, basta verificar que existe un $x$ tal que la condición 2 se cumple, y automáticamente se tendrá para todos.