OClasificacin de espacios Topolgicos.

Def: Sea X un espacio topolgico.

a) X es T0 si .x,yX existe un abierto que contiene a uno de estos pero no al otro.
b) X es T1 si .x,yX existen abiertos Ux, Uy tal que xUx, yUx, xUy e yUy.
c) Decimos que un espacio topolgico X es T tambi!n llamado "ausdor## Separable si .x,yX
existen abiertos Ux, Uy tal que xUx, yUx y UxUy$=.
d) X es regular si .x%, cerrado existen U y & abiertos tal que xU, %& y U&$=.
e) X es normal si .%," cerrados existen U y & abiertos tal que %U, "& y U&$=.
Proposicin:
a) X es T0 si y solo si .x,yX x^y se tiene que } y { } x { ^ .
b) X es T1 si y solo si 'x( es cerrado .xX.
c) X es regular si y solo si para cada xU, U abierto existe & abierto tal que U V .
d) X es normal si y solo si .% cerrado y U abierto tal que %U, .& abierto tal que U V V F .
e) X es normal si y solo si .),* cerrados con )*$= existe #:X+ +0,1, continua tal que #-a. $ 0 .a)
y #-b.$1, .**. -/ema de Uryso0n..
f) Si X es normal y T1 donde X tiene m1s de un elemento entonces existe #:X+ +0,1, continua y no
constante.
g) Si X es T1 entonces X es T0.
h) Si X regular y T1 entonces X es T.
2roposicin:
a) Todo subespacio de un T3 es un T3 con 3$1 o . )n1logamente para 4egular.
b) Todo subespacio 5cerrado de un normal es 6ormal.
c) -Xi es T3 si y solo si cada Xi lo es, con 3$1 o . )n1logamente para 4egular.
d) -Xi es normal y los Xi son T1 entonces los Xi son normales.
Proposicin: Sea X un espacio topolgico y de#inimos la relacin 4 dada por: x4y > } y { } x { ^
a. Demostrar que 4 es una relacin de equi7alencia.
b) X84 con la topolog9a inducida es T0.
c) "om-X,:.4"om-X84,:., .: que sea T0.
Proposicin: Sean X e : espacios topolgicos con : T. #:X+ :, gX+ : continuas entonces:
a) ) $ 'xX8 #-x. $ g-y.( es cerrado en X.
b. Si ) es denso en X entonces #$g.
Proposicin: Sea X un espacio topolgico y 4 una relacin de equi7alencia entonces:
a) Si X84 es T se tiene que 4X X es un cerrado.
b) Si 4 es cerrado y la proyeccin cannica es abierta entonces X84 es T.
Def: Sea X un espacio Topolgico.
a) X es pseudos;completamente regular si .x%, cerrado existe #:X+4 continua con #-x.$0 y #-y.$1
.y%.
b) X es completamente regular o Tyc0ono## si es pseudos;completamente regular y T1.
2roposicin:
a. Todo pseudos;completamente regular es regular.
b) Todo pseudos;completamente regular y T0 ya es Tyc0ono##.
c) Un espacio es Tyc0ono## si y solo si es 0omeomor#o a un subespacio de un T y compacto<.
d. Todo subespacio de un pseudos es pseudos.
e) Si los Xi son pseudos entonces -Xi tambien lo es.
OCompacidad y relacionados.
Def: Sea X un espacio topolgico:
a) X es compacto si todo recubrimiento abierto de X tiene un subrecubrimiento #inito.
b. X es un espacio de /indelo# si todo recubrimiento abierto tiene un re#inamiento numerable.
c. X es numerable compacto si todo recubrimiento abierto y numerable de X tiene un
subrecubrimiento #inito.
d. X es compacto por sucesiones si toda sucesin posee alg=n punto de acumulacin.
e) X es localmente compacto si .xX, x tiene un entorno compacto.
2roposicin:
a) Si Xi son compactos entonces -Xi tambi!n lo es. >l recipro es ciero exigiendo que los Xi sean T1.
b) Todo subespacio cerrado de un compacto es compacto.
c) Si X es compacto y T entonces :X es compacto > : es cerrado.
d) Si X es compacto y T es es normal.
e. Si X es compacto entonces es compacto por sucesiones.
#. Si X es regular y /indelo# entoces es normal.
g) X es compacto si y solo si para cualquier #amilia de cerrados '%i(i? tal que
^

