一、电子自旋的基本概念
1. 什么是电子自旋？
电子自旋（electron spin）是电子固有的内禀角动量，与电子的轨道运动相互独立。
轨道角动量来自粒子的位置与动量：
$$ \hat{\mathbf L}=\hat{\mathbf r}\times\hat{\mathbf p} $$
而自旋角动量 $\hat{\mathbf S}$ 是粒子本身携带的量子属性，不需要借助经典意义上的空间轨道来定义。不能将电子自旋简单理解为一个带电小球绕自身轴线旋转。
自旋与轨道角动量一样，满足角动量代数关系：
$$ [\hat S_x,\hat S_y]=i\hbar\hat S_z $$
以及循环置换关系：
$$ [\hat S_y,\hat S_z]=i\hbar\hat S_x $$
$$ [\hat S_z,\hat S_x]=i\hbar\hat S_y $$
这说明自旋的三个分量彼此不对易，通常不能同时具有确定值。
2. 自旋量子数与自旋大小
电子的自旋量子数固定为
$$ \boxed{s=\frac12} $$
自旋平方算符的本征值为
$$ \hat S^2\longrightarrow s(s+1)\hbar^2 $$
代入 $s=1/2$，得到
$$ \boxed{S^2=\frac34\hbar^2} $$
因此，自旋角动量大小的测量值为
$$ \boxed{S=\sqrt{S^2}=\frac{\sqrt3}{2}\hbar} $$
这里要区分自旋平方 $S^2$ 和自旋大小 $S$：前者的量纲是角动量的平方，后者的量纲是角动量。
3. 自旋投影的量子化
对于电子，自旋在任意选定方向上的投影只能取两个值。以 $z$ 轴为例：
$$ S_z=m_s\hbar $$
其中
$$ m_s=-\frac12,\quad+\frac12 $$
所以
$$ \boxed{S_z=\pm\frac{\hbar}{2}} $$
同样，对于 $x$ 轴和 $y$ 轴：
$$ S_x=\pm\frac{\hbar}{2}, \qquad S_y=\pm\frac{\hbar}{2} $$
这并不意味着三个分量可以同时分别取定值，而是说：无论选择哪个方向进行自旋分量测量，单次测量的结果都只有两个可能值。
二、泡利矩阵：自旋算符的矩阵表示
1. 泡利矩阵的定义
由于电子自旋只有两个独立的基本状态，自旋态可以用二维复向量表示。选择 $S_z$ 的本征态作为基底后，自旋算符可以用 $2\times2$ 矩阵表示。
三个泡利矩阵定义为
$$ \boxed{ \sigma_x= \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix} } $$
$$ \boxed{ \sigma_y= \begin{pmatrix} 0&-i\\ i&0 \end{pmatrix} } $$
$$ \boxed{ \sigma_z= \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix} } $$
它们都是厄米矩阵，并且满足
$$ \operatorname{Tr}(\sigma_i)=0 $$
$$ \boxed{\sigma_i^2=I} $$
其中 $I$ 为二阶单位矩阵。
2. 自旋算符与泡利矩阵的关系
自旋算符可以统一表示为
$$ \boxed{\hat{\mathbf S}=\frac{\hbar}{2}\boldsymbol{\sigma}} $$
具体而言，
$$ \boxed{\hat S_x=\frac{\hbar}{2}\sigma_x} $$
$$ \boxed{\hat S_y=\frac{\hbar}{2}\sigma_y} $$
$$ \boxed{\hat S_z=\frac{\hbar}{2}\sigma_z} $$
因此，
$$ \hat S_x=\frac{\hbar}{2} \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix} $$
$$ \hat S_y=\frac{\hbar}{2} \begin{pmatrix} 0&-i\\ i&0 \end{pmatrix} $$
$$ \hat S_z=\frac{\hbar}{2} \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix} $$
泡利矩阵的代数关系可以写为
$$ \boxed{ \sigma_i\sigma_j =\delta_{ij}I+i\sum_k\varepsilon_{ijk}\sigma_k } $$
其中 $\delta_{ij}$ 为克罗内克符号，$\varepsilon_{ijk}$ 为列维-奇维塔符号。
由此可以直接得到
$$ [\sigma_x,\sigma_y]=2i\sigma_z $$
因此，
$$ [\hat S_x,\hat S_y] =\frac{\hbar^2}{4}[\sigma_x,\sigma_y] =i\hbar\hat S_z $$
这就从矩阵代数验证了自旋角动量的对易关系。
此外，
$$ \hat S^2 =\hat S_x^2+\hat S_y^2+\hat S_z^2 $$
由于每个泡利矩阵的平方都等于单位矩阵，
$$ \hat S^2 =\frac{\hbar^2}{4}(I+I+I) $$
因此
$$ \boxed{\hat S^2=\frac34\hbar^2I} $$
这表明对于任意电子自旋态，测量自旋平方都会得到同一个结果 $3\hbar^2/4$。
3. 自旋向上与自旋向下基态
通常选择 $\hat S_z$ 的本征态作为基底。
自旋向上态：
$$ \boxed{ \chi_+= \begin{pmatrix} 1\\ 0 \end{pmatrix} } $$
满足
$$ \hat S_z\chi_+=+\frac{\hbar}{2}\chi_+ $$
自旋向下态：
$$ \boxed{ \chi_-= \begin{pmatrix} 0\\ 1 \end{pmatrix} } $$
满足
$$ \hat S_z\chi_-=-\frac{\hbar}{2}\chi_- $$
这两个态正交归一：
$$ \chi_+^\dagger\chi_+=1,\qquad \chi_-^\dagger\chi_-=1 $$
$$ \chi_+^\dagger\chi_-=0 $$
任何归一化的纯自旋态都可以写成
$$ \boxed{ |\chi\rangle=c_+\chi_++c_-\chi_- } $$
其中
$$ |c_+|^2+|c_-|^2=1 $$
这里的系数可以是复数，复相位可能影响其他方向上的自旋测量结果。
三、自旋测量的统一计算方法
1. 测量概率
若一个归一化态在某个可观测量的正交归一本征基底下展开为
$$ |\chi\rangle=\sum_jc_j|a_j\rangle $$
其中
$$ \hat A|a_j\rangle=a_j|a_j\rangle $$
那么测得本征值 $a_j$ 的概率为
$$ \boxed{P(a_j)=|c_j|^2} $$
对于 $S_z$，其本征态就是 $\chi_+$ 和 $\chi_-$，因此
$$ |\chi\rangle=c_+\chi_++c_-\chi_- $$
对应的概率为
$$ P\left(+\frac{\hbar}{2}\right)=|c_+|^2 $$
$$ P\left(-\frac{\hbar}{2}\right)=|c_-|^2 $$
2. 期望值
对于归一化态 $|\chi\rangle$，可观测量 $\hat A$ 的期望值为
$$ \boxed{ \langle A\rangle =\langle\chi|\hat A|\chi\rangle =\chi^\dagger\hat A\chi } $$
其中，$\chi^\dagger$ 表示复共轭转置。
例如，
$$ \langle S_x\rangle =\chi^\dagger \frac{\hbar}{2} \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix} \chi $$
期望值是大量相同制备的系统重复测量后得到的统计平均，并不一定等于某一次测量的结果。
3. 判断一个态是否为本征态
若
$$ \hat A|\chi\rangle=a|\chi\rangle $$
其中 $a$ 为常数，则 $|\chi\rangle$ 是 $\hat A$ 的本征态，测量结果必定为 $a$，测量不确定度为零。
也可以利用方差判断：
$$ \boxed{ (\Delta A)^2 =\langle A^2\rangle-\langle A\rangle^2 } $$
对于归一化态，若
$$ \Delta A=0 $$
则该态属于 $\hat A$ 的某个本征值所对应的本征子空间。
对于非简并的自旋分量算符，这就意味着该态是对应本征态。
四、综合例题：给定自旋态的测量与期望值
题目
一个电子的自旋状态为
$$ \boxed{ |\chi\rangle =\frac{1}{\sqrt5} \begin{pmatrix} 1\\ 2i \end{pmatrix} } $$
求：
- 测量 $S_z$ 时的可能结果及其概率；
- 计算 $\langle S_x\rangle$ 和 $\langle S_y\rangle$；
- 判断该态是否为 $\hat S_x$ 的本征态。
第一步：检查归一化
态矢量为
$$ \chi=\frac{1}{\sqrt5} \begin{pmatrix} 1\\ 2i \end{pmatrix} $$
其共轭转置为
$$ \chi^\dagger =\frac{1}{\sqrt5} \begin{pmatrix} 1&-2i \end{pmatrix} $$
因此
$$ \begin{aligned} \chi^\dagger\chi &=\frac15 \begin{pmatrix}1&-2i\end{pmatrix} \begin{pmatrix}1\\2i\end{pmatrix}\\ &=\frac15(1+4)\\ &=1 \end{aligned} $$
所以该态已经归一化。
第二步：测量 $S_z$
由于
$$ \hat S_z=\frac{\hbar}{2} \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix} $$
可能的测量结果只能是
$$ \boxed{+\frac{\hbar}{2},\quad-\frac{\hbar}{2}} $$
将原态展开为 $S_z$ 的本征态：
$$ |\chi\rangle =\frac1{\sqrt5}\chi_+ +\frac{2i}{\sqrt5}\chi_- $$
因此，测得 $+\hbar/2$ 的概率为
$$ \boxed{ P\left(+\frac{\hbar}{2}\right) =\left|\frac1{\sqrt5}\right|^2 =\frac15 } $$
测得 $-\hbar/2$ 的概率为
$$ \boxed{ P\left(-\frac{\hbar}{2}\right) =\left|\frac{2i}{\sqrt5}\right|^2 =\frac45 } $$
验证：
$$ \frac15+\frac45=1 $$
第三步：计算 $\langle S_x\rangle$
根据期望值公式，
$$ \langle S_x\rangle =\chi^\dagger\hat S_x\chi $$
代入泡利矩阵：
$$ \begin{aligned} \langle S_x\rangle &=\frac15 \begin{pmatrix}1&-2i\end{pmatrix} \frac{\hbar}{2} \begin{pmatrix}0&1\\1&0\end{pmatrix} \begin{pmatrix}1\\2i\end{pmatrix}\\ &=\frac{\hbar}{10} \begin{pmatrix}1&-2i\end{pmatrix} \begin{pmatrix}2i\\1\end{pmatrix}\\ &=\frac{\hbar}{10}(2i-2i) \end{aligned} $$
所以
$$ \boxed{\langle S_x\rangle=0} $$
第四步：计算 $\langle S_y\rangle$
同理，
$$ \langle S_y\rangle =\chi^\dagger\hat S_y\chi $$
代入泡利矩阵：
$$ \begin{aligned} \langle S_y\rangle &=\frac15 \begin{pmatrix}1&-2i\end{pmatrix} \frac{\hbar}{2} \begin{pmatrix}0&-i\\i&0\end{pmatrix} \begin{pmatrix}1\\2i\end{pmatrix}\\ &=\frac{\hbar}{10} \begin{pmatrix}1&-2i\end{pmatrix} \begin{pmatrix}2\\i\end{pmatrix}\\ &=\frac{\hbar}{10}(2+2)\\ &=\boxed{\frac{2\hbar}{5}} \end{aligned} $$
因此，两个期望值分别为
$$ \boxed{ \langle S_x\rangle=0,\qquad \langle S_y\rangle=\frac{2\hbar}{5} } $$
第五步：判断该态是否为 $\hat S_x$ 的本征态
判断本征态最直接的方法是检验本征方程：
$$ \hat S_x|\chi\rangle=\lambda|\chi\rangle $$
计算左侧：
$$ \begin{aligned} \hat S_x|\chi\rangle &=\frac{\hbar}{2} \begin{pmatrix}0&1\\1&0\end{pmatrix} \frac1{\sqrt5} \begin{pmatrix}1\\2i\end{pmatrix}\\ &=\frac{\hbar}{2\sqrt5} \begin{pmatrix}2i\\1\end{pmatrix} \end{aligned} $$
若原态是 $\hat S_x$ 的本征态，则必须存在常数 $\lambda$，使得
$$ \frac{\hbar}{2\sqrt5} \begin{pmatrix}2i\\1\end{pmatrix} = \frac{\lambda}{\sqrt5} \begin{pmatrix}1\\2i\end{pmatrix} $$
比较第一分量，得到
$$ \lambda=i\hbar $$
但比较第二分量，得到
$$ \lambda=\frac{\hbar}{4i}=-\frac{i\hbar}{4} $$
两者矛盾，因此不存在这样的常数 $\lambda$。
故
$$ \boxed{ |\chi\rangle\text{ 不是 }\hat S_x\text{ 的本征态} } $$
还可以用方差作独立验证。由于
$$ \hat S_x^2=\frac{\hbar^2}{4}I $$
所以
$$ \langle S_x^2\rangle=\frac{\hbar^2}{4} $$
进而
$$ \begin{aligned} (\Delta S_x)^2 &=\langle S_x^2\rangle-\langle S_x\rangle^2\\ &=\frac{\hbar^2}{4} \end{aligned} $$
因此
$$ \boxed{\Delta S_x=\frac{\hbar}{2}\ne0} $$
这再次说明该态不是 $S_x$ 的本征态。
特别注意：$\langle S_x\rangle=0$ 只表示平均值为零，不表示测量结果为零。实际测量仍然只能得到 $+\hbar/2$ 或 $-\hbar/2$。
五、进一步理解：复相位与自旋方向
1. 复数相位为什么重要？
一般自旋态可以写成
$$ |\chi\rangle= \begin{pmatrix} a\\b \end{pmatrix}, \qquad |a|^2+|b|^2=1 $$
其中 $a,b$ 可以是复数。
在 $S_z$ 基底下，
$$ P\left(+\frac{\hbar}{2}\right)=|a|^2 $$
$$ P\left(-\frac{\hbar}{2}\right)=|b|^2 $$
但 $S_x$ 与 $S_y$ 的期望值还与两个分量之间的相对相位有关：
$$ \boxed{ \langle S_x\rangle=\hbar\,\operatorname{Re}(a^*b) } $$
$$ \boxed{ \langle S_y\rangle=\hbar\,\operatorname{Im}(a^*b) } $$
$$ \boxed{ \langle S_z\rangle=\frac{\hbar}{2} \left(|a|^2-|b|^2\right) } $$
其中 $a^*b$ 是两个复数振幅的相对相位信息所参与的组合。
本题中
$$ a=\frac1{\sqrt5},\qquad b=\frac{2i}{\sqrt5} $$
所以
$$ a^*b=\frac{2i}{5} $$
其虚部为 $2/5$，实部为零，因此
$$ \langle S_x\rangle=0,\qquad \langle S_y\rangle=\frac{2\hbar}{5} $$
这说明，即使两个态具有相同的 $S_z$ 测量概率，只要相对相位不同，它们在其他方向上的测量统计就可能不同。
2. 本题的三个自旋分量期望值
除题目要求的两个期望值外，还可以计算
$$ \begin{aligned} \langle S_z\rangle &=\frac15\left(+\frac{\hbar}{2}\right) +\frac45\left(-\frac{\hbar}{2}\right)\\ &=\boxed{-\frac{3\hbar}{10}} \end{aligned} $$
因此，本题的自旋期望值向量为
$$ \boxed{ \langle\mathbf S\rangle =\left(0,\frac{2\hbar}{5},-\frac{3\hbar}{10}\right) } $$
其模长为
$$ \begin{aligned} |\langle\mathbf S\rangle| &=\sqrt{ 0^2+\left(\frac{2\hbar}{5}\right)^2 +\left(-\frac{3\hbar}{10}\right)^2 }\\ &=\frac{\hbar}{2} \end{aligned} $$
这里得到的是自旋期望值向量的模长，不是单次测量得到的自旋大小。电子的自旋大小仍然固定为 $\sqrt3\hbar/2$。
六、易错点与记忆链条
1. 五个关键区别
- 自旋是内禀角动量，不是经典小球的机械自转。
- 自旋平方本征值为 $3\hbar^2/4$，自旋大小为 $\sqrt3\hbar/2$。
- 自旋分量的测量结果是 $\pm\hbar/2$，而不是任意连续数值。
- 期望值是统计平均，不必等于某个单次测量结果。
- 判断本征态应检查本征方程，或证明相应方差为零；不能仅凭某个期望值是否为零作判断。
2. 从物理属性到测量的逻辑链条
$$ \boxed{ \begin{gathered} \text{电子具有内禀自旋}\\ \Downarrow\\ s=\frac12,\qquad S^2=\frac34\hbar^2\\ \Downarrow\\ \text{二维自旋空间}\\ \Downarrow\\ \hat{\mathbf S}=\frac{\hbar}{2}\boldsymbol{\sigma}\\ \Downarrow\\ \text{本征值与本征态}\\ \Downarrow\\ \text{测量概率 }P=|c|^2\\ \Downarrow\\ \text{期望值 }\langle A\rangle =\chi^\dagger A\chi\\ \Downarrow\\ \text{本征态判断与测量不确定度} \end{gathered} } $$
最终需要掌握的核心是：泡利矩阵把电子自旋的角动量代数转化为具体的矩阵运算；态矢量的模平方给出测量概率，矩阵期望值给出统计平均，而本征方程决定某个状态能否具有确定的自旋分量。
作者：GARFIELDTOM
邮箱：coolerxde@gt.ac.cn