A matematikai analízis elemei V.

Átírás

1 A matematikai analízis elemei V. Absztrakt harmonikus analízis, A topologikus integrálelmélet elemei Kristóf János

2 Tartalomjegyzék I. Absztrakt harmonikus analízis 5 1 Csoportok ábrázolásai Példák csoportokra Csoportok ábrázolásai Unitér ábrázolások Hilbert-összege Unitér ábrázolások tenzorszorzata Unitér ábrázolás konjugáltja Unitér ábrázolások féldirekt szorzata Összekötő operátorok és irreducibilitás Ciklikus unitér ábrázolások Csoport algebrai duálisa Triviális véges dimenziós unitér ábrázolásokkal rendelkező csoportok Topologikus csoportok és folytonos ábrázolások Csoport-topológiák tulajdonságai Metrizálható topologikus csoportok Összefüggő topologikus csoportok Egyenletes folytonosság Folytonos topologikus ábrázolások Tranzitív topologikus ábrázolások Folytonos unitér ábrázolások Folytonos függvények lokálisan kompakt tér felett Paraméteres függvények folytonossága Felbontási-lemma és hányados-lemma Approximációs-lemma Bruhat-féle keresztmetszet-függvény Komplex Radon-mértékek Komplex Radon-mértékek alaptulajdonságai Pozitív Radon-mértékek Radon-mérték tartója Folytonos kompakt tartójú függvény integrálja Paraméteres integrálok folytonossága Radon-mértékek tenzorszorzata és az elemi Lebesgue Fubini-tétel Radon-mértékek leszűkítése és összeragasztása Invariáns Radon-mértékek Az invariáns Radon-mértékek szerepe az unitér ábrázolások elméletében

3 2 TARTALOMJEYZÉK 5.2 Haar-mérték egzisztenciája és unicitása Lokálisan kompakt csoport moduláris függvénye Lokálisan kompakt féldirekt szorzat feletti Haar-mérték Példák Haar-mértékekre és moduláris függvényekre Lokálisan kompakt csoport mértékalgebrája Lokálisan kompakt csoport mértékalgebrájának értelmezése δ-rendszerek A mértékalgebra kommutativitásának és egységelemességének kritériuma A harmonikus analízis alaptétele Lokálisan kompakt csoport mértékalgebrájának karakterei Összekötő operátorok Baloldali reguláris ábrázolás és a elfand Rajkov-tétel Unitér ábrázolások Hilbert-integrálja Choquet-tétel A mértékalgebra integrál-realizációja* Kompakt csoport folytonos unitér ábrázolásai Kompakt csoport feletti Haar-mérték tulajdonságai Ortogonalitási relációk Kompakt csoport feletti trigonometrikus polinomok Approximáció trigonometrikus polinomokkal Első Peter Weyltétel Kompakt csoport ábrázoláskarakterei Kompakt csoport mértékalgebrájának szerkezete Második Peter Weyl-tétel Kommutatív lokálisan kompakt csoport folytonos unitér ábrázolásai Kommutatív lokálisan kompakt csoport topologikus duálisa Fourier-transzformáció Stone-tétel és unitér ábrázolás spektruma Fourier-féle δ-rendszerek Duális Haar-mérték Fourier-transzformáció az LF 1, téren* A Fourier-féle inverziós-tétel alapformája* Fourier-féle inverziós-tétel* Fourier-transzformáció az LF 2, téren Plancherel-tétel* Pontrjagin-féle dualitás-tétel* Radon-mérték faktorizációja lokálisan kompakt csoporton Folytonos függvények faktorizációja A faktorizáció értelmezése és alaptulajdonságai Radon-mérték faktorizálhatóságának kritériumai Kompakt tartójú faktormértékek és Bruhat-féle keresztmetszet-függvény Invariáns és relatív invariáns pozitív Radon-mértékek homogén téren Topologikusan kváziinvariáns pozitív Radon-mértékek homogén téren

4 TARTALOMJEYZÉK 3 10 Indukált unitér ábrázolások Indukált lineáris és indukált unitér ábrázolások értelmezése Elemi példák indukált unitér ábrázolásokra Speciális elemek indukált unitér ábrázolás terében Az irreducibilitás tétele Imprimitivitás-rendszerek és az indukálhatóság szükséges feltétele Az indukálhatóság elégséges feltétele Mackey-féle imprimitivitás-- tétel Az indukálás tranzitivitása Indukált unitér ábrázolások Hilbert-összege Az indukált unitér ábrázolások alternatív formája Lokálisan kompakt féldirekt szorzatok indukált unitér ábrázolásai Mackey-féle reprezentációs tétel Lokálisan kompakt csoport belső topologikus ábrázolásai A Mackey-féle reprezentációs tétel bizonyítása II. Függelék: A topologikus integrálelmélet elemei Pozitív Radon-mérték szerinti felső integrál Pozitív alulról félig folytonos függvény felső integrálja Pozitív függvény felső integrálja Speciális alakú pozitív Radon-mértékek szerinti felső integrál Additivitás- és szubtraktivitás-formulák Halmaz külső mértéke Eltűnő függvények és eltűnő halmazok Hölder- és Minkowski-egyenlőtlenség Pozitív Radon-mérték szerinti L p F T, µ-terek L p F T, µ-terek alaptulajdonságai Kapcsolatok az L p F T, µ-terek között Az L p F T, µ-terek teljessége Riesz Fischer-tétel Az L p R T, µ-terek tulajdonságai Levi-tétel Lebesgue-tétel Integrál az LF 1 T, µ-téren Az integrál értelmezése és alaptulajdonságai Az integrálható halmazok δ-gyűrűje Speciális Radon-mértékek szerinti integrál Du Bois-Reymond lemma Az integrál lokalizációja Lebesgue-tétel az LF 1 T, µ térre Szorzatmérték szerinti integrál Lebesgue Fubini-tétel A korlátos Radon-mérték szerinti integrálás elemi elmélete A korlátos Radon-mérték szerinti integrál értelmezése A korlátos Radon-mérték szerinti integrál alaptulajdonságai A korlátos Radon-mérték szerinti integrál jellemzése Lokálisan kompakt csoport teljes mértékalgebrája

5 4 TARTALOMJEYZÉK NÉV SZERINTI HIVATKOZÁSOK LO ENS AL TOP STR ANA FSA MET LIN DIF MES INT EO HOL FUN EA EVT CON ALN ORT AHA RAD A matematikai analízis logikai alapjai 0. kötet, I. rész A matematikai analízis halmazelméleti alapjai 0. kötet, II. rész A matematikai analízis algebrai alapjai 0. kötet, III. rész A matematikai analízis topológiai alapjai 0. kötet, IV. rész Bevezetés a matematikai struktúrák elméletébe 0. kötet, V. rész Valós és komplex számok/elemi függvényanalízis 1. kötet, I./II. rész Függvényterek és függvényalgebrák 1. kötet, III. rész Metrikus terek 1. kötet, IV. rész Folytonos lineáris és multilineáris operátorok 2. kötet, I. rész Differenciálelmélet 2. kötet, II. rész Additív halmazfüggvények és mértékek 2. kötet, III. rész Integrálelmélet 2. kötet, IV. rész A geometriai integrálelmélet alapjai 2. kötet, V. rész Holomorf függvények 3. kötet, I. rész A funkcionálanalízis elemei 3. kötet, II. rész Az analitikus geometria elemei 3. kötet, III. rész Topologikus vektorterek 4. kötet, I. rész Kompakt konvex halmazok 4. kötet, II. rész Normált algebrák 4. kötet, III. rész Ortohálók 4. kötet, IV. rész Absztrakt harmonikus analízis 5. kötet, I. rész A topologikus integrálelmélet elemei 5. kötet, II. rész

