Topologa Espacios topol ogicos

Parte I
Esr.tios +oroi ooitos
El objetivo de este captulo es introducir el concepto de espacio topol ogico, este concepto
est a motivado por un tipo especial de espacios llamados espacios m etricos cuya topologa
est a denida por cierta funci on distancia.
Nos preguntamos si siempre un conjunto es un espacio? Para ello debemos dar una vincu-
laci on entre sus elementos para que un conjunto pueda llamarse un espacio.
Vamos a considerar la topologa como esa vinculaci on entre los elementos de un conjunto.
Adoptaremos como principio que la topologa de un espacio no es otra cosa que la totalidad
de los subconjuntos abiertos. Veremos que hay varias maneras de determinar la topologa de
un espacio, seg un que entendamos por subconjunto abierto.
1. SintoN;iN+os .niin+os.
1.1. Aniin+os ni R
n
.
Para introducir la noci onde subconjuntos abiertos yde topologa, resumimos las propiedades
de los abiertos de R
n
.
Denici on 1 Un subconjunto A R
n
es abierto si para cada x Aexiste r > 0 tal que B(x, r) A,
donde
B(x, r) =
_

_
y R
n
: d
_
x, y
_
=
_
n

i=1
_
x
i
y
i
_
2
_
1/2
< r
_

_
Notamos tambi en B
r
(x).
Propiedad 1 Con esta denici on de abierto resultan
A
1
) R
n
es abierto
A
2
) es abierto
A
3
) Si {A
i
}
iI
es una familia de abiertos entonces
_
iI
A
i
es abierto.
A
4
) Si {A
i
}
n
i=1
es una familia nita de abiertos entonces
n
_
i=1
A
i
es abierto.
dem: Las pruebas de A
1
y A
2
son triviales. Para A
3
, sea x
_
iI
A
i
entonces existe i
0
tal que
x A
i
0
que es abierto , es decir, existe r
i
0
> 0 tal que x B
_
x, r
i
0
_
A
i
0

_
iI
A
i
. Para A
4
,
sea x
n
_
i=1
A
i
entonces x A
i
i, como A
i
es abierto para cada i = 1, . . . , n existe r
i
tal
que x B(x, r
i
) A
i
. Si consideramos r = mn
i=1,...,n
r
i
resultar a x B(x, r) B(x, r
i
) A
i
i
entonces x B(x, r)
n
_
i=1
A
i
.
GFR-2012 Topologa-LM 13
Espacios topol ogicos Topologa
1.2. Aniin+os iN isr.tios x i+nitos o rsiinox i+nitos.
Estas propiedades de los abiertos de R
n
se verican en un espacio m etrico (o pseudo-
m etrico), esto es, un conjunto X munido de una aplicaci on d llamada m etrica (o pseudo-
m etrica).
Denici on 2 Una pseudo-m etrica es una funci on a valores reales
d : X X R
que satisface las siguientes propiedades para todo x, y, z X :
M
1
) La desigualdad triangular: d
_
x, y
_
d (x, z) + d
_
y, z
_
M
2
) d (x, x) = 0
Lema 1 Si d es una pseudo-m etrica sobre X entonces para todo x, y X tenemos
M
3
) d
_
x, y
_
0
M
4
) d
_
x, y
_
= d
_
y, x
_
Denici on 3 Una m etrica en X es una pseudo-m etrica que satisface adem as:
M
5
) d
_
x, y
_
= 0 x = y.
Un espacio m etrico (M) (o espacio pseudo-m etrico (PM)) es un par (X, d) donde X es un
conjunto y d es una m etrica (o pseudo-m etrica) sobre X.
Denici on 4 Sea (X, d) un espacio pseudo-m etrico, denimos la bola de centro x y radio r por
B(x, r) =
_
y X : d
_
x, y
_
< r
_
= B
r
(x) = N
r
(x), tambi en llamado un r entorno de x. Estamos ahora
en condiciones de caracterizar los abiertos de un espacio pseudo-m etrico (o m etrico):
Decimos que A X es abierto si para todo x A existe r > 0 tal que B(x, r) A.
Lema 2 Sea (X, d) un espacio m etrico. Entonces:
A
1
) X es abierto
A
2
) es abierto
A
3
) Si {U
i
}
iI
es una familia de abiertos entonces
_
iI
U
i
es abierto.
A
4
) Si U, V son abiertos entonces U V es abierto.
Observaci on 1 En un espacio m etrico (X, d) adem as de A
1
-A
4
, se verican:
A
5
) B(x, r) es abierto.
En efecto, si y B(x, r) , entonces B(x, ) B(x, r) con = r d
_
x, y
_
.
Resulta entonces que si A , A es abierto si y s olo si A es uni on de bolas abiertas.
A
6
) Si x y entonces existen A y B abiertos tales que x A, y B y A B = .
A
7
) Si x A, A abierto de X, entonces existe n Ntal que B
_
x,
1
n
_
A.
{B
_
x,
1
n
_
}
nN
es una familia numerable con la siguiente propiedad: Si A es abierto y x A
entonces existe n Ntal que B
_
x,
1
n
_
A.
Ejemplo 1 M etricas y pseudo-m etricas.
14 Topologa-LM GFR-2012
Topologa Espacios topol ogicos
1 1 1
Figura 1: B
i
(0, 1) = {x R
2
: d
i
(x, 0) < 1} para i = 1, 2, 3.
1) La m etrica usual en R, d
_
x, y
_
=

