Teorema de Heine-Borel

En el análisis matemático, el teorema de Heine-Borel (también llamado teorema de Heine-Borel-Lebesgue-Bolzano-Weierstraß o incluso teorema de Borel-Lebesgue) establece condiciones para que un subconjunto de ${ℝ}^m$ o de ${ℂ}^m$ sea compacto. Cuando se refiere al caso particular de la recta real recibe el nombre de Teorema de Heine-Borel. En el resto de los casos, es frecuente llamarlo Teorema de Borel-Lebesgue.Plantilla:Cita requerida

El teorema se enuncia de la siguiente manera:

Las distintas formulaciones del teorema se deben su nombre a los matemáticos Eduard Heine, Émile Borel (1895), Henri Lebesgue (1898), Bernard Bolzano y Karl Weierstrass.

Historia y motivación

La historia de lo que hoy se llama teorema de Heine-Borel comienza en el Plantilla:Siglo, con la búsqueda de sólidos cimientos para el análisis real. Central en la teoría era el concepto de la continuidad uniforme y el teorema que indica que cada función continua en un intervalo cerrado es uniformemente continua. Peter Gustav Lejeune Dirichlet fue el primero en demostrarlo e implícitamente utilizó la existencia de un subconjunto finito de un conjunto abierto dado de un intervalo cerrado en su prueba. Utilizó esta prueba en sus conferencias de 1852, solamente publicadas en 1904. Más tarde Eduard Heine, Karl Weierstrass y Salvatore Pincherle utilizaron técnicas similares. Émile Borel en 1895 fue el primero en declarar y demostrar una forma de lo que ahora se llama el teorema de Heine-Borel. Su formulación estaba restringida a conjuntos contables. Pierre Cousin (1895), Lebesgue (1898) y Schoenflies (1900) lo generalizaron a conjuntos arbitrarios.

Demostración

Teoremas preliminares

Sea $F$ un conjunto cerrado y $K$ un conjunto compacto tales que $F\subset K\subset {ℝ}^m$.

Sea $\{G_a\}$ un recubrimiento abierto de $F$, entonces $\{G_a\}\cup \{F^c\}$ es un recubrimiento abierto de $K$ (podemos agregar $F^c$ ya que es abierto). Como $K$ es compacto entonces $\{G_a,F^c\}$ tiene un subrecubrimiento finito que también cubre a $K$. Podemos quitar a $F^c$ y sigue cubriendo a $F$. Así obtenemos un subrecubrimiento finito de cualquier recubrimiento abierto de $F$.

Si $E$ no tuviera puntos de acumulación en $K$, entonces $\mathrm{\forall }a\in K$, $\mathrm{\exists }\epsilon >0$ tal que $B_{\epsilon }(a)-a$ no contiene puntos de $E$ donde $B_{\epsilon }$ es una bola abierta de radio $\epsilon$. Es claro que el conjunto de estas bolas forman un recubrimiento abierto de $K$ que por ser compacto admitiría un subrecubrimiento finito. Pero esto es imposible porque también sería un subrecubrimiento finito de $E$, lo que contradiría el hecho de que $E$ es infinito.

Sea $I\subset {ℝ}^m$ una m-celda cerrada,

$I:=\{x=(x_1,x_2,...,x_m)\in {ℝ}^m:a_j\le x_j\le b_j,j=1,2,...,m\}$.

Entonces si $x,y\in I$, se verifica que $||x-y||<\delta$, con $\delta =(\sum (b_j-a_j{)}^2{)}^{1/2}$. Sea $\{G_a\}$ un recubrimiento abierto de $I$ y supongamos por reducción al absurdo que $I$ no se puede cubrir con una cantidad finita de $G_a$'s.

Tomemos $c_s=\frac{a_s+b_s}{2}$. Entonces los intervalos $[a_s,c_s],[c_s,b_s]$ determinan $2^m$ m-celdas $Q_i,i=1,2,...,2^m$. Entonces por lo menos un $Q_i$ no se puede cubrir con una cantidad finita de $G_a$'s. Lo llamaremos $I_1$. Reiterando el proceso obtenemos una sucesión $\{I_k\}$ tal que:

1. $I_1\supset I_2\supset I_3\supset ...$.
2. $I_k$ no se puede cubrir con una cantidad finita de $G_a$'s.
3. Si $x,y\in I_k$ entonces $||x-y||<2^{-k}\delta$.
4. ${\cap }_k{I}_k\ne \mathrm{\varnothing }$

Sea $h\in {\cap }_k{I}_k$. Como ${\cup }_a{G}_a$ cubre a $I$ entonces $h\in G_b\subset {\cup }_a{G}_a$. Como $G_b$ es abierto $\mathrm{\exists }{B}_{\epsilon }(h)\subset G_b$. Si tomamos k suficientemente grande tal que $2^{-k}\delta <\epsilon$ tenemos que este $I_k\subset B_{\epsilon }(h)\subset G_b$ lo cual contradice la suposición de que no se puede cubrir con una cantidad finita de $G_a$'s.

Demostración del teorema de Heine-Borel

Si cumple 1) entonces $K\subset I$ para alguna n-celda $I$, y 1) implicaría 2) por los teoremas 1 y 3 anteriores.

Si se cumple 2), entonces se cumple 3) por el teorema 2 anterior.

Ahora falta demostrar que si cumple 3), entonces cumple 1): Si $K$ no es acotado, entonces contiene una sucesión {$x_n$} tal que $||x_n||>n$ entonces la sucesión {$x_n$} es infinita pero no tiene puntos de acumulación en ${ℝ}^m$, lo cual contradice 3). Si $K$ no es cerrado, entonces existe un elemento $x_0\in {ℝ}^m$ que es un punto de acumulación de $K$ pero no está en $K$. Para $n=1,2,...$ existen $x_n\in K$ tales que $||x_n-x_0||<1/n$, entonces la sucesión {$x_n$} es un subconjunto infinito de $K$ cuyo único punto de acumulación es el $x_0\in {ℝ}^m$, que no pertenece a $K$, lo que contradice 3).

Véase también

• Conjunto de Borel