Você está na página 1de 4

Conjunto de Cantor

John Stephen Smith (1826-1883). Pero como Smith falleci y su descubrimiento era prcticamente desconocido,
fue Cantor el que qued asociado a este conjunto.[3]

1 Construccin geomtrica
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 idnticos: quitar el tercio de
todos los intervalos que quedan. El proceso no tiene
n.
La gura muestra las siete primeras etapas:

De izquierda a derecha, sucesivos pasos de la construccin geomtrica del conjunto de Cantor. Para ilustrar la denicin numrica se destacan cuatro puntos del conjunto (0, 2/3, 1 y 1/4) y
su expresin en base 3.

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 innidad de puntos: los 1/3n estn todos
incluidos, con n describiendo los naturales. Pero hay mu la denicin numrica: es el conjunto de todos los cho ms, por ejemplo 1/4 es un elemento del conjunto de
puntos del intervalo real [0,1] que admiten una ex- Cantor.
presin en base 3 que no utilice el dgito 1.

El conjunto de Cantor, llamado as por ser aporte de


Georg Cantor[1] en 1883, es un destacado subconjunto
fractal del intervalo real [0, 1], que admite dos deniciones equivalentes:

la denicin geomtrica, de carcter recursivo, que


elimina en cada paso el segmento abierto correspondiente al tercio central de cada intervalo.

2 Propiedades
2.1 Medida

Adems de una curiosidad matemtica, contradice una


intuicin relativa al tamao de objetos geomtricos: Sin embargo, el conjunto es pequeo cuando se considees un conjunto de medida nula, pero no es vaco ni ra su longitud: el intervalo inicial [0,1] mide 1, y a cada
numerable.[2]
paso, se le quita un tercio, lo que hace que su longitud se
Lo que Cantor no saba era que este conjunto ya haba si- multiplique por 2/3. la sucesin geomtrica u = (2/3)n
do estudiado en 1875 por un matemtico dublins, Henry tiende hacia cero, Por lo tanto el conjunto de Cantor es
1

REFERENCIAS

de medida nula. Esto implica, en particular, que el con- conjunto de Cantor. Esto es una manifestacin de autojunto de Cantor no puede contener ningn intervalo de similaridad, que es una de las propiedades bsicas de los
medida no nula.
fractales. Su dimensin de Hausdor es menor que uno,
concretamente Log(2)/Log(3)=0.631.

2.2

Cardinalidad

3 Generalizaciones

Podemos demostrar el siguiente resultado paradjico: el


conjunto de Cantor est en biyeccin con el segmento [0,
3.1
1], es decir, tiene tantos elementos como l.

En dimensin uno

