Universidad De Cartagena

Facultad De Ciencias Exactas y Naturales

Programa De Matematicas

Topologa

Convergencia y Espacios Completamente Regulares

Estudiante
Jose Luis Rovira Florian

Docente
Mara Ofelia Vasquez Avila

Fecha
9 de Abril del 2015

1
1 Convergencia de Sucesiones
Definicion 1 Sea X un espacio topologico y (xn ) una sucesion en X. La sucesion
converge a un punto x X, i.e., xn x si y solo si para cada vencindad U de x
existe no N tal que si n no entonces (xn ) U , en este caso decimos que (xn ) esta
eventualmente en U

Ejemplo 1 Sean X un espacio topologico, (xn ) una sucesion en X y x X, si X

tiene la topologa indiscreta entonces (xn ) converge a cualquier punto de X pues la
unica vecindad no vaca de cualquier punto en X es X

Definicion 2 Un espacio topologico X es 1contable (o satisface el primer axioma de

contatibidad) si y solo si cada x X tiene una base de vecindades contable

Nota 1 Sea X un 1contable si {Un : n N} es una base de vecindades contable de

x X, y si consideramos V1 = U1 , V2 = V1 U1 , V3 = V2 U2 y de manera inductiva
tomamos Vn+1 = Vn Un para n N entonces {Vn : n N} es una base de vecindades
contable de x que satisface Vn+1 Vn para todo n N

Ejemplo 2 Todo espacio metrico es 1contable

dado x X la familia de las bolas abiertas Bx = {B(x, 1/n) : n N} es una base de

vecindades contable del punto x

Ejemplo 3 El espacio de Sorgenfrey (R, [a, b)) es 1contable

Dado x X el conjuto Bx = {[x, q) : q Q, q > x} es una base de vecindades contable

Ejemplo 4 Sea X = {a, b} dotado de la topologa de Sierpinski es 1contable. Al

escoger Ba = {{a}} y Bb = {X} son bases de vecindades contable

Teorema 1 Si X es un espacio 1contable y E X, entonces x E si y solo si

existe una sucesion (xn ) contenida en E que converge a x

Demostracion
Si x E, como X es 1contable, existe una base de vecindades numerable {Un : n
N} de x en X tal que Un+1 Un para n N. Reemplazando Un por nk=1 Uk entonces
Un E 6= para cada n N, podemos elegir un punto xn Un E. El resultado es
una sucesion contenida en E , veamos que converge a x
sea V una vecindad de x debe existir no N de tal modo que Un0 V y como Un Un0
para n no entonces xn V
Reciprocamente si existe una sucesion (xn ) en E con xn x, entonces dada cualquier
vecindad V de x tenemos que V E 6= , pues por la convergencia existen infinitos xn
elementos de E con xn V E

2
Corolario 1 Si X y Y son espacios 1contable entonces

a) U X es abierto si y solo si siempre que xn x entonces (xn ) esta eventual-

mente en U
b) F X es cerrado si y solo si siempre que (xn ) F y xn x, entonces x F
c) f : X Y es continua si y solo si siempre que xn x en X, entonces f (xn ) f (x)
en Y
Demostracion
a) Si U es un abierto y xn x, entonces x tiene una vecindad V tal que x V U ,
por definicion de convergecia existe algun no N tal que si n no entonces xn V U ;
por lo tanto (xn ) esta eventualmente en U
Reciprocamente supongase siempre que xn x entonces (xn ) esta eventualmente
en U
Si U no es un abierto, entonces existe x U tal que para cualquier vecindad de x ten-
emos V (X U ) 6= , como X es 1contable, existe una base de vecindades contable
{Vn : n N} de x que satisface Vn+1 Vn , reemplazando Vn por nk=1 Vk entonces
Vn (X U ) 6= para n N, podemos tomar un xn Vn (X U ), el resultado es
una sucesion (xn ) contenida en (X U ) que converge a x U , es decir xn x pero
(xn ) no esta eventualmente en U ()

b) Sea F un cerrado, sean (xn ) F y xn x por el teorema anterior x F = F

por ser F cerrado.
Reciprocamente asumase siempre que (xn ) F y xn x entonces x X, por
teorema anterior x F , entonces x F y tambien F F es decir F = F , luego F es
cerrado.

c) Supongamos f continua y xn x en X, por la continuidad de f , entonces

