斯通-冯诺伊曼定理

在数学和理论物理学中，斯通-冯诺伊曼定理是指位置和动量算子间的正则对易关系的唯一性的众多不同表述中的一种。它冠名于马歇尔·斯通和约翰·冯·诺依曼。

对易关系的表示问题

在量子力学中，物理可观测量在数学上由希尔伯特空间上的线性算子来表示。

对于在实轴 $ℝ$ 上运动的单个粒子，有两个重要的可观测量：位置和动量。在薛定谔绘景中，位置算子 $x$ 和动量算子 $p$ 在 $\psi$ 上的作用定义为$$\begin{array}{cc}[][x\psi ](x_0)& =x_0\psi (x_0)\\ [][p\psi ](x_0)& =-i\hslash \frac{\partial \psi }{\partial x}(x_0)\end{array}$$定义域 $V$ 中的 $\psi$ 是 $ℝ$ 上的紧支撑无穷可微函数。假定 $\hslash$ 是一固定的非零实数——在量子理论中 $\hslash$ 即是约化普朗克常数，其具有作用量的量纲（即能量乘时间的量纲）。

算子 $x$, $p$ 满足正则对易关系的李代数：$$[x,p]=xp-px=i\hslash .$$赫尔曼·外尔在他的经典著作中指出，若 $x$, $p$ 是作用于有限维空间上的线性算子，除非 $\hslash$ 为零，否则它们不可能满足上面的对易关系。这一点可通过对第二个等号的两边取迹并使用关系 $\mathrm{Tr}(AB)=\mathrm{Tr}(BA)$ 之间看出：左边将为零，而右边却非零。进一步的分析表明，任何两个满足上述对易关系的自伴算子不可能同时是有界的（事实上， Wielandt的一个定理表明，任何赋范代数的元素都不可能满足该关系）。为了记号上的方便， $\hslash$ 的非零平方根可以被吸收到 $x$, $p$ 的定义中，如此也就是说可以用 1 替换它，下文将使用这种约定。

斯通-冯诺伊曼定理的思想是，正则对易关系的任意两个不可约表示都是幺正等价的。然而，由于所涉及的算子必然是无界的（如上所述），存在一些棘手的定义域问题，允许反例的存在。 Template:Rp为了获得严格的结果，必须要求算子满足标准对易关系的指数形式，即所谓的外尔关系。指数映射后的算子是有界且幺正的。虽然这些关系在形式上等同于标准规范交换关系，但这种等价性并不严格，这（同样）是算子的无界性质导致的。（还有一个外尔关系的离散类比，在有限维空间中成立Template:R ，即有限海森堡群中的西尔维斯特时钟和移位矩阵，如下所述。）

表示的唯一性

人们希望对作用于可分希尔伯特空间的两个自伴算子的正则对易关系的表示进行分类，每个类内的表示都幺正等价。根据单参数酉群的斯通定理，自伴算子与（强连续）单参数酉群之间存在一一对应关系。

令

$Q$

和

$P$

是两个满足正则对易关系

$[Q,P]=i$

的自伴算子；另有两个实参数

$s$

和

$t$

。藉由函数演算，可引入

$e^{itQ}$

和

$e^{isP}$

及其对应的酉群。（对于上面显式定义的算子

$x$

,

$p$

，则分别是

$e^{itx}$

的乘法算子和平移变换

$x\mapsto x+s$

的拉回。）容易通过一个形式上的计算Template:R （用到贝克-坎贝尔-豪斯多夫公式的一个特例）得出

$$e^{itQ}{e}^{isP}=e^{-ist}{e}^{isP}{e}^{itQ}.$$

反过来，给定两个满足下面的交织关系的单参数酉群

$U(t)$

和

$V(s)$

：

$\mathrm{\forall }s,t,U(t)V(s)=e^{-ist}V(s)U(t),$   (E1)

通过形式上求在 0 处的导数，即可看出它们的两个无穷小生成元满足前文的正则对易关系。单参数酉群的正则对易关系（CCR）的这种交织形式称为CCR的外尔形式。

值得注意的是，前述推导纯粹是形式上的。由于所涉及的算子是无界的，因此一些技术问题会阻止人们在不额外对定义域作假设的情况下应用贝克-坎贝尔-豪斯多夫公式。实际上，确实存在满足正则对易关系却不满足外尔关系 (Template:EquationNote) 的算子。Template:R尽管如此，在“好”的情况下，我们希望满足正则对易关系的算子也将满足外尔关系。

因此，问题变为对联合不可约、且满足可分希尔伯特空间上的外尔关系的两个单参数酉群 $U(t)$ 和 $V(s)$ 进行分类。答案就是斯通-冯诺依曼定理的内容：所有这样的单参数酉群对都是酉等价的。Template:R换句话说，对于不可约地作用于希尔伯特空间 $H$ 上的任何两个这样的 $U(t)$ 和 $V(s)$ ，存在一个幺正算子 $W:L^2(R)\to H$ 使得$$W^{*}U(t)W=e^{itx}\text{and}{W}^{*}V(s)W=e^{isp},$$