探索不可对角化矩阵的优雅形式，掌握特征值与广义特征向量的深层联系。从基础理论到复杂系统分析，一站式解决您的数学困惑。
在线性代数中，若尔当分解定理（Jordan Decomposition Theorem）是矩阵理论中极为重要的一个结论。它回答了这样一个核心问题：如果一个矩阵不能对角化，我们能否找到一个最接近对角化的形式？
答案是的。根据若尔当分解定理，对于复数域 上的任意一个 矩阵 ，都存在一个可逆矩阵 和一个若尔当标准型矩阵 ，使得：
其中， 是由若干个若尔当块（Jordan Blocks）组成的分块对角矩阵。这一分解不仅揭示了矩阵的内在结构，还为计算矩阵函数、求解微分方程组提供了强有力的工具。
许多实际应用的矩阵（如某些微分方程的系数矩阵）并不具备足够的线性无关特征向量，因此无法对角化。若尔当分解提供了处理这类“病态”矩阵的标准方法。
若尔当标准型在忽略若尔当块排列顺序的情况下是唯一的。这意味着矩阵的谱结构（特征值及其几何重数）是矩阵本身的固有属性。
对角化是若尔当分解的特例。当所有若尔当块的大小均为 时，若尔当标准型即为对角矩阵。因此，若尔当分解是对角化理论的推广。
要深入理解若尔当分解定理，必须掌握以下几个关键概念。这些概念构成了现代线性代数分析的基石。
一个 的若尔当块 是一个上三角矩阵，其主对角线元素均为特征值 ，主对角线上方的元素均为 1，其余元素为 0。
| 矩阵维度 | 若尔当块形式 | 特征值重数 |
|---|---|---|
| 1x1 | 代数重数 = 几何重数 | |
| 2x2 | 代数重数 2, 几何重数 1 | |
| 3x3 | 代数重数 3, 几何重数 1 |
在若尔当分解中，矩阵 的列向量由广义特征向量组成。向量 称为属于特征值 的广义特征向量，如果存在正整数 使得：
当 时，即为普通的特征向量。若尔当链就是一组线性相关的广义特征向量，它们共同张成一个不变子空间。
手动计算若尔当标准型和过渡矩阵 是一个繁琐但逻辑严密的过程。以下通过选项卡展示不同复杂程度下的处理策略。
首先计算特征多项式 。求出所有根，即为矩阵 的特征值 。
注意：在复数域上， 阶矩阵必有 个特征值（计入重数）。
对于每个特征值 ：
如果对于所有 ，都有 ，则 可对角化，若尔当标准型即为对角阵。
如果存在某个 使得 ，则必须构造若尔当块。
对于每个若尔当块，我们需要找到一组基向量 ，满足：
这组向量构成了若尔当链。将所有特征值对应的链向量拼接起来，组成矩阵 的列，则 。
设 。
1. 特征值：（代数重数2）。
2. 几何重数：，秩为1，故零度为1。几何重数=1。
3. 结论：因为 ，不可对角化。存在一个 的若尔当块。
4. 若尔当型：。此时 可以是单位矩阵 ，因为 本身已是若尔当型。
若 ，则 ，此时可对角化。
若尔当分解定理的提出标志着线性代数从具体的矩阵计算向抽象结构理论的过渡。以下是关键的时间节点：
法国数学家卡米耶·若尔当（Camille Jordan）在其著作《Analyse Algebraique》中首次系统地研究了这种矩阵形式，旨在简化线性微分方程组的求解过程。
随着诺特（Emmy Noether）等代数学家对抽象代数的发展，若尔当分解被置于更广泛的模论（Module Theory）背景下，解释了其作为 -模分解的本质。
在计算机出现后，若尔当标准型虽然因数值不稳定性而在数值计算中被Schur分解或SVD取代，但在符号计算、控制理论和系统稳定性分析中，它依然是理论推导的核心工具。
除了纯数学研究，若尔当分解定理在多个工程科学领域有着不可替代的作用。
求解 的通解。通过若尔当分解，方程解的形式可以直接写出：。若尔当块 的指数 包含 项，直观展示了系统的振荡与发散行为。
在分析线性时不变系统的能控性和能观性时，若尔当分解有助于判断系统模态的重复性。重复特征值对应的若尔当块结构直接影响系统是否能在有限时间内被完全控制。
计算 （如矩阵指数、矩阵对数）时，若尔当分解将复杂矩阵函数转化为若尔当块上的多项式计算。对于 的若尔当块， 的上三角元素涉及 的各阶导数。
A1: 标准的若尔当分解要求矩阵的特征值都在基域中。如果实矩阵有复特征值，则必须在复数域 上进行若尔当分解。如果在实数域上，通常使用实若尔当标准型，其中复共轭特征值对应 的块。
A2: 因为若尔当分解对矩阵元素的微小扰动极其敏感。即使矩阵稍微偏离奇异情况（即特征值重合），若尔当块可能会分裂成对角元相近但非对角元巨大的矩阵，导致数值溢出或不稳定。因此，计算机常用Schur分解或SVD代替。
A3: 矩阵 的列由广义特征向量组成。具体方法是：对每个特征值 ，求解 得到特征向量，然后求解 等，直到链的长度达到代数重数。将这些向量按链顺序排列即构成 。
A4: 零矩阵 的特征值全为0。由于其本身已是对角矩阵（且对角线元素为0），其若尔当标准型就是它本身。此时所有若尔当块的大小均为 。