Topologa

Trabajo No. 1
(A entregar: Miercoles 24 de agosto, 10 a.m.)
Los trabajos se elaboran en grupos de tres estudiantes
y se presentan escritos (a mano o en LATEX) en hojas
blancas tama
no carta que deben estar numeradas.

1.1. En cada uno de los casos siguientes, compruebe que la coleccion indicada
es una topologa sobre el conjunto dado.
a) X un conjunto arbitrario, S X un subconjunto fijo. = {, S, X}.
Demostraci
on 1. i) , X , es decir, el conjunto vaco y el espacio
completo son abiertos en .
ii) Si {Si }iI entonces
abiertos.

iI Si . Sea {Si }iI una familia de

(a) Si Si 6= X para todo i, y Si = S para todo i, entonces iI Si =

S .
(b) Si Si 6= X para todo i, y Si 6= S para todo i, entonces Si =
para todo i, luego iI Si = .

iii) Si A, B entonces A B .
A

S
S
S
X
X
X

S
X

S
X

S
X

AB

S
S

S
X

Como i) , ii) y iii) cumplen, entonces es un topologa sobre X. .

b) X un conjunto arbitrario, S X un subconjunto fijo. Se conviene
que A si A = o si S A; es decir, contiene todos los subconjuntos
que contienen a S (ademas del vaco); es decir, = {} {A X : S A}.
Demostraci
on 2.

i) porque as se definio. X porque S X.

ii) Si {Ai } y S Ai0 para alg

un ndice i0 entonces como Ai0 iI Ai
evidentemente S iI Ai y por lo tanto iI Ai .
El caso excepcional ocurre cuando Ai = para todo i, pero entonces iI Ai = .
iii) Si A, B y S A, S B entonces tambien S A B de donde
A B .
Ahora el caso excepcional es cuando A = o B = , pero entonces
A B = .
Como i) , ii) y iii) cumplen, entonces es un topologa sobre X. .

c) En el plano R2 , A si para cada punto a A se tiene la A,

siendo la la recta horizontal con ecuacion y = a (elabore un dibujo).
q

(p,q)

La

Demostraci
on 3.

i) , R2 . Evidente.

S
ii) Si {Ai }iI entonces iI Ai .
S
Dado a iI Ai entonces a Ai0 para alg
un ndice i0 I. Puesto
S
que Ai0 es abierto, la Ai0 pero como Ai0 iI Ai , evidentemente
S
la iI Ai .
iii) Si A, B entonces A B .
Dado a A B,
a A luego la A;
a B luego la B.
As que la A B.
Como i) , ii) y iii) cumplen, entonces es un topologa sobre X. .
1.2. a) Demuestre que la interseccion de dos topologas sobre el mismo
conjunto X constituye una topologa sobre X.

La interseccion 1 2 de dos topologas cualesquiera tambien es una topologa

de X, porque:
Demostraci
on 4. i) , X pertenecen de manera simultanea a 1 y 2 ,
por tanto ,X pertenece a la interseccion 1 2 .
ii) Sea {Ai }iI una coleccion de conjuntos abiertos que pertenecen a 1 2 .
Donde {Ai }iI 1 y {Ai }iI 2 , ademas iI Ai 1 y iI Ai 2 ,
por tanto iI Ai 1 2 .
iii) Sea A, B 1 2 , donde A 1 2 y B 1 2 . Como 1 y 2 son
topologas entonces AB 1 y AB 2 , por lo tanto AB 1 2 .
Como i) , ii) y iii) cumplen, entonces es un topologa sobre X. .
b) Encuentre dos topologas sobre el conjunto X = {a, b, c} cuya union
no es una topologa sobre X.
Demostraci
on 5. Sea 1 = {X, , {a}} y 2 = {X, , {a}} siendo
una topologa sobre X.
Entonces, 1 2 = {X, X, , {b}}
i) , X pertenecen tanto a 1 como a 2 , por tanto, , X pertenecen a
1 2 .
ii) Sea {a} 1 2 y {b} 1 2 pero {a} {b} = {a, b}
/ 1 2 .

Como no se cumple ii) , entonces 1 2 no es una topologa sobre X. .

1.3. Demuestre que, en un espacio metrico, cualquier disco abierto B (x) es
abierto para la topologa inducida por la metrica.

Demostraci
on 6. En un espacio metrico (X,d) si x X y R, > 0
entonces:
B (X) = {y Xd(x, y) < },
Como y B (X) y d(x, y) < , existe = d(x, y) con > 0. Debemos
probar que B (y) B (X).
Sea z B (y); aplicando desigualdad triangular tenemos:
d(x, z) d(x, y) + d(y, z)
< d(x, y) +
< d(x, y) + d(x, y)
<

Como d(x, z) < entonces z B (X), es decir, que B (y) B (X). Por lo
tanto B (X) es abierto para la topologa inducida por la metrica. .
1.4. Para cada una de las topologas del ejercicio 1.1:
Demostraci
on 6. 1.1a) Sea X un conjunto arbitrario, S X un subconjunto fijo. = {, S, X}.
a) Conjuntos cerrados.
C = {, X, S c }

b) La adherencia de cualquier subconjunto.

Sea A X, entonces:

A =

X Si A = X

Si A =

S c Si A S c

X Si A S.

c) El interior de cualquier subconjunto.

Sea A X, entonces:

Ao =

X Si A = X

Si A =

Si A S c

Si A S.

Demostraci
on 7. 1.1b) Sea X un conjunto arbitrario, S X un subconjunto fijo. Se conviene que A si A = o si S A; es decir,
contiene todos los subconjuntos que contienen a S (ademas del vaco);
es decir,
= {} {A X : S A}.
a) Conjuntos cerrados.
C = {X} {B X : S B = }
b) La adherencia de cualquier subconjunto.
Sea M X, entonces:

=
M

X Si M = X

Si M =

M Si M {B X : S B = }

X Si M S.

c) El interior de cualquier subconjunto.

Sea M X, entonces:

Mo =

X Si M = X

Si M =

M Si M {A X : S A}

Si {M S.