6 I. rész Absztrakt harmonikus analízis 5

7

8 7 BEVEZETÉS Az absztrakt harmonikus analízis a lokálisan kompakt csoportok folytonos unitér ábrázolásainak elmélete. Ez az elmélet felöleli a kommutatív lokálisan kompakt csoportokkal kapcsolatos Fourier-sorok és Fourier-integrálok témakörét vagyis a klasszikus harmonikus analízist, de azon messze túlmutat. Tartalmazza a kompakt speciálisan: véges csoportok folytonos unitér ábrázolásainak elméletét, amelynek fontos alkalmazásai vannak a kvantumfizikai részecskék és részecske-rendszerek elméleti vizsgálatában, valamint a szilárdtestfizikában. Továbbá, részelmélete neki az indukált unitér ábrázolások elmélete, amely lehetővé teszi a kvantummechanikai rendszerek téridőbeli modellezését. Az első fejezetben összefoglaljuk azokat a legfontosabb algebrai jellegű definíciókat és tulajdonságokat, amelyeket a harmonikus analízis kifejtése során felhasználunk. Példákat mutatunk be azokra a csoportokra, amelyekre a harmonikus analízis tételei alkalmazhatók, majd megadjuk a csoportok ábrázolásának fogalmát. Ezek legfontosabb speciális esete a topologikus terekben homeomorfizmusokkal, valamint a Hilbert-terekben unitér operátorokkal való ábrázolások. Bevezetjük a legelemibb unitér ábrázolás-konstrukciókat: az unitér ábrázolások Hilbert-összegzését, tenzorszorzását és konjugálását. Szó lesz az unitér ábrázolások irreducibilitásának és ciklikusságának fogalmáról, és azok kapcsolatáról. Megmutatjuk, hogy minden unitér ábrázolás felbontható ciklikus unitér ábrázolások Hilbert-összegére. Bevezetjük a csoportok algebrai duálisát, amelynek központi jelentősége van a harmonikus analízisben. Végül példát adunk olyan csoportokra, amelyeknek minden véges dimenziós unitér ábrázolása triviális, vagyis minden csoportelemet az identikus operátor reprezentál. Ez rávilágít arra, hogy a csoportok nemtriviális unitér ábrázolásainak vizsgálatához szükségszerű végtelen dimenziós unitér ábrázolásokkal is foglalkoznunk. A második fejezetben a topologikus csoportokkal kapcsolatos legelemibb fogalmakat tárgyaljuk. Kitérünk a topologikus csoportok szétválasztási, valamint a lokálisan kompakt csoportok összefüggőségi tulajdonságaira. Részletesen megvizsgáljuk a lokálisan kompakt csoportok tranzitív folytonos topologikus ábrázolásainak problémáját. Értelmezzük és jellemezzük az unitér ábrázolások folytonosságát, majd bevezetjük a topologikus csoportok topologikus duálisának fogalmát. A harmonikus analízis vizsgálatának leghatékonyabb eszköze a lokálisan kompakt terek feletti Radon-mértékek elmélete. Ennek kellő mélységű kifejtéséhez nélkülözhetetlen néhány elemi tény ismerete a lokálisan kompakt terek feletti folytonos függvények témaköréből; ezeket gyűjtjük egybe a harmadik fejezetben. A negyedik fejezetben a lokálisan kompakt terek feletti Radon-mértékek elemi elméletéről lesz szó. Megvizsgáljuk a Radon-mértékek folytonossági tulajdonságait, és azokat az elemi operációkat, amelyeket Radon-mértékeken végre lehet hajtani: a konjugálást, az abszolútérték-képzést, a folytonos függvénnyel vett szorzást, a folytonos függvény általi kép előállítását, valamint a tenzorszorzást. Bevezetjük a Radon-mérték tartójának fogalmát, és megvilágítjuk a tartó jelentőségét. Értelmezzük a Banach-térbe ható folytonos kompakt tartójú függvények integrálját tetszőleges Radon-mérték szerint, valamint Banach-térbe ható tetszőleges folytonos függvény integrálját kompakt tartójú Radonmérték szerint. Technikai szempontból különös jelentősége lesz a paraméteres integrálok folytonossági tételének, valamint az elemi Lebesgue Fubini-tételnek. Hangsúlyozzuk, hogy itt nem célunk a komplex Radon-mértékek szerinti integrálás általános elméletének kifejtése. Ilyen általános topologikus integrálelmélet létezik a II.

9 8 részben erről lesz szó, de utólag kiderül, hogy arra még a harmonikus analízis egészen mély tételeinek bizonyításában sincs szükség. Itt csak azokra a legelemibb Radonmértékelméleti és integrálelméleti tényekre szorítkozunk, amelyek nélkül a harmonikus analízis alaptételeit nem tudnánk bizonyítani. Azonban vannak az absztrakt harmonikus analízisnek olyan témakörei, amelyekben már a problémák megfogalmazásához is nélkülözhetetlen a topologikus integrálelmélet mélyebb ismerete. A topologikus integrálelmélet fogalmait és eredményeit lényegesen felhasználó pontokat a * szimbólummal különböztetjük meg. Az ötödik fejezetben értelmezzük a lokálisan kompakt csoportok feletti Haar-mértékeket, és igazoljuk ezek létezését és bizonyos értelmű egyértelműségét. Egyidejűleg rámutatunk az invariáns mértékek létezésének ábrázoláselméleti jelentőségére. Egy lokálisan kompakt csoport tranzitív folytonos topologikus ábrázolásának terén adott pozitív nem nulla invaráns Radon-mérték generálja a csoport egy nevezetes unitér ábrázolását, amit reguláris ábrázolásnak nevezünk. Ez a konstrukció lehetőséget ad arra, hogy lokálisan kompakt csoport felett sok nemtriviális folytonos unitér ábrázolást értelmezhessünk. A Haar-mértékek segítségével bevezetjük a lokálisan kompakt csoportok moduláris függvényét és az automorfizmusok modulusát. Kiszámítjuk lokálisan kompakt féldirekt szorzatcsoport bal- és jobboldali Haar-mértékét, valamint moduláris függvényét, továbbá megadjuk néhány konkrét lokálisan kompakt csoport baloldali Haar-mértékét. A hatodik fejezetben a harmonikus analízis legfontosabb tételét tárgyaljuk. Kapcsolatot teremtünk egy lokálisan kompakt csoport összes folytonos unitér ábrázolásainak osztálya, valamint egy a topologikus csoport-struktúra által meghatározott approximatív egységes Banach-*-algebra nemelfajult ábrázolásainak osztálya között. Az itt konstruált Banach-*-algebra a lokálisan kompakt csoport mértékalgebrája. A mértékalgebra előállítása szempontjából döntő jelentősége van a lokálisan kompakt csoport feletti folytonos kompakt tartójú függvények konvolúciójának és a konvolúció algebrai tulajdonságainak. Lokálisan kompakt csoport mértékalgebrája általában nem egységelemes, nem kommutatív és nem C -algebra. Azonban tulajdonságait tekintve annyiban hasonlít a C -algebrákra, hogy approximatív egységes, mint minden C -algebra, és létezik hű ábrázolása, mint minden C -algebrának. A lokálisan kompakt csoport folytonos unitér ábrázolásainak és a mértékalgebrája nemelfajult ábrázolásainak kapcsolatát ismerve bebizonyítjuk a harmonikus analízis elfand Rajkov-tételét, amely szerint lokálisan kompakt csoport felett az irreducibilis folytonos unitér ábrázolások szétválasztják a csoport elemeit. Azt is megmutatjuk, hogy megszámlálható bázisú lokálisan kompakt csoport minden ciklikus folytonos unitér ábrázolása felbontható irreducibilis folytonos unitér ábrázolások alkalmas módon értelmezett Hilbert-integráljára; ez a harmonikus analízis Choquet-tétele. A hetedik fejezetben kompakt csoportok folytonos unitér ábrázolásaival foglalkozunk. Lokálisan kompakt csoport kompaktságát jellemezzük a Haar-mértékek korlátossági tulajdonságával. Bebizonyítunk két nevezetes ortogonalitási relációt kompakt csoport folytonos unitér ábrázolásaira, és megmutatjuk, hogy kompakt csoport irreducibilis folytonos unitér ábrázolásai véges dimenziósak. Megfogalmazunk néhány elemi tételt kompakt csoport folytonos unitér karaktereire. Bevezetjük a kompakt csoport feletti trigonometrikus polinomok terét, és a elfand Rajkov-tétel, valamint a Stone Weierstrass-tétel alkalmazásával megmutatjuk, hogy ez sup-normában sűrű a csoport feletti folytonos komplex függvények terében; ez az első Peter Weyl-tétel. Bebizonyítjuk továbbá a második Peter Weyl-tételt, amely szerint kompakt csoport minden folytonos unitér ábrázolása előáll irreducibilis folytonos unitér ábrázolások Hilbert-összegeként. Konkrétan felírjuk

