Tarea 1 de Topologa

Diego Carvajal
29 de Abril 2015

1.

Introducci
on

En este trabajo se pide demostrar o encontrar un contraejemplo para ver si bajo un

subespacio, producto de espacios o espacio cociente de un espacios de separabilidad en
particular, se sigue cumpliendo esta separabilidad. Para eso en esta seccion definiremos
estos espacios con los que trabajaremos, para as ser mas amigable con el lector.
Definici
on 1: Un espacio topol
ogico X es T0 si dados x e y puntos distintos del espacio, existe una vecindad V de x tal que y 6 V , o existe una vecindad W de y tal que x 6 W .
Definici
on 2: Un espacio topol
ogico X es T1 si dados x e y puntos distintos del espacio, existe una vecindad V de x tal que y 6 V y existe una vecindad W de y tal que x 6 W .
Definici
on 3: Un espacio topol
ogico X es un espacio de Hausdorff o T2 , si para
cada x y cada y enTX, con x 6= y, existen V y W vecindades de x e y respectivamente, de
tal manera que V W 6= .
Definici
on 4: Un espacio topol
ogico X es un espacio regular si para cada K subconjunto cerrado de X T
y cada x X \ K, existen conjuntos U y V abiertos en X, tales
que K U , x V y U V 6= . Un espacio es T3 si es regular y T1
Definici
on 5: Un espacio topol
ogico X es completamente regular si para cada conjunto
K cerrado en X y cada x X \ K, existe una funcion continua f definida de X en el
intervalo [0, 1] de R, tal que f (K) = 0 y f (x) = 1. Un espacio topologico X es un espacio
de Tychonoff o T 3 si es completamente regular y T1 .
2

Definici
on 6: Un espacio topol
ogico X es un espacio normal si dados F y K subconjuntos de X cerrados
y
disyuntos,
existen subconjuntos abiertos U y V de X tales que
T
F U , K V y U V 6= . Un espacio es T4 si es normal y T1 .

2.

Tabla de Afirmaciones

Subespacio
Producto de espacios
Espacio Cociente

T0

T1

T2

T3

T3

Si
Si
No

Si
Si
No

Si
Si
No

Si
Si
No

Si
Si
No

T4

E.Regular

E.Normal

E.C.Regular

No
No
No

Si
Si
No

No
No
No

Si
Si
No

3. Demostraci
on

Espacio T0

1.1 Subespacio (Si)

Sea (X, X ) un espacio topol
ogico y sea Y X un subspacio con la topologa
Y = {A Y : A X }
Como X es T0 , entonces para x, y X distintos, existe una vecindad V de x tal que y
6 V . Ahora bien, tomando esos puntos en Y , nuestra vecindad para x sera V Y = VY ,
donde los abiertos de la vecidad ser
an de la forma A Y , entonces exitira una vecidad VY
de x tal que y 6 VY donde x A Y VY .
1.2 Producto de espacios (Si)
Sea
Q {Xi }iI una familia de espacios T0 y sean x e y puntos distintos del producto
X = iI Xi , existe j I tal que xj 6= yj . Puesto que Xj es un espacio T0 , existe una
vecindad Oj de uno de los puntos, digamos de xj , en Xj , tal que yj 6 Oj . Entonces j1 (Oj )
es una vecindad de x que no contiene a y. De esta manera queda demostrado que X es un
espacio T0 .
1.3 Espacio Cociente (No)
Para esto, tomemos la siguiente relacion de equivalencia en R

xQ
xRy =
yI
que produce el espacio cociente RR = {x , y } donde x e y son las clases de equivalencia
Q y I respectivamente. Ahora bien, la u
nica topologa que produce este espacio es
R = {, RR}
La cual claramente no nos permite que nuestro espacio RR sea T0 .

Espacio T1
2.1 Subespacio (Si)
Sea (X, X ) un espacio topol
ogico y sea Y X un subspacio con la topologa
Y = {A Y : A X }
Como X es T1 , entonces para x, y X distintos, existe una vecindad V de x tal que y 6
V y una vecindad W de y tal que x 6 W . Ahora bien, tomando esos puntos en Y , nuestra
vecindad para x ser
a V Y = VY , donde los abiertos de la vecindad seran de la forma
A Y , y nuestra vecindad para y sera W Y = WY , donde los abiertos de la vecindad
seran de la forma B Y , con B abierto en X entonces exitira una vecindad VY de x tal
que y 6 VY donde x A Y VY y exitira una vecindad WY de y tal que x 6 WY donde
y B Y WY .
2.2 Producto de espacios (Si)
Sea
Q {Xi }iI una familia de espacios T1 y sean x e y puntos distintos del producto
X = iI Xi , existe j I tal que xj 6= yj . Puesto que Xj es un espacio T1 , existe una
vecindad Aj y Bj de xj e yj respectivamente en Xj , tal que yj 6 Aj y xj 6 Bj . Entonces
j1 (Aj ) es una vecindad de x que no contiene a y y j1 (Bj ) una vecindad que no contiene
a x. De esta manera queda demostrado que X es un espacio T1 .
2.3 Espacio Cociente (No)
Para esto tomemos el mismo contraejemplo del espacio cociente de T0 . Como la topologa que forma es
R = {, RR}
Esta no nos permite formar abiertos que tenga un punto y a otro no, en el espacio RR,
entonces no nos permite que nuestro espacio sea T1 .

