Ejercicio 3, lista 1 de espacios metricos

14 de septiembre de 2013

Contraejemplo 1. Consideremos X = R, con

d(x,y)
1+d(x,y) . Si definimos

d(x, y)
f (x, y)
e(x, y) =

f (1, x) + d(2, y) + 23

d la metrica usual. Tambien, sea f (x, y) =

x, y (1, )
x, y (, 1]
x (, 1] y (1, )

es una metrica sobre R. Adem

as, si se define d (x, y) = mn{d(x, y), e(x, y)}, d no es una
metrica para R.
En efecto, pues si x = 0, y = 1, z = 2 se cumple:




d (x, z) = d (0, 2) = mn {d(0, 2), e(0, 2)} = mn 2, f (1, 0) + d(2, 2) + 32 = mn 2, 12 + 0 + 32
= mn{2, 2} = 2

d (x, y) + d (y, z) = d (0, 1) + d (1, 2) = mn {d(0, 1), e(0, 1)} + mn {d(1, 2), e(1, 2)}




= mn 1, 12 + mn 1, f (1, 1) + d(2, 2) + 32 =
=

1
2

+1=

1
2



+ mn 1, 0 + 0 + 32 =

1
2



+ mn 1, 32

3
2

As, como 32 < 2, se tiene que d (x, y) + d (y, z) < d (x, z). Por lo tanto d no cumple la
desigualdad del triangulo para 0, 1, 2 R, lo cual implica que d no es metrica para R.

Equipo 1. Ejercicio 1.
1. Sea n N y para a = (a1 , ..., an ), b = (b1 , ..., bn ) Rn definase:
d(a, b) = max{|ai bi | : 1 i n} (metrica uniforme), entonces d es una metrica
sobre Rn .
Proof. Sean a, b, c Rn , n N, d(a, b) = max{|ai bi | : 1 i n}.
m1 ) Como |ai bi | 0, ai , bi R 1 i n max{|ai bi | : 1 i n} 0
d(a, b) 0.
m2 ) |ai bi | = |(1)(bi ai )| = |(1)||(bi ai )| = |(bi ai )|
max{|ai bi | : 1 i n} = max{|bi ai | : 1 i n}
d(a, b) = d(b, a).
m3 ) |ai bi | |ai ci | + |ci bi | se cumple ai , bi , ci R
max{|ai bi | : 1 i n} max{|ai ci | : 1 i n} + max{|ci bi | : 1 i n}
d(a, b) d(a, c) + d(c, b).
d es una metrica sobre Rn .

Ejercicios de espacios metricos

Equipo 2
Corona Moreno Ruth

Garca Ramrez Angel

Ra
ul
Guillen Zamora Jessica
Osorio Perez Jorge Enrique

Sea p un n
umero primo. Entonces cada racional x 6= 0 se puede describir
de manera u
nica como:
pk r
x=
s
donde k, r Z, s N y
1. m.c.d. (p, r) = m.c.d. (p, s) = m.c.d. (s, r) = 1.
Definimos para cada x Q:
|0|p = 0
|x|p = pk para x 6= 0
d : Q Q R definida como:
d(x, y) = |x y|p
Demuestre que (Q, d) es un espacio metrico.
Demostraci
on.
m1 )Sean a, b Q, por la cerradura de Q tenemos que
a b Q, entonces existen k, r Z, s N tal que:
ab=

pk r
s

as:
d(a, b) = |a b|p = pk
1

Como p N, k Z entonces d(a, b) 0. S d(a, b) = |a b|p = 0 = |0|p

entonces por la unicidad de las representaciones p-adicas:
ab=0
a=b
m2 )Como b a = (1)(a b) y m.c.d.(r, s) = 1 m.c.d(r, s) = 1
entonces:
d(a, b) = |a b|p = pk
d(b, a) = |b a|p = pk
Es decir:
d(a, b) = d(b, a)
m3 )Sean a, b, c Q, entonces existen: k1 , k2 , k3 , r1 , r2 , r3 Z, s1 , s2 , s3
N tales que:
pk1 r1
ab=
s1
pk2 r2
ac=
s2
k
p 3 r3
cb=
s3
Donde: m.c.d(p, ri ) = m.c.d.(p, si ) = m.c.d.(ri , si ) = 1 para cada i {1, 2, 3}
Note que:
pk1 r1
pk2 r2 s3 + pk3 r3 s2
=ab=ac+cb=
s1
s2 s3
Lo cual es equivalente con:
pk2 r2 s3 s1 + pk3 r3 s2 s1 = pk1 r1 s2 s3
Por las propiedades puestas sobre los si , ri sus productos entre ellos no
tienen factores de la forma pn y de lo anterior tenemos que:
p = mn{pk2 , pk3 }|pk1
As, p |pk1 pk1 p p pk1 y ademas max{pk2 , pk3 } = p
por lo tanto:
d(a, b) = pk1 p = m
ax{pk2 , pk3 } = max{d(a, c), d(c, b)} d(a, c)+d(c, b)
Concluimos que (Q, d) es un espacio metrico.

