对称算符与自伴算符

玻尔百科

主要结论

在无限维空间中，由于定义域可能不同（ $A \subseteq A^\dagger$ vs. $A = A^\dagger$ ），对称算符不一定是自伴的。
自伴性是量子力学中代表物理可观测量的算符的一项关键要求，它确保了测量结果为实数以及时间演化的一致性。
Hellinger-Toeplitz 定理指出，诸如动量和能量等无界对称算符不能定义在整个希尔伯特空间上。
von Neumann 的亏指数理论确定了一个对称算符是否可以扩展为自伴算符，从而将数学上的可能性与物理边界条件联系起来。

引言

在人们所熟悉的有限维线性代数世界中，“对称”和“自伴”这两个术语通常可以互换使用，用以描述那些保证具有实特征值的行为良好的算符。然而，当我们步入量子力学的无限维希尔伯特空间时，这种简单的等价性便不复存在。在这里，一个算符仅仅是对称的与真正是自伴的之间出现了关键的区别——这一鸿沟是由算符定义域这个微妙而强大的概念所造成的。本文旨在解决一个根本性问题：为什么这个看似迂腐的数学细节对我们理解物理现实具有如此深远的影响？在接下来的章节中，我们将揭示这种复杂性。首先，“原理与机制”部分将剖析精确的数学定义，探讨定义域、无界性以及 von Neumann 分类所扮演的角色。随后，“应用与跨学科联系”部分将展示为什么自伴性是量子理论中一个不可或缺的支柱，它支撑着从测量的实在性到概率守恒的方方面面。

原理与机制

有限维的舒适区：当对称意味着自伴

让我们从一个熟悉而舒适的地方开始我们的旅程：有限维空间的世界，即矩阵的世界。如果你学过线性代数，你就会知道一种特殊的矩阵——埃尔米特矩阵（如果其元素为实数，则为对称矩阵）。它是一个等于其自身共轭转置的矩阵 $A$ ，我们记作 $A = A^\dagger$ 。这一性质是众多物理和工程学领域的基石。它保证了矩阵的特征值是实数——如果它们要代表像能量或位置这样的可测量，这一点相当重要！它还确保了其特征向量构成该空间的一组完备的正交基。一切都井然有序。

在这个有限维世界里，我们几乎可以互换使用“对称”和“自伴”这两个词。如果对于任意两个向量 $x$ 和 $y$ ，内积 $\langle Ax, y \rangle$ 都与 $\langle x, Ay \rangle$ 相同，那么这个算符就是对称的。对于矩阵而言，很容易证明这个性质与条件 $A=A^\dagger$ 完全等价。因此，在这个世界里，对称性意味着自伴性，反之亦然。这是一个简单而优美的等价关系。但这种美妙的简单性是有限维世界的一个特征，一个我们即将失去的奢侈品。

进入无限维：定义域的“暴政”

当我们跃入量子力学时，我们离开了 $n$ 维向量的有限世界，进入了一个由函数组成的广阔无限的世界，这些函数存在于一个希尔伯特空间中，比如平方可积函数空间 $L^2$ 。在这里，我们的算符不再是简单的矩阵；它们通常是微分算符，如动量算符 $\frac{d}{dx}$ 或动能算符 $-\frac{d^2}{dx^2}$ 。伴随这些算符而来的是一个微妙而深刻的复杂性，它改变了一切：定义域的概念。

你看，你不能将像 $\frac{d}{dx}$ 这样的算符应用于 $L^2$ 空间中的任意函数。这个空间中的许多函数根本不可微！它们可能有跳跃、尖点或其他不规则的行为。这意味着一个微分算符只能作用于希尔伯特空间的一个子集——它的定义域，我们用 $\mathcal{D}(A)$ 表示。仅此一个事实，就催生了整个美丽而复杂的数学体系。一个算符不再仅仅是一个变换向量的规则；它是一个组合：一个规则以及它被允许作用于的特定向量集合。

现在，让我们在这种新的、更严谨的视角下重新定义我们的术语。

如果对于其定义域 $\mathcal{D}(A)$ 中的所有向量 $\psi$ 和 $\phi$ ， $\langle A\psi, \phi \rangle = \langle \psi, A\phi \rangle$ 都成立，那么算符 $A$ 就是对称的。这看起来和我们旧的定义一样，但“在其定义域内”这一约束现在至关重要。正是这个性质确保了可观测量期望值 $\langle \psi, A\psi \rangle$ 总是实数，这是物理测量的一个不可协商的特性。