Espacio T2
3.1 Subespacio (Si)
Sea (X, X ) un espacio topol
ogico y sea Y X un subspacio con la topologa
Y = {A Y : A X }
Como X es T2 , entonces para x e y en X,
T con x 6= y, existen V y W vecindades de x e
y respectivamente, de tal manera que V W 6= . Ahora bien, tomando esos puntos en
Y , nuestra vecindad para x ser
a V Y = VY , donde los abiertos de la vecindad seran de
la forma A Y , y nuestra vecindad para y sera W Y = WY , donde los abiertos de la
vecindad ser
an de la forma B Y , con B abierto en X, luego como
(V Y ) (W Y ) V W =
(V Y ) (W Y ) =
Entonces, Y es T2 .
3

3.2 Producto de espacios (Si)

Sea
Q {Xi }iI una familia de espacios T2 y sean x e y puntos distintos del producto
X = iI Xi , existe j I tal que xj 6= yj . Puesto que Xj es un espacio T2 , existe una
vecindad Aj y Bj de xj e yj respectivamente, en Xj , tal que Aj Bj = . Entonces j1 (Aj )
y j1 (Bj ) disjuntos de x e y respectivamente . De esta manera queda demostrado que X
es un espacio T2 .
3.3 Espacio Cociente (No)
Nuevamente podemos ocupar el mismo contrajemplo anterior, ya que no podemos
formas abiertos disjuntos con la topologa R . Por lo tanto, el espacio cociente de un
espacio T2 no es T2 .

Espacio T3

4.1 Subespacio (Si)

Esta demostraci
on vale de manera similar para el espacio regular, la u
nica diferencia es
que estamos suponiendo que este espacio tambien es T1 . Entonces sea X T3 con la topoloa
X , Y X, con la topologa y de 1.1, entonces sea un K un subconjunto cerrado de
Y , sabemos que lo podemos expresar como K = A Y , donde A es un cerrado en X.
Tomemos un y Y que no est
a en K, luego no puede estar en A, como X es regular,
existen abiertos disjuntos U y V en X que contienen a K e {y} (Conjunto unipuntual
cerrado, ya que X es T1 ) respectivamente , luego U Y y V Y son abiertos disjuntos
en Y que contienen a K e {y}(Sigue siendo cerrado, ya que como vimos en 2.1, Y es T1 )
respectivamente. Por lo tanto, Y es T3 .
4.2 Producto de espacios (Si)
Q
Sea Xi T3 para cada i I = {1, 2, ...}. Tomemos cualquier x X = iI Xi y
consideremos una vecindad b
asica i1
(Ai1 )i1
(Ai2 ) ... i1
(Ain ) de x en X. Entonces
n
1
2
nuestros Aj ser
an vecindades de xj en Xj , para j = 1, ..., n y como cada Xj es regular,
entonces contiene un cerrado Bj de xj en Xj . Pero entonces i1
(Bi1 ) i1
(Bi2 ) ...
1
2
1
1
1
i1
(B
)
es
cerrado
de
x
en

(A
)

(A
)
...

(A
),
esto
nos
muestra
que
in
i1
i2
in
i1
i2
in
n
es regular, y como vimos en 2.2, el producto de espacios T1 tambien es T1 . Por lo tanto,
es X es T3 .
4.3 Espacio Cociente (No)
Bajo el mismo argumento de el contraejemplo pasado, no puedo encontrar abiertos
disjuntos que contengan a un cerrado del espacio cociente y un punto que no este en el
cerrado pero si en el pescado cociente. ya que los u
nicos abiertos, son el vaco y el mismo
espacio RR.

Espacio T 3
2

5.1 Subespacio (Si)