10 9 kompakt csoport baloldali reguláris ábrázolásának irreducibilis unitér részábrázolásokra való felbontását, amely megmutatja, hogy a csoport minden irreducibilis folytonos unitér ábrázolása a baloldali reguláris ábrázolásnak részábrázolása. Bevezetjük a véges dimenziós unitér ábrázolások karaktereit, és megvizsgáljuk ezek alkalmazhatóságát kompakt csoport topologikus duálisának kiszámításában. A nyolcadik fejezetben áttérünk a klasszikus harmonikus analízis alapproblémájának, vagyis a kommutatív lokálisan kompakt csoportok folytonos unitér ábrázolásainak vizsgálatára. Kommutatív lokálisan kompakt csoport topologikus duálisán bevezetünk egy természetes csoport-műveletet és topológiát, amelyekkel a duális szintén kommutatív lokálisan kompakt csoporttá válik. Értelmezzük a Fourier-transzformációt, amelyről látható lesz, hogy valójában a kommutatív Banach-*-algebrák önadjungált elfandreprezentációjának speciális esete. A kommutatív Banach-*-algebrákra vonatkozó absztrakt Stone-tétel alkalmazásával bebizonyítjuk a harmonikus analízis Stone-tételét, amely szerint kommutatív lokálisan kompakt csoport folytonos unitér ábrázolásai azonosulnak a duális feletti nemelfajult projektorintegrálokkal. Alkalmazzuk a spektrális C - algebrák esetében bizonyított spektráltételt Hilbert-tér folytonos lineáris operátorainak C -algebrájára; így jutunk el a projektorintegrálok és a projektormértékek kapcsolatához. Ennek alapján pontosítjuk a Stone-tételt. Ezután részletesen megvizsgáljuk a Fourier-transzformáció természetes általánosításának lehetőségét, a kommutatív lokálisan kompakt csoporton értelmezett, Banach-térbe vezető, Haar-integrálható függvények terére. Az eddigi eredmények származtatásához nincs szükség a topologikus integrálelméletre, elegendő hozzá a komplex Radon-mértékek elemi elmélete. Azonban a Fourier-féle inverziós-formula megfogalmazásához és bizonyításához nélkülözhetetlen a topologikus integrálelmélet mélyebb ismerete. A szükséges integrálelméleti fogalmak és állítások összefoglalása a Függelékben II. rész megtalálható. Ezek alkalmazásával igazoljuk a klasszikus harmonikus analízis legfontosabb tételeit: a Fourier-féle inverziós tételt, a Plancherel-tételt, valamint a Pontrjagin-féle dualitástételt. A matematikai fizikában természetes módon jelennek meg olyan lokálisan kompakt csoportok, amelyek nem kompaktak és nem kommutatívak, ugyanakkor szükség volna az irreducibilis folytonos unitér ábrázolásaik ismeretére. Ebből a szempontból döntő jelentőségű egy speciális unitér ábrázolás-konstrukció: az indukált unitér ábrázolások konstrukciója. Ezek pontos definíciójához, valamint a legelemibb tulajdonságaik bizonyításához szükség van a lokálisan kompakt csoport feletti Radon-mértékek zárt részcsoport szerinti faktorizációjának elméletére. A mértékfaktorizáció elemi elméletét a kilencedik pontban tárgyaljuk, majd a nyert eredményeket a tizedik pontban alkalmazzuk, amelyben megadjuk az indukált unitér ábrázolások fogalmát, és vizsgáljuk ezek tulajdonságait. Bevezetjük az indukált unitér ábrázoláshoz asszociált imprimitivitás-rendszer fogalmát, és ennek segítségével bebizonyítjuk a Mackey-féle imprimitivitás-tételt, amely jellemzést ad azokra a folytonos unitér ábrázolásokra, amelyek egy adott zárt részcsoport rögzített unitér ábrázolása által indukáltak. Szó lesz az indukált unitér ábrázolások irreducibilitásának kritériumáról, valamint az indukált unitér ábrázolások egy speciális alternatív formájáról. A tizenegyedik fejezetben bebizonyítjuk a harmonikus analízis egyik legmélyebb tételét: a Mackey-féle reprezentációs tételt, amely bizonyos nem kompakt és nem kommutatív lokálisan kompakt csoportok esetében lehetőséget nyújt a csoport topologikus duálisának meghatározására. Végül megemlítjük, hogy itt csak a legáltalánosabb és legelemibb harmonikus analí-

11 10 zisbeli gondolatok bemutatására vállalkozunk. Teljesen kimarad például a Lie-csoportok unitér ábrázolásainak elmélete, az ezekkel kapcsolatos Lie-algebrák ábrázolásainak elmélete, a o arding-tétel, a Kirillov-féle pályamódszer, s.í.t. Egyes speciális csoport-típusok mint például az SLn, R vagy SUn, C mátrixcsoportok ábrázolásainak vizsgálata külön fejezetet igényelne. Nem tárgyaljuk az univerzális fedőcsoportok, a Clifford-csoportok, a Clifford-algebrák és a sugárábrázolások elméletét. Nem térhetünk ki a szimplektikus csoportok Weil-féle reprezentációjának vizsgálatára, valamint a harmonikus analízis analitikus számelméleti alkalmazásaira, például a lokálisan kompakt testek elméletében; és a nem érintett témák sorát vég nélkül lehetne folytatni. Azonban az itt tárgyalt anyag ismerete nélkülözhetetlen a harmonikus analízis speciális témaköreinek megértéséhez.

