Documentos de Académico
Documentos de Profesional
Documentos de Cultura
El Teorema de ArzelA Ascoli PDF
El Teorema de ArzelA Ascoli PDF
Compacidad y
densidad en C(X, Y )
1. El teorema de Arzelà-Ascoli
En esta sección clasificaremos los subespacios compactos de CA (X, Y ),
donde X es compacto y Y = Rl . Cuando X no es compacto esta tarea es
más dificil, y estudiaremos el caso cuando X es un conjunto abierto en Rl
en la siguiente sección.
Por ahora, asumiremos que el espacio métrico (X, d) es compacto. Re-
cordemos que en tal caso podemos denotar a CA (X, Y ) simplemente como
C(X, Y ).
Primero haremos notar que, en general, C(X, Y ) no es compacto.
Ejemplo 5.1. Si Y no es acotado, entonces C(X, Y ) no es acotado, como
lo muestra fácilmente la colección de funciones constantes {fy }y∈Y , donde
fy (x) = y para todo x ∈ X.
Ejemplo 5.2. Si Y es acotado, entonces C(X, Y ) es también acotado. Sin
embargo, ni siquiera cuando Y es compacto C(X, Y ) es compacto.
Consideramos por ejemplo el espacio C([0, 1], [0, 1]) y la sucesión de fun-
ciones (
1 − nx if 0 ≤ x ≤ n1 ,
fn (x) =
0 if n1 < x ≤ 1.
(Véase la figura 1.) Esta sucesión no puede tener subsucesiones convergentes,
como vimos en el ejemplo 3.26. Entonces C([0, 1], [0, 1]) no es secuencialmen-
te compacto, y por lo tanto no es compacto.
79
80 5. Compacidad y densidad en C(X, Y )
1 1
n
1 1
n
1 3
2n 2n
2. Sucesiones de funciones en Rm
El teorema de Arzelá-Ascoli clasifica los subespacios compactos del es-
pacio C(X, Rl ) solo cuando X es compacto, y es claro que la compacidad
del dominio es necesaria.
Sin embargo, el corolario 5.11 se puede modificar de la siguiente manera,
la cual es de hecho la versión más útil de los resultados anteriores.
Teorema 5.12. Sea Ω un conjunto abierto en Rm y (fn ), fn : Ω → Rl ,
una sucesión de funciones continuas en Ω (no necesariamente acotadas)
equicontinua y acotada punto por punto. Entonces existe una subsucesión de
(fn ) que converge uniformemente en cada subconjunto compacto de Ω. Es
decir, existe una subsucesión (fnk ) y una función continua f : Ω → Rl tal
que, para todo compacto E ⊂ Ω, fnk → f en C(E, Rl ).
3. El teorema de Stone-Weierstrass
En esta sección demostraremos el teorema de aproximación de Stone-
Weierstrass, el cual enlista familias de funciones densas en C(X) = C(X, R).
Este teorema, al igual que el de Arzelà-Ascoli estudiado en la sección ante-
rior, también se refiere al espacio de funciones continuas definidas en espacios
compactos X.
Recordemos que A es denso en un espacio métrico X si A ⊃ X. Ésto es
equivalente a decir que A es denso en X si, para todo ε > 0 y x ∈ X, la bola
Bε (x) interseca al conjunto A; es decir, existe a ∈ A tal que d(x, a) < ε.
Consideremos ahora el caso C([a, b]), el espacio de funciones continuas
reales en [a, b], y P, el conjunto de las funciones polinomiales. La versión
clásica del teorema de aproximación de Weierstrass es la siguiente.
2La demostración de Bernstein es constructiva. De hecho, si [a, b] = [0, 1], Bernstein de-
mostró que la sucesión de polinomios (ahora llamados polinomios de Bernstein)
Xn k n
Bn (x) = f xk (1 − x)n−k
n k
k=0
c a b d
Demostración. Sea
M = máx{1, |a|, |b|, |a2 |, |b2 |, . . . , |an |, |bn |}.
Si p(x) = a0 + a1 x + . . . an xn es un polinomio y ε > 0, sean r0 , r1 , . . . , rn ∈ Q
tales que
ε
|ai − ri | ≤ , i = 0, 1, . . . , n,
nM
y p0 (x) = r0 + r1 x + . . . + rn xn . Entonces, para x ∈ [a, b]),
n
X
|p(x) − p0 (x)| ≤ |ai − ri ||xn | < ε.
i=0
Esto implica que el conjunto de polinomios con coeficientes racionales PQ es
denso en P, y por lo tanto denso en C([a, b]). Como PQ es contable, C([a, b])
es separable.
es continua en [0, 2π], con g(0) = g(2π). De manera inversa, si g ∈ C([0, 2π])
y g(0) = g(2π), podemos definir f : T → R por
n
X
T (x) = ak cos(kx) + bk sen(kx) .
k=0
1
cos nx cos mx = cos(n − m)x + cos(n + m)x
2
1
sen nx sen mx = cos(n − m)x − cos(n + m)x
2
1
cos nx sen mx = sen(n + m)x − sen(n − m)x .
2
Ejercicios