FUNCIN DE CANTOR

En matemticas, la funcin de Cantor, llamada as en honor de Georg Cantor, es un ejemplo

de funcin matemtica que es continua pero no absolutamente continua. Tambin se la conoce como
la escalera del Diablo.
La funcin de Cantor guarda una estrecha relacin con el conjunto de Cantor.
ndice
[ocultar]

Definicin
La funcin de Cantor se define como sigue:
1. Expresa en base 3. Si es posible, no uses ningn 1 (esto slo supone una diferencia si la
expansin termina en 022222... = 100000... or 200000... = 122222...).
2. Sustituye el primer 1 por un 2 y todo lo dems a partir de l por un 0.
3. Sustituye todos los 2 por 1.
4. Interpreta el resultado como un nmero binario. El resultado es .
Por ejemplo:

1/4 se convierte en 0.02020202... base 3; no hay unos as que el siguiente paso es todava
0.02020202...; esto se reescribe como 0.01010101...; ledo en base 2, esto es 1/3 as que .

1/5 se convierte en 0.01210121... base 3; el primer uno se cambia a 2 seguido de ceros para
producir 0.02000000...; esto se reescribe como 0.01000000...; ledo en base 2, esto es 1/4 as que .

Es mucho ms fcil comprender la definicin si miramos al grfico siguiente:

CONJUNTO DE CANTOR
El conjunto de Cantor toma su nombre de Georg F.
L. P. Cantor que en 1883 lo utiliz como herramienta
de investigacin para una de sus principales
preocupaciones: el continuo. Su verdadero creador
fue Henry Smith, un profesor de geometra de
Oxford, en 1875. Es uno de los fractales ms
antiguos. Para obtenerlo se procede del siguiente
modo. Partimos de un segmento de tamao unidad,
S0 = [0,1], tal y como se muestra en el paso n=1 de
la figura inferior. Dividimos el segmento en tres
subsegmentos de tamao 1/3 cada uno. Borramos el
central y nos quedamos con los intervalos cerrados
restantes:

As obtenemos el resultado del paso n=2 de la figura

inferior. Repitiendo la divisin en tres partes cada
uno de estos segmentos y borrando de nuevo el
fragmento central de cada uno, obtenemos los
cuatro intervalos siguientes (n=3 en la figura
inferior):

Cada uno posee longitud 1/9.

@ Cortinas de Cantor? Visita

esta pagina francesa: Hay
muchas formas de cortar un
pan ....

@ Ejercicio 1.1 : Observa que el

mismo proceso puede ser aplicado
a un cuadrado como el de la
figura. El conjunto final estar
constituido de nuevo por una
cantidad no numerable de puntos.
Podras calcular el nmero de
cuadrados en negro, la longitud de
sus lados y el rea total en cada
iteracin? Cul es el rea final
del conjunto resultante?
Solucin en:

@ Queda abierto el concurso de

caligramas fractales. Se aceptan
en todos los idiomas.

Observemos detenidamente la secuencia de

longitudes: comenzamos con un segmento S0 de
longitud 1 y tras la divisin pasamos a tener 2
segmentos, S11 y S12, de longitud 1/3 cada uno. En la
operacin nmero 2, tenamos 4 = 22 segmentos
(S21,..., S24 ) de longitud 1/9 = 1/32 cada uno. Si
repetimos el proceso de dividir en tres segmentos
iguales y borrar el central, en el paso n-simo
tendremos 2n intervalos cerrados o segmentos
(Sn1 ,Sn2 ... Sn2n ) cada uno de ellos de longitud
1/3n.
He aqu la secuencia del nmero de segmentos y sus
respectivas longitudes en sucesivas iteraciones:

n
segmentos
2
4
8
...
2n

longitud
del
segmento
1/3
1/9
1/27
...
1/3n

Despus de infinitos pasos obtendremos el

subconjunto de los nmeros reales que
denominamos conjunto de Cantor o polvo de Cantor,
que por brevedad denominaremos a partir de ahora
C.
Bueno... Y qu? Calculemos cul es la longitud final
de los segmentos eliminados sucesivamente:

Pero, entonces, despus de borrar tanto intervalo

nos queda "algo" o no?
Hemos de hacer una pequea observacin: los
intervalos borrados son abiertos (recuerda que nos
quedamos con los cerrados). Es decir: cuando
borramos el intervalo (1/3, 2/3) se salvan de la
quema los puntos 1/3 y 2/3, es decir, los extremos

del intervalo borrado. As que los extremos de los

intervalos nunca son eliminados. Podemos concluir
que C no est vaco. Tenemos puntos como 0, 1,
1/3, 2/3, 1/9, 2/9, ... que pertenecen al mismo.
Hay ms que los extremos? La intuicin nos dice
que no. Pero un anlisis ms pausado la contradice.
Nuestro inters se centra en la geometra fractal y el
conjunto de Cantor exhibe de forma evidente una de
las propiedades ms importantes de los fractales:
la autosimilaridad. Tomando el intervalo [0,1/3] y
amplindolo 3 veces (los matemticos diran
"homotecia de centro 0 y razn 3"), obtendremos de
nuevo el conjunto de Cantor original. Si tomamos el
intervalo [0, 1/9] y lo ampliamos 9 veces
obtendremos de nuevo el conjunto de Cantor. De
hecho, desde cualquier nivel podemos conseguirlo.
De modo que toda parte, por minscula que sea,
contiene la informacin del todo.
Cualquier parte de una lnea recta es una lnea recta
idntica a la total salvo por un factor de escala.
Observa sin embargo que muchas formas eucldeas
no tienen esta propiedad. Un arco de crculo no es
un crculo por s mismo o un lado de un tringulo no
es triangular.