Fractales Tarea 2
Fractales Tarea 2
Fractales Tarea 2
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.
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 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.
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̂, ŷ).
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.