Teorema de Heine-Borel
De Wikipedia, la enciclopedia libre
En el análisis matemático el teorema de Heine-Borel establece: Todo subconjunto de es cerrado y acotado si y solo si es compacto.
[editar] Teoremas Preliminares
1- Los subconjuntos cerrados de conjuntos compactos son compactos
Sea F un conjunto cerrado y K un conjunto compacto tales que .
Sea {Ga} una cubierta abierta de F, entonces es una cubierta abierta de K (podemos agregar Fc ya que es abierto). Como K es compacto entonces {Ga,Fc} tiene un refinamiento finito que también cubre a F. Podemos quitar a Fc y sigue cubriendo a F. Así obtenemos un refinamiento finito de cualquier cubierta abierta de F
2- Si , donde E es un conjunto infinito y K es compacto, entonces E tiene un punto de acumulación en K
Si E no tuviera puntos de acumulación en K entonces donde es una epsilon-vecindad y . Es claro que el conjunto de estas vecindades forman una cubierta par E pero no tiene un refinamiento finito, lo mismo cumpliría para K que contradiría la definición de que K es compacto.
3- Toda k-celda es compacta
Sea I una k-celda que consiste de todos los puntos x = (x1,x2,...,xk) tal que y j = 1,2,...,k. Sea entonces si | x − y | < δ. Sea {Ga} una cubierta arbitraria de . Supongamos que I se puede cubrir con una cantidad finita de Ga's.
Tomemos entonces los intervalos [as,cs][cs,bs] determinan 2k celdas Qii = 1,2,...,2k. Entonces por lo menos un Qi no se puede cubrir con una cantidad finita de Ga's. Lo llamaremos S1 y así obtenemos una sucesión {Sn} tal que:
-
- .
- In no se puede cubrir con una cantidad finita de Ga's.
- Si entonces | x − y | < 2 − nδ.
Digamos que , como cubre a I entonces . Como Ga es abierto . Si tomamos n suficientemente grande tal que tenemos que este , lo cual contradice la suposición de que no se puede cubrir con una cantidad finita de Ga's.
[editar] Demostración del teorema de Heine-Borel
Enunciado Si un conjunto tiene algunas de las siguientes propiedades, entonces tiene las otras dos.
-
- E es cerrado y acotado.
- E es compacto.
- Todo subconjunto infinito de E tiene un punto de acumulación en E.
Demostración:
Si cumple 1) entonces para alguna k-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 E no es acotado entonces contiene un conjunto {xn} tal que | xn | > n entonces el subconjunto {xn} es infinito y no tiene un límite en , lo cual contradice 3). Si E no es cerrado entonces existe un elemento que es un punto de acumulación de E pero no está en E. Para n = 1,2,... existen tales que | xn − x0 | < 1 / n, entonces el conjunto {xn} es infinito y no tiene límite contenido en él mismo, lo cual contradice 3).