El conjunto de Cantor con GeoGebra

De -

Introducción

Muchos fractales se forman realizando una acción simple una y otra vez, en una secuencia de pasos recursivos. En cada paso, el objeto inicial (input) puede ser una figura simple (una curva poligonal, por ejemplo) y el resultado (output) es una modificación de esa forma.

A continuación presentamos un método para construir fractales con GeoGebra clásico. Para esto necesitaremos los siguientes comandos:

Punto()
Segmento()
Secuencia()
Elemento()
Encadena()
Longitud()

Por supuesto, supondremos que tienes un conocimiento básico del programa. Si aún no lo conoces, te recomiendo el Tutorial GeoGebra donde puedes aprender los elementos básicos de GeoGebra clásico. Tampoco es necesario explicar aquí cada uno de los comandos mencionados arriba. Sin embargo, si deseas conocer los detalles de cada comando entonces consulta: Comandos GeoGebra.

El conjunto de Cantor con GeoGebra

Comencemos con el ejemplo más conocido: el conjunto de Cantor. Iniciamos nuestra construcción con un segmento de línea, eliminamos el tercio medio, lo que resulta en dos segmentos. Repetimos esta misma acción en cada uno de estos segmentos, cuyo resultado nos da cuatro segmentos. En el siguiente paso tenemos ocho, y luego dieciséis. Esto continúa hasta el infinito (o mientras las limitaciones de nuestra computadora lo permitan).



Vamos a construir esto en GeoGebra clásico (puede ser versión 5 o 6). Comencemos con un segmento de línea arbitrario a. Para esto necesitamos usar el comando Segmento el cual se encuentra en el menú principal.


Con este comando obtenemos el segmento cuyos extremos son los puntos A y B.

Nota: En lo que sigue, los comandos que usaremos los escribiremos en la casilla de entrada de GeoGebra que se encuentra en la parte inferior como se muestra en la imagen siguiente:

<-Aquí

El comando Punto() nos permite seleccionar cualquier punto a lo largo de la longitud de a; Punto(a, 0) es el punto final inicial, y Punto(a, 1) es el punto final del terminal. Para eliminar el tercio medio de a, lo reemplazamos con los dos segmentos

Segmento(Punto(a, 0), Punto(a, 1/3))

Segmento(Punto(a, 2/3), Punto(a, 1))

Debemos tener en cuenta que esto equivale a escribir dos comandos. Si seguimos nuestro proceso de esta manera, en cada paso la cantidad de comandos tendrá que duplicarse, y la cantidad de trabajo que estamos haciendo aumentará a una tasa exponencial. ¡Este proceso resulta ser un poco tedioso! Necesitamos una forma de realizar cada paso con un solo comando. Pero eso es fácil, usemos una lista. Nuestro comando entonces será

{Segmento(Punto(a, 0), Punto(a, 1/3)), Segmento(Punto(a, 2/3), Punto(a, 1))}

lo que resulta en el par de segmentos de línea: {*, *}. Ahora, en cada etapa queremos que el resultado tenga la misma forma que la entrada, por lo que deberíamos comenzar, no con un solo segmento de línea, sino con una lista que contenga un solo segmento de línea: {*}. Luego, en cada etapa, el input y el output serán listas de segmentos.

Así que vamos a empezar de nuevo: L_1 será la lista {a}, y L_2 será

{
     Segmento(
          Punto(a, 0),
          Punto(a, 1/3)
     )
     Segmento(
          Punto(a, 2/3),
          Punto(a, 1)
     )
}

Después creamos la lista 3 realizando la misma acción en cada uno de estos segmentos. No tienen nombre, pero podemos acceder a ellos a través del comando Elemento(). 

El Elemento(L_2, 1) es el primer segmento, y el Elemento(L_2, 2) es el segundo segmento. Así que L_3 se define como:

{
     Segmento(
          Punto(Elemento (lista2,1), 0),
          Punto(Elemento (lista2,1), 1/3)
     )
     Segmento(
          Punto(Elemento(lista2,1), 2/3),
          Punto(Elemento(lista2,1), 1)
     )
     Segmento(
          Punto(Elemento(lista2,2), 0),
          Punto(Elemento(lista2,2), 1/3)
     )
     Segmento(
          Punto(Elemento(lista2,2), 2/3),
          Punto(Elemento(lista2,2), 1)
     )
}

Con esto hemos logrado lo que necesitamos, pero sigue siendo un poco insatisfactorio. La cantidad de líneas escritas aún se duplicará en cada etapa si tenemos que ingresar los segmentos manualmente. Necesitamos una forma de hacer que la computadora los lea por su cuenta. Esto se puede hacer con el comando Secuencia(). La expresión

