El triangle de Sierpiński és un objecte fractal, que va ser introduït per primera vegada en 1915 pel matemàtic polonès Waclaw Sierpiński.[1] És un dels exemples bàsics de conjunt autosemblant, una de les propietats fonamentals de les fractals. Encara que va ser construït inicialment a partir d'un triangle equilàter, anomenat triangle de Sierpiński canònic, es pot fer la construcció a partir de qualsevol triangle.
Construcció
Hi ha moltes maneres diferents de construir el triangle de Sierpiński.
Eliminació de triangles
El triangle de Sierpinski es pot construir a partir d'un triangle equilàter eliminant repetidament els subconjunts triangulars:
A partir d'un triangle, s'uneixen els punts mitjans dels seus costats, dividint el triangle inicial en quatre triangles.
S'elimina el triangle interior.
En cada un dels tres triangles que queden es procedeix a fer el pas 1.
El triangle de Sierpiński és el límit de fer el procediment anterior de manera infinita.[3] Cada triangle eliminat és topològicament un conjunt obert.
Encongiment i duplicació
La mateixa seqüència de formes, que convergeix al triangle de Sierpiński, es pot generar alternativament mitjançant els passos següents:
Es comença amb un triangle (o qualsevol altra regió tancada i delimitada) en un pla. El triangle canònic de Sierpiński utilitza un triangle equilàter amb una base paral·lela a l'eix horitzontal.
S'encongeix el triangle a la meitat d'alçada i d'amplada, se'n fan tres còpies i es posicionen de forma que cada triangle toqui els altres triangles en una cantonada.
Es repeteix el procés amb cadascuna de les figures resultants.
Aquest procediment infinit no depèn de que la forma inicial sigui un triangle, atès que el fractal s'obtindria després d'un nombre infinit d'iteracions.[4] Concretament, es tracta d'un punt fix atractor, de manera que quan l'operació s'aplica repetidament a qualsevol altre conjunt, les imatges convergeixen en el triangle de Sierpiński.
Es defineixen tres punts al pla, que formen un triangle.
Es selecciona a l'atzar qualsevol punt dins del triangle, considerat la posició actual.
Es selecciona a l'atzar qualsevol dels tres vèrtexs.
Es mou la meitat de la distància entre la posició actual i el vèrtex escollit.
El punt obtingut es considera la nova posició actual.
Es repeteix des del pas 3.
Es pot començar des de qualsevol punt exterior o interior del triangle i, finalment, acaba formant el triangle amb alguns punts sobrants (si el punt de partida es troba al contorn del triangle, no queden punts sobrants).[5]
Es substitueix cada segment per tres segments més curts, formant angles de 120° entre dos segments consecutius, amb el primer i l'últim de la corba paral·lels al segment original o formant un angle de 60° amb ell.
Es repeteix el procés per cada segment de línia resultant.
Autòmats cel·lulars
El triangle de Sierpiński també apareix en alguns autòmats cel·lulars, incloent autòmats cel·lulars unidimensionals (com Rule 90 si es parteix d'una única cel·la activada al centre),[6] i també alguns relacionats amb el joc de la vida. Per exemple, la variant Life-like B1/S12 del joc de la vida quan s'aplica a una sola cel·la genera quatre aproximacions del triangle de Sierpiński.[7] En el joc de la vida original, si s'inicia amb una línia molt llarga d'una única cel·la de gruix, es formen dos triangles de Sierpiński reflectits. El diagrama espaitemps d'un patró de replicador en un autòmat cel·lular també es sol assemblar a un triangle de Sierpiński, com el del replicador comú a HighLife.[8] El triangle també es pot trobar a l'autòmat d'Ulam–Warburton i la seva variant hexagonal.[9]
Triangle de Pascal
Al pintar els nombres del triangle de Pascal segons si són senars o parells, apareix el triangle de Sierpiński.[10][11] A més, al pintar-lo segons mòduls majors que 2 també apareixen triangles similars al de Sierpiński.[12]
Torres de Hanoi
El trencaclosques de les Torres de Hanoi consisteix a moure discos de diferents mides entre tres clavilles, mantenint la propietat que mai no es col·loca cap disc a sobre d'un disc més petit. Els estats d’un disc n del trencaclosques i els moviments permesos d’un estat a un altre, formen un graf no dirigit anomenat graf de Hanoi, que es pot representar geomètricament com el graf d'intersecció del conjunt de triangles que es preserven després del pas n de la construcció del triangle de Sierpiński. Per tant, en el límit quan n tendeix a infinit, aquesta seqüència de grafs pot ser interpretada com un anàleg discret del triangle de Sierpiński.[13]
Propietats
El triangle de Sierpiński té una dimensió fractal de , que es dedueix del fet que de fet és la unió de tres còpies de si mateix, cada una escalada pel factor 1/2.[14][15]
L'àrea d'un triangle de Sierpiński és zero (en mesura de Lebesgue).[16] Això es pot veure, ja que a cada vegada que iterem, s'elimina un 25% de la iteració anterior, i al límit per tant quedarà una àrea nul·la.[17]
Generalitzacions per més dimensions
El triangle de Sierpiński es pot generalitzar per més dimensions. En el cas tridimensional, es poden apilar piràmides de base triangular, és a dir, tetràedres de forma similar als triangles en la versió bidimensional, obtenint un fractal anomenat tetràedre de Sierpiński. De la mateixa manera, es poden utilitzar piràmides amb altres bases, obtenint així tota una família de fractals; les piràmides de Sierpiński.
Referències
↑ 1,01,1Sierpinski, Waclaw «Sur une courbe dont tout point est un point de ramification». Comp. Rend. Acad. Sci. [París], 160, 1915, pàg. 302-305.
↑Rumpf, Thomas. Proceedings of the Eleventh International Conference on Membrane Computing (CMC 11), 2010, p. 459–462. «Conway's Game of Life accelerated with OpenCL»
↑Bilotta, Eleonora; Pantano, Pietro «Emergent patterning phenomena in 2D cellular automata». Artificial Life, 11, 3, Summer 2005, p. 339–362. DOI: 10.1162/1064546054407167.
↑Khovanova, Tanya; Nie, Eric; Puranik, Alok «The Sierpinski Triangle and the Ulam-Warburton Automaton». Math Horizons, 23, 1, 2014, p. 5–9. DOI: 10.4169/mathhorizons.23.1.5.
↑Romik, Dan «Shortest paths in the Tower of Hanoi graph and finite automata». SIAM Journal on Discrete Mathematics, 20, 3, 2006, p. 610–62. DOI: 10.1137/050628660.
↑Simmit, E., Davis, B. «Fractal Cards: A Space for Exploration in Geometry and Discrete Methematics». Math. Teacher, 91, 1998, pàg. 102-108.