Analisis Matematico I.

Notas de Clase
Sanchez Garrido Jose L.
4 de abril de 2016

1.
1.1.

Espacios M
etricos
Definici
on y Ejemplos

Definici
on 1.1. Un espacio metrico es un par (X, d), donde X es un conjunto (la reserva
de puntos), y d una funcion (la distancia, o metrica) d : X X R+ que cumple las
siguientes propiedades:
1. d(x, y) 0, y d(x, y) = 0 x = y (no negatividad ).
2. d(x, y) = d(y, x) (simetra).
3. d(x, y) d(x, z) + d(z, y) x, y, z X (desigualdad del triangulo).
Por lo regular, y siempre que no se preste a confusion, se escribira smplemente X.
Ejemplo 1.1. Sean X arbitrario, y

{
0 si x = y.
d(x, y) =
1 si x = y.

A esta metrica se le conoce como metrica discreta.

Ejemplo 1.2. X = R, y d(x, y) = |x y|.
Ejemplo 1.3. X = Rn , x = (x1 , . . . , xn ), y = (y1 , . . . , yn ).
]1/2
[
n
2
(xk yk )
d(x, y) =
k=1

Ejemplo 1.4. X = Rn , x = (x1 , . . . , xn ), y = (y1 , . . . , yn ).

d1 (x, y) =

|xk yk |

k=1

Ejemplo 1.5. X = Rn , x = (x1 , . . . , xn ), y = (y1 , . . . , yn ).

d0 (x, y) = max |xk yk |
1kn

Ejemplo 1.6. Vamos a considerar un ejemplo mas elaborado. Sea (X, d), con X el
conjunto de todas las funciones continuas sobre el intervalo [a, b], X = {f : [a, b]
R | f es continua}, y:
d(f, g) = sup |f (x) g(x)|
x[a,b]

A esta metrica se le conoce como la metrica del supremo. Cuando veamos convergencia,
se vera que la convergencia puntual en este espacio coincide con la convergencia uniforme
de funciones.
2

Ejemplo 1.7. (X, d) un espacio metrico arbitrario. La funcion (x, y) =

d(x, y)
es
1 + d(x, y)

una metrica.
Ejemplo 1.8. Una familia infinita de distancias para un mismo espacio. Sean X = Rn ,
p 1, y
(
)1/p
n
p
dp (x, y) =
|xk yk |
k=1

El interes en esta familia, consiste en que d1 coincide con la del ejemplo 1.4, d2 es la
metrica euclideana (ejemplo 1.3). Ademas, es un ejercicio interesante demostrar que
lm

(
n

)1/p
|xk yk |

k=1

esta bien definido, y coincide con la metrica del ejemplo 1.5.

Hasta ahora no hemos demostrado que las funciones distancia enunciadas en los ejemplos
cumplan, en efecto, con la definicion 1.1. Vamos entonces a demostrar la desigualdad del
triangulo para las distancias dp de este ejemplo. Fijemos p > 1. Mostraremos que:
[
n

]1/p
|xk yk |

[
n

]1/p
|xk zk |

]1/p
|zk yk |

(1.1)

k=1

k=1

k=1

[
n

La desigualdad (1.1) es muy importante, y recibe el nombre de desigualdad de Minkowsky.

Probaremos primero la desigualdad de Holder (1.2), en donde p > 1, q > 1, y ademas
1
+ 1q = 1:
p
n

|xk yk |

[
n

|xk |

]1/p [
n

k=1

k=1

]1/q
|yk |

(1.2)

k=1

Para probar (1.2), primero se observa que la desigualdad es homogenea, es decir, si se

cumple para x, y Rn , entonces tambien se cumple para x, y, con , R. Por tanto,
y sin perdida de generalidad, supongamos que
n

|xk |p =

k=1

Mostraremos que en este caso,

|yk |q = 1.

(1.3)

k=1

|xk yk | 1.

k=1

(1.4)

Para la demostracion de (1.4), vamos a utilizar la siguiente desigualdad: Si a, b 0,

p, q > 1 con p1 + 1q = 1, entonces
ap bq
ab
+
(1.5)
p
q
Sean ahora a = |xk |, b = |yk |, y consideremos la suma sobre k:
n

1
p

|xk yk |

k=1

|xk |p +

k=1

1
q

|xk |p + p

k=1

|yk |q =

|yk |q

k=1

=1

pq

k=1

Con esto, queda demostrada (1.4), y por tanto, (1.2). Ahora bien, si a, b 0, es inmediata
la identidad:
(a + b)p = a(a + b)p1 + b(a + b)p1
Sean ak = xk zk , bk = zk yk . Al sumar sobre k, y aplicar (1.2) (y dado que (p1)q = p):
n

n
n
(
)p1
(
)p1
)p
|bk | |ak | + |bk |
|ak | |ak | + |bk |
+
|ak | + |bk | =

k=1

([
n

[
n
(

]1/p
|ak |

k=1

k=1

)p
|ak | + |bk |

[
n

]1/p

|bk |

]1/p )[
n

k=1

[
n

]1/p
|ak |

)p
|ak | + |bk |

k=1

[
n

]1/q

]1/p
|bk |

(1.6)

k=1

k=1

k=1

k=1

Finalmente, es un ejercicio sencillo ver que (1.6) implica (1.1). Con los ejemplos mostrados,
resulta evidente que a una misma reserva de puntos la podemos dotar con diferentes
metricas.
Definici
on 1.2. Sea X un conjunto, y d1 , d2 dos metricas. Diremos que las metricas son
equivalentes si existen constantes positivas c1 y c2 tales que para todos x, y X:
c1 d1 (x, y) d2 (x, y) c2 d1 (x, y)
n
Ejemplo
y d1 son equivalentes. En efecto, como
(
)2 1.9. En R2 , las metricas euclideana
2
d(x, y) = (x
1 y1 ) + . . . + (xn yn ) , es claro que para 1 k n, |xk yk | d(x y),
y por tanto, nk=1 |xk yk | nd(x y). Por otra parte,
[
]2
n
n
n

)2
(
2
|xk yk | + 2
|xk yk | |xj yj |
xk yk
|xk yk | =
k=1

k=1

k=j

k=1

n
n

1
|xk yk | d(x, y)
|xk yk |
n k=1
k=1

No es difcil ver que tambien son equivalentes las metricas euclideana y d0 .

4

Definici
on 1.3. Sea (X, d) un espacio metrico, y Y X. Diremos que (Y, d|Y Y ), con
d|Y Y : Y Y R+ (la restriccion de d en Y ) es un subespacio metrico.
Definici
on 1.4. Dados x X y r > 0, definimos la bola abierta, o vecindad B(x, r) con
centro en x y radio r como el conjunto de las y X tales que d(x, y) < r.
De la misma forma, la bola cerrada B(x, r) con centro en x y radio r es el conjunto de las
y X tales que d(x, y) r.
r) es el conjunto
Finalmente, la bola o vecindad agujerada con centro en x y radio r B(x,
de las y X tales que 0 < d(x, y) < r.
En calculo nos acostumbramos a ver las bolas como intervalos, discos, o esferas. En general,
la forma geometrica de las bolas dependera de la metrica. En la figura 1 se muestran las
bolas centro en x y radio 1 bajo distintas metricas dp .
d1 (x, y)
d5/4 (x, y)
d2 (x, y)
d3 (x, y)
d (x, y)
x

Figura 1: Forma geometrica de las bolas en R2 bajo distintas metricas

1.2.

Topologa de los espacios m

etricos

Definici
on 1.5. Sean X un espacio metrico, x X, y A X.
(i) x es un punto interior de A si existe r > 0 tal que la bola con centro en x y radio
r esta totalmente contenida en A, es decir
B(x, r) A
(ii) Si todo x A es punto interior de A, diremos que el conjunto A es abierto en X.
(iii) Un punto x X es punto lmite de A X si cualquier vecindad de X contiene un
r) A = .
punto y A, con x = y, es decir B(x,
5

(iv) Si x X no es punto lmite, diremos que x es punto aislado.

(v) A es cerrado si todo punto lmite de A pertenece a A.
(vi) A es perfecto si A es cerrado y todo x A es punto lmite.
(vii) A es acotado si existe M > 0 y x A tales que A B(x, M ).
(viii) A es denso en X si todo punto de X es punto lmite de A, o punto de A.
Teorema 1.1. Toda bola abierta es un abierto.
n. Sean A = B(x, r), e y A, es decir, d(x, y) = h < r. Ahora, para todo
Demostracio
z tal que d(y, z) < r h se tiene que:
d(x, z) d(x, y) + d(z, y) = h + r h = r
y z A. Por tanto, todo punto y A es punto interior.
Teorema 1.2. Si x X es punto lmite de A X, entonces todo abierto de x contiene
una infinidad de puntos de A.
n. Dado x, y un abierto que lo contiene, supongamos que solo contiene
Demostracio
un n
umero finito de puntos de A. Sean x1 , x2 . . . , xn , y consideremos bolas con centros en
estos puntos, y radios rk . Consideremos ahora r = mn {rk }. Entonces
1kn

r) A =
B(x,
Pero en este caso, x no es punto lmite de A.
Teorema 1.3. Un conjunto A X es abierto si y solo s su complemento Ac = X \ A
es cerrado.
n. ) Ac cerrado, y x A. Como Ac es cerrado, x no es punto lmite de
Demostracio
Ac , por lo que existe B(x, r), r > 0, tal que B(x, r) Ac = , y por lo tanto, B(x, r) A,
por lo que x es punto interior de A, y A es abierto.
r)
) Supongamos que A es abierto, y sea x punto lmite de Ac . Para todo r > 0, B(x,
Ac = , y x no puede ser punto interior de A, x Ac y ademas es punto lmite de Ac ,
y Ac es cerrado.
El siguiente resultado es el que nos permite hablar de topologas en espacios metricos.

Teorema 1.4. (i) Para toda colecci

on {G | } de conjuntos abiertos,
G es

abierto.
6

(ii) Para toda coleccion finita {Gk |1 k n} de conjuntos abiertos,

Gk es abierto.

k=1

n. (i) Sean G =
Demostracio

G , y x G. Entonces x G para alg

un , y

como G es abierto, x es punto interior de G , por lo que existe r > 0 tal que B(x, r) G ,
y por tanto, x es punto interior de G.
n

(ii) Sean G =
Gk , y x G. Existen r1 , r2 , . . . , rn > 0 tales que B(x, rk ) Gk , para
k=1

k = 1, . . . n. Sea r = mn{r1 , r2 , . . . rn }. Es claro que r > 0, y que B(x, r) Gk para

1 k n, por lo que B(x, r) G, y x es punto interior de G.
El teorema (1.4) tiene el siguiente corolario inmediato.
Corolario
on {G | } de conjuntos cerrados, el conjunto
1.5. (i) Para toda colecci
G es cerrado.

(ii) Para toda coleccion finita {Gk |1 k n} de conjuntos cerrados,

Gk es cerrado.

k=1

La demostracion se sigue directamente del teorema (1.3), y de las leyes de DMorgan:

[ ]c
[ ]c
c
G =
G
G =
Gc

Por supuesto, en el teorema (1.4 (ii)) (o en su corolario), no podemos prescindir de la

palabra finito, como se muestra en el siguiente ejemplo tpico.
(
)
Ejemplo 1.10. Para cada k N, definamos los abiertos Gk = k1 , 1 + k1 . Entonces la

Gk = [0, 1] es cerrado en R.
interseccion numerable
k=1

Definici
on 1.6. Sean X espacio metrico, y A X. El conjunto
A = {x X|x es punto lmite de X}
recibe el nombre de conjunto derivado de X. Al conjunto A = A A se le llama cerradura
(o adherencia) de A.
Teorema 1.6. Sea A X. Entonces:
(i) A es cerrado.
7

(ii) A = A si y solo s A es cerrado.

(iii) A B para cualquier B X cerrado tal que A B.
El teorema (1.6 (iii)) se suele expresar de la siguiente manera: La cerradura de A es el
mnimo de todos los conjuntos cerrados que lo contienen.
es decir, x
n. i) Sea x X, x
Demostracio
/ A,
/ A, x
/ A , por lo que existe r > 0 tal
que B(x, r) Ac , y x es punto interior de Ac . Por tanto, Ac es abierto A es cerrado.
ii) A = A A A = A A A A es cerrado.
iii) Como B es cerrado, y A B, entonces A B B, de donde se sigue que A A =
A B.

Definici
on 1.7. Dados A, B X espacio metrico. Se dice que A es denso en B si B A.
Ademas, se dice que A X es denso en ninguna parte (o que es nunca denso) si A no es
denso en ninguna bola B(x, r).
Definici
on 1.8. Un espacio metrico X se llama separable si existe un conjunto numerable

A X denso en X, esto es, X = A.

Ejemplo 1.11. En X = (Rn , dp ), A el conjunto de todos vectores de coordenadas racionales.
(
)
Ejemplo 1.12. En C[a, b] = {f : [a, b] R}, con d x(t), y(t) = sup {|x(t) y(t)|}, A
t[a,b]

el conjunto de todos los polinomios con coeficientes racionales.

Por supuesto, no todos los espacios metricos son separables, como se muestra en el siguiente ejemplo:
Ejemplo 1.13. Sea X el conjunto de todas las sucesiones acotadas de n
umeros reales:
{
}
X = x = (x1 , x2 , . . . , xn , . . .)| |xn | < M, M > 0
{
}
con la metrica d(x, y) = sup |xn yn |. Sea A = x X|xn {0, 1} . Es facil ver que
nN

A es no numerable (su cardinalidad

es 20 ). Para cada x A, consideremos la bola con
( 1)
1
centro en x y radio 2 , B x, 2 . Ahora bien, si x, y A, con x = y, d(x, y) = 1, lo que
implica que
)
(
)
(
B x, 21 B y, 12 = siempre que x = y.
Supongamos ahora que tenemos un conjunto denso B X. Cualquiera
que sea este
(
)
conjunto, debe contener, necesariamente, al menos un punto en B x, 21 para toda x A,
por lo que dicho conjunto B no puede ser numerable.

La estructura de los abiertos y cerrados en espacios metricos arbitrarios puede ser muy
complicada. Incluso en Rn podemos encontrar muy difcil el dar una descripcion geometrica. Sin embargo, en R con la metrica euclideana, la estructura de los abiertos es particularmente simple.
Teorema 1.7. Todo abierto en R es la union de un n
umero a lo mas numerable de
intervalos ajenos.
n. Sea G R un abierto, y x G. Como x es punto interior de G, existe
Demostracio
necesariamente un intervalo abierto B(x, r), con r > 0, totalmente contenido en G, es
decir, B(x, r) G. Definimos para x el siguiente conjunto:
{
}
Ix = B(y, r) G|x B(y, r)
En palabras, definimos a Ix como la union de todos los intervalos abiertos que contienen
a x, y que estan totalmente contenidos en G. Sean ahora a = nf Ix , b = sup Ix (puede
suceder que a = , b = ). Tenemos que demostrar que Ix es en s un intervalo, de
hecho, Ix = (a, b).
La primera parte es clara, Ix (a, b). Sea ahora y (a, b), y supongamos, sin perdida
de generalidad, que a < y < x. En esta situacion, existe y G tal que a < y < y, y
por tanto, existe un intervalo (x1 , x2 ) G que contiene tanto a x como a y , y ademas,
y (x1 , x2 ). Pero esto u
ltimo implica que y Ix . Por tanto, (a, b) Ix .
Ahora bien, dados x = y G, los intervalos correspondientes Ix e Iy
son ajenos o coinciden. Y G puede escribirse como una union de intervalos abiertos G =
. Para demostrar
xG

que esta union es a lo mas numerable, podemos poner en correspondencia a cada Ix con
un subconjunto propio de los racionales, esto es, para cada Ix elegimos qx Ix Q, y la
union anterior es a lo mas numerable.
1.2.1.

Compacidad

Definici
on 1.9. Sean Y X espacios metricos. Un conjunto E Y es abierto relativo
en Y si y solo s E = Y G, para alg
un subconjunto abierto G X.
Definici
on 1.10. Sea A X. Una
cubierta abierta de E es una coleccion {G | }
de abiertos en X tales que E
G .

Definici
on 1.11. Diremos que un subconjunto K X, X espacio metrico, es compacto
si toda cubierta abierta de K contiene una subcubierta finita.

Es pertinente observar que los conceptos de subconjuntos abiertos y cerrados son relativos,
es decir, dependen del espacio metrico en donde se encuentran. Por otra parte, el concepto
de compacidad es hasta cierto punto, independiente del espacio metrico, como muestra el
siguiente resultado.
Teorema 1.8. Sean X, Y espacios metricos, y K Y X. K es compacto en Y si y
solo s K es compacto en X.
n. ) Sea {G | } una cubierta abierta de K en X. Para cada abierto
Demostracio
G X, el conjunto V = Y G es abierto relativo en Y , y define una cubierta
abierta de K en Y . Ahora, como K Y es compacto, podemos extraer una subcubierta
n
n

