彼得-魏尔定理

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

背景

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

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

定理的陈述和证明

定理I

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

证明概要

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

$T_{\chi }(\varphi )(v)=\int \mathrm{d}g\chi (g)\varphi (g^{-1}v)$

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

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

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

$\chi (v)\to \frac{\chi (v)+\chi (v^{-1})}{\int \mathrm{d}g(\chi (g)+\chi (g^{-1}))}$

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

$L^2(G)=(\sum _i\oplus V_{{\lambda }_i})\oplus V_0$

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

$\underset{i\to \mathrm{\infty }}{\lim }\sum _i{f}_i\rightrightarrows T_{\chi }(f),f_i\in V_{{\lambda }_i}$

故而存在$N$，使得$\mathrm{\forall }v\in G$，$|T_{\chi }(f)(v)-\sum _{i=1}^N{f}_i(v)|<\frac{ϵ}{2}$。

另一方面：

$|T_{\chi }(f)(v)-f(v)|=|\int \mathrm{d}g\chi (g)(f(g^{-1}v)-f(v))|<\frac{ϵ}{2}$

因此：

$|f-\sum _{i=1}^N{f}_i(v)|<ϵ$

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

$f_i(g)=L(g^{-1})(f_i)(e)=\sum _{j=1}^{dimX}{r}_{ij}(g{)}^{*}{f}_j(e)$

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

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

定理II

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

证明概要

设$⟨,⟩$是$H$上定义的内积。对任意$u\in H,||u||=1$，定义算子$T_u:H\to H$：

$T_u(v)=\int \mathrm{d}g⟨v,R(g)u⟩R(g)u$

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

$H=(\sum _i\oplus H_{{\lambda }_i})\oplus H_0$

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

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

定理III

设$G$是紧群，则$G$的所有不等价不可约酉表示的矩阵元的集合$\{\sqrt{d_{\rho }}{R}_{ij}^{\rho }|1⩽i,j⩽d_{\rho }\}$构成$L^2(G)$的标准正交基。

证明概要

注意到$C(G)$在$L^2(G)$中稠密，利用舒尔正交关系和定理I即可得到本定理。

推论

点分离推论

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

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

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

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

特征标完备性

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

设$f$是任意共轭不变的函数。由彼得-魏尔定理，对任意$ϵ>0$，存在$h\in \mathrm{\Delta }$，使得$|f(x)-h(x)|<ϵ$。记$p(x)$为如下积分：

$p(x)=\int \mathrm{d}gh(gx{g}^{-1})$

由于$h\in \mathrm{\Delta }$，$p\in \mathrm{\Delta }$，且$p(g^{-1}xg)=p(x)$。利用舒尔正交关系可证，$p$可以写成特征标的线性组合。此外，因$f$共轭不变，注意到以下事实本推论即证：

$|f(x)-p(x)|=|\int \mathrm{d}gf(gx{g}^{-1})-\int \mathrm{d}gh(gx{g}^{-1})|<ϵ$

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

参见

• 龐特里亞金對偶性