矩阵分析笔记（二）

最新推荐文章于 2023-02-14 15:15:08 发布

巴川笑笑生

最新推荐文章于 2023-02-14 15:15:08 发布

阅读量1.1k

点赞数 1

分类专栏：矩阵分析笔记文章标签：矩阵

欢迎访问我的个人主页巴川笑笑生|记录点滴

本文链接：https://blog.csdn.net/qq_16024557/article/details/122751712

版权

矩阵分析笔记专栏收录该内容

3 篇文章 0 订阅

订阅专栏

$\lambda$ 矩阵

设 $a_{ij}(\lambda)(i=1...m,j=1...n)$ 为数域 $F$ 上多项式，则称
$A(\lambda)= \begin{bmatrix} a_{11}(\lambda) & a_{12}(\lambda) & \cdots & a_{1n}(\lambda)\\ a_{21}(\lambda) & a_{22}(\lambda) & \cdots & a_{2n}(\lambda) \\ \vdots & \vdots & \ddots & \vdots\\ a_{m1}(\lambda) & a_{m2}(\lambda) & \cdots & a_{mn}(\lambda) \end{bmatrix}$ 为多项式矩阵或 $\lambda$ 矩阵
其中 $a_{ij}(\lambda)(i=1...m,j=1...n)$ 中最高次数为 $A(\lambda)$ 次数

例如数字矩阵，特征矩阵 $\lambda E-A$

秩

若 $\lambda$ 矩阵 $A(\lambda)$ 中有 $r\ge 1 )$ 阶子式不为零，而所有 $r + 1$ 阶子式（若有的话）全为零，则称 $A(\lambda)$ 的秩为 $r$ ，记为 $rankA(\lambda)=r$ ，零矩阵的秩为 $0$

初等变换

行（列）换位
数乘行（列）
行（列）倍加

其中倍数为 $\phi(\lambda)$ ，为 $\lambda$ 的一个多项式

行（列）变换等价于左（右）乘相应初等矩阵

等价

若 $A(\lambda)$ 经过有限次初等变换后变成 $B(\lambda)$ 则称 $A(\lambda)$ 与 $B(\lambda)$ 等价，记为 $A(\lambda)\simeq B(\lambda)$
等价关系满足

自反性
对称性
传递性

Smith标准形

对任意非零 $\lambda$ 矩阵 $A(\lambda)$ 都等价于一个“对角矩阵”
$A(\lambda)\simeq \begin{bmatrix} d_{1}(\lambda) & & & & & \\ & \ddots & & & & \\ & & d_{r}(\lambda) & & & \\ & & & 0 & & \\ & & & & \ddots & \\ & & & & &0 \end{bmatrix}$
其中 $\ge 1$ ， $d_{i}(\lambda)$ 首项系数为 $1$ ，且 $d_{i}(\lambda)|d_{i+1}(\lambda)$
这种形式的 $\lambda$ 矩阵称Smith标准形
$d_{1}(\lambda),...,d_{r}(\lambda)$ 称 $A(\lambda)$ 不变因子

唯一性

$A(\lambda)$ 为 $\lambda$ 矩阵且 $rank(A(\lambda))=r$ 对于任意正整数 $\le k \le r$ ， $A(\lambda)$ 必有非零的 $k$ 阶子式， $A(\lambda)$ 的全部 $k$ 阶子式的首项系数为 $1$ 的最大公因式 $D_{k}(\lambda)$ 称为 $A(\lambda)$ 的 $k$ 阶行列式因子

显然，若 $rank(A(\lambda))=r$ ，则行列式因子共有 $r$ 个

等价的 $\lambda$ 矩阵有相同的各阶行列式因子，从而有相同的秩

$\lambda$ 矩阵 $A(\lambda)$ 的Smith标准形是唯一的

标准形的各阶行列式因子为
$D_{1}(\lambda)=d_{1}(\lambda)\\ D_{2}(\lambda)=d_{1}(\lambda)d_{2}(\lambda)\\ \vdots\\ D_{r}(\lambda)=d_{1}(\lambda)d_{2}(\lambda)\cdots d_{r}(\lambda)\\$
从而有
$d_{1}(\lambda)=D_{1}(\lambda)\\ d_{2}(\lambda)=\frac{D_{2}(\lambda)}{D_{1}(\lambda)}\\ \vdots\\ d_{r}(\lambda)=\frac{D_{r}(\lambda)}{D_{r-1}(\lambda)}\\$
由于 $A(\lambda)$ 与上面Smith标准形具有相同各阶行列式因子
所以 $A(\lambda)$ 的各阶行列式因子为 $D_{1}(\lambda),...,D_{r}(\lambda)$

