KNOWECON WIKI

ARTICLE

若尔当分解

若尔当分解 (Jordan Decomposition) 若尔当分解是数学中一类构造性分解方法的总称，其核心思想是将一个复杂对象表示为其最简单不可约成分的组合。在线性代数、测度论和泛函分析中各有独立但精神一致的版本：矩阵的若尔当标准形将一个线性变换分解为若尔当块的直和；测度论中的若尔当分解将一个带符号测度拆分为两个正测度之差。二者的共同本质是「复杂对象 =

浏览 9 更新 2025-07-15

若尔当分解 (Jordan Decomposition)

若尔当分解是数学中一类构造性分解方法的总称，其核心思想是将一个复杂对象表示为其最简单不可约成分的组合。在线性代数、测度论和泛函分析中各有独立但精神一致的版本：矩阵的若尔当标准形将一个线性变换分解为若尔当块的直和；测度论中的若尔当分解将一个带符号测度拆分为两个正测度之差。二者的共同本质是「复杂对象 = 简单组件之和（或差）」。

矩阵的若尔当标准形

设 AA 为 n×nn \times n 复方阵。若尔当标准形定理断言：存在可逆矩阵 PP，使得

P−1AP=J=diag⁡(Jk1(λ1),…,Jkr(λr)),P^{-1} A P = J = \operatorname{diag}\bigl(J_{k_1}(\lambda_1), \ldots, J_{k_r}(\lambda_r)\bigr),

其中每个 若尔当块 Jk(λ)J_k(\lambda) 是 k×kk \times k 矩阵：

Jk(λ)=[λ10⋯00λ1⋯0⋮⋱⋱⋱⋮0⋯0λ10⋯00λ].J_k(\lambda) = \begin{bmatrix} \lambda & 1 & 0 & \cdots & 0 \\ 0 & \lambda & 1 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & \lambda & 1 \\ 0 & \cdots & 0 & 0 & \lambda \end{bmatrix}.

对角线上为特征值 λ\lambda，超对角线上全为 1。若 AA 有 nn 个线性无关的特征向量（即可对角化），则所有若尔当块退化为一阶，JJ 退化为对角矩阵。缺损矩阵（defective matrix）必然出现至少一个阶数大于 1 的若尔当块，其几何重数严格小于代数重数。

若尔当块的幂有显式公式：

[Jk(λ)]t=[λttλt−1(t2)λt−2⋯0λttλt−1⋯⋮⋱⋱⋱].\bigl[J_k(\lambda)\bigr]^t = \begin{bmatrix} \lambda^t & t\lambda^{t-1} & \binom{t}{2}\lambda^{t-2} & \cdots \\ 0 & \lambda^t & t\lambda^{t-1} & \cdots \\ \vdots & \ddots & \ddots & \ddots \end{bmatrix}.

这一公式在 线性动力系统 中至关重要。对于系统 xt+1=Axtx_{t+1} = A x_t，解为 xt=Atx0=PJtP−1x0x_t = A^t x_0 = P J^t P^{-1} x_0。稳定性由谱半径 ρ(A)=max⁡∣λi∣\rho(A) = \max |\lambda_i| 决定：ρ(A)<1\rho(A) < 1 时系统渐近稳定，ρ(A)=1\rho(A) = 1 时收敛行为由若尔当块阶数控制。在 DSGE 模型中，若尔当分解用于求解线性理性预期系统的 Blanchard-Kahn 形式。

测度论中的若尔当分解

在 测度论 中，任意 带符号测度 ν\nu 可唯一表示为两个正测度之差：

ν=ν+−ν−,\nu = \nu^+ - \nu^-,

其中 ν+\nu^+ 和 ν−\nu^- 相互奇异（即存在可测集 PP 使得 ν−(P)=0\nu^-(P) = 0 且 ν+(X∖P)=0\nu^+(X \setminus P) = 0）。这依赖于 Hahn分解定理：存在可测空间 XX 的一个划分 X=P∪NX = P \cup N（正集与负集），使得 ν+(E)=ν(E∩P)\nu^+(E) = \nu(E \cap P)，ν−(E)=−ν(E∩N)\nu^-(E) = -\nu(E \cap N)。全变差测度定义为 ∣ν∣=ν++ν−|\nu| = \nu^+ + \nu^-，是正测度。

这一分解直接导出 拉东-尼科迪姆定理：若 ν\nu 关于 σ\sigma-有限正测度 μ\mu 绝对连续，则存在密度函数 ff 使 dν=f dμd\nu = f \, d\mu，且 f=f+−f−f = f^+ - f^-（函数的若尔当分解）。

泛函分析中的若尔当分解

在 泛函分析 中，有界变差函数也存在若尔当分解：闭区间 [a,b][a, b] 上的任一有界变差函数 ff 可写为两个单调递增函数之差：f=f1−f2f = f_1 - f_2，其中 f1(x)=Vax(f)f_1(x) = V_a^x(f)（全变差函数），f2=f1−ff_2 = f_1 - f。这与测度分解一脉相承：ff 诱导的 Lebesgue-Stieltjes 测度可分解为正负部分。

与其他概念的关系

若尔当分解是多种分解的源头和参照：

若尔当分解的方法论精神——将复杂对象拆解为结构清晰、便于分析的简单组件——贯穿现代数学和定量经济学的诸多领域。