但自伴性又是什么呢？为了定义它，我们必须首先引入一个新的角色：伴随算符 $A^\dagger$ 。在某种意义上，伴随算符 $A^\dagger$ 是可以放在对称性方程右边的最广义的算符。其定义域 $\mathcal{D}(A^\dagger)$ 由所有满足以下条件的向量 $\phi$ 组成：存在一个向量 $\eta$ ，使得对于 $\mathcal{D}(A)$ 中所有的 $\psi$ ，都有 $\langle A\psi, \phi \rangle = \langle \psi, \eta \rangle$ 。如果这样的 $\eta$ 存在，我们就定义 $A^\dagger\phi = \eta$ 。

由此，我们可以看到这个微妙的区别：

如果 $A$ 是其伴随算符的子集，那么 $A$ 就是对称的。这意味着 $\mathcal{D}(A) \subseteq \mathcal{D}(A^\dagger)$ 并且对于所有 $\psi \in \mathcal{D}(A)$ ，有 $A\psi = A^\dagger\psi$ 。我们简明地记为 $A \subseteq A^\dagger$ 。该算符与其伴随算符一致，但仅在其自己（可能更小）的领域内。
如果 $A$ 等于其伴随算符，那么 $A$ 就是自伴的。这意味着它们的定义域必须相同，即 $\mathcal{D}(A) = \mathcal{D}(A^\dagger)$ ，并且它们在该定义域上的作用也必须相同。我们记为 $A = A^\dagger$ 。

这就是巨大的分歧所在。在无限维空间中，一个算符可以是对称的而非自伴的。这种分裂之所以没有在矩阵上发生，是因为矩阵的定义域总是整个有限维空间，没有给伴随算符的定义域留下任何不同的余地。

双雄记：动量算符的悖论

这可能听起来非常抽象，所以让我们抓住一个现实世界中的例子来具体分析：量子力学中的动量算符 $P = -i \frac{d}{dx}$ 。为了使其成为一个定义良好的算符，我们必须选择一个定义域。让我们从一个非常“安全”的选择开始：在某个有限区域外为零的无限可微函数集合，数学家称之为 $C_c^\infty(\mathbb{R})$ 空间。这是一个性质良好、行为规范的函数集合。

我们的算符在这个定义域上是对称的吗？我们可以通过分部积分来检验。对于定义域中的任意两个函数 $\psi, \phi$ ：

\langle P\psi, \phi \rangle = \int_{-\infty}^{\infty} \overline{\left(-i\frac{d\psi}{dx}\right)} \phi \, dx = \int_{-\infty}^{\infty} \left(i\frac{d\bar{\psi}}{dx}\right) \phi \, dx

进行分部积分得到：

[i\bar{\psi}\phi]_{-\infty}^{\infty} - \int_{-\infty}^{\infty} i\bar{\psi} \frac{d\phi}{dx} \, dx = \int_{-\infty}^{\infty} \bar{\psi} \left(-i\frac{d\phi}{dx}\right) \, dx = \langle \psi, P\phi \rangle

边界项 $[i\bar{\psi}\phi]_{-\infty}^{\infty}$ 为零，因为我们的函数在有限区域外为零。所以，是的，我们的算符是完全对称的！

但它是自伴的吗？要回答这个问题，我们必须找到它的伴随算符 $P^\dagger$ 。当我们运用完整的数学工具时，会发现一些有趣的事情。伴随算符具有完全相同的规则， $P^\dagger = -i\frac{d}{dx}$ ，但它可以应用于一个大得多的函数集合。它的定义域 $\mathcal{D}(P^\dagger)$ 原来是索博列夫空间 $H^1(\mathbb{R})$ ，该空间包括所有其（弱）导数也平方可积的平方可积函数。这个定义域真包含我们最初的“安全”定义域， $C_c^\infty(\mathbb{R}) \subsetneq H^1(\mathbb{R})$ 。

由于定义域不相等，我们的算符 $P$ 是一个对称但非自伴算符的教科书级例子。这就像一个学徒，虽然做着和师傅同样的工作，但只被信任处理一小部分任务。只有一个自伴算符才是真正的大师，其定义域与其能力完美匹配。

此地之法：为何无界算符不能统治一切

那么，为什么像动量算符这样的一些算符会遭遇这种奇怪的命运，而其他算符则不会呢？罪魁祸首是一个称为无界性的性质。有界算符是“温顺的”；它对任何向量的拉伸都不会超过一个固定的因子。对于任何有界算符 $A$ ，都存在一个数 $M$ 使得 $\|A\psi\| \le M\|\psi\|$ 。有限维空间中的所有算符都是有界的。

