Análisis Matemático 1 - Licenciatura en Fı́sica y Matemáticas

Lectura 4: Subespacios

Miguel Ángel Valencia Bucio

En esta lectura consideraremos subconjuntos de un espacio métrico X y veremos su topologı́a.

1. Proposición/definición. Sea (X, d) un espacio métrico, y sea Y ⊆ X un conjunto no vacı́o. Entonces

la restricción de d a Y × Y es una métrica sobre Y . Al par (Y, d|Y ×Y ) lo llamamos un subespacio del
espacio métrico (X, d).
Demostración: Ejercicio.

Si Y es un subespacio de X, por simplicidad escribiremos d para denotar la restricción de la métrica

de X a Y .

2. Sea (X, d) un espacio métrico, sea Y ⊆ X y sea x ∈ Y . Definimos la bola abierta en Y con centro en x
y radio r > 0 como el conjunto
BY (x, r) := {y ∈ Y : d(x, y) < r}.
Los conceptos de bola cerrada en Y y esfera en Y se definen de manera similar.

3. Observación. Sea Y un subespacio de (X, d). Dado que (Y, d) es un espacio métrico en sı́ mismo,
los conceptos de vecindad de un punto, interior y cerradura de un conjunto, conjunto abierto y conjunto
cerrado, punto interior, punto de adherencia y punto de acumulación y, finalmente, lı́mite de una sucesión
tienen sentido en Y . De la definición de bola abierta en Y concluimos lo siguiente: si x ∈ Y y r > 0,
entonces
BY (x, r) = Y ∩ BX (x, r),
donde BX (x, r) es la bola abierta en X con centro en x y radio r.

Basados en esto, tenemos el siguiente resultado:

4. Proposición. Sea Y un subespacio de X, sea x ∈ Y y sea V un subconjunto de Y que contiene a x.

Entonces V es vecindad de x en Y si y solo si existe una vecindad W de x en X tal que

V = W ∩ Y.

Demostración. Para la necesidad, supongamos que V es una vecindad de x en Y . Entonces, por definición
de vecindad, existe r > 0 tal que BY (x, r) ⊆ V . Sea

W := V ∪ BX (x, r).

Entonces W es vecindad de x en X y, además,

W ∩ Y = (V ∪ BX (x, r)) ∩ Y = (V ∩ Y ) ∪ (BX (x, r) ∩ Y ) = V ∩ BY (x, r) = V.

1
Para la suficiencia, sea W una vecindad de x en X tal que V = W ∩ Y . Por un lado, existe r > 0 tal que
BX (x, r) ⊆ W . Tenemos entonces

BY (x, r) = BX (x, r) ∩ Y ⊆ W ∩ Y = V ;

luego V es vecindad de x en Y .

Como consecuencia de este resultado tenemos lo siguiente:

5. Teorema. Sea Y un subespacio de un espacio métrico (X, d), y sea A ⊆ Y . Entonces:

(i ) A es abierto en Y si y solo si A = G ∩ Y para algún conjunto G abierto en X.
(ii ) A es cerrado en Y si y solo si A = F ∩ Y para algún conjunto F cerrado en X.
Demostración: Ejercicio.

6. Observación. Algo que debemos notar es que no todo conjunto abierto en un subespacio Y es abierto
en X. Por ejemplo, en el subespacio [0, 1] de R con la métrica usual, el mismo subespacio [0, 1] es abierto
en sı́ mismo, pues
[0, 1] = ] − 1, 2[ ∩ [0, 1].
Sin embargo, este conjunto claramente es cerrado en R. De manera similar, no todo conjunto cerrado en
Y es cerrado en X.

Un resultado que se sigue directamente del teorema 5 es el siguiente:

7. Proposición. Sea A un subconjunto de un subespacio Y de un espacio métrico X. Entonces A es

cerrado si y solo si
A = A ∩ Y,
donde A es la cerradura de A en X.

· · · ·

Ejercicios.

1. Demuestre el teorema 5.

2. Sea (X, d) un espacio métrico, sea Y un subespacio de X y sea A ⊆ Y . Demuestre lo siguiente:

(i ) Si A es abierto en Y y Y es abierto en X, entonces A es abierto en X.
(ii ) Si A es cerrado en Y y Y es cerrado en X, entonces A es cerrado en X.
3. Sea R con la métrica usual. Consideremos el subespacio Q. Muestre que un intervalo abierto I en
Q es cerrado en Q si y solo si los extremos de la cerradura de I en R son irracionales.

4. Sea (X, d) un espacio métrico, y sea Y un subespacio de X. Demuestre que para todo subconjunto
A de Y se tiene que A0 |Y , el conjunto derivado de A en Y , es un subconjunto de A0 . Además, dé ejemplos
donde esta contención sea estricta.

5. Sea {xn }∞
n=1 una sucesión acotada en un espacio métrico X. Sea Y la imagen de esta sucesión en X.
Demuestre que la imagen de una subsucesión de {xn }∞ n=1 que sea convergente en X es un subconjunto

2
cerrado de Y .

6. Sea X un espacio métrico, sea Y un subespacio de X y sea A ⊆ Y . ¿Se tiene que A es abierto en Y
si y solo si
A = Å ∩ Y,
donde Å es el interior de A en X? Justifique su respuesta.