n
finita V1 , V2 , . . . , Vn tal que K
Vk . Pero entonces, como k=1 Vk
G k ,
k=1

k=1

G1 , G2 , . . . , Gn es una subcubierta finita de K X, y por tanto, K es compacto en

X.
) Consideremos ahora una cubierta abierta de K en Y , {V | }. Los subconjuntos
V son abiertos relativos en Y , por lo que existen subconjuntos abiertos G X tales que
V = Y G . Ahora, y dado que K X es compacto, podemos extraer una subcubierta
n

finita G1 , G2 , . . . , Gn tal que K

Gk . Pero entonces
k=1

)
n (
n

K =K Y
Gk Y =
V k
k=1

k=1

y V1 , V2 , . . . , Vn es una subcubierta finita de K en Y , y K es compacto en Y .

Teorema 1.9. Si un subconjunto K de un espacio metrico X es compacto, entonces es
cerrado.
n. Vamos a demostrar que el complemento de K en X es abierto. ConsideDemostracio
remos x X \ K = K c , y para cada y K, sea ry = 12 d(x, y), y construimos las siguientes
bolas: Gy = B(y, ry ), Vy = B(x, ry ). Por la eleccion de ry , es claro que Gy Vy = . Dado
que la coleccion {Gy |y K} es una cubierta abierta de K, podemos extraer un n
umero
n
n

Vyk es
finito de puntos y1 , y2 , . . . , yn tales que K G =
Gyk . Pero entonces, V =
k=1

k=1

abierto, y
GV =

(
n
k=1

Gyk

) (
n
k=1

)
Vyk

)
n (
n
n

)
(
=
Gyk
Vyk
Gyk Vyk =
k=1

k=1

k=1

por lo que cada x K c es punto interior de K c , y por tanto, K c es abierto.

10

Teorema 1.10. Sea A K cerrado, K compacto. Entonces A es compacto.

n. A es cerrado. Consideremos = {G | } una cubierta abierta de
Demostracio
A. Si a le agregamos K \A (que es abierto en K), obtenemos una cubierta abierta de K, y
dado que K es compacto, podemos extraer una subcubierta finita {G1 , G2 . . . , Gn , K \
n

A} tal que K
Gk K \ A. Pero si de esta subcubierta finita quitamos K \ A, nos
k=1

queda una subcubierta finita para A.

El siguiente resultado es consecuencia inmediata de los dos teoremas anteriores.
Corolario 1.11. Si A es cerrado y K compacto, entonces A K es compacto.
Teorema 1.12. Sea {K | } es una colecci
on arbitraria de subconjuntos compactos
no vacios en un espacio metrico X, con la propiedad de que la intersecci
on de cualquier
subcolecci
on finita de ellos es no vacia, entonces

K =

n. Fijemos K {K }, y consideremos los abiertos G = X \ K . SuponDemostracio

gamos que ning

un x K esta en
K (esto es, suponemos que
K = ). En esta

situacion, es claro que {G | } es una cubierta abierta de K , y por tanto existen

n
n

G1 , G2 , . . . , Gn tales que K
Gk =
X \Kk . Pero esta u
ltima igualdad implica
que la interseccion finita,

(
n

k=1

Kk

k=1

K = , en contra del supuesto original.

k=1

Corolario 1.13. Si {Kn |n N} es una colecci

on numerable de compactos no vacios,

tales que Kn+1 Kn , entonces

Kn = .
n=1

n. Sea Kn1 , Kn2 , . . . , Knk una subcoleccion finita de compactos en la coDemostracio

leccion numerable. Si es necesario, reordenamos los ndices de manera que n1 < n2 < . . . <
nk . Por hipotesis, Knr Kns si nr < ns , por lo que la coleccion finita tiene interseccion
no vacia. Como se cumplen las hipotesis del teorema 1.12, se sigue el corolario.
Teorema 1.14. Si A K es infinito, entonces A tiene un punto lmite x K.
1

X = c =

)c

Kc =

11

 n. Supongamos que ning

Demostracio
un x K es punto lmite de A. Entonces, para
rx ) A = , esto es B(x, rx )
todo x K, existen bolas abiertas B(x, rx ) tales que B(x,
A = {x} si x A, y B(x, rx ) A = si x
/ A. Pero la coleccion B(x, rx ) es una cubierta
abierta de K, y en esta situacion no podemos extraer una cubierta finita que cubra a A,
ni a K, lo cual contradice la compacidad de K.

1.3.

Continuidad

Definici
on 1.12. Sean X e Y dos espacios metricos, y f : X Y . Diremos que f
es continua en x0 X si para todo > 0 existe > 0 tal que para todo x X con
dX (x0 , x) < , entonces dY (f (x0 ), f (x)) < . Ademas, si f es continua para todo x X,
diremos que f es continua en X.
Ejemplo 1.14. Sea X = Y = Rn , X con la metrica discreta, e Y con la metrica euclideana. Entonces no importa como se defina f : X Y , f es continua.
Teorema 1.15. Dados X, Y espacios metricos, y f : X Y . Son equivalentes:
(i) f es continua en X
(ii) Para todo A Y abierto, f 1 (A) es abierto en X.
(iii) Para todo A Y cerrado, f 1 (A) es cerrado en X.
n. Por el teorema 1.3, (ii) e (iii) son equivalentes.
Demostracio
(i) (ii)) Supongamos f continua, y sea A Y abierto, e y f 1 (A), esto es, f (y) A.
Ahora bien, A es abierto, por lo que existe > 0 tal que B(f (y), ) A, y como f
es continua, podemos elegir > 0 tal que, para cualquier x con d(y, x) < , entonces
d(f (y), f (x)) < , y por tanto, f (x) A, de donde se sigue que x f 1 (A), es decir, x
es punto interior de f 1 (A).
(i) (ii)) Sean x X y > 0, y consideremos la bola A = B(f (x), ) Y , que es abierto
en Y . Por hipotesis, f 1 (A) X es abierto, y existe > 0 tal que si y cumple d(x, y) < ,
entonces f (y) A, es decir, d(f (x), f (y)) < , por lo que f es continua en x.
Observacion 1.1. El teorema afirma que f es continua si f 1 (A) es abierto (cerrado)
siempre que A sea abierto (cerrado). No menciona a la imagen directa. En efecto, la
funcion f : R R, f (x) = x0 es continua. Sin embargo, manda a todo intervalo abierto
(a, b) a un solo punto (que es cerrado).
Otro contraejemplo lo constituye la funcion f : R2 R, f (x, y) = x (la proyeccion en
la primera coordenada), que manda el conjunto {(x, y) R2 |xy = 1} (cerrado) en R \ 0
(abierto).

12

Teorema 1.16. Sean X, Y, Z espacios metricos. Si f : X Y es continua en x, y

g : Y Y es continua en f (x), entonces g f es continua en x.
Si f es continua en X, y g es continua en Y , entonces g f es continua en X.
n. Supongamos que f e continua en x, y g es continua en y = f (x),
Demostracio
y sea > 0. Por la continuidad de g en y, existe > 0 tal que si dY (y, y1 ) < ,
entonces dZ (g(y), g(y1 )) < . Para la anterior, existe > 0 tal que si dX (x, x1 ) < ,
entonces dY (f (x), f (x1 )) < . Pero lo anterior siginifica que si dX (x, x1 ) < , entonces
dz (g f (x), g f (x1 ) < , y por tanto, g f es continua en x. Finalmente, y dado que
x X fue arbitraria, de aqu se sigue la segunda parte del teorema.
Definici
on 1.13. f : X Y es uniformemente continua si para todo > 0. existe > 0
tal que para todos los x, y X que cumplan dX (x, y) < , entonces dY (f (x), f (y)) < .
Definici
on 1.14. Una funcion entre espacios metricos f : X Y biyectiva, continua y
con inversa continua es un homeomorfismo, y se denota X Y .
Si la funcion f : X Y es biyectiva, uniformemente continua y con inversa uniformemente continua, diremos que X e Y son uniformemente homeomorfos, y lo denotaremos
u
X Y.
A priori, existe la inversa. Sin embargo, no necesariamente es continua, como se muestra
enseguida.
Ejemplo 1.15. Sean X = Y = Rn , con dX la metrica discreta, y dY la metrica euclideana.
La funcion Id : X Y es biyectiva, continua, pero la inversa no es continua.
Ejemplo 1.16. Sea f : [0, 1) S1 , donde S1 = {x R2 |x21 + x22 = 1}, y f la funcion
f (t) = (cos 2t, sin 2t). Es claramente continua, biyectiva, y la inversa no es continua en
(1, 0). En efecto, las imagenes de vecindades del (1, 0) son intervalos ajenos.
Ejemplo 1.17. Ahora veamos un homeomorfismo uniforme. Sean X = Y = Rn , con
dX = d1 , dY = d2 , y la identidad (como conjunto de puntos) de Rn . En el ejemplo 1.9
demostramos la siguiente desigualdad, valida para todos x, y X:
1
d1 (x, y) d2 (x, y) d1 (x, y) nd2 (x, y)
n
u

Con estas desigualdades, podemos demostrar que X Y . En efecto, dado > 0, entonces,
para todos x, y X, d2 (f (x), f (y)) = d2 (x, y) < implica que n1 d1 (x, y) d2 (x, y). Si
escribimos = n, esto muestra que id : X Y es uniformemente continua.
Si ahora consideramos f 1 = f , dado > 0, para todos x, y Y , d1 (f (x), f (y)) =
d1 (x, y) < implica que d2 (x, y) d1 (x, y). Por tanto, = muestra que la inversa es
uniformemente continua.
13

Ejemplo 1.18. Consideremos para este ejemplo a X = Y = Rn , con dX la metrica

dX (x, y)
euclideana, y dY la metrica definida por dY (x, y) =
. La funcion entre los
1 + dX (x, y)
espacios es de nuevo la identidad. Consideremos ademas que, para x 0, la funcion
x
es estrictamente creciente, por lo que al aplicarla a una desigualdad, la respeta,
x 7
1+x
x
y
x
es decir, si x < y, entonces
<
. Ademas, la inversa es x 7
, que tambien
1+x
1+y
1x
es creciente.
y

x
1x
x
1+x

Figura 2: x 7

x
x
, x 7
1+x
1x

Sean ahora > 0 y x Y . Entonces, para todo y Y tal que dY (f (x), f (y)) < , se
tiene:
dY (f (x), f (y)) = dY (x, y) =

dX (x,y)
1+dX (x,y)
dX (x,y)
1+d
X (x,y)

= dX (x, y) <

dX (x, y)
< =
1 + dX (x, y)

por lo que, si consideramos = mn{1, 1

}, se tiene que f es continua.

Para la inversa, sean x X y > 0. Para todo y X tal que dX (f 1 (x), f 1 (y)) < ,
entonces
dX (f 1 (x), f 1 (y)) = dX (x, y) < = dY (x, y) =
Y si hacemos =

,
1+

dX (x, y)

<
<
1 + dX (x, y)
1+

lo anterior muestra que f 1 es continua. Por tanto, X Y .

Con base en estos ejemplos, podemos volver a enunciar (y refinar) de nuevo la definicion
1.2.

14

Definici
on 1.15. Sean d1 , d2 dos metricas en un espacio metrico X. Diremos que d1 es
equivalente a d2 si id : (X, d1 ), (X, d2 ) es un homeomorfismo.
Ademas, d1 es uniformemente equivalente a d2 si id : (X, d1 ), (X, d2 ) es un homeomorfismo uniforme.
Definici
on 1.16. Sean X, Y dos espacio metricos. Una funcion f : X Y es una
isometra si para todos x, y X, dX (x, y) = dY (f (x), f (y)). En esta situacion, diremos
que X e Y son isometricos.
Si dos espacios metricos son isometricos, significa que todas las relaciones metricas coinciden, y solo la naturaleza de sus elementos es diferente. Desde el punto de vista de la
teora, los espacios son indistinguibles.
Ejemplo 1.19. X = R2 con
la metrica euclideana, es
isometrico a C, con la metrica
inducida por la norma: z = z z, es decir, dC (z, w) = (z w)(z w). La isometra
es (x, y) 7 x + iy.
El concepto de compacidad, cuando se une al de continuidad, nos proporciona resultados
u
tiles.
Teorema 1.17. Si f : X Y es continua, X, Y espacios metricos, y X compacto,
entonces f (X) es compacto.
n. Sea {G | } una cubierta abierta de f (X). Como f es contiDemostracio
nua, se sigue del teorema 1.15 que f 1 (G ) es abierto en X, y {f 1 (G )} es una cubierta abierta de X. Por la compacidad de X, podemos extraer una subcubierta finita
n

1
1
f (G1 ), . . . , f (G1 ) tal que X =
f 1 (Gk ). Por tanto,
k=1

f (X) = f

(
n

)
n
n
(
)
(Gk ) =
f f 1 (Gk ) =
G k

k=1

k=1

k=1

y G1 , . . . , G1 es una subcubierta finita de f (X), y por tanto, f (X) es compacto.

Teorema 1.18. Si f : X Y , X, Y espacios metricos compactos, y f continua y biyectiva, entonces X Y .
n. Como hemos comentado antes, el que f sea biyectiva nos asegura la
Demostracio
existencia de la inversa. Tenemos que mostrar que la inversa, f 1 , es continua en Y . Sean
A X cerrado, y f (A) su imagen en A. Por ser A cerrado en un compacto, es compacto
(teorema 1.10), y por el teorema 1.17, f (A) es compacto, y por tanto cerrado en Y (de
nuevo por el teorema 1.10). Esto es, la imagen inversa (y aqu estamos usando a f como
la inversa de f 1 ) de un cerrado A X es cerrado en Y . Se sigue del teorema 1.15 que
f 1 es continua, y por tanto, f es un homeomorfismo entre X e Y .
15

1.4.

Convergencia

Definici
on 1.17. Una sucesion en un espacio metrico es una una funcion a : N X.
Por lo regular, denotaremos a las sucesiones por sus imagenes, y en lugar de utilizar la
notacion funcional, usaremos subndices, {an }.
Definici
on 1.18. Diremos que una sucesion {an } X converge si existe x X tal que
para todo > 0, existe N > 0 tal que si n N , entonces dX (x, an ) < .
Si {an } no converge, diremos entonces que diverge.
Notacion. Para denotar que la sucesion {an } converge, utilizaremos de manera indistinta
las siguientes notaciones:
an x
an x cuando n
lm an = x

De manera analoga, sera indistinto decir {an } converge hacia x, o que x es el lmite de
{an }.
Teorema 1.19. Sea {an } X.
(i) {an } converge hacia x X si y solo s toda vecindad de x contiene todos los terminos
de {an } salvo un n
umero finito de ellos.
(ii) Si an x y an y, entonces x = y.
(iii) Si an converge, entonces {an } es acotado.
(iv) Si A X y x es punto lmite de de A, existe una sucesi
on {an } A para la cual
an x.
n. (i) ) Sea A un abierto que contiene a x. Por ser x punto interior,
Demostracio
existe una bola con centro en x de radio > 0 tal que B(x, ) A. Pero por hipotesis,
{an } converge a x, por lo que existe N > 0 tal que si n N , d(x, an ) < , por lo que,
necesariamente, an B(x, ) A siempre que n N .
(i) ) Sean > 0, A = B(x, ). Definamos ahora N = max{n N|an
/ A}. Tal N existe
y es finito, dado que por hipotesis solo un n
umero finitos de terminos de la sucesion no
estan en A. Por tanto, si n N , d(x, xn ) < , y por tanto, lm an = x
n

(ii) Sea > 0. Como {an } x, existe N1 > 0 tal que si n N1 , d(x, an ) < . Ademas,
{an } y, por lo que existe N2 >) tal que si n N2 . Sea ahora N = max{N1 , N2 }, y si
n N , d(x, y) d(x, an ) + d(y, am ) < 2. Pero esto u
ltimo implica que x = y.
16

