try ai
科普
编辑
分享
反馈
  • 量子可观测量

量子可观测量

SciencePedia玻尔百科
核心要点
  • 在量子力学中，可观测量由线性的、厄米的（自伴的）算符表示，以确保测量结果为实数。
  • 测量的可能确定结果是相应可观测算符的本征值，这种情况在系统处于对应的本征态时获得。
  • 对于一个处于一般叠加态的系统，多次测量的平均结果是期望值，它是所有可能本征值的加权平均。
  • 可观测量的框架为量子理论与实践架起了桥梁，使得在化学、材料科学和量子计算等领域预测物理性质成为可能。

引言

在量子力学这个奇特而优雅的世界里，我们所熟悉的能量、位置和动量等物理性质不再是简单的数字。它们转变为一种被称为​​量子可观测量​​的新实体。这一概念上的飞跃引出了一些根本性问题：究竟什么定义了可观测量？是怎样的数学规则将一个有效的物理量与纯粹的抽象概念区分开来，从而确保我们的预测与在实验室中进行的真实世界测量相符？本文将通过探索量子可观测量的基本原理和实际意义，揭开其神秘面纱。首先，在​​原理与机制​​一章中，我们将剖析游戏中不可违背的规则——线性和厄米性——并了解它们如何产生可测量的结果，即本征值和平均期望值。随后，在​​应用与跨学科联系​​一章中，我们将看到这一理论机器如何被应用，如何从抽象的算符到化学、计算机科学等领域中具体可感的预测，从而搭建起一座桥梁，揭示可观测量在塑造我们对宇宙的理解方面所具有的深远力量。

原理与机制

好了，让我们卷起袖子，亲自动手吧。我们已经知道，在量子世界里，物理量不再仅仅是数字；它们由一种叫做​​可观测量​​的东西来表示。但可观测量究竟是什么？是什么让一种数学构造能够有效地描述（比如说）能量或动量，而另一种则只是一堆数学上的胡言乱语？答案在于几条优美简洁却又异常强大的规则。这些正是构成量子力学这台机器的基本原理。

游戏规则：算符必须是线性的

首先，一个实体在梦想成为可观测量之前，它必须是一个​​算符​​。你可以把算符想象成一个你对量子态（波函数，∣ψ⟩|\psi\rangle∣ψ⟩）执行的“动作”或“指令”。“对函数求导”是一个算符，“将函数乘以xxx”也是一个算符。关键规则是，这个动作必须是​​线性的​​。

线性意味着什么？它意味着算符尊重叠加原理，而叠加原理是量子力学的核心与灵魂。如果一个量子态可以处于态1和态2的组合中，比如说∣ψ⟩=c1∣ψ1⟩+c2∣ψ2⟩|\psi\rangle = c_1 |\psi_1\rangle + c_2 |\psi_2\rangle∣ψ⟩=c1​∣ψ1​⟩+c2​∣ψ2​⟩，那么一个线性算符作用于这个组合态所得到的结果，与它分别作用于各个态后的结果组合是相同的。从数学上讲，对于一个算符O^\hat{O}O^：

O^(c1∣ψ1⟩+c2∣ψ2⟩)=c1O^∣ψ1⟩+c2O^∣ψ2⟩\hat{O}(c_1 |\psi_1\rangle + c_2 |\psi_2\rangle) = c_1 \hat{O}|\psi_1\rangle + c_2 \hat{O}|\psi_2\rangleO^(c1​∣ψ1​⟩+c2​∣ψ2​⟩)=c1​O^∣ψ1​⟩+c2​O^∣ψ2​⟩

这个性质是不可违背的。微分、乘以一个变量，甚至积分，都是完全符合要求的线性运算。但像“对函数求平方”这样的动作是被禁止的。如果你试图将一个求平方的算符S^\hat{S}S^（其中S^f(x)=[f(x)]2\hat{S}f(x) = [f(x)]^2S^f(x)=[f(x)]2）作用于一个叠加态，你会得到一个讨厌的交叉项：(c1f1+c2f2)2=c12f12+c22f22+2c1c2f1f2(c_1 f_1 + c_2 f_2)^2 = c_1^2 f_1^2 + c_2^2 f_2^2 + 2c_1c_2f_1f_2(c1​f1​+c2​f2​)2=c12​f12​+c22​f22​+2c1​c2​f1​f2​。这与c1f12+c2f22c_1 f_1^2 + c_2 f_2^2c1​f12​+c2​f22​是不同的。这样的算符会破坏神圣的叠加原理。所以，它出局了。线性要求是我们筛选物理量的第一个，也是最基本的过滤器。

