MNQT, kl Ryhmäteoria

Samankaltaiset tiedostot
4. Liikemäärämomentti

Symmetrialuokat. Esimerkki Pisteryhmä C 3v E C 3 C 3. σ v σ v σ v. C3v E C 3 C E E C 3 C C 3 C 3 C. σ v σ v σ v σ v E C 3 C.

Ch7 Kvanttimekaniikan alkeita. Tässä luvussa esitellään NMR:n kannalta keskeiset kvanttimekaniikan tulokset.

Symmetrisistä ryhmistä symmetriaryhmiin

3.1 Lineaarikuvaukset. MS-A0004/A0006 Matriisilaskenta. 3.1 Lineaarikuvaukset. 3.1 Lineaarikuvaukset

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 4 / vko 47

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain

Lineaarikuvausten. Lineaarikuvaus. Lineaarikuvauksia. Ydin. Matriisin ydin. aiheita. Aiheet. Lineaarikuvaus. Lineaarikuvauksen matriisi

Määritelmä Olkoon T i L (V i, W i ), 1 i m. Yksikäsitteisen lineaarikuvauksen h L (V 1 V 2 V m, W 1 W 2 W m )

Ortogonaalinen ja ortonormaali kanta

J 2 = J 2 x + J 2 y + J 2 z.

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

1 Lineaariavaruus eli Vektoriavaruus

Lineaarikuvauksen R n R m matriisi

Tilavuusintegroin. f(x,y,z)dxdydz. = f(x,y,z)dx dy

F dr = F NdS. VEKTORIANALYYSI Luento Stokesin lause

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja

Konformigeometriaa. 5. maaliskuuta 2006

Vapaus. Määritelmä. Vektorijono ( v 1, v 2,..., v k ) on vapaa eli lineaarisesti riippumaton, jos seuraava ehto pätee:

BM20A0700, Matematiikka KoTiB2

Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 5 / vko 48

6 MATRIISIN DIAGONALISOINTI

MS-C1340 Lineaarialgebra ja

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

Insinöörimatematiikka D

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on

Osoita, että kaikki paraabelit ovat yhdenmuotoisia etsimällä skaalauskuvaus, joka vie paraabelin y = ax 2 paraabelille y = bx 2. VASTAUS: , b = 2 2

12. Derivointioperaattoreista geometrisissa avaruuksissa

Vektoreiden virittämä aliavaruus

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

Vektoreiden A = (A1, A 2, A 3 ) ja B = (B1, B 2, B 3 ) pistetulo on. Edellisestä seuraa

Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos:

Matriisialgebra harjoitukset, syksy 2016

MS-A0004/A0006 Matriisilaskenta

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

MS-C1340 Lineaarialgebra ja

Lineaarialgebra ja differentiaaliyhtälöt Laskuharjoitus 1 / vko 44

FYS-6300 MOLEKYYLIEN JA NANO- RAKENTEIDEN KVANTTITEORIA VIIKKO. Luento. Laskuharjoituksia ja

ja siten kyseisen symmetriaryhmä on toinen dihedraaliryhmä (D 2 )

Käänteismatriisin ominaisuuksia

Kuva 1: Funktion f tasa-arvokäyriä. Ratkaisu. Suurin kasvunopeus on gradientin suuntaan. 6x 0,2

Yhtälöryhmä matriisimuodossa. MS-A0004/A0006 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5.

1. Tarkastellaan kaksiulotteisessa Hilbert avaruudessa Hamiltonin operaattoria

3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset

1 Aaltofunktio, todennäköisyystulkinta ja normitus

Latinalaiset neliöt ja taikaneliöt

802320A LINEAARIALGEBRA OSA I

Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013

a b 1 c b n c n

Kuvaus. Määritelmä. LM2, Kesä /160

Viikon aiheet. Funktion lineaarinen approksimointi

A B = (1, q, q 2 ) (2, 0, 2) = 2 2q q 2 = 0 q 2 = 1 q = ±1 A(±1) = (1, ±1, 1) A(1) A( 1) = (1, 1, 1) (1, 1, 1) = A( 1) A(1) A( 1) = 1

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

Braggin ehdon mukaan hilatasojen etäisyys (111)-tasoille on

pääkiertoakseli #$%%ä 2C 2 C 2!"

5 OMINAISARVOT JA OMINAISVEKTORIT

Matriisit ja vektorit Matriisin käsite Matriisialgebra. Olkoon A = , B = Laske A + B, , 1 3 3

Lineaarialgebra ja matriisilaskenta I, HY Kurssikoe Ratkaisuehdotus. 1. (35 pistettä)

1.1. Määritelmiä ja nimityksiä

Korkeammat derivaatat

Vektorien virittämä aliavaruus

4 Yleinen potenssifunktio ja polynomifunktio

Talousmatematiikan perusteet: Luento 14. Rajoittamaton optimointi Hessen matriisi Ominaisarvot Ääriarvon laadun tarkastelu

Aalto-yliopiston perustieteiden korkeakoulu Matematiikan ja systeemianalyysin laitos