8.- Sea

la coleccin de funciones reales de [0,1] a [0,1] para

, sea
. Entonces es una mtrica sobre .
Demostracin:
Sea
Veamos que se cumple
)
. Para
es equivalente a
es decir

, de esta manera

)
Por las propiedades de la norma
As
)
Si

se cumple que

, de esta manera
Es un espacio mtrico.

EQUIPO 3
Antonio Prez Gonzlez.
Jair Ral Snchez Morales.
Uziel Mauricio.

Espacios metricos, equipo 5.

Ejercicio 10.- Sea P (N) el conjunto potencia de N y sea X = P (N). Si
A, B X, se define:

si A = B

0
d(A, B) =

1 si A 6= B
m
Donde m se define como m = mn {A4B}, verificar que d es una metrica en
X.
Demostracion:
Veamos que d efectivamente es una metrica bien definida que cumple con
las propiedades para ser tal, con d : X X R.
Notemos primero que d es una funcion bien definida, pues si A, B
X x, y R tal que: d(A, B) = x y d(A, B) = y con x 6= y tenemos que si
A = B entonces d(A, B) = 0 lo cual implica que x = 0 = y. En caso de que
1
1
A 6= B tenemos que = mn {A4B} = lo que lleva a que x = y, asi pues
x
y
se ve que d esta bien definida.
Veamos ahora que d es una metrica en X, viendo que cumple las siguientes
propiedades:
1. Tenemos que si A = B entonces d(A, B) = 0 y que si A 6= B entonces
1
1
d(A, B) = , con m = mn {A4B}, m N 0 <
1, de lo cual
m
m
se ve que 0 d(A, B) (Propiedad de no negatividad), ademas de la
definicion de d es claro que d(A, B) = 0 A = B.
2. Dado que A4B = B4A es claro entonces que mn {A4B} = mn {B4A},
por lo tanto d(A, B) = d(B, A), cumpliendo asi la propiedad reflexiva.
3. Observemos que la desigualdad del triangulo se cumple tambien, sean
A, B, C X y sea m = mn {A4B} m A m B m (A B)c
y si r A tal que r < m = mn {A4B} r (A B) asi tenemos lo
siguiente:
a) Si r C c r (A4C) r > n = mn {A4C} n 6 r <
1
1
mn<m
< d(A, B) < d(A, C) + d(C, B).
m
n
1

b) Si r C r (A4C)c pues r (A C) pero r B y asi

r (B C) r (B4C)c , asi si m C m mn {B4C} =
1
1
pmp
d(A, B) d(A, C) + d(C, B).
m
p
c) Si m (C)c m (A4C) m mn {A4C} = q m
1
1
d(A, B) d(A, C) + d(C, B).
q
m
q
De lo anterior se nota que d : X X R es una metrica y que (X, d) es
un espacio metrico.

Equipo 7.
Sea X el onjunto de su esiones reales innitas (ai ) i N, tales que

ai es absolutamente onvergente.

i=1

Sea d : X X R, de tal manera que si ai = (ai ) i N y bi = (bi ) i N, d (a, b) =

|ai bi |.

i=1

Arma in:

|ai bi | onverge.

i=1

Demostra in de la arma in.

P
P
P
P
|ai | y
|bi | onvergen.
Por hiptesis se veri a que ai y bi son absolutamente onvergentes, es de ir
i=1

i=1

i=1

i=1

Consideremos la serie di = |ai | + |bi | para todo i N, luego se satisfa e que |ai bi | di para todo i N.

Adems 0 |ai bi | di para todo i N, por tanto

|ai bi |es onvergente dado que

i=1

el riterio de ompara in).

