Compacidad en espacios métricos

Por Lizbeth Fernández Villegas

Introducción

En esta sección mostraremos los fundamentos de uno de los términos más importantes de las matemáticas. Una descripción histórica la presenta Yanina del Carmen Rodríguez Reyes, en la tesis «Desarrollo histórico-pedagógico del concepto de compacidad» en la Universidad de Panamá, República de Panamá 2018.

«La compacidad surgió de uno de los periodos más productivos de la actividad matemática. En la segunda mitad del siglo XIX en Europa las matemáticas avanzadas comenzaron a tomar la forma que conocemos actualmente. Muchos matemáticos, incluyendo Weierstrass, Hausdorff y Dedekind estaban preocupados por los fundamentos de las matemáticas y comenzaron a hacer muchas rigurosidades de las ideas que durante siglos habían sido dadas por sentado. Mientras que algunos de los trabajos del siglo XIX se pueden remontar a las preocupaciones matemáticas de los antiguos griegos, el nivel de rigor y la abstracción refleja una revolución en el pensamiento matemático. Fréchet fue influenciado por muchos contemporáneos y predecesores pero parece que merece el crédito como el padre de la compacidad. Fue Fréchet quien dio el nombre al concepto en un documento que conduce a su tesis doctoral de 1906. Fréchet también define por primera vez espacios métricos aunque no usando ese término y de hecho incursiona en el análisis funcional proporcionando así un contexto para el cual la importancia de la compacidad se hizo indiscutible”. (Rodríguez, 2018).

Conjuntos compactos

Sea $(X,d)$ un espacio métrico y $A \subset X$. Podemos pensar en «cubrir» este subconjunto a través de otros a modo de la siguiente imagen, es decir, conjuntos cuya unión logre contener a $A.$

$A$ cubierto por conjuntos

La cantidad de subconjuntos que forman parte de la cubierta elegida puede ser finita, numerable o no numerable, entonces, para ser formales, cada subconjunto se puede indexar con los elementos de algún conjunto $\mathcal{I}$. Así tenemos la siguiente:

Definición cubierta de un conjunto: Sea $A \subset X$. Decimos que una familia de subconjuntos $\mathcal{C} = \{A_{i} \subset X : i \in \mathcal{I} \}$ es una cubierta de $A$ en $X$ si
$$A \subset \underset{i \in \mathcal{I}}{\cup} \, A_{i} \,$$

Cubierta de $A$

Definición cubierta abierta: Si para toda $i \in \mathcal{I}$ se cumple que el conjunto $A_i$ es abierto, diremos que $\mathcal{C}$ es una cubierta abierta de $A$ en $X$.

Cubierta abierta de $A$

Definición subcubierta: Si tomamos conjuntos de una cubierta $\mathcal{C}$, digamos, una familia $\mathcal{C’} \subset \mathcal{C} \, $ y $\, \mathcal{C’}$ es también una cubierta de $A$ diremos que $\mathcal{C’}$ es una subcubierta de $\mathcal{C}$.

Los conjuntos en rosa son una subcubierta de $\mathcal{C}$

Definición conjunto compacto: Sea $A$ un conjunto de un espacio métrico $(X,d)$. Decimos que $A$ es un conjunto compacto si dada cualquier cubierta abierta $\mathcal{C}$ de $A$, existe una subcubierta finita de $\mathcal{C}.$

El concepto de compacidad suele tomar mayor relevancia cuando en un espacio topológico se considera el subespacio generado por el conjunto compacto. En estos casos se le denomina espacio topológico compacto.

Subcubierta abierta finita

Según la definición, para demostrar que un conjunto $A$ no es compacto, bastará con identificar una cubierta de la cual no sea posible extraer una subcubierta finita (conjuntos cuya unión logre contener el conjunto $A$).

Ejemplos

El conjunto $\mathbb{R}$ con la métrica euclidiana no es compacto.

Demostración:
El conjunto de intervalos abiertos con centro en $0$ y radio $n, \, n \in \mathbb{N}$ es decir, $\mathcal{C}=\{(-n,n):n \in \mathbb{N}\}$ es una cubierta abierta de $\mathbb{R}.$ Pero si consideramos un subconjunto finito $\mathcal{C’} \subset \mathcal{C}$ entonces $\mathcal{C’} = \{(-k_1,k_1),(-k_2,k_2),…,(-k_m,k_m)\}$ con $k_1,k_2,…,k_m \in \mathbb{N}.$ Sea $k=máx\{k_1,k_2,…,k_m\}$ podemos ver que la unión de los elementos en $\mathcal{C’}$ es el intervalo $(-k,k)$ que claramente, no contiene a $\mathbb{R}$, por lo tanto $\mathbb{R}$ no es compacto.