然而，一个无界算符可以将一个很小的、归一化的向量变成一个巨大无比的向量。我们的动量算符 $P = -i \frac{d}{dx}$ 就是一个典型的例子。考虑在长度为 $L$ 的区间上的函数 $\psi_k(x) = \sqrt{\frac{2}{L}} \sin(kx)$ 。它的范数为 1。但它的导数 $P\psi_k = k \sqrt{\frac{2}{L}} \cos(kx)$ 的范数随 $k$ 的增长而增长。通过选择足够高的频率 $k$ ，我们可以使输出任意大。事实上，与动量、位置和能量等关键物理量相对应的算符都是无界的。

现在，一个名为 Hellinger-Toeplitz 定理 的奇妙而深刻的结果将所有这些思想联系在一起。该定理指出，如果一个对称算符定义在希尔伯特空间的全体上，那么它必定是有界的。

这个定理真正的魔力在于其逆否命题：如果你有一个无界的对称算符，那么它的定义域不可能是整个希尔伯特空间。无界性与拥有受限的定义域是密不可分的。就好像希尔伯特空间有一种天然的防御机制：它拒绝让这些“狂野的”无界算符处处有定义。如果你有一个无界对称算符 $T$ ，它的伴随算符 $T^*$ 也保证是无界的，这意味着这种狂野性是一种内在属性，不能简单地通过取伴随算符来消除。

医生的诊断：对称算符的命运

因此，我们经常会遇到一个对称但非自伴的算符，就像我们最初的动量算符一样。在物理学中，这是不可接受的。只有真正的自伴算符才具备我们要求可观测量拥有的全部性质，比如完备的实特征值集，以及通过 Stone 定理生成时间演化的能力。一个“仅仅”对称的算符是有问题的。我们能治愈它吗？我们能扩展它的定义域使其成为自伴的吗？

伟大的数学家 John von Neumann 提供了一套完整的诊断工具。一个对称算符 $A$ 的健康状况可以通过两个称为亏指数的数 $(n_+, n_-)$ 来确定。它们是两个特殊子空间的维数，定义为 $n_+ = \dim(\ker(A^* - iI))$ 和 $n_- = \dim(\ker(A^* + iI))$ ，本质上衡量了 $A$ 离自伴的程度有多远。基于这两个数，我们的算符有三种可能的命运：

本质自伴： 如果亏指数为  $(0, 0)$ ，我们的算符就处于极佳的健康状态。它还不是自伴的，但它有一个唯一的自伴扩张（它的闭包）。我们称该算符是本质自伴的。我们最初选择的定义域被称为真实物理算符的核。这是最好的情况。我们在定义域 $C_c^\infty(\mathbb{R})$ 上的动量算符 $P = -i\frac{d}{dx}$ 就属于这一类。有且仅有一种方法可以将其“提升”为一个完全的自伴算符，那就是将其定义域扩展到索博列夫空间 $H^1(\mathbb{R})$ 。其物理意义是明确的。
存在自伴扩张： 如果亏指数相等但非零，即  $n_+ = n_- = k > 0$ ，情况就更复杂了。该算符可以被治愈，但没有唯一的治愈方法！它允许存在一个无限族的不同自伴扩张。这不是一个数学缺陷；它是一个信号，表明物理问题没有被完全指定。为了选择“正确”的扩张，我们需要提供更多的物理信息，这通常以边界条件的形式出现。一个典型的例子是限制在有限区间内的粒子的动量算符。边界上发生什么（例如，周期性条件、消失条件）的选择决定了你得到哪种自伴扩张。
不存在自伴扩张： 如果亏指数不相等，即  $n_+ \neq n_-$ ，那么这个算符就是“病入膏肓”了。没有任何方法可以将其扩张为一个自伴算符。从物理学家的角度来看，这样的算符不能代表一个基本的可观测量。它只是一个数学上的奇观，但在物理上是一个死胡同。

这个优美的分类为看似混乱的无限维算符世界带来了非凡的秩序。它展示了算符的作用与其定义域之间的微妙相互作用如何支配其命运，决定了它究竟能成为我们物理理论的基石，还是仅仅一个数学幽灵。

应用与跨学科联系

既然我们已经掌握了对称算符和自伴算符的精确数学机制，一个注重实际的人可能会问：“那又怎样？大自然真的在乎一个算符和它的伴随算符之间的这些细微差别，或者它们定义域的微妙细节吗？” 这是一个合理的问题。人们可能会试图达成一种物理学家的妥协：只要一个算符在计算中看起来是“埃尔米特的”——意味着它的期望值是实数——我们就可以忽略关于定义域和闭包的繁琐事务。

