查看“︁彼得-魏尔定理”︁的源代码

'''彼得-魏尔定理'''（{{lang-en|Peter–Weyl theorem}}）是[[调和分析]]和[[群表示论]]中的一组重要定理，于1927年由[[赫尔曼·魏尔]]和他的学生{{link-en|弗里茨·彼得|Fritz_Peter}}证明。该定理刻画了[[紧群]]不可约表示的完备性，可以视作[[有限群表示理论]]中弗罗贝尼乌斯定理的推广。定理分为三部分：第一部分指出，紧群<math>G</math>的所有有限维[[不可约表示|不可约]]{{link-en|酉表示|Unitary representation}}的{{link-en|矩阵元|Matrix_coefficient}}，在<math>G</math>上所有复值连续群函数构成、配备了{{link-en|一致范数|Uniform_norm}}的空间中[[稠密]]。第二部分指出，<math>G</math>在任何一个[[可分空间|可分]][[希尔伯特空间]]上的酉表示都完全可约。第三部分断言，<math>G</math>的所有有限维不可约酉表示的矩阵元构成了<math>G</math>上[[平方可積函數|平方]][[哈尔测度|可积]]的复值函数空间的一组[[标准正交基]]。
== 背景 ==
20世纪20年代，魏尔在研究[[廣義相對論中的數學|广义相对论的数学基础]]时，对连续群的表示理论产生了兴趣。在研究中，他试图将有限群表示理论中的弗罗贝尼乌斯定理（即有限群{{link-en|正则表示|Regular representation}}可以约化为其所有不可约表示的直和）推广到连续群，尤其是[[特殊线性群]]。与此同时，{{link-en|伊赛·舒尔|Issai_Schur}}等其它数学家的工作也为研究群表示提供了更强有力的工具。1927年，魏尔在其学生彼得的协助下证明了本定理，断言了紧群不可约表示的完备性。然而，因为魏尔在当时并不知道如何在除紧李群之外的一般紧群上定义群作用下不变的积分，他在证明中不必要地假定了群运算的可微性。这一问题直至1933年才由{{link-en|阿弗雷德·哈尔|Alfréd Haar}}建立的[[哈尔测度]]理论彻底解决。<ref name="topology">{{cite book|title=History of Topology|url=https://archive.org/details/historytopology00jame_312|publisher=Elsevier|author=I.M. James|year=1999|isbn=9780080534077|page=[https://archive.org/details/historytopology00jame_312/page/n194 184]-191}}</ref>

彼得-魏尔定理在抽象调和分析理论中扮演了重要的角色。正如{{link-en|本尼迪克特·格罗斯|Benedict Gross}}所述：“现代调和分析发轫于20世纪20年代......她诞生于1927年，而彼得和魏尔的论文是她的出生证明。”此外，[[冯诺依曼]]于1933年利用该定理的一个推论，解决了紧群版本的[[希尔伯特第五问题]]。<ref name="topology"/><ref name="course">{{cite book|title=A Course in Abstract Harmonic Analysis|publisher=CRC Press|page=v,131|author=Gerald B. Folland|year=1994|isbn=9780849384905}}</ref>

== 定理的陈述和证明 ==
===定理I===
设<math>G</math>为紧群，<math>C(G)</math>是<math>G</math>上所有复值连续函数构成、配备了[[一致范数]]的[[赋范线性空间]]，<math>\Delta</math>是<math>G</math>的所有有限维不可约酉表示的矩阵元张成的线性空间，则<math>\Delta</math>在<math>C(G)</math>中稠密。<ref name="topological groups">{{cite book|title=Topological Groups|author=[[庞特里亚金|L. S. Pontryagin]]|publisher=Gordon & Breach Science|year=1966|page=225-229|isbn=978-0677203904}}</ref>
==== 证明概要 ====
对<math>\forall \chi \in C(G)</math>，可以定义[[卷积]]算子<math> T_{\chi}:L^{2}(G) \to L^{2}(G)</math>：
:<math>T_{\chi}(\phi)(v)=\int \mathrm{d}g \chi(g) \phi(g^{-1}v) </math>

利用[[阿尔泽拉－阿斯科利定理|阿尔泽拉引理]]可以证明，该算子是<math>L^{2}(G)</math>上的[[紧算子]]。

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

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

此时，可以证明<math>T_{\chi}</math>为<math>L^{2}(G)</math>上的紧自伴算子。利用[[谱定理#紧自伴算子的谱定理|紧自伴算子的谱定理]]，可知：
:<math>L^{2}(G)=  (\sum_{i}\oplus V_{\lambda_i}) \oplus V_{0}</math>

其中<math>V_{\lambda_i}</math>为算子<math>T_{\chi}</math>[[本征值]]为<math>\lambda_i \neq 0</math>的有限维[[不变子空间|本征子空间]]，<math>V_{0}</math>是<math>T_{\chi}</math>的[[核_(线性算子)|核]]。因此，<math>T_{\chi}(f) \in Im(T_{\chi}) = C(G)- V_{0} </math>可以写成一列绝对[[一致收敛]]的函数项级数和：
:<math>\lim_{i \to \infty}\sum_{i} f_{i} \rightrightarrows T_{\chi}(f), f_{i} \in V_{\lambda_i}</math>

故而存在<math>N</math>，使得<math>\forall v \in G</math>，<math>|T_{\chi}(f)(v)-\sum_{i=1}^{N}f_{i}(v)| < \frac{\epsilon}{2}</math>。

另一方面：
:<math>|T_{\chi}(f)(v) -f(v)|=|\int \mathrm{d}g \chi(g) (f(g^{-1}v)-f(v))|< \frac{\epsilon}{2}</math>

因此：
:<math>|f-\sum_{i=1}^{N}f_{i}(v)| < \epsilon</math>

设<math>L(g):C(G) \to C(G)</math>是<math>G</math>的左正则表示，不难证明算子<math>L(g)</math>与<math>T_{\chi}</math>[[对易]]，因此本征子空间<math>V_{\lambda_i}</math>也是左正则表示的有限维[[不变子空间]]。由于有限维表示完全可约，<math>V_{\lambda_i}</math>可以写成<math>G</math>的有限维不可约酉表示的表示空间的直和。在每个这样的空间<math>X</math>上：
:<math>f_i(g)=L(g^{-1})(f_i)(e)=\sum_{j=1}^{dim X} r_{ij}(g)^{*} f_j(e)</math>

其中<math>r_{ij}</math>是该不可约表示的矩阵元。这意味着<math>V_{\lambda_i} \sub \Delta</math>，进而<math>\sum_{i=1}^{N}f_{i}(v) \in \Delta</math>。总之，对于任意<math>f \in C(G)</math>，<math>\epsilon >0</math>，都存在<math>\Delta</math>中的某个元素，使得其与<math>f</math>之差的一致范数小于<math>\epsilon</math>。这意味着<math>\Delta</math>在<math>C(G)</math>中稠密。<ref name="topological groups"/><ref name="essential">{{cite book|title=Essential Results of Functional Analysis|url=https://archive.org/details/essentialresults00zimm|author=Robert J. Zimmer|publisher=The University of Chicago Press|year=1990|page=[https://archive.org/details/essentialresults00zimm/page/61 61]-66|isbn=9780226983387}}</ref>

以上证明的思路来自彼得和魏尔的原始论文。实际上，利用{{link-en|格尔范德-赖科夫定理|Gelfand–Raikov theorem}}和[[魏尔斯特拉斯逼近定理]]亦可直接推出本定理。<ref name="course"/>

===定理II===
设<math>R</math>是紧群<math>G</math>在可分希尔伯特空间<math>H</math>上的任意酉表示，则<math>H</math>可分解为<math>R</math>的有限维不变子空间的直和，其中每个子空间都承载了<math>G</math>的不可约表示。<ref name="course"/><ref name="semisimple">{{citation|last=Knapp|first=Anthony|title=Representation theory of semisimple groups|publisher=Princeton University Press|year=1986|isbn=0-691-09089-0}}</ref>
==== 证明概要 ====
设<math>\langle,\rangle</math>是<math>H</math>上定义的[[内积]]。对任意<math>u \in H,||u||=1</math>，定义算子<math>T_u: H \to H</math>：
:<math>T_u(v)=\int \mathrm{d}g \langle v,R(g)u \rangle R(g)u</math>

可证<math>T_u</math>是<math>H</math>上的非零紧自伴算子，且与<math>R(g)</math>对易。利用紧自伴算子的谱定理，可对<math>H</math>作如下分解：
:<math>H=(\sum_{i}\oplus H_{\lambda_i}) \oplus H_{0}</math>

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

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

===定理III===
设<math>G</math>是紧群，则<math>G</math>的所有不等价不可约酉表示的矩阵元的集合<math>\{\sqrt{d_\rho}R^{\rho}_{ij}|1\leqslant i,j \leqslant d_\rho\}</math>构成<math>L^{2}(G)</math>的标准正交基。<ref name="course"/><ref name="semisimple"/>
==== 证明概要 ====
注意到<math>C(G)</math>在<math>L^2(G)</math>中稠密，利用[[舒尔正交关系]]和定理I即可得到本定理。<ref name="course"/>

== 推论 ==
=== 点分离推论 ===
由彼得-魏尔定理可以推出如下结论：<ref name="topology"/><ref name="topological groups"/>

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

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

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

=== 特征标完备性 ===
紧群<math>G</math>上[[共轭类|群共轭]]不变的函数构成<math>L^2(G)</math>的子空间类函数空间。利用彼得-魏尔定理可以推出，<math>G</math>的所有不可约表示的[[特征标]]张成的线性空间在类函数空间稠密：<ref name="course"/><ref name="topological groups"/>

设<math>f</math>是任意共轭不变的函数。由彼得-魏尔定理，对任意<math>\epsilon >0</math>，存在<math>h \in \Delta</math>，使得<math>|f(x)-h(x)|< \epsilon</math>。记<math>p(x)</math>为如下积分：
:<math>p(x)=\int \mathrm{d}g h(gxg^{-1})</math>

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

该推论在连通紧李群表示的分类理论中扮演着重要的角色。<ref>{{cite book|first=Brian C.|last=Hall|title=Lie Groups, Lie Algebras, and Representations: An Elementary Introduction|edition= 2|series=Graduate Texts in Mathematics|volume=222 |publisher=Springer|year=2015|isbn=978-3319134666|chapter=12}}</ref>

== 参见 ==
*[[龐特里亞金對偶性]]
== 参考文献 ==
{{reflist|2}}
[[Category:群表示论]]
[[Category:调和分析]]
[[Category:拓扑群]]