Clase 3, Subespacio topol ogicos

Profesor Jos e Aguayo

Topolog a
Licenciatura y Magister en Matem atica, Primer Semestre 2013

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Ejercicio Sea (X , T ) un espacio topol ogico y sea Y X . Denotemos por TY a la siguiente colecci on de subconjuntos: TY = {Y U : U T } Se arma que TY es una topolog a para Y . En efecto, como X , T se tiene que Y = Y X TY , = Y TY . Suponga que {A }I una familia de elementos de TY , luego para cada I , A = Y U , para alg un U T . Ahora, I A = I (Y U ) = Y (I U ) Como T es una topolog a en X , tenemos que U = I U T y, por tanto, I A = Y U TY .

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Ejercicio [Cont. del ejer.] Finalmente, supongamos que {Ai }n i =1 es una familia nita de elementos de TY , luego para cada i = 1, 2, . . . , n, existe Ui T tal que Ai = Y Ui . Ahora,
n n n i =1 Ai = i =1 Y Ui = Y (i =1 Ui )

Luego, nuevamente, como T es una topolog a en X , tenemos que n n U = i =1 Ui T y, por tanto, i =1 Ai = Y U TY . La topolog a TY es la mas natural que podemos construir en Y .

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Denici on Sea (X , T ) un espacio topol ogico y sea Y X . La topolog a TY = {Y U : U T } se llamar a topolog a de subespacio. Con esta topolog a, Y se llamar a subespacio topol ogico o, simplemente, subespacio de X . A los conjuntos abierto Y U los llamaremos trazas.

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Ejercicio Suponga que B es una base para la topolog a T en X . Mostrar que BY = {Y B : B B} es una base para la topolog a de subespacio en Y .

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Observaci on 1. Notemos que un subconjunto que no es un conjuntos abierto en un espacio topol ogico (X , T ) puede ser abierto en algun subespacio. As , si A es abierto en Y , diremos que A es abierto relativo a Y . Por ejemplo, el intervalo [0, 1) no es abierto en R, sin embargo es abierto en Y = [0, 3] , pues [0, 1) = [0, 3] (1, 1) . 2. La existencia del abierto U de X en la traza A = Y U, no es u nico. Notar que [0, 1) = [0, 3] (1/2, 1) . 3. Si, en particular, Y es abierto en X , esto es, Y T , entonces A es abierto relativo a Y si, y s olo si, A es abierto relativo a X. 4. En un espacio topol ogico X , un subconjunto Y puede admitir una gran gama de topolog as y una de estas ser a la topolog a de subespacio que resulta ser la m as natural.

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Observaci on 5. Sea X y Z dos espacios topol ogicos y sean X1 un subespacio de X y Z1 un subespacio de Z , respectivamente. Como sabemos, dentro de todas las posibles topolog as en X Z , tenemos la topolog a producto que la denotaremos por Tpr = Tpr (X Z ). Por otro lado, denotemos por TX1 la a de topolog a de subespacio en X1 y por TZ1 la topolog subespacio en Z1 . Consideremos el subonjunto X1 Z1 de X Z. En X1 Z1 podemos distinguir dos topolog a:
1 2

la topolog a TX1 Z1 como subespacio de X Z , ; y la topologia producto inducido por los espacios topol ogicos (X1 , TX1 ) y (Z1 , TZ1 ) , que la denotaremos por Tpr (X1 Z1 ).

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Teorema Las topolog as TX1 Z1 y Tpr (X1 Z1 ) coinciden en X1 Z1 . Proof. Recordemos que TX1 Z1 = {(X1 Z1 ) W : W Tpr } y que la topolog a producto Tpr (X1 Z1 ) tiene como base a Bpr = {S T : S TX1 T TZ1 } . Como S T = (X1 U ) (Z1 V ) = (X1 Z1 ) (U V ) para alg un U abierto en X y V para alg un abierto en Z y como U V es un b asico de la topolog a producto de X Z ,
Profesor Jos e Aguayo Clase 3, Subespacio topol ogicos

Proof. concluimos que {S T : S TX1 T TZ1 } TX1 Z1 . Por un resultado que dice que si B es una base y T es una topolog a tal que B T , entonces T (B ) T , concluimos que Tpr (X1 Z1 ) TX1 Z1 . Por otro lado, sea (X1 Z1 ) W TX1 Z1 , donde W Tpr y sea x z (X1 Z1 ) W arbitrario. Como W Tpr y Bpr es una base para la topolog a producto, se tiene que existen S = X1 U TX1 T = Z1 V TZ1 tal que x z S T = (X1 U ) (Z1 V ) W . Adem as, como S T = (X1 Z1 ) (U V ) concluimos que x z S T (X1 Z1 ) W
Profesor Jos e Aguayo Clase 3, Subespacio topol ogicos

Proof. Por la arbitrariedad de x z , se muestra que (X1 Z1 ) W Tpr (X1 Z1 ). Finalmente, como en arbitrario, concluimos que (X1 Z1 ) W TX1 Z1 fue tambi TX1 Z1 Tpr (X1 Z1 ) As , ambas topolog as coinciden.

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Observaci on 6. Consideremos a X un conjunto ordenado y sea Y un subconjunto de X . La restricci on del orden de X a Y convierte a Y en un conjunto ordenado tambi en. Pues bien, en Y podemos distinguir dos topolog a: la topolog a de subespacio y, aprovechando el orden que tenemos en Y , la topolog a del orden aqui. La pregunta obvia que nos podemos hacer es son iguales las dos topolog as?. La respuesta es negativa, como lo veremos en el siguiente ejemplo: Consideremos X = R2 con el orden lexicogr aco y sea 2 I = [0, 1] [0, 1] . Por ejemplo, el conjunto {1/2} (1/2, 1] es abierto en la topolog a de subespacio (ver gura)

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Observaci on en cambio, cualquier intervalo en el orden de I 2 que contenga al punto 1/2 1 no puede se de otra forma como lo que se muestra la gura

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos

Observaci on Asi, la topolog a como subespacio es m as na que la topolog a del orden en I 2 .

Profesor Jos e Aguayo

Clase 3, Subespacio topol ogicos