TOPOLOGA

SOLUCIONES A LAS RELACIONES DE PROBLEMAS

Relacin 2. Espacios topolgicos. Operadores

Ejercicio 2.1.-
Sea X un conjunto y x0 X. Queremos probar que la familia Tx0 =
{X} {A X; x0 / A} es una topologa sobre X. Dado que x0 /
{A X; x0 / A} Tx0 . De otro lado, por la definicin de Tx0 , X Tx0 .
Por tanto , X Tx0 .
para cualquier cantidad finita de conjuntos A1 , . . . , An Tx0 . Hay dos
posibilidades:
n
T n
T
Si x0 Ai , i n Ai = X, i n Ai = X Ai Tx0 .
i=1 i=1
n
T n
T
Si i0 : x0
/ Ai0 , ya que Ai Ai , i n, entonces Ai Ai0
i=1 i=1
n
T n
T
x0
/ Ai Ai Tx0 .
i=1 i=1
Considerenos ahora una familia arbitraria {A } , con A Tx0 ,
. De nuevo consideramos dos casos S
Supongamos 0 : x0 A0 A0 = X se cumple que A =

X T x0 . S S
Supongamos que x0
/ A , x0
/ A A Tx0 .

Por lo tanto queda probado que el par (X, Tx0 ) es un espacio topolgico.
En lo que sigue vamos a obtener la familia de cerrados Fx0 , que estar
compuesta por los conjuntos F : (X F ) Tx0 . Sabemos que X y son
cerrados en cualquier topologa sobre X. Por otro lado, un conjunto F X
con F 6= , X, ser un cerrado en (X, Tx0 ) si y slo si X F figura entre los
conjuntos de Tx0 ; es decir, x0
/ (X F ), o, equivalentemente, x0 F .
De esta forma Fx0 = {} {F X : x0 F }
Ejercicio 2.2.-
Tenemos T = {IR, } {(a, +) : a IR} y queremos probar que es una
topologa sobre IR. Obsrvese que IR, T por la propia definicin.
Sean A1 , . . . , An : Ai T . Existen dos posibilidades:
1
2 TOPOLOGA

n
Si la interseccin ni=1 Ai = , IR, es trivial se sigue que
T
Ai T , por
i=1
n
T
definicin. Si Ai 6= IR, , sean i0 , . . . , il , los ndices con Aij 6= , IR; en-
i=1
n
T l
T l
T
tonces Aij = (aij , +) y Ai = Aij = (aij , +). Como se trata
i=1 j=0 j=0
Tl
de un nmero finito l de conjuntos, (aij , +) = (aij0 , +) T , donde
j=0
aij0 = mn{aij }0jl .
S
Sea {A } : A T . Puede darse que A = , IR sea un conjunto
S
trivial as y A T , por definicin.
S S
En otro caso, A 6= , IR. Si es as, se tiene la igualdad A = A =

A , donde 0 = { ; A 6= }. Como
S S
A 6= IR, entonces A 6=
0 0
IR, 0 A = (a , +), 0
S S
A0 = (a , +) 6= IR
0 0
a0 = nf{a : 0 } A = (a0 , +) T
Con esto queda probado que (IR, T ) es espacio topolgico. A continuacin
vamos a obtener la familia de cerrados F de dicha topologa. Recordemois
que siempre , IR F. Adems, los subconjuntos F = (, a] son cerrados
de (IR, T ), dado que IR F = (a, +) T . Tenemos entonces que la familia
de cerrados viene dada como
F = {, IR} {(, a] : a IR}.

Ejercicio 2.3.-
Tenemos la familia T = {IR2 , } {G }, donde G = {(x, y) IR2 : y <
x , IR} y queremos demostrar que es una topologa en IR2 , as que
procedamos a ello. Por la definicin de T , IR2 , T .
n
T
Sean A1 , . . . , An : Ai T , i = 1, . . . , n, y sea A = Ai . Pueden darse
i=1
dos casos:

