Todo - Topo 274 293 Compacidad
Todo - Topo 274 293 Compacidad
Todo - Topo 274 293 Compacidad
Introducción a la Topologı́a
Compacidad
-Semana 20 a 21-
Federico De Olivera
curso 2019
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 274 / 294
Compacidad Semana 20
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 276 / 294
Compacidad Semana 20
También vale una especie de recı́proco... pero por ahora basta con
esto para ir poniendo nombres!
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 277 / 294
Compacidad Semana 20
Ejemplo 74
Sobre R con la topologı́a usual:
1 A = {(−n, n) : n ∈ N} es una cobertura abierta de R
2 A = {( 1x − x, 1x ) : x ∈ (0, 2)} es una cobertura abierta de [0, 1]
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 278 / 294
Compacidad Semana 20
... ¿y qué tal si fuese el intervalo [0, 1] en lugar del intervalo (0, 1)?
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 279 / 294
Compacidad Semana 20
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 280 / 294
Compacidad Semana 20
s = sup{x ∈ [0, 1] : [0, x] puede cubrirse con una cantidad finita de abiertos de A}.
[s − ε, s + ε] ⊂ Us y [s − ε, s + ε] ⊂ [0, 1]
Ejercicio 10.1
Supongamos que X tiene la topologı́a del orden. Adapte la prueba del
ejemplo anterior para probar que el intervalo [a, b] es compacto. ¿Qué
propiedad extra se necesitó?
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 282 / 294
Compacidad Semana 20
Proposición 10.1
Proposición 10.2
En el “otro” lenguaje:
Si F ⊂ K ⊂ X con K compacto y F cerrado, entonces F es compacto.
Como K es compacto existe una subcobertura finita, acá pueden ocurrir dos
cosas:
x ∈ U y K ⊂ V.
dibujito en R2 please!!!
Tn Sn
Tomemos U = i=1 U yi y V = i=1 V yi , verificar que U y V cumplen lo pedido.
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 285 / 294
Compacidad Semana 20
Corolario 10.3.1
En un espacio de Hausdorff, cualquier subconjunto compacto siempre
es cerrado.
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 286 / 294
Compacidad Semana 20
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 287 / 294
Compacidad Semana 20
Prueba:
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 288 / 294
Compacidad Semana 21
Como f (X) es compacto (ver Prop. 10.1) existe una subcobertura finita,
digamos
{y ∈ Y : y < z1 } ∪ · · · ∪ {y ∈ Y : y < zn },
Pero en este caso zM = max{z1 , . . . , zn } está en f (X) pero no está en la
subcobertura (absurdo).
Proposición 10.6
Sean X e Y espacios topológicos con X compacto e Y Hausdorff y f : X → Y,
entonces
F es compacto, ¿por?
f (F) es compacto, ¿por?
f (F) es cerrado, ¿por?
⇒) de la definición.
Ejemplo 77
...
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 290 / 294
Compacidad Semana 21
Proposición 10.7
Si X es un espacio topológico compacto y A es un subconjunto infinito,
entonces A0 , ∅.
Prueba:Supongamos que A0 = ∅.
Ejercicio 10.2
Sea X un espacio topológico compacto y FT
1 ⊃ F2 ⊃ · · · ⊃ Fn ⊃
conjuntos cerrados no vacı́os. Probar que ∞i=1 Fi , ∅.
Sugerencia: Si fuera ∩Fi = ∅ probar que {X − Fi : i ∈ N} es una cobertura abierta de X sin subcobertura finita.
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 292 / 294
Compacidad Semana 21
Proposición 10.8
Sea X un espacio topológico compacto y Hausdorff y A , ∅ un subconjunto
perfecto, entonces A no es numerable.
Federico De Olivera (Cerp del Sur) Introducción a la Topologı́a curso 2019 293 / 294