贡献者： JierPeter
1. 相容可观测量
按照相容算符的？？？
，我们可以定义可观测量的相容：
定义 1 相容可观测量
设 $X, Y$ 分别是两个可观测量对应的算符，若 $[X, Y]=0$，则称它们是相容的，否则称它们是不相容的。
相容的可观测量具有一个关键性质：
定理 1
设 $X, Y$ 是相容的可观测量，且 $X$ 无简并（定义 14 ）的本征值。则 $X$ 的本征矢量都是 $Y$ 的本征矢量。
证明：
任取 $X$ 的本征矢 $ \left\lvert s \right\rangle $，设 $X \left\lvert s \right\rangle =ks$，其中 $k\in\mathbb{C}$。
由于 $XY-YX=0$，故有：
\begin{equation}
\begin{aligned}
XY \left\lvert s \right\rangle &= YX \left\lvert s \right\rangle ~,\\
X(Y \left\lvert s \right\rangle ) &= kY \left\lvert s \right\rangle ~.
\end{aligned}
\end{equation}
即 $Y \left\lvert s \right\rangle $ 也是 $X$ 的本征矢量，本征值也是 $k$。又因为 $X$ 没有简并本征值，故 $Y \left\lvert s \right\rangle $ 应该是 $ \left\lvert s \right\rangle $ 的倍数，即 $ \left\lvert s \right\rangle $ 是 $Y$ 的本征矢。
证毕。
根据量子力学的基本假设（子节 2 ），对一个量子态进行测量，所得测量值是可观测量的一个本征值，且获得该测量值的概率正比于该量子态在对应本征矢量方向上投影的模方；另外，当测量完成后，量子态会坍缩成所得本征值对应的本征矢。
因此，如果 $[X, Y]=0$ 且无简并，根据定理 1 ，可知当我们对量子态进行 $X$ 测量后，结果是 $Y$ 的本征矢，故再进行 $Y$ 测量时所得结果是确定的。
但是，如果 $[X, Y]\neq 0$，那么两个可观测量不共享所有本征矢，此时先进行 $X$ 测量后，再测量 $Y$，所得结果是不确定的1。这就是不确定性原理。
2. 不相容可观测量
考虑类似Stern-Gerlach 实验中的序列实验（子节 2 ）。
让一个处于 $ \left\lvert a \right\rangle $ 态系统通过 $X$ 算符的测量仪器，得到若干 $X$ 的本征态；取出其中某一态 $ \left\lvert b \right\rangle $，再让它通过一台 $Y$ 仪器。最终，从 $Y$ 出口得到某本征态 $ \left\lvert c \right\rangle $ 的概率是
\begin{equation}
\left\lvert \left\langle a \middle| b \right\rangle \right\rvert ^2\cdot \left\lvert \left\langle b \middle| c \right\rangle \right\rvert ^2~.
\end{equation}
如果我们把所有通过 $X$ 的结果都保留，让它们一起通过 $Y$，则最终得到 $ \left\lvert c \right\rangle $ 的概率是2
\begin{equation}
\sum_{b} \left\lvert \left\langle a \middle| b \right\rangle \right\rvert ^2\cdot \left\lvert \left\langle b \middle| c \right\rangle \right\rvert ^2=\sum_{b}( \left\langle a \middle| b \right\rangle \left\langle b \middle| a \right\rangle )\cdot( \left\langle c \middle| b \right\rangle \left\langle b \middle| c \right\rangle )~.
\end{equation}
如果撤掉 $X$，让 $ \left\lvert a \right\rangle $ 直接通过 $Y$，则最终得到 $ \left\lvert c \right\rangle $ 的概率是3
\begin{equation}
\begin{aligned}
\left\lvert \left\langle a \middle| c \right\rangle \right\rvert ^2&= \left\lvert \sum_{b} \left\langle a \middle| b \right\rangle \left\langle b \middle| c \right\rangle \right\rvert ^2\\
&= \left(\sum_{b_1} \left\langle a \middle| b_1 \right\rangle \left\langle b_1 \middle| c \right\rangle \right) \left(\sum_{b_2} \left\langle a \middle| b_2 \right\rangle \left\langle b_2 \middle| c \right\rangle \right) ^*\\
&= \left(\sum_{b_1} \left\langle a \middle| b_1 \right\rangle \left\langle b_1 \middle| c \right\rangle \right) \left(\sum_{b_2} \left\langle b_2 \middle| a \right\rangle \left\langle c \middle| b_2 \right\rangle \right) \\
&=\sum_{b_1, b_2} \left\langle a \middle| b_1 \right\rangle \left\langle b_1 \middle| c \right\rangle \left\langle b_2 \middle| a \right\rangle \left\langle c \middle| b_2 \right\rangle ~.
\end{aligned}
\end{equation}
注意式 3 和式 4 形式不一样，一个是模方乘积求和，一个是乘积求和的模方，由复数运算的 Cauchy 不等式，可知通常式 3 大于式 4 4。这意味着把通过 $X$ 的结果都保留，并不等价于撤掉 $X$；这可以理解为量子力学基本假设中 “坍缩” 造成的。
定理 2
如果 $[X, Y]=0$，且不存在简并时，则式 3 $=$ 式 4 。
证明：
由定理 1 ，按照题设，$X$ 和 $Y$ 共享本征向量，因此直接通过 $Y$ 和先通过 $X$ 再通过 $Y$，量子态变化情况都是相同的。唯一的不同只可能是 $Y$ 和 $X$ 的测量值。
证毕。
简而言之，“三道栅栏（三块偏振片，依次相对前一块旋转 $\pi/4$）” 的透光能力比 “两道栅栏（两块互相垂直的偏振片）” 强，这种奇特现象是因为可观测量不相容。
1. ^ 可参考Stern-Gerlach 实验。
2. ^ 注意，$ \left\langle a \middle| b \right\rangle = \left\langle b \middle| a \right\rangle ^*$。
3. ^ 注意 $\sum_{b} \left\lvert b \right\rangle \left\langle b \right\rvert =\mathbb{1}$，参见推论 1 。
4. ^ 如果你直接用子节 2 来类比的话，其实会得到等号。这是因为 Stern-Gerlach 实验高度对称，按照实验设计总是劈裂出概率相等的两个结果。不取等号的情况，可以参考光的偏振态实验例 6 。