kp-007 狄拉克符号：量子力学的记法

一句话定义

狄拉克符号用右矢 |ψ⟩（ket）表示列向量、左矢 ⟨φ|（bra）表示其共轭转置行向量，内积写成 ⟨φ|ψ⟩，外积写成 |a⟩⟨b|——一套覆盖全学科的紧凑语言。

为什么重要

从 kp-010 起的所有公式、论文、软件文档都用这套记法。它不只是缩写：bra-ket 的"可拆装"性（bra 乘 ket 得数、ket 乘 bra 得矩阵）让推导少写大量转置共轭符号，降低出错率。本库约定：全文使用 Unicode 直角括号 ⟨⟩，便于网页直接排版。

前置知识

kp-006（向量、内积、共轭）。本节是纯粹的记法课，不引入新数学对象。

核心概念

ket：|ψ⟩ = 列向量；基矢记作 |0⟩ = (1,0)ᵀ、|1⟩ = (0,1)ᵀ；叠加写作 α|0⟩ + β|1⟩。
bra：⟨φ| = (φ 列向量的共轭转置)，即行向量。
braket：⟨φ|ψ⟩ = 内积（复数）；顺序不可交换，⟨ψ|φ⟩ = ⟨φ|ψ⟩*。
外积：|a⟩⟨b| 是一个矩阵——如 |0⟩⟨0| = 投影到 |0⟩ 的矩阵 [[1,0],[0,0]]，kp-008 的投影算子由它构成。
常用命名态：|+⟩、|−⟩（H 门的本征态）、|i⟩ 等；记号本身不携带数值，需查定义。

直观类比

把狄拉克符号想成"乐谱"：|ψ⟩ 是音符，⟨φ| 是"听的方式"，⟨φ|ψ⟩ 是"这个音符在该听法下的响度"。乐谱不规定乐器（矩阵表示），同一旋律可以移到不同调（不同基）——记法分离了"抽象态"与"具体坐标"，这正是它优于直接写列向量的地方。

原理与机制

规则只有两条。其一，bra 是 ket 的伴随（共轭转置）：(a|0⟩+b|1⟩)† = a⟨0| + b⟨1|；内积 ⟨φ|ψ⟩ 自动带上共轭，复现 kp-006 的定义。其二，运算按"括号配对"展开：|a⟩⟨b|c⟩ = |a⟩·⟨b|c⟩（矩阵乘向量得向量），⟨a|b⟩⟨c|d⟩ 是两个复数的乘积。乘法结合但不交换：⟨a|U|b⟩ 与 ⟨b|U†|a⟩ 互为共轭。有了这两条，kp-008 的算符代数与 kp-015 的算法推导都变成机械操作。本库书写约定：⟨00| = ⟨0|⊗⟨0|，两比特基矢写作 |01⟩。

公式或模型

|ψ⟩ = α|0⟩ + β|1⟩；⟨ψ| = α⟨0| + β⟨1|；⟨ψ|ψ⟩ = |α|² + |β|² = 1。

投影展开：|ψ⟩ = ⟨0|ψ⟩·|0⟩ + ⟨1|ψ⟩·|1⟩ = α|0⟩ + β|1⟩——"用基把态拆开"。

图示

本节不适用——记法本身即符号系统，图示无增益。

实例或案例

用记法重做 kp-006 的验证题：⟨+|+⟩ = ½(⟨0|+⟨1|)(|0⟩+|1⟩) = ½(1+0+0+1) = 1；⟨+|−⟩ = ½(1−1) = 0。再取外积 |0⟩⟨1| = [[0,1],[0,0]]——它正是 kp-010 中 X 门矩阵的一半。可以看到，记法把"向量运算"压缩成了代数填空。

与其他知识点的关系

kp-008 用外积构造投影算子与酉矩阵；kp-010 起的门一律以 |ψ⟩ → U|ψ⟩ 记法书写；kp-016 的 QFT 定义式完全由 braket 语言写成。

常见误区

"ket 是数字"：ket 是抽象向量；只有选定基后才写成数列，换基则坐标改变而 |ψ⟩ 不变。
"⟨φ|ψ⟩ = ⟨ψ|φ⟩"：两者互为共轭；涉及相位时顺序至关重要。
"|+⟩ 是一个'数'"：它是定义出来的命名态 = (|0⟩+|1⟩)/√2，遇到不熟悉的记号先查定义。

自测题

写出 ⟨1|+⟩ 与 ⟨+|1⟩。

答案要点：⟨1|+⟩ = 1/√2；⟨+|1⟩ = 1/√2（实数时共轭不变）。

把态 β|0⟩ + iα|1⟩ 的 bra 写出来。

答案要点：β⟨0| − iα⟨1|，注意 i 变 −i。

计算 ⟨0| (|0⟩⟨0| + |1⟩⟨1|) |ψ⟩ 并解释结果含义。

答案要点：⟨0|ψ⟩ = 振幅 α；括号内是恒等算子 I 的投影分解，故结果就是 ψ 的第一个分量。

延伸阅读

任何量子信息教材的第 2 章开篇；狄拉克原始教材《The Principles of Quantum Mechanics》第一节（历史趣味）。

狄拉克符号：量子力学的记法