在量子力學裡，重複地做同樣實驗，通常會得到不同的測量結果，期望值是理論平均值，可以用來預測測量結果的統計平均值。 量子力學顯露出一種內稟統計行為。同樣的一個實驗重複地做很多次，每次實驗的測量結果通常不會一樣，只有從很多次的實驗結果計算出來的統計平均值，才是可複製的數值。量子理論不能預測單次實驗的測量結果，量子理論可以用期望值來預測多次實驗得到的統計平均值。 採用狄拉克標記，假設量子系統的量子態為 psirang ，則對於這量子態，可觀察量 O 的期望值 lang Orang 定義為 lang O rang stackrel def lang psi hat O psi rang ； 其中，hat O 是對應於可觀察量 O 的算符。 量子力學形式論 雖然量子力學與古典力學計算實驗平均值的方法相同，但是，量子力學形式論裡對於可觀察量的數學表述與古典的測度論有很顯著的不同。對應於可觀察量的量子算符可能有很多本徵值，而測量結果只能是其中一個本徵值，而且，每一個本徵值出現的機會呈機率性。測量這個動作會將量子系統的量子態改變為對應於本徵值的本徵態，並且，在之後短暫片刻內，量子系統的量子態是這本徵態。 以數學表述，對應於可觀察量 O 的量子算符 hat O 是一個厄米算符，量子態是以態向量的形式存在於向量空間。假設量子系統的量子態為 psirang ，則對於這量子態，可觀察量 O 的期望值 lang Orang 定義為 lang O rang stackrel def lang psi hat O psi rang 。 假設算符 hat O 的一組本徵態 e_irangquad i123dots 形成了一個具有正交歸一性的基底： lang e_i e_jrangdelta_ij ； 其中，delta_ij 是克羅內克函式。 本徵態 e_irang 的本徵值為 O_i ： hat O e_i rangO_ie_i rang 。 量子態 psirang 可以展開為這些本徵態的線性組合： psirangsum_i c_ie_irang ； 其中，c_ilang e_i psi rang 是複係數，是在量子態 e_irang 裡找到量子態 psirangle 的機率幅。 應用全等式 sum_i e_iranglang e_i 1 ， 可觀察量 O 的期望值可以寫為 begin align lang O rang lang psi hat O psi rang sum_ij langpsie_iranglang e_i hat Oe_jranglang e_j psi rang sum_ij langpsie_iranglang e_i e_jranglang e_j psi rang O_i sum_i lang e_i psi rang2 O_i end align 。 這表示式很像是一個算術平均式，它表明了期望值的物理意義：本徵值 O_i 是實驗的可能結果，對應的係數 lang e_ipsirang2c_i2 是這結果可能會發生的機率。總合所有本徵值與其對應的機率係數的乘積，就可以得到期望值。 動力量子系統的期望值 當思考動力量子系統時，態向量 psirang 或算符 hat O ，兩者之中，任何一個，都可以設定為與時間有關，這決定於採用薛丁格繪景或海森堡繪景。不論選擇的是那一種繪景，最後求得的期望值都是相同的。 在海森堡繪景裡，算符被設定為與時間有關，而量子態則在初始時間 t0 就被固定，與時間無關。另一種稱為薛丁格繪景的理論方法設定量子算符與時間無關，又設定量子態與時間有關。在概念方面或在數學方面，這兩種繪景等價，推導出的結果一樣。大多數初級量子力學教科書採用的是薛丁格繪景，透過生動活潑的量子態，學生可以迅速地瞭解量子系統如何隨著時間演變。海森堡繪景比較適用於研究一些像對稱性或守恆定律的基礎論題領域，例如量子場論，或者研究超大自由度系統的學術，例如統計力學。 系綜平均值 系綜是一組量子系統。概念而言，在系綜裡，量子系統的數量為無窮多。系綜又分為純系綜與混系綜。純系綜的每一個量子系統都具有同樣的量子態，這量子態也可以用來代表純系綜。前面幾節所論述的物件主要是純系綜。例如，從斯特恩 革拉赫實驗儀器分裂出來的兩道銀子束，一道是量子態為上旋的純系綜 mathcal E_up ，另一道是量子態為下旋的純系綜 mathcal E_down 。 混系綜的量子系統可以具有不同的量子態 psiirang 。例如，在有一種混系綜 mathcal E_mix 的所有量子系統裡，量子態為上旋的佔 50，量子態為上旋的佔 50。混系綜不能用單獨態向量設定，混系綜是用密度算符 hat rho 設定： hat rho sum_i w_i psiiranglangpsii ； 其中，w_i 是找到量子態為 phi_irang 的量子系統在系綜裡的機率。 純系綜 mathcal E_up 的密度算符為 uparrowranglanguparrow 。 純系綜 mathcal E_down 的密度算符為 downarrowranglangdownarrow 。 混系綜 mathcal E_mix 的密度算符為 frac 12uparrowranglanguparrow downarrowranglangdownarrow 。 以算符 hat O 的本徵態 e_irangquad i123dots 形成的基底來表示對應於密度算符的密度矩陣 rho ： rho_jk lang e_jrhoe_krangsum_i w_i lang e_jpsiiranglang psii e_krang ； 對於系綜測量可觀察量 O 得到的「系縱平均值」又稱為「系綜期望值」，簡稱「期望值」，以方程式表示為 begin alignlang Orang sum_i w_i lang psii hat O psii rang sum_isum_j w_i lang psii e_jranglang e_j hat O psii rang sum_isum_j w_i lang psii e_jranglang e_j psii rang O_j sum_isum_j w_i lang psii e_jrang2 O_j end align 。 對於一般可觀察量 A ，系縱平均值表示為 begin alignlang Arang sum_i w_i lang psii hat A psii rang sum_isum_jk w_i lang psii e_jranglang e_j hat A e_kranglang e_k psii rang sum_isum_jk w_i lang e_k psii ranglang psii e_jranglang e_j hat A e_krang sum_jk rho_kjlang e_j hat A e_krang Trace rho A end align ； 其中，Trace rho A 是矩陣 rho A 的跡數。 總結， lang A rang mathrm Trace rho A sum_i w_i lang psi_i A psi_i rangsum_i w_i lang A rang_psi_i ； 其中，lang A rang_psi_i 是對於量子態 psi_i ，可觀察量 A 的期望值。 簡例 舉一個相當簡單的例子，假設 hat Lambda 是一個投影算符，則本徵值為 0 或 1 。這對應於一種「是非題」型別的物理實驗，這例子的期望值是實驗結果為 1 的機率，可以計算為 lang Lambdarang hat Lambda psi 2 。 位置空間案例 採用位置空間表現，設想一個移動於一維空間的量子粒子。在這裡，希爾伯特空間是 mathcal H L2 mathbb R ，是實值定義域的平方可積函式的空間。 波函式 psi x 定義為 psi x stackrel def lang xpsirang ； 其中，xrang 是位置算符 hat x 的本徵態。 兩個態向量的內積是 lang psi_1 psi_2 rang int psi_1xpsi_2 x mathrm d x 。 對於任意量子態 psi ，可觀察量 x 的期望值為 lang x rang stackrel def lang psi hat x psi rang 。 位置算符 hat x 作用於量子態 psirang 的結果，表現於位置空間，等價於波函式 psi x 與 x 的乘積，所以， lang x rang int_ inftyinfty psiast x x psi x mathrm d x int_ inftyinfty x psi x2 mathrm d x 。 粒子處於 x 與 xdx 微小區間內的機率是 p x mathrm d x psixpsi x mathrm d x 。 粒子位置與機率的乘積在位置空間的積分，就是粒子位置的期望值。 通常而言，對於可觀察量 O 的量子算符 hat O ，假若能夠找到其表現於位置空間的位置算符 hat mathfrak O 的形式，就可以計算出 O 的期望值。例如，表現於位置空間的動量算符 hat mathfrak P 的形式為： hat mathfrak P frac hbarifrac mathrm dmathrm d x 。 所以，動量的期望值為 lang P rangfrac hbari int_inftyinfty psix frac dpsi xdx mathrm d x 。 參閱 維裡定理 埃倫費斯特定理 參考文獻 Q deErwartungswertQuantenmechanischer Erwartungswert