# Matemáticas/Espacios Métricos/Espacios Compactos
## 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$^n$. 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$^n$. 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$^n$’s. Algunas propiedades importantes para los compactos de espacios R$^n$—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$_1$, ... , 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.
** $(A_{n})$, $n\in \mathbb {N}$, $A_{n}=[0,1/n)$.
** $(B_{n})$, $n\in \mathbb {N}$, $B_{n}=]-1/n,1/n[$.
** $(C_{n})$, $n\in \mathbb {N}$, $C_{n}=[-1/n.1/n]$.
* Sea ${\mathcal {C}}$ una cubierta abierta de un espacio $X$.
** Un subconjunto $A$ de $X$ es abierto, ssi, hay un $B\in {\mathcal {C}}$ tal que $A\cup B$ es abierto en $B$.
** 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.
** 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$_{nk}$ esta contenido en cada uno de los A$_{ni}$ ’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.
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.
Teorema 11.4.3. La imagen continua de un compacto es compacto.
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.
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.
Ejemplo 11.4.1. Sea ϕ : [0, 1] → R$^2$ tal que ϕ(t) = (cos(2π t, sen(2π t)). La función ϕ es claramente continua, por lo que imagen S$^1$, la circunferencia unitaria es un subconjunto compacto de R$^2$.
Proposición 11.4.7. Cualquier subconjunto cerrado y acotado de R es compacto.
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.
Corolario 11.4.9. En un espacio métrico, los conjuntos compactos son cerrados y acotados.
Corolario 11.4.10. Sea X un espacio Hausdorff compacto. Un subconjunto F de X es compacto, ssi, es cerrado.
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.
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$^2$ 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.
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$^n$, 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.
    (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.
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.
Lema 11.5.5. Un subconjunto de la línea real es compacto, ssi, es secuencialmente compacto.
Lema 11.5.6. Un subconjunto A de R es compacto,ssi, cada función real continua definida en A es acotada.
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$^n$? ¿a espacios métricos cualesquiera? ¿a espacios topológicos cualesquiera? ¿Cuáles de las equivalencias pueden extenderse a R$^n$? ¿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$^2$ de R$^2$ compactos.
    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
    c) Cualquier bola cerrada de R$^2$ es un conjunto compacto.
* Probar que la propiedad de Bolzano–Weierstrass (proposicion 11.5.3) para I$^2$. Es decir que cada subconjunto infinito A de I$^2$ tiene un punto de acumulación en A.

## El Teorema de Tychonoff

La extensión del estudio de la compacidad a R$^n$ 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.
Teorema 11.6.3 (Teorema de Tychonoff finito). El producto de una familia finita de espacios topológicos compactos es compacto.
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$^n$

La teoría de los conjuntos compactos en R$^n$ 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$^n$, vemos que se trata de un conjunto compacto, ya que I = [0, 1] es compacto y I$^n$ = 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$^n$ : para todo i, − M ≤ x$_i$ ≤ M} es compacto.
Veremos que el teorema básico de la compacidad de R$^n$, 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$^n$.
Proposición 11.7.2 (Teorema de Heine–Borel para R$^n$). Un subconjunto de R$^n$ es compacto, ssi, es cerrado y acotado.
Proposición 11.7.3 (Bolzano–Weierstrass en R$^n$). Todo subconjunto infinito y acotado de R$^n$ tiene un punto de acumulación en A.
Las equivalencias de compacidad en R$^n$ son totalmente análogas a aquellas de la línea real, ya que tenemos el siguiente teorema.
Teorema 11.7.4 (Compacidad en R$^n$). Sea A un subconjunto no vacío de R$^n$. Los enunciados siguientes son equivalentes.
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$^n$. 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$^n$.
Proposición 11.7.5. Todas las normas de R$^n$ son topológicamente equivalentes.
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$^n$ son conjuntos compactos.
* Probar que las celdas de R$^n$, productos de intervalos cerrados de los factores, son conjuntos compactos.
* Probar que conjuntos abiertos no vacíos de R$^n$ 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$^n$ 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.
Proposición 11.8.2. Cada espacio métrico compacto tiene la propiedad B–W.
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).
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.

### ε–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.
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.

### Resumen

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

### 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$^2$? ¿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.
    (b) E es totalmente acotado y completo.
Corolario 11.9.2. Un subconjunto cerrado de un espacio completo es compacto, ssi, es totalmente acotado.

## 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
¿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
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.

## 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).
Proposición 11.11.2. Cualquier espacio B–W (compacidad enumerable) es seudocompacto.
Proposición 11.11.3. Cualquier espacio secuencialmente compacto es B–W.
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$^n$ 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.
Proposición 11.12.2. Sea f : X → Y , continua y abierta. Si X es localmente compacta entonces Y es localmente compacta.

### 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$^n$. 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$^n$. 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$^n$, y sea V una r–vecindad cerrada de A (V = {x ∈ R$^n$ : 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?