Secuencia(F(k), k, 1, n)

devuelve la lista

{F(1), F(2),…, F(n)}

donde F es una función que acepta un entero como argumento. En nuestro caso, la n debe ser el número de elementos en la L_2, o Longitud(L_2). La función debe devolver el par de segmentos resultante de eliminar el tercio medio del Elemento(L_2, k) para cada k, o

{
   Segmento(
      Punto(Elemento (L_2, k), 0),
      Punto(Elemento (L_2, k), 1/3)
   )
   Segmento(
      Punto(Elemento (L_2, k), 2/3),
      Punto(Elemento (L_2, k), 1)
   )
}

Si usamos esto como nuestra función F(k), el resultado será de la forma {{*, *}, {*, *}}. Sin embargo, queremos una lista de segmentos, no una lista de pares de segmentos. Entonces, después de ejecutar la secuencia, aplicaremos el comando Encadena(), lo que resultará en
{*, *, *, *}. 

De esta manera tenemos lo siguiente:

Encadena(
   Secuencia(
      {
         Segmento(
            Punto(Elemento(L_2, k), 0),
            Punto(Elemento(L_2, k), 1/3)
          )
          Segmento(
            Punto(Elemento(L_2, k), 2/3),
            Punto(Elemento(L_2, k), 1)
          )
       }
      k
      1,
      Longitud(L_2)
   )
)

Así que nuestra entrada debe ser

L_3 = Encadena(Secuencia({Segmento(Punto(Elemento(L_2, k), 0), Punto(Elemento(L_2, k), 1/3)), Segmento(Punto(Elemento(L_2, k), 2/3), Punto(Elemento(L_2, k), 1))}, k, 1, Longitud(L_2)))

Para ser consistentes, podríamos comenzar por definir L_2 de esta manera:

L_2 = Encadena(Secuencia({Segmento(Punto(Elemento(L_1, k), 0), Punto(Elemento(L_1, k), 1/3)), Segmento(Punto(Elemento(L_1, k), 2/3), Punto(Elemento(L_1, k), 1))}, k, 1, Longitud(L_1)))

Entonces L_3 se definiría como arriba, y luego tendríamos

L_4 = Encadena(Secuencia({Segmento(Punto(Elemento(L_3, k), 0), Punto(Elemento(L_3, k), 1/3)), Segmento(Punto(Elemento(L_3, k), 2/3), Punto(Elemento(L_3, k), 1))}, k, 1, Longitud(L_3)))

y así sucesivamente, creando L_5,  L_6, etc. Finalmente ocultamos todos menos la última etapa para ver una buena imagen del conjunto de Cantor. Lo curioso es que no hay mucho que ver. Aunque el conjunto de Cantor es incontable, tiene una medida de cero.


Construcción del conjunto de Cantor usando el Programa de guión (scripting)

Otra manera de realizar la construcción anterior es por medio del Programa de guión (scripting). Para ello abrimos GeoGebra clásico (puede ser version 5 o 6) y creamos un botón que se encuentra en el menú principal


Aparecerá la siguiente ventana

El Rótulo es el título opcional, yo le he puesto Setup 

En la casilla de Guión (script) de GeoGebra escribiremos las siguientes líneas:

A = (0, 0)

 B = (1, 0)

 L_1 = {Segmento(A, B)}

 L_2 = Encadena(Secuencia({Segmento(Punto(Elemento(L_1, k), 0), Punto(Elemento(L_1, k), 1/3)), Segmento(Punto(Elemento(L_1, k), 2/3), Punto(Elemento(L_1, k), 1))}, k, 1, Longitud(L_1)))

 L_3 = Encadena(Secuencia({Segmento(Punto(Elemento(L_2, k), 0), Punto(Elemento(L_2, k), 1/3)), Segmento(Punto(Elemento(L_2, k), 2/3), Punto(Elemento(L_2, k), 1))}, k, 1, Longitud(L_2)))

 L_4 = Encadena(Secuencia({Segmento(Punto(Elemento(L_3, k), 0), Punto(Elemento(L_3, k), 1/3)), Segmento(Punto(Elemento(L_3, k), 2/3), Punto(Elemento(L_3, k), 1))}, k, 1, Longitud(L_3)))

Si copias y pegas el Guión anterior, tendrá el siguiente aspecto:

Damos clic en OK y finalmente damos clic sobre el botón para obtener el mismo resultado.

