线性代数-矩阵基础 2
继续线性代数矩阵部分的笔记。
矩阵的初等变换与分块运算
**定义**【初等变换】 以下三种对矩阵的操作, 每一种都称为对矩阵的进行的一次 **初等变换**. - 将矩阵的一行(列)与另一行(列)交换位置; - 将矩阵的某一行乘以一个非零倍数; - 将矩阵的一行(列)加到另一行(列)上去.
由单位矩阵经过一次初等变换得到的矩阵称为初等矩阵. 关于初等矩阵有以下性质:
**定理** 初等矩阵均可逆.
**定理** 对一个s×ns×n的矩阵AA做一次初等行变换, 相当于AA左乘一个s×ss×s初等矩阵; 做一次初等列变换, 相当于AA右乘一个n×nn×n初等矩阵.
下面引入矩阵的分块.
**定义** 对矩阵A=(aij)m×nA=(aij)m×n, 设想从AA的某些行和列之间入一些直线, 将AA分割成许多子矩阵,比如这样 A=(12 3 4567|8|910ab|c|de−−−−|−−|−−−−fg|h|ij01 2 34)A=⎛⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜⎝12 3 4567|8|910ab|c|de−−−−|−−|−−−−fg|h|ij01 2 34⎞⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟⎠ 这些分割出的子矩阵皆由相邻的行列元素组成, 称为AA的**(block)**.这样对AA的分割称为**对AA分块**.用符号分别表示些块, 比如上面的例子就可以表示为: A=(A11A12A13A21A22A23)A=(A11A12A13A21A22A23) 其中AijAij就是第ii行第jj列的块.那么AA就表示为了由块成的矩阵, 称为**分块矩阵**.
现在可以类似的定义分块矩阵的初等变换以及广义初等矩阵了.
**定义** 以下五种类型的矩阵, 统称为广义初等矩阵. (0InIm0),(A00In),(Im00In),(Im00B),(Im0DIn)(0InIm0),(A00In),(Im00In),(Im00B),(Im0DIn) 其中, A,BA,B 分别为 mm 阶与 nn 阶的可逆矩阵, C,DC,D 分别m×nm×n 和 n×mn×m 矩阵.
广义初等矩阵具有与初等矩阵类似的性质:
- 对于分块矩阵,左乘一个广义初等矩阵,相当于做一次初等行变换;右乘一个广义初等矩阵,相当于做一次初等列变换,而这样的行列变换就称为分块矩阵的初等变换;
- 广义初等矩阵均可逆.
分块矩阵的乘法与初等变换结合是矩阵运算中的重要方法.下面举几个例子:
【例】
利用分块矩阵证明: |AB|=|A||B||AB|=|A||B|, 其中A,BA,B均为nn阶方阵.
【证明】
构造分块矩阵
(A0−IB)(A0−IB)
这个分块矩阵做初等变换
(A0−IB)(IB0I)=(AAB−I0)(A0−IB)(IB0I)=(AAB−I0)
而初等变换不改变行列式的值,利用行列式的 Laplace 定理展开就有
|A||B|=|AB|(−1)1+2+⋯+2n|−I|=|AB|.|A||B|=|AB|(−1)1+2+⋯+2n|−I|=|AB|.
注: 再详细点说, 在分块矩阵处理中, 每个分块可以当成个”矩元素”来处理.上面左乘初等矩阵,其实和下面是一个意:
(A0−IB)二行A→加到第一行(A+(−A)AB−IB)=(0AB−I0).(A0−IB)二行A−−−−→加到第一行(A+(−A)AB−IB)=(0AB−I0).
然后利用行列式的Laplace定理(特殊的一个形式也就是代数余式开)展开得到一样的结果.但为什么这里要用乘一个初等阵的方式呢, 注意看前面的定义1.4, 这个题中特殊的一点是 ABAB 恰好都是 nn 阶. 要知道, 同阶的情况下才可以做矩阵的加法,否则就不可以这样做了.
【例】
设A,B,C,DA,B,C,D均为nn阶方阵,且AC=CAAC=CA. 求证
|ABCD|=|AD−CB|.∣∣∣ABCD∣∣∣=|AD−CB|.
【证明】
分情况讨论.
1) 若AA为可逆矩阵,由AC=CAAC=CA可得CA−1=A−1CCA−1=A−1C. 那么
(I0−CA−1I)(ABCD)=(AB0D−CA−1B).(I0−CA−1I)(ABCD)=(AB0D−CA−1B).
两边取行列式,可得原行列式等于|A||D−CA−1B||A||D−CA−1B|,由上一题的果,就有|AD−ACA−1B|=|AD−CB||AD−ACA−1B|=|AD−CB|.
注: 这里也同上一题一样, 因为A,B,C,DA,B,C,D是同阶的, 也以这写
(ABCD)1行左−CA−1→加到第2行(AB0D−CA−1B).(ABCD)1行左−CA−1−−−−−−→加到第2行(AB0D−CA−1B).
2) 若AA不可逆,我们利用这样一个结果:定义在域FF上的阵AA不可逆, 但在域 FF 中存在无穷多个 λλ, 使 λI+AλI+A 可逆. 又由AC=CAAC=CA 可得 C(λI+A)−1=(λI+A)−1CC(λI+A)−1=(λI+A)−1C. 利用1)的结果,得到
|λI+ABCD|=|(λI+A)D−CB|.∣∣∣λI+ABCD∣∣∣=|(λI+A)D−CB|.
将λλ替换为变量xx,等式两边均为不超过nn次的多式函数而它们在无穷多个点λλ处相等,这说明两个多式函数在域FF上相等(两者是同一个函数).那么我们取x=0x=0得到了想要的结果.
NOTE: 对于上面的例题中提到的几个结果,这里做出说明.设 AA 为定义在域 FF 上的 nn 阶方阵,显然 |xI+A||xI+A| 是域 FF 上的 nn 次多项式(一个矩阵的对应的行列式展开其实就是一个多项式). 由代数学基本定理,域 FF 任意一个 nn 次多项式最多有 nn 个不同的根.对应于矩阵, 也就是说,最多有 nn 个值使得 xI+AxI+A不可逆. 这种将不可逆矩阵转化为可逆矩阵的思想, 在矩阵论和解题中常常用到.在后面也会反复提到.
未找到相关的 Issues 进行评论
请联系 @zengfk 初始化创建