谱族与谱测度
我们先从最简单的概念开始。谱族和谱测度是线性算子谱理论的基石,它们将算子的结构“分解”为更简单的部分,类似于对角化矩阵,但适用于更一般的算子(特别是自伴算子和正规算子)。
第一步:从有限维类比出发——谱分解
-
回顾:有限维空间中的自伴算子
假设你有一个有限维希尔伯特空间H(例如ℂⁿ),以及一个自伴算子A(即A = A*)。一个基本结论是:A可以被对角化。- 存在一组标准正交基 {e₁, e₂, ..., eₙ},由A的特征向量构成。
- 对应的特征值是实数:λ₁, λ₂, ..., λₙ。
- 算子A的作用可以写为:对于任意向量x ∈ H,有 A(x) = Σᵢ₌₁ⁿ λᵢ 〈x, eᵢ〉 eᵢ。
-
引入谱族(投影值测度)的雏形
我们可以将上述分解重新组织。对于实数λ,我们定义一个算子E(λ),它是投影到所有特征值小于等于λ的特征向量所张成的子空间上的投影算子。- 例如,如果λ₁ < λ₂ < ... < λₙ,那么对于λ ∈ [λₖ, λₖ₊₁),E(λ)就是将x投影到由e₁, e₂, ..., eₖ张成的子空间上。
- 这样,算子A就可以表示为关于这个“投影族”E(λ)的积分:A = ∫ λ dE(λ)。在离散情况下,这个积分就退化为求和:A = Σ λᵢ [E(λᵢ) - E(λᵢ⁻)],其中E(λᵢ) - E(λᵢ⁻)是投影到第i个特征空间上的投影。
这个函数λ → E(λ) 就是一个最简单的谱族。它是一个从实数集到投影算子的映射,并且是“右连续”和“递增”的(随着λ增大,投影到的子空间也在变大)。
第二步:推广到无限维——谱族的严格定义
在无限维希尔伯特空间H中,自伴算子可能没有特征向量(连续谱),但著名的谱定理指出,我们仍然可以建立类似的分解。这时,E(λ)的定义需要更加精细。
-
谱族的定义
设H是一个希尔伯特空间。一个谱族(或称为单位分解)是一个映射 E: ℝ → L(H)(从实数到H上有界线性算子的集合),满足以下性质:- 投影性:对每个λ ∈ ℝ,E(λ)是一个正交投影算子(即E(λ) = E(λ)* 且 E(λ)² = E(λ))。
- 单调递增性:如果λ ≤ μ,那么 E(λ) ≤ E(μ)。这意味着对于所有x ∈ H,有 〈E(λ)x, x〉 ≤ 〈E(μ)x, x〉。等价地,E(λ)的值域包含于E(μ)的值域。
- 右连续性:对于所有λ ∈ ℝ 和所有 x ∈ H,有 lim_(ε→0⁺) E(λ+ε)x = E(λ)x。
- 极限行为:
- lim_(λ→-∞) E(λ)x = 0 (对于所有x ∈ H)
- lim_(λ→+∞) E(λ)x = x (对于所有x ∈ H)
直观上,E(λ)可以理解为“测量”向量x在谱的(-∞, λ]部分上的“分量”有多大。
第三步:从谱族到谱测度
谱族E(λ)定义了一个“累积分布函数”。在概率论中,分布函数唯一确定了一个测度。这里完全类似。
-
定义谱测度
给定一个谱族E,我们可以为实数轴ℝ上的每个博雷尔集Ω(即可由开集通过可数次并、交、补运算得到的集合)定义一个投影算子E(Ω)。这个映射 Ω → E(Ω) 称为一个谱测度(或投影值测度)。- 对于区间(a, b],定义 E((a, b]) = E(b) - E(a)。
- 这个定义可以唯一地扩展到所有博雷尔集上,并满足测度的基本性质(例如,可数可加性:如果{Ωₙ}是一族互不相交的博雷尔集,则E(∪ₙ Ωₙ) = Σₙ E(Ωₙ),这里的级数在强算子拓扑下收敛)。
-
谱定理的积分形式
现在,对于任何一个自伴算子A,存在唯一的谱测度E,使得A可以表示为关于恒等函数id(λ)=λ的积分:
A = ∫_ℝ λ dE(λ)
这个积分的严格定义需要一步步建立:- 首先,对于简单函数(阶梯函数),积分是自然定义的。
- 然后,通过极限过程,可以将积分定义推广到有界博雷尔函数f上,得到算子f(A) = ∫_ℝ f(λ) dE(λ)。
- 这个算子f(A)具有非常好的性质,例如,(fg)(A) = f(A)g(A),并且如果f是实值函数,则f(A)是自伴算子。
第四步:核心意义与应用
-
函数演算
这是谱定理最强大的应用。它允许我们将一个复杂的算子A“代入”一个函数f中,得到一个新算子f(A)。例如:- f(t) = e^(it),则定义幺正算子 e^(iA) = ∫ e^(iλ) dE(λ)。这在求解薛定谔方程中至关重要。
- f(t) = √t (t≥0),则定义算子的平方根 √A。
-
谱的刻画
算子的谱σ(A)可以通过其谱测度来刻画。一个点λ属于谱σ(A),当且仅当,对于λ的任意邻域Ω,谱投影E(Ω)都不为零算子。λ是特征值当且仅当E({λ}) ≠ 0。 -
物理诠释(量子力学)
在量子力学中,一个可观测量(如位置、动量、能量)对应一个自伴算子。谱定理中的谱测度E(Ω)的物理意义是:当一个系统的状态由向量x(‖x‖=1)描述时,〈E(Ω)x, x〉表示对该可观测量进行测量,其结果落在集合Ω内的概率。这使得谱族和谱测度成为连接数学形式体系与物理观测的桥梁。
总结来说,谱族和谱测度是将有限维线性代数中特征分解的思想,通过测度论和积分工具,完美地推广到无限维希尔伯特空间自伴算子上的理论。它不仅是理解算子结构的关键,也是将算子作为函数进行运算(函数演算)的基础,并在数学物理等领域有根本性的应用。