Reprezentace (grupa)
Reprezentace grupy G je (homo)morfismus , kde V je vektorový prostor a grupa invertibilních lineárních zobrazení s operací skládání. Za předpokladu, že jde o prostor konečné dimenze a máme zvolenou bázi prostoru lze reprezentaci chápat jako homomorfizmus G do prostoru matic. Pokud je homomorfizmus dán, je prostor označován jako reprezentace G.
Ekvivalentně se říká, že je G-modul, neboli má akci na .
Pokud je topologický vektorový prostor a je topologická grupa, je požadováno, aby indukované zobrazení (akce) bylo spojité.
Příklad
[editovat | editovat zdroj]Nechť je grupa permutací tříprvkové množiny. Pak můžeme definovat reprezentaci G na takto: identitě přiřadíme identické zobrazení na , cyklu (123) přiřadíme otočení o , cyklu (132) otočení o transpozici (12) zrcadlení kolem osy , transpozici (13) zrcadlení kolem osy se směrem a transpozici (23) zrcadlení kolem osy se směrem . Tato reprezentace ilustruje fakt, že je grupa izometrií rovnostranného trojúhelníka v rovině (prvky abstraktní grupy jsou reprezentovány jako izometrie roviny, které zachovávají trojúhelník).
Jiná reprezentace G, tzv. triviální, je reprezentace G na , kdy každému prvku G přiřadíme identické zobrazení na sebe.
Další reprezentace této grupy je tzv. znaménková reprezentace, což je reprezentace na 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í
[editovat | editovat zdroj]Motivace pro studium reprezentací pochází z kvantové fyziky, která popisuje objekty pomocí vektorů. Obvykle se v teoriích vyskytuje grupa , 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 (v elektromagnetizmu), (v teoriích slabých a silných interakcí), resp. (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.