MTM 554 Topologa: Trabajo en clase 1 / Tarea 1A

Entrega: 2:45 PM, Viernes, 24 de Octubre de 2014 en la oficina del profesor.

Nota: En todas las preguntas, aun si su respuesta es cerrada se la debe justificar para obtener una
calificacion.
Apellidos: Torres Espa
na
Nombres: Milton Adrian
Calificacion:
/21
Reconocimientos: Pablo Rosero

Ejercicio 1 (4 puntos) Sea X un conjunto no vaco, donde se define la funcion

: P(X) P(X)
A
7 A

que verifica las siguientes propiedades:

1. =
2. A X, A A
3. A X, (A ) = A
4. A, B X, (A B) = A B
Sea F = {F X : F = F }
Demuestre que T = {A X : Ac F} es una topologa para la cual, A X, A = A
Es u
til verificar que si A B, entonces A B

Demostraci
on. La primera condicion es facil de ver, por (1) y (2) tenemos que X F.
S
Para la segunda y tercera condicion, sea {Vi }iI tal que Vi T probaremos que iI Vi esta en
T . Para ello, notemos que si A B, entonces A B y por lo tanto obtenemos
!
!c !
\
[
Vi
=
Vic
Vic , i I.
iI

iI

Se sigue de esto,

!
\

Vic

iI

(Vic )

Vic ,

iI

iI

en combinacion con la propiedad (2) tenemos que

en T .

iI Vi

c

c
S
V
. Luego, iI Vi esta
i
iI

Por otro lado, si U, V T observemos que

((U V )c ) = (U c V c ) = (U c ) (V c ) = U c V c = (U V )c ,
por lo que la interseccion finita de abiertos en T tambien es un abierto. Entonces T es una topologa
sobre X. Ademas, por la definicion de T , los cerrados son aquellos tales que F = F , as F coincide
con la clausura de cada F X en la topologa.
Ejercicio 2 (3 puntos) Dada la definicion de abierto en un espacio metrico (X, d), demuestre que
la familia de abiertos forma una topologa en X.
Demostraci
on. Sea {Ai }iI una familia cualquiera de abiertos en (X, d).

1. Trivialmente es abierto. Si x X entonces existe 0 < x < diam(X) tal que B(x, ) X,
por lo tanto X es abierto.
2. Fijando i I, por la definicion de abierto en espacios m
Setricos, para cadaSx Ai existe x > 0
tal que B(x, x ) Ai . Tenemos que B(x, x ) Ai iI Ai , entonces iI Ai T .
3. Sean A1 y A2 abiertos de X, si x A1 A2 existen 1 > 0 y 2 > 0 tales que B(x, 1 ) A1
2|
, podemos ver que x B(x, 3 ) B(x, 1 ) B(x, 2 ).
y B(x, 2 ) A2 . Tomando 3 = |1
2
Por lo tanto, A1 A2 T .

Ejercicio 3 (4 puntos) Sea X = R, y sean a < b R. Verifique que B = {[a, b[: a < b} genera
una topologa en R, esta topologa es llamada la topologa del lmite inferior.
Demostraci
on. Comprobemos las condiciones para que B sea una base:
1. Sea x R, se puede notar
con facilidad que para cualquier x existiran a, b R tal que
S
x [a, b[ entonces X = a<b [a, b[.
2. Sean B1 = [a1 , b1 [ y B2 = [a2 , b2 [. Sin perdida de generalidad, supongamos que a1 < a2 y
a2 < b1 . Si x B1 B2 entonces x [a2 , b1 [= B3 B, B3 B1 B2 .
Por lo tanto, B es una base de una topologa en R.
Ejercicio 4 (5 puntos) Sean (X, T1 ) e (Y, T2 ) espacios topologicos. Verifique que:
B = {U V : U T1 , V T2 }
es una base para una topologa en X Y . Esta topologa es conocida como la topologa producto.
Demostraci
on.
1. Para X Y B, sea (x, y) X Y , por hipotesis, existen V T1 y WS T2 tales que
x V y y W . De esto, (x, y) (V W ) = B y B B entonces (x, y) BB B. La otra
inclusion es evidente.
2. Sean B1 = (U1 V1 ) B y B2 = (U2 V2 ) B. Tenemos
B1 B2 = (U1 V1 ) (U2 V2 ) = (U1 U2 ) (V1 V2 )
y este u
ltimo conjunto pertenece a B porque U1 U2 y V1 V2 son abiertos en X e Y ,
respectivamente.
Luego, B es una base para una topologa en X Y .

Ejercicio 5 (5 puntos) Sea X = {1, 2, 3, 4, 5}. Es posible que la familia B sea base de una
topologa en X? En caso de no serla, escriba la base mas peque
na posible en la que la familia B es
parte de su topologa generada.
1. Si B = {{3}, {1, 3, 4}, {1, 3, 5}}.
Demostraci
on. B no es una base, pues

BB

B = {1, 3, 4, 5} =
6 X. Ahora, definamos

B 0 = {{1, 3}, {2}, {1, 3, 4}, {1, 3, 5}}.

S
B 0 es una base, ya que BB0 B = X. Ademas, si {1, 3, 4} {1, 3, 5} = {1, 3} entonces
{1, 3} B 0 . Para el resto de los casos la interseccion es vaca o el mismo caso anterior.

2. Si B = {{3}, {1, 3, 4}, {2, 5}}.

S
Demostraci
on. B es una base, puesto que BB B = X. Tambien, si {1, 3, 4} {3} = {3}
entonces {3} B. Para el resto de los casos se tiene interseccion vaca.

Puede usar los diagramas de Hasse para explicar su respuesta