a) A = , IR2 A T
6 , IR2 existe un nmero determinado de subconjuntos Ai que son
b) A =
del tipo G . Si etiquetamos estos conjuntos con el subndice j = 1, . . . , l
l
T
entonces Aij = Gj para todo 1 j l A = Gj , donde Gj =
j=1
{(x, y) IR2 : y < x j }. Como hay un nmero l finito de conjuntos,
l
T
sea jk = max{j ; 1 j l} Gj = Gjk A = Gjk = {(x, y)
j=1
IR2 : y < x jk } A T .
 TOPOLOGA 3
S
Supongamos ahora {A } : A T . Si A = A 6= , IR entonces

para todo existe un tal que A = G y pueden ocurrir dos casos:

S
1. 0 = nf{ : } : G G0 A = G = G0 T .

Esta igualdad se demuestra por doble inclusin:
S
Sea (x, y) G i : (x, y) Gi y < x i
S
x 0 (x, y) G0 G G0 .

Dado (x, y) G0 , como (x 0 ) y > 0 existe, por la definicin
de nfimo, un 0 [0 , 0 + ), esto es,

x 0 y
0 0 < 0 + = 0 +
2
con lo cual: 20 < 0 +x0 y y < S x+20 < x+S 0 20 =
x 0 , luego y < x 0 (x, y) G G0 G .

2. @0 = nf{ : } A = G = IR2 T . Esta igualdad se
S

demuestra por doble inclusin:

Siempre.
Si (x, y) IR2 como los { } no estn acotados inferiormente
cualquiera que sea (x, y) 0 tal que 0 < xS
y y < x 0 , con
lo cual (x, y) G0 . De este modo (x, y) G .

Con esto queda demostrado que la familia T es topologa en IR2 . A con-

tinuacin vamos a obtener la familia de cerrados F. Ya sabemos que IR2 y
siempre son cerrados.
Para el conjunto F = {(x, y) IR2 : y x , IR}, tenemos que
IR2 F = {(x, y) IR2 : y < x , IR} = G T As pues,

F = {IR2 , } {F : IR}.

Ejercicio 2.4.-
Veamos que la familia de subconjuntos de IR, T = {IR, } {[x, x]; x >
0}, no es una topologa sobre IR. En efecto, si consideramos los conjuntos de

T , Gn = [xn , xn ], con xn = n1
S
n , siendo n 2, la unin Gn = (1, 1)
n=2
no est en T , as pues T no es una topologa sobre IR.
Ejercicio 2.5.-
4 TOPOLOGA

Es anlogo al Ejercicio 2.4, pues si = (0, 0) es el origen, y Gn =

Bdl (, n1
S
n ), con n 2, entonces la unin Gn = Bdl (, 1) es la bola
n=2
abierta de radio 1 y centro el origen, y este conjunto no aparece en T .
Ejercicio 2.6.-
Dado un espacio topolgico (X, T ), consideramos la familia T 0 = {}
{{y0 } G ; G T }. Queremos saber si es una topologa sobre Y = X {y0 }
/ X. Para ello T 0 tiene que cumplir las tres propiedades que definen
con {y0 }
a una topologa, comprobmoslo:

Tenemos T 0 por definicin. Por otra parte, como X T dado que T

es topologa, se sigue que Y = {y0 } X T 0 por definicin.
n
Sean A1 , . . . , An con Ai T 0 , i = 1, . . . , n. Si
T
Ai 6= , Y (en otro
i=1
caso es trivial) i0 , . . . , il ; Aik = {y0 } Gk con Gk T , k = 0, . . . , l,
Tn T l Tl l
T
por tanto, Ai = Aik = ({y0 } Gk ) = {y0 } Gk . Dado que
i=1 k=0 k=0 k=0
l
T
(X, T ) es un espacio topolgico, teniendo Gk T , k l Gk T . Si
k=0
l
T n
T n
T
llamamos G = Gk tenemos que Ai = {y0 } G, con G T Ai
k=0 i=1 i=1
T 0.
0
SSea ahora {A } : A T , . Supongamos que la unin A 0=
A 6= , Y no est en un caso trivial (en otro caso es obvio que A T ).