di es onvergente (por

i=1

Demostra in.
Como |ai bi | 0 para todo i N, enton es

|ai bi | 0. Por lo tanto, d (a, b) 0.

i=1

d (a, b) = 0

P
|ai bi | = 0

i=1

|ai bi | = 0
ai b i = 0

i N, dado que el valor absoluto es mtri a en R, tenemos:

iN

ai = b i
d (a, b) =

|ai bi | =

|bi ai | = d (a, b)

i=1

i=1

d (a, b) =

|ai bi | =

i=1

P
i=1

|ai ci + ci bi |, ya que el valor absoluto umple la desigualdad triangular :

i=1

|ai bi |

(|ai ci | + |ci bi |)

i=1

|ai ci | +

i=1

|ci bi |

i=1

= d (a, c) + d (c, b)

As, nalmente d (a, b) d (a, c) + d (c, b).

Ejercicios de espacios metricos

Equipo 2
Corona Moreno Ruth

Garca Ramrez Angel

Ra
ul
Guillen Zamora Jessica
Osorio Perez Jorge Enrique

Suponga que (X, d) es un espacio metrico. X Y , e es una metrica

arbitraria sobre Y \ X y a X, b Y \ X son puntos dados. Definimos:
d? : Y Y R
x, y Y :

x, y X
d(x, y)
?
e(x, y)
x, y Y \ X
d (x, y) =

d(a, x) + e(b, y) + 1 x X y Y \ X
Demostrar que (Y, d? ) es un espacio metrico y que d? |XX = d.
Demostraci
on. Abordaremos la demostracion por casos.
Sean x, y, z Y
1. Suponga que x, y, z X entonces:
a) d? (x, y)= d(x, y) 0
b) d? (x, y)= d(x, y) = d(y, x) =d? (y, x)
c) d? (x, y)=d(x, y) d(x, z) + d(z, y) =d? (x, z)+d? (z, y), pues d ya
es metrica.
2. Suponga que x, y, z Y \ X entonces:
a) d? (x, y)= e(x, y) 0
b) d? (x, y)= e(x, y) = e(y, x) =d? (y, x)

c) d? (x, y)=e(x, y) e(x, z) + e(z, y) =d? (x, z)+d? (z, y), pues e ya
es metrica.
3. Suponga sin perder generalidad que x X y y Y \ X entonces:
a) d? (x, y)= d(a, x) + e(b, y) + 1.Como d y e son metricas, entonces:
d(a, x), e(b, y) 0 entonces:
d(a, x) + e(b, y) + 1 0 en otras palabras:
d? (x, y) 0.
b) d? (x, y)= d(a, x) + e(b, y) + 1 = d(x, a) + e(y, b) + 1 =d? (y, x)
c) Para la desigualdad considere los casos:
z X.
Si esto ocurre, tenemos lo siguiente:
i) d? (x, y)=d(a, x) + e(b, y) + 1
ii) d? (x, z)=d(x, z)
iii) d(a, x) d(a, z) + d(z, x)
iv) d? (z, y)=d(a, z) + e(b, y) + 1
Aplicando i) y iii) tenemos:
d? (x, y)=d(a, x) + e(b, y) + 1 d(a, z) + d(z, x) + e(b, y) + 1
Y as, por ii) y iv) se tiene:
d? (x, y) d? (x, z)+d? (z, y)
z Y \X
Si esto ocurre, tenemos lo siguiente:
i0 ) d? (x, y)=d(a, x) + e(b, y) + 1
ii0 ) d? (x, z)=d(a, x) + e(b, z) + 1
iii0 ) e(b, y) e(b, z) + e(y, z)
iv 0 ) d? (z, y)=e(y, z)
Aplicando i0 ) a iii0 ) tenemos:
d? (x, y)=d(a, x) + e(b, y) + 1 d(a, z) + e(b, z) + e(y, z) + 1
Y as, por ii0 ) a iv 0 ) se tiene:
d? (x, y) d? (x, z)+d? (z, y)
Por lo tanto (Y, d? ) es un espacio metrico. La igualdad entre las funciones d
y d? |XX es inmediata de la definicion de d? .

Espacios metricos, equipo 5.

Ejercicio 10
Teorema: Sea n N y sean (Xi , di ), i {1, 2, ..., n} espacios metricos.
n
Y
Si X =
Xi , entonces si a = (a1 , a2 , ..., an ), b = (b1 , b2 , ..., bn ) se tiene que
i=1

las siguientes son metricas sobre X:

1 (a, b) =

n
X

di (ai , bi )

i=1

v
u n
uX
2 (a, b) = t [di (ai , bi )]2
i=1

(a, b) = max {di (ai , bi ) : 1 i n}

Mas aun, se tiene que:
(a, b) 2 (a, b) 1 (a, b)
Demostracion:
Veamos que efectivamente (a, b) 2 (a, b) pues si (a, b) = max {di (a, b) :
1 i n} = dr (ar , br ) para algun r {1, 2, ..., n} es claro que:
2

dr (ar , br ) = dr (ar , br ) [dr (ar , br )] = [dr (ar , br )] [dr (ar , br )]

n
X

[di (ai , bi )]2

i=1

v
v
u n
u n
X
p
u
uX
2
2
t
[dr (ar , br )]
[di (ai , bi )] | dr (ar , br ) | t [di (ai , bi )]2
i=1

i=1

pero dr (ar , br ) es metrica en Xr asi pues

