本篇文章适合个人复习翻阅,不建议新手入门使用
多项式矩阵
基本定义和性质
定义:多项式矩阵( λ \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 λ 阵之积
参考书:《高等代数学》谢启鸿 姚慕生 吴泉水 编著