FRACTALES

JUAN JOSE VALENCIA TORRE

Teorema 1. Sea (X, d) un espacio métrico completo. Sea S ⊂ X. Entonces S

es compacto si y sólo si está cerrado y totalmente acotado.

Prueba. Supongamos que S es cerrado y está totalmente acotado. x1 ∈ S es

una sucesión infinita de puntos en S. Teniendo en cuenta que S está totalmente
acotado, podemos encontrar una colección de bolas finitas de radio 1 tal que S
está contenida en la unión de estas bolas. Según El Principio del Palomar, si
n palomas se distribuyen en m palomares, y si n > m, entonces al menos habrá
un palomar con más de una paloma, una de las bolas denominada B1 , contiene
un numero infinito de puntos xn . Al elejir N1 para que xN1 ∈ B1 . Es fácil
ver que la bola B1 está totalmente acotado porque B1 ∩ S. Entonces podemos
cubrir B1 ∩ S con un conjunto finito de bolas de radio 21 . Según el Principio
del Palomar, una de las bolas denominada B2 , contiene un número infinito de
puntos xn . para la bola B2 , elejimos N2 para que xN2 ∈ B2 y asi claramente
N2 > N1 . De esta manera se va construyendo una secuencia anidada de bolas

B1 ⊃ B2 ⊃ B3 ⊃ B4 ⊃ B5 ⊃ B6 ⊃ B7 ⊃ B8 ⊃ B9 ... ⊃ Bn ⊃ ...
n−1 ∞
donde Bn tiene radio 1/2 , y una secuencia de enteros (Nn )n=1 tal XNn ∈
Bn . Según la definición 1 de la sección 2.4, podemos decir que (xNn )∞n=1 es
una subsecuencia de la secuencia original xn , que vendrı́a a ser la secuencia de
Cauchy en S según el teorema 1 de la sección 2.3. Dado que S es T∞cerrado, xNn
converge a un punto x en S. (Observe que x es exactamente n=1 Bn ). Por
tanto, S es compacto.
Por lo contrario, suponga que S es compacto. Sea  > 0. Supongamos que no
existe una −net para S. Entonces hay una secuencia infinita que debe poseer
una subsecuencia convergente de puntos Xn ∈ S con d(xi , xj ) ≥  para todo
i 6= j. Pero esta secuencia debe poseer una subsecuencia convergente xNi . Según
el Teorema 2.3.1 esta subsecuencia es una secuencia de Cauchy, por lo que
podemos encontrar un par de números enteros Ni y Nj con Ni 6= Nj de modo que
d(XNi , XNj > . Pero d(XNi , XNj ) ≥ , entonces tenemos una contradicción.
por lo tanto, existe una red . Con esto se completa la prueba.