dr (ar , br ) 0 | dr (ar , br ) |= dr (ar , br )
Por lo tanto hemos demsotrado que: (a, b) 2 (a, b)
Para ver que: 2 (a, b) 1 (a, b) notemos que:
v
v
2
u n
u n
n
X
uX
uX
t [di (ai , bi )]2
di (ai , bi ) t [di (ai , bi ))]2
i=1

i=1

i=1

n
X
i=1

!2
di (ai , bi )

n
X

[di (ai , bi )]2

i=1

n
X

!2
di (ai , bi )

i=1

n
X
i=1

X
[di (ai , bi )]2 +
2(di (ai , bi ))(dj (aj , bj ))
i<j

2(di (ai , bi ))(dj (aj , bj ))

i<j

donde:

2(di (ai , bi ))(dj (aj , bj )) = 2(d1 (a1 , b1 ))(d2 (a2 , b2 ))+2(d1 (a1 , b1 ))(d3 (a3 , b3 ))+

i<j

+2(d1 (a1 , b1 ))(dn (an , bn ))+2(d2 (a2 , b2 ))(d3 (a3 , b3 ))+ +2(dn1 (an1 , bn1 ))(dn (an , bn ))
Dado que cada di (ai , bi ) es metrica en Xi se tiene que la desigualdad se verifica, por lo tanto se tiene que: 2 (a, b) 1 (a, b) con lo que queda desmotrado
que:
(a, b) 2 (a, b) 1 (a, b)

Ejercicios de espacios metricos

Equipo 2
Corona Moreno Ruth

Garca Ramrez Angel

Ra
ul
Guillen Zamora Jessica
Osorio Perez Jorge Enrique

Sean X = R2 y A = {( n1 , n1 +

1
m)

: n, m N}, obtener:

1. A
2. X \ A
3. Fr(A)

SOLUCION.
Recordemos que para cualquier Y X se tiene que Y = YY0 . Ademas, Fr(Y) = YX \ Y
1. Afirmamos que A = A

1 1
n, n

Demostraci
on. Sea A0 =

1 1
n, n

1
: n N {(0, m
) : m N} {(0, 0)}.

:nN

S

S
1
0, m
:mN
{(0, 0)}.

Basta probar que A0 = A0 . Sea r > 0.

a) Veamos primero que A0 A0 .
1
), r) A 6= , para ello consideremos la
i) Sea m N.
que B((0, m
 Demostraremos

1 1
1
sucesi
on ( n , n + m ) nN A.

Como sabemos lmn

1
n

= 0 y lmn

1
n

1
m

1
m

Lo anterior implica que, para 2r > 0, n0 N t.q. n > n0 : | n1 0| <

1
1
) m
| < 2r
n1 N t.q. n > n1 : |( n1 + m
Si definimos n = m
ax{n0 , n1 } se cumple que n > n : ||( n1 , n1 +
1 1
1
1
||( n , n )|| | n | + | n | < 2r + 2r = r
n > n : ( n1 , n1 +

1
m)

r
2

1
1
m ) (0, m )||

1
B((0, m
), r), ademas, por su forma, ( n1 , n1 +

B((0,

1
), r) A 6=
m

m N : (0,

1
) A0
m

1
m)



ii) Consideremos la sucesi
on ( n1 , n1 + n1 ) nN A.
Como sabemos que lmn

1
n

= 0 y lmn

1
n

1
n

Entonces
n0 N t.q. n > n0 : | n1 0| <

| n1 + n1 0| < 2r
3

r
3

= 0, y dados que 3r , 2r
3 > 0.
y n1 N t.q. n > n1 :

Si definimos n = m
ax{n0 , n1 } se cumple que n > n : ||( n1 , n1 + n1 ) (0, 0)|| =
1 1
1
1
||( n , n + n )|| | n | + | n2 | < 3r + 2r
3 =r
n > n : ( n1 , n1 + n1 ) B((0, 0), r), ademas, ( n1 , n1 + n1 ) A
B((0, 0), r) A 6=
(0, 0) A0
iii) Sea n N, y consideremos la sucesion {( n1 , n1 +
1
Como lmm n1 + m
=
1
1
1
1
| m | = |( n + m ) n | < r.

m > m : ||( n1 , n1 +
m > m : ( n1 , n1 +

1
m)

1
m)

1
m )}mN

y r > 0, entonces m N t.q. m > m :

1
n

1
1
( n1 , n1 )|| = ||(0, m
)|| = | m
|<r

B(( n1 , n1 ), r), ademas, ( n1 , n1 +

1
m)

1 1
B(( , ), r) A 6=
n n
1 1
n N ( , ) A0
n n
A0 A0
b) Ahora s
olo resta probar que A0 A0 . Para ello consideremos el conjunto B = X \ A0
Sea (u, v) B
i) Si u = k1 , con k N, sea s0 = mn{|v ( k1 +
pues (u, v) B.
Adem
as, si a N, se cumple que

1
a

As, basta considerar s = mn{s0 , k1

1
a+1

>

1
k+1 }

1
m )|

: m N}. Notemos que 0 < r0

