0 оценок0% нашли этот документ полезным (0 голосов)
41 просмотров4 страницы
Este documento clasifica diferentes tipos de espacios topológicos y presenta algunas de sus propiedades. Introduce los conceptos de espacios T0, T1, regular, normal y completamente regular, y establece equivalencias y relaciones entre ellos. También define la compacidad y propiedades relacionadas como espacios de Lindelöf y compactos por sucesiones. Finalmente, introduce conceptos básicos sobre espacios vectoriales normados y topológicos.
Este documento clasifica diferentes tipos de espacios topológicos y presenta algunas de sus propiedades. Introduce los conceptos de espacios T0, T1, regular, normal y completamente regular, y establece equivalencias y relaciones entre ellos. También define la compacidad y propiedades relacionadas como espacios de Lindelöf y compactos por sucesiones. Finalmente, introduce conceptos básicos sobre espacios vectoriales normados y topológicos.
Este documento clasifica diferentes tipos de espacios topológicos y presenta algunas de sus propiedades. Introduce los conceptos de espacios T0, T1, regular, normal y completamente regular, y establece equivalencias y relaciones entre ellos. También define la compacidad y propiedades relacionadas como espacios de Lindelöf y compactos por sucesiones. Finalmente, introduce conceptos básicos sobre espacios vectoriales normados y topológicos.
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#