Lihat sumber Karpet Sierpiński

[[Berkas:Animated_Sierpinski_carpet.gif|jmpl| 6 langkah karpet Sierpinski.]]
'''Karpet Sierpiński''' adalah [[fraktal]] bidang yang pertama kali dijelaskan oleh Wacław Sierpinski pada tahun 1916. Karpet fraktal ini merupakan generalisasi dari [[:en:Cantor_set|Cantor set]] menjadi dua dimensi; generalisasi lainnya adalah [[:en:Cantor_dust|Cantor dust]].

Teknik membagi suatu bentuk menjadi salinan yang lebih kecil, menghapus satu atau lebih salinan, dan melanjutkan [[Rekursi|secara rekursif]] dapat diperluas ke bentuk lain. Misalnya, membagi segitiga sama sisi menjadi empat segitiga sama sisi, menghilangkan segitiga tengah, dan mengulanginya akan menghasilkan [[Segitiga Sierpiński|segitiga Sierpinski]] . Dalam tiga dimensi, konstruksi serupa berdasarkan kubus dikenal sebagai Spons Menger.

== Konstruksi ==
Konstruksi karpet Sierpinski dimulai dengan [[persegi]]. Kotak tersebut dipotong menjadi 9 sub-kotak [[Kongruen|yang kongruen]] dalam kisi-kisi berukuran 3 kali 3, dan sub-kotak di tengahnya dihilangkan. Prosedur yang sama kemudian diterapkan [[Rekursi|secara rekursif]] pada 8 subkuadrat yang tersisa, ''ad infinitum'' . Hal ini dapat diwujudkan sebagai himpunan titik-titik pada persegi satuan yang koordinatnya dituliskan dalam basis tiga tidak keduanya mempunyai angka '1' pada posisi yang sama, dengan menggunakan representasi bilangan yang sangat kecil dari <math>0.1111\dots=0.2</math> .<ref>{{Cite book|last=Allouche|first=Jean-Paul|last2=Shallit|first2=Jeffrey|year=2003|url=https://archive.org/details/automaticsequenc00jpal|title=Automatic Sequences: Theory, Applications, Generalizations|publisher=[[Cambridge University Press]]|isbn=978-0-521-82332-6|pages=[https://archive.org/details/automaticsequenc00jpal/page/n422 405]–406|zbl=1086.11015|author-link2=Jeffrey Shallit|url-access=limited}}</ref>

Proses menghilangkan kotak secara rekursif adalah contoh aturan pembagian berhingga.

== Properti ==
[[Berkas:Peano_Sierpinski_carpet_4.svg|jmpl| Varian kurva Peano dengan garis tengah terhapus menciptakan karpet Sierpinski]]
Luas karpet adalah nol (dalam ukuran standar Lebesgue ).

: '''Bukti:''' Dinyatakan sebagai ''{{mvar|a<sub>i</sub>}}'' luas area dari iterasi ''{{mvar|i}}''. Maka {{math|''a''<sub>''i'' + 1</sub> {{=}} {{sfrac|8|9}}''a<sub>i</sub>''}}. Jadi ai = {{math|''a<sub>i</sub>'' {{=}} ({{sfrac|8|9}}){{sup|''i''}}}}, yang cenderung ke 0 seiring ''{{mvar|i}}'' menuju tak terhingga.

Bagian dalam karpet kosong.

: '''Bukti:''' Misalkan secara kontradiksi terdapat titik {{Mvar|P}} di bagian dalam karpet. Lalu ada sebuah persegi yang berpusat di {{Mvar|P}} yang seluruhnya terdapat di dalam karpet. Kotak ini berisi kotak lebih kecil yang koordinatnya merupakan kelipatan {{math|{{sfrac|1|3<sup>''k''</sup>}}}}⁠ untuk beberapa ''{{mvar|k}}''. Namun, jika kotak ini belum pernah dihilangkan sebelumnya, maka kotak tersebut pasti telah dilubangi pada iterasi {{math|''k'' + 1}}, sehingga tidak dapat ditampung di dalam karpet – sebuah kontradiksi.

[[Dimensi Hausdorff|Dimensi karpet Hausdorff]] adalah <math>\frac{\log 8}{\log 3} \approx 1.8928</math>.<ref>{{Cite book|last=Semmes|first=Stephen|year=2001|title=Some Novel Types of Fractal Geometry|url=https://archive.org/details/somenoveltypesof0000semm|publisher=Oxford University Press|isbn=0-19-850806-9|series=Oxford Mathematical Monographs|page=[https://archive.org/details/somenoveltypesof0000semm/page/31 31]|zbl=0970.28001|author-link=Stephen Semmes}}</ref>

Sierpinski mendemonstrasikan bahwa karpetnya merupakan kurva bidang universal.<ref name="sierpinski">{{Cite journal|last=Sierpiński|first=Wacław|author-link=Wacław Sierpiński|year=1916|title=Sur une courbe cantorienne qui contient une image biunivoque et continue de toute courbe donnée|journal=C. R. Acad. Sci. Paris|language=fr|volume=162|pages=629–632|issn=0001-4036|jfm=46.0295.02}}</ref> Yaitu: karpet Sierpinski adalah bagian kompak dari bidang dengan dimensi penutup Lebesgue 1, dan setiap bagian dari bidang dengan sifat-sifat ini bersifat [[Homeomorfisme|homeomorfik]] terhadap beberapa bagian dari karpet Sierpinski.

"Universalitas" karpet Sierpinski ini bukanlah properti universal sejati dalam pengertian teori kategori: ia tidak secara unik mencirikan ruang ini hingga homeomorfisme. Misalnya, gabungan karpet Sierpinski dan lingkaran juga merupakan kurva bidang universal. Namun, pada tahun 1958 Gordon Whyburn<ref name="whyburn">{{Cite journal|last=Whyburn|first=Gordon|author-link=Gordon Whyburn|year=1958|title=Topological chcracterization of the Sierpinski curve|journal=Fund. Math.|volume=45|pages=320–324|doi=10.4064/fm-45-1-320-324}}</ref> secara unik mengkarakterisasi karpet Sierpinski sebagai berikut: setiap kurva yang terhubung secara lokal dan tidak memiliki 'titik potong lokal' bersifat homeomorfik terhadap karpet Sierpinski. Di sini '''titik potong lokal''' adalah titik {{Mvar|p}} dimana beberapa lingkungan terhubung {{Mvar|U}} dari {{Mvar|p}} mempunyai sifat {{Math|''U'' − {''p''}}} tidak terhubung. Jadi, misalnya, setiap titik pada lingkaran adalah titik potong lokal.

Dalam makalah yang sama, Whyburn memberikan karakterisasi lain tentang karpet Sierpinski. Ingatlah bahwa kontinum adalah ruang metrik kompak yang tidak kosong dan terhubung. Misalkan {{Mvar|X}} adalah sebuah kontinum yang tertanam pada bidang. Misalkan komplemennya pada bidang tersebut memiliki banyak sekali komponen terhubung {{Math|''C''<sub>1</sub>, ''C''<sub>2</sub>, ''C''<sub>3</sub>, ...}} dan misalkan:

* Diameter {{Mvar|C<sub>i</sub>}} menjadi nol karena {{Math|''i'' → ∞}} ;
* Batas {{Mvar|C<sub>i</sub>}} dan batas {{Mvar|C<sub>j</sub>}} saling lepas jika {{Math|''i'' ≠ ''j''}} ;
* Batas {{Mvar|C<sub>i</sub>}} adalah kurva tertutup sederhana untuk setiap {{Mvar|i}} ;
* Gabungan batas-batas himpunan {{Mvar|C<sub>i</sub>}} padat di {{Mvar|X}} .

Maka {{Mvar|X}} bersifat homeomorfik pada karpet Sierpinski.

== Gerak Brown di karpet Sierpinski ==
Topik [[gerak Brown]] di karpet Sierpinski telah menarik perhatian dalam beberapa tahun terakhir.<ref name="barlow">{{Citation|last=Barlow|first=Martin|last2=Bass|first2=Richard|title=Brownian motion and harmonic analysis on Sierpiński carpets|url=https://www.math.ubc.ca/~barlow/preprints/61_sch_pub.pdf}}</ref> Martin Barlow dan Richard Bass telah menunjukkan bahwa [[Langkah acak|jalan acak]] di karpet Sierpinski berdifusi lebih lambat dibandingkan jalan acak tanpa batas di dalam pesawat. Yang terakhir mencapai jarak rata-rata yang sebanding dengan {{Math|{{sqrt|''n''}}}} setelah {{Mvar|n}} langkah, tetapi jalan acak di karpet Sierpinski diskrit hanya mencapai jarak rata-rata yang sebanding dengan {{Math|{{radic|''n''|''β''}}}} untuk beberapa {{Math|''β'' > 2}} . Mereka juga menunjukkan bahwa jalan acak ini memenuhi ketimpangan deviasi besar yang lebih kuat (disebut "ketidaksetaraan sub-Gaussian") dan memenuhi ketimpangan elips Harnack tanpa memenuhi ketimpangan parabola. Keberadaan contoh seperti itu merupakan masalah terbuka selama bertahun-tahun.

== Saringan Wallis ==
[[Berkas:Wallis_sieve_iteration_3.png|jmpl| Iterasi ketiga dari saringan Wallis]]
Variasi karpet Sierpinski, yang disebut '''saringan Wallis''', dimulai dengan cara yang sama, dengan membagi satuan persegi menjadi sembilan kotak yang lebih kecil dan menghilangkan bagian tengahnya. Pada tingkat pembagian berikutnya, setiap persegi dibagi lagi menjadi 25 persegi yang lebih kecil dan menghilangkan yang di tengah, dan dilanjutkan pada langkah ke {{Mvar|i}} dengan membagi setiap persegi menjadi {{Math|(2''i'' + 1)<sup>2</sup>}} ([[Bilangan persegi|kotak ganjil]]<ref>{{SloanesRef|A016754|Odd squares: a(n) {{=}} (2n+1)^2. Also centered octagonal numbers.}}</ref>) kotak yang lebih kecil dan hilangkan kotak tengahnya. Berdasarkan perkalian Wallis, luas himpunan yang dihasilkan adalah{{Sfrac|{{pi}}|4}}, berbeda dengan karpet Sierpinski standar yang tidak memiliki luas pembatas. Meskipun saringan Wallis mempunyai ukuran Lebesgue positif, tidak ada himpunan bagian yang merupakan [[Produk Cartesius|hasil kali Kartesius]] dari dua himpunan bilangan real yang mempunyai sifat ini, sehingga ukuran Jordannya adalah nol.<ref>{{Cite journal|last=Rummler|first=Hansklaus|year=1993|title=Squaring the circle with holes|journal=[[The American Mathematical Monthly]]|volume=100|issue=9|pages=858–860|doi=10.2307/2324662|jstor=2324662|mr=1247533}}</ref>

== Aplikasi ==
Telepon genggam dan [[Wi-Fi]] [[:en:Fractal_antenna|fractal antennas]] telah diproduksi dalam bentuk beberapa iterasi karpet Sierpinski. Karena [[Kemiripan diri sendiri|kesamaan diri]] dan invariansi skalanya, mereka dengan mudah mengakomodasi banyak frekuensi. Antena ini juga mudah dibuat dan lebih kecil dibandingkan antena konvensional dengan kinerja serupa, sehingga optimal untuk telepon seluler berukuran saku.<ref>N. A. Saidatul, A. A. H. Azremi, R. B. Ahmad, P. J. Soh and F. Malek, "A development of Fractal PIFA (planar inverted F antenna) with bandwidth enhancement for mobile phone applications," 2009 ''Loughborough Antennas & Propagation Conference'', Loughborough, UK, 2009, pp. 113-116, doi: 10.1109/LAPC.2009.5352584.</ref><ref>T. Kalaimani, P. M. Venkatesh, R. Mohanamurali and T. Shanmuganantham, "A modified Sierpinski carpet fractal antenna for wireless applications," 2013 ''International Conference on Communication and Signal Processing'', Melmaruvathur, India, 2013, pp. 722-725, doi: 10.1109/iccsp.2013.6577150.</ref><ref>W. -L. Chen, G. -M. Wang and C. -X. Zhang, "Small-Size Microstrip Patch Antennas Combining Koch and Sierpinski Fractal-Shapes," in ''IEEE Antennas and Wireless Propagation Letters'', vol. 7, pp. 738-741, 2008, doi: 10.1109/LAWP.2008.2002808.
</ref>

== Lihat juga ==

* [[Fraktal]]
* [[Spons Menger]]
* [[Kurva naga]]

== Referensi ==
<references responsive="1"></references>
{{Reflist}}

== Pranala luar ==
{{Commons|Sierpinski carpet}}

* [http://www.cut-the-knot.org/Curriculum/Geometry/SqStrFSM.shtml Variasi Tema Tremas II]
* [http://www.evilmadscientist.com/article.php/fractalcookies Kue Sierpinski]
* [http://klimes.mysteria.cz/inspiro/fraktal_koberec_en.htm Karpet Sierpinski diselesaikan dengan menggunakan aritmatika modular]
{{Fraktal}}
[[Kategori:Kurva]]
[[Kategori:Fraktal]]