El arco del triunfo de Cantor

(es) El arco del triunfo de Cantor

(eo) Triumfarko de Cantor

http://dx.doi.org/10.13140/RG.2.2.34092.90243

Descripción artística:

Una ilustración del conjunto de Cantor en forma de Arco de Triunfo.

Motivación:

Los grandes logros intelectuales de Georg Cantor.

Descripción técnica:

La forma geométrica de describir el conjunto de Cantor es la siguiente:

1. Se toma un segmento de longitud 1. Se puede considerar como el intervalo [0,1].
2. A este segmento se le quita el tercio medio del segmento. Se puede considerar que al intervalo [0,1] se le resta el intervalo abierto $\left(\frac{1}{3},\frac{2}{3}\right)$, con lo que queda el intervalo $\left[0,\frac{1}{3}\right]\cup \left[\frac{2}{3},1\right]$.
3. A cada uno de los dos segmentos disjuntos restantes se les resta el intervalo abierto equivalente a su tercio interior. En este momento quedan cuatro intervalos cerrados disjuntos.
4. A cada uno de los intervalos se les resta el intervalo abierto equivalente a su tercio interior. Y este paso se repite hasta el infinito.
5. La unión de todos los segmentos o intervalos cerrados resultante es el conjunto de Cantor.

Además de una curiosidad matemática, contradice una intuición relativa al tamaño de objetos geométricos, ya que es un conjunto de medida nula (es decir que la suma de todos los segmentes resultantes es cero), pero no es vacío ni numerable, es decir, que además es infinito.


Archivos

Código (CFDG):

# Copyright 2015 Eduardo Adam Navas López
# Este archivo es Software Libre liberado bajo la licencia GNU GPLv3 o su versión más reciente:
# http://www.gnu.org/licenses/gpl.html


#Para generar la imagen:
#$ cfdg -s 8000 -b 0 -x 5 cantor.cfdg cantor.png

startshape principal

shape principal{
 loop i=4 []{
  SQUARE[s 12 0.9 y (i+1)]
 }
 cantor[]
 CIRCLE[b 1 s 4 z 2 y (-1/2)]
}

shape cantor {
 SQUARE[s 12 0.95]
 cantor[y -1 x (-12/3) s (1/3) (0.9)]
 cantor[y -1 x  (12/3) s (1/3) (0.9)]
}