彼得-魏尔定理

彼得-魏尔定理（英语：Peter–Weyl theorem）是调和分析和群表示论中的一组重要定理，于1927年由赫尔曼·魏尔和他的学生弗里茨·彼得（英语：Fritz_Peter）证明。该定理刻画了紧群不可约表示的完备性，可以视作有限群表示理论中弗罗贝尼乌斯定理的推广。定理分为三部分：第一部分指出，紧群${\displaystyle G}$的所有有限维不可约酉表示（英语：Unitary representation）的矩阵元（英语：Matrix_coefficient），在${\displaystyle G}$上所有复值连续群函数构成、配备了一致范数（英语：Uniform_norm）的空间中稠密。第二部分指出，${\displaystyle G}$在任何一个可分希尔伯特空间上的酉表示都完全可约。第三部分断言，${\displaystyle G}$的所有有限维不可约酉表示的矩阵元构成了${\displaystyle G}$上平方可积的复值函数空间的一组标准正交基。

20世纪20年代，魏尔在研究广义相对论的数学基础时，对连续群的表示理论产生了兴趣。在研究中，他试图将有限群表示理论中的弗罗贝尼乌斯定理（即有限群正则表示（英语：Regular representation）可以约化为其所有不可约表示的直和）推广到连续群，尤其是特殊线性群。与此同时，伊赛·舒尔（英语：Issai_Schur）等其它数学家的工作也为研究群表示提供了更强有力的工具。1927年，魏尔在其学生彼得的协助下证明了本定理，断言了紧群不可约表示的完备性。值得注意的是，魏尔在证明中不必要地假定了群运算的可微性，因为在当时他并不知道如何在除紧李群之外的一般紧群上定义群作用下不变的积分。这一问题直至1933年才由阿弗雷德·哈尔（英语：Alfréd Haar）建立的哈尔测度理论彻底解决。

彼得-魏尔定理在抽象调和分析理论中扮演了重要的角色。正如本尼迪克特·格罗斯（英语：Benedict Gross）所述：“现代调和分析发轫于20世纪20年代......她诞生于1927年，而彼得和魏尔的论文是她的出生证明。”此外，冯诺依曼于1933年利用该定理的一个推论，解决了紧群版本的希尔伯特第五问题。

设${\displaystyle G}$为紧群，${\displaystyle C(G)}$是${\displaystyle G}$上所有复值连续函数构成、配备了一致范数的线性空间，${\displaystyle \mathrm{\Delta <!--\; \Delta \; -->}}$是${\displaystyle G}$的所有有限维不可约酉表示的矩阵元张成的线性空间，则${\displaystyle \mathrm{\Delta <!--\; \Delta \; -->}}$在${\displaystyle C(G)}$中稠密。

对${\displaystyle \mathrm{\forall <!--\; \forall \; -->}\mathrm{\chi <!--\; \chi \; -->}\in <!--\; \in \; -->C(G)}$，可以定义卷积算子${\displaystyle T_{\mathrm{\chi <!--\; \chi \; -->}}:L^2(G)\to <!--\; \to \; -->L^2(G)}$：

利用阿尔泽拉引理可以证明，该算子是${\displaystyle L^2(G)}$上的紧算子。

设${\displaystyle f\in <!--\; \in \; -->C(G)}$，由${\displaystyle G}$的紧性可知${\displaystyle f}$在${\displaystyle G}$上一致连续。即对任意${\displaystyle \mathrm{ϵ<!--\; ϵ\; -->}>0}$，存在群单位元${\displaystyle e}$的邻域的${\displaystyle U}$，使得任意${\displaystyle u,v\in <!--\; \in \; -->G,u{v}^{-<!--\; -\; -->1}\in <!--\; \in \; -->U}$，都有。不失一般性，可以假设${\displaystyle U^{-<!--\; -\; -->1}=U}$。

设${\displaystyle \mathrm{\chi <!--\; \chi \; -->}}$是定义在${\displaystyle G}$上，且支集${\displaystyle supp(\mathrm{\chi <!--\; \chi \; -->})\subset <!--\; \subset \; -->U}$的连续实值函数。由乌雷松引理，这样的函数总是存在的。不失一般性，可以假设${\displaystyle \mathrm{\chi <!--\; \chi \; -->}(v)=\mathrm{\chi <!--\; \chi \; -->}(v^{-<!--\; -\; -->1})}$且${\displaystyle \int <!--\; \int \; -->\mathrm{d}g\mathrm{\chi <!--\; \chi \; -->}(g)=1}$，因为对任意${\displaystyle \mathrm{\chi <!--\; \chi \; -->}}$总可以通过如下的变换使其满足上述条件：

此时，可以证明${\displaystyle T_{\mathrm{\chi <!--\; \chi \; -->}}}$为${\displaystyle L^2(G)}$上的紧自伴算子。利用紧自伴算子的谱定理，可知：