Sea 0 = { ; A 6= }. Tenemos A = 0 y adems, S A =6= Y for

0
all . Entonces A = {y0 } G con G T y A = ({y0 } G ) =
  0
S S
{y0 } G . Por tanto, si G = G , como (X, T ) es espacio topolgi-
0
co, G T y A = {y0 } G, con G T A T 0 .
Queda demostrado que T 0 es una topologa sobre Y . A continuacin
obtenemos la familia F de cerrados. Si F = , Y es un cerrado, entonces
Y F 6= Y, T 0 , luego Y F = Gcup{y0 } con G T . Entonces,
F == (Y (G {y0 }) = X G, y llegamos a que F es un cerrado de
(X, T ).
Recprocamente, si F es un cerrado de , entonces G = X F T y
G {y0 } = (X F ) {y0 } = Y F (pues y0 / F ) nos dice que F es in
cerrado de (Y, T 0 ). Hemos probado que los cerrados de (Y, T 0 ) coinciden con
los cerrados de (X, T ).
Ejercicio 2.7.-
Como Te es la topologa inducida por la distancia eucldea, para conocer
si alguno de los intervalos, I, son entornos de 0 basta con comprobar que
 TOPOLOGA 5

> 0 tal que Bde (0; ) = (, ) I.

a) I = ( 12 , 12 ). Si tomamos = 41 , Bde (0; ) = ( 41 , 14 ). Como 14 < 12 y

21 < 14 ( 41 , 41 ) ( 12 , 12 ). Por lo tanto ( 21 , 21 ) es entorno de 0.

b) I = (1, 0). No es entorno pues 0

/ I (y todo punto de int I debe estar
en I).

c) I = [0, 21 ). En este caso, @ > 0 tal que Bde (0; ) = (, ) [0, 12 ). Por
lo tanto [0, 21 ) no es entorno de 0.

d) I = (0, 1]. No es entorno por la misma razn que b).

Ejercicio 2.8.-
Para que un conjunto H sea entorno de un punto (x, y) IR2 en (IR2 , Te )
tiene que existir > 0 tal que Bde ((x, y); ) H. Dado que Bde ((x, y); ) =
{(x, y) IR2 : x2 + y 2 < 2 }, para que H sea un entorno de (0, 0) debe
cumplir en general que contenga valores positivos y negativos tanto para x
como para y. Esto nos bastar para justificar en los siguientes conjuntos si
son o no entornos de (0, 0).

a) ( 21 , 12 ] ( 14 , 41 ]. Basta con tomar = 51 , podemos comprobar que

Bde ((0, 0); 51 ) = {(x, y) IR2 : de ((0, 0), (x, y)) < 15 } ( 51 , 15 ) ( 51 , 15 ).
Dado que 15 < 41 < 21 Bde ((0, 0); 15 ) ( 21 , 12 ] ( 14 , 14 ]. De este modo
es entorno de (0,0).

b) ( 21 , 0] (1, 0]. Este conjunto no es entorno, pues los valores de x e y

estn restringidos al tercer cuadrante de los ejes cartesianos y cualquier
crculo centrado en el (0, 0) tiene puntos en los cuatro cuadrantes, de
manera que resulta imposible introducir una bola de radio > 0 en dicho
conjunto.

c) [0, 12 ) [0, 14 ). De nuevo, no es entorno de (0, 0) ya que los valores de x

e y estn restringidos al primer cuadrante, y por tanto(0,0) no est en el
interior del conjunto.

d) (0, 1] (0, 12 ]. No es entorno, pues (0, 0)

/ (0, 1] (0, 21 ]

Ejercicio 2.9.-
En este problema obtendremos los derivados de los conjuntos propuestos
en el plano eucldeo (IR2 , Te ).
6 TOPOLOGA

a) A = {(x, y) IR2 ; x Q} = IR Q. Para cualquier abierdo eucldeo G,

