Captulo 1

Espacios topologicos
Este captulo se dedica a exponer el objeto matematico de estudio de este libro: el
espacio topologico. El concepto de espacio topologico es abstracto y se presenta, en
un principio, despojado de cualquier idea intuitiva que se tenga de cercana. Esto
permite ampliar nuestra perspectiva y aumenta las capacidades de la Topologa.
Una forma habitual de introducir el concepto de espacio topologico es a partir del de
espacio metrico. Sin embargo creemos que de hacerlo as, puede inducir a pensar que
todo espacio topologico es un espacio metrico, lo cual es falso. Por tanto empezamos
directamente a decir que es un espacio topologico.
1.1 Espacio topologico
Denicion 1.1.1 Un espacio topologico es un par (X, ), donde X es un conjunto
y es una familia de subonjuntos de X con las siguientes propiedades:
1. Los conjuntos y X pertenecen a .
2. Si {O
i
; i I} , entonces

iI
O
i
.
3. Si O
1
, O
2
, entonces O
1
O
2
.
A se llama la topologa de (X, ). Los elementos de se llaman los conjuntos
abiertos de (X, ) o simplemente abiertos de X si se sobreentiende la topologa.
1
2 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
En palabras se puede decir que un espacio topologico en un conjunto X es una familia
de subconjuntos suyos que contienen a los subconjuntos triviales y que es cerrada
para la union y para la intersecci on nita. Por induccion, se prueba facilmente que
si {O
1
, . . . , O
n
} , entonces O
1
. . . O
n
.
A continuaci on se dan ejemplos de espacios topologicos y que nos acompa nar an a lo
largo del libro.
Ejemplo 1.1.2 1. Sea X un conjunto y
T
= {, X}. A
T
se le llama la
topologa trivial y a (X,
T
) espacio topologico trivial.
2. Sea X un conjunto y
D
= P(X), donde P(X) es el conjunto partes de X. A

D
se le llama la topologa discreta y a (X,
D
) espacio topologico discreto.
3. Sea X un conjunto y
CF
= {} {X \ F; F Xnito}. A
CF
se le llama
la topologa de los complementos nitos o topologa conita . Es facil probar
que si X es un conjunto nito, entonces
D
=
CF
. Se supondra siempre que
un conjunto con la topologa conita tiene cardinal innito.
4. Sea X = {a, b} un conjunto con dos elementos. Se dene la topologa de
Sierpinski en X como
S
= {, X, {a}}.
5. Sea X un conjunto y p X. Se denen dos topologas en X como

in
= {} {O X; p O}.

ex
= {X} {O X; p O}.
Las topologas
i
y
e
se denominan, respectivamente, la topologa del punto
incluido y la topologa del punto excluido

Como consecuencia, la topologa discreta es la topologa mas grande que existe en

un conjunto y la topologa trivial es, por el contrario, la que posee menos conjuntos
abiertos.
A partir del concepto de conjunto abierto, se dene que es un conjunto cerrado en
un espacio topologico.
Denicion 1.1.3 Sea (X, ) un espacio topologico y F X. Se dice que F es un
conjunto cerrado si X\ F es un conjunto abierto. Se denotara por F el conjunto de
todos los cerrados de un espacio topologico.
1.1. ESPACIO TOPOL

OGICO 3
Se halla a continuaci on la familia de conjuntos cerrados para las topologas del
ejemplo 1.1.2.
Ejemplo 1.1.4 1. Para la topologa trivial, F
T
=
T
.
2. Para la topologa discreta, F
D
=
D
.
3. Para la topologa conita, F
CF
= {F X; F es nito} {X}.
4. Para la topologa de Sierpinski
S
, F
S
= {, X, {b}}.
5. Sea p X y
in
y
ex
las topologas del punto incluido y del punto excluido,
respectivamente. Entonces F
in
=
ex
y F
ex
=
in
.

Como consecuencia de las propiedades de los conjuntos abiertos, y de las leyes de

Morgan de la teora de conjuntos, se tiene la siguiente
Proposicion 1.1.5 Sea un espacio topologico (X, ). Entonces
1. Los conjuntos y X son cerrados.
2. Si {F
i
}
iI
F, entonces

iI
F
i
F.
3. Si F
1
, F
2
F, entonces F
1
F
2
F.
Ya que los conceptos de abierto y cerrado son, en cierto sentido, duales, se puede
conocer la topologa de un espacio topologico si solo se conoce la familia de cerrados.
Concretamente,
Teorema 1.1.6 Sea un conjunto X y C una familia de subconjuntos de X, que sat-
isface las propiedades de la anterior proposicion. Entonces existe una unica topologa
en X de forma que la familia de conjuntos cerrados F coincide con C.
Demostracion: Basta con denir = {O X; X \ O C}. Es evidente que es
una topologa en X y que F = C. Veamos que es unica. Si existe otra topologa

tal que F

= C, entonces la familia de conjuntos abiertos esta formada por los

conjuntos complementarios de C, es decir, coincide con los elementos de . q.e.d
4 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
Para nalizar, se compara dos topologas en un conjunto con la siguiente denicion.
Denicion 1.1.7 Sea X un conjunto y
1
y
2
dos topologas en X. Se dice que
1
es mas na que
2
si
1

2
. Se dira tambien que
2
es menos na que
1
.
Con esta denicion, se puede decir que la topologa trivial es la topologa menos na
que puede haber en un conjunto y que la topologa discreta es la topologas mas na
posible.
1.2 Base de una topologa
Sera de desear tener una familia mas peque na de abiertos que nos permita conocer
el resto de la topologa. Este papel lo va a desempe nar el concepto de base de una
topologa.
Denicion 1.2.1 Una base de la topologa de un espacio topologico (X, ) es una
familia de abiertos tal que todo conjunto abierto es union de elementos de la base
, es decir, para todo O existe un conjunto de ndices I, tal que
O =
_
iI
B
i
, B
i
.
Se prueba que esta denicion es equivalente a la siguiente:
Para cada abierto O y para cada x O, existe B tal que x B O.
Efectivamente, si es una base de la topologa y si x O, como O =

iI
B
i
, B
i
,
existe j I tal que x B
j
. Luego, x B
j
O. Se prueba ahora el recproco. Sea
O un conjunto abierto. Para cada x O, sea B
x
tal que x B
x
O. Entonces
O =
_
xO
{x}
_
xO
B
x
O,
luego O =

xO
B
x
.
Se utilizara indistintamente ambas caracterizaciones de base. Como consecuencia,
tambien se tiene la siguiente caracterizacion de conjuntos abiertos:
1.2. BASE DE UNA TOPOLOG

