内积空间与希尔伯特空间

内积空间与希尔伯特空间图景

物理问题引入：如何度量两个量子态之间的「投影与重叠」？

在三维空间几何中，点积 $u \cdot v = | u | | v | \cos θ$ u*v = |u||v|costheta 定义了向量的长度与夹角．在量子物理中：

系统的状态由复态矢量 $| ψ ⟩$ |psirangle 描述；
两个态矢量的「重叠程度」决定了从一个态跃迁到另一个态的 跃迁概率幅；
任意微观量子态的发现概率必须满足归一化条件： $\sum P_{n} = 1$ sum P_n = 1．

为了在包含复数甚至连续无穷维函数的空间中严格定义「长度」、「垂直正交」与「投影分解」，我们需要将初等几何点乘升华为 内积空间（Inner Product Space）与希尔伯特空间（Hilbert Space）．

1. 复内积空间的公理化定义

设 $V$ V 是复数域 $C$ C 上的线性空间．映射 $⟨ \cdot | \cdot ⟩ : V \times V \to C$ langle * | * rangle: V * V -> C 称为内积，如果它满足以下四条公理（采用理论物理通用的狄拉克左矢 $⟨ u |$ langleu| 与右矢 $| v ⟩$ |vrangle 记号）：

共轭对称性： $⟨ u | v ⟩ = ⟨ v | u ⟩^{*}$ langleu|vrangle = langlev|urangle^*；
对右矢严格线性： $⟨ u | α v_{1} + β v_{2} ⟩ = α ⟨ u | v_{1} ⟩ + β ⟨ u | v_{2} ⟩$ langleu| alphav_1 + betav_2 rangle = alphalangleu|v_1rangle + betalangleu|v_2rangle；
对左矢反线性（伴随共轭）： $⟨ α u_{1} + β u_{2} | v ⟩ = α^{*} ⟨ u_{1} | v ⟩ + β^{*} ⟨ u_{2} | v ⟩$ langle alphau_1 + betau_2 | vrangle = alpha^* langleu_1|vrangle + beta^* langleu_2|vrangle；
正定性： $⟨ v | v ⟩ \geq 0$ langlev|vrangle >= 0，且等号成立当且仅当 $| v ⟩ = 0$ |vrangle = 0．

定义态矢量的 模长（范数） 为：

‖ | v ⟩ ‖ = \sqrt{⟨ v | v ⟩}

| |vrangle | = langlev|vrangle

2. 柯西 - 施瓦茨不等式（Cauchy-Schwarz Inequality）

对于内积空间中的任意两个非零向量 $| u ⟩, | v ⟩$ |urangle, |vrangle：

| ⟨ u | v ⟩ |^{2} \leq ⟨ u | u ⟩ ⟨ v | v ⟩

等号成立的充要条件是两向量线性相关（成常数倍比例）．

量子力学广义不确定性关系的纯代数之门

在量子力学中，任何两个可观测量算符 $\hat{A}$ A 和 $\hat{B}$ B 的方差涨落均方根 $Δ A \cdot Δ B$ Delta A * Delta B，其证明的唯一关键核心数学工具正是柯西 - 施瓦茨不等式：

(Δ A)^{2} (Δ B)^{2} \geq \frac{1}{4} {| ⟨ [\hat{A}, \hat{B}] ⟩ |}^{2}

(Delta A)^2 (Delta B)^2 >= 14 left| langle [A, B] rangle right|^2

纯代数的内积不等式直接锁死了大自然一切量子对易测量的极限精度！

3. 格拉姆 - 施密特正交化（Gram-Schmidt Process）

若空间中有一组线性无关基 ${| v_{1} ⟩, \dots, | v_{n} ⟩}$ |v_1rangle, dots, |v_nrangle，可通过连续正交投影将其改造成一组 标准正交归一基 ${| e_{1} ⟩, \dots, | e_{n} ⟩}$ |e_1rangle, dots, |e_nrangle：

| u_{1} ⟩ = | v_{1} ⟩, | e_{1} ⟩ = \frac{| u_{1} ⟩}{‖ | u_{1} ⟩ ‖}

| u_{k} ⟩ = | v_{k} ⟩ - \sum_{j = 1}^{k - 1} ⟨ e_{j} | v_{k} ⟩ | e_{j} ⟩, | e_{k} ⟩ = \frac{| u_{k} ⟩}{‖ | u_{k} ⟩ ‖} (k = 2, \dots, n)

4. 希尔伯特空间图景与恒等算符完备分解

4.1 希尔伯特空间（Hilbert Space）

定义在复内积空间上的序列若满足「柯西序列必收敛于空间内部点」，称为 完备的内积空间——即 希尔伯特空间 $H$ H．

有限维希尔伯特空间：复空间 $C^{n}$ C^n（如两能级自旋体系，态矢为列向量，内积为 $⟨ u | v ⟩ = u^{†} v$ langleu|vrangle = u^dagger v）；
无限维希尔伯特空间：平方可积复函数空间 $L^{2} (R)$ L^2(R)（如一维薛定谔波函数，内积定义为空间卷积积分： $⟨ ϕ | ψ ⟩ = \int_{- \infty}^{\infty} ϕ^{*} (x) ψ (x) d x$ langlephi|psirangle = int_-inf^inf phi^*(x)psi(x)dx）．

4.2 恒等算符完备分解（Resolution of the Identity）

设 ${| n ⟩}_{n = 1}^{\infty}$ |nrangle _n=1^inf 为希尔伯特空间的一组标准正交归一基（满足 $⟨ m | n ⟩ = δ_{m n}$ langle m|nrangle = delta_mn）．任意态矢量 $| ψ ⟩$ |psirangle 均可展开为基矢量的投影求和：

| ψ ⟩ = \sum_{n} c_{n} | n ⟩ = \sum_{n} | n ⟩ ⟨ n | ψ ⟩ = (\sum_{n} | n ⟩ ⟨ n |) | ψ ⟩

因为该式对任意态 $| ψ ⟩$ |psirangle 恒成立，括弧内的投影算符之和严格等于 单位恒等算符：

\sum_{n} | n ⟩ ⟨ n | = \hat{I}

sum_n |nranglelangle n| = I

这被称作量子力学中最强大的「插入恒等式技巧」！

5. 学习衔接

下一节：研究实可观测值与对称变换算符，进入厄米算符、酉变换与谱分解；
微积分互通：函数空间的内积与正交性，参见 Sturm–Liouville 理论．

本页面最近更新：2026/10/1 10:49:01，更新历史
发现错误？想一起完善？在 GitHub 上编辑此页！
本页面贡献者：Leafuke, Physics Learning Wiki Team
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用

内积空间与希尔伯特空间