Академический Документы
Профессиональный Документы
Культура Документы
Compacidad
Iniciamos esta sección recordando el célebre teorema del cálculo conocido con
el nombre de Heine-Borel-Lebesgue —introducido por Heine en 1872, modificado
por Borel en 1894 y por Lebesgue en 1898— el cual resalta una propiedad
importante, sino la más, de los intervalos cerrados y acotados de R, la cual
permite restringir el estudio de los cubrimientos abiertos de estos intervalos a
cubrimientos finitos; esto es, tenemos una condición sobre el cardinal.
1
Esta propiedad de los intervalos cerrados y acotados de R, la generalizamos
a los espacios topológicos y con la siguiente definición le damos nombre —
introducida de manera independiente por Alexandroff y Urysohn en 1923—.
6.4 Ejemplo (R, cof initos) es compacto pues dado un cubrimiento abierto
U, tomemos U ∈ U; como U c es finito necesitamos adjuntarle a U tan sólo
finitos miembros de U para obtener un subcubrimiento abierto.
2
6.6 Teorema Si (X, G) es un espacio topológico compacto y A ⊆ X es un
cerrado entonces A es compacto.
Demostración. Sea U una familia de abiertos de X tal que A ⊆ U. Si
añadimos a U el conjunto Ac obtenemos un cubrimiento abierto de X. Luego
existen U1 , . . . , Un en U tales que X = U1 ∪ U2 ∪ . . . ∪ Un ∪ Ac , por tanto
A ⊆ U1 ∪ U2 ∪ . . . ∪ Un y éste es un subcubrimiento finito de U para A.
f −1 (U) = {f −1 (U ) : U ∈ U}
3
6.8 Teorema Sean (X, G) un espacio topológico Hausdorff y A un subespacio
compacto de X. Dado x ∈ X con x ∈/ A existen vecindades disyuntas Vx , VA de
x y de A respectivamente. —En particular esto implica que A es cerrado—.
El hecho de que una función continua sea una biyección asegura la existencia
de su inversa, pero no la continuidad de esta última. En el caso de los espacios
compactos, esto si se puede asegurar en las condiciones del siguiente teorema.
6.9 Teorema Sean (X, G), (Y, H) espacios topológicos con X compacto y
Y un espacio de Hausdorff. Si f : X −→ Y es una biyección continua entonces
f es un homeomorfismo.
http://www.virtual.unal.edu.co