草稿:斯通-馮諾伊曼定理
在數學和理論物理學中,斯通-馮諾伊曼定理是指位置和動量算子間的正則對易關係的唯一性的眾多不同表述中的一種。它冠名於馬歇爾·斯通和約翰·馮·諾依曼。[1][2][3][4]
對易關係的表示問題
在量子力學中,物理可觀測量在數學上由希爾伯特空間上的線性算子來表示。
對於在實軸 上運動的單個粒子,有兩個重要的可觀測量:位置和動量。在薛定諤繪景中,位置算子 和動量算子 在 上的作用定義為定義域 中的 是 上的緊支撐無窮可微函數。假定 是一固定的非零實數——在量子理論中 即是約化普朗克常數,其具有作用量的量綱(即能量乘時間的量綱)。
算子 , 滿足正則對易關係的李代數:赫爾曼·外爾在他的經典著作[5]中指出,若 , 是作用於有限維空間上的線性算子,除非 為零,否則它們不可能滿足上面的對易關係。這一點可通過對第二個等號的兩邊取跡並使用關係 之間看出:左邊將為零,而右邊卻非零。進一步的分析表明,任何兩個滿足上述對易關係的自伴算子不可能同時是有界的(事實上, Wielandt的一個定理表明,任何賦范代數的元素都不可能滿足該關係[note 1])。為了記號上的方便, 的非零平方根可以被吸收到 , 的定義中,如此也就是說可以用 1 替換它,下文將使用這種約定。
斯通-馮諾伊曼定理的思想是,正則對易關係的任意兩個不可約表示都是幺正等價的。然而,由於所涉及的算子必然是無界的(如上所述),存在一些棘手的定義域問題,允許反例的存在。[6] :Example 14.5為了獲得嚴格的結果,必須要求算子滿足標準對易關係的指數形式,即所謂的外爾關係。指數映射後的算子是有界且幺正的。雖然這些關係在形式上等同於標準規範交換關係,但這種等價性並不嚴格,這(同樣)是算子的無界性質導致的。(還有一個外爾關係的離散類比,在有限維空間中成立[6]:Chapter 14, Exercise 5 ,即有限海森堡群中的西爾維斯特時鐘和移位矩陣,如下所述。)
表示的唯一性
人們希望對作用於可分希爾伯特空間的兩個自伴算子的正則對易關係的表示進行分類,每個類內的表示都幺正等價。根據單參數酉群的斯通定理,自伴算子與(強連續)單參數酉群之間存在一一對應關係。
令 和 是兩個滿足正則對易關係 的自伴算子;另有兩個實參數 和 。藉由函數演算,可引入 和 及其對應的酉群。(對於上面顯式定義的算子 , ,則分別是 的乘法算子和平移變換 的拉回。)容易通過一個形式上的計算[6]:Section 14.2 (用到貝克-坎貝爾-豪斯多夫公式的一個特例)得出反過來,給定兩個滿足下面的交織關係的單參數酉群 和 :
( )
通過形式上求在 0 處的導數,即可看出它們的兩個無窮小生成元滿足前文的正則對易關係。單參數酉群的正則對易關係(CCR)的這種交織形式稱為CCR的外爾形式。
值得注意的是,前述推導純粹是形式上的。由於所涉及的算子是無界的,因此一些技術問題會阻止人們在不額外對定義域作假設的情況下應用貝克-坎貝爾-豪斯多夫公式。實際上,確實存在滿足正則對易關係卻不滿足外爾關係 (E1) 的算子。[6]:Example 14.5儘管如此,在「好」的情況下,我們希望滿足正則對易關係的算子也將滿足外爾關係。
因此,問題變為對聯合不可約、且滿足可分希爾伯特空間上的外爾關係的兩個單參數酉群 和 進行分類。答案就是斯通-馮諾依曼定理的內容:所有這樣的單參數酉群對都是酉等價的。[6]:Theorem 14.8換句話說,對於不可約地作用於希爾伯特空間 上的任何兩個這樣的 和 ,存在一個幺正算子 使得
- ^ von Neumann, J., Die Eindeutigkeit der Schrödingerschen Operatoren, Mathematische Annalen (Springer Berlin / Heidelberg), 1931, 104: 570–578, ISSN 0025-5831, doi:10.1007/BF01457956
- ^ von Neumann, J., Ueber Einen Satz Von Herrn M. H. Stone, Annals of Mathematics, Second Series (Annals of Mathematics), 1932, 33 (3): 567–573, ISSN 0003-486X, JSTOR 1968535, doi:10.2307/1968535 (German)
- ^ Stone, M. H., Linear Transformations in Hilbert Space. III. Operational Methods and Group Theory, Proceedings of the National Academy of Sciences of the United States of America (National Academy of Sciences), 1930, 16 (2): 172–175, Bibcode:1930PNAS...16..172S, ISSN 0027-8424, JSTOR 85485, PMC 1075964
, PMID 16587545, doi:10.1073/pnas.16.2.172
- ^ Stone, M. H., On one-parameter unitary groups in Hilbert Space, Annals of Mathematics, 1932, 33 (3): 643–648, JSTOR 1968538, doi:10.2307/1968538
- ^ Weyl, H. (1927), "Quantenmechanik und Gruppentheorie", Zeitschrift für Physik, 46 (1927) pp. 1–46, doi:10.1007/BF02055756; Weyl, H., The Theory of Groups and Quantum Mechanics, Dover Publications, 1950, ISBN 978-1-163-18343-4.
- ^ 6.0 6.1 6.2 6.3 6.4 Hall, B.C., Quantum Theory for Mathematicians, Graduate Texts in Mathematics 267, Springer, 2013, ISBN 978-1461471158
引用錯誤:頁面中存在<ref group="note">
標籤,但沒有找到相應的<references group="note" />
標籤