Modelo TSP 1 Lapso 2022-2 768 – 1/4

Universidad Nacional Abierta Topologı́a de Espacios Métricos (Cód. 768)

Vicerrectorado Académico Cód. Carrera: 126
Área de Matemática Fecha: 30-07-2022

MODELO DE RESPUESTAS
Objetivos 1 al 3.

PREGUNTAS
OBJ 1 PTA 1

a. Demostrar, que en Rn , la clausura de una esfera abierta, es la cerrada del mismo centro y radio,
y su frontera es la superficie esférica correspondiente.

b. Si A y B son conjuntos no vacı́os en (E, d), probar:

d (A, B) = d Ā, B̄

Solución:

a. Se demostrará que B(x, ǫ), cumple con:

B(a, ǫ) = B(a, ǫ)

Como B(a, ǫ) es cerrada, tenemos que si x ∈

/ B(x, ǫ) entonces existe una B(x, ǫ) ⊆ E − B(a, ǫ),
luego x no es un punto adherente de B(a, ǫ), por lo tanto,

B(a, ǫ) ⊆ B(a, ǫ)

Sea x ∈ B(a, ǫ), veamos que y = α · a + (1 − α)x ∈ B(a, ǫ) 0 < α < 1.

d (α · a + (1 − α) · x, a) = kα · a + (1 − α) · x − ak ≤ (1 − α) kx − ak < kx − ak ≤ ǫ

Sea B(x, δ) una bola arbitraria de centro x. Si α < δǫ , 0 < α < 1, el punto y = α · a + (1 − α)x ∈
B(a, ǫ) está en B(x, δ) ya que:

ky − xk = kα · a + (1 − α) · x − xk = α ka − xk ≤ α · ǫ < δ

Pero como se vió anteriormente, que y = α · a + (1 − α)x ∈ B(a, ǫ), tenemos que si x ∈ B(a, ǫ)
toda bola B(x, δ) contiene puntos de B(a, ǫ), entonces, x ∈ B(a, ǫ), es decir:

B(a, ǫ) ⊆ B(a, ǫ)

Especialista: Alfredo Espejo

Área de Matemática
Modelo TSP 1 Lapso 2022-2 768 – 2/4

Además se tiene que:

β (B(a, ǫ)) = B(a, ǫ) ∩ (E − B(a, ǫ))

 ◦

= B(a, ǫ) ∩ E− B(a, ǫ)

= B(a, ǫ) ∩ (E − B(a, ǫ))

= B(a, ǫ) − B(a, ǫ) = S(a, ǫ).

b. Como A ⊆ Ā y B ⊆ B̄,

{d(x, y) : x ∈ A, y ∈ B} ⊆ d(x, y) : x ∈ Ā, y ∈ B̄

Luego,

inf {d(x, y) : x ∈ A, y ∈ B} ≥ inf d(x, y) : x ∈ Ā, y ∈ B̄
Por lo tanto,
d(Ā, B̄) ≤ d(A, B)
Si d(Ā, B̄) < d(A, B), sea ǫ = d(A, B) − d(Ā, B̄). Entonces existe un par (x, y) con x ∈ Ā y
y ∈ B̄ tal que:

ǫ
d(x, y) < d(Ā, B̄) + (1)
2
ǫ
Existe un x′ ∈ A tal que d(x′ , x) < , (pues x ∈ Ā).
4
ǫ
Existe un y ′ ∈ B tal que d(y ′ , y) < , (pues y ∈ B̄).
4
Entonces,
ǫ ǫ ǫ
|d(x, y) − d(x′ , y ′ )| ≤ d(x, x′ ) + d(y, y ′ ) < + =
4 4 2
y como,

ǫ
d(x, x′ ) ≥ d(A, B) > d(Ā, B̄) + > d(x, y)
2
se sigue que
ǫ
d(x′ , y ′ ) − d(x, y) < (2)
2

pero,

d(A, B) ≤ d(x′ , y ′ ) (3)

Especialista: Alfredo Espejo

Área de Matemática
Modelo TSP 1 Lapso 2022-2 768 – 3/4

Restando (3) y (1):

ǫ
d(A, B) − d(Ā, B̄) − < d(x′ , y ′ ) − d(x, y)
2
ǫ
ǫ − < d(x′ , y ′ ) − d(x, y)
2
ǫ
< d(x′ , y ′ ) − d(x, y)
2

La última desigualdad está en contradicción con (2). Por lo tanto, d(A, B) = d(Ā, B̄).

OBJ 2 PTA 2

a. Demuestre que un espacio métrico (E, d) es disconexo, si y sólo si, es la unión de dos conjuntos
separados.

b. Demuestre que un espacio métrico es conexo, si y sólo si, todo subconjunto propio tiene frontera
no vacı́a.

Solución:

a. Supongamos que (E, d) es disconexo, entonces existe un conjunto propio de E : A 6= Ø, tal que
A es abierto y cerrado. Probaremos que A y B = E − A son conjuntos separados. Tenemos
que: A = A y B = E − A = B. Entonces es claro que: A ∩ B = Ø y B ∩ A = Ø.

Supongamos ahora que E = A ∪ B con A y B separados. Asumiendo que A yB no

son vacı́os y que A ∪ B tenemos que A ∪ B es abierto y por ejercicio 5, libro maestro, pág.
79, tenemos que A y B son abiertos; pero A ∪ B es cerrado y por el mismo ejercicio: A y B
son cerrados. Por lo tanto, A es abierto y cerrado y es subconjunto propio de E, luego E es
disconexo.

b. Ordene las observaciones desarrolladas en el libro maestro,pág.68.

OBJ 3 PTA 3

a. Pruebe que si conjunto es precompacto, entonces su clausura también lo es.

b. Demostrar que Rn con la métrica usual,es separable.

Especialista: Alfredo Espejo

Área de Matemática
Modelo TSP 1 Lapso 2022-2 768 – 4/4

Solución:

a. Sea A precompacto, entonces, para cada ǫ > 0, existe un conjunto finito {x1 , x2 , ..., xn } ⊆ A,
tal que:
[n  ǫ
A⊆ B xi ,
i=1
2

Sea x ∈ A, entonces, B x, 2ǫ contiene a un y ∈ A, pero y ∈ B xk , 2ǫ para algún k ∈

{1, 2, ..., n}. Entonces,

ǫ ǫ
d(xk , x) ≤ d(xk , y) + d(y, x) < + = ǫ
2 2
Es decir, para todo x ∈ A: x ∈ B (xk , ǫ) para aigún xk donde k = 1, 2, ..., n. Por lo tanto, A
[n
A⊆ B (xi , ǫ), es decir A es precompacto.
i=1

b. Sea Qn ⊆ Rn . Si x ∈ Rn , todo entorno S de x contiene puntos de Qn , por lo tanto: Rn ⊆ Qn ,

esto indica que Rn es seprable.

Especialista: Alfredo Espejo

Área de Matemática