1
a+1

1
a+2 .

para que B((u, v), s) A = .

ii) Si u 6= 0 y u 6= k1 , para todo k N, consideremos s = nf{|u n1 | : n N} y

s > 0. Luego es falso que exista l N tal que u s < 1l < u + s por como hemos
definido s. As, se cumple que B((u, v), s) A =
iii) Si u = 0, sea s0 = nf{|v

1
m|

: m N}.

Adem
as, en R, se cumple que la distancia de un punto de la forma (0, k) a la
.
recta con ecuaci
on y = x + h, donde h, k R : h < k, es exactamente kh
2

De lo anterior se sigue que si definimos s =

Por i), ii) y iii) podemos concluir que (u, v)
/

s0
2 se cumple
A0 , mas a
un,

que B((u, v), s) A =

(X \ A0 ) (X \ A0 ).

A0 A0
A0 = A0

2. Afirmamos que X A = X.
Demostraci
on. Sean r > 0 y (x, y) X. Bastara probar que (X \ A)0 = X, es decir,
B((x, y), r)\{(x, y)} (X A) 6= .
Como se tiene que x < x + 2r y y < y + 2r , por la propiedad de los irracionales en los
reales, x0 , y0 R \ Q tales que x < x0 < x + 2r y y < y0 < y + 2r , luego |x0 x| < 2r y
|y0 y| < 2r , lo cual implica que ||(x0 , y0 ) (x, y)|| < r.
Tambien, sabemos que A Q Q, as, se tiene que (x0 , y0 )
/ A, se sigue que (x0 , y0 )
X \ A.
As, tenemos que (x0 , y0 ) B((x, y), r)\{(x, y)} (X \ A), es decir, B((x, y), r)\{(x, y)}
(X \ A) 6= .
(X \ A)0 = X
XA=X

3. Por definici
on Fr(A) = A X A = A X = A
Fr(A) = A

Espacios metricos, equipo 5.

Tercer ejercicio
Sea X = 2N = {(Xn )nN : Xi = {0, 1}} y denotemos, X = (Xn )nN , Y = (Yn )nN y sea:

si X = Y

0
d(X, Y ) =

1 si X 6= Y
m
Donde m se define como: m = mn {k N : Xk 6= Yk }.
Veamos que d es una metrica en X, notando que d cumple que:
1
1. Tenemos que si X = Y entonces d(X, Y ) = 0 y que si X 6= Y entonces d(X, Y ) = , con
m
1
m = mn {k N : Xk 6= Yk }, como m N 0 <
1, de lo cual se ve que 0 d(X, Y )
m
(Propiedad de no negatividad), ademas de la definicion de d es claro que d(X, Y ) = 0 X = Y .
2. Dado que X, Y X es claro entonces que mn {k N : Xk 6= Yk } = mn {k N : Yk 6= Xk },
por lo tanto d(X, Y ) = d(Y, X), cumpliendo asi la propiedad reflexiva.
3. Observemos que la desigualdad del triangulo se cumple tambien, sean X, Y, Z X entonces
tenemos lo siguiente:
a) Si X = Y entonces 0 = d(X, Y ) d(X, Z) + d(Z, Y ).
b) Si X 6= Y sea entonces m = mn {k N : Xk 6= Yk } y sea Z X si Z = X o Z = Y
(notese que no puede ser igual a ambas pues X 6= Y ) la desigualdad se cumple, asi pues
asumamos que no son iguales, y sea n = mn {k N : Xk 6= Zk } tenemos que dado que
X 6= Y supongamos, sin perder generalidad que Xm = 1 y Ym = 0 entonces si:
1) n = m entonces Xn 6= Zn entonces Yn = Zn y por lo tanto d(X, Y ) = d(X, Z).
1
1
1
< pero n < m entonces Xn = Yn , asi pues
= d(X, Y )
2) Si n < m entonces
m
n
m
1
1
1
2
d(X, Z) + d(Z, Y ) = +
n m < 2m.
n n
m
n
3) Finalmente si m < n entonces Xm = Zm 6= Ym por lo tanto d(X, Y ) = d(Z, Y ) asi
pues, sea cual sea el caso la desigualdad triaungular se cumple y por lo tanto d es una
metrica en X.

EQUIPO 6
TEOREMA. Si S

es un conjunto no vacio y acotado entonces diam(S)=sup(S)-inf(S).

SOLUCION.
Como S

y por hiptesis es acotado y no vacio, entonces existen

inf(S) y =sup(S).

Sean x,y S entonces

|x y|

{ |x y|: x,y S }. Entonces

es una cota superior del conjunto.