(iii) Sea > 0, y dado que {an } converge a x, existe N > 0 tal que si n N , entonces
d(x, an ) < . Consideremos M = max {d(x, an )}. Se sigue de lo anterior que {an }
1kN

B(x, r), donde r = max{M, }.

(
)
x, 1 . Se sigue del teorema 1.2 que hay una
(iv) Para cada n N, consideremos B
n
(
)
x, 1 A = . Por tanto, para cada n, podemos elegir an
infinidad de puntos de A en B
n
distinto de ak , para 1 k < n. Sea ahora > 0, y N > 0 tal que N > 1 . Si n N ,
)
(
x, 1 A por la construccion anterior, es decir, d(x, an ) 1 1 < , y por
an B
n
n
N
tanto, an x.
Teorema 1.20. Sean X, Y espacios metricos. f : X Y es continua si y solo s siempre
que an x, entonces f (an ) f (x).
n. ) Sea > 0. Como f es continua, existe > 0 tal que siempre
Demostracio
que d(x, y) < , entonces d(f (x), f (y)) < . Ademas, an x, por lo que dada > 0,
existe N > 0 tal que si n N , d(x, an ) < , y por la primera parte, se sigue que
d(f (x), f (an )) < .
) La demostracion es indirecta. Supongamos que an x, y que f no es continua, es
decir, existe > 0 tal que para todo > 0, si d(x, y) < , entonces d(f (x, f (y)) . Pero
esto quiere decir que aunque d(x, an ) < , d(f (x), f (an )) , por lo que suponer que f
no es continua, muestra que {f (an )} no converge a f (x).
Con la teora de conjuntos compacto que hemos visto, podemos probar el siguiente resultado:
Teorema 1.21. Si K X es compacto, entonces toda sucesi
on {an } K tiene una
subsucesion {ank } que converge a x K.
n. {an } K es infinito, y por el teorema 1.14, tiene un punto de acuDemostracio
mulacion x K. Y por el teorema 1.19, existe una sucesion {ank } {an } tal que
ank x.
De hecho, el teorema 1.21 puede enunciarse como una equivalencia. Por el momento,
no contamos con las herramientas para demostrar esta equivalencia, pero mas adelante
regresaremos a esta.

17

2.
2.1.

Convergencia Uniforme
Criterio de Cauchy

Definici
on 2.1. Una sucesion {an } X es fundamental (o de Cauchy) si y solo s para
todo > 0 existe N > 0 tal que si n, m N , entonces d(an , am ) < .
A continuacion se muestran algunas propiedades importantes de las sucesiones fundamentales.
Proposici
on 2.1.

(i) Una sucesion {an } X convergente a x es fundamental.

(ii) Una sucesion fundamental {an } X es acotada.

(iii) Si f : X Y es uniformemente continua, y {an } X es fundamental, entonces
{f (an )} Y es fundamental.
(iv) Si {an } X es fundamental, y existe una subsucesi
on {ank } {an } tal que ank
x, entonces an x.
n. (i) Por ser la sucesion convergente a x, dado > 0, existe N > 0 tal
Demostracio
que si n N , entonces d(x, an ) < . Sean por tanto n, m N :
d(an , am ) d(an , x) + d(am , x) < 2
(ii) Es un ejercicio sencillo (vea el Teorema 1.19, iii).
(iii) Supongamos que f es u. c., y sea > 0. Existe > 0 tal que para todas x, y X que
cumplan con dX (x, y) < , entonces dY (f (x), f (y)) < . Y dado que {an } es fundamental,
por lo que para la > 0 dada, existe N > 0 tal que si n, m N , entonces dX (an , am ) < .
Pero esto u
ltimo implica que dY (f (an ), f (am )) < .
(iv) Tambien es un ejercicio sencillo.
Por supuesto, el converso de 2.1 i no es cierto.
Ejemplo 2.1. Sea Q R, con la metrica inducida como subespacio de R. La sucesion
definida por:
a1 = 2
an = an1 +

1
n!

es una sucesion fundamental en Q. En efecto, el nesimo termino de la sucesion es:

an = 2 +

1
1
1
1
+ + + ... +
2! 3! 4!
n!
18

que es racional. Pero la sucesion as construida no converge en Q. Mostremos que es

1
fundamental. Sea > 0, y N suficientemente grande tal que
< . Entonces, si n, m
N!
N , podemos suponer sin perdida de generalidad que n > m, y si tenemos en cuenta que
en esta situacion:
n! = n(n 1)(n 2) (m + 2)m! > mnm m! =




1
1
1
1
|an am | = 
+
+
+ . . . + 
(m + 1)! (m + 2)! (m + 3)!
n!
1
1
1
=
+
+ ... +
(m + 1)! (m + 2)(m + 1)!
n(n 1) (m + 1)!
1
1
1
1

+
+ 2
+ . . . + nm
(m + 1)! m(m + 1)! m (m + 1)!
m
(m + 1)!
(
)
1
1 mmn+1
1
1
1
1
1
1+
=
+ 2 + . . . + nm =
(m + 1)!
m m
m
(m + 1)! 1 m1
1
1
m
1
1

1 =
(m + 1)! 1 m
(m + 1)! m 1
(m 1)m!

<

(m 1)N !
(m 1)

2.2.

Espacios m
etricos Completos

Definici
on 2.2. Un espacio metrico X es completo si y solo s cualquier sucesion fundamental {an } X converge a x X.
Ejemplo 2.2. Muchos de los espacios metricos que vimos en la seccion correspondiente
son completos. Por ejemplo, X = C[a, b] (el espacio de todas las funciones continuas del
intervalo [a, b] a R), con la metrica del supremo d(f, g) = sup |f (t) g(t)| es completo.
t[a,b]

Para checar esta afirmacion, sea > 0, y una sucesion fundamental {fn } C[a, b]. Para
cada t [a, b], |fn (t) fm (t)| d(fn , fm ) < , lo que implica que la sucesion {fn (t)}
es una sucesion fundamental en R. Si definimos f (t) = lmn fn (t), el razonamiento
u
anterior nos muestra que fn (t) f (t). Y es un resultado conocido de calculo que el lmite
uniforme de una sucesion de funciones continua es continua.
Proposici
on 2.2. Sea X un espacio metrico compacto. Entonces X es completo.
n. Sea {am } X fundamental en un metrico compacto. Por el teorema
Demostracio
1.21, existe una subsucesion {ank } {an } que converge a x X, y por el teorema 2.1,
se sigue qeu {an } converge a x. Por tanto, X es completo.
Proposici
on 2.3.

(i) Sean Y X, Y completo. Entonces Y es cerrado.

19

(ii) Sean Y X, Y cerrado y X completo. Entonces Y es completo.

n. (i) Supongamos que Y es completo, y sea x Y . Por el teorema 1.19
Demostracio
iv, podemos construir uns sucesion {an } Y tal que an x. Como la sucesion converge,
es fundamental, y dado que Y es completo, {an } y Y . De nuevo, por 1.19 ii, x = y,
por lo que x Y , e Y es cerrado.
(ii) Supongamos que Y X, X completo. Sea {an } Y X fundamental. Como X es
completo, an x, por lo que x Y . Por otra parte, Y es cerrado, por lo que x Y Y ,
y se sigue que Y es completo.
De los resultados en la seccion de topologa, vimos que si f : X Y es un homeomorfismo,
entonces X es compacto si y solo s Y es compacto. Sin embargo, con los espacios completos
es necesario pedir una condicion mas fuerte.
Teorema 2.4. Sean X e Y uniformemente homeomorfos. Entonces X es completo si y
solo s Y es completo.
n. Supongamos X completo, y sea {yn } Y fundamental. Dado que la
Demostracio
inversa de f , f 1 es uniformemente continua, {f 1 (yn )} X es fundamental (2.1, iii).
Ahora X es completo, por lo que f 1 (yn ) x X. Finalmente, como f es continua, se
sigue de f f 1 (yn ) = yn f (x) Y , por lo que Y es completo.
Teorema 2.5. Sean A X denso, Y completo y f : A Y uniformemente continua.
Entonces existe una u
nica funcion uniformemente continua F : X Y tal que F (x) =
f (x) para todo x A.
Antes de probar el teorema, demostramos el siguiente lema, mismo que nos permitira
demostrar la unicidad de tal funcion.
Lema 2.6. Sean A X denso, f, g : X Y continuas. Si f (x) = g(x) para toda x A,
entonces f = g.
n. Si A X es denso, para cualquier x X podemos construir una
Demostracio
sucesion {an } A tal que an x. Ademas, an x implica, por el teorema 1.21, que
f (an ) f (x) y g(an ) g(x). Dado > 0,
dY (f (x), g(x)) < dY (f (x), f (an )) + dY (f (an ), g(an )) + dY (g(an ), g(x))
Y observamos que dY (f (x), f (an )) y dY (g(x), g(an )) los podemos hacer tan pequeos como
queramos, por la convergencia de f (an ) y g(an ), mientras que dY (f (an ), g(an )) = 0 por
hipotesis. Por tanto, f (x) = g(x) para todo x X.

20

 (Teorema 2.5). Existencia Sean {an } A convergente a x X, y

Demostracion
> 0. Por ser f uniformemente continua en A, existe > 0 tal que siempre que x, y A
con dX (x, y) < , entonces dY (f (x), f (y)) < . Ahora, para > 0 existe N > 0 tal que si
n, m N , entonces dX (an , am ) < , y por lo anterior, dY (f (an ), f (am )) < , por lo que
{f (an )} Y es fundamental, y ademas, Y es completo, por lo que f (an ) y.
Definimos F (x) = y = lm an .
n

Para demostrar que la funcion F esta bien definida, consideremos otra sucesion {bn } A
convergente a x. La sucesion c2n = bn , c2n1 = an converge a x, por lo que {f (cn )} =
{f (a1 ), f (b1 ), f (a2 ), f (b2 ), . . .} es una sucesion fundamental en Y . Pero la subsucesion
{f (c2n1 )} = {f (an )} converge a y. Por tanto, tanto la sucesion {cn } como la subsucesion
{bn } convergen a y, y F no depende de la sucesion convergente que elijamos.
Si x A, la sucesion constante an = x para todo n converge a x, por lo que F (x) = f (x)
para todo x A.
Para probar la continuidad uniforme, sean x, x X, y {xn }, {yn } A tales que xn x,
xn y . Por lo anterior,
F (x) = y = lm f (xn )
n

F (x ) = y = lm f (xn ) =
n

dY (y, y ) dY (y, f (xn )) + dY (f (xn ), f (xn )) + dY (f (xn ), y )

Y cada termino lo podemos hacer menor a . El primero y el tercero, por la forma en que
3
definimos F , mientras que el segundo termino, debido a que f es uniformemente continua
en A.
Unicidad Aplicacion directa del lema 2.6.
Teorema 2.7 (Lema de Urisohn). Sean S, T X subespacios cerrados, ajenos no vacios.
Entonces existe una funcion f : X R continua tal qeu f (S) = 0, f (T ) = 1.
Para demostrar este teorema, vamos a probar un lema que contiene algunas propiedades
interesantes de la funcion (x, A) = nf {d(x, y)}.
yA

Lema 2.8.

(i) S X es cerrado si y solo si (x, S) > 0 para todo x X \ S.

(ii) Si T X es cerrado no vacio, entonces para todo x, y X, |(x, T ) (y, T )|

d(x, y)
(iii) Si S X es cerrado no vacio, entonces f : X R, f (x) = (x, S) es uniformemente continua.
(iv) Si S, T X son cerrados, ajenos no vacios, entonces (x, S) + (x, T ) > 0 para
todo x X.
21

Demostracion. (i) ) Si S X es cerrado, entonces su complemeto X \ S es abierto, y

cualquier punto x X \S es punto interior, por lo que existe r > 0 tal que B(x, r) X \S.
Por tanto, (x, S) r > 0.
) Si (x, S) = r > 0, B(x, r/2) X \ S, por lo que x es punto interior de X \ S. Por
tanto, X \ S es abierto, y S es cerrado.
(ii) Sean x, z X \ S.
(x, S) = nf {d(x, y)} nf {d(x, z) + d(z, y)} = d(x, z) + nf {d(z, y)}
yS

yS

= d(x, z) + (z, S)

yS

(x, S) (z, S) d(x, z)

De manera analoga, (z, S) (x, S) d(x, z).

(iii) Sea > 0, y x, y X tales d(x, y) < . Por (ii),
d(f (x), f (y)) = |(x, S) (y, S)| d(x, y) <
y f es uniformemente continua.
(iv) Si x S, x X \ T , que es abierto, y por (i), (x, T ) > 0. De la misma forma, si
x T , entonces (x, S) > 0. Finalmente, si x
/ S T , x S c T c , que es abierto. Por
tanto, d(x, S) > 0 y d(x, T ) > 0.
n, Lema de Urisohn. Sea f : X R:
Demostracio
f (x) =

(x, S)
(x, S) + (x, T )

Por el lema anterior, tenemos un cociente de funciones uniformemente continuas, y ademas

el denominador nunca se anula, por lo que f as definida es continua. Ademas, es inmediato
verificar que si x S, entonces f (x) = 0, y si x T , entonces f (x) = 1.
Definici
on 2.3. Sea X un espacio metrico. Un espacio metrico completo X es una
completacion de X si:
1. X X
2. X es denso en X .
El siguiente teorema es muy importante en la teora. La demostracion, aunque extensa,
es directa.
Teorema 2.9. Todo espacio metrico X posee una completaci
on, y esta es u
nica dalvo
isometras que mandan a X en si mismo.

22

 n (Existencia). Sean {an }, {bn } X sucesiones fundamentales. DireDemostracio

mos que {an }y {bn } son equivalentes si y solo si lmn d(an , bn ) = 0. La relacion es
de equivalencia, como se puede probar facilmente. Por tanto, esta relacion induce una
particion en el conjunto de todas las sucesiones fundamentales en X:
R = {{an } es sucesion fundamental}
Consideremos X = R/ , esto es, X consiste de las clases de sucesiones fundamentales
equivalentes. Ahora, definimos : X X R+ mediante:
(x , y ) = lm d(xn , yn )
n

en donde {xn } x , {yn } y son representantes de las clases de equivalencia x , y X .

Tenemos que mostrar que esta bien definida, es decir, que existe el lmite anterior, y
ademas, no depende de los representantes que elijamos. Sean {xn } x , {yn } y .
Entonces
|d(xn , yn ) d(xm , ym )| = |d(xn , yn ) d(xn , ym ) + d(xn , ym ) d(xm , ym )|
|d(xn , yn ) d(xn , ym )| + |d(xn , ym ) d(xm , ym )|
d(yn , ym ) + d(xn , xm ) < 2
pues las sucesiones {xn } e {yn } son fundamentales. Estas desigualdades implican que la
sucesion {d(xn , yn )} R es fundamental, y R es completo, por lo que tiene sentido hablar
del lmite. Si consideramos ahora {xn }, {xn } x , {yn }, {yn } y :
|d(xn , yn ) d(xn , yn )| = |d(xn , yn ) d(xn , yn ) + d(xn , yn ) d(xn , yn )|
|d(xn , yn ) d(xn , yn )| + |d(xn , yn ) d(xn , yn )|
d(xn , xn ) + d(yn , yn ) < 2
y esto quiere decir que la diferencia entre d(xn , yn ) y d(xm , ym ) la podemos hacer tan
peque
na como queramos, siempre que {xn }, {xn } x , {yn }, {yn } y .
La verificacion de los axiomas de distancia es inmediata, y solo es ligeramente difcil la
desigualdad del triangulo. Si {xn } x , {yn } y y {zn } z , para todo n se tiene que:
d(xn , yn ) d(xn , zn ) + d(zn , yn )
lm d(xn , yn ) lm d(xn , zn ) + lm d(zn , yn )

(x , y ) (x , z ) + (z , y )
Por tanto, X es un espacio metrico.

Veamos ahora que X X . A cada x X le ponemos en correspondencia la clase de

sucesiones equivalentes que convergen a el, es decir, {xn } tales que xn x. Entonces,
para x, y X,
(x , y ) = lm d(xn , yn )
n

23

Y por otra parte,

