Catifa de Sierpinski
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Sierpinski_carpet_6.png/220px-Sierpinski_carpet_6.png)
La catifa de Sierpinski és un conjunt fractal descrit per primer cop per Wacław Sierpiński el 1916.[1] Constitueix una generalització a dues dimensions del conjunt de Cantor. Comparteix amb ell moltes propietats: també és un conjunt compacte, no numerable i de mesura nul·la. La seva Dimensió de Hausdorff-Bezikóvitx és [2]
No s'ha de confondre amb altres generalitzacions com la pols de Cantor.
És universal per a tot objecte compacte del pla. Així, qualsevol corba dibuixada en el pla amb les autointerseccions que vulguem, per complicada que sigui, serà homeomorfa a un subconjunt de la catifa de Sierpinski.
Construcció
La construcció de la catifa de Sierpinski es defineix de forma recursiva:
- Comencem amb un quadrat.
- El quadrat es talla en 9 quadrats congruents, i eliminem el quadrat central.
- El pas anterior torna a aplicar-se recursivament a cada un dels 8 quadrats restants.
La catifa de Sierpinski és el límit d'aquest procés després d'un nombre infinit d'iteracions.
Construcció de la catifa de Sierpinski: | |||||
Pas 1 | Pas 2 | Pas 3 | Pas 4 | Pas 5 |
![](http://upload.wikimedia.org/wikipedia/commons/4/4e/Alfombra_Sierpinski.gif)
La següent implementació és vàlida en C, C++ i Java:
/** * Decides if a point at a specific location is filled or not. * @param x is the x coordinate of the point being checked * @param y is the y coordinate of the point being checked * @param width is the width of the Sierpinski Carpet being checked * @param height is the height of the Sierpinski Carpet being checked * @return 1 if it is to be filled or 0 if it is not * / int isSierpinskiCarpetPixelFilled(int x, int y, int width, int height) { // base case 1 of 2 if ((x <= 0)||(y <= 0)||(x>=width)||(y>=height)) //top row or left column or out of bounds should be full return 1; /* If the grid was split in 9 parts, what part(x2,y2) would x,y fit into? */ int x2 = x * 3 / width; // an integer from 0..2 inclusive int y2 = y * 3 / height; // an integer from 0..2 inclusive // base case 2 of 2 if (x2 == 1 && y2 == 1) // if in the center square, it should be empty return 0; // general case /* offset x and y so it becomes bounded by 0..width/3 and 0..height/3 and prepares for recursive call some offset is added to make sure the parts have all the correct size when width and height isn't divisible by 3 */ x -= (x2 * width+2) / 3; y -= (y2 * height+2) / 3; width = (width +2-x2)/3; height = (height+2-y2)/3; return isSierpinskiCarpetPixelFilled(x, y, width, height); }
Propietats
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Peano_Sierpinski_carpet_4.svg/220px-Peano_Sierpinski_carpet_4.svg.png)
L'àrea de la catifa tendeix a 0 (en la Mesura de Lebesgue).
Demostració |
---|
Denotem com l'àrea formada després de iteracions. Llavors . D'aquesta manera, , que tendeix a 0 quan tendeix a infinit. |
L'interior de la catifa està buit.
Demostració |
---|
Suposem per contradicció que hi ha un punt en l'interior de la catifa. Llavors hi ha un quadrat centrat en que està completament contingut en la catifa. Aquest quadrat conté un quadrat més petit amb coordenades múltiples de per alguns . Tot i això, aquest quadrat ha d'haver estat perforat en la iteració , per tant no pot estar contingut en la catifa, una contradicció. |
La seva Dimensió de Hausdorff-Bezikóvitx és [2][3]
Sierpiński va demostrar que la catifa és una corba plana universal,[4] és a dir, la catifa és un subconjunt compacte del pla amb dimensió de Lebesgue igual a 1, i cada subconjunt del pla amb aquestes propietats és homeomorf a algun subconjunt de la catifa.
Aquesta "universalitat" de la catifa de Sierpiński no és una veritable propietat universal en el sentit estricte de la teoria categòrica: no caracteritza de manera única aquest espai fins a l'homeomorfisme. Per exemple, la unió disjunta d'una catifa de Sierpiński i un cercle també és una corba plana universal. Tot i això, l'any 1958 Gordon Whyburn[5] va caracteritzar la catifa de la següent manera: qualsevol corba que està connectada localment i no té "punts de tall locals" és homeomorfa a la catifa de Sierpiński. En aquest context, un punt de tall local és un punt pel qual algun veïnat de té la propietat que no està connectat. Per exemple, qualsevol punt del cercle és un punt de tall local.
Al mateix article, Whyburn va definir una altra caracterització de la catifa de Sierpiński. En topologia, definim un continu com un espai mètric compacte, connectat i no buit.[6] Suposem que és un continu incrustat al pla. Suposem que el seu complement en el pla té comptablement molts components connectats i suposem que:
- el diàmetre de tendeix a 0 quan tendeix a infinit;
- el límit de i el límit de són disjunts si i són diferents;
- el límit de és una corba tancada simple per cada ;
- la unió dels límits dels conjunts és densa en .
Llavors, és homeomorf a la catifa de Sierpiński.[5]
Moviment brownià en la catifa de Sierpiński
El tema del moviment brownià aplicat en la catifa de Sierpiński ha atret interès en els darrers anys.[7] Martin Barlow i Richard Bass han demostrat que un camí aleatori aplicat en la catifa de Sierpiński es difon a un ritme més lent que un camí aleatori a un pla no restringit. El cas del pla assoleix una distància mitjana proporcional a després de passos, però en el cas de la catifa és de per una . També van demostrar que aquest camí aleatori satisfà desigualtats de desviació més grans (anomenades "desigualtats subgaussianes") i que satisfà la desigualtat de Harnack el·líptica sense satisfer la parabòlica.
Variants
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5e/Fractal_H-I_de_Rivera.jpg/220px-Fractal_H-I_de_Rivera.jpg)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b1/Wallis_sieve_iteration_3.png/220px-Wallis_sieve_iteration_3.png)
Fractal H-I de Rivera
En el cas del Fractal H-I de Rivera, es divideix el quadrat en 9 quatrats com en el cas de la catifa de Sierpiński, però enlloc d'eliminar el del centre s'eliminen els que estan a sobre i a sota del quadrat central. A cadascun dels set quadrats que no han estat eliminats es repeteix el mateix, de manera que el procés continua indefinidament. En aquest cas la dimensió de Hausdorff és
Emprant aquest mètode es pot obtenir tota una família de variants de la catifa amb auto-afinitat, amb una àrea que tendeix a 0 i una superfície que tendeix a infinit.
Tamís de Wallis
Una variació de la catifa de Sierpiński, anomenada tamís de Wallis, comença de la mateixa manera, subdividint el quadrat en 9 quadrats més petits i eliminant-ne el centre. A la següent iteració, subdivideix cadascun dels quadrats en 25 quadrats i n'elimina el del centre, i així a cada pas subdividint cada quadrat en (quadrats perfectes senars)[8] quadrats més petits i eliminant el del centre.
Emprant el producte de Wallis, l'àrea del conjunt resultant és ,[9][10] a diferència de en el cas de la catifa de Sierpiński en què l'àrea del conjunt resultant és 0.
No obstant això, pels resultats de Whyburn esmentats anteriorment, podem veure que el tamís de Wallis és homeomorf de la catifa de Sierpiński. En particular, el seu interior encara és buit.
Aplicacions
S'han produit antenes fractals de telefonia mòbil i WiFi en forma de catifa de Sierpiński amb poques iteracions. A causa de la seva auto-semblança i invariancia d'escala, acomoden fàcilment múltiples freqüències. També són fàcils de fabricar i són més petites que les antenes convencionals de rendiment similar, per la qual cosa són òptimes per a telèfons mòbils de butxaca.
Referències
- ↑ W. Sierpinski. Sur une courbe cantorienne qui contient une image biunivoquet et continue detoute courbe donée. C.R. Acad. París (1916) 629-632.
- ↑ 2,0 2,1 Xavier Tolsa. «Els problemes de Vitushkin i de Painlevé» (pdf). Arxivat de l'original el 20 agost 2006. [Consulta: 30 desembre 2020].
- ↑ Semmes, Stephen. Some Novel Types of Fractal Geometry. Oxford University Press, 2001, p. 31. ISBN 0-19-850806-9.
- ↑ Sierpiński, Wacław «Sur une courbe cantorienne qui contient une image biunivoque et continue de toute courbe donnée» (en francès). C. R. Acad. Sci. Paris, 162, 1916, pàg. 629–632. ISSN: 0001-4036.
- ↑ 5,0 5,1 Whyburn, Gordon «Topological chcracterization of the Sierpinski curve». Fund. Math., 45, 1958, pàg. 320–324. DOI: 10.4064/fm-45-1-320-324.
- ↑ Nadler, Sam B., Jr. Pure and Applied Mathematics, Marcel Dekker. Continuum theory. An introduction. ISBN 0-8247-8659-9.
- ↑ Barlow, Martin; Bass, Richard. Brownian motion and harmonic analysis on Sierpiński carpets.
- ↑ Sloane, N. J. A. (ed.) «Sequence A016754 (Odd squares: a(n) = (2n+1)^2. Also centered octagonal numbers.)». The On-Line Encyclopedia of Integer Sequences. OEIS Foundation. [Consulta: 1r gener 2021].
- ↑ Rummler, Hansklaus «Squaring the circle with holes». The American Mathematical Monthly, 100, 9, 1993, pàg. 858–860. DOI: 10.2307/2324662. JSTOR: 2324662.
- ↑ Weisstein, Eric W., «Wallis Sieve» a MathWorld (en anglès).
Vegeu també
Enllaços externs
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
- Una de fractals
- Projecte Catifa de Sierpinski