本篇文章适合个人复习翻阅,不建议新手入门使用
多项式矩阵
基本定义和性质
定义:多项式矩阵(
λ
\lambda
λ 阵)
形如以下的矩阵
(
a
11
(
λ
)
a
12
λ
⋯
a
1
n
(
λ
)
a
21
(
λ
)
a
22
λ
⋯
a
2
n
(
λ
)
⋮
⋮
⋮
a
m
1
(
λ
)
a
m
2
λ
⋯
a
m
n
(
λ
)
)
\begin{pmatrix} a_{11}(\lambda)&a_{12}\lambda&\cdots&a_{1n}(\lambda)\\ a_{21}(\lambda)&a_{22}\lambda&\cdots&a_{2n}(\lambda)\\ \vdots&\vdots&&\vdots\\ a_{m1}(\lambda)&a_{m2}\lambda&\cdots&a_{mn}(\lambda)\\ \end{pmatrix}
a11(λ)a21(λ)⋮am1(λ)a12λa22λ⋮am2λ⋯⋯⋯a1n(λ)a2n(λ)⋮amn(λ)
称为多项式矩阵,或称 λ \lambda λ 矩阵,记为 A ( λ ) A(\lambda) A(λ),其中 a i j ( λ ) a_{ij}(\lambda) aij(λ) 是以 λ \lambda λ 为未定元的数域 K \mathbb{K} K 上的多项式
定义:多项式矩阵的初等变换
初等行(列)变换
- 将 A ( λ ) A(\lambda) A(λ) 的两行(列)对换
- 将 A ( λ ) A(\lambda) A(λ) 的第 i i i 行(列)乘以非零常数 c ∈ K c\in\mathbb{K} c∈K
- 将 A ( λ ) A(\lambda) A(λ) 的第 i i i 行(列)乘以 K \mathbb{K} K 上的多项式 f ( λ ) f(\lambda) f(λ) 后加到第 j j j 行(列)
定义:相抵
若
A
(
λ
)
,
B
(
λ
)
A(\lambda),B(\lambda)
A(λ),B(λ) 是同阶
λ
\lambda
λ 阵且
A
(
λ
)
A(\lambda)
A(λ) 经
λ
\lambda
λ 阵的初等变换后可变为
B
(
λ
)
B(\lambda)
B(λ),则称
A
(
λ
)
A(\lambda)
A(λ) 与
B
(
λ
)
B(\lambda)
B(λ) 相抵
定义:初等 λ \lambda λ 阵
- 将 n n n 阶单位阵的第 i i i 行与第 j j j 行对换,记为 P i j P_{ij} Pij
- 将 n n n 阶单位阵的第 i i i 行乘以非零常数 c ∈ K c\in\mathbb{K} c∈K,记为 P i ( c ) P_i(c) Pi(c)
- 将 n n n 阶单位阵的第 i i i 行乘以多项式 f ( λ ) f(\lambda) f(λ) 后加到第 j j j 行上去得到的矩阵,记为 T i j ( f ( λ ) ) T_{ij}(f(\lambda)) Tij(f(λ))
命题
对
λ
\lambda
λ 阵
A
(
λ
)
A(\lambda)
A(λ) 施加第1,2,3类初等行(列)变换等效于用第1,2,3类初等
λ
\lambda
λ 阵左(右)乘
A
(
λ
)
A(\lambda)
A(λ)
定义:可逆
λ
\lambda
λ 阵
若
A
(
λ
)
,
B
(
λ
)
A(\lambda),B(\lambda)
A(λ),B(λ) 都是
n
n
n 阶
λ
\lambda
λ 阵,且
A
(
λ
)
B
(
λ
)
=
B
(
λ
)
A
(
λ
)
=
I
n
A(\lambda)B(\lambda)=B(\lambda)A(\lambda)=I_n
A(λ)B(λ)=B(λ)A(λ)=In
则称 B ( λ ) B(\lambda) B(λ) 是 A ( λ ) A(\lambda) A(λ) 的逆 λ \lambda λ 阵
性质
- 有限个可逆 λ \lambda λ 阵之积仍为可逆 λ \lambda λ 阵
- 初等 λ \lambda λ 阵必为可逆 λ \lambda λ 阵
相抵标准型
命题:
λ
\lambda
λ 阵的带余除法
设
M
(
λ
)
,
N
(
λ
)
M(\lambda),N(\lambda)
M(λ),N(λ) 是两个
n
n
n 阶
λ
\lambda
λ 阵且不为零,又设
B
B
B 为
n
n
n 阶数字矩阵,则必存在
λ
\lambda
λ 阵
Q
(
λ
)
,
S
(
λ
)
Q(\lambda),S(\lambda)
Q(λ),S(λ) 和数字矩阵
R
,
T
R,T
R,T,使得
M
(
λ
)
=
(
λ
I
−
B
)
Q
(
λ
)
+
R
M(\lambda)=(\lambda I-B)Q(\lambda)+R
M(λ)=(λI−B)Q(λ)+R
N ( λ ) = S ( λ ) ( λ I − B ) + T N(\lambda)=S(\lambda)(\lambda I-B)+T N(λ)=S(λ)(λI−B)+T
定理
设数域
K
\mathbb{K}
K 上的矩阵
A
,
B
A,B
A,B,则
A
,
B
A,B
A,B 相似当且仅当
λ
\lambda
λ 阵
λ
I
−
A
\lambda I-A
λI−A 与
λ
I
−
B
\lambda I-B
λI−B 相抵
证明
必要性易证,考虑充分性,设存在
M
(
λ
)
,
N
(
λ
)
M(\lambda),N(\lambda)
M(λ),N(λ),使得
M
(
λ
)
(
λ
I
−
A
)
N
(
λ
)
=
λ
I
−
B
M(\lambda)(\lambda I-A)N(\lambda)=\lambda I-B
M(λ)(λI−A)N(λ)=λI−B
由带余除法
M
(
λ
)
=
(
λ
I
−
B
)
Q
(
λ
)
+
R
M(\lambda)=(\lambda I-B)Q(\lambda)+R
M(λ)=(λI−B)Q(λ)+R
整理得
R
(
λ
I
−
A
)
=
(
λ
I
−
B
)
[
N
(
λ
)
−
1
−
Q
(
λ
)
(
λ
I
−
A
)
]
R(\lambda I-A)=(\lambda I-B)[N(\lambda)^{-1}-Q(\lambda)(\lambda I-A)]
R(λI−A)=(λI−B)[N(λ)−1−Q(λ)(λI−A)]
比较两端关于 λ \lambda λ 的多项式次数,可得 P ≜ N ( λ ) − 1 − Q ( λ ) ( λ I − A ) P\triangleq N(\lambda)^{-1}-Q(\lambda)(\lambda I-A) P≜N(λ)−1−Q(λ)(λI−A) 是常数矩阵
再次整理得
(
R
−
P
)
λ
=
R
A
−
B
P
(R-P)\lambda=RA-BP
(R−P)λ=RA−BP
比较次数得
R
=
P
,
R
A
=
B
P
R=P,RA=BP
R=P,RA=BP,只需证
P
P
P 是一个非异阵,由于
P
N
(
λ
)
+
Q
(
λ
)
(
λ
I
−
A
)
N
(
λ
)
=
I
PN(\lambda)+Q(\lambda)(\lambda I-A)N(\lambda)=I
PN(λ)+Q(λ)(λI−A)N(λ)=I
但 ( λ I − A ) N ( λ ) = M ( λ ) − 1 ( λ I − B ) (\lambda I-A)N(\lambda)=M(\lambda)^{-1}(\lambda I-B) (λI−A)N(λ)=M(λ)−1(λI−B)
因此
P
N
(
λ
)
+
Q
(
λ
)
M
(
λ
)
−
1
(
λ
I
−
B
)
=
I
PN(\lambda)+Q(\lambda)M(\lambda)^{-1}(\lambda I-B)=I
PN(λ)+Q(λ)M(λ)−1(λI−B)=I
由带余除法 N ( λ ) = S ( λ ) ( λ I − B ) + T N(\lambda)=S(\lambda)(\lambda I-B)+T N(λ)=S(λ)(λI−B)+T
得
[
P
S
(
λ
)
+
Q
(
λ
)
M
(
λ
)
−
1
]
(
λ
I
−
B
)
=
I
−
P
T
[PS(\lambda)+Q(\lambda)M(\lambda)^{-1}](\lambda I-B)=I-PT
[PS(λ)+Q(λ)M(λ)−1](λI−B)=I−PT
上式右侧是次数小于等于零得矩阵多项式,故左边括号内的矩阵多项式必须为零,从而 P T = I PT=I PT=I,即 P P P 是非异阵
引理
设
A
(
λ
)
=
(
a
i
j
(
λ
)
)
m
×
n
A(\lambda)=(a_{ij}(\lambda))_{m\times n}
A(λ)=(aij(λ))m×n 是任意非零
λ
\lambda
λ 阵,则
A
(
λ
)
A(\lambda)
A(λ) 必相抵于如下的
λ
\lambda
λ 阵
B
(
λ
)
=
(
b
i
j
(
λ
)
)
m
×
n
B(\lambda)=(b_{ij}(\lambda))_{m\times n}
B(λ)=(bij(λ))m×n,其中
b
11
(
λ
)
≠
0
b_{11}(\lambda)\neq 0
b11(λ)=0,且
b
11
(
λ
)
b_{11}(\lambda)
b11(λ) 可整除
B
(
λ
)
B(\lambda)
B(λ) 中的任意元素
定理:
λ
\lambda
λ 阵的相抵标准型
设
n
n
n 阶
λ
\lambda
λ 阵
A
(
λ
)
A(\lambda)
A(λ),则
A
(
λ
)
A(\lambda)
A(λ) 相抵于对角阵
d
i
a
g
{
d
1
(
λ
)
,
d
2
(
λ
)
,
…
,
d
r
(
λ
)
,
0
,
…
,
0
}
diag \{d_1(\lambda),d_2(\lambda),\dots,d_r(\lambda),0,\dots,0\}
diag{d1(λ),d2(λ),…,dr(λ),0,…,0}
其中 d i ( λ ) d_i(\lambda) di(λ) 是非零首一多项式且 d i ( λ ) ∣ d i + 1 ( λ ) , i = 1 , 2 , … , r − 1 d_i(\lambda)\mid d_{i+1}(\lambda),i=1,2,\dots,r-1 di(λ)∣di+1(λ),i=1,2,…,r−1
注:
- 对长方形 λ \lambda λ 阵,结论和证明也类似
- 称上述定理中的 r r r 为 A ( λ ) A(\lambda) A(λ) 的秩
推论
任意
n
n
n 阶可逆
λ
\lambda
λ 阵均可表示为有限个初等
λ
\lambda
λ 阵之积
参考书:《高等代数学》谢启鸿 姚慕生 吴泉水 编著