para cualquier vecindad V de f (x) en Y existe una vecindad U de x en X tal que
f (U ) V , como xn x, existe algun no N tal que si n no entonces xn U ,
f (xn ) f (U ), por lo tanto para cada vecindad V de f (x) existe no N tal que si
n no entonces f (xn ) V , esto es f (xn ) f (x)
Reciprocamente supongase siempre que xn x entonces f (xn ) f (x)
Supongamos que f no es continua, entonces existe x X y una vecindad V de f (x)
tal que para cualquiera base de vecindades {Un : n N de x existe un xn Un que
f (xn ) 6 V . Por Un+1 Un tenemos que xn x, pero f (xn ) no converge a f (x) (),
luego f es continua

2 Espacios Completamente Regulares

Definicion 3 Un espacio (X, ) se dice completamente regular si y solo si para cada
cerrado F X y cada x 6 F existe una funcion cotinua f : X [0, 1] tal que f (x) = 0
y f (F ) = 1
Nota 2 Un espacio (X, ) completamente regular y T1 se llama espacio de Tychonoff

3
Observacion 1 Si X es un espacio completamente regular, entonces X es regular

En efecto sea F cerrado en X y x 6 F , existe una funcion contiua f : X [0, 1] tal que
f (x) = 0 y f (F ) = 1, los conjuntos f 1 ([0, 1/2)) y f 1 ((1/2, 1]) son abiertos disjuntos
en X tal que F f 1 ((1/2, 1]) y x f 1 ([0, 1/2))
Ejemplo 5 Todo espacio metrico es completamente regular
En efecto, supongamos que (X, d) es un espacio metrico, sea F X y p 6 F , definamos
a f : X [0, 1] por
d(x, p)
f (x) = donde d(x, F ) =inf{d(x, a) : a F } note que d(x, F ) > 0
d(x, p) + d(x, F )
para todo x 6 F y f (p) = 0 y tambien f (x) = 1 para todo x F , f es continua ya que
las funciones de tipo g : X R donde g(x) = d(x, A) para todo x X y A X son
siempre continuas
Teorema 2 a) Cualquier subespacio de un espacio completamente regular (o Tychonoff )
es completamente regular (respectivamente, Tychonoff )
b) Sea {(Xj , j ) : j J} una familia de espacios topologicos no vacos, jJ Xj es un
espacio completamente regular si y solo si cada Xj es un espacio completamente regular
c) Los cociente de un espacio de Tychonoff no puenden ser completamente regulares
Demostracion
a) Sea (X, ) un espacio topologico y x (Y, y ) un subespacio de X y sea F Y cer-
rado tal que x 6 F , si F es un cerrado en (Y, y ), existe A X cerrado tal que F = AY
y como x Y y x 6 F entonces x 6 A. Al ser (X, ) completamente regular, entonces
existe una funcion continua f : X [0, 1] tal que f (x) = 0 y f (A) = 1, consideremos
la restriccion f /Y : Y [0, 1], f /Y es continua y como x Y , f/Y (x) = f (x) = 0 y
f/Y (F ) = f (A Y ) = f (A) = 1 ya que A Y A, luego (Y, y ) es completamente
regular.

b) Supongamos que jJ Xj es un espacio completamente regular, como cada Xj

es homeomorfo a un subespacio de jJ Xj , entonces el espacio Xj es completamente
regular

Supongamos que cada espacio Xj es completamente regular, sean x jJ Xj y

un subconjuto cerrado F de jJ Xj que no contiene a x, entonces x [jJ Xj F ],
existe un subconjunto abierto B de jJ Xj tal que x B [jJ Xj F ], como B es
un abierto del producto de los espacios Xj , existe una cantidad finita de indices ji en J
y subconjuntos abiertos Uji ji para i = 1, 2, ...., n tales que B = 1 1
j1 (Uj1 )j2 (Uj2 )
...... j1
n
(Ujn ) dado que x B entonces la ji esima coordenada de x ji (x) = xji
pertenece al abierto Uji , como cada espacio Xji es completamente regular, entonces
existe una funcion cotinua fi : Xji [0, 1] tal que fi (xji ) = 1 y fi (Xji Uji ) = 0,
definamos gi : jJ Xj [0, 1] como la composicion gi = fi oji para toda i = 1, 2, ...., n
y definamos g : jJ Xj [0, 1] como la funcion g(y) =min{gi (y) : i = 1, 2, .., n}, g es
continua para toda y jJ Xj ya que g =min{g1 , g2 , ..., gn } y cada gi es una funcion

4
continua, ademas sucede que
g(x) =min{gi (x) : i = 1, 2, ..., n} =min{fi (xji ) : i = 1, 2, ..., n} = 1 y si y [jJ Xj B]
entonces yji = (y) 6 Uji para alguna i = 1, 2, ...., n de donde g(y) =min{gi (y) : i =
1, 2, ..., n} =min{fi (yji ) : i = 1, 2, ..., n} = 0 por lo tanto se ha mostrado la existencia
de una funcion continua g : jJ Xj [0, 1] tal que g(x) = 1 y g(F ) = 0 lo cual implica
que jJ Xj es un espacio completamente regular.