Satz von Peter-Weyl

Im mathematischen Teilgebiet der harmonischen Analyse verallgemeinert der Satz von Peter-Weyl, benannt nach Hermann Weyl und seinem Studenten Fritz Peter (1899–1949), die Fourierreihe für Funktionen auf beliebigen kompakten topologischen Gruppen.

Darstellungen auf kompakten Gruppen

Sei $G$ eine kompakte topologische Gruppe. Für einen komplexen Hilbertraum $H_{\pi }$ heiße ein stetiger Gruppenhomomorphismus $\pi \colon G\to U(H_{\pi })$ Darstellung der Gruppe, wobei $U(H_{\pi })$ mit der schwachen Operatortopologie versehen sei. Es lässt sich nun zeigen, dass jedes solche $\pi$ einen kompakten selbstadjungierten Vertauschungsoperator und damit als Eigenraum dieses Operators einen endlichdimensionalen, nichttrivialen invarianten Teilraum von $H_{\pi }$ besitzt. Daher ist jede irreduzible Darstellung einer kompakten Gruppe endlichdimensional und jede Darstellung lässt sich als direkte Summe von solchen darstellen, besitzt also eine Zerlegung in irreduzible Darstellungen.

Von besonderem Interesse ist die linksreguläre Darstellung $\mathbf {L} \colon G\to U(L^{2}(G))$; diese ist durch $(\mathbf {L} (g)f)(x)=f(g^{-1}x)$ definiert, wobei $g,x\in G$ und $f\in L^{2}(G)$ eine bezüglich des linksinvarianten auf $1$ normierten Haarmaßes quadratintegrierbare Funktion ist. Man kann zeigen, dass für jedes solche $f$ die durch obige Formel gegebene Funktion $\mathbf {L} (g)f\colon G\rightarrow \mathbb {C}$ wieder quadratintegrierbar ist und dass $\mathbf {L} (g)$ zwei fast überall gleiche Funktionen wieder auf fast überall gleiche Funktionen abbildet, insgesamt also tatsächlich einen Operator auf $L^{2}(G)$ bestimmt, dessen Unitarität man leicht nachweisen kann. Analog ist die rechtsreguläre Darstellung durch $(\mathbf {R} (g)f)(x)=f(xg)$ und die zweiseitige Darstellung durch $\mathbf {\mathbf {L} \times \mathbf {R} } \colon G\times G\to U(L^{2}(G)),\;((\mathbf {L} \times \mathbf {R} )(g,h)f)(x)=f(g^{-1}xh)$ definiert.

Für jede Darstellung $\pi$ und $u,v\in H_{\pi }$ ist $\pi _{uv}\colon G\to \mathbb {C} ,\;g\mapsto \langle \pi (g)v,u\rangle$, genannt Matrixkoeffizient, eine beschränkte stetige Funktion (siehe Fourier-Stieltjes-Algebra).

Fouriertransformation

Aus allen irreduziblen Darstellungen von $G$ wähle man ein Repräsentantensystem ${\hat {G}}$ bezüglich unitärer Äquivalenz. Einer jeden Darstellung $\pi \colon G\to U(H_{\pi })$ entspricht eine Hilbertraum-Darstellung $\pi \colon L^{1}(G)\to L(H_{\pi })$ der Banach-*-Algebra $L^{1}(G)$ mit der Faltung (die sogenannte Gruppenalgebra), sodass für alle $u,v\in H_{\pi }$ die Gleichung

$\langle \pi (f)u,v\rangle =\int _{G}\langle \pi (g)u,v\rangle f(g)\mathrm {d} g$

besteht. Da das Haarmaß auf einer kompakten Gruppe endlich ist, ist $L^{2}(G)\subseteq L^{1}(G)$. Für eine Funktion $f\in L^{2}(G)$ ist die Fouriertransformation nun definiert als ${\mathcal {F}}(f)=\left(\pi (f)\right)_{\pi \in {\hat {G}}}$, dabei ist ${\mathcal {F}}$ eine Abbildung von $L^{2}(G)$ in die orthogonale Summe

