斯通-馮諾伊曼定理

在數學和理論物理學中，斯通-馮諾伊曼定理是指位置和動量算子間的正則對易關係的唯一性的眾多不同表述中的一種。它冠名於馬歇爾·斯通和約翰·馮·諾依曼。^[1][2][3][4]

對易關係的表示問題

在量子力學中，物理可觀測量在數學上由希爾伯特空間上的線性算子來表示。

對於在實軸 ${\displaystyle \mathbb {R} }$ 上運動的單個粒子，有兩個重要的可觀測量：位置和動量。在薛丁格繪景中，位置算子 ${\displaystyle x}$ 和動量算子 ${\displaystyle p}$ 在 ${\displaystyle \psi }$ 上的作用定義為$${\displaystyle {\begin{aligned}[][x\psi ](x_{0})&=x_{0}\psi (x_{0})\\[][p\psi ](x_{0})&=-i\hbar {\frac {\partial \psi }{\partial x}}(x_{0})\end{aligned}}}$$定義域 ${\displaystyle V}$ 中的 ${\displaystyle \psi }$ 是 ${\displaystyle \mathbb {R} }$ 上的緊支撐無窮可微函數。假定 ${\displaystyle \hbar }$ 是一固定的非零實數——在量子理論中 ${\displaystyle \hbar }$ 即是約化普朗克常數，其具有作用量的量綱（即能量乘時間的量綱）。

算子 ${\displaystyle x}$, ${\displaystyle p}$ 滿足正則對易關係的李代數：$${\displaystyle [x,p]=xp-px=i\hbar .}$$赫爾曼·外爾在他的經典著作^[5]中指出，若 ${\displaystyle x}$, ${\displaystyle p}$ 是作用於有限維空間上的線性算子，除非 ${\displaystyle \hbar }$ 為零，否則它們不可能滿足上面的對易關係。這一點可通過對第二個等號的兩邊取跡並使用關係 ${\displaystyle \operatorname {Tr} (AB)=\operatorname {Tr} (BA)}$ 之間看出：左邊將為零，而右邊卻非零。進一步的分析表明，任何兩個滿足上述對易關係的自伴算子不可能同時是有界的（事實上， Wielandt的一個定理表明，任何賦范代數的元素都不可能滿足該關係^{[note 1]}）。為了記號上的方便， ${\displaystyle \hbar }$ 的非零平方根可以被吸收到 ${\displaystyle x}$, ${\displaystyle p}$ 的定義中，如此也就是說可以用 1 替換它，下文將使用這種約定。

斯通-馮諾伊曼定理的思想是，正則對易關係的任意兩個不可約表示都是么正等價的。然而，由於所涉及的算子必然是無界的（如上所述），存在一些棘手的定義域問題，允許反例的存在。^{[6] :Example 14.5}為了獲得嚴格的結果，必須要求算子滿足標準對易關係的指數形式，即所謂的外爾關係。指數映射後的算子是有界且么正的。雖然這些關係在形式上等同於標準規範交換關係，但這種等價性並不嚴格，這（同樣）是算子的無界性質導致的。（還有一個外爾關係的離散類比，在有限維空間中成立^{[6]:Chapter 14, Exercise 5} ，即有限海森堡群中的西爾維斯特時鐘和移位矩陣，如下所述。）