|d(x, y) d(xn , yn )| = |d(x, y) d(y, xn ) + d(y, xn ) d(xn , yn )|
|d(x, y) d(y, xn )| + |d(y, xn ) d(xn , yn )|
d(x, xn ) + d(y, yn ) < 2
lo qcual implica que X , X , x 7 x es una isometra, e identificando a X con su imagen
en X , se tiene que X X .
Para ver que X X es denso, sean x X , > 0, y {xn } x . Dado > 0, existe
N > 0 tal que si n, m N , entonces d(xn , xm ) < . Pero en este caso:
(xn , x ) = lm d(xn , xm )
m

y esto significa que cualquier vecindad de x contiene infinitos puntos xm X. As, x es

punto lmite de X.
Falta u
nicamente demostrar que X es completo. Sea {xn } X una sucesion fundamental (observese que cada xn es una clase de equivalencia de sucesiones fundamentales).
Dado que X X es denso, para cada xn {xn }, podemos escoger xn X tal que
1
(xn , xn ) < . Por tanto:
n
(xn , xm ) (xn , xn ) + (xn , xm ) + (xm , xm )
1
1
< ++
< 3
n
m
y la sucesion {xn } X es fundamental, por lo que existe x X tal que xn x .
Faltara mostrar que xn x . Pero
(xn , x ) (xn , xn ) + (xn , x ) < 2
con lo que queda demostrada la existencia de la completacion.
Unicidad. Sean X , X dos completaciones de X. Por demostrar que existe : X
X isometra tal que (x) = x para todo x X. Sea x X. Existe {xn } X tal
que xn x . Ademas, {xn } es fundamental en x . Y cada xn X . Ademas, es claro
que {xn } es fundamental en X , y dado que X es completo, existe x X tal que
xn x . Por otra parte, x es independiente de la sucesion {xn }2
Definamos (x ) = x . Es claro que (x) = x si x X. Ahora, dadas sucesiones
fundamentales {xn }, {yn } tales que xn x , yn y , y xn x , yn y , se tiene,
por una parte
X (x , y ) = lm d(xn , yn )
n

Si {xn } es otra sucesion tal que xn x , entonces d(xn , xn ) 2 (xn , x ) + 2 (xn , x ) < 2 para
n suficientemente grande.
2

24

y por otra:

X (x , y ) = lm d(xn , yn )
n

Por tanto, X (x , y ) = X (x , y ), y es una isometra.

Teorema 2.10. Un espacio metrico X es completo si y solo s cualquier sucesi
on de bolas
cerradas, anidadas y cuyos radios tiendan a cero, tiene intersecci
on no vacia.
n. ) Sean B1 , B2, . . . bolas cerradas tales que Bk+1 Bk (esto es, Bk =
Demostracio
B(xk , rk )), y cuyos radios tienden a cero. La sucesion formada por los centros de las bolas
1
es fundamental, daso que si n > m, Bn Bm , y como lm = 0, d(xn , xm ) < rn . Como
n n
X es completo, existe x X tal que xn x. Esto nos dice que x es punto lmite de cada

Bn , y Bn es cerrado, por lo que x Bn para toda n, de donde x

Bn , y la interseccion
n=1

es no vacia.
1
, existe N1 > 0 tal que si n N1 ,
2
1
d(xn , n1 ) < 1 . Y hacemos B1 = B(xn1 , 1). Ahora, para 2 = 2 , existe n2 > 0, tal que si
2
1
n n2 , d(xn , xn2 ) < 2 , y tomamos B2 = B(xn2 , ). Una vez elegidos xn1 , xn2 , . . . , xnk , y
2
1
dado k+1 = k+1 , podemos elegir xnk+1 de manera que si n nk+1 , d(xn , xnk+1 ) < k+1 ,
2
1
y considerar Bk+1 = B(xnk+1 , k ). De esta manera, construimos una sucesion de bolas
2

1
Bk . Por la construccion,
cerradas, anidadas, y cuyos radio k 0 si k . Sea x
2
k=1
x es punto lmite de la subsucesion xnk , que es subsucesion de una sucesion de Cauchy, y
por tanto, xn x, y se sigue que X es completo.
) Sea {xn } una sucesion fundamental. Dado 1 =

Para finalizar la seccion, enunciamos y probamos el teorema de la Categora de Baire.

Teorema 2.11 (Baire). Un espacio metrico completo X no es la union numerable de
conjuntos nunca densos.
n. Supongamos que X =
Demostracio

An , donde cada an es nunca denso. Sea B0

n=1

una bola cerrada de radio 1. Como A1 es nunca denso en B0 , existe una bola cerrada B1
1
cerrada, de radio menor a , tal que B1 B0 , y Ai B1 = . Ahora bien, A2 es nunca
2
denso en B1 , por lo que existe una bola cerrada B2 de radio menor a 13 2 tal que B2 B1 ,
y A2 B2 = . Procediendo de esta manera, construimos una sucesion de bolas cerradas
25

1
0 cuando n , y tales que
n+1

An Bn = . Por el teorema 2.10, y dado que X es completo, existe x

Bn . Pero por
{Bn }, anidadas, y tales que sus radios rn =

la construccion, x
/

An , y por tanto, X

n=1

2.3.

n=0

An , lo cual es una contradiccion.

n=1

Convergencia Uniforme

En esta seccion, a diferencia del enfoque que se le ha dado al curso, nos limitaremos a
estudiar sucesiones de funciones de R (o de un subconjunto A R) en R.
Definici
on 2.4. Consideremos una sucesion de funciones {fn |fn : A R R}, donde
cada sucesion {fn (x)} converge (es decir, {fn (x)} es fundamental) para todo x A.
Podemos por tanto definir una funcion f : A R R con regla de correspondencia
f (x) = lm fn (x)
n

y diremos que f es la funcion lmite, o que fn converge puntualmente a f .

Es natural preguntarnos que propiedades tiene f . Si cada fn es (uniformemente) continua,
integrable, diferenciable, f es (uniformemente) continua,
integrable,
diferenciable?
Bajo

que condiciones se cumple, por ejemplo, que lm

n
(
)

lm fn = lm fn = f ?

fn =

lm fn =

f ?, o que

Por ejemplo, para que f sea continua en x se debe cumplir que lm fn (t) = f (x). Y esto
tx
es equivalente a que el siguiente lmite doble se pueda intercambiar:
lm fn (t) = lm lm fn (t) = lm lm fn (t) = lm fn (x)

tx

tx n

n tx

Antes de establecer las condiciones suficientes para garantizar el intercambio del lmite
con la integral o la derivada, o ambos lmites en el caso de la continuidad, mostraremos
una serie de ejemplos que demuestran que, en general, no podemos realizar la operacion.
Ejemplo 2.3. Consideremos, para n Z+ , fn : R R, fn (x) = (

x2
)n , y
1 + x2

gn (x) = f0 (x) + f1 (x) + . . . + fn (x)

n
n

x2
1
2
g(x) = lm gn (x) = lm
= x lm
(
)
(
)
k
n
n
n
2
2 k
k=0 1 + x
k=0 1 + x
26

(2.1)

Es claro que si x = 0, gn (0) = 0, y por tanto, g(0) = 0. Sin embargo, si x = 0, la formula

(2.1) define una serie geometrica de razon (1 + x2 )1 < 1, multiplicada por x2 . Entonces
2

g(x) = x lm

1+x2

2
lm
)k = x n

1 + x2
1 + x2
= x2
= 1 + x2
x2

k=0

1
= x2 1+x2 1

1 (1 + x2 )n1
1 (1 + x2 )1

con lo que vemos que la funcion lmite de una sucesion convergente de funciones continuas
no necesariamente es continua.
sen nx
Ejemplo 2.4. Consideremos ahora, para n N, fn : R R, fn (x) = . Primero
n
1
observamos que, dado > 0, podemos escoger N > 0 tal que < . Entonces, si
N


 sen nx 
1
n N , para toda x,   < , lo que implica que fn (x) 0. Ademas:
n
n

 
 

 sen nx sen ny   sen ny   sen ny 
1
1





|fn (x) fn (y)| 
   +   + < 2
n
n
n
n
n
n
Si bien todava no hemos definido la convergencia uniforme, veremos mas adelante que esta
desigualdad implica que
fn converge uniformemente a f (x) = 0. En particular, f (x) = 0.

Sin embargo, fn (x) = n cos nx, y

lm fn (0) = lm n
n

no existe (o bien, el lmite tiende a ). Es decir, si aceptamos por un momento que

u
fn 0, ni siquiera la convergencia uniforme nos garantiza la convergencia de la derivada.
Ejemplo 2.5. Para n N, sea fn : [0, 1] R, fn (x) = nx(1 x2 )n . Si 0 < x 1,
lm fn (x) = 03 , y ademas, fn (0) = 0, por tanto,
n

lm fn (x) = 0 x [0, 1]

Ahora bien, si hacemos el cambio de variable u = 1 x2 , du = 2xdx, y

1
1

1 1 n
1 un+1 
1
2 n
x(1 x ) dx =
u du =
=


2 0
2 n + 1 0 2(n + 1)
0
1
n
1
fn (x)dx = lm
lm
=
n 2(n + 1)
n 0
2
]
1[
Y por otra parte,
lm fn (x) dx = 0.
0
3

n
= 0, para > 0,
n (1 + p)n

Esta afirmacion, aunque no muy obvia, se sigue del hecho de que lm

p>0

27

Con estos ejemplos es claro que no podemos intercambiar libremente los smbolos de lmite
con el de otro lmite, o con la derivada o la integral. Necesitamos por tanto un tipo de
convergencia mas estricto.
Definici
on 2.5. Diremos que una sucesion de funciones {fn |fn : A R R}, converge
uniformemente en A a una funcion f si para todo > 0, existe un entero N > 0 tal que
si n N , entonces
|fn (x) f (x)| <
para todo x A.
Toda sucesion de funciones uniformemente convergente es convergente, pero como queda
claro de los ejemplos anteriores, la implicacion es en una sola direccion.
El siguiente es el criterio de Cauchy para convergencia uniforme.
Teorema 2.12. Una sucesion de funciones {fn }, fn : A R R converge uniformemente en A si y solo si para todo > 0 existe un N > 0 tal que si n, m N ,
|fn (x) fm (x)| <
para todo x A.
n. ) Si fn converge uniformemente a f , dado > 0, existe N > 0 tal
Demostracio
que si n N , |fn (x) f (x)| < para todo x A. Entonces
|fn (x) fm (x)| |fn (x) f (x)| + |fm (x) f (x)| < 2
siempre que n, m N , y para todo x A. ) La condicion de Cauchy implica que, para
cada x A, {fn (x)} es una sucesion de Cauchy en R, y podemos definir f (x) = lm fn (x).
n

Dado > 0, existe N > 0 tal que si n, m N , entonces |fn (x) fm (x)| < . Ahora, para
cada x A, existe nx N , tal que |fn (x) f (x)| < . Por tanto, si n N y x A,
|fn (x) f (x)| |fn (x) fnx (x)| + |fnx (x) f (x)| < 2
y se sigue que fn converge uniformemente a f en A.
Teorema 2.13. Sea {fn : A R R}, tal que fn converge uniformemente. Sea x un
punto lmite de A, y supongase que lm fn (t) = yn . Entonces la sucesi
on {yn } converge, y
tx

lm f (t) = lm yn .

tx

n. Sea > 0. Dado que fn converge uniformemente a f , existe N > 0 tal

Demostracio
que, para todo t A, |fn (t) fm (t)| < . Ahora,
|yn ym | |yn fn (t)| + |fn (t) fm (t)| + |fm (t) ym | < 3
28

pues tanto fn (t) yn , y fm (t) ym . Por tanto, {yn } es fundamental en R, por lo que
converge a alg
un y R. Ahora:
|f (t) y| |f (t) fn (t)| + |fn (t) yn | + |yn y|
Observese que |f (t) fn (t)| < por la convergencia uniforme, |yn y| < , que es lo que
acabamos de demostrar. Finalmente, |fn (t) yn | < , donde t = x (x es punto lmite de
A). Por tanto, |f (t) y| < 3, lo cual implica que lm f (t) = lm yn .
tx

Con este resultado, tenemos como corolario inmediato el resultado que nos indica que
la convergencia uniforme es una condicion suficiente para la continuidad de la funcion
lmite4
Corolario 2.14. Si {fn : A R R} es una sucesi
on de funciones continuas que
converge uniformemente a f , entonces f es continua.
La demostracion se sigue directamente del teorema anterior.
No obstante lo anterior, bajo condiciones especficas, la convergencia puntual nos implicara
la convergencia uniforme. Por ejemplo:
Teorema 2.15. Si K R es compacto, y {fn : K R} sucesi
on de funciones continuas,
y ademas:
i {fn } converge puntualmente a una funcion continua f en K.
ii fn (x) fn+1 (x) para todo x K, n N.
Entonces {fn } converge uniformemente a f en K.
n. Consideremos gn = fn f . gn es continua, converge puntualmente a 0,
Demostracio
t y gn gn+1 . Por demostrar que gn converge uniformemente a 0.
Sean > 0, y Kn = {x K|gx (x) }. Cada Kn K es cerrado (teorema 1.15, iii),
y por tanto, compacto (teorema 1.10). Y dado que gn gn+1 , entonces Kn+1 K. Sea
x K fijo. Como por hipotesis, g
existe N > 0 tal que si n N ,
n (x) converge a 0,
entonces x
/ Kn , y por tanto, x
/ Kn . Se sigue que Kn = . Esto implica que existe
N > 0 tal que KN = (teorema 1.12). Por tanto, 0 gn (x) < siempre que n N , y
para todo x K. Por tanto, gn 0 uniformemente.
En diversas ocasiones se ha mencionado que la convergencia uniforme de funciones es
equivalente a la convergencia puntual bajo la metrica del supremo. El siguiente resultado
nos precisa esta equivalencia.
La condicion no es necesaria. En el ejemplo 2.5, la sucesion de funciones fn = nx(1 x2 )n converge
puntualmente a la funcion identicamente 0, que es continua.
4

29

Teorema 2.16. Sean {fn : A R R} una sucesi

on de funciones tal que fn converge
a f , y Mn = sup{|fn (x) f (x)|}. Entonces fn converge uniformemente a f si y solo s
lm Mn 0.

xA

n. ) Si fn converge uniformemente a f , dado > 0, existe N > 0 tal que

Demostracio
si n N , para toda x A, |fn (x) f (x)| < . Pero esto u
ltimo implica que es una cota
superior de |fn (x) f (x)|, y por tanto, sup |fn (x) f (x)| , o de forma equivalente,
xA

lm sup Mn = 0.

n xA

) Sea Mn = sup{|fn (x) f (x)|}, con lm Mn = 0, es decir, dado > 0, existe N > 0 tal
n

xA

que si n N , sup{|fn (x) f (x)|} < . , es decir, siempre que n N , |fn (x) f (x)| <
xA

para para todo x A. Por tanto, fn converge uniformemente a f .

2.3.1.

Convergencia Uniforme e Integraci

on

Ahora estamos listos para probar la condicion suficiente para que podamos intercambiar
los signos de lmite con el de integral.
Teorema 2.17. Sea {fn : [a, b] R R} una sucesi
on de funciones Riemann-integrables.
Si fn converge uniformemente a f en [a, b], entonces f es Riemann-integrable en [a, b], y
b
b
b
[
]
lm
fn (x)dx =
lm fn (x) dx =
f (x)dx
n

n. Sea n = sup {|fn (x) f (x)|}. De esta desigualdad, se tiene que, para
Demostracio
x[a,b]

todo x [a, b], n fn (x) f (x) y n f (x) fn (x), de donde

fn (x) n f (x) fn (x) + n

b
b
(fn (x) n )dx
f (x)dx
(fn (x) + n )dx

a
b

f (x)dx

f (x)dx

(fn (x) n )dx

a

(fn (x) + n )dx

a

b
b
0 f (x)dx
f (x)dx 2n (b a)
a

y esto implica la existencia de la integral de f . Tambien, de (2.2) se sigue que

b
b
f (x)dx
fn (x) (b a)
a

30

(2.2)


Y por tanto,

f (x)dx = lm

2.3.2.

fn (x)dx.
a

Convergencia Uniforme y Diferenciaci

on

El ejemplo 2.4 se vio que ni siquiera la convergencia uniforme nos garantiza la convergencia
de la derivada. Se requiere ser mas estricto.
Teorema 2.18. Sea {fn : [a, b] R} una sucesi
on de funciones diferenciables en [a, b].
Supongase que {fn (x0 )} converge para algun x0 [a, b]. Si {fn } converge uniformemente
en [a, b], entonces {fn } converge uniformemente en [a, b] a una funcion f , y
f (x) = lm fn (x)
n

