跳至內容

彼得-魏爾定理

維基百科,自由的百科全書

彼得-魏爾定理(英語:Peter–Weyl theorem)是調和分析群表示論中的一組重要定理,於1927年由赫爾曼·魏爾和他的學生弗里茨·彼得英語Fritz_Peter證明。該定理刻畫了緊群不可約表示的完備性,可以視作有限群表示理論中弗羅貝尼烏斯定理的推廣。定理分為三部分:第一部分指出,緊群的所有有限維不可約酉表示英語Unitary representation矩陣元英語Matrix_coefficient,在上所有復值連續群函數構成、配備了一致範數英語Uniform_norm的空間中稠密。第二部分指出,在任何一個可分希爾伯特空間上的酉表示都完全可約。第三部分斷言,的所有有限維不可約酉表示的矩陣元構成了平方可積的復值函數空間的一組標準正交基

背景

20世紀20年代,魏爾在研究廣義相對論的數學基礎時,對連續群的表示理論產生了興趣。在研究中,他試圖將有限群表示理論中的弗羅貝尼烏斯定理(即有限群正則表示英語Regular representation可以約化為其所有不可約表示的直和)推廣到連續群,尤其是特殊線性群。與此同時,伊賽·舒爾英語Issai_Schur等其它數學家的工作也為研究群表示提供了更強有力的工具。1927年,魏爾在其學生彼得的協助下證明了本定理,斷言了緊群不可約表示的完備性。然而,因為魏爾在當時並不知道如何在除緊李群之外的一般緊群上定義群作用下不變的積分,他在證明中不必要地假定了群運算的可微性。這一問題直至1933年才由阿弗雷德·哈爾英語Alfréd Haar建立的哈爾測度理論徹底解決。[1]

彼得-魏爾定理在抽象調和分析理論中扮演了重要的角色。正如本尼迪克特·格羅斯英語Benedict Gross所述:「現代調和分析發軔於20世紀20年代......她誕生於1927年,而彼得和魏爾的論文是她的出生證明。」此外,馮諾依曼於1933年利用該定理的一個推論,解決了緊群版本的希爾伯特第五問題[1][2]

定理的陳述和證明

定理I

為緊群,上所有復值連續函數構成、配備了一致範數賦范線性空間的所有有限維不可約酉表示的矩陣元張成的線性空間,則中稠密。[3]

證明概要

,可以定義卷積算子

利用阿爾澤拉引理可以證明,該算子是上的緊算子

,由的緊性可知一致連續。即對任意,存在群單位元的鄰域的,使得任意,都有。不失一般性,可以假設

是定義在上,且支集的連續實值函數。由烏雷松引理,這樣的函數總是存在的。不失一般性,可以假設,因為對任意總可以通過如下的變換使其滿足上述條件:

此時,可以證明上的緊自伴算子。利用緊自伴算子的譜定理,可知:

其中為算子本徵值的有限維本徵子空間。因此,可以寫成一列絕對一致收斂的函數項級數和:

故而存在,使得

另一方面:

因此:

的左正則表示,不難證明算子對易,因此本徵子空間也是左正則表示的有限維不變子空間。由於有限維表示完全可約,可以寫成的有限維不可約酉表示的表示空間的直和。在每個這樣的空間上:

其中是該不可約表示的矩陣元。這意味着,進而。總之,對於任意,都存在中的某個元素,使得其與之差的一致範數小於。這意味着中稠密。[3][4]

以上證明的思路來自彼得和魏爾的原始論文。實際上,利用格爾范德-賴科夫定理英語Gelfand–Raikov theorem魏爾斯特拉斯逼近定理亦可直接推出本定理。[2]

定理II

是緊群在可分希爾伯特空間上的任意酉表示,則可分解為的有限維不變子空間的直和,其中每個子空間都承載了的不可約表示。[2][5]

證明概要

上定義的內積。對任意,定義算子

可證上的非零緊自伴算子,且與對易。利用緊自伴算子的譜定理,可對作如下分解:

其中,的每個有限維特徵子空間又是群表示的不變子空間,故其可進一步分解為承載的有限維不可約表示的子空間的直和。

中可以分解為承載有限維不可約表示的子空間的直和的最大子空間,的正交補。(由佐恩引理,這樣做是合法的。)顯然也是的不變子空間,若不是零空間,上的限制也是的酉表示。因此,將以上的論證中的代替,則可立即推出也有承載的有限維不可約表示的子空間。這與的定義矛盾。因此,定理得證。[2]

定理III

是緊群,則的所有不等價不可約酉表示的矩陣元的集合構成的標準正交基。[2][5]

證明概要

注意到中稠密,利用舒爾正交關係和定理I即可得到本定理。[2]

推論

點分離推論

由彼得-魏爾定理可以推出如下結論:[1][3]

是緊群任意非恆等元,則存在的不可約表示,使得不是單位矩陣。換言之,如果屬於緊群,對的一切不可約表示,的表示矩陣都相同,則。證明如下:

對任意,由烏雷松引理,存在上連續函數使得。由彼得-魏爾定理,可以寫成一列絕對一致收斂的矩陣元的級數和。若對一切不可約表示都是單位陣,則前述級數展開的每一項,都滿足,因此。這一矛盾意味着必然存在某個不可約表示,使得不是單位矩陣。[3]

該推論最早出現在彼得和魏爾的原始論文中,並在相關理論日後的發展過程中發揮了重要的作用。馮諾依曼解決緊群版本的希爾伯特第五問題時,就用到了這一推論。[1]

特徵標完備性

緊群群共軛不變的函數構成的子空間類函數空間。利用彼得-魏爾定理可以推出,的所有不可約表示的特徵標張成的線性空間在類函數空間稠密:[2][3]

是任意共軛不變的函數。由彼得-魏爾定理,對任意,存在,使得。記為如下積分:

由於,且。利用舒爾正交關係可證,可以寫成特徵標的線性組合。此外,因共軛不變,注意到以下事實本推論即證:

該推論在連通緊李群表示的分類理論中扮演着重要的角色。[6]

參見

參考文獻

  1. ^ 1.0 1.1 1.2 1.3 I.M. James. History of Topology. Elsevier. 1999: 184-191. ISBN 9780080534077. 
  2. ^ 2.0 2.1 2.2 2.3 2.4 2.5 2.6 Gerald B. Folland. A Course in Abstract Harmonic Analysis. CRC Press. 1994: v,131. ISBN 9780849384905. 
  3. ^ 3.0 3.1 3.2 3.3 3.4 L. S. Pontryagin. Topological Groups. Gordon & Breach Science. 1966: 225-229. ISBN 978-0677203904. 
  4. ^ Robert J. Zimmer. Essential Results of Functional Analysis. The University of Chicago Press. 1990: 61-66. ISBN 9780226983387. 
  5. ^ 5.0 5.1 Knapp, Anthony, Representation theory of semisimple groups, Princeton University Press, 1986, ISBN 0-691-09089-0 
  6. ^ Hall, Brian C. 12. Lie Groups, Lie Algebras, and Representations: An Elementary Introduction. Graduate Texts in Mathematics 222 2. Springer. 2015. ISBN 978-3319134666.