x y

y la bola B(x, r) = (x r, x + r).

2) En R
n
, denimos las m etricas
d
1
_
x, y
_
=
n

i=1

x
i
y
i

d
2
_
x, y
_
=
_

_
n

i=1
(x
i
y
i
)
2
_

_
1
2
d
3
_
x, y
_
= m ax
i=1,...,n

x
i
y
i

Visualizamos en R
2
, las bolas centradas en cero de radio menor que 1 seg un las distintas
m etricas
Las funciones d
i
dan a R
n
tres estructuras diferentes de espacio m etrico que son equivalentes
(veremos con detalle este concepto) en el siguiente sentido: las d
i
denen la misma familia
de abiertos. En efecto, dados x R
n
y r > 0 se cumple
B
1
(x, r) B
2
(x, r) B
3
(x, r) B
1
(x, nr) B
2
(x, nr)
ya que d
3
_
x, y
_
d
2
_
x, y
_
d
1
_
x, y
_
nd
3
_
x, y
_
3) La m etrica discreta. Sea X un conjunto, denimos
d : X
2
R
(x, y) d(x, y) =
_
0 si x = y
1 si x y
Con esta m etrica, el par (X, d) es llamado un espacio m etrico discreto. Probar que d es una
m etrica y describir los abiertos de X.
4) La pseudo-m etrica trivial. Sea X un conjunto denimos e
_
x, y
_
= 0 para todo x, y X. Es una
pseudo-m etrica pues obviamente se satisfacen M
1
,M
2
pero si |X| = X > 1 falla M
5
luego e
no es una m etrica. Describir los abiertos de (X, e) llamado espacio pseudo-m etrico trivial o
indiscreto.
1.3. Aniin+os iN isr.tios +oroi ooitos.
De observar estas propiedades de los abiertos de un espacio m etrico surge, como generali-
zaci on de este concepto, la noci on de espacio topol ogico que ser a una colecci on de espacios
mucho m as grande que la de espacios m etricos.
Denici on 5 Sea X un conjunto, una topolog a en X es una colecci on no vaca de subconjuntos
de X llamados abiertos que satisface los siguientes 4 axiomas:
GFR-2012 Topologa-LM 15
Espacios topol ogicos Topologa
CA
1
) X
CA
2
)
CA
3
) Si U
i
, para i I entonces
_
iI
U
i
.
CA
4
) Si U, V entonces U V .
(y luego la intersecci on nita de abiertos es abierta)
Al par (X, ) se lo llama espacio topol ogico o simplemente espacio.
Ejemplo 2 Espacios topol ogicos.
1) Sean X = {a, b, c} y consideramos las siguientes colecciones de subconjuntos de X

1
= {, {a} , {a, b}} no es una topologa pues no verica CA
1
.

