Cap tulo 2 Espacios Topol ogicos

2.8. Subespacios

En nuestro estudio de espacios m etricos vimos que es posible convertir un subconjunto A de un espacio m etrico (X, ) en un nuevo espacio m etrico considerando la restricci on de la funci on al conjunto A A. As por ejemplo, el conjunto Q de los n umeros racionales hereda la estructura de espacio m etrico usual de los n umeros reales restringiendo la m etrica usual, originalmente denida en R R, al conjunto Q Q. En el nuevo espacio m etrico la bola abierta de radio > 0 centrada en un n umero racional x es el conjunto {y Q : |x y | < }. Observando con un poco de atenci on, nos daremos cuenta de que este conjunto es precisamente la intersecci on de la bola abierta en R de radio y centrada en x, con el conjunto de los n umeros racionales. En realidad cada conjunto abierto en Q resulta ser la intersecci on de un conjunto abierto en R con los n umeros racionales. En este sentido decimos que la topolog a usual de Q es la topolog a heredada por Q de R. En general tenemos el siguiente resultado. 2.8.1 Proposici on. Sean (X, ) un espacio topol ogico y A X . La colecci on = {O A : O } es una topolog a sobre A. Demostraci on. La demostraci on de esta proposici on se deduce de los siguientes hechos: 1. A = . 1

2. X A = A 3. (O1 A) (O2 A) = (O1 O2 ) A. 4. Si {Oj }j J es una colecci on de subconjuntos abiertos de X entonces (Oj A) = ( Oj ) A.

Estas observaciones dan lugar a la siguiente denici on. 2.8.2 Denici on. Sean (X, ) un espacio topol ogico y A X . La colecci on {O A : O } es la topolog a heredada por A de X o la topolog a inducida por X (o por la topolog a de X ) sobre A. El espacio topol ogico formado se llama un subespacio de X . En adelante, a menos que se explicite lo contrario, consideraremos cada subconjunto de un espacio topol ogico X como un subespacio de X . Esto es, consideraremos siempre que tiene la topolog a heredada de X . 2.8.3 Ejemplos. 1. La topolog a usual sobre cada subconjunto de Rn es la topolog a inducida n por la topolog a usual de R . 2. Si (X, ) es un espacio m etrico y A X , la topolog a inducida sobre A es la topolog a generada por la restricci on de al conjunto A A. 3. La topolog a usual de R induce la topolog a discreta sobre el conjunto 1 1 : n N ; pero NO sobre el conjunto : n N {0}. La raz on n n es que el conjunto {0} no es abierto en el subespacio. 4. El eje x como subespacio del Plano de Moore tiene la topolog a discreta. En efecto, la intersecci on de un conjunto de la forma A {z }, donde A es una bola abierta usual del plano, contenida en el semiplano superior y tangente al eje x en z , con el eje x es el conjunto {z }. 2

5. Cualquier subespacio de un espacio discreto es discreto y cualquier subespacio de un espacio trivial es trivial. Una base para una topolog a sobre un conjunto X tambi en describe la topolog a de los subespacios de X como lo muestra el siguiente resultado. 2.8.4 Lema. Sean X un espacio topol ogico y A X . Si B es una base para la topolog a de X entonces la colecci on BA = {O A : O B} es una base para la topolog a inducida sobre A. Demostraci on. Es inmediato que cada elemento de BA es abierto en A. Ahora bien, todo subconjunto abierto de A tiene la forma C A donde C es un subconjunto abierto de X . Si a C A y O es un abierto b asico de X que contiene a A y est a contenido en C , entonces a O A y O A C A.

2.8.5 Ejemplo. La colecci on {} {[0, 1]} {[0, a) : 0 < a 1} {(a, b) : 0 a < b 1} {(a, 1] : 0 a < 1} es una base para la topolog a usual del intervalo [0, 1]. El siguiente resultado resume algunas de las m as importantes propiedades de los subespacios. 2.8.6 Proposici on. Si A es un subespacio de un espacio topol ogico X entonces: 1. Un subconjunto F de A es cerado en A si y s olo si existe K cerrado en X tal que F = K A. 2. Si E A y denotamos por AdhA E la adherencia de E en A y por AdhX E la adherencia de E en X , entonces AdhA E =AdhX E A. 3. Si a A, entonces V es una vecindad de a en A si y s olo si existe una vecindad U de a en X tal que V = U A. 3

4. Si a A y si B (a) es un sistema fundamental de vecindades de a en X , entonces {U A : U B (a)} es un sistema fundamental de vecindades de a en A. 5. Si E A y denotamos por IntA E el interior de E en A y por IntX E el interior de E en X , entonces IntA E IntX E A. 6. Si E A y denotamos por FrA E la frontera de E en A y por FrX E la frontera de E en X , entonces FrA E FrX E A.

Ejercicios
1. Demuestre que cualquier subespacio de un espacio discreto es discreto y cualquier subespacio de un espacio trivial es trivial. 2. Sea A un subespacio de X . Demuestre cada una de las siguientes armaciones: a ) Un subconjunto F de A es cerado en A si y s olo si existe K cerrado en X tal que F = K A. b ) Si E A y denotamos por AdhA E la adherencia de E en A y por AdhX E la adherencia de E en X , entonces AdhA E =AdhX E A. c ) Si a A, entonces V es una vecindad de a en A si y s olo si existe una vecindad U de a en X tal que V = U A. d ) Si a A y si B (a) es un sistema fundamental de vecindades de a en X , entonces {U A : U B (a)} es un sistema fundamental de vecindades de a en A. e ) Si E A y denotamos por IntA E el interior de E en A y por IntX E el interior de E en X , entonces IntA E IntX E A. f ) Si E A y denotamos por FrA E la frontera de E en A y por FrX E la frontera de E en X , entonces FrA E FrX E A.