> 0 tal que Bde ((x, y); ) G. Como Q es denso en (IR, Te ), el inter-
valo abierto (x , x + ) tiene interseccin (x , x + ) Q no vaca con
Q. Sea q (x , x + ) Q 6= . Entonces (q, y) (x , x + ) {y}
Bd ((x, y), ) G, as pues G (Q IR) 6= . Es decir, (x, y) (que es un
punto arbitrario de IR2 ) es un punto de acumulacin de A, y de ese modo
A0 = ((IR Q) Q) IR = IR IR = IR2 .

b) B = {((1)n n1 , (1)n ); n IN}. Como podemos comprobar, el conjunto

B es el de los puntos del primer y tercer cuadrante de los ejes cartesianos
con y = 1 y = 1 respectivamente y x = n1 si n es par o x = n1 si n
es impar.
Es claro que todo punto (x, y) B es aislado. En efecto, supongamos
x > 0 (se razona de forma anloga si x < 0), entonces y = 1 y x = n1
1
con n par. Si tomamos 0 = n(n+2) Bde ((x, y); 0 ) es entorno de (x, y)
y slo corta a B en el propio (x, y).
Tambin es fcil encontrar para todo (x, y) IR2 B con x 6= 0
un > 0 de forma que (Bde ((x, y); 0 ) B = . Si n01+2 x n10
tomamos 0 = mn{ x1/(n 2
0 +2) 1/n0 x
, 2 }. En caso de que x > 1, basta
tomar = 1 x.
Finalmente, si (x, y) = (0, 1) dado cualquier , por la propiedad ar-
quimediana de los nmeros n0 reales tal que n10 < > 0 tal
que Bde ((0, 1); ) es entorno de (0, 1) se tiene que Bde ((0, 1); ) B =
{(x0 , y 0 ) IR2 : y 0 = 1, x0 = 2n 1 0
0 , n n0 } =
6 , cortando a B en un
nmero infinito de puntos. Por tanto (0, 1) es punto de acumulacin. El
mismo razonamiento se aplica a (0, 1) concluyendo lo mismo.
De esta forma B 0 = {(0, 1), (0, 1)}

c) C = {(x, f (x)) IR2 ; x IR} con f (x) = x si x Q, f (x) = 1 x si

x IR Q. De este modo si llamamos CQ = {(x, x) IR2 ; x Q} y
CIRQ = {(x, 1 x) IR2 ; x (IR Q)}, tenemos C = CQ CIRQ .
Sea (x, x) un punto de la diagonal IR2 de ecuacin
y = x que con-

tiene a CQ . Para cualquier > 0, y como x 2 , x + 2
contiene infinitos

nmeros racionales, la interseccin CQ x 2 , x + 2 x 2 , x + 2




CQ Bd ((x, y), ) tambin, luego C 0 .

Igualmente si es la recta y =  1xque contiene a CIRQ , tenemos que

para todo (x, 1x) y > 0, x 2 , x + 2 (1 x) 2 , (1 x) + 2

Bde ((x, 1 x), ), y como los irracionales son
densos, podemos encontrar

infinitos irracionales (z, 1z) x 2 , x + 2 (1 x) 2 , (1 x) + 2 .
De esta forma, CIRQ corta a Bde ((x0 , y 0 ), ) en infinitos puntos y C 0 .
Por ltimo si (x0 , y 0 )
/ , si 1 = de ((x0 , y 0 ), ) y 2 = de ((x0 , y 0 ), ),
entonces basta tomar = mn{1 , 2 } para tener que Bde ((x0 , y 0 ); ) no
corta a C en ningn punto, es decir, Bde ((x0 , y 0 ); )C = (x0 , y 0 ) / C 0.
0
De este modo, C = .
 TOPOLOGA 7

Ejercicio 2.10.-
Recordemos que trabajamos con la distancia eucldea.

