3.1 希尔伯特空间与狄拉克符号

3.1 希尔伯特空间与狄拉克符号

本节摘要：量子力学的态空间是一个特殊的向量空间——希尔伯特空间。它具有内积结构（允许定义长度和角度），可以是有限维的（如自旋态）或无穷维的（如位置态）。狄拉克在1930年代发明的Bra-Ket符号是描述量子态和算符的标准语言——它简洁、统一、不依赖于特定的表象。

希尔伯特空间：量子态的舞台

量子力学中的"态"不是一组数字，而是希尔伯特空间中的一个向量。希尔伯特空间是一个完备的内积空间——这意味着它有加法和标量乘法（向量空间性质）、有内积运算（允许计算向量的"长度"和"角度"），以及完备性（任何柯西序列都有极限）。

这些性质的物理含义是什么？加法对应叠加原理：两个量子态的和仍然是合法的量子态。标量乘法对应概率幅的缩放：乘以一个复数不改变物理态（只改变全局相位），但乘以零就得到了零态。内积对应概率计算：两个态的内积的模的平方给出了从一个态跃迁到另一个态的概率。完备性保证了数学分析的严谨性——我们可以放心地使用极限、积分等操作而不会遇到数学困难。

最简单的希尔伯特空间是二维空间——它描述自旋二分之一粒子的态。自旋朝上和自旋朝下构成一组基矢，任何自旋态都可以写成这两个基矢的线性组合。更一般的系统需要更高维甚至无穷维的希尔伯特空间。例如，一个有N个能级的原子需要N维空间；一个粒子的位置态需要无穷维空间，因为位置可以取连续的值。

狄拉克符号：Bra-Ket 记法

狄拉克符号是量子力学中最通用、最简洁的记法。一个量子态写作竖杠加尖括号，叫做"ket"。对应的"dual vector"写作尖括号加竖杠，叫做"bra"。两个态的内积写作bra乘以ket——这正是"bracket"一词的由来。

Ket向量相当于列向量，bra向量相当于行向量。内积是bra和ket的乘积，给出一个复数。外积是ket和bra的乘积，给出一个算符（矩阵）。这种记法的一个巨大优势是：它不需要指定基矢——你可以用抽象的ket和bra进行推导，直到最后一步才选择具体的表象。

在计算中，经常需要用到"完备性关系"：一组基矢的外积求和等于单位算符。这个关系允许你在任意两个ket之间插入一组基矢的完备性展开——这在表象变换和算符运算中极其有用。

图：Ket空间、Bra空间和算符的关系

表象与基矢选择

希尔伯特空间中的同一个量子态，在不同基矢下有不同的数值表示。这就像同一个向量在不同坐标系下有不同的分量——向量本身没变，但"你怎么看它"变了。

在量子力学中，最常用的两种表象是位置表象和动量表象。在位置表象中，基矢是位置本征态（狄拉克delta函数），波函数是位置坐标的函数——这就是我们通常说的波函数。在动量表象中，基矢是动量本征态（平面波），波函数是动量坐标的函数——它恰好是位置波函数的傅里叶变换。

选择哪个表象取决于问题的具体形式。如果势能是位置的函数（大多数情况），位置表象更方便。如果势能是动量的函数（如磁场中的粒子），动量表象可能更方便。狄拉克符号的美在于：你可以在不指定表象的情况下进行推导——这在处理一般性问题时特别有用。

本征值问题

量子力学中最核心的计算是本征值问题：给定一个厄米算符，找出它的本征值和对应的本征函数。厄米算符有一个关键性质：它的本征值都是实数，对应的不同本征函数互相正交。这两个性质分别保证了"测量结果是实数"和"不同结果之间互不重叠"——都是物理上必需的。

本征值问题在具体系统中的求解是第4章的主题。但在数学层面上，本征值问题的结构是通用的：解一个微分方程，加上边界条件，得到一组允许的本征值和对应的本征函数。本征函数构成希尔伯特空间的一组完备基矢——任何量子态都可以展开为本征函数的线性组合。

正交归一与完备性

量子力学中使用的基矢通常满足正交归一条件：不同基矢的内积为零（正交），同一个基矢与自身的内积为一（归一）。这组基矢还必须是完备的——它们足以表示希尔伯特空间中的任何向量。在有限维空间中，完备性意味着基矢的数量等于空间的维数。在无穷维空间中，完备性的表述更为微妙——它涉及某种极限或积分的概念。

完备性关系在计算中无处不在。例如，计算一个算符的期望值时，可以先插入一组基矢的完备性展开，把复杂的算符运算分解为简单的内积计算。在散射理论中，完备性关系允许我们把入射波和出射波用同一组基矢展开，从而建立散射矩阵的理论框架。

要点速记

• 希尔伯特空间是量子态的数学舞台，具有向量空间结构和内积运算
• 狄拉克符号（Bra-Ket）是量子力学的通用记法，不依赖于特定表象
• 表象是同一个量子态在不同基矢下的不同数值表示
• 本征值问题是量子力学的核心计算，厄米算符的本征值是实数
• 正交归一完备基允许任何量子态展开为基矢的线性组合
• 完备性关系是量子力学计算中最常用的数学工具之一