Sea X un espacio T 3 e Y X con la topologa Y de 1.1. Tomemos un cerrado de
2
Y B = A Y , donde A es un cerrado en X. Ahora bien, tomemos un x Y \ B, luego
x 6 B. Por otro lado, como X es T 3 , hay una funcion f : X [0, 1] tal que f (A) = 0
2
y f (x) = 1. Ahora bien, nosotros podemos restringir nuestra funcion a Y y sabemos que
A Y A, entonces f (A Y ) f (A) = 0. Por lo tanto, Y es completamente regular y
como X es T1 nuestra funci
on f es continua, entonces lleva cerrados en cerrados, ahora
bien si tomamos {1} en [0, 1] que es cerrado, me lo lleva a x en X que sigue siendo cerrad,
si restrinjo esto para cualquier x en Y , cada conjunto unipuntual sera cerrado, luego Y es
T1 . Por lo tanto, es T 3 .
2

5.2 Producto de espacios (Si)

Q
Sea Xi T 3 para cada i I = {1, 2, ...}. Sea x X = iI Xi y un C cerrado en
2
X que no contiene a x. Podemos tomar como un abierto que no toca a C al conjunto
i1
(Ai1 ) i1
(Ai2 ) ... i1
(Ain ), donde Ak son abiertos de Xij . Ahora bien, como
n
1
2
Xi es completamente regular, habran j = 1, ..., n funciones fj : Xij [0, 1] tal que
fj (Xij \ Uj ) = 0 y fj (xij ) = 1. De estas funciones, necesitamos la mas fina por decirlo
de Q
alguna manera, para que me sirva para cada espacio de la familia, entonces definimos
g : iI Xi [0, 1] como
g(y) = min{fj (yij ) : j = 1, ..., n}
.
Ahora,
notemos que el mnimo es alg
un fj , osea que g es una funcion continua Q
tal que
Q
Q
g( iI Xi \ C) = 0 yQg(x) = 1. Luego iI Xi es completamente regular y por 2.2 iI Xi
es T1 . Por lo tanto, iI Xi es T 3 .
2

5.3 Espacio Cociente (No)

Como vimos en 2.2, no necesariamente el espacio cociente es T1 , as que este espacio
no necesariamente ser
a T3 .
2

Espacio T4

6.1 Subespacio (No)

Si tomamos un subconjunto del espacio metrico R2 (todo espacio metrico es normal),
como el Plano de Moore definido como
= {(x, y) R2 : y 0}
donde sus abiertos de cada elemento de este plano son todos los discos abiertos (con
la metrica definida por la norma k k2 ) de centro en el elemento, a excepcion de los
elementos que est
an en el eje x, que cuyos abiertos seran {z} D donde z y D es
5

un disco abierto que cuyo borde es tangente al eje x. Entonces si tomamos dos cerrados,
que seran el complemento de estos discos D1 y D2 , osea U = \ D1 y V = \ D2 .
Nunca podremos encontrar discos que cubran por completo a U y V . En otras palabras,
un subespacio de R2 no es normal, a pesar que R2 lo sea. Otro ejemplo, puede ser el del
plano radial formado por la topologa radial en R2 .
6.2 Producto de espacios (No)
Sea R con la topologa para la cual las vecindades basicas de x son los intervalos de la
forma [x, y) con y > x. Hemos dicho que R es un espacio normal y T1 ya que puedo separar
puntos con abiertos [x, y). Sin embargo, R R no es normal. Por lo tanto, el producto de
espacios normales no siempre es un espacio normal, como no es normal no puede ser T4 .
6.3 Espacio Cociente (No)
Ocupando el mismo contraejemplo de antes en 2.3, si no es T1 , no puede ser T4 .

Espacio Regular

7.1 Subespacio (Si)

Ver la demostraci
on 4.1.
7.2 Producto de espacios (Si)
Ver la demostraci
on 4.2.
7.3 Espacio Cociente (No)
Ver el contraejemplo de 4.3.

Espacio Normal

8.1 Subespacio (No)

Ver la demostraci
on 6.1.
8.2 Producto de espacios (No)
Ver la demostraci
on 6.2.
8.3 Espacio Cociente (No)
Ocupando el primer contraejemplo, sabemos que R al ser un espacio metrico con la
metrica usual, es un espacio normal, ya que de mis intervalos cerrados [x, y] con otro
disjunto [z, w], puedo crear dos intervalos abiertos disjuntos que cubren a estos cerrados
respectivamente. Pero aplicando la misma relacion de equivalencia R, solo tendre una
topologa donde los abiertos ser
an el vaco y todo el espacio, osea que no puedo separar
cerrados disjuntos con abiertos disjuntos.

Espacio Completamente Regular

9.1 Subespacio (Si)

Ver la demostraci
on 5.1.
9.2 Producto de espacios (Si)
Ver la demostraci
on 5.2.
9.3 Espacio Cociente (No)
Suponiendo que X es completamente regular, entonces es un espacio regular, pero
aplicando el contraejemplo de 1.3, entonces un espacio cociente no necesariamente es
regular, entonces no necesariamente sera completamente regular. Por lo tanto, habra una
relacion de equivalencia que har
a que mi espacio deje de ser regular.