Topolog a - Taller 1

Diego Orlando Due nas Daza Cod. 153520 Marzo 8 de 2012

1. El resultado es trivial por denici on de base con la topolog a usual. En efecto, sea X = R ; O = {A R : Para todo x A : x (a, b) A} Todo conjunto en O puede escribirse como

(a , b )

B = {(a , b ) : a , b R}Son base para la topolog a O 2. (a) Por contradicci on: Supongamos que existe un conjunto abierto O tal que (O A) (O Pero si O int(A))

int(A), O no es subconjunto de A, luego O (X A)

Luego int(A) A 2. (b) Por contradicci on: Supongamos que existe un conjunto cerrado O tal que (A O) (A 1 O)

 Por un lado tenemos que int(A) A, luego int(A) O. Si A (X O). que A Por denici on = int(A) (A) A Luego int(A) (A) (X O)

O tenemos

Pero sabemos que int(A) int(A) (A), luego int(A) (X O) Por lo tanto A A 3. Sea X = R ; O = {Ia = (a, ) : a R} Vamos a mostrar que O es una topolog a para R (i) {(ai , )}i colecci on de intervalos R (ai , ) = (a, ) donde a = min{ai }i
i

Luego (a,) O (ii) Sea (a1 , ),(a2 , ),. . . (an , ) n intervalos Luego (ai , ) = (a, ) donde a = max{ai } : 1 i < n
i

Luego (a,) O (iii) Por denici on Luego O es topolog a en R yRO

4. (a) Si x X int(A) tenemos que xX x / int(A) Como x / int(A), esto nos dice que no existe un O O con xO:OA Luego O O con x O : O (X A) [O A = Esto ultimo se puede ver como O O con x O : O (X A) [O (X A)C = Luego x int(X A) x (X A) Por lo tanto xX A (b) Partimos de la igualdad X A = X int(A) Sea A = X A X , luego X A = X int(A ) X (X A) = X int((X A)) = X int((X A)) A 3 O (X A) = ] O AC = ]

Aplicamos complementos a ambos lados de la igualdad C = (X int((X A)))C A = int((X A)) X A 5. (d) int(A) int(B ) int(A B ) Por denici on x int(A) int(B ) , entonces existen O1 X : x O1 A A B O2 X : x O2 B A B Luego existe O1 O2 X tal que x O1 O2 A B Que es nuestra denicion de int(A B ). El contraejemplo de la otra contenencia se tiene ya que el conjunto abierto O que parte de A B , puede pasar a uno de los 2 conjuntos mas no a los 2. (c) int(A B ) = int(A) int(B ) Por denici on x int(A B ), entonces existe O X : x X : x O A B Pero como O A B entonces (O A) (O B ) Luego x O A x O B , esto nos deja como resultado x int(A) x int(B ) x int(A) int(B ) B (b) A B A Por denici on A B = int(A B ) (A B ) = (int(A) int(B )) (A B )

 (A B ) signica que O : (O (A B ) = ((O A) (O B ) = ((O A) = ((O A) = (O B ) = (O A C = ) (O (A B )C = ) (O (AC B C ) =

C

) ) ))

) ((O A = )) ((O B ) =

) (O B =

) (O B C = )) (A) (B ) int(A) int(B ) ( (A) (B )) (int(A) (A)) (int(B ) (B ))

Luego A B (int(A) (A)) (int(B ) (B )) B A 6. Por denici on (int(A)) = {x int(A) : O O tal que x O; O int(A) = {x int(A) : O O : x O; O A = ;O A =
C

; O int(A)C = }

Esto ultimo se puede ver de la siguiente forma. Suponga que O int(A)C = Luego O A, esto implica que x int(A) Por lo tanto (int(A)) (A) 7. Como Y es subespacio de X , Y X , tenemos que OY = {O Y : O OX } Como Z es subespacio de Y , Z Y , tenemos que OZ = {O Z : O OY } = {(O Y ) Z : O OX } = {O (Y Z ) : O OX } 5

Como Z Y , se tiene que OZ = {O Z : O OX } Luego Z es subespacio de X 8. Sea A subespacio de R = R2 y OR = {Br (x) : r > 0 x R} Luego OA = {O A : O R }

(=) O A es abierto, luego x O existe Ox tal que x Ox O y Ox OA , pero Ox = O A y O OR luego Ox = Br (x) A Entonces Ox = {y X : d(x, y ) < r y A} Tomemos = inf {d(x, y )} con y A 2

Luego denimos B (x). como O es abierto, entonces B (x) O A, luego es el conjunto de puntos con distancia menor a . (=) Suponga que existe B (x) = {z A : d(x, z )z } y esto lo tenemos x O y B (x) O. Entonces veamos que B (x) OA

Sabemos que O OA , se puede ver como Br (x) A y Br (x) OR Tenemos por denici on B (x)|R = {z R : d(x, z ) < } y B (x)|R OR Luego B (x)|R A = {z A : d(x, z ) < } = B (x) Entonces B (x) OA , luego x O existe B (x) OA tal que x B (x) A Por lo tanto, O es abierto en A 9. Sea A Y y sea Y subespacio de X , entonces OY = {O Y : O OX } Luego x intX (A) x AOx OX : x Ox A Como (Ox Y Ox ) tenemos que x AOx OX : x Ox Y Ox A x AOx Y OY : x Ox Y A x intY (A) Para el contraejemplo, tome R con la topolog a de colas a derecha. Tenemos A = (a, b) (c, ) Luego intX (A) = (c, ) Tomando OA = {O A : O OR } Tenemos que intA (A) = A luego intX (A) intA (A)