本章就是对这种妥协的探究。我们将明确地看到，这是一个你会输掉的赌注。事实证明，大自然是一位无可挑剔的数学家。对称性与自伴性之间看似迂腐的鸿沟并非一个可以忽略的缺陷，而是一个具有深远物理重要性的特征。正是在这个鸿沟中，我们找到了理解量子现实本质的关键：我们能测量什么，系统如何随时间演化，以及为什么我们所知的世界是稳定的。

问题的核心：量子公设

这些概念展示其全部、不屈不挠力量的舞台是量子力学。该理论建立在一套将希尔伯特空间的抽象世界与实验室测量的具体世界联系起来的公设之上。正是在这里，自伴性占据了中心舞台。为了建立一个自洽的量子力学理论，我们要求每一个物理可观测量——能量、位置、动量、角动量——都由一个自伴算符来表示。仅仅对称是不够的。我们为何如此坚持？有三个不可协商的原因，它们根植于该理论的基本原理。

测量结果必须是实数： 当你测量一个电子的能量或一个粒子的位置时，你会得到一个实数。对一个可观测量 $A$ 进行测量的所有可能结果的集合是它的谱，记为 $\sigma(A)$ 。一个基本定理是，一个算符的谱是实数集的子集，当且仅当该算符是自伴的。一个非自伴的对称算符其谱可以包含复数、非实数值——这在物理上是荒谬的。期望值为实数是必要但非充分的条件；单个的测量结果本身必须是实数。
概率必须是完备的： 玻恩定则告诉我们如何计算测量结果的概率。对于像位置这样具有连续谱的可观测量，我们需要能够询问在任何给定区域内发现粒子的概率。这需要一个称为投影值测量 (PVM) 的数学工具，它为每一组合理的可能结果分配一个投影算符。著名的谱定理在自伴算符和这些 PVM 之间建立了一一对应的关系。正是 PVM 为一个可观测量提供了完整的统计方案。一个仅仅对称的算符不能保证拥有 PVM，这会使我们的测量理论不完整或定义不善。
概率必须守恒： 随着量子系统随时间演化，在某处找到粒子的总概率必须保持为 1。这意味着时间演化算符 $U(t)$ 必须是幺正的。Stone 定理 提供了另一个深刻的联系：它指出，每个幺正演化群 $U(t) = \exp(-itH/\hbar)$ 都由一个唯一的自伴算符 $H$ ——即哈密顿算符——生成。如果哈密顿算符仅仅是对称的，它可能无法生成幺正演化，从而导致一个荒谬的理论，其中粒子可以凭空消失或产生。

为了说明这不仅仅是抽象的挑剔，考虑一个简单但出人意料地微妙的系统：一个被困在半直线 $(0, \infty)$ 上的粒子，就像一根在 $x=0$ 处有硬性阻挡的线上的珠子。它的动量是多少？动量算符的一个自然候选者是 $P = -i\hbar \frac{d}{dx}$ 。为了使其对称，我们必须指定一个定义域，一个常见的选择是在原点处为零的光滑函数集。但这个算符是自伴的吗？仔细分析表明它不是。更糟糕的是，这个对称算符根本没有自伴扩张！它的谱是整个复平面的上半部分。它在物理上是不可用的。从这个意义上说，对于半直线上的粒子，根本不存在一个定义良好的“动量”可观测量。

那么粒子的动能 $H_0 = -\frac{\hbar^2}{2m}\frac{d^2}{dx^2}$ 呢？如果我们从一个在边界附近为零的函数的最小定义域开始，这个算符是对称的。但它不是自伴的。然而，与动量算符不同，它拥有一整族的自伴扩张。每个扩张对应于 $x=0$ 处边界条件的不同选择，例如将波函数固定为零（Dirichlet 条件）或将其导数固定为零（Neumann 条件）。这些选择中的每一个都定义了一个独特的、物理上有效的哈密顿算符，描述了与原点墙壁的不同类型的相互作用。物理内涵不在于 $H_0$ 的形式表达式，而在于选择能正确模拟物理情况的自伴扩张。

物理定律不容置疑的逻辑

对自伴性的要求不仅仅是数学上的便利；它是由物理定律本身的逻辑所施加的结构性约束。我们可以用一种非常直接的方式看到这一点。想象一下，我们正在构建时间演化的生成元 $K$ ，使得 $U(t) = \exp(tK)$ 。我们从 Stone 定理得知，要使 $U(t)$ 成为幺正的， $K$ 必须是反自伴的，即 $K^* = -K$ 。现在，假设我们从两部分构建 $K$ ：一个标准的自伴部分 $A$ （我们将其视为物理的“实”部）和另一部分 $B$ ，因此 $K = iA + B$ 。幺正性对 $B$ 施加了什么约束？让我们假设 $B$ 是一个定义在整个希尔伯特空间上的对称算符。Hellinger-Toeplitz 定理立即告诉我们， $B$ 必须是有界的，因此是自伴的。

