贡献者： addis; JierPeter
预备知识 量子力学简介
，重积分
，厄米矩阵本征值问题
，狄拉克符号
在量子力学简介 中，我们知道粒子的状态由波函数描述。许多量子力学教材会从波函数和薛定谔方程讲起（如无限深势阱，简谐振子），而另一些教材会从矩阵的形式讲起。前者由于涉及到求解（偏）微分方程，数学要求会相对较高，而后者只需涉及一些有限维的线性代数。二者乍看起来不同，但实际上几乎是等效的1。为了让读者先对量子力学的理论结构由一个总体的了解，避免迷失在数学计算中，我们先介绍矩阵的形式。
以下将例 3 展开讨论，使用线性代数的语言，继续完善量子力学的基本假设并应用到例子中。该例中的角动量本征态 $ \left\lvert x+ \right\rangle $，$ \left\lvert x- \right\rangle $ 和 $ \left\lvert z+ \right\rangle $，$ \left\lvert z- \right\rangle $ 之间的关系是线性的。这很容易让我们联想到矢量空间的基底。根据矢量空间的定义，这四个本征态符合作为矢量的要求：可以给它们乘以常数，可以把它们相加（见式 4 ），等等（参考例 1 ）。正是由于这个原因，我们把量子力学中的态（即波函数）称为状态矢量（state vector），简称态矢。
当明确了它们是矢量后，我们就可以对这些态（波函数）定义内积。以（某个时刻的）一维（波）函数 $f(x)$，$g(x)$ 为例（可以用狄拉克符号记为 $ \left\lvert f \right\rangle $，$ \left\lvert g \right\rangle $），我们将其内积定义为（注意这里的内积是有顺序的，星号代表对函数值取复共轭）
\begin{equation}
\left\langle f \middle| g \right\rangle = \int_{-\infty}^{+\infty} f(x)^* g(x) \,\mathrm{d}{x} ~.
\end{equation}
如果态矢 $ \left\lvert f \right\rangle $ 和 $ \left\lvert g \right\rangle $ 是二维或三维的波函数，我们只需要用重积分即可（积分的范围是全空间，即三个方向的上下限都为无穷大）
2
\begin{equation}
\left\langle f \middle| g \right\rangle = \int f( \boldsymbol{\mathbf{r}} )^* g( \boldsymbol{\mathbf{r}} ) \,\mathrm{d}^{3}{r} = \iiint f(x, y, z)^* g(x, y, z) \,\mathrm{d}{x} \,\mathrm{d}{y} \,\mathrm{d}{z} ~.
\end{equation}
容易证明该定义满足 $ \left\langle f \middle| g \right\rangle = \left\langle g \middle| f \right\rangle ^*$，即交换内积的顺序，相当于把结果取复共轭。
未完成：介绍归一化和正交；厄米矩阵
1. 角动量算符
在 “量子力学简介” 中，由于数学工具上的不足，我们并没有提及某个物理量的本征态是怎么得到的，这里来简单介绍。
量子力学中，每个物理量都对应一个算符（operator），算符可以想象为对（波）函数的一种操作，算符作用在（波）函数上可以得到一个新的函数。例如某时刻函数为 $\sin x$，求导算符 $ \mathrm{d}/\mathrm{d}{x} $ 作用在 $\sin x$ 上就得到一个新的函数 $\cos x$。又例如坐标 $x$ 也可以作为一个算符，我们定义将其作用在任意函数 $\Psi(x, t)$ 上，就是将其相乘，即 $x\Psi(x, t)$。又例如任意函数 $f(x)$ 也可以是一个算符，我们定义将其作用在 $\Psi(x, t)$ 上得 $f(x)\Psi(x, t)$。
不难发现这些算符都是线性的，如果它们在讨论的有限维3空间4中是封闭的，我们就可以用矩阵来表示它们5（见 “矩阵与线性变换”）。
我们这里考察的空间的确是有限维（二维）的，习惯上我们用 $ \left\lvert z+ \right\rangle $ 和 $ \left\lvert z- \right\rangle $ 作为基底（也可以用 $ \left\lvert x+ \right\rangle $ 和 $ \left\lvert x- \right\rangle $ 或 $ \left\lvert y+ \right\rangle $ 和 $ \left\lvert y- \right\rangle $，进行基底变换即可）。在这个二维空间中，我们直接给出（以后再推导）$x, y, z$ 三个方向的角动量算符的矩阵（如果去掉 $\hbar/2$，这三个矩阵就是著名的泡利矩阵）为
未完成：引用 “以后再推导” 中 “以后” 的文章内容。
\begin{equation}
\boldsymbol{\mathbf{L}} _x = \frac{\hbar}{2} \begin{pmatrix}0 & 1\\ 1 & 0\end{pmatrix} ~,
\qquad
\boldsymbol{\mathbf{L}} _y = \frac{\hbar}{2} \begin{pmatrix}0 & - \mathrm{i} \\ \mathrm{i} & 0\end{pmatrix} ~,
\qquad
\boldsymbol{\mathbf{L}} _z = \frac{\hbar}{2} \begin{pmatrix}1 & 0\\ 0 & -1\end{pmatrix} ~.
\end{equation}
注意它们都是
厄米矩阵，即满足 $ \boldsymbol{\mathbf{L}} _i ^\dagger = \boldsymbol{\mathbf{L}} _i$。
那么我们为什么需要算符或者矩阵呢？简单来说，一个物理量的本征矢就是就是对应算符（矩阵）的本征矢，对应的测量值就是本征值。这是量子力学的又一基本假设。
以 $ \boldsymbol{\mathbf{L}} _z$ 为例，其本征方程为
\begin{equation}
\frac{\hbar}{2} \begin{pmatrix}1 & 0\\ 0 & -1\end{pmatrix} \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \lambda \begin{pmatrix}c_1 \\ c_2\end{pmatrix} ~.
\end{equation}
由于这个矩阵已经是对角矩阵，两个本征矢和本征值分别为
\begin{equation} \begin{aligned}
& \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \begin{pmatrix}1 \\ 0\end{pmatrix} ~, &\qquad& \lambda = +\frac{\hbar}{2}~.\\
& \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \begin{pmatrix}0 \\ 1\end{pmatrix} ~, &\qquad& \lambda = -\frac{\hbar}{2}~.
\end{aligned} \end{equation}
如我们所料，两个态矢就是我们使用的两个基底 $ \left\lvert z+ \right\rangle $ 和 $ \left\lvert z- \right\rangle $（因为它们就是这么定义的），本征值也同样吻合。
我们再来解 $x$ 方向角动量的本征方程
\begin{equation}
\frac{\hbar}{2} \begin{pmatrix}0 & 1\\ 1 & 0\end{pmatrix} \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \lambda \begin{pmatrix}c_1 \\ c_2\end{pmatrix} ~.
\end{equation}
解得两个态矢和本征值分别为（量子力学中我们需要把所有的本征矢归一化，意义见下文）
\begin{equation}
\begin{aligned}
& \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \frac{1}{\sqrt2} \begin{pmatrix}1 \\ 1\end{pmatrix} ~, &\qquad& \lambda = +\frac{\hbar}{2}~.\\
& \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \frac{1}{\sqrt2} \begin{pmatrix}1 \\ -1\end{pmatrix} ~,&\qquad& \lambda = -\frac{\hbar}{2}~.
\end{aligned} \end{equation}
根据定义，这两个矢量就是 $ \left\lvert x+ \right\rangle $ 和 $ \left\lvert x- \right\rangle $，考虑到我们现在用的基底是 $ \left\lvert z+ \right\rangle $ 和 $ \left\lvert z- \right\rangle $，马上得到
式 4
\begin{equation}
\left\{\begin{aligned}
\left\lvert x+ \right\rangle = \frac{1}{\sqrt{2}} \left\lvert z+ \right\rangle + \frac{1}{\sqrt{2}} \left\lvert z- \right\rangle \\
\left\lvert x- \right\rangle = \frac{1}{\sqrt{2}} \left\lvert z+ \right\rangle - \frac{1}{\sqrt{2}} \left\lvert z- \right\rangle ~.
\end{aligned}\right. \end{equation}
最后，$y$ 方向的本征方程和两个解为
\begin{equation}
\frac{\hbar}{2} \begin{pmatrix}0 & - \mathrm{i} \\ \mathrm{i} & 0\end{pmatrix} \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \lambda \begin{pmatrix}c_1 \\ c_2\end{pmatrix} ~,
\end{equation}
\begin{equation} \begin{aligned}
& \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \frac{1}{\sqrt2} \begin{pmatrix}1 \\ \mathrm{i} \end{pmatrix} ~,&\qquad& \lambda = +\frac{\hbar}{2}~.\\
& \begin{pmatrix}c_1 \\ c_2\end{pmatrix} = \frac{1}{\sqrt2} \begin{pmatrix}1 \\ - \mathrm{i} \end{pmatrix} ~,&\qquad& \lambda = -\frac{\hbar}{2}~.
\end{aligned} \end{equation}
即
\begin{equation}
\left\{\begin{aligned}
& \left\lvert y+ \right\rangle = \frac{1}{\sqrt{2}} \left\lvert z+ \right\rangle + \frac{ \mathrm{i} }{\sqrt{2}} \left\lvert z- \right\rangle \\
& \left\lvert y- \right\rangle = \frac{1}{\sqrt{2}} \left\lvert z+ \right\rangle - \frac{ \mathrm{i} }{\sqrt{2}} \left\lvert z- \right\rangle ~.
\end{aligned}\right. \end{equation}
以上的过程中有几点需要注意。由于测量到的物理量（本征值）必须是实数，算符对应的矩阵必须是厄米矩阵。$N$ 维厄米矩阵会有 $N$ 个正交归一的本征矢。不难验证，$ \left\langle x+ \middle| x- \right\rangle $，$ \left\langle y+ \middle| y- \right\rangle $ 和 $ \left\langle z+ \middle| z- \right\rangle $ 都为 0。例如
\begin{equation}
\left\langle y+ \middle| y- \right\rangle = \frac{1}{\sqrt 2} \begin{pmatrix}1 \\ \mathrm{i} \end{pmatrix} ^\dagger \frac{1}{\sqrt 2} \begin{pmatrix}1 \\ - \mathrm{i} \end{pmatrix} = \frac12 \begin{pmatrix}1, - \mathrm{i} \end{pmatrix} \begin{pmatrix}1 \\ - \mathrm{i} \end{pmatrix} = 0~.
\end{equation}
2. 本征矢的正交归一性
事实上，量子力学的所有可测量量对应的算符都必须是厄米算符，在某种意义上，同一个算符的不同本征波函都是正交归一的。
未完成：投影即可得到系数
1. ^ 最大的区别和难点是前者是无穷维而后者是有限维
2. ^ 再次强调，例 3 讨论的态矢是抽象的，并不能用波函数表示，但为了方便理解，我们姑且假设它们可以。
3. ^ 无限维空间在数学上会产生许多麻烦。
4. ^ 这里要提醒一下态矢所在的矢量空间的维度和物理空间的维度不是一回事，例如将一维（物理上的空间维度，即粒子做直线运动）波函数 $ \sin\left(x\right) $ 和 $ \cos\left(x\right) $ 作为基底，可以组成一个二维态矢空间。
5. ^ 以后我们还会详细讲算符和矩阵之间的联系，如果你暂时不理解，可以先接受这个结论。