Beruflich Dokumente
Kultur Dokumente
com/2011/10/17/algunas-propiedades-del-conjunto-de-cantor/
Naukas
Portada
Archivo
Quo
Radio Barcelona
Quiénes somos
Colaboradores
Contacto
Ciencia
#sinCiencia no hay futuro
Astronomía
Biología
Divulgación
Ecología
Física
Gadgets
Genética
Geología
Historia
Ingeniería
Matemáticas
Medicina
Medio Ambiente
Neurociencia
Paleontología
Personajes
Química
Tecnología
Escepticismo
Alerta Magufo
El Estagirita Escéptico
Fila 13
Tituláridos
Eventos
Atapuerca
Bilbao 2011
Bilbao 2012
Bilbao 2013
Conferencias
Premios Tesla
Universo en un día
Zientziateka
Audiovisual
Amazing Skies
Certifrikadas
Cine
Fotografía
Infografía
Libros
Música
Vídeos
Miscelánea
Actualidad
Citas
Curiosidades
Enlace Recomendado
Humor
Instantáneas desde el CERN
La hora del té
Twitter
Cuando alguien nos habla de conjuntos fractales, se pone a pensar en esos dibujos cuasi-artísticos llenos de
autosemejanzas y formas que se asemejan a árboles, rayos, nubes… No andamos desencaminados, pues la
principal característica de un fractal es precisamente ésa, la autosemejanza. Sin embargo, hay conjuntos de
este tipo extremadamente sencillos: tan sencillos que caben en un simple intervalo. Hoy vamos a ver algunas
de las propiedades más sencillas de explicar y curiosas de, quizás, el primer fractal conocido: El Conjunto de
Cantor.
¿Cómo se construye?
Antes de empezar, y como buenos matemáticos que somos, vamos a definir rigurosamente el objeto con el
que vamos a trabajar. El Conjunto de Cantor se construye por un proceso de paso al límite por iteración:
veamos cómo.
Partamos del intervalo unidad , es decir, nuestro estado inicial es el intervalo cerrado de extremos
y , cuya longitud es exactamente .
Seguidamente, partimos este intervalo, , en 3 partes idénticas y eliminamos el interior (conservando siempre
los extremos). Así llegamos a nuestra primera iteración, que será , es decir, es la
unión de 2 intervalos cerrados (y disjuntos) cada uno de ellos de longitud 1/3. Si queremos, podemos llamar
y .
Prosigamos. Repetimos el proceso anterior a cada uno de los intervalos y , es decir, los dividimos en 3
partes iguales y eliminamos las centrales (conservando los extremos). Así, en la segunda iteración, llegamos al
conjunto , es decir, la unión de 4 intervalos cerrados
disjuntos cada uno de ellos de longitud 1/9. Como antes, podemos ponerles nombres; así, ,
, y . Fijaos que los intervalos proceden de la división
de mientras que los de la forma proceden de .
Por si aún no se ven las cosas claras, hagamos una tercera iteración y dividamos cada uno de los 4 intervalos
anteriores en 3 partes iguales, quitemos las centrales y quedémonos con los extremos. Llegamos al siguiente
conjunto:
es decir, la unión de 8 intervalos disjuntos de longitud 1/27, a los que llamaremos, siguiendo la notación
anterior, .
Bien, y ahora… ¿cual es el Conjunto de Cantor? Pues muy sencillo, el Conjunto de Cantor como la
intersección de todas las iteraciones anteriores (las 3 que hemos visto y las sucesivas que hagamos), es decir,
¿Cómo? ¿que no contienen el 1? Pues no. ¿Y éste número sí está en el Cantor, pero su expresión decimal
en base 3 es . Ya, querido lector… pero también recuerda que en base 3, y esta
expresión ya no contiene el 1. Así, podemos decir, sin lugar a equivocarnos, que el Conjunto de Cantor es el
conjunto de los puntos de que pueden escribirse en base 3 sin contener al 1, es decir
¿Cuánto mide?
Si nos fijamos, en cada paso que damos para acercarnos al verdadero conjunto de Cantor, partimos de 1
intervalo de longitud1, después llegamos a 2 intervalos de longitud , 4 de longitud , 8 de longitud
…. y en el enésimo paso tendremos intervalos de longitud , es decir, cada iteración tendrá una
longitud de . Por lo tanto, la longitud del Conjunto de Cantor sería el
límite de estas longitudes, es decir
Es decir, el conjunto de Cantor mide (Si quieres saber algo más de la longitud o medida de Lebesgue en
puedes mirar la construcción de un conjunto que no se puede medir).
Por si no te convence, vamos a verlo de otra forma. Calculemos la longitud de los trozos que quitamos. En la
primera iteración quitamos segmento de longitud ; en la segunda segmentos de
longitud ; en la tercera segmentos de longitud ; y así sucesivamente, en la
enésima iteración habremos eliminado, además de todo lo anterior, segmentos de longitud cada
uno.
En total habremos quitado del intervalo original (cuya longitud es obviamente 1) la siguiente cantidad
Luego la longitud del conjunto de Cantor será (la del intervalo ) menos la que nos acaba de salir (otra
vez 1)… .
Por un lado, como el Conjunto de Cantor está contenido en el intervalo , tendrá tantos puntos o menos
que éste. Vamos a comprobar que, en realidad, ambos tienen la misma cantidad de puntos, y para ello, vamos
a construir una sobreyección de en , es decir, a cada punto de le vamos a asociar otro punto de
de forma que abarquemos todos, pero, quizás, haya puntos que procedan de más de uno del conjunto de
Cantor. Vamos allá.
¿Os habéis fijado en la forma tan particular que hemos elegido para denotar los subconjuntos de ? Esa es la
clave. Seleccionemos un punto del conjunto de Cantor. La construcción de me dice que este punto estará
(de hecho él mismo será) en la intersección de una sucesión de intervalos de los pasos intermedios: un
intervalo por cada paso. Así, nuestro punto estará bien en bien en (pongamos el primero); en la
segunda etapa, estará bien en bien en (pongamos el segundo); en la tercera estará en bien en
y así sucesivamente. Si os fijáis, lo que hacemos es que en cada etapa, elegimos un número: el 0 ó el 1,
por lo que al final, tendremos una sucesión de Ceros y Unos que nuestro punto determina de forma única. Y
aquí viene lo bueno. A nuestro punto del conjunto de Cantor, le hacemos corresponder el número decimal
binario . Es decir, donde es precisamente la sucesión de Ceros y Unos que hemos
determinado.
Si nos fijamos bien, esta asignación es una sobreyección. Si fijo cualquier punto del intervalo siempre lo
podré expresar como decimal binario (recordad, chicos, y ). Además, esta
correspondencia no es inyectiva, pues a varios puntos del conjunto de Cantor le corresponde el mismo punto
de (claro, porque ). Total, que se podría decir que en el conjunto de
Cantor hay tantos o más puntos que en , pero como antes vimos que en realidad eran tantos o menos…
se deduce que en realidad tenemos la misma cantidad de puntos.
Esta demostración es muy chula (la verdad, se me ocurrió a mí solito y luego vi que el mismo argumento
estaba ya escrito en muchísimos sitios), pero no es la original exactamente. La prueba original es la del
método diagonal de Cantor. En él, supone que hay una cantidad numerable de puntos (vale, ya sabemos que
no hay un número finito) y los ordena uno debajo de otro… escritos en forma decimal base 3 (recordad que el
conjunto de Cantor se corresponde con los puntos de que se pueden expresar en forma decimal ternaria
sin contener el 1). Ahora elije otro punto diferente a todos ellos y que siga estando en el conjunto de Cantor
(con la propiedad esa del 1) del siguiente modo. Se fija en el primer punto y en el primer decimal, si es un 0, él
elije 2 para su nuevo número, y si pone 2, elije 0. Ahora se fija en el segundo punto y en su segundo
decimal… y elije para el suyo el contrario: y lo mismo para el tercer punto y tercer decimal y, sucesivamente,
para el enésimo punto y su enésimo decimal: elije el contrario del que se encuentra. De esta forma, su punto
es distinto a todos pero sigue teniendo la propiedad de que es expresable en forma decimal ternaria sin usar el
1, luego está en el conjunto de Cantor. Conclusión, no puede ser numerable.
Una forma de verlo es tratar de encontrar su dimensión fractal. Nosotros estamos acostumbrados a trabajar
con la dimensión topológica de un objeto (concepto introducido por Henri Poncaré), que se define como el
número de variables independientes (parámetros, incógnitas…) que se precisan para describir un entorno de
cada punto del objeto (es decir, me fijo en un punto del objeto y los que están muy cerca, y trato de
describirlo mediante ecuaciones: el número de variables que necesite –eliminando las superfluas- es la
dimensión topológica). Pero esta dimensión no es capaz de detectar las irregularidades de los objetos, como
las del Conjunto de Cantor.
Así pues, se hace necesario introducir un nuevo concepto que mida, de alguna forma, la autosimilitud de los
objetos. Veamos algunos ejemplos sencillos. Si tengo un segmento de longitud 1, y pretendo cubrirlo con
copias suyas de tamaño , necesitaré exactamente copias, es decir, ; si tengo un
cuadrado de área 1 y pretendo cubrirlo con cuadraditos de lado , necesitaré cuadraditos, es
decir, ; y lo mismo si parto de un cubo de volumen , necesitaré cubitos de lado , o
lo que es lo mismo, . Si nos fijamos, la dimensión del objeto es el exponente de . Así, podemos
introducir la siguiente definición:
Bueno, vamos a trabajar con la definición sencilla y no con la formal. Si parto del conjunto de Cantor, se
necesitan 2 copias de tamaño 1/3 para cubrir el conjunto de Cantor; se necesitan copias de tamaño
para cubrirlo; copias de tamaño ; y así sucesivamente, se necesitan copias de tamaño
para cubrir el Conjunto de Cantor.
De esta forma será la verdadera dimensión de nuestro conjunto y en esta dimensión (que en el caso del
conjunto de Cantor es ), nuetsro conjunto puede medir lo que sea entre y .
Pues bien, el Conjuto de Cantor cumple que , es decir, que en su verdadera dimensión, mide
1. Vamos, que sería el equivalente al intervalo para o el cuadrado unidad para .
Pues aquí no acaba la cosa. El Conjunto de Cantor no sólo presenta estas sencillas (de contar) propiedades
que os hemos presentado, sino que hay muchas más: Es compacto (al ser cerrado y acotado); no posee puntos
aislados, es decir, a cualquier punto del Conjunto de Cantor nos podemos acercar a través de puntos del
propio Conjunto de Cantor; su interior es vacío, es decir, no contiene a ningún intervalo por pequeño éste sea
(esto significa que es un conjunto disperso en ); además, no sólo no es conexo, sino que es totalmente
disconexo (vamos que los puntos no se conectan ni con enchufes); y así un largo etcétera de propiedades
matemáticas muy interesantes.
Pero no me gustaría terminar sin volver a sorprenderos. Con todo lo que hemos dicho, parece que el Conjunto
de Cantor es muy pequeño, que es muy poquita cosa. Pero, ¿qué pasa si sumamos dos Conjuntos de Cantor?
En concreto ¿qué conjunto es ?
Antes hay que recordar qué entendemos por suma de dos conjuntos. Si , entonces
, es decir, la suma de dos conjuntos es el conjunto formado por todas las
posibles sumas de un elemento del primero y otro del segundo.
En nuestro caso, vamos a sumar dos veces el Conjunto de Cantor, por lo que la suma será el conjunto de
todas las posibles sumas de dos elementos de dicho conjunto. Pero… ¿cómo son estos números? Pues como
dijimos al principio, el Conjunto de Cantor está formado por todos los números de que se pueden
expresar en base 3 mediante un decimal que sólo contiene el 0 y el 2, nunca el 1; dicho de otra forma, un
pero es que este último conjunto no es más que el propio intervalo . Claro, se trata de todos los números
que se pueden expresar, en base 3 mediante un decimal en el que aparecen el 0, el 1 ó el 2… o sea, todos.
¿Que por qué es sorprendente? pues fíjate que, con la misma regla de suma, se tiene que
, pero resulta que el Conjunto de Cantor es más pequeño que el intervalo . Así tenemos dos conjuntos,
uno mucho más pequeño que el otro, pero cuya suma es la misma.
Sin embargo, no es hasta 1883 cuando Cantor introduce el conjunto que lleva su nombre. En una serie de seis
artículos, que van desde 1879 hasta 1884, que llevan por título Über unendliche, lineare
Punktmannichfaltigkeiten y publicados en los Matematische Annalen, Cantor, en el quinto de ellos y en los
apéndices o notas al margen del artículo, incluye lo que hoy conocemos como Conjunto de Cantor como un
ejemplo concreto de Conjunto Perfecto. De hecho, la definición original es la del conjunto de puntos
expresables como donde cada toma los valores 0 ó 2. Aquí os dejo una imagen del la flamante
primera aparición:
Es decir, nada de eliminar segmentos ni cosas así. La definición de Cantor es la de los números que se pueden
expresar como decimal en base 3 sin contener el 1.
Pero lo mejor de todo es que todo ello lo tienes al alcance de unos cuantos clicks, en la pantalla de tu
ordenador. Ahora es tu momento: adéntrate en el mundo de Cantor y aprende Matemáticas.
Bibliografía
Curiosidades sobre el conjunto de Cantor, M. Macho, en Un paseo por la geometría 1999/2000.
Integración de Funciones de varias variables, J.A Facenda-Aguirre y F.J. Freniche-Ibáñez, Ed.
Pirámide, 2002.
La dimensión fractal, M. Zapata Ros, http://platea.pntic.mec.es/mzapata/tutor_ma/fractal
/dim_frac.htm.
Fractales en la red, A. Agea y B. Luque, http://www.dmae.upm.es/cursofractales/
Mi puto cerebro matemático, Journal of my Fucking Brain.
PD: Esta entrada participa en la Edición 2.7 del Carnaval de Matemáticas cuyo anfitrión es La Aventura de la
Ciencia.
0 0 0 7
2
Entradas Relacionadas
Yo pienso que, aunque la autosemejanza es la propiedad más famosa de los fractales no debería decirse que es
la principal, puesto que hay fractales que no la tienen. La principal, bajo mi punto de vista es, precisamente,
que su dimensión fractal no conicide con su dimensión topológica.
0 (0 votos)Responde
Que la dimensión fractal no coincida con la topológica no es signo de fractal, es una consecuencia de la
autosemejanza.
Claro que hay fractales no autosmejantes (la famosa línea de costa de Gran Bretaña), pero son la minoría de
los conocidos.
0 (0 votos)Responde
He 19 octubre, 2011
La definición actual de fractal es : “un conjunto fractal es un subconjunto de un espacio métrico tal que su
dimension D de Hausdorff-Besicovitch > dimensión topológica Dt”
No obstante dicha definción “es rigurosa pero sólo provisional”. Existen conjuntos no euclideos e
infinitamente irregulares (en el sentido clásico) con dimensión de Hausdorff-Besicovitch iguales a su
dimensión topológica. Un ejemplo de ello es la “escalera del diáblo”.
Como bien hace notar Tito Eliatron, la dimensión fractal (ó mas tecnicamente, Hausdorff-Besicovitch) es
resultado de la autosemejanza, de tal forma que los fractales aleatorios no poseen estrictamente hablando
dicha dimensión. No obstante, si pueden presentar autosemejanza en términos estadísticos y, en consecuencia,
una dimensión fractal estadística.
+1 (1 voto)Responde
+1 (1 voto)Responde
Gracias. Fue una reacción natural después de haber tirado el tochazo éste.
Sé que habrá gente que haga lectura Diagonal (de Cantor) y así se quedarán con el primer y último párrafo.
Así que pensé que había que incluir un último párrafo que animara a la gente. Y me sealió ése.
0 (0 votos)Responde
En la redacción actual pareces sugerir que das 2 demostraciones diferentes del mismo hecho en la sección de
“¿Cuántos puntos tiene?”. Pero esto no es para nada así.
La demostración tuya (y que es la primera que das) demuestra que C tiene tamaño el continuo (i.e., el mismo
que el intervalo [0,1]). Por contra, la demostración que dices es “la prueba original” demuestra una cosa
diferente y más débil, simplemente demuestra que C no es numerable.
0 (0 votos)Responde
La esponja de MeNger, hay una erratilla suelta por ahí. Ésta viene a ser una generalización del segmento de
Cantor en dimensión superior: plano de Cantor, cubo de Cantor… ¿Hipercubo de Cantor?
0 (0 votos)Responde
0 (0 votos)Responde
Vaya, podrías haberte dejado alguna propiedad de dicho conjunto sin explicar, menos mal que ya conocía la
mayoría y me he podido saltar algunas cosas, que si no, se me habría hecho eterna la lectura (no quiero ni
pensar lo que te ha costado a ti la escritura).
Por cierto, cuando dices que la suma del conjunto de Cantor con si mismo da el intervalo [0,2] comentas esto:
¿Que por qué es sorprendente? pues fíjate que, con la misma regla de suma, se tiene que [0,1]+[0,1]=[0,2],
pero resulta que el Conjunto de Cantor es más pequeño que el intervalo [0,1].
Hombre, también pasa que [0,1]+{0,1}=[0,2] (el intervalo cerrado de 0 a 1 sumado a 2 puntos da el intervalo
de longitud 2).
Lo cierto es que eso me ha hecho pensar una cosa, ¿existe algún subconjunto X que sumado con si mismo de
el intervalo [0,2] pero que ningún subconjunto suyo tenga dicha propiedad? Más concretamente, ¿tendrá el
conjunto de Cantor dicha propiedad? Lo mismo la respuesta es obvia, pero no me he parado a pensarlo.
+1 (1 voto)Responde
De todas formas, no creo que el conjunto de Cantor tenga esa propiedad. Es posible que si quitas algún punto
intermedio, puedas serguir manteniendo la misma uma.
0 (0 votos)Responde
Lo de que el conjunto esté contenido en el [0,1] es redundante. Si no lo estuviese, su suma nunca puede ser
[0,2] (la suma de un negativo con si mismo es menor que 0 y la de un número mayor que 1 con si mismo es
mayor que 2).
0 (0 votos)Responde
cierto, cierto.
0 (0 votos)Responde
“A cualquier punto del Conjunto de Cantor nos podemos acercar a través de puntos del propio Conjunto de
Cantor. [...] es totalmente disconexo.”
PD: salgo todos los días de clase de algebra asqueado, pero resulta que es entretenida, y divertida!, felicidades
por el tocho (que por otra parte no me ha parecido demasiado pesado).
0 (0 votos)Responde
0 (0 votos)Responde
Yaaaaaaa… ok… ¿y de que sirve este conjunto.. podemos resolver algo con él?.. o como muchas formulas, es
solo matemática para las matemáticas sin valor real en la vida cotidiana???.
0 (0 votos)Responde
0 (0 votos)Responde
He 19 octubre, 2011
No sé si te sirve como “aplicación práctica”, pero es sabido que el conjunto de Cantor fue correlacionado con
las ráfagas de interferencias presentes en las líneas telefónicas por Mandelbrot. Siendo, claro está, un modelo
muy primitivo pero que sin duda ha dejado paso a otros más realistas.
0 (0 votos)Responde
0 (0 votos)Responde
0 (0 votos)Responde
(Mi comentario ha salidodesordenado, pero respondía al comentario sobre el cjto. de Cantor n-dimensional)
0 (0 votos)Responde
+1 (1 voto)Responde
Deja un comentario
Tu email nunca será mostrado o compartido. No olvides rellenar los campos obligatorios.
Nombre Obligatorio
Email Obligatorio
Web
Comentario
Puedes usar las siguientes etiquetas y atributos HTML: <a href="" title=""> <abbr title="">
<acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <p>
<q cite=""> <strike> <strong>
Notificarme los nuevos comentarios por correo electrónico. También puedes suscribirte sin comentar.
Suscribirse al RSS
Revista Naukas #3
9095€ de 12000€
75%
recaudado
65 dias
Eliatron
José A. Prado-Bassas
Tito Eliatron (José A. Prado-Bassas) es profesor de matemáticas en la Universidad de Sevila y autor del blog
Tito Eliatron Dixit. Desde allí, intenta que cualquier persona sea capaz de entender que, tras muchas
situaciones habituales, se esconde un maravilloso mundo matemático que nos explica o nos ayuda sin
pedirnos nada a cambio. En resumen, profesor de profesión, divulgador de afición y matemático de
devoción."
Seguir a @eliatron
Visitar eliatron.blogspot.com
Entradas populares
Eliatron 59 Comentarios
Eliatron 36 Comentarios
Eliatron 38 Comentarios
Dando respuesta a “la mejor pregunta de estadística de la Historia” o por qué los
matemáticos no hacemos exámenes tipo test
Eliatron 33 Comentarios
Eliatron 36 Comentarios
Populares
Recientes
Populares
El Navegante 38 Comentarios
Naukas 27 Comentarios
El Universo invisible