para todo x [a, b].

n. Sea > 0. Por la convergencia de {fn (x0 )} y la convergencia uniforme
Demostracio

de {fn }, existe N > 0 tal que, si n, m N

|fn (x0 ) fm (x0 )| <

|fn (t) fm
(t)| <

2(b a)

(2.3)

Y la segunda desigualdad es valida para todo t [a, b]. Al aplicar el terorema del valor
medio a la funcion fn fm 5 en el intervalo [x, t] (o [t, x]), se obtiene, para alg
un [x, t]:

|fn (x) fm (x) fn (t) + fm (t)| = |x t| |fn ( ) fm

( )|
|x t|

2(b a)
2

(2.4)

y la desigualdad (2.4), que es consecuencia de (2.3), es valida para todos x, t [a, b]. De
aqu se sigue que:
|fn (x) fm (x)| |fn (x) fm (x) fn (x0 ) + fm (x0 )| + |fn (x0 ) fm (x0 )| <
Y por tanto, fn converge uniformemente. Entonces tiene sentido definir, para todo x
[a, b], f (x) = lm fn (x).
n

Ahora, para x fijo, definimos las siguientes funciones:

n (t) =

fn (t) fn (x)
tx

(t) =

f (t) f (x)
tx

Teorema del valor medio Si f : [a, b] R, f diferenciable en (a, b), existe un punto t [a, b] tal
que f (b) f (a) = f (t)(b a).
5

31

con a t b, t = x. Dado que cada fn es diferenciable, es claro que lm n (t) = fn (x).

tx

Por otra parte, por (2.4),

|n (t) m (t)|

2(b a)

siempre que n, m N , por lo que {n } converge uniformemente si t = x. Ademas, y dado

que fn f uniformemente, lm n (t) = (t) si t = x. Ahora, aplicamos el teorema 2.13
n

a la sucesion {n }, y como x es un punto lmite de [a, b],

lm (t) = lm lm n (t) = lm lm n (t) = lm fn (x)

tx

tx n

n tx

y lm (t) = f (x), por la definicion de .

tx

2.4.

Teorema de Punto Fijo

Regresamos a espacios metricos generales. En esta seccion, consideraremos aplicaciones

de un espacio metrico en s mismo.
Definici
on 2.6. Diremos que una funcion f : X X es una contracci
on si existe
0 < M < 1 tal que
d(f (x), f (y)) M d(x, y)
Es facil checar que si f es una contraccion, entonces f es uniformemente continua.
Teorema 2.19. Sea f : X X una contracci
on, X espacio metrico completo. Entonces
f tiene un punto fijo, y este es u
nico.
El teorema puede ser formulado en los siguientes terminos: Si f : X X es una contraccion, y X es completo, entonces la ecuacion f (x) = x tiene solucion u
nica.
n. Sea x0 X, y definamos la siguiente sucesion: {xn = f n (x0 )}. Para
Demostracio
toda n N
d(xn , xn+1 ) = d(f n (x0 ), f n (f (x0 ))) M n d(x0 , f (x0 )) = M n d(x0 , x1 )
La sucesion {xn } es fundamental. En efecto, sea > 0, y consideremos N > 0 tal que
MN
d(x0 , x1 ) < . Supongamos sin perdida de generalidad que N m n, entonces
1M
d(xm , xn ) d(xm , xm+1 ) + d(xm+1 , xm+2 ) + + d(xn1 , xn )
M m d(x0 , x1 ) + M m+1 d(x0 , x1 ) . . . + M n1 d(x0 , x1 )
(
)
= M m 1 + M + M 2 + . . . + M nm1 d(x0 , x1 )
)
(
1
N
M
d(x0 , x1 ) <
1M
32

Dado que X es completo, existe X tal que xn , y f es continua, por lo que se

sigue del teorema 1.20 que:
(
)
f () = f lm xn = lm f (xn ) = lm xn+1 =
n

lo cual demuestra la existencia del punto fijo. Para demostrar la unicidad, supongamos
que X tambien es punto fijo. Por la definicion de contraccion:
d(, ) = d(f (), f ()) M d(, )
y dado que M < 1, esto implica que d(, ) = 0, o = .
Como puede verse, la demostracion del teorema anterior es directa, y proporciona un
metodo para encontar el punto fijo. En ocasiones se refiere al teorema anterior como el
metodo de aproximaciones sucesivas. El teorema en si admite la siguiente generalizacion.
Teorema 2.20. Sea f : X X funci
on continua tal que f n es una contracci
on para
alg
un n. Entonces f tiene un punto fijo, y este es u
nico.
n. Sea x0 X, y consideremos la sucesion xnk = f nk (x0 ). Omitimos la
Demostracio
demostracion de que {xnk } es fundamental y converge, dado que es identica a la del
teorema 2.19. Sea
= lm xnk = lm f nk (x0 )
k
k
(
)
f () = f lm f nk (x0 ) = lm f nk+1 (x0 )
k

(2.5)

por la continuidad de f . Y dado que f n es una contraccion:

d(xk , f (xk )) = d(f nk (x0 ), f nk+1 (x0 )) M k d(x0 , f (x0 ))
lm d(f nk (x0 ), f nk+1 (x0 )) = 0

y se sigue que f () = . Para la unicidad, dado que cualquier punto fijo de f es a la vez
punto fijo de f n , y f n es una contraccion, el punto fijo es u
nico.
Ejemplo 2.6. Sea f : [a, b] [a, b] que verifica la condicion de Lipschitz
|f (x) f (y)| M |x y|
con M < 1. f es una contraccion, y por el teorema 2.19, f tiene un punto fijo u
nico en
[a, b].
En particular, si f es diferenciable en [a, b], y la derivada es tal que
|f (x)| M < 1
entonces no es difcil demostrar que f es una contraccion.
33

Ejemplo 2.7. Supongamos ahora que tenemos una ecuacion del tipo f (x) = 0, con f
diferenciable en [a, b], que cumple f (a) < 0, f (b) > 0, y 0 < M1 f (x) M2 en [a, b].
Para encontrar la raiz, consideremos la funcion g(x) = x f (x), R, y el problema
se reduce a encontrar un punto fijo de g. Ahora, g (x) = 1 f (x), lo que implica
1 M2 g (x) 1 M1 . Por tanto, si podemos encontrar tal que
1 < 1 M2 g (x) 1 M1 < 1
g(x) sera una contraccion, y se podra resolver el problema original.
Ejemplo 2.8. Consideremos ahora una funcion lineal f : Rn Rn , y la metrica
d (x, y) = max |xi yi |. Cualquier funcion lineal puede expresarse en terminos de un
1in

sistema de n ecuaciones lineales:

yi =

1in

aij xj + bi ;

(2.6)

j=1

Ahora, si y = f (x), y = f (x ):
 n





d (y y ) = max |yi yi | = max 
aij (xj xj )
1in
1in 

j=1

max

1in

= max

1in

j=1
n







|aij | xj xj max
|aij | max xj xj 
1in

j=1

1in

|aij | d (x, x )

j=1

Y por tanto, la condicion de contraccion es

max

1in

|aij | < 1

(2.7)

j=1

Ejemplo 2.9. Consideremos la funcion definida por (2.6), pero ahora la metrica es

34

d1 (x, y) =

|xi yi |. Como antes, si escribimos y = f (x), y = f (x ):

i=1

d1 (y, y ) =

i=1



n 
n
n
n



|yi yi | =
aij (xj xj )
|aij | xj xj 




i=1 j=1
i=1 j=1

|a11 | |x1 x1 | + |a12 | |x2 x2 | + . . . + |a1n | |xn xn |

|a21 | |x1 x1 | + |a22 | |x2 x2 | + . . . + |a2n | |xn xn |

+
+ ...
+ |an1 | |x1 x1 | + |an2 | |x2 x2 | + . . . + |ann | |xn xn |
n

(
)
max
|aij | |x1 x1 | + |x2 x2 | + . . . + |xn xn |
ijn

= max

ijn

i=1
n

|aij | d1 (x, x )

i=1

Por lo que la condicion de contraccion es ahora

max

1jn

|aij | < 1

(2.8)

i=1

Ejemplo 2.10. De nuevo, la funcion es la definida por (2.6), y la metrica es la euclideana.

Como antes, si escribimos y = f (x), y = f (x ):
)2
n (
n

(
)
2

d2 (y, y ) =
aij (xj xj )

i=1 j=1
n
n

i=1 j=1

j=1

a2ij

(xj

xj )2

n
n

(
)2
a2ij d2 (x, x )

i=1 j=1

Por lo que la condicion de contraccion es ahora

n
n

a2ij < 1

(2.9)

i=1 j=1

Si recapitulamos los resultados de los ejemplos 2.8, 2.9 y 2.10, cualquiera de las condiciones (2.7), (2.8) y (2.9) son suficientes para garantizar que el sistema de ecuaciones
lineales (2.6) tiene un u
nico punto fijo. Sin embargo, las condiciones no son necesarias.
Para ver esto, consideremos la siguiente funcion f : R2 R2 ,
) (
)
) (
)(
(
x1 cos x2 sen
cos sen
x1
y1
=
=
x2
x1 sen + x2 cos
y2
sen cos
35

con 0 < < 2, es decir, una rotacion de alrededor del origen. Claramente, 0 es punto
fijo de f , y ademas es u
nico. Sin embargo:
max

1in

|aij | = max

1jn

j=1

n
n

|aij | = |cos | + |sen | 1

i=1

a2ij = 2 cos2 + 2 sen2 = 2

i=1 j=1

2.4.1.

Aplicaciones

Teorema 2.21 (Teorema de Picard). Sea f una funcion continua en un dominio

plano6 , con (x0 , y0 ) G. Supongamos que f satisface la condici
on de Lipschitz en la
variable y:
|f (x, y1 ) f (x, y2 )| M |y1 y2 |
Entonces existe un intervalo |x x0 | en el cual la ecuaci
on diferencial
dy
= f (x, y)
dx
tiene una u
nica solucion y = (x) que satisface la condici
on inicial (x0 ) = y0 .
n. Es equivalente solucionar la ecuacion integral
Demostracio
x
(
)
(x) = y0 +
f t, (t) dt
x0

Por la continuidad de f , |f (x, y)| K en alg

un dominio G G, con (x0 , y0 ) G7 Sean
> 0 tal que:
1. (x, y) G si |x x0 | , |y y0 | K.
2. M < 1.
y C = { : [x0 , x0 + ] [y0 K, y0 + K]} con la metrica del supremo
(1 , 2 ) = sup |1 (t) 2 (t)|
|tx0 |

Un dominio es un conjunto abierto y conexo

De hecho, esto se sigue del hecho (todava no demostrado) de que los compactos en Rn son cerrados
y acotados. Este resultado se ver
a en el siguiente captulo (corolario 3.10).
7

36

C es completo, pues es un subespacio cerrado de C[x0 ,x0 +] (Teorema 2.3). Consideremos

ahora g : C C :
x
(
)
(x) = g((x)) = y0 +
f t, (t) dt
x0

Si C :



|(x) y0 | = 

x0


) 
f t, (t) dt
(

 (
)
f t, (t)  dt K |x x0 | K

x0

y por tanto, = g() C . Por otra parte:

 x

 ( (
)
(
)) 

|1 (x) 2 (x)| = 
f t, 1 (t) f t, 2 (t) dt
xx0
 (
)
(
)
f t, 1 (t) f t, 2 (t)  dt

x0

M |1 (x) 2 (x)| |x x0 | M (1 , 2 )
Es decir, (1 , 2 ) M (1 , 2 ), y M < 1, por lo que g es una contraccion, y g tiene
un u
nico punto fijo, lo que equivale a decir que la ecuacion diferencial tiene solucion
u
nica.
Ejemplo 2.11 (Ecuacion integral de Fredholm del segundo tipo). Consideremos la ecuacion integral:

f (x) =

K(x, y)f (y)dy + (x)

a

K y son funciones continuas en el cuadrado [a, b] [a, b]. En particular, |K(x, y)|
M 8 . Veremos que la anterior ecuacion integral tiene solucion para valores suficientemente
peque
nos del parametro . Como bien sabemos, C[a,b] es completo. Sea g : C[a,b] C[a,b]
definida mediante:
b
(x) = g(f (x)) =
K(x, y)f (y)dy + (x)
a
b
|1 (x) 2 (x)| ||
|K(x, y)| |f1 (y) f2 (y)| dy
a

|| M sup |f1 (x) f2 (x)| (b a)

x[a,b]

|| M (b a)(f1 , f2 )
(1 , 2 ) || M (b a)(f1 , f2 )
Y g sera una contraccion si || <
8

1
.
M (b a)

Se aplica el mismo comentario que en la nota 7.

37

Ejemplo 2.12 (Ecuacion integral de Volterra). Consideremos ahora la ecuacion integral:

x
f (x) =
K(x, y)f (y)dy + (x)
a

A diferencia de la ecuacion de Fredholm, aqu la variable x se encuentra en el extremo

superior de la integral. Si bien puede considerarse a esta ecuacion como un caso especial
de la de Fredholm, la situacion aqu es radicalmente distinta. Veremos que no importa el
valor de , siempre podemos asegurar la existencia de una u
nica solucion para la ecuacion
de Volterra. Como antes, |K(x, y)| M , y sea g : Ca[,b] C[a,b] :
x
h(x) = g(f (x)) =
K(x, y)f (y)dy + (x)
a

Veremos que para alg

un n N, g n es una contraccion.
x
|g(f1 (x)) g(f2 (x))| ||
|K(x, y)| |f1 (y) f2 (y)| dy
a
x
|| M sup |f1 (x) f2 (x)|
dy
x[a,b]

= || M (f1 , f2 )(x a)
(gf1 , gf2 ) || M (x a)(f1 , f2 )
x
 2

g (f1 (x)) g 2 (f2 (x)) ||
|K(x, y)| |g(f1 (y)) g(f2 (y))| dy
a
x
2
2
|| M (f1 , f2 )
(y a)dy
a

(x a)2

= ||2 M 2 (f1 , f2 )
2
(x a)2
(g 2 f1 , g 2 f2 ) ||2 M 2 (f1 , f2 )
2
(x a)n
|g n (f1 (x)) g n (f2 (x))| ||n M n (f1 , f2 )
n!
(b

a)n
||n M n (f1 , f2 )

n!
(b a)n
(g n f1 , g n f2 ) ||n M n (f1 , f2 )
n!
Y observese que no importa cual sea el valor de , siempre se puede tomar n > 0 suficien||n M n (b a)n
temente grande de manera que
< 1. Por tanto, g n sera una contraccion,
n!
y g(f ) = f tiene solucion u
nica.

38

3.
3.1.

Compacidad
Conexidad

Definici
on 3.1. Diremos que un espacio metrico X es conexo si no puede descomponerse
en la union de dos abiertos ajenos no vacios.
Dicho de otra manera, si X es conexo y S, T son abiertos no vacios tales que S T ,
entonces S T = .
Teorema 3.1. Sea X espacio metrico. Son equivalentes:
(i) X es conexo.
(ii) X no es la union de dos cerrados ajenos no vacios.
(iii) Los u
nicos subconjuntos de X que son tanto abiertos como cerrados son X y .
Demostracion. (i) ) (ii) Si S, T son cerrados ajenos no vacios tales que S T = X,
S T = , entonces X \ T = S y X \ S = T son abiertos no vacios, y X no puede ser
conexo.
(ii) ) (iii) Supongamos que S = es un subconjunto propio de X a la vez abierto y
cerrado. Entonces X \ S = T es tambien abierto y cerrado, por lo que S T = X, y X
es la union de dos cerrados ajenos no vacios.
(iii) ) (i) Supongamos que X no es conexo, es decir, X = S T , con S T = , y S, T
abiertos no vacios. Pero esto implica que T = X \ S es cerrado (por ser complemento de
un abierto) y abierto.
De manera analoga a como se clasificaron todos los abiertos de R, el siguiente teorema
nos clasifica todos los conjuntos conexos de la recta.
Proposici
on 3.2. Un subconjunto no vacio de R es conexo si y solo s es un intervalo.
Demostracion. ) Sea S R conexo no vacio, y a = inf {S}, b = sup{S}, y supongamos
que a < b es tal que x
/ S. Entonces S = S (, x), T = S (x, ) son abiertos
ajenos no vacios en S tales que S T = S, y esto contradice la conexidad de S, x S
para toda x (a, b), y S es un intervalo.
) Sea S un intervalo, y supongamos que no es conexo. Existen abiertos relativos ajenos
no vacios tales que A B = S. Consideremos a = nf{A}, y b = sup{B}, y supongamos
sin perdida de generalidad que a < b. Sea ahora x = sup{A S}. Si x A, por ser A
abierto en S, existe r > 0 tal que x + r A, lo cual contradice la definicion de x. Por
otra parte, si x B, como B es abierto en S, existe r > 0 tal que x r B, es decir,
[x r , x) B S, de donde [x r , x) A = , y esto contradice tambien la definicion
de X. Por tanto, X es conexo.
39

 entonces T es
