Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teorema Heine-Borel
1 / 25
Entender el Enunciado Demostración Referencia
El teorema
Theorem
Teorema de Heine-Borel
Un conjunto K ⊆ Rn es compacto si y solo si es cerrado y acotado.
2 / 25
Entender el Enunciado Demostración Referencia
Definiciones
Definition
Cubierta Abierta
Sea U una colección de conjuntos abiertos. U es una cubierta abierta para un
conjunto E si E esta contenido en la unión de esta colección:
E ⊆ ∪{X : X ∈ U }
3 / 25
Entender el Enunciado Demostración Referencia
Definiciones
Definition
Sea (X, d) un espacio métrico y k ⊆ X
k se dice compacto si y solo si toda cubierta abierta para k admite un
subcubierta finita.
4 / 25
Entender el Enunciado Demostración Referencia
Definition
Sea X un conjunto no vacı́o. Una métrica en X es una función
d : X × X → R que satisface lo siguiente.
1 d(x, y) ≥ 0 para todo x, y ∈ X y d(x, y) = 0 solo si x = y
2 d(x, y) = d(y, x) para todo x, y ∈ X
3 d(x, y) ≤ d(x, z) + d(z, y), para todo x, y, z ∈ X
Definition
Para n ∈ N y x, y ∈ Rn tal que: x = (x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn )
ahora definimos:
p
d(x, y) = |x1 − y1 |2 + |x2 − y2 |2 + · · · + |xn − yn |2
Esta es llamada la métrica euclidiana en Rn
5 / 25
Entender el Enunciado Demostración Referencia
Definition
Sea (X, d) un espacio métrico donde x ∈ X y r > 0.
El conjunto:
Br (x) = {y ∈ X : d(x, y) < r}
Es llamado una bola abierta de radio r centrada en x
Definition
Sea (X, d) un espacio métrico donde x ∈ X y r > 0.
El conjunto: Es llamado una bola cerrada de radio r centrada en x
6 / 25
Entender el Enunciado Demostración Referencia
Definition
Sea (X, d) un espacio métrico y A ⊆ X. Definimos el diámetro de A como:
diam(A) = sup{d(x, y) : x, y ∈ A}
7 / 25
Entender el Enunciado Demostración Referencia
Definition
Sea (X,d) un espacio métrico, un subconjunto F de X se dice cerrado si X\F
es abierto en X.
8 / 25
Entender el Enunciado Demostración Referencia
DEMOSTRACIÓN
9 / 25
Entender el Enunciado Demostración Referencia
Acotado
10 / 25
Entender el Enunciado Demostración Referencia
Acotado
S = {Bri (0) : i = 1, 2, . . . , m}
para algún numero natural m.
Entonces K esta contenido en la más grande de estas bolas:
k ⊆ Br (0)
donde r = max{r1 , r2 , . . . , rm }
11 / 25
Entender el Enunciado Demostración Referencia
Cerrado
12 / 25
Entender el Enunciado Demostración Referencia
Cerrado
r = min{r1 , r2 , · · · , rm }
13 / 25
Entender el Enunciado Demostración Referencia
Cerrado
14 / 25
Entender el Enunciado Demostración Referencia
Compacidad
15 / 25
Entender el Enunciado Demostración Referencia
Compacidad
Lemma
Sea E un subconjunto cerrado de un conjunto compacto K.
Entonces E es compacto.
16 / 25
Entender el Enunciado Demostración Referencia
Compacidad
Demostración:
Sea B = [a1 , b1 ] × [a2 , b2 ] × · · · × [an , bn ]
suponga que B ⊆ Rn no es compacto. Entonces para alguna cubierta U , B no
puede ser cubierto de manera finita por conjuntos de U .
17 / 25
Entender el Enunciado Demostración Referencia
Compacidad
Partamos B en 2n cajas desde los puntos medios del intervalo [aj , bj ] para cada
j = 1, 2, . . . , n
Estas cajas no van a ser cubiertas de manera finita por elementos de U .
Podemos tomar una caja y partirla en 2n .
18 / 25
Entender el Enunciado Demostración Referencia
Compacidad
19 / 25
Entender el Enunciado Demostración Referencia
Compacidad
Lemma
Sea C1 , C2 , C3 , . . . una sucesión anidada de conjuntos de Rn cerrados,
acotados y no vacı́os tal que C1 ⊇ C2 ⊇ C3 ⊇ · · ·
Entonces \
Ci
i∈N
20 / 25
Entender el Enunciado Demostración Referencia
Compacidad
21 / 25
Entender el Enunciado Demostración Referencia
Compacidad
22 / 25
Entender el Enunciado Demostración Referencia
Compacidad
δ
Pero si escogemos a i lo suficientemente grande tal que < r tenemos que
2i
Fi ⊆ Br (x).
Esto significa que algún Fi puede ser cubierta por solo un conjunto de U lo cual
es una contradicción.
Y por ende demostramos que si K es cerrado y acotado entonces K es compacto.
23 / 25
Entender el Enunciado Demostración Referencia
REFERENCIA
[1] Otis B. Ramsay ’99. (2018, 7 enero). Heine-Borel theorem [Vı́deo]. YouTube.
https://www.youtube.com/watch?v=L8xHHYOrJUg
24 / 25
Entender el Enunciado Demostración Referencia
¡GRACIAS!
25 / 25