一支你永遠無法看全的箭
在日常世界裡，一隻旋轉陀螺儀的角動量是一支指向空間中某個確定方向的箭，你可以同時、並且想多精確就多精確地說出它的全部三個分量——多少朝東、多少朝北、多少朝上。量子世界對此斷然拒絕。你可以知道這支角動量之箭的總長度，也可以知道它有多少分量指向你選定的某一個方向——但你永遠無法、哪怕在原則上也無法，同時知道它的全部三個分量。一旦把某一個方向鎖定，另外兩個就會變得無可救藥地模糊。
這不是我們儀器或聰明才智的侷限。它是關於「旋轉在量子層面如何運作」的一個結構性事實。要弄清它從何而來，我們需要認識那些代表「去測量這份轉動」的數學對象，叫做角動量算符。不要被「算符」這個詞嚇退——就我們的目的而言，它不過是一道「向系統提出某個特定問題」的配方，比如「你的轉動有多少分量指向上方？」
當提問的順序變得重要
這樣的「提問配方」有三個，每個方向一個——就叫它們「有多少分量沿 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），但它確切的側向方向永遠懸而未決，繞著圈掃動。這個模糊的圓錐，才是量子轉動誠實的心象圖；也正因如此，空間量子化才會呈現出它的那副樣子：這支箭可以落在少數幾個被允許的圓錐之一上，卻絕不會清晰地指向天空中某一個單獨的點。