Comentarios finales

Ahora que ya sabes como construir el conjunto de Cantor en GeoGebra, puedes hacer variaciones de esta construcción. Puedes buscar la manera de poner cada paso en un nivel diferente como en la imagen mostrada al inicio de la construcción o si prefieres puedes cambiar el color. Las posibilidades son casi infinitas.

En el siguiente applet puedes apreciar el resultado final de la construcción con dos elementos extra: un deslizador para mostrar cada lista y una casilla para animar. Puedes mover los puntos A y B.


Por último, cabe mencionar que el Guión anterior, el cual contiene 6 líneas, se puede reducir a una sola línea, pero requiere del uso del comando Ejecuta(), el cual sirve para crear sucesiones recursivas. 

Entonces el Guión final es:

Ejecuta(Encadena({"L1={Segment((0,0), (1,0))}"}, Secuencia("L"+(i+1)+"=Join(Sequence({Segment(Point(Element(L"+i+",k),0), Point(Element(L"+i+",k),1/3)),Segment(Point(Element(L"+i+",k),2/3), Point(Element(L"+i+",k),1))},k,1,Length(L"+i+")))", i, 1, 3)))

 Si deseas conocer más al respecto de este comando consulta el enlace Comando Ejecuta. 

Gracias por llegar al final de este artículo. Si deseas puedes apoyarme en Patreon usando el siguiente enlace:

Become a Patron!

Con tu apoyo podré seguir escribiendo y compartiendo artículos y applets de matemáticas.


Comentarios

Publicar un comentario

Entradas populares

Galileo Galilei y su ley de caída libre

De -
Imagen
1. Introducción Con respecto al estudio del movimiento de caída libre, el filósofo griego Aristóteles (384-322 aC) asumió que los objetos más pesados ​​caían más rápido que los más ligeros. Esta suposición se mantuvo durante casi 2000 años hasta que, a finales del siglo XVI, el matemático italiano  Galileo Galilei  (1564-1642)  demostró que en realidad todos los objetos caen al mismo tiempo sin importar el peso de estos. Corrientes de pensamiento con respecto al movimiento de caída libre Aristoteliana                                          Galileana Galileo estaba convencido de que en un espacio completamente libre de aire, dos cuerpos en caída libre cubrían distancias iguales en tiempos iguales sin importar su peso. Esto contradecía radicalmente las nociones aristotélicas acerca de la caída libre. Por supesto que en esa época, era muy difícil medir con precisión el tiempo que tarda un objeto en caer una distancia vertical. Sin embar
Leer más

Breve historia del Cálculo

De -
Imagen
1. Introducción El historiador de las matemáticas Morris Kline considera al Cálculo, después de la geometría, como la creación más grande en todas las matemáticas [4, p. 342]. Generalmente se atribuye su invención principalmente a dos matemáticos del siglo XVII, el inglés Isaac Newton (1642-1727) y el alemán Gottfried Wilhelm Leibniz (1646-1716). Sin embargo, esta es una excesiva y absurda simplificación de los hechos. En realidad el Cálculo, tal y como lo conocemos actualmente, es el producto de una larga evolución en la cual ciertamente estos dos personajes desempeñaron un papel decisivo [6]. Leibniz Newton En términos muy generales, el  Cálculo llegó para resolver y unificar los problemas de cálculo de áreas y volúmenes, el trazo de tangentes a curvas y la obtención de valores máximos y mínimos, proporcionando una metodología general para la solución de todos estos problemas; también permitió definir el concepto de continuidad y manejar pro
Leer más

Una historia de la Teoría de Conjuntos

De -
Imagen
La historia de la teoría de conjuntos es bastante diferente comparada con la historia de la mayoría de las otras áreas de las matemáticas. Para la mayoría de las áreas por lo general se puede rastrear un largo proceso en el que las ideas evolucionan hasta alcanzar un resplandor final de inspiración, a menudo por un número de matemáticos casi simultáneamente, produciendo un descubrimiento de gran importancia. La teoría de conjuntos sin embargo, es bastante diferente. Su creación se debe a una sola persona, Georg Cantor. Antes de adentrarnos en la historia principal del desarrollo de la teoría de Cantor, primero examinamos algunas contribuciones preliminares. Georg Cantor La idea de infinito había sido objeto de una profunda reflexión desde la época de los griegos. Zenón de Elea, alrededor de 450 aC, con sus problemas en el infinito, hizo una importante contribución. En la Edad Media, la discusión del infinito había dado lugar a la comparación de conjuntos infinitos. Por
Leer más