现在我们计算 $K$ 的伴随算符： $K^* = (iA+B)^* = (iA)^* + B^* = -iA^* + B^* = -iA + B$ 。幺正性的条件是 $K^* = -K$ 。代入我们的表达式得到： $-iA + B = -(iA+B) = -iA - B$ 。稍加审视即可发现，这只有在 $B = -B$ 时才成立，这意味着 $B$ 必须是零算符。 $B$ 的算符范数必须为零。这是一个了不起的结果。概率守恒的基本要求禁止对时间演化生成元进行任何此类有界的、处处定义的对称“修正”。量子动力学的结构是被严格确定的。

这种刚性也提供了预测能力。在微扰理论中，我们经常想知道，当我们对一个我们理解的系统（如氢原子）施加一个小的外部影响（如电场）时会发生什么。假设我们最初的、未受微扰的系统由一个正的自伴哈密顿算符 $A$ 描述，其能谱的下界为某个值 $\lambda_0 > 0$ 。现在我们引入一个由范数为 $M$ 的有界对称算符 $T$ 表示的微扰。我们被告知，我们的微扰在 $M \lambda_0$ 的意义上是“小的”。整个系统的新哈密顿算符是 $S = A+T$ 。新系统稳定吗？它的能级会骤降到负无穷大吗？

理论给出了明确的答案。新的基态能量 $\inf \sigma(S)$ 将被 $\lambda_0 - M$ 从下方界定。由于我们假设 $M \lambda_0$ ，新的能量仍然是正的，系统保持稳定。这不仅仅是一个粗略的估计；人们可以构建明确的物理模型来表明这个界是紧的——这是在不了解更多细节的情况下我们能给出的最佳保证。这种对微扰效应施加严格界限的能力对于原子物理、分子化学和凝聚态物理至关重要。

数学物理的隐藏之美

至此，我们可以回过头来看待 Hellinger-Toeplitz 定理，不应把它看作一个奇特的数学片段，而应看作一个关于世界的深刻陈述。它解释了为什么像位置 ( $X$ ) 和动量 ( $P$ ) 这样的算符的定义域如此复杂。我们从实验和 Heisenberg 不确定性原理得知，这些可观测量必须由无界算符表示。Hellinger-Toeplitz 定理指出，任何定义在整个希尔伯特空间上的对称算符都必须是有界的。结论是不可避免的：位置、动量和大多数哈密顿算符的定义域不可能是整个希尔伯特空间。它们必须被限制在一个稠密的子空间上。对称算符和自伴算符之间整个微妙而关键的区别都源于这一基本事实。

这些定理的相互作用也能带来惊人优美的结果。假设一位理论家交给你一个算符 $T$ ，它是一个在希尔伯特空间上处处定义的对称算符。除了它满足一个简单的多项式方程 $T^2 - 7T + 12I = 0$ 外，他们没有告诉你任何其他信息。你能确定它的范数吗？

起初，这似乎不可能。但我们可以动用我们的工具。根据 Hellinger-Toeplitz 定理，由于 $T$ 是对称且处处定义的，它必须是有界的和自伴的。谱映射定理告诉我们，如果 $\lambda$ 在 $T$ 的谱中，那么 $P(\lambda) = \lambda^2 - 7\lambda + 12$ 必须在算符 $P(T) = T^2 - 7T + 12I$ 的谱中。但我们被告知这个算符就是零算符，其谱为 $\{0\}$ 。因此， $T$ 谱中的任何 $\lambda$ 都必须是多项式 $\lambda^2 - 7\lambda + 12 = 0$ 的根。因式分解得到 $(\lambda-3)(\lambda-4)=0$ ，所以 $T$ 的谱必须是 $\{3, 4\}$ 的子集。对于自伴算符，其范数等于其谱半径——即其谱中所有数的绝对值的最大值。由于算符 $T$ 不能为零（否则 $12I=0$ ），其谱必须为 $\{3, 4\}$ 的非空子集。因此， $T$ 的范数必然是3或4。这是一段优美的逻辑推导，证明了物理学底层数学框架的强大和相互关联的特性。

我们的旅程表明，细节至关重要。对称算符和自伴算符之间的区别不是一个可以回避的数学难题，而是精确描述量子世界所必需的语言。这是 Eugene Wigner 著名的“数学在自然科学中不可思议的有效性”的一个惊人例子，其中为自身目的而发展的抽象结构，最终成为解开宇宙秘密的完美钥匙。