sup { |x y|: x,y S }= diam(S).

Por tanto diam(S) sup(S) inf(S).

P.D. que diam(S)sup(S) inf(S)

sup(S) diam(S)

Tenemos que |x|=|x y+y| |x y|+|y| |x| |y| |x y|

S}
|x y| diam(S) |x| |y|+diam(S)
S
x |y|+diam(S)
{x

|x| |y| |x y| sup{ |x y|: x,y

|y|+diam(S) es una cota superior del conjunto { x

: x S} |y|+diam(S)

sup(S) |y|+diam(S)

: x S}
S

supS) diam(S) |y|=y si y0; entonces sup(S) diam(S) es cota inferior de { y

sup(S) diam(S)
Por tanto diam(S) sup(S) inf(S)

: y S}

Equipo: 7 / ejercicio 3
Ejercicio: Consideremos un espacio mtrico (X, d) y un conjunto A X.

Entonces A = A.
En efecto, notemos que A A pues el interior de un conjunto siempre est

ya que la cerracontenido en ese conjunto, luego, se cumple que A A = A,

dura preserva contenciones y adems sabemos que A = A. De esto tenemos que

A A pues el operador interior tambin preserva contenciones.

Por otra parte, sabemos que A A ya que la cerradura de un conjunto siem

Luego A A.
pre contiene al conjunto, entonces A A,
pero A = A.

Por lo tanto, A = A.

Ser cierto que A = A?

pero A es un conjunto abierto y sabemos que A es el
Si. Tenemos que A A,

por tanto A A,
luego A A.

mximo conjunto abierto contenido en A,

de lo cual se sigue que A A = A.

Por otro lado, A A,

Por tanto, se cumple que A = A.

Anlisis Matemtico en Espacios Mtricos

Primer parcial
Tarea 3

1. Demostrar que todo subconjunto cerrado de R es interseccin numerable

de conjuntos abiertos.
2. Proabr que si X es un espacio mtrico, A es un conjunto abierto y B es
un subconjunto de X, entonces:
A B = si y slo si A B = .
3. Demostrar que si A y B son subconjuntos de un espacio mtrico X, entonces F r(A B) F r(A) F r(B). Probar que si A B = entonces la
contencin se convierte en igualdad.
4. Demostrar que si D es un subconjunto denso de X y A es abierto en
X entonces A = D A es denso. Se cumplir el resultado si A no es
abierto?
5. Sean A y B subconjuntos de un espacio mtrico X. Demostrar:
(A B)0 A0 B 0 y (A B)0 = A0 B 0 .
6. Sea X el espacio de funciones continuas de [0, 1] en [0, 1] con la metrica
uniforme. En cada uno de los siguientes casos, determine si el conjunto
dado es abierto o cerrado (o ninguno de los anteriores), obtener su interior
y su cerradura.
(a) A = {f X : f (0) = 0}
(b) B = {f X : f (0) = 0 = f (1)}
(c) {f X : (x [0, 1])f (x) < 1}.
7. Sean A y B subconjuntos no vacos de un espacio mtrico X. Demostrar
que d(A, B) = d(A, B).
8. Demostrar que para todo conjunto A de un espacio mtrico X:

A = A F r(A).
9. Sea A = { n1 +
((A0 )0 )0 = .

1
m

: n, m N} R2 . Demostrar que (A0 )0 6= pero

10. Sean X un espacio mtrico, x X y r > 0. Probar que cl(B(x, r))

B(x, r) y dar un ejemplo que muestre que la contencin puede ser propia.
11. Sea A un subconjunto de un espacio mtrico X. Demostrar que F r(A) =
si y slo si A es cerrado y abierto.
1

12. Un conjunto A X se denomina perfecto si A = A0 . Demostrar que A es

perfecto si y slo si A es cerrado y A no admite puntos aislados.
13. Sea X un espacio mtrico y sea
T C la coleccin de todos los subconjuntos
densos de X. Demostrar que C = {x X : x es un punto aislado}.
14. Sea n N y sea {(X1 , d1 ), (X2 , d2 ), , , (Xn , dn )} una familia de espacios
i=n
Q
mtricos. Si X =
Xi tiene asociada alguna mtrica producto y Di Xi
i=1

para cada i, demostrar que D =

i=n
Q

Di es denso si y slo si Di es denso

i=1

para cada 1 i n.
15. Demostrar que si X es un espacio mtrico y A X, entonces A es nunca
denso si y slo si para cada U X conjunto abierto existe V X conjunto
abierto tal que V A = .

Anlisis Matemtico en Espacios Mtricos

Segundo parcial
Tarea 1
1. Sea F un subespacio mtrico de X y B un abierto en F . Demostrar que
B es abierto en X si y slo si B (F F r(F )) = .
2. Sea F un subespacio mtrico de X y B un cerrado en F . Demostrar que
B es cerrado en X si y slo si B F
 F

