1.4 矩阵方程 Ax=b
线性代数中的一个基本思想是把向量的线性组合看作矩阵与向量的积. 下列定义允许我们将 1.3 节的某些概念用新的方法表述出来.
定义 若 是 矩阵,它的各列为 . 若 是 中的向量,则 与 的积(记为 Ax)就是 的各列以 中对应元素为权的线性组合,即
Ax 仅当 的列数等于 中的元素个数时才有定义.
.
.
对 中的 ,把线性组合 表示为矩阵乘向量的形式.
解
把 排列成矩阵 ,把数 3,-5,7 排列成向量 ,即
在1.3节中我们学习了将线性方程组写成包含向量的线性组合的向量方程.例如,方程组
等价于
如例2所示,我们也可将方程左边的线性组合写成矩阵乘向量的形式,(2)成为
方程(3)有形式 Ax=b,我们称这样的方程为矩阵方程,以区别于(2)式那样的向量方程。注意(3)中的矩阵仅是方程(1)中的系数矩阵。类似的计算说明,任何线性方程组或类似于(2)式的向量方程都可以写成等价的形式为 Ax=b 的矩阵方程,这一简单的观点将在本书中重复使用。
下面是正式的结果.
若 是 矩阵,它的各列为 ,而 属于 ,则矩阵方程
与向量方程
有相同的解集. 它又与增广矩阵为
的线性方程组有相同的解集.
给出了研究线性代数问题的一个有力工具,使我们现在可将线性方程组用三种不同但彼此等价的观点来研究:作为矩阵方程、作为向量方程或作为线性方程组。当构造实际生活中某个问题的数学模型时,我们可自由地选择任何一种最自然的观点。于是我们可在方便的时候由一种观点转向另一种观点。任何情况下,矩阵方程(4)、向量方程(5)以及线性方程组都用相同方法来解——用行化简算法来化简增广矩阵(6)。其他解法将在以后讨论。
解的存在性
Ax 的定义直接导致下列有用的事实.
方程 Ax=b 有解当且仅当 是 的各列的线性组合.
在 1.3 节中,我们考虑了存在性问题,即“ 是否属于 Span ?”等价地,“Ax=b
是否相容?”. 一个更困难的问题是要确定方程 Ax=b 对任意的 是否有解.
设 , . 方程 是否对一切可能的 有解?
解
把 Ax=b 的增广矩阵进行行化简:
第 4 列的第 3 个元素为 . 方程 Ax=b 并不是对一切的 都相容,因为 可能不为零.
例3 中的简化矩阵描述了使方程 Ax=b 相容的所有 的集合: 必须满足
这是 中一个通过原点的平面,这个平面就是 的3列的所有线性组合的集合,见图 1-19.
例3 中的方程 Ax=b 并非对所有的 都相容,这是因为 的阶梯形含有零行。假如 在所有三行都有主元,我们就不必注意增广列的计算,因为这时增广矩阵的阶梯形不可能产生如 [0 0 0 1] 的行。
在下一定理中,当我们说“的列生成 ”时,意思是说 中的每个向量都是的列的线性组合。一般地, 中向量集 生成 的意思是说, 中的每个向量都是 的线性组合,即 。
设 是 矩阵,则下列命题是逻辑上等价的。也就是说,对某个 ,它们都成立或者都不成立。
. 对 中每个 ,方程 Ax = b 有解.
. 中的每个 都是 的列的一个线性组合.
. A 的各列生成 .
. A 在每一行都有一个主元位置.
定理4 是本章中最有用的定理之一. 命题()、()和()等价是根据 Ax 的定义和一组向量生成 空间的含义而得到的. 再根据例3 后面的讨论得到命题( 空间的含义而得到的. 再根据例 3 后面的讨论得到命题()等价. 定理的完整证明在本节末尾给出. 在习题中给出应用定理4 的例子.)和()等价. 定理的完整证明在本节末尾给出. 在习题中给出应用定理 4 的例子.
定理4 讨论的是系数矩阵, 而非增广矩阵. 若增广矩阵 [A b] 在每一行都有主元
位置,那么方程 Ax=b 可能相容,也可能不相容.
例1中的计算是根据矩阵 与向量 的乘积的定义. 下面的例子给出手工计算 的元素的一种更有效的方法.
计算 ,其中 , .
解
由定义,
矩阵 Ax 的第一个元素是 的第一行与 中相应元素乘积之和(有时称为点积),即
此矩阵说明如何直接计算 Ax 中的第一个元素,而不必像(7)中那样写出所有运算步骤。类似地,Ax 中的第二个元素可以直接把 的第二行各元素与 中对应元素相乘再求和得出:
类似地,Ax 中的第三个元素可由 的第三行与 的元素算出.
计算 Ax 的行-向量规则
Section titled “计算 Ax 的行-向量规则”若乘积 有定义,则 中的第 个元素是 的第 行元素与 的相应元素乘积之和.
.
.
.
由定义,例5()中的矩阵的主对角线上元素为1,其他位置上元素为0,这个矩阵称为单位矩阵,并记为 ()中的计算说明,对任意 中的 , .类似地,有 单位矩阵,有时记为 ,如()中所示,对任意 中的 ,
矩阵-向量积 的性质
Section titled “矩阵-向量积 Ax 的性质”下面定理中的事实是重要的,在本书里经常使用,它们的证明依赖于 的定义及 的代数性质.
若 是 矩阵, 和 是 中向量, 是标量,则
.
. .
证明
为简单起见,取 , 为 中的向量(一般情况的证明类似)。对 ,设 和 分别为 和 的第 个元素。为证明(),把 作为 的各列以 的各元素为权的线性组合来计算。
为证明(),把 作为 的各列以 的各元素为权的线性组合来计算.
数值计算的注解 为使计算 的计算机算法最优化,一系列的计算对存储在相连的存储单元中的数据进行。矩阵计算中最广泛运用的算法是用 Fortran 语言写成的,它把矩阵作为若干列来存储,这样的算法把 作为 的列的线性组合来计算。对比而言,若程序用通用的 语言来写,它把矩阵按行存储,Ax 就必须用另一种规则计算,这种算法使用 的行.
定理4 的证明 如定理4 后面所指出的,命题()、()和()逻辑上等价。因此,这里只需证明(对任意矩阵 )命题()和()同时为真,或同时为假,就可以建立四个命题的等价性。
设 为 的阶梯形. 给定 中的 , 我们可把增广矩阵 行化简为增广矩阵 , 这里 是 中的某个向量.
若()成立,则 的每一行包含一个主元位置而在增广列中不可能有主元。故对任意 , 有解,()成立。若()不成立,则 的最后一行都是0。设 是最后一个元素为1的向量,于是 代表一个不相容的方程组。因行变换是可逆的,故 可变换为形如 的矩阵,所得方程组 也是不相容的,()也不成立。
-
设 , , , 可以证明 是 的一个解. 应用这个事实把 表示为 的列的线性组合.
-
设 , , , 通过计算 和 来验证定理5().
-
构造一个 的矩阵 且向量 和 ,使得 有一个解,但 无解。
计算习题 1~4 中的乘积: () 像例1 那样使用定义, () 使用计算 Ax 的行-向量规则. 若某个乘积没有定义, 加以说明.
在习题 5~8 中,使用 Ax 的定义把矩阵方程写成向量方程,反之亦然.
在习题 9~10 中,将方程组写成向量方程和矩阵方程.
在习题 11~12 中,给定 和 ,写出对应于矩阵方程 Ax = b 的增广矩阵并求解,将解表示成向量形式.
-
-
-
设 , , 是否在由 的列所生成的 的子集中?(见图 1-20.)为什么?
-
设 , 是否在由 的列所生成的 的子集中?为什么?
-
设 ,证明方程 Ax=b 不是对一切 都相容,并说明使 Ax=b 相容的所有向量 的集合.
-
设 , ,重复 15 题.
习题 17~20 用到下面的矩阵 和 ,给出答案并说明用到的定理.
-
中有多少行包含主元位置?方程 Ax=b 是否对 中的每个 都有解?
-
的列是否可以生成 ?方程 是否对 中的每个 都有解?
-
中的每个向量都可以写成矩阵 的列的线性组合吗? 的列是否可以生成 ?
-
中的每个向量都可以写成矩阵 的列的线性组合吗? 的列是否可以生成 ?
-
设 是 否生成 ? 为什么?
-
设 是 否生成 ?为什么? 习题 23~24 中,判断各命题的真假,给出理由.
-
. 方程 Ax=b 称为向量方程. b. 向量 是矩阵 的列的线性组合当且仅当方程 Ax=b 至少有一个解. c. 方程 Ax=b 相容,若增广矩阵 的每一行有一个主元位置. d. 乘积 Ax 的第一个元素是乘积的和. e. 若 矩阵 的列生成 ,则对 中任意的 ,方程 Ax=b 相容. f. 若 是 矩阵,且方程 Ax=b 对 中某个 是不相容的,则 不能在每一行都有一个主元位置.
-
. 每个矩阵方程 Ax=b 对应于一个有相同解集的向量方程. b. 向量的任何线性组合总可以写成 Ax 的形式,其中 是适当的矩阵, 是适当的向量.
. 增广矩阵为 的线性方程组的解集与方程 的解集相同,其中 .
. 若方程 Ax=b 不相容,则 不属于 的列生成的集合. e. 若增广矩阵 在每一行有一个主元位置,则方程 Ax=b 不相容.
. 若 是 矩阵,它的列不生成 ,则对 中某个 ,方程 Ax = b 不相容.
- 由等式 求出标量
(不用行变换),使得
-
设 ,已知 , 解方程(不用行变换)
-
设 和 是 中的向量, 是标量,将向量方程 写成一个矩阵方程,注意你选用的符号.
-
使用符号 表示向量, 表示标量,重写下面的(数值)矩阵方程为向量方程。给出每个符号表示的意义。矩阵方程如下:
-
构造一个 非阶梯形矩阵,使得矩阵的列可以生成 。说明你构造的矩阵具有这种性质。
-
构造一个 非阶梯形矩阵,使得矩阵的列不可以生成 。说明你构造的矩阵具有这种性质。
-
设 是 矩阵, 说明为什么方程 不可能对所有 中的向量 都是相容的. 推广你的结论到任意行数多于列数的矩阵 .
-
中的3个向量能否生成整个 ?说明理由。当 时, 中的 个向量能否生成 ?
-
设 是 矩阵, 是 中的任一向量,且 有唯一解。由此可知 的简化阶梯形是怎样的?给出理由。
-
设 是 矩阵, 是 中的任一向量,且 有唯一解。说明为什么 的列一定可以生成 。
-
设 是 矩阵, 为 中的向量, . 设对 中的向量 和 , , . 为什么方程 Ax = w 相容?(注: 和 是向量而不是向量中的数值元素)
-
设 是 矩阵, 是 中的向量, 是 中的向量。又设 ,什么事实使你断定方程 是相容的?
[]习题37~40中,确定矩阵各列能否生成
-
[]在习题39中去掉矩阵的某一列,使剩下的各列仍然可以生成
-
[]在习题 40 中去掉矩阵的某一列, 使剩下的各列仍然可以生成 . 能否去掉更多的列?
-
矩阵方程 等价于向量方程 ,它表示 是 的各列的线性组合.
-
注:事实上,练习题3有无穷多正确的解。当创建满足特定准则的矩阵时,经常直接创建简化阶梯形的矩阵。下面是一个可能的解:
- 设 . 对应于 的增广矩阵的简化阶梯形为 . 它是相容的,因此 有解. 对应于 的增广矩阵的简化阶梯形为 . 它是不相容的,因此 无解.
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。