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. Suponga que S es cerrado y totalmente acotado. Sea x1 ∈ S una

sucesión infinita de puntos en S. Dado 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 casillero (una gran cantidad de
palomas que ponen huevos en dos buzones =⇒ al menos un buzón contiene una
gran cantidad de palomas enojadas), una de las bolas, digamos B1 ,contiene una
infinidad de puntos xn . Elija N1 para que xN1 ∈ B1 .Es fácil ver que B1 ∩ S está
totalmente acotado. Entonces podemos cubrir B1 ∩ S con un conjunto finito de
bolas de radio 21 . Según el principio del casillero, una de las bolas, digamos
B2 , contiene un número infinito de puntos xn . Elija N2 para que xN2 ∈ B2 y
N2 > N1 . Continuamos de esta manera para construir 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 .
Es fácil ver que (xNn )∞
n=1 , que es una subsecuencia de la secuencia original xn ,
es la secuencia de Cauchy en S. Dado queTS es 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 po-
demos 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 . Esto completa la prueba.

Definición 4. Sea S ⊂ X un subconjunto de un espacio métrico (X, d). S está

abierto si para cada x ∈ S hay un  > 0 tal que B(x, ) = [y ∈ X : d(x, y) ≤
] ⊂ S.

Definición 5. Sea S ⊂ X un subconjunto de un espacio métrico (X, d). Un

punto x ∈ S se llama punto limite de S si para cada número  > 0, B(x, )

1
contiene un punto en X/S y un punto en S. El conjunto de todos los puntos
lı́mite de S se llama el lı́mite de S, y se denota ∂S.

Definición 6. Sea S ⊂ X un subconjunto de un espacio métrico (X, d). Un

punto x ∈ S se llama punto interior de S si hay un número  > 0 tal que
B(x, ) ⊂ S. El conjunto de todos los puntos interiores de S se denomina inte-
rior de S y se denota S.

2.5 CONJUNTOS CONECTADOS, CONJUNTOS DESCONECTA-

DOS, Y CONJUNTOS CONECTADOS POR TRAYECTORIA

Definición 1. Un espacio métrico (X, d) está conectado si los únicos dos sub-
conjuntos de X que están simultáneamente abiertos y cerrados son X y ∅. Un
subconjunto S ⊂ X está conectado si el espacio métrico (S, d) está conectado. S
está desconectado si no está conectado. S está totalmente desconectado siempre
que los únicos subconjuntos conectados no vacı́os de S sean subconjuntos que
constan de puntos únicos.

Definición 2. Sea S ⊂ X un subconjunto de un espacio métrico (S, d). Enton-

ces S está conectado por trayectoria, si para cada par de puntos x y y en S, hay
una función continua f : [0, 1] → S, de el espacio métrico ([0, 1], Euclideano)
en el espacio métrico (S, d), tal que f (0) = x y f (1) = y.Tal función f se llama
camino de x a y en S. S está desconectado en el camino si no está conectado
en el camino.

2.6 EL ESPACIO MÉTRICO (H (x), h): EL ESPACIO DONDE

VIVEN LOS FRACTALES

Definición 1. Sea (X, d) un espacio métrico completo. Entonces (H (X) de-

nota el espacio cuyo punto son los subconjuntos compactos de X, distintos del
conjunto vacı́o.

Definición 2. Sea (X, d) un espacio métrico completo, x ∈ X y B ∈ (H (X).

Definir
d(x, B) = M in {d(x, y) : y ∈ B}
Entonces d(x, B) es la distancia desde el punto x hasta el conjutno B. Defini-
ción 3.Sea (X, d) un espacio métrico completo. Sea A, B ∈ (H (X).
Definir
d(A, B) = M ax {d(x, B) : x ∈ A}

2
d(A, B) es la distancia desde el conjunto A ∈ (H (X) al conjunto B ∈ (H (X).
Al igual que antes, utilizando la compacidad de A y B, podemos demostrar que
esta definición es significativa. En particular, hay puntos x̂ ∈ A y ŷ ∈ B tales
que d(A, B) − d(x̂, ŷ).

Definición 2. Sea (X, d) un espacio métrico completo.Entonces la distancia de

Hausdorff entre los puntos A y B en (H (X) está definida por

h(A, B) = d(A, B) ∨ d(B, A).

2.7 LA INTEGRIDAD DEL ESPACIO DE FRACTALES

Nos referimos a ((H (X), h), como “el espacio de los fractales”. Es demasiado
pronto para ser formal sobre el significado exacto de “un fractal”. En la etapa
actual de desarrollo de la ciencia y las matemáticas, la idea de un fractal es más
útil como concepto amplio. Los fractales no se definen por una breve declaración
legalista, sino por las muchas imágenes y contextos que se refieren a ellos. Para
nosotros, durante los primeros ocho capı́tulos de este libro, cualquier subcon-
junto de ((H (X), h) es un fractal. Sin embargo, al igual que con el concepto de
“un espacio”, se sugiere más significado del que se formaliza.
En esta sección nuestro principal objetivo es establecer que el espacio de los
fractales ((H (X), h) es un espacio métrico completo. También queremos carac-
terizar secuencias convergentes en H (X). Alcanzar estos objetivos utilizando
únicamente las herramientas introducidas hasta ahora es bastante difı́cil. De
hecho, en esta coyuntura, queremos introducir otra noción; a saber, la idea de
extender ciertas subsecuencias de Cauchy.

Definición 1. Sea S ⊂ X y sea Γ ≥ 0. Entonces S + Γ = {y ∈ X : d(x, y) ≤

Γ para algún x ∈ S}. S + Γ a veces se denomina, por ejemplo, en la teorı́a de la
morfologı́a de conjuntos, la dilatación de S por una bola de radio Γ.