$H:=\bigoplus _{\pi \in {\hat {G}}}HS(H_{\pi })$

der Räume von Matrizen auf $H_{\pi }$, ausgestattet mit dem Hilbert-Schmidt-Skalarprodukt (dies ist im kompakten Fall stets möglich, da die Darstellungsräume endlichdimensional sind).

Satz

Der Satz von Peter-Weyl besagt nun, dass die Fouriertransformation einer kompakten Gruppe bis auf gewisse konstante Faktoren unitär ist, und konstruiert die Umkehrabbildung. Genauer ist

${\mathcal {F}}^{\prime }\colon L^{2}(G)\to H,\quad f\mapsto \left({\sqrt {\dim H_{\pi }}}{\mathcal {F}}(f)_{\pi }\right)_{\pi \in {\hat {G}}}$

unitär. Die Umkehrabbildung ist gegeben durch

${\mathcal {F}}^{\prime *}\colon H\to L^{2}(G),\quad (T_{\pi })_{\pi \in {\hat {G}}}\mapsto \left(f\colon x\mapsto \sum _{\pi \in {\hat {G}}}{\sqrt {\dim H_{\pi }}}\operatorname {Tr} (T_{\pi }\pi (x)^{*})\right)$,

wobei $\operatorname {Tr}$ die Spur bezeichne und die Summe im Sinne unbedingter Konvergenz zu verstehen ist.

Teilaussagen

Hier seien einige Teilaussagen angegeben, die mitunter zum Beweis herangezogen werden, und teilweise auch wiederum unmittelbar aus dem Satz von Peter-Weyl in der obigen Form folgen.

Die Räume $HS(\pi )$ sind paarweise orthogonale Teilräume von $H$, somit sind auch die Unterräume $L_{\pi }^{2}:={\mathcal {F}}^{\prime *}(HS(\pi ))\subseteq L^{2}(G)$ paarweise orthogonal und der Operator $U_{\pi }:={\mathcal {F}}^{\prime *}|_{HS(\pi )\to L_{\pi }^{2}}$ ist ebenfalls unitär. Ist die Familie $(e_{i})$ eine Orthonormalbasis von $H_{\pi }$, so ist die Familie aller dyadischen Produkte $(e_{i}\otimes e_{j})_{i,j}$ eine Orthonormalbasis von $HS(H_{\pi })$ und somit $(U_{\pi }(e_{i}\otimes e_{j}))_{i,j}=({\sqrt {\dim H_{\pi }}}\pi _{e_{i}e_{j}})_{i,j}$ Orthonormalbasis von $L_{\pi }^{2}$. Sind dementsprechend Orthonormalbasen $(e_{i}^{\pi })_{i}$ für jedes $\pi \in {\hat {G}}$ gegeben, so bilden die Funktionen $({\sqrt {\dim H_{\pi }}}\pi _{e_{i}^{\pi }e_{j}^{\pi }})_{\pi ,i,j}$ eine Orthonormalbasis von $L^{2}(G)$.

Die Darstellung $\pi ^{2}\colon G\times G\to HS(H_{\pi })$ sei definiert als äußeres Tensorprodukt mit der kontragredienten Darstellung, $\pi ^{2}:=\pi \otimes {\bar {\pi }}$, konkret:

$\pi ^{2}(g,h)T=\pi (g)T\pi (h)^{*}$.

Der Operator $U_{\pi }$ ist nun ein Vertauschungsoperator zwischen $\pi ^{2}$ und $\mathbf {L} \times \mathbf {R}$, d. h.

$(\mathbf {L} \times \mathbf {R} )(g,h)U_{\pi }=U_{\pi }\pi ^{2}(g,h)$,

womit $\pi ^{2}$ äquivalent zur zweiseitigen Darstellung eingeschränkt auf $L_{\pi }^{2}$ ist. Wählt man $u\in H_{\pi }$ fest und normiert, so ist das Bild des Operators