Matematiikan tukikurssi

8 KANNAT JA ORTOGONAALISUUS. 8.1 Lineaarinen riippumattomuus. Vaasan yliopiston julkaisuja 151

1. (a) (2p.) Systeemin infinitesimaalista siirtoa matkan ɛ verran esittää operaattori

MS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 10: Moninkertaisten integraalien sovelluksia

2.2 Gaussin eliminaatio. 2.2 Gaussin eliminaatio. 2.2 Gaussin eliminaatio. 2.2 Gaussin eliminaatio

Korkeammat derivaatat

MS-A0003/A0005 Matriisilaskenta Laskuharjoitus 2 / vko 45

Matriisi-vektori-kertolasku, lineaariset yhtälöryhmät

2. Geometrinen algebra dimensioissa kaksi ja kolme

w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1.

MS-A0003/A Matriisilaskenta Laskuharjoitus 6

1 Ominaisarvot ja ominaisvektorit

MS-A0207 Differentiaali- ja integraalilaskenta 2 (Chem) Yhteenveto, osa I

Kvanttifysiikan perusteet, harjoitus 5

Ominaisvektoreiden lineaarinen riippumattomuus

1 Kannat ja kannanvaihto

Oletetaan ensin, että tangenttitaso on olemassa. Nyt pinnalla S on koordinaattiesitys ψ, jolle pätee että kaikilla x V U

u = 2 u (9.1) x + 2 u

Talousmatematiikan perusteet: Luento 13. Rajoittamaton optimointi Hessen matriisi Ominaisarvot ja vektorit Ääriarvon laadun tarkastelu

Sisätuloavaruudet. 4. lokakuuta 2006

(0 desimaalia, 2 merkitsevää numeroa).

Kanta ja Kannan-vaihto

MS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 10: Moninkertaisten integraalien sovelluksia

Aalto-yliopiston perustieteiden korkeakoulu Matematiikan ja systeemianalyysin laitos

Oppimistavoitematriisi

Ortogonaaliset matriisit, määritelmä 1

MS-A0204 Differentiaali- ja integraalilaskenta 2 (ELEC2) Luento 6: Ääriarvojen luokittelu. Lagrangen kertojat.

Kertausta: avaruuden R n vektoreiden pistetulo

Päättelyn voisi aloittaa myös edellisen loppupuolelta ja näyttää kuten alkupuolella, että välttämättä dim W < R 1 R 1

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

Insinöörimatematiikka D

Differentiaali- ja integraalilaskenta 3 Mallit laskuharjoitusviikkoon 5 /

Lineaarialgebra ja matriisilaskenta I

JAKSO 2 KANTA JA KOORDINAATIT

Transkriptio:

MNQT, kl 2010 59 5. Ryhmäteoria Ottamalla huomioon ratkaistavan systeemin symmetriaominaisuudet päästään yleensä tarkasteluissa ja ratkaisemisessa vähemmällä työllä. Erityisesti silloin, jos kvalitatiivinen tieto on riittävää, esim. onko jokin suure nolla vai ei, tai ovatko jotkin suureet yhtäsuuria vai erisuuria, voi symmetriatarkastelu pelkästään olla jo riittävä. Edellisestä esimerkkinä ovat matriisielementit (integraalit) n Ω n ja n Ω m, joista usein riittää tieto ovatko ne nollasta poikkeavia ja jälkimmäisestä on esimerkkinä degeneraatio (esim. p x -, p y - ja p z -orbitaalit). Esim. Millä ehdoilla elektronin l 2 tai l z kommutoivat Hamiltonin operaattorin kanssa (eli ovat liikevakioita ja siten hyviä kvanttilukuja energian ominaistiloille)? H = 2 2m 2 + V ja l z = h i φ, joten [ H, l z ] =

MNQT, kl 2010 60 Symmetria Symmetriaominaisuuksien systemaattinen tarkastelu perustuu symmetriaoperaatioiden muodostamien ryhmien ominaisuuksiin ja ryhmäteoriaan. 5.1. Symmetriaoperaatiot Symmetriaoperaatio on toimenpide, joka jättää toimenpiteen kohteen näennäisesti muuttumattomaksi, ja siten se voi ainoastaan vaihtaa kohteen identtisten osien paikkoja. Mitä enemmän kohteella, esim. molekyylillä, on symmetriaoperaatioita sitä korkeampi on sen symmetria. Symmetriaoperaatioita ovat mm. rotaatio, translaatio, heijastus ja inversio, ja ne suoritetaan jonkin "symmetriaelementin" (akseli, suunta, taso tai piste) suhteen. Molekyylien ja atomien symmetriaoperaatiot muodostavat ns. pisteryhmiä (point group), jotka eivät sisällä translaatioita kuten kiteiden symmetriaoperaatioiden yleisemmät avaruusryhmät (space group). Pisteryhmien symmetriaoperaatiot jättävät aina yhden pisteen (molekyylin keskellä) ennalleen. Pisteryhmät sisältävät viidenlaisia operaatioita: E, identiteetti (yksikkö- tai ykkösoperaattori), joka ei tee mitään. C n, n-lukuinen rotaatio (n-fold rotation) on 360 /n kierto symmetria-akselin ympäri. Voidaan erottaa erikseen kierto myötäpäivään C n + ja vastapäivään C n. Huomaa, että C 2 + = C 2. Jos molekyylillä on useampia symmetria-akseleita, sanotaan pääakseliksi (principal axis) sitä, jonka lukuisuus on suurin.

