Reprezentace (grupa)

ikona
Tento článek není dostatečně ozdrojován, a může tedy obsahovat informace, které je třeba ověřit.
Jste-li s popisovaným předmětem seznámeni, pomozte doložit uvedená tvrzení doplněním referencí na věrohodné zdroje.

Reprezentace grupy G je (homo)morfismus G A u t ( V ) {\displaystyle G\to Aut(V)} , kde V je vektorový prostor a A u t ( V ) {\displaystyle Aut(V)} grupa invertibilních lineárních zobrazení V V {\displaystyle V\to V} s operací skládání. Za předpokladu, že jde o prostor konečné dimenze a máme zvolenou bázi prostoru V {\displaystyle V} lze reprezentaci chápat jako homomorfizmus G do prostoru matic. Pokud je homomorfizmus dán, je prostor V {\displaystyle V} označován jako reprezentace G.

Ekvivalentně se říká, že V {\displaystyle V} je G-modul, neboli G {\displaystyle G} má akci na V {\displaystyle V} .

Pokud V {\displaystyle V} je topologický vektorový prostor a G {\displaystyle G} je topologická grupa, je požadováno, aby indukované zobrazení (akce) V × G V {\displaystyle V\times G\to V} bylo spojité.

Příklad

Nechť G = S 3 {\displaystyle G=S_{3}} je grupa permutací tříprvkové množiny. Pak můžeme definovat reprezentaci G na R 2 {\displaystyle \mathbb {R} ^{2}} takto: identitě přiřadíme identické zobrazení na R 2 {\displaystyle \mathbb {R} ^{2}} , cyklu (123) přiřadíme otočení o 120 {\displaystyle 120^{\circ }} , cyklu (132) otočení o 240 , {\displaystyle 240^{\circ },} transpozici (12) zrcadlení kolem osy y {\displaystyle y} , transpozici (13) zrcadlení kolem osy se směrem 3 / 2 , 1 / 2 {\displaystyle \langle -{\sqrt {3}}/2,1/2\rangle } a transpozici (23) zrcadlení kolem osy se směrem 3 / 2 , 1 / 2 {\displaystyle \langle {\sqrt {3}}/2,1/2\rangle } . Tato reprezentace ilustruje fakt, že S 3 {\displaystyle S_{3}} je grupa izometrií rovnostranného trojúhelníka v rovině (prvky abstraktní grupy S 3 {\displaystyle S_{3}} jsou reprezentovány jako izometrie roviny, které zachovávají trojúhelník).

Jiná reprezentace G, tzv. triviální, je reprezentace G na R {\displaystyle \mathbb {R} } , kdy každému prvku G přiřadíme identické zobrazení R {\displaystyle \mathbb {R} } na sebe.

Další reprezentace této grupy je tzv. znaménková reprezentace, což je reprezentace na R {\displaystyle \mathbb {R} } přiřazující každému prvku permutační grupy jeho znaménko. Je známo, že jiné ireducibilní reprezentace, než tyto tři uvedené, neexistují.

Využití

Motivace pro studium reprezentací pochází z kvantové fyziky, která popisuje objekty pomocí vektorů. Obvykle se v teoriích vyskytuje grupa G {\displaystyle G} , která je grupou symetrie dané teorie nebo daného problému. Nejčastěji to bývají Lieovy grupy, jako např. grupa rotací prostoru, grupa Lorentzových transformací, Poincarého grupa nebo grupa U ( 1 ) {\displaystyle U(1)} (v elektromagnetizmu), S U ( 2 ) , S U ( 3 ) {\displaystyle SU(2),SU(3)} (v teoriích slabých a silných interakcí), resp. U ( 1 ) × S U ( 2 ) × S U ( 3 ) {\displaystyle U(1)\times SU(2)\times SU(3)} (v různých teoriích sjednocení) apod. Objekty teorie (částice apod.) jsou pak prvky (nějaké) reprezentace dané grupy symetrie. Ve fyzice se navíc obvykle předpokládá, že reprezentace je unitární, tj. na prostoru je dán skalární součin, který je invariantní vůči akci grupy. Klasifikace unitarizovatelných reprezentací klasických grup není zatím obecně známa (pro výše uvedené grupy ale ano).

Reprezentace Lieových grup mají aplikace v geometrii a studium reprezentací grup v prostorech kladné charakteristiky má aplikace v teorii čísel. Teorie reprezentací souvisí a v jistém smyslu její některé partie jsou i zobecněním klasické harmonické analýzy studující funkce prostřednictvím Fourierovy transformace.

Pahýl
Pahýl
Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.
Autoritní data Editovat na Wikidatech
  • BNE: XX5225372
  • BNF: cb11932754t (data)
  • GND: 7503474-8
  • LCCN: sh85112944
  • NLI: 987007531631305171
  • SUDOC: 02724251X