j
i
n
1 j
F
= para
cualquier #amilia #inita entonces
^
i I i
F
=.
0. /a unin #inita de compactos es un compacto.
i) Si @X es compacto y #:X+ : es continua entonces #-@. es compacto. Tambien es cierta para
localmente compactos.
A. Si X es compacto entonces es compacto por sucesiones. >l reciproco es cierto si se exige que X
tenga una base numerable.
Introduccin:
Consideraremos conocidos os es!acios "ectoriaes# Ver
Ca!ituo 1: $s!acios normados#
Definicin: %ea $ un es!acio "ectoria# Una norma en $ es una funcin OO #OO : $ + 4 y &ue cum!e:
a) OO "OO' ."$# b) OOC "OO (OCO OO "OO .C4) "$#
c) OO "OO( ' > " ( ' d) OO " * +OO, OO "OO* OO +OO ) .")+$#
Nota 1: -odo es!acio normado) $) es m.trico ya &ue toda norma induce una m.trica# $sto es &ue si OO #OOes una
norma en $ entonces a funcin d/x) y) ( OO x 0 yOOes una m.trica definida en este y !or tanto un es!acio m.trico
y to!ogico# Ver
Como os es!acios m.tricos cum!en e !rimer axioma de numerabiidad) es decir &ue cada !unto tiene un
sistema fundamenta de "ecindades numerabe entonces:
Proposicin 1: 1a a!icacin -: $ + F) con $ y F es!acios normados) es continua en x$ si y soo si .{x
n
}
nN
con im x
n
( x se tiene &ue im -/x
n
) ( -/x)#
Definicin: 2ecimos &ue -: $ + F) con $ y F es!acios normados) es acotada si .34
*
ta &ue OO -xOOL3OO xOO )
.x$#
Proposicin 2: %ean $ y F dos es!acios normados y -: $ + F una a!icacin inea# 1as siguientes
afirmaciones son e&ui"aentes a a continuidad de - en $:
a) - es continua en '
$
$#
b) .34
*
ta &ue OO -xOOL3OO xOO.x$# /$s decir - es acotada en $)
Ejercicio 1: 2emostrar &ue toda a!icacin inea definida en un es!acio "ectoria normado de dimensin finita
es continua#
Proposicin 3: %ea $) F es!acios normados entonces e es!acio "ectoria 1
c
/$) F) subes!acio de 1/$)F) es un
es!acio "ectoria normado con a norma:
OO -OO(
-x su!
1 x L
#
2e a teor5a de es!acios m.tricos tenemos &ue un es!acio m.trico es com!eto si toda sucesin de Cauchy es
con"ergente#
Definicin: Un es!acio normado se dice de 6anach si es com!eto#
Proposicin 4: %i $ es un es!acio normado y F de 6anach entonces 1
c
/$) F) es com!eto#
2efinicin:
Ca!ituo : $s!acios "ectoriaes to!ogicos#
2efinicin 1: Un es!acio "ectoria to!ogico) $) tiene as dos estructuras &ue dan su nombre y donde as
o!eraciones interna y externa de a estructura de es!acio "ectoria son continuas#
7ro!osicin 1: 1a to!oog5a de un es!acio "ectoria to!ogico &ueda determinado a dar e sistema de
"ecindades de neutro ya &ue U es "ecindad de x$ si y soo si U 0 x o es de '
$
#
2efinicin 8: %e di&ue &ue 3$ esta acotado si .U "ecindad de neutro de $ existe nN ta &ue 3nU#