12 1. fejezet Csoportok ábrázolásai 1.1. Példák csoportokra Először példákat adunk azokra a csoportokra, amelyekkel a harmonikus analízisben foglalkozunk. 1 Ha S egységelemes félcsoport másnéven monoid, akkor az S invertálható elemeinek S halmaza, a félcsoport-művelet S S-re vett leszűkítésével ellátva csoport. Ennek fontos speciális esete az, amikor X halmaz, és S egyenlő az X X függvények F X; X halmazával, amelynek félcsoport-művelete a függvénykompozíció; ekkor F X; X egyenlő az X X bijekciók másnéven az X permutációinak függvénykompozícióval ellátott csoportjával. Ha X halmaz, akkor SX jelöli az X permutációinak függvénykompozícióval ellátott csoportját, és ezt az X halmaz teljes permutációcsoportjának, vagy az X halmaz szimmetrikus csoportjának nevezzük. Ha n N, akkor Sn helyett az S n jelölést is alkalmazzuk. Ha X halmaz, akkor az SX csoport részcsoportjait az X halmaz permutációcsoportjainak nevezzük. 2 Ha X topologikus tér, akkor HX jelöli az X topologikus tér teljes homeomorfizmuscsoportját, vagyis az X X homeomorfizmusok halmazát, a függvénykompozícióval ellátva. Világos, hogy HX részcsoportja az SX teljes permutációcsoportnak, vagyis HX permutációcsoportja az X halmaznak. A HX részcsoportjait az X topologikus tér homeomorfizmuscsoportjainak nevezzük. 3 Ha M sokaság, akkor DiffM jelöli az M sokaság teljes diffeomorfizmuscsoportját, vagyis az M M diffeomorfizmusok halmazát a függvénykompozícióval ellátva. A DiffM részcsoportjait az M sokaság diffeomorfizmuscsoportjainak nevezzük. 4 Ha M, g pszeudoriemann-sokaság, akkor IsoM, g jelöli az M, g teljes izometriacsoportját, tehát IsoM, g : {σ DiffM a M : gσa T a σ T a σ ga}, és IsoM, g csoportművelete a függvénykompozíció. Speciálisan, ha M, g, τ Einstein-sokaság tehát időorientált négydimenziós Lorentz-sokaság, akkor az IsoM, g csoportot az M, g, τ Einstein-sokaság Einstein-csoportjának nevezzük, és EM, g, τ- vel jelöljük. Ekkor SEM, g, τ jelöli az EM, g, τ csoportnak azt a részcsoportját, amelynek elemei megtartják a τ időorientációt. Ezt a csoportot nevezzük az Einsteinsokaság speciális Einstein-csoportjának. 5 Ha E vektortér, akkor LE jelöli az E vektortér teljes lineáris csoportját, vagyis 11

13 12 1. CSOPORTOK ÁBRÁZOLÁSAI az E E lineáris bijekciók halmazát, a függvénykompozícióval ellátva. Ha K test és n N, akkor a LK n helyett a Ln, K szimbólumot alkalmazzuk. Ha K test, akkor a L1, K csoport kanonikusan azonosítható a K test multiplikatív csoportjával, vagyis a K \{0} halmazzal, amelynek művelete a K szorzásának K \{0} K \{0}-ra vett leszűkítése. Ezt a nevezetes csoportot néha a K szimbólummal jelölik. 6 Ha E véges dimenziós vektortér a K test felett, akkor a det : LE K determináns-függvény csoport-morfizmus, és SLE jelöli az E vektortér speciális lineáris csoportját, vagyis SLE : {u LE detu 1}. Ha K test és n N, akkor az SLK n jelölés helyett az SLn, K szimbólumot alkalmazzuk. 7 Legyen E vektortér és X E; ekkor LE, X : {u LE u X X}; ez részcsoportja LE-nek. Ha K test és n N, akkor a LK n, X jelölés helyett az Ln, K, X szimbólumot alkalmazzuk. Ilyen alakú csoportok, illetve ezek bizonyos részcsoportjai gyakran megjelennek a kristályszimmetriák elméletében. 8 Legyen E vektortér, Z halmaz és g : E E Z tetszőleges függvény; ekkor OE, g : {u LE g u u g}; ez részcsoportja LE-nek. Ezt a csoportot az E vektortér g-ortogonális csoportjának nevezzük. Ha E véges dimenziós, akkor SOE, g : {u OE, g detu 1}; ezt a csoportot az E vektortér speciális g-ortogonális csoportjának nevezzük. néhány speciális esetről lesz szó. Most Legyen E valós vektortér, és g : E E R skalárszorzás E felett, vagyis g pozitív definit szimmetrikus bilineáris funkcionál. Ekkor tekinthető az OE, g illetve véges dimenziós E esetén az SOE, g g-ortogonális illetve speciális g-ortogonális csoport. Ha n N, akkor On, R illetve SOn, R jelöli az R n R n R; x k k n, y k k n k n x k y k euklidészi skalárszorzás által meghatározott ortogonális illetve speciális ortogonális csoportot. A definíció szerint egy R j,k j,k n n n n-es valós mátrix pontosan akkor eleme On, R-nek, ha minden j, k n esetén R k,i R j,i. i n R i,j R i,k δ j,k i n Legyen E komplex vektortér és g : E E C skalárszorzás E felett, vagyis g pozitív definit hermitikus konjugált bilineáris funkcionál. Ekkor tekinthető az OE, g illetve véges dimenziós E esetén az SOE, g g-ortogonális illetve speciális g-ortogonális csoport. Az OE, g csoportot az E, g prehilbert-tér unitér csoportjának nevezzük és UE, g-vel jelöljük illetve véges dimenziós E esetén az SOE, g csoportot az E, g prehilbert-tér speciális unitér csoportjának nevezzük és SUE, g-vel jelöljük. Ha n N, akkor Un, C illetve SUn, C jelöli a C n C n C; x k k n, y k k n k n x k y k

14 1.1. PÉLDÁK CSOPORTOKRA 13 euklidészi skalárszorzás által meghatározott untiér illetve speciális unitér csoportot. A definíció szerint egy U j,k j,k n n n n-es komplex mátrix pontosan akkor eleme Un, C-nek, ha minden j, k n esetén U k,i U j,i. i n U i,j U i,k δ j,k i n Legyen E legalább kétdimenziós valós vektortér, és g : E E R Lorentz-forma E felett, vagyis g olyan szimmetrikus bilineáris funkcionál, amelyhez létezik olyan S E homogén hipersík, valamint olyan T E egydimenziós lineáris altér, hogy T S E és a g T T : T T R és g S S : S S R leképezések skalárszorzások, valamint T és S egymásra g-ortogonálisak. Ekkor az OE, g illetve véges dimenziós E esetében az SOE, g csoportot g-lorentz-csoportnak illetve speciális g-lorentzcsoportnak nevezzük. Ha n N, akkor a g : R n+1 R n+1 R; x µ µ n+1, y ν ν n+1 x 0 y 0 + n x µ y µ standard Lorentz-forma szerinti Lorentz csoportnak a Λ µ,ν µ,ν n+1 n+1 valós együtthatós n + 1 n + 1-es mátrix pontosan akkor eleme, ha minden µ, ν n + 1 esetén n α,0 Λ α,µ α, Λ,ν µ,ν teljesül, ahol µ,ν µ,ν n+1 n+1 az az n + 1 n + 1-es valós diagonális mátrix, amelyre 0,0 1 és minden 1 µ n esetén µ,µ 1. Legyen E {0} véges dimenziós valós vektortér, E az E algebrai duálisa vagyis az E feletti lineáris funkcionálok vektortere, és ω E : E E E E R; q, p, q, p p q pq az ún. standard szimplektikus forma E E felett. Ekkor ω E nemelfajult antiszimmetrikus bilineáris funkcionál E E felett, és az OE E, ω E csoportot az E vektortér szimplektikus csoportjának nevezzük, és az SpE szimbólummal jelöljük. 9 Legyen E affin tér az E vektortér felett. Ekkor AffE : {u SE u LE x E x E : ux ux ux x}, vagyis AffE elemei az E E affin bijekciók. AffE részcsoportja az SE teljes permutációcsoportnak, és ezt az E affin tér teljes affin csoportjának nevezzük. Ha u AffE, akkor egyetlen olyan u LE létezik, amelyre minden x, x E esetén ux ux ux x teljesül; ezt a lineáris bijekciót Du jelöli. Világos, hogy az µ1 AffE LE; u Du leképezés csoport-morfizmus. Ha n N és K test, akkor K n természetes módon ellátható affin struktúrával a K n vektortér felett; ekkor az AffK n jelölés helyett az Affn, K szimbólumot alkalmazzuk. 10 Legyen E affin tér az E vektortér felett és H részcsoportja LE-nek. Ekkor AffE, H : {u AffE Du H}.