现实性的试金石：厄米性

所以，我们的算符是线性的。很好。但这还不够。当我们在实验室里测量某个量时——无论是电子的能量、粒子的位置，还是光子的动量——我们总是得到一个实数。我们不会发现一个粒子位于“2 + 3i米”处。宇宙似乎并不处理复数值的测量。

这个简单而物理的事实，给我们的算符施加了一个强大的数学约束：它们必须是​​厄米的​​（或者，对于在场的数学家们来说，更严谨的说法是​​自伴的​​）。如果一个算符等于它自身的共轭转置，那么它就是厄米的。让我们看看这意味着什么。如果我们将算符表示为某个基下的矩阵MMM，它的转置MTM^TMT是通过将矩阵沿主对角线翻转得到的。它的共轭M∗M^*M∗是通过对每个元素取复共轭得到的。共轭转置，或称​​伴随​​，是M†=(MT)∗M^\dagger = (M^T)^*M†=(MT)∗。厄米性条件就是：

O^=O^†(在矩阵形式中， M=M†)\hat{O} = \hat{O}^\dagger \quad (\text{在矩阵形式中， } M = M^\dagger)O^=O^†(在矩阵形式中， M=M†)

这对一个矩阵意味着什么？首先，主对角线上的所有数字都必须是实数。其次，对角线两侧对称位置的元素必须互为复共轭。对于一个2x2矩阵，它看起来像这样：

M=(abcd)若 a,d 是实数且 c=b∗，则其为厄米矩阵M = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \quad \text{若 } a, d \text{ 是实数且 } c = b^* \text{，则其为厄米矩阵}M=(ac​bd​)若 a,d 是实数且 c=b∗，则其为厄米矩阵

例如，矩阵(32−i2+i−1)\begin{pmatrix} 3 & 2-i \\ 2+i & -1 \end{pmatrix}(32+i​2−i−1​)和(0−ii0)\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}(0i​−i0​)（后者恰好与电子的自旋有关）都是完全有效的厄米矩阵，而(1101)\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}(10​11​)则不是。这个性质是如此基础，以至于如果你得到一个代表可观测量的矩阵，但其中有些部分缺失了，你通常仅通过强制执行厄米性规则就能把它们填补完整。

如果我们忽视这条规则会怎样？灾难性的后果！一个非厄米的算符在被要求给出测量结果时，可能会产生复数。这就好比问温度计现在的温度，它却回答你“E大调”。这是非物理的。一个被提出来但非厄米的哈密顿算符（能量算符），将具有非实数的能级，这是一个确凿的证据，表明该理论是错误的。

关键时刻：本征态与本征值

现在我们有了线性的、厄米的算符。它们究竟是如何“吐出”我们称之为测量的这些实数呢？魔法在于​​本征态​​和​​本征值​​的概念。

对于任何给定的可观测量，都存在一些被称为​​本征态​​的特殊状态。本征态是该可观测量具有“确定值”的状态。如果一个系统处于动量的本征态，它的动量就是完全确定无疑的。如果它处于能量的本征态，它的能量就是完全确定的。

当一个算符作用于它自己的一个本征态时，它不会改变这个态。它所做的只是将这个态乘以一个数。这个数被称为​​本征值​​。

O^∣ψeigen⟩=o∣ψeigen⟩\hat{O} |\psi_{\text{eigen}}\rangle = o |\psi_{\text{eigen}}\rangleO^∣ψeigen​⟩=o∣ψeigen​⟩

在这里，∣ψeigen⟩|\psi_{\text{eigen}}\rangle∣ψeigen​⟩是算符O^\hat{O}O^的一个本征态，而数字ooo是对应的本征值。关键之处在于：​​本征值就是你将测量到的值​​。

让我们来看一个具体的例子。想象一个自由移动的电子，由平面波波函数ψ(x)=Nexp⁡(ikx)\psi(x) = N \exp(ikx)ψ(x)=Nexp(ikx)描述。我们想测量它的动量。动量算符是p^x=−iℏddx\hat{p}_x = -i\hbar\frac{d}{dx}p^​x​=−iℏdxd​。让我们看看当我们把它作用上去时会发生什么：