$U_{\pi }^{u}:=U|_{\left\{v\otimes u\mid v\in H_{\pi }\right\}}$

invariant unter der linksregulären Darstellung, der (bei Einschränkung des Bildraumes) unitäre Operator

$V_{\pi }^{u}:=U_{\pi }^{u}(v\mapsto v\otimes u)$

ist ein Vertauschungsoperator zwischen $\pi$ und $\mathbf {L}$, $\mathbf {L} (x)V_{\pi }^{u}=V_{\pi }^{u}\pi (x)$. Somit ist jede irreduzible Darstellung einer kompakten Gruppe äquivalent zu einer Teildarstellung der linksregulären Darstellung. Die Multiplizität der Darstellung $\pi$ in der linksregulären Darstellung, das heißt, wie oft sie in einer Zerlegung dieser in Irreduzible auftritt, ist gerade gleich der Dimension $\dim H_{\pi }$ des Darstellungsraumes. Die Orthogonalprojektion $p\colon L^{2}(G)\to \operatorname {Im} (V_{\pi }^{u})=\operatorname {Im} (U_{\pi }^{u})$ ist dabei durch eine Faltung gegeben, $f\mapsto f*U_{\pi }^{u}u={\sqrt {\dim H_{\pi }}}f*\pi _{uu}$. Diese Ergebnisse gelten völlig analog für die rechtsreguläre Darstellung, indem man $u\otimes v$ statt $v\otimes u$ und bei der Projektion die umgekehrte Faltung betrachtet.

Beispiel

Sei $G=\mathbb {S} =U(1)$ die Kreisgruppe. Da $\mathbb {S}$ abelsch ist, ist jede irreduzible Darstellung ein Charakter, also eine Abbildung in die Kreisgruppe selbst. Diese sind gerade durch die Funktionen $\chi _{m}\colon x\mapsto x^{m}$ für $m\in \mathbb {Z}$ gegeben. Für $f\in L^{2}(\mathbb {S} )$ und $u,v\in \mathbb {C}$ gilt

$\chi _{m}(f)u{\bar {v}}=\langle \chi _{m}(f)u,v\rangle =\int _{\mathbb {S} }\langle \chi _{m}(x)u,v\rangle f(x)\mathrm {d} x=\int _{\mathbb {S} }\chi _{m}(x)u{\bar {v}}f(x)\mathrm {d} x$

und somit einfach $\chi _{m}(f)=\int _{\mathbb {S} }\chi _{m}(x)f(x)\mathrm {d} x$. Dies ist nichts anderes als der bekannte $m$-te Fourierkoeffizient zu $f$. Der Satz von Peter-Weyl liefert (da der Darstellungsraum $\mathbb {C}$ eindimensional ist, sind keine weiteren Skalierungen vonnöten) die Unitarität dieser Transformation in den Raum $\bigoplus _{\mathbb {Z} }HS(\mathbb {C} )\cong \ell ^{2}(\mathbb {Z} )$ sowie die Umkehrung

$(c_{m})_{m\in \mathbb {Z} }\mapsto \left(x\mapsto \sum _{m\in \mathbb {Z} }\operatorname {Tr} (\chi _{m}(f)\chi _{m}(x)^{*})=\sum _{m\in \mathbb {Z} }\chi _{m}(f)x^{-m}\right)$.

Literatur

• Gerald Budge Folland: A Course in Abstract Harmonic Analysis. CRC Press, 1995, ISBN 0-8493-8490-7, S. 128 ff. 
• Anton Deitmar, Siegfried Echterhoff: Principles of Harmonic Analysis. Springer, 2009, ISBN 978-0-387-85468-7, S. 141 ff., doi:10.1007/978-0-387-85469-4. 
• Mitsuo Sugiura: Unitary Representations and Harmonic Analysis. 2. Auflage. North-Holland, 1990, ISBN 0-444-88593-5, S. 19 ff. 
• F. Peter, H. Weyl: Über die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe. Mathematische Annalen, Band 97, 1927, S. 737–755. (online)