Matemáticas Universitarias/Espacios Métricos/Compactos

← Conexos		Compactos	Separación →
Matemáticas Universitarias/Espacios Métricos

Introducción

La compacidad es una propiedad muy importante de los espacios topológicos. Sin embargo, no resulta fácil dar una descripción intuitiva de la misma. La idea de compacto es de algo que cabe en un espacio pequeño. Para nosotros, topológicamente hablando, los espacios finitos serán espacios “pequeños”. Sin necesariamente mucha precisión, podemos decir que los conjuntos compactos serán espacios topológicamente semejantes a los conjuntos finitos. Una definición formal aparecerá más adelante.

Por la importancia de los conjuntos compactos y de las nociones asociadas, hemos adoptado una estructura especial en este capítulo. Después de dar una definición general de la compacidad y ver algunas de sus propiedades generales, haremos un estudio detallado de la compacidad para subconjuntos de la línea real; en particular una serie de nociones equivalentes. Posteriormente, veremos la compacidad en los espacios normados Rⁿ. Luego, estudiaremos la noción en un espacio métrico cualquiera. Obviamente, cualquier propiedad de compactos en espacios métricos será valida para la línea real y los Rⁿ. Es decir que habrá resultados cuyas demostraciones podrán aparece tres veces, primeramente para línea real, luego para los espacios normados de dimensión finita y luego para los espacios métricos. ¿Por qué esta redundancia? En primer lugar, porque ilustra el desarrollo de la noción. En segundo lugar, veremos demostraciones diferentes para una misma propiedad, dependiendo del ambiente. Finalmente, podremos ver que las propiedades equivalentes o implicadas por la compacidad, no son las mismas para espacios generales que para los Rⁿ’s. Algunas propiedades importantes para los compactos de espacios Rⁿ—en particular, la línea real—como la característica de ser cerrados y acotados, no son válidas en general. Por esa razón, nuestra definición de compacidad será dada en términos de familias de abiertos (cubiertas) que contienen al espacio o conjunto en cuestión, ya que la experiencia muestra que es la más provechosa.

Cubiertas, subcubiertas

Definición. (Cubiertas, Subcubierta) Sea X un espacio topológico, A un subconjunto de X. Decimos que una familia G de subconjuntos de X es una cubierta o recubrimiento del conjunto A o que cubre al conjunto A, cuando la reunión de los conjuntos de la familia contiene al conjunto A.

Una subcubierta G′ de una cubierta G de A es un subconjunto de G que también cubre a A.

Decimos que se trata de una cubierta abierta cuando cada conjunto de la cubierta es un conjunto abierto.

Notemos que una familia G de subconjuntos de un conjunto A será una cubierta de A, cuando para cada x de A hay un conjunto U en G que contiene a x.