算符的矩阵表示

在有限维希尔伯特空间中，算符可以用矩阵来表示。具体做法是：选择一组正交归一基矢，计算算符在每个基矢对上的矩阵元（等于bra乘以算符乘以ket），这些矩阵元排列起来就构成了算符的矩阵表示。

矩阵表示的好处是很明显的：你可以用标准的线性代数工具（矩阵乘法、求逆、对角化）来处理算符运算。本征值问题变成了矩阵的特征值问题，量子态的演化变成了矩阵指数的计算。在二维自旋空间中，泡利矩阵就是自旋算符的矩阵表示——它们是二乘二的厄米矩阵，具有极其优美的代数性质。

对于无穷维空间，算符的"矩阵表示"变成了积分核——矩阵元是一个连续函数而不是离散数组。例如，位置算符在位置表象中的矩阵元是位置坐标乘以狄拉克delta函数。动量算符的矩阵元涉及delta函数的导数。这些积分核形式的表示虽然不如有限维矩阵直观，但数学结构完全相同。

投影算符和谱分解

投影算符是一个非常重要的算符类。给定一个归一化的量子态，对应的外积就是一个投影算符——它把任意态投影到该态的方向上。投影算符有幂等性质（投影两次等于投影一次）和厄米性质。

任何厄米算符都可以用其本征态对应的投影算符来展开——这就是谱分解定理。谱分解告诉 我们：算符的作用可以分解为"投影到各本征方向"再"乘以对应本征值"。这个分解在计算期望值、分析测量结果、推导守恒定律时极其有用。

具体来说，设一个厄米算符有本征值和对应的本征态。它的谱分解写成：算符等于各本征值乘以对应投影算符之和。这个表达式不依赖于基矢的选择——它是算符本身的内在结构。当算符作用于任意态时，它分别把态投影到各本征方向，乘以对应的本征值，再求和。测量过程也可以用谱分解来理解：测量结果以概率等于投影后的态的模的平方取某个本征值，测量后态坍缩到对应的本征态。

张量积与多粒子系统

当系统包含多个粒子或多个自由度时，总希尔伯特空间是各子系统希尔伯特空间的张量积。张量积的维数是各子系统维数的乘积——所以量子力学的"自由度"随粒子数指数增长，这就是所谓的"指数墙"问题，也是量子计算相对经典计算具有指数优势的根本原因。

张量积的一个重要性质是：张量积空间中的向量不一定是"因子化"的（即不能写成子系统态的乘积）。不能因子化的态就是纠缠态——我们在第2章已经讨论了它的物理含义。从数学角度看，纠缠态是张量积空间中"大多数"的态——非纠缠态（可分离态）实际上是很少见的。

张量积的另一个重要应用是描述同一个粒子的不同自由度（如位置和自旋）。位置自由度的希尔伯特空间和自旋自由度的希尔伯特空间的张量积，给出了粒子总态的希尔伯特空间。在这种表述中，算符可以作用于一个子空间而"放过"另一个——用张量积的单位算符表示。这种结构在讨论自旋-轨道耦合等问题时特别自然。

从抽象到具体，希尔伯特空间和狄拉克符号为我们提供了一套严谨而灵活的语言。在下一节中，我们将使用这些工具来系统地求解薛定谔方程。你会发现，一旦掌握了这套语言，量子力学的计算虽然繁琐但并不神秘——每一步都有清晰的数学和物理含义。

连续谱与离散谱

量子力学中的可观测量有两类谱：离散谱和连续谱。离散谱的本征值是可数的、分离的，如氢原子的束缚态能级。连续谱的本征值是不可数的、填满某个区间，如自由粒子的动量。有些可观测量同时具有离散谱和连续谱，如氢原子的哈密顿算符，束缚态给出离散能级，散射态给出连续能谱。

在数学处理上，离散谱和连续谱的本征函数有重要区别。离散本征函数是平方可积的，它们可以归一化，直接构成希尔伯特空间的基矢。连续本征函数不是平方可积的，它们只能归一化为delta函数，在数学上需要更细致的处理。狄拉克符号的一个优势就是统一处理离散和连续两种情况：求和变成积分，其他运算形式完全相同。

维格纳定理与对称性

维格纳定理表明：希尔伯特空间中保持内积模不变的变换要么是幺正变换（线性），要么是反幺正变换（反线性）。幺正变换在量子力学中对应系统的对称性——如果一个幺正变换保持哈密顿算符不变，那么对应的物理量守恒。维格纳定理为量子力学中的对称性分析提供了严格的数学基础。

维格纳定理告诉我们：量子力学中的所有对称性要么对应幺正变换（如空间旋转、时间平移），要么对应反幺正变换（如时间反演）。这个分类在分析量子系统的守恒量和选择定则时极为有用。