线性代数 · 教材导读
按教材原顺序阅读:展开一节,看到若干知识分组,每组里是原文与例题。公式离线渲染,页码对应陈维新《线性代数》第二版。
章节目录
一数域与排列 · 行列式的定义选自 §1.1–§1.25 个知识分组 · 含例题
定义+
设 是至少有两个不同复数组成的集合,若 中任意两个数(这两个数也可以相同)的和、差、积、商(除数不为零)仍为 中的数,则 就称为一个数域。
如果数集 中任意两个数作某一运算的结果都仍在 中,就称数集 对这个运算是封闭的。因此数域的定义也可以说成:对于加法、减法、乘法和除法(除数不为零)均封闭的至少含有两个不同数的数集。
由 共 个数码组成的一个有序数组,称为一个 阶排列。
例如 、、 分别为 5 阶排列、12 阶排列、 阶排列。
阶排列的一般形式可表为 ,其中 为 中某一个数,且互不相同,下标分别表示这些数在 阶排列中的次序。
在 个 阶排列中,唯有 是按数码从小到大的次序组成的一个排列(称为标准排列)。
在排列 中,如 而 ,则称 构成一个逆序。一个排列的逆序总数称为排列的逆序数,记为 。
逆序数为偶数的排列称为偶排列,逆序数为奇数的排列称为奇排列。
设 是变量, 是一个正整数,形式表达式
其中 均为数,称为 个变量 的线性方程,线性方程中的变量也称为未知量。
当 和 时就是我们熟悉的一元一次方程和二元一次方程。
线性方程 的一个解是一组有序的数 ,当 时,有
由 个元素 ()排成 行 列,记为
称为 阶行列式。它是取自 (1.2.4) 中所有属于不同行不同列的 个元素乘积 (称为通项)的代数和,其中 是某个 阶排列,故共有 项。每项前的符号按下列规则选取:当 是偶排列时取正号,当 是奇排列时取负号。即有
这里 表示对 这 个数组成的所有排列 取和。
定理+
设 是任何一个数域,则 。
证 据数域定义知, 中有相异复数 。故 中必有一个不为零,不妨设 ,从而
进而对任意正整数( 个 1 相加)
又因 对减法封闭,所以
这样 。对任意的 ,此处 ,,有 ,再利用 对除法封闭,有 ,这表明 。
任一排列经过一次对换后必改变其奇偶性。
证 首先证明对换排列中相邻两个数码的情况。设排列 经过 对换后变成排列 ,其中省略号表示排列中那些不动的数码。故两个排列中 是相同的,可能不同的只是 与 。从而
若 ,则排列 比 多 1 个逆序;
若 ,则排列 比 少 1 个逆序。
故不论如何,排列的奇偶性改变了。
现在讨论一般情况。设对换的两个数码 和 中间有 个数码,即设排列为
经过 对换后,变成排列
从 (1.1.1) 开始,把 依次与左边 个数码 进行相邻数码的对换,排列 (1.1.1) 变成排列
再对排列 (1.1.3) 把 向右依次与 个数码 进行相邻数码对换,排列 (1.1.3) 变成排列 (1.1.2)。这表明 与 的对换可通过 次相邻数码对换来实现,而每经一次相邻数码对换改变排列奇偶性。现经奇数次相邻数码对换,最终必改变排列的奇偶性。
公式+
设 ,并规定
称 为二阶行列式。当 时,二元线性方程组 (1.2.1) 的解为 ,,其中
由三行、三列构成的三阶行列式
规定
这规则可按主对角线、副对角线的方式记忆,称为对角线法则:主对角线方向三条连线上的三元素之积取正号,副对角线方向三条连线上的三元素之积取负号。
这里 表示对 这两个数组成的所有排列 取和, 表示对 这三个数组成的所有排列 取和。
即 阶行列式是 项的代数和,每一项都是取自不同行不同列的 个元素的乘积;当行指标取成标准排列 时,该项的符号由列指标组成的排列 的奇偶性确定:偶排列取正号,奇排列取负号。
阶行列式的通项一般可写成
其中 和 是两个 阶排列。
1. 设 是取定的某个 阶排列,则
特别地,取 为 标准排列时,此即为行列式定义中的 (1.2.5)。
2. 设 是取定的某个 阶排列,则
特别地,取 为 标准排列时,有
主对角线下方元素全为零的行列式称为上三角形行列式,其值等于主对角线上元素的乘积:
类似地,主对角线上方元素全为零的行列式称为下三角形行列式,其值也等于主对角线上元素的乘积。
主对角线方向为空的「反三角」 阶行列式(左下—右上方向一条斜线上的元素非零,其余位置全为零),其值为
符号中的 来自列指标排列 的逆序数 。
当 时,二元线性方程组 (1.2.1) 的解为
其中 分别是用常数列 替换 的第 1 列、第 2 列所得的行列式。
当 时,三元线性方程组 (1.2.3) 有公式解
其中
说明+
线性代数是中学代数的继续和提高。第 1 章和第 2 章就是中学代数解一元一次(线性)方程 的延伸和深化,研讨多个未知量多个线性方程组成的线性方程组的求解问题。为此要引入一些概念,作为预备知识。
§1.1 先讨论数域和排列。数域的作用是把有理数、实数、复数这些具有共同运算性质的数集统一处理;排列则是为 §1.2 定义 阶行列式作准备—— 阶行列式的展开式共 项,每一项的符号由列指标排列的逆序数的奇偶性决定,所以必须先讲清排列、逆序数与对换。§1.2 开头即说:「有了上一节的准备我们来讨论线性方程组的求解问题。」
从定义 1.1.1 可推知:全体有理数的集合、全体实数的集合、全体复数的集合都是数域。这三个数域分别用字母 、、 来表示,且有 。
一般地设 和 均为数域,若 ,则称 为 的子域, 为 的扩域。据此 是 的扩域, 的子域。
定理 1.1.1 说明任何数域 必含 作为其子域,从这个意义上我们可称 为最小数域。这说明任何数域必含有无穷多个数(习题 1.1 第 1 题还表明数域有无穷多个)。
今后我们常在数域 上讨论问题,对所涉及的数进行四则运算,推导出的结果自然就在数域 中。这样就使得该结果在数域 上成立,而数域 是泛指的,即可以是 、、,或其他某个数域,从而使结果有一般性。
为简单计,如把下文中的数域 当作 、、 来考虑也无妨。
按 阶排列的定义知 可有 种选取( 个数码中任选一个), 有 种选取(去掉 ,余下的 个数码中任选一个),……, 可有 2 种选取,而 只能取余下的那个数码,故 阶排列共有
个。例如 3 阶排列共有 6 个,它们是
计算排列的逆序数方法之一是
其中 表示 后面比 小的数的个数。据此
故 为奇排列;
所以当 时为偶排列,当 时为奇排列。
注意到 ,故 为偶排列。
将一个排列中某两个数码的位置互换,而其余数码不动,就得到另一个排列,这样的变换称为对换。例如,经过 1、3 两数码对换,排列 就变成排列 。通过计算知 ,故 为偶排列。这表明奇排列 经过一次对换得到偶排列 。一般有定理 1.1.2。
当 时,用消元法解含有未知量 的线性方程组
以 乘第一个方程两边,以 乘第二个方程两边,然后两式相减,消去 得
类似消去 得
设 ,则
这就是二元线性方程组 (1.2.1) 的解公式,但此公式不易记忆,为了便于记忆和使用上述结论,我们引进记号 ,即二阶行列式。
当 时,含有未知量 的线性方程组
可同样逐次消元,消去 可得 的表达式,把 的系数记为 :
当 时, 都有类似的公式。这些公式更难记忆,为此引进由三行、三列构成的三阶行列式。按规定计算 发现三者恰为用消元法解 (1.2.3) 所得 表达式的分子,而分母 均为 。
横写的称为行,从上到下分别称第 1 行,第 2 行(……)。竖写的称为列,从左到右分别称第 1 列,第 2 列(……)。行列式中的数,称为行列式的元素。每个元素有两个下标,第一个下标表示它所在的行,称为行指标;第二个下标表示它所在的列,称为列指标。如 就是位于第 1 行、第 2 列上的元素。
从二阶行列式的定义可知:二阶行列式是两项的代数和。一项是从左上角到右下角连线(称为行列式的主对角线)上两元素的乘积,取正号;另一项是从右上角到左下角连线(称副对角线)上两元素的乘积,取负号。
特别规定一阶行列式 ,并沿用二阶行列式所使用的术语,诸如行、列、行指标、列指标、主对角线、副对角线等。为方便计, 阶行列式 (1.2.4) 可简记为 。
由 (1.2.5) 知,当 均为数时,行列式 为一个数。如 (),这里 是某个数域,则 。当 中含有变量时,行列式 为此变量的多项式。故计算或求行列式就是把这个数或多项式求出来。
利用例 1.2.2 和例 1.2.3 的结果可以容易地得出
例 1.2.2 和例 1.2.3 的结果下文将经常使用,务请熟记。
通项的一般形式 (1.2.6) 及其两个展开式也表明了:行列式中,行与列地位是平等的。也就是说,展开时既可以固定行指标为 标准排列(得到 (1.2.5)),也可以固定列指标为 标准排列(得到 (1.2.7)),所得结果完全一致。
例题
例 1.1.1★☆☆☆☆判断题数域的判定与反例展开题目与讲解
例 1.1.1
记全体整数的集合为 ,则 不是数域。
解 这是因为 ,且 ,但 ,这表明 对于除法不封闭。
例 1.1.2★★★☆☆证明题数域封闭性的验证展开题目与讲解
例 1.1.2
记 ,则 是数域。
证 容易看出 ,且对任意的
有
此外,当 时, 必不为零。(反证)若 ,可推出 ,这与 矛盾。故可有
综上可知: 是数域。而且从 , 知:
例 1.2.1★★☆☆☆计算题用三阶行列式解方程组展开题目与讲解
例 1.2.1
解线性方程组
解 计算三阶行列式
而
所以
例 1.2.2★★★☆☆计算题上三角形行列式展开题目与讲解
例 1.2.2
计算 阶行列式
解 据定义 1.2.3 知,。该展开式通项 中 取自 的第 行,而 第 行除 外,其余元素全为零。故若 ,则对应的行列式展开式中那一项一定为零,求和时该项可不计,为此只要考虑 的项。同样由于 的第 行中除 及 外,其余元素全为零,且因 已取 ,从而只能取 。依次类推, 的 项中除了列指标 对应的项外,其余项全为零,又因 ,故
这类行列式特点是主对角线下方元素全为零,称为上三角形,其值为其主对角线上元素的乘积;类似称主对角线上方元素全为零的行列式为下三角形。
例 1.2.3★★★★☆计算题副对角线型行列式展开题目与讲解
例 1.2.3
计算 阶行列式
解 从通项 中 着手,仿照上例从 开始逐一分析 的取值,可得 展开式的 项中,除去为零的项外,仅剩下一项为
这项列指标排列的逆序数为
故
二行列式的性质选自 §1.34 个知识分组 · 含例题
定义+
设 阶行列式
即 是由 的行列位置互换后得到的,称 为 的转置行列式.
性质+
证 将 记为
即 . 将 按 (1.2.7) 展开,有
由 (1.2.5) 知上式右端就是 ,故 .
如果行列式中两行(列)互换,行列式只改变符号,即
证 引入记号
则右端为
按 (1.2.5) 展开,得
最后一步是因为置换 与 相差一个对换,二者奇偶性相反. 上式右端即左端按 (1.2.5) 的展开式,故性质 2 成立.
行列式若有两行(列)对应元素全相等,行列式为零.
证 设行列式 的第 行与第 行相同,若将 的第 行与第 行互换,所得仍为 . 但由性质 2 知,两者互为相反数,即 ,故 .
以数 乘行列式中某一行(列)中所有元素,等于用 乘此行列式. 换言之,行列式某一行(列)所有元素有公因子 ,可将 提到行列式记号外相乘,即
证 左端
此即右端.
若行列式中有一行(列)的元素全为零,则行列式为零.
证 此即性质 3 中 的情况.
若行列式中有两行(列)元素对应成比例,则行列式为零.
证 设 的第 行与第 行成比例(),不妨设 ,有
于是
其中第一个等号用了 ,第二个等号用了性质 3,最后一个等号用了推论 1.
行列式可按某一行(列)拆成两个行列式之和:
证 左端
此即右端.
若行列式的某一行(列)是若干组元素之和,则它可以拆成同样多个行列式之和:
行列式的某一行(列)元素加上另一行(列)对应元素的 倍,行列式不变,即 时,
证 由性质 5 知左端为
而据性质 4,上式第二个行列式为零,即得左端 右端.
说明+
计算 阶行列式是本章的中心课题之一,然而从定义出发,只有计算某些特殊的行列式(如上三角形行列式)才较为可行. 对一般的行列式而言,随着行列式阶数 的增大,用定义来计算行列式,其计算量是相当大的. 一个 阶行列式按定义展开,要做 次乘法(请注意 ,). 而在天气预报、大地测量等实际课题中所需解的线性方程组,其变量成百上千. 本节将研究行列式的性质,这些性质不仅能简化行列式的计算,而且在理论上也相当重要.
性质 1 再次表明行列式中行与列地位平等. 因而下面对行成立的性质,对列相应性质也成立. 所以以下性质只对行进行证明是可以的.
在计算行列式时,为了使计算过程醒目,约定如下记号:
用 表示第 行元素加上(减去)第 行对应元素的 倍.
用 表示第 列元素加上(减去)第 列对应元素的 倍.
例 1.2.1 已阐明上三角形行列式可直接写出,为其主对角线上元素的乘积. 而下三角形行列式的转置行列式为上三角形行列式,从而据性质 1,下三角形行列式也为主对角线上元素的乘积. 这样我们常常利用行列式的性质,把一些行列式化为上(下)三角形来进行计算.
计算 阶行列式
提示:将第 列分别减去第 1 列,所得各列的元素对应成比例,故 时 ; 时 .
(1) 在本例中如果将 改为变量 ,同样可计算得
这就是一个 的 次多项式,它的 个根为
(2) 同样的解法还可求出本例的变形( 阶行列式)
(3) 解法二中出现连加号“”,有关连加号的概念和一些性质,建议读者可参阅附录一.
本节之后为「习题 1.3」(p.20–22),共 9 题:第 1 题由 阶行列式(各行各列元素全为 1)等于零,说明 个不同的 阶排列中奇偶排列各占一半;第 2 题用行列式的性质计算 5 个行列式(三阶数字行列式、含零较多的四阶行列式、 型三阶行列式、五阶对角占优行列式等);第 3 题计算 5 个 阶行列式( 型、 型、 型、 型、逐行递增型);第 4 题求一个 阶行列式展开后正项的个数;第 5 题证明两个行列式恒等式(一个等于 2 倍的行列式,一个等于 倍的行列式);第 6 题求 3 个多项式 的根;第 7 题设三阶行列式 ,据此计算 3 个与 有关的行列式;第 8 题计算一个带 的 阶行列式;第 9 题已知 18055,83283,61042,48576,57776 都能被 23 整除,证明相应的五阶行列式也能被 23 整除.
例题
例 1.3.1★★☆☆☆计算题用性质化零与成比例展开题目与讲解
例 1.3.1 用性质化出成比例的列
计算行列式
解 将第 2 列、第 3 列分别减去第 1 列(即 ,),得
第 2 列与第 3 列对应元素成比例(比值为 ),由性质 4 知
例 1.3.2★★★☆☆计算题化三角形法展开题目与讲解
例 1.3.2 化三角形计算四阶行列式
计算行列式
解 依次作 ,,,得
再作 ,,得
再作 ,得上三角形行列式
例 1.3.3★★★☆☆证明题逐行相减化三角展开题目与讲解
例 1.3.3 逐行相减化三角形证恒等式
试证
证 将第 4 行减第 3 行、第 3 行减第 2 行、第 2 行减第 1 行(即 ,,),得
再将第 4 行减第 3 行、第 3 行减第 2 行,得
最后将第 4 行减第 3 行,得上三角形行列式
例 1.3.4★★★★☆计算题行和相等的 n 阶行列式展开题目与讲解
例 1.3.4 n 阶行和相等的行列式
计算 阶行列式
解法一 把 的第 2 列,第 3 列,,第 列均加到第 1 列上,得
提出第 1 列的公因子 ,得
将第 2 行,第 3 行,,第 行分别减去第 1 行,得
解法二 将第 2 行,第 3 行,,第 行分别减去第 1 行,得
再将第 列均加到第 1 列上(即 ),得
三按行列展开 · 克拉默法则 · 小结选自 §1.4–§1.66 个知识分组 · 含例题
定义+
在 阶行列式 中划掉元素 所在的第 行和第 列后,留下的元素按原来的位置构成的 阶行列式称为元素 的余子式,记为 .又记 ,称 为元素 的代数余子式.
易见当 为数时, 和 均为数.
例如四阶行列式 元素 的余子式是 元素 的代数余子式是
在 阶行列式 中选取 行 列(),由这些行和列相交处的元素按原来相关位置构成的 阶行列式称为 的 阶子式,记为 .在行列式 中去掉 阶子式 所在的行和列后,得到的 阶行列式称为 的余子式,记为 .若构成 的行的行指标为 ;构成 的列的列指标为 ,则 称为 的代数余子式,记为 .
定理+
阶行列式 等于它的任意一行(列)的各元素与其对应的代数余子式乘积之和,即
证 (1)首先讨论 的第一行元素除 外,其余元素均为零的情况,即 如例 1.2.3 讨论知 由 得 .
(2)其次讨论 的第 行元素除 外,其余元素均为零的情况.将 的第 行依次与第 各行作 次相邻交换调到第 1 行,再将第 列依次与第 各列作 次相邻交换,调到第 1 列,这样共经过 次交换,得
(3)最后讨论一般情况.由 §1.3 推论 3(行列式可按某一行(列)拆开),将 的第 行拆成 个行列式之和: 此即行列式按第 行展开公式.同理可证行列式按第 列展开公式.
阶行列式 中某一行(列)的各元素与另一行(列)的对应元素的代数余子式乘积之和等于零,即
证 设 ,将 的第 行加到第 行上(),得 两边行列式都按第 行展开,得 移项化简,得 同理可证另一式.
设 为 阶行列式,任取定其中 行(列)(),则由这 行(列)构成的一切 阶子式 与它们所对应代数余子式 乘积之和等于 ,即 其中 .
证明从略,有兴趣者可参见文献[2],第 92 页.
设含有 个未知量的 个线性方程的方程组为 由未知量系数组成的 阶行列式 称为 (1) 的系数行列式.
定理 1.5.1(克拉默法则) 设线性方程组 (1) 的系数行列式 ,则 (1) 有惟一解,且解可用行列式表示为 其中 是把系数行列式 中第 列元素用方程组 (1) 右端相应的常数项代替而得到的 阶行列式,即 从而若 ,, 为某个数域,则解 均属于 .
性质+
若线性方程组 的系数行列式 ,则 (III) 只有零解.
证 由 知,(III) 有惟一解.而 的第 列全为零,所以 由克拉默法则知,惟一解为 故 (III) 只有零解.
推论 齐次线性方程组 (III) 有非零解的充要条件是 . 必要性即性质 1.5.1 的逆否命题;充分性( 时 (III) 必有非零解)将在第 3 章用矩阵的秩给出证明.
公式+
综合定理 1.4.1 和定理 1.4.2 可得下述重要公式 即:本行的元素与自己的代数余子式相乘再求和得 ;本行的元素与另一行对应元素的代数余子式相乘再求和得 .
这称为 阶范德蒙德(Vandermonde)行列式.它表明: 阶范德蒙德行列式 的充要条件为:当 时,有 .
有关连乘号「」的概念和一些性质,建议读者参阅附录一.
对例 1.4.6 的行列式作适当的行互换、列互换可得(设 ,): 即:分块上(下)三角形行列式等于两个对角块行列式之积;分块副对角线行列式等于 乘两个对角块行列式之积.
说明+
利用行列式按行(列)展开,可将求一个 阶行列式归结为求 个 阶行列式.若选取的行(列)元素几乎全为零,就可达到降阶化简的效果.比如 1.2 节中例 1.2.2 就可逐次按第 1 列展开得出结果,例 1.2.3 就可逐次按第 1 行展开得出结果.一般情况下要先利用行列式性质,使之某一行(列)中有较多的零,再按该行(列)展开.
将行列式的计算归结为形式相同而阶数较低的行列式的计算,此方法常称为递推法,所得关系式(如 )称为递推公式.求 时可用递推公式逐次递推,最后归结到 (或 ).§1.6 中又指出:在行列式的某一行(列)几乎全为零时,才考虑使用降阶法(递推法);然而即使在此种情况下,有时化基本形也是可行的,如例 1.4.2 即是.
因这定理在第 3 章中利用逆矩阵的性质可简洁地推得,故此处叙而不证.若希望知道仅用本章知识如何证明克拉默法则,下面给出证明概要.
用 中第 列元素的代数余子式 依次乘方程组 (1) 的 个方程的两边,再把它们相加,利用公式 (1.4.2) 可得方程组 当 时上述方程组 (II) 有惟一解 .而方程组 (1) 的解必是 (II) 的解,故方程组 (1) 如有解,只能是 .为证明 确是 (1) 的解,只要把 代入 (1) 去验证即可.经验证的确适合,故定理得证.
用克拉默法则来解不见得比消元法求解方便(在第 3 章中将介绍较为简单的计算方法),但对某些特殊方程组(如系数行列式为范德蒙德行列式的情形)克拉默法则确有方便之处.克拉默法则的重要性可由性质 1.5.1 略见一斑:它给出了齐次线性方程组只有零解的一个充分条件.
概要:一个概念( 阶行列式);九类可直接求出的行列式;三种计算行列式的方法.
(作者引华罗庚《学与识》:「由薄到厚」是学习、接受的过程,「由厚到薄」是消化、提炼的过程.经过「由薄到厚」和「由厚到薄」的过程,对所学的东西做到懂,彻底懂,经过消化的懂,基础就算是真正打好了.)
设 是由 组成的 阶行列式,则 若 ,则 ,此处 为某个数域.若 中含有变量,则 是一个含有该变量的多项式.因而计算行列式,或求行列式就是要把这个数(或多项式)计算出来.
(1)上(下)三角形行列式:主对角线上方(下方)全为零的三角形行列式,其值等于主对角线上元素的乘积 (2)副对角线型行列式:除副对角线外其余元素全为零,其值为 (3)(4)分块上(下)三角形行列式:对角线上有两块非零方阵,其值等于两个对角块行列式之积 (5)(6)分块副对角线型行列式(「」块在左下或右上),其值等于 ,其中 为 阶、 为 阶方阵.
以上八类行列式称为基本形.另一类已计算出的行列式是范德蒙德行列式
上述方法局限于九类行列式,一般行列式的计算还是要利用行列式性质,包括展开定理来化简.基本思路有三:
(1)化基本形 将行列式归结化简为上述九类行列式的表达式,利用九类行列式的结果求得.特别如例 1.3.2、例 1.3.3 和例 1.3.4 将行列式化为上三角形的方法,对全由数字组成的行列式具有普遍意义.对于一个 较大的 阶行列式用计算机计算时,方法之一就是将该行列式化为上三角形来计算的(具体做法可参见第 2 章定理 2.1.2 的证明).当 较小时,即使用手算,该方法也不困难,所以是一个普遍适用的方法.
(2)降阶 利用行列式性质将阶数较高的行列式的某一行(列)化为有尽可能多的零,然后按该行(列)展开,逐次降阶,而三阶、二阶行列式有简单的计算公式,从而推导出高阶行列式的计算式,如例 1.4.1.
(3)递推 在降阶中找出高阶行列式 与低阶行列式 的关系,即递推公式.利用递推公式递推出 ,如例 1.4.2 和例 1.4.3.
这些转化过程是要根据不同题型的不同的特点,采用不同的技巧,综合使用.这里难以(其实也不可能)一一罗列,仅举三例,管中窥豹,略见一斑.
例题
例 1.4.1★★☆☆☆计算题四阶行列式降阶计算展开题目与讲解
例 1.4.1
计算行列式
解 先把第 4 列加到第 1 列、第 4 列加到第 3 列: 再以第 2 行减去第 1 行的 4 倍,然后按第 2 行展开: 故 .
例 1.4.2★★★★☆计算题递推法求n阶行列式展开题目与讲解
例 1.4.2
计算 阶行列式 此处 的下标 表示 的阶数,从而 就表示 阶行列式 下文的 除特别说明(如 1.5 节的克拉默法则)外,意义同此.
解法一(按第 1 列展开) 第 1 列只有第 1 行的 与第 行的 非零,故 这式子对任何 都成立,故有 因 ,所以
解法二(化为下三角形) 依次作 ,,,,得 其中 .再按第 1 列展开: 即
例 1.4.3★★★☆☆计算题范德蒙德行列式推导展开题目与讲解
例 1.4.3
计算 阶行列式 这个行列式称为 阶范德蒙德(Vandermonde)行列式.
解 从第 行起,依次将前一行乘以 后减到下一行(即 ,,,),得 按第 列展开,再提出各列公因子可得 此处 为 阶的范德蒙德行列式.上式即为递推公式,于是同样有 如此继续可得 这表明 阶范德蒙德行列式 的充要条件为:当 时,有 .
例 1.4.4★★☆☆☆计算题范德蒙德行列式的应用展开题目与讲解
例 1.4.4
计算行列式
解 是 4 阶范德蒙德行列式 的转置,所以 即 .
例 1.4.5★★★☆☆计算题拉普拉斯定理降阶展开题目与讲解
例 1.4.5
计算 4 阶行列式
解 取定 的第 1 行、第 4 行,由这两行构成的所有 2 阶子式应有 个,但其中 5 个 2 阶子式为零,余下 1 个为 它对应的代数余子式为 由拉普拉斯定理知
例 1.4.6★★★☆☆计算题分块行列式的计算展开题目与讲解
例 1.4.6
计算行列式
解 注意到 的右上角的 个元素全为零,故选取 的前 行.由这 行构成的所有 阶子式中,仅有左上角的一个可能不为零,于是据拉普拉斯定理有 即分块上三角形行列式等于两个对角块行列式之积(指数 为偶数,故符号为正).
推论 对例 1.4.6 的行列式作适当的行互换、列互换可得:
例 1.4.7★★☆☆☆判断题行列式相等关系判断展开题目与讲解
例 1.4.7
已知 则与 相等的行列式是______.
解 计算得 ,,,.所以应填 .
( 为下三角形,; 按第 1 行展开得 ; 为分块上三角形(右上为零块),; 为分块副对角线型,取 ,符号为 ,故 .)
例 1.5.1★★☆☆☆计算题克拉默法则解四元方程组展开题目与讲解
例 1.5.1
求解线性方程组
解 计算系数行列式 及 由克拉默法则得,方程组惟一解为
例 1.5.2★★★☆☆计算题范德蒙德型方程组求解展开题目与讲解
例 1.5.2
设 ,求解方程组
解 该方程的系数行列式 为 阶范德蒙德行列式 的转置,故 由克拉默法则知有惟一解.
计算得:,当 时 (第 列与第 1 列全同,故 .)
故方程组惟一解为 ,.
例 1.5.3★★☆☆☆计算题齐次方程组只有零解的条件展开题目与讲解
例 1.5.3
问 取何值时,线性方程组 一定只有零解?
解 该方程组的系数行列式 由性质 1.5.1 知,当 ,且 时该方程组只有零解.
例 1.6.1★★★★★计算题2n阶行列式多种解法展开题目与讲解
例 1.6.1
计算 阶行列式 (未标明处为零;上图为 的示意, 分布在主对角线两端、 分布在副对角线两端.)
解法一(归化为基本形)(1)以第 1 行减第 行、第 2 行减第 行、、第 行减第 行,得 再以第 列加第 列、第 列加第 列、、第 列加第 1 列,得 (2)若 ,则 .
若 ,则以 乘第 1 行加到第 行、乘第 2 行加到第 行、、乘第 行加到第 行,得
解法二(递推)(1)利用拉普拉斯定理,按第 1 行、第 行展开: 反复用递推公式,得 (2)把 按第 1 行展开: 再递推即得 .
(3)先以第 1 行加第 行,得第 行的首元为 、末元为 ;再以第 列减第 1 列,然后按第 行、第 1 列展开并递推,同样得
附记 在用 去乘行列式某行(列)时,必须要有 ( 时需另行讨论).
例 1.6.2★★★★☆计算题三对角行列式递推展开题目与讲解
例 1.6.2
计算 阶行列式
解法一 将 按第 行展开得 从而 将 ② 式代入 ① 式 由 , 得递推公式 ,从而
解法二 将 的第 1 行加到第 2 行上,再将新得的第 2 行加到第 3 行上,如此继续直到将所得新的第 行加到第 行上.这时有
例 1.6.3★★★★☆计算题递推法与拆列法展开题目与讲解
例 1.6.3
计算 阶行列式
解 按 的第 行展开,如例 1.6.2 可得递推公式 递推得
另一种解法是将 的第 列改写为 这样 可拆成两个 阶行列式 与 的和.对 按第 列展开得 .对 将第 行加到第 行上,再将新得的第 行加到第 行上,如此继续直到将新得的第 2 行加到第 1 行上,可将 化为基本形(与例 1.6.2 的解法二是类似的),求出 ,从而得到递推公式 .同样可得结果.
一§2.1 消元法选自 §2.14 个知识分组 · 含例题
定义+
分析上例,我们对方程组施行了三种变换:
(1)交换两个方程的位置;
(2)用一个不等于零的数乘某一个方程;
(3)用一个数乘某个方程后加到另一个方程上.
称这三种变换为线性方程组的初等变换.
由 个数 排成一个 行 列的矩形数阵
称为一个 行 列(或 )矩阵,简记为 . 横写的称为行,从上到下分别称为第 1,第 2,,第 行. 竖写的称为列,从左到右分别称为第 1,第 2,,第 列. 是位于第 行第 列的元素.
对照线性方程组的初等变换引入下面的定义.
矩阵的初等行(列)变换是对一个矩阵施行下列变换:
(1)交换矩阵的两行(列),如第 ,第 行(列)的位置. 记为 ,简称为互换;
(2)用一个不等于零的数 乘矩阵的某一行(列),如第 行(列),即用 乘矩阵第 行(列)的每一个元素. 记为 ,简称为倍乘;
(3)用某一个数 乘矩阵的某一行(列),如第 行(列)后加到另一行(列),如第 行(列)上,即用 乘矩阵的第 行(列)的每一个元素后加到第 行(列)的对应元素上. 记为 ,简称为倍加.
为了描述形如 (2.1.4) 的矩阵 ,引入概念.
设 矩阵 的前 行均不全为零,其余行全为零. 的第 行第 1 个非零元素为 满足
则称 为阶梯形矩阵,且称 为阶梯头.
若阶梯形矩阵 的每一个阶梯头均为 1,且阶梯头所在的列其他元素均为零,则称 为约化阶梯形矩阵(也称为行最简形).
定理+
一般地由初等代数知识可推知以下定理成立.
初等变换把一个线性方程组变为一个与它同解的线性方程组.
设 ,且 不全为零. 通过初等行变换和列互换能把 化为
证 若 ,则可开始讨论,否则因 不全为零,故必有某个 . 通过适当的行互换、列互换可使这个非零元素位于矩阵左上角,再开始讨论. 用 乘第 1 行,然后将第 行加上第 1 行的适当倍数 ,矩阵 化为
此处 是一个 矩阵.
若 的元素全为零,则定理得证. 此时 . 否则对 重复对 的讨论. 如此继续, 可化为
再将矩阵的第 行分别减去第 行的 倍, 倍,, 倍;将第 行分别减去第 行的 倍, 倍,, 倍,如此等等,即可把矩阵化为矩阵 . 定理得证.
说明+
上一章我们只讨论了方程个数与未知量个数相等,且系数行列式不为零的线性方程组解的公式. 这一章我们要讨论一般线性方程组
解这种线性方程组,基本的也比较方便的方法还是我们中学就熟悉的消元法.
这样消元法的实质是利用初等变换化简线性方程组. 即对给定的线性方程组反复施行初等变换,得到一连串与原线性方程组同解的线性方程组,使得某些未知量在线性方程组中出现次数逐渐减少,最终得到容易求出解的线性方程组. 而该线性方程组的解即为原线性方程组的解.
据此我们来研究初等变换能把一般线性方程组 (2.1.1) 化简到何种形式,进而解决 (2.1.1) 的求解问题.
线性方程组 (2.1.1) 有没有解及有些什么样的解,完全决定于其未知量的系数和常数项. 因此在讨论线性方程组,如消元时主要研究它的系数和常数项的变化.
用线性方程组 (2.1.1) 未知量的系数可排成如下一个表
用 (2.1.1) 未知量的系数和常数项可以排成
为了区分系数和常数,两者之间用虚线分隔.
矩阵是由 个数组成的一个整体概念,所以两个 矩阵 和 当且仅当 ,才认为 .
于是可将矩阵 (2.1.2) 称为线性方程组 (2.1.1) 的系数矩阵,记为 . 将矩阵 (2.1.3) 称为线性方程组 (2.1.1) 的增广矩阵,记为 . 线性方程组的增广矩阵显然完全能够代表这个方程组.
显然对一个线性方程组施行一个初等变换,相当于对它的增广矩阵施行一个对应的初等行变换. 而化简线性方程组相当于用初等行变换化简它的增广矩阵.
对于一个线性方程组施行初等变换的目的是消元,也就是把方程组左端化简,对应地说用初等行变换化简线性方程组的系数矩阵. 此时为了叙述方便,除了初等行变换外,还允许交换系数矩阵的两列,而这相当于方程组中未知量重新编号,所以对线性方程组的解没有实质性的影响.
对一个矩阵用初等行变换和列互换化简能为何种形式?一般情况有如下结论.
据此定义 (2.1.4) 的矩阵 为约化阶梯形矩阵,同样地下到矩阵均为阶梯形矩阵,且后两个矩阵为约化阶梯形
从解线性方程组的角度看,定理 2.1.2 是说 个线性方程,可化简(归结)为 个线性方程来求解. 至此就会产生这样一个问题: 这个数是由原线性方程组所唯一确定,还是随着不同的初等行(列)变换过程而变化的?或者问一个矩阵用初等行(列)变换化简为阶梯形矩阵,这个阶梯形矩阵中不全为零的行数是否唯一确定?为此我们将在下一节引入一个概念来解决此问题.
例题
例 2.1.1 用消元法解线性方程组★★☆☆☆计算题展开题目与讲解
例 2.1.1 用消元法解线性方程组
解线性方程组
(I) 中自上而下各方程依次记为 ①,②,③,④.
解 首先消去 ①,③,④ 中的 . 为此 ② 加到 ① 上得 ⑤,② 加到 ③ 上得 ⑥,② 加到 ④ 上得 ⑦,并交换 ②,⑤ 位置,这样由 (I) 得到与其同解的方程组
其中自上而下各方程依次为原来的 ②,⑤,⑥,⑦.
继续消去 ⑥,⑦ 中的 . 为此 ⑤ 加到 ⑥ 上得到 ⑧,⑤ 加到 ⑦ 上得到 ⑨,即得与 (II) 同解的
其中自上而下各方程依次为 ②,⑤,⑧,⑨.
(III) 就容易求解. 因 ⑨ 是一个恒等式,故求解方程组时可不考虑. 将 ⑤ 与 ⑧ 一起加到 ② 上,将 ⑧ 加到 ⑤ 上,⑧ 得同解的
并且由前述知,(IV) 的解即 (I) 的解. 从而得出 (I) 的解为
二§2.2 矩阵的秩选自 §2.25 个知识分组 · 含例题
定义+
在一个 矩阵中,任取 行 列 ,位于这些行列交叉处的元素按原来位置构成的 阶行列式称为这个矩阵的一个 阶子式.
一个矩阵 中不为零的子式的最大阶数称为这个矩阵的秩,记为 . 若一个矩阵没有不等于零的子式(相当于该矩阵的元素全为零),就认为这个矩阵的秩为零.
按此定义阶梯形矩阵的秩为其不全为零的行的行数.
定理+
由性质 2.2.1 可得出矩阵 的秩为 的一个等价描述.
的充要条件为 有 阶子式不为零,而所有的 阶子式(如果有)全为零.
前已阐明 . 下面将证明 也是线性方程组 (2.1.1) 的系数矩阵 的秩. 为此只需证明下面的定理.
初等行(列)变换不改变矩阵的秩.
证 对三种初等行变换逐个证明.
(1)互换. 设矩阵 经 得到 ,则 中任何一个子式或为 中的一个子式,或经过适当的行变换可成为 的一个子式. 反之亦然,故两者最多只能有符号差别,而是否为零的性质不变. 因此 .
(2)倍乘. 设矩阵 经 得到 ,则 中任何一个子式或为 的一个子式,或为 中相应子式的 倍. 反之亦然,现 ,因而两者是否为零的性质不变. 故 .
(3)倍加. 设矩阵 经过 得到 . 设 . 现考虑 中任意一个 阶子式(如果有),则 有三种可能:
1) 不包含 中的第 行元素. 这时 为 的一个 阶子式,故 .
2) 包含 中的第 行元素,同时也包含 中的第 行元素. 这时可由行列式性质 6 得,.
3) 包含 中的第 行元素,但不包含 中的第 行元素. 此时
记为 ,其中 为 的一个 阶子式,故 . 而 经适当行交换后为 的一个 阶子式,用行列式性质 2 知,. 从而 .
综上所述 中所有 阶子式全为零,所以 .
另一方面 经 得到 . 同理可得 . 从而 .
至此我们证明了初等行变换不改变矩阵的秩. 同理可证初等列变换不改变矩阵的秩. 定理得证.
性质+
在确定矩阵秩时,用下面的性质是简便的.
设 是 矩阵.
(1)若 有 阶子式不为零,则 .
(2)若 的所有 阶子式全为零,则 .
证 (1)是显然的.
(2)因 的任意一个 阶子式(如果有),可按定理 1.4.1 展开为 个 阶子式与一些数相乘后的和,从而必为零. 据此可推出 的任意一个阶数大于 的子式(如果有)必为零. 所以 的不为零的子式的阶数 ,即 .
由定义 2.2.1 可直接得出下述性质.
设 是 矩阵,则 ,.
设 是 矩阵,则
(1) 的充要条件为 .
(2) 的充要条件为 .
称 的 矩阵为满秩矩阵.
说明+
在 2.1 节中约化阶梯形矩阵 (2.1.4)
中,由第 ,第 ,,第 行;第 ,第 ,,第 列组成的 阶子式为
但矩阵 不含阶数高于 的非零子式. 这是因为当 ,或 时,矩阵 根本不含阶数高于 的子式;而当 ,且 时,矩阵 的任何一个阶数高于 的子式都至少有一行元素全为零,因而该子式必为零. 这样 为矩阵 中不为零的子式的最大阶数.
同样道理可以证明:前 行均不全为零,其余行全为零的阶梯形矩阵不为零的子式的最大阶数为 .
现在我们解答了上节所提出的问题:将一个线性方程组的增广矩阵经过一系列初等行变换和列互换,最后得到阶梯形矩阵中由不全为零组成行的个数 即为增广矩阵的秩,从而 是由线性方程组唯一确定的.
接下来讨论矩阵秩的一些简单性质和求一个矩阵秩的方法.
定理 2.2.2 给出了求矩阵秩的一个常用方法:将矩阵通过初等行(列)变换化为阶梯形,阶梯形矩阵的秩为其不全为零的行的个数,而所得阶梯形矩阵的秩即为原矩阵的秩.
注记 1.3 节例 1.3.5 计算行列式
方法二中的化简和这里对矩阵 所施行的变换非常类似,但前者化简过程可用等号连结,这里只能用箭头表示,因施行初等变换后的矩阵改变了.
例题
例 2.2.1 求含参数矩阵的秩★★☆☆☆计算题展开题目与讲解
例 2.2.1 求含参数矩阵的秩
设矩阵
求 .
解 对 依次施行 ,,得
再施行 ,得
最后交换第 1,3 两列(),得
据此,当 ,且 时,;当 时,;当 时,.
例 2.2.2 求 $a$ 在对角线上、$b$ 在其余位置的 $n$ 阶矩阵的秩★★★★☆计算题展开题目与讲解
例 2.2.2 求 在对角线上、 在其余位置的 阶矩阵的秩
求 矩阵
的秩.
解 对 依次施行 ,,,,得
再施行 ,得
(1) 时:若 ,则 ;若 ,则 .
(2) 时:若 ,则 ;若 ,则 .
三§2.3 解线性方程组选自 §2.33 个知识分组 · 含例题
定理+
线性方程组 (I) 有解 .
在有解条件下
(1)(I) 有惟一解 (未知量个数).
(2)(I) 有无穷多个解 (未知量个数),此时 (I) 的解中有 个自由未知量.
(3)若 ,, 为某个数域,且自由未知量(如果有)均在 中取值,则所有解中的数均属数域 .
证 从上面推导知仅需证明 (1),(2) 的必要性及 (3) 即可.
现用反证法证 (1) 的必要性:若 (I) 有惟一解,但 ,则 . 据 (2) 的充分性知 (I) 有无穷多个解,此为矛盾. 故 (1) 的必要性成立.
同理可证 (2) 的必要性成立.
现证 (3). 当 (I) 有解时,据前述知解是由 , 经过加、减、乘、除四则运算得到的. 故当 , 均属 ,且自由未知量(如果有)均在 中取值时,所有的解中数均属 .
上述定理表明:线性方程组 (I) 的解是由它的增广矩阵 的秩和系数矩阵 的秩决定的. 为了求出 和 ,通常是对 施行初等行变换化阶梯形.
在线性方程组 (I) 中若常数项 ,则称其为齐次线性方程组(否则称其为非齐次线性方程组). 齐次线性方程组是一类特殊的线性方程组,所以可直接应用定理 2.3.1 来讨论它的解. 首先齐次线性方程组是一定有解的,因为
是它的一组解,这个解称为零解. 如果齐次线性方程组还有其他解,则称为非零解. 这也表明齐次线性方程组解惟一相当于它只有零解. 从而当齐次线性方程组有非零解时,它的解就不惟一,据定理 2.3.1 它就有无穷多个解. 故可有如下定理.
齐次线性方程组
解的情况如下:
(1)(III) 只有零解 (未知量个数).
(2)(III) 有非零解 (未知量个数),此时解中有 个自由未知量.
(3)若 , 为某个数域,且自由未知量(如果有)均在 中取值,则所有的解中的数均属 .
此定理表明:齐次线性方程组的解是由它的系数矩阵 的秩决定的. 因此解齐次线性方程组通常是对 施行初等行变换化阶梯形.
当 时,我们将性质 2.2.3 运用于定理 2.3.1 和定理 2.3.2 可得下面结论.
当 时,(I) 有惟一解 .
当 时,(III) 只有零解 .
(III) 有非零解 .
易见推论 1 是第 1 章克拉默法则的加强. 推论 2 是第 1 章性质 1.5.1 的加强.
说明+
有了前两节的准备,现在就可以来解一般线性方程组:
记 (1) 的系数矩阵为 ,增广矩阵为 . 设 . 综合定理 2.1.2 和定理 2.2.2 知,可通过初等行变换和列互换把 化为
同样的这些变换把 化为
这表明 (1) 与下列线性方程组 (II) 同解(最多只有未知量编号次序上的差别):
易见 (II) 有解的充要条件为:. 这相当于说 ,从而可得 (I) 有解的充要条件为:.
在有解条件下,进而讨论如何确定解.
1. 若 ,方程组中如有恒等式就去掉,则 (II) 成为
这表明此时 (II) 有惟一解,从而 (I) 有惟一解:.
2. 若 ,方程组中如有恒等式就去掉,则 (II) 成为
移项得
这表明 可作为自由未知量. 将自由未知量任意给定的一组数 代入 (2.3.1),即可求得 相应的值,把这两组数合并起来就得到 (II) 的一组解. 因此这时 (II),从而也就是 (I) 有无穷多个解. 这些解的全体,即通解可表示为
其中 为任意常数(常限定在某个数域中,下文不再说明).
引入记号
“”意指命题 成立可推出命题 成立;
“”意指命题 成立的充要条件为命题 成立.
于是我们可有下述定理.
例题
例 2.3.1 按现在的说法解例 2.1.1 中的线性方程组★★☆☆☆计算题展开题目与讲解
例 2.3.1 按现在的说法解例 2.1.1 中的线性方程组
按现在的说法解例 2.1.1 中的线性方程组
解 写出增广矩阵 ,并对 施行初等行变换化阶梯形.
依次施行 ,,,(交换第 1,2 两行),得
再施行 ,,得
最后施行 ,,,得
这表明 未知量个数,故有惟一解. 解为
如上述线性方程组的第 4 个方程改为 ,而其余方程不变,得到一个新的线性方程组. 记其系数矩阵为 ,增广矩阵为 . 对这个线性方程组的增广矩阵 进行初等行变换.
依次施行 ,,,,得
再施行 ,,得
这表明 ,. 由 知,该线性方程组无解.
例 2.3.2 解线性方程组(五个未知量,无穷多解)★★★☆☆计算题展开题目与讲解
例 2.3.2 解线性方程组(五个未知量,无穷多解)
解线性方程组
解 对增广矩阵 施行初等行变换化为阶梯形.
依次施行 ,,,得
再施行 ,,得
再施行 ,,得
记为 .
这表明 ,,未知量个数 . 故 未知量个数. 所以此方程组有无穷多个解,且有 个自由未知量.
同时上式也表明虽然 ,但 的左上角的 3 阶子式为零. 为此按定理 2.3.1 论述的做法要将 和 编号互换(即将 的第 3 列和第 4 列互换),再继续进行初等行变换,得出解后再将 和 的编号换回来. 这样做既麻烦又易混淆,在实际解题中不采用. 由于矩阵 的第 1,第 2,第 3 行;第 1,第 2,第 4 列组成的 3 阶子式不为零,我们就对它再进行如下的初等行变换为约化阶梯形矩阵
对 依次施行 ,,,得
该矩阵所对应的线性方程组为
可将 , 作为自由未知量,移项得
所以通解可表示为
其中 , 为任意常数.
特别要指出的是若当 时, 中不为零的 阶子式未必惟一,如例 2.3.2 中由 的第 1,第 2,第 3 行;第 1,第 3,第 4 列构成的 3 阶子式也不为零. 也可以对它再进行化简,同样可得到方程组的通解,此时无非自由未知量是 , 而已. 虽然两者通解表达形式不一样,但两者所表示的解集合是相同的(解集合是相同的理由将在第 4 章进一步阐明),所以都可作为原线性方程组的解.
例 2.3.3 解齐次线性方程组★★★☆☆计算题展开题目与讲解
例 2.3.3 解齐次线性方程组
解齐次线性方程组
解 此即例 2.3.2 中所有常数项为零的线性方程组,故对其系数矩阵施行初等行变换最后可得
所以,通解为
其中 , 为任意常数.
例 2.3.4 含参数的线性方程组,$\lambda$ 取何值时有解★★★★☆计算题展开题目与讲解
例 2.3.4 含参数的线性方程组, 取何值时有解
下面介绍一类方程,含参数的线性方程组的解法.
取何值时,线性方程组
无解,有惟一解,有无穷多个解?在有解时,求出解.
解 方法一 将 (1) 的增广矩阵 用初等行变换化为阶梯形
据此 (1) 当 时,,. 由 知,此时 (1) 无解.
(2)当 ,且 时,. 故此时 (1) 有惟一解,与 (1) 同解的方程组为
解此方程组得 (1) 的惟一解为
(3)当 时,. 故此时 (1) 有无穷多个解. 与 (1) 同解的方程组为
解此方程组得 (1) 的解为
其中 为任意常数.
方法二 因方程个数与未知量个数相等,故可用克拉默法则. 为此首先计算系数行列式
(1)当 ,且 时,,由克拉默法则知,(1) 有惟一解. 惟一解可用克拉默法则求得(一般计算量较大),也可将增广矩阵 化为阶梯形(参见方法一之 (2))求解.
(2)当 时,(1) 为
将其增广矩阵 用初等行变换化为阶梯形:
据此 ,. 由 知,此时 (1) 无解.
(3)当 时,(1) 为
将其增广矩阵 用初等行变换化为阶梯形:
据此 . 故 (1) 有无穷多个解. 由与 (1) 同解的线性方程组为
知,(1) 的解为
其中 为任意常数.
注记 此例中方法一比方法二简便.
最后要指出线性方程组理论应用非常广泛,建议有兴趣的读者参阅附录三.
四§2.4 概要及小结选自 §2.42 个知识分组 · 含例题
说明+
概要:解线性方程组的方法(消元法);线性方程组理论(秩).
解一般线性方程组所用方法就是中学所讲的消元法. 其原理是通过消元将线性方程组简化为容易求解的同解方程组,解同解方程组即可得原方程组的全部解. 在线性代数中将上述消元过程转化为矩阵(线性方程组的增广矩阵)的初等行变换. 这不仅使消元过程书写简便明了,更重要的是证明了消元法最后所得的独立方程的个数就是增广矩阵的秩,因而由原方程组惟一确定,不受消元过程的影响. 我们在第 4 章中还将对此内涵作进一步的阐明.
1. 一般线性方程组
解的情况如下:
方程组 (1) 有解 ,其中
在有解条件下
方程组 (1) 有惟一解 (未知量个数).
方程组 (1) 有无穷多个解 (未知量个数),此时有 个自由未知量.
特别地当 (即方程个数与未知量个数相等)时有
方程组 (1) 有惟一解 (克拉默法则包含其中).
2. 齐次线性方程组
(II) 是 (1) 中 的特例,故可直接利用 (1) 的结论. 注意到 (II) 一定有解,零解就是其中之一,故有
(II) 只有零解(等价于有惟一解)(未知量个数).
(II) 有非零解(等价于有无穷多个解)(未知量个数),此时有 个自由未知量.
特别地当 (即方程个数与未知量个数相等)时有
(II) 只有零解 .
(II) 有非零解 .
综合所述我们可将解线性方程组的过程用图 2.1 表示.
非齐次线性方程组(系数矩阵为 ):写出增广矩阵 → 用初等行变换化为阶梯形矩阵 → 判断 与 :
- 若 ,则原方程组无解;
- 若 ,则继续用初等行变换化为约化阶梯形矩阵,再判断 是否等于未知量个数:
- - 若 未知量个数,则原方程有惟一解,写出约化阶梯形矩阵对应的方程组即可得出解;
- - 若 未知量个数,则原方程有无穷多解,写出约化阶梯形矩阵对应的方程组即可得出解.
齐次线性方程组(系数矩阵为 ):写出系数矩阵 → 用初等行变换化为约化阶梯形矩阵 → 判断 是否等于未知量个数:
- 若 未知量个数,则原方程组只有零解;
- 若 未知量个数,则原方程组有非零解,可写出通解.
例题
例 2.4.1 含参数的齐次线性方程组,$a$ 取何值时有非零解★★★★★计算题展开题目与讲解
例 2.4.1 含参数的齐次线性方程组, 取何值时有非零解
作为本章知识的综合运用,我们来解未知量系数或常数项含有参数的线性方程组. 这种含参数的方程组不是一个而是一类方程组,所以它的解和参数有关,需要讨论. 我们在例 2.3.4 中已解过这类题,下例也是.
设有齐次线性方程组
试问 取何值时,(1) 有非零解,并求出其通解.
解 方法一 将 (1) 的系数矩阵 只用初等行变换化简
依次施行 ,,,,得
记为 .
据此当 时,,故 (1) 有非零解,与 (1) 同解的方程组为
故得 (1) 的通解为
其中 为任意常数.
当 时,再对矩阵 作初等行变换:用 乘第 行 ,得
再将第 1 行减去第 行,得
据此当 时,,故 (1) 有非零解,与 (1) 同解的方程组为
故得 (1) 的通解为
其中 为任意常数.
方法二 因方程个数与未知量个数相等,故可用克拉默法则,为此首先计算行列式
据此当 ,即 或 时,(1) 有非零解.
当 时,与 (1) 同解的方程组为
故得 (1) 的通解为
其中 为任意常数.
当 时,对系数矩阵 作初等变换
据此与 (1) 同解的方程组为
故得 (1) 的通解为
其中 为任意常数.
此例和例 2.3.4 均表明解含参数的线性方程组一般可有两种方法:
方法一 将增广矩阵(非齐次线性方程组),或系数矩阵(齐次线性方程组)只用初等行变换化为阶梯形矩阵.
方法二 当方程个数与未知量个数相等时,用克拉默法则.
一§3.1 矩阵的运算选自 §3.16 个知识分组 · 含例题
定义+
设 为数域,用 中数 构成一个 行 列的矩形数阵
就称为 上的一个 矩阵。当 时,称其为实矩阵;当 时,称其为复矩阵;如前所述它可简记为 ,如仅需表明矩阵的行数和列数,则可简记为 。特别地当 时, 称为 阶方阵,或 阶矩阵。
对 阶方阵 而言,可联系一个 阶行列式
记为 ,称为方阵 的行列式。
上的两个矩阵只有在它们有相同的行数和列数,且对应位置上的元素都相等时,才认为是相等的。即若
则
我们将元素全为零的矩阵称为零矩阵,记为 (有时为标明行数与列数记为 )。若矩阵 ,则称 为 的负矩阵,记为 。容易得出 。
是数域 上的数, 是 上的 矩阵。 与 的乘积指的是矩阵 ,记作 ,称为矩阵的数量乘积,简称为数乘。
易见 是数域 上的 矩阵。
设 , 均为数域 上 矩阵。它们的和指的是矩阵 ,记为 ,求两个矩阵和的运算称为矩阵的加法。
易见 也是数域 上的 矩阵。若将数域 上的 矩阵的全体记为 ,则上述性质可表述为: 关于加法封闭。
数域 上 矩阵 与 矩阵 的乘积 ,是指这样一个 矩阵 ,它的第 行第 列的元素 等于 的第 行元素与 的第 列对应元素乘积之和,即
其中 。记为 ,求两个矩阵乘积的运算称为矩阵的乘法。
注意 只有当第一个矩阵的列数等于第二个矩阵的行数时,两个矩阵才能相乘。
在矩阵乘法中存在着类似数 1 性质的矩阵,它就是主对角线上元素都是 1,其余位置元素均为零的 阶方阵
称为 阶单位矩阵,记为 (简记为 )。
称矩阵
为数量矩阵。称矩阵
为 阶对角矩阵,简记为 。
对于 阶方阵 而言,自乘 有意义,故可导入方阵 的 次幂的概念。规定
(即 个 相乘),约定 。
设 ,系数 均为数域 中的数, 为 上一个 阶方阵,那么
有意义,它仍为 上一个 阶方阵,记为 。即
称为 的矩阵多项式。
设 矩阵
将 的行与列依次互换位置,得到 矩阵
这个矩阵称为 的转置矩阵,记为 (或 )。
例如,矩阵 的转置矩阵 。
矩阵(行向量) 的转置矩阵为 矩阵(列向量)
这表明 的第 1 行第 列元素是 的第 行第 1 列元素,一般地矩阵 的第 行第 列元素与 的第 行第 列元素相等。即
设 是 阶方阵,若 ,则称 为一个 阶对称矩阵;若 ,则称 是一个 阶反对称矩阵。
定理+
设 ,,则有
(1) 加法交换律 ;
(2) 加法结合律 ;
(3) ;
(4) ;
(5) ;
(6) ;
(7) ;
(8) 。
特别地,这 8 条运算规律对 元行(列)向量均成立。
利用负矩阵我们可以借助加法派生出减法,即规定
于是就有
这就是我们熟悉的移项规则。
设 , 是矩阵,它们的行数和列数使下列各式有意义,则有
(1) 乘法结合律 ;
(2) 乘法对加法分配律 ,;
(3) 。
证 这些性质的证明繁而不难,故仅以 (1) 为例给出证明,其余可自行完成。
设 ,,。容易看出 与 均为 矩阵,因此 (1) 的证明可以归结为证明:
的 行 列元素(记为 ) 的 行 列元素(记为 ),
对 均成立。由矩阵乘法定义计算得
由于双重连加是可交换次序(参见附录一),即得
两个 阶方阵乘积的行列式等于行列式的乘积。即若 为 阶方阵,则 。
证 设 ,,,其中
考虑 阶行列式
据 1.6 节基本形知,。另一方面,将第 列()加上前面 列分别乘 的和,即作 ,得
综上即得 。
设 都是 阶方阵,则
设 为 阶方阵,则 。
证 设 ,则
设 , 是矩阵,它们的行数和列数使下列各式有意义,则有
(1) ;(2) ;
(3) ;(4) ;
(5) 。
证 性质 (1)~(4) 均可由定义直接导出。下面证明性质 (5)。
设 为 矩阵, 为 矩阵,则 和 均为 矩阵,加之
故 。
(1) 对称矩阵的和、数量乘积、方幂仍为对称矩阵;
(2) 反对称矩阵的和、数量乘积仍为反对称矩阵;
(3) 为反对称矩阵,则当 为奇数时, 为反对称矩阵; 为偶数时, 为对称矩阵。
性质+
可直接计算知 有如下性质:
特别地有
易知
从上两式得到:数量矩阵 左乘或右乘矩阵 均为 。这首先表明数量矩阵 乘矩阵 相当于数 和矩阵 作数量乘积,这也是 之所以称为数量矩阵的由来。其次表明数量矩阵和同阶方阵乘法可换。即
对角矩阵之间的运算特别简单,从运算的定义容易推得
注意到
故有 的方幂乘法可换。即
其中 为非负整数。
从上面的例题中可以看出矩阵乘法和我们熟悉的数的乘法运算规律有许多不同之处:
(1) 矩阵乘法交换律不成立。即不是对所有矩阵 都有 。首先当 时, 有意义,而 无意义(如例 3.1.5),无法谈是否相等。其次虽然 和 都有意义,但是当 时,第一个乘积为 矩阵,而第二个乘积为 矩阵(如例 3.1.4),它们不能相等。最后即使 和 都有意义,且都是 矩阵,但两者亦未必相等(如例 3.1.6)。
(2) 矩阵中存在 , 有 (如例 3.1.6)。把有这样性质的矩阵 称作互为零因子。这表明在矩阵论中不能说:若 ,必有 或 。
(3) 乘法消去律不成立,即 ,且有 ,不能导出必有 (例 3.1.6)。
在以上矩阵运算讨论中,我们看到一阶方阵 和数 的运算规律相同,因此有时我们把一阶方阵 视作为数 较为方便。比如说运算结果为一阶矩阵时,可以把它与数等同看待,矩阵符号也常省去。但在运算过程中,还是要按矩阵对待。
公式+
设 ,,则 ,其中
说明+
方阵 和它的行列式 虽然符号上有些类似,但当 时两者是截然不同的概念。 是 中的一个数,而 是 个数按一定顺序构成的数阵。当然两者有一定的联系,如后面我们将看到 是否为零,能反映方阵 的某种特性。
该例表明了矩阵和行列式概念上的差别。
如无特殊说明本书所说矩阵均指数域 上的矩阵。
注意上述矩阵的内涵:单位矩阵 是数量矩阵 (),数量矩阵是对角矩阵,而反之则未必然。当然零矩阵 也是数量矩阵 ()。
由于矩阵乘法的运算规律和数的乘法运算规律不完全相同,故由数的乘法运算规律导出的一些公式未必完全适合矩阵。例如在数中有
但类似公式
在 ()阶矩阵中未必成立(为什么?参见习题 3.1 的第 9 题)。这是在矩阵运算中需要特别注意的。
注记 这一结论容易与行列式的性质 3 混淆,请注意行列式的性质 3 是指
现在所讨论的是
当 时,两者是不同的,所以当 时 ;当 为偶数时,。
我们在上一章已经看到矩阵在解一般线性方程组时所起的作用。然而矩阵的应用不仅限于线性方程组而是多方面的,在后续内容的讨论中,矩阵更是担任了重要角色。更进一步说,矩阵的理论和方法在许多科技领域中都有重要应用。
矩阵之所以如此重要是由于我们在矩阵中引入运算,使之反映了某类事物的客观规律。矩阵的运算是矩阵理论的基石,我们从矩阵的运算开始研究矩阵理论。
当 , 时是我们所熟悉的(欧氏)平面、空间向量(矢量)用坐标表示的加法和数乘。故 矩阵也可称为 元行向量。同样地 矩阵也可称为 元列向量。
例题
例 3.1.1 矩阵与行列式的区别★☆☆☆☆判断题矩阵相等与行列式相等展开题目与讲解
例 3.1.1 矩阵与行列式的区别
设
则 ,,,从而 。但显然有
例 3.1.2 矩阵的数乘与加法★☆☆☆☆计算题数乘与加法的组合运算展开题目与讲解
例 3.1.2 矩阵的数乘与加法
设
则
例 3.1.3 行向量的加法与数乘★☆☆☆☆计算题行向量的线性运算展开题目与讲解
例 3.1.3 行向量的加法与数乘
设 , 均为 矩阵,则
例 3.1.4 列向量与行向量相乘★★☆☆☆计算题列向量乘行向量得方阵展开题目与讲解
例 3.1.4 列向量与行向量相乘
设
求 ,。
解
例 3.1.5 矩阵乘法(BA 无意义)★★☆☆☆计算题乘法可行性与计算展开题目与讲解
例 3.1.5 矩阵乘法(BA 无意义)
设
求 。
解
注记 为 矩阵, 为 矩阵。 的列数不等于 的行数,所以 与 不能相乘,即 无意义。
例 3.1.6 乘法交换律、消去律不成立★★☆☆☆计算题零因子与消去律的反例展开题目与讲解
例 3.1.6 乘法交换律、消去律不成立
设
求 , 及 。
解
例 3.1.7 与给定矩阵可交换的矩阵★★★☆☆计算题可交换矩阵的求解展开题目与讲解
例 3.1.7 与给定矩阵可交换的矩阵
设
试确定所有与 乘法可换的矩阵。即求满足条件 的矩阵 。
解 由题设 , 均有意义,故 应是 矩阵。设
则由 得
由矩阵相等定义知
令 ,,于是所有与 乘法可换的矩阵为
其中 为任意常数。
例 3.1.8 矩阵多项式的计算★★☆☆☆计算题矩阵多项式求值展开题目与讲解
例 3.1.8 矩阵多项式的计算
设 ,,求 。
解
例 3.1.9 由 AB+2E=O 求 |B|★★★☆☆计算题行列式的乘法公式展开题目与讲解
例 3.1.9 由 AB+2E=O 求 |B|
设 均为 ()阶方阵,且 ,若
求 。
解 将题设条件 移项得:。两边取行列式得
因 ,所以 。
例 3.1.10 |A+B|≠|A|+|B|★☆☆☆☆判断题行列式对加法不线性展开题目与讲解
例 3.1.10 |A+B|≠|A|+|B|
设
则
有
故
例 3.1.11 各列元素之和为 1 的矩阵★★★☆☆证明题列和恒定的矩阵乘法展开题目与讲解
例 3.1.11 各列元素之和为 1 的矩阵
设 阶方阵 ,,矩阵 和 的每列元素之和都等于 1。设 为 矩阵,且每个元素都为 1。
(1) 计算 ,。
(2) 证明:矩阵 的每列元素之和都等于 1。
解 由已知得
(1)
同理可得 。
(2) 设 ,则有
另一方面,利用 (1) 可有
从而 ()。
思考 设 阶矩阵 的每列元素之和都等于 , 阶矩阵 的每列元素之和都等于 ,则 每列元素之和等于什么?
例 3.1.12 求 (AB)^n★★★★☆计算题秩为 1 矩阵的高次幂展开题目与讲解
例 3.1.12 求 (AB)^n
设
求 ()。
解
注意到
故
从而
注记 本例表明若 均为 矩阵, 均为数,则
此结论在下文 4.2 节性质 4.2.2 和 4.2.3 中将扮演重要角色。
二§3.2 可逆矩阵选自 §3.25 个知识分组 · 含例题
定义+
设 是 阶方阵,若存在 阶方阵 ,使得 ,则称 为可逆矩阵, 为 的一个逆矩阵。
设 ,称矩阵
为 的伴随矩阵,其中 是 的行列式 中元素 的代数余子式。
定理+
阶方阵 可逆 。且当 可逆时
其中 为 的伴随矩阵。
证 必要性。因 可逆,故有 存在使得 。两边取行列式得
从而 。
充分性。利用矩阵乘法及行列式按一行展开(1.4.1)有
现 ,故 。同样计算知,。按定义 3.2.1 知, 可逆,其逆为 。
设 均为 阶方阵。若 ,则 均可逆,且 ,。
证 由 ,两边取行列式得 。故 ,。据定理 3.2.1 知, 均可逆,从而 均存在。在等式 两边左乘 得 ,即 。同理在等式 两边右乘 可得 。
这推论表明若要证明" 可逆,且其逆为 "这样的结论成立,只要验算一下 即可。于是下述性质为显然。
性质+
若 是可逆矩阵,则 的逆矩阵是惟一的。这是因为若 均为 的逆矩阵,则有
从而
由此可将 的惟一逆矩阵记为 。
若 为可逆矩阵,则矩阵方程 有惟一解 ;矩阵方程 有惟一解 。若 均可逆,则矩阵方程 有惟一解 。
请对照中学数学:当 时,解线性方程 。
(1) 设 为可逆矩阵,则有如下性质:
1) 可逆,且 ;
2) 时, 可逆,且 ;
3) 可逆,且 ;
4) ;
5) 若 ,则 ;
6) 若 ,则 。
(2) 若 都是 阶可逆矩阵,则 可逆,且 。
(3) 若 都是 阶可逆矩阵,则 可逆,且
(4) 对角矩阵 可逆 。
当 可逆时,。
此处 (1) 之 5) 说可逆矩阵不是零因子。(1) 之 6) 说对可逆矩阵而言,矩阵乘法消去律成立(相当于在做除法)。
回忆 2.2 节性质 2.2.3,我们阐明了:
阶方阵 是满秩的 。
这样可逆矩阵与满秩矩阵两个概念是一致的, 阶可逆矩阵 的秩为 。
利用定理 3.2.1,可简洁地证明第 1 章的克拉默法则。首先利用矩阵运算规律,可将线性方程组
改写为
其中
克拉默法则的条件是 ,这相当于说 可逆。故 存在,在 两边左乘 得 ,即
从而
最后一个等式是用 按第 列展开得到的。
解的惟一性也是清楚的。若 均为 的解,则 ,,从而 。两边同时左乘 即可得:。
按定理 3.2.1 对一个给定数域 上的 阶方阵 ,判断其是否可逆,只要计算 即可。但是当 可逆时,用该定理确定 的计算量随着 增大迅速增加,但是当 时结论非常简单。
最后要指出的是:不是方阵就不论及可逆的概念,即使在方阵中,也不是所有的方阵都是可逆矩阵。可逆矩阵是方阵中那些行列式不为零的矩阵。
公式+
设 ,则 。当 时 可逆,其逆为
例题
例 3.2.1 二阶矩阵的逆★★☆☆☆计算题二阶方阵求逆公式展开题目与讲解
例 3.2.1 二阶矩阵的逆
设 ,则 。当 时 可逆,其逆为
例 3.2.2 由 A*BA=2BA−12E 求 B★★★★☆计算题矩阵方程的化简求解展开题目与讲解
例 3.2.2 由 A*BA=2BA−12E 求 B
已知 ,其中 ,求 。
解 由 整理得,。故 可逆, 可逆。在该式两边左乘 ,右乘 得
由
得出
故
注记 本例所用的方法可概括为:先化简,再代入计算。这种方法在解项数多于 2 的矩阵方程时经常用到。
例 3.2.3 由 A²−2A−3E=O 判断可逆并求逆★★★☆☆证明题由多项式关系判定可逆展开题目与讲解
例 3.2.3 由 A²−2A−3E=O 判断可逆并求逆
设 阶方阵 满足 。
(1) 证明: 为可逆矩阵,且求出 ;
(2) 证明: 为可逆矩阵,且求出 。
解 (1) 将题设等式移项得:,再恒等变形得
据重要推论知, 为可逆矩阵,且 。
(2) 类似 (1) 将题设等式恒等变形得
据重要推论知, 为可逆矩阵,且 。
三§3.3 矩阵的分块选自 §3.34 个知识分组 · 含例题
定义+
设 是一个矩阵,我们在它的行或列之间加上纵、横贯穿整个矩阵的虚线,把这个矩阵分成若干小块,如
可以分成若干小块。被这种方法分成若干小块的矩阵称为一个分块矩阵。
在一个分块矩阵里,每一小块也可以看成一个矩阵(称为子矩阵)。如上例中,若记
则有
给了一个矩阵可以有多种不同的分块方法。为了方便,可将 自己视为 1 个子块,也可将 的每个元素视为 1 个子块(即把 划分为 12 个小块)。以下两种分块是常用的。
(1) 按列分块,即
其中 ,。
(2) 按行分块,即
其中 ,。
设分块矩阵
其中 ()都是方阵,则方阵 称为准对角矩阵,简记为 。
性质+
设 都是 矩阵。将 按同样的方法进行适当分块
其中 都是 矩阵(;),适合 ,。容易直接验证
, 为 矩阵, 的分法如上。容易直接验证
设 ,。对矩阵 列的分块方法与对矩阵 行的分块方法一致。即
其中 ,,。 是 子矩阵, 是 子矩阵(;;)。可以证明(为篇幅计略去证明,有兴趣者可参见文献 ,210 页)
其中 (;)。
这表明此时分块矩阵 之间乘法的规则如将子矩阵看成"数"与以数为元素的 矩阵乘 矩阵规则相同。
设分块矩阵
容易直接验证分块矩阵 的转置矩阵为
对某一类矩阵作适当分块,可将高阶矩阵求逆归结为低阶矩阵求逆,从而简化计算。设 分别为 阶、 阶可逆矩阵,则
特别地,当 时有
推导过程见例 3.3.5。
设
其中 及 都是 阶方阵(),则
(1) ;
(2) ;
(3) ;
(4) ;
(5) ;
(6) ;
(7) 可逆 均可逆;且若 可逆,则
特别地,当 ()均为 矩阵(数)时,准对角阵 就是 3.1 节中已引入的对角矩阵。
说明+
本节将介绍一种在处理行数和列数较大的矩阵的运算(特别是乘法)时常用的方法:矩阵分块。
矩阵按某种方法分块有两个原则:第一是要求作适当分块后,在矩阵运算中,可将子矩阵当作"数",像普通的数为元素的矩阵一样运算。第二是尽量使运算能简单方便。因此矩阵分块时必须注意到矩阵的运算规则,对于不同的运算,矩阵分块的原则也不相同。
由于矩阵的加法和数乘比较简单,一般不需分块计算。而矩阵的乘法比较繁复,所以分块计算有较大的实际意义。
综上所述矩阵分块是矩阵运算中的一个很有效的方法,它不仅能使运算简明,而且在理论的推导中也起着重要作用。在下面有关章节中会经常采用矩阵分块这一方法。
设 为 矩阵, 为 矩阵,若将 按列分块,记作为 ,则
从而有
这表明 的充要条件为 的每一列 ()均为齐次线性方程组 的解。
可将此例与例 3.1.4 比较。然要注意到 为 矩阵,故 为 矩阵, 为 矩阵(数)()。
例题
例 3.3.1 分块矩阵乘法★★★★☆计算题分块乘法简化计算展开题目与讲解
例 3.3.1 分块矩阵乘法
设
对 作适当分块,计算 。
解 将矩阵 分块(比如先确定 的分法,然后据此确定 的分法,因 的行的分法必须和 的列的分法一致)。
有
这样 可直接写出,仅需计算
故
例 3.3.2 按列分块表示乘法★★☆☆☆计算题列分块与对角阵右乘展开题目与讲解
例 3.3.2 按列分块表示乘法
设 是一个 矩阵,若把 按列分块,则
按分块矩阵的乘法规则,以下等式成立:
例 3.3.3 AB=O 的列形式与参数求值★★★☆☆计算题零因子与奇异矩阵展开题目与讲解
例 3.3.3 AB=O 的列形式与参数求值
(1) 设 为 矩阵, 为 矩阵,若将 按列分块,记作为 ,则
从而有
这表明 的充要条件为 的每一列 ()均为齐次线性方程组 的解。
(2) 设 ,若存在非零矩阵 使得 ,则 ?
解 因 为非零矩阵,所以 的 列中至少有一列不全为零。据 (1) 知, 有非零解。利用定理 2.3.2 推论 2 知,。而
所以应填 。
例 3.3.4 计算 AA^T 与 A^T A★★★☆☆计算题列分块表示 Gram 矩阵展开题目与讲解
例 3.3.4 计算 AA^T 与 A^T A
将 矩阵 按列分块 ,由此计算 ,。
解
例 3.3.5 分块三角矩阵求逆★★★★☆证明题分块三角阵求逆展开题目与讲解
例 3.3.5 分块三角矩阵求逆
设分块矩阵
其中 分别为 阶、 阶可逆矩阵。求证: 可逆,且求出 。
证 由 1.6 节行列式基本形知,,故 可逆,从而 存在,将 按与 相同的分法分块。可设
其中 分别为 阶、 阶方阵。由 得
由矩阵相等定义知
因 可逆,故从第 1、2 式可导出:,,代入第 3、4 式得
解得 ,。所以
特别地,当 时有
例 3.3.6 准对角矩阵求逆★★★☆☆计算题准对角矩阵求逆展开题目与讲解
例 3.3.6 准对角矩阵求逆
设
证明: 是可逆矩阵,且求出 。
解 将 分块为 ,其中
由 知, 可逆,且 。而
故
四§3.4 矩阵的初等变换与初等矩阵选自 §3.45 个知识分组 · 含例题
定义+
对单位矩阵 施行一次初等变换后所得到的矩阵称为初等矩阵。
据此对单位矩阵 施行三种初等变换所对应的初等矩阵分别为
(1) 互换 (或 ):将 的第 行与第 行互换,所得矩阵记为 ,即
即它与 只在第 、 行(列)的交叉位置处不同:第 、 位置为 0,第 、 位置为 1,其余位置与 相同;
(2) 倍乘 (或 ):将 的第 行(列)乘上非零数 ,所得矩阵记为 ,;
(3) 倍加 (或 ):将 的第 行乘 加到第 行(当 时),所得矩阵记为 。
定理+
对矩阵 施行一次初等行变换相当于在 的左边乘一个相应的 阶初等矩阵;对 施行一次初等列变换相当于在 的右边乘一个相应的 阶初等矩阵。
证 将矩阵 按行分块,且记 的第 行为 (),则
(1) 矩阵 左边乘一个 阶初等矩阵 得
这相当于对矩阵 施行初等行变换 (互换)。
(2) 矩阵 左乘一个 阶初等矩阵 , 得
这相当于对矩阵 施行初等行变换 (倍乘)。
(3) 矩阵 左乘一个 阶初等矩阵 ()得
这相当于对矩阵 施行初等行变换 (倍加)。
至此有关初等行变换结论已证得。
若将矩阵 按列分块,类似讨论可证得有关初等列变换的结论,此不赘述。
设 是秩为 矩阵,则存在 阶初等矩阵 ; 阶初等矩阵 使得
若记 ,。据性质 3.2.2 之 (3) 知, 和 均为可逆矩阵。从而推论 1 可表述如下。
设 是秩为 的矩阵,则存在 阶可逆矩阵 , 阶可逆矩阵 ,使得
设 是 阶可逆矩阵,则 可表为初等矩阵的乘积。从而有 是可逆矩阵 可表示为初等矩阵的乘积。
证 为 阶可逆矩阵,有 。据推论 1 知
故
据性质 3.4.1 知,(;)均为初等矩阵,故推论得证。
若 均为可逆矩阵,则
证 综合推论 3 和定理 2.2.2 即得。
可逆矩阵 仅施行初等行(或列)变换即可化为单位矩阵。
证 由推论 3 知
两边左乘 ,得
这表明 可仅施行初等行变换化为单位矩阵。
在 两边右乘 得
这表明 可仅施行初等列变换化为单位矩阵。
性质+
利用定理 3.2.1 的推论,可直接验证下列性质。
初等矩阵为可逆矩阵,且它们的逆矩阵仍为初等矩阵。具体地说:
可逆,其逆为 ;
可逆,其逆为 ;
可逆,其逆为 。
说明+
利用推论 5 可得出求矩阵的逆矩阵常用方法:用初等变换来求逆矩阵。
设 是 阶可逆矩阵,则 成立,两边右乘 得
两式表明:如施行若干个初等行变换可将可逆矩阵 化为单位矩阵,则同样的初等行变换施行到单位矩阵 上就得到 的逆矩阵 。从而构造一个 矩阵 就有
这表明对 施行初等行变换,当将它左半部矩阵 化为单位矩阵,那么它的右半部的单位矩阵 就同时化为 。即有
其中箭头表示施行初等行变换。同理可推导出
其中箭头表示施行初等列变换。
求可逆矩阵的逆矩阵,可理解为当 可逆时求矩阵方程 的解。据此可考虑当 可逆时,求矩阵方程 的解。显见惟一解为 。按常规欲求 要先计算出 ,再算出 。然据
表明施行若干初等行变换可将可逆矩阵 化为单位矩阵,则同样的初等行变换施行于 就得到 。即
(箭头表示施行初等行变换)。这是求解矩阵方程 较为简便的方法。
同样当 可逆时,求矩阵方程 的惟一解 ,亦可用初等列变换较为简便地求得
(箭头表示施行初等列变换)。
于是当 均为可逆矩阵时,可用初等行(列)变换求矩阵方程 的惟一解 :
在 2.1 节和 2.2 节中定理 2.1.2 和定理 2.2.2 表明:若 是一个秩为 的矩阵,则通过初等行变换,列互换可化为约化阶梯形矩阵
如还允许作列的倍加,则可将 的前 列的适当倍数分别加到第 第 列上, 可进一步化简为
这表明任意一个秩为 的矩阵 通过初等行变换,初等列变换可化为
本节将指出初等行(列)变换可通过左(右)乘相应的矩阵而实现。
例题
例 3.4.1 用初等变换化标准形并写出初等矩阵★★★★☆计算题初等变换与初等矩阵的对应展开题目与讲解
例 3.4.1 用初等变换化标准形并写出初等矩阵
设
对 依次施行 、 得
再施行 得
再施行 、 得
这些初等行变换,初等列变换所对应的初等矩阵为
由 得到
由 得到
由 得到
由 得到
由 得到
利用定理 3.4.1 的推论 1 有
若记 , 就有
例 3.4.2 用初等行变换求逆矩阵★★★☆☆计算题初等行变换求逆展开题目与讲解
例 3.4.2 用初等行变换求逆矩阵
求可逆矩阵
的逆矩阵。
解
施行 、 得
施行 (互换第 2、3 行)得
施行 、 得
施行 得
施行 得
故
例 3.4.3 用初等变换解 AX=B★★★★☆计算题解矩阵方程 AX=B展开题目与讲解
例 3.4.3 用初等变换解 AX=B
试用初等变换求解矩阵方程 ,其中
解 由 知, 可逆,故而 。下用初等行变换求出 :
依次施行 ,,, 得
故
例 3.4.4 用初等变换解 AXB=C★★★★★计算题两次初等变换解 AXB=C展开题目与讲解
例 3.4.4 用初等变换解 AXB=C
试用初等变换求解矩阵方程 ,其中
解 ,,故 可逆。先计算
施行 、 得
施行 得
施行 、 得
施行 、、 得
故
再计算
施行 、 得
施行 、 得
故
五§3.5 矩阵的等价和等价标准形选自 §3.55 个知识分组 · 含例题
定义+
设 均为 矩阵。若 经过若干次初等行、列变换可化为 ,则称 与 等价。
由定义表明矩阵的等价关系是两个矩阵间的关系(二元关系)。即两个 矩阵或等价,或不等价。这样前文所述一个秩为 的矩阵 可通过初等行、列变换化为 ,按现在定义来说就是如下性质。
定理+
设 均为 矩阵,则下述条件中的每一个均为 与 等价的充要条件:
(1) 存在 阶可逆矩阵 与 阶可逆矩阵 使 ;
(2) ;
(3) 有相同的等价标准形。
证 (1) 用定理 3.4.1 及其推论即得。
(2) 因初等变换不改变矩阵的秩,故必要性是显然的。下证充分性。设 。据性质 3.5.1 知
其中 表示等价。
据对称性有
利用传递性即得 与 等价。
(3) 容易得出条件 (2) (3)。
注记 本定理中的 (1) 也常作为两个矩阵等价的定义。
性质+
设 为一个秩为 的矩阵,则 与 等价,并称 为 的等价标准形。
由等价的定义容易得出等价关系有下述性质。矩阵间的等价关系适合
(1) 自反性:任意矩阵 与自身等价;
(2) 对称性:若 与 等价,则 与 等价;
(3) 传递性:若 与 等价, 与 等价,则 与 等价。
说明+
矩阵等价关系为我们提供研究矩阵的一种方法:把所有的 矩阵按等价分类,即把彼此等价的(即秩相同的)归成一类,称为等价类。每一类都有一个标准形(其实就是这一类中形式最简单的矩阵),如秩为 的等价类的标准形为
而秩为 的等价类中其他矩阵均形如
其中 为可逆矩阵。
这种想法对解决一些问题很有帮助。
本节将在矩阵间引进一种(二元)关系,并利用这种关系来解决一些问题。
例题
例 3.5.1 分块对角阵的秩★★★★☆计算题分块对角阵的秩展开题目与讲解
例 3.5.1 分块对角阵的秩
设 ,其中 ,,求 。
解 首先考虑 均为标准形:
此时
显见此时 。
在一般情形下
其中 为可逆矩阵。故可有
由于 , 均为可逆矩阵,故得 。
例 3.5.2 行满秩矩阵的右逆★★★★☆证明题行满秩矩阵存在右逆展开题目与讲解
例 3.5.2 行满秩矩阵的右逆
设 是 ()矩阵,(这类矩阵称为行满秩的),证明:存在 矩阵 使 。
证 首先考虑 为标准形 ,则可取 。此时
一般情况下,, 和 为可逆矩阵。故取
即适合要求。
例 3.5.3 乘积的秩不超过因子的秩★★★☆☆证明题秩的单调性展开题目与讲解
例 3.5.3 乘积的秩不超过因子的秩
证明:;。
证 设 ,则 ,其中 为可逆矩阵。利用定理 3.4.1 的推论 4,有
将 适当分块
此处 为 行矩阵。从而
最多只有 行不全为零,故它的任意一个 阶子式必为零,所以
另一方面
其中用到 可逆。
所以,。
六§3.6 概要及小结选自 §3.63 个知识分组 · 含例题
性质+
直接从定义出发求一个矩阵的秩,除了一些特殊矩阵,如阶梯形矩阵外,一般均不方便。鉴于初等变换不改变矩阵的秩,把一个矩阵用初等行(列)变换化为阶梯形矩阵,然后求出其秩,是计算题中常用的方法,在证明题中利用下述一些有关秩的结论是很有用的。
(1) 。
(2) ;。
(3) 若 均为可逆矩阵,则
(4) 。
(5) 。
(6) ,
此处 是矩阵 的列数(矩阵 的行数)。
(7) 若 ,则 ,
此处 是矩阵 的列数(矩阵 的行数)。
(8) 若 为列满秩矩阵,则 ;
若 为行满秩矩阵,则 。
(9) 为同阶方阵,则
注记 凡打""结论的证明可参阅附录四,其中 (7) 的证明也可参阅例 4.6.4。
说明+
概要:矩阵的概念及运算;两种方法:矩阵分块和等价标准形;秩。
本章要点可归纳为三部分:矩阵的运算(数乘、加法、乘法、转置),两种方法(矩阵分块、等价标准形),以及秩。
(1) 数域 上 矩阵作为某种变换(将在第 4 章讨论)的代数形式,其运算实质上反映了这类变换的运算规律。由于矩阵的加法归结为对应数表的加法,所以矩阵的加法和数的加法相比仅有量的增多,而无质的改变。因而两者遵循相同的运算规律,如交换性、结合性等。鉴于矩阵乘法的特殊性(实际上是这类变换相乘规则所反映出来的特殊性),使得矩阵乘法和数的乘法差异甚大。如矩阵乘法
1) 交换律不成立;
2) 有零因子;
3) 消去律不成立。
这就使得许多中学所熟悉的有关数运算的公式,在矩阵中相应公式未必成立。这是在矩阵理论推导中务必注意的。
(2) 引进逆矩阵实质上是希望在某些方阵中可做除法。其思想是把除法看成乘法的逆运算,其方法是类比对倒数引入逆矩阵,其结果是
即
(数中是: 有倒数 )。
可逆矩阵在运算中恰好具有如同非零数在数的运算中类似的一些性质:
1) 可逆矩阵不是零因子。 可逆(),若 ,则 (,若 ,则 )。
2) 可逆矩阵适合乘法消去律。 可逆(),若 ,则 (,若 ,则 )。
3) 含可逆矩阵的矩阵(线性)方程可解。若 可逆(),则 有惟一解 (,则 有惟一解 )。
从以上性质看,我们是借助可逆矩阵在某些方阵运算中实施了除法。
(3) 当 可逆时,求 逆矩阵方法有
1) 。这是一个基本结论,在证明中常用到。值得注意的是每一个方阵 不论其是否可逆都有伴随矩阵 ,而且等式 不论 是否可逆均成立,只是在 不可逆时 而已。这些结果在推导中更常用到。用此基本结论于具体计算 时,当 较大时因计算量较大而不常用。但当 时可直接写出。设
若 ,则
2) 利用初等变换。计算题时常用此法。
3) 分块求逆。
(a) 若
则 可逆 均可逆()。 可逆时
(b) 若
其中 为方阵,则 可逆 均可逆(), 可逆时
4) 处理"证明 可逆,且求出 "一类问题时,常用定理 3.2.1 的推论,设法找一个 使 。这样就证明了 可逆,其逆为 。如 ,则有
所以 可逆,且 ; 可逆,且 。
(1) 分块矩阵(包括分块矩阵的初等变换)。
(2) 等价和等价的标准形。
两个 矩阵 与 等价 。秩是等价变换的不变量。而在秩为 的等价类中,标准形 是最简单的矩阵。
解题时这两种方法常交融在一起联合使用(等价标准形就是一个分块矩阵),3.5 节的 3 个例题就是这样,下例也如此。
最后还须指出,本章介绍的用初等变换求秩、求逆矩阵,以及矩阵等价标准形等,都是线性代数中常用的基本技巧。
例题
例 3.6.1 矩阵方程 AXA=A 的广义逆★★★★★计算题广义逆与矩阵方程展开题目与讲解
例 3.6.1 矩阵方程 AXA=A 的广义逆
设 为 矩阵,求解矩阵方程 。
解 先考虑 为标准形 ,此时将所求 适当分块 ,其中 分别为待定的 ,, 矩阵,代入 ,得
故得 ,而 可任取。从而
在一般情况下,,其中 为可逆矩阵。记 ,以 代入 ,化简即得
此即 为标准形情况,于是 。从而所求
我们把适合 的 称为矩阵 的广义逆。本例给出了 矩阵 (未必是方阵)的全体广义逆。
一§4.1 定义及其背景选自 §4.14 个知识分组 · 含例题
定义+
设 是一个数域,其中元素用 来表示。 是一个非空集合,其中元素用 来表示,如果下列条件被满足就称 为 上的一个线性空间。 中元素通常称为向量。
1. 在 中定义了一个加法,对于 中任意两个向量 与 ,均有 中一个唯一确定的向量 与它们对应,这个向量称为 与 的和,记为 。
2. 有一个数量乘法,对于 中每一个数 和 中每一个向量 ,有 中唯一确定的向量 与它们对应,这个向量称为 与 的数量乘积,记为 。
3. 对任意的 ,任意的 ,加法与数量乘法满足下列运算规律:
(1)交换律 ;
(2)结合律 ;
(3)在 中存在一个零向量,记为 ,对于 中的每一个向量 ,都有 ;
(4)对于 中每一个向量 ,在 中存在一个向量 使得 ,这样的 称为 的一个负向量;
(5);
(6);
(7);
(8)。
性质+
设 是数域 上的线性空间,则
(1)零向量唯一;(2)负向量唯一。
证 (1)设 均为 的零向量,考虑 。视 为零向量,则 ;然而若视 为零向量,则 。从而 。
(2)设 有两个负向量 与 ,则 从而
设 是数域 上的线性空间,对任意的 ,,有
(1);
(2);
(3);
(4)若 ,则 ,或 。
证 (1)由定义 4.1.1 知,。等式两边同时加 的负向量即得 。
(2)类似(1),留作习题。
(3)为证 ,仅须证明 。事实上, 同理可证 。综上即得
(4)设 ,对 ,两边用 作数量乘法有 另一方面,。从而 。
说明+
线性空间和线性变换是最基本的数学概念之一,它不仅是线性代数的核心,而且它的理论和方法已经渗透到自然科学、工程技术、经济管理的各个领域。借助线性空间和线性变换我们也将进一步加深对线性方程组和矩阵的理解。
线性空间是从我们已经熟悉的许多研究对象,诸如数、向量、矩阵、多项式等经概括而成的。
在研究(欧氏)平面时,通过引进直角坐标系,不仅把起点在坐标原点的向量(或称矢量) 和其坐标 (平面上的点)建立起 对应的关系,而且可把几何向量的运算(如几何向量加法的平行四边形法则)转化为其对应坐标的代数运算(分量相加)。这样可将平面上向量描述成下述代数系统:
把平面上的向量的全体记为 对任意的 ,,任意的 ,规定加法和数乘为 易见向量的加法和数乘适合 3.1 节的定理 3.1.1 所说的 8 条运算规律,比如说零向量为 , 的负向量为 ,于是 就是平面上全体向量的集合,具有两个封闭的运算加法和数乘,且这两个运算适合 8 条规律。
同样的想法和做法可在(欧氏)空间中实施。将空间的向量(或称矢量)视为 即实数域上所有三元向量的全体。类似地规定向量加法和数乘,而且加法和数乘运算也适合上述 8 条规律。
平面,空间可视为二元向量、三元向量构成的“空间”,自然可推广去设想 元向量构成的“空间”。设 是一个数域,记 为数域 上所有 元向量的全体。对任意的 规定加法和数乘为 加法和数乘运算也适合上述 8 条规律。
这样我们就有一个 元向量构成的“空间”,特别地取 ,则 是 元实向量构成的“空间”,它是平面、空间的自然推广,也是将要引入线性空间的很好背景。
再来看第 3 章刚讨论过的矩阵,记 为数域 上所有 矩阵的全体。对任意的 规定加法和数乘为 加法与数乘适合上述 8 条运算规律。
特别地,(行向量)和 ( 元向量)不仅表现形式相似,而且有相同的加法和数乘运算规律。
又如系数取自数域 上的次数小于 的一元多项式,及零多项式可记为 设 多项式的加法和数乘可表为 加法与数乘也适合上述 8 条运算规律。
上述种种使我们看到诸如 元向量、矩阵、一元多项式这些从表面上看各不相同的代数系统遵循着相同的运算规律。把这些作为背景概括成更一般的概念。
据此定义容易得出本节开始所述的代数系统均是线性空间。
以上例子的验证繁而不难,为篇幅计不一一赘述。从以上例子中可看出线性空间的要点可概括为:一个非空集合 ,具有两个适合 8 条规律的加法和数量乘法。为表明这几点,线性空间可表示为 。
据负向量的唯一性,可将 唯一的负向量记为 ,并由此可从加法派生定义减法: 据此可有 这表明在线性空间中通常的移项变号规则成立。
例题
例 4.1.1★☆☆☆☆判断题n 元向量空间展开题目与讲解
例 4.1.1 元向量空间
数域 上的 元向量的全体,关于向量的加法和数乘构成数域 上的一个线性空间,称为 元向量空间,记为 。
特别地,当 为实数域 时, 就是(欧氏)平面, 就是(欧氏)空间。
下文为叙述方便将行向量改为列向量,即令 加法和数乘相应地改为列向量相加和数乘。这样一来,如无特殊说明,约定下文中 就表示 元列向量关于列向量的加法和数乘构成的线性空间。
例 4.1.2★☆☆☆☆判断题矩阵空间展开题目与讲解
例 4.1.2 矩阵空间
数域 上 矩阵的全体,关于矩阵的加法和数乘构成数域 上的一个线性空间,记为 。特别地据上述约定 就是 。
例 4.1.3★☆☆☆☆判断题多项式空间展开题目与讲解
例 4.1.3 多项式空间 与
系数取自数域 中的次数小于 的一元多项式全体及零多项式,关于多项式的加法和数乘构成数域 上的一个线性空间,记为 。
同样地,系数取自数域 中的一元多项式全体,关于多项式的加法和数乘构成数域 上的一个线性空间,记为 。
例 4.1.4★☆☆☆☆判断题数域上的线性空间展开题目与讲解
例 4.1.4 作为 上的线性空间
复数域 关于数的加法和乘法,可以构成实数域 上的一个线性空间。
例 4.1.5★☆☆☆☆判断题数域上的线性空间展开题目与讲解
例 4.1.5 数域 作为自身的线性空间
任意一个数域 关于数的加法和乘法可以构成自身 上的一个线性空间。
例 4.1.6★☆☆☆☆判断题函数空间展开题目与讲解
例 4.1.6 连续函数空间
定义在闭区间 上的一切连续实函数的全体,关于函数的加法和实数与函数的数量乘法构成实数域 上的线性空间,记为 。
二§4.2 向量的线性相关性选自 §4.24 个知识分组 · 含例题
定义+
设 是数域 上线性空间 中 个向量, 是 中任意 个数,称 为向量 的一个线性组合。
若 中某一个向量 可表为向量 的线性组合,则称 可经 线性表示。
显见零向量 可经任意一组向量 线性表示,这是因为
设 是数域 上线性空间 中 个向量,如果存在 中不全为零的数 ,使得 则称 线性相关;否则就称线性无关。
据定义,称 线性无关,就是指 中找不到不全为零的数 ,使得 (4.2.1) 式成立,也就是说:
若有一组数 使 ,则必有
(4.2.2) 所述法则将常用来阐明 是线性无关的。
性质+
在线性空间 中有
(1)一个向量组中有部分向量组线性相关,则向量组线性相关。
(2)一个向量组线性无关,则其任何一个部分向量组必线性无关。
(3)任何一个包含零向量的向量组必线性相关。
(4)一个向量 线性相关 。
(5)一个向量 线性无关 。
证 (1)仅需证在向量组 中,若 线性相关,则 必线性相关。
据题设存在 中不全为零的数 ,使得 从而有 中不全为零的数 ,使得 故 线性相关。
(2)(2)是(1)的逆否命题,故由(1)(2)。
(3)由 知,命题成立。
(4) 线性相关 存在不为零的数 使得 。
(5)(5)是(4)的逆否命题,故由(4)(5)。
中,设 ,,则
(1) 能经向量组 线性表示 ;
(2) 不能经向量组 线性表示 ,
(1)和(2)中的 ,。
当 能经向量组 线性表示时,若 ,则表示式唯一,若 ,则有无穷多种表示式。
进而 线性相关(线性无关),意指存在(不存在)一组不全为零的 中数 ,使得 即 其中 。
这就相当于齐次线性方程组 有非零解 ,(只有零解)。于是利用 2.3 节的定理 2.3.2 有如下性质。
中,设 ,则
(1) 线性相关 ;
(2) 线性无关 。
(1)和(2)中的 。
推论 1 在 中任意 个向量必线性相关。
特别地当 时,利用 2.3 节的定理 2.3.2 推论,有如下结论。
推论 2 设 ,记 ,则
(1) 线性相关 ;
(2) 线性无关 。
这表明在 中利用线性方程组解的理论可非常简明地判别出 中向量的线性关系。
说明+
在研究线性空间时,向量的线性关系(相关或无关)起着极为重要的作用。它不仅是建立线性空间结构与分类理论的基础,也是线性方程组理论的基础,因而是线性代数最重要的概念之一。
我们先在一般的数域 上线性空间 中研究向量的线性关系,然后再在具体线性空间 中看看这些线性关系的具体表现。
由于向量的加法满足结合律,故 有完全确定的意义。我们由此开始讨论。
现在我们在具体的线性空间 中考察这些线性关系。设 则 能否用 线性表示相当于能否找到 中数 ,使得 具体写出来是 即 这表明 中是否有 使 (4.2.3) 式成立,相当于线性方程组 即 在数域 中是否有解。
例题
例 4.2.1★★★☆☆计算题线性表示与相关性的秩判别展开题目与讲解
例 4.2.1 中线性表示与相关性的判别
在 中已知 (1) 能否经 线性表示? 能否经 线性表示?如能表示,写出表示式;如不能表示,则说明理由。
(2)判别下列向量组是线性相关,还是线性无关:
(A).(B).(C).
解 由性质 4.2.2 及性质 4.2.3 知,要解答(1),(2)均可归结为求某些矩阵的秩。为此将 作为列向量组成矩阵 ,将 只用初等行变换化为阶梯形矩阵 记 ,即 (4.2.4) 式。
(1)因仅用初等行变换,故由 (4.2.4) 知 据此线性方程组 无解,所以 不能经 线性表示。
由 (4.2.4) 知,经初等行变换有 从而 据此线性方程组 有唯一解:,,。所以 能经 线性表示,表示式为
(2)由 (4.2.4) 知 故向量组(A)线性相关,(B)线性相关,(C)线性无关。
注记 实际上据 (4.2.4) 可判断出 中任意一个部分向量组是线性无关还是线性相关,比如还可判定 线性无关,鉴于下文还将多次采用此种方法来解题。
例 4.2.2★★★☆☆证明题线性无关性的证明展开题目与讲解
例 4.2.2 线性无关向量组的线性组合仍线性无关
设 是线性空间 中 3 个线性无关的向量,若 求证: 线性无关。
证 设有 ,代入题设条件有 整理得 因 线性无关,故 因 得出 ,,。利用 (4.2.2) 知, 线性无关。
三§4.3 向量的极大线性无关组选自 §4.35 个知识分组 · 含例题
定义+
若向量组 中每一个向量都可经向量组 线性表示,则称向量组 可经向量组 线性表示。若两个向量组可以互相线性表示,则称这两个向量组等价。
由定义容易推出等价向量组有以下性质:
(1)自反性:每一向量组都与自身等价;
(2)对称性:若向量组(Ⅰ)与向量组(Ⅱ)等价,则向量组(Ⅱ)也与向量组(Ⅰ)等价;
(3)传递性:若向量组(Ⅰ)与向量组(Ⅱ)等价,向量组(Ⅱ)与向量组(Ⅲ)等价,则向量组(Ⅰ)与向量组(Ⅲ)等价。
向量组 中的一个部分向量组 称为原向量组的一个极大线性无关组,如果
(1) 线性无关;
(2)再添加原向量组的任何一个向量 (如果有),则 均线性相关。
由定义易得出当向量组(Ⅰ): 线性无关时,(Ⅰ)的极大线性无关组就是自身。
据定理 4.3.2 易知,在(1)条件下,(2)和下述条件等价
(2)′ 中任何一个向量 均可经 线性表示。
因而(1),(2)与(1),(2)′ 均可作为极大线性无关组的定义。由(2)′ 知 可经其极大线性无关组 线性表示,而 可经原向量组线性表示是显然的,从而可有
定理+
向量组 线性相关 中至少有一个向量是其余 个向量的线性组合。
证 必要性。设 线性相关,则有不全为零的数 ,使得 不妨设 ,则有
充分性。设 中有某个 可表为 则 由 不全为零知, 线性相关。
推论 线性无关 中每一个向量都不能经其余 个向量线性表示。
若向量组 线性无关,而向量组 线性相关,则 必可经 线性表示,且线性表示式唯一。
证 由 线性相关知,存在不全为零的数 ,使得 现用反证法来证必有 。若不然,,则 不全为零,且有 这与 线性无关矛盾,故 。从而有
再证上述线性表示式唯一。设 两式相减得 由 线性无关推知 故线性表示式唯一。
设向量组 中每一个向量都可经向量组 线性表示,若 ,则 线性相关。
证 由题设有 记为
注意 因为 是一般线性空间中的向量,故不能认为 是矩阵,(4.3.2) 式仅是利用矩阵的乘法将 (4.3.1) 式改写成另一种形式罢了。下面我们常用这种“形式的”记法,不再一一指明。
将 (4.3.2) 式中的 个等式合在一起,用矩阵形式表示 记为
考虑 其中 。
按向量线性相关的定义,若能找到不全为零的 使 (4.3.3) 式等于零向量,就证明了 线性相关。为此考虑齐次线性方程组 ,因 即系数矩阵的秩小于未知量个数,据定理 2.3.2 知, 有非零解,取其一为 ,则有 ,从而 其中 不全为零,故得 线性相关。
经常要用到的是此定理的逆否命题。
设向量组 中每一个向量都可经向量组 线性表示,若 线性无关,则 。
任意两个等价的线性无关向量组它们所含的向量个数相等。
证 设线性无关向量组(Ⅰ)与线性无关向量组(Ⅱ)等价,且它们所含向量个数分别为 。因(Ⅰ)可经(Ⅱ)线性表示,由定理 4.3.4 知,。同样由(Ⅱ)可经(Ⅰ)线性表示可推出,。综合即得 。
性质+
向量组与其极大线性无关组等价。
向量组的任意两个极大线性无关组必等价,从而它们所含的向量个数相等。
证 因向量组与其极大线性无关组等价,且向量组的等价关系具有对称性、传递性,所以向量组的任意两个极大线性无关组必等价。据定理 4.3.5 知,两者所含向量个数相等。
据此命题我们可将向量组的极大线性无关组所含向量的个数,称为该向量组的秩。它是由向量组唯一确定的。据此,例 4.3.1 中向量组 的秩为 3。
说明+
我们将在一般的线性空间 中研究向量间线性组合、线性相关、线性无关这三者之间的内在联系。
本节所说的向量都是一般线性空间 的向量,所说的向量组都是由有限个向量构成的。
现设 是线性空间 中一组不全为零向量的向量组,我们总可从中选取出一个含有尽可能多的线性无关部分向量组 来。也就是说 线性无关,而再添加(如果可能)原向量组的任何一个向量 都有 线性相关。具体做法可以是:因 不全为零向量,不妨设 ,则 线性无关。考察 ,让 取遍 ,若 均线性相关,则 就是。否则就可有 线性无关,则对 重复上述讨论。如此继续,即可从 中选出一个含有尽可能多的线性无关的部分向量组。
前文已说从线性空间 中任意一组不全为零向量的向量组 中总可选取出一个极大线性无关向量组来。而在具体线性空间 中,选取方法可通过下例来展现。
例题
例 4.3.1★★★☆☆计算题极大线性无关组的求法展开题目与讲解
例 4.3.1 求 中向量组的极大线性无关组
在 中已知 求 的极大线性无关组。
解 例 4.2.1 已表明 且由此得出 线性无关, 线性相关,故 是 的一个极大线性无关组。另一方面, 线性无关, 线性相关,故 也是 的一个极大线性无关组,这表明每一个不全为零向量的向量组不仅都有极大线性无关组,而还可能不只含一个极大线性无关组。在此例中已找出两个极大线性无关组(还能再找出其他的极大线性无关组吗?),它们都是由 3 个向量构成,一般地有下面结论。
四§4.4 基和维数选自 §4.44 个知识分组 · 含例题
定义+
设 是数域 上的一个线性空间, 中满足下列条件的向量组 称为 的一组基。
(1) 线性无关;
(2) 中每一个向量都可经 线性表示。
据此定义知 的两组基是彼此等价的线性无关向量组,故两者由相同个数的向量组成。我们给这个唯一确定的数下一个定义。
线性空间 的基所含向量个数称为 的维数,记为 。
下文如无特殊说明所说的线性空间都是有限维的。
设(Ⅰ): 与(Ⅱ): 是 维线性空间 的两组基, 经基(Ⅰ)线性表示为 以 在基(Ⅰ)下的坐标作为列向量构成的矩阵 称为由基(Ⅰ)到基(Ⅱ)的过渡矩阵。
据定理 4.4.1 推论 3 之(3)知, 为可逆矩阵,且借助矩阵形式有
定理+
设 是 维线性空间, 是 的一组基, 是 中任意的一组向量,若 在 下的坐标为 以 的坐标为列向量构成的矩阵记为 则
(1) 线性相关 ;
(2) 线性无关 。
此定理的证明与定理 4.3.3 类似,故不赘述,再则在后面第 7 节中利用“同构”可非常简便地得出此结论。
推论 1 维线性空间 中向量个数 大于 的任意向量组必线性相关。特别是 个向量必线性相关。
推论 2 维线性空间 中任意 个线性无关的向量均可作为 的一组基。
当定理 4.4.1 那组向量 的个数 时,可有下述结论。
推论 3 在 维线性空间 中
(1) 线性相关 ;
(2) 线性无关 ;
(3) 是 的一组基 ,
此处 是由 在一组基下的坐标作为列向量构成的矩阵。
请对照一下定理 4.4.1 和性质 4.2.3,可发现两者是十分类似的。这种雷同的原因,我们将在第 7 节中阐明。
设(Ⅰ): 与(Ⅱ): 是 维线性空间 的两组基, 是基(Ⅰ)到基(Ⅱ)的过渡矩阵, 是 中的一个向量, 在基(Ⅰ),基(Ⅱ)下的坐标分别为 则
证 据题设有 这意指 与 均为 在基(Ⅰ)下的坐标,据坐标唯一性得 由 可逆即可推出
(4.4.1) 式常称为基变换公式,(4.4.2) 式常称为坐标变换公式。
说明+
现将这些概念放在整个线性空间 上来考察,即考虑 中全体向量组成的向量组的极大线性无关组,那么这极大线性无关组或是由有限个向量构成,或有无穷多个向量,对于后者,即 中有无穷多个线性无关的向量, 称为无限维的,这将主要是另一门数学分支泛函分析研究的对象。线性代数把线性空间的研究范围常常局限在前者,即 中存在有限个向量构成的极大线性无关组, 称为有限维的,并引入以下概念。
下面的论述体现出线性空间中基的重要意义。
设 是 维线性空间, 是 的一组基。据基的定义及定理 4.3.2 知, 中任何一个向量 均可经 线性表示,且表法唯一。即 其中 是唯一确定的,故可称为向量 在基 下的坐标,记为 。
利用向量在一组基下的坐标,我们可判别一般线性空间 中向量组的线性关系。
实际上我们是在解线性方程组 ,这里 是由 在常用基下坐标作为列向量构成的矩阵, 是 在常用基下的坐标。因 ,利用克拉默法则知有唯一解。这再次表明:当 是基时,任意一个向量在 下的坐标是唯一确定的。
从上述例子讨论中看到在 维线性空间中,一般说来同一个向量在不同基下的坐标是不同的。下面就来研究随着基的改变,向量坐标的变化规律。
例题
例 4.4.1★★☆☆☆计算题常用基与维数展开题目与讲解
例 4.4.1 求 的一组基与维数
确定线性空间 的一组基和维数。
解 记 (第 个分量为 1,其余分量为 0),。则可直接验证 是线性无关的,且 中的任意向量 均可表为 故 为 的一组基(称为常用基),。
容易看出在(欧氏)平面 、(欧氏)空间 中常用基分别就是我们熟悉的直角坐标系 ,。
例 4.4.2★★☆☆☆计算题矩阵空间的基与维数展开题目与讲解
例 4.4.2 求 的一组基与维数
确定线性空间 的一组基和维数。
解 记 为第 行第 列元素为 1,其余元素均为零的 矩阵,则可直接验证 线性无关,且对 中的任意矩阵 ,有 故 为 的一组基(称为常用基),。
例 4.4.3★★☆☆☆计算题多项式空间的基与维数展开题目与讲解
例 4.4.3 求 的一组基与维数
确定线性空间 的一组基和维数。
解 易见 是 中线性无关的向量组,且 中任意多项式 可表为 故 为 的一组基(称为常用基),。
例 4.4.4★☆☆☆☆判断题无限维空间展开题目与讲解
例 4.4.4 是无限维的
线性空间 中存在着无穷多个线性无关的向量,这是因为对任意的正整数 ,向量 均线性无关。
例 4.4.5★★★☆☆计算题用行列式判定基展开题目与讲解
例 4.4.5 判断哪些向量组可作为 的基
在线性空间 中,问下列向量组中哪一组可作为 的基?
(1),;;;
(2) 如(1),。
解 取 的一组常用基为 。
(1)以 在常用基下的坐标作为列向量构成矩阵 ,计算 。 由定理 4.4.1 推论 3 之(1)知, 线性相关,因而不能作为 的基。
(2)类似地,计算 由定理 4.4.1 推论 3 之(3)知, 是 的一组基。
例 4.4.6★★★☆☆计算题坐标的计算展开题目与讲解
例 4.4.6 求向量在两基下的坐标
在线性空间 中,设向量 。
(1)求 在 的常用基 下的坐标。
(2)设 ,,。证明: 是 的一组基,且求出 在 下的坐标。
解 (1),故 在 下的坐标为 。
(2)因 在常用基 下的坐标分别为 而 由定理 4.4.1 推论 3 之(3)知, 是 的一组基。设 在 下坐标为 ,则 即 解得
例 4.4.7★★★★☆计算题过渡矩阵与坐标变换展开题目与讲解
例 4.4.7 求过渡矩阵与坐标变换
在线性空间 中,设有两组基
(I):,,;
(II):,,。
(1)求基(Ⅰ)到基(Ⅱ)的过渡矩阵。
(2)若向量 在基(Ⅰ)下的坐标为 ,求 在基(Ⅱ)下的坐标 。
解 (1)设基(Ⅰ)到基(Ⅱ)的过渡矩阵为 ,则有 现 , 均为矩阵,分别记为 。于是问题归结为解矩阵方程 。因 为可逆矩阵,由 3.4 节知可用初等行变换来求出 将 并成 矩阵,作初等行变换: 故
(2)据坐标变换公式有:。同样由 3.4 节知,可用初等行变换来求 。将 与 并成 矩阵,作初等行变换: 故
例 4.4.8★★★★☆计算题矩阵空间的坐标变换展开题目与讲解
例 4.4.8 中的过渡矩阵与坐标
在线性空间 中,设有两组基
(I):,,,;
(II):,,,。
(1)求基(Ⅰ)到基(Ⅱ)的过渡矩阵。
(2)求矩阵 在基(Ⅰ),基(Ⅱ)下的坐标。
解 (1)直接按定义 4.4.3 写出 在基(Ⅰ)下的坐标,以这些坐标为列向量构成过渡矩阵,即
(2)可直接写出 在基(Ⅰ)下坐标为 。故 在基(Ⅱ)下坐标 为 ,从而可用初等变换求出 : 这表明 在基(Ⅱ)下坐标为 。
五§4.5 子空间选自 §4.55 个知识分组 · 含例题
定义+
数域 上线性空间 的一个非空子集 称为 的一个线性子空间(简称子空间),如果 关于 的两种运算也构成数域 上的线性空间。
据此上述 就是 的一个子空间。
定理+
线性空间 的一个非空子集 ,若关于 的加法和数乘封闭,则 就是 的一个子空间。
这结果使检验 的非空子集 是否构成子空间非常简便。
性质+
设 与 是线性空间 中的两个向量组。
(1) 与 等价。
(2) 等于向量组 的秩,且 的极大线性无关组均可作为 的一组基。
证 (1)必要性。因 ,故每一个向量 都是 中的向量,从而都可经 线性表示;同样地每一个向量 都是 中的向量,从而都可经 线性表示。这就证明了两个向量组等价。
充分性。此时两个向量组等价,故凡可被 线性表示的向量均可经 线性表示,此即 反之亦然,故
(2)不妨设 的极大线性无关组为 ,则两者等价,据(1)有 。因 线性无关,据定义 4.4.1 知, 就是 的基,从而也是 的基。故 而 即为向量组 的秩。
说明+
在(欧氏)空间 中,考虑一个通过坐标原点的平面 ,容易看出 上的所有向量对于向量的加法和数乘也构成一个 上的线性空间。这就是说 一方面是 的一部分(子集合),同时 自身关于 的运算也构成了线性空间。本节将研究线性空间中这样的子集合。
我们来分析一下 的一个子集 要满足什么条件才能成为 的子空间。按定义 应满足:
1) 是 的非空子集;
2),(加法封闭);
3),,(数乘封闭);
4)适合定义 4.1.1 中的 8 条运算规律。
首先要指出的是 中向量也是线性空间 中的向量,故在 的加法和数乘下当然适合 8 条运算规律中的(1),(2),(5),(6),(7),(8)。进而考察运算规律中的(3)和(4)是否成立,即 ?及当 时,?而这只要注意到 故若 3)成立就能导出 ,。于是有如下定理。
线性空间 的子空间 自身也是线性空间,故有基和维数,如 时,规定 。下面来具体讨论子空间 的基和维数。
例题
例 4.5.1★☆☆☆☆判断题平凡子空间展开题目与讲解
例 4.5.1 平凡子空间
设 是数域 上的线性空间,由零向量单独组成的集合 及 自身均为 的子空间。这两个子空间称为 的平凡子空间,而其他子空间称为非平凡子空间(或称真子空间)。
例 4.5.2★☆☆☆☆判断题多项式空间的子空间展开题目与讲解
例 4.5.2 多项式空间的子空间
是 的子空间。进而当 时, 是 的子空间。
例 4.5.3★★☆☆☆判断题矩阵空间的子空间展开题目与讲解
例 4.5.3 对称与反对称矩阵构成的子空间
在线性空间 中,设 即 是 对称矩阵全体, 是 反对称矩阵全体。据定理 3.1.6 知, 是 的子空间。
例 4.5.4★★☆☆☆判断题几何子空间展开题目与讲解
例 4.5.4 中的三个坐标平面
在(欧氏)空间 中,设 即 是 平面, 是 平面, 是 平面,故 均是 的子空间。
例 4.5.5★★☆☆☆证明题解空间的子空间性展开题目与讲解
例 4.5.5 齐次线性方程组的解空间
设 是数域 上的 矩阵,记齐次线性方程组 解的全体为 。容易直接验证: 非空(至少有零解),且若 是 的解,则 , 均为 的解。这表明: 是 非空子集,且运算封闭,故 是线性空间 的子空间,称为齐次线性方程组 的解空间。
例 4.5.6★★☆☆☆证明题生成子空间展开题目与讲解
例 4.5.6 由向量组生成的子空间
设 是数域 上的线性空间, 是 中一组向量,记 则可直接验证 。故 非空,且可验证关于 中加法、数乘封闭,从而 为 的子空间,称为由 生成的子空间。
容易看出若 是线性空间 的一组基,则 这表明线性空间可看作由一组基生成的。
例 4.5.7★★★☆☆计算题生成子空间的维数与基展开题目与讲解
例 4.5.7 求生成子空间的维数和基
在线性空间 中,求 的维数和基,其中
解 据性质 4.5.1 知问题归结为求出 的极大线性无关组。在例 4.3.1 中已借助初等行变换得出 的极大线性无关组为 或 。故 向量组 或 均可作为 的基。
六§4.6 矩阵的秩·线性方程组解的结构选自 §4.64 个知识分组 · 含例题
定理+
设 是 矩阵,则 的行秩 的列秩。
证 设 ,则 经初等行变换可化为前 行不全为零,后 行全为零的阶梯形 此时 的阶梯头所在的列向量 是 的一个极大线性无关组,从而 是 的一个极大线性无关组,所以 的列秩 。
容易得出 ,对矩阵 利用上式有 的列秩 。而 的列秩即为 的行秩,所以 的行秩 。综上定理证毕。
推论 是可逆矩阵 的行向量组线性无关 的列向量组线性无关。
这定理表明我们可把矩阵的秩定义为它的行向量组线性无关向量的最大个数(行秩),也可定义为它的列向量组线性无关向量的最大个数(列秩)。这就使得我们能从一个新的角度(向量的角度)来刻画矩阵的秩,从而加深了对矩阵秩的认识,比如 的列(行)向量组中有 个列(行)向量线性无关,且任意 个(如果有)列(行)向量均线性相关。从而若 ,则 的行向量组线性相关,列向量组线性无关。
设线性方程组(Ⅰ):,则
(1)有解 向量 可经 的列向量组线性表示。
在(Ⅰ)有解时注意到:
(Ⅰ)的解唯一 向量 经 的列向量组线性表示式唯一 的列向量组线性无关 的列秩为 (未知量个数)。
这样我们又一次得出了线性方程组解的定理 2.3.1。
设 为数域 上 矩阵,,则齐次线性方程组 的解的全体 是 的一个子空间,且 ,(4.6.1) 式中的 是 的一组基。
齐次线性方程组的解空间的一组基称为该方程组的一个基础解系。
设 是(Ⅰ)的一个取定的解(一般称为特解), 是(Ⅱ)的通解,则(Ⅰ)的通解为
证 首先据性质 4.6.1 知, 是(Ⅰ)的解。再证(Ⅰ)的解均形如 。设 为(Ⅰ)的任意一个解,则 据性质 4.6.1 知, 是(Ⅱ)的解。这表明 (4.6.2) 式包含了(Ⅰ)的所有的解。定理得证。
由定理 4.6.3 知:(Ⅱ)有基础解系 ,且(Ⅱ)的通解可表为 故(Ⅰ)的通解可表为 其中 是(Ⅰ)的一个特解, 为任意常数。
性质+
(1)若 均为(Ⅰ)的解,则 为(Ⅱ)的解。
(2)若 为(Ⅰ)的解, 为(Ⅱ)的解,则 为(Ⅰ)的解。
进而可得出(Ⅰ)的解的构造。
说明+
本节将应用线性空间的理论来进一步阐明矩阵的秩和线性方程组解的结构。
首先来看一下矩阵的秩。设给出了一个数域 上的 矩阵 记其 个行向量为 , 个列向量为 ,则 分别为线性空间 , 中的向量。向量组 和向量组 的秩(极大线性无关组所含向量的个数)分别称为 的行秩和列秩。
进而来考察线性方程组 其中 ,。若记 为矩阵 的列向量,则方程组(Ⅰ)可改写为 这表明若(Ⅰ)有解,则 可经 线性表示,从而向量组 与 等价。由性质 4.5.1 之(1)推得 故 ,此处 。
反之,若 ,注意到 是 的子空间,且两者维数相同,所以前者的基也是后者的基,从而 这表明 ,即 可经 线性表示,从而(Ⅰ)有解。
这样我们用线性空间的理论,重新证明了线性方程组有解的判别法:方程组(Ⅰ)有解 。
当然如果用线性空间的语言来叙述上述结论可有如下定理。
最后来讨论线性方程组解的结构。
在上一节例 4.5.5 中已阐明,系数矩阵 的齐次线性方程组 解的全体 构成了线性空间 的子空间,现在我们来探讨 的维数和基。
设 ,,据 2.3 节知, 的解可表为 其中 为任意常数。将此式改写为向量形式 分别记上式右端的 个 元解向量为 ,则齐次线性方程组的通解可表为 其中 为任意常数。由 作为列向量构成的矩阵 的第 ,第 第 行,第 1,第 2,,第 列构成的 阶子式 据性质 4.2.3 知, 线性无关。(4.6.1) 式表明 的任何一个解可经 线性表示,故 为解空间 的一组基,。请注意 的维数 恰为 2.3 节所说的该方程组自由未知量的个数。
概括起来我们有下述定理。
至此我们已阐明了齐次线性方程组解的结构,借此我们可以把非齐次线性方程组解的结构刻画出来。
设非齐次线性方程组为 其中 为 矩阵,且 。称 为(Ⅰ)对应的齐次线性方程组,或称为(Ⅰ)的导出组。
(Ⅰ)和(Ⅱ)的解之间存在着密切的关系,容易直接验证下述性质。
例题
例 4.6.1★★★☆☆计算题齐次方程组的基础解系展开题目与讲解
例 4.6.1 解齐次线性方程组并写基础解系
解齐次线性方程组 且将其通解用基础解系表示。
解 此题即 2.3 节中例 2.3.3,故知其系数矩阵经初等行变换后可化为 通解为 其中 为任意常数。
写成向量形式为 其中 为任意常数。
故基础解系为 通解为 其中 为任意常数。
如 2.3 节所述自由未知量选取可以是不惟一的,如本例中也可选取 。按现在的话来说就是虽然线性方程组的基础解系(解空间的基)可以不惟一,然而由不同的基生成的子空间均为解空间,故而它们表示的解集合是相同的。这就进一步阐明了 2.3 节所说的虽然不同的自由未知量通解的表达形式不一样,但两者所表示的解集合是相同的。
例 4.6.2★★★☆☆计算题非齐次方程组的通解结构展开题目与讲解
例 4.6.2 解非齐次线性方程组
解线性方程组 且将其通解用其对应的齐次线性方程组(导出组)的基础解系来表示。
解 此题即 2.3 节中例 2.3.2,故知其增广矩阵通过初等行变换可化为 通解为 若令 ,,就得其一个特解 而其对应的齐次线性方程组即例 4.6.1,故所求的通解可表为 其中 为任意常数。
至此我们已用线性空间的理论阐明了矩阵的秩和线性方程组解的结构,这一方面使我们把矩阵、线性方程组的问题放在线性空间理论中来看,得出一些原先未能意识到的结果,从而加深认识。另一方面又给我们解决矩阵,线性方程组的问题提供了新的思想、方法和技巧。
例 4.6.3★★★☆☆证明题秩与初等变换展开题目与讲解
例 4.6.3 用初等变换把后几行(列)化为零
设 矩阵 的秩为 ,证明:
(1) 可通过若干次初等行变换使第 ,第 第 行全为零。
(2) 可通过若干次初等列变换使第 ,第 第 列全为零。
证 (1)由 知, 的行秩为 ,设 的行向量组 中极大线性无关组为 。经过适当的行交换后,可将 依次排在第 1,第 2,,第 行,此时第 ,第 第 行中的任意一行均可经 线性表示,故通过适当的初等行变换后第 ,第 第 行全为零。
(2)类似(1)。
例 4.6.4★★★★☆证明题秩的不等式展开题目与讲解
例 4.6.4 的秩不等式
设 分别为 , 矩阵,若 ,求证:
(1) 的列向量是齐次线性方程组 的解向量。
(2)。
(3)若 ,则 。
(4)若 ,,则 的列向量组线性相关, 的行向量组线性相关。
证 (1)参见例 3.3.3 的(1)。
(2)据定理 4.6.3 知, 解空间中极大线性无关向量组(基)所含向量个数为 。而由(1)知, 的列向量全体只是 的解向量的一部分,因而 的列向量的极大线性无关组所含向量个数不大于 ,即 从而
(3)证法一 由 知, 只有零解,而(1)表明 的列向量均是 的解向量,从而 的列向量均为零向量,即得 。
证法二 由(2)知,,得 ,故 。
(4)证法一 由题设 ,,由(2)知,,故得 利用定理 4.6.1 知, 的列秩 , 的行秩 。从而 的 个列向量线性相关, 的 个行向量线性相关。
证法二 由 ,据(1)齐次线性方程组 有非零解,故 ,即 的列秩 ,从而 的 个列向量线性相关。利用 ,类似可推出 的 个行向量线性相关。
例 4.6.5★★★★☆证明题向量组秩的比较展开题目与讲解
例 4.6.5 可线性表示的向量组的秩
在线性空间 中,设向量组(Ⅰ):;向量组(Ⅱ):。若(Ⅰ)可经(Ⅱ)线性表示,则向量组(Ⅰ)的秩不大于向量组(Ⅱ)的秩。
证 证法一:设(Ⅰ)的秩为 ,不妨设(Ⅰ)的一个极大线性无关组为 ;(Ⅱ)的秩为 ,不妨设(Ⅱ)的一个极大线性无关组为 。据题设 可经向量组(Ⅱ)线性表示,再利用向量组与其极大线性无关组等价,可推出 可经 线性表示,因 线性无关,据定理 4.3.4 知,。
证法二 据题设有 将上式改写为矩阵形式有 记 ,则有 故 由定理 4.6.1 知, 的秩不大于 的秩。
注记 (1)由证法一知,本例的结论对一般线性空间 中的向量都成立。
(2)利用本例结论可推出线性空间中等价的向量组有相同的秩。
七§4.7 同构选自 §4.76 个知识分组 · 含例题
定义+
设 是二个非空集合. 若给定一个法则 , 使 中每个元素 都有 中一个惟一确定的元素 与它对应, 则称 是集合 到 的一个映射, 记作 . 同时称 为 在 下的像, 记为 . 称为 在 下的一个原像. 这样 到 的映射 可表示为 称 中全体元素在 作用下的像集合为值域, 记为
设 是 到 的映射. 若 , 则称 为满射. 这表明: 为满射 . 换言之, 为满射当且仅当对任意的 , 一定可以找到 , 使得 .
设 是 到 的映射. 若在映射 下 中不同元素的像也不同, 即若 , 且 , 必有 , 则称 为单射.
若 到 的映射 , 既是满射又是单射, 则称 为双射, 或称为 对应.
若 都是集合 到集合 的映射, 且对任意的 有 , 则称 相等, 记为 .
设 和 分别是集合 到集合 和集合 到集合 的两个映射, 定义 和 的乘积(或称合成) 为 显然 是集合 到集合 的一个映射.
设 是集合 到集合 的一个映射, 若存在 到 的一个映射 , 使得 同时成立, 则称 是可逆映射, 称为 的一个逆映射. 定义中 和 地位是相同的, 故此时也说 是可逆映射, 为 的一个逆映射. 若 是可逆映射, 则其逆映射是惟一的, 从而可将 惟一的逆映射记为 .
数域 上两个线性空间 和 称为同构的, 如果 到 有一个满足下述条件的双射 : (1) ; (2) . 记为 , 称为 到 的一个同构映射.
定理+
设 是集合 到集合 的一个映射, 则 是可逆映射当且仅当 是双射 (此定理的证明可参阅文献 [1], 11 页). 换言之, 映射可逆与映射为双射是等价的.
设 和 是数域 上两个线性空间, 若 , 则下述性质成立: (1) 保持零向量和负向量: , , 此处 分别为 的零向量, 为 中任意向量. (2) 保持线性组合: (3) 保持线性相关性: 中元素 线性相关 它们的像 线性相关. (4) 保持线性无关性: 中元素 线性无关 它们的像 线性无关. (5) 保持基: 中向量 是一组基 它们的像 是 的一组基. (6) 保持子空间: 若 是 的子空间, 则 是 的子空间, 且 .
设 为数域 上两个有限维线性空间, 则
数域 上任意一个 维线性空间 均与 同构. 我们能直接写出 与 间的同构映射. 这只要取 的一组基 与 中一组常用基 , 定义 则 是一个同构映射. 注意到 在同构映射下的像 其实就是 在基 下的坐标, 记为 . 至此阐明了本节开始所提出的观点: 利用同构可将数域 上一般的抽象的 维线性空间 归结为特殊的具体的 的研究.
设 是数域 上任意一个 维线性空间, 取其一组基为 , 记 中元素 在基 下的坐标为 , 据 , 是同构映射, 则有: (1) 中元素 线性相关 其坐标 ( 中元素) 线性相关. (2) 中元素 线性无关 其坐标 ( 中元素) 线性无关. (3) 中向量 为 的一组基 其坐标 为 的一组基 . (4) , 且 为 的基 为 的基. 故 注意到 中向量组的相关性、无关性、是否为基、求子空间 的基均有具体的方法, 从而利用定理 4.7.4 的性质就可在一般的抽象的线性空间 中解决同样的一系列问题.
性质+
可以直接验证线性空间之间的同构关系具有反身性、对称性、传递性. 于是数域 上的所有有限维线性空间可按同构分类, 据定理 4.7.3 知, 所有维数相同的线性空间恰为一类. 而在维数为 的线性空间所在类中, 可取 作为代表 (对照矩阵等价中的标准形), 以 来推断一般抽象的 维线性空间.
公式+
设 为 的一组基, 为 的常用基, 同构映射 把 中向量与其坐标一一对应, 且保持加法与数乘.
设 为 在某一组基下的坐标, 则子空间的维数等于坐标向量组所成矩阵的秩: 这是把抽象线性空间的问题化为 中具体矩阵计算的基本公式.
说明+
本节引入两个线性空间同构的概念, 借此可将数域 上一般的抽象的 维线性空间归结为特殊的具体的 的研究. 在第 1 节中介绍过各种各样的线性空间, 诸如数域、、、、, 它们的元素不相同, 运算也不一样, 如何来说明两个线性空间结构是“相同”的呢? 先从集合的映射谈起.
线性空间是带有适合 8 条性质的两个运算的非空集合. 要使两个线性空间结构相同, 一个自然的要求应是两者之间有一个保持运算的双射, 这就是“同构”的概念. 定义 4.7.8 中 (1) 是说 中元素之和的像为其像在 中之和, (2) 是说 中元素数乘后的像为其像在 中之数乘, 这就是所谓 保持运算. 下文将看到同构的线性空间确有相同的运算性质, 从而有相同的构造.
本节末配习题 4.7, 共 8 题, 主要练习映射的单射、满射、双射判定, 有限维线性空间同构的判定, 以及用坐标法求向量组的线性关系、维数与基.
例题
例 4.7.1★☆☆☆☆判断题展开题目与讲解
例 4.7.1 恒等映射
设 是一个非空集合, 定义 是 到 的映射, 称为恒等映射, 记作 , 或简写为 .
解 每个 都有 中惟一确定的元素 与之对应, 故 是映射; 又 , 显然 且不同元素的像不同, 故 是双射, 其逆映射就是自身.
例 4.7.2★☆☆☆☆判断题展开题目与讲解
例 4.7.2 零映射
取 均为数域 上的线性空间 , 定义 这是映射, 称为零映射.
解 中每个 的像都是 中同一元素 , 符合映射的定义. 当 时, 不同的 有相同的像 , 故不是单射; 又 , 故也不是满射.
例 4.7.3★★☆☆☆判断题展开题目与讲解
例 4.7.3 整数集到偶数集的 对应
取 为整数集, 为偶数集, 定义 则 是 到 的 映射.
解 若 , 即 , 则 , 故 是单射; 又任一偶数 都有原像 , 使 , 故 是满射. 因此 是双射, 即 对应.
例 4.7.4★★☆☆☆计算题展开题目与讲解
例 4.7.4 映射的乘积
取 , , , 定义映射 则 和 的乘积 为 这是 到 的一个映射, 也可表示为
解 复合映射 先用 把矩阵 映为实数 , 再用 把实数 映为数量矩阵 . 注意 不是单射 (行列式相等的矩阵可以不同), 故 不是单射.
例 4.7.5★★☆☆☆证明题展开题目与讲解
例 4.7.5 可逆映射与逆映射
解 例 4.7.3 中的 是可逆映射. 这是因为定义偶数集到整数集的映射 为 则 故 , . 据定义 4.7.7 知, 是可逆映射, 是其惟一的逆映射.
例 4.7.6★☆☆☆☆判断题展开题目与讲解
例 4.7.6 定理 4.7.4 之特例
定理 4.7.4 之 (1) 和 (2) 即 4.4 节中述而不证的定理 4.4.1.
解 坐标映射 是 到 的同构映射, 由定理 4.7.2 之 (3)(4) 知它保持线性相关性与线性无关性, 而 中向量组的相关性由坐标矩阵的秩判定, 这正是定理 4.4.1 的结论.
例 4.7.7★★★☆☆计算题展开题目与讲解
例 4.7.7 用坐标法判断线性关系并求维数与基
在有限维线性空间 中取 求: (1) (I) ; (II) 是线性相关, 还是线性无关? (2) 的维数与一组基.
解 (1) 在 中取一组常用基 则 在这组基下坐标分别为 据定理 4.7.4 之性质, 只要求出 (I') ; (II') 的线性关系以及 的维数与一组基就够了. 为此可对下列矩阵作初等行变换化为阶梯形矩阵 据 知, 线性相关, 线性无关, 从而推知: 线性相关, 线性无关. (2) 据 知, 的维数为 , 一组基为 , 从而推知 , 一组基为 .
例 4.7.8★★★☆☆证明题展开题目与讲解
例 4.7.8 子空间维数等于矩阵的秩
设 是数域 上 维线性空间 的一组基, 是一个 矩阵, , 证明: 的维数等于矩阵 的秩.
证 设 在基 下的坐标分别为 , 据定理 4.7.4 性质 (4) 知 利用 4.5 节中性质 4.5.1 知, 恰为向量组 的秩 , 而向量组 恰为矩阵 的 个列向量, 故其秩 即为矩阵 的秩, 此即 .
八§4.8 欧氏空间选自 §4.86 个知识分组 · 含例题
定义+
设 是实数域 上的一个线性空间, 如果对于 中任意两个向量 与 都有惟一确定的记为 的实数与它们对应, 且具有下列性质: (1) ; (2) ; (3) ; (4) , 且 , 这里 是 中任意向量, 是任意实数, 则称 为向量 的内积. 具有内积的实线性空间 称为欧几里得 (Euclid) 空间, 简称为欧氏空间.
设 为欧氏空间 的一个向量, 则非负实数 称为向量 的长度, 记为 . 在此定义下有 长度为 的向量称为单位向量. 若 , 由 知, 就是一个单位向量. 用非零向量 的长度的倒数去数乘向量 , 得到一个与 同方向的单位向量, 通常把这过程称为把向量 单位化 (或称标准化).
设 和 是欧氏空间两个非零向量. 和 的夹角 由以下公式定义: 由柯西-施瓦茨不等式知 所以这样定义两向量的夹角是合理的.
设 是欧氏空间, , 若 , 则称 与 正交 (或互相垂直), 记为 . 由性质 4.8.1 之 (1) 知, 零向量 与任意向量正交, 当然就和自身正交. 由内积的正定性知, . 当 都不是零向量时, 有
欧氏空间 的一组两两正交的非零向量称为 的一个正交向量组. 应当指出按此定义, 由单个非零向量组成的向量组也是正交向量组, 所以欧氏空间的正交向量组总是存在的.
在 维欧氏空间中, 由 个向量组成的正交向量组称为正交基, 由单位向量组成的正交基, 称为标准正交基 (或单位正交基). 容易看出如有了正交基, 则对其单位化即可得到标准正交基.
阶实矩阵 称为正交矩阵, 若 .
欧氏空间 与 称为同构的, 如果有一个 到 的双射 适合: (1) ; (2) ; (3) . 这样的映射 称为 到 的同构映射, 记为 . 欧氏空间是具有内积的实线性空间, 故下述定义是自然的.
定理+
任何一个实数域 上的有限维线性空间 , 一定能规定适当内积使之成为欧氏空间.
证 设 , 取 的一组基 , 对 中任意向量 与 , 有 规定内积 这里 分别为 在基 下的坐标. 可直接验证该内积适合定义 4.8.1 的 4 条性质, 故 构成欧氏空间. 进而 上的任意一个有限维线性空间 不仅一定能规定适当内积使之构成欧氏空间, 而且可以规定不同的内积使得 均成为欧氏空间. 比如在定理的证明中, 可以规定内积为 这里 为任意正实数, 或者规定内积为 同一个实线性空间 关于这些不同内积所构成的不同欧氏空间, 其差别在于“尺度”不一样.
对于欧氏空间 中任意两个向量 恒有 且等号成立 线性相关.
证 如 线性相关, 不妨可设 , 则 这就证明了当 线性相关时等号成立. 现设 线性无关, 则对任意实数 而言, , 故 即 上式左端是 的二次三项式, 由于它对 的任意实数值来说都是正数, 所以它的判别式一定小于零, 即 即得 . 至此已证明了不等式恒成立, 且当 线性相关时等号成立. 下面用反证法来证等号成立能导出 线性相关: 若不然, 据上证明知等号不成立, 此为矛盾. 综上所述定理得证.
维欧氏空间中任意一个正交向量组都能扩充成一组正交基.
证 设 是 的一个正交向量组. 若 , 则定理得证. 若 , 由 知存在 中向量 , 即 不能经 线性表示. 作向量 这里 是待定的系数. 由 不能经 线性表示知, 不论 如何取值, 均有 . 用 () 与 作内积, 利用 两两正交性得 取 有 , . 于是 是正交向量组. 若 , 则定理得证; 否则重复讨论, 经 步扩充即得 的一组正交基. 定理得证. 正交基单位化后即可得标准正交基, 由此知任意 维欧氏空间总可从一个非零向量开始, 经扩充后得到一组标准正交基.
对于 维欧氏空间中任意一组基 , 都可找到一组标准正交基 , 且使得
证 利用原有的 来逐个求出 . 首先取 , 显然 , 且 , 所以 是正交向量组. 其次令 因 (即 ) 线性无关, 故不论 取何值, 均有 . 用 对上式两边作内积, 有 取 , 有 . 这样 就是正交向量组. 且向量组 与向量组 等价, 故 . 一般的, 假定已经求出 () 是正交向量组, 具有性质 下一步求 . 因 , 所以 不能经 线性表示, 按定理 4.8.3 证明中方法作向量 适合 , , . 故 是正交向量组, 且向量组 与向量组 等价, 故有 . 由归纳法原理知, 可得到一组正交基 , 使 , . 将 单位化, 即令 可得 的一组标准正交基 , 且有 , . 定理得证.
注记 (1) 定理中要求 , , 相当于由基 到 的过渡矩阵是上三角形的. (2) 定理的证明是构造性的, 即证明过程已具体给出将任意一组基改造为标准正交基的做法, 这个方法称为施密特 (Schmidt) 正交化方法.
设 和 是两个欧氏空间, 若 , 则下述性质成立: (1) 保持零向量, 负向量. (2) 保持线性组合. (3) 保持线性相关性. (4) 保持线性无关性. (5) 保持基, 从而保持维数. (6) 保持子空间. (7) 保持正交性: . (8) 保持长度: . (9) 保持夹角: 时 . (10) 保持标准正交基: 为 的一组标准正交基 它们的像 为 的一组标准正交基.
证 由定义 4.8.8 可看出, 如果 是欧氏空间 到 的一个同构映射, 那么 也是作为线性空间 到 的同构映射. 这样利用定理 4.7.2 知, 性质 (1)(6) 均成立. 证 (7): 因 . 证 (8): 因 . 证 (9): 因 证 (10): 将性质 (5),(7) 和 (8) 结合起来即得. 这表明同构的欧氏空间有相同的性质和结构.
设 为两个有限维欧氏空间, 则 当且仅当 .
证 若 , 则 与 作为线性空间是同构的, 由定理 4.7.3 知 . 若 , 在 和 中分别取一组标准正交基: 和 , 定义映射 则 是 的保持加法、数乘和内积的双射, 从而 . 综上定理得证.
性质+
设 是欧氏空间, 均为 中任意向量, 均为任意实数, 则有 (1) ; (2) ; (3) ; (4) .
证 (1) , 两边减去实数 , 即得 . (2) . (3) 类似于 (2). (4) 反复应用 (2),(3) 和定义 4.8.1 中的性质 (2),(3) 即得.
设 为欧氏空间, 为 中向量, 则有 (1) (三角形不等式) . (2) (勾股定理) 若 , 则 .
证 (1) 利用柯西-施瓦茨不等式有 所以 . (2) 当 时, 有 , 故
设 是 维欧氏空间 的一个正交向量组, 则 线性无关.
证 设 . 用 与等式两边的向量作内积, 且利用 时有 , 可得 . 因 , 故 , 从而 (). 这就证明了 线性无关.
推论 维欧氏空间中两两正交的非零向量的个数不能超过 . 这一事实的几何意义是清楚的, 如平面上找不到三个两两垂直的非零向量, 空间找不到四个两两垂直的非零向量.
容易看出性质 4.8.3 的逆命题不成立, 即线性无关的向量组未必是正交向量组. 如 中的 就是线性无关向量组, 但 与 () 均不正交. 这表明正交向量组是比线性无关向量组更强的概念.
(1) 的一组基为标准正交基 它的度量矩阵为单位矩阵; (2) 的常用基 () 是标准正交基; (3) 的常用基 (; ) 是标准正交基. 这里 为标准正交基
在欧氏空间 中, 为标准正交基 为正交矩阵. 在欧氏空间 中检验一组向量 是否标准正交基可如下进行: 因此时 , 故度量矩阵为 若记 , 则有 为 的标准正交基 .
设 为 维欧氏空间的一组标准正交基, 向量 在该基下坐标分别为 , , 则 (1) ; (2) ; (3) , .
证 (1) 因标准正交基度量矩阵为 , 由 即得 . (2) (1) 中取 即得. (3) .
公式+
在实线性空间 中, 对于向量 , , 规定内积 (称为标准内积) 当 时, 上式就是几何空间 中向量内积在直角坐标系中的坐标表达式.
在实线性空间 中, 对于实矩阵 , , 规定内积 (称为标准内积)
在实线性空间 中, 对任意两个实连续函数 规定内积
设 是一个 维欧氏空间, 在 中取一组基 , 对 中任意两个向量 , , 记 , 则 这里 分别为 在基 下的坐标, 而矩阵 称为基 的度量矩阵. 由内积的对称性知, , 故度量矩阵 为实对称矩阵. 在知道了一组基的度量矩阵后, 任意两个向量的内积就可以通过坐标按上式计算得出, 因而度量矩阵确定内积.
若 , 则 是与 同方向的单位向量.
设 为欧氏空间中两个非零向量, 则 当 中有一个为零向量时, 由 知零向量与任意向量正交.
由任意一组基 出发, 依次作 再单位化 即得标准正交基 , 且保持子空间不变.
说明+
上节已阐明任意的数域 上 维线性空间 都同构于 , 从这个意义上讲 代表了所有维数为 的 上线性空间 . 从而我们熟悉的 (欧氏) 空间 、 (欧氏) 平面 可作为 上线性空间最好的背景和模型. 我们自然希望 的一些良好的性态能拓广到一般线性空间 中去, 但迄今线性空间只有向量的运算 (如加法、数乘) 性质, 尚没有 所具有的向量的度量 (如长度、夹角) 性质. 而向量的度量性质在许多问题 (其中包括几何问题) 中有着特别重要的地位, 故有必要在一般线性空间中引入度量的概念. 在解析几何中, 几何空间 (即 ) 向量的长度与夹角等度量性质都可以通过向量的内积 (或称数量积) 来表示, 而向量的内积有明显的代数性质, 所以取内积作为基本概念, 在实数域 上的一般线性空间中导入内积, 建立起具有度量的欧氏空间.
定义 4.8.1 中的 (2),(3) 表明内积对第一个变量是线性的, 性质 4.8.1 中的 (2),(3) 表明内积对第二个变量也是线性的, 因而内积是具有双线性的; 定义 4.8.1 中内积的性质 (1) 说明内积有对称性; 为方便计将定义 4.8.1 中内积的性质 (4) 称为内积有正定性. 概括起来: 欧氏空间的内积具有对称性、双线性和正定性. 鉴于欧氏空间首先是一个实线性空间, 故本章前面所述关于线性空间所导入的一些基本概念, 诸如向量的线性关系 (相关、无关)、基、维数、坐标和子空间等, 以及与这些有关的定理、性质自然在欧氏空间都适用, 因而都可直接使用.
下文凡称 , 为欧氏空间时, 如无特殊说明其具有的内积都是指标准内积. 另外, 欧氏空间 的任一子空间 关于 所规定的内积也是一个欧氏空间, 所以都是欧氏空间的子空间.
欧氏空间是线性空间, 故有基. 因其还具有内积, 故可以寻求有良好度量性质的基. 例 4.8.7 表明欧氏空间 和 都具有长度为 , 两两正交的向量组成的基. 特别地在 中这种基就构成直角坐标系, 而直角坐标系使用起来特别方便. 我们希望一般的 维欧氏空间中能够有这种使用方便的基, 这就是正交基与标准正交基.
本节末配习题 4.8, 共 11 题, 主要练习内积的定义与验证、长度与夹角的计算、正交向量组与标准正交基的判定, 以及施密特正交化方法.
例题
例 4.8.1★★☆☆☆证明题展开题目与讲解
例 4.8.1 几何空间中的内积
在几何空间 中, 规定的内积为 其中 为几何向量, 表示向量的长度, 为它们的夹角, 这样规定的内积 (解析几何中称为数量积) 满足定义 4.8.1 的 4 条性质, 故几何空间是欧氏空间.
解 对称性由 关于 对称而得; 数乘与分配律由数量积的投影性质而得; 正定性由 且等号仅在 时成立而得.
例 4.8.2★☆☆☆☆证明题展开题目与讲解
例 4.8.2 的标准内积
在实线性空间 中, 对于向量 规定内积 (称为标准内积) 显然适合定义 4.8.1 的 4 条性质, 故 构成欧氏空间.
解 这里 4 条性质分别对应实数的交换律、结合律与分配律, 以及 且等号仅在 全为零时成立.
例 4.8.3★★☆☆☆证明题展开题目与讲解
例 4.8.3 的标准内积
在实线性空间 中, 对于实矩阵 规定内积 (称为标准内积) 可直接验证其适合定义 4.8.1 的 4 条性质, 故 构成欧氏空间.
解 把 个元素按行拉直成 维向量, 则此内积就是 的标准内积, 故 4 条性质成立.
例 4.8.4★★☆☆☆证明题展开题目与讲解
例 4.8.4 的内积
在实线性空间 中, 对任意两个实连续函数 规定内积 由定积分的性质不难验证这样规定的内积适合定义 4.8.1 的 4 条性质, 故 构成欧氏空间.
解 对称性与线性性由定积分的线性性得到; 正定性由 及连续函数 若 则 得到.
例 4.8.5★★☆☆☆证明题展开题目与讲解
例 4.8.5 柯西不等式
考虑例 4.8.2 中的欧氏空间 , 由柯西-施瓦茨不等式推出对任意实数 ; , 有不等式 上述不等式称为柯西 (Cauchy) 不等式.
解 取 , , 则 , , , 代入 后两边平方即得.
例 4.8.6★★☆☆☆证明题展开题目与讲解
例 4.8.6 施瓦茨不等式
考虑例 4.8.4 中的欧氏空间 , 由柯西-施瓦茨不等式推出对于定义在 上任意连续的实函数 有不等式 此不等式称为施瓦茨 (Schwarz) 不等式.
解 在 中令 , 则 , 代入柯西-施瓦茨不等式即得. 这两个不等式都是历史上著名的不等式, 它们从外表上看差异很大, 然而它们被统一在欧氏空间的不等式 中, 因而通常把该不等式称为柯西-施瓦茨不等式.
例 4.8.7★☆☆☆☆计算题展开题目与讲解
例 4.8.7 常用基是标准正交基
在欧氏空间 中常用基为 其中 位于第 个位置. 直接计算知 这表明 中常用基是由两两正交长度为 的向量组成. 同样可以推知, 在欧氏空间 中常用基 (, ) 也是由两两正交长度为 的向量组成.
解 由标准内积 直接得到, 其中 在 时为 , 时为 .
例 4.8.8★★★☆☆计算题展开题目与讲解
例 4.8.8 由度量矩阵计算内积与长度
设 是 维欧氏空间, 基 的度量矩阵为 若 , , 求: (1) 和 ; (2) .
解 (1) , ; (2) 代公式 计算得 这表明 .
例 4.8.9★★★★☆计算题展开题目与讲解
例 4.8.9 标准正交基的判定与坐标计算
设欧氏空间 中 (1) 证明: 是 的一组标准正交基. (2) 若 , 求 及 .
解 (1) 方法一: 计算 由定义推出结论. 方法二: 因 由性质 4.8.5 推出结论. (2) 由 (1) 知, 是标准正交基, 在该基下坐标为 . 据性质 4.8.6 之 (2), 有 计算 有两种方法. 方法一: 故 方法二: 利用性质 4.8.6 之 (3), 求出 在标准正交基 下坐标为 从而
例 4.8.10★★★★☆计算题展开题目与讲解
例 4.8.10 施密特正交化与扩充
设欧氏空间 的向量组 (1) 求 的子空间 的一组标准正交基; (2) 将此标准正交基扩充成为 的一组标准正交基.
解 (1) 先求 的基, 为此对下列矩阵作初等行变换 得 的维数为 , 基可取 . 现将 改造成标准正交基. 令 再单位化得 就是 的一组标准正交基. (2) 设 , 且 , , 即 , , 从而 求出此齐次线性方程组的基础解系 (即解空间 的基) 为 至此已有 , , , , 但 不正交, 故还须改造 使之正交. 令 , 再单位化得 注意到 仍为解空间 的基, 所以与 均正交, 从而 就是 的一组标准正交基.
例 4.8.11★★★★☆计算题展开题目与讲解
例 4.8.11 与两个矩阵均正交的矩阵全体
在欧氏空间 中, 设 (1) 求出所有与 均正交的矩阵全体 . (2) 证明 是 的子空间, 求出 的维数和一组基.
解 (1) 设所求矩阵为 , 则 恰为下述方程的解: 记 , , 其中 为任意实数, 则所求矩阵为 (2) 记 由 (1) 知 , 故 为 的子空间 (也可按子空间定义直接验证 非空, 且对加法、数乘封闭). 现 线性无关, 所以 .
九§4.9 线性变换的定义和运算选自 §4.96 个知识分组 · 含例题
定义+
线性空间 的一个变换 ( 到 的映射) 称为线性变换, 如果对 中任意向量 和数域 中任意数 都有 该式表明变换 是保持加法和数乘的, 故线性变换实际上就是线性空间 到 的一个保持运算的映射.
对任意的 , 可在 中定义一个变换 称为 的和, 记作 .
对任意的 , 可在 中定义变换 称为 的负变换, 记为 . 同样可直接验证 是 上的线性变换.
对任意的 , 任意的 , 可在 中定义变换 称为 与 的数量乘积 (简称为数乘), 记为 . 可直接验证 是 上的线性变换.
对任意的 , 可在 中定义变换 称为 和 的乘积, 记为 . 可如加法、数乘一样直接验证 是 上的线性变换, 即 对乘法的运算封闭.
设 , 若存在一个变换 使得 则称 是可逆的线性变换, 且称 为 的一个逆变换. 若 是可逆线性变换, 则其逆变换也是线性变换, 而且是惟一的. 这样可把 的惟一的逆变换记为 .
定理+
上述结果表明 非空, 有两个封闭的运算: 加法和数量乘法, 而且还可直接验证这两种运算适合线性空间定义的 8 条运算规律, 其中零向量为零变换, 的负向量为 的负变换 . 所以有: 是数域 上的一个线性空间.
性质+
设 是线性空间 的线性变换. (1) 保持零向量: ; (2) 保持负向量: ; (3) 保持线性组合: 若 , 则 (4) 保持线性相关性: 若 线性相关, 则 线性相关.
证 (1),(2) 因 , 分别取 , 即可证得 (1),(2). (3) 多次利用线性变换的定义式即得. (4) 因 线性相关, 故存在 中不全为零的数 使 两边作线性变换 , 且利用 (1),(3) 即得 故 线性相关.
是 上的线性变换, 这是因为对任意的 , 任意的 , 有
公式+
线性变换的定义式为
线性变换的运算式为
说明+
至此我们已经阐明了数域 上任意一个 维线性空间都与 同构, 因而有限维线性空间的结构可以认为清楚了. 同时要指出近世代数学明显区别于古典代数学就在于近世代数学的最基本研究对象不再是代数系统中的元素特征, 而是代数系统本身的结构和不同代数系统之间的联系. 在线性空间中, 这种联系就反映为线性空间之间的映射. 线性空间 到自身的映射通常称为 的一个变换. 在数学里, 变换的概念是非常基本的, 如解析几何里常要用到的坐标的变换、数学分析 (微积分) 里常要用到的变量的替换等. 如同线性函数是最简单最基本的函数一样, 下面要讨论的线性变换是线性空间最简单, 同时也可以说是最基本的一种变换. 我们将看到有限维线性空间的线性变换和矩阵之间有着很密切的联系, 这种联系有助于我们加深对线性变换和矩阵的认识. 如无特殊说明, 下面所说的线性空间都是指某个固定数域 上的.
下文一般用手写体拉丁字母 代表变换, 用 或 代表 中向量 在变换 下的像. 仍是 中的向量.
线性变换不能保证保持线性无关性, 即若 线性无关, 不能保证 一定线性无关. 比如 中零变换就是把 中所有线性无关向量组变为线性相关的向量组, 中的投影变换 也把常用基变为线性相关的向量组.
本节末配习题 4.9, 共 10 题, 主要练习线性变换的判定、线性变换的运算 (和、数乘、乘积、逆) 以及可逆线性变换的性质.
例题
例 4.9.1★★☆☆☆证明题展开题目与讲解
例 4.9.1 旋转变换
在实线性空间 中, 把平面围绕坐标原点按逆时针方向旋转 角的变换记为 . 设 中任意一个向量 在直角坐标下的坐标为 , 则其像 的坐标 有 解
注意到 的坐标为 , 故 的坐标为 这表明 . 同样设 为 的任意向量, 其坐标为 , 则 的坐标为 , 从而 的坐标为 这表明 . 所以 是 的一个线性变换.
例 4.9.2★★☆☆☆证明题展开题目与讲解
例 4.9.2 反射变换
在实线性空间 中, 把平面以 轴 (或某条过原点的直线) 为对称轴作 180 度的翻转, 这类变换称为反射, 记为 . 设 中任意一个向量 的坐标为 , 则像 的坐标为 . 解
如例 4.9.1 可直接验证 满足线性变换的条件, 故反射是 的一个线性变换.
例 4.9.3★★☆☆☆证明题展开题目与讲解
例 4.9.3 投影变换
在实线性空间 中, 将任意一个向量 内射影到 平面上是 的变换, 这类变换称为投影变换, 记为 . 设 的坐标为 , 则 的坐标为 . 解
如例 4.9.1 可直接验证 满足线性变换的条件, 故投影变换 是 的一个线性变换. 类似可验证投影变换 也是 的线性变换.
例 4.9.4★★☆☆☆证明题展开题目与讲解
例 4.9.4 求导变换
在实线性空间 中, 对多项式求导是变换, 记为 . 在此变换下 中任意向量 的像为 . 解 由求导法则易知 故 是 中的线性变换.
例 4.9.5★★☆☆☆证明题展开题目与讲解
例 4.9.5 积分变换
在实线性空间 中, 对函数求积分是变换, 记为 . 在此变换下 中任意向量 的像为 . 解 由积分法则知 故 是 中的线性变换.
例 4.9.6★☆☆☆☆证明题展开题目与讲解
例 4.9.6 恒等变换与零变换
任意线性空间 中的恒等变换 (参见例 4.7.1), 即 以及零变换 (参见例 4.7.2), 即 解 这两个变换都满足线性变换的条件, 因而任意线性空间上都有线性变换 和 .
例 4.9.7★★☆☆☆证明题展开题目与讲解
例 4.9.7 数乘变换
在实线性空间 中, 取定 中的一个数 , 定义变换为 解 可直接验证 满足线性变换的条件, 所以 为 上的线性变换, 称为数乘变换, 记为 .
注记 当 时, 为零变换; 当 时 为恒等变换. 从上述例子可看出线性变换有着丰富的内涵.
例 4.9.8★★★☆☆计算题展开题目与讲解
例 4.9.8 线性变换的乘法不满足交换律
在 中, 取 (旋转 角) 和 (以 轴反射), 则 解
这表明 , 所以线性变换的乘法不满足交换律.
例 4.9.9★★☆☆☆证明题展开题目与讲解
例 4.9.9 求导变换的幂
在 中, 取求导变换 , 解 可直接验证 .
例 4.9.10★★★☆☆计算题展开题目与讲解
例 4.9.10 反射与旋转的可逆性
在 中容易直接验证 解 容易直接验证, 所以 为可逆线性变换, 且 ; 为可逆线性变换, 且 .
十§4.10 线性变换的矩阵·同构选自 §4.106 个知识分组 · 含例题
定义+
设 是数域 上 维线性空间 的一组基, , 且有 将上述 个等式合写成矩阵形式 记为 , 其中数域 上矩阵 称为线性变换 关于基 的矩阵.
设 , 若存在可逆矩阵 , 使得 则称 与 相似.
定理+
设 是 维线性空间 的一组基, 那么对于 中任意 个向量 , 存在惟一的一个线性变换 , 使得
证 设 是 中任意向量, 定义 的一个变换 为 首先证明 是 的一个线性变换. 在 中任取两个向量 于是 按 的定义有 故 是 的一个线性变换, 且适合 惟一性可由性质 4.10.1 直接导出. 定理证毕. 据此上述问题可有肯定的解答: 设 是 中的任意一个矩阵, 令 则 是由 所惟一确定的 中 个向量, 据定理 4.10.1 知有惟一一个 , 使得 即 关于基 的矩阵为 .
设 是数域 上 维线性空间, 则作为 上线性空间有
证 设 , , 即 则 从而 . 同理, 由 推知 . 至此证明了 . 事实上 不仅保持加法和数乘, 还保持乘法和求逆, 即
设 , 关于 的一组基 的矩阵为 . 若记向量 在该基下坐标为 , 在该基下坐标为 , 则有 .
证 由题设有 故 这意指 关于基 的坐标为 . 据坐标惟一性有 .
设线性空间 的线性变换 关于 的两组基 (I): ; (II): 的矩阵分别为 和 , 从基 (I) 到基 (II) 的过渡矩阵为 , 则
证 据题设 于是 这意指 关于基 (II) 的矩阵为 . 据惟一性即得 .
线性变换关于不同基的矩阵是相似的. 反之, 若两个矩阵相似, 则它们可以看成同一个线性变换关于两组基的矩阵.
证 前一部分即为定理 4.10.4. 现证后一部分. 设 阶矩阵 与 相似, 此时有可逆矩阵 使 . 据 和 之间有 对应, 故 可看成 维线性空间 中某个线性变换 在基 下的矩阵. 令 因 是可逆矩阵, 故 线性无关 (参见例 4.7.8), 从而 也为 的一组基, 且 为基 到基 的过渡矩阵, 据定理 4.10.4 知 关于基 的矩阵为 . 定理得证.
性质+
设 是 维线性空间 的一组基, , 则
证 必要性是显然的. 下证充分性. 设 是 中任意向量, 则 , 从而 推得 .
设 , 且 关于 的一组基的矩阵分别为 , , 则 .
若 与 相似, 则 , .
阶矩阵间的相似关系适合 (1) 自反性: 任意矩阵 与自身相似; (2) 对称性: 若 与 相似, 则 与 相似; (3) 传递性: 若 与 相似, 与 相似, 则 与 相似.
证 (1) . (2) 因 , 故 . (3) 因 , , 故
公式+
矩阵 的第 列就是 在基 下的坐标.
其中 分别为 与 在同一组基下的坐标, 为从旧基到新基的过渡矩阵.
说明+
本节将阐明线性变换和矩阵的联系. 由变换相等定义知一个线性变换被它在 中每一个元素的像所惟一确定, 而当 是有限维线性空间时更有性质 4.10.1. 这命题表明线性变换 可由它在一组基上的像 惟一确定, 注意到 是 中元素, 故可由它在基 下的坐标惟一确定, 为更确切表达这一点引入线性变换关于基的矩阵的定义.
我们看到矩阵 的第 个列向量就是 在基 下的坐标, . 这样取定了 的一组基后, 对于 中任意一个线性变换都有 中一个确定的矩阵与之对应.
在取定了线性空间 的一组基 后, 和 之间有一个双射 , 其中 是 关于基 的矩阵. 映射 不仅保持加法和数乘, 还保持乘法和求逆, 即 , 且 为可逆线性变换 为可逆矩阵; 为可逆线性变换时 . 这表明作为代数系统 与 的运算规律和结构是相同的, 因而欲知 的性质, 可由 着手.
相似和 3.5 节中的等价一样是两个矩阵间的关系 (二元关系), 即两个 阶矩阵或相似或不相似. 有了矩阵相似的概念, 定理 4.10.4 可更为完善.
本节末配习题 4.10, 共 7 题, 主要练习求线性变换关于给定基的矩阵、由矩阵求像、以及用过渡矩阵求同一变换关于不同基的矩阵.
例题
例 4.10.1★★★☆☆计算题展开题目与讲解
例 4.10.1 的维数与一组基
设 , 求 及其一组基.
解 据定理 4.10.2, , 而 , 得 利用 4.8 节同构中定理 4.7.2 之 (5) 知, 可由 的一组基推导出 的一组基. 在 中取常用基 (), 则 在同构映射 下的原像就构成 的一组基, 从而 中关于 的一组基 的矩阵为 的线性变换 是 的基, 即
例 4.10.2★★★☆☆证明题展开题目与讲解
例 4.10.2 投影变换线性无关
证明例 4.9.3 所说的线性空间 上的投影变换 作为线性空间 中向量是线性无关的.
证 取 的常用基 可直接求得 关于常用基的矩阵分别为 设有 , 使得 即 得到 这表明在线性空间 中矩阵 是线性无关. 利用定理 4.10.2 所阐明的 和同构保持线性无关性推导出线性变换 是线性无关的.
例 4.10.3★★★★☆计算题展开题目与讲解
例 4.10.3 求线性变换的矩阵与逆变换
在线性空间 中, 取一组基为 设 是 中一个线性变换, 且 (1) 求 关于 的矩阵; (2) 是不是可逆线性变换? 如是可逆线性变换, 求出 .
解 (1) 设 关于 的矩阵为 , 则由定义 4.10.1 知 即 故 可利用 3.4 节介绍方法求 , 即对以 与 为左右两块的 矩阵作初等行变换: 得出 (2) 因 , 故 可逆. 据同构保持可逆性知 是可逆线性变换. 因 所以 关于 的矩阵为 , 即 这样 就惟一确定下来了.
十一§4.11 概要及小结选自 §4.114 个知识分组 · 含例题
性质+
以线性空间的观点来看数域 上矩阵 的列向量 是 中向量, 行向量 是 中向量, 且有 从而对矩阵 的秩可有新的认识: 矩阵的秩是它的行 (列) 向量组的极大线性无关组所含向量的个数. 据此, 为行 (列) 满秩的 的行 (列) 向量组线性无关.
以线性空间的观点来看齐次线性方程组 的解集合 是一个线性空间 ( 的子空间), 且 , 其中 . 的一组基 就是 的基础解系, 从而 的解的全体可表为 其中 为任意常数.
设 是欧氏空间, 是 到自身的一个映射, 且保持内积, 即 , , 则 保持加法: ; 且保持数乘: , , .
公式+
矩阵的秩与行、列向量组的维数关系如下:
称 为向量组 的格拉姆行列式.
其中 由 确定; 保持加法、数乘、乘法与求逆.
说明+
开始, 许多学生对数学只停留在形式上的掌握, 没有进入实质的理解; 有些学生则在达到较高境界之后, 再来回顾时才达到实质 (回味) 的理解. 令人惊奇的是, 许多数学家和科学家回顾他们自己的学习过程时都符合这个模式. 任何东西只有用较高的观点来透视, 才能看清它的本质. (美国国家研究委员会《人人关心数学教育的未来》)
我们从许许多多表面上看来很不相同的代数系统, 诸如数域、矩阵、多项式、 元数组、一元单值函数等等, 摒弃了它们的一些具体的个别的属性, 抽象出它们共有的属性: 一个非空集合, 两个封闭的运算, 八条运算规律. 以公理化的方式建立起数域 上线性空间的概念. 我们原先熟悉的数域、矩阵、多项式、 元数组、一元单值函数都是具体的线性空间, 而一般的线性空间内涵更为广泛, 当然也较为抽象. 为了研究较为抽象的一般线性空间, 我们引入了同构的概念. 指出同构的线性空间具有相同的运算性质和相同的结构, 而两个有限维线性空间同构当且仅当它们的维数相同, 从而数域 上的一般的 维线性空间同构于 , 于是一般的有限维线性空间的研究可归结为 () 的研究. 这种过程可表示为: 一般的线性空间 () 与具体的数域、多项式、矩阵、一元单值函数、、、 之间的相互归结.
这也就是从许多具体背景中经概括, 升华成一般的线性空间, 又借助同构将一般的线性空间的研究归结为 的研究. 这种从具体到一般, 又将一般化为具体的思想方法使我们既能从具体中提炼出一般, 又能用具体背景中的熟悉的方法来解决抽象的一般问题. 鉴于同构的线性空间具有相同的运算性质和规律, 所以若不考虑线性空间的向量具体是什么, 也不考虑其运算具体如何定义, 而只涉及线性空间在所定义运算下的运算性质和规律, 则同构 (维数相同) 的线性空间是可以不加区别的. 在这种观点下有限维线性空间被它的维数所惟一确定, 从而维数是有限维线性空间惟一的本质特征.
线性空间 具有特殊地位: 一方面它是一个具体的线性空间, 其运算可以具体计算, 性质和结构都较清楚; 另一方面它又是一般抽象的线性空间的代表, 抽象线性空间中的问题可通过它得以解决. 故可以认为掌握了 就知道了有限维线性空间, 所以线性空间中以 最重要, 它的性质和结构必须清楚, 必须掌握. 而 的基本性质实际上都可归结为线性方程组理论来解决: (1) 能 (否) 经 线性表示 非齐次线性方程组 有 (没有) 解 是 (否) 等于 . (2) 线性无关 齐次线性方程组 只有零解 . (3) 线性相关 齐次线性方程组 有非零解 . (4) 是 (否) 能作为 的一组基 行列式 是 (否) 不为零. (5) 计算向量组 的极大线性无关组可通过对矩阵 施行初等行变换化阶梯形矩阵而推断出来. 而一般的 维线性空间 , 只要取定一组基, 研究 中向量 在这组基下的坐标 ( 中向量!), 即可将 中问题转化为 中问题来解决.
数域 上两个线性空间 同构是指 到 有一个保持运算的双射. 因而 和 不仅等浓, 而且遵循相同的运算规律. 同构是两个线性空间之间的一种具有自反、对称、传递的关系, 故可据此将数域 上所有的线性空间进行分类, 即将同构的归并成一类. 由于 故实际上可按线性空间的维数分类, 相同维数的线性空间为一类. 在维数为 的类中, 我们取 为代表, 并以 的性态来推断维数为 的线性空间的性态.
欧氏空间是特殊的线性空间, 即具有内积的实线性空间. 任何一个有限维实线性空间总可以适当定义内积使之成为欧氏空间. 从同构意义上讲 维欧氏空间是以 为代表的. 我们最熟悉的几何空间 就是这样的代表. 在 中, 向量的内积、长度、夹角、正交都可具体计算而得. 在一般的 维欧氏空间中, 只要取一组标准正交基后, 以 中向量在这组基下的坐标 ( 中向量!) 代替该向量来研究, 即可将 中问题化为 中问题而得以解决. 欧氏空间是特殊的线性空间, 故它不仅具有线性空间所有的性质, 而且有其特殊性质, 如度量性质. 这就使得在欧氏空间中可有比一般线性空间更强的性态, 列举如下: 线性空间中的线性无关向量组在欧氏空间中可加强为正交向量组; 线性空间中的基在欧氏空间中可加强为标准正交基.
在欧氏空间中要判断一个向量 是否为零向量有一个独特的方法: 计算 . 因由内积正定性有 . 推而广之在欧氏空间中为证明表达式 只要计算出 即可.
线性变换是线性空间 到自身的一个保持运算的映射. 它被它在 的一组基上的像所惟一确定, 而这些像是被其坐标所惟一确定, 把像的坐标作为列向量构成矩阵, 则这个矩阵和线性变换互相惟一确定. 这样在确定 的一组基 后, 的线性变换的全体 和 阶矩阵全体 可建立起双射 , 此处矩阵 由 确定. 映射 保持运算: (1) ; (2) ; (3) ; (4) 可逆 可逆; (5) 当 可逆时, . 据 (1),(2) 还有: (6) 作为线性空间 . 如上所述 和 有相同的运算 (加法、数乘、乘法、求逆) 规律. 从而可以说矩阵是线性变换的代数形式, 而线性变换是矩阵的几何背景. 在这种观点下某类问题既可以用线性变换的语言, 也可用矩阵的语言来描述. 因比较起来矩阵比线性变换具体, 运算也容易计算, 故常常将线性变换的问题转化为矩阵问题. 矩阵问题解决了, 线性变换的问题也就迎刃而解了.
本章末配习题 4.11, 共 6 题, 内容涉及用矩阵的秩讨论线性方程组的解、矩阵乘积的秩、以及欧氏空间中保持内积的映射必保持加法与数乘等.
例题
例 4.11.1★★★★★计算题展开题目与讲解
例 4.11.1 两组贯穿前四章的题 (第一组)
第一组: (1) 计算行列式 (2) 求矩阵 的秩. (3) 讨论方程组 取何值时只有零解? 取何值时有非零解? 且用通解表示非零解. (4) 已知 元向量 问 取何值时 线性无关? 取何值时 线性相关? 当 线性相关时, 能否经 线性表出? 能否经 线性表出? 能线性表出的, 请写出表达式. (5) 如 (4) 题所设, 讨论 的秩, 且写出一个极大线性无关组. (6) 讨论 的维数和一组基.
解 这一组题的内容涵盖第 章, 而其核心是第 (2) 题, 第 (3)(6) 题看起来是线性方程组、线性空间中的不同类型的问题, 但最终均可归结为第 (2) 题. 第 (1) 题: 将 化为上三角形, 可求出 . 第 (2) 题: 对 施行初等行变换化约化阶梯形 从而 时, ; 时, . (注记: 仅为解此题, 可对 施行初等列变换, 但为了下面几题我们这里仅对 施行初等行变换.) 第 (3) 题: 据齐次线性方程组理论, 解的情况归结为系数矩阵 的秩, 求解的方法是将系数矩阵用初等行变换化为约化阶梯形. 从而 时, 秩 未知量个数, 故 只有零解; 时, 秩 未知量个数, 故 有非零解, 通解为 , 其中 为任意常数. 第 (4) 题: 由 线性无关 (相关) 只有零解 (有非零解), 从而该题前两个问题无非是第 (3) 题用向量的形式表叙出来, 所以结果是: 时, 线性无关; 时, 线性相关. 当 , 线性相关时, 此时 由此知, , 从而 有惟一解, 解为 , , . 所以 能经 线性表出, 且表法惟一: . 同样由上式知 , , 从而 无解, 所以 不能经 线性表出. 第 (5) 题: 据本章 4.3 节所介绍的方法, 要求出 的秩与极大线性无关组是将 仅施行初等行变换化为阶梯形, 即第 (2) 题的做法: 据此: 时, 的秩为 , 其极大线性无关组是自身; 时, 的秩为 , 一个极大线性无关组为 . 第 (6) 题是第 (5) 题的另一表叙形式, 故结论相仿: 时, , 一组基为 ; 时, , 一组基为 .
例 4.11.1(续)两组贯穿前四章的题 (第二组)★★★★★计算题展开题目与讲解
例 4.11.1(续)两组贯穿前四章的题 (第二组)
第二组: (1) 讨论矩阵 的秩. (2) 讨论方程组 取何值时无解, 有解? 有解时何时有惟一解, 何时有无穷多个解? 且写出这些解. (3) 设 如第一组第 (4) 题所设, . 问 取何值时, 不能经 线性表示; 取何值时, 能经 线性表示. 进而何时表法惟一? 何时表法无穷? 且写出这些表示式. (4) 讨论 的秩, 并写出一个极大线性无关组. (5) 讨论 的维数和一组基.
解 这一组题的核心是第 (1) 题, 其余题均可由它演化而得, 所以解 (2)(5) 题均可归结为解 (1), 具体解题过程作为习题留给读者. 这两组题把前面四章的一些主要内容贯串起来, 展现了不同章节同一题型的演变过程, 从而揭示了从表面上看来自不同章节五花八门的题, 其实质是基于同一问题 (矩阵的秩). 熟练地掌握本节的两组题, 进而了解其思想和方法, 对掌握前四章的主要内容是很有帮助的.
例 4.11.2★★★★☆证明题展开题目与讲解
例 4.11.2
设 为 实矩阵, 求证:
证 考虑两个齐次线性方程组: 并记它们的解空间为 , . 因凡是 的解必是 的解, 故 . 反之设 是 的任意一个解, 则有 . 上式两边同时左乘 得 记为 , 因 为实数, 故导致 , 即 . 这表明 , 从而 , 故 . 即有 , 从而 . 同理可证 .
例 4.11.3★★★★☆证明题展开题目与讲解
例 4.11.3 格拉姆行列式
设 是 维欧氏空间 中一组向量, 称 为格拉姆行列式. 证明: 向量组 线性相关 其格拉姆行列式 .
证 必要性: 因 线性相关, 不妨设 依次用 分别对上式两边作内积, 得 这表明 中第一行是其余行的线性组合, 从而导出 的行向量组线性相关, 故 . 充分性: 因 , 故 对应的矩阵的行向量组线性相关, 不妨设第一行可经其余行线性表示, 即上面诸式成立. 从而可得 计算 从而 , 故 线性相关.
例 4.11.4★★★★★计算题展开题目与讲解
例 4.11.4 五个线性变换的线性关系
在线性空间 中, 定义线性变换 为对任意的 有 (1) 问: 作为线性空间 的向量组 是否线性相关? 是否线性相关? 线性相关时写出线性表达式. (2) 求 在 中生成子空间 的维数和一组基.
解 取 的一组常用基 , 计算出 关于该基的矩阵分别为 (1) 若 , 即 首先可推出 , 然后可推出 , 故 线性无关. 类似地由 得出 . 据 可推出 线性无关, 线性相关, 且 (2) 由 (1) 得出 , 一组基可取 .
注记 题中应用 , 将线性变换问题化为矩阵问题来解. 当矩阵问题还是不容易解时, 可进一步利用 , 把矩阵问题化为列向量问题来解, 一般说来此时问题就比较容易解决.
一§5.1 特征值和特征向量选自 §5.15 个知识分组 · 含例题
定义+
设 为数域 上的 阶方阵,如果存在数域 上的数 和非零向量 ,使得 ,则称 为 的一个特征值(或特征根),而 称为 的属于特征值 的一个特征向量.
设 是数域 上 阶方阵, 是一个变量,矩阵 的行列式 称为 的特征多项式,记为 .它是数域 上变量 的一个 次多项式.
定理+
设 为 阶方阵,则 能与对角矩阵相似的充要条件为 有 个线性无关的特征向量.若 有 个线性无关的特征向量 ,可记 ,则 是一个可逆矩阵,且使得 此处 是 的特征值, 是属于 的特征向量.
证 记 ,则 能对角化就是存在可逆矩阵 使 ,这等价于 若将矩阵 按列向量 分块表示为 ,因 为可逆矩阵,故 线性无关,上式即为 即 能与对角矩阵相似当且仅当 有 个线性无关的特征向量 ,此时取 即可.
(1) 是 的一个特征值的充要条件为 是 的特征多项式 在数域 中的一个根,即 .
(2)若 是 的一个特征值,则属于 的特征向量的全体是齐次线性方程组 的所有非零解.
证 设 是 阶方阵 的属于 的特征向量,于是有 ,即 ,从而线性方程组 有非零解 .
反之,若 有非零解 ,则 ,从而 .据定义 5.1.1 知,向量 就是 的属于 的特征向量.
据上所述,我们有: 是 的属于 的特征向量,当且仅当齐次线性方程组 有非零解 ,当且仅当 注意到 ,故 等价于 是 的一个根.
性质+
(1)若 是 的特征向量,则 只能属于一个特征值.
(2)属于特征值 的特征向量有无穷多个.
证 (1)设 是 的既属于特征值 、又属于特征值 的特征向量,则 从而 ,移项得 .因 ,所以 .这表明 只能属于一个特征值.
(2)设 是 的属于 的特征向量,下证对数域 中任意的 , 也是 的属于 的特征向量.这是因为 ,且有 易推得当 时有 ,故 的属于 的特征向量有无穷多个.
说明+
4.10 节中已阐明 ,因此研究线性空间 上线性变换 常借助于它关于某组基的矩阵.而同一线性变换关于不同基的矩阵一般不相同,只是彼此相似,所以对线性变换 而言希望能找到一组基使得 在这组基下的矩阵最简单,以便能更容易得出 的性质.一般认为对角矩阵是一类最简单的矩阵类,故而上述问题的矩阵提法就是:对于一个 阶方阵 去找到一个可逆矩阵 使得 为对角矩阵.这问题常被称为矩阵 对角化.
矩阵对角化具体说来可分成下述问题:
(1) 阶方阵与对角矩阵相似的充分必要条件是什么?
(2)如果 阶方阵 能与对角矩阵 相似,那么使得 的可逆矩阵 的结构如何?如何求出?
(3)如果 为对角矩阵 ,则称 为 的相似标准形.此时对角矩阵 应有何种结构?
(4)如果一个 阶方阵 不能相似于对角矩阵,那么与 相似的最简单矩阵是何种形式的?
为了阐明上述问题引入特征值与特征向量的概念.
(1) 阶方阵 能与对角矩阵 相似的充要条件为 有 个线性无关的特征向量.
(2)如 阶方阵 能与对角矩阵 相似,则 有 个线性无关的特征向量 .将 作为列向量组成矩阵 ,即 则 是可逆矩阵,且 .所以使得 的可逆矩阵 是由 的 个线性无关的特征向量作为列向量组成的.
(3)若 ,其中 则 .所以此时对角矩阵 的主对角线上元素 均是 的特征值.它们排列的次序与构成 的特征向量 的次序相对应,即 对应于 .
这样矩阵 能否对角化问题就在于 是否有 个线性无关的特征向量.为此我们首先把 的所有特征向量全确定下来,然后再确定哪些是线性无关的.利用定理 5.1.2 确定 的全部特征值和特征向量的方法可归结为如下步骤:
1.求出 的特征多项式 在数域 中的全部根 .据定理 5.1.2,它们就是 的全部特征值.
2.把求出的特征值 逐个代入对应的齐次线性方程组 求出一组基础解系为 .据定理 5.1.2 属于 的全体特征向量可表为 其中 为不全为零的一组任意常数,这表明属于 的特征向量加上零向量构成齐次线性方程组 的全部解向量(即解空间 ),这也说明属于 的特征向量有无穷多个.
3. 就是 的全部特征向量,这是因为 的任何一个特征向量 必属于某一个特征值,比如说属于 ,而属于 的全体特征向量可表为 ,所以 的某个表达式就表示了特征向量 .
例题
例 5.1.1★★☆☆☆计算题行和相等的特殊矩阵的特征值展开题目与讲解
例 5.1.1 元素全为 、主对角线为 的矩阵的特征值
设 阶方阵 解 在第 1 章行列式中我们就指出该矩阵的每行元素之和为常数 .利用此性质,取 ,则有 也就是说 所以 是 的一个特征值, 是 的属于特征值 的特征向量.
例 5.1.2★★★☆☆计算题特征多项式的计算展开题目与讲解
例 5.1.2 求特征多项式和全部特征值
求矩阵 的特征多项式和全部特征值,这里 解
回忆 1.3 节中例 1.3.5 的注记知 所以 的特征值为:,( 重根).
例 5.1.3★★★☆☆计算题特征值与特征向量的完整求解展开题目与讲解
例 5.1.3 求三阶矩阵的全部特征值和特征向量
设 求出 的全部特征值和特征向量.
解 先求出矩阵 的特征多项式 所以 的全部特征值为 .
然后把 代入 ,得 因 知,该方程组基础解系所含向量个数为 1,解得一个基础解系为 .故属于特征值 2 的全部特征向量为 ,.
再把 代入 ,得 因 知,该方程组基础解系所含向量个数为 1,解得一个基础解系为 .故属于特征值 1 的全部特征向量为 ,.
例 5.1.4★★★★☆计算题复特征值与复特征向量展开题目与讲解
例 5.1.4 实数域与复数域上特征值的差异
设 ,求出 的全部特征值和特征向量.
解
如果把 看作实数域上的矩阵,据定理 5.1.2 特征值只能取 的实根,故此时 只有特征值 .若把 看成复数域上的矩阵,则特征值可以取 的复根,此时 的特征值就是 .
把 代入 ,解得一个基础解系 ,所以 的属于特征值 1 的全部特征向量为 ,.
由上述知,若把 看作实数域上的矩阵,则 的全部特征值为 1,属于 1 的全部特征向量为 ,.
如果把 看作复数域上的矩阵,则 还有特征值 .再把 代入 ,解得一个基础解系 所以 的属于特征值 的全部特征向量为 ,.
再把 代入 ,解得一个基础解系 所以 的属于特征值 的全部特征向量为 ,.
由上述知,若把 看作复数域上的矩阵,则 的全部特征值为 .属于 1 的全部特征向量为 ,属于 的全部特征向量为 ,属于 的全部特征向量为 ,其中 为任意非零的复数.
二§5.2 矩阵对角化选自 §5.24 个知识分组 · 含例题
定理+
方阵 的属于不同特征值的特征向量是线性无关的.
证 设 是方阵 的互异特征值,它们对应的特征向量分别为 .现对 用数学归纳法来证明结论.
当 时,因 ,故 是线性无关的.
设 时定理成立,下面考察 的情况.设有 在 式两边同时用 作数乘,得 在 式两边同时左乘矩阵 ,注意到 ,有 将 式减去 式,得 据归纳法假设 线性无关,于是 由题设 ,故得 将此结果代入 式,得 .因 ,从而 .这就证明了 线性无关.至此根据数学归纳法原理,定理得证.
阶方阵 若有 个互异特征值 ,则 与对角矩阵 相似.
事实上,若 阶方阵 有 个互异的特征值 ,则属于特征值 的特征向量 线性无关,从而 有 个线性无关的特征向量.据定理 5.1.1 知,若记 ,则 是一个可逆矩阵,且有 从而 与对角矩阵 相似.
若 是方阵 的互异的特征值,且 是属于特征值 的线性无关的特征向量,则 线性无关.
证 对 用数学归纳法,用类似于定理 5.2.1 推理证得.
回忆我们求方阵 的全部特征值和特征向量时,所用的方法是:求出 的所有互异的特征值为 ,将 逐个代入对应线性方程组 ,.求出一组基础解系(即解空间 的一组基).现据定理 5.2.2 可判定 是一组线性无关的特征向量.我们断言 是 的所有特征向量组成的向量组中的极大线性无关组.这是因为 的任何一个特征向量 必属于某个特征值 ,从而 可经基础解系 线性表示.这表明 线性相关.
设 阶方阵 的互异的特征值的全体为 ,且将 逐个代入对应线性方程组 ,求得一组基础解系(即解空间 的一组基)为 ,则
(1) 与对角矩阵相似的充要条件为:.
(2)当 时, 有 个线性无关的特征向量 ,若令 ,则有 其中 恰为特征向量 所属的特征值.
数域 上的 阶矩阵 若在 中互异的特征根的全体为 ,它们相应的重数为 ,且 的基础解系所含向量个数为 ,则 与对角矩阵 (其中 出现 次)相似的充分必要条件为
分析 因 ,故 再结合定理 5.2.3 即得结论.此定理表明若矩阵 的某个 重根 所对应的齐次线性方程组 的基础解系所含向量的个数 小于 ,则立即可断定 不能对角化.故在判断 是否能对角化时(如例 5.2.2),这是一个简便的方法.
性质+
设 是方阵 的 重特征根,则齐次线性方程组 的基础解系所含向量个数(即 ).
证明 参见文献[1],303 页: 的特征子空间 的维数不能大于 的重数.
这性质首先表明若 为单根,则必有线性方程组 的基础解系所含向量个数为 1.其次,若 的全部相异特征根为 ,它们的重数相应为 ,则 的基础解系所含向量个数为
说明+
本判别法只是 与对角矩阵相似的一个充分性条件,而不是必要条件.下文就有例子表明一个方阵的特征值如果有重根可能与对角矩阵相似,也可能不与对角矩阵相似.
上述注记表明当方阵 的特征值有重根时,用本判别法无法判别.为了解决此问题,需要将定理 5.2.1 推广为定理 5.2.2.
若仅需求出方程组 基础解系所含向量的个数 ,大可不必去求解该方程组,因为据定理 4.4.3 知 而计算矩阵 的秩显然比解方程组更为简单.
例题
例 5.2.1★★★☆☆计算题用判别法判别对角化展开题目与讲解
例 5.2.1 三个互异特征值判别对角化并求可逆矩阵
对例 5.1.3 中的矩阵 略作变动得到
解 容易求得 .所以 有 3 个相异的特征根 .
将 代入 可解得属于 的全部特征向量为 将 代入 可解得属于 的全部特征向量为 将 代入 可解得属于 的全部特征向量为 据定理 5.2.1 知, 线性无关.3 阶方阵 有 3 个线性无关的特征向量,所以 能对角化.令 ,有
例 5.2.2★★★☆☆判断题用秩条件判断不可对角化展开题目与讲解
例 5.2.2 基础解系个数不足时的不可对角化
判别矩阵 能否与对角矩阵相似.
解 即为例 5.1.3 中的矩阵 .据例 5.1.3 知, 有两个相异特征值 (二重),所对应的线性方程组的基础解系所含向量个数 .因 ,所以 不能与对角矩阵相似.
例 5.2.3★★★★☆计算题重特征根情形的对角化展开题目与讲解
例 5.2.3 有重根但可对角化并写出
判别矩阵 能否与对角矩阵相似,如能则写出可逆矩阵 使 为对角矩阵.
解 先解 的特征多项式 故 的特征值为 (二重).
然后以 代入齐次线性方程组 ,解得一个基础解系为 .故属于特征值 5 的特征向量为 ,其中 .
再以 代入齐次线性方程组 ,解得一个基础解系为 故属于特征值 的特征向量为 ,其中 不同时为零.
这表明:.由 的阶数,利用定理 5.2.3 知, 能与对角矩阵相似,若令 则有
例 5.2.4★★☆☆☆计算题秩与基础解系个数的换算展开题目与讲解
例 5.2.4 由可对角化反求矩阵的秩
已知 3 阶矩阵 的特征值为 ,且 能与对角矩阵 相似,则 ,.
解 因 1 是 的单根,所以方程组 的基础解系所含向量个数为 1,从而由 推知,.因 能与对角矩阵相似,所以 的 2 重特征值 2 所对应的方程组 的基础解系所含向量个数为 2,从而由 推知,.
例 5.2.5★★★★☆计算题含参数矩阵的可对角化条件展开题目与讲解
例 5.2.5 秩为 1 的矩阵 的可对角化条件
设 .问 取何值时, 能对角化?为什么?
解
故 从而 的特征值为 .
当 时,0 是 的 4 重特征根,由 知, 的基础解系所含向量个数为 ,所以此时 不能对角化.
当 时,0 是 的 3 重特征根,由 知, 的基础解系所含向量个数为 特征根的重数,所以此时 能对角化.
例 5.2.6★★★★☆证明题幂零矩阵的特征值展开题目与讲解
例 5.2.6 幂零矩阵不能与对角矩阵相似
设 阶矩阵 ,若存在正整数 使 ,求证: 不能与对角矩阵相似.
证 设 是 的任意一个特征值,属于 的一个特征向量为 ,则 从而 另一方面,由 得,.从而推得 .因 ,所以 ,即得 .这表明 的特征值均为零.若 能与对角矩阵 相似,即有可逆矩阵 使得 ,则 主对角线上元素恰为 的全体特征值,从而 ,即 ,导出 ,此与题设 矛盾,原命题得证.
三§5.3 矩阵相似的理论和应用选自 §5.34 个知识分组 · 含例题
定义+
我们将矩阵 的主对角线上元素之和 称为矩阵 的迹,记为 .
性质+
设 为 阶方阵, 的全部特征值为 .
(1)
(2)
证 (1)将行列式 按定义(1.2.5)式展开,其中一项为主对角线上元素的乘积 展开式中其余的项至多含有 个主对角线上的元素,因而 的次数不能超过 ,所以 的最高次项、次高次项只能在 式中出现,故 的常数项为 ,而 .所以
(2)因 的全部特征值为 ,且首项系数为 1,故 比较 式和 式,即得
设 是 阶方阵 的一个特征值, 是 的属于 的特征向量,则 是 的一个特征值, 是 的属于 的特征向量.
证 由题设知,,从而 这表明 是 的一个特征值, 是 的属于 的特征向量.
设 是数域 上的一个多项式, 是一个 阶方阵,此时 .若 是 的一个特征值,则 是 的一个特征值.同时若 是 的属于 的特征向量,则 也是 的属于 的特征向量.
证 上述已由 推得 ,如法炮制可推得 .进而可推得 且显然有 把这些等式两边加起来即得 即
设 是 阶可逆矩阵,则
(1) 的特征值均不为零.
(2)若 为 的特征值,则 是 的一个特征值.同时若 是 的属于 的特征向量,则 也是 的属于 的特征向量.
证 (1)证法一 设 的全部特征值为 ,则据性质 5.3.1 之(2)知,.故 均不为零.
证法二(反证法) 设 有一个特征值 ,则 这与 是可逆矩阵矛盾.故命题成立.
证法三(反证法) 设 有一个特征值 , 是属于 的特征向量,则 因 是可逆矩阵,上式两边同时左乘 可推得 ,这与 是特征向量矛盾,故命题成立.
(2)据(1)知,此时 .设 是 的属于 的特征向量,则 .两边同时左乘 得 上式左端为 ,右端为 ,所以 .两边同时用 作数乘得 故 为 的一个特征值,同时 也是 的属于 的一个特征向量.
相似矩阵有相同的特征多项式,即若 与 相似,则
证 因 与 相似,故存在可逆矩阵 使 .从而
注记 性质 5.3.5 的逆命题不成立,也就是说特征多项式相同只是矩阵相似的必要条件,而不是充分条件.例子见例 5.3.3.
相似矩阵有相同的迹和行列式.即若 与 相似,则
证 由性质 5.3.1 知, 的特征多项式次高次项系数为 ,常数项为 .现 与 相似,所以有相同的特征多项式,特别地次高次项系数相同和常数项相同.故
注记 性质 5.3.6 的逆命题不成立,例子可见例 5.3.3.这表明迹相同、行列式相同均只是矩阵相似的必要条件,而不是充分条件.
设 均为 阶矩阵, 均为数域 中任意的数,若 与 相似,则
(1) 与 相似, 与 相似,, 与 相似;
(2) 为系数取自数域 的一个多项式,则 与 相似,这里
证 (1)由题设知,存在可逆矩阵 使得 .从而 其中最后一个等式右端括号内共 个因子.这表明 与 相似, 与 相似,, 与 相似.
(2)同样由 ,可推得 将这些等式相加,再加上等式 得 即 .这表明 与 相似.
设 为 阶矩阵,其全体特征根为 (重根按重数计).若 可对角化,即存在可逆矩阵 ,使得 ,则
(1)
(2) 其中 为数域 上的一个多项式 .从而
说明+
矩阵多项式 与 的矩阵多项式 相似.特别要指出的是联系 与 、联系 与 的矩阵就是联系 与 的矩阵 和 .这一点在下面应用于可对角化矩阵时,将带来方便.
将性质 5.3.7 应用于可对角化矩阵就得到性质 5.3.8.
例 5.2.1、例 5.2.3、例 5.3.1 和例 5.3.5 均是可对角化矩阵,所以均可利用性质 5.3.8.这表明计算可对角化矩阵的任意方幂,以及矩阵多项式,在利用了相似标准形后都变得并不困难了(参见例 5.3.1 和例 5.3.5).
例题
例 5.3.1★★★★★计算题特征值与矩阵多项式展开题目与讲解
例 5.3.1 特征值、矩阵多项式与行列式的综合计算
设矩阵 (1)求 的全部特征值和特征向量,并判断 能否对角化?若能写出可逆矩阵 使 为对角矩阵 .
(2)求 的全部特征值和特征向量.
(3)求 .
(4)求 .
解 (1)计算 的特征多项式 所以 的全部特征值为 .分别将 代入 ,可求得
的属于 的全部特征向量为 ,;
的属于 1 的全部特征向量为 ,;
的属于 3 的全部特征向量为 ,.
因 有 3 个相异的特征值,所以 能对角化.取 ,则 为可逆矩阵,且
(2)令 ,则 .据性质 5.3.3 知, 的全部特征值为 的属于 的全部特征向量 ,;
的属于 的全部特征向量 ,;
的属于 的全部特征向量 ,.
(3)由性质 5.3.1 得
(4)由(2)知 有 3 个线性无关特征向量 .所以若令 有 ,从而
注记 本例的第(4)小题表明,若 能与对角矩阵相似,则 的矩阵多项式 也容易求得.
例 5.3.2★★★☆☆计算题伴随矩阵与矩阵多项式的特征值展开题目与讲解
例 5.3.2 由特征值求伴随矩阵与矩阵多项式的特征值
设 3 阶方阵 的行列式 , 有一个特征值为 ,则 必有一个特征值为 ; 必有一个特征值为 ;.
解 由 知, 为可逆矩阵,且 从而 .现 是可逆矩阵 的一个特征值,由性质 5.3.4 知, 是 的一个特征值.进而 是 的一个特征值,所以第一个空格应填 .
取 ,则 .由性质 5.3.3 知, 有一个特征值为 所以第二个空格应填 0.
据性质 5.3.1 知, 为矩阵 的全部特征值的乘积.现已知其特征值有一个为零,所以 这样第 3 个空格应填 0.
例 5.3.3★★☆☆☆证明题相似的必要条件不是充分的展开题目与讲解
例 5.3.3 特征多项式相同却不一定相似
设 则
证 直接计算得 有相同的特征多项式.然而和 相似的矩阵只有自身,因凡和 相似的矩阵均形如 .现 ,所以 与 不相似.
例 5.3.4★★★★☆计算题用迹与行列式定参数展开题目与讲解
例 5.3.4 由相似关系确定参数并求过渡矩阵
已知矩阵 与 相似,其中 (1)求参数 ;(2)求可逆矩阵 使 .
解 (1)由 得:;由 得:.从而解得:.
(2)由(1)知,此时 有 3 个相异的特征值 .分别将 代入 可求得
的属于 1 的特征向量为 ,;
的属于 2 的特征向量为 ,;
的属于 5 的特征向量为 ,.
是 的 3 个线性无关的特征向量,令 ,则 为可逆矩阵,且 ,故所求
例 5.3.5★★★★☆计算题相似标准形求方幂展开题目与讲解
例 5.3.5 由特征向量反求矩阵及其高次幂
设 是 3 阶方阵,已知向量 满足 (1)证明: 能与对角矩阵相似;(2)求出 及 .
解 (1)由题设知 有 3 个相异的特征值 ,所以 能与对角矩阵 相似.
(2)记 则由(1)知,,所以
四§5.4 实对称矩阵的对角化选自 §5.44 个知识分组 · 含例题
定理+
设 是一个 阶的实对称矩阵,则存在一个正交矩阵 使得 其中 为 的全部特征值.
限于篇幅上述定理证明略去,有兴趣的读者可参阅文献[2],379 页.
定理 5.4.1 的重要性在于从理论上证明了对任意的实对称矩阵 存在正交矩阵 使得 .但证明并没有提供正交矩阵 如何求得的方法.下面就来提供求 的具体方法.
性质+
实对称矩阵 的特征值都是实数,特征向量均为 元实向量.
证 设 是 的任意一个特征值, 是 的属于 的一个特征向量,则有 令 其中 表示 的共轭复数,.对 式两边取共轭得 因 为实矩阵,所以 ,从而得: 对 式两边转置得 ,因 为对称矩阵,所以 ,从而 对 式两边左乘 ,对 两边右乘 ,分别得 从而 ,移项得 因 ,所以 .这表明 为实数.
这样属于 的特征向量 就是实系数的齐次线性方程组 的解,从而 .
设 是一个实对称矩阵,则属于 的不同特征值的特征向量一定正交.
证 设 分别是 的属于不同特征值 的特征向量,则有 在欧氏空间 中作内积有 另一方面, 从而 ,整理得 因 ,得 .即 正交,性质得证.
说明+
1.求出实对称矩阵 的全部互异的特征值 .据性质 5.4.1 知,.
2.对每个 解齐次线性方程组 ,得到一组基础解系为 .据定理 5.4.1 知,.故 为 的一组基.
3.当 有 个相异的特征值时,有 ,且 .据性质 5.4.2 知, 为正交向量组,将它们单位化,即得 的一组标准正交基 从而 为正交矩阵,且 .
当 的特征值有重根 时,将所有重根所对应的线性无关特征向量 用施密特正交化方法改造成标准正交向量组 ,利用性质 5.4.2 知, 为 的一组标准正交基.从而 为正交矩阵,且 其中重根 要按重数计.
例题
例 5.4.1★★★☆☆计算题正交矩阵求法(无重根)展开题目与讲解
例 5.4.1 三个互异特征值情形的正交对角化
求一个正交矩阵 ,将实对称矩阵 化为对角矩阵.
解 因 所以 3 阶方阵 有 3 个相异的特征值 .
将 代入 ,求得一个基础解系为 ;
将 代入 ,求得一个基础解系为 ;
将 代入 ,求得一个基础解系为 .
据性质 5.4.2 知, 为正交向量组,将它们单位化得 的一组标准正交基 故所求正交矩阵 ,且
例 5.4.2★★★★☆计算题施密特正交化与正交对角化展开题目与讲解
例 5.4.2 含重根时用施密特正交化求正交矩阵
求一个正交矩阵 ,将实对称矩阵 化为对角矩阵.
解 此即例 5.2.3 中的矩阵 ,故由例 5.2.3 知, 的特征值为 ,(二重).
对应于 5 求得一个基础解系为 .对应于 求得一个基础解系为 .将 改造成正交向量组: 将 单位化后,得到 的一组标准正交基 故所求正交矩阵 且
例 5.4.3★★★★☆计算题实对称矩阵的反问题展开题目与讲解
例 5.4.3 由部分特征向量补全并反求矩阵
设 3 阶实对称矩阵 的特征值为 ;矩阵 的属于特征值 的特征向量分别为 (1)求 的属于特征值 3 的特征向量;(2)求出矩阵 .
解 (1)设 的属于特征值 3 的特征向量为 ,据性质 5.4.2 知,,故得线性方程组 解得该方程组的一个基础解系为 .故 的属于特征值 3 的特征向量为
(2)解法一 取 ,记 由 ,得 .求出 代入计算得
解法二 注意到 是 的一组正交基,单位化后可得标准正交基 记 ,则 为正交阵.从而
五§5.5 概要及小结选自 §5.54 个知识分组 · 含例题
定义+
设 ,若对于数域 上的数 ,存在一个非零向量 ,使得 则称 为 的一个特征值,称 为 的属于特征值 的一个特征向量.
据此在欧氏空间 (特别当 时),特征向量的几何意义是清楚的,它是那些经过变换后,保持在同一条直线上拉长或压缩的向量,且当 时方向不变,当 时方向相反.
性质+
设 均为 阶方阵,且 均能对角化,则 与 相似当且仅当 有相同的特征多项式,即
证 必要性,性质 5.3.5 已证,下证充分性.
因 有相同的特征多项式,所以 有相同的特征值,设为 .现 均能对角化,所以存在可逆矩阵 ,使 从而 上式两边左乘 ,右乘 得 而 是可逆矩阵,所以 与 相似.
这再次表明可对角化矩阵有较好的性质.
说明+
阶方阵 能与对角矩阵相似的充要条件为 有 个线性无关的特征向量.若 有 个线性无关的特征向量 ,则令 有 这里 是 对应的特征值.
设 是 阶方阵,判别 能否对角化可按下述流程进行:
(1)判断 是否为实对称矩阵:若是,则 能对角化;
(2)若不是实对称矩阵,求出 的特征多项式 的全部根;
(3)判断 是否有重特征根:若无重特征根,则 能对角化;
(4)若有重特征根,对所有的重特征根 ( 的重数为 )计算
(5)判断 是否成立:若成立,则 能对角化;若不成立,则 不能对角化.
对能对角化的矩阵 ,对角化的具体步骤如下:
① 解特征多项式 ,求出 的全部相异的特征值 .
② 将 逐个代入 ,求得一个基础解系(即解空间 的一组基),这是一组线性无关的特征向量.
③ 因 可对角化,所以 .将这 个线性无关的特征向量记为 .
④ 取 ,则有 其中 是特征向量 所对应的特征值().
从前述知 阶方阵 能对角化 有 个线性无关的特征向量构成 的一组基.对于 阶实对称矩阵 而言,在欧氏空间 中看 有 个线性无关的特征向量构成 的一组标准正交基,因而存在正交矩阵 使得 为对角矩阵.具体做法如下:
(1)、(2)即为第 2 条中的①、②.
(3)用施密特正交化方法将线性无关向量组 改造成标准正交向量组 ,且 .则 就是 的一组标准正交基,记 ,则 就是正交矩阵,且 其中主对角线上元素为 的全部特征值.
设 为 阶方阵, 是 的全体特征根(重根按重数计),则
(1)
(2) 为可逆矩阵 .
(3)设 ,若 是 的一个特征值,则 是 的一个特征值.同时若 是 的属于 的特征向量,则 也是 的属于 的特征向量.
特别地若 可对角化,则 的全部特征值为 .
(4) 为可逆矩阵时,若 是 的一个特征值,则 是 的一个特征值.同时若 是 的属于 的特征向量,则 也是 的属于 的特征向量.
阐明上述性质(3)和(4)有两种方法.
一是由 着手,利用矩阵运算规律逐步推得所需结果.如性质 5.3.2 和性质 5.3.4 之(2)的证法.用此种方法我们还可以证明:
若 ,则 的特征值或为零,或为 1.
若 ,则 的特征值或为 1,或为 .
若 ,则 的特征值均为零(参见例 5.2.6).
注记 说得更严格一点是:若 ,则 的特征值取值范围为 ;若 ,则 的特征值取值范围为 .
二是由 着手,利用行列式的性质逐步推得所需的行列式为零.如 所以 是 的一个特征值.
又如当 为可逆矩阵时,.此时有 所以 是 的一个特征值.
能对角化的矩阵就是与对角矩阵相似的矩阵,所以对角化是矩阵相似理论的一部分.
若 与 相似,则
(1).
(2) 有相同的特征多项式,从而 ,.
(3)设 ,则 与 相似.
若 与对角矩阵相似,即存在可逆矩阵 ,使得 其中 为 的全部特征值,则上述结果可具体化为 特别地 这结果常被用来计算可对角化矩阵 的方幂 及 .
我们已经指出有相同特征多项式的矩阵未必是相似的,但下述性质是正确的.
鉴于 ,所以本章所讨论的问题既可用矩阵的语言,也可用线性变换的语言来描述.
本章核心问题方阵 能否对角化(矩阵语言),用线性变换语言来说就是线性空间 上线性变换 能否找到 中一组基使得 关于该基的矩阵为对角形.
本章例 5.2.6 指出若方阵 满足 ,则 不能与对角矩阵相似.这一结论用线性变换语言说就是:若线性空间 上线性变换 满足 (如 中的求导变换 ),则 在 的任何一组基下的矩阵都不是对角矩阵.
本章例 5.3.1 指出,设矩阵 则存在可逆矩阵 使得 .进而对矩阵 有 用线性变换语言说就是:设 中线性变换 在基 下的矩阵为 ,则 在基 下的矩阵为对角矩阵 ,线性变换 在基 下的矩阵为对角矩阵 .其中 .一般地利用本章性质 5.3.8 可得到:对数域 上任意多项式 ,线性变换 在基 下的矩阵为对角矩阵 .
本章例 5.4.2 指出:设矩阵 则存在正交矩阵 使得 用线性变换语言说就是:设 中线性变换 在一组标准正交基 下的矩阵为 ,则 在标准正交基 下的矩阵为对角矩阵 ,其中 .而一般地利用本章性质 5.3.8 可得出:对 上任意多项式 ,线性变换 在标准正交基 下的矩阵为 .
回忆第 3 章的矩阵等价和等价标准形,感到现在所讲的应该是方阵的相似和相似标准形.但迄今我们并未提及相似标准形这一概念,这是因为我们没有阐明将所有同阶方阵按相似分类后,相似类的标准形(即最简单矩阵)是什么形式的?实际上,至今我们尚未给出矩阵相似的充分必要条件,所以连分类的"标准"都没有.诚然若相似类中有对角矩阵,当然该对角矩阵可作为这一类矩阵的相似标准形.但事实上并不是所有的方阵都能与对角矩阵相似,这也就是说并不是所有的相似类中都有对角矩阵存在.那么所有的同阶方阵按相似分类后,相似类的标准形(即类中最简单矩阵)是什么呢?作为介绍我们指出相似类中的标准形可取不同的形式,例如若尔当(Jordan)标准形(参见文献[2],第八章)、有理标准形等.这些"标准形"都是准对角矩阵.这就是说凡不能与对角矩阵相似的方阵,它能相似的最简单矩阵是准对角矩阵.至此我们简短地解答了本章开始 5.1 节的问题(4).
例题
例 5.5.2★★★☆☆证明题正交矩阵的特征值展开题目与讲解
例 5.5.2 正交矩阵必有特征值
设 为 阶正交矩阵,且 ,则 是 的一个特征值.
证 移项得 故 是 的一个特征值.
注记 正交矩阵当然是实矩阵,但它的特征值可以是复数,如 易见 是正交阵,但 的特征值为 ,所以命题"正交矩阵的特征值为 "是错误的,正确的命题应是:正交矩阵实的特征值为 .
例 5.5.3★★★★☆计算题幂等矩阵的行列式展开题目与讲解
例 5.5.3 由 与秩求
设 阶方阵 满足 ,且 ,求 .
解 先证 能对角化,由 可推出 的特征值或为 0,或为 1.
特征值 0 所对应的方程组 的基础解系所含向量个数 特征值 1 所对应的方程组 的基础解系所含向量个数 由附录四练习题第二题第 3 小题知,此时 ,故 从而 .由 知, 能与对角矩阵 相似,且 的主对角线上元素为 个 1, 个 0,即有可逆矩阵 使得 其中 1 有 个,0 有 个.再取多项式 ,利用性质 5.3.8 之(2)有
例 5.5.4★★★★★计算题用相似标准形与特征向量表示求方幂展开题目与讲解
例 5.5.4 求 的两种解法
设 3 阶方阵 的特征值为 ,对应的特征向量依次为:;又设 ,求 ,其中 为任意正整数.
解
解法一 因 有 3 个互异的特征值,故 可对角化,令 ,有 .于是 从而可计算出
解法二 由 线性无关,所以 构成 一组基.故可设 ,将 的分量代入,即得线性方程组 解之可得 ,故 .从而
注记 注意解法一和解法二中的一些运算技巧,并可比较一下两种方法的计算工作量.
一§6.1 配方法化二次型为标准形选自 §6.14 个知识分组 · 含例题
定义+
一个系数取自数域 含有 个变量 的二次齐次多项式 称为数域 上的一个 元二次型,简称为二次型.特别地当 时称为实二次型;当 时称为复二次型.
二次型的一个重要议题就是化二次型为标准形,即用变量的线性替换化简一个二次型使它只含平方项.
设 是两组变量,系数在数域 中的一组关系式 称为由 到 的一个线性替换,简称为线性替换(或线性变换).特别地当 时称为实线性替换(或实线性变换),当 时称为复线性替换(或复线性变换).如果系数行列式 则线性替换 (6.1.2) 称为非退化的(或满秩的).
容易看出把 (6.1.2) 式代入二次型 得到的关于 的多项式仍然是齐二次的.故线性替换把二次型变为二次型.我们将只含平方项,不含混合项的二次型称为标准形,研究如何通过非退化的线性替换将二次型 化为标准形 是本章主旨之一.
定理+
数域 上任意一个二次型 都可经 上的非退化线性替换化为标准形 该定理详细证明可参见文献[2],215 页.
说明+
配方法是应用中学代数配平方的方法来达到逐次消去混合项,最后只剩下平方项,从而化为标准形的.
上述两例是有代表性的,所使用的方法适用于一般的二次型.令 ,(6.1.1) 式可表为 若 ,对 配方: 其中 .因 ,所以 .这样 就是一个 元二次型.若 ,重复上述讨论,对 配方.如此重复若干次即可化为标准形,且所作的线性替换是非退化的.
若 ,混合项系数,比如说 ,则可如例 6.1.2 先作非退化线性替换 得到 再用例 6.1.1 方法逐个对 配方,可得标准形,且所作线性替换是非退化的.
用配方法所得标准形不惟一,如若作非退化线性替换为 或 则二次型化得标准形是 .
二次型的“型”(form)意指齐次多项式,故二次型就是二次齐次多项式.二次型的研究起于解析几何中化二次曲线和二次曲面的方程为标准形的问题.回忆一下平面解析几何中,以坐标原点为中心的二次有心曲线方程为 方程的左端是两个变量的二次型.选取适当的旋转变换 ,可将它化为标准形:
二次型不仅在几何中出现,而且在数学的其他分支以及物理、力学中也常常碰到.因而二次型的理论有着广泛的应用.
本章主要讨论两个问题: (1)化二次型为标准形; (2)实二次型的分类以及正定二次型和正定矩阵的一些基本性质.
例题
例 6.1.1 含平方项的二次型配方★★☆☆☆计算题展开题目与讲解
例 6.1.1 含平方项的二次型配方
化二次型 为标准形,并写出所用的非退化线性替换.
解 先对 配方消去所有含 的项 : 再对 配方消去所有含 的项 : 作线性替换 或 把二次型化为标准形 注意到 故所作的线性替换是非退化的.
例 6.1.2 无平方项时先作和差替换★★★☆☆计算题展开题目与讲解
例 6.1.2 无平方项时先作和差替换
化二次型 为标准形,并写出所用的非退化线性替换.
解 作非退化线性替换 则 至此又可用例 6.1.1 的方法,先对 配方,再对 配方,即 作线性替换 或 把二次型化为标准形 把 (6.1.4) 式代入 (6.1.3) 式得 由 知,所作的线性替换是非退化的.
二§6.2 矩阵理论化二次型为标准形和矩阵的合同选自 §6.25 个知识分组 · 含例题
定义+
设 ,若存在可逆矩阵 ,使得 ,则称在数域 上 与 合同.
定理+
用配方法已证得了定理 6.1.1,现用矩阵的语言可将定理 6.1.1 叙述如下.
定理 6.2.1 中任意一个对称矩阵 ,存在 可逆矩阵 使 为对角形.
用合同的概念,上述结论又可叙述如下.
定理 6.2.1′ 中任意一个对称矩阵 均与对角矩阵合同.
这个对角矩阵称为 的合同标准形.
利用 5.4 节矩阵理论可得到化实二次型为标准形的另一种方法.
设二次型 是实二次型,则它的矩阵 是实对称矩阵.利用 5.4 节的定理 5.4.1 知,存在正交矩阵 ,使得 其中 为 的全部特征值.
用二次型语言来说就是
定理 6.2.2 任意一个实二次型 都可经非退化的实线性替换 化为 ,其中 为 的全部特征值, 为正交矩阵.并称线性替换 为正交线性替换.
因在 5.4 节中已具体给出求正交矩阵 的方法,所以在此只要依样画葫芦即可.
性质+
若 其中 均为对称矩阵,则 .
证明留作习题.
阶矩阵间的合同关系具有 (1)自反性:任意矩阵 与自身合同; (2)对称性:若 与 合同,则 与 合同; (3)传递性:若 与 合同, 与 合同,则 与 合同.
证明与性质 4.10.4 的证明是类似的,不再赘述.
设 合同,则 (1)保持秩:; (2)保持对称性:若 是对称矩阵,则 也是对称矩阵.
因二次型的矩阵是对称矩阵,所以本章所讨论的合同常限定为对称矩阵的合同.
说明+
为把二次型和矩阵联系起来,作如下变形称为二次型的矩阵表示: 记 ,因 ,故 为对称矩阵.再记 ,则二次型可表为 ,该式称为二次型的矩阵表示,其中对称矩阵 称为二次型 的矩阵.
反之,任意一个 阶对称矩阵 可视作二次型 的矩阵.综上所述在 元二次型和 阶对称矩阵之间建立起 1–1 对应.
同样将线性替换 (6.1.2) 式改写为矩阵形式 或 ,其中 ,,.于是有 由 知 也是对称矩阵,这样二次型 经 上非退化线性替换 化为标准形,等价于存在可逆矩阵 使 为对角形.
例 6.2.2 中用配方法化得的标准形为 (6.2.2) 式和 (6.2.1) 式是不同的.这再次表明同一个二次型通过不同的非退化线性替换化得的标准形可以不同.即二次型的标准形不是惟一的,与所作的非退化线性替换有关.
我们希望能得到有惟一性的特殊形式的标准形,下一节将讨论这问题.
例题
例 6.2.1 用正交线性替换化实二次型为标准形★★★☆☆计算题展开题目与讲解
例 6.2.1 用正交线性替换化实二次型为标准形
用正交线性替换化实二次型 为标准形,并写出正交线性替换.
解 二次型的矩阵为 由 5.4 节例 5.4.2 知,存在正交矩阵 使得 .利用此结果,作正交线性替换 ,二次型化为标准形 .
例 6.2.2 二元二次型的正交替换及几何意义★★★★☆综合题展开题目与讲解
例 6.2.2 二元二次型的正交替换及几何意义
用正交线性替换化实二次型 为标准形,并写出正交线性替换.
解 二次型的矩阵为 的特征多项式为 的特征值为 ,.
以 代入 ,解得基础解系为 ,单位化得 .
以 代入 ,解得基础解系为 ,单位化得 记 则 为正交矩阵,且 所做的正交线性替换为 所得标准形为
我们来看一下这道题的几何背景.设(欧氏)平面上一条有心二次曲线的方程为 在作正交线性替换 后得到标准形 这表明把平面围绕坐标原点按顺时针方向旋转 角,在新的坐标系下该二次曲线方程为 此为双曲线标准方程.
这就是本章开始所说以坐标原点为中心的二次有心曲线经过适当旋转变换 化标准形的一例.
注记 本例要求用正交线性替换化实二次型 为标准形,如果只要求非退化线性替换化 为标准形,那么就可用配方法来解. 作非退化线性替换 或
三§6.3 二次型的规范形选自 §6.34 个知识分组 · 含例题
定义+
二次型 的矩阵 的秩称为二次型 的秩.
设 是秩为 的复二次型,经适当的非退化复线性替换化为标准形后再作替换,可得 将 (6.3.1) 式称为复二次型 的规范形.它是由 项系数均为 1 的平方项构成,故由二次型 惟一确定.
设 是秩为 的实二次型,则经过适当的非退化实线性替换可化为标准形.在标准形中不为零的 个平方项系数可正可负,再适当排列变量的次序可得到 其中 .再作一个非退化实线性替换后则得 我们将 (6.3.2) 式称为实二次型 的规范形.
在秩为 实二次型的标准形或规范形中,正平方项的个数 称为正惯性指数,负平方项的个数 称为负惯性指数,它们的差 称为符号差.
实对称矩阵 可看作二次型 的矩阵,此时将该二次型的正(负)惯性指数称为 的正(负)惯性指数.
定理+
虽然二次型的标准形不惟一,但这些不同的标准形有其共性.
定理 6.3.1 二次型 的标准形中,系数不为零的平方项个数等于该二次型的矩阵的秩.
证 设二次型 的矩阵为 ,经过非退化线性替换 化为标准形,即 其中 .显然 .因 可逆,故 这定理表明虽二次型 可化为不同的标准形,但这些标准形中不为零的平方项个数均为 ,与所作的非退化线性替换无关.
(1)(二次型语言)任何一个复二次型经过适当的非退化复线性替换可化为规范形,规范形是惟一的,是由二次型的秩惟一确定.
(2)(矩阵语言) 上的任意秩为 的对称矩阵 与 合同,即存在可逆矩阵 ,使得
推论 均为 阶复对称矩阵,则 与 在复数域上合同 .
任意一个秩为 的实二次型 均可化为规范型,且不论用何种非退化的实线性替换化得的规范形是惟一的.
证 定理的前一部分上面已阐明,下证惟一性.设二次型 经非退化实线性替换 化为规范形 又设 经另一个非退化实线性替换 化为规范形 为证明定理仅需证 即可.
(反证法)设 ,由 (6.3.3) 式与 (6.3.4) 式有 由 及 得 其中 .则 (6.3.6) 式可表为
构造齐次线性方程组
则 (Ⅰ) 含有 个变量, 个方程,故有非零解,取其一个为 显然其中 ,而 不全为零.将 代入 (6.3.5) 式左边得 同时将 代入 (6.3.7) 式得 由于 是 (Ⅰ) 的解,故 ,将 代入 (6.3.5) 式右边得 与 (6.3.8) 式矛盾.故 .
同理可证 ,故 .定理得证.
用矩阵的语言惯性定理可表达为:任意秩为 的 阶实对称矩阵 与 合同,即存在 中可逆矩阵 ,使得 其中 是 所惟一确定的.
按上述两定义惯性定理可叙述如下.
定理 6.3.3′ (1)二次型语言:实二次型经过非退化的实线性替换化为标准形或规范形,它的秩(不为零的平方项个数)、正惯性指数(正平方项的个数)及负惯性指数(负平方项的个数)都是惟一的.
(2)矩阵语言: 阶实对称矩阵 与对角矩阵 合同时, 中不为零的个数(即 )、正数的个数(即 的正惯性指数)及负数的个数(即 的负惯性指数)都是惟一的.
均为 阶实对称矩阵,则 与 在实数域上合同 有相同的秩和相同的正(负)惯性指数.
证 先证必要性.因 与 在实数域上合同,故有可逆矩阵 使得 构作实二次型 ,则 可化为规范形,得出二次型 ,从而也是矩阵 的秩为 ,正惯性指数为 .另一方面对二次型 先作一个非退化实线性替换 ,则 再将 化为规范型,得出二次型 ,从而也是矩阵 的秩为 ,正惯性指数为 .据惯性定理有 所以 有相同的秩和相同的正惯性指数.
再证充分性.设 , 正惯性指数均为 ,利用惯性定理知,存在可逆矩阵 使得 从而 上式两边同时左乘 ,右乘 得 所以 与 合同.
说明+
定理 6.3.1 表明虽二次型 可化为不同的标准形,但这些标准形中不为零的平方项个数均为 ,与所作的非退化线性替换无关.下面分复数域和实数域来进一步讨论标准形的惟一性问题.
注意到 是实对称矩阵,据 5.4 节定理 5.4.1 知,存在正交矩阵 使 ,其中 为 的全部特征值.据此有
的秩即为 的不为零的特征值的个数,
的正惯性指数为 的特征值中正数的个数,
的负惯性指数为 的特征值中负数的个数.
据惯性定理这三个数都是由 惟一确定的.利用惯性定理可得出实对称矩阵合同的判别法.
例题
例 6.3.1 判断矩阵是否合同★★★★☆判定题展开题目与讲解
例 6.3.1 判断矩阵是否合同
设 则与 合同矩阵为 .
解 注意到 , 的正惯性指数为 2,而 所以 与 不合同.矩阵 可看作二次型 的矩阵,所以 的正惯性指数为 3,据此 与 不合同.矩阵 可看作二次型 的矩阵,所以 的正惯性指数为 2,据此 与 合同.这样本例应填 .
注记 求实对称矩阵的正(负)惯性指数也可从矩阵的特征值求得,例如由 知, 的特征值为 均为正数.故 的秩为 3,正惯性指数为 3,从而 与 不合同.由 知, 的特征值为 ,故 的秩为 3,正惯性指数 2,从而 与 合同.
四§6.4 正定二次型选自 §6.45 个知识分组 · 含例题
定义+
设实二次型 .如果对任意的实向量 ,恒有 (1),则称 为正定的; (2),则称 为负定的; (3),则称 为半正定的; (4),则称 为半负定的; (5)如 既不是(3),又不是(4),则称 为不定的.
据定义容易得到如下性质.
若实二次型 为正定(或负定,半正定,半负定)的,则实对称矩阵 称为正定(或相应地负定,半正定,半负定)的.
注记 按此定义正定矩阵一定是实对称矩阵.
在 阶矩阵 中由第 行,第 行,,第 行和第 列,第 列,,第 列组成的 阶子式称为 阶主子式.特别地当 时,称为 阶顺序主子式,记为 .
易见 阶方阵有且仅有 个顺序主子式 .
定理+
设实二次型 ,则下述陈述等价: (1) 是正定的. (2) 的正惯性指数为 . (3) 的特征值均大于零. (4)存在 阶可逆实矩阵 ,使得 .
证 (1)(2)设 经非退化的实线性替换 化为标准形 若 的正惯性指数小于 ,则 不能全大于零,不妨设 ,取 代入 ,因 为可逆矩阵,故 有 这与 正定矛盾,故(2)成立.
(2)(3)据定理 6.2.2 实二次型 可经正交线性替换 化为标准形 ,其中 为 的全部特征根,据(2)知,,.(3)得证.
(3)(4) 是实对称矩阵,故存在正交矩阵 ,使得 据(3)知,,.故 记 则 为 阶可逆的实矩阵,有 .(4)得证.
(4)(1)据(4)知,此时有 对任意的 ,因 为可逆矩阵,故实的 矩阵 从而 据定义 6.4.1, 为正定的,(1)得证.
综上所述定理得证.
推论 正定二次型 的规范形为:.
设 为实对称矩阵,则下述陈述等价: (1) 是正定矩阵. (2) 的特征值全大于零. (3)存在可逆的实矩阵 ,使得 . (4) 与单位矩阵 合同.
推论 正定矩阵 的行列式 .
为了进一步刻画正定矩阵引入以下概念.
实二次型 为正定二次型 的所有顺序主子式全大于零.
证 先证必要性.设实二次型 是正定的.记 则 是 元的正定二次型.这是因为对任意一组不全为零的实数 有 故 是正定的,从而它的矩阵 是正定的.由定理 6.4.2 的推论得
再证充分性.对二次型变量个数 作数学归纳法.
当 时,.由题设条件 ,故 为正定的.
假设对于 个变量的二次型论断成立.现来证 个变量的情况.为此对 配方有 其中 .因 ,所以 .这样 就是 个变量的二次型.如能证明 为正定的,由 (6.4.1) 式容易推得 是正定的,充分性就可得证.
事实上由行列式性质知 由已知条件 , 得 由归纳法假设 个变量的二次型 是正定的.
至此定理证毕.
推论 实二次型 是负定的 的顺序主子式 适合 ,.
设秩为 的实二次型 .则下述陈述等价: (1) 是半正定的. (2) 的正惯性指数为 . (3) 的规范形为:. (4) 的特征值均是非负的. (5)存在 阶实矩阵 ,使得 . (6) 与 合同. (7) 的所有主子式均非负.
注记 (1)、(2)、(3)、(4)、(5)、(6)彼此等价的证明是类似有关正定的相应证明,故不赘述,陈述(7)和陈述(1)等价性证明限于篇幅也不列出,有兴趣的读者可自行证明(在文献[2]中这就是一道习题.参见[2],236 页,第 9 题).在此要指出的是, 的所有顺序主子式均非负不能保证 为半正定.最简单例子是:,它的矩阵为 有 但显见 不是半正定的.
性质+
(1) 负定 正定; (2) 半负定 半正定.
这表明负定,半负定可分别转化为正定,半正定的问题来讨论,加之正定二次型在数学其他分支以及物理、力学等领域都有广泛应用,所以本节将着重讨论正定二次型.
设 是正定矩阵,则 (1) 为正定矩阵,其中 为任意正实数. (2) 为正定矩阵. (3) 的伴随矩阵 为正定矩阵. (4) 为正定矩阵,其中 为任意正整数. (5) 为正定矩阵,其中 为可逆实矩阵.
注记 用二次型语言(5)可表叙为:非退化的实线性替换保持二次型的正定性不变.
设 为同阶的正定矩阵,则 (1) 为正定矩阵. (2) 为正定矩阵.
说明+
本节所讨论的二次型都是实二次型.
任意一个实二次型 均可看成定义在实数域上 个变量的实函数,因而可引入以下概念.
利用定理 6.4.1 和定理 6.4.3 容易得到下述两个性质(性质 6.4.2 与性质 6.4.3).
例题
例 6.4.1 求矩阵的顺序主子式★★☆☆☆计算题展开题目与讲解
例 6.4.1 求矩阵的顺序主子式
设 则 有 4 个顺序主子式,分别为
利用本定理(定理 6.4.3)可断定性 6.4.1 中的矩阵 是正定矩阵.
例 6.4.2 用五种方法判定二次型不正定★★★★☆综合题展开题目与讲解
例 6.4.2 用五种方法判定二次型不正定
判断实二次型 是否正定.
解
方法一 取 ,,,则 但 ,故 不正定.
方法二 设 ,,,则 故 的正惯性指数为 ,所以 不正定.
方法三 的矩阵为 计算得 这表明 的特征值不全大于零,故 不正定.
方法四(反证) 若 正定,则 为正定矩阵,故有可逆矩阵 ,使得 ,从而 现 ,此为矛盾,故 不正定.
方法五 的 2 阶顺序主子式为 故 不正定.
例 6.4.3 求参数使二次型正定★★★☆☆计算题展开题目与讲解
例 6.4.3 求参数使二次型正定
取何值时二次型 是正定的?
解 此类题应用定理 6.4.3 来解.写出该二次型的矩阵 的顺序主子式为 这样二次型正定的充要条件为 所以当 时二次型正定.
五§6.5 概要及小结选自 §6.53 个知识分组 · 含例题
性质+
设 均为 阶实对称矩阵.若 与 相似,则 与 必合同.
证 因 与 相似,所以 与 有相同的特征多项式.从而 与 有相同的特征值 .现 均为实对称矩阵,所以存在正交矩阵 使 从而 ,等式两边同时左乘 ,右乘 导出 所以 与 合同.
矩阵的等价,相似和合同均体现了这样的一种想法:把一个数学问题经过允许的限制条件不同的变换(等价变换、相似变换、合同变换),化为不同的标准形(在不同限制条件下的最简单形式),借助标准形解决原先的数学问题.
说明+
概要:二次型及标准形(矩阵的合同);正定二次型(正定矩阵).
1.二次型是指二次齐次多项式 其中 .
本章主要研究通过非退化线性替换 化二次型为标准形 数域 上任何一个二次型都可通过配方法找到一个数域 上的非退化线性替换,经过这个线性替换二次型化为标准形.
2.利用矩阵理论研究二次型
为把二次型和矩阵联系起来作如下变形称为二次型的矩阵表示: 其中 ,.若限定 ,则 和二次型 可互相惟一确定,故称对称矩阵 为二次型 的矩阵.这样二次型 化标准形可转化为找一个可逆矩阵 使 为对角形.于是上述用配方法关于二次型的结果,用矩阵语言来说就是:
中任意一个对称矩阵 ,存在 中可逆矩阵 ,使得 为对角形.
实二次型 的矩阵 是实对称矩阵,故可用 5.7 节矩阵理论知存在正交矩阵 ,使 ,其中 为 的全部特征值.
上述矩阵结果用二次型语言来说就是:
实二次型 经过正交线性替换 化为标准形 其中 为 的全部特征值.
3.规范形
鉴于二次型的标准形不惟一,为此分别在复数域和实数域讨论二次型的规范形.
(1)复数域
二次型语言:任意一个复二次型经过适当的非退化复线性替换可化为规范形 其中 为二次型的秩,规范形是惟一的.
矩阵语言: 上任意一个秩为 的对称矩阵 ,存在 中可逆矩阵 ,使得
(2)实数域
二次型语言:任意一个实二次型经过适当的非退化实线性替换可化为规范形 其中 为二次型的秩, 为二次型的正惯性指数,规范形是惟一的.
矩阵语言: 上任意秩为 的对称矩阵 ,存在 上可逆矩阵 ,使得 其中 是 所惟一确定的.
4.矩阵的合同
矩阵的合同是两个矩阵之间的关系(二元关系),且具有自反性,对称性、传递性.故与矩阵的等价、矩阵的相似一样可将矩阵按合同分类,在合同类中找出最简单矩阵(标准形),利用合同标准形来解问题.
矩阵是否合同的主要判别法是:
(1)设 均为复数域上的 阶对称矩阵,则 与 在复数域上合同 .
(2)设 均为实数域上 阶对称矩阵,则 与 在实数域上合同 有相同的秩和相同的正惯性指数.
5.矩阵的等价,相似和合同
等价、相似、合同都是两个矩阵间的关系,根据定义我们有: 与 相似 与 等价; 与 合同 与 等价.反之,则未必然.
这表明对矩阵 而言, 所在的等价类既比 所在的相似类大,也大于(实数域上)或等于(复数域上) 所在的合同类.另一方面 所在等价类中的矩阵彼此相同的仅为秩,而 所在的相似类中的矩阵不仅秩相同,而且有相同的特征多项式,相同的迹.同样 在实数域上的合同类中矩阵不仅有相同的秩,而且有相同的正惯性指数.
对实对称矩阵 而言,存在正交矩阵 ,使得 这表明 与 既相似,也合同(当然也是等价的).正因为实对称矩阵有此结果,使得它有下述好性质.
三种关系对照如下表(表中 为可逆矩阵).
| 关系 | 定义 | 标准形 | 判别法 | 共同性质 | | --- | --- | --- | --- | --- | | 与 等价 | | , | | 秩相同 | | 与 相似 | | 本书不讨论 | 特征多项式相同 | 秩相同、特征多项式相同、迹相同、行列式相同 | | 同阶实对称矩阵 与 合同 | | , | 秩相同且正惯性指数相同 | 秩相同且正(负)惯性指数相同 |
从表中可看出
(1) 与 相似的判别法和相似标准形空缺,这是因为现有的线性代数教学大纲不作要求,所以本书不涉及,我们要掌握的是 与对角矩阵相似(即 可对角化)的判别法和标准形.对此我们有:
①(判别法) 与对角矩阵相似 有 个线性无关的特征向量.
② 能对角化,则相似标准形为 ,其中 为 的全部特征值.
③ 实对称矩阵 一定能与对角矩阵相似,且存在正交矩阵 使 其中 为 的全部特征值.
④ 当 与 为同阶方阵,且均能对角化,则有 与 相似 (有相同的特征多项式).
据此,利用③可有:当 与 均为同阶的实对称矩阵时,有 与 相似 (有相同的特征多项式).
(2)表中矩阵等价、合同的判别法和性质是相同的.这表明这些性质是等价、合同的充分必要条件.而表中相似的性质一般只是矩阵相似的必要条件而不是充分的,所以不能据此来判断两个矩阵相似,而常用来判断两个矩阵不相似,如由 (或 等)就可推出 与 不相似.
(3)我们只讨论实对称矩阵的合同,是因为这时可把矩阵看成实二次型的矩阵,从而利用实二次型的某些概念,如实对称矩阵 的正(负)惯性指数是指二次型 的正(负)惯性指数.
(4)由 阶实对称矩阵 为正定矩阵 ,且正惯性指数为 ,所以两个同阶正定矩阵必合同,反之和正定矩阵合同的矩阵必是正定矩阵,所以将实对称矩阵按合同分类,所有同阶的正定矩阵分在一类,该类的标准形是单位矩阵 .
(5)凡相似矩阵必等价,凡合同矩阵必等价,反之则未必然.所以矩阵相似、合同的条件均比等价严,而凡相似、合同的矩阵比等价的矩阵有更多的共同性质(见表中“性质”一栏),这样对于矩阵 而言,与 相似或与 合同的矩阵一般说来就要比与 等价的矩阵少.
(6)一般情况矩阵相似和合同关系较难比较,即相似矩阵未必合同,合同的矩阵未必相似,这一点从两者的定义容易看出的.然而在 均为实对称矩阵时,若 与 相似,则 与 必合同(参见性质 6.5.1).
(7)对实对称矩阵 来说,存在正交矩阵 使 其中 为 的全部特征值.这表明 与 既相似,又合同.当然也等价.从而两者有许多共同之处,如秩相同、特征多项式相同(特别地,行列式相同、迹相同)、正(负)惯性指数相同等.这也是我们强调对实对称矩阵确定正交矩阵 使 为对角矩阵方法重要性的原因之一,另一个原因是这问题可源于矩阵对角化和实二次型化标准形两种不同的背景.
1. 在实二次型中引入正定、负定、半正定、半负定、不定的概念实质上是用分类的方法来研究二次型.在这些类中以正定二次型最为重要,应用也最广.
2. 正定二次型的矩阵定义为正定矩阵,故正定矩阵一定是实对称的.
3.判别法
设实二次型 ,则下述命题等价:
(1) 是正定的. (2) 的正惯性指数为 . (3) 的规范形为:. (4) 是正定矩阵. (5) 的全部特征值均大于零. (6),其中 为 阶可逆实矩阵. (7) 与 阶单位矩阵 合同. (8) 的所有顺序主子式全大于零.
本章开始曾指出二次型的研究源于解析几何中化二次曲线和二次曲面的方程为标准形问题,所以二次型的理论可用来解决平面二次曲线、空间二次曲面的分类问题.有兴趣的读者可参阅:孟道骥,高等代数与解析几何,北京:科学出版社,1998.
例题
例 6.5.1 复数域上合同而实数域上不合同★★★☆☆判定题展开题目与讲解
例 6.5.1 复数域上合同而实数域上不合同
设 我们可断定 与 在复数域上合同,在实数域上不合同.这是因为 , 正定, 不正定.
上述规范型和矩阵的合同的论述中是分实数域和复数域两种情况讨论的,而在实际问题中常限定在实数域中讨论,所以对实数域的有关结论要多加关注.
例 6.5.2 正定矩阵行列式不等式★★★★☆证明题展开题目与讲解
例 6.5.2 正定矩阵行列式不等式
设 是 阶正定矩阵,证明:.
证法一 是正定矩阵,故 是实对称的,从而有正交矩阵 使得 ,其中 是 的全部特征值.现 正定,所以 .注意到一方面 另一方面 综上得:.
证法二 因 正定,所以 的特征值 全大于零,从而 的全部特征值为 全大于 1,所以
例 6.5.3 等价、相似、合同的选择★★★★☆判定题展开题目与讲解
例 6.5.3 等价、相似、合同的选择
设实对称矩阵 ① 中与 等价的矩阵是 . ② 中与 相似的矩阵是 . ③ 中与 合同的矩阵是 .
解 ① 由题设易知 ,,,从而 与 不等价, 与 等价, 与 等价,所以应填:.
② 由题设得 ,即 有 3 个相异的根,所以 能对角化.注意到 是对角矩阵,且 ,所以 与 相似.由 可推得 与 不相似, 与 不相似,所以应填:.
③ 可视为实二次型 的矩阵,所以 的秩为 2,正惯性指数为 2,注意到 的秩均为 2,正惯性均为 2,所以 与 , 与 均合同.由 知 不合同,所以应填:.
注记 第③小题,也可从 知, 的特征值为 ,故 的秩为 2,正惯性指数为 2.
例 6.5.4 用顺序主子式判定合同★★★☆☆判定题展开题目与讲解
例 6.5.4 用顺序主子式判定合同
设实对称矩阵 问与 合同的矩阵是 .
解 因 的 3 个顺序主子式均大于零,所以 为正定矩阵.而 的 2 阶顺序主子式为 , 的 3 阶顺序主子式为 ,故 均不是正定矩阵,所以 与 , 与 均不合同. 的三个顺序主子式也均大于零,故 为正定矩阵,同阶的正定矩阵 与 合同,所以应填 .
例 6.5.5 按等价与合同分类★★★☆☆问答题展开题目与讲解
例 6.5.5 按等价与合同分类
对所有的秩为 的 阶实对称矩阵按等价分类(即把彼此等价的矩阵看成一类)可分成几类?按实数域上合同分类可分成几类?
解 按等价可分成 1 类,因此时彼此秩均为 .按合同可分成 类,即按正惯性指数为 分类.
例 6.5.6 同时合同对角化★★★★☆证明题展开题目与讲解
例 6.5.6 同时合同对角化
设 均为 阶实对称矩阵,且 为正定矩阵.证明:存在一个 阶可逆矩阵 ,使得 与 同时化为对角形.
证 因 为正定矩阵,故存在 阶可逆实矩阵 ,使得 .因 仍为实对称矩阵,故存在 阶正交矩阵 ,使得 为对角形.同时 记 ,则 阶可逆矩阵 就使 与 同时化为对角形.
例 6.5.7 由二次曲面标准形反求参数与正交矩阵★★★★★综合题展开题目与讲解
例 6.5.7 由二次曲面标准形反求参数与正交矩阵
已知二次曲面方程 可经正交线性替换 化为椭圆柱面方程 .求 的值和正交矩阵 .
解 按题设二次型 经正交线性变换化为标准形:.故相应的矩阵 与 相似,从而 ,.解之可得:,.这表明矩阵 有特征值 ,,.
对应于特征值 ,可解得 的一个单位特征向量为 对应于特征值 ,可解得 的一个单位特征向量为 对应于特征值 ,可解得 的一个单位特征向量为 因而所求的正交矩阵为
注记 如此例改述为:将二次曲面 用正交线性替换化为标准形,并判断该二次曲面的类型.这就是解析几何中化二次曲面为标准形问题了.