Изворни код странице Троугао Сјерпињског

[[Датотека:Sierpinski_triangle.svg|thumb|троугао Сјерпињског

]]
[[Датотека:Random_Sierpinski_Triangle_animation.gif|thumb|Генерисано коришћење случајног алгоритма]]
[[Датотека:Variadic logical AND.svg|thumb|троугао Сјерпињског у логици: Првих 16 логичких конструкција [[Лексикографичког]] реда аргумената
Поља се преводе као бинарни бројеви који дају 1, 3, 5, 15, 17, 51... (последица [[A001317]] у [[OEСИС]])]]
'''Троугао Сјерпињског''', који се назива и''' Сјерпињски конопац за једро''' или''' Сјерпињско сито''', је [[фрактал]] и [[непокретна тачка]] са обликом једнакостраничног троугла, подељена рекурзивно у мање истостраничне троуглове. Првобитно је конструисан као кривина, ово је један од основних примера [[само-сличан|само-сличних]] сетова, односно, то је математички образац који може бити репродуктиван у било ком увећању или смањењу. Назван је по [[Пољска|пољском]] [[Математичар|математичару]], [[Вацлав Сјерпињски]] али појавио се као декоративни образац много векова пре рада Сјерпињског.  

== Конструкције ==
Постоји много различитих начина изградње троугла Сјерпињског.

=== Уклањање троуглова ===
Троугао Сјерпињског може бити изграђен од [[Једнакостранични троугао|једнакостраничног троугла]] понављаним уклањањем троугаоних подскупова:
# Почни са једнакостраничним троуглом
# Подели га у четири мања подударна једнакостранична троугла и уклони централно место
# Поновите корак 2 са сваким од преосталих мањих троуглова

