# Peter–Weyl の定理：Schur の直交関係、L²(G) の完全分解、ユニタリ表現の有限次元への還元
> コンパクト群の有限次元ユニタリ表現について Schur の補題と直交関係を証明し、コンパクト作用素のスペクトル定理を使って Peter–Weyl の定理（行列要素の完全性と L²(G) の分解）を示す。任意のユニタリ表現が有限次元既約表現の直和になることも導く。
> https://rikai.mugen-giken.com/mathematics/compact-groups/peter-weyl
## 0. この記事の要点
フーリエ級数は、周期的な関数を $e^{in\theta}$ という基本的な波の重ね合わせに分ける方法でした。円周のように一周して閉じている対称性をもつ群でも、その上の関数を「基本パターン」の重ね合わせに分けられるのでしょうか。この記事は、答えが「はい」であること（ただし基本パターンは一般には数ではなく行列になります）を示す Peter–Weyl の定理を扱います。読み終えると、そうした群の上の関数をどう分解し、その部品どうしがどんな直交関係をもつかを説明できるようになります。
- コンパクト群の有限次元表現は（前章のユニタリ化により）ユニタリと仮定してよく、既約表現の直交直和に分解します。既約表現の間の絡作用素（群の作用と両立する線形写像）は $0$ か同型で、自己絡作用素はスカラーです（Schur の補題）。
- 既約ユニタリ表現の行列要素は Haar 測度について直交し、$\int_GD^\pi_{ij}(g)\overline{D^\sigma_{kl}(g)}\,dg=\delta_{\pi\sigma}\delta_{ik}\delta_{jl}/d_\pi$ を満たします（Schur の直交関係）。証明は「任意の線形写像を群で平均すると絡作用素になる」の一行です。
- **Peter–Weyl の定理**: 既約表現の行列要素の 1 次結合は $C(G)$ で一様稠密で、$\{\sqrt{d_\pi}D^\pi_{ij}\}$ は $L^2(G)$ の正規直交基底です。右正則表現は $L^2(G)\cong\bigoplus_{\pi\in\hat G}d_\pi\cdot\pi$ と分解します。
- 証明の中心は、[Haar 測度](/mathematics/compact-groups/haar-measure)で作った畳み込み作用素が**コンパクト自己共役で右移動と可換**なことです。その固有空間は有限次元の不変部分空間になり、そこから行列要素が湧き出します。
- 同じ考え方で、コンパクト群の任意のユニタリ表現は有限次元既約表現の直交直和に分解し、とくに既約ユニタリ表現はすべて有限次元です。$\mathbb{R}$ のような非コンパクト群ではこれが崩れます。
- 発展として、アーベル群 $G$ の指標だけを使った **Bohr コンパクト化** $bG=\operatorname{Hom}(\hat G,U(1))$ を構成し、普遍性と、概周期関数の空間 $AP(G)\cong C(bG)$（$G=\mathbb{R}$ なら三角多項式の一様閉包）を 7 節で証明します。離散・コンパクトアーベル群の Pontryagin 双対性は Peter–Weyl の系から本文中で示します。
## 1. 動機
$U(1)$ 上の関数の Fourier 級数展開 $f(\theta)=\sum_{n\in\mathbb{Z}}\hat f_ne^{in\theta}$ は、表現論の言葉では「$L^2(U(1))$ が 1 次元既約表現 $e^{in\theta}$ の直和に分解する」という主張です。Peter–Weyl の定理（1927 年）はこれを任意のコンパクト群に拡張します。非可換群では既約表現が多次元になり、Fourier 係数は数ではなく $d_\pi\times d_\pi$ 行列 $\hat f(\pi)=\int f(g)\pi(g)^*\,dg$ になります。
数理物理では、この定理はハミルトニアン形式の格子ゲージ理論の出発点です。リンク 1 本の Hilbert 空間 $L^2(G)$ の「電場基底」$|r;i,j\rangle\leftrightarrow\sqrt{d_r}D^r_{ij}$ が正規直交基底であること、電場の 2 乗が各ブロックで Casimir 値になることは、