从“台阶存在”到“台阶就在这里”
上一篇我们了解到，量子世界里的旋转是一台阶一台阶来的。现在我们说具体一点：台阶有多大？我们又该怎么给它们贴标签？完整的理论交给我们两个数字，二者合起来，就把一个粒子轨道旋转的一切都钉死了。它们只是不起眼的整数，却把原子的全部结构都装在了里面。这正是角动量量子化的核心，所以我们会慢慢来，用大白话讲清楚。
想象用两件事来描述一只陀螺的旋转：它转得多快，以及它的轴朝哪个方向倾斜。量子旋转需要的恰好就是这同样的两件事——一个“总共转了多少”的数字，和一个“它指向哪里”的数字——只不过，既然这是量子世界，两者都被迫只能取某些特定的整数值。这两个数字各有其名：ℓ（字母“ell”）和 m。
ℓ：总共有多少转动
第一个数字 ℓ，是角量子数（一个拗口的名字；你就把它读作“总共有多少转动”的那个数）。它只能取非负整数：0、1、2、3，以此类推。ℓ = 0 意味着完全没有轨道转动（一个并没有在绕圈的粒子）。ℓ = 1 是真正转动的第一级，ℓ = 2 是下一级，沿着这道阶梯一路往上。ℓ 越大，意味着总角动量越多——就像台阶往上走得越多，站得就越高。
m：转动朝哪个方向倾斜
第二个数字是 m，磁量子数。如果说 ℓ 讲的是你转动了多少，那么 m 讲的就是这份转动在空间中如何取向——更具体地说，是这份转动有多少分量指向我们选定的某一个方向（通常称为 z 轴，也就是我们按约定挑出来的那个“上”方向）。本章的第二个大惊奇就在这里：连倾斜方向都是被量子化的。量子世界里一个旋转的物体，没法把自己的轴随便指向任何地方；它只能倾斜成少数几个被允许的角度。这个令人吃惊的事实也有它自己的名字，空间量子化——方向本身也是一台阶一台阶的。
把它们联系起来的规则美得出奇地简单。一旦你定下了 ℓ，m 的允许取值就从 −ℓ 一直到 +ℓ，以整数为步长。所以如果 ℓ = 1，那么 m 可以是 −1、0 或 +1：三种被允许的倾斜。如果 ℓ = 2，那么 m 可以是 −2、−1、0、+1、+2：五种倾斜。一般而言，恰好有 2ℓ + 1 个被允许的取向。m 为正，表示转动倾斜得部分朝“上”；m 为负，表示倾斜得朝“下”；而 m = 0 意味着转动平躺在所选轴的横截面上。
ell = 0 -> m = 0 (1 orientation) ell = 1 -> m = -1, 0, +1 (3 orientations) ell = 2 -> m = -2, -1, 0, +1, +2 (5 orientations) ell = 3 -> m = -3 ... +3 (7 orientations) count of allowed tilts = 2*ell + 1
为什么自然界坚持要整数
这些齐整的整数是从哪儿来的？这里给出诚实而直观的理由，而且它很美。在量子力学里，一个粒子是用一列铺展开来的波来描述的。当这列波绕着一个圆圈转回来时，它必须在转完整整一圈之后平滑地与自己接上——如果接不上，它就会自相冲突、互相抵消成虚无。一列波只有在转完一圈后能干净地首尾相接，前提是它在这个回路里恰好容下整数个波长。一个波长、两个、三个——但绝不能是两个半。这个“沿着圆周容下整数个”的条件，正是逼着 ℓ 和 m 必须是整数的原因。
- 把粒子想象成一列沿着回路抹开的波，而不是轨道上一颗小球。
- 要求这列波在绕完整整一圈后与自己完美吻合——不能有折角，不能有冲突。
- 只有在回路里容下整数个波长的波才能幸存；其余的都抵消为虚无。
- 这些幸存下来的“整数波”恰好就是被允许的态——而数一数波长的个数，就得到了量子数。
所以这种量子化并不是硬钉在自然界身上的任意律令——它是直接从“要求一列波在一个闭合回路上自洽地存在”这件事里掉出来的。顺带一提，正是这同一套驻波逻辑，驱动着你接下来会遇到的全套机制，其中就包括测量总角动量的那个算符。一旦手里握着 ℓ 和 m，你其实已经掌握了每一个原子的骨架：数一数台阶，数一数倾斜，你就把那些态都数清楚了。