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

T ) un espacio topol´ ogico y sea Y ⊂ X . tenemos que U = ∪α∈I Uα ∈ T y. Ahora. ∅ ∈ T se tiene que Y = Y ∩ X ∈ TY . Denotemos por TY a la siguiente colecci´ on de subconjuntos: TY = {Y ∩ U : U ∈ T } Se afirma que TY es una topolog´ ıa para Y . como X . ∅ = Y ∩ ∅ ∈ TY . Subespacio topol´ ogicos . Profesor Jos´ e Aguayo Clase 3. ∪α∈I Aα = ∪α∈I (Y ∩ Uα ) = Y ∩ (∪α∈I Uα ) Como T es una topolog´ ıa en X . ∪α∈I Aα = Y ∩ U ∈ TY . Aα = Y ∩ Uα . para alg´ un Uα ∈ T . luego para cada α ∈ I .Ejercicio Sea (X . En efecto. Suponga que {Aα }α∈I una familia de elementos de TY . por tanto.

. n. . n n ∩n i =1 Ai = ∩i =1 Y ∩ Ui = Y ∩ (∩i =1 Ui ) Luego. del ejer. como T es una topolog´ ıa en X . La topolog´ ıa TY es la mas natural que podemos construir en Y .] Finalmente. nuevamente. Subespacio topol´ ogicos . ∩i =1 Ai = Y ∩ U ∈ TY . 2. tenemos que n n U = ∩i =1 Ui ∈ T y. por tanto. existe Ui ∈ T tal que Ai = Y ∩ Ui . supongamos que {Ai }n i =1 es una familia finita de elementos de TY . . luego para cada i = 1. .Ejercicio [Cont. Ahora. Profesor Jos´ e Aguayo Clase 3.

T ) un espacio topol´ ogico y sea Y ⊂ X . La topolog´ ıa TY = {Y ∩ U : U ∈ T } se llamar´ a topolog´ ıa de subespacio. subespacio de X . A los conjuntos abierto Y ∩ U los llamaremos trazas.Definici´ on Sea (X . Profesor Jos´ e Aguayo Clase 3. simplemente. Subespacio topol´ ogicos . Y se llamar´ a subespacio topol´ ogico o. Con esta topolog´ ıa.

Mostrar que BY = {Y ∩ B : B ∈ B} es una base para la topolog´ ıa de subespacio en Y . Subespacio topol´ ogicos .Ejercicio Suponga que B es una base para la topolog´ ıa T en X . Profesor Jos´ e Aguayo Clase 3.

y s´ olo si. La existencia del abierto U de X en la traza A = Y ∩ U. Subespacio topol´ ogicos . diremos que ”A es abierto relativo a Y ”. Si. 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. Notar que [0. Notemos que un subconjunto que no es un conjuntos abierto en un espacio topol´ ogico (X . esto es.Observaci´ on 1. 1) = [0. pues [0. Y ∈ T . si A es abierto en Y . T ) puede ser abierto en algun subespacio. 1) = [0. 1) no es abierto en R. 3] . no es u ´nico. 4. el intervalo [0. 1) . 3. en particular. 1) . Y es abierto en X . 3] ∩ (−1. As´ ı. Profesor Jos´ e Aguayo Clase 3. A es abierto relativo a X. 2. 3] ∩ (−1/2. En un espacio topol´ ogico X . Por ejemplo. entonces A es abierto relativo a Y si. sin embargo es abierto en Y = [0.

TZ1 ) . denotemos por TX1 la ıa de topolog´ ıa de subespacio en X1 y por TZ1 la topolog´ subespacio en Z1 . Subespacio topol´ ogicos . y la topologia producto inducido por los espacios topol´ ogicos (X1 . respectivamente. Profesor Jos´ e Aguayo Clase 3. TX1 ) y (Z1 . Sea X y Z dos espacios topol´ ogicos y sean X1 un subespacio de X y Z1 un subespacio de Z . Por otro lado. Como sabemos. 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 . dentro de todas las posibles topolog´ ıas en X × Z . que la denotaremos por Tpr (X1 × Z1 ). . tenemos la topolog´ ıa producto que la denotaremos por Tpr = Tpr (X × Z ).Observaci´ on 5.

Proof.Teorema Las topolog´ ıas TX1 ×Z1 y Tpr (X1 × Z1 ) coinciden en X1 × Z1 . 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 } . Subespacio topol´ ogicos . 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.

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 . donde W ∈ Tpr y sea x × z ∈ (X1 × Z1 ) ∩ W arbitrario. sea (X1 × Z1 ) ∩ W ∈ TX1 ×Z1 . Por otro lado. Adem´ as. entonces T (B ) ≤ T ”. Subespacio topol´ ogicos . 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 . como S × T = (X1 × Z1 ) ∩ (U × V ) concluimos que x × z ∈ S × T ⊂ (X1 × Z1 ) ∩ W Profesor Jos´ e Aguayo Clase 3.Proof. concluimos que Tpr (X1 × Z1 ) ≤ TX1 ×Z1 .

ambas topolog´ ıas coinciden. Por la arbitrariedad de x × z . como en arbitrario. se muestra que (X1 × Z1 ) ∩ W ∈ Tpr (X1 × Z1 ).Proof. Subespacio topol´ ogicos . concluimos que (X1 × Z1 ) ∩ W ∈ TX1 ×Z1 fue tambi´ TX1 ×Z1 ≤ Tpr (X1 × Z1 ) As´ ı. Profesor Jos´ e Aguayo Clase 3. Finalmente.

1] es abierto en la topolog´ ıa de subespacio (ver figura) Profesor Jos´ e Aguayo Clase 3. 1] × [0. Pues bien. La pregunta obvia que nos podemos hacer es ¿son iguales las dos topolog´ ıas?. La restricci´ on del orden de X a Y convierte a Y en un conjunto ordenado tambi´ en. aprovechando el orden que tenemos en Y . La respuesta es negativa. el conjunto {1/2} × (1/2. la topolog´ ıa del orden aqui. como lo veremos en el siguiente ejemplo: Consideremos X = R2 con el orden lexicogr´ afico y sea 2 I = [0. en Y podemos distinguir dos topolog´ ıa: la topolog´ ıa de subespacio y. Consideremos a X un conjunto ordenado y sea Y un subconjunto de X . Por ejemplo. 1] . Subespacio topol´ ogicos .Observaci´ on 6.

Subespacio topol´ ogicos .Profesor Jos´ e Aguayo Clase 3.

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 figura Profesor Jos´ e Aguayo Clase 3. Subespacio topol´ ogicos .Observaci´ on en cambio.

Observaci´ on Asi. Profesor Jos´ e Aguayo Clase 3. Subespacio topol´ ogicos . la topolog´ ıa como subespacio es m´ as fina que la topolog´ ıa del orden en I 2 .