[[Датотека:Sierpinski_triangle_evolution.svg|512x512px|Еволуција троугла Сјерпињског|десно|thumb]]
Сваки уклоњен троугао је [[Топологија|тополошки]] [[отворен скуп]].<ref>[http://www.cut-the-knot.org/triangle/Tremas.shtml "Sierpinski Gasket by Trema Removal"]</ref> Овај процес рекурзивног уклањања троуглова је пример [[коначно деобно правило|коначног деобног правила]].

=== Скупљање и умножавање ===
Истом секвенцом облика, конвергирање до шерпинског троугла, може алтернативно да се генерише у следећим корацима:
# Почните са сваким троуглом у равни (било који затворен, ограничен регион у равни ће заправо да ради). Правилан троугао Сјерпињског користи [[једнакостранични троугао]] са базом паралелном са хоризонталном осом (прва слика)
# Скупљање троугла до ½ висине и ширине ½, чине три примерка, и постави три скупљена троугла тако да сваки троугао дотакне друга два троугла на углу (Слика 2). Обратите пажњу на појаву средишње рупе - јер три скупљена троугла могу да покрију само 3/4 подручја оригинала. (Рупе су важна карактеристика троугла Сјерпињског.)

# Поновите корак 2 са сваким од мањих троуглова (Слика 3 и тако даље)
Имајте на уму да је овај бескрајни процес не зависи од почетног облика који представља троугао-то је само јасније на тај начин. Првих неколико почетних корака, на пример, квадрат такође има тенденцију ка троуглу Сјерпињском. [[Мајкл Барнсли]] користи слику рибе да ово илуструје у свом раду "В-променљива фрактала и суперфрактала.".<ref><cite class="citation" id="CITEREFMichael_Barnsley">Michael Barnsley; et al., [http://www.maths.anu.edu.au/~barnsley/pdfs/V-var_super_fractals.pdf ''V-variable fractals and superfractals''] {{Wayback|url=http://www.maths.anu.edu.au/~barnsley/pdfs/V-var_super_fractals.pdf |date=20120222071324 }} (PDF)</cite><cite class="citation" id="CITEREFMichael_Barnsley"></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASierpinski+triangle&rft.au=Michael+Barnsley&rft.btitle=V-variable+fractals+and+superfractals&rft.genre=book&rft_id=http%3A%2F%2Fwww.maths.anu.edu.au%2F~barnsley%2Fpdfs%2FV-var_super_fractals.pdf&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook">&nbsp;</span> CS1 maint: Explicit use of et al. (link)</ref>
: [[Датотека:Sierpinski_triangle_evolution_square.svg|512x512px|Итеративно од квадрата]]
Стварни фрактал је шта ће се добити након бесконачног броја понављања. Више формално, један описује у смисао функција на затвореним скуповима тачака. Ако пустимо '''d<sub>а</sub>''' обратите пажњу на дилатацију са фактором од ½ тачке А, онда је троугао Сјерпињског са угловима А, Б и Ц фиксни скуп трансформације '''d<sub>а</sub>''' U '''d<sub>б</sub>''' U '''d<sub>ц</sub>'''.

Ово је [[непокретна тачка]], тако да када се операција примењује на било који други сет више пута, слике конвергирају ка троуглу Сјерпињском. То је оно што се дешава са троуглом изнад, али било који други скуп би било довољан.

=== Игра збрке ===
Ако се узме тачка и примени се свака од трансформација '''d<sub>а</sub>''', '''d<sub>b</sub>''' и '''d<sub>c</sub>''' на њу случајно, добијене тачке ће бити густе у троуглу Сјерпињског, тако да следећи алгоритам ће поново генерисати самовољно блиске апроксимације на њих:<ref>{{harvnb|Feldman|2012|pp=178–180}}</ref>

Почните са етикетирањем '''P'''<sub>1</sub>, '''P'''<sub>2</sub> и '''P'''<sub>3</sub> као угловима троугла Сјерпињског, и случајних тачке '''V'''<sub>1</sub>. Комплет '''V'''<sub>n+1</sub> = ½ ('''V'''<sub>n</sub> + '''П'''<sub>g<sub>n</sub></sub>), где је r<sub>n</sub> је случајни број 1, 2 или 3. Нацртајте тачке '''V'''<sub>1</sub> до '''V'''<sub>∞</sub>. Ако је прва тачка '''V'''<sub>1</sub> била тачка на троуглу Сјерпињском, онда све тачке '''V'''<sub>n</sub> леже на троуглу Сјерпињског. Ако прва тачка '''V'''<sub>1</sub> која лежи у кругу троугла није тачка на троуглу Сјерпињског, онда ниједна од тачака '''V'''<sub>n</sub> неће лежати на троуглу Сјерпињског, али оне ће конвергирати ка троуглу. Ако је '''V'''<sub>1</sub> изван троугла, једини начин да '''V'''<sub>n</sub> слети на стварне троуглове, је ако је '''V'''<sub>n</sub> део троугла, да је троугао бесконачно велики.
[[Датотека:Sierpinski_chaos_animated.gif|right|thumb|200x200px|Анимирано стварање троугла Сјерпињског помоћу игре збрке]]
[[Датотека:Animated_construction_of_Sierpinski_Triangle.gif|left|thumb|258x258px|Анимирана изградња троугла Сјерпињског]]
'''Или много једноставније:'''
# Узмите 3 тачке у равни да формирате троугао, али не морате га нацртати
# Случајно изаберите било коју тачку унутар троугла коју ћемо сматрати вашим тренутним положајем
# Случајно изаберите једну од 3 највише тачке
# Померите пола удаљености од ваше тренутне позиције до највише
# Скицирајте тренутну позицију
# Поновите од корака 3

Напомена: Овај метод се назива [[игра збрке]], и представља пример [[Sistem iterirane funkcije|система итериране функције]]. Можете почети са било које тачке изван или унутар троугла, и то би на крају формирало троугао Сјерпињског са неколико тачака од преосталих (ако полазна тачка лежи на оквиру троугла, не постоје преостале тачке). Занимљиво је да то урадите са оловком и папиром. Кратак преглед се формира након постављања око стотину тачака, а детаљ почиње да се појављује после неколико стотина.
[[Датотека:Sierpinski1.png|right|thumb|250x250px|Троугао Сјерпињског коришћењем система итериране функције]]

=== Стрелица криве ===
[[Датотека:Arrowhead_curve_1_through_6.png|left|thumb|360x360px|Конструкција [[Сјерпињска крива стрелица|Сјерпињске криве стрелице]]

]]
Друга конструкција за троугао Сјерпињског показује да може бити конструисан као [[крива]] у равни. Формирана је поступком поновљених модификација једноставнијих кривина, аналогно изградњи [[Кохова пахуља|Кохових пахуља]] :
# Почните са једним сегментом линије у равни
# Непрекидно замењујте сваки ред сегмента криве са три краћа сегмента, формирајући угао од 120° на свакој раскрсници између два узастопна сегмента, са првим и последњим сегментима криве или паралелно на оригиналном делу или формирајући угао од 60° са њом.

Добијени фрактал крива се зове [[Сјерпињска стрелица криве]], а његов облик је ограничен троуглом Сјерпињским
<ref><cite class="citation" id="CITEREFPrusinkiewicz1986">Prusinkiewicz, P. (1986), [https://blog.itu.dk/mpgg-e2012/files/2012/09/graphicalgi86.pdf "Graphical applications of L−systems"] {{Wayback|url=https://blog.itu.dk/mpgg-e2012/files/2012/09/graphicalgi86.pdf |date=20140320011732 }} (PDF), ''Proceedings of Graphics Interface '86 / Vision Interface '86''. стр. 247–253</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASierpinski+triangle&rft.atitle=Graphical+applications+of+L%E2%88%92systems&rft.aufirst=P.&rft.aulast=Prusinkiewicz&rft.btitle=Proceedings+of+Graphics+Interface+%2786+%2F+Vision+Interface+%2786&rft.date=1986&rft.genre=bookitem&rft_id=https%3A%2F%2Fblog.itu.dk%2Fmpgg-e2012%2Ffiles%2F2012%2F09%2Fgraphicalgi86.pdf&rft.pages=247-253&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook">&nbsp;</span>.</ref>

=== Целуларни аутомат ===
троугао Сјерпињског такође се појављује у одређеном [[ћелијски аутомат|целуларном аутомату]] (као што је [[правило 90]]), укључујући оне који се односе на [[Конвејева игра живота|Конвејеву игру живота]]. На пример, [[живот налик Целуларном аутомату]] Б1/С12 када се примењује на једној ћелији ће генерисати четири апроксимације на троуглу Сјерпињском.<ref>{{citation|contribution-url=http://cmc11.uni-jena.de/proceedings/rumpf.pdf|last=Rumpf|first=Thomas|contribution=Conway's Game of Life accelerated with OpenCL|title=Proceedings of the Eleventh International Conference on Membrane Computing (CMC 11)|year=2010|pages=459–462}}</ref> Временско-просторни дијаграм репликатора обрасца у целуларном аутомату често подсећа на троугао Сјерпињског.<ref><cite class="citation" id="CITEREFBilottaPantano2005">Bilotta, Eleonora; Pantano, Pietro (Summer 2005), "Emergent patterning phenomena in 2D cellular automata", ''Artificial Life'' , {{cite journal|doi=10.1162/1064546054407167|volume=11|issue=3|pages=339–362 |title=Emergent Patterning Phenomena in 2D Cellular Automata |date=2005 |last1=Bilotta |first1=Eleonora |last2=Pantano |first2=Pietro |journal=Artificial Life |pmid=16053574 |s2cid=7842605 }}</cite><cite class="citation" id="CITEREFBilottaPantano2005"></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASierpinski+triangle&rft.atitle=Emergent+patterning+phenomena+in+2D+cellular+automata&rft.aufirst=Eleonora&rft.aulast=Bilotta&rft.au=Pantano%2C+Pietro&rft.date=Summer+2005&rft.genre=article&rft_id=info%3Adoi%2F10.1162%2F1064546054407167&rft.issue=3&rft.jtitle=Artificial+Life&rft.pages=339-362&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.volume=11">&nbsp;</span>.</ref>

=== Паскалов троугао ===
Ако се узме [[Паскалов троугао]] са 2<sup>n</sup> редова и беле боје парни бројеви , а непарни црни бројеви , резултат је приближан троуглу Сјерпињском. Тачније, [[Гранична вредност низа|гранична вредност]] n која се приближава бесконачности овог [[Парни и непарни бројеви|парног и непарног]] обојеног Паскаловог троугла са 2<sup>n</sup>-реда је троугао Сјерпињског.{{sfn|Stewart|2006|p=145}}

=== Ханојска кула ===
[[Ханојска кула]] подразумева кретање дискова различитих величина између три клина, одржавањем особине да ниједан већи диск не сме бити постављен на врх мањег диска. Стања слагалице са N-дискова , и дозвољено кретање из једног стања у други, формирају [[Граф|графикон]] који може бити геометријски представљен као раскрсница [[пресек графикона|пресека графикона]] сета троуглова преосталих после n-тог корака у изградњи троугла Сјерпињског. Тако у граници где n иде у бесконачност ова секвенца графикона може се тумачити као дискретна аналогија троугла Сјерпињског.<ref>{{cite journal|title= Shortest paths in the Tower of Hanoi graph and finite automata|journal=SIAM Journal on Discrete Mathematics |date= 2003|volume=20|issue=3|pages=610–62|arxiv=math.CO/0310109|last1= Romik|first1= Dan|doi= 10.1137/050628660|s2cid= 8342396}}</ref>

== Својства ==
За цео број димензија d, када удвостручујемо 2<sup>d</sup> објекат, стварамо 2 d копије, односно 2 копије за 1-димензионални објекат, 4 копије за 2-димензионални објекат и 8 примерака за 3-димензионални објекат. За троугао Сјерпињског, када удвостручујемо његову страну стварамо 3 копије њега. Троугао Сјерпињскогима [[Хаусдорфова димензија|Хаусдорфову димензију]] log(3)/log(2)≈ 1.585 што произлази из решавања 2<sup>d</sup>=3 за d
<ref name="FFG120">{{cite book|author=Falconer, Kenneth |title=|url=|year=1990|id=|pages=}}</ref>

Подручје троугла Сјерпињског је нула (у [[Мера Лебега|лебеговој мери]]). Област која преостане након сваке итерације је јасно 3/4 подручја из претходне итерације, и бесконачан број итерација доводи до нуле.{{sfn|Helmberg|2007|p=41}}

Тачке троугла Сјерпињског имају једноставну карактеризацију у [[Барицентричне координате|Барицентричним координатама]].<ref>[http://www.cut-the-knot.org/ctk/Sierpinski.shtml Many ways to form the Sierpinski gasket{{Ботовски наслов}}]</ref> Ако тачка има координате (0..u<sub>1</sub>u<sub>2</sub>u<sub>3</sub>…,0.b<sub>1</sub>b<sub>2</sub>b<sub>3</sub>…,0.v<sub>1</sub>v<sub>2</sub>v<sub>3</sub>…), изражене као [[Бинарни систем|бинарни бројеви]], онда је тачка у троуглу Сјерпињском само и само ако је u<sub>1</sub>+v<sub>1</sub>+b<sub>1</sub>=1 за свако i.<ref>{{harvnb|Haugeland|1997|pp=}}</ref>

== Генерализација на друге модуле ==
Генерализација троугла Сјерпињског може да се генерише коришћењем [[Паскалов троугао]] ако се други Модул користи. Итерација н може се генерисати узимајући [[Паскалов троугао]] са Пн редова и бојењем бројева од њихове вредности за x mod P=R. Како се N приближава бесконачности, фрактал се генерише.

Исти фрактал се може постићи дељењем троугао у мозаик P<sup>2</sup> сличних троуглова и уклањањем троуглова који су наопако од оригинала, затим итеративно овај корак са сваким мањим троуглом.

С друге стране, фрактал може да се генерише на почетку са троуглом и то умножавањем и уређивањем n(n+1)/2 нових фигура у истој оријентацији у већи слични троугао са теменима који додирују претходну фигуру, а затим итеративни тај корак.<ref><cite class="citation" id="CITEREFShannon_.26_Bardzell">Shannon & Bardzell, Kathleen & Michael, [http://www.maa.org/publications/periodicals/loci/joma/patterns-in-pascals-triangle-with-a-twist-first-twist-what-is-it "Patterns in Pascal's Triangle - with a Twist - First Twist: What is It?"], ''maa.org'' (Mathematical association of America)<span class="reference-accessdate">, retrieved <span class="nowrap">29 March</span> 2015</span></cite><cite class="citation" id="CITEREFShannon_.26_Bardzell"></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASierpinski+triangle&rft.atitle=Patterns+in+Pascal%27s+Triangle+-+with+a+Twist+-+First+Twist%3A+What+is+It%3F&rft.aufirst=Kathleen+%26+Michael&rft.aulast=Shannon+%26+Bardzell&rft.genre=article&rft_id=http%3A%2F%2Fwww.maa.org%2Fpublications%2Fperiodicals%2Floci%2Fjoma%2Fpatterns-in-pascals-triangle-with-a-twist-first-twist-what-is-it&rft.jtitle=maa.org&rft.pub=Mathematical+association+of+America&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal">&nbsp;</span></ref>

== Аналогија у вишим димензијама ==
[[Датотека:Sierpinski_pyramid.png|right|thumb|333x333px|Сјерпињска пирамида заснована на квадрату и њена 'инверзна']]
'''Сјерпињски тетраедар''' или '''тетрикс''' је тродимензионална аналогија троугла Сјерпињског, формирана у више наврата смањујући редовне [[Тетраедар|тетраедре]] до једне половине првобитне висине, стављајући заједно четири копије овог тетраедра са додиривањем угловима, а затим поновити процес. Ово се може урадити са квадратном [[Пирамида (геометрија)|пирамидом]] и пет примерака. Тетрикс конструисан од почетног тетраедра од стране дужине L има својство да укупна површина остаје константна са сваким понављањем.

Почетни површина (верзија-0) тетраедар споредних дужина L је <math>L^2 \sqrt{3}</math>. На следећој верзији, страна дужине је преполовљена
:<math>L \rightarrow { L \over 2 }</math>
и постоје 4 таква мања тетраедра. Стога, укупна површина након прве верзије је:
:<math>4 \left( \left( {L \over 2} \right)^2 \sqrt{3} \right) = 4 { {L^2} \over 4 } \sqrt{3} = L^2 \sqrt{3}.</math>
Ово остаје случај након сваког понављања. Иако је површина сваког следећег тетраедра 1/4 свих тетраедара у претходним понављањима, постоји 4 пута више-чиме се одржава константна укупна површина.

Укупан затворени волумен, међутим, геометријски се смањује (фактор 0,5) са сваким понављањем и асимптотски тежи 0 како се број итерација повећава. У ствари, може се показати да, иако имају фиксирану површину, немају 3-димензионални карактер. [[Хаусдорофова димензија]] такве конструкције је ln4/ln2=2 која се слаже са коначном области са слике (А Хаусдорфова димензија строго између 2. и 3. би указивала 0 волумен и бескрајно подручје.)

== Историја ==
[[Вацлав Сјерпињски]] описао је троугао Сјерпињског 1915 године. Међутим, слични обрасци се појављују већ у 13. веку, [[Космати]] [[Мозаик|мозаици]] у катедрали [[Анањи]], [[Италија]],<ref>{{citation|last=Wolfram|first=Stephen|authorlink=Stephen Wolfram|title=[[A New Kind of Science]]|year=2002|publisher=Wolfram Media|pages=43,873}}</ref> и другим местима централне Италије, за тепихе у многим местима као што су брод римске [[Базилика Санта Марија у Козмедину|Базилике Санта Марија у Козмедина]],<ref>[http://www.flickr.com/photos/mymuk/6304896451 "Geometric floor mosaic (Sierpinski triangles), nave of Santa Maria in Cosmedin, Forum Boarium, Rome"], 5 September 2011, [[Flickr]]</ref> и за изоловане троуглове позициониране у неколико цркава и Базилика.<ref>{{citation|last1=Conversano|first1=Elisa|first2=Laura|last2=Tedeschini-Lalli|url=http://www.formulas.it/formulog/wp-content/uploads/2014/12/sierpinski-aplimat.pdf|title=Sierpinski Triangles in Stone on Medieval Floors in Rome"|year=2011|journal=APLIMAT Journal of Applied Mathematics|volume=4|pages=114,122}}</ref> У случају изолованог троугла, интересантно је приметити да је понављање најмање три нивоа.

== Види још ==
* [[Аполонијева мрежа]] скуп међусобно тангентних кругова са истом комбинаторном структуром као и троугао Сјерпињског
* [[Списак фрактала Хаусдорфове димензије]]
* [[Тепих Сјерпињског]] други фрактал назван по Сјерпињском и формиран више наврата уклањања квадрата од већег квадрата

== Референце ==
{{reflist|30em}}

== Литература ==
{{Литература|2}}
* {{Cite book |last=Haugeland|first=John|title=Mind Design II: Philosophy, Psychology, Artificial Intelligence|url=https://books.google.com/books?id=TIC1mzIQZMIC|year=1997|publisher=MIT Press|isbn=978-0-262-08259-4}}
* {{Cite book |last=Helmberg|first=Gilbert|title=Getting Acquainted with Fractals|url=https://books.google.com/books?id=PbrlYO83Oq8C&pg=PA41|year=2007|publisher=Walter de Gruyter|isbn=978-3-11-019092-2|pages=41}}
* {{Cite book |last=Stewart|first=Ian|title=How to Cut a Cake: And other mathematical conundrums|url=https://books.google.com/books?id=theofRmeg0oC&pg=PT145|year=2006|publisher=Oxford University Press|location=Oxford|isbn=978-0-19-150071-8|pages=145}}
* {{Cite book |last=Feldman|first=David P.|title=Chaos and Fractals: An Elementary Introduction|url=https://books.google.com/books?id=exnWM_ZHK0MC&pg=PA178|year=2012|publisher=Oxford University Press|location=Oxford|isbn=978-0-19-956644-0|pages=178–180}}

{{Литература крај}}
== Спољашње везе ==
{{Commons category|Sierpinski triangles}}
* {{springer|title=Sierpinski gasket|id=p/s130310}}
* {{MathWorld|title=Sierpinski Sieve|urlname=SierpinskiSieve}}
* Paul W. K. Rothemund, Nick Papadakis, and Erik Winfree, {{cite journal |last1= |first1= |date= |title=Algorithmic Self-Assembly of DNA Sierpinski Triangles |url= |journal= |volume= |issue= |pages= |doi=10.1371/journal.pbio.0020424 }}, ''PLoS Biology'', volume 2, issue 12, 2004.
* [https://web.archive.org/web/20151119113630/http://www.cut-the-knot.org/Curriculum/Geometry/Tremas.shtml Sierpinski Gasket by Trema Removal] at [[cut-the-knot]]
* [https://web.archive.org/web/20151119114246/http://www.cut-the-knot.org/triangle/Hanoi.shtml Sierpinski Gasket and Tower of Hanoi] at [[cut-the-knot]]
* [https://web.archive.org/web/20120715014315/http://www.shapeways.com/model/119919/sierpinski_tetrahedron.html 3D printed Stage 5 Sierpinski Tetrahedron]

{{нормативна контрола}}

[[Категорија:Криве]]
[[Категорија:Фрактали]]
[[Категорија:Троугао]]