1
a) A = { ; n IN}. Podemos ver que 0 A, ya que > 0, Bde (0; ) =
n
(, ) es entorno de 0 y Bde (0; )A 6= 0. Esto se debe a la propiedad ar-
quimediana de los nmeros reales, es decir, para cualquier > 0, n0 IN
1
tal que < n10 < n10 (, ) (, ) A = { ; m IN, m
m
n0 } =
6 por consiguiente {0} A. Adems como Bde (0; ) corta a A en
un nmero infinito de puntos, por lo que Bde (0; ) {0} tambin, es decir,
(Bde (0; ) {0}) A 6= , por lo tanto {0} A0 , es decir, es adherente y
de acumulacin.
Veamos que si x IR : x / ({0} A) x / A. Para ello vamos a distin-
guir tres casos:

x < 0 tomamos < de (x,0) 2 = |x|

2 (x + ) < 0 y (x ) < 0
Bde (x; ) A = x / A.
de (x,1)
x > 1 tomamos < 2 = |x1| 2 y nuevamente Bde (x; ) A =
x / A.
1
x ( n+1 , n1 ) tomemos = mn{|x n+1 1
|, |x n1 |}/2 Bde (x; ) es
entorno de x en (IR, Te ) y de nuevo Bde (x; ) A = , ya que @m IN
1 1
tal que n+1 <m < n1 .

De esta forma, la clausura de A viene dada por A = {0} A.

b) B = {0} (1, 2). Siempre B B. Tambin es adherente x = 1 ya que

> 0, Bde (x; ) B 6= por la propiedad arquimediana de los nmeros
reales.
El punto x = 2 tambin es adherente, las razones son anlogas a las de
x = 1.
De otro lado, si x (, 0) (0, 1) x / B. Para demostrarlo basta
|x1|
escoger = 4 para tener Bde (x; ) B = y concluir que x / B.
|x2|
Por ltimo, si x (2, +) x / B ya que basta tomar = 4 para
tener Bde (x; ) B = Hemos probado as que la clausura del conjunto
B es B = {0} [1, 2].

c) C = Q. Sean q, p Q, dado que todo intervalo contiene infinitos nmeros

racionales, tenemos (x , x + ) Q 6= para todo x IR y todo > 0.
As pues, todo abierto eucldeo que contenga a x debe contener a Q, y
como consecuencia C = IR.
d) D = IN. Siempre IN D. Ahora bien, si x / IN, x (m, m + 1), para
|xm| |x(m+1)|
un m IN, entonces si tomamos = mn{ 2 , 2 } Bde (x; )
D = x / D.
8 TOPOLOGA

De este modo la clausura del conjunto D ser l mismo, D = D = IN.

|x|
e) E = IR+ = {x IR; x 0}. Supongamos x / IR+ , si tomamos = 2 se
tiene Bde (x; ) E = x
/ E. Por consiguiente, E = E = IR+ .

Ejercicio 2.11.-
Llamamos A al conjunto S IR S. Si S = [a, b], entonces S es cerrado y
S = S. Por tanto, A coincide con la frontera de S y as A = F r(S) = {0, 1}.
En el caso S = (a, b), S es abierto y por tanto IR S es cerrado. As que
IR S = IR S y por tanto A = S (IR S) = .
Si ahora S = IN, tenemos que S es cerrado y como en el primer caso
A = F r(S) = IN, ya todos los puntos de IN son puntos frontera.
Finalmente, si S = Q, entonces IR Q = IR y as A = Q IR = Q.
Ejercicio 2.12.-
Como F r(S) = S X S, tenemos que F r(S) (IR S) = S IR S
(IR S) = S (IR S).

Recordemos que los cerrados de (IR, Tcof ) son IR y todos los conjuntos con
un nmero finitos de elementos (incluyendo el vaco ).

As pues si A = F r(S) (IR S) y S es abierto entonces o bien S = con

lo que A = o bien IR S es finito con lo cual S es infinito y como S S,
S es un cerrado infinito y por tanto S = IR. As pues, A = IR S.

Si S es finito entonces es cerrado en (IR, Tcof ) y por tanto S = S, de donde

S (IR S) = .

Finalmente, si S = Q entonces S = IR por ser Q infinito (ver primer caso),

