0.

1 Definición Dado un conjunto no vacío X, una métrica (o distancia) es una función

d : X × X → R que satisface las siguientes condiciones para todo x, y, z elementos de X.

1. d(x, y) = 0 ⇔ x = y

2. d(x, y) = d(y, x) (Conmutatividad)

3. d(x, z) ≤ d(x, y) + d(y, z) (Desigualdad Triangular)

4. d(x, y) ≥ 0

Nótese que la cuarta condición se puede deducir a partir de las tres primeras.

0.2 Definición Se llama espacio métrico a la estructura (X, d), donde X es un conjunto no
vacío y d es una métrica definida en X.

Ejemplos de espacios métricos:

1. X = R, d(x, y) = |x − y| (Recta real, métrica euclidiana)
  p
a1
b1

2. X = R2 , d a2 , b2 = (a1 − b1 )2 − (a1 − b2 )2
 
a1
b1

3. X = R2 , d a2 , b2 = máx{|a1 − b1 | −|a1 − b2 | }

0 si x = y
4. X 6= ∅, d(x, y) = (Espacio métrico discreto)
1 6 y
si x =

Acotaciones:
Para un conjunto X dado es posible definir más de una métrica.

Cuando la métrica del espacio está sobreentendida, se puede decir simplemente “espacio
métrico X” aunque realmente se refiera a (X, d).

A los elementos de X se los llama puntos del espacio métrico.

0.3 Definición Sea (X, d) un espacio métrico y sea p ∈ X y r > 0, un punto de X y un número
real, respectivamente. Se llama bola abierta centrada en p con radio r al conjunto

B(p, r) = { q ∈ X | d(p, q) < r }

0.4 Definición Sea (X, d) un espacio métrico y sea p ∈ X y r > 0, un punto de X y un número
real, respectivamente. Se llama bola cerrada centrada en p con radio r al conjunto

B(p, r) = { q ∈ X | d(p, q) ≤ r }

0.5 Definición Sean E ⊂ X, p ∈ X. Se dice que p es un punto de acumulación del conjunto E

si y solo si cualquier bola abierta de centro p contiene al menos un punto de E distinto de p, es
decir si y solo si
∀r > 0 : (E − {p}) ∩ B(p, r) 6= ∅
Esto significa que siempre se puede encontrar un punto del conjunto E tan cercano al punto p
como se desee. Nótese que no necesariamente p ∈ E.

1
0.6 Definición Sea E ⊂ X y sea p ∈ E. Se dice que p es un punto aislado del conjunto E si y
solo si p no es punto de acumulación de E.

0.7 Definición Sea E ⊂ X, se dice que p es punto interior de E si y solo si ∃r > 0 tal que
B(p, r) ⊂ E.
Observamos que si p es punto interior de E, entonces p ∈ E.

0.8 Definición Sean E ⊂ X, p ∈ X. Se dice que p es punto de adherencia del conjunto E si

para todo ε > 0
B(p, ε) ∩ E 6= ∅
Observaciones:

Si p ∈ E, entonces p es punto de adherencia de E.

Si p es punto de acumulación de E, entonces p es punto de adherencia de E.

0.9 Definición Se denota A al conjunto clausura de A definido por

A = { p | p es punto de adherencia de A }

Se podría decir que A se obtiene de agregar a A todos sus puntos de acumulación.

0.10 Definición Se denota A0 al conjunto derivado de A definido por

A0 = { p | p es punto de acumulación de A }

Observamos que A = A ∪ A0 .

0.11 Definición Sean E ⊂ X, p ∈ X. Se dice que p es punto de frontera de E si y solo si

∀ε > 0 : B(p, ε) ∩ E 6= ∅ ∧ B(p, ε) ∩ E c 6= ∅

Observaciones:

Nótese que no necesariamente p ∈ E.

Todo punto aislado es también punto de frontera.

Todo punto de frontera es también punto de adherencia.

0.12 Definición Sea E ⊂ X, se dice que E es conjunto abierto si y solo si todos sus puntos
son puntos interiores.

0.13 Definición Sea E ⊂ X, se dice que E es conjunto cerrado si y solo si E 0 ⊆ E. Nótese que
E 0 = ∅ es posible.

Observaciones:

Decir “No Cerrado” no implica “Abierto”

Decir “No Abierto” no implica “Cerrado”

2
 Existen conjuntos que son abiertos y cerrados a la vez.

Existen conjuntos que no son ni abiertos ni cerrados.

Lemas Útiles:
1. Toda bola abierta es un conjunto abierto.

2. Toda bola cerrada es un conjunto cerrado.

3. A es cerrado si y solo si A = A.

4. Un conjunto E es abierto si y solo si E c es cerrado.

Si (X, d) es un espacio métrico, entonces:

5. ∅ es abierto.

6. ∅ es cerrado.

7. X es abierto.

8. X es cerrado.

0.14 Definición Sea X un conjunto no vacío y P(X) = { A | A ⊆ X } su conjunto potencia .

Una topología T ⊆ P(X) es una colección de subconjuntos que satisface las siguientes condiciones:

1. El conjunto vacío y X están en T .

∅ ∈ T ,X ∈ T

2. La intersección de cualquier subcolección finita de conjuntos de T está en T .

(A ∈ T , B ∈ T ) =⇒ (A ∩ B ∈ T )

3. La unión de cualquier subcolección de conjuntos de T está en T .

∀S ⊂ T , O∈S O ∈ T
S

0.15 Definición Se define espacio topológico a la estructura (X, T ), donde X es un conjunto

no vacío y T ⊆ P(X) es una topología definida en X.

0.16 Teorema Todo espacio métrico (X, d) tiene asociado un espacio topológico (X, Td ), donde
Td es la familia de todos los conjuntos abiertos de X para la métrica d. Td cumple con los tres
axiomas de una topología.

0.17 Definición Dado un espacio métrico (X, d). Sea {xn } una sucesión de elementos de X.
Se define
lı́m xn = X
n→∞

si para todo conjunto abierto V que contenga a X se cumple

∃N ∈ N, ∀n ≥ N : xn ∈ V

0.18 Definición Dado un espacio métrico (X, d). Una sucesión {xn } de elementos de X es una
sucesión de Cauchy si

∀ε > 0, ∃N ∈ N, ∀m, n ≥ N : d(xn , xm ) < ε

3
0.19 Definición Si toda sucesión de Cauchy de un espacio métrico (X, d) tiene un límite en
X, entonces X es llamado un espacio métrico completo.