15 14 1. CSOPORTOK ÁBRÁZOLÁSAI Világos, hogy AffE, H részcsoportja AffE-nek. A speciális nemrelativisztikus téridő-modell, valamint a speciális relativisztikus téridő-modell automorfizmuscsoportjai ilyen alakú csoportok; az előbbit alilei-csoportnak, míg az utóbbit Poincaré-csoportnak nevezzük. 11 Példa néhány nevezetes véges csoportra. Legyen n N rögzített. C n jelöli az n-ed rendű ciklikus csoportot, tehát C n az a csoport-izomorfia erejéig egyértelműen meghatározott csoport, amelynek van olyan a n-ed rendű eleme, hogy {a} generátorhalmaz C n -ben. Könnyen látható, hogy C n {e, a, a 2,..., a n 1 } és CardC n n. A C n csoport realizálható úgy, mint a Z/nZ faktorgyűrű additív csoportja, vagy mint C-ben az n-edik egységgyökök U n multiplikatív csoportja. A n jelöli az n indexű alternáló csoportot, tehát ha ε jelöli az S n szimmetrikus csoport szignatúra-függvényét, akkor A n : {σ S n εσ 1}. Az A n csoport elemeit az n ciklikus permutációinak nevezzük. D n jelöli az n indexű diéder csoportot, tehát D n az a csoport-izomorfia erejéig egyértelműen meghatározott csoport, amelynek léteznek olyan a és b elemei, hogy a n-ed rendű, b másodrendű, bab a n 1, és {a, b} generátorhalmaz D n -ben. Könnyen látható, hogy D n {e, a, a 2,..., a n 1, b, ba, ba 2,..., ba n 1 } és CardD n 2n. A D n csoport realizálható úgy, mint O2, R L2, R, X 7. példa, ahol X : {cos2πk/n, sin2πk/n R 2 k n}. Q n jelöli az n indexű kvaternió-csoportot, tehát Q n az a csoport-izomorfia erejéig egyértelműen meghatározott csoport, amelynek léteznek olyan a és b elemei, hogy a 2n-ed rendű, b negyedrendű, bab a 2n 1, b 2 a n, és az {a, b} halmaz generátorhalmaz Q n -ben. Legyen X : {0, 1} 3 és O : SO3, R L3, R, X 7. példa; ezt a csoportot oktaéder-csoportnak nevezzük. Az O csoport morfikusan beinjektálható az S 8 teljes permutációcsoportba, és könnyen kiszámíthatók az elemei. Kiderül, hogy O-nak 24 eleme van. Legyen X : { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1} és ismét T : SO3, R L3, R, X 7. példa; ezt a csoportot tetraéder-csoportnak nevezzük. A T csoport morfikusan beinjektálható az S 4 teljes permutációcsoportba és könnyen kiszámíthatók az elemei. Kiderül, hogy T-nek 12 eleme van Csoportok ábrázolásai Jelölések. Legyen csoport. A neutrális elemét e jelöli, vagy ha világos, hogy melyik csoport neutrális eleméről van szó, akkor az e jelet alkalmazzuk. A csoport műveletét rendszerint szorzással kommutatív esetben összeadással jelöljük. Előfordul, hogy a ; s, t st csoportműveletet a p, és a ; s s 1 csoport-inverziót az i szimbólummal jelöljük.

16 1.2. CSOPORTOK ÁBRÁZOLÁSAI 15 Minden s esetén a következő függvény-jelöléseket alkalmazzuk. γ s : ; t st, δ s : ; t ts 1, Int s : ; t sts 1, tehát Int s γ s δ s δ s γ s. Ha s, akkor Int s automorfizmusa a csoportnak, és ezt az s elem által meghatározott belső automorfizmusnak nevezzük. A csoport teljes automorfizmuscsoportját Aut jelöli, és Int : {Int s s }, vagyis Int a belső automorfizmusainak csoportja. Ha H részcsoport, akkor /H jelöli a H szerinti baloldali mellékosztályok halmazát, tehát /H : {sh s }, és π /H jelöli a /H; s sh kanonikus szürjekciót. Továbbá, minden s esetén γ /H s jelöli azt a /H /H bijekciót, amelyre γ /H s π /H π /H γ s Definíció. Azt mondjuk, hogy γ ábrázolása vagy reprezentációja a csoportnak az X halmazban, ha γ : SX csoport-morfizmus. Legyen γ ábrázolása a csoportnak az X halmazban. Az X halmazt a γ ábrázolás terének nevezzük. Minden s esetén a γs : X X bijekciót az s csoportelemet γ szerint ábrázoló operátornak nevezzük. Ha x X, akkor a γ x : X; s γsx függvényt az x ponthoz tartozó γ-orbitális függvénynek, továbbá az Imγ x {γsx s } halmazt az x pont γ-pályájának nevezzük. Ha x X, akkor a γ,x : {s γsx x} halmazt az x pont γ szerinti stabilitáscsoportjának nevezzük. Azt mondjuk, hogy a γ ábrázolás tranzitív, ha létezik olyan x X pont, amelynek a γ szerinti pályája egyenlő X-szel, vagyis {γsx s } X. Megjegyzések. Legyen γ ábrázolása a csoportnak az X halmazban. 1 Ha x X, akkor a γ,x stabilitás-csoport nyilvánvalóan részcsoportja -nek, és létezik egyetlen olyan γ x : / γ,x X függvény, hogy γ x π /γ,x γ x ; ez a γ x függvény bijekció / γ,x és Im γ x vagyis az x pont γ-pályája között. 2 Ha x X, akkor minden s esetén γ x γ s γs γ x, ezért a γ x : / γ,x X injekció olyan, hogy minden s esetén γ x γ /γ,x s γs γ x. 3 Ha x 1, x 2 X és s olyan, hogy x 2 γsx 1, akkor a γ,x1 és γ,x2 stabilitás-csoportok az Int s belső automorfizmus által izomorfak, vagyis fennáll az Int s γ,x1 γ,x2 egyenlőség. Példák csoportábrázolásokra. 1 Ha csoport, akkor γ és δ injektív és tranzitív ábrázolásai a csoportnak a halmazban. Ha csoport és H részcsoportja -nek, akkor γ /H tranzitív ábrázolása -nek a /H halmazban; ez az ábrázolás H esetén nem injektív. 2 Legyenek N és H csoportok, továbbá τ : H AutN csoport-morfizmus. Az N H halmazon értelmezzük a műveletet úgy, hogy n, h, n, h N H esetén n, h n, h : nτ h n, hh.

