线性代数及其应用 第二章
第 2 章 矩阵代数
2.1 矩阵运算
若
和与标量乘法
定理 1
设
是相同维数的矩阵, 和 为数,则有
为证明这些,只需看左右两边的每列是否分别相同即可。
矩阵乘法
当矩阵
于是
若
由乘以
向量
于是乘以矩阵
定义
若 是 矩阵, 是 矩阵, 的列是 ,则乘积 是 矩阵,它的各列是 ,即
由
的每一列都是 的各列的线性组合,以 的对应列的元素为权。
为使线性组合
计算
的行列法则 若乘积
有定义,则 的第 行第 列的元素是 的第 行与 的第 列对应元素乘积之和。若 表示 的 元素, 为 矩阵,则
若我们需要求
假设
矩阵 的所有行相同, 矩阵 的所有列相同。 中的元素是怎样的?
有
于是
的各列相同,又 于是
的各行相同,可知 的各元素相同。
矩阵乘法的性质
定理 2
设
为 矩阵, 和 的维数使下列各式的乘积由定义。
(乘法结合律)
(乘法左分配律)
(乘法右分配律)
, 为任意数
(矩阵乘法的恒等式)
关于
的证明略去。 对于
,由于矩阵乘法对应于线性变换的复合,而函数的复合是可结合的,可得该性质。 基于矩阵乘积的“列定义”的证明:设
由矩阵乘法定义
又
: 得证。
注意:
-
一般情况下,
。 -
消去律对矩阵乘法不成立,即若
,一般情况下 并不成立。 -
若乘积
是零矩阵,一般情况下,不能断定 或 。
矩阵的乘幂
若
若
矩阵的转置
给定
例如有
那么
定理 3
设
与 表示矩阵,其维数使下列和与积有定义,则
。
。
对任意数 , 。
。
矩阵的乘积的转置等于它们的转置的乘积,但相乘的顺序相反。
2.2 矩阵的逆
一个
其中
不可逆矩阵有时称为奇异矩阵,而可逆矩阵也称为非奇异矩阵。
能不能说一个
矩阵 是可逆的,如果存在 矩阵 使 且 ?事实上我们能推出 是方阵,且 ,因此 是可逆的定义同上。 设
,对于方程 ,可知 ,于是该方程只有平凡解。 的列数不可以多于行数,否则会出现自由变量。 设
, ,对于方程 ,有 ,于是 可作为方程的一解。故对于任意 ,方程 有解。 的行数不可以多于列数,否则 的各列不能生成 。 于是我们得到
,即 为方阵。又 ,那么 。
定理 4
设
。若 ,则 可逆且 若
,则 不可逆。
若
,有 ,于是 的公式是正确的。 只需证明
时 不可逆。 若
,这与前面推知的“若 ,则 ,方程 有解”矛盾。 若
不全为 ,这说明 的两个列向量共线,这与前面推知的“若 ,则方程 只有平凡解”矛盾。 得证。
定理 4 说明
定理 5
若
是可逆 矩阵,则对 中的每一 ,方程 有唯一解 。
取
中任意 ,方程 有解,这是因为若以 代替 ,有 ,所以 是解。为证明解是唯一的,只需证明若 是任意一个解,则 必为 。 若
,那么 证毕。
定理 6
若 是可逆矩阵,则 也可逆而且 。
若 和 都是 可逆矩阵,则 也可逆,且其逆是 和 的逆矩阵按相反顺序的乘积,即
若 可逆,则 也可逆,且其逆是 的转置,即 。
证明
,即寻找矩阵 使 显然
满足这些方程,故 可逆且 是它的逆。 证明
,有 类似地有
,因此 可逆且其逆为 。 证明
,利用定理 3d,有 ,类似地有 ,因此 可逆且其逆为 。
我们推广定理 6b:
若干个
可逆矩阵的积也是可逆的,其逆等于这些矩阵的逆按相反顺序的乘积。
在可逆矩阵与矩阵的行变换之间有一种重要的联系,它引出了计算逆矩阵的一种方法。可以看到,可逆矩阵行等价于单位矩阵,而我们可通过观察
初等矩阵
把单位矩阵进行一次初等行变换,就得到初等矩阵。
设
计算
,说明它们均可由 进行初等行变换得到。
有
于是我们很容易说明题目的结论。
对于任意
若对
矩阵 进行某种初等行变换,所得矩阵可写成 ,其中 是 矩阵,是由 进行同一行变换所得。
由于行变换可逆,所以初等矩阵也可逆。若
每个初等矩阵
是可逆的, 的逆是一个同类型的初等矩阵,它把 变回 。
求
的逆。
为把
变成 ,把第 行的 倍加到第 行,这相应于初等矩阵
定理 7
矩阵 是可逆的,当且仅当 行等价于 ,这时,把 化简为 的一系列初等行变换同时把 变成 。
设
为可逆矩阵,则对任意 ,方程 有解, 在每一行有一个主元位置。又 为方阵,这 个主元位置在对角线上,那么 。 反正,若
,由于每步行化简对应于左乘一个初等矩阵,存在初等矩阵 使 即
有
可知
这说明
可由依次以 作用于 得到。 得证。
求 的算法
求
的算法 把增广矩阵
进行行化简。若 行等价于 ,则 行等价于 ,否则 没有逆。
有关逆矩阵的另一个观点
用
我们可知
数值计算
在实际应用中很少计算
2.3 可逆矩阵的特征
定理 8(可逆矩阵定理)
设
为 矩阵,则下列命题是等价的:
是可逆矩阵。
行等价于 单位矩阵。
有 个主元位置。
方程 仅有平凡解。
的各列线性无关。
线性变换 是一对一的。
对 中任意 ,方程 至少有一个解。
的各列生成 。
线性变换 把 映射到 上。
存在 矩阵 使 。
存在 矩阵 使 。
是可逆矩阵。
若命题
结合所学,有
, , , , , 。 得证。
易知如下事实:
设
和 为方阵,若 ,则 和 都是可逆的,且 , 。
可逆矩阵定理将所有
可逆线性变换
线性变换
记为
定理 9
设
为线性变换, 为 的标准矩阵。则 可逆当且仅当 是可逆矩阵。这时由 定义的线性变换 是满足 式和 式的唯一函数。
设
是可逆的,则 式说明 是从 映射到 上的映射,因若 , ,则 ,所以每个 属于 的值域。由可逆矩阵定理命题 , 为可逆的。 反之,若
是可逆的,令 ,则 是线性变换且满足 式和 式,于是 是可逆的。 得证。
2.4 分块矩阵
对于矩阵
它的元素是分块(或子矩阵)
加法与标量乘法
这和一般矩阵是相同的。不过加法成立需要矩阵
分块矩阵的乘法
分块矩阵可用通常的行列法则进行乘法运算,即我们将分块视为数运算。对于乘积
若
那么
注意小乘积中必须将
我们在前面已经有四种关于矩阵乘积的观点:
这里提到了内积和外积的概念。
我们将
中向量视为 矩阵,对 ,矩阵乘积 是 矩阵,称为 和 的数量积或内积,它通常写作实数而省略括号。矩阵乘积 是 矩阵,称为 和 的外积。
设
, ,验证
上面的每一项都是外积,有
于是
这个矩阵恰好就是
。 的 元素是三个外积的 元素之和。
定理 10(
的列行展开) 若
是 矩阵, 是 矩阵,则
分块矩阵的逆
形如
的矩阵称为分块上三角矩阵。设 为 矩阵, 为 矩阵,且 可逆,求 。
用
表示 且把 分块,使得 于是得到四个方程
我们可知
可逆且 ,由第三个方程 于是第一个方程为
可知
可逆且 ,由第二个方程 最终得到
分块对角矩阵是一个分块矩阵,除了主对角线上各分块外,其余全是零分块。可以用类似上述方法证明,这样的一个矩阵是可逆的当且仅当对角线上各分块都是可逆的。
数值计算
2.5 矩阵分解
矩阵
分解
设
这样一个分解称为
若
因
分解算法
设
可以证明单位下三角形矩阵的乘积和逆也是单位下三角形矩阵,于是
注意有
这是构造
分解的算法
如果可能的话,用一系列的行倍加变换把 化为阶梯形 。
的元素满足用相同的一系列行变换把 变为 。
当第
根据可逆矩阵定理,
求下列矩阵的
分解:
因
有 行, 为 矩阵, 的第一列是 的第一列除以它的第一行主元元素: 比较两者的第一列。把
的第一列的后三个元素变成 的行变换同时也将 的第一列的后三个元素变成 ,而同样的道理对 的其他各列也成立,如下所示(注意 处): 标出元素确定了将
化为 的行化简,在每个主元列,把标出的元素除以主元后将结果放入 ,可得 易验证
。
在实际工作中行对换几乎总是必要的,因为部分主元法可以用来提高精确度(其选择一列中可以作为主元的元素中绝对值最大的一个作为主元)。为处理行对换,上述
数值计算
下列运算次数的计算适用于
2.6 列昂惕夫投入-产出模型
在以下经济模型中,设
列昂惕夫投入-产出模型或生产方程
其中
为总产出, 为中间需求, 为最终需求。
可以将该方程写为
下列定理中用列的和表示矩阵中某一列元素的和。
定理 11
设
为某一经济体系的消耗矩阵, 为最终需求。若 和 的元素非负, 的每一列的和小于 ,则 存在,产出向量 有非负元素,且是下列方程的唯一解:
的公式
假设有由
为使上式有意义,使用代数恒等式
可以证明,若
实际上消耗矩阵的幂迅速趋于
于是上面已经给出了计算
中元素的经济重要性
事实上,
2.7 在计算机图形学中的应用
我们在 1.9 节中已经知道,
齐次坐标
形如
-
绕原点顺时针旋转角度
: 。 -
关于
的对称: 。 -
乘以 , 乘以 : 。
复合变换
图形在计算机屏幕上的移动通常需要两个或多个基本变换。这些的变换的复合相应于在使用齐次坐标时进行矩阵相乘。
三维计算机图形学
应用于分子建模。药物设计的进展依赖于计算机图形学构造有真实感的分子和它们的交互作用的仿真的能力。现在的分子建模的研究集中于虚拟现实。
齐次三维坐标
我们称
同样可以通过研究
透视投影
三维物体在二维计算机屏幕上的表示方法是把它投影在一个可视平面上。简单起见,设
类似地,
使用齐次坐标,用矩阵
可用
数值计算
图形化三维物体的连续移动需要计算大量的
2.8 的子空间
定义
中的一个子空间是 中的集合 ,具有以下三个性质:
零向量属于 。
对 中任意的向量 和 ,向量 属于 。
对 中任意向量 和数 ,向量 属于 。
换句话说,子空间对加法和标量乘法运算是封闭的。
设
定义
矩阵 的列空间是 的各列的线性组合的集合,记作 。
设
向量
定义 矩阵
的零空间是齐次方程 的所有解的集合,记为 。
当
定理 12
矩阵 的零空间时 的子空间。等价地, 个未知数的 个齐次线性方程的方程组 的所有解的集合是 的子空间。
首先零向量属于
。 取
中两向量 和数 ,则 和 属于 。容易得证。
检验
子空间的基
定义
中子空间 的一组基是 中一个线性无关集,它生成 。
下例说明,求出方程
求出
的基,其中
将方程
的解写成参数向量形式: 通解为
, 为自由变量,则 将其表示为
。 可知
生成 。容易得出, 的构造保证了它们线性无关(因为 不能被 表示出),因此 是 的一组基。
求
的基,其中
注意到
, 。这意味着对于任意 ,有 它是
的线性组合,于是 生成 ,又 线性无关, 的主元列构成 的基。
此时
定理 13
矩阵
的主元列构成 的列空间的基。
注意阶梯形
若
矩阵 可逆, 和 会如何?
根据可逆矩阵定理,
的各列生成 ,故 ;同时方程 只有平凡解,则 。
2.9 维数与秩
坐标系
选择子空间
定义
假设 是子空间 的一组基。对 中每一个向量 ,相对于基 的坐标是使 成立的权 ,且 中的向量 称为
(相对于 )的坐标向量,或 的 坐标向量。( 的元素依赖于 中向量的次序)
设
一般地,如果
子空间的维数
可以证明,若子空间
定义
非零子空间 的维数(用 表示)是 的任意一个基的向量个数。零子空间 的维数定义为零。(因为零向量本身构成一个线性相关集,零子空间无基)
定义
矩阵 的秩(记为 ) 是 的列空间的维数。
由于主元列的个数加上非主元列的个数等于
定理 14(秩定理)
如果一矩阵有
列,则 。
定理 15(基定理)
设
是 的 维子空间, 中的任何恰好由 个元素组成的线性无关集构成 的一个基。并且, 中任何生成 的 个向量集自然也构成 的一个基。
秩与可逆矩阵定理
定理 16(可逆矩阵定理8(续))
设
是 矩阵,则下面的每个命题与 是可逆矩阵的命题等价:
的列向量构成 的一个基。
。
。
。
。
回顾定理可知命题
逻辑上与命题 和 等价,且 因为命题
和 与 是可逆矩阵的命题等价,得证。
数值计算
我们已学算法通常不适于处理现实生活中的大规模问题。
例如矩阵
本文作者:SE の 摆烂窝
本文链接:https://www.cnblogs.com/SError0819/p/18151694
版权声明:本作品采用知识共享署名-非商业性使用-禁止演绎 2.5 中国大陆许可协议进行许可。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步