2
= {, {a} , {a, b} , X} es una topologa, es la unica?

3
= {, X} es tambi en una topologa

4
= {, X, {a}} es otra
. . . . . . . . . . . . .
= {, X, {a} , {b} , {c} , {a, b} , {a, c} , {b, c}} = P(X) es una topologa
Cu antas topologas puedo tener sobre X?.
2) Espacios topol ogicos m etricos. Si (X, d) es unespacio m etrico entonces por lema 1-2 el conjunto
de todos los abiertos m etricos forman una topologa
d
sobre X, llamada la topolog a m etrica
o topolog a inducida por la m etrica d de la siguiente manera:
A
d
para cada x A existe r > 0 tal que B(x, r) A.
3) Espacios discretos. Sea Xunconjunto, = P(X) verica los 4 axiomas, luego es una topologa
sobre X llamada la topolog a discreta, as (X, P(X)) es un espacio topol ogico discreto. Ver
que es id entica a la topologa m etrica inducida por la m etrica discreta del ejemplo 1-1-3).
4) Espacios indiscretos. Sea X un conjunto,
0
= {X, } verica los 4 axiomas, luego es una
topologa sobre X llamada la topolog a indiscreta, trivial o concreta, as (X,
0
) es un espacio
topol ogico indiscreto, trivial o concreto.
5) Topologa conita. Sea X un conjunto,
co
= {A X : CA es nito} {} es una topologa
sobre X,
co
se llama topolog a conita o topolog a de los complementos nitos.
6) La recta real. Sea X = R, denimos
u
una colecci on de subconjuntos reales como: R U
si y s olo si para cada u U existe r
u
> 0 tal que si |x u| < r
u
entonces x U. Esta resulta ser
una topologa sobre R llamada la topolog a usual de R. Ver que es id entica a la topologa
m etrica usual inducida por la m etrica usual del ejemplo 1-1 1).
7) Sea X = R,
1
= {(a, b) : a b, a, b R} es una topologa? (1, 1) =
1
verica CA
2
; R
1
,
no verica CA
1
. Considero
2
= {(a, b) : a b, a, b R}{R} esta verica CA
1
,CA
2
y CA
4
pero
no CA
3
. Sea ahora, =
_
_
iI
A
i
: A
i
es unintervalo abierto
_
{R} esta es una topologa, llamada
topolog a can onica de R.
Observaci on: recordemos que la relaci on de inclusi on de conjuntos es una relaci on de orden,
y que una topologa es un conjunto de subconjuntos de X, es decir, P(P(X)) , podremos
a veces comparar dos topologas sobre X.
16 Topologa-LM GFR-2012
Topologa Espacios topol ogicos
Denici on 6 Sea X un conjunto, y sean , dos topologas sobre X. Si decimos que es m as
d ebil que o que es m as fuerte que . Tambi en se dice que es m as gruesa, m as chica, menos
na que y que es m as na, m as grande, menos gruesa que (pensemos en una red que si tiene
agujeros m as chicos, tiene m as agujeros). Decimos que las topologas son iguales si y .
Observaci on 2 Si X es un conjunto y una topologa cualquiera sobre X se verica siempre que

0
P(X)
As, la topologa trivial o indiscreta es la mnima topologa sobre X y la topologa discreta es la m axima
topologa sobre X. No siempre dos topologas son comparables.
En efecto, en X = R denimos
1
y
2
de la siguiente manera
A
1
x A, [x, b) A para alg un b R
A
2
x A, (b, x] A para alg un b R
Puede verse que
u
en R es estrictamente menos na que
1
(o
2
) pero que
1
y
2
no son
comparables.
Como vimos en el ejemplo 1-1-2) las funciones d
i
dan a R
n
tres estructuras diferentes de
espacio m etrico (pseudo-m etrico) que son equivalentes en el siguiente sentido:
Denici on 7 Dos pseudo-m etricas (o m etricas) son equivalentes si denen la misma familia de
abiertos es decir la misma topologa.
Proposici on 1 Dos pseudo-m etricas d, d