Representación de intervalos de la subcubierta finita

Un espacio discreto es compacto si y solo si es finito

Considera un conjunto $X$ con la métrica discreta. Entonces, para cada $x \in X$ el conjunto $\{ x \}$ es abierto, así $\mathcal{C}=\{\{x\}:x \in X\}$ es una cubierta abierta de $X.$ Un subconjunto finito de esta cubierta estaría dada por $\mathcal{C’}=\{\{x_1\},\{x_2\},…,\{x_k\}\}, \, k \in \mathbb{N}$ cuya unión de conjuntos contiene $k$ elementos. Por lo tanto, si $X$ es infinito no es compacto con la métrica discreta. La prueba de que si $X$ es finito entonces es compacto se deja como ejercicio al final de esta sección.

Si $(X,d_{disc})$ es infinito no hay subcubierta finita

Proposición. Si $A$ es un conjunto compacto en $(X,d)$, entonces toda sucesión en $A$ tiene una subsucesión que converge en $A$.

Demostración:
Sea $A \subset X$ compacto y $(x_n)_{n \in \mathbb{N}} \,$ una sucesión en $A$. Demostraremos primero que existe un punto $x \in A$ tal que toda bola abierta con centro en $x$ tiene una subsucesión de $(x_n)$. Supón por el contrario que no es así, es decir, para todo punto $x \in A$ existe $\varepsilon_x >0$ y existe $k_x \in \mathbb{N}$ tal que para toda $k \geq k_x, \, x_k \, \notin \, B(x,\varepsilon_x).$

No hay subsucesión dentro de la bola abierta pues todos los últimos términos de la sucesión están fuera de ella.


