Espacios Regulares
Profesora: Doctora Mara Ofelia Vasquez Avila.
Estudiante:
Luis Gerardo Ayala Bertel
Universidad de Cartagena
Facultad de Ciencias Exactas y Naturales
Programa de Matematicas
Cartagena de Indias D.T y C, Colombia
2015
Definicion 1
Un espacio topologico X es regular si para cualquier A cerrado en X y x
/ A,
entonces existen conjuntos abiertos y disyuntos U y V con x U y A V.
Teorema 1
Las siguientes afirmaciones son equivalentes para un espacio topologico X:
(a.) X es regular
(b.) Si U es abierto en X y x U, entonces existe un conjunto abierto V que
contiene a x tal que V U
(c.) Cada x X tiene una base de vecindades que consiste de conjuntos cerrados.
Demostracion
(a.) = (b.)
Supongamos que X es regular, sea U un abierto en X y x U . Entonces X U
es un conjunto cerrado en X sin contener a x, as se pueden encontrar conjuntos
abiertos disyuntos V y W con x V y X U W . Entonces X W es un conjunto
cerrado contenido en U y conteniendo a V , luego V U .
(b.) = (c.)
Si (b.) aplica, entonces todo conjunto abierto en U que tenga a x contiene una
vecindad cerrada (V ) de x, as las vecindades cerradas de x forman una base de
vencidades.
(c.) = (a.)
Suponga que (c.) aplica y sea A un cerrado en X que no contiene a un punto x,
entonces X A es una vencidad de x, as que hay una vencidad cerrada B de X con
B X A, entonces el interior de B y X B son conjuntos abiertos disyuntos que
contiene a x y a A respectivamente.
Teorema 2
(a.) Todo subespacio de un espacio regular T3 es regular T3
(b.) Un espacio producto no vaco es regular T3 si y solo si cada espacio factor es
regular T3
(c.) Los espacios cocientes T3 no necesariamente son regulares
Demostracion
(a.) Si X es regular, sea Y un subespacio de X y A un conjunto cerrado en Y
entonces A = B Y con B cerrado en X. Ahora si y es un punto de Y y
y/ A, entonces y
/ B as que hay conjuntos abiertos disyuntos U y V en X
tal que y U y B V entonces U Y y V Y son conjuntos abiertos y
disyuntos en Y que contienen a y y a A respectivamente.
(b.) Si uX es regular, veamos que cada x es regular. En efecto sea Bk un cerrado
en uXk y sea xk en Xk tal que xk
/ Bk , luego existe un abierto Bi en uXi con
uXi = uX uXk con i 6= k que contenga xk , como X 6= , existen abiertos
disyuntos Vx y VB con x Vx y B VB , pero Vx = uvi y VB = uvBk , donde
cada vi es vecindad de x y cada Bi esta contenido en vB de onde vi vB =
por tanto cada factor es regular.
Recprocamente, suponga que X es regular y no vaco, Si x uX , y con-
sideremos una vecindad 11 (U1 ) . . . 1n (Un ) de x en x uX . Ahora Ui
es una vecindad de x , en Xi para i = 1, . . . , n, y por lo tanto Ui contiene
una vecindad cerrada Ci de xi , pero entonces 11 (C1 ) . . . 1n (Cn ) es una
vecindad cerrada de x que contiene a 11 (U1 ) . . . 1n (Un ).Por tanto la
vecindad cerrada de x forma una vecindad base para x, lo cual demuestra que
uX es regular.
(c.) Demostracion por contraejemplo, Sea X = {(x, 0)|x R} {(x, 1)|x R} y
sea Y el espacio cociente de X obtenido al identificar los puntos P0 (x, 0)
con P1 (x, 1) para todo 0 / x R. Claramente X es T3 y la proteccion
q : X Y es continua sobre y abierta pero los puntos Po y P1 no se pueden
separar por abiertos. Por tanto Y es T1 pero no T2 y como los puntos son
cerrados, tampoco es regular.
Teorema 3
Si X es T3 y Y es obtenido de X mediante la identificacion de un unico conjunto
cerrado A en X con un punto, entonces Y es T2
Demostracion
Sea y1 y y2 puntos distintos de Y . Entonces f 1 (y1 ) y f 1 (y2 ) estan en conjuntos
cerrados disyuntos en X y por consiguiente hay conjuntos disyuntos abiertos U y B
en X conteniendo f 1 (y1 ) y f 1 (y2 ) ahora U y V pueden ser tomados como cerrados
ya que f es cerrado, luego U = f 1 (S) y V = f 1 (T ) donde S y T son conjuntos
abiertos en Y los cuales deben contener a y1 y y2 respectivamente, como U y V son
disyuntos de igual forma lo son S y T .
Ejemplo
No cada espacio T2 es T3 .
Sea X la recta real con vecindades de cualquier punto diferente de cero, tomandola
con la topologa usual mientras las vencidades de 0 tendrian la forma U A donde
U es una vecindad de 0 en la topologa usual y:
1
A= n = 1, 2, ...
n
Entonces X es Hausdorff desde esta topologa en la recta real es mas fina que la de
la topologa usual que es Hausdorff, pero A es cerrado en X y no puede ser separada
del punto 0 por conjuntos abierto disyuntos.
