3.2 行列式的性质
行列式的奥秘在于进行行变换时它如何变化. 下列定理推广了 3.1 节中习题 19~24 的结果, 其证明在本节末尾.
令 是一个方阵.
. 若 的某一行的倍数加到另一行得矩阵 ,则 .
. 若 的两行互换得矩阵 ,则 .
. 若 的某行乘以 倍得到矩阵 ,则 .
下列例子展示了如何利用定理3 来有效地计算行列式.
计算 ,其中 .
解
思路是先将 化简成阶梯形,再利用三角形矩阵的行列式等于对角线上元素之积的知
识. 针对第一列的前两次行倍加均不改变行列式的值:
交换第2行与第3行使行列式取反号,即
手工计算行列式时,通常利用定理3()将某一行的公因子提出来,如
其中用星号标记的元素不变. 在下例中用此方法.
计算 ,其中 .
解
为简化计算, 设法使左上角为 1. 可将第 1 行与第 4 行交换, 也可由第 1 行提出因子 2, 再对第 1 列做行倍加:
然后,可再从第3行中提出2,或利用第2列中的3作为一个主元。此处我们用后者,将第2行的4倍加到第3行:
最后,将-1/2倍的第3行加到第4行,再计算这个“三角形”行列式得
若一个方阵 通过行倍加和行交换化简为阶梯形 (这总是可以做到的,见1.2节行化简算法),且此过程经过了 次行交换,则定理3表明
由于 是阶梯形,故它是三角阵,因此 是主对角线上的元素 的乘积。若 可逆,则元素 都是主元(因为 且 没有被倍乘变为 1)。否则,至少有 等于零,乘积 为零。见图 3-1。
从而有以下公式:
意到下列有趣的情形:尽管上述中的阶梯形 是不唯一的(因为它并没有经过完全的行简化),主元也不是唯一的,但除了差一个负号外,这些主元的乘积是唯一的.
公式(1)不但给出 的一个具体的解释,还证明了本节的主要定理:
方阵 是可逆的当且仅当 .
把语句 “ ” 增加到可逆矩阵定理中。一个有用的推论是若 的列是线性相关的,则 。而且若 的行是线性相关的,则 。( 的行是 的列,由 的列线性相关可推出 是奇异的。当 是奇异矩阵时,由可逆矩阵定理可知, 也是奇异的。)在实际问题中,当两行或两列是相同的或者一行或一列是零时,则线性相关是显然的。
计算 , .
解
将 2 倍的第 1 行加到第 3 行,得
这是因为上面矩阵的第2行和第3行相等.
数值计算的注解
-
对一般的矩阵 ,许多计算 的计算机程序使用上面公式(1)的方法.
-
可以证明一个 行列式利用行变换展开大约需要 次算术运算, 任何现代微型计算机可以在不到一秒钟内计算一个 行列式, 因为仅需大约 10000 次运算.
充分利用出现的多个零,利用特别的指令,计算机还可以处理大的“稀疏”矩阵。当然,零元素可加快手算过程。下例的计算中结合了行变换的优势和3.1节中余因子展开中利用零元素的技巧。
计算 , .
解
开始最好是利用第1列中的2作为一个主元,消去下面的-2,再利用余因子展开式化简成低一阶的行列式,然后再运用行倍加变换.因此
交换第2行与第3行得到一个“三角形行列式”。另一种方法是按第1列的余因子展开式:
类似于前面已经考虑过的行变换,我们可以对矩阵的列实行变换,下一个定理证明行列式的列变换与行变换具有相同的效果.
数学归纳原理表述为:令 对每个自然数 成立或不成立。假设 成立,则 对所有 的情形成立。对每个自然数 ,若 成立,则 成立。用数学归纳原理证明下述定理。
若 为一个 矩阵,则 .
证明
当 时,定理显然成立. 假设定理对 行列式成立. 令 ,则 中 的余因子等于 中 的余因子,这是因为这些余因子是由 行列式表示的. 所以 沿着第一行的余因子展开式等于 沿第一列的余因子展开式,即 . 于是定理对 也成立,即定理对一个 成立就可以推出对 成立. 由数学归纳原理,定理对任意 均成立.
因为定理5 应用原来的定理3。对 定理3中出现的“行”字变成“列”字时,定理3中每一个命题均成立。为证此性质,只需针对 应用原来的定理3。对 的一个行变换相当于对 的一个列变换。
列变换对理论和手工计算都是很有用的. 然而, 为了简单, 在数值计算中, 我们仅采用行变换.
行列式与矩阵乘积
Section titled “行列式与矩阵乘积”下列有用定理的证明放在本节末尾,其应用放在习题中.
若 和 均为 矩阵,则 .
对 , , 验证定理6.
解
由于 , ,故
通常一个错误的观点是定理6对矩阵的和也有类似的结果。然而,一般而言, 不等于 。
行列式函数的一个线性性质
Section titled “行列式函数的一个线性性质”若 为 矩阵,可以将 看作 中 个列向量的函数。我们将证明如果 中除了一列之外都是固定的向量,则 是那个可变列向量的线性函数。
假设 的第 列允许有变化, 可写成
定义由 到 的变换 为
则有
性质(2)即定理3()应用到 的列。(3)的一个证明可由det 按第 列的余因子展开式来完成(见习题43)。行列式的这个线性性质有许多有用的推论,将会在高级的课程学习中研究.
定理3和定理6的证明
Section titled “定理3和定理6的证明”借助于2.2节中讨论的初等矩阵,证明定理3是方便的。我们称一个初等矩阵 是一个行倍加(矩阵),如果 是由单位矩阵 经一行加另一行的倍数而得到;称 是一个交换,如果 是由交换 的两行而得到;称 是一个 倍乘,如果 的某一行乘以一个非零数而得到。用这些术语,定理3可重新叙述如下: 的某一行乘以一个非零数而得到。用这些术语,定理3可重新叙述如下:
若 是一个 矩阵, 是一个 初等矩阵,则
其中
定理3的证明 针对 的行或列的大小用归纳法. 矩阵的情形在3.1节的习题33~36中已证. 假设该定理对 矩阵的行列式成立, , 令 , 为 矩阵. 对 的作用涉及两行或一行. 所以我们可以按在 的作用下没有被改变的一行展开detEA, 比如说第 行. 令 (分别地, )是由 (分别地, EA)中划掉第 行第 列得到的矩阵, 则 的行由 的行通过实行与 作用于 相同类型的初等行变换得到. 由于这些子矩阵仅仅是 矩阵, 因此归纳假设蕴涵
其中 或 ,依 的类型而定.detEA沿第 行的余因子展开式是
特别地,取 ,则 或 ,依赖于 的类型而定.于是定理对 成立.定理对 成立蕴涵对 时也成立.由归纳法原理,定理对 均成立.对 时,定理显然成立.
定理6 的证明 若 不可逆,则由 2.3 节中习题 27,AB 也不可逆。在此情形下,由定理4,因 det A 和 det A·det B 均为零,故 det AB = (det A)(det B) 成立。若 不可逆,则由 2.3 节中习题 27,AB 也不可逆。在此情形下,由定理 4,因 det A 和 det A·det B 均为零,故 det AB = (det A)(det B) 成立。若 可逆,则由可逆矩阵定理, 与单位矩阵 行等价,所以存在初等矩阵 使得
为了简单,用 表示 。反复应用定理3,如上面所重新描述的那样,得
-
用尽可能少的步骤计算 .
-
用一个行列式来确定向量 是否线性无关,这里
- 设 是一个 矩阵,满足 。证明
在习题 1~4 中, 每个方程说明行列式的一个性质. 叙述这些性质.
在习题 5~10 中,通过行化简成阶梯形求行列式的值.
在习题 11~14 中, 结合行化简和余因子展开的方法计算行列式的值.
(, təb) (, ., - )
求习题 15~20 中的行列式,已知 .
在习题 21~23 中, 利用行列式检验这些矩阵是否可逆.
在习题 24~26 中, 利用行列式判断每组向量是否线性无关.
在习题 27 和习题 28 中,, 均为 矩阵,标出每个命题的真假,给出理由.
-
. 矩阵的行倍加变换不影响矩阵的行列式. b. 矩阵 的行列式是 的任意一个阶梯形 中主元之积再乘以 ,其中 是 经行化简成 时做的行交换的次数. c. 若 的列是线性相关的,则 . d.
-
. 如果连续作了两次行交换,则新的行列式等于原来的行列式. b. A 的行列式等于其对角线元素之积.
. 若 为零,则其两行或两列相同,或者一行或一列为零. d. .
-
计算 ,其中 .
-
利用定理3(但不用定理4)来证明,若方阵 的两行相等,则 。此结论对两列相等的情形也成立,为什么? 对习题 31~36,在你的解释中指出用到的一个合适的定理。
-
证明:如果 可逆,则 .
-
假设 为方阵,且 ,解释为什么 不可能是可逆的.
-
若 均为方阵,证明:即使 与 可能不相等, 也总是成立的.
-
若 , 均为方阵, 可逆,证明 .
-
假设 为方阵,满足 ,证明
-
若 为一个 矩阵,试找出一个计算 的公式.
在习题 37 和习题 38 中,验证 .(不要使用定理6.)
-
-
-
若 , 均为 矩阵,且 . 利用(文中或上面习题中的)行列式性质计算 . b. c. d. e.
-
若 , 均为 矩阵,det A = -3, det B = -1,计算 . det AB b. det c. det 2A d. det e. det
-
验证 ,其中
-
设 , , 证明 , 当且仅当 .
-
验证 ,其中
注意 与 并不相同.
-
矩阵 右乘一个初等矩阵 对 的列的影响与左乘一个初等矩阵对行的影响相同. 使用定理5和定理3 ,要求不能使用定理6. 仍为初等矩阵这个明显的事实证明 ,要求不能使用定理6.
-
[]对几个随机选取的 矩阵和 矩阵,计算 和 。当 的列数大于行数时,对 和 会是如何?
-
[]如果 接近于零,矩阵 是接近奇异的吗?用下面接近奇异的 矩阵 进行实验.
计算 ,10A,0.1A 的行列式。作为对比,计算这些矩阵的条件数。当 为 单位矩阵时,重复这些计算,讨论你的结论。
- 做行倍加变换,在第一列生成零,接着产生一个零行.
第1行加到第2行
按第2列的余因子展开式
由定理4,矩阵 不可逆.由可逆矩阵定理,这三列是线性相关的.
- 由 及定理6, . 可得
对上式两边开平方得 .
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。