第四章 矩阵
本章包含矩阵运算、可逆矩阵、矩阵的秩及初等变换相关的基础定理。
定义4.1 矩阵的运算
设 n}B = (b_{ij})_{s \times n}Pk \in P$。
加法:。
数乘:。
乘法:设 ,,则 ,其中 。
定义4.2 可逆矩阵
设 是数域 上的 阶方阵。如果存在 阶方阵 ,使得
则称 为可逆矩阵(或非奇异矩阵), 称为 的逆矩阵,记为 。若 ,则称 为奇异矩阵。
定义4.3 伴随矩阵
设 是 阶方阵, 是 的代数余子式。称矩阵
为 的伴随矩阵。
定义4.4 初等矩阵
由单位矩阵经过一次初等变换得到的矩阵称为初等矩阵。三种初等变换对应三种初等矩阵:
(1)换法矩阵 :交换单位矩阵的第 行和第 行。
(2)倍法矩阵 ():将单位矩阵第 行乘以非零常数 。
(3)消法矩阵 :将单位矩阵第 行的 倍加到第 行。
定义4.5 矩阵等价
如果矩阵 可以经过有限次初等变换化为矩阵 ,则称 与 等价,记为 。
定义4.6 分块矩阵
将一个矩阵用若干条横线和纵线分成若干个小矩阵(称为子块),以子块为元素的形式上的矩阵称为分块矩阵。
定理4.1 矩阵乘积的行列式
设 是数域 上的两个 矩阵,那么
证
由定理2.7(行列式乘积公式),两个 阶行列式的乘积等于对应矩阵乘积的行列式,即 。
证毕
定理4.2 矩阵乘积的秩
设 是数域 上 矩阵, 是数域 上 矩阵,于是
证
秩 秩: 的第 列为 乘以 的第 列,即 的每一列都是 的列向量的线性组合。因此 的列空间包含于 的列空间中,故秩 秩。
秩 秩: 的第 行为 的第 行乘以 ,即 的每一行都是 的行向量的线性组合。因此 的行空间包含于 的行空间中,故秩 秩。
综合两方面,秩秩, 秩。
证毕
定理4.3 可逆矩阵的充要条件
矩阵 是可逆的充分必要条件是 非退化,而
证
必要性:若 可逆,则存在 使 。由定理4.1,,故 ,即 非退化。
充分性:若 ,由定理2.3(行列式按行展开),对任意 :
即 ,其中 是 的伴随矩阵( 的第 行第 列元素为 )。
因此 ,同理 。故 。
证毕
定理4.4 可逆矩阵乘积的秩
是一个 矩阵,如果 是 可逆矩阵, 是 可逆矩阵,那么
证
由定理4.2,秩 秩。又 ,故秩 秩。因此秩 秩。
同理,秩 秩,且 ,故秩 秩。因此秩 秩。
证毕
定理4.5 矩阵的等价标准形
任意一个 矩阵 都与一形式为
的矩阵等价,其中对角线上1的个数等于 的秩。
证
设秩。对 做初等行变换和初等列变换:
第一步:若 ,则 ,标准形为零矩阵,结论成立。
若 ,必有某个 。通过行交换和列交换将 移到左上角 位置。用第一行的适当倍数加到其他行,使第一列除 外全为零;再用第一列的适当倍数加到其他列,使第一行除 外全为零。最后用第一行乘以 ,使 位置变为1。
此时矩阵变为 ,其中 是 矩阵。
第二步:对 重复上述过程,将 位置变为1,其余位置消为零。
继续:重复 次后,得到 。若还能继续,说明秩 ,矛盾。因此对角线上1的个数恰好为 。
由于初等变换对应乘以初等矩阵, 与标准形等价。
证毕
定理4.6 可逆矩阵与初等矩阵
阶矩阵 为可逆的充分必要条件是它能表成一些初等矩阵的乘积。
推论1:两个 矩阵 等价的充分必要条件是存在可逆的 矩阵 与可逆的 矩阵 ,使 。
推论2:两个 矩阵等价的充分必要条件是它们有相同的秩。
证
必要性:若 可逆,则 ,秩。由定理4.5, 等价于 ,即 可经初等变换化为 。每步初等变换对应左乘或右乘一个初等矩阵,故存在初等矩阵 使
因此
初等矩阵的逆仍是初等矩阵,故 是初等矩阵的乘积。
充分性:若 ,其中每个 是初等矩阵,则 (初等矩阵的行列式不为零),故 可逆。
推论1的证明: 与 等价 可经初等变换化为 存在初等矩阵使 存在可逆矩阵 , 使 ,即 ,令 ,,则 。
推论2的证明: 与 等价 它们有相同的标准形 它们有相同的秩。
证毕