p^xψ(x)=−iℏddx(Nexp⁡(ikx))=−iℏN(ikexp⁡(ikx))=(−i2)ℏk(Nexp⁡(ikx))=ℏk⋅ψ(x)\hat{p}_x \psi(x) = -i\hbar \frac{d}{dx} (N \exp(ikx)) = -i\hbar N (ik \exp(ikx)) = (-i^2)\hbar k (N \exp(ikx)) = \hbar k \cdot \psi(x)p^​x​ψ(x)=−iℏdxd​(Nexp(ikx))=−iℏN(ikexp(ikx))=(−i2)ℏk(Nexp(ikx))=ℏk⋅ψ(x)

看！我们得到了原来的函数，只是被乘以了数字ℏk\hbar kℏk。这意味着我们的平面波是动量算符的一个本征态，而本征值是ℏk\hbar kℏk。所以，如果你测量处于这个状态的电子的动量，你保证会得到ℏk\hbar kℏk这个值，不多也不少。

因为结果是确定的，所以测量的统计不确定度，或标准差，为零。如果你处于一个可观测量的本征态，可能的结果中不存在“弥散”——只有一个结果。这是宇宙所允许的最精确的测量。

平均的世界：期望值

当然，一个系统并不总是处于我们想测量的可观测量的某个纯净本征态上。通常，它的状态∣ψ⟩|\psi\rangle∣ψ⟩是许多不同本征态的叠加。在这种情况下，量子力学告诉我们，我们无法确定地预测单次测量的结果。测量将随机地使系统“坍缩”到其中一个本征态上，而结果将是相应的本征值。

但是，如果我们准备大量处于相同状态∣ψ⟩|\psi\rangle∣ψ⟩的系统并对它们进行全部测量，我们可以预测平均结果。这个平均值被称为​​期望值​​，记作⟨O^⟩\langle \hat{O} \rangle⟨O^⟩。它是用一个优美而著名的公式计算的，通常被称为“bra-ket三明治”：

⟨O^⟩=⟨ψ∣O^∣ψ⟩\langle \hat{O} \rangle = \langle \psi | \hat{O} | \psi \rangle⟨O^⟩=⟨ψ∣O^∣ψ⟩

在这个记法中，∣ψ⟩| \psi \rangle∣ψ⟩（“ket”）是我们的态矢量。⟨ψ∣\langle \psi |⟨ψ∣（“bra”）是它的对偶。你可以把这个公式想象成用算符O^\hat{O}O^来“探查”状态∣ψ⟩|\psi\rangle∣ψ⟩，看看该可观测量的平均值对于这个状态是多少。如果∣ψ⟩|\psi\rangle∣ψ⟩恰好是一个本征值为ooo的本征态，这个公式正确地给出⟨ψ∣o∣ψ⟩=o⟨ψ∣ψ⟩=o\langle\psi | o | \psi\rangle = o \langle\psi|\psi\rangle = o⟨ψ∣o∣ψ⟩=o⟨ψ∣ψ⟩=o，因为对于一个归一化的态，⟨ψ∣ψ⟩=1\langle\psi|\psi\rangle=1⟨ψ∣ψ⟩=1。但对于一个一般的叠加态，它给出的是所有可能本征值结果的正确加权平均值。

积木搭建：组合可观测量的艺术

大自然给了我们一些基本的可观测量，比如位置(x^\hat{x}x^)和动量(p^x\hat{p}_xp^​x​)。我们能用这些来构建更复杂的可观测量吗，比如动能(p^x22m\frac{\hat{p}_x^2}{2m}2mp^​x2​​)或角动量(x^p^y−y^p^x\hat{x}\hat{p}_y - \hat{y}\hat{p}_xx^p^​y​−y^​p^​x​)？当然可以，但我们必须小心！

两个厄米算符的和总是厄米的。但它们的积就比较棘手了。乘积A^B^\hat{A}\hat{B}A^B^仅当两个算符​​对易​​时，即A^B^=B^A^\hat{A}\hat{B} = \hat{B}\hat{A}A^B^=B^A^，才是厄米的。我们熟悉的伙伴——位置和动量——是著名的非对易的：x^p^x−p^xx^=iℏ\hat{x}\hat{p}_x - \hat{p}_x\hat{x} = i\hbarx^p^​x​−p^​x​x^=iℏ。这意味着看似简单的算符x^p^x\hat{x}\hat{p}_xx^p^​x​不是厄米的，因此不能成为一个物理可观测量！