en X son equivalentes (y ponemos d d

) si y s olo si para
todo p X y todo r > 0, existen s, t > 0 tales que
B
s
_
p
_
B

r
_
p
_
y B

t
_
p
_
B
r
_
p
_
(1)
dem: ) suponemos d d

entonces el conjunto B

r
_
p
_
es un abierto de (topologa inducida
por d). Como p B

r
_
p
_
existe s > 0 tal que p B
s
_
p
_
B

r
_
p
_
. Similarmente, como B
r
_
p
_
es abierto de

podemos encontrar t > 0 tal que B

t
_
p
_
B
r
_
p
_
.
) Probaremos que las topologas y

denidas por d y d

respectivamente coinciden.
Para ello sea U y sea p U. De acuerdo a la denici on de existe r > 0 tal que
B
r
_
p
_
U, por (1) existe t > 0 tal que
B

t
_
p
_
B
r
_
p
_
U
pero esto signica que U

(por la denici on de

). Luego

. De manera an aloga,
se prueba

. De donde resulta =

y entonces d d

.
Como consecuencia inmediata se obtiene el siguiente:
Corolario 1 Sean d y d

dos pseudo m etricas equivalentes en X. Si d es una m etrica entonces d

tambi en lo es.
GFR-2012 Topologa-LM 17
Espacios topol ogicos Topologa
dem: Como B

t
_
p
_
B
r
_
p
_
resulta d
_
x, y
_
d

_
x, y
_
luego si d

_
x, y
_
= 0 d
_
x, y
_
= 0 y d es
una m etrica entonces x = y, luego d

verica M5.
Denici on 8 Una pseudom etrica d se dice acotada si y s olo si existe un real k tal que d (a, b) k
a, b X.
Proposici on 2 Toda pseudom etrica es equivalente a una pseudom etrica acotada.
dem: queda como ejercicio.
Denici on 9 Un espacio topol ogico (X, ) se dice metrizable (o pseudometrizable) si en X est a
denida una m etrica d (o pseudom etrica) tal que
d
= .
Todo espacio discreto X es metrizable con la m etrica discreta.
Denici on 10 Un espacio topol ogico (X, ) se dice Hausdor o T
2
o H, si dados x y en X existen
U, V abiertos disjuntos tales que x U e y V.
Todo espacio metrizable es T
2
(ver A
6
). Si X es innito, (X,
co
) no es T
2
(pues, A B = con
A, B abiertos X es nito) entonces X no es metrizable.
2. EN+onNos iN isr.tios +oroi ooitos.
Denici on 11 Un conjunto no vaco N X se dice un entorno de p X si y s olo si existe U
tal que
p U N
As, un entorno de un punto p en X es un subconjunto que contiene, adem as de p, a un
abierto que contiene a p. Los entornos son conjuntos que contienen abiertos que contienen
al punto. Los abiertos son entornos de cada uno de sus puntos.
Proposici on 3 (X, ) un espacio topol ogico. U U es entorno de cada uno de sus puntos.
dem: ) obvia x U U.
) Sea U X tal que para cada x U, U N (x) , entonces para cada x U existe
V
x
tal que
x V
x
U
pero U =
_
xU
{x} y entonces U =
_
xU
V
x
entonces
_
por CA
3
_
U es abierto.
Ejemplo 3
- En (X, P(X)) cualquier conjunto que contenga a x es entorno de x, adem as todos los entornos
son abiertos.
- En (X,
0
) , el unico entorno de x es X (que es abierto).
- En (R,
u
), un intervalo cerrado [a, b] (y cualquier conjunto que lo contenga) es entorno de
todo x (a, b) . El conjunto N = (0, 2) {3} es entorno de 1 y no es abierto.
- No todos los entornos son abiertos.
18 Topologa-LM GFR-2012
Topologa Espacios topol ogicos
Denici on 12 Designamos con sistema de entornos de x o vecindades de x y la notamos N (x) =
V(x) a la familia de todos los entornos del punto x X. La familia N (x) pues siempre X N (x)
para cada x X.
Proposici on 4 El sistema de entornos N (x) de un punto x X verica las siguientes propiedades:
E
1
) M N (x) y M N entonces N N (x)
E
2
) M, N N (x) entonces M N N (x)
E
3
) M N (x) entonces x M
E
4
) N N (x) , existe M N tal que x M y M N
_
y
_
y M.
dem: queda como ejercicio.
Proposici on 5 Si a cada x X le asignamos un conjunto B(x) de partes de X tales que verique E
14
entonces existe una unica topologa sobre X tal que para cada x X, B(x) es la familia de entornos
de x. Esta topologa se llama topolog a a partir de un sistema de entornos.
dem: existencia) denamos primero la topologa, sea
= {V X : V B(x) x V}
Veamos que es una topologa. En efecto
-
- X B(x) para cada x X, entonces X .
- si U
i
i, sea x
_
i
U
i
entonces existe i
0
tal que x U
i
0
, pero U
i
0
luego U
i
0
B(x)
y como U
i
0