El conjunto de todas estas bolas abiertas, $\{B(x, \varepsilon_x): x \in A\}$ es una cubierta abierta del conjunto $A$. Como $A$ es compacto, existe $\{B(x_1, \varepsilon_{x_1}),B(x_2, \varepsilon_{x_2}),…,B(x_m, \varepsilon_{x_m})\}$ subcubierta finita. Sea $l =: máx \{k_{x_1},k_{x_2},…,k_{x_3}$ entonces para toda $k \geq l,$ el término $x_k \notin \underset{1\leq i \leq m}{\cup} \, B(x_i, \varepsilon_{x_i}) \supset A,$ en consecuencia $x _k \notin A$ lo cual es una contradicción, pues todos los términos de la sucesión están en $A$, por lo tanto existe un punto $x \in A$ tal que toda bola abierta con centro en $x$ tiene una subsucesión de $(x_n)$.

Cubierta finita

Sea $x \in A$ dicho punto. Por la propiedad mencionada es posible seleccionar un punto $x_{k_j}$ de la sucesión que esté en cada bola $B(x,\frac{1}{j}), \, j \in \mathbb{N}$ tal que no se repita con los anteriores y conserven el orden de la sucesión original. Por lo tanto $(x_{k_j})$ es subsucesión de $(x_n)$ y $x_{k_{j}} \to x$.
Así probamos que toda sucesión de un conjunto compacto tiene una subsucesión que converge en él.


Proposición: Si $A \subset X$ es compacto entonces es cerrado y acotado.

Demostración:
Recordemos que un conjunto es cerrado si y solo si es igual a su cerradura. Como $A \subset \overline{A}$ basta demostrar que $\overline{A} \subset A$. Sea $x \in \overline{A}$ entonces existe una sucesión $(x_n)_{n \in \mathbb{N}}$ en $A$ que converge en $x$ (Visto en Convergencia). Pero por la proposición que acabamos de ver, $(x_n)$ tiene una subsucesión que converge en $A$. Por la unicidad del límite, ese punto de convergencia es $x$, por lo tanto $x \in A$.

La subsucesión converge en $x$. Por lo tanto $x \in A$

Para probar que $A$ es acotado notemos lo siguiente. Si fijamos un punto $x_0 \in X$, podemos poner cada $x \in A$ en una bola abierta con centro en $x_0$ y radio mayor a la distancia $d(x,x_0).$ Elegimos el radio como un número natural $k \,$ suficientemente grande, tal que $d(x,x_0)<k.$ Entonces $x \in B(x_0,k).$

Cada punto de $A$ está en una bola abierta de $x_0$

En consecuencia el conjunto de bolas abiertas $\{B(x_0,n):n \in \mathbb{N}\}$ es una cubierta abierta del conjunto $A$ que, como es compacto, tiene una subcubierta finita $\{B(x_0,n_1), B(x_0,n_2),…,B(x_0,n_m)\}$. Sea $M =: máx \{n_1,n_2,…,n_m\}$ entonces $A \subset B(x_0,M)$ por lo tanto $A$ es acotado.

$A \subset B(x_0,M)$

Ejemplos

A continuación recordamos un resultado conocido de los cursos de cálculo:

Teorema de Heine Borel: Considera $\mathbb{R}^n$ con la métrica euclidiana y $A \subset \mathbb{R}^n.$ Entonces $A$ es un conjunto compacto si y solo si es cerrado y acotado.

Conjuntos compactos en $\mathbb{R}^3$

No obstante, hay espacios métricos en los que no es suficiente que un conjunto sea cerrado y acotado para que sea compacto:

Ejercicio: Considera el conjunto $\mathbb{R}$ y $d$ definida como $d(x,y)=min\{1, |x-y|\}, \, x,y \in \mathbb{R}$ entonces tenemos lo siguiente:

  1. $d$ es una métrica en $\mathbb{R}.$
  2. $d$ induce en $\mathbb{R}$ los mismos conjuntos abiertos que la métrica usual. Entonces un conjunto es compacto en $(\mathbb{R},d)$ si y solo si lo es en $(\mathbb{R},d_2).$
  3. El conjunto $[0,\infty)$ es cerrado y acotado en $(\mathbb{R},d),$ pero no es compacto, pues no lo es en $(\mathbb{R},d_2).$

Antes de finalizar con esta sección, veamos una propiedad que hereda la compacidad a un subconjunto de un conjunto compacto:

Proposición: Un subconjunto cerrado $B$ de un conjunto compacto $A$ también es compacto.

Demostración:

Sea $B \subset A$ con $B$ cerrado y $A$ compacto. Considera $\mathcal{C} = \{B_{i} \subset X : i \in \mathcal{I} \}$ una cubierta abierta de $B$.

Representación de una cubierta abierta de $B$

Como $B$ es cerrado, entonces el conjunto $X \setminus B$ es abierto.

$X \setminus B$ es abierto

Dado que $B \subset A,$ si agregamos $X \setminus B$ a la cubierta de $B$ tenemos que $\mathcal{C} \cup \{X \setminus B\}$ es una cubierta abierta de $A.$

$\mathcal{C} \cup \{X \setminus B\}$ es una cubierta abierta de $A$


Al ser el conjunto $A$ compacto, se sigue que esta cubierta tiene una subcubierta finita que satisface:
$$B \subset A \subset B_{i_1} \cup…\cup B_{i_n} \cup (X \setminus A).$$ con $n \in \mathbb{N}.$

Por lo tanto $\mathcal{C’}=B_{i_1},…,B_{i_n}$ es una subcubierta finita de $\mathcal{C}$ lo cual concluye que $B$ es compacto.

La cubierta abierta de $B$ tiene una subcubierta finita

Más adelante…

Conoceremos los efectos que producen algunas funciones al ser aplicadas en conjuntos compactos. ¿Será posible conservar la compacidad al enviar conjuntos de un espacio métrico a otro? ¿Qué propiedades tendrá la imagen de una función continua?

Tarea moral

  1. Resuelve el ejercicio planteado arriba.
  2. Prueba que un espacio discreto finito es compacto. ¿Es necesario que tenga asociada la métrica discreta?
  3. Demuestra que cada subconjunto infinito de un conjunto compacto posee un punto de acumulación en el conjunto compacto.
  4. Da un ejemplo de un conjunto $A$ que sea cerrado pero no acotado y una cubierta abierta y numerable de $A$ que no tenga una subcubierta finita.
  5. Prueba que si $A$ es cerrado y $B$ es compacto, entonces $A \cap B$ es compacto.
  6. Prueba que la intersección arbitraria de conjuntos compactos es compacta.
  7. Demuestra que una sucesión de Cauchy en un conjunto compacto es convergente.
  8. Sea $(X,d)$ un espacio métrico y $A \subset X$ un conjunto compacto. Demuestra que el subespacio $(A,d)$ es completo.

Enlaces

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.