AUTOSIMILARIDAD, CONJUNTO DE CANTOR
El conjunto de Cantor, llamado por ser aporte de Georg Cantor
[]
en
1883,
es un destacado subconjunto
fractal del intervalo real [0, 1], que admite dos definiciones
equivalentes:
- la definición numérica: es el
conjunto de todos los puntos del intervalo real [0,1] que admiten una
expresión en base 3 que no utilice el dígito 1.
- la definición geométrica, de
carácter recursivo, que elimina en cada paso el segmento abierto
correspondiente al tercio central de cada intervalo.
Además de
una curiosidad matemática, contradice una intuición relativa al tamaño de
objetos geométricos: es un conjunto de medida nula, pero no es vacío ni
numerable.[]
Lo que
Cantor no sabía era que este conjunto ya había sido estudiado en 1875 por un
matemático dublinés, Henry John Stephen Smith (1826-1883). Pero como Smith falleció y su
descubrimiento era prácticamente desconocido, fue Cantor el que quedo asociado
a este conjunto.
[Construcción
geométrica
Se construye de modo recursivo dando los siguientes pasos:
- El
primer paso es tomar el intervalo [0, 1].
- El
segundo paso es quitarle su tercio interior, es decir el intervalo abierto
(1/3; 2/3).
- El
tercero es quitar a los dos segmentos restantes sus respectivos tercios
interiores, es decir los intervalos abiertos (1/9; 2/9) y (7/9; 8/9).
- Los
pasos siguientes son idénticos: quitar el tercio de todos los intervalos
que quedan. El proceso no tiene fin.
La figura muestra las siete primeras etapas:
El conjunto de Cantor es el conjunto de los puntos restantes: entre ellos, es
claro que los extremos de cada subintervalo pertenecen 0 y 1, 1/3 y 2/3, 1/9,
2/9, 7/9 y 8/9, 1/27..., hay una infinidad de puntos: los 1/3
n están
todos incluidos, con n describiendo los naturales.
Pero hay mucho más, por ejemplo 1/4 es un elemento del conjunto de Cantor.
Medida
Sin embargo, el conjunto es pequeño cuando se considera su longitud: el
intervalo inicial [0,1] mide 1, y a cada paso, se le quita un tercio, lo que
hace que su longitud se multiplique por 2/3. la sucesión geométrica u
n = (2/3)
n
tiende hacia cero, Por lo tanto el conjunto de Cantor es de medida nula. Esto implica, en particular, que el
conjunto de Cantor no puede contener ningún intervalo de medida no nula.
Cardinalidad
Podemos demostrar el siguiente resultado paradójico: el conjunto de Cantor
está en biyección con el segmento [0, 1], es decir, tiene tantos elementos como
él.
Para demostrar eso, vamos a construir una función suprayectiva desde el
conjunto de Cantor (llamémosle C) al conjunto de los reales [0, 1]. De esta
forma, la cardinalidad de C ha de ser no menor que la de [0, 1]. Por otra
parte, como C es un subconjunto de [0, 1], C además ha de tener una
cardinalidad no mayor. Por tanto se concluye que las cardinalidades de C y [0,
1] han de ser iguales.
La función suprayectiva la construiremos así: Si se considera la escritura
en
base tres de los números, se nota que, al quitar siempre el segundo
tercio de todos los segmentos, se suprime exactamente los números que tienen un
1 en su escritura
trienal: el intervalo (1/3; 2/3) corresponde a los
números que empiezan por 0,1 (menos el 1/3 que también se puede escribir 0,
02222222222..... en base tres); el intervalo (1/9;2/9) corresponde a los
números que empiezan por 0,01, el (7/9;8/9) por 0,21 y así sucesivamente.
La suprayección se construye así: a cada número escrito con sólo
ceros
y
dos se le hace corresponder el número en
base dos obtenido
remplazando todos sus
dos por
unos. Por ejemplo, 0,2002 en base
tres (que vale 2/3 + 2/81 = 56/81) tiene como imagen 0,1001 en base dos (que
vale 1/2 + 1/16 = 9/16).
Se obtiene así todos los números en base dos que empiezan por 0,... y que
tienen ceros o/y unos después de la coma: ¡es el intervalo [0,1] entero!
Autosimilaridad
El conjunto de Cantor puede considerarse también como el atractor
asociado al IFS (sistema de funciones iteradas)
formado por las aplicaciones contractivas
, y
, ambas definidas sobre el compacto [0,1].
[]
Observamos que la imagen del conjunto de Cantor por la homotecia de centro
0
y razón
1/3 es una parte del propio conjunto de Cantor. Esto es una
manifestación de autosimilaridad, que es una de las propiedades básicas de los fractales. Su dimensión de Hausdorff es menor que uno,
concretamente Log(2)/Log(3)=0.631.
mediante factorización LU
![f(x)=\frac{x^2}{8x+3}+\sqrt[8]{2x}](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uKU4wjaplpQCS7jneXHF-r4QOE-zKbCCE-BVVu8RcLJg_btes67v6tTamCzRt5Tav14yMzv8-OYf0WNsms8SDdEXEzCXHtFAhhoPkmVp4AVZTIkEiDEwm_Etqu6t0Ku1JsCvfPe5__Wm8nXYpobWoM-F8XphR_HA=s0-d)
