Neskončna zapletenost iz preprostih pravil
In vidite jo vsepovsod — le gledati morate.
Poglejte cvetačo. Razrežite jo in videli boste manjšo cvetačo. Razrežite še tisto in videli boste še manjšo. Isti vzorec se ponavlja globlje in globlje. Poglejte obrežje morja, vejo drevesa, strel strele ali sneženke pod mikroskopom — povsod ta nenavadna lastnost: celota se zrcali v svojih delih.
To je fraktalna geometrija — veja matematike, ki opisuje oblike narave. Medtem ko nas Evklidova geometrija uči o gladkih črtah in popolnih krožnicah, nam fraktalna geometrija razlaga raztrgane obale, razvejana drevesa in oblake. Benoit Mandelbrot, ki je v sedemdesetih letih dvajsetega stoletja zasnoval to področje, je dejal: »Oblaki niso krogle, gore niso stožci, obale niso krožnice.«
To spletno mesto vas popelje na potovanje: od čudenja nad vzorci v naravi do matematičnega razumevanja dimenzij, ki so zlomljene.
Geometrija narave
Zakaj Evklidova geometrija odpove pri oblaku.
Predznanje: Nič posebnega — le radovednost.
Šolska geometrija nas nauči risati kroge, kvadrate in trikotnike. S tem orodjem gradimo zgradbe, ceste in stroje. Toda ko pogledamo gor — na oblake — ta orodja zatajijo. Kateri krog ali trikotnik opiše oblak? Nobeden.
Benoit Mandelbrot je leta 1967 v reviji Science objavil nepričakovan članek z naslovom »Kako dolga je obala Velike Britanije?« Vprašanje je videti preprosto. Toda odgovor je presenetljiv:
Premikajte drsnik, da spremenite dolžino merilne palice. Opazujte, kako izmerjena dolžina narašča, ko postaja palica krajša.
Čim krajša je palica, tem več zavojev in vreznin ujamemo — in dolžina narašča brez meje. Ta paradoks, imenovan Richardsonov učinek, razkrije temeljno resnico: obala nima »prave« dolžine. Njena dolžina je odvisna od merila opazovanja.
Tri lastnosti fraktalov
Mandelbrot je iz tega spoznanja zgradil novo matematično disciplino. Fraktal ni le »nenavadna slika« — je matematični objekt s tremi ključnimi lastnostmi:
Fraktali so torej oblike, ki ne postanejo gladke, ko jih povečamo. Pod vsako povečavo skrivajo enako bogastvo podrobnosti. To je radikalno drugače od geometrije, ki jo poznamo: gladka krivulja postane pod povečavo ravna črta. Fraktal ostane fraktal.
Globlje: Mandelbrot in začetki fraktalne geometrije ★
Benoit Mandelbrot (1924–2010) je bil poljski matematik, ki je večji del kariere preživel v IBM-ovem laboratoriju za raziskave. Bil je prepričan, da matematika zanemarja »neurejenost« narave — hribovita pokrajina, turbulence v zraku, nihanja cen na borzi. Vse te pojave je zaznamovala ista lastnost: samopodobnost čez lestvice.
Leta 1975 je v knjigi Les objets fractals skoval besedo »fraktal« iz latinskega fractus (zlomljen, razbit). Do tedaj so matematiki takšne tvorbe poznali — Cantorjeva množica iz leta 1883, Kochova krivulja iz leta 1904, trikotnik Sierpinskega iz leta 1915 — toda nihče jih ni sistematično povezal med seboj in z naravo.
Samopodobnost
Ko del izgleda kot celota.
Predznanje: Osnovna geometrija.
Vzemite del fraktala in ga povečajte. Videli boste — celoto. Ne le podobno obliko, ampak natanko enako strukturo, ki se ponavlja v neskončnost. To je samopodobnost: najpomembnejša lastnost fraktalov.
Cantorjeva množica
Začnemo s preprosto daljico. Izrežemo ji sredino (tretjino). Ostaneta dve krajši daljici. Vsaki izrežemo njuno sredino. Postopek ponovimo neskončnokrat. Kaj ostane?
Začnemo s celotno daljico.
Presenetljivo: Cantorjeva množica vsebuje nestetno neskončno točk — a njena skupna dolžina je nič! Iz vsake generacije izrežemo tretjino dolžine, skupaj pa izrežemo celotno dolžino. Kljub temu ne izrežemo vsega: točke, ki so meje izrezanih intervalov, ostanejo za vedno.
Globlje: Zakaj ima dolžino nič, a vsebuje neskončno točk? ★★
Na vsakem koraku k imamo 2k daljic, vsaka dolžine (1/3)k. Skupna dolžina je torej (2/3)k, kar pri k→∞ gre k nič.
Toda Cantorjeva množica vsebuje vsaj vse točke, ki so bile kdajkoli meje izrezov: 0, 1, 1/3, 2/3, 1/9, 2/9, itd. Teh je neskončno — pravzaprav toliko kot točk na celotni daljici [0,1]. To je mogoče, ker »neskončno« ni enolično; obstajajo različne »velikosti« neskončnosti.
Kochova krivulja
Švedski matematik Helge von Koch je leta 1904 opisal krivuljo, ki je povsod zvezna, a nikjer odvedljiva — gladka s pogledom, a neskončno razgibana od blizu. Zgradimo jo s ponavljanjem enega preprostega koraka:
Vsaka generacija zamenja vsako daljico s štirimi daljicami, dolžine 1/3 vsaka. Dolžina narašča za faktor 4/3 pri vsakem koraku — in po neskončno korakih postane neskončna. Kljub temu krivulja oklepa končno površino!
Kochova snežinka
Tri Kochove krivulje, ki tvorijo enakostranični trikotnik, sestavijo Kochovo snežinko: neskončno dolgo zaprto krivuljo, ki oklepa točno določeno, končno površino.
Globlje: Neskončen obseg, končna površina ★★
Površina snežinke pri vsaki generaciji naraste za dodane trikotnike. Skupaj dobimo geometrijsko vrsto, ki konvergira:
S∞ = S₀ · (8/5)
kjer je S₀ površina izhodištenega trikotnika. Torej snežinka oklepa natanko 8/5-kratno površino začetnega trikotnika — končna, točna vrednost, čeprav je njen obseg neskončen. To je na videz paradoksalno, a povsem matematično korektno.
Rekurzija in gradnja
Iz preprostega pravila do neskončne zapletenosti.
Predznanje: Priporočljivo prebrano 2. poglavje.
Cantorjeva množica in Kochova krivulja sta nastali z brisanjem. Zdaj pa bomo gradili — in spet bomo prišli do fraktala. Spoznajmo trikotnik Sierpinskega, eden najpogosteje upodobljenih fraktalov.
Trikotnik Sierpinskega
Začnemo s polnim trikotnikom. Izrežemo mu sredinski obrnjen trikotnik (torej povežemo razpolovišča stranic). Ostanejo trije manjši trikotniki. Vsakemu izrežemo njegov sredinski trikotnik. Postopek ponavljamo v neskončnost.
Na vsakem koraku odstranjujemo četrtino preostale površine. Površina trikotnika Sierpinskega je torej nič — tako kot dolžina Cantorjeve množice. A kljub temu vsebuje neskončno točk.
Naključni Sierpinski
Tu je presenetljivo: trikotnik Sierpinskega lahko zgradimo s popolnoma naključnim postopkom! Izberemo tri oglišča trikotnika. Začnemo s poljubno točko. Nato ponavljamo: izberemo naključno eno od treh oglišč in naredimo korak na sredino med trenutno točko in izbranim ogliščem. Narišemo dobljeno točko. Ko ponovimo to dovolj mnogokrat...
Vsaka točka je narisana na polovici razdalje med prejšnjo točko in naključno izbranim ogliščem. Vzorec se pojavi sam od sebe.
Ta postopek se imenuje igra kaosa (ang. chaos game). Zdi se naključen, a iz njega nastane popolnoma determiniran vzorec. To kaže, da je samopodobna struktura zakopana v samem postopku — ne v navodilih za risanje.
Globlje: Iterativni funkcijski sistemi (IFS) ★★★
Igra kaosa je poseben primer iteriranega funkcijskega sistema (IFS). IFS je množica skrčitvenih preslikav. Vsaka preslikava vzame točko in jo prestavi (in skrči) v drug del ravnine. Ko naključno izbiramo med preslikavami in ponavljamo, konvergiramo k t. i. privlačniku — in privlačnik je fraktal.
Barnsley je z IFS pokazal, da je mogoče vsak fraktal predstaviti z majhno množico preprostih preslikav. S tem dobimo izjemno učinkovito kompresijo slik: sliko zamenjamo z IFS, ki jo generira.
Drevesu podobni fraktali
Eden najlepših primerov rekurzije je fraktalno drevo: vsaka veja se razcepi v dve manjši veji in ta vzorec se ponavlja v neskončnost.
Mandelbrotova množica
Neskončna zapletenost iz ene enačbe.
Predznanje: Dobrodošla je malce algebre.
Leta 1980 je Benoit Mandelbrot s pomočjo računalnika vizualiziral tvorbo, ki je matematiki niso videli nikoli prej — in je takoj postala ena najpogosteje reproduciranih slik v zgodovini. A za njeno lepoto stoji presenetljivo preprosta enačba.
Preprosta enačba, neskončna zapletenost
Mandelbrotova množica je množica vseh kompleksnih števil c, za katera zaporedje
ostane omejeno (ne »pobegne v neskončnost«). Za vsako točko c v kompleksni ravnini preverimo: ali to zaporedje narašča brez meje, ali ostane majhno? Točke, ki ostanejo, so v množici (navadno obarvane črno). Točke, ki pobegnejo, so zunaj — in jih pobarvamo glede na to, kako hitro pobegnejo.
Klikni ali tapni, da povečaš. Gumb desno spodaj za povrnitev.
Ko povečamo mejo Mandelbrotove množice, vidimo vedno nove podrobnosti — mini kopije celotne množice, spirale, vihrice. Množica ni samopodobna v strogem smislu (vsak del je malce drugačen), a je samopodobna v grubem smislu: vsepovsod vidimo mini Mandelbrotove množice.
Julijeve množice
Z Mandelbrotovim postopkom so tesno povezane Julijeve množice. Pri Julijevih množicah fiksiramo vrednost c in za vsako začetno vrednost z₀ preverimo, ali zaporedje ostane omejeno. Vsaka točka kompleksne ravnine nam da eno Julijevo množico — in Mandelbrotova množica nam pove, kateri c dajo »lepe« (povezane) Julijeve množice.
Premikaj miško (ali prst) po Mandelbrotovi množici levo in opazuj, kako se Julijeva množica desno spreminja.
Mandelbrotova množica — gibi kazalca
Julijeva množica za izbran c
c = −0.7 + 0.27i
Globlje: Kompleksna števila — hitri tečaj ★★
Kompleksno število je para (a, b), ki jo pišemo a + bi, kjer je i = √(−1). Grafično ga upodobimo kot točko v ravnini: a na vodoravni osi, b na navpični. Množenje kompleksnih števil je enakovredno hkratnemu raztegu in zasuku v ravnini.
Ko kvadriramo kompleksno število z = a + bi, dobimo z² = (a²−b²) + 2abi. Mandelbrotova enačba z → z² + c torej vnese v vsakem koraku zasuk in razteg — in za nekatere začetne točke ta zasuk/razteg postopoma povečuje razdaljo od izhodišča v neskončnost, za druge pa jo ohranja omejeno.
Fraktalna dimenzija
Kako merimo »zlomljeno« dimenzijo.
Predznanje: Logaritmi so razloženi sproti.
Daljica je enodimenzionalna. Kvadrat je dvodimenzionalen. Toda Kochova krivulja? Ni povsem enodimenzionalna — zapolnjuje prostor bolj kot navadna krivulja — a ni niti dvodimenzionalna. Njena dimenzija je nekje vmes: 1,2619…
To ni domišljija. Je matematično definirana vrednost, ki meri, kako hitro fraktal zapolnjuje prostor pri različnih merilih.
Dimenzija samopodobnosti
Za samopodobne fraktale imamo preprosto formulo. Vprašamo se: »Iz koliko pomanjšanih kopij sebe je sestavljen fraktal, in za koliko so pomanjšane?«
kjer je N število kopij in r faktor skrčitve. Za navaden kvadrat: razdelimo ga na 4 manjše kvadrate (N = 4), vsak je za 1/2 pomanjšan (r = 1/2), torej D = log(4)/log(2) = 2. Pričakovano.
Primerjava dimenzij znanih fraktalov
| Fraktal | N (kopij) | r (skrčitev) | Dimenzija D |
|---|---|---|---|
| Cantorjeva množica | 2 | 1/3 | ≈ 0,631 |
| Kochova krivulja | 4 | 1/3 | ≈ 1,262 |
| Trikotnik Sierpinskega | 3 | 1/2 | ≈ 1,585 |
| Preprogica Sierpinskega | 8 | 1/3 | ≈ 1,893 |
| Navadna daljica | 2 | 1/2 | = 1,000 |
| Navaden kvadrat | 4 | 1/2 | = 2,000 |
Metoda škatlic
Za fraktale, ki niso popolnoma samopodobni (npr. obala, oblak), obstaja splošnejša metoda: škatle. Prekrijemo fraktal z mrežo kvadratov in preštejemo, koliko kvadratov vsebuje del fraktala. Ko manjšamo kvadrate, prešteto število narašča — in hitrost naraščanja nam da dimenzijo.
Globlje: Hausdorffova dimenzija — matematična osnova ★★★
Mandelbrotova formalna definicija fraktala pravi: fraktal je objekt, katerega Hausdorffova dimenzija presega njegovo topološko dimenzijo. Hausdorffova dimenzija je definirana s pokritji: iščemo, s kakšno »mero« (s potenco razdalje) je mogoče izmeriti objekt tako, da dobimo končno vrednost.
Za večino naravnih fraktalov (obale, drevesa, pljuča) se dimenzija samopodobnosti in Hausdorffova dimenzija ujemata, čeprav dokaz tega ujemanja ni trivialen.
Fraktali v svetu
Od pljuč do zaslonov.
Predznanje: Priporočljivo prebrano vse predhodno.
Fraktalna geometrija ni le akademska disciplina. Je ključ do razumevanja in oblikovanja nekaterih najpomembnejših sistemov v naravi in tehnologiji.
Fraktali v naravi
Fraktali v tehnologiji
Fraktalne antene. Mobilni telefoni in GPS-sprejemniki v sebi skrivajo fraktalne antene — navadno v obliki Kochove ali Hilbertove krivulje. Fraktalna oblika omogoča sprejem na več frekvencah hkrati pri bistveno manjši velikosti. Brez te inovacije bi bili pametni telefoni mnogo večji.
Kompresija slik. Vsaka digitalna fotografija je v nekem smislu fraktal: ima samopodobno statistično strukturo. Fraktalna kompresija slik (razvita s strani Michaela Barnseleyja) izkorišča to lastnost, da shranjuje slike kot skupek preslikav namesto kot matriko pikslov. Rezultat je izjemno visoka stopnja stiskanja pri ohranjevanju podrobnosti.
Generiranje pokrajin. Vsakič, ko v videoigri ali filmu vidite gorsko pokrajino ali oblake, so ti z veliko verjetnostjo generirani s fraktalnim algoritmom. Metoda midpoint displacement rekurzivno razbija trikotne površine in jih naključno dviguje ali spušča — rezultat so naravno izgledajoče gore.
Medicina in diagnostika. Srčni utrip je fraktalen: variabilnost srčnega ritma sledi fraktalni porazdelitvi. Zmanjšana fraktalna narava srčnega ritma je zgodnji pokazatelj bolezni. Podobno fraktalna analiza medicinskih posnetkov pomaga pri zaznavanju rakavih tkiv, ki imajo drugačno fraktalno dimenzijo kot zdravo tkivo.
Financ in ekonomija
Mandelbrot je v petdesetih letih opazil, da gibanja cen na blagovnih trgih kažejo samopodobnost: grafi za minute, ure, dni in mesece izgledajo statistično enako. Klasični finančni modeli so predpostavljali normaln porazdelitev donosov — Mandelbrot je pokazal, da so realni trgi »debelorepi« in fraktalni. To spoznanje je ključno za razumevanje finančnih kriz, ki so po klasičnih modelih »nemogoče«.
Globlje: Fraktalna dimenzija obale — primer ★
Norveška obala z vsemi fjordi ima fraktalno dimenzijo ≈ 1,52 — precej višjo kot relativno gladka obala Južne Afrike (≈ 1,02). Britanska obala je nekje vmes (≈ 1,25). Te vrednosti so bile izmerjene z metodo škatlic na geografskih kartah različnih meril.
Zanimivost: Mandelbrotov izvirni rezultat je bil, da ima britanska obala različne dolžine pri različnih merilih — od ~2.400 km (pri merilu 1000 km) do ~17.800 km (pri merilu 50 km). Nobena vrednost ni »prava« — vse so prave pri svojem merilu.