Académique Documents
Professionnel Documents
Culture Documents
2. Espacios Mtricos 43
2.1. Definicin y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.2. Topologa de un espacio mtrico . . . . . . . . . . . . . . . . . . . . . . . . 54
2.2.1. Conjuntos abiertos . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.2.2. Conjuntos cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.2.3. Convergencia de sucesiones . . . . . . . . . . . . . . . . . . . . . . . 61
2.2.4. Puntos de acumulacin - ndice Cantor-Bendixson . . . . . . . . . . 66
2.2.5. Conjuntos densos. Espacios separables . . . . . . . . . . . . . . . . 70
2.2.6. Subespacios mtricos . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2.3. Continuidad de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.3.1. Distancia a un conjunto Lema de Urysohn . . . . . . . . . . . . . 78
2.3.2. Conjuntos G Puntos de continuidad. . . . . . . . . . . . . . . . . 80
2.4. Espacios Mtricos Completos . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.4.1. Definicin y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.4.2. Teorema de Interseccin de Cantor . . . . . . . . . . . . . . . . . . 87
2.4.3. Teorema de Categoras de Baire . . . . . . . . . . . . . . . . . . . . 89
2.4.4. Teorema de Punto Fijo de Banach . . . . . . . . . . . . . . . . . . . 95
2.4.5. Principio Variacional de Ekeland . . . . . . . . . . . . . . . . . . . 98
2.5. Distancias equivalentes y uniformemente equivalentes . . . . . . . . . . . . 102
2.5.1. Identificacin topolgica vs identificacin mtrica . . . . . . . . . . 103
1
ndice general
2
1 Axioma de Eleccin, Cardinales,
Ordinales
En este captulo, presentaremos brevemente la teora Zermelo-Fraenkel enriquecida por el
llamado Axioma de Eleccin y sus consecuencias en la matemtica moderna. Asimismo
echaremos una mirada en la aritmtica de los cardinales y nos familiarizaremos con la
teora de los ordinales.
1.1. Preliminares
Una parte de la teora de conjuntos se puede considerar de conocimiento general. En
particular, la notacin para el conjunto vaco, la relacin de pertenencia x X, las
operaciones X Y , X Y , X \ Y y la diferencia simtrica X4Y := (X \ Y ) (Y \ X).
La notacin X Y indica que la unin de los conjuntos X y Y es disjunta, es decir
X Y = . Si un conjunto X se puede escribir como una unin disjunta de una familia
(finita o infinita) de conjuntos no vacos {Ai }iI , entonces decimos que la familia {Ai }iI
es una particin de X.
Dados dos conjuntos N , X, denotaremos por X N el conjunto de todas las funciones
f : N X, es decir,
X N = {f : N X| f es funcin} .
Si X 6= , cada subconjunto A X se puede representar por su funcin caracterstica
A : X {0, 1}, definida por
(
1, si x A
A (x) =
0, si x
/ A.
3
1 Axioma de Eleccin, Cardinales, Ordinales
Definicin 1.1.1 (Producto cartesiano) Sea A 6= y (Xa )aA una familia de con-
juntos no vacos. Se define el producto cartesiano como el conjunto
( )
Y [
Xa = f : A Xa : a A, f (a) Xa .
aA aA
Definicin 1.2.2 (Espacio cociente) Sea (X, ) una relacin de equivalencia. Defini-
mos el espacio cociente (que denotaremos por X/ ), como el conjunto de todas las clases
de equivalencia formadas por , es decir,
4
1.2 Relaciones de equivalencia y de orden
(i) Sea (X, ) una relacin de equivalencia. Entonces las clases de equivalencia (i.e. los
elementos del conjunto X/ ) definen una particin en X, es decir,
[
X = A.
AX/
demostracin: (i). El hecho que las clases de equivalencia definen una particin es una
consecuencia directa de la definicin de relacin de equivalencia.
xy si y slo si i I : x, y Bi .
5
1 Axioma de Eleccin, Cardinales, Ordinales
Observacin 1.2.5 (Preorden) Una relacin en un conjunto X que cumple solo las
propiedades (i) y (iii) se llama relacin de preorden. En este caso, podemos definir la
siguiente relacin (se comprueba fcilmente que es una relacin de equivalencia)
(
xy
xy (1.1)
yx
est bien definida (i.e. no depende de la eleccin de los representantes) y es una relacin
de orden.
A veces, para insistir que un orden puede no satisfacer la propiedad (iv), hablamos de
orden parcial. Si (X, ) es un conjunto ordenado e Y X, la relacin inducida en Y es
claramente tambin una relacin de orden. Cuando consideramos a Y como un conjunto
ordenado, salvo que se diga lo contrario, siempre ser con el orden inducido. Las siguientes
definiciones sern de utilidad ms adelante en este captulo.
No hay que confundir un elemento minimal con el elemento mnimo para conjuntos par-
cialmente ordenados. Un elemento mnimo, si existe, es siempre comparable con todos
los otros elementos del conjunto X (y es inferior), mientras que un elemento minimal es
inferior slo a aquellos elementos de X con los cuales se puede comparar. Si X dispone un
elemento mnimo, entonces este es nico, minimal y no hay otros elementos minimales.
Pero si el orden sobre X no es total, y si no existe un mnimo, entonces X puede disponer
6
1.2 Relaciones de equivalencia y de orden
varios elementos minimales. La misma discusin se puede repetir para elementos maxi-
males y el elemento mximo de un conjunto. El siguiente ejemplo ilustra los conceptos
anteriores:
Ejemplo 1.2.8 Consideremos el conjunto 2N con el orden dado por la inclusin. Sea A =
{{0}, {1}, {2}, {0, 2}} con el orden inducido. De la definicin, es fcil ver que {1} y {0, 2}
son elementos maximales en A, pero no existe un elemento mximo. Luego {0}, {1}, {2}
son elementos minimales y tampoco existe elemento mnimo.
Ejemplo 1.2.9 (i) El conjunto de los reales equipado con el orden habitual (R, ) es
un conjunto totalmente ordenado. Es obvio que R con este orden no tiene elemento
mximo o mnimo, y por lo tanto no tiene elementos maximales o minimales. (Como
(R, ) es un orden total, las nociones de elemento mximo/maximal, y respectiva-
mente, mnimo/minimal coinciden.)
C +C C y C C ( > 0).
C (C) = {0}.
x C y y x C.
Caso particular: Sea E = Rn y C = Rn+ . El orden que se define por el cono Rn+ es
el siguiente: sean x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) dos elementos de Rn . Se tiene
que:
x Rn+ y xi yi para todo i {1, . . . , n}.
7
1 Axioma de Eleccin, Cardinales, Ordinales
B X, B 6= = b B, x B, b x.
8
1.2 Relaciones de equivalencia y de orden
(ii) (Existencia del sucesor inmediato.) Sea x X un elemento diferente del mximo.
Entonces x tiene un sucesor inmediato x+ , es decir, existe un elemento x+ 6= x tal
que x x+ y que no existen elementos z X \ {x, x+ } tal que x z x+ .
demostracin: (i) Sean x, y X dos elementos arbitrarios. Hay que mostrar que son
comparables. Para hacer eso, basta considerar el conjunto A = {x, y} y aplicar la Defini-
cin 1.2.10. Se deduce as que uno los elementos x, y es el mnimo del conjunto A, es decir
dicho elemento es (comparable e) inferior al otro elemento de A.
(ii) Sea x X diferente del mximo (si este ltimo existe). Entonces el conjunto
A = {y X | (x y) (y 6= x)}
no es vaco, por lo cual debe tener un elemento mnimo (por la Definicin 1.2.10). Es fcil
ver que este elemento es el sucesor inmediato de x.
Para poder estudiar los diferentes tipos de relaciones de orden, necesitamos identificar
conjuntos ordenados equivalentes. Este estudio se efecta mediante morfismos de rdenes,
es decir funciones entre conjuntos ordenados que respectan las estructuras de orden.
Definicin 1.2.14 (Funcin istona) Sean (X, X ), (Y, Y ) dos conjuntos ordenados.
Una funcin f : X Y se dice istona si para todo a, b X se tiene que:
a X b f (a) Y f (b).
9
1 Axioma de Eleccin, Cardinales, Ordinales
Mostramos que (X, ) es el mismo tipo de orden que (R+ , ). En efecto, la funcin:
(
f : N [0, 1) R+
f (n, t) = n + t 1
es biyectiva e istona.
(i) 1 A.
(ii) Para todo x R se tiene que:
x A x + 1 A.
10
1.3 Principio de induccin
11
1 Axioma de Eleccin, Cardinales, Ordinales
p(x) = (x es un conjunto) (x
/ x),
12
1.4 Axiomas Zermelo-Fraenkel
y supongamos que existe un conjunto R asociado a esta propiedad. No es difcil ver que
se cumple la siguiente equivalencia
R R R
/ R.
De esta forma fue necesario desarrollar una teora axiomtica de conjuntos que evitara
este tipo de paradojas. Fue as como Ernst Zermelo y Adolf Fraenkel, postularon unos (al
principio) 9 axiomas que sirven para definir conjuntos de forma permitida.
X, Y (x(x X x Y ) = X = Y ).
(ii) Axioma del conjunto vaco. Este axioma garantiza la existencia de un conjunto (que
llamaremos conjunto vaco y denotamos por ) que no contiene elementos, es decir,
X, x(x
/ X).
(iii) Axioma de Pares. Este axioma establece que para cualquier par de conjuntos X e
Y , existe un conjunto, tal que los nicos elementos que contiene son X e Y , es decir,
X, Y, Z, W (W Z (W = X) (W = Y )).
X, Y, Z(Z Y W (Z W W X)).
13
1 Axioma de Eleccin, Cardinales, Ordinales
(vii) Axioma de Regularidad. Todo conjunto no vaco contiene un elemento con el que no
comparte ningn elemento, es decir,
X, Y (Y X Y X = ).
(viii) Axioma del Conjunto Infinito. Existe un conjunto que tiene infinitos elementos, es
decir,
Y ( Y X Y, X+ Y ),
donde X+ X {X}
Axioma de Eleccin: Sea A 6= Sy (Xa )aA una familia de conjuntos no vacos. En-
tonces existe una funcin f : A Xa tal que para cada a A, f (a) Xa .
aA
14
1.5 El Axioma de Eleccin
otros axiomas. Sin embargo, en el ao 1963 Paul Cohen demostr que esto no es cierto,
es decir, el axioma de eleccin es independiente de los dems axiomas y tanto l como su
negacin se pueden agregar a ZF sin tener problemas de inconsistencia. La teora ZFC es
la teora que utilizamos por defecto en matemtica moderna.
Llegado a este punto, es menester mencionar un teorema muy importante dentro de la
lgica matemtica, el Teorema de incompletitud de Gdel. Dicho teorema establece que
una teora de primer orden2 que contiene la aritmtica de Peano (por ejemplo, la teora
de conjuntos), no puede ser consistente y completa a la vez. Es decir, si los axiomas de
dicha teora no se contradicen entre s, entonces se pueden construir frmulas a travs de
dichos axiomas que no pueden probarse ni refutarse.
Las discusiones que genera el axioma de eleccin, son debidas a que con l se hacen
verdaderas algunas afirmaciones que al principio pueden verse contraintuitivas como
por ejemplo la famosa Paradoja de Banach-Tarski que asegura lo siguiente:
- (Lema de Zorn) Cada conjunto X ordenado, con la propiedad de que cada cadena
tiene una cota superior (en X), tiene un elemento maximal.
15
1 Axioma de Eleccin, Cardinales, Ordinales
Notemos que P(X) es trivialmente una T -torre y que si {Fi | i I} es una familia cual-
quiera de -torres en P(X), entonces Fi es tambin una -torre. Con esta observacin,
iI
tenemos la siguiente definicin.
16
1.5 El Axioma de Eleccin
Es obvio por su definicin que la sub--torre mnima M es nica, contiene al menos dos
elementos (el conjunto vacio y el conjunto {()}) y est contenida en cada -torre
F. Mostramos ahora que M es una cadena de F. En lo que sigue, diremos que M M
es un elemento medio si para cada M 0 M, se tiene que M 0 M o bien M M 0 , o sea,
M es comparable con todos los elementos de M.
FM := {M 0 M : M 0 M o bien M {(M )} M 0 } .
Fb := {M M : M medio } M .
Se trata de mostrar que Fb = M, o de forma equivalente que Fb es una -torre. Igual que
con el caso anterior, las propiedades (i) y (ii) son fciles a comprobar. Mostramos la (iii).
Sea M Fb y M 0 M. Como M es medio (por definicin del conjunto F), b se tiene (por
la Afirmacin) que M M (por lo tanto M M {(M )}) o bien M {(M )} M 0 }.
0 0
17
1 Axioma de Eleccin, Cardinales, Ordinales
tal que para cada A F, (A) TA . Veamos a continuacin que F es una -torre. En
efecto, notemos:
- F por construccin.
18
1.5 El Axioma de Eleccin
- Sea {Ai }iI F una cadena de F. Mostramos que Ai es una cadena de (X, ).
S
iI
En efecto, sea a, b Ai . Entonces existen i, j I tales que a Ai , b Aj . Como
S
iI
{Ai }iI es una cadena, uno de los conjuntos, digamos Ai , contiene al otro. Entonces,
ambos elementos a, b pertenecen a S Ai , por lo que estn relacionadosSpor el orden de
alguna forma. As se muestra que Ai es una -cadena, es decir Ai F.
iI iI
a A = a aA (A).
Por el Corolario 1.5.6, existe A F tal que A {(A)} A. Como aA es una cota
superior de A, tendremos que (A) aA , y adems (A) TA (por la definicin de ).
Ahora recordando la definicin del conjunto TA se tiene que ((A) aA ), lo cual es
una contradiccin. Por lo tanto, existe A tal que TA = , para el cual aA es maximal
en X.
Se puede comprobar fcilmente que Ses una relacin de orden en W. Sea (Ei , Ei )iI
una cadena arbitraria de W. Sea E = iI Ei . Definimos un orden E en E como sigue:
si x, y E, entonces existe i0 I tal que x, y Ei0 y declaramos
x E y x Ei0 y.
19
1 Axioma de Eleccin, Cardinales, Ordinales
Es importante notar que el axioma de eleccin, igual que sus versiones equivalentes, solo
aseguran la existencia de objetos, pero no proporcionan ninguna construccin explcita
de ellos. Por ejemplo, no se sabe (ni se puede saber) como es un buen orden en R.
20
1.5 El Axioma de Eleccin
(ii) hBi = E (es decir, para todo x E existen subconjuntos finitos {f1 , . . . , fn } B y
{1 , . . . , n } R de forma que:
n
X
x= i fi .
i=1
Se puede observar, como consecuencia del (i), que los conjuntos {f1 , . . . , fn } B y
{1 , . . . , n } R asociados a x son nicos.
Proposicin 1.5.8 (Existencia de base de Hamel) Todo espacio vectorial tiene una
base de Hamel.
21
1 Axioma de Eleccin, Cardinales, Ordinales
Definicin 1.5.10 (Filtro) Sea 6= . Una familia F 2 se dice un filtro sobre si:
(i).
/ F.
(ii). para todo A, B F : A B F.
(iii). para todo A F y C 2 : A C = C F.
Ejemplo 1.5.11 (i). La familia con un solo elemento F = {} es un filtro. Este filtro
es el elemento mnimo del conjunto de todos los filtros (ordenado por inclusion).
(ii). Sea A no vaco. Entonces
FA := {B 2 : A B}
Proposicin 1.5.14 (Filtro generado por una familia con PIF) Sea X 6= y sea
G P(X) una familia que tiene la PIF. Entonces existe un filtro F sobre X con G F,
y determinado por G. Este filtro se denota por hGi.
Mostramos que F es un filtro, es decir que cumple las propiedades (i), (ii) y (iii) de la
Definicin 1.5.10.
22
1.5 El Axioma de Eleccin
(i)
/ F (porque G tiene la PIF).
n
! m
!
\ \ \
Gi Hi F F 0,
i=1 i=1
por lo tanto F F 0 F.
F F 0 = F = F 0 .
En otras palabras, los ultrafiltros de son los elementos maximales del conjunto de todos
los filtros de (parcialmente ordenado por la inclusin).
Ejemplo 1.5.16 Sea . Es fcil ver que el filtro F{} generado por {} es un
ultrafiltro que con un pequeo abuso de notacin, lo denotaremos hi (al lugar de h{}i).
Los ultrafiltros que se obtienen de esta manera se llaman ultrafiltros triviales. En este
sentido, cada elemento de un conjunto no vaco se puede identificar con el ultrafiltro que
genera.
En un conjunto finito, los nicos ultrafiltros que existen son los ultrafiltros triviales. A
continuacin veremos que como consecuencia del Lema de Zorn, que si es un conjunto
infinito, entonces existen ultrafiltros no triviales (es decir, que no son de la forma de
Ejemplo 1.5.16). La siguiente proposicin caracteriza de mejor manera a los ultrafiltros.
AF o bien X \ A F.
(ii) F es un ultrafiltro.
23
1 Axioma de Eleccin, Cardinales, Ordinales
Ejemplo 1.5.18 (i). Sea F un filtro sobre y suponemos que F contiene un conjunto
finito A = {a1 , . . . , ak } . Es fcil ver que F se puede extender en un ultrafiltro trivial
(generado por un elemento de A).
(ii). Sea = {A N : (N \ A) finito}. Es fcil ver que es un filtro (el filtro de los
conjuntos co-finitos), pero no es un ultrafiltro. En efecto, el conjunto P = {m N :
m es par} es infinito y tiene complemento infinito, por lo tanto N \ P / yP / . Se
deduce por la Proposicin 1.5.17 que no es un ultrafiltro. Adems, si p es un ultrafiltro
que contiene , entonces p no puede ser un ultrafiltro trivial.
El siguiente resultado, consecuencia del axioma de eleccin, garantiza que cada filtro
se puede extender a un ultrafiltro, y por lo tanto existen ultrafiltros no triviales (c.f.
Ejemplo 1.5.18(ii)).
Proposicin 1.5.19 (Boolean prime ideal axiom - BPI) Todo filtro puede ser ex-
tendido a un ultrafiltro.
-
/ F , ya que para cada F 0 C se tiene que
/ F 0.
24
1.6 Aritmtica de Cardinales
Se tiene entonces que F es un filtro. Por el Lema de Zorn, (F, ) tiene un elemento
maximal F 0 , es decir, F 0 es un ultrafiltro.
Observacin 1.5.21 Vimos que Lema de Zorn = BPI. Mencionamos, sin demos-
trarlo, que el recproco no es cierto, es decir, el BPI es estrictamente ms dbil que el
Axioma de Eleccin. Sin embargo, el BPI tampoco se puede deducir de la teora ZF.
25
1 Axioma de Eleccin, Cardinales, Ordinales
A veces puede ser difcil establecer de manera inmediata una biyeccin entre dos conjuntos.
El siguiente teorema resuelve de cierta manera la disyuntiva de encontrar biyecciones.
f : X , Y & g : Y , X,
(ii) Alcanzamos algn yn Y \ f (X). Nos detuvimos debido a que no existe algn
x X con f (x) = yn (esto puede ocurrir porque f tampoco es necesariamente
sobreyectiva).
Para cada y Y tenemos un proceso bien definido que puede tornarse en uno de estos
tres caminos, y as podemos particionar el conjunto Y en tres subconjuntos mutuamente
disjuntos. Definimos
YX = {y Y : proceso termina con xn X \ g(Y )},
YY = {y Y : proceso termina con yn Y \ f (X)},
Y = {y Y : proceso no termina}.
26
1.6 Aritmtica de Cardinales
El mismo proceso puede ser aplicado empezando con elementos de X, que puede ser
particionado en tres conjuntos disjuntos. Definimos
Si x XX , entonces f (x) YX .
27
1 Axioma de Eleccin, Cardinales, Ordinales
Sea (fi )iI una cadena en F y sea = Graph (fi ). Mostremos que es el grafo de una
S
S iI
funcin f inyectiva (definida sobre Ai , si fi : Ai , Y ). Para eso, es suficiente mostrar
iI
que para cada (x, y), (x0 , y 0 ) se tiene que
x 6= x0 si y slo si y 6= y 0 . (1.8)
En efecto, existen i, j I tal que (x, y) Graph (fi ) y (x0 , y 0 ) Graph (fj ). Como (fi )iI
es una cadena, se puede suponer que fi fj por lo tanto (x, y), (x0 , y 0 ) Graph (fj ).
Dado que fj es una inyeccin, se concluye que (1.8) es cierta. Por lo tanto = Graph (f )
con f inyectiva, y se deduce directamente que f es una cota superior de la cadena (fi )iI .
con (
f (x), x A
fe(x) =
y0 , si x = x0 .
Es obvio que fe es una extensin estricta de fb, lo que contradice la maximalidad de sta
ltima. Se concluye entonces que A = X (y en este caso fb : X , Y es una inyeccin de
X a Y ), o B = Y (en cuyo caso fb1 : Y , X es una inyeccin de Y a X).
(iii) Existe una familia A P(X) que no tiene elemento minimal con el orden que define
la inclusin de conjuntos.
28
1.6 Aritmtica de Cardinales
29
1 Axioma de Eleccin, Cardinales, Ordinales
(iv)(i). Es fcil ver que el conjunto finito Nn := {1, . . . , n} no verifica la propiedad (iv).
Entonces, si existiera una biyeccin h : X 7 Nn , tendramos que
h g h1 : Nn , Nn \ {h(x)})
La existencia de una biyeccin entre dos conjuntos X y Y nos permite identificar sus
elementos, y por lo tanto sus subconjuntos, las funciones sobre ellos etc. Es fcil ver que
esta relacin cumple las propiedades (i)(iii) de la Definicin 1.2.1, por lo tanto sera una
relacin de equivalencia en el conjunto de todos los conjuntos, si este ltimo existiera. A
pesar de este problema, vamos a declarar que dos conjuntos que se encuentren en biyeccin
son equivalentes y vamos a proceder a definir los cardinales como clases de equivalencia de
esta relacin. Es obvio que el conjunto de los cardinales (conjunto de clases de equivalencia
del conjunto de todos los conjuntos) tampoco existe3 .
Conforme con la definicin anterior, cada conjunto finito con n elementos, est en la
clase de equivalencia de Nn , y dicha clase se representa por el nmero natural n, es decir
card(F ) = n. El cardinal de un conjunto finito est identificado al nmero natural que
corresponde a la cardinalidad del conjunto. (La cardinalidad del conjunto vaco es cero.)
La siguiente definicin dar sentido a la comparacin entre card(A) y card(B) incluso
para conjuntos infinitos.
30
1.6 Aritmtica de Cardinales
Definicin 1.6.9 Decimos que card(X) < card(Y ) si existe una inyeccin f : X , Y y
no existe ninguna inyeccin de Y a X (de forma equivalente, no existe biyeccin entre X
e Y ).
card(A) 0 .
31
1 Axioma de Eleccin, Cardinales, Ordinales
Notemos que esta demostracin requiere del uso del axioma de eleccin.
donde
N[k] = {A N : card(A) = k}.
Observacin 1.6.12 (i). Una consecuencia directa del Ejemplo 1.6.11(ii) es que el con-
junto D R de puntos de discontinuidad de una funcin creciente f : R 7 R es nume-
rable. En efecto, a todo x D, le asociamos un nmero racional que se encuentra dentro
del intervalo (f (x), f + (x)) de R \ f (R) definido por los limites a izquierda y a derecha
de f en x. Para distintos puntos de discontinuidad, dichos intervalos son disjuntos, y se
define as una inyeccin de D a Q.
(ii). Como card(N) = card(Q), existe una biyeccin x : N Q que define una enumera-
cin de Q. En particular Q = {x(n) : n N} = {xn }nN . Por lo que se puede transferir
en Q el buen orden de N. Cabe notar que esta operacin depende de la biyeccin x, es
decir no es cannica.
32
1.6 Aritmtica de Cardinales
(iii). En la teora ZF, cada conjunto numerable admite un buen ordenamiento. En efecto,
si X es un conjunto numerable, se puede transferir el buen orden de los naturales a X
mediante cualquier biyeccin entre X y N.
El siguiente resultado muestra que se pueden crear conjuntos con cardinalidad estricta-
mente ms grande que cualquier cardinalidad de referencia. El argumento de la demos-
tracin, conocido como argumento diagonal de Cantor, es parecido al argumento de la
paradoja de Russell.
demostracin: La funcin (
f : X , 2X
f (x) = {x},
es una inyeccin, por lo tanto card(X) card(2X ). Para concluir, necesitamos establecer
que no hay sobreyeccin de X hacia 2X . Supongamos el contrario: sea g : X 2X una
sobreyeccin y sea N = {x X : x / g(x)} X. Como N 2X y g es sobreyectiva,
existe x0 X tal que g(x0 ) = N . Entonces
x0 N x0 g(x0 ) x0
/ N,
card(R) = c.
card(2N ) = card(R) := c.
demostracin: Dado que card(N) = card(Q), entonces tenemos que card(2N ) = card(2Q ).
Demostraremos entonces que card(2Q ) = card(R).
33
1 Axioma de Eleccin, Cardinales, Ordinales
Es fcil mostrar que estas definiciones son consistentes, en el sentido de que no dependen
de ningn conjunto en particular dentro de la clase de equivalencia de los conjuntos de la
misma cardinalidad.
El siguiente teorema, nos entrega un resultado importante dentro de los nmeros cardi-
nales infinitos.
(i) + = ,
(ii) = .
34
1.6 Aritmtica de Cardinales
+ +, y ,
G = {(D, f ) : D A, f : D D D es biyectiva}.
35
1 Axioma de Eleccin, Cardinales, Ordinales
Observacin 1.6.18 Con el corolario anterior, podemos ver que la nica forma de ob-
tener distintos cardinales (con las operaciones definidas anteriormente), es a travs de
potencias entre cardinales.
36
1.7 Ordinales
1.7. Ordinales
En esta seccin, trataremos el tema de los nmeros ordinales. Con el fin de dar una intui-
cin sobre los nmeros ordinales, comenzaremos con la siguiente definicin, que generaliza
la definicin dada por (1.4).
Vamos ahora a utilizar el Lema 1.7.3 para mostrar que dados dos conjuntos bien ordenados,
o bien son isomorfos, o bien uno es isomorfo a un segmento inicial del otro.
Proposicin 1.7.4 (Dicotoma entre conjuntos bien ordenados) Sean dos conjun-
tos (X , ) e (Y, ) bien ordenados. Entonces al menos una de las siguientes alternativas
es cierta:
(i). Existe : X , Y inyeccin istona tal que (X ) es un segmento de Y (o todo Y).
(ii). Existe : Y , X inyeccin istona tal que (Y) es un segmento de X (o todo X ).
37
1 Axioma de Eleccin, Cardinales, Ordinales
representa el grafo de una funcin inyectiva e istona. Se deduce del Lemma 1.7.3 que
dicha funcin est definida en un segmento de X (o todo X ) con imagen un segmento de
Y (o todo Y), por lo tanto pertenece a F y es una cota superior de la cadena (i )iI . Al
aplicar el lema de Zorn, existe un elemento maximal : A 7 B, donde A es un segmento
de X (o todo X ) y B es un segmento de Y (o todo Y). Si tanto A como B son segmentos
(de X y respectivamente de Y), se tiene que A = Ix0 y B = Iy0 , para algunos elementos
x0 A y y0 B. Entonces la funcin
e : A {x0 } , B {y0 }
definida por (
(x), si x A
(x) =
si x = x0 ,
e
y0 ,
es una inyeccin, lo que contradice la maximalidad de . Se deduce entonces que A = X
o bien B = Y. Luego si A = X (respectivamente, si B = Y), entonces : X , Y
(respectivamente, := 1 : Y , X ) define un isomorfismo de rdenes.
y x, z y, z x.
38
1.7 Ordinales
Observacin 1.7.8 (i). N {0} es un ordinal (que representa la clase de equivalencia del
conjunto bien ordenado N). Efectivamente identificando 1 (elemento mnimo de N) con
0 (conjunto vaco, elemento mnimo de N {0}), luego n con n 1 para cada n N, se
obtiene una biyeccin istona (isomorfismo de ordenes).
(ii). Ms general, sea (X , ) un conjunto bien ordenado. Identificando cada x X con su
segmento Ix vase (1.7.1) deducimos que mn X se identifica con el conjunto vaco y
para todo x, y X se tiene que:
yx yx y ( x. (1.10)
Mediante induccin transfinita (si X es infinito) se establece que (bajo dicha identificacin)
X es un ordinal.
Mediante esta identificacin, la Proposicin 1.7.4 (Dicotoma entre conjuntos bien orde-
nados) en el caso de ordinales y se traduce en la siguiente tricotoma:
(i) es un segmento de
(ii) es un segmento de
(iii) = .
Es bastante natural definir el siguiente orden en el conjunto de ordinales.
39
1 Axioma de Eleccin, Cardinales, Ordinales
40
1.7 Ordinales
Notamos que cada ordinal se identifica con el segmento [0, + 1) que define su sucesor,
vase tambin Observacin 1.7.10(i). A continuacin distinguiremos los ordinales en dos
tipos, los ordinales que son sucesores (de otro ordinal) y los ordinales de tipo limite.
Observacin 1.7.14 Con la definicin anterior, tanto como son ordinales lmites.
Por otra parte, la cardinalidad entre un ordinal infinito y su sucesor no cambia. An ms,
el ordinal es el primer ordinal lmite.
Mediante dicha identificacin, los cardinales se inyectan dentro de los ordinales, por lo
tanto estn bien ordenados. En particular, tiene sentido hablar del siguiente cardinal
k+1 del k (vase formulacin de la hiptesis del continuo). Observamos que el cardinal
0 se representa por el ordinal , y que todo [, ) tiene la misma cardinalidad
card()) = 0 .
41
1 Axioma de Eleccin, Cardinales, Ordinales
(ii) A Ix .
S
xA
En el caso (ii) observamos que Ix es numerable (c.f. Ejemplo 1.6.11 (iii)), por lo tanto
S
xA
se tiene que Ix ( [0, ) (por razones de cardinalidad). Se deduce que A tiene una cota
S
xA
superior dentro el conjunto [0, ) = . Sea
S = {x : a A, a x} y ax = mn(S).
42
2 Espacios Mtricos
El concepto de continuidad de una funcin es de vital importancia en el Anlisis Mate-
mtico. La bsqueda de definir este concepto en espacios ms complicados dio la idea de
definir estructuras en donde este concepto pueda ser generalizado, ms all desde el punto
de vista de los cursos de Clculo. Fue en el ao 1906 que Maurice Frchet en su articulo
Sur quelques points du calcul fonctionnel, en el cual introdujo los espacios mtricos. Un
espacio mtrico es un conjunto X al cual se le ha definido un concepto de distancia d(x, y)
para cada par de puntos x, y X. Este concepto de espacio mtrico ser suficiente para
poder definir la continuidad de una funcin, as como conceptos tales la aproximacin o
la acumulacin.
d : X X R+
En tal caso, al par (X, d) lo llamaremos espacio mtrico. Cuando no haya ambigedad
sobre la distancia, llamaremos al espacio mtrico simplemente X.
43
2 Espacios Mtricos
Un ejemplo tpico de espacios mtricos son los espacios normados. Recordamos la defi-
nicin general de un espacio normado. (A continuacin, consideramos siempre espacios
vectoriales sobre el cuerpo R de los reales.)
Definicin 2.1.3 (Espacio normado) Sea E un espacio vectorial. Decimos que la fun-
cin
N : E 7 R+
define una norma en E, si
(N1 ) N (x) = 0 x = 0;
Llamamos al par (E, N ) espacio normado. Si no hay ambigedad sobre la norma, deno-
taremos al espacio normado simplemente por E.
define una distancia: en efecto la propiedad (D1 ) es inmediata por (N1 ), (D2 ) se obtiene
de (N2 ) poniendo = 1 y (D3 ) se obtiene expresando x z como (x z) + (z y) y
aplicando (N3 ) y (D2 ). Por lo tanto (E, d) es un espacio mtrico.
44
2.1 Definicin y ejemplos
En efecto, las propiedades (N1 ) y (N2 ) son inmediatas. Para la propiedad (N3 ), observa-
mos que para cada x, y E se tiene que:
(i) (R, | |) Recta real. Es el ejemplo ms bsico de un espacio normado. Es fcil ver
que si N es una norma en R, entonces existe > 0 tal que N (t) = |t|, para cada
t R, donde | | es la funcin valor absoluto. Tomando = 1 obtenemos la distancia
habitual de R dada por d(s, t) = |s t|, para cada s, t R.
(ii) (Rd , kk2 ) Espacio euclidiano. Consideramos Rd con su norma euclidiana, es decir:
v
u d
uX
kxk2 := t |xi |2 , x = (x1 , . . . , xd ) Rd , (2.2)
i=1
Es fcil comprobar que kk2 cumple las propiedades (N1 )(N2 ). Sin embargo, la
propiedad (N3 ) no es tan directa. Postergamos la demostracin, porque en el ejem-
plo (iv) trataremos el caso general de las llamadas normas-p (la norma euclidiana
corresponde al caso p = 2). No obstante, mencionamos que la norma-2 (norma eu-
clidiana) proviene de un producto escalar (Definicin 2.1.9) lo que nos proporciona
una manera ms fcil de establecer que es una norma (c.f. Proposicin 2.1.10).
45
2 Espacios Mtricos
(iii) (Rd , kk1 ), (Rd , kk ). Dos normas conocidas en Rd , son las llamadas norma-uno
y respectivamente norma-infinito (o norma-supremo), definidas para cada x =
(x1 , . . . , xd ) Rd como sigue:
d
X
kxk1 := |xi | y kxk = max |xi | .
i{1,...,d}
i=1
d
!1/p
X
kxkp = |xi |p . (2.3)
i=1
46
2.1 Definicin y ejemplos
Paso 3. Mostramos ahora (2.5). Sea x, y Rd arbitrarios. Si al menos uno de los vectores
x e y es igual a 0, entonces (2.5) se cumple trivialmente. Suponiendo entonces
Pd que qx 6= 0
e y 6= 0 y poniendo u = x/||x||p y v = y/||y||q deducimos que i=1 |ui | = i=1 |vi | = 1.
Pd p
d
Concluimos por el Paso 2 que | ui vi | 1, o de forma equivalente (2.5)
P
i=1
o en otras palabras,
||x + y||p ||x||p + ||y||p .
Acotamos las dos ltimas sumas mediante la desigualdad de Hlder. En efecto, aplicamos
dos veces la desigualdad (2.5), para x0i = |xi | (luego para x0i = |yi |) e yi0 = (|xi | + |yi |)p1 .
Se obtiene as que
d d
!1/q d
!1/q
X X X
(|xi | + |yi |)p ||x||p (|xi | + |yi |)(p1)q + ||y||p (|xi | + |yi |)(p1)q .
i=1 i=1 i=1
47
2 Espacios Mtricos
(II) (C([0, 1]), kk ). Sea C([0, 1], R) el espacio vectorial de las funciones continuas de
[0, 1] a R. Dado que cada funcin continua en [0, 1] es acotada, este espacio est
contenido en ` ([0, 1]), y podemos considerar en l la norma definida por (2.7).
Abreviando la notacin, denotamos dicho espacio por C([0, 1]) (donde la referencia
al espacio de llegada R y a la norma kk son implcitas).
(III) (C([0, 1]), kkp ). Consideramos nuevamente el espacio C([0, 1], R) de las funciones
continuas de [0, 1] a R, y definimos en l la siguiente p-norma (1 p < ):
Z 1 1/p
kf kp = p
|f (x)| dx , f C([0, 1], R). (2.8)
0
Si p = 1, es muy fcil comprobar que (2.8) define una norma. El caso p > 1 es el
anlogo de la p-norma que vimos en (2.3). La propiedad (N3 ), es decir, ||f + g||p
||f ||p + ||g||p , para cada f, g C([0, 1]), se establece aproximando las integrales
que definen las normas ||f ||p y ||g||p (formula (2.8)) por las funciones escalonadas
correspondientes a la subdivisin del intervalo [0, 1] en N sub-intervalos de misma
longitud 1/N (y tomando el valor mximo de f y de g en cada subdivisin. Luego
usamos la desigualdad de Minkowski en el espacio RN y pasamos al limite cuando
N . (Dejamos los detalles al lector.)
(IV) (`p , kkp ) Sea 1 p < +. Definimos el espacio vectorial de las sucesiones p-
sumables: X
`p = {x = (xn )nN RN : |xn |p < +}.
nN
48
2.1 Definicin y ejemplos
Igual que en el ejemplo (III), para establecer la propiedad (N3 ), fijamos dos sucesiones
x = (xn )nN e y = (yn )nN y N N. Por la desigualdad de Minkowski en RN (para los N
primeros trminos de las sucesiones) se tiene que
N
!1/p N
!1/p N
!1/p
X X X
|xi + yi |p |xi |p + |yi |p ||x||p + ||y||p . (2.10)
i=1 i=1 i=0
Definicin 2.1.9 (Producto escalar) Sea E un espacio vectorial. Decimos que una
funcin
b:EE R
define un producto escalar (o producto interno) sobre E si se cumplen las siguientes
propiedades:
(P1 ) x E : b(x, x) 0 & ( b(x, x) = 0 x = 0 ) .
La propiedad (P3 ) nos dice que la funcin b(x, y) es lineal con respecto a su primera
variable. La propiedad (P2 ) nos dice que es simtrica, y por lo tanto tambin es lineal con
respecto a la segunda variable. La propiedad (P1 ) es conocida como definida positiva. En
otras palabras, el producto escalar es una forma bi-lineal, simtrica y definida positiva.
(2.11)
p
N (x) := b(x, x), x E.
49
2 Espacios Mtricos
Como el binomio anterior es siempre positivo o cero, deducimos que no puede tener dos
races reales distintas, por lo tanto su discriminante es negativo o cero. Combinando con
(2.11) se obtiene (2.12).
Mostramos ahora que (2.11) define efectivamente una norma. Las propiedades (N1 ) y
(N2 ) siendo inmediatas, consideramos x, y E y establecemos la desigualdad triangular
(N3 ). En efecto, combinando (2.11) con (2.12) tenemos:
b : Rd Rd 7 R
definida por
d
X
b(x, y) := xi y i , para todo x, y Rd (2.13)
i=1
Es fcil comprobar que b(x, y) (que solemos anotar por hx, yi) es un producto escalar, es
decir, que cumple las propiedades (P1 )-(P3 ). Tambin es inmediato ver que (2.2) es un
caso particular de la formula general (2.11). Concluimos de la Proposicin 2.1.10 que kk2
es una norma en Rd . Como consecuencia de (2.12) obtenemos
50
2.1 Definicin y ejemplos
Corolario 2.1.12 (C([0, 1]), kk2 ) Consideramos ahora el caso p = 2 del Ejemplo 2.1.8 (III)
y definimos el siguiente producto escalar en (C([0, 1]) (se comprueba fcilmente que (P1 )-
(P3 ) se cumplen)
Z 1
hf, gi := f (x) g(x) dx , f, g C([0, 1]).
0
Observamos que
Z 1 1/2
2
p
kf k2 = |f (x)| dx = hf, gi .
0
Corolario 2.1.13 (`p , kkp ) Tomamos ahora p = 2 en el Ejemplo 2.1.8 (IV) y definimos
para cada x = (xn )nN , y = (yn )nN `2 la funcin
X
hx, yi := x n yn . (2.15)
n=1
Mostramos primero que la funcin hx, yi est bien definida, es decir que la serie converge.
Fijamos N N, y aplicamos (2.14) para obtener que
v v
XN u N
uX
u N
uX 2
xi y i |x |2 |yi | kxk2 kyk2 ,
t t
i
i=0 i=1 i=1
donde usamos el hecho que las sucesiones x = (xn )n e y = (yn )n son elementos de `2 .
Tomando el lmite cuando N se deduce que
X
xn yn kxk2 kyk2 <
n=1
por lo tanto (2.15) est bien definida. Es inmediato comprobar que (2.15) define un pro-
ducto escalar.
El siguiente resultado (que citamos aqu con demostracin incompleta) caracteriza las
normas que provienen de un producto escalar.
Teorema 2.1.14 (Von Neumann) Sea (E, N ) un espacio normado. Entonces la norma
N proviene de un producto escalar si y slo si verifica la identidad del paralelogramo:
51
2 Espacios Mtricos
Para establecer que b es un producto escalar falta comprobar que b es bi-lineal, es decir,
que tambin cumple la propiedad (P3 ). Esta parte es ms tcnica y se omitir.
d : X X R+
1 si x 6= y
(x, y) 7 d(x, y) =
0, si x = y.
Mostramos que (2.18) define efectivamente una distancia. Las propiedades (D1 ) y
(D2 ) son inmediatas. Mostramos que (D3 ) tambin es cierta. Sean x, y, z Rd .
Mostramos que para todo i {1, . . . , d} se tiene que
Sin perdida de generalidad se puede suponer que xi < yi < zi (eso es claramente el
peor caso). Ponemos = |xi zi |, t = |xi yi |/ y observamos que 1t = |yi zi |/.
Como t, 1 t (0, 1) deducimos que tp + (1 t)p t + (1 t) = 1. De eso obtenemos
(t)p + ((1 t))p p , lo que es exactamente (2.19).
Notemos que dp no puede provenir de una norma ya que no cumple la propiedad de
la homotecia (vase Observacin 2.1.4).
52
2.1 Definicin y ejemplos
|x|p = ps ,
donde a, b son enteros primos relativos entre s que no tienen a p como factor. Se
define tambin |0|p = 0. Definimos
53
2 Espacios Mtricos
ax psy sx ay ax by + psy sx ay bx
sx sx
=p + =p .
bx by bx by
Definicin 2.2.1 (Bola abierta/Bola cerrada) Sea (X, d) un espacio mtrico. Para
cada x X y r > 0 definimos
- La bola abierta (de centro x X y de radio r > 0) como el conjunto
54
2.2 Topologa de un espacio mtrico
(i) K es acotado.
55
2 Espacios Mtricos
x U, r > 0 : B(x, r) U.
- Sea = 2X la familia de los conjuntos abiertos del espacio (X, d). Esta familia
se llama la topologa del espacio mtrico. (Denotamos la topologa por =X cuando
podra haber ambigedad sobre el espacio, y por =d cuando se consideran ms
mtricas en X.)
Aparte del conjunto vaco y todo el espacio (que siempre son abiertos), la siguiente pro-
posicin asegura que la topologa = contiene ms elementos, si card(X) > 2.
Proposicin 2.2.6 En un espacio mtrico, las bolas abiertas son conjuntos abiertos.
56
2.2 Topologa de un espacio mtrico
demostracin: Sea y B(x, r) (es decir, r1 := r d(y, x) > 0). Mostramos que
B(y, r1 ) B(x, r). En efecto, sea z B(y, r1 ), es decir d(y, z) < r1 . Como consecuencia
de la desigualdad triangular se tiene que
d(x, z) d(z, y) + d(y, x) < r1 + d(y, x) = r,
lo que muestra que z B(x, r).
A continuacin, para todo x X denotamos por =x la familia de los abiertos de X que
contienen el punto x, es decir:
=x := {U = : x U} (2.21)
Como consecuencia de la Proposicin 2.2.6 se tiene que B(x, r) =x para todo r > 0.
demostracin: Sea U un conjunto abierto. Entonces para cada x U, existe rx > 0 tal
que B(x, rx ) U. Es obvio que la unin, para todo x U, de dichas bolas contiene U,
pero tambin est contenida en U (dado que cada elemento de la unin lo es). El recproco
es una consecuencia de la propiedad (=3 ) y la Proposicin 2.2.6.
57
2 Espacios Mtricos
(II) (Distancia discreta) Sea (X, d) un espacio con la mtrica discreta (vase Ejem-
plo 2.1.15(i)). En este caso
{x} si r 1,
B(x, r) =
X si r > 1.
(III) (Espacio mtrico finito) Si (X, d) es un espacio mtrico y card(X) < 0 , entonces
cada conjunto es abierto. En efecto, sea
r := mn{d(x, y) : x 6= y, x, y X} > 0.
F X cerrado X \ F =.
Denotamos por F a la coleccin de los conjuntos cerrados del espacio (X, d). Veamos las
propiedades caractersticas que cumple dicha familia. (Estas propiedades son duales a las
que cumple la familia de los abiertos =.)
demostracin: Las aserciones (F1 )-(F1 ) son consecuencias inmediatas de las propieda-
des (=1 )-(=3 ) de la Proposicin 2.2.5, tomando complementos.
Proposicin 2.2.12 En un espacio mtrico, las bolas cerradas son conjuntos cerrados.
58
2.2 Topologa de un espacio mtrico
demostracin: Sea B(x, r) una bola cerrada. Hay que mostrar que el conjunto
U := X \ B(x, r)
es un conjunto abierto. Sea y U (es decir, r1 := d(x, y) r > 0). Mostramos que
B(y, r1 ) U. En efecto, sea z B(y, r1 ), es decir d(y, z) < r1 . Como consecuencia de la
desigualdad triangular se tiene que
demostracin: Como las bolas cerradas B(x, r) son conjuntos cerrados, se deduce de
la formula (2.20) y la propiedad (F3 ) que el conjunto singleton {x} es cerrado para todo
x X. El resultado se deduce ahora de la propiedad (F2 ).
Notamos que un subconjunto de un espacio mtrico (X, d) puede ser abierto y cerrado
a la vez, como por ejemplo los conjuntos y X que son siempre abiertos y cerrados en
cada espacio mtrico. En varios casos importantes, como los espacios normados, dichos
conjuntos son los nicos con esta propiedad. En el otro extremo, encontramos el espacio
discreto (vase Ejemplo 2.2.9 (II)-(III)) donde = = F = 2X y por lo tanto cada conjunto
es abierto y cerrado.
Los conjuntos abiertos y los conjuntos cerrados son fundamentales en la teora de espacios
mtricos. Para ello introducimos las siguientes definiciones que asocian a cada conjunto
un conjunto abierto (su interior) y un conjunto cerrado (su clausura) de forma natural.
59
2 Espacios Mtricos
Adems
A = int(A) A = (A es abierto). (2.23)
A = adh(A) A F (A es cerrado). (2.24)
La siguiente proposicin es muy til, pues nos dar una caracterizacin ms fcil para
poder trabajar con el interior y la adherencia de un conjunto. (Recordamos la notacin
=x introducida por (2.21).)
60
2.2 Topologa de un espacio mtrico
A = adh(A) \ int(A).
Es fcil ver que la frontera es un conjunto cerrado, pues es la interseccin de los cerrados
adh(A) y X \ int(A).
61
2 Espacios Mtricos
Sea (xn )nN X una sucesin convergente. Una consecuencia inmediata de la relacin
(2.25) es que para todo m, n n0
es decir, los elementos de una sucesin convergente se acercan entre ellos. Esta observa-
cin da lugar a la siguiente definicin:
Definicin 2.2.22 (Sucesin de Cauchy) Una sucesin (xn )nN X se dice sucesin
de Cauchy, si
( > 0) (n0 N) (n, m n0 ) (d(xn , xm ) < ). (2.26)
Con lo que est dicho anteriormente, se concluye inmediatamente que toda sucesin con-
vergente, es de Cauchy.
Observacin 2.2.23 Es fcil ver que si (xn )nN es una sucesin de Cauchy, entonces es
acotada, es decir, que el conjunto {xn : n N} de sus valores es un conjunto acotado
(c.f. Definicin 2.2.2). En efecto, para = 1 sea n0 N dado por (2.26). Definimos:
Se deduce que {xn : n N} B(xn0 , r), por lo tanto {xn : n N} es acotado, en virtud
de la Proposicin 2.2.3.
Tanto la Definicin 2.2.20 como la Definicin 2.2.22 son definiciones expresadas en trmi-
nos de la distancia. Sin embargo, la primera se puede reformular en trminos de conjuntos
abiertos (sin referencia a la distancia). Eso representa una diferencia fundamental entre
las dos definiciones (la segunda es puramente mtrica), De hecho, veremos ms adelante
que las definiciones no son equivalentes, es decir, existen espacios mtricos que tienen
sucesiones de Cauchy no convergentes.
A continuacin, observamos que las partes ( > 0) y (d(x, xn ) < ) en la formula (2.25)
se pueden reemplazan por: ( B(x, )) y respectivamente (xn B(x, )). La siguiente pro-
posicin afirma que las bolas abiertas se pueden substituir (con efectos equivalentes) por
conjuntos abiertos de =x , dando lugar a una definicin puramente topolgica.
(i) lm xn = x
n
62
2.2 Topologa de un espacio mtrico
(ii) Para cada U =x existe n0 N tal que para todo n n0 se tiene que xn U.
(i) es cerrado.
demostracin: (i) (ii). Sea (xn )nN una sucesin convergente a x X y su-
pongamos que x / , es decir, x U := X \ . Como U =x , se deduce de la Pro-
posicin 2.2.24(ii) que existe n N tal que xn U (de hecho eso es cierto para todo n
suficientemente grande). Se obtiene as una contradiccin.
(ii)(i). Si X \ no es abierto, entonces existe x X \ tal que para cada n 1,
1
B(x, ) X \ 6= .
n
Escogiendo xn B(x, n1 ) para cada n N se obtiene una sucesin (xn )nN tal que
1
d(xn , x) , es decir (xn ) x
/ , lo que es una contradiccin.
n
A continuacin caracterizamos los puntos de adherencia de un conjunto mediante suce-
siones convergentes.
(i) x adh(A) ;
(ii) V =x : A V 6= ;
63
2 Espacios Mtricos
Proposicin 2.2.28 Sea (X, d) un espacio mtrico y sea (xn )nN una sucesin de Cauchy
que posee una sub-sucesin convergente. Entonces (xn )n es convergente.
Proposicin 2.2.29 Sea (xn )n una sucesin del espacio mtrico (X, d) y x X. Los
siguientes son equivalentes.
64
2.2 Topologa de un espacio mtrico
Proposicin 2.2.32 Si una sucesin (xn )nN no converge a x X, entonces existe > 0
y una funcin estrictamente creciente k : N N tal que (xk(n) )n1 X \ B(x, ).
demostracin: Como (xn )nN no converge a x, entonces existe > 0, tal que
para cada n N existe m n tal que d(x, xm ) . (2.27)
Sea k(1) el mnimo m que satisface (2.27) con n = 1. Luego, para todo n 2 definimos
de forma recursiva k(n) como el mnimo m k(n 1) + 1 tal que d(x, xm ) . Se
obtiene as una sucesin k : N 7 N estrictamente creciente, definiendo una sub-sucesin
(xk(n) )nN que cumple lo pedido.
65
2 Espacios Mtricos
U =x : A U \ {x} =
6 . (2.28)
(ii) Un punto x0 A se dice punto aislado del conjunto A, si existe un abierto que solo
contiene a x0 , es decir,
U =x0 : A U = {x0 }. (2.29)
66
2.2 Topologa de un espacio mtrico
(ii) adh(A) = A0 (A \ A0 ) = A A0 .
A0 A A es cerrado. (2.31)
67
2 Espacios Mtricos
Ejemplo 2.2.39 (i) Consideramos X = Q como espacio mtrico, con distancia dada por
el valor absoluto. Obviamente Q es cerrado (y abierto) en si mismo, y no tiene puntos
aislados, por lo tanto Q0 = Q es perfecto y numerable.
(ii) Consideramos ahora Q como subconjunto del espacio mtrico X = R (siempre con la
mtrica habitual que se define por el valor absoluto). En este caso Q no es perfecto, ya
que Q0 = R.
Hemos visto que el conjunto derivado A0 de cualquier conjunto A es siempre cerrado. Por
lo tanto, si consideramos su conjunto derivado (A0 )0 := A00 se tiene que A00 A0 , con
igualdad si y slo si A0 no tiene puntos aislados (es decir, es perfecto). Si esta situacin
no ocurre, podemos reiterar el proceso tomando la tercera derivada A(3) A00 , luego la
cuarta etc, esperando obtener un subconjunto perfecto de A (que puede ser el conjunto
vaco). Observamos que mientras que no alcancemos a nuestro objetivo (c.f. obtener un
conjunto perfecto), entonces en cada etapa, estamos quitando puntos del conjunto A0 (o
de A, si es cerrado). Sin embargo, en general este proceso puede no terminar a un nmero
finito de iteraciones. Eso motiva la siguiente definicin:
(A ) , si tiene predecesor
0
A() =
A , si es un ordinal lmite.
T
68
2.2 Topologa de un espacio mtrico
Proposicin 2.2.42 (Inyeccin istona en Q.) Sea cualquier ordinal numerable. En-
tonces para cada a, b Q, con a < b, existe una inyeccin istona
: , (a, b] Q,
b
donde (a, b]Q se considera con su orden habitual. En particular, R contiene subconjuntos
de ndice Cantor-Bendixson igual a cualquier ordinal numerable predeterminado.
tomamos un sub-intervalo con extremos racionales dentro (a0 , b0 ]). Luego considerando la
composicin de b con la funcin afn que enva a a a0 y b a b0 (que es una biyeccin istona
entre (a, b] Q y (a0 , b0 ] Q, obtenemos la inyeccin istona deseada.
Mostramos ahora que se inyecta isotonicamente en (0, 1] Q. En efecto la inyeccin
deseada est dada por cualquier sucesin estrictamente creciente de racionales (qn )nN en
(0, 1] con lmite igual a 1. Como consecuencia, cualquier ordinal de tipo + n, n N se
inyecta en (0, 2] Q (y por lo tanto, en cualquier intervalo de racionales).
Luego, inyectando en cada uno de los intervalos (qi , qi+1 ] definidos por la sucesin ante-
rior, obtenemos una inyeccin de 2 en (0, 1]Q (y por lo tanto en cualquier otro intervalo
de racionales). Obviamente este proceso se puede repetir infinitamente, obteniendo inyec-
ciones istonas de n en (0, 1] Q, para todo n N. (Obsrvense que el conjunto obtenido
como imagen de la inyeccin de n tiene ndice Cantor-Bendixson igual a n + 1.)
Sea b n : n , (n, n + 1] Q, la inyeccin de n en el intervalo (n, n + 1] Q, para todo
n N. Considerando conjuntamente estas inyecciones, se define una inyeccin de (co-
mo ordinal) a (0, +) Q, dando lugar a un conjunto de ndice Cantor-Bendixson igual
69
2 Espacios Mtricos
Observacin 2.2.43 (-lmites vs puntos de acumulacin) Sea (xn )nN una suce-
sin en el espacio mtrico (X, d). Algunos autores utilizan el trmino punto de acumu-
lacin para referirse a un -lmite de la sucesin (Definicin 2.2.30). Sin embargo, no
hay que confundir el conjunto de los -lmites de la sucesin con el conjunto derivado de
x(N) := {xn : n N} X que puede ser diferente (ms pequeo). En efecto, la sucesin
de los nmeros reales xn := (1)n , n N, tiene exactamente dos -lmites, los puntos
1 y 1 que corresponden a los lmites de las sub-sucesiones de nmeros pares e impares
respectivamente) pero su imagen x(N) = {1, 1}, siendo conjunto finito, no tiene puntos
de acumulacin.
Observamos que si la sucesin (xn )nN es inyectiva (es decir, xn 6= xm para todo n, m N
con n 6= m) entonces el conjunto de sus -limites coincide con el conjunto derivado de
x(N). Un ejemplo interesante ocurre tomando como sucesin (qn )n cualquier enumeracin
de los racionales q : N 7 Q. Dado que adh(q(N)) = adh(Q) = R, se obtiene entonces que
para cada x R existe una sub-sucesin (qk(n) )n de (qn )nN ) tal que (qk(n) ) x.
DX denso U = \ {}, D U 6= .
70
2.2 Topologa de un espacio mtrico
El siguiente resultado nos dice que si X = X 0 (es decir, X no tiene puntos aislados),
entonces siempre existe conjunto denso con complemento denso.
Proposicin 2.2.47 (Conjunto denso con complemento denso) Sea (X, d) un es-
pacio mtrico sin puntos aislados. Entonces existe un conjunto D X tal que D y X \ D
son densos en X.
71
2 Espacios Mtricos
72
2.2 Topologa de un espacio mtrico
Cada espacio mtrico numerable es separable (tomando como conjunto denso l mismo). El
inters de la nocin introducida por la Definicin 2.2.49 es justamente cuando el espacio
mtrico no es numerable. La separabilidad del espacio nos permite entonces estudiar
propiedades del espacio mediante procesos iterativos.
Observacin 2.2.50 Sea (X, d) el espacio mtrico discreto (Ejemplo 2.1.15(i)). Entonces
X es separable si y slo si card(X) 0 .
Ejemplo 2.2.51 (i). Para todo d N el espacio normado Rd (con cualquier norma, ya
que definen todas los mismos abiertos) es separable: en efecto, el conjunto D = Qd es
numerable y Qd = Rd .
(ii). (c00 (N), || || ) El espacio de sucesiones eventualmente nulas (es decir, x RN tal
que existe N N con xn = 0 para todo n N ) con la norma-infinito es separable.
Efectivamente consideramos el conjunto
de las sucesiones racionales eventualmente nulas. Dicho conjunto es S numerable (se puede
identificar una unin numerable de conjuntos numerables Q := kN Q ).
< k
Mostramos que D es denso: Sea x c00 (N) y > 0. Entonces existe N N tal que xn = 0
para todo n > N . Luego, para i {1, . . . , N } elegimos qi Q tal que |xi qi | < , y defi-
nimos q D como la sucesin cuyos N -primeros trminos son los elementos q1 , . . . , qN y
luego qn = 0 para n > N +1. Es inmediato comprobar que ||xq|| = maxiN |xi qi | < .
(iii). El espacio R[X] de los polinomios reales de una variable con la norma || || se pue-
de identificar de forma natural con c00 (N) por lo tanto tambin es separable. El conjunto
numerable denso, isomorfo al conjunto D definido por (2.32) es en este caso el subespacio
Q[X] de los polinomios con coeficientes racionales.
(iv). Los espacios (`p , || ||p ), 1 p < son separables. En efecto, consideramos el mismo
conjunto D dado por (2.32) de las sucesiones racionales eventualmente nulas. Mostramos
que (`1 , || ||1 ) es separable. En efecto, P sea x `1 (sucesin absolutamente sumable) y
> 0. Entonces existe N N tal que n>N |xi | < /2. Para i {1, . . . , N } elegimos
qi Q tal que |xi qi | < /2N y consideramos la sucesin q D cuyos N primeros tr-
minos son los q1 , . . . , qN y luego constante 0. Es inmediato comprobar que ||x q||1 < .
Dejamos como ejercicio tratar los casos (c0 (N), || || ) y (`p , || ||p ), p (1, ).
73
2 Espacios Mtricos
(v). El espacio (C([0, 1]), |||| ) de las funciones continuas sobre [0, 1] es un espacio norma-
do separable. Este resultado es esencialmente una consecuencia del teorema de Weierstrass
que dice que cada funcin continua es lmite uniforme de polinomios, es decir, el espacio
R[X] de los polinomios definidos sobre [0, 1] es || || -denso en C([0, 1]). Entonces, dado
> 0, existe polinomio p R[X] tal que ||f p|| < /2. Luego por (ii), existe q Q[X]
tal que ||p q|| < /2. Se obtiene as que el espacio Q[X] de los polinomios con coefi-
cientes racionales es (numerable y) denso.
Ejemplo 2.2.53 Definimos C([0, 1], R) el espacio de las funciones continuas de [0, 1] a R
con la distancia d dada por la norma || || (vase Ejemplo 2.1.8 (ii)). Este conjunto,
con la distancia restringida al espacio, es un subespacio mtrico del espacio ` ([0, 1]).
74
2.3 Continuidad de funciones
se tiene que
BY (y, r) = {x Y : d(x, y) < r} = B(y, r) Y.
Definicin 2.3.1 (Funcin continua) Sean (X, d), (Y, ) dos espacios mtricos. Una
funcin f : X Y se dice continua en x0 , si
( > 0)( > 0)(x X) (f (Bd (x0 , )) B (f (x0 ), )) . (2.33)
75
2 Espacios Mtricos
La siguiente proposicin nos dice que la continuidad de una funcin entre espacios mtricos
se puede caracterizar mediante la convergencia de sucesiones.
demostracin: (i)(ii). Sea (xn )nN X tal que (xn ) x0 y sea > 0. Como f es
continua en x0 , existe > 0 tal que f (Bd (x0 , )) B (f (x0 ), ). Sea n0 N tal que para
todo n n0 se tiene que xn Bd (x0 , ). Entonces, para todo n n0 tambin tendremos
que f (xn ) B (f (x0 ), ), lo que muestra que la sucesin (f (xn ))n converge a f (x0 ).
(ii)(i). Supongamos por contradiccin que existe 0 > 0 tal que para cada n N y
n = 1/n se tiene que f (Bd (x0 , n )) * B (f (x0 , 0 )). Para cada n N sea xn Bd (x0 , n )
con f (xn )
/ B(f (x0 ), 0 ) (c.f. Axioma de Eleccin). Se obtiene as una sucesin (xn )nN
X tal que d(x0 , xn ) 1/n 0, pero la sucesin f (xn ) no converge a f (x0 ), ya que
{f (xn )}n Y \ B(f (x0 ), ), lo que es una contradiccin.
Veremos ahora que la continuidad de una funcin se puede definir en trminos puramente
topolgicos, sin referencia a nociones mtricas, tales la distancia o las bolas. Utilizaremos
la notacin de (2.20).
(ii)(i). Sea > 0. Tomando U = B (f (x0 ), ) =f (x0 ) , existe V =x tal que f (V)
B (f (x0 ), ). Como V es abierto, existe > 0, tal que Bd (x0 , ) V. Concluimos que
f (Bd (x0 , )) B (f (x0 ), d).
El siguiente resultado se demuestra fcilmente usando la Proposicin 2.3.2 (continuidad
secuencial). Omitiremos la demostracin.
76
2.3 Continuidad de funciones
Corolario 2.3.4 (Clculo con funciones continuas) (i). Sea (X1 , d2 ), (X2 , d2 ), (X3 , d3 )
espacios mtricos. Supongamos que la funcin f : X1 7 X2 es continua en x0 X1 y que
la funcin g : X2 7 X3 es continua en f (x0 ). Entonces la composicin g f : X1 7 X3 es
continua en x0 .
(ii). Sea (X, d) un espacio mtrico y f, g : (X, d) R dos funciones continuas en x0 X.
Entonces las funciones f + g y luego f g, son continuas en x0 . Si g(x0 ) 6= 0, entonces la
funcin f /g est bien definida en un entorno de x0 y tambin es continua en x0 .
(i) f es continua.
77
2 Espacios Mtricos
Definicin 2.3.7 (Continuidad Lipschitz) Sean (X, d) y (Y, ) dos espacios mtricos.
Una funcin f : X 7 Y se dice Lipschitz continua (o simplemente Lipschitz), si existe
L > 0 tal que para todo x1 , x2 X se tiene que
Es fcil comprobar que una funcin Lispchitz es continua en todo punto. El reciproco no
es cierto: las funciones t 7 t y t 7 |t| definidas de R a R son continuas pero no son
2
p
Lipschitz continuas.
El siguiente resultado nos proporciona una clase importante de funciones (Lipschitz) con-
tinuas en un espacio mtrico (X, d), vinculadas con su distancia.
es decir,
f (x) f (y) d(x, y).
Por simetra, intercambiando x con y, concluimos que |f (x) f (y)| d(x, y).
Observacin 2.3.10 Observamos que para todo conjunto A X no vaco, se tiene que
luego
adh(A) = f 1 (0).
78
2.3 Continuidad de funciones
f 1 ({0}) = A y f 1 ({1}) = B.
A U1 , B U2 y U1 U2 = .
79
2 Espacios Mtricos
Proposicin 2.3.16 (Conjunto de puntos de continuidad.) Sea (X, d), (Y, ) dos
espacios mtricos y sea f : X 7 Y una funcin arbitraria. Entonces el conjunto de
puntos de X en que la funcin f es continua es un conjunto G que contiene todos los
puntos aislados de X.
80
2.3 Continuidad de funciones
Sea ahora x Cf . Entonces f es continua en x y para todo n N existe rn > 0 tal que
para todo y B(x, rn ) se tiene que d(f (x), f (y)) < 1/2n. Tomando Dn = B(x, rn ) se
tiene que diam(f (D)) < 1/n y por lo tanto x D Un , para todo n N.
El recproco de la Proposicin 2.3.16 tambin es cierto y est dado por la siguiente pro-
posicin. Se obtiene as una caracterizacin de los conjuntos G de un espacio mtrico
X que contienen todos los puntos aislados: son exactamente aquellos conjuntos que son
puntos de continuidad de una funcin f RX .
Proposicin 2.3.17 (G que contienen todos los puntos aislados) Sea (X, d) un
espacio mtrico y G X un conjunto G que contiene todos los puntos aislados de X.
Entonces existe una funcin f : X R que es continua exactamente en G.
81
2 Espacios Mtricos
Ejemplo 2.4.1 (i). (Q, | |). Consideramos el conjunto de los nmeros racionales equi-
pado con la distancia
habitual y una sucesin {qn }nN Q de racionales que converge
al nmero real 2. Entonces, dicha sucesin es una sucesin de Cauchy en Q, pero no
converge en el espacio Q.
82
2.4 Espacios Mtricos Completos
(xn ) x. Entonces existe n0 , N tal que para todo n n0 se tiene que d(xn , x) < ..
Considerando n max{n0 , i0 }, obtenemos el elemento
1 1
xn = (1, , . . . , , 0, . . .)
2 n
y por lo tanto
1
d (xn , x) = max |xni xi | > ,
i i0
de donde concluimos que la sucesin {xn }nN no puede converger a x c00 (N).
Definicin 2.4.2 (Espacio mtrico completo) Un espacio mtrico (X, d) se dice com-
pleto si cada sucesin de Cauchy converge.
(i) K es cerrado en X
(i) (Espacio discreto) El espacio mtrico discreto (vase Ejemplo 2.1.15(i)) es un espacio
completo. En efecto, una sucesin es de Cauchy (respectivamente, convergente) si y solo
si es una sucesin eventualmente constante.
83
2 Espacios Mtricos
84
2.4 Espacios Mtricos Completos
(vi) (C([0, 1]).k k ) (vase Ejemplo 2.1.8(I)). Tomamos = [0, 1] y mostramos que el
espacio de funciones continuas sobre [0, 1] es un subespacio cerrado del espacio ` ([0, 1]),
por lo que se deducir su completitud gracias a la Proposicin 2.4.3.
En efecto, sea (fn )nN una sucesin de funciones continuas que converge hacia f
` ([0, 1]), es decir, kfn f k 0. Tenemos que mostrar que f es continua. Para eso,
sea t [0, 1] arbitrario y > 0. Entonces existe n0 N tal que para todo n n0 se tiene
que kfn f k < /3. Sea > 0 dado por la continuidad de fn0 en t [0, 1], de forma
que para todo s (t , t + ) [0, 1] se tiene que |fn0 (s) fn0 (t)| < /3. Se deduce
|f (s) f (t)| |f (s) fn0 (s)| + |fn0 (s) fn0 (t)| + |fn0 (t) f (t)|
.
2kfn0 f k + |fn0 (s) fn0 (t)| < ,
85
2 Espacios Mtricos
Mostramos que la bola B(x, ) ` (N) \ c0 (N). En efecto, sea y = (yn )nN B(x, ).
Para todo n N se tiene que
lo que muestra que (yn )nN no es una sucesin nula, por lo tanto y
/ c0 (N).
(viii) (`p (N), k kp ), p [1, ) (vase Ejemplo 2.1.8(IV)). Hemos visto que `p := `p (N)
es un espacio normado, con norma
!1/p
X
kxkp := |x(i)|p , x = (x(i))iN `p
iN
Mostramos ahora su completitud. Sea (xn )nN una sucesin de Cauchy en `p . Entonces
para cada n N el elemento xn es una sucesin xn (i)iN de R, y se tiene que
(por la definicin de la norma-p). Se deduce que (xn (i))iN es Cauchy por lo tanto
converge a un nmero real x(i). Consideramos la sucesin x = (x(i))iN definida por
x(i) = lm xn (i). Mostraremos que x `p y lm kxn xkp = 0.
n n
En efecto, sea > 0 y N N tal que kxn xm kp < /2 para todo n, m N . Se deduce
que para todo k N
k
!1/p
X
|xn (i) xm (i)|p < .
i=1
2
Tomando el lmite cuando m se deduce que para todo n N y l N
k
!1/p k
!1/p
X X
lm |xn (i) xm (i)|p = |xn (i) x(i)|p . (2.35)
m
i=1 i=1
2
k
!1/p k
!1/p k
!1/p
X X X
|x(i)|p |xn (i)|p + |xn (i) x(i)|p kxn kp + . (2.36)
i=1 i=1 i=1
2
86
2.4 Espacios Mtricos Completos
Teorema 2.4.5 (Teorema de las bolas encajadas) Sea (X, d) un espacio mtrico com-
pleto y {B(xn , rn )}nN una sucesin de bolas cerradas tal que
(i) B(x1 , r1 ) . . . B(xn , rn ) B(xn+1 , rn+1 ) . . . (bolas encajonadas)
(ii) lm rn = 0,
n
T
Entonces B(xn , rn ) 6=
n=1
demostracin: Veamos que la sucesin (xn )nN es de Cauchy. Sea > 0. Entonces existe
n0 N tal que para cada n n0 , rn < /2. En particular, para todo n, m n0 se deduce
que xn y xm pertenecen a B(xn0 , rn0 ) por lo que se deduce
d(xn , xm ) d(xn , xn0 ) + d(xm , xn0 ) 2rn0 < ,
es decir, (xn )nN es de Cauchy. Como el espacio (X, d) es completo, entonces xn x X.
Para cada n0 N, la sucesin {yn }nN definida por yn = xn0 +n converge a x X.
Concluimos que x B(xn0 , rn0 ), para cada n0 N, es decir, x
T
B(xn , rn ) 6= .
n=1
87
2 Espacios Mtricos
demostracin: Sea > 0. Entonces existe N N tal que para todo n N se tiene
que diam(Kn ) < . Para cada n N, escogemos un elemento xn Kn y formamos
una sucesin (xn )nN (c.f. Axioma de Eleccin). En particular, si m, n N , entonces
xn , xm KN y (por la hiptesis del encajonamiento) se tiene que
Por lo tanto la sucesin (xn )nN es de Cauchy, y como (X, d) es completo, (xn )nN es
convergente a un elemento x X. Fijamos m N y consideramos cualquier n m. Se
deduce nuevamente de la hiptesis del encajonamiento que xn Kn Km , y por lo tanto
(xn )nm Km . Dado que Km es cerrado y m N es arbitrario, se deduce que
\
m N : x = lm xn = lm xn+m Km = x Kn .
n n
n=1
Mostramos por ltimo que Kn es un singleton. Supongamos que existen x, x0 Kn ,
T T
n=1 n=1
con x0 6= x. Esto significa que
Con el siguiente ejemplo vemos la necesidad de todas las hiptesis en el teorema de Cantor.
88
2.4 Espacios Mtricos Completos
Teorema 2.4.8 (Teorema de Categora de Baire - I) Sea (X, d) espacio mtrico com-
pleto y sea {Un }nN una familia numerable de conjuntos abiertos densos. Entonces
\
Un es (un conjunto G ) denso .
n=1
89
2 Espacios Mtricos
Corolario 2.4.12 (Teorema de Categora de Baire - II) Cada espacio mtrico com-
pleto es de segunda categora.
90
2.4 Espacios Mtricos Completos
que son en particular nulamente densos. Por lo tanto, Q no puede ser completo bajo
ninguna distancia para la cual los singletons son nulamente densos. Mostramos ahora que
Q, visto como subconjunto de los reales, no es G . En efecto, si Q fuera G , entonces
considerando una enumeracin {qn }nN de Q, deduciramos que los subconjuntos densos
Un = Q \ {q1 , . . . , qn } tambin fueran G , lo que contradice la completitud de R, dado que
tienen interseccin vaca (vase Ejemplo 2.4.11).
Enunciamos por ltimo una tercera versin del Teorema de Categora de Baire.
91
2 Espacios Mtricos
demostracin: Por hiptesis, los conjuntos cerrados Kn son nulamente densos, por lo
que sus complementos Un := X \ Kn son abiertos densos. Aplicando el Teorema 2.4.8 se
deduce que
!
!
\ \ [
Un denso en X int X \ Un = int Kn = ,
n=1 n=1 n=1
Citamos una manera intuitiva de entender esta versin del Teorema de Categora de Baire:
Una consecuencia notable del teorema de Baire es el hecho que la base algebraica de un
espacio de Banach tiene cardinalidad finita o no numerable. La demostracin est basada
en la siguiente versin del Corolario 2.4.16.
Corolario 2.4.17 Sea (X, d) un espacio mtrico completo y (Kn )nN una familia de con-
juntos cerrados. Entonces:
! (
[ n0 N
X= Kn = (2.37)
n=1 int(Kn0 ) 6= .
92
2.4 Espacios Mtricos Completos
genera naturalmente el espacio c00 (N) (se mostr en el Ejemplo 2.4.1 que este espacio no
es completo) que es isomorfo al espacio de polinomios de una variable real R[X].
demostracin: () Si X \ X 0 S
= , entonces el singleton {x} tiene interior vaco para
todo x X. Luego, como X = {x} y card(X) 0 , se obtiene que X es de primera
xX
categora, lo que contradice la hiptesis.
() Sea x X un punto aislado. Entonces ningn cerrado que contenga a x puede tener
interior vaco (ya que {x} es abierto). As, X no se puede escribir como unin de cerrados
de interior vaco.
93
2 Espacios Mtricos
demostracin: Es una consecuencia inmediata del Corolario 2.4.16 y del hecho que los
singletons son (cerrados y) tienen interior vaco (ya que no hay puntos aislados).
es una unin numerable de abiertos densos, por lo tanto, concluimos aplicando el Teore-
ma 2.4.8 (Teorema de Baire - I).
94
2.4 Espacios Mtricos Completos
Definicin 2.4.24 (Contraccin) Sean (X, d), (Y, ) dos espacios mtricos. Una fun-
cin f : X 7 Y se dice contraccin, si es Lipschitz continua (c.f. Definicin 2.3.7) con
constante K < 1, es decir, para todo x1 , x2 X se tiene que
(f (x1 ), f (x2 )) K d(x1 , x2 ) (K < 1) (2.38)
converge, por lo tanto existe N0 N tal que para todo m, n N con m > n
m1 m
X
i
X
K < Ki < .
i=n i=n
d(x1 , x0 )
En particular,
d(xn , xm ) d(xn , xn+1 ) + . . . + d(xm1 , xm )
m1
n m1 i
P
K d(x1 , x0 ) + . . . + K d(x1 , x0 ) K d(x1 , x0 ) < .
i=n
95
2 Espacios Mtricos
Teorema 2.4.26 (Teorema del punto fijo de Banach) Sea (X, d) un espacio mtri-
co completo y sea f : X X una contraccin. Entonces existe nico x X tal que
f (x) = x .
xn+1 = f (xn ), n N.
Por el Lema 2.4.25 dicha sucesin es de Cauchy, por lo tanto existe x X tal que
lm xn = lm xn+1 = x.
n n
Es fcil ver que la relacin anterior asegura la unicidad del punto fijo (si este ltimo
existe), pero no garantiza su existencia. En efecto, la funcin f : R 7 R definida por
1
f (x) = x +
1 + ex
satisface (2.39) pero no tiene puntos fijos (y obviamente no puede ser una contraccin).
96
2.4 Espacios Mtricos Completos
97
2 Espacios Mtricos
Observacin 2.4.30 La definicin anterior, basada en la relacin del orden, tiene sentido
solo para funciones con valores en R. Se puede definir de forma anloga la nocin de semi-
continuidad superior (en abreviacin, scs) cambiando en la relacin (2.42) el intervalo
(f (x) , +) por el intervalo (, f (x) + ), o de forma equivalente, el lmite inferior
lim inf n f (xn ) f (x) por el lmite superior lim supn f (xn ) f (x). Es obvio que f
es s.c.i. en x si y solo si f es s.c.s. en x, luego, f es continua en x si y solo si f es a la
vez s.c.i. y s.c.s. en x.
98
2.4 Espacios Mtricos Completos
s0 := nf f > .
xX
Notamos que para todo x X se tiene que x K(x), por lo tanto K(x) 6= . Utilizando
la semi-continuidad inferior de f y la continuidad de la funcin y 7 d(y, x) mostra-
mos fcilmente que K(x) es cerrado. Por ltimo, mediante la desigualdad triangular se
comprueba directamente que
Sea
s1 := nf f (x) s0 ,
xK(x0 )
luego elegimos
x1 K(x0 ) tal que f (x1 ) < s1 + .
Entonces se deduce de (2.47) que K(x1 ) K(x0 ) por lo tanto
s2 := nf f (x) s1
xK(x1 )
y elegimos
x2 K(x1 ) tal que f (x2 ) < s2 + .
2
Continuando de esta forma definimos inductivamente una sucesin {xn }nN en X dando
lugar a una sucesin de subconjuntos de X cerrados encajonados
s1 s2 sn . . .
de forma que
xn+1 K(xn ), y f (xn+1 ) < sn+1 + .
n+1
99
2 Espacios Mtricos
Mostramos que la familia {K(xn )}nN satisface las hiptesis del Teorema 2.4.6. En efecto,
sea y K(xn ) (arbitrario). Entonces sn sn+1 f (y) luego por (2.46)
f (y) + d(y, xn ) f (xn ) < sn +
n
de donde se deduce que
2
y K(xn ) : d(y, xn ) = diam(K(xn )) 0 .
n n n
En particular, x K(x0 ), de donde se deduce que d(x, x0 ) < . Luego para todo n N
se tiene que x K(xn ) y debido a (2.47) se tiene que K(x) K(xn ), por lo tanto
diam(K(x)) = {0}. De esta ltima relacin se deduce que K(x) = {x} o de forma
equivalente, si x X y x 6= x, entonces x
/ K(x). Eso significa exactamente que (2.45)
es cierta.
A continuacin mostraremos que la validez del Principio Variacional, incluso en una forma
menos general, implica que el espacio es completo. Utilizaremos el siguiente lema:
Lema 2.4.33 Sea (zn )nN una sucesin de Cauchy en un espacio mtrico (X, d). Entonces:
(i) Para todo x X la sucesin tn := d(zn , x), n N, es Cauchy (convergente) en R.
es Lipschitz continua.
demostracin: (i). Sea > 0. Entonces existe n0 N tal que para todo n, m > n0 se
tiene que d(zn , zm ) < . Sea x X arbitrario. Por la desigualdad triangular se tiene que
100
2.4 Espacios Mtricos Completos
(ii). La funcin est bien definida (ya que las sucesiones de Cauchy en R son con-
vergentes). Sea x, y X. Utilizando nuevamente la desigualdad triangular se tiene que
d(zn , x) d(zn , y) + d(y, x). Tomando el lmite cuando n (y observando que x, y se
pueden intercambiar) se obtiene que es Lipschitz continua con constante L = 1.
demostracin: Sea (zn )nN una sucesin de Cauchy en X. Definimos la siguiente funcin
Lipschitz (vase (2.48)).
(
f : X 7 R+
f (x) = 2 (x) = 2 lm d(zn , x).
n
Hay que mostrar que existe x X tal que f (x) = 0. (En efecto, en este caso x ser el
lmite de la sucesin {zn }nN .)
Aplicando el Principio Variacional, deducimos que existe x X tal que
= (x) > 0.
Como la sucesin {zn }nN es de Cauchy, existe n0 N tal que para todo n, m n0 se
tiene que d(zm , zn ) < /16. Tomando el lmite m se deduce que (zn ) /16, para
todo n n0 . Luego, substituyendo x por zn en (2.49) obtenemos para todo n > n0 que
2 7
2 + d(zn , x) = d(zn , x) > 0. (2.50)
16 8
Dado que
|d(zn , x) | = |d(zn , x) (x)| 0,
n
1
Es suficiente considerar solo funciones Lipschitz continuas.
101
2 Espacios Mtricos
Definicin 2.5.1 (Continuidad uniforme) Sean (X, d), (Y, ) dos espacios mtricos.
Una funcin f : X Y se dice uniformemente continua, si
( > 0)( > 0)(x1 , x2 X) d(x1 , x2 ) < = (f (x1 ), f (x2 )) < . (2.51)
(ii) (xn )n , (yn )n X tal que d(xn , yn ) 0 se tiene que (f (xn ), f (yn )) 0.
n n
102
2.5 Distancias equivalentes y uniformemente equivalentes
103
2 Espacios Mtricos
por lo que un homeomorfismo identifica topolgicamente los dos espacios: los espacios
tendrn las mismas sucesiones convergentes (en el sentido de identificacin mediante bi-
yeccin), y por esto, los mismos conjuntos cerrados (y por lo tanto la misma topologa).
Por otra parte, los homeomorfismos no respectan las sucesiones de Cauchy (lo que si
que hara un homeomorfismo uniforme), por lo tanto un espacio completo puede ser ho-
meomorfo a un espacio no completo (vase Ejemplo 2.5.5). Luego, un homeomoerfismo
bi-Lipschitz es un homeomorfismo uniforme que adems respecta los conjuntos acotados.
Por ltimo, una isometra identifica completamente la estructura de los espacios mtricos
(X, d) e (Y, ).
y consideramos el espacio mtrico Y = S \ {(0, 2)} con la mtrica d inducida por (cual-
quier norma de) R2 . Dicho espacio no es completo (ya que Y no es cerrado en R2 , vase
Proposicin 2.4.3). Sin embargo, (Y, d) es homeomorfo a (R, | |) (que es completo). En
efecto, definimos la funcin f : R S \ {(0, 2)} tal que para todo t R, entrega la
interseccin entre S \ {(0, 2)} y la recta que pasa por (t, 0) y (0, 2) (Figura 2.5.5). La
104
2.5 Distancias equivalentes y uniformemente equivalentes
D := { d : X X 7 R | d distancia}
de todas las distancias en X. Equipamos este conjunto con una relacin de preorden como
sigue: Sean d1 , d2 dos distancias en X, definiendo las topologas =1 e =2 respectivamente.
Entonces:
d1 d2 =1 =2 . (2.52)
def
demostracin: (i) = (ii) es obvio, mientras que (ii) = (iii) es una consecuencia
de la definicin de un conjunto abierto (vase Definicin 2.2.4). Vamos a mostrar que
(iii) = (i). En efecto, sea U =1 y x U. Entonces existe > 0 tal que Bd1 (x, ) U.
Utilizando (iii) se deduce que existe > 0 tal que Bd2 (x, ) U, por lo tanto U =2 .
105
2 Espacios Mtricos
N1 (x) M N2 (x).
demostracin: (i) = (ii). Denotemos por Bi (x, r) la bola de centro x y de radio r > 0
de la norma Ni , y por =i la topologa en X definida por la distancia di , i {1, 2}. Entonces
por la hiptesis, B1 (0, 1) =2 , es decir, existe > 0 tal que B2 (0, ) B1 (0, 1), o de
forma equivalente, para todo x X:
Mostramos que (ii) se cumple con M = 1 . Supongamos por contradiccin que existe
x 6= 0 tal que N1 (x) > 1 N2 (x). Entonces definimos
1 n x
n := , luego un := , n N.
n N2 (x)
Como N2 (un ) = n < , se deduce N1 (un ) < 1, es decir, N2 (x) < n N1 (x). Tomando el
lmite n , se obtiene N2 (x) N1 (x), lo que contradice nuestra hiptesis.
(ii) = (i). Sea x X y > 0. Tomando < /M deducimos para todo y X que
y B2 (x, ) N2 (x y) < = N1 (x y) < y B1 (x, ) .
106
2.5 Distancias equivalentes y uniformemente equivalentes
(i) Existen constantes k, M > 0 tales que para todo x, y X se tiene que
k d2 (x, y) d1 (x, y) M d2 (x, y),
es decir: id : (X, d1 ) 7 (X, d2 ) es un homeomorfismo bi-Lipschitz.
(ii) Las distancias d1 , d2 son uniformemente equivalentes, es decir:
Es importante destacar que dos mtricas equivalentes d1 , d2 en X tienen las mismas su-
cesiones convergentes, pero no necesariamente las mismas sucesiones de Cauchy. En par-
ticular es posible que X sea completo con una distancia d1 , pero no con otra distancia d2
equivalente a la distancia d1 . En este caso, tenemos por la (2.56) que la funcin identidad
id : (X, d1 ) 7 (X, d2 ) es un homeomorfismo, sin ser un homeomorfismo uniforme.
107
2 Espacios Mtricos
La condicin (ii) de la Proposicin 2.5.8 garantiza que las distancias tienen las mismas
sucesiones de Cauchy y las mismas sucesiones convergentes, mientras que la condicin (iii)
solo respecta las sucesiones convergentes. Con el ejemplo anterior hemos mostrado que en
general (iii) no implica (ii).
Notamos por ltimo que tambin dos distancias uniformemente equivalentes (es decir, que
respectan a la vez las sucesiones convergentes y las sucesiones de Cauchy, y por lo tanto la
completitud de X) no respectan necesariamente los conjuntos acotados. En otras palabras,
un homeomorfismo uniforme no tiene porque ser bi-Lipschitz. Esto ser una consecuencia
del siguiente Corolario 2.5.12 (considerando una distancia inicial d no acotada). Citamos
primero el siguiente resultado.
Sumando las dos desigualdades obtenemos el resultado deseado, as que d define una
distancia en X. La continuidad de en 0 garantiza que una sucesin (xn )n de X es
d-convergente (respectivamente, d-Cauchy), si y slo si es ( d)convergente (respecti-
vamente, ( d)Cauchy).
108
2.5 Distancias equivalentes y uniformemente equivalentes
demostracin: Es inmediato ver que d1 es una distancia y que tiene las mismas sucesio-
nes convergentes y de Cauchy con d (por lo tanto, es uniformemente equivalente a d). El
hecho que d2 es una distancia uniformemente equivalente a la distancia d es consecuencia
de la Proposicin 2.5.11.
la siguiente distancia:
X i (x(i), y(i))
b(b
x, yb) = , donde i = mn{1, i } (i N). (2.57)
i=1
2i
Xn X i N : x(i)n x(i).
n n
i (x(i)n , x(i)) 2i
b(xn , x).
109
2 Espacios Mtricos
Como para cada i i0 se tiene que i (x(i)n , x(i)) 0, se deduce que existe ni N, tal
que para cada n ni , i (x(i)n , x(i)) < 1 . Sea N0 = max{n1 , . . . , ni0 }. Se deduce que
para cada n N0 ,
i0
X i (x(i)N , x(i))
i
1 K = .
i=1
2 2
Finalmente, para todo n N0 se tiene que
i0
X i (x(i)n , x(i)) X i (x(i)n , x(i)) X i (x(i)n , x(i))
b (Xn , X ) =
= + < + ,
i=1
2i i=1
2i i=i0
2i 2 2
{X bCauchy en X
b n }n b i N : {x(i)n }n i Cauchy en Xi .
En particular,
(X,
b b) es completo i N : (Xi , i ) es completo.
(iii) (Descripcin de las bolas en el producto) Consideramos la bola abierta de
centro x = (x1 , x2 , . . .) y de radio > 0. Entonces existe i0 N tal que
X 1 1 1
j
= i0 < i0 1 .
j=i +1
2 2 2
0
110
2.5 Distancias equivalentes y uniformemente equivalentes
Lema 2.5.16 (Conjuntos densos vs continuidad) Sean (X, d), (Y, ) espacios mtri-
cos, D X denso, y f : X Y . Los siguientes son equivalentes:
Sea 1 = 1. Entonces existe m1 N, tal que d(u(1)m1 , x1 ) < 1 y (f (u(1)m1 ), f (x1 )) < 1.
Luego, para 2 := 1/2, existe m2 > m1 , tal que
1 1
d(u(n)mn , xn ) < y (f (u(n)mn ) , f (xn )) < .
n n
Considerando la sucesin diagonal yk = u(k)mk , se tiene entonces que
1 1
d(yk , xk ) < y (f (yk ), f (xk )) < .
k k
111
2 Espacios Mtricos
Por lo tanto
{yk } x luego (f (yk ), f (xk )) 0.
n k
Corolario 2.5.17 (Extensin continua) Sea (X, d) un espacio mtrico, y sea (Y, ) un
espacio mtrico completo. Sea A X y f : A Y continua. Entonces existe un conjunto
G X, que es G tal que A G A y existe : G Y extensin continua de f , es
decir, |A = f . Adems, dicha extensin es nica.
El conjunto
!
\ \
G= Gn = A Un
n=1 n=1
Sea > 0, sea k N tal que 1/k < . Consideremos dos sucesiones (xn )nN , (yn )nN A
convergentes a x G. Como x G = Gn , existe x > 0, tal que
T
n=1
1
diam (f (B(x, x ) A)) < < ,
k
de donde concluimos que
1
n0 N, n n0 , xn , yn B(x, x ) A = (f (xn ), f (yn )) < < .
k
112
2.5 Distancias equivalentes y uniformemente equivalentes
En particular para todo > 0, existe n0 N tal que para cada n, m n0 , se tiene que
(f (xn ), f (yn )) < , (f (yn ), f (ym )) < y (f (xn ), f (xm )) < . (2.58)
Se deduce que las sucesiones f (xn )n y f (yn )n son de Cauchy, y como Y es completo, se
tiene que f (xn ) y1 , f (yn ) y2 con y1 , y2 Y . Por (2.58) se concluye que y1 = y2 .
Eso muestra que para cada x G la funcin f : G 7 Y restringida a A {x} es
continua. Concluimos por el Lema 2.5.16 que f : G 7 Y es una extensin continua (y
necesariamente nica) de la funcin f : A 7 Y .
Notemos por ltimo que si f no es uniformemente continua, entonces G puede ser sub-
conjunto estricto de A.
113
2 Espacios Mtricos
y sea (
:U U R
(x, y) = d(x, y) + |f (x) f (y)| .
Es fcil comprobar que es una distancia en U. Veremos a continuacin que (U, ) es
completo y d sobre U.
por lo que
1 1 d(xm , X \ U) d(xn , X \ U)
d(xn , X \ U) d(xm , X \ U) < =
< d(xm , X\U).
d(xn , X \ U)
Se deduce del anterior que d(x, X \ U) > 0, es decir, x U. Concluimos entonces que
(U, ) es completo.
114
2.5 Distancias equivalentes y uniformemente equivalentes
Mostramos que es continua: Sea (xn )nN A y x A tal que d(xn , x) 0. Como
n
las mtricas d, i y i son equivalentes en Ui , se deduce que i (xn , x) 0. Por la
n
Proposicin 2.5.14, se tiene que
X i (xn , x)
b((xn ), (x)) = i
0 , es decir, (xn ) (x) G. b
i=1
2 n n
Veamos que (A) G b es cerrado: Sea {(xn )}nN (A) tal que (xn ) zb G.
b Por
la continuidad de las proyecciones, c.f. Observacin 2.5.15(i), se tiene
i ((xn )) := xn zi = i (b
z ), para todo i N.
n
115
2 Espacios Mtricos
Se deduce que:
xn zi es decir zi = z, para todo i N.
n
(x, y) :=
b((x), (y)), para todo x, y A,
116
2.6 Completacin de un espacio mtrico
(iii). Sea C([0, 1]) el espacio vectorial de las funciones continuas en [0, 1], equipado con la
distancia dp que proviene de la norma || ||p (vase Ejemplo 2.1.8(III)). Dicho espacio no
es completo, y su completacin se le conoce como el espacio Lp ([0, 1], B, ), espacio que
se estudia ms a profundidad en la Teora de la Medida.
Lema 2.6.4 Sea (X, d) un espacio mtrico y sean (xn )nN , (yn )nN dos sucesiones de
Cauchy en (X, d). Entonces la sucesin n := d(xn , yn ), n N, es de Cauchy en R (por lo
tanto converge, dado que R es completo).
Como (xn )nN , (yn )nN son sucesiones de Cauchy se deduce fcilmente que la sucesin
{n }nN es de Cauchy.
La relacin
(xn )nN (yn )nN d((x
e n )nN , (yn )nN ) = 0,
es un espacio mtrico, es decir, para cualquier espacio mtrico (X, d), definimos el espacio
(X, b donde X
b d), b = B/ .
Teorema 2.6.5 El espacio (X, b definido por (2.59), (2.60) es la completacin de (X, d).
b d)
117
2 Espacios Mtricos
Mostramos que (X) es denso en X. b En efecto, sea X X, b y sea (xn )nN B tal que
X = [(xn )nN ] (clase de equivalencia de la sucesin (xn )n ). Entonces para todo n N
tenemos
xn X, con (xn ) = xn = (xn , xn , . . . , xn , . . . ) X,
b
luego
d((x n ), X ) = d(xn , (xi )i ) = lm d((xn )i , xi ) = lm d(xn , xi ).
b e
i i
Como (xn )n es una sucesin de Cauchy, para cada > 0, existe n0 N tal que para todo
n, i n0 se tiene que d(xn , xi ) < , por lo tanto,
lm d((x
b n ), X ) = lm lm d(x n , xi ) .
n n i
1
n N, xn X : d([x
b n ], Xn ) < .
n
Mostramos que (xn )n es una sucesin de Cauchy. En efecto,
e n ], [xm ]) d([x
d(xn , xm ) = d([x b n ], Xn ) + d(X
b n , Xm ) + d(X
b m , [xm ])
1 1
n
b n , Xm ) +
+ d(X m
< .
118
2.7 Compacidad en Espacios Mtricos
Sea > 0 arbitrario, y n0 > 2/ tal que para todo n, i n0 se tiene que d(xn , xi ) < /2.
Se deduce que lmi d(xn , xi ) /2. Concluimos que para todo n n0 se tiene que
b n , X ) 1 + < .
d(X
n 2
Esto muestra que (X, e es completo y termina la demostracin.
b d)
K = {xn : n N} {0}
119
2 Espacios Mtricos
es compacto.
demostracin: Sea {Ui }iI un recubrimiento abierto de K. Como 0 K, existe i0 Ui0
tal que 0 Ui0 . Como (xn )nN 0, existe n0 N, tal que para cada n > n0 , se tiene
n
que xn Ui0 . Adems, para cada j {1, . . . , n0 }, existe Uij con xj Uij . Por lo tanto
{Ui0 , Ui1 , . . . , Uin0 } es un recubrimiento finito de K.
[ m
[ m
\
X \ F = X = F1 , . . . , Fm F tal que (X \ Fi ) = X = Fi = ,
| {z }
F F i=1 i=1
(abiertos)
(ii)(i). Sea {Ui }iI =X tal que X = Ui . Tomando complemento se deduce que
S
iI
Ui , por lo tanto la familia de cerrados F = {Uic : i I} no tiene la PIF. Entonces
T c
=
iI
120
2.7 Compacidad en Espacios Mtricos
m m
existen i1 , . . . im I tales que Uicj = , y tomando complementos Uij = X. Se
T S
j=1 i=1
concluye que X es compacto.
121
2 Espacios Mtricos
Proposicin 2.7.8 (Imagen continua de compacto es compacto) Sean (X, d), (Y, )
espacios mtricos, f : X Y una funcin continua y K X un conjunto compacto.
Entonces la imagen f (K) de K es un subconjunto compacto de Y .
La siguiente propiedad de los conjuntos compactos slo tiene sentido en espacios mtricos.
Sea (xn )n , (yn )n f (X) tal que (xn ) nf f y (yn ) sup f . Como f (X) es cerrado,
n X n X
entonces nf f , sup f f (X), es decir, existen x1 , x2 X, tal que f (x1 ) = nf f y f (x2 ) =
X X X
sup f , lo que muestra lo pedido.
X
122
2.7 Compacidad en Espacios Mtricos
El siguiente resultado ser de utilidad para la demostracin del famoso Teorema de rzel-
Ascoli ms adelante.
Proposicin 2.7.11 Sea (X, dX ) un espacio mtrico compacto y sea (Y, dY ) un espacio
mtrico completo. Entonces el espacio (C(X, Y ), db ) de funciones continuas de X a Y es
completo, donde
db (f, g) = sup dY (f (x), f (y)). (2.61)
xX
Es fcil ver que cada conjunto totalmente acotado es acotado. En efecto, fijando > 0 y
utilizando la notacin de la Definicin 2.7.13, ponemos
M = max d(xi , xj ) y r = M + 2,
1i,jm
123
2 Espacios Mtricos
Deducimos que el conjunto D = Dn es numerable. Mostramos ahora que el conjunto
S
n=1
D es denso en X. En efecto, consideramos una bola arbitraria B(x, ) de X, con x X
y > 0. Sea m N tal que 1/m < , donde
[ 1 1
X= B y, = y Dm D, con d(y, x) < < ,
yD
m m
m
es decir, B(x, ) D 6= .
Ejemplo 2.7.15 A continuacin veremos dos ejemplos importantes sobre conjuntos aco-
tados y totalmente acotados.
(i). [ Esfera de `2 (N) ] La esfera unitaria S en el espacio de Hilbert (`2 (N), || ||2 )
X
S = {x = (xn )nN `2 : d2 (x, 0) = x2n = 1}.
nN
(ii). [ Cubo de Hilbert ] Sea P el conjunto de elementos (xn )nN `2 (N) satisfacen las
desigualdades
1 1
|x1 | 1, |x2 | , . . . , |xn | n1 .
2 2
El conjunto P se llama cubo de Hilbert, y es un ejemplo de un conjunto totalmente acotado.
En efecto, sea > 0. Escogemos n N tal que 1/2n1 < /2. Asociamos a cada punto
(xn )nN P con el punto
x = (x1 , x2 , . . . , xn , 0, 0, . . .) P.
124
2.7 Compacidad en Espacios Mtricos
Entonces v v
u
uX u
uX 1 1
||x, x ||2 = t x2i t
i
< n1 < .
i=n+1 i=n
4 2 2
El siguiente resultado nos ser de utilidad para demostrar un teorema muy importante
de la compacidad en espacios mtricos.
125
2 Espacios Mtricos
Si S es infinito, existe n0 N, tal que xn0 S 0 . Deducimos que existe una sucesin
k(n) tal que xk(n) Ui0 .
En ambos casos, existe i0 N tal que el conjunto Ui0 contiene infinitos elementos del
conjunto S. Por otra parte,
k(n)1
[
k(n) > i0 = xk(n)
/ Uj = xk(n)
/ U i0 ,
j=1
(i). K es compacto.
(i) (ii)
l
(iv) (iii) .
(ii)(iii). Sea (xn )nN K. Sea S = {xn : n N}. Consideramos primero el caso donde
el conjunto S es finito. Entonces existe una subsucesin (xk(n) ) constante, por lo tanto
convergente. Supongamos ahora que S es infinito. En este caso, existe una subsucesin
(xk(n) )nN con trminos distintos, es decir, xk(n) 6= xk(m) , si n 6= m. Definimos el conjunto
S1 = {xk(1) , . . . , xk(n) , . . .}. Aplicando la Proposicin 2.7.17(i)(iii), deducimos que existe
x S10 . Como la sucesin es distinta, x es un -limite de la sucesin (xk(n) )nN (vase
Observacin 2.2.43). Concluimos aplicando la Proposicin 2.2.31.
126
2.7 Compacidad en Espacios Mtricos
(iii)(iv). (K es completo) Sea (xn )nN K una sucesin de Cauchy. Como K es se-
cuencialmente compacto, existe una subsucesin (xk(n) )n convergente a x K. Se deduce
por la Proposicin 2.2.28 que lm xn = x K.
n
(iv)(iii). Sea (xn )nN K y una sucesin decreciente de reales positivos que converge
a 0, es decir n & 0. Como K es totalmente acotado, para cada i N, existe mi N y
m
Si
{z1i , . . . , zm
i
i
} K tal que K B(zji , i ). Una de estas bolas debe contener infinitos
j=1
elementos de la sucesin (xn )nN . En particular, tomando i = 1, existe y1 := zj10 y una
subsucesin (xk1 (n) )nN de (xn )n tal que (xk(n) )nN B(y1 , 1 ).
Luego tomamos i = 2 y repetimos el argumento anterior para la sucesin (xk(n) )nN .
Deducimos que existe y2 = zj20 tal que (xk2 k1 (n) )nN B(y2 , 2 ). Procedemos de manera
inductiva hasta n > 0. Entonces existe yn , tal que (xkn kn1 k1 (n) )nN B(yn , n ).
Definimos los conjuntos
Fm = {xkm km1 k1 (n) : n N}, m N.
Es fcil ver que estos conjuntos son cerrados, encajonados y diam(Fm ) 2n . Como K
es completo, por el Teorema 2.4.6 (Teorema de Cantor) deducimos que
\
Fm = {x} =
6 , es decir, m N, x {xkm km1 k1 (n) : n N}.
m=1
m(2) = mn{k2 k1 (n) : xk2 k2 (n) B(x, 12 ) & k2 (k1 (n)) > m(1)}
.. .. ..
. . .
m(i) = mn{ki k1 (n) : xki k1 (n) B(x, n1 ) & ki k1 (n) > m(i 1)}.
127
2 Espacios Mtricos
Consideramos un recubrimiento abierto {Ui }iI de K. Mostramos primero que existe r > 0
(que se llama nmero de Lebesgue del recubrimiento) tal que
x K, i0 I, B(x, r) Ui0 .
Argumentamos por contradiccin suponiendo que para cada n N, existe xn K, tal que
para todo i I se tiene que B(xn , 1/n) (X \ Ui ) 6= . Por (iii), existe una subsucesin
(xk(n) )nN x K, por lo que existe i0 N tal que x Ui0 . De esto, tenemos que existe
0 > 0 tal que B(x, 0 ) Ui0 . Como xk(n) x, entonces para 1 = 0 /2, existe N0 N,
tal que para cada n N0 , d(xk(n) , x) < 1 = 20 . Tomando n N0 tal que k(n) > 20 ,
tenemos que
1
B xk(n) , B xk(n) , B (x, 0 ) Ui0 .
k(n) 2
Se deduce que B xk(n) , k(n)
1
Ui0 , lo cual es una contradiccin.
Con lo anterior, tenemos que para cada x K, existe i(x) I, tal que B(x, r) Ui(x) .
m m
Como K es totalmente acotado, entonces K Ui(xj ) .
S S
B(xj , r)
j=1 j=1
Observacin 2.7.19 Las implicancias que involucran (iv) no tienen ningn sentido fuera
de un contexto mtrico. Por otra parte, las implicaciones (i) = ii) y (iii) = (ii) se
demuestran de forma puramente topolgica, y son vlidas en espacios topolgicos. Sin
embargo, las otras implicancias, aunque tienen sentido en un contexto topolgico, no son
ciertas en dicho contexto. En particular la compacidad, la compacidad numerable y la
compacidad secuencial son nociones distintas en espacios topolgicos.
Notemos que para demostrar (iv) = (i), demostramos un resultado de inters indepen-
diente, la existencia del nmero de Lebesgue de un recubrimiento abierto. Lamentable-
mente este resultado parcial no es equivalente a que K sea compacto en todos los espacios
mtricos. Por ejemplo, tomando X = K = N, observamos que cada r < es un nmero de
Lebesgue de cualquier recubrimiento abierto de N, sin que este ltimo sea compacto. Sin
embargo se tiene el siguiente teorema.
128
2.7 Compacidad en Espacios Mtricos
Veamos que (ii) = (i). Para ello, demostraremos que si se cumple (ii), entonces se cumple
la propiedad (iii) del Teorema 2.7.17. Supongamos por contradiccin que existe S K
infinito con S 0 = . Entonces existe una inyeccin x : N , S.
Sea S1 = x(N) = {x1 , x2 , . . .}, se tiene que S10 = , por lo que S1 = S 1 cerrado en K.
Tenemos que S1 es cerrado en X, por lo que U0 = X \ S1 =X . Adems S1 es discreto,
por lo que
(n N)(n > 0)B(xn , n ) (S1 \ {xn }) = .
Definimos n = mn{n , n1 }, Un = B(xn , n ). Vemos que K Un . Entonces existe
S
n=0
r > 0, tal que para todo x K, existe i N, tal que B(x, r) Ui . Tomando n > 1r ,
tenemos que existe i N B(xn , r) Ui . Si n 6= i, xn
/ Ui , por lo que
1
B(xn , r) Un = B(xn , n ) B xn , .
n
Entonces B(xn , r) B(xn , r) B(xn , n1 ) B(xn , r). Por lo anterior, B(xn , r) = B(xn , r)
lo cual es una contradiccin, pues B(xn , r) es a la vez cerrado y abierto, y X \B(xn , r) 6= .
Teorema Heine-Borel
Empezamos esta seccin con el teorema clsico de Heine-Borel. El siguiente resultado
(compacidad de un intervalo cerrado y acotado de R) se presenta ahora como aplicacin
directa del Teorema 2.7.18. Dejamos al lector la tarea de encontrar una demostracin
directa basada a la definicin topolgica de la compacidad (Definicin 2.7.2).
129
2 Espacios Mtricos
d
demostracin: Sea K [ai , bi ]. Consideremos una sucesin
Q
i=1
En particular, la sucesin definida por las primeras coordenadas (x(1))n [a1 , b1 ] tiene
una subsucesin convergente (c.f. Corolario 2.7.21), eso es, existe {x(1)}k1 (n) x(1)
n
[a1 , b1 ]. Luego, considerando la sucesin ({x(2)}k1 (n) )n [a2 , b2 ] obtenemos una subsuce-
sin {x(2)}k2 k1 (n) x(2) [a2 , b2 ]. Continuando de esta manera, para i {1, . . . , d}
n
obtenemos {x(d)}kd k1 (n) x(d) [ad , bd ].
n
Consideramos la sucesin (yn )nN = xkd k1 (n) , que es una subsucesin de (xn )nN . Da-
do que la convergencia con la norma || || en Rd es equivalente a la convergencia por
coordenadas, concluimos que
El resultado anterior indica que los conjuntos compactos no pueden ser muy grandes, en
trminos de cardinalidad, pues al menos debe tener un subconjunto denso y numerable.
Ms tarde veremos que en verdad la cardinalidad de cualquier conjunto compacto es a lo
ms 2c , donde c es la cardinalidad de R.
130
2.7 Compacidad en Espacios Mtricos
demostracin: Primero veremos que para todo ordinal , se tiene que X () es compacto.
Aplicamos el principio de induccin transfinita (c.f. Teorema 1.7.2).
X () \ X (+1) = X () \ (X () )0 6= ,
para todo ordinal tal que X () es no vaco. Luego, existe con X () = y supongamos
que es el mnimo con esta propiedad (y por lo tanto sera el ndice de Cantor-Bendixson
de X). Si card() > 0 , como X () \ X (+1) 6= para todo < , podemos definir
una funcin f tal que a todo ordinal [0, ) le asocia f () X () \ X (+1) . Como
(X () \ X (+1) ) es una secuencia disjunta, vemos que f es inyectiva y as card(X)
card(f ([0, ))) = card() > 0 , lo que es un contradiccin.
131
2 Espacios Mtricos
132
2.7 Compacidad en Espacios Mtricos
Es decir, m es lineal por trozos y para todo i = 0, . . . , m se tiene que m (ai ) = f (ai ).
Sean t [0, 1] e i {0, . . . , m 1} tal que t [ai , ai+1 ]. Notemos que
|m (t) f (t)| |m (t) f (ai )| + |f (ai ) f (t)| < + = .
4 4 2
As, ||f || /2. Notemos que tiene derivada por la derecha en todo punto y como
la particin es finita, existe M > 0 tal que para todo t [0, 1], |0 (t+ )| M . Sea k N
y definimos la funcin k : [0, 1] R de la siguiente manera:
si i es par y t [ ki , i+1
(
k(t ki ), k
]
k (t) =
1 k(t ki ), si i es impar y t [ ki , i+1k
].
Consideremos la funcin
g = m +k
2
y observemos que para todo t [0, 1] se tiene que
|f (t) g(t)| |f (t) (t)| + |k (t)| + = ,
2 2 2
por lo tanto ||f g|| < . Por otra parte, tomando k > 2(M + n)/, veamos que g
/ Fn .
En efecto, sean t [0, 1 1/n] e i {0, . . . , k 1} tal que 1/k t < i+1
k
. Tomemos
h (0, 1/n) tal que i/k < t + h < (i + 1)/k y tenemos:
g(t + h) g(t) k (t + h) k (t) (t + h) (t)
k M > n,
h 2 h h 2
133
2 Espacios Mtricos
y por lo tanto g
/ Fn .
Dado que los conjuntos Fn son cerrados de interior no vaco, deducimos que Fn es de
S
nN
primera categora en C([0, 1], R). Tenemos que una funcin en C([0, 1]) con derivada
S por
la derecha finita en algun punto de [0, 1) debe estar en algn Fn , entonces D+ Fn
nN
de donde concluimos que D+ es de primera categora en C([0, 1]).
Concluimos el siguiente resultado.
El siguiente resultado, que es una consecuencia inmediata del teorema anterior, nos pro-
porciona criterios para establecer homeomorfismos.
134
2.7 Compacidad en Espacios Mtricos
d d
!
X X
N (x) |xi | N (ei ) max |xi | N (ei ) = M kxk .
1id
i=1 i=1
El siguiente resultado nos entrega una caracterizacin importante de los espacios vecto-
riales de dimensin infinita.
Teorema 2.7.31 (Teorema de Riesz) Sea (X, kk) un espacio vectorial normado. Los
siguientes son equivalentes:
(i). El espacio X es de dimensin finita (i.e. dim X < ).
135
2 Espacios Mtricos
zy
x2 = ,
kz yk
1 1
d(x2 , Y ) = nf {kx2 y 0 k} = nf {k(x y) y 0
k} = d(z, Y ) = 1.
0
y Y kz yk y0 Y kz yk
Teorema de Dini
Para poder enunciar el Teorema de Dini, necesitaremos de las siguientes definiciones
Definicin 2.7.32 (Convergencia puntual) Sean (X, d) e (Y, ) dos espacios mtri-
cos, y sea fn : X Y , n N una sucesin de funciones. Decimos que la sucesin (fn )nN
converge puntualmente a una funcin f : X Y si
136
2.7 Compacidad en Espacios Mtricos
Definicin 2.7.33 (Convergencia uniforme) Sean (X, d) e (Y, ) dos espacios mtri-
cos, y fn : X Y , n N una sucesin de funciones. Decimos que (fn )nN converge
uniformemente a la funcin f : X Y si
Es claro que si una sucesin de funciones (fn )nN converge uniformemente a f , entonces
(fn )nN converge puntualmente a f . Sin embargo, lo recproco no es cierto.
0, si x [0, 1)
f (x) =
1, si x = 1.
137
2 Espacios Mtricos
conjuntos Un son abiertos. Como gn (x) gn+1 (x), entonces Un Un+1 . Para cada x K,
tenemos que lm gn (x) = 0 por lo que existe n0 N con gn0 (x) < , es decir, x Un0 . As
n
Un . Como K es compacto, existe un subcubrimiento finito {Un1 , . . . Un0 }. Como
S
K=
nN
Un Un+1 , definimos N = max{n1 , . . . , n0 }, por lo que K = UN . Esto es gN (x) < para
todo x K. As ||gN || MN . Como la sucesin {Mn }nN es decreciente y Mn 0,
concluimos que lm Mn = 0.
n
Ejemplo 2.7.37 (Teorema de Dini Necesidad de las hiptesis) Todas las hip-
tesis del Teorema 2.7.36 son necesarias. Veremos a continuacin unos contraejemplos adap-
tados.
138
2.7 Compacidad en Espacios Mtricos
Como hemos mencionado antes, este teorema se puede extender a espacios topolgicos,
donde adems el producto no es necesariamente numerable, sino de cualquier cardinalidad.
Corolario 2.7.39 Los espacios mtricos [0, 1]N (cubo de Hilbert) y {0, 1}N (conjunto de
Cantor2 ) son compactos con la topologa producto.
Teorema de Arzel-Ascoli
Finalizaremos esta seccin, demostrando el Teorema de Arzel-Ascoli, el cual es muy
importante en diversas reas de matemticas, como por ejemplo en la teora de Ecuaciones
en Derivadas Parciales y en el Anlisis Complejo. Para poder enunciar dicho teorema
debemos introducir las siguientes definiciones.
2
la terminologa se justificar en la siguiente seccin
139
2 Espacios Mtricos
demostracin: Notemos primero que dado que (X, dX ) es compacto y (Y, dY ) es com-
pleto, luego (C(X, Y ), d ) es un espacio mtrico completo, vase Proposicin 2.7.11. De-
mostraremos el teorema mediante los siguientes pasos:
140
2.7 Compacidad en Espacios Mtricos
Paso 3. Vamos a demostrar que para cada {fn }nN F sucesin, existe una subsucesin
{f(n) }nN tal que
j N, {f(n) (xj )}nN converge en Y.
Por hiptesis para todo x X : Hx = {f (x) : f F} es relativamente compacto. Sea
{fn (x)}nN una sucesin en Hx . Entonces existe h : N N estrictamente creciente tal
que {fh(n) (x)}nN es convergente en Y .
Sea x1 D. Entonces existe f1 (n) (x1 ) r1 Y . Sea x2 D. Luego {f1 (n) (x2 )} es
n
una sucesin en Hx2 . Por lo tanto existe {f2 (n) (x2 )}nN subsucesin tal que
f2 (n) (x2 ) r2 Y.
n
Procediendo de manera inductiva, para k N cualquiera, tenemos la sucesin {fk1 (n) (xk )}
en Hxk . Por lo tanto existe {fk (n) (xk )}nN subsucesin de {fk1 (n) (xk )} tal que
: N N
i 7 (i) := i (i).
Sea j N vamos a demostrar que existe n N, tal que para cada m, n n se tiene que
Tenemos que
dY (f(n) (xj ), f(m) (xj )) dY (f(n) (xj ), f(j) (xj )) + dY (f(j) (xj ), f(m) (xj )).
141
2 Espacios Mtricos
Sean x X, > 0 y sean > 0, n() N tal que existe j n(), tal que d(x, xj ) .
Luego
dY (f(n) (xj ), f(m) (x)) dY (f(n) (x), f(n) (xj )) + dY (f(n) (xj ), f(m) (xj ))+
.
+ dY (f(m) (xj ), f(m) (x))
Por la equicontinuidad, tenemos que existe n() tal que para todo n, m n()
Por el Paso 3, existe n (xj ) tal que para todo n, m n (xj ), se tiene que
Construccin geomtrica del conjunto de Cantor : Consideramos el intervalo unitario [0, 1].
Dividimos este intervalo en tres subintervalos iguales. De esta manera obtenemos los
siguientes intervalos.
1 1 1 2 1 2
I0 = 0, , , , I1 = , 1 .
3 3 3 3
En la primera etapa quitamos el subintervalo 13 , 32 y llamamos 1 a la unin de los
142
2.8 El Conjunto de Cantor
1 2
1 = I01 I11 = 0, ,1 .
3 3
El segundo paso consiste en repetir el mismo proceso a cada uno de los intervalos que
componen a 1 , obteniendo
2 2 2 2 1 2 3 6 7 8
2 = I0 I1 I2 I3 = 0, , , ,1 .
9 9 9 9 9 9
2nS
1
Repitiendo este proceso de manera inductiva, obtenemos que n = Iin . Observamos
i=0
que {n }nN es una familia decreciente de conjuntos compactos.
Notemos que 6= , debido a que [0, 1] es compacto y la familia (n )nN de sus sub-
conjuntos cerrados tiene la PIF. (Tambin se puede aplicar el Teorema 2.4.6, dado que
diam n 0 y [0, 1] es completo.)
n
143
2 Espacios Mtricos
2n1
[1 2n1
[1
1
n ({0}) = n
(I2k 4) y 1
n ({1}) = n
(I2k+1 4)
i=1 i=1
144
2.8 El Conjunto de Cantor
145
2 Espacios Mtricos
y definimos
\
f (si ) = x, donde {Mtn : tn (i) = s(i), i {1, . . . , mn } = {x}.
n=1
Corolario 2.8.6 [Imgenes continuas de [0, 1]] Los espacios [0, 1]k , (k N) y [0, 1]N
son imgenes continuas de [0, 1].
c = ta + (1 t)b = (c)
e = t(a) + (1 t)(b).
146
2.8 El Conjunto de Cantor
Observacin 2.8.7 [Universalidad de [0, 1]] El resultado del Corolario 2.8.6 se puede
extender a cualquier conjunto convexo compacto de un espacio normado, y ms general,
a cualquier conjunto convexo compacto metrizable de un espacio vectorial topolgico3 E.
Estos espacios se estudiarn ms adelante.
Concluimos esta parte con el siguiente resultado parcial sobre la universalidad isomtrica
del espacio de Banach C([0, 1]) dentro los espacios C(K) (K compacto convexo metrizable).
Ms adelante veremos que C([0, 1]) es un espacio universal para todos los espacios de
Banach separables.
3
la topologa de E compatible con las operaciones de adicin y multiplicacin escalar, en particular las
funciones (t, x) 7 t x, (t, x) R E y (x, y) 7 x + y, (x, y) E E son funciones continuas.
147