Tarea 1

1. Para x, y R, definimos
d1 (x, y) = (x y)2
p
d2 (x, y) = |x y|
d3 (x, y) = |x2 y 2 |
Determina cuales definen una metrica en R.

2. Sea X infinito. Para cada p, q X, definimos d : X X R como


1 si p 6= q
d(p, q) =
0 si p = q

(a) Prueba que es una metrica para X. Cuales subconjuntos de la metrica son abiertos?
Cuales son cerrados? Cuales son compactos? A esta metrica se le conoce como la
metrica discreta en X.
(b) Describe los conjuntos

B disc (0, 1) := {x R2 |ddisc (x, 0) 1},

Bdisc (0, 1) := {x R2 |ddisc (x, 0) < 1},

donde ddisc es la metrica discreta en Rn .

3. A un conjunto E Rn es convexo si

x + (1 )y E

para cualesquiera x, y E y 0 < < 1. Demuestra que toda bola es convexa.

4. Sea (X, d) un espacio metrico. Prueba que, para cualesquiera x, y, z X, se cumple que

|d(w, x) d(y, z)| d(w, y) + d(x, z).

5. A un par (X, ) se le llama pseudometrica si satisface todas las condiciones de una metrica
excepto que (x, y) = 0 no necesariamente implica que x = y. Demuestra que (x, y) = 0 es
una relacion de equivalencia y que si X es el conjunto de las clases de equivalencia bajo esta
relacion, entonces (x, y) depende depende solo de las clases de equivalencia de x y y y define
una metrica en X .

6. Sea (Ai )iI una familia de subconjuntos en un espacio metrico, con I infinito. Entonces:

a) Si Bn = ni=1 Ai entonces Bn = ni=1 Ai

S S
S S
b) Si B = iI Ai entonces B iI Ai

7. Sea (X, d) un espacio metrico y A, B, U X entonces:

1
 (a) Si U A y U es abierto, entonces U A .
(b) A es abierto.
(c) (A ) = A .
(d) A A.
(e) Si A B, entonces A B .
(f) (A B) = A B .
(g) A B (A B)

8. Construye un conjunto acotado en R con exactamente tres puntos lmite.

9. En un espacio metrico, un conjunto se llama separable si contiene un denso numerable. De-

muestra que Rn es separable.

10. Da un ejemplo de una cubierta abierta de (0, 1) sin subcubiertas finitas.

11. Construye un conjunto compacto en R cuyo conjunto de puntos lmite es numerable.

12. Si f : X Y es continua entre espacios metricos, entonces

E X, f (E) f (E)

13. Sea f : X R continua con X espacio metrico. Demuestra que Z(f ) := {x X|f (x) = 0} es
cerrado en X. Nota: al conjunto X \ Z(f ) = {x X|f (x) 6= 0} se le conoce como el soporte
de f , y se denota por supp(f ).

14. Sean (X, d) y (Y, d0 ) espacios metricos y f, g : X Y funciones continuas y E X denso.

Demuestra que f (E) es denso en f (X). Si ademas g(p) = f (p), para todo p E entonces
g(p) = f (p), para todo p X.