3. Sea F un subespacio mtrico de X y sea A F . Denotemos por A

F
y A al interior y clausura de A en F respectivamente. Demostrar que
 F 


F
A
= X \ (F \ A) F y A = A F .
4. Demostrar que una bola abierta en un espacio mtrico conexo no necesariamente es conexa.
5. Sean A y B subconjuntos cerrados y no vacos de un espacio mtrico X.
Demostrar que si AB y AB son conexos, entonces A y B son concexos.
6. Si A y B son conjuntos de un espacio mtrico se dice que A y B estn
separados si A B = = A B.
Demostrar que si AB = y ambos conjuntos son abiertos o son cerrados
entonces A y B estn separados.
7. e mostrar que si d(A, B) > 0 entonces A y B setn separados. Proporcionar
un ejemplo que muestre que el recproco no es vlido.
8. Demostrar que un espacio mtrico es disconexo si y slo si es la unin de
dos conjuntos separados.
9. Si A y B son conjuntos conexos de un espacio mtrico X y no estn
separados, demostrar que A B es conexo.
10. Demostrar que si A y B son conjuntos conexos de X y AB 6= , entonces
A B es conexo.
11. Demostrar que el conjunto Q de los racionales es totallmente disconexo en
R.
12. Demostrar que todo conjunto conexo, abierto y cerrado en un espacio
mtrico X es una componente de X.
13. Demostrar que el conjunto de puntos de R2 con al menos una coordenada
irracional es conexo.
14. (*) Sean A y B conjuntos conexos y A B. Si C es una componente de
B \ A, demostrar que B \ C es conexo.

Anlisis Matemtico en Espacios Mtricos

Segundo parcial
Tarea 2

1. Supongamos que X es un espacio mtrico y A, B son conjuntos ajenos en

X. Si A es no vaco y B es compacto, demostrar que d(A, B) = 0 si y slo
si A B 6= .
2. Demostrar que si un conjunto es precompacto entonces su clausura tambin lo es.
3. Sea A un espacio mtrico Demostrar que si toda cubierta abierta de X
admite una subcubierta numerable, entonces X es separable.
4. Demostrar que la unin finita de conjuntos compactos (precompactos) es
un conjunto compacto (precompacto).
5. Una familia no vaca F de conjuntos no vacos cumple la Propiedad de
0
la Interseccin Finita T(P.I.F.) si siempre que F es una subfamilia finita
0
de F, se cumple que F 6= . Demostrar que X es un espacio mtrico
compacto si y slo si para toda familia
T F de subconjuntos cerrados en X
que cumple la P.I.F. se cumple que F 6= .
6. Sean X un espacio compacto y {An : n N} una familia numerable de
conjuntos
cerrados no vacos tal que n N : An+1 An . Demostrar que
T
A
es
cerrado y no vaco.
nN n
7. Sea X un espacio mtrico tal que para cada x X y cada r > 0, la bola
cerrada B(x, r) es un conjunto compacto. Demostrar que si K X es
cerrado y acotado entonces K es compacto. Dar un ejemplo que muestre
que no se puede omitir la propiedad de compacidad en X.
8. Dar un ejemplo de un conjunto no acotado cuyo interior sea acotado.
9. Demostrar que si A X entonces diam(A) = diam(A). Demostrar mediante un ejemplo que en general no es cierto que diam(A) = diam(int(A)),
incluso cuando int(A) 6= .
10. Dar un ejemplo de dos subconjuntos no compactos cuya unin e interseccin sean conjuntos compactos.

Anlisis Matemtico en Espacios Mtricos

Tercer parcial
Tarea 1
1. Demostrar que si X es un espacio mtrico y {xn }nN es una sucesin
convergente en X tal que xn x. Demostrar que A = {xn : n N} {x}
es un conjunto compacto.
2. Sea {xn }nN una sucesin convergente en R tal que xn x y x < y.
Demostrar que {n N : y < xn } es un conjunto finito.
3. Sean {xn }nN y {yn }nN sucesiones en X. Demostrar que si xn x y
d(xn , yn ) 0 entonces yn x.
4. Demostrar que toda sucesin cuyo rango es un conjunto relativamente
compacto admite una subsucesin convergente.
5. Hallar
un ejemplo de una sucesin real {xn }nN no convergente tal que
T
{xn : n k} = {0}.
kN

6. Dar un ejemplo de un espacio mtrico X y una sucesin {xn }nN en X

