藏在明面上的那條約束
退回到一件明擺著、我們卻從沒費心說出口的事。當你測量一個長度、一份能量、一個溫度時，你的儀器顯示的是一個實數——3.7，或者 −12，或者 0。它絕不會顯示一個*虛*數，比如「2 加上 5 乘以負一的平方根」。虛數在數學裡完全是體面正當的，可地球上從沒有哪根指針指向過一個虛數。真實的測量給出實數結果。就這麼簡單。
現在回想我們上一篇搭起來的東西：測量一個可觀測量，可能的結果就是它對應算符的本徵值。把這兩個事實並排放在一起，一條要求就掉了出來，避無可避而且嚴格。如果在物理上唯一說得通的測量結果只能是實數，那麼一個真實可觀測量所對應算符的每一個本徵值，都最好是實數。一個本徵值有可能算出虛數的算符，根本無法代表任何你能用儀表測出來的東西。那麼，究竟哪些算符能被保證只有實本徵值呢？這正是本文要回答的全部問題。
厄米：那種「自我鏡像」的性質
能通過這道考驗的算符，叫厄米算符（得名於數學家夏爾·埃爾米特，Charles Hermite）。它的精確定義要用到我們還沒搭好的工具，所以這裡換上誠實的直覺來講。每個算符都有一個「鏡像孿生體」，由一道固定的「配方」做出來（把行與列對調，再把每個數換成它的複共軛——也就是把虛部取相反數）。一個算符，當它就是自己的鏡像時，便是厄米的——也就是說，把它過一遍那道配方，得回來的恰恰就是你一開始的那個算符。它在一種深刻的意義上是對稱的；它在鏡子裡和正面看上去一模一樣。
「等於自己的鏡像」為什麼會逼出「所有本徵值都是實數」，這一點一點也不顯而易見——但它確實如此，可以嚴格而精確地證明。這條證明兩行就能講完，幾乎帶著詩意：先假設有某個本徵值，再透過算符那種「自我鏡像」的對稱性去看它，你會發現這個本徵值必定等於它自己的複共軛。而一個等於自身共軛的數，已經不剩任何虛部可言——它*就是*實數。算符的對稱性，讓本徵值無處可藏其虛部。
厄米性附贈的兩份大禮
本徵值為實，是最顯眼的那項好處；但「是厄米的」還悄悄塞給你另外兩份大禮，而且這兩份對量子力學餘下的部分都極其要緊。
- 不同的結果，給出乾淨可分的狀態。屬於不同本徵值的本徵態，彼此竟是「相互垂直」的——它們是互不重疊的獨立方向。這就構成了一組整潔的標準正交基，也就是一套乾淨的參考方向，正是你想要的：能毫不含糊地把各個結果區分開來。
- 任何狀態都能由這些本徵態搭出來。一個厄米算符的本徵態足夠「豐富」，以至於*任何*狀態都能寫成它們的某種混合——這條保證叫做「完備性」。正是它，讓我們有底氣說「狀態是各測量結果的疊加」，這也正是玻恩定則背後的引擎。
這兩份禮物合起來說的是：一個厄米可觀測量，把整個狀態空間切分成一組乾淨、互相獨立的「測量結果方向」，而你交給它的任何狀態，都不過是這些方向的一份加權混合。把一個狀態如此分解——分解成帶實本徵值的本徵態——是如此根本，以至於自有其名，叫譜分解。厄米性絕不是吹毛求疵的技術細節；它正是那條讓「測量」這件事在數學上根本說得通的性質。
把要點說白了
所以整條邏輯串成了一條乾淨的鏈子。儀表顯示實數 → 測量結果是實的 → 一個物理可觀測量的本徵值必須是實的 → 因此物理可觀測量都由厄米算符來代表，而厄米算符恰恰就是被保證擁有實本徵值的那一類。外加一份贈禮：這些厄米算符還自帶乾淨、完備的本徵態集合，於是任何狀態都能整整齊齊地分解成可測的結果。今後每當你看到「位置」「動量」「能量」或「自旋」被寫成一個算符，你都可以當成既定事實：它是厄米的，而且是有意為之——好讓你測出來的，能是一個儀表盤上真顯示得出來的數。