17 16 1. CSOPORTOK ÁBRÁZOLÁSAI Könnyen ellenőrizhető, hogy csoportművelet az N H halmaz felett. Az N H halmazt a művelettel ellátva az N és H csoportok τ szerinti féldirekt szorzatának nevezzük, és a N H szimbólummal jelöljük. Világos, hogy az τ N H SN; τ n, h τ h leképezés ábrázolása az N H csoportnak az N halmazban. τ 3 Legyen E vektortér és X E. Ekkor a LE, X SX; u u X leképezés ábrázolása a csoportnak az X halmazban; ezt nevezzük a LE, X csoport önábrázolásának. Ha részcsoportja LE, X-nek, akkor a LE, X önábrázolásának -re vett leszűkítése ábrázolása -nek az X halmazban; ezt a csoport önábrázolásának nevezzük Definíció. Legyen csoport. Azt mondjuk, hogy γ topologikus ábrázolása a csoportnak az X topologikus térben, ha X topologikus tér, és γ olyan ábrázolása a csoportnak az X halmazban, amelyre minden s esetén a γs : X X ábrázoló operátor folytonos. Azt mondjuk, hogy V lineáris ábrázolása a csoportnak az E vektortérben, ha E vektortér, és V olyan ábrázolása a csoportnak az E halmazban, amelyre minden s esetén a V s : E E ábrázoló operátor lineáris. Azt mondjuk, hogy V unitér ábrázolása a csoportnak a H Hilbert-térben, ha H Hilbert-tér, és V olyan ábrázolása a csoportnak a H halmazban, amelyre minden s esetén V s : H H ábrázoló operátor lineáris izometria vagy ami ugyanaz: skalárszorzás-tartó lineáris operátor. Megjegyzések. Legyen csoport. 1 Ha γ topologikus ábrázolása a csoportnak az X topologikus térben, akkor minden s esetén a γs : X X ábrázoló operátor homeomorfizmus, hiszen a hipotézis alapján a γ s 1 γ s 1 : X X függvény is folytonos. Ez azt jelenti, hogy a csoport topologikus ábrázolásai az X topologikus térben éppen a HX csoportmorfizmusok, ahol HX az X topologikus tér teljes homeomorfizmuscsoportja. 2 Ha V lineáris ábrázolása a csoportnak az E vektortérben, akkor minden s esetén a V s : E E ábrázoló operátor lineáris bijekció, hiszen a hipotézis alapján a V s 1 V s 1 : E E függvény is lineáris. Ez azt jelenti, hogy a csoport lineáris ábrázolásai az E vektortérben éppen a LE csoport-morfizmusok. Ha az E vektortér véges dimenziós, akkor a dime számot a V lineáris ábrázolás dimenziójának nevezzük, és gyakran dimv -vel jelöljük. 3 Ha V unitér ábrázolása a csoportnak a H Hilbert-térben, akkor minden s esetén a V s : H H ábrázoló operátor unitér, hiszen a hipotézis alapján a V s 1 V s 1 : H H függvény is lineáris izometria. Ez azt jelenti, hogy a csoport unitér ábrázolásai a H Hilbert-térben éppen a UH csoportmorfizmusok, ahol UH a H Hilbert-tér unitér operátorainak csoportja. Legyen H prehilbert-tér, és V olyan lineáris ábrázolása a csoportnak a H vektortérben, amelyre minden s esetén a V s : H H operátor izometria vagy ami ugyanaz: skalárszorzás-tartó lineáris operátor. Jelölje Ĥ a H teljes burkát. Ha

18 1.3. UNITÉR ÁBRÁZOLÁSOK HILBERT-ÖSSZEE 17 s, akkor a V s : H Ĥ folytonos lineáris operátor egyértelműen kiterjeszthető Ĥ Ĥ folytonos lineáris operátorrá. Jelölje V : L Ĥ azt a függvény, amely minden s-hez hozzárendeli a V s folytonos lineáris kiterjesztését Ĥ -ra. Ekkor V unitér ábrázolása a csoportnak a Ĥ Hilbert-térben, hiszen minden s esetén az egyenlőségek folytatásának elve alapján a V s operátor is izometria, ezért Im V s zárt Ĥ -ban és Im V s ImV s H, vagyis Im V s sűrű is Ĥ -ban, azaz V s UĤ. Ezt a V unitér ábrázolást a V lineáris ábrázolás teljesítésének nevezzük. A harmonikus analízisben nagyon gyakori ez a konstrukció, amit a két következő állítás is illusztrál Unitér ábrázolások Hilbert-összege Állítás. Legyen V i a csoport unitér ábrázolásainak tetszőleges rendszere, és minden I i-re jelölje H i a V i ábrázolás terét. Ekkor a H i H i C; ζ i, η i ζ i η i leképezés skalárszorzás a H i vektortér felett, és minden s esetén a V i s : H i H i ; ζ i V i sζ i leképezés olyan lineáris bijekció, amely megtartja a fenti skalárszorzást. Továbbá, a V i : L H i ; s V i s leképezés lineáris ábrázolása a csoportnak a H i vektortérben Definíció. Legyen V i a csoport unitér ábrázolásainak tetszőleges rendszere, és minden I i-re jelölje H i a V i ábrázolás terét. Ekkor az előző állításban értelmezett V i lineáris ábrázolás teljesítését a V i unitér ábrázolás-rendszer Hilbertösszegének nevezzük, és a bevezetett jelöli, és ezt a Hilbert-teret a H i nevezzük. V i H i prehilbert-tér teljes burkát, vagyis a 1.4. Unitér ábrázolások tenzorszorzata szimbólummal jelöljük; továbbá az előző állításban V i unitér ábrázolás terét H i Hilbert-tér-rendszer Hilbert-összegének A következő állításban felhasználjuk a vektorterek véges rendszere rendezetlen algebrai tenzorszorzatának értelmezését és néhány alaptulajdonságát. Ezeket most röviden összefoglaljuk. Ebben a bekezdésben E i a K test feletti vektortereknek tetszőleges véges rendszerét fogja jelölni. Az E i rendszer rendezetlen algebrai tenzorszorzatának nevezünk minden olyan E, m párt, amelyre teljesül az, hogy E vektortér a K test felett és m : E i E olyan