给定 $A(\lambda)$ 各行列式因子已经确定

从而不变因子
$d_{1}(\lambda),...,d_{r}(\lambda)$
由行列式因子唯一确定， $A(\lambda)$ 的Smith标准形是唯一的

等价

$\lambda$ 矩阵 $A(\lambda)$ 与 $B(\lambda)$ 等价的充要条件为它们各阶行列式因子相同
$\lambda$ 矩阵 $A(\lambda)$ 与 $B(\lambda)$ 等价的充要条件为它们有相同不变因子

初等因子

设 $\lambda$ 矩阵 $A(\lambda)$ 不变因子为 $d_{1}(\lambda),...,d_{r}(\lambda)$ ，在复数域内将它们分解为一次因式的幂乘积
$d_{1}(\lambda)=(\lambda-\lambda_{1})^{e_{11}}(\lambda-\lambda_{1})^{e_{12}}...(\lambda-\lambda_{1})^{e_{1s}}\\ d_{2}(\lambda)=(\lambda-\lambda_{1})^{e_{21}}(\lambda-\lambda_{1})^{e_{22}}...(\lambda-\lambda_{1})^{e_{2s}}\\ \vdots\\ d_{r}(\lambda)=(\lambda-\lambda_{1})^{e_{r1}}(\lambda-\lambda_{1})^{e_{r2}}...(\lambda-\lambda_{1})^{e_{rs}}\\$
其中 $\lambda_{1},...,\lambda_{s}$ 为互异复数， $e_{ij}$ 为非负整数，所有指数大于零的因子 $(\lambda-\lambda_{j})^{e_{ij}},e_{ij}>0,i=1...r,j=1...s$ 称 $A(\lambda)$ 初等因子
且有
$0\le e_{11}\le e_{21}\le ...\le e_{r1}\\ 0\le e_{12}\le e_{22}\le ...\le e_{r2}\\ \vdots\\ 0\le e_{1s}\le e_{2s}\le ...\le e_{rs}\\$
$\lambda$ 矩阵 $A(\lambda)$ 和 $B(\lambda)$ 等价的充要条件是相同的秩和初等因子

若 $\lambda$ 矩阵
$A(\lambda)= \begin{bmatrix} A_{1}(\lambda) & & & \\ & A_{1}(\lambda) & & \\ & & \ddots & \\ & & & A_{t}(\lambda) \end{bmatrix}$
则 $A_{1}(\lambda),...,A_{t}(\lambda)$ 各个初等因子全体为 $A(\lambda)$ 全部初等因子

$\lambda$ 矩阵
$A(\lambda)= \begin{bmatrix} f_{1}(\lambda) & & & & & \\ & \ddots & & & & \\ & & f_{t}(\lambda) & & & \\ & & & 0 & & \\ & & & & \ddots & \\ & & & & & 0 \end{bmatrix}$
则 $f_{1}(\lambda),...,f_{t}(\lambda)$ 所有一次因式幂全体为 $A(\lambda)$ 的全部初等因子

数字矩阵相似

对于数字矩阵 $A$ ，我们称 $\lambda I-A$ 行列式因子 / 不变因子为 $A$ 行列式因子 / 不变因子，称 $\lambda I-A$ 的初等因子为 $A$ 的初等因子

设 $A, B$ 为两个 $n$ 阶数字矩阵，那么 $A$ 与 $B$ 相似的充要条件为它们特征矩阵 $\lambda I-A$ 与 $\lambda I-B$ 等价

对任意数字矩阵 $A$ ， $|\lambda I-A|\neq0$ 则
$rank(\lambda I-A)=n$

两个同阶方阵 $A, B$ 相似充要条件为它们有相同初等因子
两个同阶方阵 $A, B$ 相似充要条件为它们有相同行列式因子 / 不变因子

方阵若尔当标准形

称 $n_{i}$ 阶矩阵
$J_{i}= \begin{bmatrix} a_{i} & 1 & & & \\ & a_{i} & 1 & & \\ & & \ddots & \ddots & \\ & & & \ddots & 1\\ & & & & a_{i} \end{bmatrix}$
为Jordan块
$(\lambda I-J_{i})$ 行列式因子为
$D_{n_{i}}(\lambda)=(\lambda-a_{i})^{n_{i}}\\ D_{n_{i}-1}(\lambda)=...=D_{1}(\lambda)=1$
所以 $J_{i}$ 初等因子为 $(\lambda-a_{i})^{n_{i}}$