IA 5
Proposicion 1.2.2 Sea una base de un espacio topologico (X, ) y A X. En-
tonces A es un conjunto abierto si y solamente si para cada x A, existe B tal
que x B A.
A continuacion se muestra ejemplos de bases de topologas.
Ejemplo 1.2.3 1. En cualquier espacio topologico (X, ), la propia topologa
es una base. Esto prueba que todo espacio topologico posee bases de topologa.
2. En un espacio topologico discreto (X,
D
), una base es = {{x}; x X}.
Ademas es la base de topologa mas peque na, es decir, en un espacio topologico
discreto cualquier base

contiene a .
3. Si X es un conjunto y p X, una base de la topologa del punto incluido es
= {{p, x}; x X}.

Hay espacios topologicos donde la unica base de topologa es la propia topologa.

Ve amoslo con el siguiente ejemplo:
Ejemplo 1.2.4 En el conjunto de los n umeros naturales N = {0, 1, . . . , } se dene
los conjuntos A
n
= {0, 1, . . . , n}, para cada n N. Entonces = {, N} {A
n
; n
N} constituye una topologa en N. Entonces la unica base posible es . Sea A
n
,
con n un n umero natural arbitrario. Entonces existe B tal que n B A
n
.
Como B es un conjunto abierto, entonces B = A
m
para alg un m N. Pero entonces
m = n y por tanto, A
n
.

A continuacion se prueba las siguientes propiedades de bases.

Proposicion 1.2.5 Sea un espacio topologico (X, ) y una base de la topologa .
Entonces:
1. X =

B
B.
2. Si B
1
, B
2
y x B
1
B
2
, entonces existe B
3
tal que x B
3
B
1
B
2
.
6 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
Demostracion: Como el propio conjunto X es un abierto, es union de elementos de
la base . Para la segunda propiedad, como B
1
B
2
es un conjunto abierto, dado
x B
1
B
2
, existira un elemento B
3
tal que x B
3
B
1
B
2
. q.e.d
Se plantea ahora la siguiente cuestion: dado un conjunto X y una coleccion de
subconjuntos de X, que condiciones tienen que satisfacer dicho conjunto para que
sea base de alguna topologa en X. Se ver a ahora que justamente debe satisfacer
las propiedades de la proposicion anterior.
Teorema 1.2.6 Se considera un conjunto X y una familia de subconjuntos de X
que satisface las dos siguientes propiedades:
1. X =

B
B.
2. Si B
1
, B
2
y x B
1
B
2
, entonces existe B
3
tal que x B
3
B
1
B
2
.
Entonces existe una unica topologa que tiene como base a . Se dira que la
topologa esta generada por y se escribira = ().
Demostracion: Se dene el siguiente conjunto:
= {O X; O es union de elementos de }.
Primero se prueba que es una topologa en X.
1. Evidentemente y por la primera propiedad que satisface , X =

B
B.
2. Sea ahora {O
i
; i I} una familia de elementos de . Como cada O
i
es union
de elementos de , la union de todos los O
i
se expresa como union de elementos
de .
3. Sean O
1
, O
2
. Entonces O
1
=

iI
B
1
i
y O
2
=

jJ
B
2
j
, donde B
1
i
, B
2
j
pertenecen a . Usando la propiedad distributiva de la union y de la inter-
seccion,
O
1
O
2
=
_
iI,jJ
(B
1
i
B
2
j
).
Para probar que O
1
O
2
, basta con probar que B
1
i
B
2
j
pertenece a y
usar la anterior propiedad. Para ello, dado x B
1
i
B
2
j
, se sabe que existe
1.2. BASE DE UNA TOPOLOG

IA 7
B
x
tal que x B
x
B
1
i
B
2
j
; de esta inclusion y tomando union en
x B
1
i
B
2
j
se tiene
B
1
i
B
2
j
=
_
xB
1
i
B
2
j
B
x
,
que pertenece a .
q.e.d
Observese que si (X, ) es un espacio topologico y una base para cierta topologa
() en X tal que , entonces () , ya que los elementos de () son
uniones de elementos de y por tanto, conjuntos abiertos de (X, ).
Un ejemplo de como se aplica el teorema 1.2.6 es el siguiente:
Ejemplo 1.2.7 1. En el conjunto de los n umeros reales R, se considera =
{(a, b); a < b, a, b R}, donde (a, b) = {x R; a < x < b} es el intervalo
abierto de extremos a y b. Entonces es base para cierta topologa . Conc-
retamente la propiedad 2 es cierta porque se toma B
3
= B
1
B
2
ya que la
intersecci on de dos intervalos abiertos es otro intervalo abierto. Esta topologa
se denomina la topologa usual de R (cuando no se explicite nada, se supondra
que es esta la topologa que se considerara en R). Observad que no es
topologa y que si se tomara la familia de los intervalos cerrados, no sera
base.
En esta topologa un intervalo abierto es un conjunto abierto y que un intervalo
cerrado es un conjunto cerrado. Efectivamente, sea (a, b) un intervalo abierto.
En el caso que a, b R, entonces (a, b) es un elemento de y por tanto es
un abierto. Luego los unicos intervalos que hay que estudiar son los intervalos
no acotados. Sea (a, ). Entonces (a, ) =

nN
(a, a + n) y por tanto, es
abierto. De forma analoga se hara para los intervalos de la forma (, b).
Para probar que un intervalo cerrado [a, b] es un conjunto cerrado hay que
probar que su complementario, esto es, (, a) (b, ) es un abierto. Pero
esto es evidente, al ser union de dos conjuntos abiertos.
2. En R, se dene = {[x, z); z > x, x, z R}. Esta familia de conjuntos
forma una base de topologa y a la topologa que genera se llama topologa
de Sorgenfrey. En esta topologa los intervalos abiertos (a, b) son conjuntos
abiertos, ya que
(a, b) =
_
nN
[a +
1
n
, b).
8 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
Esta topologa no coincide con la topologa usual de R. Exactamente la
topologa usual es menos na que la de Sorgenfrey ya que la base usual de