MNQT, kl 2010 61 σ, heijastus (reflection) heijastustason (mirror plane) suhteen. Jos pääakseli on heijastustasossa, sanotaan tasoa vertikaaliseksi ja heijastusoperaatiota merkitään σ v, ja jos pääakseli on heijastustasoa vastaan kohtisuora on taso horisontaalinen ja heijastus σ h. Diedrinen (dihedral) taso ja heijastus on erikoistapaus vertikaalisesta heijastuksesta, jossa heijastustaso puolittaa kahden pääakselia vastaan kohtisuoran C 2 -akselin välisen kulman. i, inversio (inversion) symmetriakeskuksen suhteen. Inversiossa origon suhteen jokainen piste (x, y, z) siirretään paikaltaan pisteeseen ( x, y, z). S n, kiertoheijastus (improper rotation, rotary reflection) kiertoheijastusakselin suhteen. Kiertoheijastus koostuu n-lukuisesta kierrosta (rotaatiosta) ja horisontaalisesta heijastuksesta akselia vastaan kohtisuoran tason suhteen. Huomaa, että S 1 = σ h ja S 2 = i.

MNQT, kl 2010 62 5.2. Molekyylien luokittelu Molekyylin kaikkien symmetriaoperaatioiden (tai symmetriaelementtien) joukko määrää mihin pisteryhmään molekyyli kuuluu. Samaan pisteryhmään kuuluvilla molekyyleillä on lukuisia yhteisiä ominaisuuksia. Tässä ei nyt tarkastella kaikkia mahdollisia pisteryhmiä, mutta tärkeimmät niistä ovat seuraavat: C 1, johon kuuluu vain identiteettioperaatio E eli 1. C s : E ja yksi heijastus(taso) σ eli m. C i : E ja inversio i eli 1. C n : E ja n-lukuinen rotaatio C n eli n. C nv :E, C n ja n kappaletta heijastuksia σ v. C nh :E, C n ja σ h. D n : E, C n ja n kappaletta C 2 kohtisuorassa C n vastaan. D nh :Kaikki D n -ryhmän operaatiot ja lisäksi σ h. D nd :Kaikki D n -ryhmän operaatiot ja n kappaletta σ d. S n : E ja S n. Huomaa, että jos n on pariton, niin S n = C nh. T : E, 3 C 2, 4 C 3 ja 4 C 3 '. T d : "T" + 6 σ d ja 6 S 4 (säännöllisen tetraedrin ryhmä). T h on T d lisättynä inversiosymmetrialla. O : E, 8 C 3, 3 C 2 = 3 C 42, 6 C 2 ' ja 6 C 4. O h : O + oktaedrin heijastukset (säännöllisen oktaedrin ryhmä) I : Ikosaedrin pisteryhmä. Pisteryhmät T ja O ovat ns. kuutiollisia ryhmiä, joilla ei ole pääakselia, vaan useita korkeimman kertaluvun omaavia akseleita. Huomaa, että eräiden symmetriaoperaatioiden yhdistelminä saadaan vielä joitakin toisia symmetriaoperaatioita, esim. C 2h -ryhmään kuuluu inversio, koska i = σ h C 2.

MNQT, kl 2010 63

MNQT, kl 2010 64 Edellä on käytetty ns. Schoenfliesin nimistöä pisteryhmille. Toinen käytössä oleva nimistö, jossa tavallaan luetellaan symmetriaelementit, on ns. Herman-Mauguin (tai International) nimistö, ks. taulukko alla. Atomien pisteryhmä on R 3, joka sisätää täydellisen pallosymmetrian (pallon ryhmä). Mikään molekyyli ei kuulu tähän ryhmään. Ryhmän R 3 ominaisuudet ovat samat kuin edellä tarkastellun impulssimomentin ominaisuudet.

MNQT, kl 2010 65 Ryhmäteoria ja matriisit 5.3. Ryhmä Joukko alkioita, joille on määritelty "kertolasku", muodostavat ryhmän, jos RS = T, (1) identiteetti E kuuluu tähän joukkoon, (2) kertolasku on assosiatiivinen (liitännäinen) eli T(SR) = (TS)R, (3) joukon kahden alkion "tulo" kuuluu myös tähän joukkoon ja (4) joukon alkion "käänteisalkio" kuuluu myös joukkoon. Huom! Kertolaskun ei tarvitse olla vaihdannainen TS ST. Huom! R R 1 = R 1 R = E. On helppo havaita, että pisteryhmän symmetriaoperaatiot muodostavat ryhmän. 5.4. Ryhmän kertotaulu Tarkastellaan seuraavaksi pisteryhmien esitystä matriisien avulla, jolloin esim. "kertolaskun" i = σ h C 2 tapaiset operaatiot voidaan laskea tavanomaisn laskusäännöin. Määrätään kuitenkin ensin erään esimerkkiryhmän (matriisiesityksestä riippumaton) kertolaskun kertotaulu. (5.1) (5.2)