y as A = IR (IR Q) = IR Q es el conjunto de nmeros irracionales.
Ejercicio 2.13.-
Dado que trabajaremos con la topologa eucldea Te sobre IR2 , para hal-
lar los puntos interiores que forman el interior de un conjunto buscaremos
aquellos puntos que son centro de una bola abierta contenida en el conjunto.
Anlogamente, un punto formar parte de la clausura de A (punto adherente
a A) si toda bola centrada en l corta a A.

1) A = {(x, y) : x = n1 , 0 y 1}. Para todo z = ( n1 , y) A, dado cualquier

> 0, Bde (z; ) = {(x, y) IR2 : x2 + y 2 < 2 } (x, y) Bde (z; ) tal
que (x, y)
/ A z no es punto interior de A int(A) = .
Para hallar A lo que haremos ser estudiar los z = (0, y) IR2 tales
que 0 y 1 ya que todo otro punto de IR2 A es el centro de alguna
bola que no corta a A.
 TOPOLOGA 9

Es inmediato que para todo (0, y) IR2 , con 0 y
1 cualquier bola

centrada en (0, y) contiene puntos de la forma n1 , t . Por ejemplo, si el
radio de la bola es entonces podemos elegir un n con n1 < y 1 > t >
q
y 2 n12 .
As pues A es la unin de A y el segmento {(0, y); 0 y 1}.
2) Si B = {(x, y) IR2 : x y > 1}, tenemos int(B) = B.

Figura 1. pie de figura

3) En este caso, int(C) = y C = C es cerrado.

Ejercicio 2.14.-
a) A = {(x, y) IR2 ; x y = 0}.
Ntese que A es la unin de los ejes de coordenadas pues xy = 0 si x = 0
o y = 0. Como los ejes son cerrados del plano eucldeo entonces A es
unin de los cerrados y por tanto cerrado. Adems, int(A) = . As que
A es cerrado y no abierto.

b) B = {(x, y) IR2 ; x Q}.

En este caso int(B) = pues en toda bola de centro (x, y) con x Q
podemos encontrar (x0 , y) con x0 irracional.
Adems B = IR2 pues en toda bola de centro (x, y) IR2 con (x, y)
arbitrario podemos encontrar un punto (p, y) B.
Por tanto, B no es cerrado ni abierto.

c) C = {(x, y) IR2 ; |x| < 1} = {(x, y) IR2 : 1 < x < 1}.

10 TOPOLOGA

En este caso int(C) = C y C = C {(x, y); x = 1}. El conjunto C es

entonces abierto y no cerrado.

d) D = {(x, y) IR2 ; 0 < x < 1, 0 < y < 1} {(0, 0)}.

Claramente 0 / int(D) pero todos los dems puntos de D son in-

teriores. As int(D) = D {(0, 0)}. Para la clausura de D tenemos
 TOPOLOGA 11

D = {(x, y); 0 x 1; 0 y 1}.

El conjunto D no es pues ni cerrado ni abierto.

e) E = {(x, y) IR2 ; x, y Q, x2 + y 2 < 1}.

En este caso int(E) = pues todo crculo abierto (= bola abierta) con-
tiene puntos con alguna coordenada irracional. Adems, E = Bd [(0, 0), 1]
es la bola cerrada de centro el orgen y radio 1, esto es, el crculo unidad,
ya que en toda bola abierta de centro cualquier punto (x, y) podemos
encontrar un punto (p, q) con sus dos coordenadas racionales y adems
que la distancia al origen sea menor que la de (x, y).
Este conjunto no es cerrado ni abierto.

f) F = {(x, y) IR2 ; x2 + y 2 < 1}.

Este conjunto es la bola abierta de centro el origen y radio la unidad.
Entonces, int(F ) = F por ser un conjunto abierto y F es la bola cerrada.
Este conjunto es abierto y no cerrado.

g) G = {(x, y) IR2 ; x > 0, y 6= 0}.