Ejemplo 11.2.1. Sea X = R y sea G la familia de intervalos ]z − 1, z + 1[, z en Z. Claramente G es una cubierta abierta de R.

Ejemplo 11.2.2. Sea X = [0, 1], r un racional positivo, y sea G el conjunto de r–vecindades de puntos racionales de X. Claramente, G es una cubierta abierta de X.

Ejemplo 11.2.3. Aunque las cubiertas abiertas serán aquella más interesantes para nosotros, podremos tener cubiertas de cerrados o de conjuntos que no son ni abiertos ni cerrados. Consideremos a F = {[z − 1, z + 1] : z ∈ Z}, que es claramente una cubierta cerrada de R. Omitiendo en cada uno de esos conjuntos uno de los extremos, todavía tendremos una cubierta.

Ejemplo 11.2.4. Sea X = {x₁, ... , x_n} un conjunto finito de un espacio topológico.

Sea G = {G_i : i ∈ I} una cubierta abierta de X. Mostraremos que hay una subcubierta finita de G que cubre a X, independiente del tamaño del conjunto de índices I. En efecto, para cada k, k = 1, 2, . . . n, hay un abierto en G que denotaremos por G_k que contiene a x_k. Claramente la reunión de esos n abiertos cubre al conjunto X.

Ejercicios 11.2.

Hallar la reunión y la intersección de cada una de las familias siguientes de subconjuntos de la línea real.
1. $(A_{n})$ , $n\in \mathbb {N}$ , $A_{n}=[0,1/n)$ .
2. $(B_{n})$ , $n\in \mathbb {N}$ , $B_{n}=]-1/n,1/n[$ .
3. $(C_{n})$ , $n\in \mathbb {N}$ , $C_{n}=[-1/n.1/n]$ .
Sea ${\mathcal {C}}$ ${\mathcal {C}}$ una cubierta abierta de un espacio $X$ $X$ .
1. Un subconjunto $A$ de $X$ es abierto, ssi, hay un $B\in {\mathcal {C}}$ tal que $A\cup B$ es abierto en $B$ .
2. Una función $f:X\rightarrow Y$ es continua, ssi, para cada $B\in {\mathcal {C}}$ , la restricción de $f$ a $B$ es continua.
3. Dos topologías de $X$ son iguales, ssi, inducen la misma topología relativa en cada $B\in {\mathcal {C}}$ .

Los Espacios Compactos

Inspirados en el ejemplo de los conjuntos finitos (11.2.4), daremos la siguiente definición de compacidad.

Definición. (Espacios y Conjuntos Compactos) Decimos que espacio topológico es compacto, ssi, cada cubierta abierta de X tiene una subcubierta finita. Un subconjunto de un espacio topológico es un subconjunto compacto cuando es un espacio compacto respecto a la topología relativa.

Los espacios finitos son compactos.
La línea real no es compacta. El cubrimiento del ejercicio 11.2.1 no tiene un subcubrimiento finito de R.

La siguiente proposición sigue inmediatamente de la definición.

Proposición 11.3.1. Sean X un espacio topológico y Y un subconjunto de X. Y es compacto, ssi, para todo familia de abiertos (en X) que cubren Y , hay una subfamilia finita de dicha familia que también lo cubre.

Antes de entrar en detalles de los espacios compactos, veremos condiciones duales para la compacidad, o sea en términos de cerrados.

Consideremos una familia (F_i) de cerrados en un espacio compacto X tal que la intersección de sus miembros sea vacía. Entonces, el complemento de tal intersección será todo X. Como el complemento de la intersección de los F_i’s es la reunión de los complementos de los F_i’s, y tales complementos son abiertos, tenemos que determinan una cubierta abierta de X. Como X es compacto, hay una familia finita de tales abiertos cuya reunión será igual a todo X; por lo que sus complementos—que es una familia finita de los F_i’s—tendrá intersección vacía. Lo anterior, produce la siguiente caracterización de la compacidad.

Proposición 11.3.2. En un espacio compacto, una familia de cerrados tiene intersección vacía, ssi, una subfamilia finita tiene intersección vacía.

Introduciremos una terminología que nos ayudará a escribir de manera más concisa algunas proposiciones.

Propiedad de la Intersección Finita. Decimos que una familia de conjuntos tiene la propiedad de la intersección finita (PIF), cuando cada subfamilia finita tiene intersección no vacía.

Usando esa terminología, sigue de la discusión anterior la siguiente proposición.

Proposición 11.3.3. Un espacio topológico X es compacto, ssi, cada familia de cerrados en X que tiene la propiedad de la intersección finita, tiene intersección no vacía.

Algunas veces, resultará más cómodo esta versión de la compacidad para probar que un conjunto ees compacto.

Sucesiones Anidadas de conjuntos. Sea X un conjunto. Una sucesión (A_n), n ∈N, de subconjuntos de X se llama anidada, ssi, para todo m, n en N.se cumple que m > n implica que A_m ⊂ A_n.

Sea (A_n) una sucesión anidada de conjuntos no vacíos. Sean n_1 < n_2 < ... < n_k, Entonces, A_{n_k} esta contenido en cada uno de los A_{n_i} ’s anteriores,por lo que está contenido en su intersección. Hemos, así, probado el siguiente lema.

Lema 11.3.4. Sea (A_n), n ∈ N, una sucesión anidada de subconjuntos no vacíos cualesquiera de un conjunto X, Entonces la familia de los A_n’s tiene la propiedad de intersección finita.

Aplicando el lema a una familia anidada de cerrados no vacíos en un espacio compacto, obtenemos la siguiente proposición.

Proposición 11.3.5 (Cerrados Anidados). Sea (F_n), n ∈ N, una familia anidada de cerrados no vacíos de un espacio compacto X. Entonces, la intersección de los F_n no es vacía.

Espacios y Conjuntos Compactos

Un subconjunto de un espacio compacto no necesita ser compacto. Por ejemplo, veremos, más adelante, que I = [0, 1] es compacto, pero su interior no lo es (ver ejercicio 5) sin embargo, los subconjunto cerrados siempre son compactos.

Proposición 11.4.1. Cualquier subespacio cerrado de un espacio compacto es compacto.

Demostración.

_i

^c

La linea real no es compacta ya que la cubierta C = { ]n, n + 2[ : n ∈ Z} no tiene subcubierta finita posible. Por la misma razón, ni el intervalo abierto ]0,+∞[ ni el intervalo cerrado [0,+∞[ son compactos. La siguiente proposición muestra, sin embargo, que hay otrosintervalos que son compactos.

Proposición 11.4.2. El intervalo [0, 1] de la línea real es compacto.

Demostración.

_i

_k

s

[0,1]

]s-r,s+r[

r>0

U_{\alpha }\cap ]0,1[\subset U_{\alpha }

Teorema 11.4.3. La imagen continua de un compacto es compacto.

Demostración.

_i

^-1

_i

^-1

_i₁

^-1

_{i_m}

_i₁

_{i_m}

Corolario 11.4.4. Compacidad es una propiedad topológica. Si X y Y son homeomórficos, se cumple que X es compacto, ssi, Y es compacto.

Corolario 11.4.5. Cualquier intervalo cerrado y acotado de la línea real es compacto.

Demostración.

Corolario 11.4.6 (Intervalos Anidados). Sea (J_n) una sucesión anidada de intervalos cerrados y acotados de R, entonces la intersección de los J_n’s no es vacía. Además, cuando la sucesión de los diámetros de los J_n tiende a 0, dicha intersección contiene solamente un punto.

Demostración.

Ejemplo 11.4.1. Sea ϕ : [0, 1] → R² tal que ϕ(t) = (cos(2π t, sen(2π t)). La función ϕ es claramente continua, por lo que imagen S¹, la circunferencia unitaria es un subconjunto compacto de R².

Proposición 11.4.7. Cualquier subconjunto cerrado y acotado de R es compacto.

Demostración.

R²

Ejemplo 11.4.2. Hay espacios donde un conjunto cerrado y acotado no es compacto.

Consideremos al subespacio Q de R con la topología relativa y sea B = [0, 1] ∩ Q. B es cerrado y acotado en Q.

Sea θ = √2/2 y sea F_n = [θ − 1/n, θ + 1/n], n ∈ N, n ≥ 4. Cada F_n es un cerrado en R, por lo que H_n = F_n ∩ B es un cerrado de B. Observando que m > n implica que H_m ⊂ H_n, vemos que la familia de los H_n’s es una familia de cerrados de B que tiene la propiedad de intersección finita. Peor, claramente, ∩n F_n = {θ}, por lo que ∩n H_n = ∅ (ya que θ no está en B). Luego, B no puede ser compacto.

La Compacidad en Espacios Hausdorff

Volvamos a espacio generales, pero suponiendo que son Hausdorff. Recordemos que llamamos espacio Hausdorff a un espacio topológico donde cualquier par de puntos distintos pueden separarse por abiertos disjuntos. Es decir, dados x, y, x ≠ y hay vecindades abiertas V_x y V_y tales que x ∈ V_x, y ∈ V_y y V_x ∩ V_y = ∅.

La siguiente proposición puede ser considerada como un recíproco parcial de la proposición 11.4.6.

Proposición 11.4.8. Un subconjunto compacto de un espacio Hausdorff es cerrado.

Demostración.

_x

_x₁

_{x_m}

_{x_i}

U\cap V_{x_{i}}=(\bigcap _{j=1}^{m}U_{j})\cap V_{x_{i}}=\emptyset ,

ya que $U_{x_{i}}\cap V_{x_{i}}=\emptyset .$ Luego,

U\cap \bigcup _{j=1}^{m}V_{x_{j}}=\bigcup _{j}(U\cap V_{x_{j}})=\emptyset .

Lo que implica que U ∩ K = ∅, o sea que U ⊂ K^c. Es decir que K^c es abierto, por lo que K es cerrado.

Corolario 11.4.9. En un espacio métrico, los conjuntos compactos son cerrados y acotados.

Demostración.

Corolario 11.4.10. Sea X un espacio Hausdorff compacto. Un subconjunto F de X es compacto, ssi, es cerrado.

Demostración.

E

K

E

K

K

K

K

K

K

K

K

El siguiente ejemplo muestra que el converso del corolario anterior no es válido en general; lo que complicará el estudio de compactos en espacios métricos.

Ejemplo 11.4.3. Espacio métrico donde un conjunto cerrado y acotado no es compacto.

Sea $E$ un espacio métrico discreto infinito. Claramente, $E$ es cerrado y acotado, pero no es compacto.

La siguiente proposición resultará, más adelante, útil para probar que ciertas funciones son homeomorfismos.

Proposición 11.4.11. Sean X, Y espacios tales que X es compacto y Y es Hausdorff. Si f : X → Y es biyectiva y continua, entonces f es un homeomorfismo.

Demostración.

Terminología. Los espacios compactos Hausdorff tienen muchas propiedades agradables. Además muchos de los espacios compactos interesantes son Hausdorff, por lo que hay varios autores (Bourbaki, Dixmier, por ejemplo) que incluyen la hipótesis de Hausdorff en la definición de compacto. En tales situaciones, se usan nombres tales como cuasicompactos para nuestros compactos.

Ejercicios 11.4

Explicar cuando un espacio no es compacto de acuerdo a la definición.
Explicar cuando un espacio no es compacto de acuerdo a la proposición 11.3.3.
Explicar cuando un espacio topológico discreto es compacto. Examinar, a continuación, un espacio topológico indiscreto.
Probar las afirmaciones no probadas en los ejemplos 11.2.1 y 11.2.4.
Probar que ]0, 1[ no es compacto.
Probar el corolario 11.3.11.
Sea X = I² el cuadrado unitario, {(x, y) : 0 ≤ x, y ≤ 1}. La familia C de bolas con centro en un punto del cuadrado y radio 1/10 cubre a X. Probar que hay una subcubierta finita de C que también lo cubre.
La reunión de una familia finitas de subconjuntos compacto es compacto.
Sea X un espacio infinito con la topología de complementos finitos. Entonces, X es compacto.
. Cuando el producto de espacios no vacíos es compacto, entonces, cada factor es compacto. El recíproco es válido, pero no es fácil de probar, ver más adelante el teorema de Tychonoff.
Sea X un espacio y B una base de la topología de X. Cada cubierta de X por abiertos de B tiene una subcubierta finita, ssi, X es compacto.
Sea X un espacio compacto y R una relación de equivalencia en X. Entonces, el espacio cociente X/R es compacto.
Sea S = [0, 1] ⊂ R pero provisto con la topología de complementos finitos, o sea que los cerrados de S son S o los subconjuntos finitos. Probar que en esta topología cualquier subespacio de S, en particular los subconjuntos abiertos, son compactos. ¿Por qué esto no contradice el resultado de la proposición 11.3.13?

La Línea Real

Antes de continuar un estudio general de la compacidad, examinaremos la compacidad donde todo comenzó: la línea real. Veremos varias equivalencias para la compacidad y algunas aplicaciones.

Claramente, como la línea real es un espacio métrico no acotado, sigue del corolario 11.4.10, que no puede ser compacta. Como los intervalos abiertos son homeomórficos a la línea real, tenemos que los intervalos abiertos no pueden ser compactos. En el lado positivo, sabemos que los subconjuntos cerrados y acotados de R son compactos (ver la proposición 11.4.7).

En el capítulo 1 insinuamos, mediante los teoremas B y C, que los intervalos cerrados y acotados eran algo especial—respecto a otro tipo de intervalos. La respuesta es que son compactos. Presentamos, usando tal noción, pruebas de tales teoremas.

Teorema B. (Acotamiento de Funciones) Sea f : [a, b] → R una función continua, entonces hay un real positivo M tal que para todo x en [a, b] se cumple que −M ≤ f(x) ≤ M. En palabras, la función f es acotada.

Teorema C. (Existencia de Máximos y Mínimos Absolutos) Sea f : [a, b] → R una función continua entonces hay números c y d tales que a ≤ c, d ≤ b con f(c) ≤ f(x) ≤ f(d), para todo x en [a, b]. En palabras, la función f alcanza máximos y mínimos absolutos.

Demostración.

R

Un análisis de la prueba, muestra inmediatamente que los resultados de los teoremas mencionados son válidos si reemplazamos [a, b] por cualquier subconjunto compacto de R.

Observación 11.1. Los resultados de los teoremas anteriores se usan (a veces, implícitamente) en el primer curso de Cálculo, especialmente cuando de trata de hallar máximos o mínimos. Una demostración usando solamente la axiomática de los Reales se puede hallar en Spivak [16].

El resultado de que una función continua es acotada se usa, en cursos de Cálculo, para probar que la existencia de la integral de funciones continuas. El resto de esta sección estará dedicado a estudiar propiedades equivalentes a la compacidad de subconjuntos de R. Tales propiedades están contenidos en el siguiente teorema, que resume muchos de los resultados del Análisis del siglo XIX. La demostración del teorema se hará a través de varios lemas, cuyas demostraciones serán interesantes por si mismas. La lectora o lector deberá estar atento a ver cuáles de esas propiedades se generalizan a Rⁿ, a espacios métricos cualesquiera y, finalmente, a espacios topológicos generales.

Teorema 11.5.1 (Teorema de la Compacidad en R). Sea A un subconjunto no vacío de R. Los enunciados siguientes son equivalentes.

(a) A es compacto.

(b) A es cerrado y acotado.

(c) Cada subconjunto infinito de A tiene un punto de acumulación en A.

(d) Cada sucesión de elementos de A tiene una subsucesión convergente.

(e) Cada función continua de A en R es acotada.

Antes de continuar con la discusión de esas propiedades introduciremos algunos nombres para las propiedades contenidas en el teorema.

Bolzano–Weierstrass. Decimos que un subconjunto A de un espacio X (cualquiera) tiene la propiedad de Bolzano–Weierstrass o que es un espacio B–W, ssi, cada conjunto infinito de A tiene un punto de acumulación en A. Algunos autores llaman a esta propiedad compacidad enumerable.

Compacidad secuencial. Un subconjunto A de un espacio X es secuencialmente compacto, ssi, cada sucesión de elementos de A tiene una subsucesión convergente en A.

Seudocompacidad. Un subconjunto A de un espacio X es seudocompacto cuando toda función real continua definida en A es acotada.

El teorema establece que cada una de esas propiedades es, en la línea real, equivalente a la compacidad.

Como en cualquier espacio métrico un conjunto compacto es cerrado y acotado (ver corolario 11.4.10), sigue de la proposición 11.4.7 el siguiente resultado;

Proposición 11.5.2 (Teorema de Heine–Borel para la Línea Real). Un subconjunto de la línea real es compacto, ssi, es cerrado y acotado.

Esta equivalencia de la compacidad será usada frecuentemente en lo que sigue. En el corolario 7.5.3, vimos que toda sucesión real acotada tiene una subsucesión convergente. Esto implica que cualquier conjunto infinito acotado (que contiene, por lo tanto, a una sucesión acotada) tiene un punto de acumulación. Esta propiedad es muy importante, por lo que la enunciaremos a continuación como una proposición, y daremos otra demostración de la misma. Tal demostración será útil en las generalizaciones..

Proposición 11.5.3 (Bolzano–Weierstrass en R). Todo subconjunto infinito y acotado de R tiene un punto de acumulación.

Demostración.

₀

₁

₀

₁

₂

_k

(i) J_k contiene infinitos puntos de A,

(ii) J_k ⊂ J_k−1 ⊂ ... ⊂ J₁ ⊂ J₀, y

(iii) δ(J_k) = (b − a)/2^k. (diámetro).

_k

_k+1

_k

^k+1

_n

ⁿ

^m

Observación 11.2. Notemos que el subconjunto N de la línea real es infinito, pero no tiene punto de acumulación. Es decir que la condición de acotado es esencial.

Lema 11.5.4. Un subconjunto infinito A de la línea real es compacto, ssi, tiene la propiedad de Bolzano–Weierstrass.

Demostración.

_n

₁

₂

₁

₂

₁

₂

_n

_n+1

_n

Lema 11.5.5. Un subconjunto de la línea real es compacto, ssi, es secuencialmente compacto.

Demostración.

_n

_k

Lema 11.5.6. Un subconjunto A de R es compacto,ssi, cada función real continua definida en A es acotada.

Demostración.

Con los lemas 11.5.4, 11.5.5 y 11.5.6 se concluye al prueba del teorema 11.5.1.

Notemos que las equivalencias fueron hechas en cada lema con la propiedad de cerrado y acotado. Podríamos haber adoptado otro esquema, como se sugiere en el siguiente esquema.

Dejaremos al cuidado del lector de tratar de producir una demostración siguiendo ese esquema, o cualquier otro para la parte cíclica de la derecha. Las equivalencias directa con la definición de compacto son usualmente complicadas. ¿Cuáles de las equivalencias pueden extenderse a Rⁿ? ¿a espacios métricos cualesquiera? ¿a espacios topológicos cualesquiera? ¿Cuáles de las equivalencias pueden extenderse a Rⁿ? ¿a espacios métricos cualesquiera? ¿ a espacios topológicos cualesquiera?

Ejercicios 11.5

Probar que los intervalos abiertos (acotados o no), así como los intervalos semiabiertos (acotados o no) no son conjuntos compactos.
Hallar un cubrimiento abierto del intervalo (0, 1) que no tenga recubrimiento finito.
Hallar un cubrimiento abierto de la línea real que no tenga recubrimiento finito. ¿Por qué esto implica que los intervalos abiertos no son compactos?
El Conjunto de Cantor es compacto.
Probar que la propiedad de intervalos encajados (ver corolario 11.4.6) implica la propiedad de Bolzano–Weierstrass (ver también a la proposición 11.5.3).
Sea f : [a, b] → [c, d] una función continua estrictamente creciente (x < y =⇒ f(x) < f(y)) tal que f(a) = c y f(b) = d. Probar que f es un homeomorfismo.
Suponga conocido que el cubo unitario I² de R²
a) Cualquier “cuadrado ] − M,M[ × ] − M,M[, donde M es un real positivo cualquiera, es compacto.

b) La circunferencia y círculo con centro en el origen y radio 1 son conjuntos
compactos.
c) Cualquier bola cerrada de R² es un conjunto compacto.
Probar que la propiedad de Bolzano–Weierstrass (proposicion 11.5.3) para I². Es decir que cada subconjunto infinito A de I² tiene un punto de acumulación en A.

El Teorema de Tychonoff

La extensión del estudio de la compacidad a Rⁿ y otros espacios requiere relacionar la compacidad de un producto a la compacidad de los factores. Esto se logra con el teorema de Tychonoff, que es uno de los teoremas más famosos e importantes de la topología.

Teorema 11.6.1 (Tychonoff). El producto de una familia cualquiera de conjuntos compactos es compacto.

El teorema, con la generalidad indicada, requiere para su demostración de algunas nociones avanzadas de la teoría de conjuntos (axioma de selección, lema de Tukey) que están fuera del alcance de este texto. Nos limitaremos, en consecuencia, al caso de una familia finita, lo que será suficiente para nuestros propósitos. Usaremos en la demostración el siguiente lema general.

Lema 11.6.2. Sea X un espacio topológico y B = (B_i: i∈I) una base de los abiertos de X. Si cada cubierta de X por abiertos de B tiene una subcubierta finita, entonces X es compacto.

Demostración.

_j

_k

_j,k

X\subset \bigcup _{j}U_{j}=\bigcup _{j}\bigcup _{j,k}B_{j,k}.

Lo que implica que los B_j,k’s determinan una cubierta de X. Por la hipótesis, dicha cubierta tiene una subcubierta finita, digamos C₁, C₂, ...C_m. Cada C_i es alguno de los B_j,k, por lo que está contenido en, digamos, U_j,k . Luego,

X\subset \bigcup _{j=1}^{m}C_{j}\subset \bigcup _{j=1}^{m}U_{j_{k}}.

Lo que muestra que la cubierta original tiene una subcubierta finita, es decir que X es compacto.

Teorema 11.6.3 (Teorema de Tychonoff finito). El producto de una familia finita de espacios topológicos compactos es compacto.

Demostración.

_i

₀

_x₀

_j

_x₀

₀

_x₀

_j

_x₀

{\begin{array}{rcl}\{x_{0}\}\times Y&\subset &U_{x_{0}}\times Y=U_{x_{0}}\times \bigcup _{j}\{V_{j}:j\in J_{x_{0}}\}\\&=&\bigcup _{j}\{U_{x_{0}}\times V_{j}\}\subset \bigcup _{j}(U_{j}\times V_{j}).\end{array}}

Lo que muestra que la familia C es una cubierta abierta de U_x₀ × Y . Consideremos ahora la familia (U_x), x∈X, donde U_x se obtiene como arriba. Como X es compacto hay un subconjunto finito {x₁, x₂, ... , x_m} de X tal que U_x₁ ∪U_x₂ ∪...∪U_{x_m} cubre a X. Sea J = J_x₁ ∪J_x₂ ∪...∪J_{x_m}. J es un conjunto finito, por ser reunión de finitos. Sea (x, y) un punto de Z, entonces hay un k tal que x pertenece a U_{x_k} , 1 ≤ k ≤ m. Luego, (x, y) está en U_{x_k} × Y , conjunto que, por el trabajo inicial, está contenida en U_j × V_j, j ∈ J_{x_k}. Luego, la familia (U_j×V_j ), j∈J es una subcubierta finita de B. Lo que prueba queX×Y es compacto.

Sea X_i, i = 1, ... , m una familia finita de espacios compactos. Sabemos que el teorema es válido cuando m = 2. Si el teorema fuera valido para productos de k compactos, entonces tendremos para k + 1 espacios compactos que

\prod _{i=1}^{k+1}X_{i}=(\prod _{i=1}^{k}X_{i})\times X_{k+1}.

Como, por lo anterior, la expresión de la derecha es el producto de dos espacios compactos, se tiene que el teorema es válido para el producto de (k + 1) espacios compactos. Por inducción, tenemos el resultado.

Observación. ¿Por qué la demostración dada para el producto de dos compactos no sirve para un producto general?

Básicamente, porque los abiertos de las bases—en el caso general—no tienen la forma indicada en la prueba del caso finito. La demostración del teorema general requiere de un lema semejante al lema 11.5.2 con subbases en lugar de bases. Tal demostración aparece, entre otros, en Simmoms [15].

Ejercicios 11.6

1. Probar que el cílindro y la cinta de Moebius son espacios compactos.

La Compacidad en Rⁿ

La teoría de los conjuntos compactos en Rⁿ es semejante a la teoría en a línea real, como veremos en esta sección. Esto se debe, en primer lugar, a que conjuntos cerrados y acotados son compactos. Nuestro primeros resultados, serán los análogos a aquellos en el corolario 11.4.5 y en la proposición 11.4.7. Aplicando el teorema de Tychonoff al cubo unitario Iⁿ, vemos que se trata de un conjunto compacto, ya que I = [0, 1] es compacto y
Iⁿ = I × ... × I (n veces).

En forma más general, tenemos el siguiente resultado.

Lema 11.7.1. El cubo C(0;M) = {(x_i) ∈ Rⁿ : para todo i, − M ≤ x_i ≤ M} es compacto.

Demostración.

Veremos que el teorema básico de la compacidad de Rⁿ, es totalmente análogo al teorema correspondiente (teorema 11.4.1) para la línea real. Dos resultados fueron importantes en las demostraciones del teorema mencionado. Veremos los correspondientes análogos para Rⁿ.

Proposición 11.7.2 (Teorema de Heine–Borel para Rⁿ). Un subconjunto de Rⁿ es compacto, ssi, es cerrado y acotado.

Demostración.

Proposición 11.7.3 (Bolzano–Weierstrass en Rⁿ). Todo subconjunto infinito y acotado de Rⁿ tiene un punto de acumulación en A.

Demostración.

Rⁿ

₀

₁

₂

_n

Las equivalencias de compacidad en Rⁿ son totalmente análogas a aquellas de la línea real, ya que tenemos el siguiente teorema.

Teorema 11.7.4 (Compacidad en Rⁿ). Sea A un subconjunto no vacío de Rⁿ. Los enunciados siguientes son equivalentes.

(a) A es compacto.

(b) A es cerrado y acotado.

(c) A es B–W (compacto enumerable). Cada subconjunto infinito de A tiene punto de acumulación en A.

(d) A es secuencialmente compacto. Cada sucesión de tos de A tiene una subsucesión convergente en A.

(e) A es seudocompacto. Cada función continua definida en A es acotada.

La demostración de la proposición quedará de ejercicio. Básicamente, las demostraciones del teorema correspondiente para la línea real, se pueden extender al caso de Rⁿ. Además, en próxima sección probaremos esas equivalencias para espacios métricos cualesquiera, con la excepción de cerrado y acotado que no es válida en general. Vale la pena, para entender la riqueza de relaciones envueltas tratar de hacer las demostraciones con las herramientas que tenemos.

Sugerencias para las demostraciones.

Cerrado y acotado implica B–W. Ver el lema 11.5.3.
B-W, ssi, secuencialmente compacto. Ver la proposición11.5.5
Secuencialmentre compacto implica cerrado y acotado. Ver el lema 11.5.5.
Cerrado y acotado, ssi, seudocompacto. Ver el lema 11.5.6.

Ejemplo 11.7.1. Cuando A un espacio seudocompacto, A es compacto (cerrado y acotado).

Resolución. Consideremos la función || · || restringida a A. Como norma es una función continua, la hipótesis de seudocompacidad implica que es acotada. Luego, A es un conjunto acotado. Probaremos que también es cerrado. Supongamos que no, y sea z un punto de la clausura de A que no está en A. Entonces, para todo x en A, d(x, z) > 0 y acotado. Lo que implica que la función x ↦ 1/d(x, z) es continua, pero no es acotada. Contradicción. Lo que prueba el resultado.

Aplicaciones

Usaremos los resultados anteriores para dirimir una antigua interrogante. Probaremos que los espacios normados de dimensión finita son topológicamente equivalente a los espacios euclídeos Rⁿ.

Proposición 11.7.5. Todas las normas de Rⁿ son topológicamente equivalentes.

Demostración.

N

Rⁿ

m||x|| ≤ N(x) ≤ M||x||. (*)

Sigue entonces de la proposición 8.5.4 que las normas serán equivalentes. Sea e₁, ... e_n la base canónica de Rⁿ y sea x = ∑_i x_i e_i. Sea M = n máx{N(x) : 1 ≤ i ≤ n}. Como solamente el vector nulo tiene norma 0, se tiene que M es un número positivo.

Además

N(x)=N\sum _{i}x_{i}e_{i}\leq \sum _{i}|x_{i}|\,|N(e_{i})|\leq {\frac {M}{n}}\sum _{i}|x_{i}|.

Pero, como siempre se cumple que |x_i| ≤ ||x||, concluimos que

N(x)\leq {\frac {M}{n}}\sum _{i}|x_{i}|\leq M||x||.

En particular, N(x − y) ≤ M||x − y||, lo que implica que N.es una función continua de E en R. Sea S = Sⁿ⁻¹ la esfera unitaria, que sabemos que es un conjunto compacto. Por lo que N.alcanza máximo y mínimo en S. Sea m dicho mínimo que será un número positivo, ya que ninguno de los vectores de la esfera es nulo. La relación es válida cuando x = 0. Suponiendo x ≠ 0, sea c = ||x||^-1. Entonces ||cx|| = 1, lo que implica N(cx) = |c|N(x) ≥ m, es decir que N(x) ≥ m/|c| = m||X||.

Observación 11.3. El resultado anterior requiere esencialmente que el espacio normado sea de dimensión finita.

Ejercicio 11.7

Probar que cualquier bola cerrada y cualquier esfera de Rⁿ son conjuntos compactos.
Probar que las celdas de Rⁿ, productos de intervalos cerrados de los factores, son conjuntos compactos.
Probar que conjuntos abiertos no vacíos de Rⁿ no son conjuntos compactos.

La Compacidad en los Espacios Métricos

Históricamente, la idea de la compacidad surgió de tratar de extender los teoremas clásicos del Análisis, teorema 11.7.4 de la sección anterior, a espacios métricos generales, especialmente a espacios de funciones. Queremos probar para espacios métricos cualesquiera el análogo al teorema citado. El mayor obstáculo para la extensión es que, en general, cerrado y acotado no implica compacto. Basta con considerar un espacio métrico discreto infinito E. Claramente es cerrado y acotado, pero no puede ser compacto, ya que la colección de {x}, x en E es una cubierta abierta de E que no admite subcubierta finita.

Como nuestras pruebas para Rⁿ se basaban principalmente en las equivalencias de compacto con cerrado y acotado, necesitaremos nuevas pruebas. Debido a la generalidad, tendremos que proceder con bastante delicadeza, es decir con argumentos muy sutiles. La exposición está basada principalmente en el texto de Simmons.

Equivalencias de Compacidad

Probaremos, a continuación, las siguientes equivalencias.

Empezaremos con la siguiente equivalencia.

Proposición 11.8.1. Un espacio métrico E tiene la propiedad B–W, ssi, es secuencialmente compacto.

Demostración.

_n

Proposición 11.8.2. Cada espacio métrico compacto tiene la propiedad B–W.

Demostración.

Figura 11.1: Implicaciones en un Espacio Métrico Para completar nuestras equivalencias, bastará con probar que en cada espacio

métrico secuencialmente compacto es compacto. Esto será establecido usando dos conceptos auxiliares, que son interesantes por si mismos, el número de Lebesgue de una cubierta de abiertos y la noción de espacio totalmente acotado.

Número de Lebesgue

Sea (G_i) una cubierta abierta de un espacio métrico E. Para cada x de X hay un abierto de la cubierta que contiene una r–vecindad de x. Si escogemos otro punto, y repetimos el mismo proceso, podremos hallar una r′–vecindad del nuevo punto totalmente contenida en un abierto de la cubierta. En general, el radio de la bola abierta conteniendo al punto variará de punto en punto. Sin embargo, en algunos casos, un mismo radio servirá para todos los puntos, como veremos más adelante. Tal situación merece un nombre especial.

Definición. (Número de Lebesgue) Llamamos número de Lebesgue de una cubierta (G_i) de un espacio métrico E a un número λ, ssi, cada subconjunto de E cuyo diámetro es menor que λ está totalmente contenido en alguno de los abiertos de la cubierta.

Necesitaremos el siguiente resultado para la prueba de la próxima proposición.

Lema 11.8.3. Sea A un subconjunto de un espacio métrico E tal que δ(A) = r y tal que A ∩ B(x;r) ≠ ∅. Entonces, A está contenido en B(x;2r).

Demostración.

Proposición 11.8.4 (Lema de las Cubiertas de Lebesgue). Cuando un espacio métrico es secuencialmente compacto, cada cubierta abierta del espacio tiene un número de Lebesgue.

Demostración.

_i

_n

_j

_n

₁

_n

₀

₁

_n₀

₀

_n₀

_j

_n₀

ε–redes, Total Acotamiento

Definición. (ε–redes, Total Acotamiento) Sea E un espacio métrico. Un subconjunto A de E es una ε–red de E, ε > 0, ssi, A es finito y (B"(x)), x en A. es una cubierta de E.

Decimos que E es totalmente acotado, ssi, para cada ε > 0 hay una ε–red de E.

Proposición 11.8.5. Cada espacio secuencialmente compacto es totalmente acotado.

Demostración.

₁

₂

₁

₂

₁

_{2</s cubre a X, entonces
{a₁, a₂} es un ε–red para E. Supongamos que hemos generado de esa manera a₁, a₂, ... a_k, donde B_i una ε- vecindad de a_i. Si la reunion B₁ ∪ ... ∪ B_k cubre a
X, el conjunto {a₁, ... , a_k} es una ε–net para E. En caso contrario, hallamos un a_k+1 fuera de la reunión anterior y formamos B_k+1 como la ε–vecindad de a_k+1.

Si ninguna reunión de los B_i’s así obtenidos cubre a E, habremos generado una
sucesión (a_n) que no tiene subsucesión convergente (d(a_k+1, a_i) ≥ ε, para i ≤ k),
lo cual contradice que E fuera secuencialmente compacto. Por lo que el proceso anterior debe finalizar en una cantidad finita de pasos, generando una ε–red para E.}

Usando las proposiciones anteriores, probaremos lo que nos resta de las equivalencias de la figura 11.1.

Proposición 11.8.6. Cada espacio métrico secuencialmente compacto es compacto.

Demostración.

_i

₁

_m

_k

_i

_k

_i

_{I_k}

_k

_{i_k}

Resumen

Teorema 11.8.7 (Compacidad en Espacios Métricos). Sea E un espacio métrico. Los enunciados siguientes son equivalentes.

(a) E es compacto.

(b) E tiene la propiedad B–W.

(c) E es secuencialmente compacto.

(d) E es totalmente acotado y cada cubierta tiene un número de Lebesgue.

Ejercicios 11.8

Sea A un subconjunto compacto de un espacio métrico compacto. ¿Es necesariamente compacto el complemento de A?
Sea A un subconjunto compacto de un espacio métrico E y sea f : E → F una función continua en un espacio métrico E. Probar que si y es un punto de la frontera de f(A), hay un x en A tal que f(x) = y.
Un espacio métrico totalmente acotado es acotado.
Probar que, en los Reales, acotado y totalmente acotado son equivalentes. ¿Es eso cierto para R²? ¿para un espacio métrico cualquiera?
Considerar a los Reales con la métrico discreta 0–1. Probar que se trata de un espacio acotado que no es totalmente acotado.
Todo espacio compacto es seudocompacto, ¿será cierto que un espacio métrico seudocompacto es compacto?

Compacidad y Completitud

Hay interesantes relaciones entre la completitud (cada sucesión de Cauchy es convergente) y la compacidad, como veremos a continuación.

Proposición 11.9.1. Sea E un espacio métrico. Los enunciados siguientes son equivalentes.

(a) E es compacto.

(b) E es totalmente acotado y completo.

Demostración.

_1n

₁

_1n

₁

₂

₂₁

₂₂

₃

_3n

_k

_k1

_k2

S = {x₁₁, x₂₂, x₃₃, ... }.

La sucesión así definida es una subsucesión de S₁. La construcción de la sucesión muestra que es de Cauchy.

Corolario 11.9.2. Un subconjunto cerrado de un espacio completo es compacto, ssi, es totalmente acotado.

Demostración.

La Continuidad Uniforme

La siguiente proposición establece una propiedad de las funciones continuas con dominio un compacto que tiene profundas consecuencias en Análisis y otras ramas de la matemática. Enunciaremos la proposición para discutir de forma más precisa su significado; la demostración aparecerá más tarde.

Proposición 11.10.1. Sea f : E → F continua entre espacios métricos con E compacto. Entonces, para todo ǫ > 0 hay un δ > 0 tal que para todo x, y en E se cumple que

d(x, y) < δ ⇒ d(f(x), f(y)) < ε

¿Cuál es la diferencia con continuidad? Diremos que una función que satisface la propiedad de la proposición es uniformemente continua. Analizaremos a continuación cuál es la diferencia con la continuidad que hemos usado hasta ahora.

La definición de continuidad para f : E → F, continua en cada punto de E, establece que para todo p de E, para todo ε > 0 hay un δ > 0 tal que para todo x se cumple que

d(x, p) < δ ⇒ d(f(x), f(p)) < ε.

Aparte de una diferencia en notación, pareciera no haber demasiada diferencia. Para apreciar mejor lo diferente, escribiremos en forma simbólica total las definiciones y haremos semejantes las notaciones. Simbólicamente, tenemos

Continuidad. ∀y ∈ E, ∀ε > 0, ∃δ > 0, ∀x ∈ E, d(x, y) < δ ⇒ d(f(x), f(y)) < ε.

Continuidad Uniforme. ∀ε > 0, ∃δ > 0, ∀y ∈ E, ∀x ∈ E, d(x, y) < δ ⇒ d(f(x), f(y)) < ε.

Observemos que no hay diferencia entorno a la implicación, la diferencia está en la posición del cuantificador referente a y. ¿Qué significa esto? En el caso de la continuidad, el δ que existe depende tanto del y como del ε, es decir que para puntos diferentes del espacio, pudiera ser que no habrá un δ que funciones con todos los puntos (y); mientras que en el caso de la continuidad uniforme podemos hallar un δ que funciona uniformemente con todos los puntos del espacio. La proposicion 11.6.6 establece que tal situación siempre sucede cuando el dominio de la función es compacto.

Demostración de la proposición 11.9.1.

₁

₂

₁

₂

₁

La Compacidad en Espacios Topológicos

Las propiedades equivalentes de los teoremas de compacidad en espacios métricos no se pueden extender a espacios topológicos cualesquiera. La aparición de “acotado” en algunas de las equivalencias, sugieren claramente que tales equivalencias no hacen sentido en espacios topológicos arbitrarios.

En el lado positivo, se tiene la siguiente cadena de implicaciones, cuyas demostraciones daremos más adelante.

Se puede hallar ejemplos que muestran que las implicaciones son estrictas.

Proposición 11.11.1. Cualquier espacio compacto es B–W (compacto enumerable).

Demostración.

_n

_k

_n

Proposición 11.11.2. Cualquier espacio B–W (compacidad enumerable) es seudocompacto.

Demostración.

R

_n

_k

Proposición 11.11.3. Cualquier espacio secuencialmente compacto es B–W.

Demostración.

_n

_{n_k>}

_n

_{n_k>}

_n

Una de las mayores dificultades con espacios topológicos arbotrarios reside en que sucesiones pueden tener más de un punto límite y que puntos de acumulación de un conjunto no son necesariamente límites de sucesiones de puntos del conjunto.

Ejercicios 11.11

Hallar un ejemplo de espacio topológico donde una sucesión tiene dos puntos límites diferentes.

Espacios Localmente Compactos

La línea real no es compacta, pero cada punto est;a contenido en un conjunto compacto, el punto a está contenido en ]a−r, a+r[. Esta situación es compartida por muchos de nuestros ejemplos importantes.

Definición. (Relativamente y Localmente Compacto) Un subconjunto A de un espacio topológico X es relativamente compacto, ssi, su clausura es compacta.

Un espacio Hausdorff es localmente compacto, ssi, cada punto del espacio tiene una vecindad relativamente compacta.

Ejemplos 11.12.1.

Los espacios euclídeos Rⁿ son localmente compactos.
Cualquier espacio compacto es localmente compacto, todo el espacio es una vecindad compacta de cualquiera de sus puntos.
Un espacio discreto infinito es localmente compacto, pero no compacto; por ejemplo, los Naturales.

Proposición 11.12.1. Sea X un espacio topológico. Los enunciados siguientes son equivalentes.

X es localmente compacto.
Para cada x en X y cada vecindad U de X, hay una vecindad abierta relativamente compacta V de x tal que V ⊂ Cl(V ) ⊂ U.
Para cada compacto C y abierto U ⊃ C hay un abierto relativamente compacto V tal que C ⊂ V ⊂ Cl(V ) ⊂ U.
X tiene una base que consiste de abiertos relativamente compactos.

Demostración.

_Cl(W)

Proposición 11.12.2. Sea f : X → Y , continua y abierta. Si X es localmente compacta entonces Y es localmente compacta.

Demostración.

Ejercicios 11.12

Los Racionales como subespacio de los Reales no es localmente compacto.
Probar que una reunión finita de abiertos relativamente compactos es relativamente compacta. ¿Que se puede decir de su intersección?
Sea X relativamente compacto. Cualquier subespacio abierto o cerrado de X es también relativamente compacto.
El producto de espacios relativamente compactos es compacto.

Ejercicios del Capítulo 11

Sea A un conjunto compacto de un espacio métrico E. Cuando U es una vecindad abierta de A (o sea A ⊂ U), hay un número real positivo tal que {x ∈ X : d(x,A) < ε} esta contenido en U.
Sea A un subconjunto cerrado y conexo de Rⁿ. Sea V la r–vecindad de A. Probar que V es conexo por caminos.
Sea E un espacio métrico compacto. Cuando la clausura de cada bola abierta es la bola cerrada de igual centro y radio, se cumple que cada bola del espacio es conexa.
Sea A un subconjunto de Rⁿ. A es compacto, ssi, cada función continua con valores reales es acotada.
Sean F y G subconjuntos disjuntos de un espaciométrico E. Si F es cerrado y G compacto, entonces d(F,G) > 0.
Sea U un conjunto abierto que contiene un subconjunto compacto A de un espacio métrico E. Probar que hay un r > 0 tal que U contiene a V_r(A) = {x ∈ E : d(x,A) < r}.
Sea A un subconjunto cerrado y conexo de Rⁿ, y sea V una r–vecindad cerrada de A (V = {x ∈ Rⁿ : d(x < A) ≤ r}). Probar que V es conexa por caminos.
Sea E un espacio métrico compacto. Sea f : X → X continua tal que d(f(x), f(y)) < d(x, y) para todo x, y, x ≠ y. Entonces, f tiene un punto fijo único (o sea x tal que f(x) = x).
¿Cuando la reunión de una familia de compactos es compacta en un espacio cualquiera?

Introducción

Cubiertas, subcubiertas

Ejercicios 11.2.

Los Espacios Compactos

Espacios y Conjuntos Compactos

La Compacidad en Espacios Hausdorff

Ejercicios 11.4

La Línea Real

Ejercicios 11.5

El Teorema de Tychonoff

Ejercicios 11.6

La Compacidad en Rn

Aplicaciones

Ejercicio 11.7

La Compacidad en los Espacios Métricos

Equivalencias de Compacidad

Número de Lebesgue

ε–redes, Total Acotamiento

Resumen

Ejercicios 11.8

Compacidad y Completitud

La Continuidad Uniforme

La Compacidad en Espacios Topológicos

Ejercicios 11.11

Espacios Localmente Compactos

Ejercicios 11.12

Ejercicios del Capítulo 11

La Compacidad en Rⁿ