@@ -106,7 +106,7 @@ $$M_1(\lambda) = \begin{bmatrix} 1 & \lambda \\ 0 & 1 \end{bmatrix}, \quad M_2(\
1061063 . ** 倍加** :将某一行(或列)的 $\varphi(\lambda)$ 倍加到另一行(或列)上。
107107 - _ 注意_ :这里的 $\varphi(\lambda)$ 可以是任意多项式。
108108
109- 如果矩阵 $A(\lambda)$ 经过有限次初等变换变成 $B(\lambda)$,我们称它们** 等价** ,记为 $A(\lambda) \cong B(\lambda)$ 4 。
109+ 如果矩阵 $A(\lambda)$ 经过有限次初等变换变成 $B(\lambda)$,我们称它们** 等价** ,记为 $A(\lambda) \cong B(\lambda)$ 。
110110
111111### 2. 史密斯标准形
112112
@@ -123,12 +123,11 @@ $$\begin{bmatrix} d_1(\lambda) & & & & \\ & d_2(\lambda) & & & \\ & & \ddots & &
1231231 . ** 首 1 性** :$d_i(\lambda)$ 是首项系数为 1 的多项式(或 1)。
1241242 . ** 整除性** :$d_1(\lambda)$ 整除 $d_2(\lambda)$, $d_2(\lambda)$ 整除 $d_3(\lambda)$,以此类推(即 $d_i(\lambda) | d_ {i+1}(\lambda)$)。
125125
126-
127126这种形式称为 $A(\lambda)$ 的 ** 史密斯标准形** 。$d_i(\lambda)$ 称为 ** 不变因子** 。
128127
129128---
130129
131- ### 3. 实战: 如何化为标准形?
130+ ### 3. 如何化为标准形?
132131
133132这通常使用“辗转相除法”的思想。我们通过一个具体例子来演示步骤。
134133
@@ -138,7 +137,7 @@ $$\begin{bmatrix} d_1(\lambda) & & & & \\ & d_2(\lambda) & & & \\ & & \ddots & &
138137
139138第一步:处理左上角(元素 $a_ {11}$)
140139
141- 我们要找公因式最小的元素放到左上角。这里 $1$(即 $a_ {12}$)显然比 $\lambda$ 简单。
140+ 我们要找公因式最小的元素放到左上角。这里 $1$(即 $a_ {12}$)显然比 $\lambda$ 简单。
142141
143142- 操作:交换第 1 列和第 2 列。
144143
@@ -350,15 +349,15 @@ $$(\lambda - 3), \quad (\lambda - 3)^2, \quad (\lambda - 3), \quad (\lambda + 1)
350349
351350但有了 $\lambda$-矩阵理论,我们拥有了判定相似的充要条件。
352351
353- ### 1. 桥梁: 特征矩阵
352+ ### 1. 特征矩阵
354353
355354对于数域 $F$ 上的 $n$ 阶数字矩阵 $A$,我们引入变量 $\lambda$,构造其特征矩阵:
356355
357356$$ \lambda I - A $$
358357
359358这是一个 $n$ 阶 $\lambda$-矩阵。
360359
361- #### 2. 核心定理: 相似 $\iff$ 等价
360+ #### 2. 相似 $\iff$ 等价
362361
363362这是本章最著名的定理,连接了“相似”与“等价”两个世界:
364363
@@ -439,7 +438,7 @@ $$A = \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix}, \quad B = \begin{bmatrix} 1
439438
440439这一阶段非常直观。如果说求初等因子是“拆解”过程,那么写出 Jordan 标准形就是“组装”过程。我们将把抽象的多项式(初等因子)翻译成具体的矩阵块。
441440
442- ### 1. 核心元件: Jordan 块 (Jordan Block)
441+ ### 1. Jordan 块 (Jordan Block)
443442
444443Jordan 标准形是由一个个独立的子矩阵拼成的对角块矩阵。这些子矩阵被称为 ** Jordan 块** 。
445444
@@ -462,7 +461,7 @@ $$J_k(\lambda_0) = \begin{bmatrix} \lambda_0 & 1 & 0 & \cdots & 0 \\ 0 & \lambda
462461
463462---
464463
465- ### 2. 构造定理: 从初等因子到 Jordan 标准形
464+ ### 2. 从初等因子到 Jordan 标准形
466465
467466这是本章最重要的构造定理,它告诉我们初等因子与 Jordan 块是一一对应的关系。
468467
@@ -521,7 +520,7 @@ $$J = \begin{bmatrix} \mathbf{2} & \mathbf{1} & \mathbf{0} & 0 & 0 \\ \mathbf{0}
521520
522521---
523522
524- ### 4. 关键推论: 对角化判定
523+ ### 4. 对角化判定
525524
526525利用这一定理,我们可以瞬间判定矩阵是否可以对角化(即是否相似于纯对角矩阵)。
527526
@@ -550,4 +549,92 @@ $$d_1(\lambda) = 1, \quad d_2(\lambda) = 1, \quad d_3(\lambda) = \lambda - 3, \q
5505491 . 先写出 $A$ 的** 初等因子** 。
5515502 . 写出 $A$ 的 Jordan 标准形矩阵 $J$(请直接写出矩阵形式)。
552551
553- 请尝试解答。
552+ 请尝试解答。
553+
554+
555+ ## 几何性质与秩阶梯算法
556+
557+
558+ 想象一下,如果给你一个 $10 \times 10$ 的数字矩阵,让你求 Jordan 标准形。
559+
560+ - ** 方法 A($\lambda$-矩阵法)** :计算 $\lambda I - A$,求 10 阶行列式因子...(计算量是天文数字,完全不可行)。
561+ - ** 方法 B(秩阶梯算法)** :通过计算几个数字矩阵的秩,直接“数”出 Jordan 块的个数和大小。这是解决高阶矩阵问题的唯一实战路径。
562+
563+ ### 1. 代数重数 vs 几何重数
564+
565+ 对于特征值 $\lambda_i$,我们有两个极其重要的指标:
566+
567+ 1 . ** 代数重复度** :
568+ - 它是特征多项式 $\det(\lambda I - A)$ 中 $(\lambda - \lambda_i)$ 的幂次。
569+ - ** 几何意义** :所有属于 $\lambda_i$ 的 Jordan 块的 ** 阶数之和** (也就是总面积)。
570+ 2 . ** 几何重复度** :
571+ - 它是特征值 $\lambda_i$ 对应的线性无关特征向量的个数,计算公式为 $n - \text{rank}(A - \lambda_i I)$。
572+ - ** 几何意义** :属于 $\lambda_i$ 的 Jordan 块的 ** 个数** (也就是块的数量)。
573+
574+ ** 例** :若特征值 $\lambda=2$ 的代数重数为 4,几何重数为 2。
575+ - 这意味着:关于 2 的所有块加起来占 4 行 4 列。
576+ - 但这 4 行分成了 ** 2 个块** 。
577+ - 可能的组合:$3+1$ 或 $2+2$。仅凭几何重数还不够,我们需要更精细的工具。
578+
579+ ### 2. 秩阶梯算法 (Weyr Characteristic)
580+
581+ 为了区分是 "$3+1$" 还是 "$2+2$",我们观察矩阵幂次的秩的下降速度。
582+
583+ 对于特定的特征值 $\lambda_i$,定义 $r_k$ 为矩阵幂次的秩:
584+
585+ $$ r_k = \text{rank}((A - \lambda_i I)^k), \quad r_0 = n $$
586+
587+ 核心公式(块数公式) :
588+
589+ 对应于特征值 $\lambda_i$ 的 $k$ 阶 Jordan 块 的个数 $N_k$ 为:
590+
591+ $$ N_k = r_{k-1} - 2r_k + r_{k+1} $$
592+
593+ 这个公式看起来很吓人,但我们可以用一个直观的 ** "二次差分表格"** 来操作:
594+
595+ | ** 幂次 k** | ** 秩 rk** | ** 一阶差 Δk=rk−1−rk** | ** 二阶差 (结果 Nk) Δk−Δk+1** |
596+ | ---| ---| ---| ---|
597+ | 0| $n$| -| -|
598+ | 1| $r_1$| $\Delta_1$ (总块数)| ** $N_1$ (1阶块个数)** |
599+ | 2| $r_2$| $\Delta_2$| ** $N_2$ (2阶块个数)** |
600+ | 3| $r_3$| $\Delta_3$| ** $N_3$ (3阶块个数)** |
601+
602+ ** 规律** :
603+
604+ - ** 一阶差** $\Delta_k$ 代表:阶数 $\ge k$ 的 Jordan 块的总数。
605+ - ** 二阶差** (上一层减下一层)代表:阶数 ** 恰好等于 $k$** 的 Jordan 块个数。
606+
607+ ---
608+
609+ ### 3. 例题
610+
611+
612+
613+ ---
614+
615+ ### 你的实战挑战
616+
617+ 题目:
618+
619+ 已知 7 阶矩阵 $A$,特征值 $\lambda=2$ 是唯一的特征值(代数重数 7)。
620+
621+ 经计算,矩阵 $B = A - 2I$ 的幂次秩如下:
622+
623+ - $r_0 = 7$
624+
625+ - $r_1 = \text{rank}(B) = 4$
626+
627+ - $r_2 = \text{rank}(B^2) = 2$
628+
629+ - $r_3 = \text{rank}(B^3) = 1$
630+
631+ - $r_4 = \text{rank}(B^4) = 1$ (稳定)
632+
633+
634+ ** 请按照上述“差分法”分析:**
635+
636+ 1 . 共有几个 Jordan 块?
637+
638+ 2 . 1 阶块、2 阶块、3 阶块各有多少个?
639+
640+ 3 . 写出最终的 Jordan 标准形。
0 commit comments