MNQT, kl 2010 66 Tarkastellaan esimerkkinä ryhmää C 3v, mutta tulokset ovat yleisiä ja voimassa samanlaisina kaikille pisteryhmille. Ryhmän C 3v symmetriaelementit ovat kiertoakseli C 3 ja 3 heijastusta σ v, ja edelleen, symmetriaoperaatiot ovat E, C 3 +, C 3, σ v, σ v ' ja σ v ". Ryhmän alkioiden lukumäärä on 6, jota sanotaan ryhmän kertaluvuksi h. Ryhmän kertotaulu on seuraava (Muodossa R = ST) Taulukko 5.2. T= S= E C + 3 C 3 σ v σ v ' σ v " E C + 3 E C + 3 C + 3 C 3 C 3 E σ v σ v ' σ v ' σ v " σ v " σ v C 3 C 3 E C + 3 σ v " σ v ' σ v σ v ' σ v " σ v σ v ' σ v " σ v " σ v σ v ' σ v ' E σ v " C 3 σ v + C 3 σ v C 3 E C 3 + C + 3 C 3 E 5.5. Matriisiesitykset Matriisit, jotka noudattavat tätä kertolaskutaulukkoa, voidaan valita usealla ( ) eri tavalla. Valinnan määrää ns. kanta, jonka valitsemme nyt oheisen kuvan mukaisesti. Kuva voi esittää esim. NH 3 molekyylin atomien 1s-orbitaaleja.

MNQT, kl 2010 67 Tämän kannan dimensio eli kantafunktioiden lukumäärä on neljä. Kantafunktiot voidaan luetella "vektorina" f = (s N, s A, s B, s C ), ja symmetriaoperaation vaikutusta voidaan merkitä σ v (s N, s A, s B, s C ) = (s N, s A, s C, s B ). Tämä voidaan kirjoittaa myös matriisikertolaskuna σ v (s N, s A, s B, s C ) = 1 0 0 0 = (s N, s A, s B, s C ) 0 1 0 0 0 0 0 1 = (s N, s A, s C, s B ). (5.3) 0 0 1 0 Matriisia kutsutaan operaation σ v esitykseksi (representation) ja sitä merkitään D(σ v ), jonka komponentteja voidaan merkitä D ji (σ v ). On huomattava, että yllä oleva matriisilla kertominen tarkoittaa vain sitä, että σ v s N = s N, σ v s A = s A, σ v s B = s C ja σ v s C = s B. Yleisesti mille tahansa kantafunktiolle f i ja s-operaatiolle R voidaan kirjoittaa R f i = f j D ji (R). (5.4) eli j Samoin kuin edellä, symmetriaoperaation C + 3 tapauksessa on + C 3 (s N, s A, s B, s C ) = 1 0 0 0 = (s N, s A, s B, s C ) 0 0 0 1 = (s N, s B, s C, s A ) 0 1 0 0 0 0 1 0 C+ 3 f i = f j D ji (C + 3 ) j jokaiselle kantafunktiolle f i. Ryhmän C 3v kaikkien symmetriaoperaatioiden matriisiesitykset kannassa (s N, s A, s B, s C ) on annettu taulukossa 5.3 seuraavalla sivulla. Tarkastellaan nyt kahta peräkkäistä operaatiota eli "tuloa", esim. σ v C 3 + = σ v " matriisiesityksessä.,

