ndice general
1. Cardinalidad de conjuntos
1.1. Conjuntos finitos . . . . . . . . . . . . . .
1.2. Conjuntos numerables y no numerables
1.3. Conjuntos infinitos . . . . . . . . . . . . .
1.4. Tpicos en teora de conjuntos . . . . . .
1.5. Ejercicios . . . . . . . . . . . . . . . . . . .
2. Espacios mtricos
2.1. Definicin de espacio mtrico . . . . .
2.2. Bolas y esferas . . . . . . . . . . . . . .
2.3. Distancia de un punto a un conjunto .
2.4. Isometras . . . . . . . . . . . . . . . . .
2.5. Ejercicios . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
. 5
. 8
. 13
. 14
. 17
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
19
24
29
31
33
3. Funciones continuas
3.1. Definicin y ejemplos de funciones continuas .
3.2. Propiedades de las funciones continuas . . . .
3.3. Homeomorfismos . . . . . . . . . . . . . . . . . .
3.4. Mtricas equivalentes . . . . . . . . . . . . . . .
3.5. Continuidad de las transformaciones lineales .
3.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
37
40
44
46
48
4. Lenguaje topolgico
4.1. Conjuntos abiertos . . . . . . . . .
4.2. Conjuntos abiertos y continuidad
4.3. Espacios topolgicos . . . . . . . .
4.4. Base de una topologa . . . . . . .
4.5. Topologa producto en X Y . . .
4.6. Topologa de subespacio . . . . . .
4.7. Conjuntos cerrados . . . . . . . . .
4.8. Ejercicios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
51
55
57
59
61
62
63
69
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
4
5. Conjuntos conexos
5.1. definicin y ejemplos . . . . . . . . . . . .
5.2. Propiedades de los conjuntos conexos .
5.3. Conexidad y funciones continuas en R
5.4. Conexidad por caminos . . . . . . . . . .
5.5. Componentes conexas . . . . . . . . . . .
5.6. Ejercicios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
73
74
78
81
84
85
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
87
92
93
94
96
100
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101
. 101
. 103
. 105
. 107
. 114
8. Espacios compactos
8.1. Teoremas: Bolzano-Weierstrass y Borel-Lebesgue
8.2. Espacios mtricos compactos . . . . . . . . . . . . .
8.3. Caracterizaciones de espacios compactos . . . . . .
8.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
. 115
. 117
. 122
. 127
.
.
.
.
.
.
.
.
.
.
Captulo 1
Cardinalidad de conjuntos
En este captulo se estudiar el concepto general de la cardinalidad de un
conjunto, as como tambin algunos criterios que facilitarn el establecer la
cardinalidad de ciertos conjuntos.
1.1.
Conjuntos finitos
Prueba:
Si el conjunto propio B es vaco, no puede existir una biyeccin
entre B y un conjunto no vaco como En . Probemos por induccin que el
teorema es vlido para todo n N. En efecto, para n = 1, A est constituido
por un solo elemento, digamos A = {a}, el nico subconjunto propio es , en
consecuencia se satisface el teorema.
Supongamos que el teorema se cumple para n y probemos que tambin es
vlido para n + 1. Sea f : A En+1 una biyeccin y sea B un subconjunto
propio no vaco de A. Elegimos elementos a0 B y a1 A \ B. A partir de
la suposicin y aplicando el lema anterior (lema 1.1), aseguramos que existe
una biyeccin
g : A \ {a0 } En .
Se concluye, a partir del lema anterior y (1), que no existe una biyeccin
entre B y En+1 . Por otra parte, si B \ {a0 } = , entonces B = {a0 } y existe una
biyeccin entre B y E1 = {1}; si B \ {a0 } =
/ , nuevamente por el lema anterior
y (2) concluimos que existe una biyeccin entre B y Ep+1 . Es decir, siempre
existe una biyeccin entre B y Em para algn m < n + 1. Esto termina el
proceso inductivo y prueba el teorema para todo n N.
En trminos del cardinal el teorema anterior nos dice que un subconjunto
propio de un conjunto finito A tiene cardinal estrictamente menor que el
cardinal de A y que todo subconjunto de un conjunto finito, tambin es
finito.
El siguiente corolario nos da una condicin necesaria para que un conjunto sea finito.
Corolario 1.3. Si A es un conjunto finito, entonces no existe una biyeccin
entre A y un subconjunto propio del mismo.
Prueba:
Sea B un subconjunto propio y no vaco de A, por reduccin
al absurdo supongamos que existe una biyeccin f : A B. Por hiptesis A
es finito y por tanto, existe una biyeccin g : A En para algn n N. La
funcin g f1 : B En es una biyeccin de B en En lo que contradice el
teorema 1.2.
El contrarecproco de este corolario 1.3 nos permite probar la no finitud
de algunos conjuntos.
Corolario 1.4. N no es finito.
Prueba:
La funcin f : N N \ {1} definida por f(n) = n + 1 es
inyectiva pues f(n) = f(m) si y slo si n + 1 = m + 1, es decir, n = m. f
es sobreyectiva pues dado p en N \ {1}, p 1 es un elemento de N tal que
f(p 1) = (p 1) + 1 = p. Por lo tanto f es una biyeccin entre N y un
subconjunto propio del mismo, luego, no puede ser finito.
Corolario 1.5. El cardinal de un conjunto finito A est unvocamente determinado por A. En otras palabras, si n y m tienen la propiedad de ser cardinal
de A, entonces tiene que ser n = m.
Prueba:
Supongamos por absurdo que m < n y que A tiene cardinal
tanto m como n. Es decir, existen biyecciones f : A En y g : A Em .
Entonces la composicin g f1 : En Em es una biyeccin entre En y un
subconjunto propio de En . Esto contradice el corolario 1.3.
El siguiente corolario es consecuencia casi directa del teorema 1.2 y se
deja como Ejercicio.
1 Principio del buen orden: Todo subconjunto de N posee un primer elemento o equivalentemente, posee un elemento mnimo.
Prueba:
Se har la prueba para la unin y el producto de dos conjuntos
finitos. Sean A, B dos conjuntos finitos. Si A o B es vaco, el resultado es
obvio. As que suponemos que ambos son no vacos y existen biyecciones
f : Em A y g : En B para ciertos n, m N. Se define entonces h :
Em+n A B por:
f(i) si i = 1, 2, . . . , m
h(i) =
g(i m) si i = m + 1, . . . , m + n
h es sobreyectiva porque f y g lo son. Por la parte (2) del teorema 1.7, se tiene
que A B es finito.
Veamos ahora que A B es finito. Dado a A, podemos definir :
{a} B B por (a, b) = b. De inmediato vemos que es una biyeccin.
As que, como existe una biyeccin entre B y En , tambin existe una de {a}B
en En , o sea que es un conjunto finito. Considerando la misma biyeccin de
arriba f : Em A y denotando f(i) = ai A, podemos escribir:
AB=
m
[
i=1
{f(i)} B =
m
[
{ai } B
i=1
1.2.
f es inyectiva pues si f(n) = f(m) ambos son pares o ambos son impares,
en consecuencia slo puede ocurrir que 2n = 2m o 2n + 1 = 2m + 1, cada
una implica que n = m. Tambin f es sobreyectiva ya que dado n N si n
es par n = 2k para algn k, en este caso n = f(k); si n es impar, n = 2k + 1
para algn k N en este caso, f(k) = 2(k) + 1 = 2k + 1 = n.
Lema 1.9. El conjunto N N es infinito numerable.
Prueba:
Considerando la representacin cartesiana de N N, se puede
etiquetar cada elemento de N N en la forma que sugiere el dibujo mediante
f
a
10
a6
a9
a3 a5 a
8
a1 a 2 a4 a7
f(x, y) = (x + y 1, y)
Entonces, ahora definimos una funcin g : A N por
g(x, y) =
1
(x 1)x + y.
2
10
Definicin 3 (numerable, no numerable). Se dice que un conjunto es numerable si es finito o es infinito numerable. Un conjunto que no es numerable se
dice no numerable .
El siguiente teorema nos da un criterio para establecer que un conjunto
sea numerable.
Teorema 1.10. Sea B un conjunto no vaco. Entonces son equivalentes las
siguientes proposiciones:
(1) B es numerable.
(2) Existe una funcin sobreyectiva f : N B.
(3) Existe una funcin inyectiva g : B N.
Prueba:
(1)(2). Sea B un conjunto numerable. Si B es infinito numerable, por definicin existe una biyeccin entre N y B, la cual es en particular,
sobreyectiva. Si B es finito (y no vaco), por definicin existe una biyeccin h
entre En y B para algn n N. Entonces definimos
h(i) si 1 i n
H(i) =
h(1) si i > n
11
por
Prueba:
Veamos el resultado para el producto cartesiano de dos conjuntos numerables A, B. Si A o B es vaco, el producto es vaco y por tanto
numerable. Si tanto A como B son no vacos por el teorema 1.10 existen
funciones sobreyectivas f : N A y g : N B. Entonces la funcin,
h : N N A B definida por: h(n, m) = (f(n), g(m)), es sobreyectiva
y as A B es numerable. En el caso general se procede por induccin.
12
g : N {0, 1}
no puede ser sobreyectiva. Para cada n N, g(n) es una -upla que podemos
representar por:
g(n) = (xn1 , xn2 , , xnm , )
Prueba:
Si B es un conjunto no vaco, la existencia de una funcin
inyectiva f : B C implica la existencia de una funcin sobreyectiva g : C
B definiendo g(c) = f1 (c) sobre cada elemento del rango o imagen de f y g
restringida a C \ f(B) algn elemento fijo de B.
Luego, para demostrar el teorema basta demostrar que dada una funcin
g : A P(A), sta no puede ser sobreyectiva. Consideremos entonces tal
funcin g; para cada elemento a en A, la imagen g(a) es un subconjunto de
A que puede contener o no al propio elemento a. Sea ahora B el subconjunto
de A constituido por los elementos a tales que g(a) no contiene a a. Es decir,
B = {a A : a
/ g(a)}
el conjunto B pudiera ser vaco o cualquier otro subconjunto de A, lo cierto
es que B no pertenece al rango de g. En efecto, si suponemos que existe algn
elemento a0 de A tal que B = g(a0 ) se tiene que
a0 B a0
/ g(a0 ) = B
13
1.3.
Conjuntos infinitos
Prueba:
(1)(2) Supongamos que existe una funcin inyectiva f : N
A. Para cada n en N denotemos su imagen mediante f por: f(n) = an . Siendo
f inyectiva, resulta que an =
/ am si n =
/ m. Se define ahora
por:
g : A A \ {a1 }
g(an ) = an+1 para cada an f(N)
g(x) = x para x A \ f(N).
14
1.4.
(3) a b b c a c (transitividad).
15
16
3 Felix Hausdorff (1868-1942) fue un matemtico alemn que est considerado como uno de
los fundadores de la moderna Topologa y que ha contribuido significativamente a la teora de
conjuntos, la teora descriptiva de conjuntos, la teora de la medida, el anlisis funcional y la
teora de funciones.
4 Max August Zorn (1906-1993) fue un matemtico alemn nacionalizado estadounidense.
Trabaj en los campos del lgebra abstracta, teora de grupos y anlisis numrico. Es famoso
por el lema de Zorn, una herramienta poderosa de teora de conjuntos, que se puede aplicar a
un amplio abanico de entes matemticos como espacios vectoriales, conjuntos ordenados, etc. El
lema de Zorn fue descubierto por primera vez por Kazimierz Kuratowski en 1922, y despus de
forma independiente, por Zorn en 1935.
1.5. EJERCICIOS
1.5.
1
17
Problemario No 1
f : {1, 2} {1, 2, 3}
Un ejercicio de conteo:
(a) Se dice que un nmero real es algebraico (sobre los racionales)
si es raz de algn polinomio con coeficientes racionales, es decir
satisface una ecuacin del siguiente tipo:
xn + an1 xn1 + + a1 x + a0 = 0
donde los coeficientes ai son racionales y n N. Asumiendo el
Teorema Fundamental del lgebra que afirma que un polinomio de
grado n posee a lo sumo n races, demuestre que el conjunto de los
nmeros algebraicos es numerable.
18
Captulo 2
Espacios mtricos
2.1.
(2) si x =
/ y, entonces d(x, y) > 0;
(3) d(x, y) = d(y, x);
(4) d(x, z) d(x, y) + d(y, z)
20
n
X
|xi yi | y
i=1
21
22
(2) k xk = || kxk;
kxk =
qX
x2i ; kxk =
23
La barra en la tercera propiedad indica la operacin de conjugacin compleja. En el caso de que E sea un espacio vectorial real (K = R), se omite la
barra (de hecho el conjugado de un real puro es el mismo real). As mismo, la
propiedad (4) afirma adems que independientemente que el espacio vectorial
sea real o complejo, la expresin hx, xi es un nmero real no negativo para
todo x E.
A partir de las tres primeras propiedades se pueden deducir otras:
hx, yi = hx, yi
h0, yi = 0
kx + yk = hx + y, x + yi
24
|hx, yi| = |hy, yi| = || kyk = || kyk kyk = kyk kyk = kxk kyk
2.2.
Bolas y esferas
En un espacio mtrico la nocin de proximidad la proporciona el concepto de bola, ms adelante veremos que en realidad, las bolas son conjuntos
bsicos de la topologa.
Definicin 14 (bola abierta, bola cerrada y esfera). Sea a un punto de un
espacio mtrico M, y r > 0 un nmero real positivo.
La bola abierta de centro a y radio r es el conjunto B(a; r) de los puntos
de M que estn a distancia menor que r de a, es decir:
25
B[a; r] = {x M : d(x, a) r}
La esfera de centro a y radio r es el conjunto S(a; r) de los puntos de M
que estn a distancia r de a, es decir:
S(a; r) = {x M : d(x, a) = r}
Si X es un subespacio del espacio mtrico M, cada bola y esfera relativa al
subespacio, es la interseccin de la bola o esfera en M con X. Como notacin,
utilizaremos la letra que designa el subespacio como un subndice:
BX (a; r) = B(x; r) X;
BX [a; r] = B[a; r] X;
SX (a; r) = S(a; r) X
26
Ejemplo 12. Sea f una funcin del espacio B([a, b], R) (ver ejemplo 6). La
condicin para que una funcin acotada g : [a, b] R pertenezca a la bola
abierta B(f; r) es que kg fk = supx[a,b] |g(x) f(x)| < r; grficamente se
puede interpretar esa condicin considerando una banda o faja de amplitud
2r alrededor del grfico de f formada por los puntos (x, y) del plano R2 tales
que x [a, b] y f(x) r < y < f(x) + r como se muestra en la siguiente figura
2.4
27
28
29
2.3.
d(a, X) := nf d(a, x)
xX
30
d(y, v) = kv yk = kv a uk = kr u uk = r <
En conclusin, dado > 0, existe y en B a distancia menor que de v; lo
que implica que d(v, B) = 0.
Proposicin 2.3. Sea M un espacio mtrico. Dados a, b M y un subconjunto
no vaco X de M, X M, se verifica:
d(a, X) d(b, X) d(a, b).
Prueba:
Por las propiedades conocidas del valor absoluto, es suficiente
mostrar que d(a, b) d(a, X)d(b, X) d(a, b). Ahora, por la definicin 20
y la desigualdad triangular, para todo x X, d(a, X) d(a, x) d(a, b) +
d(b, x),de donde
para todo x X.
2.4. ISOMETRAS
31
2.4.
Isometras
32
Ejemplo 24. Sea Rn con la mtrica inducida por alguna norma cualquiera.
Tomando a, u Rn siendo u un vector unitario (kuk = 1). La funcin f : R
Rn definida por f(t) = a + t u es una inmersin isomtrica entre R y Rn .
En efecto, para s, t R, se tiene d(f(s), f(t)) = kf(s) f(t)k = k(s t) uk =
|s t| = d(s, t).
Fijando a Rn , la aplicacin g : Rn Rn definida por g(x) = x + a
es una isometra. Tambin h : Rn Rn definida por h(x) = x es una
isometra.
Nos referiremos al siguiente ejemplo cuando estudiemos el tema de la
completitud de un espacio mtrico.
Ejemplo 25. Mostraremos que un espacio mtrico M = (M, d) puede ser
inmerso isomtricamente en el espacio vectorial normado E = B(M; R). En
una primera instancia supondremos que M es acotado. Entonces definimos
una funcin : M B(M; R) asignando, a cada x M, (x) = dx donde
dx : M R es la funcin distancia al punto x, es decir, dx (y) = d(x, y)
para todo y M. Siendo M un espacio acotado, dx es una funcin acotada,
de modo que toma valores en B(M; R).
La funcin preserva distancias ya que, por el corolario 2.4, para x, x
en M arbitrarios tenemos |dx (y) dx (y)| d(x, x ). Luego,
En particular, para y = x , se obtiene que |dx (y) dx (y)| = d(x, x ) (es cota
superior y elemento del conjunto), por tanto,
2.5. EJERCICIOS
2.5.
33
Problemario No 2
p
Sea d : M M R una mtrica. Verifique que (x, y) = d(x, y) ,
d(x,y)
(x, y) = 1+d(x,y)
y (x, y) = mn{1, d(x, y)} son mtricas en M.
a
1+a
b
1+b
B[a; r] =
B(a; s) =
b(a; r) =
n=1
s>r
{a} =
r>0
n=1
1
B a; r +
n
1
.
B a;
n
Muestre tambin que una bola abierta se puede expresar como una unin
de bolas cerradas.
6
Si b
/ B[a; r], pruebe que existe s > 0 tal que B[a; r] B[b; s] = .
34
10
En un espacio mtrico M, sea b B(a; r) pruebe que existe una bola abierta de centro en b contenida en B(a; r). Muestre, mediante un
ejemplo, que esta afirmacin pudiera ser falsa para b B[a; r].
11
12
13
14
15
16
17
18
19
20
Sea E un espacio vectorial con producto interno. Dada una transformacin lineal T : E E, las siguientes proposiciones son equivalentes:
(a) T es una inmersin isomtrica. (b) kTxk = kxk para todo x E. (c)
hTx, Tyi = hx, yi para cualesquiera x, y E. Si adems la dimensin de E
es finita, en estas condiciones, T es una isometra.
Captulo 3
Funciones continuas
3.1.
Definicin y ejemplos de
funciones continuas
35
36
Ejemplo 27. Si f : M N es lipschitziana, entonces es continua (en cada punto a M). En efecto, sean L una constante de Lipschitz para f y
a M, dado > 0, hacemos = /L. Entonces, d(x, a) < implica que
d(f(x), f(a)) L d(x, a) < L = .
Para funciones reales de variable real la condicin de Lipschitz significa
que para todo x, y en el dominio, |f(x) f(y)| / |x y| L, por lo que la
pendiente de cualquier recta secante al grfico de f es, en valor absoluto,
menor o igual a L. Si una funcin f, est definida en un intervalo I, f : I R,
y es diferenciable con derivada acotada, |f (x)| c, entonces es lipschitziana
con constante de Lipschitz c; ya que por el Teorema del valor medio, para
algn z entre x y y, se tiene que |f(x) f(y)| = |f (z)(x y)| c |x y|.
Definicin 26 (localmente lipchitziana). Una funcin f : M N se llama
localmente lipschitziana cuando para cada punto a del dominio existe una
bola B de radio r > 0 tal que la restriccin de f a la bola B, f/B, es lipschitziana.
Dado que la continuidad en un punto es un concepto local, toda funcin
localmente lipschitziana, es continua.
Ejemplo 28. Una potencia de x es lipschitziana en cada parte acotada de R.
Si f : R R est definida por f(x) = xn donde n es un entero positivo y
n1
|x| a, entonces |f (x)| = n |x|
n an1 .
Esto tambin se puede ver sin hacer uso de la derivada: si se tiene que
|x| a y |y| a, entonces
|xn yn | = |x y| xn1 + xn2 y + + yn1
|x y| (|x|
c |x y|
n1
+ |x|
n2
|y| + + |y|
n1
37
3.2.
38
39
continua separadamente en (0, 0) pues f(x, 0) = f(0, y) = 0; pero es discontinua en (0, 0) porque su restriccin a la recta y = ax de R2 es una funcin
discontinua:
f(x, ax) =
a
ax2
=
si x 6= 0 y f(0, 0) = 0
2
2
2
x +a x
1 + a2
Ejemplo 33. Continuidad del producto por escalar Sea E un espacio vectorial
normado real. Veamos que el producto por escalar, m : R E E donde
m(, x) = x, es lipschitziana en cada parte acotada de R E. Sean , en
R y x, y en E tales que || , || a y kxk , kyk a, entonces
d m(, x), m(, y) = k x yk = k x x + x yk
| | kxk + || kx yk a | | + kx yk
= a d (, x), (, y)
Luego, la multiplicacin por escalar es continua. Como caso particular, la
funcin producto de nmeros reales es continua.
Prueba:
Si f es continua y siendo las proyecciones 1 , 2 continuas
como se vio en el ejemplo 30 parte (e), tambin son continuas f1 = 1 f y
f2 = 2 f. Recprocamente, consideramos en N1 N2 la mtrica del mximo;
por la continuidad de cada fi : M Ni con (i = 1, 2), dado > 0, existen
1 , 2 > 0 tales que d(x, a) < i d(fi (x), fi (a)) < (i = 1, 2). Tomando
= mn{1 , 2 }, se tiene que
d(x, a) < d(f(x), f(a)) = max d f1 (x), f1 (a) , d f2 (x), f2 (a) < .
Luego, f es continua en a.
= f1 f2 : M1 M2 N1 N2 ,
(x1 , x2 ) = (f1 (x1 ), f2 (x2 )).
40
Prueba:
= f1 1 , f2 2
Frecuentemente, en lugar de utilizar directamente la definicin de continuidad, resulta mas sencillo expresar la funcin objeto de estudio, como
composicin de funciones ms simples, cuya continuidad ya se haya establecido. sta es la tcnica utilizada en la siguiente proposicin.
Proposicin 3.5. Sean M un espacio mtrico, E un espacio vectorial normado
y f, g : M E, , : M R funciones continuas, con (x) 6= 0 para todo
x M. Entonces, tambin son continuas las funciones
f+g:ME
f:ME
/ : M R
(x)
(f + g)(x) = f(x) + g(x) ( f)(x) = (x) f(x) (/) (x) = (x)
.
Prueba:
Ya se ha probado que las siguientes funciones son continuas:
r : R\ E, r(x) = 1/x (ver ejemplo 29), s : E E E, s(x, y) = x + y (ver
ejemplo 30(g)), y m : R E E, m(, x) = x (ver ejemplo 33).
Entonces, las siguientes funciones son continuas en virtud de la proposicin 3.3, el corolario 3.4 y la proposicin 3.5:
f + g = s (f, g),
f = m (, f)
/ = m (I r) (, )
3.3.
Homeomorfismos
g(y) =
y si 0 y 1
3.3. HOMEOMORFISMOS
41
42
3.3. HOMEOMORFISMOS
43
(x) =
x
=
1 xn+1
xn
x1
,...,
1 xn+1
1 xn+1
44
coordenadas de x es x =
2y
kyk2 +1
y la coordenada n + 1 es xn+1 =
es la inversa de . Ejercicio.
3.4.
kyk2 1
.
kyk2 +1
Mtricas equivalentes
kfk1 =
Zb
a
|f(x)| dx
45
d1 (f, g) =
Zb
a
kgk1 = c <
=
2
2
f : M2 N es continua f : M1 N es continua.
46
(5) Toda bola abierta segn d2 contiene una bola abierta segn d1 .
(6) La funcin d2 : M1 M1 R es continua.
Prueba:
> 0, > 0 tal que , d1 (x, a) < |d2a (x) d2a a| = d2a (x) <
que equivale a
3.5.
Definicin 30 (transformaciones, funcionales). Sean E y F espacios vectoriales reales. Una funcin T : E F se llama transformacin lineal, si para
cualesquiera x, y E y R, f(x + y) = f(x) + g(x) y f(x) = f(x).
Si f : E R es una transformacin lineal, diremos que f es un funcional
lineal.
47
kT (x)k K kxk
Entonces, para x, y E, kT (x) T (y)k = |T (x y)| K |x y|. Luego, T
es lipschitziana y por tanto continua.
Proposicin 3.8. Sean E y F espacios vectoriales normados. Las siguientes
proposiciones respecto a una transformacin lineal T : E F son equivalentes:
(1) T es continua.
1
kT (x)k < 1
K kxk
kT (x)k K kxk
(4) (1) La proposicin (4) es una condicin de Lipschitz para T , por tanto,
T es continua.
48
3.6.
1
Problemario No 3
Sean f, g : M R continuas en el punto a M. Si f(a) < g(a), demuestre que existe > 0 tal que, para x, y M,
Una versin del teorema del valor intermedio. Dada f : [a, b] R continua, con f(a) > 0 > f(b), sea c = sup{x [a, b] : f(x) > 0}. Pruebe que
f(c) = 0. Infiera de lo anterior que si f : I R es continua, e I es un
intervalo, la imagen de I mediante f, f(I), es un intervalo.
3.6. EJERCICIOS
9
49
f(x) =
d(x, F)
d(x, F) + d(x, G)
11
X = {(x, y, z) R3 : x2 + y2 = 1}
Y = S1 R
Z = R2 \ {0}
12
13
50
Captulo 4
Lenguaje topolgico
4.1.
Conjuntos abiertos
51
52
53
Prueba:
Sea M un espacio mtrico, veamos que una bola B(a; r) de
centro a M y radio r es un conjunto abierto. En efecto, dado x un elemento
arbitrario de la bola, d(a, x) < r, entonces tomamos 0 < s r d(a, x); con
este radio, B(x; s) B(a; r), ya que si y B(x; s) entonces d(x, y) < s y por
tanto, d(a, y) d(a, x) + d(x, y) < d(a, x) + s r
Ejercicio.
a
,
eny radio ba
2
tonces el intervalo (c r, c + r) es una bola de centro c contenida en (a, +),
as (a, +) es abierto. De forma similar, se prueba que (, b) es abierto.
Proposicin 4.3. Sea U la coleccin de los subconjuntos abiertos de un espacio mtrico M. Entonces:
(1) El espacio M y son abiertos: M U y U .
(2) La interseccin finita de abiertos es abierto: Si A1 , . . . , An U , entonces A1 An U .
(3) La unin de una familia arbitraria de conjuntos abiertos es abierta: Si
A U para todo en algn conjunto de ndices , entonces
[
A U .
54
Prueba:
(1) Ya esto se observ en el ejemplo 46. Para probar (2) supongamos que a A1 An , siendo A1 , . . . , An abiertos, existen r1 >
0, . . . , rn > 0 tales que B(a; r1 ) A1 , . . . , B(a; rn ) An . Sea r = mn{r1 , .., rn },
entonces B(a; r) B(a; ri ) Ai para todo i = 1, . . . , n y en consecuencia,
B(a; r) A1 An . Luego, A1 An es abierto. (3) Sea a A ,
entonces existe un tal que a A , como este conjunto es abierto existe
un radio r tal que B(a : r) A . Luego, B(a; r) A .
Prueba:
(slo si) Si A es S
abierto, para
S cada a A existe ra > 0 tal
que B(a; ra ) A entonces, A = aA {a} aA B(a; ra ) A por lo que A
es una unin de bolas abiertas.
(si) Es consecuencia directa de la parte (3) del teorema 4.3 y de la proposicin 4.1.
Ejemplo 48. Una interseccin infinita de conjuntos abiertos puede no ser
abierto. Si un punto a de un espacio mtrico no es aislado, el conjunto
unitario
{a} no es un conjunto abierto y se puede expresar mediante: {a} =
T
1
B(a;
nN
n ); en efecto, es claro que a pertenece a todas las bolas de centro
a, si b =
/ a, existe n N tal que d(a, b) < 1/n as b
/ B(a; 1/n), por lo tanto
el nico punto de la interseccin es a.
Ejemplo 49. Abiertos de un subespacio. Sea M un espacio mtrico y X M
un subespacio con la mtrica inducida por M, entonces
Los conjuntos abiertos de un subespacio mtrico X son intersecciones A X de un conjunto abierto A en M con el subespacio
X.
Ya hemos visto que las bolas de un subespacio se expresan como la interseccin de una bola en M del mismo centro y del mismo radio con el subespacio.
Por el corolario 4.4 un abierto A en X es unaSunin de bolas
S de X. Luego,
AS X es abierto (en X) si y slo Ssi, A = L BX, = L (B X) =
( L B ) X = A X, donde A = L B es abierto en M. En particular,
si X es abierto en M, los abiertos del subespacio X son los conjuntos abiertos
en M que estn contenidos en X.
Cuando X no es abierto en M entonces, evidentemente, todo abierto de M
que est contenido en X tambin es abierto en X, pero existen subconjuntos
A X que son abiertos en X pero no en M (el mismo X sera un ejemplo de
ello). Por ejemplo, para 0 < r < b a, el intervalo [a, a + r) es un conjunto
abierto del subespacio [a, b] de R, pero no es abierto en R.
Ejemplo 50. El conjunto de las funciones acotadas y discontinuas en abierto
en B(M; N).
Recordemos el ejemplo 21 (captulo 2, pgina 29). Probaremos primero que
dado a M, el conjunto Da , de todas las funciones acotadas f : M N
55
luego, d(g(x ), g(a)) > . Resumiendo: existe un > 0 tal que para cualquier
> 0, existe x M tal que d(x , a) < pero, d(g(x ), g(a)) . As,
g Da .
Si denotamos por D el conjunto de todas
S las funciones acotadas y discontinuas f : M N, tenemos que D = aM Da . En consecuencia, D es
abierto en B(M; N).
Definicin 35 (entorno o vecindad). Un conjunto V se dice que es un entorno
o vecindad de un punto p si p int(V).
A partir de esta definicin podemos decir que V es una vecindad de a si, y
slo si, V contiene un abierto que a su vez contiene a a. Si V es una vecindad
de a y W V , entonces W es tambin una vecindad de a. La interseccin
finita de vecindades de A es tambin una vecindad de A.
4.2.
Prueba:
(necesidad) Supongamos que f es continua, tomemos A
N abierto y probemos que f1 (A ) es abierto en M. De hecho, para cada
a f1 (A ), tenemos que f(a) A . Por la definicin de conjunto abierto,
existe > 0 tal que B(f(a); ) A . Siendo f continua en a, a este > 0
le corresponde un > 0 tal que f(B(a; )) B(f(a); ) A . Por tanto,
B(a; ) f1 (A ). Luego, f1 (A ) es abierto.
(suficiencia) Supongamos ahora que la imagen inversa mediante f de cada
conjunto abierto de N es un abierto en M. Dado a M mostremos que f es
56
57
y as, A =
4.3.
aA
aA
Espacios topolgicos
58
(2)
S Para cualquier subcoleccin {U }L de
L U pertenece a .
la
Definicin 38 (espacio topolgico). Un espacio topolgico es un par ordenado (X, ) donde X es un conjunto y una topologa sobre X. Un subconjunto
de X ser llamado conjunto abierto si, y slo si, pertenece a .
Ejemplo 53. Sea X el conjunto de tres elementos {a, b, c}. En X se pueden definir varias topologas; entre otras podemos citar: la coleccin que consta slo
de y el mismo X esta es la topologa ms simple que se puede definir sobre
un conjunto y es llamada topologa trivial . Otra coleccin que satisface las
propiedades de una topologa es la coleccin de todos los subconjuntos de X
o partes de X, P(X), a sta topologa se le conoce como topologa discreta.
Ejemplo 54. Sea X un conjunto, consideremos la coleccin f de todos
los subconjuntos U de X tales que su complemento X \ U es finito o es
todo X. Entonces f es una topologa sobre X llamada topologa de los
complementos finitos X \ X es finito y X \ es todo X, esto muestra que
tanto X como pertenecen a f . Si {U } es una familia en f , entonces
X\
U =
(X \ U ).
X\
n
\
i=1
Ui =
n
[
(X \ Ui )
i=1
59
Ejemplo 55. Sea X un conjunto y sea N la coleccin de todos los subconjuntos U de X tales que X \ U es numerable o todo X. Por argumentos
similares a los utilizados en el ejemplo 54 anterior, se prueba que N es una
topologa sobre X.
Definicin 39 (interior y vecindades). Sea X un espacio topolgico con topologa y S un subconjunto de X. Se define el interior
S de S como la unin
de todos los abiertos de X contenidos en S, int(S) = {U : U S}. Un
conjunto V es una vecindad de p si p int(V).
Definicin 40 (topologa ms fina). Sean y dos topologas sobre un
conjunto X. Se dice que es ms fina que si ( es mas grande que
). Al mismo tiempo, se dice que es mas gruesa que .
Si la inclusin es propia diremos que es estrictamente ms fina que
.
4.4.
En general, resulta difcil describir a toda la coleccin de abiertos y consecuentemente, es ms sencillo trabajar con una coleccin ms pequea que
genere a toda la topologa.
Definicin 41 (base de una topologa). Si X es un conjunto, una base para
una topologa sobre X es una coleccin B de subconjuntos de X (llamados
elementos bsicos) tales que:
(1) Para cada x X, existe un elemento bsico B B tal que x B .
(2) Si B1 , B2 B y x pertenece a B1 B2 , entonces existe B3 B tal que
x B3 B1 B2 .
Definicin 42 (topologa generada). Si B es una coleccin de subconjuntos
de X que satisface las condiciones de base, se define la topologa B generada
por B de la siguiente forma: un conjunto U se dice abierto en X (esto es un
elemento de B ), si para cada x U, existe un elemento bsico B B tal que
x B U.
Ntese que B B .
Es inmediato que y X son elementos
S de B . Consideremos una familia
{U }J de elementos de B . Para x U , existe 0 J tal Sque x U0 .
Como
U0 es abierto, existe B B tal que x B U0 U . Luego,
S
U B .
Sean U1 , U2 B , veamos que U1 U2 B . Si x U1 U2 , existen
B1 , B2 B tales que x B1 U1 y x B2 U2 , entonces existe B3 en
B tal que x B3 B1 B2 U1 U2 , as U1 U2 B . Por el proceso
de induccin matemtica se obtiene que si U1 , U2 , . . . , Un B , entonces
U1 Un B .
60
Lema 4.10. Sea X un conjunto y B una base para una topologa sobre X.
Entonces es la coleccin de todas las uniones de elementos de B .
Prueba:
Dado que B , toda unin de elementos de B , pertenece
a . Recprocamente, si A , para cada a A, existe Ba B tal que
a Ba A, luego
[
[
A=
{a}
Ba A
aA
aA
respecti-
es ms fina que , ( ).
61
B 1 = S1 Sn
B2 = S1 Sm ;
B1 B2 = S1 Sn S1 Sm .
luego, BS es una base y
4.5.
es una topologa.
Topologa producto en X Y
D = {B C : B B y C C }
es una base para la topologa de X Y .
Prueba:
Tomemos un conjunto abierto W en XY y un punto arbitrario
(x, y) de W , entonces existe un elemento bsico, U V , de la topologa
producto tal que (x, y) U V W , donde U es abierto en X y V abierto
en Y . Como B es base sobre X y C es base sobre Y , existen B B y C C
tales que x B U y y C V . De esta forma, (x, y) B C U V W .
Por el lema 4.11, se concluye que D es una base para la topologa producto
en X Y .
62
1
1
S = {
1 (U) : U es abierto en X} {2 (V) : V es abierto en Y}
4.6.
S .
Topologa de subespacio
. Si Y es un subconjunto de X, la coleccin
Y = {U Y : U }
es una topologa sobre Y , llamada topologa de subespacio topologa relativa, con esta topologa se dice que Y es un subespacio de X.
La coleccin Y es, efectivamente, una topologa para Y ya que = Y
y Y = X Y ; adems
63
BY = {B Y : B B}
es una base para la topologa de subespacio sobre Y .
Prueba:
Un abierto en Y es de la forma U Y donde U es abierto en
X, para y U Y existe B B tal que y B U, luego y B Y U Y ;
por el lema 4.11, BY es una base para la topologa de subespacio sobre Y .
4.7.
Conjuntos cerrados
En esta seccin se discute el concepto de conjunto cerrado tanto en espacios topolgicos como en espacios mtricos.
Definicin 46 (punto adherente). Un punto p de un espacio mtrico M se
dice que es adherente al subconjunto A si d(p, A) = 0.
Si p es adherente a A, significa que existen puntos de A arbitrariamente
cerca de p; equivalentemente, dado > 0, existe a A tal que d(a, p) < ,
o bien, toda bola de centro p intersecta a A y por ende, todo abierto que
contenga a p intersecta a A.
Es claro que todo punto de un conjunto A est a distancia cero de A,
tambin por definicin, todo punto de la frontera de A es punto adherente de
A.
Definicin 47 (clausura). La clausura o adherencia de un conjunto A de un
espacio mtrico M, es el conjunto A formado por todos los puntos adherentes
de A.
Se tiene que = , M = M y A A para todo conjunto A de M. As
mismo, A B A B.
Para que un punto x0 en un espacio mtrico M, no sea un punto adherente
de un conjunto A, es necesario y suficiente que exista una bola abierta de
centro x0 que no intersecte a A, es decir, que x0 int(M \ A),recordando que
M = int(A) (A) int(M \ A), se concluye que
A = int(A) (A).
Definicin 48 (conjunto cerrado). Sea X un espacio mtrico o topolgico, un
conjunto C de X se dice cerrado si su complemento es abierto,
Ejemplo 56. Consideremos el espacio M = (, 0) (0, +) con la mtrica
inducida por R, entonces el conjunto A = (0, +) es abierto en M ya que
es la interseccin del intervalo abierto (0, +) con M; pero tambin es cerrado porque su complemento (en M) es el conjunto (, 0) que tambin es
abierto en M. Esto nos muestra que el concepto de conjunto cerrado, no es
la negacin de ser abierto.
64
Definicin 49 (clausura en un espacio topolgico). Sea X un espacio topolgico y C X un subconjunto, se define la clausura, C, de C como la interseccin
de todos los conjuntos cerrados de X que contienen a C.
La siguiente proposicin expone las propiedades de los conjuntos cerrados
semejantes a las propiedades de los conjuntos abiertos.
Proposicin 4.16 (Propiedades de los conjuntos cerrados). Sea X un espacio
topolgico (o mtrico), entonces:
(1) y X son conjuntos cerrados.
(2) Si C1 , . . . , Cn son cerrados, entonces
Sn
i=1
Ci es cerrado.
(3)
T Si {C } es una familia de conjuntos cerrados, entonces la interseccin
C es cerrado.
Prueba:
(1) Dado que tanto X como son abiertos, sus complementos
son cerrados.
(2) Sean C1 , . . . , Cn conjuntos cerrados en X, entonces sus complementos
X \ C1 , . . . , X \ Cn son conjuntos abiertos, luego
!
n
n
[
\
X\
Ci = (X \ Ci ) es abierto en X.
i=1
i=1
65
A = A.
Prueba:
p A d(p, A) = d(p, A) = 0 p A.
/ C, no es punto adherente a C;
C = C todo punto p
p X \ C, r > 0 tal que B(p; r) C = ;
p X \ C, r > 0 tal que B(p; r) X \ C
X \ C, es abierto.
C es cerrado.
66
X \ f1 (C ) = f1 (Y \ C )
es abierto en X
luego, f1 (C ) es cerrado.
Recprocamente, sea f : X Y una funcin que satisface la hiptesis, si
A Y es abierto, Y \ A es cerrado y por tanto,
X \ f1 (A ) = f1 (Y \ A )
es cerrado en X
Definicin 51 (espacio de Hausdorff). Un espacio topolgico X se dice que es
un espacio de Hausdorff si para cada par de puntos x1 , x2 del espacio, existen
abiertos U1 que contiene a x1 y U2 que contiene a x2 , tales que U1 U2 = .
En vista de la proposicin 2.2, todo espacio mtrico es un espacio de
Hausdorff.
Teorema 4.22. Sea X un espacio de Hausdorff, entonces todo subconjunto
finito es cerrado.
Prueba:
Es suficiente probar que todo conjunto unitario es cerrado. Sea
x0 X y x un punto de X distinto de x0 . Como X es un espacio de Hausdorff,
existen abiertos y disjuntos U0 y U tales que x0 U0 y x U. Entonces el
complemento X \ U es un conjunto cerrado que contiene a {x0 } y no contiene
a x; de esta forma, x no pertenece a la interseccin de todos los conjuntos
cerrados que contienen a {x0 }, es decir, x no pertenece a la clausura de {x0 }.
En otras palabras, ningn punto distinto de x0 pertenece a su clausura por lo
que {x0 } = {x0 } y por la proposicin 4.19, el conjunto unitario {x0 } es cerrado.
67
e = A S.
A
Prueba:
Si X es un espacio mtrico,
e = {p S : d(p, A) = 0} = {p X : d(p, A) = 0} S = A S.
A
Si X es un espacio topolgico,
e=
A
AC
C cerrado en S
C=
AF
(F S) =
F cerrado en X
AF
F cerrado en X
F S = A S
A = ac(A) A
68
Prueba:
Por definicin, si p est en ac(A), toda vecindad de p intersecta a A por tanto, p A; como siempre A A, se sigue que A ac(a) A.
Recprocamente, si p A, tenemos dos casos: p A p
/ A, en el
primer caso, obviamente p A ac(A); en el segundo caso, como p est en la
clausura de A, toda vecindad de p intersecta a A, como p
/ A, dicho entorno
intersecta a A en algn punto distinto de p, por tanto, p ac(A) ac(A) A.
4.8. EJERCICIOS
4.8.
69
Problemario No 4
Si un conjunto y su complemento tienen interior vaco, entonces la frontera de cada uno es todo el espacio.
Sea
S {X }L una familia de subconjuntos del espacio M que satisfacen
L int X = M. Si f : M N es tal que f/X es continua para cada
L, entonces f es continua.
10
70
11
12
13
14
Una funcin real f : M R se dice que es semicontinua inferiormente en un punto a M cuando, para cada > 0, existe > 0 tal que
d(x, a) < f(a) < f(x). Enuncie una definicin anloga para la
semicontinuidad superior. Pruebe que si f y g son funciones semicontinuas inferiormente en el punto a, entonces tambin lo es f + g y c f si
c > 0, si c < 0 c f es semicontinua superiormente. Pruebe que f : M R
es semicontinua inferiormente (en todo punto del dominio) si, y slo si,
para todo b R, el conjunto f1 ((b, +)) es abierto en M. Concluya
que un subconjunto A M es abierto si, y solamente si, su funcin
caracterstica A es semicontinua inferiormente.
15
16
Es la coleccin
Si { } una familia de
S topologas sobre X, pruebe que
topologa sobre X. Es una topologa sobre X?
es una
18
19
4.8. EJERCICIOS
71
20
21
Sea C una coleccin de subconjunto de X. Supongamos que y X pertenecen a C y que las uniones finitas y las intersecciones arbitrarias de
elementos de C pertenecen a C . pruebe que la coleccin
= {X \ C : C C }
es una topologa sobre X.
22
(b) A B A B.
S
S
A A .
(c)
T
T
(d)
A A .
23
24
25
26
72
Captulo 5
Conjuntos conexos
5.1.
definicin y ejemplos
74
Prueba:
(1)(2) Sea A X un subconjunto abierto y cerrado, entonces
X = A (X \ A) es una separacin de X, como X es conexo, A = X A = .
(2)(3) Sea A X tal que (A) = , entonces
5.2.
75
Prueba:
Sea f : X Y una funcin continua. Primero supongamos
que f es sobreyectiva, y que X es conexo, se quiere probar que f(X) = Y
es conexo. Si Y = A B es una separacin, entonces f1 (A) y f1 (B) son
abiertos y disjuntos por lo que X = f1 (A) f1 (B) es una separacin, como
X es conexo, f1 (A) o f1 (B) es vaco y siendo f sobreyectiva, esto implica
que A = o B = . En el caso general, dada f : X Y continua y C X
conexo, la restriccin f^ = f/C : C f(C) es continua y sobreyectiva, por lo
^
que f(C) = f(C)
es conexo.
El siguiente corolario nos muestra la conexidad como un invariante topolgico, es decir, una propiedad que se preserva por homeomorfismos.
Corolario 5.3. Si X es conexo y Y es homeomorfo a X, entonces Y tambin es
conexo.
En virtud de este corolario, se puede afirmar que no pueden existir dos
espacios homeomorfos tales que uno sea conexo y el otro no.
Ejemplo 62 (Todo intervalo abierto es conexo). En R, la bola abierta B =
x
, como la
B(0; 1) es el intervalo abierto (1, 1). Sea f definida por: f(x) = 1+|x|
funcin valor absoluto es continua (es la norma en R) y 1 + |x| no se anula
|x|
para todo x R, concluimos que f es continua. Adems, |f(x)| = 1+|x|
< 1 por
y
tanto, f : R B es continua. Definamos ahora g : B R por g(y) = 1|y|
.
Como |y| < 1 para todo y B, concluimos que g es continua. Fcilmente
se verifica que f(g(y)) = y para todo y B y que g(f(x)) = x para todo
x R. Luego, g = f1 y f es un homeomorfismo. En consecuencia, como R
es conexo, tambin el intervalo (1, 1) es conexo.
Como se vio en el ejemplo 38 en el captulo 3, en un espacio vectorial
normado dos bolas abiertas arbitrarias son homeomorfas, R es, en particular,
un espacio vectorial normado y cualquier intervalo abierto acotado (a, b) es
y radio ba
. Luego, todo intervalo abierto
una bola abierta de centro a+b
2
2
acotado en R es conexo.
Tambin un intervalo abierto no acotado es homeomorfo a R. En efecto,
para el intervalo (a, +) tenemos la funcin f : R (a, +) definida por
f(x) = a + ex es continua y tiene inversa f1 : (a, +) R definida por
f1 (y) = ln(y a) tambin continua. Finalmente un intervalo abierto no acotado de la forma (, b) es homeomorfo a el intervalo (b, +) mediante
el homeomorfismo t 7 t.
Luego, todo intervalo abierto en R es conexo por ser homeomorfo a R.
Ejemplo 63. La circunferencia unitaria S1 = {(x, y) R2 : x2 + y2 = 1} es un
conjunto conexo de R2 ya que es la imagen de la funcin continua f : R S1
f(t) = (cos(t), sen(t)).
Proposicin 5.4. La clausura de un conjunto conexo es conexo.
76
Prueba:
Probaremos primero el caso cuando un conjunto conexo C X
sea denso en el espacio X. Sea X = A B una separacin de X, entonces
C = (A C) (B C) es una separacin para C; siendo C conexo, (A C) =
o (B C) = , como C es denso esto implica que A = o B = , por lo que
la nica separacin posible para X es la trivial, y por lo tanto, C es conexo.
Para un conjunto conexo arbitrario C tenemos que C es denso en C, as C es
conexo.
Corolario 5.5. Si X Y X y X es conexo, entonces Y es conexo.
e = X Y = Y . Luego, X es denso
Prueba:
La clausura de X en Y es X
en Y y por tanto, Y es conexo.
Del corolario anterior se deduce que todo intervalo en R cerrado acotado
o no es conexo y todos los intervalos de la forma [a, b) (a, b] tambin son
conexos. En resumen, todo intervalo en R es conexo.
Ejemplo 64. Sea f : M N una funcin continua, entonces la funcin,
G = (I, f) : M Gr(f) dada por G(x) = (I(x), f(x)) = (x, f(x)), es continua
y su inversa es la restriccin de la proyeccin 1 : M N M al grfico
de f, Gr(f), la cual es tambin continua. As, el dominio de una funcin
continua es homeomorfo a su grfico. Por lo tanto, si el dominio de una
funcin continua es conexo, el grfico tambin es conexo.
77
Prueba:
Sea C = A B una separacin de C. El punto p pertenece a
alguno de los dos conjunto A B. Asumamos que p A. Para cada L, los
conjuntos A C y B C son abiertos en C . Luego, C = (A C ) (B C )
es una separacin de C . El elemento p pertenece a cada C por tanto, para
todo L, p A C , como C es conexo,
esto implica que para todo
S
L, B C = . En consecuencia, B = (B C ) = , es decir, la nica
separacin posible para C es la trivial. Luego, C es conexo.
Corolario 5.7. Para que un espacio X sea conexo es necesario y suficiente que
cualquier par de puntos a, b en X estn contenidos en algn conjunto conexo
Cab en X.
Prueba:
Si X es conexo basta tomar Cab = X para cada
par. RecproS
camente, si se cumple la condicin, se puede escribir X = bX Cab . Ya que
para todo b X, a Cab , por proposicin 5.6, X es conexo.
Ejemplo 65. Todo espacio vectorial normado E es conexo ya que para a, b
en E, el conjunto Lab = {(1 t) a + t b : t R} contiene a a y b y es
homeomorfo a R (mediante t 7 a + t (b a)) por lo tanto, es conexo.
Parafraseando el ejemplo 62, la funcin f : E B(0; 1) definida por
y
x
es un homeomorfismo con inversa f1 (y) = 1kyk
. Luego, la
f(x) = 1+kxk
bola abierta B(0; 1) es conexa. Como dos bolas abiertas cualesquiera son homeomorfas (ejemplo 38), concluimos que toda bola abierta en un espacio
vectorial normado es conexa. As mismo, toda bola cerrada es conexa al ser
la clausura de una bola abierta.
Proposicin 5.8. El producto cartesiano X = C1 C2 Cn es conexo si,
y slo si, cada factor Ci es conexo.
Prueba:
(Slo si) Cada proyeccin i : X Ci es continua y sobreyectiva, por lo tanto, si X es conexo, entonces Ci es conexo.
78
5.3.
Prueba:
La prueba resulta muy sencilla con la teora desarrollada,
compare con el problema 6 del problemario No 3.
La funcin f es continua y el intervalo [a, b] es conexo (proposicin 5.10),
entonces, la imagen o rango de f, f([a, b]), es un conexo en R y por tanto
es un intervalo por la misma proposicin 5.10; As, el valor intermedio K
pertenece al rango de f, por lo tanto existe c [a, b] tal que f(c) = K. Siendo
K = f(c) distinto de f(a) y f(b) tiene que ser c (a, b).
Ejemplo 66. Todo polinomio con coeficientes reales y grado impar, posee al
menos una raz real. Sea p(x) = xn + an1 xn1 + + a1 x + a0 con n impar.
El polinomio p es una funcin p : R R, que es continua como se vio en el
ejemplo 28 del captulo 3.
Para x 6= 0 se puede escribir:
h
a
a1
a0 i
n1
(5.1)
+ + n1 + n
p(x) = xn 1 +
x
x
x
Sea k = 1 + |an1 | + + |a0 |. Si se toma |x| > k (en particular, |x| > 1), se
obtiene:
a
a0 |an1 | + + |a1 | + |a0 |
a1
n1
+ + n1 + n
<1
x
x
x
|x|
79
Prueba:
Supongamos que f es no decreciente. Sea p un punto cualquiera de X el dominio de f y veamos que f es continua en p. Sea > 0
y suponemos primero que f(p) es un punto interior de J, as para algn
0 < r < , (f(p) r, f(p) + r) est contenido en J. Por la densidad de f(X),
existen y1 = f(x1 ) y y2 = f(x2 ) en el rango de f, tales que
(5.2)
x1 < p < x2
y1 f(x) y2
f(p) f(x) f(p) +
(monotona de f)
(por (5.2))
Luego, f es continua en p.
Si f(p) es el extremo superior de J. Como f es no decreciente y f(X) J,
se sigue que p < x f(x) = f(p). Dado > 0, existe y1 = f(x1 ) en f(X) tal
que f(p) < y1 < f(a). Tenemos que x1 < a porque f es no decreciente.
Ahora, tomando = p x1 , vemos que para x X,
80
Ejercicio.
Ejemplo 67. En relacin a la proposicin 5.14 tenemos los siguientes ejemplos donde alguna de las condiciones falla.
x
Sea f : R R, definida por f(x) = x + |x|
si x 6= 0 y f(0) = 0. Esta funcin
est definida en un intervalo, es montona pero es discontinua y su imagen
no es un intervalo.
Por otra parte, pueden existir biyecciones entre intervalos que no son
continuas como la siguiente g : [0, 3] [0, 3] definida por:
1 x si 0 x 1
x si 1 < x < 2
g(x) =
5 x si 2 x 3
Esto sucede porque g no es montona.
81
5.4.
La definicin de espacio conexo como aqul que admite slo una separacin trivial es la expresin matemtica de la idea de un conjunto formado
por una sola pieza. Otra forma de expresar la conexidad es decir que se puede
pasar de un punto a otro en un movimiento continuo sin salir del espacio.
Esto nos lleva a la nocin de espacio conexo por caminos.
Definicin 57 (camino). Un camino en un espacio mtrico M es una funcin
continua f : [0, 1] M. Los puntos a = f(0) y b = f(1), pertenecientes a M,
82
83
84
5.5.
Componentes conexas
Las componentes conexas en un espacio son los pedazos que lo componen, es decir, son los subconjuntos conexos maximales del mismo.
Definicin 61 (componenete conexa). Sea X un espacio y x un punto de X.
La componente conexa de x en X es la unin Cx de todos los subconjuntos
conexos de M que contienen a x.
Todo punto x pertenece a al menos un conjunto conexo, a saber: {x}. As,
Cx es no vaca y como la unin de conexos con un punto en comn es conexo
(proposicin 5.6), cada componente conexa es un conjunto conexo.
Por definicin, la componente conexa de x, Cx es el conexo ms grande
que contiene a x.
Las componentes conexas en un espacio son las clases de equivalencia de
la siguiente relacin en X:
5.6. EJERCICIOS
5.6.
1
85
Problemario No 5
. Qu se puede decir de la
Sea f : M R una funcin continua. Si c R es un nmero estrictamente comprendido entre el mximo y el mnimo de f en M, entonces
M \ f1 ({c}) es disconexo.
10
11
12
86
falso.
13
Verdadero o falso?
(a) El interior de un conjunto conexo es tambin conexo.
(b) La frontera de un conjunto conexo es conexo.
(c) Sea f : M N continua y sobreyectiva. Si M tiene m componentes
conexas y N tiene n entonces m n.
Captulo 6
Sucesiones en espacios
mtricos
6.1.
Lmites de sucesiones
88
89
Ejemplo 79. Existen mltiplos de 3 arbitrariamente grandes, ya que el conjunto 3N = {3, 6, 9, . . . , 3n, . . . } es infinito. As mismo, existen nmeros primos arbitrariamente grandes.
Consideremos el conjunto A de los nmeros naturales n tales que n2
14n + 40 > 0. Entonces A = {1, 2, 3, 11, 12, 13, . . . }. Aqu vemos que n 11
n A. Luego, A contiene todos los nmeros naturales suficientemente grandes. Observe que N \ A = {4, 5, 6, 7, 8, 9, 10}.
Dada una sucesin (xn ) en un espacio mtrico M, decir que lm xn = a
M, significa que para toda bola abierta B de centro a, xn pertenece a B para
todo ndice n suficientemente grande.
Ejemplo 80. lm(1/n) = 0 en efecto, dado > 0, por la propiedad arquimediana, existe n0 N tal que n0 > 1, entonces
1
1
1
< 0 < .
n n0 0 <
n
n0
n
Prueba:
Sea (xn ) una sucesin en un espacio mtrico M tal que
lm xn = a. Tomando = 1, obtenemos un n0 N tal que n n0 xn
B(a; 1). Por lo tanto, el conjunto de valores de la sucesin est contenido en
la unin de los siguientes conjuntos acotados {x1 , . . . , xn0 1 } B(a; 1), luego
la sucesin es acotada.
Ejemplo 81. El recproco de la proposicin anterior no es cierto, la sucesin
xn = (1)n es acotada mas no es convergente.
Por otra parte, dado a R con |a| > 1, podemos afirmar que la sucesin
xn = an no es convergente ya que no es acotada. (Ver ejemplo 76)
Proposicin 6.2 (Unicidad del lmite). Si una sucesin converge, el lmite es
nico.
Prueba:
Sea (xn ) una sucesin en un espacio mtrico M, y sean a, b
M dos lmites de la sucesin: lm xn = a y lm xn = b. Dado > 0 arbitrario,
90
Prueba:
En efecto, por reduccin al absurdo tendramos que xn = b
para ndices n arbitrariamente grandes, de aqu obtenemos una subsucesin
constante con trminos iguales a b, es decir que converge a b 6= lm xn = a
lo cual es absurdo por la proposicin 6.3.
91
Prueba:
Ya que todo punto de P de la forma 1/n es aislado, f es
continua en dichos puntos; luego, f es continua si, y slo si, es continua
en 0, condicin que se expresa as: para todo > 0, existe > 0 tal que
1/n = |1/n 0| < d(xn , a) = d(f(1/n), f(0)) < . Si se cumple esta
condicin, dado el > 0, tomamos n0 > 1/ y vemos que
n n0
1
1
Luego, lm xn = a.
Recprocamente, si lm xn = a, entonces para todo > 0 existe n0 N tal
que n n0 d(xn , a) < . Tomando = 1/n0 , vemos que
1
0 = 1 < n > 1 = n0 d(xn , a) < .
n
n
Proposicin 6.8. Una sucesin de puntos zn = (xn , yn ), en el producto cartesiano de espacios mtricos M N, converge a un punto c = (a, b) M N
si, y slo si, lm xn = a en M y lm yn = b en N.
Prueba:
En virtud de la proposicin 3.3 del captulo 3, adems del
lema anterior, las siguientes proposiciones son equivalentes:
lm zn = c la funcin f : P M N, definida por f(1/n) = zn
y f(0) = c, es continua;
lm xn = a y lm yn = b.
Prueba:
Sean f, g : P E definidas por f(1/n) = xn , f(0) = a; g(1/n) =
yn , g(0) = b. Entonces, (f + g)(1/n) = xn + yn y (f + g)(0) = a + b. Por el
lema 6.7 y la hiptesis xn a, yn b se asegura que f y g son continuas,
as por la proposicin 3.5 del captulo 3, f + g es continua y tenemos que
lm(xn + yn ) = a + b.
La otra parte se prueba de forma similar, con la salvedad que por el
corolario 6.5, como 6= 0, existe n0 N tal que n n0 n 6= 0. Al
considerar la sucesin 1/n tomamos todos los ndices n n0 , lo que no
altera el lmite por el corolario 6.4. En este contexto, siendo continua la
funcin h : P R, h(1/n) = n y h(0) = , tambin es continua 1/h y de
esta forma, lm(1/n ) = 1/.
92
6.2.
Dado > 0, por propiedades del supremo, existe n0 N tal que a <
xn0 a. Entonces, por ser la sucesin no decreciente, n n0 a <
xn0 xn a < a + a < xn < a + . As, lm xn = a.
Prueba:
Si la sucesin es convergente, ella misma es una subsucesin
acotada. Recprocamente, por el teorema anterior, basta probar que una sucesin montona es acotada si posee una subsucesin acotada. Supongamos
que (xn ) es no decreciente y que (xnk ) es acotada, as existe c > 0 tal que
xnk c para todo k N. Dado cualquier n N, existe k N tal que n nk ,
entonces xn xnk c. Luego, x1 xn c para todo n N, lo que implica
que (xn ) es acotada.
Ejemplo 82. Sea a R con |a| < 1, entonces lm an = 0.
n
6.3.
93
Sk = a1 + a2 + + ak =
k
X
an
n=1
S = lm Sk = lm
k
k
X
n=1
an =
n=1
an = a1 + a2 + a3 + + an +
+
2n1 + 1
2n1 + 2n1
1
2 4
2n1
1
+ + + + n = 1 + n .
2 4 8
2
2
De esta forma, (Sn ) no es acotada y por tanto no es convergente, lo que
prueba que la serie armnica diverge. Si bien Sn , su crecimiento es muy
lento como lo podemos evidenciar en la siguiente tabla:
Pn
n Sn = k=1 n1
10 2.928968253968254
100 5.187377517639621
1.000 7.485470860550343
1.000.000 14.39272672286478
100.000.000 18.9978964138477
>1+
94
6.4.
Convergencia y topologa
Prueba:
Sea f continua en a. Si (xn ) es una sucesin que converge
a a, por la continuidad, tenemos que dado > 0, existe > 0 tal que si
d(x, a) < entonces d(f(x), f(a)) < ; para este existe n0 N tal que
n n0 d(xn , a) < d(f(xn ), f(a)) < . Luego, f(xn ) f(a).
Para el recproco supongamos, por reduccin al absurdo, que f no sea
continua en el punto a. Entonces, existe un > 0 tal que para todo n N
existe xn M con d(xn , a) < 1/n pero d(f(xn ), f(a)) . Esto define una
sucesin en M que converge al punto a pero la sucesin de imgenes, (f(xn )),
no converge al punto f(a), lo cual contradice la hiptesis.
95
xn a A xn A
Prueba:
Si A es abierto y xn a A entonces existe una bola
abierta B(a; ) A y en consecuencia, existe n0 N tal que n n0
xn B(a; ) A. Recprocamente, suponiendo cumplida la condicin, para
cualquier sucesin (xn ) en M \ A con lm xn = b, b no puede pertenecer a
A, por tanto, b M \ A esto nos dice, va el corolario 6.17, que el conjunto
M \ A es cerrado y de esta forma, A es abierto.
Caracterizacin de puntos de acumulacin:
Proposicin 6.19. Para que un punto p sea punto de acumulacin de un
subconjunto S en un espacio mtrico M, es necesario y suficiente que p sea
lmite de una sucesin de puntos distintos xn S.
Prueba:
Es evidente que la condicin es suficiente ya que toda bola de
centro en p contiene puntos de S distintos de p, as p ac(S). Supongamos
ahora que p ac(S), para cada n N la bola abierta B(p; 1/n) contiene
una infinidad de puntos de S, entonces para cada n se puede escoger xn
B(p; 1/n) tal que xn S y que xn no pertenezca a {x1 , . . . , xn1 }, as todos los
trminos de la sucesin son distintos y xn p.
96
6.5.
Sucesiones de funciones
|x|
x
|x|
< .
n n0 0 =
n
n
n0
97
para todo x X, entonces, dado > 0, basta tomar n0 > c/. As, n n0
|x/n 0| c/n < para cualquier x X.
Por otro lado, la misma sucesin no converge uniformemente en R. En
efecto, si tomamos = 1, por ejemplo, dado n0 N cualquiera al tomar
n > n0 y x > n se tiene que |x/n 0| = x/n > 1 = ; esto muestra que la
convergencia x/n 0 no es uniforme en R.
Para ver este hecho geomtricamente, trazamos el grfico de algunos trminos de la sucesin fn (x) = x/n se trata de rectas que pasan por el origen
con pendientes 1/n. Afirmar que fn 0 uniformemente en R significa que
a partir de un n suficientemente grande, el grfico de fn est contenido totalmente en la banda R (, ). Pero por grande que sea n ninguna recta
y = x/n est contenida en dicha banda. Pero si fijamos un conjunto acotado
X R para n suficientemente grande, la parte de la recta sobre el conjunto
X (es decir, el grfico de x/n restringido a X) est contenida totalmente en la
banda. (ver la figura 6.1).
98
Mas esta convergencia no es uniforme en [0, 1] (ni siquiera en el intervalo [0, 1)) pues tomando > 0 tal que 0 < < 1, por grande que sea
n existen puntos
x en [0, 1) tales que |fn (x) f(x)| = xn . Basta to
n
mar x tal que
< x < 1. Por otro lado, en todo intervalo de la forma
[0, 1 ], con 0 < < 1, tenemos que lm xn = 0 uniformemente. En efecto, dado > 0, como lm(1 )n = 0, se sigue que existe n0 N tal que
n n0 (1 )n < . Por tanto, para todo x [0, 1 ], y todo n n0 ,
tenemos que |fn (x) f(x)| = xn (1 )n < .
A continuacin se mostrar que la convergencia uniforme puede ser interpretada como la convergencia de puntos en un espacio mtrico adecuado.
Considerar funciones como puntos de un espacio mtrico, en el cual la
distancia fue definida de tal forma de dar lugar a un cierto tipo de convergencia, es una de las tcnicas usuales en el Anlisis Funcional.
En la siguiente proposicin X es un conjunto M un espacio mtrico y
fn : X M es una sucesin de funciones. Para f : X M el conjunto
Bf (X; M) = g : X M/ sup d(g(x), f(x)) <
xX
es un espacio mtrico con la mtrica del supremo, ver ejemplo 21 pgina 29.
Prueba:
Si fn f uniformemente en X se tiene que dado > 0
existe n0 N tal que n n0 (x X)d(fn (x), f(x)) < por lo tanto,
n n0 d(fn , f) = sup d(fn (x), f(x)) ; as que fn Bf (X; M) y fn f
xX
n n0 d(fn , f) <
luego, fn f uniformemente en X.
xX
Proposicin 6.21. Sean M y N espacios mtricos. Si una sucesin de funciones fn : M N, continuas en el punto a M, converge uniformemente en M
a una funcin f : M N entonces, f es continua en a.
Prueba:
Probemos que f es continua en a. Dado > 0 existe un n N
tal que para todo x M, d(fn (x), f(x)) < /3, para este n (fijo) sabemos que
99
< + + =
3 3 3
Corolario 6.22. El lmite uniforme de una sucesin de funciones continuas
fn : M N es una funcin continua f : M N.
100
6.6.
Problemario No 6
Pruebe que toda sucesin convergente posee un nico valor de adherencia. Qu se puede decir del recproco?
10
Pruebe que la sucesin de funciones fn (x) = 1/(1 + nx) converge puntualmente pero no converge uniformemente en el intervalo [0, 1]. Igual para
la sucesin fn (x) = nx(1 x)n .
Captulo 7
Espacios mtricos
completos
7.1.
Sucesiones de Cauchy
Definicin 70 (sucesin de Cauchy). Una sucesin (xn ), en un espacio mtrico M, se dice que es una sucesin de Cauchy1 , si para todo > 0 existe
un n0 N tal que n, m n0 d(xn , xm ) < .
+ = .
2 2
Ejemplo 89. No toda sucesin de Cauchy es convergente. Para ver esto, tomemos una sucesin de nmeros racionales xn convergiendo a un nmero
1 Augustin Louis Cauchy (1789-1857) fue un matemtico francs. Cauchy fue pionero en el
anlisis matemtico y la teora de grupos de permutaciones, contribuyendo de manera medular a su desarrollo. Tambin investig la convergencia y la divergencia de las series infinitas,
ecuaciones diferenciales, determinantes, probabilidad y fsica matemtica.
101
102
irracionala (por ejemplo, x1 = 1, x2 = 1, 4, x3 = 1, 41, x4 = 1, 414, . . . , convergiendo a 2). Siendo convergente en R, es de Cauchy en el espacio Q por la
proposicin 7.1. Pero evidentemente, esta sucesin no converge en Q.
Proposicin 7.2. Toda sucesin de Cauchy es acotada.
Prueba:
Sea (xn ) una sucesin de Cauchy en el espacio mtrico M.
Dado = 1, existe n0 N tal que n, m n0 d(xn , xm ) < 1. Luego, el
conjunto {xn0 , xn0 +1 , . . . } es acotado pues tiene dimetro menor que 1, por
tanto, el conjunto:
Ejemplo 90. Que una sucesin sea acotada es una condicin necesaria pero
no suficiente para que sea de Cauchy. Un ejemplo sencillo es la sucesin
(1, 0, 1, 0, 1, . . . ) en R, es acotada
Pn pero d(xn , xn+1 ) = 1 para todo n N. Por
otro lado, la sucesin: xn = 1 (1/k) no es acotada y por tanto, no es Cauchy.
Proposicin 7.3. Una sucesin de Cauchy que posea una subsucesin convergente, es convergente (y converge al mismo lmite de la sucesin).
Prueba:
Sea (xn ) una sucesin de Cauchy en el espacio mtrico M y
(xnk ) una subsucesin que converge a a M. Veamos que lmn xn = a.
Dado > 0 existe k0 N tal que si k k0 d(xnk , a) < /2. Por otro
lado, existe n0 N tal que n, m n0 d(xn , xm ) < /2. Por la definicin de
sucesin, existe k k0 suficientemente grande, tal que nk > n0 . As, tenemos
que
d(xn , a) d(xn , xnk ) + d(xnk , a) < + = .
2 2
Luego, lm xn = a.
Observemos que por la proposicin 7.3, una sucesin que posea subsucesiones convergiendo a lmites distintos no puede ser de Cauchy.
Ejemplo 91. La imagen continua de una sucesin de Cauchy puede no ser
de Cauchy. Por ejemplo, la funcin f(x) = 1/x es continua y la imagen de la
sucesin de Cauchy xn = 1/n, es la sucesin (f(xn )) = (1, 2, 3, . . . ) que no es
de Cauchy.
Por otro lado, si f : M N es una funcin lipschitziana, f transforma
una sucesin de Cauchy en M en una sucesin de Cauchy en N. En efecto, si
K es una constante de Lipschitz para f y si (xn ) es una sucesin de Cauchy
en M, dado > 0 existe n0 N tal que n, m n0 d(xn , xm ) < /K. En
consecuencia, tenemos que
7.2.
103
104
Prueba:
Sea (fn ) una sucesin de Cauchy en B (X; M). Entonces esta
sucesin es acotada. Luego, existe una constante c > 0 tal que d(fn (x), (x))
d(fn , ) c para todo n N y todo x X. Para cada x M fijo, la sucesin
(fn (x)) en M, es de Cauchy. Como M es completo, el lmite de esta sucesin
existe y define una funcin f : X M por f(x) := lm fn (x), que a su vez es
n
105
Prueba:
Si fn f uniformemente en X entonces fn Bf (X; M) para
todo n suficientemente grande y lm fn = f en ese espacio. Luego, (fn ) es una
sucesin de Cauchy en Bf (X; M) y de esta forma la condicin es necesaria.
Recprocamente, suponiendo la condicin satisfecha, tomamos = 1 y para
ste existe un n0 N como en el enunciado tal que para = fn0 , vale
d(fn , ) 1, as fn B (X; M) para todo n n0 . Adems, la condicin
implica que la sucesin (fn )nn0 es una sucesin de Cauchy en el espacio
mtrico completo B (X; M) (ver proposicin 7.9). Se sigue que (fn ) converge
uniformemente en X.
Corolario 7.11. Sean M y N espacios mtricos, donde N es completo. Si una
sucesin de funciones continuas fn : M N converge uniformemente en un
subconjunto X de M, entonces (fn ), converge uniformemente en X.
Prueba:
Notemos primero que si una funcin continua : M R es
tal que (x) < para todo x X, entonces (x) para todo x (x); en
efecto, el conjunto {x M : (x) } = 1 ((, ]), es cerrado en M y
contiene a X, por tanto, contiene a X.
Probemos el corolario: por hiptesis, dado > 0, existe n0 N tal
que m, n n0 (x X), d(fm (x), fn (x)) < 0, 99 . Como la aplicacin x 7 d(fn (x), fm (x)) es continua, tenemos que m, n n0 (x
X), d(fm (x), fn (x)) 0, 99 < . Se sigue del corolario 7.10 que (fn ) converge uniformemente en X.
7.3.
En esta seccin se mostrar que cualquier espacio mtrico puede ser exc
tendido aadindole nuevos puntos, de tal manera que el nuevo espacio M
sea completo y que llamaremos completacin de M. Dado que un espacio
c es comcerrado de un espacio completo es completo, la clausura de M en M
pleto y contiene a M. Por este hecho, basta considerar nicamente los puntos
c adherentes a M. En la prctica, en lugar de obtener que M M
c, hallade M
remos una inmersin isomtrica : M N, donde N es completo y se toma
(M) como completacin de M. Como M y (M) son isomtricos es como
c.
si en verdad fuese M M
c es una completacin de
Frecuentemente diremos sencillamente que M
M quedando sobreentendida la existencia de la inmersin isomtrica que
c
satisface la definicin. As mismo, en ocasiones consideraremos que M M
identificando M con su imagen isomtrica (M).
Proposicin 7.12 (Existencia de la completacin). Todo espacio mtrico posee una completacin.
106
Prueba:
Dado un espacio mtrico M, como se vio en el ejemplo 25
de la pgina 32, un espacio mtrico M puede ser inmerso isomtricamente
mediante una , en el espacio mtrico B(M; R) de las funciones acotadas
de M en R; (este espacio es adems un espacio vectorial normado). Por la
proposicin 7.9, y sabiendo que R es completo, tenemos que B(M; R) es un
espacio completo. Luego, basta tomar como completacin el espacio (M) en
B(M; R), que es un cerrado contenido en un completo.
c ) y (M,
f ) dos completaciones de un espacio
Proposicin 7.13. Sean (M,
cM
f tal que = .
mtrico M. Entonces existe una nica isometra : M
Prueba:
Por la definicin de una completacin, : M (M) y
: M : (M) son isometras, estas definen la siguiente isometra: 1 :
(M) (M).
c, para cada x M
c existe una sucesin (xn ) en
Como (M) es denso en M
(M) tal que lm xn = x; siendo convergente esta sucesin, es de Cauchy y
la sucesin de imgenes mediante la isometra 1 tambin lo es. Como
f y M
f es completo, existe lmn ( 1 )(xn ). A partir de esto,
(M) M
cM
f por
definimos : M
(x) = lm( 1 )(xn )
n
donde lm xn = x.
= lm d(xn , an )
n
= d(lm xn , lm an )
n
= d(x, x) = 0
esto prueba la buena definicin de .
107
= lm d(xn , yn )
n
= d(lm xn , lm yn )
n
= d(x, y)
esto concluye la prueba.
7.4.
El teorema de Baire
108
,
,
,1
0,
9
9 3
3 9
9
2 Georg Ferdinand Ludwig Philipp Cantor (1845 - 1918) fue un matemtico alemn, inventor
con Dedekind y Frege de la teora de conjuntos, que es la base de las matemticas modernas.
Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de
formalizar la nocin de infinito bajo la forma de los nmeros transfinitos (cardinales y ordinales).
109
[
In .
C = [0, 1] \
n=1
Luego C es cerrado en [0, 1] y por tanto, cerrado en R. Ntese que los puntos extremos de los intervalos extrados, como 1/3, 2/3, 1/9, 2/9, 7/9, 8/9, etc,
pertenecen al conjunto de Cantor pues stos son extremos de los intervalos
resultantes en cierta etapa y en las sucesivas etapas se extraen tercios centrales de esos intervalos, es decir, los puntos extremos quedan en el conjunto
luego de todas las extracciones.
El conjunto de extremos de todos los intervalos es un subconjunto de
[0, 1] Q y por tanto, forman un conjunto numerable. Veremos ms adelante
sin embargo, que C no es numerable. Por lo pronto, notemos solamente que
C no contiene ningn intervalo abierto y por tanto int C = . En efecto, en
la etapa n-sima de la construccin de C resulta una coleccin finita (2n )
de intervalos cerrados cada uno de longitud 31n . Por tanto, si J es cualquier
intervalo abierto contenido en [0, 1] de longitud > 0, y consideramos un
n N tal que 1/3n < , al menos a partir de la etapa n, se extraen partes de
J y de esta forma, J no est contenido en C . Luego, el conjunto de Cantor en
un cerrado con interior vaco y por lo tanto es un conjunto magro en R.
Proposicin 7.14. Un espacio mtrico M es completo si, y slo si, para toda
sucesin decreciente C1 C2 Cn de subconjuntos cerrados no
vacos Cn M, con diam Cn 0, existe un punto a M tal que
n=1
Cn = {a}.
110
Prueba:
(slo si) Supongamos que M es completo y (Cn ) una sucesin de conjuntos
como la del enunciado. Para cada n N, escojamos un punto xn Cn . Esto
define una sucesin en M tal que m, n n0 xn , xm Cn0 . Por hiptesis,
dado > 0 existe n0 N a partir del cual diam(Cn ) < , entonces dado
> 0, existe n0 N tal que n, m n0 d(xm , xn ) < , y por tanto, (xn )
es una sucesin de Cauchy en M, como M es completo, sea lm xn = a M.
Para cualquier p N la subsucesin (xn )np es una sucesin en Cn que, por
ser cerrado, contiene a a; de esta forma se concluye que a Cn . No puede
haber otro punto b distinto de a en dicha interseccin, pues esto implicara
que 0 < d(a, b) diam(Cn ) que contradice la condicin de los dimetros.
(si) Sea M un espacio para el cual la interseccin de toda sucesin decreciente
de conjuntos cerrados no vacos, cuyos dimetros tiendan a cero, es un punto.
Veamos que tal M es completo. Consideremos cualquier sucesin de Cauchy
(xn ) en M. Para cada n N, hagamos Xn = {xn , xn+1 , . . . }. Entonces, X1
X2 Xn y por lo tanto, (Xn ) es una sucesin decreciente de
cerrados no vacos. Adems de eso, como consecuencia de ser (xn ) de Cauchy,
diam(Xn ) = diam(Xn ) 0. Luego, existe a M tal que Xn = {a}. Como
a es punto adherente de Xn para todo n N, toda bola abierta de centro
a contiene trminos xn con ndices arbitrariamente grandes, o sea, a es el
lmite de una subsucesin de (xn ). Como (xn ) es una sucesin de Cauchy,
a = lm xn (ver proposicin 7.3, pgina 102). Luego, M es completo.
Ejemplo 98. En la proposicin anterior, es imprescindible que diam(Cn ) 0,
ya que por ejemplo, si Cn = [n, +) tenemos C1 C2 pero Cn = .
El resultado principal de esta seccin y uno de los ms fuertes en teora
de conjuntos, es el siguiente:
Proposicin 7.15 (Teorema de Baire3 ). Sea M un espacio mtrico completo. Todo conjunto magro en M tiene interior vaco4 . Equivalentemente, si
[
Cn , donde cada Cn es cerrado en M con interior vaco, entonces
C=
n=1
111
Ejemplo 99. Como dos espacios homeomorfos pueden ser uno completo y
el otro no, cabe preguntarse si dado un espacio mtrico (M, d) bajo qu
condiciones existe otra mtrica d1 equivalente a la d, segn la cual el espacio
M sea completo. Por ejemplo en R el intervalo (1, 1) no es completo porque
no es cerrado en R, pero h : (1, 1) R definida por h(x) = 1/(1 + |x| es un
homeomorfismo sobre un espacio completo. Si d1 es la mtrica inducida por
h: d1 (x, y) := |h(x) h(y)|, sta es equivalente a d y torna a M completo.
Un espacio que sea homeomorfo a un espacio mtrico completo, se dice
que es topolgicamente completo
Proposicin 7.16. Todo subconjunto abierto de un espacio mtrico completo
es homeomorfo a un espacio mtrico completo.
Prueba:
Sea A M un conjunto abierto en el espacio mtrico M.
Entonces, M \ A es cerrado. La funcin : M R definida por (x) =
d(x, M \ A) es continua (ver proposicin 2.3, pgina 30) y es tal que (x) >
0 x A. Se sigue que si f : A R se define por f(x) = 1/(x), entonces f
es continua. Sea G el grfico de f, entonces G = graf(f) A R M R.
Ahora bien,
d1 (x, y) = d((I, f)(x), (I, f)(y)) = d[(x, f(x)), (y, f(y))] = d(x, y) + |f(x) f(y)| .
Por otra parte, si M es un espacio topolgicamente completo, es decir,
homeomorfo a un espacio completo, se puede aplicar el teorema de Baire, ya
112
Cn , donde
n=1
int Cn es un abierto
n=1
y denso en M.
Prueba:
Sea U un abierto no vaco de M. Para probar que A es denso,
basta probar que U A =
/ , es decir que existe n N tal que U int Cn =
/ .
[
(U Cn ), donde cada (U Cn ) es cerrado en U. Como se
Ahora bien, U =
n=1
Ejemplo
S 100. Si M es un espacio mtrico completo numerable, entonces
M = aM {a} es una uninSnumerable de conjuntos cerrados en M. Por
la proposicin 7.17 anterior, aM int{a} es denso (y adems abierto). Los
conjuntos unitarios que no tienen interior vaco son los correspondientes a
puntos aislados. As, podemos concluir que
En un espacio completo y numerable, el conjunto de puntos aislados
es abierto y denso.
En particular, todo conjunto cerrado infinito numerable del espacio Rn contiene una infinidad de puntos aislados. Esto es una demostracin de que R
no es numerable, ya que no tiene puntos aislados.
Ejemplo 101. El Teorema de Baire se puede utilizar para probar que el
conjunto de Cantor C , no es numerable.. Como ya hemos visto, C es cerrado
en R, por el ejemplo 100 anterior, basta probar que en C ninguno de sus
puntos es aislado. En efecto, supongamos primero que x C sea un extremo
de algn intervalo extrado o suprimido de [0, 1] durante la construccin del
conjunto de Cantor. Digamos que (x, b) es el intervalo extrado, entonces en
esa etapa uno de los intervalos resultantes sera de la forma [a, x]. En las
etapas subsiguientes de la construccin, al retirar tercios centrales, siempre
resulta un intervalo de la forma [an , x] donde para todo n N an C . Como
la longitud de los intervalos resultantes en cada etapa es una sucesin que
tiende a cero, concluimos que an x y por tanto, x no es un punto aislado.
Supongamos ahora que x no es un punto extremo de ningn intervalo
extrado durante la construccin de C . Dado > 0 no es posible que (x, x +
113
114
7.5.
1
Problemario No 7
P
Sea
an una serie convergente de nmeros reales positivos. Si una
sucesin en un espacio mtrico es tal que d(xn , xn+1 ) an para todo n,
entonces (xn ) es una sucesin de Cauchy.
Sea f : M N continua, tal que existe c > 0 que cumple d(f(x), f(y)) c
d(x, y) para cualesquiera x, y M. Muestre que f transforma subespacios
completos de M en subespacios completos de N. En particular, si M es
completo, entonces f es una funcin cerrada.
Q
Una completacin del producto cartesiano i=1 Mi es el producto carteQ c
c
siano i=1 M
i de las completaciones Mi de Mi .
10
11
12
Captulo 8
Espacios compactos
8.1.
Teoremas de Bolzano-Weierstrass
y de Borel-Lebesgue
116
8.2.
117
En esta seccin se estudiar la propiedad de ser compacto para un espacio o un conjunto. Como veremos ms adelante, la condicin de un espacio
ser compacto o su compacidad tiene que ver con el hecho de que cualquier
sucesin de un espacio compacto tiene alguna subsucesin convergente, propiedad que verifican los conjuntos finitos. Esta nocin de compacidad es
llamada compacidad secuencial, existe una definicin ms general basada en
cubrimientos mediante conjuntos abiertos que veremos a continuacin.
Definicin 74 (cubrimiento). Sea X un subconjunto de un espacio mtrico M.
Un cubrimiento
de X es una familia C = {C }L de subconjuntos de M tal
S
que X L C .
S
Si existe un subconjunto de ndices L de L tales que X L C , se dice
que la subfamilia C = {C }L es un subcubrimiento de C . Cuando L es un
subconjunto propio de LS
, se dice que C es un subcubrimiento propio de C .
Un cubrimiento X L A se dice que es abierto cuando cada conjunto
A con L, es abierto S
en M.
Un cubrimiento X L se dice que es finito cuando L es un conjunto
finito.
En diversas demostraciones clsicas relativas a propiedades de la recta
real se hace uso del hecho de que un conjunto infinito, como lo es una sucesin, en un intervalo cerrado y acotado [a, b], posee un punto de acumulacin,
o en el caso de sucesiones, una subsucesin convergente. Esta propiedad fue
la que defini en un principio a la compacidad, posteriormente se formul
una definicin en trminos ms generales y dbiles para extenderla a espacios
topolgicos utilizando la terminologa de los cubrimientos abiertos.
118
Observemos
que para una familia de conjuntos abiertos {A }L tal que
S
M = L A , el complemento de la unin es vaco y es la interseccin de
los complementos de cada A que son conjuntos cerrados.
En este orden de ideas, un espacio mtrico M es compacto si, y slo si,
toda familia {C }L de conjuntos cerrados con interseccin vaca posee una
subfamilia finita con interseccin vaca: C1 Cn .
Definicin 76 (Propiedad de la interseccin Finita). Una familia de conjuntos
{F }L se dice que tiene la Propiedad de la interseccin finita cuando para
/
cualquier subconjunto finito {1 , . . . , n } de L, se tiene que F1 Fn =
Todo lo anterior da lugar a la siguiente caracterizacin de compacidad:
Proposicin 8.5. Una condicin necesaria y suficiente para que un espacio
mtrico M sea compacto es que si {F }L es
T una familia de cerrados con la
propiedad de la interseccin finita, entonces L F =
/ .
Teorema 8.6 (Teorema de Dini). Si una sucesin de funciones reales y continuas fn : M R, definidas en un espacio mtrico compacto M, converge
puntualmente a una funcin continua f : M R y, adems de esto, se tiene que
f1 (x) f2 (x) fn (x) para todo x M, entonces la convergencia
fn f es uniforme en M.
Prueba:
119
A , obtenemos un cubriS
miento abierto de M = ( A ) (M \ C). Como M es compacto, es posible
extraer un subcubrimiento finito:
M = A1 An (M \ C)
Ya que ningn punto de C pertenece a M \ C, se concluye que C A1
An . Luego, C es compacto.
Recprocamente, sea K M un subconjunto compacto de M. Suponer que
K no es cerrado nos lleva a la existencia de un punto p M tal que p K \ K.
Para cada n N, se define
An = M \ B[p; 1/n]
Los An forman un cubrimiento abierto de M, en efecto, por la teora de
conjuntos,
[
\
An = M \ B[p; 1/n] = M \ {p} K
n
120
kxk2 =
x2i
i=1
! 21
P
Veamos que para x = (xi ), y = (yi ) 2 ,
xi yi < . Por la desigualdad
de Cauchy-Schwarz (Lema 2.1, pgina 23), para cada n N
n
X
i=1
|xi yi | =
n
X
i=1
|xi | |yi |
n
X
i=1
x2i
! 21
n
X
i=1
y2i
! 21
kxk2 kyk2 .
Esto muestra P
que las sumas parciales estn acotadas superiormente y en
121
(xi + yi ) =
i=1
X
i=1
n
X
i=1
x2i
n
X
y2i
+2
i=1
i=1
n
X
X
i=1
xi yi .
xi yi < .
122
Prueba:
Como f es biyectiva existe su inversa g : N M, por el
Corolario 8.12 anterior, f es cerrada, luego dado un conjunto cerrado C en
M, g1 (C) = f(C) es cerrado en N. As g es continua.
Corolario 8.14. Si M es un espacio mtrico compacto, toda funcin continua
f : M N es acotada.
Prueba:
para todo x M.
Prueba:
La imagen f(M) es un subconjunto compacto de R y es por
tanto, cerrado, acotado y no vaco. Existen entonces = nf f(M) y =
sup f(M) que, como sabemos, son puntos adherentes de f(M), como ste
conjunto es cerrado, , f(M); luego, existen x0 , x1 M tales que f(x0 ) =
f(x) = f(x1 ) para todo x M.
Corolario 8.16. Sea M compacto y f : M R continua tal que f(x) > 0 para
todo x M. Entonces existe c > 0 tal que f(x) c para todo x M.
Prueba:
8.3.
123
124
cerrados ya que diam Xi = diam Xi . Similarmente, si un conjunto X es totalmente acotado, su clausura X tambin lo es. En particular, si M es un
c tambin lo es.
espacio totalmente acotado cualquier completacin M
La siguiente proposicin nos aporta mayor claridad respecto a las condiciones necesarias y suficientes para que un espacio mtrico sea compacto,
tambin explica porqu en R, cerrado y acotado equivale a la compacidad.
Proposicin 8.17. Sea M un espacio mtrico. Las siguientes proposiciones
son equivalentes:
(1) M es compacto.
(2) Todo subconjunto infinito de M posee un punto de acumulacin.
(3) Toda sucesin en M posee una subsucesin convergente.
(4) M es completo y totalmente acotado.
Prueba:
(1)(2). Sea M un espacio mtrico compacto y sea X M un
conjunto sin puntos de acumulacin: ac(X) = . Entonces X = X ac(X) = X,
as X es cerrado y en consecuencia, compacto. Como cada punto de X no es
punto de acumulacin de X, necesariamente cada punto de X es aislado en
X, o sea que X es compacto y discreto; se sigue del Ejemplo 103 que X es
finito. Luego, un conjunto infinito posee puntos de acumulacin.
(2)(3). Consideremos una sucesin (xn ) en M. Si el conjunto de valores
de la sucesin es finito, existe al menos un trmino de la sucesin que se
repite indefinidamente, a = xn1 = xn2 = xn3 = , por tanto, xnk a. Si por
el contrario, el conjunto {x1 , x2 , , xn , } es infinito, entonces por hiptesis,
posee un punto de acumulacin a. De esta forma toda bola abierta centrada
en a posee trminos xn con ndices arbitrariamente grandes, luego a es limite
de alguna subsucesin de (xn ).
(3)(4). Bajo la hiptesis (3) toda sucesin de Cauchy posee una subsucesin convergente y por tanto, es la primera es convergente. As M es
completo.
Por otra parte, se quiere probar que para > 0, M se puede expresar como
una unin finita de bolas de radio ; en efecto, dado > 0 tomamos un punto
x1 M, si con este punto tenemos que M = B(x1 ; ), termina el proceso, en
caso contrario existe x2 M tal que d(x2 , x1 ) . Si para este x2 se tiene que
M = B(x1 ; ) B(x2 ; ), se detiene el proceso, en caso contrario existe x3 M
tal que d(x3 , x1 ) y d(x3 , x2 ) . Prosiguiendo de esta manera o el proceso
se detiene para algn n y as M = B(x1 ; ) B(xn ; ) o se tiene una
sucesin (xn ) de puntos en M tal que d(xn , xm ) para n =/ m. En esta
situacin ninguna subsucesin de (xn ) sera de Cauchy y menos convergente.
Esto contradice la hiptesis. Luego, lo que se da es la primera posibilidad y
de esta forma se concluye que M es totalmente acotado.
(4)(1) Sea M completo y totalmente acotado. Supongamos, por reduccin
al absurdo, que existe un cubrimiento abierto M = A que no admite un
subcubrimiento finito. Por ser M totalmente acotado, lo expresamos como una
125
unin finita de conjuntos cerrados cada uno con dimetro menor que 1. Al
menos uno de estos conjuntos, que llamaremos C1 , es tal que el cubrimiento
C1 A no posee un subcubrimiento finito; pero C1 tambin es totalmente
acotado, as que lo expresamos como una unin finita de conjuntos cerrados
cada uno de los cuales tiene dimetro menor que 21 . Del mismo modo, alguno
de esos nuevos conjuntos, nombrmoslo como C2 , no puede ser cubierto por
una cantidad finita de la coleccin {A }. Prosiguiendo esta construccin,
obtenemos una sucesin encajada C1 C2 Cn de subconjuntos
cerrados de M, tales que para todo n N, diam(Cn ) < n1 y Cn no est
contenido en ninguna subcoleccin finita de los A . Ya que M es completo,
por la Proposicin 7.14, pgina 109, la interseccin de los Cn as construidos
es un nico punto p M. De modo que, para algn ndice 0 , p A0 , como
A0 es abierto, existe un n0 N tan que B(p; 1/n0 ) A0 . Dado que p Cn0
y diam(Cn0 ) < n10 , vale que Cn0 B(p; 1/n0 ), pero entonces Cn0 A0 , lo
cual es una contradiccin por la forma en que se definieron los conjuntos
Cn .
Esta contradiccin nos lleva a que todo cubrimiento abierto de M posee
un subcubrimiento finito, y as M es compacto.
Corolario 8.18. Un espacio mtrico es totalmente acotado si y slo si, su
completacin es compacta.
c es totalmente acotado,
Prueba:
M es totalmente acotado si y slo si M
c
como M es completo, esto equivale a su compacidad.
Prueba:
Como se vio en el ejemplo 108, en Rn acotado implica totalmente acotado y ya sabemos que un cerrado en Rn es completo, entonces por
la Proposicin 8.17, se tiene que K es compacto.
El recproco es cierto en cualquier espacio mtrico.
Corolario 8.20. Un subconjunto X Rn tiene clausura compacta, si y slo
si, es acotado.
Prueba:
Ejercicio.
El siguiente corolario da una condicin suficiente para que un espacio mtrico sea lo que se conoce como separable, es decir, que posea un subconjunto
numerable denso.
126
cK0
8.4.
Problemario No 8
Sean A, B subconjuntos disjuntos no vacos en el espacio mtrico compacto M. Si d(A, B) = 0 entonces existe p (A) (B).
Sean K V M donde
S K es compacto y V es abierto en M. Pruebe que
existe r > 0 tal que xK B(x, r) V .
Un espacio mtrico M es compacto si, y slo si, toda funcin real continua y positiva en M, posee un nfimo positivo.
10
11
ndice alfabtico
abierto
conjunto , 52, 58
ac(A), 67
acotada
funcin , 29
acotado
conjunto , 28
adherencia, 63
arbitrariamente grande, 89
arquimediana
propiedad , 16
axioma
del supremo, 14
por caminos, 83
conjunto
abierto, 52, 58
acotado, 28
inferiormente, 14
superiormente, 14
bien ordenado, 15
cerrado, 63
compacto, 117
de Cantor, 112
de primera Categora, 108
de segunda Categora, 108
denso, 65
discreto, 27
finito, 5
infinito, 9
magro, 107
no numerable, 10
numerable, 10
parcialmente ordenado, 14
totalmente ordenado, 14
constante
de Lipschitz, 35
continuidad
conjunta, 38
en un punto, 35
contraccin
dbil, 36
convergencia
puntual, 96
simple, 96
uniforme, 96
cota
inferior, 14
superior, 14
cubrimiento, 117
128
NDICE ALFABTICO
abierto, 117
finito, 117
denso
conjunto , 65
desigualdad
de Cuachy-Schwarz, 23
desigualdad triangular, 19
diagonal, 67
dimetro, 28
distancia
a un conjunto, 29
entre conjuntos, 31
distancia de x a y, 19
d(X, Y), 31
elemento
mnimo, 14
mximo, 14
maximal, 16
entorno, 55
esfera, 25
espacio
compacto, 117
completo, 103
conexo, 73
por caminos, 83
de Hausdorff, 66
disconexo, 73
discreto, 27
homeomorfo, 42
mtrico, 19
topolgico, 58
totalmente acotado, 123
uniformemente discreto, 103
Euclides, 20
finito
conjunto , 5
frontera, 51, 67
en un espacio topolgico, 71
funcin
abierta, 57
caracterstica, 69
continua, 35
lipschitziana, 35
129
localmente , 36
montona, 79
funcin
acotada, 29
Hausdorff, 16
espacio de , 66
homeomorfismo, 41
homeomorfos
espacios , 42
homogeneidad, 22
conjugada, 23
homotecia, 42
nfimo, 14
infinito
conjunto , 9
inmersin isomtrica, 31
int(X), 51
interior de un conjunto, 51, 59
isometra, 31
lmite
de una sucesin, 88
Lipschitz, 35
localmente
lipschitziana, 36, 127
mtrica, 19
cero-uno, 20
de la conv. uniforme, 29
del supremo, 29
discreta, 44
euclidiana, 20
inducida
en un subespacio, 21
por la norma, 22
por f, 31
usual de R, 20
mtricas equivalentes, 46
magro, conjunto , 107
montona,
sucesin , 92
nmero
algebraico, 17
trascendente, 18
NDICE ALFABTICO
130
norma, 21
numerable
conjunto , 10
orden
parcial, 14
total, 14
principio
del buen orden, 15
producto
interno, 22
propiedad
arquimediana, 16
del nfimo, 15
del supremo, 15
mtrica, 42
topolgica, 42
propiedad de la interseccin finita, 118
proyeccin
estereogrfica, 43
punto, 20
aislado, 26
de acumulacin, 67
interior, 51
semicontinuidad
inferior, 70
separacin, 73
serie
armnica, 93
convergente, 93
divergente, 93
series, 93
subbase, 60
subcubrimiento, 117
propio, 117
subespacio
mtrico, 20
topolgico, 62
subsucesin, 87
sucesin, 87
acotada, 88
convergente, 88
creciente, 92
decreciente, 92
divergente, 88
eventualmente constante, 88
montona, 92
no creciente, 92
no decreciente, 92
suma parcial, 93
supremo, 14
Teorema
del valor
intermedio, 78
teorema
de Baire, 110
de Bolzano-Weierstrass, 115
de Borel-Lebesgue, 116
de la aduana, 81
topolgicamente completo, 111
topologa, 58
de los complementos finitos, 58
discreta, 58
generada
por una subbase, 60
generada por una base, 59
producto
sobre X Y , 61
relativa, 62
trivial, 58
totalmente acotado, 123
traslacin, 42
valor de adherencia, 100
vecindad, 55, 59
Zermelo, 15