我们如何从非对易的部分构造出有效的可观测量呢？诀窍通常是进行​​对称化​​。像12(x^p^x+p^xx^)\frac{1}{2}(\hat{x}\hat{p}_x + \hat{p}_x\hat{x})21​(x^p^​x​+p^​x​x^)这样的组合是保证厄米的。这个对称化原理是一个通用方法，用于将经典表达式（其中乘法顺序无关紧要）转化为行为良好的量子算符（其中顺序至关重要）。这种“排序模糊性”是从经典物理到量子物理过渡的一个深刻特征，而对称化是我们穿越其中的最可靠指南。

深层基础：为什么自伴性为王

到此，你可能会认为这是一套相当复杂的规则。为什么是这种特定的机制？为什么是线性的、自伴的算符？难道宇宙就是这么挑剔吗？答案是否定的。这些规则并非随意的；它们是建立一个可预测的物理理论所必需的绝对逻辑基石。惊人的事实是，自伴性这一性质做出了两个根本性的承诺。

第一个承诺由​​谱定理​​（Spectral Theorem）兑现。这是数学的皇冠明珠之一。它保证对于任何自伴算符，都存在一个完备的实值结果集（它的​​谱​​，可以是离散的本征值、一个连续的范围，或两者的混合），以及一个精确的计算公式，用于在你进行测量时获得这些结果中任何一个的概率。本质上，谱定理是使量子力学的测量假设得以运作的数学引擎。一个仅仅对称但并非完全自伴的算符则无法提供这样的保证；它是一个损坏的测量设备。

第二个承诺由​​Stone定理​​（Stone's Theorem）兑现。该定理在自伴算符和系统如何随时间演化之间建立了牢不可破的联系。它指出，只有一个自伴算符（哈密顿算符）才能生成一个行为良好、保持概率守恒的时间演化。哈密顿算符的自伴性正是量子力学中未来由现在唯一确定的原因（即使它是一个概率性的未来！）。

所以，你明白了。可观测量必须是自伴算符的要求，并非什么深奥的奇想。它是同时提供完备测量理论（我们能观测什么？）和完备动力学理论（事物如何变化？）的关键所在。在这个单一的数学性质中，我们所测量的结构与时间的流动被统一了起来。而这，正是量子世界内在的美。

应用与跨学科联系

既然我们已经了解了支配量子可观测量的那些奇特而优美的规则，一个合理的问题随之而来：这一切都是为了什么？这套抽象的算符和本征值的机制与我们能看到、触摸和测量的世界有联系吗？答案是响亮的“有”。可观测量的理论不仅仅是数学上的奇珍；它正是连接抽象量子态与我们实验室仪器上出现的具体数据之间的桥梁。它是我们用来向量子世界提问——并理解其回答的语言。

让我们踏上一段旅程，看看这些思想如何开花结果，转化为切实的应用，并贯穿于化学、计算机科学，甚至关乎现实本质的最深层问题。

构建物理学家的工具箱：从经典直觉到量子算符

我们究竟如何为一项任务想出正确的算符？一个关键的指路明灯是对应原理：我们的量子算符在某种意义上应该“看起来像”它们的经典对应物。我们从一个经典公式开始，通过一点量子炼金术，将位置和动量转化为它们的算符形式。

考虑一个分子的简单性质，比如它的电偶极矩。在经典物理中，它只是衡量电荷如何分离的度量——对于一个简单的系统，它可能是电荷qqq乘以分离距离xxx。为了把它变成一个我们可以提出的量子问题，我们只需将位置变量xxx提升为位置算符x^\hat{x}x^。偶极矩的算符就变成了μ^=−qx^\hat{\mu} = -q\hat{x}μ^​=−qx^。这看起来可能只是一个简单的替换，但这是意义深远的一步。这个算符现在让我们能够预测分子将如何与光波的振荡电场相互作用，这构成了光谱学的基础，而光谱学是我们探测原子世界最强大的工具之一。

同样的过程也给了我们动能的算符。经典上，动能是p22m\frac{p^2}{2m}2mp2​。当我们进行量子转换时，动量pyp_ypy​变成了算符−iℏ∂∂y-i\hbar \frac{\partial}{\partial y}−iℏ∂y∂​。对这个算符求平方，我们发现了一个非凡的结果：沿y方向的动能算符变成了T^y=−ℏ22m∂2∂y2\hat{T}_y = -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial y^2}T^y​=−2mℏ2​∂y2∂2​。一个物体的运动能量竟被编码在其波函数的曲率之中！这个算符是薛定谔方程的基石，而薛定谔方程主宰着量子系统的整个演化过程。