19 18 1. CSOPORTOK ÁBRÁZOLÁSAI multilineáris operátor, hogy minden K feletti F vektortérhez és minden u : E i F multilineáris operátorhoz létezik egyetlen olyan ũ : E F lineáris operátor, hogy ũ m u. Az E i rendszernek létezik tenzorszorzata. Ehhez jelölje minden I i-re Ei az E i vektortér algebrai duálisát, vagyis az E i K lineáris funkcionálok vektorterét. Jelölje továbbá Mult Ei ; K a Ei K multilineáris funkcionálok vektorterét. Minden x i esetén értelmezzük a x i : Ei K; u i u i x i leképezést, amelyre nyilvánvalóan teljesül az, hogy x i Mult Ei ; K. Ekkor a : E i Mult Ei ; K ; x i x i leképezés multilineáris, és ha E i jelöli a leképezés értékkészlete által generált lineáris alteret a Mult Ei ; K vektortérben, akkor igazolható, hogy az E i, pár tenzorszorzata az E i vektortér-rendszernek. A E i vektortér elemeit tenzoroknak nevezzük és a multilineáris operátor értékkészletének elemeit felbontható tenzoroknak nevezzük. Láthatóan minden tenzor előáll véges sok felbontható tenzor összegeként. A tenzorszorzat abban az értelemben egyértelmű, hogy ha az E, m és E, m párok mindketten tenzorszorzatai az E i vektortér-rendszernek, akkor létezik egyetlen olyan v : E E lineáris bijekció, amelyre v m m. Azonban a tenzorszorzat általában nem egyértelmű, mert ha E, m tenzorszorzata az E i vektortér-rendszernek és E olyan vektortér K felett, amely izomorf E-vel és v : E E tetszőleges lineáris bijekció, akkor az E, v m pár szintén tenzorszorzata az E i vektortér-rendszernek, és ez általában különbözik az E, m pártól. Az E i vektortér-rendszer minden konkrét tenzorszorzatát a tenzorszorzat realizációjának nevezzük. Azt imént bevezetett E i, konkrét realizációt a tenzorszorzat standard realizációjának nevezzük. De rendszerint az E i vektortér-rendszer tetszőleges E, m tenzorszorzatát is a E i, szimbólummal jelöljük és x i E i esetén az mx i elemet is x i jelöli. Ebből általában nem származik semmiféle félreértés, és abból sem, ha a E i vektorteret nevezzük az E i vektortér-rendszer tenzorszorzatának a E i, pár helyett. De lényeges látni, hogy a tenzorszorzat fogalmához elválaszthatatlanul hozzátartozik a multilineáris operátor is. Legyen F i is K feletti vektortereknek tetszőleges rendszere és legyen u i olyan rendszer, hogy minden i I esetén u i : E i F i lineáris operátor. Ekkor létezik

20 1.4. UNITÉR ÁBRÁZOLÁSOK TENZORSZORZATA 19 egyetlen olyan u i : E i F i lineáris operátor, amelyre teljesül az, hogy minden x i E i esetén u i x i u i x i. Ezt a lineáris operátort, az u i operátor-rendszer tenzorszorzatának nevezzük. Egyszerűen belátható, hogy ha i is a K test feletti vektortereknek tetszőleges rendszere és v i olyan rendszer, hogy minden i I esetén v i : F i i lineáris operátor, akkor fennáll a v i egyenlőség. u i v i u i Állítás. Legyen V i a csoport unitér ábrázolásainak tetszőleges véges rendszere, és minden I i-re jelölje H i a V i ábrázolás terét. Ekkor a H i algebrai tenzorszorzat felett egyértelműen létezik olyan skalárszorzás, amelyre teljesül az, hogy minden ζ i, η i H i esetén ζ i η i ζ i η i. Továbbá, minden s esetén létezik egyetlen olyan V i s : H i H i lineáris operátor, amelyre minden H i ζ i -ra Minden s esetén V i s ζ i V i sζ i. V i s L H i és ez az operátor megtartja a fenti skalárszorzást. Továbbá, a V i : L H i ; s V i s leképezés lineáris ábrázolása a csoportnak a H i vektortérben. Bizonyítás. Legyen η i H i rögzített elem, és tekintsük a H i C; ζ i ζ i η i leképezést. Ez multilineáris funkcionál, így a tenzorszorzat értelmezése alapján létezik egyetlen olyan τ ηi : H i C

21 20 1. CSOPORTOK ÁBRÁZOLÁSAI lineáris funkcionál, amelyre teljesül az, hogy minden ζ i H i esetén τ ηi ζ i ζ i η i. Könnyen ellenőrizhető, hogy minden H i t-re a H i C; η i τ ηi t leképezés multilineáris funkcionál, egyetlen olyan így a tenzorszorzat értelmezése alapján létezik σ t : H i C lineáris funkcionál, amelyre teljesül az, hogy minden η i H i esetén σ t η i τ ηi t. Könnyen ellenőrizhető, hogy ekkor a : H i H i C; t, t σ t t leképezés olyan konjugált bilineáris funkcionál, amelyre teljesül az, hogy minden ζ i, η i H i esetén ζ i η i ζ i η i. A leképezés pozitív definitivitásának bizonyításához legyen t H i rögzített elem: azt fogjuk igazolni, hogy t t R +, és t t 0 esetén t 0. A tenzorszorzat tulajdonságai alapján van olyan A véges halmaz és minden I i-hez létezik olyan ζ i,α α A rendszer H i -ben, hogy t ζ i,α. α A Minden i I esetén a ζ i,α α A véges rendszer által generált véges dimenziós H i -beli lineáris altérhez van olyan η i,i i B i véges ortonormált rendszer, amely ugyanazt a lineáris alteret generálja, mint a ζ i,α α A rendszer. Ekkor minden I i-hez és A α- hoz egyértelműen létezik olyan c i,α,i i B i rendszer C-ben, amelyre ζ i,α c i,α,i η i,i. i B i Ekkor a : H i H i operátor multilinearitása miatt t α A ζ i,α α A B c i,α,i η i,i

22 1.4. UNITÉR ÁBRÁZOLÁSOK TENZORSZORZATA 21 teljesül, ahol B : B i. A két szummázás sorrendjét felcserélve ebből következik, hogy t d η i,i, B ahol minden B -ra d : c i,α,i C. A leképezés alaptulajdonsága, valamint minden i I esetén a H i -ben haladó η i,i i B i α A rendszer ortonormalitása alapján kapjuk, hogy minden B, -re η i,i η i, i ηi,i η i, i δ i, i δ,, ahol δ a Kronecker-deltát jelöli. Ebből következik, hogy t t d d η i,i η i, i B B d d δ, d 2. B B B Ebből azonnal látható, hogy t t R +, és t t 0 esetén minden B -ra d 0, tehát t d η i,i 0. B Ezzel megmutattuk, hogy az itt bevezetett : H i H i C leképezés olyan skalárszorzás a H i komplex vektortér felett, amelyre teljesül az, hogy minden ζ i, η i H i esetén ζ i η i ζ i η i. Tekintettel arra, hogy a felbontható tenzorok véges összegei kiadják a H i vektorteret, a skalárszorzás biadditivitása következtében egyértelműen van meghatározva ezzel a feltétellel. A továbbiakban a H i komplex vektorteret ezzel a skalárszorzással ellátva prehilbert-térnek fogjuk tekinteni. Ha u i olyan rendszer, hogy minden esetén u i : H i H i skalárszorzás-tartó leképezés, akkor ezek u i algebrai tenzorszorzata olyan H i H i lineáris operátor, amely megtartja a skalárszorzást, mert minden ζ i, η i H i esetén u i ζ i u i η i : u i ζ i u i η i

