Symmetriaryhmät ja niiden esitykset Symmetriaryhmät, 10.1.2013 1/26
Osa I: Symmetriaryhmät Symmetriaryhmät, 10.1.2013 2/26
Peilisymmetria Symmetriaryhmät, 10.1.2013 3/26
Kiertosymmetria Symmetriaryhmät, 10.1.2013 4/26
Symmetriamuunnos eli -kuvaus C C' A A' B B' Symmetriaryhmät, 10.1.2013 5/26
Symmetriamuunnos eli -kuvaus A 5 = A Symmetriaryhmät, 10.1.2013 6/26
Peili- ja kiertosymmetrioita peilisymmetrian ns. kertaluku on 2 (aina) kiertosymmetrian kertaluku on 8 (tässä) Symmetriaryhmät, 10.1.2013 7/26
Äärettömiä symmetrioita: siirtosymmetria Symmetriaryhmät, 10.1.2013 8/26
Äärettömiä symmetrioita: laatoitus Symmetriaryhmät, 10.1.2013 9/26
Äärettömiä symmetrioita: ympyrä, lieriö, pallo, jne. Symmetriaryhmät, 10.1.2013 10/26
Symmetrioiden matematiikka Symmetrioilla voi laskea, kuin luvuilla. Kaksi symmetriamuunnosta peräkkäin tehtynä tuottaa kolmannen. Symmetriat muodostavat suljetun systeemin, ns. ryhmän. Symmetriaryhmät, 10.1.2013 11/26
Neliön symmetriat 1 2 2 3 3 4 4 1 90 180 270 4 3 1 4 2 1 3 2 1 ρ 1 ρ 2 ρ 3 2 1 1 4 4 3 3 2 3 4 2 3 1 2 4 1 σ 1 σ 2 σ 3 σ 4 Esimerkiksi (ρ 1 + σ 1 = σ 4 ) ρ 1 σ 1 = σ 4 Symmetriaryhmät, 10.1.2013 12/26
Neliön symmetriaryhmän (D 4 ) kertotaulu 1 ρ 1 ρ 2 ρ 3 σ 1 σ 2 σ 3 σ 4 1 1 ρ 1 ρ 2 ρ 3 σ 1 σ 2 σ 3 σ 4 ρ 1 ρ 1 ρ 2 ρ 3 1 σ 4 σ 1 σ 2 σ 3 ρ 2 ρ 2 ρ 3 1 ρ 1 σ 3 σ 4 σ 1 σ 2 ρ 3 ρ 3 1 ρ 1 ρ 2 σ 2 σ 3 σ 4 σ 1 σ 1 σ 1 σ 2 σ 3 σ 4 1 ρ 1 ρ 2 ρ 3 σ 2 σ 2 σ 3 σ 4 σ 1 ρ 3 1 ρ 1 ρ 2 σ 3 σ 3 σ 4 σ 1 σ 2 ρ 2 ρ 3 1 ρ 1 σ 4 σ 4 σ 1 σ 2 σ 3 ρ 1 ρ 2 ρ 3 1 Esimerkiksi σ 1 ρ 1 = σ 2, mutta ρ 1 σ 1 = σ 4! Kuitenkin 1 σ 1 = σ 1, jne. Symmetriaryhmät, 10.1.2013 13/26
Konkreettisesta abstraktiin Kolmen kortin sekoitukset (S 3 ): Kolmion symmetriat (D 3 ): 1 2 3 3 2 1 3 2 1 1 3 2 2 3 1 2 3 1 Sama kertotaulu eli matemaattisesti sama ryhmä Symmetriaryhmät, 10.1.2013 14/26
Sovellus: Yhtälöiden symmetriat Toisen asteen yhtälö: ax 2 + bx + c = 0 Ratkaisukaava: x = b ± b 2 4ac 2a ± on merkki siitä, että yhtälöllä on (peili)symmetria. 3. asteen yhtälön symmetriat ovat korkeintaan yhtä monimutkaisia kuin kolmiolla, ratkaisukaava olemassa 4. asteen yhtälön symmetriat voivat olla monimutkaisempia kuin neliöllä, silti ratkaisukaava olemassa Symmetriaryhmät, 10.1.2013 15/26
Sovellus: Yhtälöiden symmetriat Vasta 5. asteen yhtälön symmetriat voivat olla niin monimutkaisia, ettei sille ole olemassa ratkaisukaavaa (Abel, Galois, 1820-1830) Symmetriaryhmät, 10.1.2013 16/26
Muita sovelluksia kiteiden symmetriat kemiassa/fysiikassa molekyylien symmetriat aaltofunktion vaihesymmetria kvanttimekaniikassa ym., ym. Symmetriaryhmät, 10.1.2013 17/26
Ryhmien lineaariesitykset Abstrakti ryhmä D 4 : {ρ 4 = 1, σ 2 = 1, σρ = ρ 3 σ} vs. Konkreettiset liikkeet tasossa: 1 2 2 3 3 4 4 1 90 180 270 4 3 1 4 2 1 3 2 1 ρ 1 ρ 2 ρ 3 2 1 1 4 4 3 3 2 3 4 2 3 1 2 4 1 σ 1 σ 2 σ 3 σ 4 Symmetriaryhmät, 10.1.2013 18/26
Abstraktista konkreettiseen S 2 (kahden kortin sekoitukset): S 3 (kolmen kortin sekoitukset): S 4 (neljän kortin sekoitukset): A 5 (puolet viiden kortin sekoituksista): esityksiä myös korkeammissa ulottuvuuksissa, esim. 5:n kortin sekoitusten pienin (täysin kuvaava) esitys on 4-ulotteinen Symmetriaryhmät, 10.1.2013 19/26
Ryhmä lukuina Kaikki n-ulotteisen avaruuden kierrot, peilaukset jne. voidaan esittää lukutaulukoina eli matriiseina. Ryhmän esitys tekee siis abstraktista konkreettista myös laskuissa. Abstrakti ryhmä D 4 (ρ 4 = 1, ρσ = σρ 3 jne.) 2-ulotteinen esitys neliön symmetrioina matriisit: [ ] [ ] [ ] [ ] 1 0 0 1 1 0 0 1,,,, 0 1 1 0 0 1 1 0 [ ] [ ] [ ] [ ] 1 0 1 0 0 1 0 1,,, 0 1 0 1 1 0 1 0 Symmetriaryhmät, 10.1.2013 20/26
Osa II: Väitöstutkimus Symmetriaryhmät, 10.1.2013 21/26
Esityskasvu Kuinka monta erilaista esitystä on n-ulotteisessa avaruudessa? Voidaan tarkastella yhden tai useamman ryhmän esityksiä. Määrä keskimäärin kasvaa ulottuvuuden kasvaessa. Etsitään kasvun tyyppiä tai ylärajaa. Symmetriaryhmät, 10.1.2013 22/26
Esityskasvu Ryhmän A 13 (puolet 13-korttisen pakan sekoituksista) esityksiä ulottuvuuteen 4000 asti: 5 4 3 2 1 0 65 12 208 429 495 792 1287 1430 2860 3432 3640 66 220 462 572 936 1365 2574 3003 3575 Symmetriaryhmät, 10.1.2013 23/26
Ohjaajani tutkimus Äärelliset yksinkertaiset ryhmät (1980-luvun alusta): (a) Sykliset ryhmät C p (jaottomat kiertosymmetriat tasossa) (b) Alternoivat ryhmät A m (puolet korttipakan sekoituksista) (c) Lie-tyypin ryhmät (matriisi- eli lukutaulukkoryhmiä) (d) Sporadiset ryhmät (mitä jää yli, 26 kpl) Esimerkki (Liebeck ja Shalev, 2003): Lie-tyypin SL 2 ryhmille pätee, että on olemassa sellainen vakio c, että n-ulotteisessa olevien esitysten lukumäärä on korkeintaan c n Oma tulokseni tähän liittyen: voidaan valita c = 2,7. Symmetriaryhmät, 10.1.2013 24/26
Esimerkki: sekoitusryhmät S m Jos kortteja on esim. 15 kpl, tarkastellaan 15 laatikon porrasmaisia pinoja: Jokainen pino vastaa yhtä esitystä. jne. Lasketaan, monellako tavalla luvut 115 voidaan sijoittaa laatikoihin niin, että jokaisen luvun alla ja oikealla puolella on aina suurempi luku Tapojen lukumäärä on kyseistä pinoa vastaavan esityksen avaruuden ulottuvuusluku. Symmetriaryhmät, 10.1.2013 25/26
Esimerkki: sekoitusryhmät S m Kaikkien sekoitusryhmien esitykset voidaan koota taulukkoon. ulottuvuus 1 2 3 4 5 6 7 8... S 2 2 0 0 0 0 0 0 0 S 3 2 1 0 0 0 0 0 0 S 4 2 1 2 0 0 0 0 0 S 5 2 0 0 2 2 1 0 0... S 6 2 0 0 0 2 0 0 0 S 7 2 0 0 0 0 2 0 0. Arvioimalla laatikkopinojen erilaisia muotoja ja niihin sijoitettavien lukujen järjestystä voidaan arvioida taulukon sisältöä. Vastaus kysymykseen kuinka monta esitystä on ulottuvuudessa n on sarakkeen n kaikkien lukujen summa.. Symmetriaryhmät, 10.1.2013 26/26