若 $J_{1}...J_{s}$ 都为Jordan块，则称准对角矩阵
$\begin{bmatrix} J_{1} & & & \\ & J_{2} & & \\ & & \ddots & \\ & & & J_{s} \end{bmatrix}$
为Jordan标准型
$J$ 的初等因子为 $(\lambda-a_{1})^{n_{1}},(\lambda-a_{2})^{n_{2}},...,(\lambda-a_{s})^{n_{s}}$

设 $A$ 为 $n$ 阶方阵，初等因子为
$(\lambda-a_{1})^{n_{1}},...,(\lambda-a_{s})^{n_{s}}$
则 $A\sim J=diag(J_{1},...,J_{S})$

Jordan块排序不重要

$n$ 阶矩阵 $A$ 可对角化的充要条件为 $A$ 的初等因子都为一次因式

相似变换矩阵

设 $n$ 阶方阵 $A$ 的Jordan标准形为 $J$ ，则存在可逆矩阵 $P$ 使得 $P^{-1}AP=J$ ，称 $P$ 为相似变换矩阵

性质

每个Jordan块 $J_{i}$ 对应属于 $\lambda_{i}$ 的一个特征向量
对于给定 $\lambda_{i}$ 对应的Jordan块个数等于 $\lambda_{i}$ 的几何重数
特征值 $\lambda_{i}$ 对应全体Jordan块阶数之和等于 $\lambda_{i}$ 代数重复度
设 $n$ 阶方阵 $A$ 相似于Jordan标准形 $J$ ，且 $P^{-1}AP=J$ ，则
$rank(\lambda_{i}E-A)^{l}=rankP^{-1}(\lambda_{i}E-A)^{l}P=rank(P^{-1}(\lambda_{i}E-A)P)^{l}=rank(\lambda_{i}E-J)^{l}\\ l=1,2,...$
对于 $n_{i}$ 阶的Jordan块 $J_{i}$ ， $(J_{i}-\lambda_{i}E)^{l}$ 的秩变化如下
$rank(J_{i}-\lambda_{i}E)=n_{i}-1,\\ rank(J_{i}-\lambda_{i}E)^{2}=n_{i}-2,\\ \vdots\\ rank(J_{i}-\lambda_{i}E)^{n_{i}-1}=1,\\ rank(J_{i}-\lambda_{i}E)^{h}=0,(h \ge n_{i})$
若 $\lambda_{j}\neq \lambda_{i}$ ，则
$rank(J_{j}-\lambda_{i}E)^{l}=n_{j},(l=1,2,...)$
即随着 $l$ 增大，影响 $rank(J-\lambda_{i}E)^{l}$ 的只有 $\lambda_{i}$ 对应Jordan块

Jordan标准型另一种求法

对 $n$ 阶矩阵 $A$ ，若
$rank(\lambda_{i}I-A)=s_{1},\\ rank(\lambda_{i}I-A)^{2}=s_{2},\\ \vdots\\ rank(\lambda_{i}I-A)^{l}=s_{l},\\ rank(\lambda_{i}I-A)^{l+1}=s_{l}$
则对于 $A$ 的特征根 $\lambda=\lambda_{i}$ ，共有 $n-s_{1}$ 个Jordan块，其中阶数最高为 $l$ ，阶数 $\ge 2$ 的Jordan块有 $s_{1}-s_{2}$ 个，阶数 $\ge 3$ 的Jordan块有 $s_{2}-s_{3}$ 个，…， $l$ 阶的有 $s_{l-1}-s_{l}$ 个

巴川笑笑生

关注

1
点赞
踩
4

收藏

觉得还不错? 一键收藏
0
评论
矩阵分析笔记（二）

λ\lambdaλ矩阵设aij(λ)(i=1...m,j=1...n)a_{ij}(\lambda)(i=1...m,j=1...n)aij(λ)(i=1...m,j=1...n)为数域FFF上多项式，则称A(λ)=[a11(λ)a12(λ)⋯a1n(λ)a21(λ)a22(λ)⋯a2n(λ)⋮⋮⋱⋮am1(λ)am2(λ)⋯amn(λ)]A(\lambda)=\begin{bmatrix} a_{11}(\lambda) & a_{12}(\lambda) & \cdots &
复制链接

扫一扫