Proposici
on 3.3. Si S, T X son tales que S es conexo, y S T S,
conexo. En particular, S es conexo.
Demostracion. Supongamos que T no es conexo, y sean A, B abiertos en T ajenos no
vacios tales que A B = T . Como S es denso en T , A S y B S son abiertos relativos
en S. Ademas, son ajenos y no vacios, y
(A S) (B S) = (A B) S = T S = S
por lo que S no puede ser conexo.
En la seccion de compacidad vimos que la imagen bajo una funcion de un conjunto
compacto es compacto. PAra la conexidad tenemos un resultados analogo.
Teorema 3.4. Sea f : X Y continua. Si X es conexo, entonces f (X) es conexo.
Demostracion. Supongamos que f (X) no es conexo, es decir, existen abiertos ajenos no
vacios S, T Y tales que f (X) = S T . Entonces, por ser f continua, f 1 (S) y f 1 (T )
son abiertos en X, ajenos no vacios, y
X = f 1 f (X) = f 1 (S T ) = f 1 (S) f 1 (T )
y por tanto, X no es conexo.
Como u
ltimo resultado de esta seccion, demostraremos el Teorema Generalizado del Valor
Intermedio.
Teorema 3.5. Sea f : X R continua, y a, b f (X). Entonces, para todo y (a, b),
existe x X tal que f (x) = y.
Demostracion. Por el teorema 3.4, f (X) es un intervalo.

3.2.

Compacidad

Retomamos el tema del curso. En la Definicon 1.11 se definio el que un espacio metrico fuera compacto, a saber, si toda cubierta abierta {G | } de X contiene una
subcubierta finita.
En lo que sigue, definiremos otro tipo de compacidad, la propiedad de ser secuencialmente
compacto, as como la propiedad de ser totalmente acotado. El Teorema principal de
la seccion nos proporcionara condiciones necesarias y suficientes bajo las cuales estas
propiedades son equivalentes.

40

Definici
on 3.2. Diremos que un espacio metrico X es secuencialmente compacto si cualquier sucesion {an } X contiene una subsucesion convergente.
De acuerdo al teorema 1.21, todo espacio compacto es secuencialmente compacto.
Definici
on 3.3. Sea A X un subconjunto del un espacio metrico X. Diremos que A
es una red si para todo x X, existe al menos un punto y A tal que d(X, y) .
Ademas, un subconjunto M X es totalmente acotado si para toda > 0, existe una A
red finita de M .
Observacion 3.1. Si consideramos la funcion de distancia a un subconjunto, podramos
definir a una red como un conjunto A tal que para toda x X, (x, A) , donde
(x, A) = nf {d(x, y)}.
yA

Antes de continuar, veremos una serie de ejemplos de conjuntos totalmente acotados.

Tambien veremos que en general, los conceptos de acotacion y de acotacion total no son
equivalentes.
Ejemplo 3.1. Un conjunto M totalmente acotado es acotado. Sea > 0, y A una red
finita de M . Podemos suponer sin perdida de generalidad que < 1. Para x X fijo,
consideremos las distancias de x a cada punto de A . Dado que este u
ltimo conjunto es
finito, podemos definir sin ambig
uedad
r = max {d(x, xk )} > 0
xk A

y por tanto, M B(x, r + 1).

Ejemplo 3.2. En Rn (o en Cn ), acotacion acotacion total. Sea M Rn acotado, es
decir, existen x Rn y r > 0 tales que M B(x, r). Siempre podemos construir un
ncubo H de arista k > 0 lo suficientemente grande tal que M H. Sea > 0, y por
la propiedad arquimediana de los reales, existe m N tal que m < r (m + 1). Por
n
tanto, podemos dividir el cubo H
en a lo mas (m + 1) ncubos de arista , y los vertices
n
de estos ncubos forman una
red finita de H, y por tanto de M . Por tanto M es
2
totalmente acotado.
Ejemplo 3.3. En general, acotado totalmente acotado. Para demostrar esta afrima}
{

2
cion, consideremos el espacio l2 = {xn } R|
xk < , con la metrica
k=1

d(x, y) =

]1/2
(xk yk )

k=0

41

En este espacio, sea S

{
}

2
xk = 1 la esfera unitaria en l2 . Es obvio que
= x l2 |
k=1

S es acotado. Para mostrar que no es totalmente acotado, consideremos los siguientes

puntos en S :
e1 = (1, 0, 0, . . . , 0, . . .), e2 = (0, 1, 0, . . . , 0, . . .), . . . , ek = (0, 0, 0, . . . , 1, . . .), . . .

2
Si n = m, d(en , em ) = 2, y por tanto, para todo <
no puede existir una red
2

finita de S , y S no es totalmente acotado.

Ejemplo 3.4 (Ladrillo de Hilbert). Este es un ejemplo de un conjunto totalmente acotado
de dimension infinita. En l2 consideremos el conjunto de los puntos x = (x1 , x2 , . . . , xk , . . . )
tales que
1
1
1
|x1 | 1; |x2 | ; |x3 | 2 ; . . . ; |xk | k1 ; . . .
2
2
2
1

Sea > 0, y N N tal que N 1 < . Ahora, para cada x , consideremos su

2
2
proyeccion en RN , es decir,
p : l2 RN ,

(x1 , x2 , . . . , xN , xN +1 , . . .) 7 (x1 , x2 , . . . , xN )

El conjunto = p() es acotado en RN , y por tanto, totalmente acotado. Ahora, si

vemos a como subconjunto de ,
(

)2
2
xk
d(x, p(x)) =

k=N +1

1
4N

k=0

22k2
k=N +1

k=N +1

1
4k1

1
=
4k
k=N

1
4
=

k
4
3 4N

2
1

d(x, p(x))
N 1
N
2
2
34
Por tanto, una

red finita de sera, al mismo tiempo, una red finita para .

2

Proposici
on 3.6. Sea X espacio metrico. X es secuencialmente compacto si y solo s X
es totalmente acotado y completo.
Demostracion. (Completo) Sea {an } X una sucesion fundamental. Por ser X secuencialmente compacto, existen {ank } {an } y x X tales que ank x cuando k .
Pero {an } es fundamental, por lo que an x, y X es completo.
(Totalmente acotado) Supongamos que X no es totalmente acotado, esto es, existe
0 > 0 tal que X no tiene una 0 red finita. Sea x1 X. Entonces existe x2 tal que
42

d(x1 , x2 ) 0 (de no existir x2 , {x1 } sera una 0 red finita de X). Supongamos que
hemos elegido x1 , x2 , . . . , xk . Entonces existe xk+1 tal que d(xj , xk+1 ) 0 para toda
1 j k (de nuevo, de no existir xk+1 , {x1 , x2 , . . . , xk } sera una 0 red finita de X).
Por tanto, hemos construido una sucesion {xn } X sin puntos lmite, pues si n = m,
d(xn , xm ) 0 . Por tanto, X no es secuencialmente compacto.
) Supongamos que X es totalmente acotado y completo, y sea {an } X una(sucesion.
)
1
n 1
n mn
Para cada n N consideremos una n red finita de X, {xk }k=1 . Sea Bn = B xk , n
2
2
escogida de manera que Bn contiene una infinidad de terminos de {an } y Bn+1 Bn
(siempre podemos escoger Bn de esta manera, pues para cada n N, solo hay mn de
estas bolas, por lo que al menos una contiene una infinidad de puntos de la sucesion).
Ahora, para cada k N, consideremos un punto ank Bk . Si k < l
d(ank , anl ) d(ank , ank+1 ) + d(ank+1 , ank+2 ) + . . . + d(anl1 , anl )
1
1
1
k + k+1 + . . . + l1
2 ( 2
2 )
1
1
1
1
= k 1 + + . . . + l1 k1
2
2
2
2
lo cual implica que la subsucesion {ank } es fundamental, y como X es completo, existe
x X tal que ank x, y se sigue que X es secuencialmente compacto.
Antes de enunciar el resultado principal, enunciamos la definicion de base para un espacio
topologico, y demostramos dos lemas que simplificaran la prueba de dicho resultado.
Definici
on 3.4 (Base de un espacio topologico). Diremos que una coleccion de abiertos
{G | } X es una base de X si para todo x X, y todo abierto G X tal que
x G, existe G tal que x G G.
Si el conjunto de ndices es numerable, diremos que {G } es una base numerable.
Lema 3.7. Si X es secuencialmente compacto, entonces X es separable9 y tiene una base
numerable.
1
Demostracion. Por la proposicion 3.6, X es totalmente acotado. Sea Dn una red finita
n

de X. Afirmamos que el conjunto D =

Dn es numerable y siempre denso en X, y que
k=1

la coleccion de bolas:

{ (
)
}
1
V = B x,
|x D, n N
n

De la definicion 1.8, X es separable si existe un subconjunto A X numerable y siempre denso, es

decir, X = A.
9

43

es una base numerable para X.

El que D es numerable se sigue inmediatamente de su construccion. Ahora, sea > 0, y
1
1
N > 0 tal que
< . Si n N , como Dn es una red finita de X, para todo x X,
N
n
existe alg
un y Dn D tal que
1
1

<
n
N

d(x, y)

Y por tanto, D es denso numerable, y X es separable.

La coleccion de bolas V es claramente numerable. Para demostrar que es base, sea G X
abierto, y x G. Por ser G abierto, existe
0 tal que B(x, ) G. Por demostrar que
( >)
1
2
existen x D, n N tales que x B x ,
B(x, ). Sea N > 0 tal que
< .
n
N
1
1
Si n N , al ser Dn una red finita de X, existe x Dn D tal que d(x , x) .
n
(n )
1
:
Ahora, para todo y B x ,
n
d(x, y) d(x, x ) + d(x , y)

1
1
2
2
+ =
<
n n
n
N

(
)
1
Y por tanto, B x ,
B(x, ), que es lo que queramos demostrar. Ademas, por la
(n
)
1
construccion, x B x ,
. Se sigue que V es base numerable de X.
n
Lema 3.8. Si X es secuencialmente compacto, entonces de cualquier cubierta abierta
G = {G | } de X se puede extraer una subcubierta numerable.
Demostracion. Por el lema 3.7, X tiene una base numerable V = {Vn |n N}. Ahora,
cada x X esta en alg
un Gx . Como V es base, existe Vnx tal que x Vnx Gx . Por
tanto,

Vnx = X
xX

y V es numerable, por lo que la union anterior es a lo mas numerable10 Por tanto, para
cada Vn V , podemos escoger Gn G tal que Vn Gn , y la coleccion numerable
G1 , G2 , . . . , Gk , . . .
es la subcubierta numerable que buscamos.
10

Observese que no afirmamos que X es numerable, sino que, al ser V numerable, necesariamente habra
conjuntos Vnx que se repitan en la union.

44

Finalmente, estamos listos para el resultado principal de la seccion:

Teorema 3.9. Sea X espacio metrico. Son equivalentes:
(i) X es compacto.
(ii) X es secuencialmente compacto.
(iii) X es totalmente acotado y completo.
Demostracion. (i)(ii) es el teorema 1.21, mientras que la equivalencia entre (ii) y (iii)
es la proposicion 3.6. Falta pues demostrar que (iii) y (ii) (i). Sean X secuencialmente
compacto, y {G | } una cubierta abierta de X. Por el lema 3.8, podemos suponer
sin perdida de generalidad que la cubierta es numerable, es decir, = N. Supongamos
que no podemos extraer una subcubierta finita, y para cada n N escojamos:
xn X \

Gk = Xn

k=1

formemos la sucesion {xn }. Podemos suponer que los xn son distintos, y como X es
secuencialmente compacto, existe x X y una subsucesion {xnk } {xn } tal que xnk x.
Por lo anterior, todos excepto un n
umero finito de los ank estan en Xn , para toda n N,
y Xn es cerrado (por ser el complemento de una union finita de abiertos). Por tanto,
n

Gk para todo n N. Pero esto u

ltimo implica que:
x Xn , o equivalentemente, x
/
k=1

x
/

Gk = X

k=1

lo cual es absurdo. Por tanto, el supuesto de que no existe una subcubierta finita es falso,
y se sigue que X es compacto.
El teorema 3.9 es sorprendente. La propiedad de compacidad se enuncio en terminos
estrictamente topologicos. Por otra parte, si bien la propiedad de ser secuencialmente
compactos se enuncio en terminos metricos, es de hecho una propiedad topologica, lo
mismo que la compacidad (aunque este no es el lugar para profundizar en el tema). Ahora
bien, el que un espacio sea totalmente acotado y completo son propiedades metricas.
Por tanto, el teorema anterior nos dice que dentro del contexto de espacios metricos,
ciertas propiedades topologicas (compacto, secuencialmente compacto) son equivalentes
a propiedades metricas (totalmente acotado y completo).
Para ver la potencia del teorema 3.9, enunciamos como corolario el Teorema de Heine
BorelLebesgue.
45

Corolario 3.10 (Teorema de HeineBorelLebesgue). Un subconjunto A Rn

es compacto si y solo s A es cerrado y acotado.
Demostracion. ) Si A es compacto, por el teorema 3.9, A es completo y totalmente
acotado. En el ejemplo 3.1 vimos que entonces A es acotado, y de la proposicion 2.3,
A Rn completo implica que A es cerrado.
) Si A es cerrado, por la proposicion 2.3 A es completo, por ser acotado en Rn , en el
ejemplo 3.2 se vio que entonces A es totalmente acotado. Se sigue del teorema 3.9 que A
es compacto.
Corolario 3.11. Sea f : X R, f continua y X compacto. Entonces f alcanza sus
valores extremos.
Demostracion. Por el teorema 1.17, f (X) es compacto, y por el coroloario 3.10, f (X) es
cerrado y acotado, es decir, existen a, b R tales que f (X) = [a, b].
Definici
on 3.5. Diremos que un subconjunto M X es relativamente compacto si su
es compacto.
cerradura M
La compacidad relativa, a diferencia del concepto de compacidad, depende del espacio X
en donde se encuentre inmerso M . Por ejemplo, M = Q [0, 1] es relativamente compacto
en X = [0, 1], pero no en X = Q.
Con la definicion anterior, y el teorema 3.9, se obtiene como corolario el siguiente:
Teorema 3.12. Un subconjunto M X, de un espacio metrico completo X es relativamente compacto si y solo s es totalmente acotado.
Teorema 3.13. Sea f : X Y continua, X compacto. Entonces f es uniformemente
continua.
Demostracion. Sea > 0. Por ser f continua, para cada x X, existe x > 0 tal que
siempre que dX (x, y) < x , dY (f (x), f (y)) < . La coleccion de bolas {B(x, 2x )|x X} es
una cubierta abierta de X, y por la compacidad de X, podemos
una subcubier{ extraer
}
xk
x1
x2
xn
ta finita B(x1 , 2 ), B(x2 , 2 ), . . . , B(xn , 2 ). Sea = mn
> 0. Consideremos
1kn
2
ahora x, y X tales que dX (x, y) < . Existe al menos un xk , con 1 k n tal que
x
dX (x, xk ) < k . Se tiene que:
2
xk
< xk
2
dY (f (x), f (y)) dY (f (x), f (xk )) + dY (f (xk ), f (y)) < + = 2
dX (y, xk ) dX (y, x) + dX (x, xk ) < +

y por tanto, f es uniformemente continua.

46

El inverso del teorema anterior no se cumple. Sin embargo, si agregamos la hipotesis