其中${\displaystyle V_{{\mathrm{\lambda <!--\; \lambda \; -->}}_i}}$为算子${\displaystyle T_{\mathrm{\chi <!--\; \chi \; -->}}}$本征值为${\displaystyle {\mathrm{\lambda <!--\; \lambda \; -->}}_i\ne <!--\; \ne \; -->0}$的有限维本征子空间，${\displaystyle V_0}$是${\displaystyle T_{\mathrm{\chi <!--\; \chi \; -->}}}$的核。因此，${\displaystyle T_{\mathrm{\chi <!--\; \chi \; -->}}(f)\in <!--\; \in \; -->Im(T_{\mathrm{\chi <!--\; \chi \; -->}})=C(G)-<!--\; -\; -->V_0}$可以写成一列绝对一致收敛的函数项级数和：

故而存在${\displaystyle N}$，使得${\displaystyle \mathrm{\forall <!--\; \forall \; -->}v\in <!--\; \in \; -->G}$，。

另一方面：

因此：

设${\displaystyle L(g):C(G)\to <!--\; \to \; -->C(G)}$是${\displaystyle G}$的左正则表示，不难证明算子${\displaystyle L(g)}$与${\displaystyle T_{\mathrm{\chi <!--\; \chi \; -->}}}$对易，因此本征子空间${\displaystyle V_{{\mathrm{\lambda <!--\; \lambda \; -->}}_i}}$也是左正则表示的有限维不变子空间。由于有限维表示完全可约，${\displaystyle V_{{\mathrm{\lambda <!--\; \lambda \; -->}}_i}}$可以写成${\displaystyle G}$的有限维不可约酉表示的表示空间的直和。在每个这样的空间${\displaystyle X}$上：

其中${\displaystyle r_{ij}}$是该不可约表示的矩阵元。这意味着${\displaystyle V_{{\mathrm{\lambda <!--\; \lambda \; -->}}_i}\subset <!--\; \subset \; -->\mathrm{\Delta <!--\; \Delta \; -->}}$，进而${\displaystyle \underset{i=1}{\overset{N}{\sum <!--\; \sum \; -->}}{f}_i(v)\in <!--\; \in \; -->\mathrm{\Delta <!--\; \Delta \; -->}}$。总之，对于任意${\displaystyle f\in <!--\; \in \; -->C(G)}$，${\displaystyle \mathrm{ϵ<!--\; ϵ\; -->}>0}$，都存在${\displaystyle \mathrm{\Delta <!--\; \Delta \; -->}}$中的某个元素，使得其与${\displaystyle f}$之差的一致范数小于${\displaystyle \mathrm{ϵ<!--\; ϵ\; -->}}$。这意味着${\displaystyle \mathrm{\Delta <!--\; \Delta \; -->}}$在${\displaystyle C(G)}$中稠密。

以上证明的思路来自彼得和魏尔的原始论文。实际上，利用格尔范德-赖科夫定理（英语：Gelfand–Raikov theorem）和魏尔斯特拉斯逼近定理亦可直接推出本定理。

设${\displaystyle R}$是紧群${\displaystyle G}$在可分希尔伯特空间${\displaystyle H}$上的任意酉表示，则${\displaystyle H}$可分解为${\displaystyle R}$的有限维不变子空间的直和，其中每个子空间都承载了${\displaystyle G}$的不可约表示。

设${\displaystyle ⟨<!--\; ⟨\; -->,⟩<!--\; ⟩\; -->}$是${\displaystyle H}$上定义的内积。对任意${\displaystyle u\in <!--\; \in \; -->H,||u||=1}$，定义算子${\displaystyle T_u:H\to <!--\; \to \; -->H}$：

可证${\displaystyle T_u}$是${\displaystyle H}$上的非零紧自伴算子，且与${\displaystyle R(g)}$对易。利用紧自伴算子的谱定理，可对${\displaystyle H}$作如下分解：

其中，${\displaystyle T_u}$的每个有限维特征子空间${\displaystyle H_{{\mathrm{\lambda <!--\; \lambda \; -->}}_i}}$又是群表示${\displaystyle R}$的不变子空间，故其可进一步分解为承载${\displaystyle G}$的有限维不可约表示的子空间的直和。

设${\displaystyle H^{\prime }}$是${\displaystyle H}$中可以分解为承载有限维不可约表示的子空间的直和的最大子空间，${\displaystyle H^{\prime }}$是${\displaystyle H^{″}}$的正交补。（由佐恩引理，这样做是合法的。）显然${\displaystyle H^{″}}$也是${\displaystyle R}$的不变子空间，若${\displaystyle H^{″}}$不是零空间，${\displaystyle R}$在${\displaystyle H^{″}}$上的限制也是${\displaystyle G}$的酉表示。因此，将以