一支你永远无法看全的箭
在日常世界里，一只旋转陀螺仪的角动量是一支指向空间中某个确定方向的箭，你可以同时、并且想多精确就多精确地说出它的全部三个分量——多少朝东、多少朝北、多少朝上。量子世界对此断然拒绝。你可以知道这支角动量之箭的总长度，也可以知道它有多少分量指向你选定的某一个方向——但你永远无法、哪怕在原则上也无法，同时知道它的全部三个分量。一旦把某一个方向锁定，另外两个就会变得无可救药地模糊。
这不是我们仪器或聪明才智的局限。它是关于“旋转在量子层面如何运作”的一个结构性事实。要弄清它从何而来，我们需要认识那些代表“去测量这份转动”的数学对象，叫做角动量算符。不要被“算符”这个词吓退——就我们的目的而言，它不过是一道“向系统提出某个特定问题”的配方，比如“你的转动有多少分量指向上方？”
当提问的顺序变得重要
这样的“提问配方”有三个，每个方向一个——就叫它们“有多少分量沿 x？”“沿 y？”“沿 z？”吧。在日常算术里，你做两件事的先后顺序往往无关紧要：3 加 5 和 5 加 3 是一样的。但有些操作非常在意顺序。先穿袜子再穿鞋，和先穿鞋再穿袜子，可不是一回事。角动量的这几个问题就像袜子和鞋：先问“有多少沿 x？”再问“有多少沿 y？”，得到的结果不同于反过来先问 y 再问 x。
物理学家用计算对易子来衡量这个“顺序要紧吗？”——它字面上就是“按一种顺序做这两个操作”与“按另一种顺序做”之间的差。如果这个差为零，顺序就无所谓，这两个问题相处融洽；你可以同时以确定值回答两者。如果这个差不为零，这两个问题就互相冲突，被称为不相容可观测量——把你对其中一个的认识磨得越锐利，就必然会把另一个弄得越模糊。
唯一一个人人都能达成一致的组合
如果三个分量全都互相冲突，那么关于这份转动，还有什么是可以同时被知道的吗？有——而这正是那条优雅的出路。有一个特殊的组合，它问的不是“有多少分量沿 x？”，而是“这支箭的总长度是多少，与方向无关？”这个问题就是总角动量算符（写作 L²，读作“L 平方”）。至关重要的是，它和每一个方向性问题都相处融洽。它与它们当中任何一个之间的顺序都无所谓；它们的对易子全都为零。
所以自然界只允许你同时掌握关于一份转动的恰好两件事实，不能更多：箭的总长度（由 ℓ 给出），以及它沿你选定的某一个方向的倾斜（由 m 给出）。这正是为什么前几篇用恰好这两个数字来描述转动——那并不是为初学者做的简化，而是数学所允许的最深层真相。另外两个方向分量则永远保持涂抹模糊。这也是为什么物理学家总是挑一个 z 轴、谈论“沿 z 的分量”：你被允许有一个、而且只有一个方向分量是锐利的。
KNOWABLE TOGETHER: total length of the arrow (L-squared -> gives ell) tilt along ONE axis, say z (L_z -> gives m) NOT KNOWABLE AT THE SAME TIME: the x-tilt and the y-tilt (forever fuzzy once z is sharp)
海森堡的一个近亲，以及一幅值得留存的图景
如果这让你想起海森堡不确定性原理——那条说你无法同时知道一个粒子精确位置和精确动量的规则——你的直觉完全正确。它们是同胞，诞生自完全相同的数学：只要两个问题有一个非零的对易子，自然界就禁止同时给出两者的锐利答案。“位置 vs 动量”和“x 倾斜 vs y 倾斜”，是同一条原理的两副面孔。不确定性原理并不是位置与速度独有的怪癖；它就是不相容的问题永远会做的事。
这里有一幅值得带走的图景。不要把角动量想象成一支钉死在空间里的锐利的箭。改把它想象成一支长度已知的箭，而它的箭尖被涂抹成绕着一个圆锥的一圈——它的倾斜是固定的（那就是 m），但它确切的侧向方向永远悬而未决，绕着圈扫动。这个模糊的圆锥，才是量子转动诚实的心象图；也正因如此，空间量子化才会呈现出它的那副样子：这支箭可以落在少数几个被允许的圆锥之一上，却绝不会清晰地指向天空中某一个单独的点。