2. 态矢量的数学表示与运算

量子力学的计算语言建立在希尔伯特空间之上。一个量子态不再用“粒子在某处”这样的日常语言描述，而是被抽象为一个复向量空间中的矢量——态矢量。掌握态矢量的表示与运算，是后续理解叠加、测量、纠缠乃至密度矩阵的前提。本节从希尔伯特空间的结构出发，依次讲清狄拉克符号、内积与外积、基变换，并通过一组可手算的示例完成加法、数乘、内积、外积与归一化的完整计算闭环。

希尔伯特空间与态矢量的身份

希尔伯特空间是完备的内积空间：它首先是一个复向量空间，支持矢量加法与复数数乘；其次定义了内积，从而可以谈论长度与夹角；最后要求完备性，即柯西序列收敛于空间内的点。对有限维量子系统（如单个量子比特），希尔伯特空间就是二维复向量空间 ℂ²；对 n 个量子比特，则是 2ⁿ 维的 ℂ^(2ⁿ)。完备性在有限维情形自动成立，因此工程计算中我们主要关心“复向量空间 + 内积”这两条。

态矢量通常记为 |ψ⟩，它是希尔伯特空间中的一个单位矢量（模长为 1）。这里有一个容易混淆的点：态矢量与它乘以任意非零复数得到的矢量描述同一个物理态，因为全局相位不可观测。因此严格说，物理态对应的是希尔伯特空间中的“射线”，而计算时我们习惯选取模长为 1 的代表元，这就是归一化的意义。

狄拉克符号：右矢、左矢与对偶

狄拉克符号把矢量与其对偶矢量区分得非常清楚。右矢 |ψ⟩ 是希尔伯特空间中的列向量；左矢 ⟨ψ| 是它的对偶（共轭转置）行向量。若

|ψ⟩ = [a, b]ᵀ，  则  ⟨ψ| = [a*, b*]

其中 * 表示复共轭。这种“列—行”对应关系使得内积可以写成 ⟨φ|ψ⟩，结果是一个复数；而外积写成 |φ⟩⟨ψ|，结果是一个算符（矩阵）。狄拉克符号的最大好处是让“矢量—对偶—算符”三者的类型一目了然，避免在矩阵乘法中迷失方向。

内积与外积：两种截然不同的乘法

内积 ⟨φ|ψ⟩ 把两个矢量映射为一个复数，度量的是“投影重叠”。它满足共轭对称性 ⟨φ|ψ⟩ = ⟨ψ|φ⟩*，且 ⟨ψ|ψ⟩ ≥ 0，等号仅在零矢量时成立。两个态正交当且仅当内积为零。内积是计算概率幅的核心：在态 |ψ⟩ 上测量到 |φ⟩ 对应结果的概率幅就是 ⟨φ|ψ⟩，概率为其模平方。

外积 |φ⟩⟨ψ| 把两个矢量映射为一个线性算符。它的作用规则是：作用于任意 |χ⟩ 时，先算内积 ⟨ψ|χ⟩ 得到复数，再乘以 |φ⟩。外积是构造投影算符和基变换矩阵的基本积木。特别地，若 {|i⟩} 是一组正交归一基，则完备性关系可写为 Σᵢ |i⟩⟨i| = I，这是所有基展开计算的出发点。

下面这张图把本节的核心对象与运算关系组织在一起：左侧是态矢量在两组基下的坐标表示，中间是内积与外积两条运算路径，右侧给出归一化与正交性验证的判断出口。

基变换：同一矢量的不同坐标

态矢量本身与基无关，但坐标依赖基。设旧基为 {|j⟩}，新基为 {|i'⟩}，则新坐标由内积给出：cᵢ' = ⟨i'|ψ⟩。若已知旧坐标 cⱼ = ⟨j|ψ⟩，则可通过变换矩阵联系：cᵢ' = Σⱼ ⟨i'|j⟩ cⱼ。记 Uᵢⱼ = ⟨i'|j⟩，则 c' = U c。由于两组基都正交归一，U 必为酉矩阵，满足 U†U = I。酉变换保持内积不变，这正是“换基不改变物理”的数学表达。

以量子比特为例，计算基 {|0⟩, |1⟩} 与 Hadamard 基 {|+⟩, |−⟩} 之间的变换为：|+⟩ = (|0⟩ + |1⟩)/√2，|−⟩ = (|0⟩ − |1⟩)/√2。若 |ψ⟩ = α|0⟩ + β|1⟩，则 c₊ = ⟨+|ψ⟩ = (α + β)/√2，c₋ = ⟨−|ψ⟩ = (α − β)/√2。注意这里没有取共轭，因为 α、β 为复数时，⟨+| = (⟨0| + ⟨1|)/√2，内积展开后得到 (α + β)/√2 的共轭形式需按定义仔细处理——这正是初学者最容易出错的地方，务必逐项写出左矢再相乘。

完整计算示例：从加法到归一化

设 |ψ⟩ = (1 + i)|0⟩ + 2|1⟩，|φ⟩ = 3|0⟩ − i|1⟩。以下计算均为教学示例，可手算复核。

加法与数乘：|ψ⟩ + |φ⟩ = (4 + i)|0⟩ + (2 − i)|1⟩；2i|ψ⟩ = 2i(1 + i)|0⟩ + 4i|1⟩ = (−2 + 2i)|0⟩ + 4i|1⟩。

内积：⟨ψ|φ⟩ = (1 − i)·3 + 2·(−i) = 3 − 3i − 2i = 3 − 5i。注意第一个分量取共轭 (1 + i)* = 1 − i，第二个分量 2 的共轭仍为 2。验证共轭对称性：⟨φ|ψ⟩ = 3·(1 + i) + (−i)*·2 = 3 + 3i + 2i = 3 + 5i = (3 − 5i)*，一致。

外积：|ψ⟩⟨φ| 是一个 2×2 矩阵，第 (m, n) 元为 ψₘ · φₙ*。计算得第一行：(1 + i)·3 = 3 + 3i，(1 + i)·(i) = −1 + i；第二行：2·3 = 6，2·i = 2i。即

|ψ⟩⟨φ| = [ 3+3i   −1+i ]
          [   6     2i  ]

归一化：⟨ψ|ψ⟩ = |1 + i|² + |2|² = 2 + 4 = 6，故归一化态为 |ψ̃⟩ = [(1 + i)/√6]|0⟩ + [2/√6]|1⟩。验证：|(1 + i)/√6|² + |2/√6|² = 2/6 + 4/6 = 1。

正交基展开验证：在计算基下，c₀ = ⟨0|ψ̃⟩ = (1 + i)/√6，c₁ = ⟨1|ψ̃⟩ = 2/√6。重构 Σ cᵢ|i⟩ 显然回到 |ψ̃⟩；正交性 ⟨0|1⟩ = 0、⟨0|0⟩ = 1 均成立。若换到 Hadamard 基，c₊ = ⟨+|ψ̃⟩ = [(1 + i) + 2]/(√2·√6) = (3 + i)/√12，c₋ = [(1 + i) − 2]/√12 = (−1 + i)/√12。检查 |c₊|² + |c₋|² = (10 + 2)/12 = 1，归一化在换基后依然保持，说明计算正确。

把上述运算固化为可复用的计算流程，可以显著降低出错率：先确认基与坐标约定，再按“加法/数乘 → 内积 → 外积 → 归一化 → 换基验证”的顺序推进，最后用正交性与模长两条判据收尾。这套流程在后续处理密度矩阵的迹、偏迹与测量算符时同样适用，只是把矢量换成了算符、把内积换成了迹运算。