_
i
U
i
(por E1) tenemos que
_
i
U
i
B(x) luego
_
i
U
i
.
- si U, V entonces si x U V tendremos que U B(x) y V B(x) , luego por E2,
U V B(x) , entonces U V .
x X es N (x) = B(x)?
) Sea V N (x) entonces existe U tal que x U V, como U B
_
y
_
para cada
y U, en particular para y = x, se tiene que U B(x) luego, por E
1
, V B(x) .
) Sea V B(x) por E
4
existe W tal que x W V y y W, W B
_
y
_
luego por
denici on de , W y x W V entonces V es entorno de x, es decir, V N (x) .
N (x) = B(x)
unicidad) Sea otra topologa tal que N

(x) = B(x) , entonces como para cada x X,

N (x) =B(x) resulta N (x) = N

(x) x X. Las dos topologas denen la misma familia

de entornos, por lo tanto son iguales.
GFR-2012 Topologa-LM 19
Espacios topol ogicos Topologa
3. B.sis v sinn.sis ni iN. +oroioo..
Al denir la topologa de un espacio m etrico X comenzamos con las bolas abiertas y a partir
de ellas denimos la topologa como la familia de aquellos A X tales que para cada punto
en A existe una bola abierta centrada en dicho punto y contenida en A. Decimos entonces
que la familia = {B(x, r) : x X, r > 0} forma una base de la topologa m etrica de X.
Denici on 13 Sea (X, ) un espacio topol ogico. Una familia es base de una topolog a en
X si para cada U y cada x U existe B tal que x B U.
Proposici on 6 es base de si y s olo si para todo U existe una subfamilia {B
i
}
iI
en tal
que U =
_
iI
B
i
.
dem: ) Sea U , sea para cada x U, V
x
tal que x V
x
U, luego
U =
_
xU
{x}
_
xU
V
x
U
luego la familia de abiertos {V
x
}
xU
de tiene su uni on igual a U.
) Sean U y supongamos que existe una subfamilia {B
i
}
iI
tal que U =
_
iI
B
i
,
luego para x U existe i
0
tal que x B
i
0
U.
Denici on 14 Una familia U(x) N (x) es base de entornos o base local o sistema fun-
damental de entornos de x X si y s olo si para cada V N (x) existe U U(x) tal que
x U V.
Ejemplo 4
1) En (X, P(X)), = {{x} : x X} es base de P(X), N (x) = {A X : x A} es sistema de
entornos de x X y U(x) = {{x}} es sistema fundamental o base de entornos de x X.
En (X,
0
), = {X} es base de
0
y N(x) = U(x) = {X} para todo x X.
2) En (R,
u
) los intervalos abiertos forman una base de la topologa usual.
3) Si (X, d) es un espacio m etrico y
d
es la topologa m etrica entonces = {B(x, r) : x X, r >
0} es base de
d
y U(x) = {B(x, r) : r > 0} es base de entornos de x X.
4) Sea p R, para cada r > 0 el conjunto N
r
_
p
_
= {x :

x p

< r} llamado rentorno de p. Si