que no admite subsucesiones convergentes pero tal que
nf{d(xn , xm ) : n, m N} = 0.
7. Supngase que {xn }nN es una sucesin en X y admite una subsucesin
que converge a z X. Demostrar que si A = {xn : n N}, entonces
dist(A, z) = 0. Demostrar que el recproco es falso.
8. Supngase que X es un espacio mtrico y D X. Demostrar que D es
denso en X si y slo si para cada x X, existe una sucesin en D que
converge a x.
9. Construir una mtrica en R de tal forma que { n1 }nN converge a x 6= 0
10. Sean X un espacio mtrico, S X y z X. Demostrar que las siguientes
proposiciones son equivalentes:
z int(S),
Si {xn }n N es sucesin X y xn z entonces existe k N tal que
{xn : n k} S,
Ningna sucesin en X \ S converge a z.
11. Sea {xn }n N una sucesin real acotada y para cada k N sea Ak =
{xn : n k}.
Demostrar que existen lm sup xn = nf{sup AK : k N} y lmnf xn =
sup{nf AK : k N}
Demostrar que xn z si y slo si lmnf xn = z = lm sup xn .

Anlisis Matemtico en Espacios Mtricos

Tercer parcial
Tarea 2
1. Demostrar que toda subsucesin de una sucesin de Cauchy es de Cauchy.
2. Demostrar que todo espacio mtrico discreto es completo.
3. Demostrar que una sucesin de Cauchy cuyo rango es finito es una sucesin
eventualmente constante.
4. Sea S un conjunto denso en el espacio (E, d), tal que toda sucesin de
Cauchy en S es convergente (no necesariamente en S). Demostrar que
(E, d) es completo.
5. Demostrar que si todo conjunto cerrado y acotado de (X, d) es un subespacio completo, entonces (X, d) es completo.
6. Demostrar que todo subconjunto de un conjunto magro es magro.
7. Probar que la unin numerable de conjuntos magros es un conjunto magro.
8. Supngase que X es un espacio mtrico, z X y {xn }nN es una sucesin en X que admite una subsucesin que converge a z. Demostrar que
dist(z, A) = 0, donde A = {xn : n N}. Dar un ejemplo que muestre que
el recproco no se cumple.
9. Sean {xn }nN y {yn }nN sucesiones de Cauchy en un espacio mtrico X.
Demostrar que {d(xn , yn )}nN es una sucesin convergente.
10. Se X un espacio mtrico y sea S X. Demostrar que S es denso en X si
y slo si todo punto x R es punto de convergencia de una sucesin en S.
11. Demostrar que si X es el conjunto de sucesiones reales acotadas y
d:X X R
est definida por d({xn }nN , {yn }nN ) = sup{|xn yn | : n N}, entonces
(X, d) es un espacio mtrico. Ms an, probar que si A es el conjunto de
sucesiones reales convergentes, entonces A es un conjunto cerrado en X.

Tarea 1

December 14, 2013

1. Sean f : A X Y continua en el conjunto A y y Y . un puto cualquiera. Demostrar que

B = {x A : f (x) = y} es un conjunto cerrado.
2. Sean A y B conjuntos cerrados, no vacos y ajenos en el espacio X. Demostrar que existen conjuntos
abiertos y disjuntos U, V tales que A U y B B. (Sugerencia: Considerar las funciones f (x) =
d(x, A), g(x) = d(x, B))
3. Demostrar que si un espacio X es compacto y todos sus puntos son aislados, entonces X es finito y
homeomorfo a un espacio discreto.
4. Sean f : A X Y una funcin continua y A un conjunto conexo. Supongamos que para cada x A
existe una vecindad S de x tal que f es constante en S A. Demostrar que f es constante en A.
5. Sean f, g : X R funciones continuas. Demostrar que h : X R dada por h(x) = max{f (x), g(x)}
es una funcion continua.
6. Demostrar que si f : X Y es continua, D X es denso en X y f es constante en D, entonces f es
constante.
7. Sea f : X Y continua y sobreyectiva. Demostrar que si D es denso en X entonces f [D] es denso en
Y.
8. Demostrar que si f : X R es continua, no constante y X es conexo. Demostrar que f [X] es no
numerable.

Tarea 2
1. Sea f : R R. Demostrar que f es continua si y slo si para cada r R los
conjuntos Ar = {x R : f (x) < r} y Br = {x R : f (x) > r} son abiertos.
2. Demostrar que si f : R R es una funcin peridica entonces es uniformemente continua.
3. Si A es un conjunto compacto de un espacio mtrico X , demostrar que existen
a, b A tales que diam(A) = d(a, b)
4. Demostrar que si f : A X Y es una funcin uniformemente continua, A
es precompacto y Y es completo, entonces f [A] es relativamente compacto.
5. Demostrar que f : X Y es una funcin uniformemente continua si y slo si
para cualesquiera conjuntos no vacos A y B en X , se cumple: d(A, B) = 0 si y
slo si d (f [A], f [B]) = 0.