Peter-Weylの定理とその系
これはコンパクト群の有限次元表現がいっぱいあることを保証する定理です。
Peter-Weylの定理
コンパクト位相群の連続なユニタリ表現は有限次元既約表現の直和に分かれる。
実は一般の位相群の無限次元表現は全然有限次元表現の直和に分解したりしないんですが、コンパクト群ではそういったことは起きず、状況がとても綺麗になっているという主張です。
関数解析に興味がなければ無限次元表現とか位相群とかどうでもいいと思うかもしれないんですが、コンパクトLie群の有限次元表現の話をするときにすらPeter-Weylの定理を経由しないと有限次元表現が沢山あることは言えないわけです。
コンパクトLie群は十分次元の高い直交群に埋め込むことができる。
上にはHaar測度がある、今は最高次の微分形式で左不変なものによる積分のことである。これに付随するにはからの左掛け算により無限次元ユニタリ表現が生えるが、これはめちゃくちゃ単射である。Peter-Weylの定理から、有限次元表現の列であって、直和(直積)が単射なものが存在する。これは「有限次元表現が沢山ある」みたいな主張である。
実は(Lie環からのとかを知っていれば)単位元のある近傍で非自明な部分群を含まないものが存在し、 にてコンパクト性から、有限個のでそのの交叉がに含まれるものが存在する。つまりその有限個の直積 は単射である。
ユニタリ表現の行列要素とはに対しという形(これは内積)の上の連続関数のことである。の有限次元既約表現の行列要素全体の線形結合は連続関数環内で一様収束位相について稠密である。
上で「有限次元既約表現」と書いたところは「有限次元表現」でもいい、なぜなら有限個の既約表現の和に分かれるから。
そしてそれらは積について閉じている、テンソル積である。
複素共役について閉じている、線形空間のレベルで複素共役(構造射のを複素共役で捻る)を取ることができ、表現の複素共役がある。行列の言葉では、成分を全部そのまま複素共役にするだけである。
以上よりStone-Weierstrassの定理が適用でき、稠密性を示したいなら分離性を示せばいい。即ちに対しある行列要素でとなっていればいい。
これは実際、を(各点毎で)positiveかつそれぞれでの十分小さい近傍でしか値を取らないものを取れば、がとできる。このままだとは無限次元だが、それは既約表現の和であり、有限次元表現の極限だからちょっと取り直せば大丈夫。
Peter-Weylの定理の証明
有限次元ユニタリ表現は常に既約表現の直和に分かれる。単に分かれるだけ分けていくだけだが、直既約と既約の差異が無いことだけ言う必要がある。つまり、もし非自明な不変部分空間があったときにその直交補空間が(ユニタリ性から)不変部分空間になり、常に綺麗に直和に分解されていく。
コンパクト作用素
Hilbert空間上の有限階作用素(像が有限次元な作用素)のノルム極限のことをコンパクト作用素と呼ぶ。コンパクト作用素はいつでも対角化することができ、固有値の重複度は(0以外)有限個である。
これは関数解析の教科書に書いてあるので示しません。今日使うのは更に自己共役性を課した場合ですが、そこまで課した方が簡単な証明が見つかるかもしれません。
(Peter-Weylの)
まず、「任意のユニタリ表現が0でない有限次元不変部分空間を持つ」という主張に帰着されることを見る。実際、もしこれが正しかったら、与えられた表現を有限次元不変部分空間とその直交補空間に分けて、残りの補空間に同じ操作を繰り返していけばいい。正確に言うと「互いに直交する有限次元部分表現の族」のうち最大なものをZornの補題で取り、それらの張る閉部分空間が(直交補空間が0だから)全体になっている。つまり、有限次元表現の直和になっているが、先の注意から各有限次元表現は更に既約表現の直和だからPeter-Weylの主張を得る。
次に、上の主張を示す。ユニタリ表現を取る。を取ってという有限階作用素を考える。という作用素がキーマンである。これは本当にRiemann積分の意味での積分であるが、つまり有限階作用素のRiemann和(有限和)の極限だからコンパクト作用素。更に、
だから。Haar測度の左不変性から、つまりは不変であり、その適当な固有空間(有限次元)も不変になる。
おまけ(コンパクト作用素)
上の補題2よりも弱い(しかしPeter-Weylの定理を示す上では十分な)主張を示そうと思います。上で作ったはを満たしますが、そういった行列は半正定値と呼ばれていました。特に自己共役(Hermite行列)です。
をコンパクト作用素(有限階作用素のノルム極限)であって、とする。このとき、はの固有値であり、()ならばその固有空間は有限次元。
余談ですが、この主張を繰り返し適用することで自己共役コンパクト作用素の対角化を得ます。あと実はです(の存在とかを知っていれば分かります)。
上の仮定の下で、は実はである(を実現するがある)。
の単位球は弱位相についてコンパクトであることを使います、これはBanach-Alaogluの定理とRieszの表現定理から出てきます。
が0に弱収束するとは、となることですが、これはつまりというrank1の作用素についてとなることです。一般に有限階作用素は(有限次元の線形代数から)このようなの線形結合で書けるので、有限階作用素は0に弱収束する列を0に飛ばします。そのノルム極限であるコンパクト作用素もノルム有界な0への弱収束列を0に飛ばします(こっちはノルム収束)。
証明は変分法です。と仮定していい。をかつと取る。このとき、はの弱収束での集積点(部分列の極限)となりえない、実際上の仮定から十分大きいでとなっている。故に単位球のコンパクト性からあるに弱収束する部分列を取る。このときに注意。
コンパクト作用素は(ノルム有界)弱収束をノルム収束に移すので、はノルム収束する。一方は(ノルム有界な)弱収束であるから、となる(後述)。故に。
(命題3の)
なるを単位球から取る。に注意。
に直交するを固定しを上式に入れると、についての定数を除き、左辺はと二次の項が出て、右辺は二次の項だけ出る。故にであり、を動かすことで結局は全てのと直交する、つまりのスカラー倍。そのスカラーはのことだから、結局の固有ベクトルである。
固有空間の有限次元性は背理法から分かる。その固有空間の正規直交系を取るとそれは0に弱収束する(に注意)。故にを当てると0にノルム収束する列になるはずだが、ノルムが倍されるだけなので矛盾する。