r
i
0, la colecci on
_
N
r
i
_
p
__
i
es una base local de p en R.
5) No es cierto que cualquier familia P(X) es base de alguna topologa sobre X. En efecto,
si X = {a, b, c} y = {X, , {a, b}, {b, c}}.
Proposici on 7 Sea X un conjunto y P(X) . Entonces es base de alguna topologa sobre X si y
s olo si cumple:
B1) X =
_
B
B
B2) Si A, B entonces para cada x A B existe C tal que x C A B.
dem: Si es base de una topologa sobre X es claro que cumple B1-B2.
Recprocamente, sea P(X) que cumple B1-B2, denimos :
A A = o A =
_
iI
B
i
con B
i

Resulta que es una topologa tal que es base de . M as a un, es la menor topologa
que contiene a .
20 Topologa-LM GFR-2012
Topologa Espacios topol ogicos
Corolario 2 Si P(X) satisface X =
_
S
S entonces la familia de intersecciones nitas de miembros
de es base de una topologa sobre X que es la menor que contiene a .
La topologa dada por el corolario anterior se dice generada por y se llama sub-base de
la topologa.
Denici on 15 Una sub-base de una topolog a en X es una subcolecci on de tal que las
intersecciones nitas (subfamilias nitas) de abiertos de forman una base de . En otras palabras,
para todo U y cada x U, existen W
1
, . . . , W
n
tal que
x W
1
W
n
U
Por ejemplo, las semirrectas L
b
= {(, b) : b R} y R
a
= {(a, +) : a R} generan una topo-
loga que coincide con la topologa usual de R, (no necesariamente o , una base
de la topologa usual es
u
= {(a, b) : a, b R}.
La
co
es la topologa en X generada por los conjuntos cuyo complemento es un punto.
3.1. Axiox.s ni i. Nixin.niiin.n.
Todos los espacios topol ogicos tienen una base, basta tomar = , pero interesan aquellos
cuyas bases tienen pocos elementos, son numerables o est an formadas por subconjuntos
simples.
Denici on 16 Un espacio (X, ) se dice que verica el 2

axioma de la numerabilidad (N
2
) si
admite la existencia de una base numerable. De la denici on de subbase surge que X es N
2
si tiene
una subbase numerable.
Denici on 17 Un espacio (X, ) se dice que verica el 1

axioma de la numerabilidad (N
1
)
cuando cada x X admite la existencia de una base local numerable, o sea cuando el sistema de
entornos de cada punto tiene una base numerable.
Ejemplo 5
1) R es N
2
pues los intervalos abiertos de extremos Q forman una base numerable de
u
.
R es N
1
pues para cada p R, ponemos r
n
=
1
2
n
0 y formamos los r
n
entornos,
N
r
n
_
p
_
= {x :

x p

< r
n
}
Luego la colecci on
_
N
r
n
_
p
__
nN
es una base local numerable.
2) Todo espacio m etrico X es N
1
, pues x X, (x) = {B
_
x,
1
m
_
}
mN
es base local numerable.
3) R
n
es N
2
, pues = {B
_
(a
1
, . . . , a
n
) ,
1
m
_
: a
i
Q, m N} es una base numerable de

u
.
4) Todo espacio discreto es N
1
, pues U(x) = {{x}} es base local numerable de entornos
de x X.
5) Todo espacio indiscreto es N
2
y N
1
.
GFR-2012 Topologa-LM 21
Espacios topol ogicos Topologa
Proposici on 8 Si un espacio topol ogico X es N
2
entonces es N
1
.
dem: Sea {B
n
}
nN
una base numerable de Xentonces si para cada x Xindicamos con B(x) la
subfamilia de {B
n
} tal que cada uno de sus miembros contiene a x, B(x) = {B
n
: x B
n
} .
Esta familia es obviamente numerable y es una base de entornos ya que si V N (x)
existe B
n
tal que x B
n
V.
Observaci on 3 El recproco no es cierto, por ejemplo todo espacio discreto no numerable es N
1
pero
no N
2
. Pues en cada punto el sistema fundamental de entornos es numerable (o nito) porque tiene a los
singuletes como base. Por ejemplo en (R,P(R)) , los singuletes no son numerables. Luego N
1
N
2
.
22 Topologa-LM GFR-2012