我们不局限于简单的性质。我们可以为更微妙、更复杂的特性构建算符。例如，在化学和材料科学中，我们不仅关心电荷在哪里，还关心其分布的形状。电四极矩张量是一个可观测量，它捕捉了电荷分布偏离完美球对称的程度。通过采用经典公式并将电荷密度提升为电荷密度算符，我们得到了四极矩算符Q^ij\hat{Q}_{ij}Q^​ij​。这不仅仅是一个理论玩具；它的期望值可以通过核四极矩共振（NQR）光谱等技术直接测量，告诉我们分子中原子核周围复杂的电子环境信息。

预测的艺术：确定性、概率与量子结果

一旦我们有了我们的算符——我们的“问题”——当我们在一个处于∣ψ⟩|\psi\rangle∣ψ⟩态的系统上测量它时，我们会得到什么样的“答案”？答案揭示了量子世界中最深刻的二分法之一：有时结果是绝对确定的，而其他时候它在根本上是概率性的。

如果我们的系统状态恰好是我们所用算符的一个本征态，那么结果是有保证的。每次测量都将得到相应的本征值。这正是“量子化”的含义。例如，如果我们测量轨道角动量的z分量（对应于算符L^z\hat{L}_zL^z​），作用于一个由球谐函数Y3,−1(θ,ϕ)Y_{3,-1}(\theta, \phi)Y3,−1​(θ,ϕ)描述的电子态上，结果将永远是精确的−ℏ-\hbar−ℏ。不是接近−ℏ-\hbar−ℏ，也不是平均为−ℏ-\hbar−ℏ，而是精确地等于−ℏ-\hbar−ℏ。化学教科书中充斥的整数和半整数的量子数（l,m,sl, m, sl,m,s）无非就是这种状态与问题完美对齐时所揭示的本征值。

但如果状态不是我们可观测量的本征态呢？这是更常见也更有趣的情况。考虑一个量子比特，量子计算机的基本单位。它可以存在于一个叠加态中，如∣+⟩=12(∣0⟩+∣1⟩)|+\rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle)∣+⟩=2​1​(∣0⟩+∣1⟩)。态∣0⟩|0\rangle∣0⟩和∣1⟩|1\rangle∣1⟩是泡利-Z算符σz\sigma_zσz​的本征态，本征值分别为+1+1+1和−1-1−1。但态∣+⟩|+\rangle∣+⟩不是。如果我们在该状态上测量σz\sigma_zσz​，我们无法预测单次实验的结果。它有一半的时间会是+1+1+1，另一半时间是−1-1−1。我们最多能预测的是多次相同测量下的平均结果，我们称之为期望值。对于∣+⟩|+\rangle∣+⟩态，σz\sigma_zσz​的期望值恰好为零。量子测量的这种概率性核心不是我们方法的缺陷；它是现实世界一个不可简化的特征，也正是赋予量子计算机威力的资源所在。

科学的织锦：跨学科的桥梁

可观测量的概念是如此基础，以至于它构成了连接截然不同的科学和工程领域的共同语言。

  • ​​量子信息与计算：​​ 正如我们从量子比特中看到的，整个量子计算领域都建立在对可观测量的操控和测量之上。泡利算符（σx,σy,σz\sigma_x, \sigma_y, \sigma_zσx​,σy​,σz​）不仅仅是数学上的奇物；它们是量子比特的基本“门”和“读出工具”。控制一台量子计算机是制备特定量子态的艺术，而读取其输出则是测量精心选择的可观测量的科学。

  • ​​统计力学：​​ 当我们有一个复杂的系统，比如一个盒子里一定温度下的分子气体时，会发生什么？我们可能不知道它的确切量子态，但我们可以用密度矩阵ρ\rhoρ来统计地描述它。可观测量的强大形式体系优美地扩展到了这个领域。任何可观测量AAA的期望值可以简单地通过密度矩阵和算符乘积的迹来给出，即⟨A⟩=Tr(ρA)\langle A \rangle = \text{Tr}(\rho A)⟨A⟩=Tr(ρA)。用张量的语言来说，这个优雅的公式变成了两个算符分量的简单缩并：ρjiAij\rho^i_j A^j_iρji​Aij​。这展示了量子理论和统计物理形式体系之间美妙的统一。

  • ​​材料科学与分子工程：​​ 我们如何预测一种新分子或新材料的性质？我们计算其可观测量的期望值！例如，一个分子对电场的响应由其极化率张量α^\hat{\boldsymbol{\alpha}}α^来描述。通过该张量分量的期望值，我们可以构建一个单一的、转动不变量，称为极化率各向异性。这个数值（仅当分子的响应在所有方向上都相同时才为零）为我们提供了分子“形状”的定量度量，对于设计具有特定光学性质的材料至关重要。

