Penrosen laatat ovat tapa peittää taso jaksottomasti pienellä joukolla erilaisia monikulmioita. Ne ovat saaneet nimensä tällaisia laatoituksia 1970-luvulla tutkineen matemaatikko Roger Penrosen mukaan.[1]
Jaksottomalla peittämisellä tarkoitetaan sitä, ettei minkään samanlaisen pienen laattaryhmän suurempi ympäristö ole missään muualla aivan samanlainen vertailukohtansa kanssa. Toinen tapa havainnollistaa jaksottomuutta on piirtää alueen yli satunnaisesti asemoitu suora ja todeta suoralla olevia laattoja tarkastelemalla, ettei siinä esiinny toistamiseen samaa kuviota missään kohtaa suoraa.[1]
Taso voidaan peittää Penrosen laatoilla monilla tavoilla. Kaikki tällaiset tavat ovat jaksottomia, mutta ne saattavat olla symmetrisiä jonkin akselin suhteen tai niillä voi olla viisinkertainen rotaatiosymmetria, kuten oheisessa kuvassa. Jaksottomuus merkitsee sitä, että Penrosen laatoituksella ei ole siirtosymmetriaa. Toisin sanoen tasolta ei voida valita kahta sellaista kohtaa, että kummastakin mitattuna olisi aina samalla etäisyydellä ja samassa suunnassa samanlaiset ja samassa asennossa olevat laatat. Penrosen laattoja voidaan pitää kvasikiteen kaksiulotteisena vastineena.[1]
Penrosen laatat ovat yksinkertaisimpia esimerkkejä tason jakamisesta osiin epäjaksollisesti.[2][3][4] Yleisesti laatoituksella tarkoitetaan tason jakoa osiin, jotka eivät osittainkaan peitä toisiansa eivätkä jätä väliinsä aukkoja. Yleensä edellytetään myös, että käytetään vain äärellistä määrää erilaisia muotoja. Tunnetuimmat laatoitukset, esimerkiksi tason jako neliöiksi tai tasasivuisiksi kolmioiksi, ovat jaksollisia. Toisin sanoen on olemassa sellainen etäisyys, jonka verran tiettyyn suuntaan siirryttäessä laatoitus toistuu aina samanlaisena. Tätä etäisyyttä sanotaan laatoituksen jaksoksi. Jos tällaista jaksoa ei ole, laatoitusta sanotaan jaksottomaksi.[5]
Kysymys jaksottomista laatoituksista sai osakseen uutta mielenkiintoa 1960-luvulla, kun loogikko Hao Wang havaitsi yhteyden niiden ja päätöksenteko-ongelmien kanssa.[7] Hän käsitteli erityisesti neliömäsiä laattoja, joiden sivut olivat väritettyjä. Tällaisia sanotaan nykyään Wangin dominoiksi. Wang esitti kysymyksen: "Millä edellytyksellä taso voidaan peittää annetulla joukolla tällaisia laattoja siten, että vierekkäisten laattojen samanväriset reunat aina koskettavat toisiaan?" Hän osoitti, että jos ongelmaa ei voida ratkaista rekursiivisesti, on olemassa keino peittää taso jaksottomasti Wangin dominoilla. Tuohon aikaan tämä vaikutti kuitenkin epäuskottavalta, minkä vuoksi Wang esitti konjektuurin, ettei sellainen laatoitus ole mahdollinen.
Wangin oppilas Robert Berger todisti kuitenkin väitöskirjassaan vuonna 1964, että ongelmaa ei voitu ratkaista rekursiivisesti, joten Wangin konjektuuri on epätosi.[8] Hän pystyikin muodostamaan jaksottoman laatoituksen 20426 Wangin dominosta.[9] Myöhemmin hän osoitti, että siihen riitti 104 sellaista laattaa.[10] Vuonna 1968 Donald Knuth osoitti, että 92 laattaakin riittää.[11] Alkuperäisissä Wangin dominoissa ehtona oli, että Wangin dominoiden vierekkäisissä laatoissa samanväristen sivujen on kosketettava toisiaan. Tämä ehto voidaan myös korvata oletuksella, että laattojen reunat ovat eri tavoin kaarevia tavallisten palapelin palojen tapaan.[12] Vuonna 1971 Raphael Robinson osoitti tällä tavoin eräässä tutkielmassaan, että jo kuudesta erimuotoisesta laatasta voidaan muodostaa jaksoton laatoitus.[13][14]
Ensimmäinen Penrosen laatoitus, jonka Roger Penrose esitti vuonna 1974 (P1 alla olevassa kuvassa), on myös jaksoton ja muodostuu kuudesta eri muotoisesta laatasta.[16] Se ei muodostu neliöistä, vaan erilaisista viisikulmioista. Säännöllisillä viisikulmioilla ei koko tasoa voi peittää jättämättä väliin aukkoja, mutta jo vuonna 1619Johannes Kepler osoitti teoksessaan Harmonices Mundi, että nämä aukot voidaan täyttää pentagrammeilla, kymmenkulmioilla tai niitä muistuttavilla monikulmioilla.[17] Penrose kehitti tätä ajatusta osoittamalla, että tällä tavoin laatoitus voitiin muodostaa jaksottomaksi, mikä täydensi Keplerin äärellisen Aa-mallin[18]. Tähän hän sai vaikutteita myös eräistä Albert Dürerin teoksista.[19]
Myöhemmin Penrose osoitti, että erilaisten laattojen lukumäärä voitiin vähentää kahteen, jolloin saatiin kaksi erilaista laatoitusta P2 ja P3 alla olevassa kuvassa.[20] Näistä jälkimmäisen, suunnikkaista muodostuvan laatoituksen, keksi hänestä riippumatta Robert Ammann vuonna 1976.[21] Penrose ja John H. Conway tutkivat tällaisten laatoitusten ominaisuuksia, ja heidän tutkimustuloksensa julkaisi Martin Gardner tammikuun 1977 Scientific American-lehdessä Mathematical Games-palstalla.[22]
Penrosen laatat
Erityyppiset Penrosen laatat, P1–P3, on jäljempänä kuvattu kukin erikseen, mutta niillä on joukko yhtäläisyyksiä. Kaikissa laatat on muodostettu osista, joista voidaan muodostaa myös säännöllinen viisikulmio, minkä vuoksi niihin liittyy läheisesti kultainen leikkaus.[22] Lisäksi nämä laatoitukset voidaan kukin konstruoida toistensa avulla.
Alkuperäiset Penrosen laatat (P1)
Alkuperäinen Penrosen laatoitus muodostuu viisikulmiosta sekä kolmenlaisista muista erimuotoisista laatoista: viisisarakaraisista tähdistä (pentagrammeista), ”veneistä” sekä ”timanteista” eli ohuista suunnikkaista. Sen varmistamiseksi, että laatoituksesta tulee jaksoton, käytettiin tiettyjä sääntöjä sille, miten erilaiset laatat saavat koskettaa toisiaan. Eri viisikulmioille on kolme eri sääntöä ja tällöin eri sääntöjä noudattavat viisikulmiot voidaan tehdä erivärisiksi, kuten oheisessa kuvassa.[23][24]
Leija- ja nuolilaatat (P2)
Penrosen toinen laatoitus koostuu kahdenlaisista nelikulmioista, joita nimitetään leijoiksi ja nuoliksi. Nämä voidaan yhdistää suorakulmioksi, mutta käytettyjen sääntöjen mukaan niin ei saa tehdä, sillä suunnikkaista muodostettu laatoitus olisi jaksollinen. Sekä leija että nuoli voidaan toisaalta käsittää muodostetuksi kahdesta kolmiosta, joita sanotaan Robinsonin kolmioiksi niitä vuonna 1975 tutkineen Robinsonin mukaan.[25]
"Leija" on nelikulmio, jonka kulmista kolme on 72 ja neljäs 144 asteen suuruinen. Sillä on symmetria-akseli, joka jakaa sen kahteen teräväkulmaiseen Robinsonin kolmioon, joiden kulmat ovat 36, 72 ja 72 astetta. Tällainen kolmio tunnetaan myös kultaisena kolmiona.
"Nuoli" on ei-kupera nelikulmio, jonka sisäpuoliset kulmat ovat 36, 72, 36 ja 216 astetta. Myös sillä on symmetria-akseli, joka jakaa sen kahdeksi tylppäkulmaiseksi Robinsonin kolmioksi, joiden kulmat ovat 36, 36 ja 108 astetta.
Suunnikaslaatat (P3)
Kolmas Penrosen laatoitus muodostuu kahdenlaisista suunnikkaista. Niistä kuitenkin voidaan muodostaa myös jaksollinen laatoitus, minkä vuoksi on noudatettava tiettyjä rajoittavia sääntöjä, jotta tuloksena olisi jaksoton laatoitus.
Laatoituksessa käytetään kahdenlaisia suunnikkaita, jotka molemmat voidaan myös jakaa kahdeksi Robinsonin kolmioksi.
Ohuessa laatassa t kulmat ovat 36, 144, 36 ja 144 astetta. Sen lyhempi lävistäjä jakaa sen kahdeksi Robinsonin kolmioksi.
Paksussa laatassa T kulmat ovat 72, 108, 72 ja 108 astetta. Sen pidempi lävistäjä jakaa sen kahdeksi tylppäkulmaiseksi Robinsonin kolmioksi.
Laattojen eri sivut oletetaan kuitenkin erilaisiksi, ja ne sijoitellaan siten, että vierekkäisten laattojen on noudatettava tiettyjä sääntöjä. Nämä säännöt voidaan kuvata eri tavoin, kuten käy ilmi oheisesta kuvasta. Esimerkiksi niiden sivuille merkittyjen kaarien on vastattava toisiaan väriltään ja asennoltaan tai niiden sivuille tehtyjen lovien on sovittava yhteen.
Kaikkiaan näiden laattojen kulmat voidaan asettaa 54 eri tavalla vierekkäin siten, että samassa kärkipisteessä toisensa kohtaavien laattojen väliin ei jää aukkoja. Näistä vain seitsemän tapaa on laatoituksen sääntöjen mukaan sallittuja, joskin yksi niistä voidaan toteuttaa kahdella eri tavalla.[26]
Tämä artikkeli tai sen osa on tuotu vieraskielisestä lähteestä ja käännös on keskeneräinen. Voit auttaa Wikipediaa tekemällä käännöksen loppuun.
Konstruointi ja ominaisuuksia
Deflaatio
Penrosen leija- ja nuolilaatoitus voidaan yksinkertaisimmin konstruoida deflaatioksi nimitetyllä menetelmällä.[27][28] Lähtökohdaksi otetaan tietty äärellisen kokoinen laatoitus, jota nimitetään "aksioomaksi", ja siitä muodostetaan tiettyjen sääntöjen mukaan joukko peräkkäisiä laatoituksia, joita nimitetään "sukupolviksi". Yksinkertaisimmassa tapauksessa "aksiooma" käsittää vain yhden laatan. Siirryttäessä seuraavaan "sukupolveen" jokainen laatta korvataan yhdellä tai useammalla uudella laatalla, jotka peittävät alkuperäisen laatan kokonaan. Täten uudet laatat ovat yhdenmuotoisia alkuperäisten kanssa, mutta kooltaan pienempiä. Kun tämä toistetaan riittävän monta kertaa, saadaan lopulta laatoitus, joka sisältää sellaisen osan, joka on yhdenmuotoinen alkuperäisen "aksiooman" kanssa eikä ulotu kuvion reunoille. Tämä valitaan sitten uudeksi "aksioomaksi", ja koko prosessi toistetaan, jolloin saadaan kerta kerralta laajempi laatoitus, kunnes se lopulta peittää koko tason.
Esimerkki: Kolme sukupolvea neljästä aksioomasta
Tämä on esimerkki peräkkäisistä sukupolvista lähdettäessä neljästä erilaisesta "aksioomasta". "Auringon" ja "tähden" tapauksessa alkuperäisen kanssa yhdenmuotoinen pienempi laatoitus saadaan jo toisessa sukupolvessa, "auringon" tapauksessa myös kolmannessa.
Nimi
Sukupolvi 0 (aksiooma)
Sukupolvi 1
Sukupolvi 2
Sukupolvi 3
Leijan puolikas
Nuolen puolikas
Aurinko
Tähti
Penrosen laatat ja kultainen leikkaus
Moniin Penrosen laattojen ominaisuuksiin liittyy läheisesti kultainen leikkaus ja sen suhdeluku (noin 1,618). Tämä johtuu siitä, että laatoitus on lokaalisti viisinkertaisesti symmetrinen ja säännöllisessä viisikulmiossa halkaisijan ja sivun suhde on φ. Tämä on myös pidemmän ja lyhemmän sivun suhde molemmissa Robinsonin kolmioissa. Tästä seuraa, että leija- ja nuolilaatoissa pidemmän ja lyhyemmän sivun suhde on myös φ, samoin näiden laattojen pinta-alojen suhde, sivun ja lyhemmän lävistäjän suhde ohuessa suunnikaslaatassa sekä pidemmän lävistäjän ja sivun suhde paksussa suunnikaslaatassa.[29][30]
Deflaatioprosessissa leija jaetaan kahdeksi leijaksi ja yhdeksi nuoleksi, nuoli taas nuoleksi ja leijaksi. Leijojen ja nuolten lukumäärä prosessin n:nnessä sukupolvessa voidaan laskea matriisin n:nnen potenssin avulla:
missä Fn on Fibonaccin lukujonon n:s luku. Nuolten ja leijojen lukumäärien suhde missä tahansa riittävän laajassa Penrosen P2-laatoituksessa on tämän vuoksi lähellä kultaisen leikkauksen suhdelukua φ.[31] Vastaava tulos pätee myös paksujen ja ohuiden suunnikkaiden lukumäärälle P3-laatoituksessa..[32]
Penrosen laattoja muistuttavia laatoituksia
Kymmenkulmiolaatoitus ja kvasikiteet
Vuonna 1996, saksalainen matemaatikko Petra Gummelt osoitti, että taso voidaan peittää yhtenevillä säännöllisillä kymmenkulmioilla, jos niiden sallitaan (Penrosen laatoituksesta poiketen) mennä osittain päällekkäin siten, että vain kahden muotoiset vierekkäisille kymmenkulmioille yhteiset alueet sallitaan.[34] Kymmenkulmio jaetaan osiin, jotka väritetään tiettyjen sääntöjen mukaan, ja vain värityksen kanssa yhteen sopivien osien eri kymmenkulmioissa sallitaan mennä päällekkäin. Jos kymmenkulmio jaetaan tietyllä tavalla "nuoliksi" ja "leijoiksi", kuviointi muuttuu Penrosen laatoituksen P2 kaltaiseksi. Myös laatoitus P3 voidaan muodostaa sijoittamalla paksu suunnikas kymmenkulmion sisään, jolloin jäljelle jäävä osa peittyy ohuilla suunnikkailla.
Näitä pidetään realistisina malleina sille, miten kvasikiteet kasvavat: osittain päällekkäiset kymmenkulmiot ovat "kvasiyksikkökoppeja", jotka vastaavat tavallisten kiteidenyksikkökoppeja, ja tällaisissa rakenteissa atomit pyrkivät pakkautumaan mahdollisimman tiheästi.[33][35][36]
Käyttö taiteessa
Laatoitusten esteettinen arvo on ollut kauan tunnustettu. Penrosen laatat herättävätkin yhä suurta mielenkiintoa, joka kohdistuu suurelta osin pikemmkin niiden muodostamaan näkövaikutelmaan kuin niiden matemaattisiin ominaisuuksiin. Niiden onkin todettu muistuttavan Lähi-idässä käytettyä girih-koristekuvuointia, [37][38][39] ja Peter Lu ja Paul Steinhardt ovat todenneet, että Penrosen laatoituskin esiintyy jo keskiaikaisessa islamilaisessa taiteessa.[40]
Drop Cityn taiteilija Clark Richert käytti Penrosen suunnikkaita eräässä teoksessaan vuonna 1970. Taidehistorioitsija Martin Kemp on todennut, että myös Albrecht Dürer on laatinut samankaltaisia sommitelmia näistä suunnikkaista.[41]
Lähteet
Alkuperäislähteet
R. Berger: The undecidability of the domino problem. 66 Memoirs of the American Mathematical Society, 1966. .
Algebraic theory of Penrose's nonperiodic tilings of the plane, I, II. Indagationes mathematicae, 1981, 43. vsk, nro 1. Artikkelin verkkoversio. (PDF)
Penrose tilings as coverings of congruent decagons. Geometriae Dedicata, 1996, 62. vsk, nro 1. doi:10.1007/BF00239998
Role of aesthetics in pure and applied research. Bulletin of the Institute of Mathematics and its Applications, 1974, nro 10.
Undecidability and nonperiodicity for tilings of the plane, s. 177–209. 12. vsk Springer Nature Link, 1971. doi:10.1007/BF01418780
Metallic Phase with long-range orientational order and no translational symmetry. Physical Review Letters, 1984, 53. vsk. doi:10.1103/PhysRevLett.53.1951
Proving theorems by pattern recognition II. Bell Systems Technical Journal, 1961, 40. vsk. .
Sekundaarilähteitä
David Austin: Penrose Tiles Talk Across Miles. Providence: Feature Column, American Mathematical Society, 2005a. Teoksen verkkoversio.
David Austin: Penrose Tilings Tied up in Ribbons. Providence: Feature Column, American Mathematical Society, 2005b. Teoksen verkkoversio.
On aperiodic sets of Wang tiles. Lecture Notes in Computer Science, 1997, 1337. vsk. doi:10.1007/BFb0052084
Kappale 1 (s. 1–18) on uusi painos artikkelista Extraordinary nonperiodic tiling that enriches the theory of tiles. Scientific American, 1977, 236. vsk, nro 1, s. 110–121.
”Fivefold Symmetry”, 800-year-old pentagonal tiling from Maragha, Iran, and the new varieties of aperiodic tiling it inspired, s. 67–86. Singapore–London: World Scientific, 1992.
Marjorie Senechal: Quasicrystals and geometry. Cambridge University Press, 1996. ISBN 978-0521575416.
Paul J. Steinhardt, Hyeong-Chai Jeong: A simpler approach to Penrose tiling with implications for quasicrystal formation. Nature, 1.8.1996, 382. vsk. doi:10.1038/382431a0Artikkelin verkkoversio..
Minimal chaos, stochastic web and structures of quasicrystal symmetry. Soviet Physics Uspekhi, 1988, 31. vsk. doi:10.1070/PU1988v031n10ABEH005632
Philip Ball: Kemian eturintamassa : matka molekyylien maailmaan, s. 165–170. Suomentanut Kimmo Pietiläinen. Terra Cognita, 1997. ISBN 9525202070
Malcolm E. Lines: Jättiläisen harteilla - matematiikan heijastuksia luonnontieteeseen, s. 114–117. Suomentanut Veli-Pekka Ketola. Art House, 2000. ISBN 951-884-285-X
↑Prange, Sebastian R.: The Tiles of Infinity. Saudi Aramco World, 1.9.2009, s. 24–31. Aramco Services Company. Artikkelin verkkoversio. Viitattu 22.2.2010. (Arkistoitu – Internet Archive)