Conjuntos Autosemejantes
Conjuntos Autosemejantes
Conjuntos Autosemejantes
5. Conjuntos autosimilares
En esta sección aplicaramos el teorema de contracción 7.9 al estudio de
conjuntos autosimilares.
Si X es un espacio métrico, decimos que un compacto no vacı́o K ⊂ X
es autosimilar si existen contracciones f1 , . . . , fN : X → X tales que
K = f1 (K) ∪ . . . ∪ fN (K).
Es decir, K es la unión de sus imágenes bajo contracciones.
Ejemplo 7.21. Consideramos la recta R y el intervalo I = [0, 1]. Entonces
I = f1 (I) ∪ f2 (I),
donde f1 , f2 : R → R están dadas por
1 1 1
f1 (x) = x, f2 (x) = x + .
2 2 2
1 1
Notamos que, de hecho, f1 (I) = 0, y f2 (I) = , 1 .
2 2
f1 y f2 no son las únicas contracciones para las cuales el intervalo [0, 1]
es autosimilar. Por ejemplo, no es muy difı́cil ver que [0, 1] también es au-
tosimilar respecto a las funciones
1 2 1
g1 (x) = x, g2 (x) = x+ ,
3 3 3
1 1
ya que g1 ([0, 1]) = 0, y g2 ([0, 1]) = , 1 .
3 3
Ejemplo
T 7.22. Sea C el conjunto de Cantor dado por la intersección C =
n≥0 C n , donde cada
1 2 1 3n − 1
Cn = 0, n ∪ n , n−1 ∪ . . . ∪ ,1
3 3 3 3n
es el resultado de remover el tercio central de cada uno de los intervalos de
Cn−1 . Entonces C es autosimilar con respecto a las funciones
1 1 2
f1 (x) = x, f2 (x) = x + ,
3 3 3
1 2
ya que f1 (C) = C ∩ 0, 3 y f2 (C) = C ∩ 3 , 1 . De hecho, para cada n,
podemos observar que
f1 (Cn ) ∪ f2 (Cn ) = Cn+1 ,
por lo que el efecto de aplicar las contracciones f1 , f2 a cada iteración Cn
del conjunto de Cantor es, precisamente, el borrar el tercio central de la
construcción.
5. Conjuntos autosimilares 131
Más aún, el conjunto de Cantor puede ser definido por medio de las
contracciones del ejemplo 7.22, es decir, es el único conjunto compacto au-
tosimilar respecto a ellas.
En general, tenemos el siguiente teorema.
Teorema 7.23. Sea (X, d) un espacio métrico completo y
f 1 , . . . , fN : X → X
contracciones. Entonces existe un único conjunto compacto K ⊂ X no vacı́o
tal que
K = f1 (K) ∪ . . . ∪ fN (K).
En general, si A = {x},
dH ({x}, B) = máx{d(x, B), M },
donde M = ı́nf{r > 0 : Br (x) ⊃ B}. Notamos que d(x, B) = 0 si x ∈ B,
6 {x}.
pero dH ({x}, B) > 0 si B =
Sea ε > 0. Como (An ) es de Cauchy, existe N tal que Uε/3 (AN ) ⊃ An
para todo n ≥ N . Como AN es compacto, es totalmente acotado, por lo que
existen x1 , . . . , xk ∈ X tales que
AN ⊂ Bε/3 (x1 ) ∪ . . . ∪ Bε/3 (xk ).
Entonces
[
B2ε/3 (x1 ) ∪ . . . ∪ B2ε/3 (xk ) ⊃ Uε/3 (AN ) ⊃ Ak ,
k≥N
y por lo tanto
BN ⊂ Bε (x1 ) ∪ . . . ∪ Bε (xk ).
Como A1 ∪ . . . ∪ AN −1 es compacto, existen también y1 , . . . , yl ∈ X tales que
A1 ∪ . . . ∪ AN −1 ⊂ Bε (y1 ) ∪ . . . ∪ Bε (yl ),
y entonces
B1 ⊂ A1 ∪ . . . ∪ AN −1 ∪ BN
⊂ Bε (y1 ) ∪ . . . ∪ Bε (yl ) ∪ Bε (x1 ) ∪ . . . ∪ Bε (xk ).
Como ε > 0 es arbitrario, concluimos que B1 es totalmente acotado. Como
es cerrado y X es completo, también es completo, y por lo tanto es compacto,
por el corolario 3.22.
Definimos ahora el conjunto
\
A= Bn .
n≥1
infinita”), ya que cada iteración, iniciando por el segmento [0, 1], multiplica
2
la longitud por un factor de 2|α| = √ > 1.
3
136 7. El teorema de punto fijo y aplicaciones
triángulo de Sierpinski tiene “área cero”. Esto se debe a que cada una de
las contracciones fi , al contraer las distancias por 1/2, contrae áreas por un
factor 1/4, por lo que la iteración
A 7→ f1 (A) ∪ f2 (A) ∪ f3 (A)
contrae áreas por un factor de 3/4 < 1.
Ejercicios
1. Considere el PVI (
x′ (t) = f (t)x(t)
x(0) = x0 ,
donde x0 ∈ R y f : R → R es continua. Utilice el teorema del valor
medio para mostrar que la única solución al PVI está dada por
Rt
f
x(t) = x0 e 0 .