23 22 1. CSOPORTOK ÁBRÁZOLÁSAI ζ i η i : ζ i η i, u i ζ i u i η i így minden t, t H i esetén ut u t t t. Speciálisan, ha minden I i-re u i : H i H i skalárszorzás-tartó bijekció, akkor a u i : H i skalárszorzás-tartó bijekció. Az állítás többi része már nyilvánvaló. H i operátor is Definíció. Legyen V i a csoport unitér ábrázolásainak tetszőleges véges rendszere, és minden I i-re jelölje H i a V i ábrázolás terét. Ekkor az előző állításban értelmezett V i lineáris ábrázolás teljesítését a V i unitér ábrázolás-rendszer tenzorszorzatának nevezzük, és a állításban bevezetett V i szimbólummal jelöljük; továbbá az előző H i prehilbert-tér teljes burkát, vagyis a V i unitér ábrázolás terét H i jelöli, és ezt a Hilbert-teret a H i Hilbert tér-rendszer tenzorszorzatának nevezzük Unitér ábrázolás konjugáltja Definíció. Konjugálásnak nevezünk a H Hilbert-tér felett minden olyan C : H H konjugált-lineáris operátort, amelyre teljesül az, hogy C C id H, és minden H ζ, η-ra Cζ Cη η ζ. Ha V unitér ábrázolása a csoportnak a H Hilberttérben, és C konjugálás H felett, akkor a CV C : UH ; s C V s C függvényt a V unitér ábrázolás C-konjugáltjának nevezzük, és a V C szimbólummal jelöljük. Ez nyilvánvalóan szintén unitér ábrázolása a csoportnak a H Hilbert-térben. Megjegyezzük, hogy minden Hilbert-tér felett létezik konjugálás. Valóban, legyen H Hilbert-tér és B H ortonormált bázishalmaz. Jelölje R B a B halmaz véges részhalmazainak halmazgyűrűjét, valamint µ : R B R + a számláló-mértéket. Ekkor a W B : H L 2 CB, R B, µ; ζ ζ b b B leképezés unitér operátor, továbbá az L 2 C B, R B, µ Hilbert-tér felett létezik egy kitüntetett konjugálás, ti. a C B : L 2 CB, R B, µ L 2 CB, R B, µ; f f leképezés. Ekkor a W 1 B C B W B : H H leképezés nyilvánvalóan konjugálás a H Hilbert-tér felett. Azonban ez a konjugálás lényegesen függ a B választásától. Pontosabban: ez az az egyetlen konjugálás a H Hilbert-tér felett, amely a B ortonormált bázishalmazon egyenlő az identikus függvénnyel. Ezért bármely csoport, bármely unitér ábrázolásának létezik konjugáltja, de általában nem egyetlen konjugált létezik. Azonban egy unitér ábrázolás bármely két konjugáltja egymással unitér ekvivalens, mert ha V unitér ábrázolása a csoportnak a H Hilberttérben, és C 1, C 2 : H H konjugálások H felett, akkor minden s-re C 1 C 2 C 2 V s C 2 C 1 V s C 1 C 1 C 2, hiszen C 2 C 2 id H C 1 C 1, továbbá, a definíció alapján C 1 C 2 : H H unitér operátor Definíció. A csoport V unitér ábrázolását önduálisnak nevezzük, ha V unitér ekvivalens valamelyik tehát mindegyik konjugáltjával.

24 1.6. UNITÉR ÁBRÁZOLÁSOK FÉLDIREKT SZORZATA Unitér ábrázolások féldirekt szorzata Állítás. Legyen N H féldirekt szorzat, és jelölje j N : N N H; n n, e H, τ illetve j H : H N H; h e N, h a kanonikus injekciót. a Ha V unitér ábrázolása az N H csoportnak a H Hilbert-térben, akkor V N : V j N τ unitér ábrázolása N-nek H -ban, és V H : V j H unitér ábrázolása H-nak H -ban, és minden n, h N H esetén valamint V H hv N nv H h 1 V N τ h n, V n, h V N nv H h. b Megfordítva, ha V N unitér ábrázolása N-nek a H Hilbert-térben, és V H unitér ábrázolása H-nak H -ban, és minden n, h N H esetén fennáll az egyenlőség, akkor a V H hv N nv H h 1 V N τ h n V : N H UH ; n, h V N nv H h, definícióval értelmezett leképezés olyan unitér ábrázolása az N H csoportnak a H τ Hilbert-térben, amelyre V j N V N és V j H V H. Bizonyítás. a A j N és j H kanonikus injekciók csoport-morfizmusok, ezért V N és V H unitér ábrázolások ugyanabban a H Hilbert-térben. Könnyen ellenőrizhető, hogy minden n, h N H esetén e N, hn, e H e N, h 1 τ h n, e H, n, h n, e H e N, h ezért valamint V H hv N nv H h 1 : V e N, hv n, e H V e N, h 1 V e N, hn, e H e N, h 1 V τ h n, e H : V N τ h n, V n, h V n, e H e N, h V n, e H V e N, h : V N nv H h. b A V N e N id H V H e H egyenlőségek alapján világos, hogy V e N, e H id H, valamint V j N V N és V j H V H teljesül, ezért csak a V multiplikativitását kell ellenőrizni. Ha n, h, n, h N H, akkor az N H csoport-szorzásának értelmezése τ alapján V n, h, n, h : V nτ h n, hh : V N nτ h n V H hh 1 1 V N nv N τ h n V H hv H h 2 V N nv H hv N n V H h 1 V H hv H h V N nv H hv N n V H h : V n, hv n, h, ahol az 1 egyenlőségnél kihasználtuk a V N és V H ábrázolások multiplikativitását és az 2 egyenlőségnél a V N és V H között előírt kommutációs relációt alkalmaztuk.

25 24 1. CSOPORTOK ÁBRÁZOLÁSAI Tehát, ha N H féldirekt szorzat és H Hilbert-tér, akkor a τ V V j N, V j H leképezés bijekció az N H csoport H -ban megvalósuló unitér ábrázolásainak halmaza τ és azon V N, V H párok halmaza között, amelyekre V N unitér ábrázolása N-nek H -ban, és V H unitér ábrázolása H-nak H -ban, és minden n, h N H esetén fennáll a V H hv N nv H h 1 V N τ h n egyenlőség, amit Weyl-féle felcserélési-relációnak is nevezünk Definíció. Ha N H féldirekt szorzat, V N unitér ábrázolása N-nek a H Hilberttérben, V H unitér ábrázolása H-nak a H Hilbert-térben és minden n, h N H esetén τ fennáll az V H hv N nv H h 1 V N τ h n egyenlőség, akkor az N H UH ; n, h V N nv H h unitér ábrázolást a V N V H szimbólummal jelöljük, és ezt a V N és V H unitér ábrázolások τ τ-szerinti féldirekt szorzatának nevezzük Összekötő operátorok és irreducibilitás Most értelmezzük a csoportábrázolások egymással való kapcsolatainak fogalmát Definíció. Legyen γ 1 illetve γ 2 ábrázolása a csoportnak az X 1 illetve X 2 halmazban. Azt mondjuk, hogy a σ : X 1 X 2 függvény összeköti a γ 1 és γ 2 ábrázolásokat, ha minden s esetén γ 2 s σ σ γ 1 s. Azt mondjuk, hogy a γ 1 és γ 2 ábrázolások ekvivalensek, ha létezik olyan σ : X 1 X 2 bijekció, amely öszeköti a a γ 1 és γ 2 ábrázolásokat. Legyen γ 1 illetve γ 2 topologikus ábrázolása a csoportnak az X 1 illetve X 2 topologikus térben. Azt mondjuk, hogy a γ 1 és γ 2 topologikus ábrázolások topologikusan ekvivalensek, ha létezik olyan σ : X 1 X 2 homeomorfizmus, amely öszeköti a a γ 1 és γ 2 ábrázolásokat. Legyen V 1 illetve V 2 unitér ábrázolása a csoportnak a H 1 illetve H 2 Hilberttérben. Ekkor CV 1 ; V 2 : {u L H 1 ; H 2 s : V 2 s u u V 1 s}, tehát CV 1 ; V 2 a V 1 és V 2 ábrázolásokat összekötő folytonos lineáris operátorok halmaza. Azt mondjuk, hogy a V 1 és V 2 unitér ábrázolások unitér ekvivalensek, ha CV 1 ; V 2 tartalmaz unitér operátort, vagyis ha létezik olyan u : H 1 H 2 unitér operátor, hogy minden s-re V 2 s u u V 1 s. Azt mondjuk, hogy a V 1 és V 2 unitér ábrázolások diszjunktak vagy ortogonálisak, ha CV 1 ; V 2 {0}.