Para demostrar eso, vamos a construir una funcin suprayectiva desde el conjunto de Cantor (llammosle 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 adems ha
de tener una cardinalidad no mayor. Por tanto se concluye
que las cardinalidades de C y [0, 1] han de ser iguales.

En lugar de eliminar en cada paso la tercera parte central,


podramos plantearnos eliminar cualquier otro porcentaje jo (distinto de 0% o de 100%) de la zona central. Los
conjuntos resultantes siguen siendo homeomorfos al conjunto de Cantor. Sin embargo, mientras la longitud del
intervalo eliminado sea mayor o igual a la tercera parte,
la medida de Lebesgue del conjunto ser cero; en otro
La funcin suprayectiva la construiremos as: Si se caso, la medida ser positiva (ms especco, la medida
considera la escritura en base tres de los nmeros, se de Lebesgue es de 1-a, donde a es la razn de longitudes
nota que, al quitar siempre el segundo tercio de todos entre el intervalo eliminado en el primer paso y 1/3).
los segmentos, se suprime exactamente los nmeros que Eliminando porcentajes que disminuyan progresivamentienen un 1 en su escritura trienal: el intervalo (1/3; 2/3) te en cada paso, podemos construir conjuntos tambin
corresponde a los nmeros que empiezan por 0,1 (menos homeomorfos al conjunto de Cantor, pero con medida
el 1/3 que tambin se puede escribir 0, 02222222222..... de Lebesgue positiva. Un ejemplo de dicha construccin
en base tres); el intervalo (1/9;2/9) corresponde a los es el conjunto de Smith-Volterra-Cantor.
nmeros que empiezan por 0,01, el (7/9;8/9) por 0,21 y
as sucesivamente.

3.2 En otras dimensiones


La suprayeccin se construye as: a cada nmero escrito
con slo ceros y dos se le hace corresponder el nmero 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 nmeros en base dos que empiezan por 0,... y que tienen ceros o/y unos despus de la
coma: es el intervalo [0,1] entero!

2.3

Propiedades topolgicas

El conjunto de Cantor es cerrado en los reales, al ser el


complemento de la unin de abiertos.[4] Al ser tambin
acotado, por aplicacin del teorema de Heine-Borel, puede armarse que es compacto. Se demuestra que es un
conjunto denso en ninguna parte.

2.4

Autosimilaridad

El conjunto de Cantor puede considerarse tambin como


el atractor asociado al IFS (sistema de funciones iteradas)
formado por las aplicaciones contractivas f1 (x) = x3 ,
y f2 (x) = x3 + 23 , ambas denidas sobre el compacto
[0,1].[5]
Observamos que la imagen del conjunto de Cantor por la
homotecia de centro 0 y razn 1/3 es una parte del propio

En cualquier dimensin se dene el producto cartesiano


del conjunto de Cantor por s mismo, que recibe el nombre de polvo de Cantor. Adems, en dimensin 2 se dene
la alfombra de Sierpinski, y en dimensin 3 la esponja de
Menger.

4 Referencias
[1] Georg Cantor, On the Power of Perfect Sets of Points (De
la puissance des ensembles parfait de points), Acta Mathematica 4 (1884) 381-392. English translation reprinted in Classics on Fractals, ed. Gerald A. Edgar, AddisonWesley (1993) ISBN 0-201-58701-7
[2] Galavz Casas, Jos (1.996). El conjunto de Cantor
(pdf). Miscelanea Matemtica (Mxico) 24: 2337. ISSN
1665-5478. Consultado el 25/05/2.012.
[3] GRIBBIN, John. As de Simple. El caos, la complejidad y
la aparicin de la vida. Madrid, Critica. ISBN: 84-8432716-7
[4] L. A. Steen, J. A. Seebach. Counterexamples in topology.
Courier Dover Publications, 1995. ISBN 0-486-68735-X
[5] M. Barnsley. Fractals everywhere.Academic Press Inc,
1988. ISBN 0-12-079062-9.

Vase tambin
Funcin de Cantor

6 TEXTO E IMGENES DE ORIGEN, COLABORADORES Y LICENCIAS

Texto e imgenes de origen, colaboradores y licencias

6.1

Texto

Conjunto de Cantor Fuente: https://es.wikipedia.org/wiki/Conjunto_de_Cantor?oldid=82899116 Colaboradores: Romero Schmidtke, Joseaperez, Sabbut, Moriel, Sauron, Pieter, Zwobot, Sms, Aracne, Xatufan, Rembiapo pohyiete (bot), Orgullobot~eswiki, RobotQuistnix,
Caiserbot, Yrbot, BOT-Superzerocool, Robertec, GermanX, KnightRider, BOTpolicia, CEM-bot, Davius, Thijs!bot, WikiCholi, Xenon
chile, TXiKiBoT, R2D2!, Rei-bot, Anatoli1024, VolkovBot, Urdangaray, Muro Bot, Loveless, Drinibot, HUB, Gato ocioso, LucienBOT,
Luckas-bot, Fabiocalde, SuperBraulio13, Xqbot, Jkbw, JViejo, Jerowiki, Humbefa, GrouchoBot, EmausBot, TuHan-Bot, Shectore, MetroBot, Acratta, JYBot, Legobot, JacobRodrigues, Jarould, BenjaBot y Annimos: 20

6.2

Imgenes

Archivo:Cantor_base_3.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/f4/Cantor_base_3.svg Licencia: CC-BY-SA3.0 Colaboradores: ? Artista original: ?


Archivo:Cantors_cube.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/78/Cantors_cube.jpg Licencia: Public domain
Colaboradores:
en:Image:Cantors cube.jpg Artista original: User:Solkoll
Archivo:Conjunto_de_Cantor.png Fuente: https://upload.wikimedia.org/wikipedia/commons/e/eb/Conjunto_de_Cantor.png Licencia:
CC-BY-SA-3.0 Colaboradores: ? Artista original: ?
Archivo:Menger_sponge_(IFS).jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/9b/Menger_sponge_%28IFS%29.jpg
Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Sierpinski_carpet_6.png Fuente: https://upload.wikimedia.org/wikipedia/commons/f/f7/Sierpinski_carpet_6.png Licencia:
Public domain Colaboradores: Trabajo propio Artista original: CRGreathouse

6.3

Licencia de contenido

Creative Commons Attribution-Share Alike 3.0

Você também pode gostar