Triángulo de Sierpinski

El triángulo de Sierpiński es un fractal que se puede construir a partir de cualquier triangulo.

Archivo:Triángulo de sierpinski .png

Triángulo de Sierpinsky

Pavimento de la Basílica de Santa María in Cosmedin en Roma; con un patrón geométrierda que recuaerda al triángulo de Sierpinski (siglo VIII)

Hail grasa prros

Construcción

Mediante homotecias

Como en la mayoría de los fractales, existen varias maneras de obtener la misma figura (triángulos). En este caso, todos los procesos implican las tres homotecias centradas en los vértices del triángulo, de razón 1/2. Notémoslas h_a, h_b y h_c.
Es fácil observar que esta figura contiene tres reducciones de sí misma: El triángulo ADE con todo su contenido es una reducción exacta del triángulo ABC, y lo mismo se puede decir de CDF y de BEF. Estos tres clonos son justamente las imágenes de ABC por h_a, h_b y h_c. Y como no quedan puntos del fractal fuera de estas tres reducciones, se puede escribir (T designa el triángulo de Sierpiński):

T = h_a(T) ∪ h_b(T) ∪ h_c(T)

En otras palabras, T es invariable por la aplicación del plano definida así: f(M) = {h_a(M), h_b(M), h_c(M)}, donde M es un punto cualquiera del plano. Esta aplicación es más abstracta de lo que parece pues su conjunto de llegada (codominio) no es el plano mismo sino las partes de él, o sea el conjunto de todas las figuras posibles del plano. Se puede extender el dominio de f a las partes del plano así: f(F) = h_a(F) ∪ h_b(F) ∪ h_c(F) donde F es una figura cualquiera del plano.
Visto así, T es un punto fijo de f. El único, aparte del conjunto vacío, de escaso interés geométrico.
T es también un atractor de la aplicación f: si se considera una figura (de preferencia sencilla) T₀, y se construyen su imágenes sucesivas T₁ = f(T₀), T₂ = f(T₁) = f ²(T₀) ... T_n = f ⁿ(T₀)... entonces la sucesión T_n se aproxima al triángulo de Sierpiński.

En la figura siguiente se ha tomado como figura inicial el triángulo ABC:

Iterando a partir de un punto

También se puede construir T a partir de un punto aleatorio cualquiera M y, para simplificar la programación, escoger al azar una imagen entre h_a(M), h_b(M) y h_c(M) (en cada paso) en vez de tomar siempre las tres. Esto permite hacer un programa sin recursividad, pero claro, trae una desventaja: el número de pasos para obtener una figura satisfactoria será mucho más largo (en cada paso sólo se dibuja un punto):

Relación con el conjunto de Cantor

Si se interseca el triángulo de Sierpiński por una recta paralela a uno de sus costados, se obtiene una figura con un gran parentesco (y parecido) con el conjunto de Cantor.

Dimensión fractal

El triángulo de Sierpinski tiene una dimensión fractal de Hausdorff-Besicovitch coincidente con su dimensión fractal de homotecia igual a:

$D_{HB}={\frac {\ln 3}{\ln 2}}\approx 1,584962501$

Igualmente fácil es encontrar la dimensión fractal usando un sistema iterativo de funciones, formado por tres funciones contractivas con constante de Lipschitz 1/2 de donde se sigue que la dimensión fractal de Hausdorff-Besicovitch satisface:

$3\left({\frac {1}{2}}\right)^{D_{HB}}=1\quad \Leftrightarrow \quad D_{HB}={\frac {\ln 3}{\ln 2}}$

Véase también

• Anexo:Fractales por dimensión de Hausdorff
• Tamiz de Apolonio

Enlaces externos

• Wikimedia Commons alberga una categoría multimedia sobre Triángulo de Sierpinski.

Referencias

• Rubiano, Gustavo (2009). Iteración y fractales (con Mathematica®). Universidad Nacional de Colombia (Sede Bogotá) Facultad de Ciencias. ISBN 9789587192087. Consultado el 22 de abril de 2010.