Este conjunto representa el semiplano derecho de IR2 sin el eje OY . Para
ver que G es abierto basta considerar para cada (x, y) G un menor que
la distancia de (x, y) al eje OY y tenemos Bd ((x, y), ) G. Es tambin
fcil comprobar que G = G OY . Simplemente observar que todo crculo
centrado en un punto del eje OY tiene puntos de los dos semiplanos que
definen este eje.
El conjunto G es abierto pero no cerrado.

h) H = {(x, y) IR2 ; x Q y Q}.

Este conjunto coincide con la unin (IR Q) (Q IR). As int(H) =
pues todo crculo contiene puntos con sus dos coordenadas irracionales.
Adems H = IR, esto es, H es denso, pues en todo crculo podemos en-
contrar puntos con una coordenada irracional.
H no es ni abierto ni cerrado.

i) I = {(x, y) IR2 ; x 6= 0, y x1 }.
Es claro que los puntos (x, y) I con y = x1 no son puntos interiores. De
hecho, int(I) = {(x, y) IR2 , x 6= 0, y < x1 }. Adems I = I OY . Esto
muestra que I no es ni abierto ni cerrado.

Ejercicio 2.15.-

a) A = {(x, y) IR2 ; x Q, y > 0}.

En primer lugar int(A) = pues todo crculo del plano contiene puntos
cuya primera coordenada es irracional. Por otro lado, A = {(x, y)
12 TOPOLOGA

IR2 ; y > 0} pues todo crculo centrado en algn punto de este conjunto
contiene puntos cuya primera coordenada es racional y la segunda es
estrictamente positiva.

Finalmente F r(A) = A int(A) = A.

b) B = {(x, y) IR2 ; x 0, y 6= 0}.

En este caso int(B) = {(x, y) IR2 ; x > 0, y 6= 0} pues todo crculo

alrededor de un (x, y) B con x = 0 contiene puntos cuya primera
coordenada es negativa. adems B = {(x, y) IR2 ; x 0} pues todo
crculo de centro (x, 0) contiene puntos con segunda coordenada no nula.
Finalmente F r(B) = B int(B) = OY OX+ donde OX+ es el semieje
positivo de abcisas.

Ejercicio 2.16.-
Tenemos un espacio topolgico (X, T ) y queremos demostrar que A X
es abierto y cerrado F r(A) = . Procedemos a demostrarlo por doble im-
plicacin:

Sea A X abierto y cerrado en (X, T ). F r(A) = A (X A), como

A es abierto X A es cerrado y por ende X A = X A. De otro lado,
 TOPOLOGA 13

A es cerrado, por lo cual A = A, por consiguiente, F r(A) = A(X A) = .

Si F r(A) = A = int(A) F r(A) = int(A). Dado que int(A)

A A y A = int(A), A = int(A) = A A es abierto y cerrado en T .

Ejercicio 2.17.-
Tenemos (X, d) espacio mtrico y x X. Para demostrar que X {x} es
abierto comprobaremos que int(X {x}) = X {x}, por doble inclusin:

int(X {x}) X {x} siempre, por definicin de interior.

Sea y (X {x}), entonces x 6= y y por la propiedad de Hausdorff

de los espacios mtricos, > 0, tal que Bde (x; ) Bde (y; ) = , luego
x / Bde (y; ) y por tanto Bde (y; ) (X {x}) y int(X {x}),
y (X {x}) (X {x}) int(X {x}).
Nota: Obsrvese que slo hemos usado la propiedad de Hausdorff de un es-
pacio mtrico. Por ello este ejercicio se puede extender a los espacios topolgi-
cos que tengan la propiedad de Hausdorff. Como nuevo ejercicio adicional,
comprobar los detalles.
Ejercicio 2.18.-
Queremos probar que A es denso en X G X abierto no vaco,
G A 6= . Para ello usaremos la doble implicacin:

Supongamos A X denso A = X. Escogemos z G G

T ; G 6= , como z X = A se cumple G A 6= por la definicin de
clausura.

Sea A X, si G X abierto no vaco, G A 6= sea x X y

G un abierto con x G. Entonces G 6= y entonces G A 6= , luego
x A. Por lo tanto x X, x A X A. Como siempre A X
se tiene X = A.