adicional de que X sea conexo, podemos probar el inverso parcial:
Teorema 3.14. Sea X espacio metrico conexo tal que cualquier funcion f : X R
continua, es uniformemente continua. Entonces X es compacto.
Demostracion. De acuerdo al teorema 3.9, es suficiente probar que X es totalmente acotado y completo. Supongamos primero que X no es totalmente acotado. Podemos entonces
construir una sucesion de puntos11 {xn } X tales que d(xn , xm ) > 0 si n = m. Para
cada n N, sea
{
}
3
n (x) = max 0, 1 d(x, xn )

Se tiene que cada funcion n : X [0, 1] R es continua (de hecho, uniformemente

continua, por las hipotesis del teorema). Observese ademas que

0
si d(x, xn ) 3

1
si x = xn
n (x) =

3
1 d(x, xn ) si d(x, xn ) < 3
Ademas, para n = m, si d(x, xn ) <

, entonces
3

d(x, xm ) |d(x, xn ) d(xn , xm )|

2
3

y por tanto, n (x) = m (x) siempre que n = m. En particular, se sigue de la desigualdad

anterior que si n (x) > 0, entonces m (x) = 0. Por tanto, podemos definir sin ambig
uedad

kk (x). De hecho, por la observacion anterior, f es igual a 0 si

la funcion f (x) =
k=1
(
)

3
d(x, xk ) para todo k; a k si x = xk para alg
un k, y a k 1 d(x, xk ) si d(x, xk ) <
3

. En particular, f es continua en X. Como X es conexo, la funcion gn : X R,

3
gn (x) = d(x, xk ) es continua, g(xk ) = 0, y g(xk+1 ) , se sigue del teorema 3.5 que

< . Entonces:
existe x X tal que gk (x) =
3k
3
(
)
(
)
3
1
f (xk ) f (x) = k k 1 gk (x) = k k 1
=1

k
Se sigue que f no puede ser uniformemente continua, en contra de nuestra hipotesis
original. Y por tanto, X es totalmente acotado.
11

Consulte la demostracion de la proposicion 3.6 (la demostracion de la acotacion total)

47

Supongamos ahora que X no es completo. Sea {xn } X una sucesion de Cauchy que no
converge en X, y consideremos la completacion X de X. Existe un punto x X tal
que an x . La funcion g : X R, g(x) = d(x, x ) es continua en X, y nunca se anula
1
es continua en X. Si demostramos que f no puede
(en X), por lo que f (x) =
d(x, x )
ser uniformemente continua, habremos terminado, pues entonces X debe ser completo.
Sean > 0 y N > 0 tales que si n, m N , entonces d(xn , xm ) < . Como d(xN , x ) > 0,
existen enteros k, m tales que
d(xm , x ) <

1
1
< < d(xN , x )
k+1
k

Pero esto implica que

1
1
>k+1>k >

d(xm , x )
d(xN , x )
f (xm ) f (xN ) k + 1 k = 1
y f no puede ser uniformemente continua. Por tanto, X es completo.

3.3.

Teorema de Arzel`
a-Ascoli

Se plantea el siguiente problema: Dada una familia de funciones C[a,b] , que condiciones debemos imponer a para asegurar que se puede extraer una subsucesion uniformemente convergente?. En otras palabras, cuando un subconjunto C[a,b] es (relativamente) compacto? Del teorema 3.9, es compacto si y solo si es completo y
totalmente acotado. Dado que C[a,b] es completo, es completo si y solo si es cerrado en
C[a,b] . Por otra parte, y de acuerdo al teorema 3.12, es relativamente compacto si y solo
si es totalmente acotado. Por tanto, el problema se reduce a encontrar condiciones que
nos permitan asegurar cuando es totalmente acotado. Comencemos con una definicion.
Definici
on 3.6. Sea {fn : A X R} una sucesion de funciones. Diremos que:
(i) La sucesion es acotada puntualmente para x X si existe : A X R tal que
|fn (x)| (x),

nN

(ii) es uniformemente acotada (o equiacotada) en A X si existe M > 0 tal que

|fn (x)| < M para todo x X, n N
x2
.
x2 + (1 nx)2
Claramente, |fn (x)| 1, n N, y {fn } es uniformemente acotada en [0, 1]. Por otra parte,
Ejemplo 3.5. Consideremos la sucesion {fn : [0, 1] R}, fn (x) =

48

x2
= 0, con lo que fn converge puntalmente a 0. Podemos extraer una
n x2 + (1 nx)2
subsucesion uniformemente convergente? La respuesta es no.
lm

fk ( k1 ) =

1/k 2
= 1,
1/k 2 + (1 k/k)2

k N

y por tanto, ninguna subsucesion puede ser uniformemente convergente.

En vista de lo anterior, la acotacion uniforme no es suficiente.
Definici
on 3.7. Sea = {f : A X R} una familia de funciones. Diremos que
es equicontinua si para todo > 0, existe > 0 tal que |f (x) f (y)| < , siempre que
d(x, y) < , x, y X, y para toda f .
La sucesion del ejempleo 3.5 no es equicontinua. El teorema de Arzel`a-Ascoli nos indica que las condiciones necesarias y suficientes para resolver el problema inicialmente
planteado son, precisamente, la acotacion uniforme y la equicontinuidad.
` -Ascoli). Una familia de funciones C[a,b] es
Teorema 3.15 (Teorema de Arzela
relativamente compacta si y solo si la familia es uniformemente acotada y equicontinua.
Demostracion. ) Sea relativamente compacta. Por el teorema 3.12, es totalmente

acotada, y dado > 0, consideremos una red finita 1 , 2 , . . . , m en . Cada k , al

3
estar definida sobre el compacto [a, b], es acotada, por lo que existen constantes Mk > 0
tales que |k (x)| Mk , a x b. Sea
M = max{M1 , M2 , . . . , Mm } +

red finita tal que

3

d(, k ) = sup |(x) k (x)|

3
axb

|(x)| |k (x)| + Mk + M
3
3

Ahora, dado , existe al menos una k en la

y por tanto, es uniformemente acotada.

Ahora, cada k en la red es continua en [a, b], y por el teorema 3.14, uniformemente
3

continua. Esto es, existe k > 0 tal que |k (x) k (y)| < , para todos x, y [a, b] con
3
|x y| < k . Sea = mn{1 , 2 , . . . , n }. Para cualquier , existe al menos una k

tal que d(, k ) = sup |(x) k (y)| < . Entonces:

3
axb
|(x) (y)| |(x) k (x)| + |k (x) k (y)| + |k (y) (y)| <
49

para todo x, y [a, b], siempre que |x y| < ; y toda . Por tanto, es equicontinua.
) Supongamos que es uniformmemente acotada y equicontinua. Sea > 0. Por las
hipotesis, existen M > 0 y > 0 tales que |(x)| M para toda , y |(x) (y)|

para toda , y x, y [a, b] tales que |x y| < . Dividamos el rectangulo [a, b]

5

[M, M ] en subrectangulos de base menor que , y altura menor que . El que podamos
5
hacer esto se sigue de la propiedad arquimediana de los reales (vea la figura 3). Es decir,

y
M

M
Figura 3: Division de [a, b] [M, M ]
dividimos el intervalo [a, b] con puntos a = x1 < x2 < . . . < xn = b tales que |xi+1 xi | <
, y el intervalo [M, M ] con puntos M = y1 < y2 < . . . < ym = M , tales que

|yj+1 yj | < . Ahora, para cada , construimos una funcion lineal por tramos ,
5

con vertices en los puntos (xi , yj ) tal que |(xi ) (xi )| < (figura 3). Se tiene que
5
|(xi ) (xi+1 )| |(xi ) (xi )| + |(xi ) (xi+1 )| + |(xi+1 ) (xi+1 )|
3

< + + =
5 5 5
5
Ahora, para todo x [xi , xi+1 ], se tiene que |(xi ) (x)|

50

3
, como consecuencia de
5

que es lineal en ese intervalo. Sean x [a, b] y xk tal que xk x xk+1 . Entonces
|(x) (x)| |(x) (xk )| + |(xk ) (xk )| + |(xk ) (x)|
3
< + +
=
5 5
5
Y se sigue que la familia de funciones por tramos es una red de . Como ademas la
cardinalidad de esta familia es necesariamente finita, es totalmente acotada.
Como corolario del teorema de Arzel`a-Ascoli, enunciamos el siguiente:
Corolario 3.16. Suponga que {fn : [a, b] R|n N} es una sucesi
on de funciones
diferenciables cuyas derivadas estan uniformemente acotadas. Si para alg
un x0 , la sucesion {fn (x0 )} esta acotada, entonces la sucesi
on {fn } tiene una subsucesi
on que converge
uniformemente en [a, b].
Demostracion. Sea M > 0 una cota para |fn (x)|, y sea > 0. Si =
|x y| < , por el teorema del valor medio:

, entonces
M +1

|fn (x) fn (y)| = |fn (t)| |x y| M <

para alg
un x t y (o y t x), y por tanto, {fn } es equicontinua.
Sea ahora M0 una cota para |fn (x0 )|. Si aplicamos de nuevo el teorema del valor medio:
|fn (x)| = |fn (x) fn (x0 ) + fn (x0 )| |fn (x) fn (x0 )| + |fn (x0 )|
M |x x0 | + M0 M |b a| + M0
y esto muestra que {fn } esta uniformemente acotada. Por tanto, se sigue del teorema
3.15 que existe una subsucesion {fnk } que converge uniformemente en [a, b].

3.4.

Aplicaciones

