Apuntes topologa

10 de diciembre de 2013
1 Topologa de R
Hasta ahora revisamos la visin axiomtica de R. En este captulo desarrollaremos una visin topolgica
del conjunto mediante la caracterizacin de abiertos y cerrados.
El conjunto R tiene las siguientes propiedades:
1. Es un conjunto no vaco.
R = .
2. Existe una relacin de equivalencia.
= R R.
3. Es un cuerpo abeliano (conmutativo)
+ : R R R
: R R R
4. Existe una relacin de orden parcial y total.
R R.
5. Es completo.
En R denimos la funcin valor absoluto para determinar la distancia entre dos puntos.
Si x R:
|x| =
_
x , si x 0
x , si x < 0
donde
a. |x| 0, x R.
b. |x| = 0, si y slo si x = 0.
c. |x y| = |y x|, x, y R.
d. |x y| |x| +|y|, x, y, z R.
1
Esta satisface las condiciones de distancia en un conjunto:
Denicin 1. Sea E = 0 y d una funcin f : E E R tal que
a. d(x, y) 0, x, y E.
b. d(x, y) = 0, si y slo si x = y, x E.
c. d(x, y) = d(y, x), x, y E.
d. d(x, y) d(x, z) + d(z, y), x, y, z E.
Un conjunto en compaa de una distancia se denomina como espacio mtrico (E, d).
2 Conjuntos Abiertos
Denicin 2. Sea A R, A = . A es un conjunto abierto si y slo si x A, r > 0 tal que
(x r, x + r) A. (1)
2.1 Ejercicios
1. Demostrar que (a, b) es abierto.
Demostracin. Sea x (a, b). Por demostrar que r > 0 tal que
(x r, x + r) (a, b). (2)
Sea r = mn{b x, x a}. Entonces r > 0 pues de (2)
a < x < b. (3)
de donde x a > 0 y b x > 0.
Por demostrar que (x r, x + r) (a, b).
Sea y (x r, x + r). Por demostrar que y (a, b); es decir, a < y < b.
Como y (x r, x + r).
x r < y < x + r x + (b x) = b (4)
pues
r = mn{b x, x a} b xr = mn{b x, x a} x a (5)
Entonces
x r < y < b. (6)
De igual manera
x (x a) x r < y < b (7)
y
a < y < b (8)
Entonces (a, b) es abierto.
2
2. Demostrar que (a, b] no es abierto.
Demostracin. Supongamos que es abierto. Sea r > 0, vamos a probar que
(b r, b + r) (a, b] . (9)
Sea x tal que b < x < b + r, entonces
x (b r, b + r) (10)
pero
x / (a, b] , (11)
es decir
(b r, b + r) (a, b] . (12)
Denicin 3. Sea A R, A = . A es cerrado si y slo si R A es abierto.
A partir de esta denicin es fcil notar que:
y R son abiertos y cerrados.
A es abierto si y slo si R (R A) es abierto.
A es abierto si y slo si R A es cerrado.
2.2 Ejemplos
(, a] [b, +[ es cerrado.
[a, +[ es cerrado.
(, a[ [b, +[ no es cerrado.
2.3 Propiedades
1. y R son abiertos y cerrados.
Demostracin. Demostremos primero que es abierto. Por vacuidad, sabemos que la proposicin
es abierto (x) [x (r) [r > 0 (x r, x + r) ]] (13)
es verdadera. Entonces como

= R, por denicin de cerrados sabemos que R es cerrado.

Ahora, demostremos que R es abierto. Esta vez, sabemos que la proposicin
R es abierto (x) [x R (r) [r > 0 (x r, x + r) R]] (14)
es verdad x R. Entonces es cerrado.
3
2. Sean {A
i
}
iI
tal que i I, A
i
R es abierto, entonces

iI
A
i
es abierto.
Demostracin. Sea
x
_
iI
A
i
. (15)
Por demostrar que r > 0 tal que
(x r, x + r)
_
iI
A
i
. (16)
De 15, i
0
I tal que
x A
0
. (17)
Entonces, por la relacin entre la unin de una familia y sus elementos, r
0
> 0 tal que
(x r
0
, x + r
0
) A
i
0

_
iI
A
i
. (18)
3. Sean {A
i
}
iI
tal que i I, A
i
R es abierto e I nito, entonces

iI
A
i
es abierto.
Demostracin. Sea
x

iI
A
i
. (19)
De 19, i I, x A
i
r
i
> 0 tal que (x r
i
, x + r
i
) A
i
. (20)
Al ser I nito, se garantiza la existencia de un mnimo y un mximo. Sea r = mn
iI
r
i
. Entonces
i I
r r
i
, (x r, x + r) (x r
i
, x + r
i
). (21)
Por 1.40 de Pinter tenemos que por ltimo
(x r, x + r)

iI
A
i
. (22)
4. Sean {A
i
}
iI
tal que i I, A
i
R es cerrado, entonces

iI
A
i
es cerrado.
Demostracin. Tenemos por demostrar que R

iI
A
i
es abierto.
Pero R

iI
A
i
=

iI
(R A
i
) y i I, R A
i
es abierto.
Por lo tanto R

iI
A
i
es abierto por 2.
5. Sean {A
i
}
iI
tal que i I, A
i
R es cerrado e I nito, entonces

iI
A
i
es cerrado.
Demostracin. Tenemos por demostrar que R

iI
A
i
es abierto para I nito.
Se tiene que R

iI
A
i
=

iI
(R A
i
) pero i I, con I nito, R A
i
es abierto. Por tanto
R

iI
A
i
es abierto por 3.
4
2.4 Ejercicios
1. Sea a R. Entonces {a} es cerrado.
Demostracin. Por demostrar que R {a} es abierto.
R {a} = (, a) (a, +). (23)
Unin de conjuntos abiertos es abierta, entonces {a} es cerrado.
2. {a} no es abierto. Entonces x {a} tal que r > 0(x r, x + r) {a}.
Demostracin. Por unitario x = a, lo cual en R cumple que
s / {a} tal que r > 0s (x r, x + r). (24)
3. Sea A R, A nito. A es cerrado.
Demostracin. Por demostrar que A =
xA
{x}.
1. Sea u A. Por demostrar que x A tal que u {x}. Si u {x}, u = x, x es el elemento
buscado.
2. Sea u
xA
{x}. Por demostrar que u A. x A tal que u {x} u = x, pero x
A, entonces u A.
Por 1, si A es nito, A es cerrado.
4. Si A es no abierto, x A tal que r > 0(x r, x + r) A.
Demostracin. Por induccin. Sea n el nmero de elementos de A.
1. Si n = 1, A es un conjunto unitario.
2. Hiptesis de induccin: A tiene n elementos, A no abierto.
3. Tesis de induccin: Cualquier conjunto de (n+1) elementos no es abierto. Sea A un conjunto
con n + 1 elementos. Sea una sucesin de elementos que ordena a A, de modo que
A = {a
0
, a
1
, a
2
, ..., a
n
}, donde a
0
< a
1
< a
2
< ... < a
n
A = {a
0
, a
1
, a
2
, ..., a
n1
} {a
n
}.
(25)
De esta ltima expresin, sabemos que el primer conjunto es un conjunto de no abiertos,
mas no sabemos si la unin de no abiertos es no abierta. Si suponemos que s, se presenta el
siguiente contraejemplo:
(2, 2] [0, 1) = (2, 1).
La unin de estos dos conjuntos no abiertos es abierta.
5
5. Sean A
n
=
_
1
n
,
1
n
_
, con n N, tal que n N, A
n
es abierto. Demostrar que
nN
A
n
= {0}.
Demostracin. Demostrando por inclusin:
1. Por demostrar
nN
A
n
{0}.
Sea x
_
1
n
,
1
n
_
. Por demostrar que x {0}; es decir, x = 0. Supongamos que x = 0
Entonces tenemos dos casos, el primero cuando x > 0 y el segundo cuando x < 0.
1. n > 0, x
_
1
n
,
1
n
_
:
1
n
< x <
1
n
. (26)
de donde
0 < x <
1
n
. (27)
Por el teorema del sndwich: x = 0.
2. Aplicando el mismo razonamiento se tiene que

1
n
< x < 0. (28)
Por el teorema del sndwich, nuevamente: x = 0.
2. Por demostrar que {0}
nN
A
n
.
Sea u {0}. Por demostrar que u
nN
A
n
. Es decir, hay que demostrar que n N,
u
_
1
n
,
1
n
_
.
Como u {0}, u = 0. Pero
1
n
< 0 <
1
n
, entonces u
_
1
n
,
1
n
_
.
2.5 Caracterizacin de cerrados a travs de sucesiones
1. Si A es cerrado y x A, (x
n
) tal que x
n
A, n N y x = lmx
n
.
Demostracin. Sea x A. Luego x / R A. Pero R A es abierto.
Por lo tanto, r > 0, (x r, x + r) R A.
Sea n N, n = 0. Entonces
1
n
> 0. Luego:
_
x
1
n
, x +
1
n
_
R A. (29)
Luego,
y
n

_
x
1
n
, x +
1
n
_
tal que y
n
/ R A. (30)
Por el axioma de eleccin existe una sucesin tal que
x
n

_
x
1
n
, x +
1
n
_
y x
n
/ R A. (31)
6
x
1
n
x
n
x +
1
n
y x
n
A. (32)
Por el teorema del sndwich se tiene que
lmx
n
= x y x
n
A. (33)
2. Si A es cerrado, x R y hay una sucesin (x
n
) en A tal que x
n
x. Demuestre que x A.
Demostracin. Supongamos que x / A. Entonces x R A y
r > 0 tal que (x r, x + r) R A. (34)
Como r > 0 y x
n
x, n
0
N tal que n n
0
x
n
(x r, x + r) R A. (35)
Entonces x
n
R A y x
n
/ A. Lo cual es absurdo, entonces x A.
Teorema 1. Sea A R. A es cerrado si y slo si para toda sucesin (x
n
) en A, convergente,
lmx
n
A.
Demostracin. Sea A R.
1. Si A es cerrado y (x
n
) en A tal que (x
n
) converge; es decir, x R tal que lmx
n
= x.
Entonces x A por 2.
2. Supongamos que toda sucesin de elementos de A que converge tiene lmite en A. Por demos-
trar que A es cerrado; es decir, hay que demostrar que R A es abierto.
Supongamos que R A no es abierto. Entonces x
0
R A tal que r > 0
(x
0
r, x
0
+ r) R A. (36)
Sea n = 0, n N,
1
n
> 0. Luego
(x
0

1
n
, x
0
+
1
n
) R A; (37)
es decir, u
n
R tal que
u
n
(x
0

1
n
, x
0
+
1
n
) y u
n
/ R A. (38)
Por el axioma de eleccin, se tiene que (x
n
) en R tal que
x
n
(x
0

1
n
, x
0
+
1
n
) y x
n
/ R A. (39)
7
Entonces
x
0

1
n
< x
n
< x
0
+
1
n
y x
n
A, n > 0. (40)
Luego
lmx
n
= x
0
y x
n
A, n N. (41)
En resumen, (x
n
) en A tal que x
n
x
0
.
De la hiptesis x
0
A. Esto es absurdo pues x
0
R A.
Entonces R A es abierto; es decir, A es cerrado.
2.6 Entornos
Denicin 4. Sea a R. Un entorno abierto o vencidad de a es el conjunto V tal que
a. a V.
b. r > 0 tal que (a r, a + r) V.
2.7 Adherencia
Denicin 5. Sea A R. x es un punto de adherencia si y slo si (x
n
) en A tal que x
n
x.
A partir de esto denimos la adherencia o clausura de A como el conjunto
A = {x R : x es punto de adherencia de A}.
2.7.1 Caracterizacin de la adherencia
1. Por denicin: x A si y slo si (x
n
) en A tal que x
n
x.
A A
Demostracin. Basta tomar toda sucesin constante de elementos de A.
2. x A si y slo si > 0y A tal que |x y| < .
Demostracin. Sea A R
1. Suponemos que x A. Sea > 0y A tal que |x y| < . Entonces (x
n
) en A tal que
x
n
x. Luego, n
0
N tal que n n
0
:
|x
n
x| < . (42)
Pero n N, x
n
A. En particular |x
n
0
x|.
Adems x
n
0
A. Sea y = x
n
0
, entonces |x y| < .
8
2. Supongo que > 0, y A tal que |y x| < . Por demostrar que x A; es decir, que (x
n
)
en A tal que x
n
x.
Sea n N{0}. Adems +
1
n
> 0. Por el axioma de eleccin, x
n
A tal que |x
n
x| <
1
n
Entonces lm|x
n
x| = 0, lo cual implica lmx
n
= x.
3. A es cerrado si y slo si A = A.
4. A es cerrado. Por demostrar A = A.
Como todo conjunto es subconjunto de su adherencia, basta demostrar que la adherencia de la
adherencia de un conjunto es subconjunto de la adherencia del conjunto.
Demostracin. Sea u A. Por demostrar que u A.
Sea > 0. Por demostrar y A tal que |u y| < . Se tiene que por la doble adherencia
z A tal que |u z| <

2
, (43)
y A tal que |z y| <

2
. (44)
Entonces, por desigualdad triangular
|u y| |u z| +|z y|

2
+

2
= . (45)
Alternativamente:
Demostracin. 1. Sabemos que X X. Falta demostrar la segunda inclusin.
2. Sea x X, entonces (x
n
) tal que
x
n
X, n N x
n
x. (46)
Para m N, x
m
X,
_
x
(m)
n
_
tal que
_
x
(m)
n
_
X, n N x
(m)
n
x
m
. (47)
Donde
( x
1
x
2
x
3
. . . x
n
. . . )
. . .
.
.
.
.
.
.
.
.
.
.
.
. . . .
x
m
1
x
m
2
. . . x
m
n
. . .
.
.
.
.
.
.
.
.
. . . .
x
4
1
. . . x
4
n
. . .
x
3
1
x
3
2
. . . x
3
n
. . .
x
2
1
x
2
2
x
2
3
. . . x
2
n
. . .
x
1
1
x
1
2
x
1
3
. . . x
1
n
. . .
(48)
9
Tomando Y
n
= x
(n)
n
, Y
n
X, n N. Queda por demostrar que Y
n
x.
|x Y
n
| =

x x
(n)
n

x x
n
+ x
n
x
(n)
n

|x x
n
| +

x
n
x
(n)
n

lm|x Y
n
| lm|x x
n
| + lm

x
n
x
(n)
n

= 0
Entonces y
n
x.
2.8 Topologa usual de R
Denicin 6. Sea A R. Denimos al conjunto
T = {A R : A es abierto.} P(R) (49)
como la topologa usual de R. Tal que
1. , R T .
2. {A
i
}
iI
, i I, A
i
T ;
iI
A
i
T .
3. {A
i
}
iI
, i I,I nito, A
i
T ;
iI
A
i
T .
2.9 Caracterizacin de la adherencia mediante conjuntos
1. A = C = {x : u C, x u}, con C = {B R : A B y cerrados.}
Demostracin. Hay que demostrar A = C
1. A C
Sea x A. Por demostrar que x C.
Sea u C. Por demostrar x u.
Al ser x A, sabemos que (x
n
) en A tal que x
n
x, n N y x A
pero como u C, entonces u es cerrado y A u.
Entonces n N, x
n
u; es decir, (x
n
) en u y x
n
x. Por lo que x u.
2. C A
A es cerrado y A A, entonces A C, por lo que C A.
2. La adherencia es el conjunto cerrado ms pequeo.
Es decir, sea A R. Sea B R tal que
1. B es cerrado.
2. A B.
A B.
Demostracin. Sea B C.
Entonces C B, entonces A B.
10
2.10 Ejercicios
1. Demostrar que si A B, entonces A B.
Demostracin. Supongamos que A B. Por demostrar A B.
Sea x A, hay que mostrar que x B.
Sabemos que A B y B B. Entonces A B, como la adherencia es el conjunto cerrado ms
pequeo, A B.
2. Demostrar que A B = A B.
Demostracin. Sean A, B R.
1. Por demostrar que A B A B.
Sabemos que A A B y B A B, entonces A A B y B A B; por lo que
A B A B.
2. Por demostrar que A B A B.
Sabemos que A A y B B, y A B A B. Entonces A B A B.
Denicin 7. Sea A R, x R. Se dene al nmero
d(x, A) = nf{|x y| : y A}
= nf
yA
|x y|
(50)
como la distancia del nmero x al conjunto A.
Deducimos las siguientes propiedades:
1. Si x A, entonces d(x, A) = 0.
2. Si x / A, entonces d(x, A) 0.
Como ejemplo de lo anterior tenemos que
d (0, (0, 1)) =nf{|0 y| : y (0, 1)} = 0.
Teorema 2. x A d(x, A) = 0.
Demostracin.
1. Supongamos que x A, por demostrar que d(x, A) = 0.
Entonces hay que demostrar que nf{|x y| : y A} = 0, donde
u nf{|x y| : y A} y A tal que u = |x y|.
Sea > 0. Por demostrar que u nf{|x y| : y A} tal que u < 0 + .
Por demostrar que y A tal que |x y| < pero eso es equivalente a mostrar que x A.
2. Supongamos que d(x, A) = 0, por demostrar x A.
Al ser 0 el nf{|x y| : y A}, queda que x A.
Alternativamente: x A > 0y A tal que |x y| < nf{|x y| : y A} = 0.
11
2.11 Ejercicio
Si A es cerrado y x / A, entonces d(x, A) > 0.
Demostracin. Sea A cerrado. Entonces A = A.
Tenemos que
y A, d(y, A) = 0. (51)
Como x / A, entonces
d(x, A) = 0. (52)
Pero como |x y| 0
x, y R, d(x, A) > 0. (53)
2.12 Punto de acumulacin y punto interior
De la adherencia tenemos que
x A > 0, y A tal que |x y| <
> 0, y A tal que y (x , x + )
> 0, (x , x + ) A = .
Denicin 8. Sea x A, x es un punto de acumulacin si y slo si y A, y = x tal que |x y| < .
Luego, el conjunto de puntos de acumulacin, lo denimos como A

donde
x A

> 0, ((x , x + ) {x}) A =

> 0, y A tal que y (x , x + ), y = x
> 0, y A, y = x, tal que |x y| < .
De aqu podemos notar que A

A y A = A A

.
Denicin 9. Sea x A, x es un punto interior de A si y slo si > 0, tal que (x , x + ) A.
Luego, denimos al conjunto interior de A, intA, como el conjunto de todos los puntos interiores de A.
De aqu, tenemos que:
1. Si A es abierto, A = intA.
Demostracin. Primero intA A, luego por la denicin de abierto, A intA.
2. Sea B R tal que
1. B es abierto.
2. B A.
Entonces B intA.
3. intA = A, donde A = {B R : B abierto y B A}.
4. Si A B, entonces intA intB.
12
3 Conjuntos compactos
Denicin 10. Sea A R. A es un conjunto es compacto si y slo si es cerrado y acotado.
Esto sucede slo en espacios vectoriales de dimensin nita. Para espacios mtricos y topolgicos, nos
toca denir la compacidad de otra manera.
Teorema 3. A es compacto si y slo si toda sucesin de elementos de A posee una subsusecin conver-
gente en A.
Demostracin. Sea A R.
1. Supongamos que A es compacto. Sea (x
n
) una sucesin tal que n N x
n
A.
Por demostrar que : N N estrictamente creciente, a A tal que x

(n)
a.
A es cerrado, por el teoremas de caracterizacin de conjuntos cerrados, sabemos que particularmente
: N N estrictamente creciente, a R tal que x

(n)
a y lmx

(n)
= a.
2. Supongamos que toda sucesin de elementos de A posee una subsusecin convergente en A. Por
demostrar que:
1. A es acotado.
Supongamos que A no es acotado: M > 0, x A tal que |x| > M.
Sea n N, n = 0, x
n
A tal que
|x
n
| > n. (54)
(x
n
) en A no es acotada.
Si (x
n
) fuera acotada, k > 0 tal que
n N |x
n
| k. (55)
Por la propiedad arquimediana:
n
0
N tal que k < n
0
< |x
n
0
|. (56)
Sea : N N estrictamente creciente, entonces
_
x
(n)
_
es una subsucesin de (x
n
).
|x
(n)
| > (n) n. (57)
Entonces A debe ser acotado.
2. A es cerrado.
Sea (x
n
) en A tal que a R y x
n
a. Por demostrar que a A.
Por hiptesis, : N N estrictamente creciente, b A tal que
x
(n)
b. (58)
Pero como (x
(n)
) es subsucesin de x
n
en A y ambas convergen, entonces b = a y a A.
13
3.1 Ejercicios
1. Demostrar que el supremo y el nmo de un conjunto es un elemento de la adherencia.
Demostracin. Sea A R, acotado.
1. Por demostrar que sup A A. Es decir, hay que demostrar que > 0, a A tal que
| sup Aa| < .
Sea > 0. Sabemos que a A tal que
sup A < a < sup A (59)
entonces
sup A < a < sup A + (60)
de donde se ve que
| sup Aa| < . (61)
2. Por demostrar que nf A A. Es decir, hay que demostrar que > 0, b A tal que
|nf Ab| < .
Sea > 0. Sabemos que b A tal que
nf A < b <nf A + (62)
entonces
nf A <nf A < b <nf A + (63)
de donde se ve que
|nf Ab| < . (64)
2. Sea a un punto lmite de un conjunto. Demuestre que existe una sucesin, en el conjunto, montona
estrictamente que converge a a.
Demostracin. Sea A R, a A

. Por demostrar que (a

n
) en A, montona estrictamente que
converge a a.
Sabemos que > 0 (a, a+) es innito. Pues en la unin del conjunto, [(a , a] [a, a + )]A
uno de ellos es innito.
Demostremos que para (a , a] A, (n) estrictamente creciente.
Supongamos que (a , a] A es innito.
Como 1 > 0: (a 1, 1) A es innito. x
1
tal que a 1 < x
1
< a entonces 1 < x
1
a < 0; es
decir,
|x
1
a| < 1 (65)
y x
1
A.
Luego, sea = mn{a x
1
,
1
2
} > 0. x
2
< x
1
tal que
|x
2
a| <
1
2
(66)
14
y x
2
A.
Supongamos que k N, x
1
< x
2
< x
3
< . . . < x
n
tal que
|x
j
a| <
1
j
, para j = 1, . . . , k (67)
y
x
j
A. (68)
Por demostrar que z R tal que x
k
< z, |z a| <
1
k+1
y z A.
Sea = mn{
1
k+1
, a x
k
}. z tal que z (a , a) A. Entonces
z A. (69)
a < z < a
< z a < 0
|z a| < <
1
k+1
.
(70)
Luego
a x
n
(71)
entonces
x
k
a < z a (72)
y
x
k
< z, (73)
tomando z = x
k+1
y por el teorema del sndwich x
n
a.
Finalmente, (x
n
) en A estrictamente creciente que converge a a.
4 Espacios mtricos
Hasta ahora hemos desarrollado nicamente una topologa en R bajo la funcin valor absoluto para denir
distancias. Desarrollamos as la nocin de abiertos, cerrados, compactos, etc. Podemos generalizar estos
conceptos a espacios mtricos bajo una funcin arbitraria de distancia d y redenir nuestras nociones de
R a R
n
o cualquier conjunto.
Denicin 11. Sean (E, d) un espacio mtrico, a E, > 0. Llamamos una bola abierta de centro a y
radio al conjunto
B

(a) = {x E : d(x, a) < }. (74)

Denicin 12. Sean (E, d) un espacio mtrico, A E. A es abierto si y slo si x A > 0 tal que
B

(a) A.
Denicin 13. Sean (E, d) un espacio mtrico, (x
n
) una sucesin en E. (x
n
) es una sucesin conver-
gente en E si y slo si
1. x E.
15
2. > 0 n
0
N tal que n n
0
d(x
n
, x) < .
Equivalente a decir que > 0 n
0
N tal que n n
0
x
n
B

(x).
Denicin 14. Sean (E, d) un espacio mtrico, A E. La adherencia de A, A, es el conjunto de todos
los puntos para los cuales se cumple que
x A y A tal que d(x, y) < . (75)
Equivalente a B

(x) A = .
Denicin 15. Sean (E, d) un espacio mtrico, F E. F es cerrado si y slo si su complemento es
abierto.
Teorema 4. Sean (E, d) un espacio mtrico, F E. F es cerrado si y slo si F = F.
4.1 Espacio producto
El espacio producto se dene bajo el producto de espacios mtricos, el cual presentamos a continuacin.
4.1.1 Producto de espacios mtricos
Sean (E
1
, d
1
), (E
2
, d
2
), . . . , (E
n
, d
n
), {(E
i
, d
i
)}
1in
.
Denicin 16. Llamamos al conjunto E =

n
i=1
, E
i
= E
1
E
2
. . . E
i
, i N como espacio producto.
Donde x E x = (x
1
, x
2
, . . . , x
n
) tal que x
i
E
i
, i {1, 2, . . . , n}.
Cada uno de los espacios que conforman el espacio producto tienen una mtrica d
i
que se aplica
respectivamente para cada E
i
, para relacionarlas denimos a las siguientes mtricas:
Denicin 17. Sea E =

n
i=1
E
i
, denimos las funciones
1. si p 1,
d
p
: E E R
(x, y) d
p
(x, y) = (

n
i=1
d
i
(x
i
, y
i
)
p
)
1
p
.
(76)
2.
d

: E E R
(x, y) d

(x, y) = max{d
i
(x
i
, y
i
) : 1 i n}.
(77)
Estas dos funciones son mtricas equivalentes.
Denicin 18. Un espacio mtrico (F, d) es completo si y slo si toda sucesin de Cauchy es convergente
en F.
Ahora, caractericemos al espacio E bajo la convergencia.
Teorema 5. Sea (x
m
) una sucesin convergente en E donde x
m
E m N y x
m
= (x
m
1
, x
m
2
, . . . , x
m
n
),
entonces x = (x
1
, x
2
, . . . , x
m
).
16
Demostracin. Existen n sucesiones. Cada una en cada E
i
con i {1, 2, 3, . . . , n}, donde
x
1
= (x
1
1
, x
1
2
, . . . , x
1
n
)
x
2
= (x
2
1
, x
2
2
, . . . , x
2
n
)
x
3
= (x
3
1
, x
3
2
, . . . , x
3
n
)
.
.
.
x
m
= (x
m
1
, x
m
2
, . . . , x
m
n
)
(78)
donde para un m sucientemente grande
x
m
= (x
m
1
, x
m
2
, . . . , x
m
n
)
.
.
.
.
.
.
.
.
.
.
.
.
(x
m
1
) (x
m
2
) . . . , (x
m
n
)
en E
1
en E
2
. . . en E
n

x = (x
1
, x
2
, . . . , x
n
)
(79)
Entonces cada componente de la sucesin converge en el espacio al que pertenecen sus elementos.
Teorema 6. Sea una familia {(E
i
, d
i
)}
1in
de espacios mtricos. Sea E =

n
i=1
E
i
, d es una mtrica
sobre E.
Demostracin. Sea (x
m
) en E. Supongamos que x
m
x; es decir d
p
(x
m
, x) 0 d

(x
m
, x) 0.
Sea i 1, 2, . . . , n.
Por demostrar que x
m
i
x
i
; es decir, hay que demostrar que d
i
(x
m
i
, x
i
) 0.
a. Sabemos que d
p
(x
m
, x) 0. Entonces sigue que
_
_
n

j=1
d
p
j
(x
j
, y
j
)
_
_
1
p
0 (80)
n

j=1
d
p
j
(x
j
, y
j
) 0 (81)
d
p
j
(x
j
, y
j
) 0 (82)
adems
d
i
(x
i
, y
i
) 0 (83)
y
d
p
i
(x
i
, y
i
)
n

j=1
d
j
(x
j
, y
j
) (84)
d
i
(x
i
, y
i
)
_
_
n

j=1
d
p
j
(x
j
, y
j
)
_
_
1
p
= d
p
(x, y). (85)
17
b. i {1, 2, . . . , n}.
d
i
(x
i
, y
i
) d
p
(x, y) (86)
d
i
(x
i
, y
i
) d

(x, y). (87)

Adems
0 d
i
(x
i
, y
i
) d
p
(x, y) (88)
y
0 d
i
(x
i
, y
i
) d

(x, y). (89)

Por el teorema del sndwich
d
i
(x
i
, y
i
) 0. (90)
4.2 Ejercicios en R
n
Denicin 19. Sea R
n
=

n
i=1
R, donde x R
n
x = (x
1
, . . . , x
n
), con x
i
R, i {1, 2, . . . , n}.
Denimos d
1
, d
2
, d

:
1. d
1
(x, y) =

n
i=1
|x
i
y
i
|.
2. d
2
(x, y) =
_
n
i=1
|x
i
y
i
|
2
_1
2
.
3. d

(x, y) = max
1in
|x
i
y
i
|.
Se solicit a los estudiantes que repesenten la bola abierta de radio 1 y centro 0 en R
2
.
4.3 Ejercicios
1. Sean E = E
1
E
2
, r > 0, a E. Demostrar que B
r
(a) = B
r
(a
1
) B
r
(a
2
).
Demostracin. Sea x B
r
(a) donde
x B
r
(a) max{d
1
(x
1
, a
1
), d
2
(x
2
, a
2
)} < r
d
1
(x
1
, a
1
) < r y d
2
(x
2
, a
2
) < r
x
1
B
r
(a
1
) y x
2
B
r
(a
2
)
(x
1
, x
2
) B
r
(a
1
) B
r
(a
2
)
x B
r
(a
1
) B
r
(a
2
).
2. Sean (E
1
, d
1
), (E
2
, d
2
) dos espacios mtricos. Sean A
1
E
1
, A
2
E
2
abiertos. Demostrar que
A
1
A
2
es abierto.
18
Demostracin. Sea (x
1
, x
2
) A
1
A
2
. Por demostrar que r > 0 tal que B
r
(x
1
)B
r
(x
2
) A
1
A
2
.
Ya que x
1
A
1
r
1
> 0 tal que B
r
1
(x
1
) A
1
(91)
y x
2
A
2
r
2
> 0 tal que B
r
2
(x
2
) A
2
(92)
Sea r = mn{r
1
, r
2
}, entonces r r
1
y r r
2
. Luego
B
r
(x
1
) B
r
1
(x
1
) A
1
(93)
y
B
r
(x
2
) B
r
2
(x
2
) A
2
. (94)
Entonces, por el ejercicio anterior,
B
r
(x
1
) B
r
(x
2
) A
1
A
2
. (95)
3. Sean (E
1
, d
1
), (E
2
, d
2
) dos espacios mtricos. Sean A
1
E
1
, A
2
E
2
. Demostrar que
A
1
A
2
= A
1
A
2
.
Demostracin. Sabemos que (x
m
1
, x
m
2
) en A
1
A
2
tal que (x
m
1
, x
m
2
) (x
1
, x
2
) y (x
1
, x
2
)
A
1
A
2
. Por la caracterizacin del espacio producto a travs de sucesions, sabemos que esto se
cumple en cada espacio y desde cada espacio.
19