彼得-魏尔定理

彼得-魏尔定理（）是调和分析和群表示论中的一组重要定理，于1927年由赫尔曼·魏尔和他的学生证明。该定理刻画了紧群不可约表示的完备性，可以视作有限群表示理论中弗罗贝尼乌斯定理的推广。定理分为三部分：第一部分指出，紧群的所有有限维不可约的，在上所有复值连续群函数构成、配备了的空间中稠密。第二部分指出，在任何一个可分希尔伯特空间上的酉表示都完全可约。第三部分断言，的所有有限维不可约酉表示的矩阵元构成了上平方可积的复值函数空间的一组标准正交基。
 背景 
20世纪20年代，魏尔在研究广义相对论的数学基础时，对连续群的表示理论产生了兴趣。在研究中，他试图将有限群表示理论中的弗罗贝尼乌斯定理（即有限群可以约化为其所有不可约表示的直和）推广到连续群，尤其是特殊线性群。与此同时，等其它数学家的工作也为研究群表示提供了更强有力的工具。1927年，魏尔在其学生彼得的协助下证明了本定理，断言了紧群不可约表示的完备性。然而，因为魏尔在当时并不知道如何在除紧李群之外的一般紧群上定义群作用下不变的积分，他在证明中不必要地假定了群运算的可微性。这一问题直至1933年才由建立的哈尔测度理论彻底解决。

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

 定理的陈述和证明 
定理I
设为紧群，是上所有复值连续函数构成、配备了一致范数的赋范线性空间，是的所有有限维不可约酉表示的矩阵元张成的线性空间，则在中稠密。
 证明概要 
对，可以定义卷积算子：

利用阿尔泽拉引理可以证明，该算子是上的紧算子。

设，由的紧性可知在上一致连续。即对任意，存在群单位元的邻域的，使得任意，都有。不失一般性，可以假设。

设是定义在上，且支集的连续实值函数。由乌雷松引理，这样的函数总是存在的。不失一般性，可以假设且，因为对任意总可以通过如下的变换使其满足上述条件：

此时，可以证明为上的紧自伴算子。利用紧自伴算子的谱定理，可知：

其中为算子本征值为的有限维本征子空间，是的核。因此，可以写成一列绝对一致收敛的函数项级数和：

故而存在，使得，。

另一方面：

因此：

设是的左正则表示，不难证明算子与对易，因此本征子空间也是左正则表示的有限维不变子空间。由于有限维表示完全可约，可以写成的有限维不可约酉表示的表示空间的直和。在每个这样的空间上：

其中是该不可约表示的矩阵元。这意味着，进而。总之，对于任意，，都存在中的某个元素，使得其与之差的一致范数小于。这意味着在中稠密。

以上证明的思路来自彼得和魏尔的原始论文。实际上，利用和魏尔斯特拉斯逼近定理亦可直接推出本定理。

定理II
设是紧群在可分希尔伯特空间上的任意酉表示，则可分解为的有限维不变子空间的直和，其中每个子空间都承载了的不可约表示。
 证明概要 
设是上定义的内积。对任意，定义算子：

可证是上的非零紧自伴算子，且与对易。利用紧自伴算子的谱定理，可对作如下分解：

其中，的每个有限维特征子空间又是群表示的不变子空间，故其可进一步分解为承载的有限维不可约表示的子空间的直和。

设是中可以分解为承载有限维不可约表示的子空间的直和的最大子空间，是的正交补。（由佐恩引理，这样做是合法的。）显然也是的不变子空间，若不是零空间，在上的限制也是的酉表示。因此，将以上的论证中的用代替，则可立即推出也有承载的有限维不可约表示的子空间。这与的定义矛盾。因此，定理得证。

定理III
设是紧群，则的所有不等价不可约酉表示的矩阵元的集合构成的标准正交基。
 证明概要 
注意到在中稠密，利用舒尔正交关系和定理I即可得到本定理。

 推论 
 点分离推论 
由彼得-魏尔定理可以推出如下结论：

设是紧群任意非恒等元，则存在的不可约表示，使得不是单位矩阵。换言之，如果和属于紧群，对的一切不可约表示，和的表示矩阵都相同，则。证明如下：

对任意，由乌雷松引理，存在上连续函数使得。由彼得-魏尔定理，可以写成一列绝对一致收敛的矩阵元的级数和。若对一切不可约表示，都是单位阵，则前述级数展开的每一项，都满足，因此。这一矛盾意味着必然存在某个不可约表示，使得不是单位矩阵。

该推论最早出现在彼得和魏尔的原始论文中，并在相关理论日后的发展过程中发挥了重要的作用。冯诺依曼解决紧群版本的希尔伯特第五问题时，就用到了这一推论。

 特征标完备性 
紧群上群共轭不变的函数构成的子空间类函数空间。利用彼得-魏尔定理可以推出，的所有不可约表示的特征标张成的线性空间在类函数空间稠密：

设是任意共轭不变的函数。由彼得-魏尔定理，对任意，存在，使得。记为如下积分：

由于，，且。利用舒尔正交关系可证，可以写成特征标的线性组合。此外，因共轭不变，注意到以下事实本推论即证：

该推论在连通紧李群表示的分类理论中扮演着重要的角色。

 参见 
龐特里亞金對偶性
 参考文献 

Category:群表示论
Category:调和分析
Category:拓扑群