Como una aplicacion directa de la potencia del teorema de Arzel`a-Ascoli (3.15), vamos a
demostrar el teorema de Peano (3.17) acerca de soluciones para una ecuacion diferencial.
En el teorema de Peano se demuestra que una condicion suficiente para la existencia de
una solucion es la continuidad de f (x, y) : G R2 R. A diferencia del teorema de
Picard (2.21), no se puede asegurar la unicidad de la solucion, pero las condiciones son
menos restrictivas, pues en 2.21 se requiere que f , ademas de ser continua, satisfaga la
condicion de Lipschitz en y:
|f (x, y1 ) f (x, y2 )| M |y1 y2 |

51

dy
Teorema 3.17 (Teorema de Peano). Sea
= f (x, y) una ecuaci
on diferencial. Si f
dx
es continua en un dominio cerrado G, la ecuaci
on diferencial tiene al menos una solucion
que pasa por cada punto interior (x0 , y0 ) G.
Antes de demostrar el teorema, supongamos que : [a, b] R es solucion de la ecuacion
diferencial. Por el teorema de Taylor,
(x0 + h) = (x0 ) + (x0 )h + o(h) = y0 + f (x0 , y0 )h + o(h)
g(h)
= 0. Esto sugiere utilizar, como aproxih0 h
macion a la solucion, una funcion lineal por tramos. Este metodo, desarrollado por Euler,
es el que se utilizara en la demostracion.
donde o(h) es una funcion g(h) tal que lm

Demostracion. Dado que f es continua en G, para alg

un G G, |f (x)| M , con
(x0 , y0 ) G G. Por el punto (x0 , y0 ) tracemos rectas con pendientes M y M , y rectas
verticales por a y b de manera que los triangulos determinados por estas rectas y las de
pendientes M y M esten totalmente contenidas en G . A continuacion, para h (0, 1),
se definen de manera recursiva parejas de puntos (xk , yk ), xk = x0 + kh, tales que:
a xk1 < xk1 +1 < . . . < x1 < x0 < x1 . . . < xk2 b
yk = yk1 + f (xk1 , yk1 )h si k > 0,
yk = yk+1 f (xk+1 , yk+1 )h si k < 0.
(Vea la figura 4). Consideremos ahora la familia de funciones = {h : [a, b] R|h

G
G
(x0 , y0)

xk1 x2 x0 x2 xk2
a x3 x1 x1 x3 b
Figura 4: Quebradas de Euler
52

(0, 1)}, tales que h (xk ) = yk , y que es lineal en xk x xk+1 . Se tiene que
|h (x)| |h (x) h (x0 )| + |h (x0 )| M |x x0 | + |y0 |
M max{|a x0 | , |b x0 |} + |y0 |
y esto muestra que es uniformemente acotada. Ahora, sea > 0. Si = mn{, h},
entonces xk1 x xk y xk+1 , y:
|h (x) h (y)| |h (x) h (xk )| + |h (xk ) h (y)|
M |x xk | + M |xk y| 2M
y dado que 2M es independiente de x, esta desigualdad demuestra la equicontinuidad de
. Se sigue del teorema 3.15 que existe una subsucesion de funciones {h1 , h2 , . . . , hk , . . . }
, y : [a, b] R tal que lm hk (x) = (x), y la convergencia es uniforme. Para aligek

rar la notacion, en lo que sigue denotaremos a esta subsucecion {1 , 2 , . . . , k , . . . }. Solo

nos hace falta probar que es solucion de la ecuacion diferencial. Para esto, es suficiente
demostrar que


 (x) (x )


f
(x
,
(x
))

<
x x
o de manera equivalente, dado que k uniformemente, para k N :


 k (x) k (x )


f
(x
,
(x
))

<
x x

(3.1)

siempre que |x x | < . Por la continuidad de f en G , dado > 0, existe > 0 tal que
si |x x | < 2, |y y | < 4M
|f (x, y) f (x , y )| <
en donde y = (x), y = (x ). La desigualdad anterior la reescribimos a su forma
equivalente:
f (x , y ) < f (x, y) < f (x , y ) +
(3.2)
Sea ahora N > 0 tal que si m N , |x x | < , y |(x) m (x)| < 2M . Podemos
suponer sin perdida de generalidad que x < x . sean x0 x < x1 < . . . xn < x xn+1 los
vertices de la funcion m . Como esta funcion es lineal entre xk y xk+1 :
m (x1 ) m (x) = f (x0 , y0 )(x1 x)
m (xk+1 ) m (xk ) = f (xk , yk )(xk+1 xk ) (k = 1, 2, . . . , n 1)
m (x ) m (xn ) = f (xn , yn )(x xn )

53

Aplicamos ahora la desigualdad (3.2) a cada una de las (n + 1) identidades anteriores,

para obtener:
[f (x , y ) ](x1 x) < m (x1 ) m (x) < [f (x , y ) + ](x1 x)
[f (x , y ) ](xk+1 xk ) < m (xk+1 ) m (xk ) < [f (x , y ) + ](xk+1 xk )
(k = 1, 2, . . . , n 1)

[f (x , y ) ](x xn ) < m (x ) m (xn ) < [f (x , y ) + ](x xn )

Ahora, al sumar estas (n + 1) desigualdades, se cancela casi todo, y solo queda:
[f (x , y ) ](x x) < m (x ) m (x) < [f (x , y ) + ](x x)

(3.3)

y al dividir, entre x x, nos da como resultado (3.1), que es lo que queramos demostrar.

El metodo utilizado en la demostracion del teorema de Peano (3.17) recibe el nombre

de metodo de Euler, y las funciones linales por tramos, el de quebradas de Euler. Es
muy utilizado en software que calcula soluciones numericas a ecuaciones diferenciales. Su
utilidad reside en el hecho de que en cada iteracion hay que evaluar un conjunto finito de
puntos, y despues se realiza la interpolacion lineal.

54

4.

Teorema de Aproximaci
on de Weierstrass

Al principio del curso se menciono que el espacio metrico C[a,b] es separable, es decir, que
existe un conjunto de funciones denso numerable. Tal conjunto consiste de los polinomios
con coeficientes racionales. Si bien no hemos demostrado esa afirmacion, ahora disponemos
de las herrameintas para demostrar un resultado ligeramente mas debil, pero de gran
importancia teorica:
Teorema 4.1 (Teorema de Aproximacion de Weierstrass). La familia de polinomios es
densa en C[a,b] .
Demostracion. Para demostrar el teorema, es suficiente mostrar que para cualquier f :
[a, b] R, existe una sucesion de polinomios pn : [a, b] R tales que pn (x) f (x)
uniformemente en [a, b]. Sin perdida de generalidad, podemos suponer que [a, b] = [0, 1], y
que f (0) = f (1) = 0, pues si el teorema es cierto bajo estas hipotesis, entonces la funcion
g(x) = f (x) f (0) x[f (1) f (0)], 0 x 1, g(0) = g(1) = 0, cumple las condiciones
anteriores, y g puede ser aproximado de manera uniforme por polinomios. Finalemente,
como f (x) g(x) = f (0) + x[f (1) f (0)] es un polinomio, f misma puede ser aproximada
de manera uniforme por polinomios. Adicionalmente, podemos definir f (x) = 0 si x 0,
o x 1, de modo que f es uniformemente continua en la recta.
Sea gn (x) = cn (1 x2 )n , n = 1, 2, . . ., donde cn se elige de manera que:
1
cn
(1 x2 )n dx = 1
1

Para obtener una estimacion de las constantes cn , vamos a utilizar la siguiente desigualdad:
(1 x2 )n 1 nx2 ,

|x| 1

que se comprueba facilmente12 .

1
1
1
2 n
2 n
1 = cn
(1 x ) dx = 2cn
(1 x ) dx 2cn
(1 nx2 )dx
1

)
(
) 1
(
1
nx3  n
1
2
2cn
(1 nx )dx = 2cn x
= 2cn
3 0
n 3 n
0

4cn
cn
=
cn n
3 n
n

1/ n

Entonces, para toda > 0,

gn (x) = cn (1 x2 )n

n(1 2 )n

lm gn (x) = 0
n

La funcion h(x) = (1 x2 )n 1 + nx2 es igual a 0 en x = 0, tiene derivada negativa si 1 < x < 0,

y derivada positiva si 0 < x < 1, de donde se sigue que tiene un mnimo local en 0.
12

55

lo cual demuestra que si |x| 1, entonces gn converge uniformemente a 013 . Consideremos ahora
1
pn (x) =
f (x + t)gn (t)dt 0 x 1
1

Con el cambio de variable u = x + t (t = u x), la integral se convierte en

1+x
1
pn (x) =
f (u)gn (u x)du =
f (u)gn (u x)du
x1

puesto que f (x) = 0 si x <( 0, o x > 1. La

un polinomio en x, pues
) integral 2anterior define
2 n
2 n
al desarrollar gn (u x) = 1 (u x)
= (1 u + 2ux x ) , se obtiene un polinomio
en x cuyos coeficientes son polinomios en u, y al evaluar la integral, las potencias de x
son constantes (respecto a la integral), y hay que evaluar una suma del tipo:
1
2n
2n

k
pn (x) =
x
f (u)qn (u)du =
ak xk
0

k=0

k=0

con qn (u) un polinomio en u, que es claramente un polinomio en x.

Ahora, como se comento antes, f es uniformemente continua. Sean > 0, >0 tales que si
1

|x y| < , entonces |f (x) f (y)| < , y M = sup |f (x)|. Por hipotesis,

gn (t)dt =
2
x[0,1]
1
1:
 1

1


|pn (x) f (x)| = 
f (x + t)gn (t)dt f (x)
gn (t)dt
1
11
 1


(
)

=
f (x + t) f (x) gn (t)dt
|f (x + t) f (x)| gn (t)dt
1

|f (x + t) f (x)| gn (t)dt +

|f (x + t) f (x)| gn (t)dt

|f (x + t) f (x)| gn (t)dt

1

gn (t)dt + 2M
gn (t)dt
2M
gn (t)dt +
2

4M (1 2 )n + <
2

pues siempre podemos escoger N > 0 tal que 4M (1 2 )n < si n N , dado que gn
2
converge uniformemente a 0 si < |x| 1. Por tanto, pn f uniformemente en [0, 1].

13

n
= 0, para > 0, p > 0, que
n (1 + p)n

En la Seccion de Convergencia Uniforme se utilizo lm

demuestra la afirmacion.

56

Corolario 4.2. Para todo r R, existe una sucesi

on de polinomios pn : [r, r] R tales
que pn (0) = 0 y pn (x) converge uniformemente a |x|.
Demostracion. Se sigue del teorema de Weierstrass (4.1) que existe una sucesion de polinomios {qn : [r, r] R} tales que qn (x) |x| uniformemente. Definimos entonces
pn (x) = qn (x) qn (0).
Una vez demostrado el Teorema de Weierstrass (4.1), vamos a probar el resultado que se
haba anticipado desde el principio del curso, a saber, que los polinomios con coeficientes
racionales forman un subconjunto denso en el espacio C[a,b] .
Teorema 4.3. C[a,b] es separable.
Demostracion. Sea p : [a, b] R un polinomio. Es suficiente demostrar que para toda >
0, podemos construir un polinomio con coeficientes racionales que diste en menos de de p
en la metrica de C[a,b] . Primero vamos a acotar los valores de p. Sea M = max{|a| , |b| , 1}:


 
|p(x)| = a0 + a1 x + a2 x2 + . . . + an xn  |a0 | + |a1 | |x| + |a2 | x2  + . . . + |an | |xn |
(
)
|a0 | + |a1 | M + |a2 | M 2 + . . . + |an | M n |a0 | + |a1 | + |a2 | + . . . + |an | M n
y la desigualdad es valida para toda x [a, b]. Ahora, para cada k, 1 k n, sea qk Q

tal que |ak qk | <

. Esto lo podemos hacer debido a que Q R es denso. Definamos
nM n
q(x) = q0 + qi x + q2 x2 + . . . + qn xn
Se sigue que para toda x [a, b]:
(
)
|p(x) q(x)| |a0 q0 | + |a1 q1 | + |a2 q2 | + . . . + |an qn | M n <
y esto implica que (p, q) = sup |p(x) q(x)| < , por lo que los polinomios con coefix[a,b]

cientes racionales, que denotamos PQ son densos en la familia de los polinomios P, esto es
P PQ . Pero por el teorema 4.1, P = C[a,b] , y por el teorema 1.6, (iii), C[a,b] PQ .
Ahora vamos a demostrar una generalizacion debida a Stone del Teorema de aproximacion
de Weierstrass. Necesitamos para esto unas cuantas definiciones.
Definici
on 4.1. Una familia de funciones reales (complejas) definidas sobre un subconjunto A de un espacio metrico X es un algebra de funciones si:
(i) f + g
(ii) f g
57

(iii) cf
para todas f, g , c R(C).
Diremos que es uniformemente cerrada si para cualquier sucesion de funciones {fn }
tales que fn converge uniformemente a f , entonces f .
Diremos ademas que el conjunto de todas las funciones que son lmite de sucesiones
uniformemente convergentes {fn } es la cerradura uniforme de .
Observacion 4.1. Las funciones f + g, f g, cf : A X R se definen como (f + g)(x) =
f (x) + g(x), (f g)(x) = f (x)g(x), y (cf )(x) = cf (x), por lo que no debemos confundir el
producto de dos funciones con la composicion. Por supuesto, cuando no haya ambig
uedad,
podremos prescindir de los parentesis.
Lema 4.4. Sea la cerradura uniforme de un algebra de funciones reales (complejas)
acotadas definidas en A X. Entonces es un algebra uniformemente cerrada.
Observacion 4.2. La condicion de que las funciones sean acotadas debe entenderse en el
siguiente sentido: para cada n, existe Mn > 0 tal que fn (x) Mn para todo x A. Si
por otra parte, A X es compacto, la condicion de que las funciones sean acotadas es
claramente redundante.
Demostracion. Primero vamos a mostrar que si la sucesion {fn } converge uniformemente,
y cada fn es acotada, entonces {fn } es uniformemente acotada.
Sea > 0. Por ser la sucesion {fn } uniformemente convergente a f , es fundamental, y
existe N > 0 tal que si n, m N , entonces |fn (x) fm (x)| < para todo x A. Y por
ser cada fk acotada, existen constantes Mk > 0 tales que |fk (x)| Mk para todo x A.
Sea M = max M1 , M2 , . . . , MN , y si n N :
|fn (x)| |fn (x) fN (x)| + |fN (x)| + M max{, 1} + M
para todo x A, y {fn } es uniformemente acotada. Observese el mismo razonamiento
implica que f es acotada:
|f (x)| |f (x) fn (x)| + |fn (x)| + M
Ahora, para demostrar que = es un algebra uniformemente cerrada, tenemos que
demostrar, de acuerdo a la definicion, para cualesquiera f, g , c R (C), entonces
f + g , f g , y cf .
Sean f, g , y > 0. Existen sucesiones de funciones {fn }, {gn } uniformemente
acotadas tales que fn f, gn g uniformemente, y:
|(fn + gn )(x) (f + g)(x)| = |fn (x) + gn (x) f (x) g(x)|
|fn (x) f (x)| + |gn (x) g(x)| < 2
58

por lo que fn + gn converge uniformemente a f + g.

Por otra parte,
|(fn gn )(x) (f g)(x)| = |(fn gn )(x) (f gn )(x) + (f gn )(x) (f g)(x)|
= |fn (x)gn (x) f (x)gn (x) + f (x)gn (x) f (x)g(x)|
|gn (x)| |fn (x) f (x)| + |f (x)| |gn (x) g(x)| 2M
y fn gn converge uniformemente a f g. Finalmente, si c R (C):
|(cfn )(x) (cf )(x)| = |cfn (x) cf (x)| = |c| |fn (x) f (x)| |c|
demuestra que cfn converge uniformemente a cf . Se sigue entonces que es un algebra
uniformemente cerrada.
Observacion 4.3. La condicion de que las funciones sean acotadas no puede excluirse del
lema. Se pueden construir ejemplos de sucesiones de funciones no acotadas {fn }, {gn } que
converjan uniformemente, pero que la sucesion definida por el producto {fn gn } no converge
uniformemente (aunque, por supuesto, el producto todava converge puntualmente).
Definici
on 4.2. Sea una familia de funciones reales (complejas) definidas en A X.
Diremos que separa puntos si para cualesquiera x, y A, con x = y, existe f tal
que f (x) = f (y).
Si para cada x A existe g tal que g(x) = 0, diremos que desaparece (o se anula)
en ninguna parte de A.
Ejemplo 4.1. La familia de polinomios pares p(x) = a2 x2 + . . . + a2k x2k definidos sobre
[1, 1] no separa puntos, pues p(x) = p(x).
Por otra parte, la familia de polinomios p(x) = a1 x + a2 x2 + . . . + ak xk (con coeficiente
constante igual a 0) definidos sobre el mismo intervalo [1, 1] desaparece en 0.
Previo al teorema de Stone-Weierstrass, enunciamos y demostramos dos lemas y un corolario que nos reduciran el trabajo.
Lema 4.5. Sea un algebra de funciones reales (complejas) definidas en A X que
separa puntos y desaparece en ninguna parte. Entonces, dados x1 = x2 A, y constantes
c1 , c2 R (C), existe una funcion f tal que
f (x1 ) = c1 ,

f (x2 ) = c2

Demostracion. Como no desaparece puntos, existen g1 , g2 tales que g( x1 ) = 0,

g2 (x2 ) = 0, y dado que separa puntos, existe h tal que h(x1 ) = h(x2 ). Sea
g = g12 + g22 , y como es un algebra, g . Ahora, la matriz:
[
]
g(x1 ) g(x1 )h(x1 )
g(x2 ) g(x2 )h(x2 )
59

tiene determinante
(
)
g(x1 )g(x2 )h(x2 ) g(x2 )g(x1 )h(x1 ) = g(x1 )g(x2 ) h(x2 ) h(x1 ) = 0
Por tanto, el sistema de ecuaciones
g(x1 ) + g(x1 )h(x1 ) = c1
g(x2 ) + g(x2 )h(x2 ) = c1
tiene solucion u
nica (, ) = (0, 0). Entonces la funcion f = g + h es tal que
f (x1 ) = c1 , f (x2 ) = c2 .
Lema 4.6. Sea un algebra uniformemente cerrada de funciones reales (complejas)
definidas en K X, K compacto. Si f , entonces |f | , donde |f | (x) = |f (x)|.
Demostracion. Por el corolario 4.2, existe un polinomio p : [a, a] R con coeficiente
constante 0 tal que |p(y) |y|| < , donde a = sup |f (x)|, es decir, p(y) = a1 y + a2 y 2 +
xK

. . . + an y n . Sea g = a1 f + a2 f 2 + . . . + an f n (en otras palabras, g = p f ). Entonces, y

dado que g , si x K y f (x) = y:
|g(x) |f (x)|| = |p(y) |y|| <
Y por tanto, |f | .
Corolario 4.7. Bajo las hipotesis del lema 4.6, si f1 , f2 , . . . , fn , entonces
max{f1 , f2 , . . . , fn }
mn{f1 , f2 , . . . , fn }
Demostracion. Para n = 2, si f, g , el corolario se sigue de las identidades:
f + g |f g|
+

2
2
f + g |f g|
mn{f, g} =

2
2

max{f, g} =

y para n > 2, es un ejercicio sencillo de induccion.

Ahora estamos listos para abordar el teorema de Stone-Weierstrass. Observese que en el
enunciado del mismo, se omite la generalizacion a funciones complejas.
Teorema 4.8 (Teorema de Stone-Weierstrass). Sea un algebra de funciones
reales continuas definidas sobre un compacto K. Si separa puntos y desaparece en
ninguna parte de K, entonces la cerradura uniforme de consiste de todas las funciones
reales continuas sobre K, es decir, = CK .
60

Demostracion. Por el lema 4.4, la cerradura uniforme = es un algebra uniformemente

cerrada, y ademas es inmediato que separa puntos y desaparece en ninguna parte de K. Sea
f : K R continua, y consideremos p, q K. Por el lema 4.5, existe una funcion continua
hpq tal que hpq (p) = f (p), hpq (q) = f (q). Fijamos p, y consideramos q variable. La
funcion h = hpq f + , y es continua. Ademas, h(q) > 0 y existe una bola abierta
B(q, q ) tal que si x B(p, q ), entonces hpq (x)f (x)+, o hpq (x) > f (x)+. La coleccion
de bolas {B(q, q )|q K es una cubierta abierta de K, y dado que K es compacto,
n

podemos elegir un n
umero finito de puntos q1 , q2 , . . . , qn tales que K =
B(gi , qi ). Sea
i=1

entonces
gp = max{hpq1 , hpq2 , . . . , hpqn }

Por el lema 4.7, gp . Ademas, gp (p) = f (p), y gp (x) > f (x) , para todo x K.
Ahora, gp es continua, lo mismo que la funcion h = gp f (x) , y h(p) < 0, por lo que
existe una bola B(p, p ) tal que si x B(p, p ), entonces h(x) < 0, o de forma equivalente,
gp (x) < f (x)
+ . De nuevo, y dado que K es compacto, podemos elegir p1 , p2 , . . . , pm , de
manera que m
r=1 B(pr , pr ) es una subcubierta finita de K, y definir:
g = mn{gp1 , gq2 , . . . , gqm }
y g , y ademas, < f (x) < g(x) < f (x) + para toda x K, que es lo que
queramos demostrar.
Podemos observar que a lo largo de la seccion se ha hecho enfasis en que las funciones pueden ser reales o complejas. Sin embargo, en el enunciado del Teorema de Stone-Weierstrass
4.8 no se han mencionado algebras complejas, y hay una buena razon para esto: El teorema no se cumple bajo las condiciones enunciadas para algebras complejas. Es necesario
agregar una condicion adicional:
Definici
on 4.3. Un algebra de funciones complejas definida sobre un subconjunto
A X es autoadjunta si siempre que f , entonces f , donde f denota la conjugada
compleja de f , es decir: (f)(x) = f (x).
Con esta definicion adicional estamos listos para demostrar la generalizacion de 4.8 para
algebras de valores complejos.
lgebras complejas). Sea un algebra
Teorema 4.9 (Stone-Weierstrass para a
autoadjunta de funciones complejas continuas definidas sobre un compacto K. Si separa
puntos, desaparece en ninguna parte de K, entonces la cerradura uniforme de consiste
de todas las funciones complejas continuas sobre K.
Demostracion. Sea R el conjunto de funciones reales en K. Si f , y f = u + iv,
con u, v funciones reales, se tiene
f f
f + f
,
v=
u=
2
2i
61

y dado que es autoadjunta, u, v R . Ahora, si x1 = x2 , existe f tal que f (x1 ) = 1,

f (x2 ) = 0, y por tanto u(x1 ) = 1, u(x2 ) = 0, por lo que R separa puntos. Y si x K,
existe g tal que g(x) = 0. Ademas, si x = g(x), entonces x g(x) = |g(x)|2 > 0. Se
sigue que si f = x g, con f = u+iv, entonces u(x) > 0, y R desaparece en ninguna parte,
Y R satisface las hipotesis del teorema 4.8, por lo que cualquier funcion real continua
esta en la cerradura uniforme R de R , y tamien en la cerradura uniforme de . Si
f CK , como f = u + iv, entonces u , v , y se sigue que f .

62