MNQT, kl 2010 68 = D(σ v ) D(C + 3 ) = 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 = 0 0 0 0 0 0 1 0 0 1 = D( σ v " ) 0 0 0 1 1 0 0 0 eli symmeriaoperaatioiden tulo saadaan nyt matriisien kertolaskulla. Ja yleisesti, jos R ja S ovat ryhmän symmeriaoperaatioita, niin D(R) D(S) = D(RS). Jos kahden ryhmän kertotaulu on sama, niin ryhmien sanotaan olevan homomorfisia (homomorphous) keskenään. Taulukko 5.3. Ryhmän C 3v matriisiesitys kannassa (s N, s A, s B, s C ). D(E) D(C + 3 ) D(C 3 ) 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 χ(e) = 4 χ(c 3+ ) = 1 χ(c 3 ) = 1 ja D(σ v ) D(σ v' ) D(σ v" ) 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 χ(σ v ) = 2 χ(σ v' ) = 2 χ(σ v" ) = 2 Huomaa siis, että em. merkinnöillä (RS) f = f D(RS) = f [D(R) D(S)] = [f D(R)] D(S), vaikka (RS) f = R (S f); ja D(R 1 ) = D(R) 1. (5.5) (5.6)

MNQT, kl 2010 69 5.6. Matriisiesityksen ominaisuuksia Tarkastellaan nyt erästä toista kantaa f' = (s N, s 1, s 2, s 3 ), joka on muodostettu kannasta f = (s N, s A, s B, s C ) siten, että s 1 = s A + s B + s C, s 2 = 2 s A s B s C ja s 3 = s B s C. Tämä voidaan kirjoittaa eli missä c = f' = f c, Yhtälö (5.4) voidaan kirjoittaa R f = f D(R) ja vastaavasti, kun matriisiesitys on kannassa f', R f' = f' D'(R). Kun tähän sijoitetaan (5.8), saadaan R f c = f c D'(R) ja kertomalla sitten oikealta matriisilla c 1, saadaan R f c c 1 = f c D'(R) c 1. Vertaamalla tätä yhtälöön (5.9) voidaan kirjoittaa ns. similaari(suus)muunnos ("samanlaisuusmuunnos) ja f i ' = j f j c ji 1 0 0 0 0 0 1 1 2-1 0 1 0 1-1 -1 D(R) = c D'(R) c 1 D'(R) = c 1 D(R) c. (5.7a) (5.7b)

MNQT, kl 2010 70 Kun 6 0 0 0 c 1 = 0 0 2 2 2-1 -1 2 / 6, 0 0 3-3 voidaan pisteryhmän C 3v matriisiesitys kannassa f' laskea. Taulukko 5.4. Ryhmän C 3v matriisiesitys kannassa (s N, s 1, s 2, s 3 ). D'(E) D'(C + 3 ) D'(C 3 ) 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1/2 1/2 0 0 1/2 1/2 0 0 0 1 0 0 3/2 1/2 0 0 3/2 1/2 χ(e) = 4 χ(c + 3 ) = 1 χ(c 3 ) = 1 ja D'(σ v ) D'(σ ' v ) D'(σ " v ) 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1/2 1/2 0 0 1/2 1/2 0 0 0-1 0 0 3/2 1/2 0 0 3/2 1/2 χ(σ v ) = 2 χ(σ v' ) = 2 χ(σ v" ) = 2 Taulukoissa 5.3 ja 5.4 on annettu myös jokaisen matriisin jälki (trace, spur) eli matriisin diagonaalielementtien summa. Vertaa näitä taulukoita.

MNQT, kl 2010 71 5.7. Esitysten karakteeri Matriisin jälki (diagonaalielementtien summa) on sen karakteeri (character) χ(r) = D ii (R) = Tr D(R). (5.8 9) Huomataan, että symmetriaoperaatioiden karakteerit ovat säilyneet ennallaan similaarimuunnoksessa. Tämä on myös helppo osoittaa yleisesti, koska Siis yleisesti i Tr ABC = Tr BCA = Tr CAB. χ(r) = χ'(r). (5.10) 5.8. Karakteerit ja luokat Lisäksi havaitaan, että eri tyyppisillä operaatioilla on erilaiset ja saman tyyppisillä operaatioilla on samat karakteerit: χ(e) = 4, χ(rotaatio) = 1 ja χ(heijastus) = 2. Siten karakteeri "karakterisoi" s-operaatiota ja sitä voidaan käyttää jakamaan s-operaatiot (ryhmän alkiot) luokkiin (class). Ryhmäteoriassa luokat määritellään siten, että alkiot R 1 ja R 2 kuuluvat samaan luokkaan, jos ryhmässä on sellainen alkio S, että R 1 = S 1 R 2 S. (5.11) Eri luokkiin kuuluvilla operaatioilla voi olla kuitenkin samatkin karakteerit, esityksestä riippuen. Tutki esim. yksi-dimensioista esitystä, joka koostuu 1x1 matriiseista [1].

MNQT, kl 2010 72 5.9. Redusoitumattomat esitykset Jos ryhmän matriisiesitys on, tai saadaan similaarimuunnoksella, "blokki diagonaalimuotoon", kuten esim. matriisit taulukossa 5.3, voidaan esitys redusoida kahdeksi (tai useammaksi) esitykseksi. Taulukon 5.3 4-dimensioinen esitys voidaan siten redusoida 1- ja 3-dimensioisiksi esityksiksi, mitä merkitään D (4) = D (1) + D (3). Yksi-dimensioinen esitys koostuu kuudesta 1x1 matriisista [1], jotka noudattavat ryhmän C 3v kertotaulua, taulukko 5.2. Kolme-dimensioinenkin esitys on vielä redusoitavissa, kuten taulukosta 5.4 käy ilmi. Siten siis D (4) = 2 D (1) + D (2) ja nämä esitykset eivät ole enää edelleen redusoitavissa, vaan ne ovat ryhmän C 3v redusoitumattomia esityksiä (irreducible representation tai irrep). Käytetään tälle jatkossa lyhennettä RE. Viereisessä kuvassa on esitetty nyt esillä olleet kantafunktiot "geometrisesti". Siitä nähdään, että funktioilla s N ja s 1 on sama symmetrialaji (symmetry species) ryhmässä C 3v ja ne virittävät (span) (ovat kantana) esillä olleet kaksi yksi-dimensioista esitystä. Funktioilla s 2 ja s 3 on erilainen symmetria(laji) ja ne virittävät kaksidimensioisen esityksen. Nähdään siis, että "erilaiset" funktiot virittävät erilaiset REt, joten REksiä voidaan käyttää symmetriaominaisuuksien kuvaamiseen. Nimetään sen vuoksi eri REt eli eri symmetrialajit. 1-dim RE, jonka karakteerit ovat (1, 1, 1, 1, 1, 1) on Γ 1 ja 2-dim RE, jonka karakteerit ovat (2, 1, 1, 0, 0, 0) on Γ 3. Tavallisesti käytetään myös nimiä A 1 ja E. Huomaa, että myös identiteettioperaattorille käytetään "sattumalta" samaa merkintää E.

MNQT, kl 2010 73 5.10. Ortogonaalisuusteoreemat Redusoitumattomille esityksille on voimassa suuri ortogonaalisuusteoreema: D ij (R)* Dl ' i'j' (R) = h δ d ll ' δ ii' δ jj', (5.13) l missä h on ryhmän kertaluku, l viittaa REhen Γ l ja d l on REn dimensio. REkseille pätee myös pieni ortogonaalisuusteoreema: tai missä c viittaa ryhmän luokkiin ja g(c) on s-operaatioiden lukumäärä luokassa c. Suuresta ortogonaalisuusteoreemasta seuraa, että pisteryhmän ja symmetrialajien lukumäärä = luokkien lukumäärä Tarkastellaan nyt vielä ryhmää C 3v, jossa on kolme luokkaa. Tällöin on myös symmetrialajeja ja REiä kolme, joista kaksi, Γ 1 ja Γ 3 eli A 1 ja E, ovat jo olleet esillä. Yhtälön (5.24) mukaan puuttuvan, Γ 2 eli A 2, dimensiolle voidaan kirjoittaa 1 2 + d 2 2 + 2 2 = 6, josta saadaan d 2 = 1. Käyttäen pientä ortogonaalisuusteoreemaa (5.20) voidaan nyt kirjoittaa puuttuva rivi ryhmän C 3v ns. karakteeritaulukkoon, taulukko 5.5. Huom! Myös sarakkeet ovat ortogonaalisia keskenään. R χ (R)* χ l ' (R) R = h δ ll ', g(c) χ (c)* χ l ' (c) = h δ ll ', c d 2 l = h. Taulukko 5.5. Ryhmän C 3v karakteeritaulu. C 3v A 1 E 1 2 C 3 1 3 σ v 1 A 2 E 2-1 0 (5.14) (5.15) (5.19)

MNQT, kl 2010 74 Redusoidut esitykset Tarkastellaan seuraavaksi kuinka voidaan selvittää, mitä symmetrialajeja jokin kantafunktiojoukko virittää. 5.11. Esitysten redusoiminen Haluttaessa selvittää mitä symmetrialajeja kantafunktiojoukko virittää on pisteryhmän matriisiesitys redusoitava D(R) = l a l D (l) (R), (5.20) mitä vastaten Γ = l a l Γ l. Esim. edellä, kantajoukolle (s N, s A, s B, s C ) pisteryhmässä C 3v Γ = 2 A 1 + E. Tehtävänä on siis määrittää redusointi- (eli reduktio-) kertoimet a l. Similaarimuunnoksen ominaisuuteen (säilyttää matriisin jälki) perustuen χ(r) = l a l χ (l) (R), (5.22) josta pienen ortogonaalisuusteoreeman avulla voidaan ratkaista a = 1 h χ (l ) (R)* χ(r) (5.23) R ja a = 1 g(c) χ (l ) (c)* χ(c). (5.24) h c Usein symmetrialajien määrittämiseen riittää pelkästään karakteeritaulun tarkastelu. (5.21)

MNQT, kl 2010 75 Esim. 5.8. Mitä symmetrialajeja CH 4 -molekyylin hiilen 2s- ja vetyatomien 1s-orbitaalit virittävät?

MNQT, kl 2010 76 5.12. Symmetria-adaptoituneet kannat Seuraavassa kuvataan lyhyesti menetelmä, jolla annetusta kantafunktiojoukosta f muodostetaan sellaiset funktiot (uusi symmetria-adaptoitunut kanta f'), jotka virittävät symmetrialajeja vastaavat REt. Projektio-operaattorilla on ominaisuus ( ) (l ') (l ) P ij f j' = f i δ ll ' δ jj', (5.26) joten se projisioi toisesta samaan symmetrialajiin l kuuluvasta funktiosta f (l) j funktion f i (l). Projektio-operaattorilla p ( ) = on taas ominaisuus ( ) P ij = d l h i (l ) P ii R = d l h (l D ) ij (R)* R χ (l ) (R)* R R (5.25) (5.30 31) p ( ) (l ) f j = f i, (5.29) i eli se projisioi funktiosta f j kaikkien lajiin l kuuluvien funktioiden summan. Esim 5.9. Määritetään symmetria-adaptoituneet kantafunktiot edellä esillä olleesta kannasta, nyt yksinkertaistettuna muotoon (s A, s B, s C ), pisteryhmässä C 3v.

MNQT, kl 2010 77

Orbitaalien symmetriasta 5.13. Atomaaristen p-orbitaalien symmetriaominaisuudet Tarkastellaan nyt NH 3 molekyylin typpiatomin p-orbitaalien virittämiä symmetrialajeja pisteryhmässä C 3v. Reaaliset p-orbitaalit ovat p x = r sinθ cosφ f(r) = x f(r), p y = r sinθ sinφ f(r) = y f(r) ja p z = r cosθ f(r) = z f(r), missä f(r) on pallosymmetrinen "radiaalinen" osa. Siten symmetriaominaisuudet ovat samat kuin kantajoukolla f = (x, y, z), jonka transformaatiot ryhmän C 3v operaatioille on esitetty kuvassa 5.28. Niinpä voidaan kirjoittaa esim. -1 0 0 σ v (x,y,z) = ( x,y,z) = (x,y,z) 0 1 0 0 0 1 ja C 3 + (x, y, z) = ( 1 2 x+1 2 3y, 1 2 3x 1 2 y,z) = 1 2 1 2 3 0 MNQT, kl 2010 78 = (x,y,z) 1 3 1 0 2 2 0 0 1 j.n.e. Ryhmän C 3v esitys kannassa (x, y, z) on koottu taulukkoon 5.7. Koska matriisit ovat blokki-diagonaali- (eli lohkolävistäjä-)muodossa, nähdään helposti, että funktio z virittää s-lajin A 1 ja funktiot (x, y) virittävät s-lajin E. Huomaa, että karakteerien summa täsmää (3, 0, 1) = (1, 1, 1) + (2, 1, 0). Kuva: 5.28.

D(E) D(C + 3 ) D(C 3 ) 1 0 0 1/2 1/2 3 0 1/2 1/2 3 0 0 1 0 1/2 3 1/2 0 1/2 3 1/2 0 0 0 1 0 0 1 0 0 1 χ(e) = 3 χ(c + 3 ) = 0 χ(c 3 ) = 0 D(σ v ) D(σ v ' ) D(σ v " ) 1 0 0 1/2 1/2 3 0 1/2 1/2 3 0 0 1 0 1/2 3 1/2 0 1/2 3 1/2 0 0 0 1 0 0 1 0 0 1 χ(σ v ) = 1 χ(σ ' v ) = 1 χ(σ " v ) = 1 MNQT, kl 2010 79 Taulukko 5.7 5.14. Suora-tulokanta ja atomaariset d-orbitaalit Kahden kantafunktiojoukon, dimensiot d 1 ja d 2, funktioiden tulot muodostavat ns. suora-tulokannan, jonka dimensio on d = d 1 d 2. Jos tarkastellaan erikoistapauksena symmetrialajit Γ l ja Γ l' virittävien kantajoukkojen suoraa tuloa, niin voidaan osoittaa, että matriisiesityksen karakteerit symmetriaoperaatioille R ovat χ(r) = χ (l) (R) χ (l') (R). (5.33) Katsotaan esimerkkinä kannan (x, y, z) suoraa tuloa itsensä kanssa: (x, y, z) (x, y, z) = (x 2, xy, xz, yx, y 2, yz, zx, zy, z 2 ). Kanta (x, y, z) virittää symmetrialajit A 1 ja E, ja sen karakteerit ovat 3, 0 ja 1, ks. taulukko 5.7. Yhtälön (5.42) mukaan suoratulokannan karakteerit ovat siten 9, 0 ja 1, ja C 3v ryhmän karakteeritaulua tutkimalla nähdään, että nämä luvut saadaan vain symmetrialajien "suorasta summasta" 2 A 1 + A 2 + 3 E. Edelleen karakteeritauluja tutkimalla voidaan päätellä, että (x, y) (z) = (xz, yz) -> A 1 E = E (x, y) (x, y) = (x 2, xy, yx, y 2 ) -> E E = A 1 + A 2 + E. (Symmetrialajien väliset suorat tulot on taulukoitu, ks. liite 1). Edelleen, etsimällä symmetria-adaptoituneet lineaarikombinaatiot eo. funktiojoukoista osoittautuu, että x 2 +y 2 virittää symmetrialajin A 1, (x 2 y 2, xy+yx=2xy) virittää E:n ja (xy yx=0) vastaa A 2 :ta. (Nämäkin on taulukoitu). Tällä tavoin saadaan helposti esim. atomaaristen d-orbitaalien (xy, yz, zx, x 2 y 2, 3z 2 r 2 ) virittämät symmetrialajit.

MNQT, kl 2010 80 5.15. Suoratuloryhmä Tarkastellaan kahta ryhmää G ja G', jotka ovat kertalukuja h ja h', joiden ainoa yhteinen elementti on E ja joiden alkiot R i ja R j ' kommutoivat, kun i = 1,2,, h ja j = 1, 2,, h'. Symmetriaoperaatiot R i R j ' muodostavat ryhmien G ja G' ns. suoratuloryhmän, jota merkitään G" = G G'. Suoratuloryhmän symmetriaoperaatioiden karakteereille pätee χ(rr') = χ(r) χ(r'). (5.39) Suoratuloryhmän kertaluku on hh' ja luokkien lukumäärä on "tekijäryhmien" luokkien lukumäärien tulo. Esim. 5.10. Muodostetaan suoratuloryhmän C 3h = C 3v C s karakteeritaulu yhtälön (5.48) avulla. Samoin voidaan muodostaa karakteeritaulut esim. ryhmille D 6h = D 6 x C i ja O h = O x C i.

MNQT, kl 2010 81 5.16. Integraalien symmetriaominaisuuksista Tarkastellaan määrätyn integraalin laskemista parittomalle funktiolle f : f( x) = f(x) ja parilliselle funktiolle g : g( x) = g(x) välillä a < x < a. Kirjoittamalla integraalit nähdään, että parittoman funktion määrätty integraali häviää identtisesti, kun taas parillisen funktion ei. Parillisenkin funktion määrätty integraali voi tosin saada arvon nolla, sattumalta. Välin ( a, a) symmetrian tarkastelu antaa saman tuloksen seuraavasti. Välin symmetriaoperaatiot ovat E ja σ h, ja siten se kuuluu pisteryhmään C s. Funktiot g ja f virittävät symmetrialajit A' ja A", tässä järjestyksessä. Jos otetaan lähtökohdaksi se, että integroitava funktio, integrandi, on jotakin pisteryhmän symmetrialajia, niin voidaan sanoa, että symmetrisen kohteen yli laskettu määrätty integraali häviää, ellei integrandin symmetrialaji ole korkein mahdollinen, ns. täysi symmetria (full symmetry).

MNQT, kl 2010 82 Tämä tulos voidaan yleistää, ja sitä voidaan käyttää hyväksi mm. matriisielementtien (odotusarvojen ja transitiotodennäköisyyksien) tarkastelussa. Esim. valintasäännöt saadaan tällä tavoin. Jos integrandi koostuu useamman funktion (tai operaattorin) "tulosta", määrätään sen symmetrialaji(t) tekijöiden symmetrialajien suorasta tulosta ja mikäli korkein symmetrialaji (yleensä A 1 ) esiintyy, ei määrätty integraali välttämättä häviä. Toinen tapa katsoa tätä samaa asiaa on ajatella funktiot ortogonaalisiksi f ( ) (l ') i * f j dτ δ ll ' δ ij. (5.40) τ Esim. 5.12. Määrää ne NH 3 molekyylin typpiatomin orbitaalit, joilla voi olla nollasta eriävä peittointegraali (overlap integral) vetyatomien 1s orbitaalien muodostamien funktioiden (s 1, s 2, s 3 ) kanssa.

MNQT, kl 2010 83 5.17. Symmetria ja degeneraatio Systeemin Hamiltonin operaattorin on oltava invariantti eli muuttumaton kaikissa symmetriaoperaatioissa. Sen vuoksi Hamiltonin operaattorilla on täysi symmetria (korkein symmetrialaji) ja se kommutoi kaikkien symmetria operaatioiden kanssa. Ja edelleen, tästä seuraa, että ψ ja Rψ ovat molemmat S- yhtälön Hψ = Eψ ominaisfunktioita vastaten samaa energian ominaisarvoa E. Saman symmetrialajin (redusoitumattoman esityksen) ominaisfunktiot ovat siten degeneroituneet samaan ominaisenergiaan ja kaikki symmetria lajin ominaisfunktiot saadaan yhdestä, käyttämällä symmetria operaatioita (projektio-operaattoreita). Sen vuoksi degeneraation aste on REn dimensio eli χ(e). Rotaatioryhmät 5.18. Rotaatio-operaattorit Kaksiatomisen molekyylin pisteryhmä on C v (homonukleaarisen D h ), jonka ominaisuuksista on johdettavissa kaikki liikemäärämomentin z-komponentin eli operaattorin l z ominaisuudet. Tämä seuraa siitä, että rotaatio kiinteän akselin suhteen minkä tahansa kulman φ verran on yksi ryhmän symmetriaoperaatioista.

MNQT, kl 2010 84 5.19. Pallon pisteryhmä Atomien (pallosymmetrian) pisteryhmän R 3 ominaisuuksista on taas johdettavissa kaikki edellä saadut liikemäärämomentin ominaisuudet kommutaatiosääntöineen. Liikemäärämomenttien kytkentä on myös tehtävissä redusoimalla kytkeytyvien liikemäärämomenttien virittämien symmetrialajien (REn) suora tulo. Kirjoittamalla rotaation C (z) a esitys palloharmonisten kannassa {Y l, l, Y l, l 1,..., Y l, l } nähdään, että sen karakteeri on χ(c α ) = sin[(l +1)α] 2 (5.50) sin[ 1α]. 2