u
, los intervalos abiertos, son conjuntos abiertos en la topologa de Sorgen-
frey.
3. En R se toma = {(a, ); a R}. Entonces es una base para cierta
topologa. De nuevo y en la propiedad 2 del teorema 1.2.6, se puede tomar B
3
como B
1
B
2
ya que la interseccion de dos intervalos de la forma (a, ) es
de nuevo de esta forma. En esta topologa, los intervalos abiertos o cerrados
que son acotados no son conjuntos abiertos o cerrados, respectivamente. Esta
topologa es menos na que la topologa usual de R.
4. En R
2
, se llama el disco de radio r > 0 y centro p = (p
1
, p
2
) R
2
al conjunto
D
r
(p) = {(x, y R
2
; (x p
1
)
2
+ (y p
2
)
2
< r
2
}. Este conjunto se llama el
disco centrado en p de radio r. Entonces = {D
r
(p); r > 0, p R
2
} es base
de una topologa en R
2
y que se denominara la topologa usual de R
2
. Para
probar la propiedad 2 del teorema 1.2.6, sea z D
r
(p) D
s
(q). Entonces
D

(z) D
r
(p) D
s
(q) donde = min{r |z p|, s |z q|}.
5. En R
2
, se considera la base = {(a, b) R; a < b, a, b R}. La topologa que
genera no coincide con la topologa usual de R
2
. Esta topologa es menos na
que la topologa usual de R
2
.

Sea X un conjunto con dos bases para sendas topologas cuando dichas bases
generan la misma topologa?
Denicion 1.2.8 Sean dos bases
1
,
2
para topologas
1
y
2
respectivamente. Se
dice que las bases
1
y
2
son equivalentes si
1
=
2
.
Evidentemente la equivalencia de bases es una relacion de equivalencia denida en el
conjunto de todas las bases que admite X, de manera que las clases de equivalencia
se pueden identicar con las distintas topologas que posee X. Pero como se puede
determinar si dos bases son equivalentes sin hacer uso de las respectivas topologas
que generan? El siguiente teorema nos resuelve este problema.
Teorema 1.2.9 (Criterio de Hausdor) Dadas dos bases
1
y
2
para sendas
topologas
1
y
2
en un conjunto X, son equivalentes los dos siguientes enunciados:
1.2. BASE DE UNA TOPOLOG

IA 9
1.
1
=
2
.
2. Para todo B
1

1
, x B
1
existe B
2

2
tal que x B
2
B
1
.
Para todo B
2

2
y x B
2
existe B
1

1
tal que x B
1
B
2
.
Demostracion: 1 2. Sea B
1

1

1
=
2
. Ya que
2
es una base de esta
topologa, existe B
2

2
tal que x B
2
B
1
. El otro apartado es analogo.
2 1. Probamos la igualdad de las dos topologas. La hipotesis nos dice que todo
elemento de
1
es un conjunto abierto para la topologa
2
. Por tanto (
1
) =
1

2
. Y de la misma forma, (
2
) =
2

1
. q.e.d
Observando la demostracion anterior, se obtiene la siguiente propiedad:
Si para cada B
1

1
y para cada x B
1
, existe B
2

2
tal que
x B
2
B
1
, entonces
1

2
.
En el siguiente ejemplo, se denira una topologa en un conjunto ordenado a partir
de una base.
Ejemplo 1.2.10 Se considera un conjunto ordenado (X, ), donde denota la
relacion de orden. Se dene para cada x X los subconjuntos dados por
[x, [= {y X; x y}.
] , x] = {y X; y x}.
y
d
= {[x, [; x X}. Entonces
d
es base para una cierta topologa,
d
, que
se llamara topologa a derechas de X. Se prueba a continuacion que la intersecci on
arbitraria de conjuntos abiertos es tambien un conjunto abierto.
Se demuestra primero que
d
es una base para alguna topologa. Sea x X.
Entonces x [x, [, por tanto X =

xX
[x, [. Por otra parte, si z [x,
[[y, [, entonces x z e y z y as [z, [ [x, [[y, [.
Se prueba ahora que la intersecci on arbitraria de elementos de
d
es un conjunto
abierto. Se considera {[x
i
, [; i I}. Entonces es facil probar que

iI
[x
i
, [=
_
yx
i
, iI
[y, [,
10 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
y esta union es, por tanto, un conjunto abierto de (X,
d
). Sea ahora una familia
de abiertos {O
i
; i I}. Para demostrar que

iI
O
i
es un conjunto abierto, sea
x

iI
O
i
. Entonces para cada i I, existe B
x
i
= [x
i
, [ tal que x B
x
i
O
i
.
Por tanto
x

iI
B
x
i

iI
O
i
.
Tomando uniones en x,

iI
O
i
=
_
x

iI
O
i
_

iI
B
x
i
_
,
que es un conjunto abierto.
Existe a un una forma de denir una topologa con un n umero menor de abiertos de
X: mediante las subbases. A partir de una subbase se construira una base de la
topologa.
Denicion 1.2.11 Dado un espacio topologico (X, ) y S una familia de subcon-
juntos de X, se dice que S es una subbase de si la familia
(S) = {intersecciones nitas de elementos de S}
es una base de .
De esta forma si S es una subbase, para calcular la topologa se realiza todas las
intersecciones nitas de elementos de S y posteriormente se toman todas las uniones
arbitrarias de estas intersecciones. Una consecuencia inmediata es que S . Por
ejemplo, en R con la topologa usual, los intervalos abiertos constituyen una subbase,
porque al tomar intersecciones nitas se obtienen de nuevo intervalos abiertos.
En cualquier espacio topologico, toda base es una subbase: si es una base, y con
la notacion usada en la denicion 1.2.11, () contiene a todos los elementos de
. Por una parte, todos los elementos de () son conjuntos abiertos, pues son
intersecciones nitas de elementos de , que son abiertos. Por otra parte, todo
conjunto abierto es union de elementos de , y como (), tambien es union
de elementos de ().
Sin embargo, no toda subbase es una base, como muestra el siguiente ejemplo.
Ejemplo 1.2.12 Sea un conjunto innito X con la topologa de los complementos
nitos y sea S = {X \ {x}; x X}. Dicha familia de subconjuntos es una subbase
1.3. ENTORNOS DE UN PUNTO. BASE DE ENTORNOS 11
pues (S) = {X \ F; F nito} =
CF
, que evidentemente es una base de topologa.
Sin embargo, S no es una base. Para ello, se considera el conjunto abierto O =
X \ {x
1
, x
2
} e y O. Si S es base, existe x X tal que
y X \ {x} O
pero la ultima inclusion es falsa.

El siguiente resultado es evidente.

Proposicion 1.2.13 Sea un conjunto X y una familia de subconjuntos S de X.
Entonces S es una subbase para una cierta topologa .
Esta proposicion nos dice que no hace falta imponer condiciones algunas sobre una
familia de subconjuntos para que sea subbase de alguna topologa. O dicho de otro
modo, cualquier familia de subconjuntos dene una topologa: una subbase de dicha
topologa es la familia dada.
Otro ejemplo de una subbase que no es una base es el siguiente:
Ejemplo 1.2.14 Sea X = {1, 2, 3} y S = {{1, 2}, {2, 3}}. La base determinada por
S es = {X, {1, 2}, {2, 3}, {2}}. Si S fuera base, entonces {2} sera un conjunto
abierto, luego existira B S tal que B {2}, lo cual es falso.

1.3 Entornos de un punto. Base de entornos

En esta seccion aparece una primera idea de cercana o proximidad: el entorno
de un punto.
Denicion 1.3.1 Sea un espacio topologico (X, ) y x X. Un conjunto U X
se llama entorno de x si existe O tal que x O U. Al conjunto de todos los
entornos de x se llama sistema de entornos y se denota por U
x
.
12 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
En particular, si se dene
x
:= {O ; x O}, este conjunto es subconjunto de
U
x
. Como consecuencia, un conjunto abierto es entorno de todos sus puntos. El
recproco tambien es cierto:
Proposicion 1.3.2 Sea un espacio topologico (X, ) y A X. Entonces A es un
conjunto abierto si y solamente si A es entorno de todos sus puntos.
Demostracion: Queda por probar que si A es entorno de todos sus puntos, entonces
es un conjunto abierto. Sea x A. Entonces existe O
x
tal que x O
x
A. Por
tanto, A =

xA
O
x
, que es un conjunto abierto al ser union de conjuntos abiertos.
q.e.d
Observese que el conjunto de entornos de un punto es muy grande ya que si U es
entorno de x y V U, entonces V tambien es entorno de x. Por tanto, y en general,
es difcil hallar todos los entornos de un punto en un espacio arbitrario.
Ejemplo 1.3.3 1. En la topologa trivial, U
x
= {X}.
2. En la topologa discreta, U
x
= (
D
)
x
.
3. En la topologa conita, U
x
= (
CF
)
x
4. Sea p X y la topologa del punto incluido. Entonces U
x
= (
in
)
x
.

Algunas propiedades de los entornos son las siguientes:

Proposicion 1.3.4 Sea (X, ) un espacio topologico y x X.
1. Si U
1
, U
2
U
x
, entonces U
1
U
2
U
x
.
2. Si U U
x
y V U, entonces V U
x
.
3. Sea U U
x
. Existe W U
x
tal que U U
y
para todo y W.
Demostracion: Todas las propiedades son evidentes salvo la tercera. En ella, basta
con tomar W = O, donde O es un conjunto abierto que satisface x O U. q.e.d
1.3. ENTORNOS DE UN PUNTO. BASE DE ENTORNOS 13
Nos encontramos ahora en una situacion analoga al caso de conjuntos cerrados y
bases: se considera un conjunto X de forma que para cada x X, se tiene asignada
una familia de subconjuntos V
x
. que propiedades debe satisfacer V
x
para que sea
el sistema de entornos de alguna topologa en X?
Teorema 1.3.5 Sea X un conjunto y para cada x X se tiene asignada una familia
V
x
P(X) que satisface las siguientes propiedades:
1. x V para cada V V
x
.
2. Si V
1
, V
2
V
x
, entonces V
1
V
2
V
x
.
3. Si U V
x
y V U, entonces V V
x
.
4. Para cada U V
x
, existe W V
x
tal que U V
y
y W.
Entonces existe una unica topologa en X cuyo sistema de entornos U
x
coincide con
V
x
.
Demostracion: Motivados por la proposicion 1.3.2, se dene la topologa del sigu-
iente modo: dado O X, se dira que O es conjunto abierto si O V
x
, x O. Se
prueba que es efectivamente una topologa en X.
1. Para probar que X , sea x X. Se toma V V
x
arbitrario. Como V X
y por la tercera propiedad, X V
x
. El hecho que es trivial.
2. Sea {O
i
; i I} y x

iI
O
i
. Sea j I tal que x O
j
. Por tanto,
O
j
V
x
y por la segunda propiedad,

iI
O
i
V
x
.
3. Sean O
1
, O
2
. Sea x O
1
O
2
y por tanto, O
1
, O
2
V
x
. Por la segunda
propiedad, O
1
O
2
V
x
.
Se prueba ahora que U
x
= V
x
. Se hace por doble inclusion:
Sea U U
x
. Entonces existe O tal que x O U. Como O V
x
, la
segunda propiedad nos arma que U V
x
. Se ha probado pues que U
x
V
x
.
Sea V V
x
. Se prueba que el conjunto O = {y V ; V V
y
} es abierto y
como x O V , entonces V sera un elemento de U
x
. Sea y O y W
y
V
y
el entorno de la propiedad 4). Entonces V V
z
para todo z W
y
. Por tanto,
W
y
O y por la segunda propiedad, O V
y
, como se quera probar.
14 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
q.e.d
De nuevo, y a igual que suceda con los conjuntos abiertos de un espacio topologico,
se plantea como trabajar con los entornos de un punto pero con un n umero menor
de entornos.
Denicion 1.3.6 Sea un espacio topologico (X, ). Un subconjunto
x
de U
x
se
denomina base de entornos de x si
U U
x
, V
x
tal que V U.
Se puede probar facilmente que esta denicion es equivalente a que
O y x O, V
x
tal que V O.
Ejemplo 1.3.7 1. En cualquier espacio topologico, el propio sistema de entornos
de un punto es una base de entornos.
2. Si (X, ) es un espacio topologico y x X, una base de entornos de x es

x
= {U U
x
; U }. Generalizando lo anterior, si es una base de ,
entonces
x
= {B ; x B} es una base de entornos del punto x.
3. En un espacio topologico discreto (X,
D
) y x X, una base de entornos de
dicho punto es
x
= {{x}}. Ademas es la base de entornos mas peque na (para
la inclusion) que existe para el punto x.
4. Sea un espacio topologico (X,
in
) con la topologa del punto incluido con
p X. Entonces una base de entornos de x es
x
= {x, p}. En la topologa
del punto excluido, es
x
= {x} si x = p y
p
= {X}.
5. Se considera la topologa de Sorgenfrey en la recta real R. Si x R, una
base de entornos de x es
x
= {[x, x + ); > 0}.

Se estudia a continuaci on algunas propiedades de bases de entornos y que posteri-

ormente se usara para caracterizar un espacio topologico.
Proposicion 1.3.8 Se considera una base de entornos
x
para cada punto x de un
espacio topologico (X, ). Entonces:
1.3. ENTORNOS DE UN PUNTO. BASE DE ENTORNOS 15
1. x V para cualquier V
x
.
2. Si V
1
, V
2

x
, existe V
3

x
tal que V
3
V
1
V
2
.
3. Si V
x
, existe V
0

x
tal que para cada y V
0
existe V
y

y
con
y V
y
V .
Demostracion: Solo la tercera propiedad no es evidente y pasamos a probarla. Como
V es un entorno de x, existe W U
x
tal que para cada y W, V U
y
. Por ser

x
base de entornos existe V
0

x
tal que V
0
W. Entonces V U
y
para cada
y V
0
, luego existe V
y

y
con y V
y
V . q.e.d
El recproco de dicha proposicion es el siguiente resultado.
Teorema 1.3.9 Sea un conjunto X tal que para cada x X existe
x
P(X)
satisfaciendo las siguientes propiedades:
1. x V para cualquier V
x
.
2. Si V
1
, V
2

x
, existe V
3

x
tal que V
3
V
1
V
2
.
3. Si V
x
, existe V
0

x
tal que para cada y V
0
, existe V
y

y
con
y V
y
V .
Entonces existe una unica topologa en X de forma que
x
es una base de entornos
para cada x X.
Demostracion: Se dene la topologa expresando el sistema de entornos:
U
x
= {U X; existe V
x
tal que V U}.
Se comprueba que efectivamente satisface las cuatro propiedades del teorema 1.3.5:
1. Dado U U
x
existe V
x
tal que V U. Como x pertenece a V , tambien
pertenece a U.
2. Sean U
1
, U
2
U
x
y sean V
1
, V
2

x
tales que V
1
U
1
y V
2
U
2
. Por la
segunda propiedad, existe V
3

x
tal que V
3
V
1
V
2
y por tanto U
1
U
2
U
x
.
16 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
3. Sea U U
x
y V X tal que V U. Sea W
x
satisfaciendo W U. Por
tanto W V y as V U
x
.
4. Sea U U
x
. Existe V
x
tal que V U. Sea W = V
0
: si y W, existe
V
y

y
tal que V
y
V . Entonces V U
y
, y as, U U
y
.
Para nalizar, es evidente que es base de entornos de U
x
. q.e.d
Se muestra un ejemplo de como se aplica el teorema ??.
Ejemplo 1.3.10 En R
2
se considera la siguiente familia de subconjuntos para cada
(x, y) R
2
:

(x,y)
= {(x , x + ) {y}; > 0}.
Entonces el conjunto de dichas familias
(x,y)
forman una base de entornos para una
cierta topologa. Se prueba solamente la tercera propiedad. Sea V = (x , x +
) {y}. Se toma V
0
= V . Dado (z, y) V , sea = |x z| (si x = x es evidente).
Entonces (z , z + ) {y} V .
El criterio de Hausdor nos serva para comparar dos topologas a partir de bases
de topologas. El siguiente teorema hace lo mismo para base de entornos.
Teorema 1.3.11 (Criterio de Hausdor) Sea un conjunto X y para cada x
X y
1
x
,
2
x
dos bases de entornos para sendas topologas
1
y
2
. Entonces son
equivalentes los siguientes enunciados:
1.
1
=
2
.
2. Para cada x X y V
1

1
x
, existe V
2

2
x
tal que V
2
V
1
.
Para cada x X y V
2

2
x
, existe V
1

1
x
tal que V
1
V
2
.
Observese que si para cada x X,
1
x
U
2
x
, entonces U
1
x
U
2
x
, pues para cada
U U
1
x
, existe V
1
x
tal que V U y V U
2
x
. Por tanto, U U
2
x
.
Demostracion: 1 2. Sea V
1

1
x
y sea O
1

1
=
2
tal que x O
1
V
1
. Como
O
1

2
, O
1
es entorno de x para la topologa
2
. Luego existe V
2

2
x
tal que
V
2
O
1
. Por tanto V
2
V
1
. El otro apartado es analogo.
2 1. Ahora la hipotesis nos dice que U
1
x
U
2
x
y U
2
x
U
1
x
y por tanto U
1
x
= U
2
x
.
q.e.d
1.3. ENTORNOS DE UN PUNTO. BASE DE ENTORNOS 17
A continuacion se caracteriza un conjunto abierto en terminos de entornos y base
de entornos.
Proposicion 1.3.12 Sea un espacio topologico (X, ) y
x
una base de entornos en
cada punto x X. Dado A A, son equivalentes los siguientes enunciados:
1. El conjunto A es abierto.
2. Para cada x A, A U
x
.
3. Para cada x A, existe U U
x
tal que U A.
4. Para cada x A, existe V
x
tal que V A.
Llegados a este punto, merece la pena recapitular los distintos caminos que se han
adoptado para denir un espacio topologico: mediante conjuntos abiertos, tal como
se denio un espacio topologico, conjuntos cerrados, bases de topologa, subbases,
entornos y bases de entornos. A lo largo de este Curso, los espacios topologicos
vendran determinados en algunas de estas formas. Se puede resumir esto del sigu-
iente modo:
Si se conocen los conjuntos abiertos, se puede determinar los conjuntos cerrados
(1.1.3) y los entornos (denicion 1.3.1).
Si se conocen los conjuntos cerrados, se conoce tambien los conjuntos abiertos
(denicion (1.1.3).
Si se tiene una base de la topologa, se conocen los conjuntos abiertos (denicion
1.2.1)
Si se conoce una subbase, de puede construir una base (denicion 1.2.11).
Si se conocen los entornos, entonces se puede hallar la topologa (proposicion
1.3.2)
Si se conocen una base de entornos para cada punto, se conocen los entornos
(teorema 1.3.9).
18 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
1.4 Subespacios topologicos
El objetivo de esta seccion es denir de forma natural una topologa en un subcon-
junto de un espacio topologico. Concretamente, se considera un espacio topologico
(X, ) y A un subconjunto de X. Nos preguntamos si es posible denir en A una
toploga que tenga relacion con la de X. Este proceso de denir una estructura
matematica en un subconjunto de un conjunto que ya la tiene, es frecuente en
Matematicas: subgrupo de grupos, subespacio vectorial de espacios vectoriales, sub-
anillo de anillos, etc.
Denicion 1.4.1 Sea un espacio topologico (X, ) y A un subconjunto suyo. Se
denomina topologa relativa o inducida en A por a la familia

|A
= {O A; O }.
Se dira que (A,
|A
) es un subespacio topologico de (X, ). Se denotara a al conjunto
de todos los cerrados por F
|A
y a la familia de entornos de un punto a por U
A
a
.
Se comprueba que
|A
es una topologa en A:
A = X A y = A, luego A y pertenecen a
|A
.
Sea {O
i
A}
iI
una familia de elementos de
|A
, donde O
i
para cada i I.
Entonces

iI
O
i
A = (

iI
O
i
) A
|A
, pues

iI
O
i
es un abierto de X. e
V U A.
Sean O
1
A, O
2
A
|A
, donde O
1
, O
2
. Entonces (O
1
A) (O
2
A) =
(O
1
O
2
) A
|A
, pues O
1
O
2
.
Una primera observaci on es la transitividad de la topologa relativa.
Proposicion 1.4.2 Sea un espacio topologico (X, ) y A, B subconjuntos de X
tales que B A. Entonces

|B
= (
|A
)
|B
.
Demostracion: La demostracion es evidente a partir de la igualdad O B = (O
A) B para cualquier O . q.e.d
1.4. SUBESPACIOS TOPOL

OGICOS 19
Se caracteriza los conjuntos de cerrados, base de abiertos, los entornos y bases de
entornos de la topologa relativa a partir de la topologa del espacio ambiente.
Teorema 1.4.3 Sea un espacio topologico (X, ) y A un subconjunto suyo. Se tiene
las siguientes propiedades:
1. F
|A
= {F A; F F}.
2. Si es una base de la topologa , entonces
A
= {B A; B } es una base
de la topologa
|A
.
3. Si a A, U
A
a
= {U A; U U
a
}.
4. Si
a
es una base de entornos de a A para la topologa , entonces
A
a
=
{B A; B } es una base de entornos del punto a en la topologa
|A
.
Demostracion: Se prueba solamente las dos primeras propiedades.
1. Para los conjuntos cerrados se tiene
F
|A
= {A \ (O A); O } = {(X \ O) A; O } = {F A; F F}.
2. Observese primero que los conjuntos de la forma B A, con B son
subconjunto abiertos relativos en A. Por otra parte, si O A |A, entonces
O =

iI
B
i
, para un cierto conjunto de nidces I y con B
i
. Entonces
O A =

iI
(B
i
A).
q.e.d
Ejemplo 1.4.4 Se considera el intervalo A = (0, 1) R. El conjunto [
1
2
, 1) es
cerrado en A, pues [
1
2
, 1) = [
1
2
, 2] A y el intervalo [
1
2
, 2] es cerrado en R. Sin
embargo [
1
2
, 1) no es cerrado en R.
Por otra parte, sea B = [0, 1]. El conjunto (0, 1] es abierto en B pues (0, 1] =
(0, 2)B y (0, 2) es un abierto de R. Observese tambien que (0, 1] no es un conjunto
abierto de R.

20 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
Ejemplo 1.4.5 En la recta real R se considera el conjunto de los n umeros racionales
positivos, X = Q
+
, con su topologa relativa. El conjunto A = Q
+
(0,

2) es
abierto y cerrado en X, pues
A = X [0,

2] = X (0,

2).

A continuaci on se dan algunas tecnicas para resolver el problema de saber si un

conjunto es abierto o cerrado en una topologa relativa. Se deja como ejercicio la
demostracion de la siguiente proposicion:
Proposicion 1.4.6 Sea un espacio topologico (X, ) y A X.
1. Sea O A. Si O (resp. O F), entonces O
|A
(resp. O F
|A
).
2. Supongase ahora que A es un conjunto abierto (resp. cerrado) en X y O
|A
(resp. O F
|A
). Entonces O (resp. O F).
Como consecuencia, si A es abierto se tiene

|A
= {O ; O A}.
A partir de ahora, siempre que se tenga un subconjunto en un espacio topologico,
se considerara que tiene la topologa inducida de este.
1.5 Interior y adherencia de un conjunto
En esta seccion se va a decir como expresar si un elemento de un espacio topologico
esta proximo o no a un subconjunto suyo.
Denicion 1.5.1 Sea un espacio topologico (X, ) y A X. Sea x X. Se dice
que
1. x es un punto interior de A si existe un entorno U de x tal que U A.
2. x es un punto exterior de A si existe un entorno U de x tal que U X \ A.
1.5. INTERIOR Y ADHERENCIA DE UN CONJUNTO 21
3. x es un punto frontera de A si para todo entorno U de x, U A = y
U (X \ A) = .
Se llamara
1. El interior de A al conjunto

A
= {x X; x es interior de A }. Tambien se
denotara este conjunto como int(A).
2. El exterior de A a ext(A) = {x X; x es exterior de A }.
3. La frontera de A a Fr(A) = {x X; x es frontera de A }.
Evidentemente

A
A y ext(A) X \ A.
Proposicion 1.5.2 Sea un espacio topologico (X, ) y A X. Entonces
1. X =

A
ext(A) Fr(A) y es una union disjunta.
2.

A
= ext(X \ A).
3. ext(A) = int(X \ A).
4. Fr(A) = Fr(X \ A).
Demostracion: Se prueba solamente la primera propiedad. Sea x X: caben dos
posibilidades:
O existe U U
x
tal que U A y entonces x

A
, o
Para cada U U
x
tal que U (X \ A) = . En este caso, existe U U
x
con
U X \ A y x pertenecera a ext(A), o para cada U U
x
, U A = y x
pertenecera a Fr(A).
El hecho de que la union sea disjunta es evidente. q.e.d
22 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
La proposicion 1.5.2 tiene la siguiente consecuencia: sea un espacio topologico y
supongase que se sabe hallar el interior de cualquier subconjunto del espacio. En-
tonces esta proposicion nos dice que tambien se sabe calcular el exterior y frontera
de cualquier conjunto: el exterior es el interior del complementario y la frontera es
el complementario de la union del interior junto con el exterior.
Se caracteriza el interior de un conjunto mediante abiertos, base de una topologa y
base de entornos de un punto. La demostracion del siguiente resultado es evidente.
Proposicion 1.5.3 Sea un espacio topologico (X, ), una base de y
x
una
base de entornos para cada punto x X. Se considera A X y x X. Entonces
x

A
si y solamente se da alguna de las siguientes propiedades:
1. existe O tal que x O A.
2. existe B tal que x B A.
3. existe V
x
tal que x V A.
Ejemplo 1.5.4 Se considera la topologa de los complementos nitos en R y A el
intervalo abierto (a, b). Se hallar su conjunto interior, exterior y frontera.
Sea x un punto interior. Entonces existe un conjunto nito F de n umeros reales
tales que x R \ F (a, b), lo cual es falso. Por tanto el interior de (a, b) es vaco.
Analogamente, ext(a, b) = . Por tanto, Fr(a, b) = R.
Se estudia ahora el comportamiento de la operacion interior respecto de las opera-
ciones conjuntistas.
Proposicion 1.5.5 Sea un espacio topologico (X, U
x
) y A, B X. Entonces:
1.

X
= X,

= .
2. Si A B,

B
.
3. int(A B) =

B
.
4.

B
int(A B).
1.5. INTERIOR Y ADHERENCIA DE UN CONJUNTO 23
5. int(

A
) =

A
.
Demostracion: Solamente la ultima propiedad no es evidente. Ya que

A
A, el
apartado 2 nos dice que int(

A
)

A
. Veamos ahora la otra inclusion. Sea x

A
.
Por la proposicion 1.3.4, existe U U
x
tal que U A y existe W U
x
tal que
y W, U U
y
. Como U A, W

A
, luego x es interior a

A
. q.e.d
Por otro lado, y como ejemplo de que la inclusion en la propiedad 4 puede ser estricta,
tenemos: A = Q, B = R \ Q. En este caso,

A
=

B
= , pero int(A B) =

R= R.
Proposicion 1.5.6 Sea A (X, ). Son equivalentes los siguientes enunciados:
1. El conjunto A es abierto.
2. int(A) = A
Demostracion: 1 2. Si x A, y como A es entorno de x por la proposicion 1.3.2
con A A, entonces x

A
. Luego A

A
y as se da la igualdad A =

A
.
2 1. Si x A = int(A), existe un entorno suyo U tal que U A. Por la
propiedad 3 del teorema 1.3.5, A U
x
. En particular, A es entorno de todos sus
puntos, y por tanto, es un conjunto abierto por la proposicion 1.3.2. q.e.d
Tambien se tiene la siguiente caracterizacion del interior de un conjunto.
Proposicion 1.5.7 Sea (X, ) un espacio topologico y A X. Son equivalente:
1.

A
=

{O ; O A}.
2.

A
es el mayor conjunto abierto contenido en A.
Demostracion: 1. Por la proposicion 1.5.6, el conjunto

A
es un conjunto abierto,
luego

{O ; O A}. Por otro lado,

{O ; O A} es un conjunto
abierto, al ser union de conjuntos abiertos y ademas, esta incluido en A. Al
tomar interior y usando la propiedad 2 de la proposicion 1.5.5, se tiene la
inclusion

{O ; O A}

A
.
24 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
2. Evidente por el anterior apartado.
q.e.d
Se dene ahora la adherencia de un conjunto.
Denicion 1.5.8 Sea un espacio topologico (X, ), A un subconjunto de X y x
X. Se dice que x es un punto adherente de A si para todo entorno U U
x
, UA = .
El subconjunto de X formado por todos los puntos adherentes de A se denomina
adherencia de A o la clausura de A y se denotara por A.
De la denicion de punto adherente se tiene que A A, Fr(A) A y ext(A)A = .
Luego A = A Fr(A). De esta forma, para un intervalo abierto (a, b) de la recta
real, se tiene (a, b) = [a, b].
Proposicion 1.5.9 Sea un espacio topologico (X, ), una base de y
x
una
base de entornos para cada punto x X. Se considera A X y x X. Entonces
x A si y solamente se da alguna de las siguientes propiedades:
1. para cada O tal que x O se tiene A O = .
2. para cada B tal que x B, se tiene B A = .
3. para cada V
x
, se tiene V A = .
Proposicion 1.5.10 Sea un espacio topologico (X, ) y A, B X. Se tiene las
siguientes propiedades sobre la adherencia:
1. A =

A
Fr(A) = A Fr(A).
2. Fr(A) = A X \ A.
3. X\

A
= X \ A.
4. X \ A = int(X \ A).
5. = , X = X.
6. Si B A, entonces B
A
= B A.
1.5. INTERIOR Y ADHERENCIA DE UN CONJUNTO 25
7. Si A B, entonces A B.
8. A B = A B.
9. A B A B.
10. A = A.
Demostracion: Se demuestra solo las primeras cuatro propiedades. El resto de las
propiedades se prueban a partir de la tercera propiedad y de la proposicion 1.5.5.
1.
A = A Fr(A) = X \ ext(A) =

A
Fr(A) A Fr(A) = A.
2. Usando que Fr(A) = Fr(X \ A),
A X \ A = (

A
Fr(A)) (int(X \ A) Fr(A) = Fr(A).
3. X \ A = int(X \ A) Fr(X \ A) = ext(A) Fr(A) = X\

A
.
4. X \ A = ext(A) = int(X \ A).
q.e.d
Como consecuencia de la primera propiedad de la proposicion anterior se tiene lo
siguiente: supongase que se conoce las adherencias de todos ellos, entonces se puede
hallar los interiores de dichos conjuntos usando la propiedad 3 de la proposicion
1.5.10. Se puede resumir lo anterior de la siguiente forma: sea X un espacio
topologico y se dene de forma natural las aplicaciones int, ext, Fr, ad : P(X)
P(X). El conocimiento de alguna de esas cuatro aplicaciones nos permite conocer
las otras tres restantes.
Como consecuencia de las proposiciones 1.5.6 y 1.5.7, es inmediato el siguiente re-
sultado.
Proposicion 1.5.11 Sea A un subconjunto de un espacio topologico (X, )..
1. El conjunto A es cerrado si y solamente si A = A
26 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
2. A =

{F F; A F}.
3. A es el menor conjunto cerrado que contiene a A.
Como aplicacion de las proposiciones 1.5.6 y 1.5.7, se puede estudiar el interior y la
adherencia en los espacios topologicos discretos y triviales.
Ejemplo 1.5.12 1. Sea un espacio topologico discreto (X,
D
) y A X. Se
estudia el interior y la adherencia de A. Como A y A F, entonces

A
= A
y A = A.
2. Se considera ahora el espacio trivial (X,
T
) y A X que no sea trivial.
Entonces

A
= y A = X.

1.6 Ejercicios
1. Sea X un conjunto y
i
, i I una familia de topologas. Probad que
iI

i
es
una topologa en X. Dad un ejemplo de que la union de dos topologas en un
conjunto no tiene porque ser una topologa.
2. Sea (X, ) un espacio topologico y f : X Y una aplicacion biyectiva entre
X y un conjunto Y . Se dene

= {f(O); O }. Probad que

es una
topologa en Y . Probad que las bases de topologa, subbases, entornos y base
de entornos se trasladan, de forma natural, de (X, ) en (Y,

).
3. Hallad todas las topologas que se pueden denir en un conjunto con dos
elementos. Lo mismo, pero con tres elementos.
4. Sea X = {a, b, c, d} y A = {a, b}. Hallad todas las topologas que se pueden
denir en X de forma que A sea un conjunto abierto y cerrado a la vez.
5. Si X = {a, b, c, d} es un conjunto, probad que = {, X, {a}, {a, b}} es una
topologa.
6. En N se dice que O es abierto si satisface la siguiente propiedad: si n O,
entonces todos los divisores de n pertenecen a O. Probad que la familia de
abiertos dene una topologa en N. Hallad una base de entornos para cada
n umero natural.
1.6. EJERCICIOS 27
7. En X = [1, 1] se dene = {O X; 0 O} {O X; (1, 1) O} {}.
Probad que dene una topologa en X.
8. Probad que = {(a, ); a R} {, R} es una topologa en R, pero no la
familia de subconjuntos {[a, ); a R} {, R}.
9. Sea X un conjunto y a X. Para cada x X se dene B
x
= {a, x}.
Probad que = {B
x
; x X} es una base de cierta topologa. De la misma
forma, sea A X y para cada x X, se dene B

x
= A {x}. Probad que

= {B

x
; x X} es una base de topologa de X.
10. En R
2
se dene para cada m R el conjunto B
m
= {(x, y) R
2
; y > mx}.
Estudiad si el conjunto = {B
m
; m R} es base de alguna topologa en R
2
.
11. Se considera el subconjunto de R
2
denido por X =
_
R{0}
_

_
[0, ){1}
_
.
Se dene una topologa en X a partir de una base de entornos para cada punto.
Si el punto no es (0, 1), entonces se toma una base de entornos para la topologa
usual y si el punto es (0, 1), se considera la familia
__
(a, 0) {0}
_

_
[0, b) {1}
_
; a, b R, a < b
_
.
Probad que dos entornos cualesquiera de los puntos (0, 0) y (0, 1) se intersecan.
12. En X = R [0, ) se dene una topologa a partir de una base de entornos.
Sea (x, y) X: si y > 0, se toma discos abiertos con la topologa usual
centradas en el punto y contenidas en X; si y = 0, se toma discos abiertos con
la topologa usual y contenidas en X tangentes al eje de abcisas en (x, 0) junto
el punto (x, 0). Probad que, efectivamente, se dene una topologa en X.
13. Un subconjunto D de un espacio topologico (X, ) se llama denso si D = X.
Probar que es equivalente a que cualquier conjunto abierto O de X, O D =
. Sea un conjunto innito X con la topologa de los complementos nitos.
Probar que todo conjunto abierto es denso.
14. Se considera un subconjunto A de un espacio topologico (X, ). Demostrar
que

A
= si y solamente si X \ A es denso en X.

A
= si y solamente si para cada subconjunto denso D en X, DA = .
28 CAP

ITULO 1. ESPACIOS TOPOL

OGICOS
A es un conjunto abierto si y solamente si todo subconjunto B de X tal
que A B = , satisface A B = .
15. Se considera en N la familia B
n
= {n, n + 1, . . .}, n N. Probad que =
{}{B
n
; n } es una topologa en N. Determinar el interior, la adherencia y la
frontera del conjunto {3, 4} en (N, ). Hacer lo mismo en el espacio topologico
del Ejemplo 1.2.4. Hallar base de entornos para cada n umero natural.
16. Se considera un conjunto X y A, B X. Se dene = {, X, A, B}. Deter-
minar que propiedades deben satisfacer A y B para que sea una topologa
en X.
17. Sea un espacio topologico (X, ) y una aplicacion f : X Y . Se dene en Y
la siguiente familia de subconjuntos
(f) = {O

Y, f
1
(O

) }.
Probar que (f) es una topologa en Y .
18. Sea un espacio topologico (Y,

) y una aplicacion f : X Y . Probar que la

siguiente familia de subconjuntos de X determinan una topologa en X:

f
= {f
1
(O

); O

}.
Usando la notacion del ejercicio anterior, es cierto que
f
(f) =

19. Dar un ejemplo de un espacio topologico no discreto ni trivial en el que coin-

cidan los conjuntos abiertos con los conjuntos cerrados.
20. Se considera R
2
con
= {, R
2
} {G
k
; k R},
donde G
k
= {(x, y) R
2
; x > y + k}, k R. Probar que es una topologa.
Estudiar si
u
o
u
. Caracterizar los conjuntos cerrados.
21. Sea A un subconjunto de un espacio topologico (X, ). Un punto x X se
llama punto de acumulacion de A si para cada U U
x
, (U \ {x}) A = .
Se denotara por A

el conjunto de los puntos de acumulacion. Probar que

A = A

A. Probar que en un espacio metrico, x A

si y solo si existe
{x
n
}
nN
A de terminos diferentes que converge a x. Un punto de A se
llama aislado si no es un punto de acumulaci on.
22. Sea un espacio topologico (X, ) y A un subconjunto suyo. Probar las sigu-
ientes caracterizaciones:
1.6. EJERCICIOS 29
(a) A es abierto si y solo si A Fr(A) = .
(b) A es cerrado si y solo si Fr(A) A. Probar que tambien es equivalente
a que A

A.
(c) A es abierto y cerrado si y solo si Fr(A) = .
23. Probad que la familia = {(a, b) (c, d) R
2
; a < b, c < d, a, b, c, d R} es
una base para una topologa en R
2
. Comparad con la topologa usual de R
2
.
24. Sea X un conjunto y p, q X dos elementos distinguidos. Se dene, para cada
x X,
x
= {{x, p, q}}. Probad que las familias
x
denen bases de entornos
para cierta topologa de X.
25. Sea p un objeto y X = R {p}. Probad que = {(a, b); a < b, a, b
R} {(R \ [a, b]) {p}; a < b, a, b R} dene una base para cierta topologa
en X. Probad que
|R
coincide con la topologa usual de R.
26. Para cada (x, y) R
2
, se dene
(x,y)
= {(xr, x+r)(y s, y +s); r, s > 0}.
Probad que las familias
(x,y)
denen bases de entornos para cierta topologa
de R
2
. Comparad con la topologa usual de R
2
.
27. Sea un conjunto X con dos topologas
1
y
2
. Son equivalentes
(a)
1
es mas na que
2
.
(b) Para cada O

2
, x O

existe O
1
tal que x O O

.
(c) Para cada x X, los correspondientes sistemas de entornos satisfacen
U
2
x
U
1
x
.
(d) Para cada subconjunto A de X, A
1
A
2
.
(e) F
2
F
1
.