随着我们深入挖掘，甚至构建算符的规则也变得更加复杂和有趣。两个经典量A×BA \times BA×B的乘积的算符是什么？天真地，你可能会猜它就是A^B^\hat{A}\hat{B}A^B^。但这仅在算符A^\hat{A}A^和B^\hat{B}B^对易时才成立。如果它们不对易——比如位置和动量——简单的乘积A^B^\hat{A}\hat{B}A^B^甚至都不是厄米的，意味着它不能成为一个可观测量！经典乘积A×BA \times BA×B与B×AB \times AB×A相同，但A^B^\hat{A}\hat{B}A^B^与B^A^\hat{B}\hat{A}B^A^不同。量子世界迫使我们更加小心。一个合适的、厄米的产品算符必须是对称化的，通常形式为12(A^B^+B^A^)\frac{1}{2}(\hat{A}\hat{B} + \hat{B}\hat{A})21​(A^B^+B^A^)。这种微妙之处，即“算符排序问题”，是量子现实非对易性质的直接后果。

哲学前沿：什么是（和不是）可观测量？

也许这些思想最深刻的应用在于，它们迫使我们深入思考什么是真实的，而什么仅仅是一个方便的故事。可观测量的框架提供了一个清晰的标准：当且仅当一个事物可以由一个厄米算符表示时，它才是可观测的。这使我们能够进行一些急需的“科学清理”。

以在化学教育中至关重要的原子轨道“杂化”（sp,sp2,sp3sp, sp^2, sp^3sp,sp2,sp3）概念为例。甲烷中一个碳原子的“sp3sp^3sp3性”是我们能直接测量的东西吗？答案是否定的。杂化是我们为了解释观察到的分子几何形状而发明的一个强大而绝妙的模型。我们能够观察到的是诸如键角（通过衍射实验）、总电子密度ρ(r)\rho(\mathbf{r})ρ(r)以及核磁共振谱中的核[自旋-自旋耦合](@article_id:359905)常数等。我们发现，例如，测得的单键碳-质子耦合常数（JCHJ_{\text{CH}}JCH​）与杂化模型指定的“s轨道成分百分比”有很好的相关性。这种相关性让我们对模型充满信心，但它并未将模型提升到直接可观测量的高度。杂化轨道是我们为了理解数据而讲述的故事；它们本身不是数据。

这种区别在量子热力学这个前沿领域变得更加清晰。经典物理学中熟悉的“功”的概念提供了一个惊人的例子。对量子系统做的功是一个可观测量吗？令人惊讶的是，不是！功不是系统在某个单一时刻的属性。它是由一个过程定义的——初始和最终测量之间的能量变化。在量子力学中，这两个不同时间的能量测量是不相容的（它们的哈密顿算符不对易）。因此，不存在一个单一的厄米算符，你可以在过程结束时测量它来告诉你做了多少功。它是一种根本不同类型的量，一个“两点”变量，其统计数据必须从整个过程的多次重复中收集，而不是从单次测量中获得。

最后，支撑量子力学的数学本身就对物理现实施加了惊人的约束。Hellinger-Toeplitz定理，一个来自泛函分析的深刻结果，告诉我们，任何一个“行为良好”到可以在整个希尔伯特状态空间上定义的自伴算符，必须是一个有界算符。这有一个严峻的物理后果：这样一个可观测量的所有可能测量结果集合必须包含在一个有限区间内。这告诉我们什么？它告诉我们，物理学中一些最基本的观测量，如位置和动量，其测量值可以任意大，必须由数学上“不守规矩”的算符来表示，这些算符并非对希尔伯特空间中的每一个可能向量都有定义。空间的无限性反映在其对应算符的数学“野性”中。

从分子的电子结构到量子计算机的逻辑，从科学模型的哲学到物理与纯数学之间的深层联系，量子可观测量的理论是万能钥匙。它打开了量子世界的大门，不仅向我们展示了我们能够知道什么，也教会了我们知识本身深刻而微妙的本质。