全局逻辑地图
先记住一句话:线性代数在研究“一批一次关系里,到底有多少有用信息,怎样把它们变得好理解、好计算”。
先不急着认矩阵,也不用先背定理。看两个你会解的方程:
第二句只是第一句乘2,没有告诉你新信息。所以它们看起来是两个方程,实际上只有一条独立限制:只知道两个人的钱加起来是3元,还不知道每个人各有多少。
把第二句改成 :
这次第二句给了新信息:不仅知道总数,还知道差。相加得到 ,所以 ;再代回得 。两个未知数,有两条互不重复的信息,恰好能确定下来。
整门课会把这种想法推到几十个未知数、几十条关系。为了不把算式写乱,我们逐步引入六章工具。
六章为什么按这个顺序出现
| 走到哪一章 | 老问题还缺什么 | 这一章负责解决什么 | 接下来还要问什么 |
|---|---|---|---|
| ① 行列式 | 怎样快速判断一个方阵有没有“重复信息”? | 把方阵算成一个数;非零说明信息没有退化 | 一个数保留的信息太少,整批关系怎么组织和运算? |
| ② 矩阵 | 方程的系数太多,手写容易乱 | 用数表保存关系,用初等变换消元,用秩数独立信息 | 这些独立信息,落实到每一列到底是什么? |
| ③ 向量 | 哪一列是有用的,哪一列能被其他列替代? | 学线性组合、相关与无关,选出不多不少的一组“骨架” | 目标能不能用这些列拼出来?拼法有几种? |
| ④ 线性方程组 | 目标能否达到、系数怎么找? | 判有解无解,求唯一解或把所有解写全 | 反复让矩阵作用时,有没有方向始终不变? |
| ⑤ 特征值与特征向量 | 一次运算还好,做很多次太麻烦 | 找“只伸缩、方向不跑偏”的向量,尽量把矩阵化成对角阵 | 这些好方向还能不能拆开平方表达式的交叉项? |
| ⑥ 二次型 | 这类交叉项把变量缠在一起 | 把式子改写成若干平方项,再判断它是否总为正 | 用到的仍是前面的矩阵、秩、方程、特征值 |
一条线走完:判断信息有没有重复 → 把关系装进矩阵 → 看每列能否互相替代 → 用列拼目标并求系数 → 找只伸缩的方向 → 沿这些方向拆平方项。
这条线适合复习,不表示数学只能这样建立。我们沿用你的讲义章序,让已经学过的内容接得起来。
矩阵、向量、方程组:其实在说同一件事
先看一个具体乘法。矩阵中的每一列,暂时就理解为一列数:
第一列记作 ,第二列记作 。上标 叫转置;这里表示把横写的一组数竖着放。比如 就是上面1、下面0。
用第一列的3倍加第二列的2倍:
同一件事,矩阵语言写成:
如果目标 已知,而3与2不知道,就要反过来求“各列乘多少”。这就是解方程组。
推广到 列,才得到全课常见的式子:
逐个对号: 是把各列并排放成的矩阵; 是第 列; 是这一列要乘的系数; 是想拼出的目标向量。
因此,“算 ”“用列向量拼目标”“解 ”,只是这件事的三个说法。后面遇到陌生题目,先想能否把它翻译回这句话。
第一次读,符号不用一次背完
| 看见的符号 | 先用这句话理解 | 在哪里正式讲 |
|---|---|---|
| 、 | 一整个数表,叫矩阵 | 第二章 |
| 、、 | 一列数,叫列向量;不同字母是为了区分角色 | 第三、四章 |
| / | 单位矩阵 / 零矩阵 | 第二章 |
| 由方阵算出的一个数,叫行列式 | 第一章 | |
| 独立信息有几份,叫秩 | 第二章 | |
| 行与列交换,叫转置 | 第二章 | |
| 可以把运算倒回去的矩阵,叫逆矩阵 | 第二章 | |
| 代数余子式组成后再转置的伴随矩阵 | 第二章 | |
| 特征值,读“拉姆达” | 第五章 |
不用在开篇就理解后面所有概念。先进入第一章;遇到新符号时,对照本节和它所在小节的解释就够了。
第一章 行列式
核心问题:这个方阵有没有把不同方向压到一起
先看两个最简单的数表。把它们的两列画成从原点出发的箭头:
它的两列是向右的 、向上的 ,围成面积为2的长方形。
它的两列 、 都沿水平方向,围不出面积。于是我们希望有一个数,快速分辨“还保留着两个方向”还是“已经压成一条线”。这就是行列式要解决的第一个问题。
二阶的计算规则是“主对角乘积减副对角乘积”:
所以 、。 读作“矩阵 的行列式”,不是逐个元素取绝对值。行列式的绝对值是两列围成的面积;正负号还记录两列的有向次序。三阶对应有向体积。
先记住本章的任务:把一个方阵压缩成一个数,用这个数判断它是否丢失了独立方向,并学会高效计算这个数。至于丢了几个方向,行列式还答不出来,第二章才引入“秩”细分。
来源:强化1·PDF第1—3页。
核心概念:矩阵是数表,行列式是按规则算出的数
例如 是一个矩阵,而 是一个数。矩阵可以长方形;本课行列式只对方阵定义。一个 阶方阵有 行、 列。
一般阶数怎样计算?先学会给乘积项判正负。
先看排列 。从左往右比较:2在1前面且2大于1,构成一个“逆序对”;3在1前面且3大于1,又构成一个。共2个,所以逆序数 。2为偶数,这个排列对应正号。排列 只有 一个逆序对,对应负号。
“排列”就是把 换一种顺序排好; 记录逆序对的个数。设 表示第 行、第 列的元素,则正式定义为
这里的 是“把后面的项全部相加”;下标要求 取遍 的所有排列。每一项从每行、每列各取一个数相乘,不能重复行或重复列。一共有 项,例如三阶有 项。
三阶把式 (1-1) 全部展开,就是下面的“三正三负”:
例如 的列下标是 ,逆序数2,所以前面是正号。这个定义主要用于找某个乘积项的符号、判断含参数多项式的次数与系数。高阶数值题通常应消元,没必要真写出 项。三阶对角线法只适用于三阶,不能推广到四阶。
来源:强化1·PDF第2—3页。
关键定理:行列式怎样随着一行的改变而改变
先用二阶验一次最常用的“倍加不变”:
第2行减去第1行的3倍,得到
我们为什么想做这一步?因为造出0后,计算更短。为什么允许?因为把一行的若干倍加到另一行,行列式的值不变。后面所有消元计算都要带着这个理由。
| 操作或结构 | 行列式怎样变 | 一句话理由 |
|---|---|---|
| 转置,行列互换 | 仍是同一批不同行、不同列的乘积 | |
| 交换两行或两列 | 变号 | 排列奇偶性反转 |
| 一行或一列乘 | 整体乘 | 每个乘积都恰好取它一次 |
| 一行写成两行的和 | 沿这一行拆成两个行列式 | 这一行只参与一次乘法,可用分配律 |
| 一行的若干倍加到另一行 | 值不变 | 拆出的新增行列式有两行成比例,为0 |
| 零行、两行相同或成比例 | 等于0 | 重复方向围不出面积;也可用交换与提因子证明 |
| 上三角或下三角 | 对角元素相乘 | 其余排列项都会取到结构中的0 |
表中“行”可全部换成“列”。其中“沿一行拆”要保持其他行不变。例如
它不是说整个矩阵都能拆。若把一个 阶矩阵整体乘 ,每行都乘了一次,因此
若把 的每行都拆开,会出现许多“有的行来自 、有的行来自 ”的混合项,所以一般 。例如 时,左边为 ,右边只有2。
来源:强化1·PDF第3—4页;强化2·PDF第5页。
核心概念与关键定理:余子式把高阶问题降一阶
看这个三阶行列式:
若选择第一行的元素2,就不能再选它所在的第1行、第2列。删去这行这列,剩下
这叫元素 的余子式。为了配上原行列式要求的正负号,还要乘 ,得到代数余子式 。一般写为
注意三个符号: 是原来的一个数; 是删行删列后算出的行列式; 是带位置符号的余子式。位置正负号排成棋盘:第一行为“正、负、正……”,第二行反过来。
为什么引入余子式?因为它允许按任意一行或一列,把 阶行列式降成 阶。按第 行展开的公式是
三阶时, 具体就是三项:
按第 列展开则是
三阶具体为 。行展开固定行下标 ,列展开固定列下标 ,不要把两种求和范围混在一起。
于是上面的例子沿第一行展开:
为什么成立?把式 (1-1) 的所有乘积按“第 行选了第几列”分组。选中 的那一组,剩余部分恰好组成 ,而原位置搬动产生的符号就是 。因此所有组加起来就是式 (1-2)。计算时优先选0最多的行或列。
还有一个同样重要的结论:本行元素与另一行的代数余子式“错配”,结果为0。例如三阶的第1行配第2行:
一般式为
错列配对也有 ();三阶就是 。
理由是:把原第 行替换成第 行,新行列式有两行相同,必为0;再按被替换的第 行展开即可。同配得 ,错配得0,第二章会把它装成一个矩阵恒等式。
另一个容易忽略的细节:计算 时,第 行、第 列已经删掉了,所以只改变这两条线上的元素,不会改变这个 。
来源:强化1·PDF第4—5、7页。
典型题型:余子式线性和,反过来“拼回一个行列式”
仍以上节的三阶矩阵为例。若要求 ,你已认识式 (1-2),就应想到:这正像按第一行展开,只是第一行的系数换成了 。
为什么允许换第一行?因为第一行的各个余子式不含第一行本身,换完后仍是原来的 。通法就是:认出配的是哪一行的代数余子式 → 用系数替换那一行 → 按这行展开。列版本完全相同。
若要求一行余子式的和,替换行就是 ;若问对角代数余子式和,不能随便换一行,第二章要用伴随矩阵的迹;若问全体代数余子式之和,可逐行替换为全1行后相加,或装进伴随矩阵统一处理。讲义还把这类题与逆矩阵、行和、特征值联动:先学会“拼回行列式”,后续再接上新工具。
来源:强化1·PDF第7—10页。
典型题型:先认结构,再选择消元或展开
主对角三角式与副对角三角式。例如上三角三阶行列式直接等于 。若是沿右上到左下的副对角形成三角结构,先把列次序倒过来;三阶要交换3次,所以多一个负号。一般式为
例如三阶就是 。先确认副对角一侧确实全为0,不能只看到一条斜线就套公式。
范德蒙德:每列都是同一个数的连续幂。先看三阶 :
一般公式是
这里 表示“把指定因子全部相乘”。紧跟着把小阶展开:
共有 个因子,每个因子都是“下标大的 减下标小的 ”,不是按数值大小做减法,结果完全可能为负。为什么一定含这些差?任意两个 相等就出现相同列,故行列式为0,必含相应差因子;因子的总次数已经用完,再比较一个最高次项,系数就是1。
行和相等:先把共同的一大项集中到一列。三阶例子:
把第2、3列都加到第1列,第1列变成 。提出 后,第2、3行分别减第1行,就得到对角为 的三角式。所以 。同样的操作给出
提出公因子是乘法等式,因子等于0时仍成立;只有“除以这个因子”才要另查非零条件。定义全1列向量 ,矩阵每行和为 就可简写成 。现在把它理解为每行分别乘全1列后得到 ;第五章再解释它为什么直接提供特征值。
爪型:除了一行一列,其余接近对角。先看4阶的轮廓:
只有两类非零乘积:全取对角元;或用一个 和对应的 换掉两处对角元。一般 阶公式为
在 时,展开得
例如 时,,就是跳过 的乘积。每个“爪”贡献 ,再乘其余对角元。这个公式无除法,某个 仍适用;若自己通过除以 消元,则必须先讨论 。
点斜型:先用相减,把“差不多相同的行”变稀疏。讲义的典型数表是对角 、其余全1,例如三阶
第2、3行减第1行,会让许多1互相抵消,接近爪型。若 ,继续消元得到
展开后是 ,这个无除法形式在某个 时也成立。取 ,便得 。一般非零参数时为
小阶的“连乘”和“求和”就是上面的三阶展开,切勿只背一个紧凑符号。
来源:强化1·PDF第5、10—12页;强化2·PDF第1—2页。
继续看:分块三角、拉普拉斯展开与稀疏计算
“分块”就是给一个大矩阵划线,把几块小矩阵暂当整体。先看普通三角的2阶结论 。若把 换成方阵 ,另一侧依旧是整块零,就有
原因仍是不同行不同列取数:若上面几行用了右边的列,下面几行就会被迫取左下零块,因此非零项只能各自在对角块内选完。 为 阶、 为 阶时,副对角分块需把两整组列互换,发生 次单列交换,故
注意分块的行、列尺寸必须相容。一般四块都非零时,不能照搬二阶的“”。左上块 可逆时,可以做“下面块行减去上面块行左乘 ”,得到
所以该行列式为 ;乘法次序由消元动作决定,不能改成 。
拉普拉斯展开是按一行展开的推广:同时选择 行,把这几行取到的 阶子式,与剩余行列形成的余子式相乘,再依位置配正负号。初学可先用它的直观版本:稀疏结构使许多列组合为0,只剩一两组需要算。例如讲义的
交换第2、3行后,前两行只在第2、3列有数,后两行只在第1、4列有数;再把列排为第2、3、1、4列。行交换带来负号,列重排为偶排列,所以
这既可看作拉普拉斯稀疏展开,也可看作交换后分块计算。路线应选自己最能解释清楚的一条。
来源:强化1·PDF第5、11页;强化2·PDF第5页。
继续看:三线行列式为什么能改成递推数列
“三线”指主对角、上副对角、下副对角三条线上可能非零,其余位置为0。先看前三阶:
按第一行展开时,第一项是 乘一个少一阶的同型行列式;第二项再沿稀疏列展开,变成 乘一个少两阶的同型行列式。因此设 后,得到
为什么想到递推?每次展开后出现的仍是同一外形,区别只在阶数。这就把“每个阶数重新算”改成“前两项生成下一项”。步骤固定为:展开找递推 → 算初值 → 解递推 → 代回小阶验符号。
讲义例:主对角 、上副对角1、下副对角 ,所以
当 ,除以 ,记 ,就变成 。移项得 ,即相邻差恒定。由 得 ,从而
当 ,原矩阵是严格上三角, 时行列式为0,也符合这个结果。这里先分类,是为了保证“除以 ”合法。
两种递推工具也要认识:
- :若 ,取 ,变成 ,再用等比数列;若 ,直接是等差递推。
- :解 。两根 不同时,写 ;非零重根 时,写 ,最后用初值求常数。零重根要回原递推直接判断,不能机械套带零指数的表达式。
循环稀疏式也是先展开,找它与前几阶的关系,再处理递推;不要因为外观像三线就直接套式 (1-3)。
来源:强化2·PDF第1—4页。
应用:克拉默法则,行列式不为0时直接求未知量
先看两元方程组:
系数行列式 。求 ,就把第1列换成右端 :
求 ,换第2列,得到 ,所以 。要求哪个未知量,就替换它对应的那一列,不能替换行。
将方程组简写成 : 是 阶系数方阵, 是未知数列, 是已知右端列。若 ,记 为第 列换成 后的行列式,则
为什么这个比值会给出解?把 的列暂记为 ,原方程就是说 。将替换列按线性性拆开,除了 那项,其余每项都出现重复列,为0。所以 ,再除以已知非零的 ,才得到式 (1-4)。
它尤其适合只求一个未知量。若 ,同样适用,且立即得到唯一零解。若 ,不能使用比值,也不能直接断言无解。例如 与 有无穷多解;把第二个右端改成3就无解。二者系数行列式都为0,要留给方程组章用秩区分。
来源:强化2·PDF第3—4页。
章末方法与公式速查:计算先找0,抽象题先找乘积
| 题目出现什么 | 为什么想到这条路 | 操作步骤 |
|---|---|---|
| 数值型高阶行列式 | 直接定义项数太多 | 认结构 → 倍加造0 → 记录交换和倍乘 → 稀疏展开或读三角式 |
| 含参数的次数、某次项系数 | 每项必须取自不同行不同列 | 查合法选取 → 数次数 → 判排列符号;必要时先消元看真实最高次数 |
| 代数余子式的线性和 | 形似按行或列展开 | 系数替换相应行或列 → 展开;对角和、全体和再接第二章的伴随工具 |
| 爪型、点斜、行和相等 | 能用相加相减集中公共部分 | 先制造稀疏结构,除参数前讨论它是否为0 |
| 三线或循环稀疏式 | 降阶后仍出现同型结构 | 展开找递推 → 初值 → 解递推 → 小阶核对 |
| 抽象 | 行列式不擅长拆加法,擅长拆乘法 | 先用矩阵等式整理、提可逆因子、使用伴随恒等式,再取行列式 |
| 各列为已知列的线性组合 | 系数可装成小矩阵 | 写 ,再用 ;系数按列放 |
| 唯一解或求某个未知量 | 系数行列式非零 | 检查 → 替换对应列 → 用式 (1-4) |
来源:强化1·PDF第6—10页;强化2·PDF第5—8页。
顺着背的一条链。先从“每行每列各取一个”背式 (1-1):只有这样各方向才各参与一次;所以交换变号、单行倍乘提因子、倍加不变。想把高阶算短,就引入余子式与式 (1-2);同配得到原行列式,错配出现重复行列而得0。再把“按列拆分”用于替换列,得到 ,当 才能除法得到式 (1-4)。遇到结构型先造0;降阶仍同型时,再进入递推式 (1-3)。
与下一章的联系
本章已经有两件工具:“同配得 、错配得0”,以及“ 时方程组唯一可解”。下一章把前者装成伴随矩阵,解释怎样求逆;再用初等变换与秩回答行列式为0时还保留多少信息、长方形矩阵怎样研究。因此章节顺序是从“判断一个数”进入“直接操作整个数表”。
第二章 矩阵
核心问题:把一串线性计算写成整体,并可靠地化简
先看两次计算:
共同的系数可排成矩阵,整组计算缩写为
矩阵不是凭空规定的一套符号,它把“许多输出都依赖同一批输入”的计算放到一起。把上式按列重新看,又是
矩阵乘列向量,就是按输入分量给各列加权,再相加。一般记 ,得到全课最值得看懂的一个式子:
右边等于指定目标 ,就是方程组;问这些列能不能互相替代,就是向量章;问某些非零 经过运算只伸缩不转向,就是特征值章。矩阵章先提供这些问题共同需要的运算、求逆和消元工具。
来源:强化2·PDF第7—9页。
核心概念:乘法是“先做右边,再做左边”
例如先把 的第1分量加倍,再交换两分量,两个矩阵是
先 后 ,得到 ;反过来则是 ,通常不同。因此矩阵乘法有先后顺序,一般不能交换。
设 为 、 为 ,中间尺寸 相等才能相乘,结果 为 。“”读作 行、 列。乘积第 行、第 列的元素为
若内侧尺寸 ,这句话具体就是
为什么按“行乘列再相加”?因为要让 :先把每个中间结果 代进 的线性计算,对每个输入收集系数,就正好得到式 (2-2)。这也给出结合律与分配律。
矩阵相等要求同型、对应元素相等;相加要求同型;数乘是每个元素同乘一个数。只有方阵才能连续乘自己,记为 ,约定 。
把运算律排成一组,背诵时分清“哪些像数,哪里开始不像数”。下式各次运算均要求尺寸相容, 为数:
例如 只是把 依次乘到两个加项,始终站在左边,不允许写成 。同一个方阵的幂还满足
前一条是把两串相同的 接起来数个数,后一条是 个 为一组再重复 组。
按列计算还能得到:若 ,则
例如 就是 ,每一列单独经过 。同维列向量都可以并排拼成矩阵,不要求无关;无关是后面判断秩与可逆的条件。
来源:强化2·PDF第8—9页。
核心概念:转置、迹和常见特殊矩阵
先看转置: 的行变成列后是
上标 就表示这个动作。乘积转置必须反序:
原因可按元素核对:左边第 元是 ,正好是 第 行与 第 列相乘的结果。
再看迹: 是方阵主对角元的和。三阶为 ,通式为 。例如 的迹是5。
迹的常用性质是 。二阶展开可直接看出:
两边相加的四项相同。一般式是 换求和次序,双重求和就是把所有合法的 配对都加起来。迹相等不表示 。长方形 只要两种乘积都有定义,此迹性质也成立。
同阶方阵还可逐个对角元相加,直接得到 、、。
常见名字都在提示结构,先认最简单的样子:
| 名称 | 看一个例子 | 定义与省步骤的理由 |
|---|---|---|
| 零矩阵 | 所有位置为0 | 可能长方形;,尺寸按乘法适配 |
| 单位矩阵 | 二阶对角为1、其余为0 | 、,表示不改变输入 |
| 数量矩阵 | 对角全为3、其余0 | 同时把各分量乘 ,与同阶任意阵交换 |
| 对角矩阵 | 各分量独自伸缩,幂、逆只处理对角元 | |
| 上、下三角矩阵 | 主对角一侧全0 | 行列式直接乘对角元,方程可顺次回代 |
| 对称矩阵 | 镜像位置相同, | |
| 反对称矩阵 | 镜像位置相反,,对角必0 | |
| 正交矩阵 | 交换两分量的矩阵 | 转置就是逆,保持长度;第五章用来正交对角化 |
| 置换矩阵 | 单位阵的行重新排序 | 每行每列恰有一个1,其余0;左乘重排行,右乘重排列 |
对角阵的详细公式是
所有 时才可逆,逆的对角元是 。上、下三角阵可逆也等价于对角元全非零;第五章会解释其特征值就是对角元。
若 都对称,则 ,所以 对称当且仅当 ;和则总保持对称。任意实方阵都能拆为
第一块对称,第二块反对称,直接转置可验。反对称阵奇数阶时 ,故行列式为0。
正交矩阵的公式先认识为
因它是方阵, 也给出 ,所以行向量、列向量都各自长度为1且两两垂直。行列式性质给出 ,故 。若 都正交,,所以乘积仍正交;转置、逆也仍正交。
内积、长度和正交化的计算放在第五章首次真正需要时细讲。正交不要求对称,也不要求元素非负。置换阵是正交阵,所以逆为转置、行列式为 ,其伴随为行列式乘逆。
来源:强化2·PDF第8—11页;强化4·PDF第5页;正交矩阵联系强化9·PDF第5—8页。
继续看:反对称阵的一条二次式性质
在二阶例子中,直接相乘得
一般反对称阵也有 :这个结果是一个数,转置不改变它,而转置计算又给出 ,故它只能为0。 就是第六章要正式研究的二次式;现在只把它看成按顺序完成的三次矩阵乘法。
易错边界:非零矩阵也不能随意约掉
取
二者都非零,但 。原因很直观: 只留下第2分量, 又恰好把第2分量消掉,最后什么都不剩。因此不能从 推出某个因子为零,也不能从 与 推出 。需要“可逆”或适当方向的“满秩”条件,后面会给出。
还要区分 和 :上例 非零,但行列式为0;前者只说至少一个元素非零,后者说全部方向都没丢。
若 不交换,展开平方只能写
只有已知 ,才可合成 ,并使用普通二项式以及 。 与 、与自身的多项式天然交换;与 (若存在)、伴随 也交换,后者马上解释。
来源:强化2·PDF第8—10页;强化3·PDF第9—10页。
核心概念与关键定理:逆矩阵是“能把计算倒回去”
矩阵 把输入变成 。要还原,只需再乘 。两个顺序乘回去都得到 ,后者就是 的逆。
一般地,若同阶方阵 满足 ,称 可逆,唯一的这个 记为 。唯一性也能算出来:若 都是逆,则 。
逆矩阵解决统一恢复输入的问题: 两边左乘 ,得到 。若两个不同输入已经被 压成相同结果,就无从恢复,所以不可逆。对同阶方阵,验证 一侧已足够,后面的秩工具会说明;长方形的一侧逆不能直接推广成两侧逆。
怎样判断与求逆?第一章余子式提供一种总包装。把所有代数余子式组成的矩阵再转置,得到伴随矩阵
本手册 专指伴随矩阵,不是共轭转置。例如二阶
为什么非要转置?看乘积 的第 行、第 列,它恰好是 。本行同配时为 ,错配时为0,正是第一章的展开式。因此
若 ,两边除以这个数就得到逆;若 已可逆,对 取行列式,又有 ,所以 不能为0。两头合在一起:
二阶时具体写成
伴随本身对不可逆矩阵也有定义;只是 这条改写只允许在可逆时使用。
来源:强化1·PDF第7页;强化2·PDF第10页。
典型题型:伴随怎样处理对角和、全体和、一列代数余子式和
先取第一章学过的行和相等矩阵
每行和为5,按第一章的公式 。每个对角代数余子式都是 ,所以对角代数余子式和为24;它正好是伴随矩阵的迹 。对角和只加对角位置,别和全体元素和混淆。
若想算某一列的代数余子式和,可把行和条件写为 ,左乘 :
除以非零的5,得到 。左边逐行求 的元素和,但 已把余子式表转置,因此得到的是原矩阵每一列的代数余子式和均为4。共有3列,全体和就是12。
一般地,若 且 ,由式 (2-4) 得到
这时原矩阵每列的代数余子式和为 ,全体和为 。若共同的是列和,对 使用同一过程,可得到每行代数余子式和。若 ,不允许除以 ,必须回到原来的伴随等式与消元条件讨论。
如果题目没有行列和结构,仍可记住三个对应:一行或一列的线性和,用替换行列展开;对角和,用 ;全体和,可写为 。全1向量的左右相乘就是把所有位置加一遍,伴随中的转置不改变全体和。
来源:强化1·PDF第8—11页。
核心概念与通法:初等行变换为什么能放心消元
例如方程组的第2个方程减去第1个方程的3倍,解不会变;想还原,再加回3倍就行。矩阵里的相同动作叫初等行变换。一共有三种:
- 交换两行;
- 一行乘非零数;
- 一行加上另一行的若干倍。
它们都可倒回去,所以不丢信息。第二条限定非零,正因为乘0后就恢复不了。列变换有完全对应的三种。
先看小矩阵
左乘 ,使 的第1行加上第2行的2倍;右乘 ,却使第2列加上第1列的2倍。左乘管行,右乘管列,而且倍加的目标编号会换角色。这是很多初等矩阵题的失分点。
把单位阵做一次初等变换所得矩阵,叫初等矩阵。交换阵的逆为自身,倍乘阵将非零 换成 ,倍加阵将 换成 ;它们的行列式分别为 。
若用 表示第 个分量为1、其余为0的列,则一般倍加阵为 ()。它左乘时是第 行加 倍第 行;右乘时是第 列加 倍第 列。 一类算式,应先认右边对列做什么,再认左边对行做什么,乘法先后要保留。
解方程以行变换为主:交换方程、非零倍乘方程、方程之间倍加均保持原未知数的解。列变换会混合未知量的角色,不能只改系数列、不追踪未知量。求秩只数信息量,行列变换都可用;找原列之间的关系则仍应用行变换。
来源:强化3·PDF第5—6页。
典型题型:增广矩阵求逆,右边记录你做过的全部操作
先算一个完整二阶例子。用竖线把 与单位阵并排:
第2行减第1行的3倍:
第2行乘 ,再第1行减第2行的2倍:
左边已经是 ,右边就是 。为什么?设全部行变换合起来等于左乘 ,那么左边 ,故 ;右边同样被左乘 ,变成 。所以通法为
若左边无法化成 ,说明不可逆。算完可乘回去查是否为单位阵。注意只对左半边做运算、或把左半边做列变换却不说明,都会破坏这条原理。
来源:强化3·PDF第5—7页;强化4·PDF第1页。
核心概念与关键定理:秩数的是“真正留下几份独立信息”
看三列:
第3列就是前两列相加,没有提供新方向;前两列互相不能替代,所以真正独立的只有两列,秩应为2。对应的左上2阶子式为1,而所有3阶子式——这里就是整个行列式——为0。这给出秩的正式定义。
从 矩阵中任取 行、 列交叉位置,形成的 阶行列式叫 阶子式。不是必须连续的行、列。最高阶非零子式的阶数,叫矩阵的秩 ;零矩阵的秩单独定义为0。
为什么子式能数独立信息?非零的 阶子式说明所选的 列,至少在这 个分量中无法互相替代;若还能增加一个独立方向,消元就会产生第 个主元,从而找到更高一阶的非零子式。第三章会把它统一成“矩阵秩=行向量组秩=列向量组秩”。二维的秩1像直线、秩2像平面;三维的秩1、2、3分别像直线、平面、三个独立方向。
求秩不用真的枚举子式,行消元数非零行即可。例如
再交换第2、3行:
这样的阶梯形有2个非零行,故秩2。主元是每个非零行最左侧的非零元;下一行的主元在上一行右侧。可逆的行列操作不会创造或丢掉独立信息,所以初等变换不改秩。
“行满秩”指 ,“列满秩”指 。方阵二者才合为 。满秩意味着存在一个相应最高阶非零子式,不能改成所有最高阶子式都非零。例如 行满秩,但取第2、3列的2阶子式为0。行满秩也不保证只用行变换就成为 :行变换不能把原来的非零重复列直接变成零列。
来源:强化3·PDF第7—8页;强化4·PDF第3、11页。
核心概念:矩阵等价,就是能用初等行列变换互相变到
先看 :第1行乘 、第2行乘 ,就变成 。它们元素不同、行列式也不同,但都保留两个独立方向,秩相同。这类“经过有限次初等行变换和列变换能互相得到”的关系,叫矩阵等价。
若 为同型矩阵,这个关系可以写为
左边的 记录行变换,右边的 记录列变换,两边可以独立选择。因为每次都可倒回去,等价一定同秩。反过来,若两矩阵秩同为 ,都能消元成同一个标准形
上块 是 阶单位阵,其余尺寸由原矩阵的行、列数补齐。因此
注意这里允许同时使用行列变换;如果只准行变换,必须保持原列关系,不能仅凭秩相同就保证能变到。第五章的“相似”和第六章的“合同”会限制左右两个因子之间的关系,所以它们要保存的信息比等价更多。
来源:强化3·PDF第5—8、10页;矩阵等价为用户所给第二章考纲内容。
关键定理:可逆、满秩、无关、唯一解,其实在说同一件事
先看 :两列不重复,秩2,行列式6,有逆,而且任给右端 都能唯一还原输入。再看 :少了一个方向,秩1,行列式0,不可逆,也无法对每个右端给出唯一输入。
一般 阶方阵的等价条件应竖着读:
“线性无关”将在第三章正式讲,就是没有一列能被其余列替代。“齐次方程只有零解”说任何非零输入都不会被压成零。每个条件都在表达“方向一个也没丢”,因此可以互相转换。现在见到抽象题不用只盯行列式:若条件容易作用到向量上,就设 再逼出 ;若容易整理成乘积,就直接找逆。
例如 ,改写成 ,便可验证
这里允许除以2,因为它是非零标量;没有先把未知是否可逆的矩阵约掉。一般将等式整理为 且 ,就能取 。式中 是 的多项式,它与 交换,左右乘回去都成立。
来源:强化2·PDF第10页;强化3·PDF第8—9页。
通用方法:秩的公式集中在这里,先分清“和、积、拼接”
先看三个小例子:把同一直线上的列乘来乘去,不可能凭空得到第二个独立方向;把不同方向的两组列并排,可能补出新方向;把两个矩阵相加,则既可能补方向,也可能像 那样抵消。所以积用上界、拼接看增量、和要防抵消。
下表的乘法均要求尺寸相容,加法要求同型, 为相应阶可逆矩阵。
| 公式 | 直观与使用线索 |
|---|---|
| 行、列换角色,独立数相同 | |
| , | 非零倍乘可还原 |
| 左右可逆操作都不丢信息,消元、相似、合同会用它 | |
| 积不会增加信息; 的列来自 的列组合 | |
| 总来源最多是两组独立方向的合计 | |
| 从 等式反用上一条得到下界 | |
| 横拼接保留原有两组,最多把独立方向相加;纵拼接同理 |
注意 表示按列横向拼接,不是矩阵相加。积的第二个上界可对 转置,再用 的列来自 的列来证明。
积还有一个很有用的下界,叫西尔维斯特不等式。若 有 列、 有 行,则
先读一个具体数值:中间尺寸 ,若两边秩都是2,则 ;不能直接断定积也是2。为什么至少剩1? 只有 个独立的“会被消掉的输入方向”,而 产生了2个独立方向,最多有1个被消掉,至少还留1个。一般的损失至多 ,所以积至少留下 个方向。第四章会从自由变量正式解释这里的 。
继续看:不用抽象空间术语,证明西尔维斯特下界
设 。通过可逆的行列消元,能把 化成左上为 、其余为零的标准形,记为 。于是 。左右可逆因子不改秩,故 。
把 的列分成前 列 和其余 列 。乘 只保留 、其余补零,因此 。同时
移项即得到式 (2-10)。这里每一步只用了可逆乘不变秩、拼接上界、列数限制,没有把矩阵因子随意约掉。
见到乘积为零,马上使用它的特殊形式。若 ,则 ,式 (2-10) 给出
这里 仍是相乘的中间尺寸。几何上, 提供的独立方向必须全部落进 能消掉的方向中。若 列满秩,它一个非零方向也不消掉,就迫使 ;若 行满秩,则迫使 。例如 可写为 ,当 行满秩时,便有 。
若出现外积之和,每项秩至多1。例如 ,则 ;一般 个外积之和秩至多 。这是把“和的上界”与后面的秩1模型连用。
来源:强化3·PDF第8—10页。
通用方法:上下夹逼,把秩的不等式逼成等式
讲义例 ,目标是求 。先把多项式因式分解:
因为乘积为零,由式 (2-11) 得秩和 。另一方面,两因子相减正好是可逆的 :
由和的秩上界,。两头夹住后,只可能
为什么想到夹逼?乘积为零给出一个秩和的上界,差是单位阵的非零倍数又给出同一个秩和的下界。两个信息正好配对。不能把 或 约掉,它们可能不可逆。
另一个讲义入口是 :先用式 (2-11) 得 ,再按 的不同情况使用伴随秩规则;这比直接设元素计算更短。
来源:强化3·PDF第8—9页。
继续看:三个因子的秩之和,为什么能连续夹逼
讲义的2025年真题条件: 为 阶方阵,且
看到“3个单因子、1个三因子、差了 ”,要想到式 (2-10) 可以用两次:
而最后一项由已知条件恰好等于 。首尾相等,中间的每个不等号都只能取等号,所以
也可从 开始,得到另一组等式。这个条件并不迫使三个矩阵都满秩:例如 、,原条件成立,但 。
来源:强化4·PDF第2页。
关键定理:满秩时怎样消去,转置乘积为什么不降秩
先看列满秩的例子 。它只在输入后面补一个0,原输入能完整读回来,所以不会让别的矩阵掉秩。一般条件与方向为
第一条也可由式 (2-10) 直接证明:若 有 列且 ,积的上下界都等于 ;第二条对转置使用第一条。因而
证明先移项,如 ,再用保持秩得 。左侧因子要列满秩,右侧因子要行满秩,不能对调。同阶方阵 时,积上界迫使 均满秩,故均可逆,再推出 ,这补全了本章的一侧逆结论。
还有一条转置乘积的重点结论,仅对本课的实矩阵使用:
先用二维看理由:若 ,左乘 后得到 ;而这个数就是 各分量的平方和。实数平方都非负,和为0只能每个分量都是0,所以 。反向显然。于是两组齐次方程解完全相同,方程组章会说明同未知数个数时秩相同。 那条对 再用一次即可。
记号 就表示“ 各分量的平方和”,第五章正式讲向量长度时再用。这里的论证依赖实数,不能删掉“实矩阵”条件。
来源:强化3·PDF第8—10页。
关键定理:伴随矩阵的秩,连接子式、消元与方程组
先看三阶的三个例子。 时,,秩3; 时,,秩1; 时,每个二阶余子式都为0,伴随为零矩阵。
因此对 的方阵,只有三种情况:
为什么?满秩时 可逆;秩至多 时,所有 阶余子式为0,故伴随为零。中间情形至少一个 阶余子式非零,所以 ;而 与式 (2-11) 给出 ,于是恰为1。
这条推导只用本章已讲过的子式与秩不等式。第四章还会从“ 只有一个独立自由方向”再解释它。
来源:强化3·PDF第8页。
重点模型:秩1矩阵,很多列其实只是一列的倍数
例如
取 、,便有 :第1列是 ,第2列是 ,第3列是 。因此只有1个独立方向。
一般地,任意 矩阵满足
其中 有 个分量、 有 个分量。正向:取一列非零列 ,其他列只能是它的倍数,把倍数收进 ;反向:每列都是 的倍数,且矩阵非零,秩恰为1。
外积 是矩阵;只有两向量同维, 才有定义并是一个数,别混淆。若 为秩1方阵,令 。三维时就是 ,也正好是 的对角和,所以 。结合律给出
再反复乘 ,得到
例如 ,,所以 。若 ,则 ,一切 的幂都为零矩阵; 直接用 ,不需要解释 。
秩1矩阵的特征值为 ; 时可对角化, 时不可对角化。现在先把它作为后章的交叉索引,第五章会从方程与重数证明,不能把“秩1”直接背成“一定可对角化”。若求 ,学完第五章后可利用这一组特征值处理,避免直接展开高阶行列式。
还有讲义常见的单位列向量 ,所谓“单位”指各分量平方和为1,即 。所以 满足 ,作用为 ,只保留沿 的分量;,从而 ,而 ,所以 必不可逆。它的特征值 也在第五章统一解释。
来源:强化3·PDF第1—4页。
典型题型:方幂按结构选方法,别从头硬乘
先看 。它可拆成 ,其中
因为 与 交换,展开 后,含 的项全消掉。 时
若 ,直接按 为 、 为 处理。一般 叫幂零,二项式只须保留到 。例如 时, 且 有
严格上三角的“上移矩阵”是典型幂零例:3阶的 , 只在右上角为1,。这只是矩阵乘法,不需引入超纲的若尔当标准形。
做方幂按下列顺序检查:
- 是否秩1?先用式 (2-16)。
- 是否对角或分块对角?每块分别乘方。
- 是否 且 很快幂零?可交换后用有限二项式。
- 低次幂能否给递推?如 ,则 ;如 ,高次幂都能递推成 。算几项只是找线索,还需乘回原关系或归纳证明。
- 是否可对角化?第五章学完后用 ,从而 。
来源:强化3·PDF第2—4页。
继续看:分块矩阵的乘法、秩与“能消掉”和“不能消掉”的区别
分块只是划线,块里仍是矩阵。块乘法要求切分尺寸相容,乘积的顺序不得换。块行倍加用左乘,块列倍加用右乘;若要倍乘一个整块行,所乘方阵应可逆,才保证不改秩。倍加本身只要求尺寸相容。
先看最容易理解的一组:、 时, 的第2列就是第1列的3倍,添上它不添新方向。一般同理:
对第二块列做“减去第一块列右乘 ”,就成为 。纵拼接对应为
这次要让第二块行减去“ 左乘第一块行”。横拼接里误写成 一般不成立;顺序是结构的一部分。
块对角的两块各自提供独立信息,因此
块三角则一般只有下界
为什么不能总取等号?取 、,总矩阵秩1,但对角块秩和为0。上面的非对角块自己可能提供额外信息。
能取等号时,关键是说明怎样合法消掉它。讲义例:
第二块列减第一块列右乘 ,得到 ,所以 。而
右上是 ,同样的块列动作只能减去 ,未必能消去 ,不能直接说其秩是 。实矩阵时可用式 (2-13) 给对角块秩和的下界,但仍需检查非对角块。
来源:强化3·PDF第10—11页。
继续看:有单位块时怎样消元,讲义 ABC=O 三块秩比较完整示范
设 是 阶方阵,满足 。讲义要求比较
先处理 。上块行减去 左乘下块行,因 ,得到
再将左块列减右块列右乘 :
所以 。
再处理 。上块行减去 左乘下块行,得到 ,所以 。
最后处理 。下块行减去 左乘上块行:
右块列减左块列右乘 :
所以 。由 得到
为什么一看单位块就想消元?它不用求逆,能直接消掉同一块行或块列上的任意矩阵。这组例子保留了讲义的整个思路:先分别化成块对角 → 写出精确秩 → 再用积的秩上界比较,而不是凭图形直接比大小。
来源:强化3·PDF第11—12页。
继续看:四种分块逆与分块伴随,公式顺序从乘回去确定
先看普通上三角二阶 ,求逆时先把对角变成1,再消去右上角。换成方阵块 ,仍是同一思路,只要 均可逆:
例如右上角未知块 必须满足 ,因此 ,顺序由这个方程决定。另三种分别为
每个都可按块乘回 核对。分块伴随不是给每一块分别加星号:整体 可逆时,统一使用 。
讲义的一例是 ,其中 均可逆。,于是
右上块来自 ,既解释符号,也解释次序。可由逆公式、伴随公式一步步代入,没必要再背一张新表。
来源:强化1·PDF第9—10页;强化4·PDF第1—2页。
通用方法:抽象矩阵等式,先保住乘法次序
具体数表求逆,优先用式 (2-7);给出多项式条件,优先整理成 。矩阵方程也不能把未知量“挪来挪去”当除法:
每一步说清在哪一侧乘逆,才能消去相邻的因子。
抽象行列式题也常需先制造乘积。讲义恒等式在 可逆时为
不要只凭眼睛相信,展开右边:第一项 ,第二项 ,所以相等。之后才可取行列式,把乘积拆开。这就是“加法难拆,先改写为乘法”的具体操作。
若列组合构成 ,系数向量要按列放入 ;若列组构成可逆 且 ,取行列式后才可由 约去标量 。这里不会推出 :要消去中间的 ,正确结论是 ,第五章正式讲相似。
来源:强化2·PDF第5—8页;矩阵方程联系第四章。
章末公式速查:转置、伴随、逆,先检查条件再套
下表 为同阶 阶方阵;出现逆的矩阵均须可逆。伴随公式按 使用。表格只用来查阅,前面已经解释过转置、伴随为何要反序。
| 运算 | 转置 | 伴随 | 逆 |
|---|---|---|---|
| 连续做两次 | 见表后独立公式 | ||
| 乘积 | |||
| 和 | 一般不能拆,二阶可拆 | 一般不能拆 | |
| 数乘 | , |
连续伴随的公式为
二阶直接有 ,无论 是否可逆。混合公式分别为
可逆方阵的幂还有 ,因此可记 ( 为正整数)。这来自乘积求逆反序,但每个因子都是同一个 ,反过来顺序并无区别。
为什么逆乘积要反序?,就是让成对因子挨在一起。为什么伴随数乘是 次方?每个代数余子式由 行组成,每行都提一次 。二阶余子式仅含一个元素,所以二阶的伴随可对加法拆开,一般高阶不行。
伴随乘积公式适用于不可逆矩阵,并不因一种证明使用 就自动多出“可逆”限制。它也可以直接从余子式展开证明;相应恒等式是矩阵元素的多项式等式。连续伴随也可由余子式得到,不能为了使用公式而预先假设所有矩阵可逆。
行列式的配套速查为
其中 是矩阵乘法与行列式之间的接口,既可从按列线性展开证明,也可理解为两次有向面积或体积缩放相乘;但矩阵相加没有这种接口。迹、行列式与特征值的公式统一放到第五章,不在这里提前使用。
来源:强化2·PDF第5、11页。
顺着背的一条链。输入先按列加权得到式 (2-1),接着用“连续两次运算”理解乘法式 (2-2),所以乘积转置与求逆都要反序。想统一还原输入,就找逆;余子式同配、错配恰好组成式 (2-4),于是行列式非零才可按式 (2-6) 求逆。具体计算改用可逆的初等行变换,得到增广求逆式 (2-7);若不能化成单位阵,就用秩数还留几份信息,接上等价与式 (2-9)。积不会增加信息,先背式 (2-10) 的上下界;积为零再特化为式 (2-11),配可逆和差做夹逼。伴随由余子式组成,所以按最高非零子式阶数得到式 (2-14);秩1再写成外积,用结合律马上推出方幂式 (2-16)。整条链里,凡除以标量先查非零,凡约矩阵先查可逆或正确方向的满秩。
与前后章的联系与题型步骤
| 目标 | 题目线索 | 从条件走到结论 |
|---|---|---|
| 求具体逆 | 数值方阵 | 判可逆 → 增广 → 仅行变换 → 读右半边 → 乘回检查 |
| 抽象证明可逆 | 多项式等式或 条件 | 整理出非零常数倍 ,或逼齐次方程只有零解,再用式 (2-9) |
| 求秩 | 数值矩阵或含参矩阵 | 行消元成阶梯形 → 数非零行;除参数之前分类 |
| 和、积的抽象秩 | 、可逆和差、多因子 | 按式 (2-10)、(2-11) 找上下界 → 夹逼;细例见式 (2-12) |
| 伴随秩或伴随等式 | 放回式 (2-4) → 按满秩、差1、差至少2分情形 | |
| 求方幂 | 低秩、低次多项式、幂零、分块 | 按秩1 → 对角分块 → 有限二项式 → 递推 → 对角化选择路线 |
| 分块秩、逆 | 单位块、零块、、 | 逐步说清块行左乘、块列右乘 → 真正消掉非对角块后才读秩或逆 |
本章把“怎么运算、怎么消元、怎样判断丢了几份信息”安排好了。但 为什么等于“用列向量拼出 ”?哪些列重复、怎样找出一组不重复又够用的列?下一章把矩阵的每一列拿出来研究,正式进入向量的线性表出与线性相关。
第三章 向量:看懂“能不能拼出、有没有重复、该保留谁”
先用两根箭头看“能不能替代”
核心问题:先拿两根具体箭头,拼出一个目标
先不背定义。给你两列数:
是向右1格, 是向上1格。要到达目标 ,就向右走2份、向上走3份:
这里 、 只是向量的名字;上标 把横写的数转成一列。前面的2、3叫系数,表示“每根箭头取多少份”。系数可以为负:取 份,就是取反方向的一份。
现在再加入 。它等于 ,所以没有增加新的可达方向,只是提供了一种重复的拼法。向量章就围绕三个问题展开:目标能不能拼出?原材料有没有重复?去掉重复后,最少该留下几根?
这里用二维、三维箭头帮助理解;考试中的向量可以有更多分量,计算规则相同,不需要引入抽象向量空间、基变换或坐标变换理论。
来源:强化4·PDF第3、5–6页;强化5·PDF第1–3页。具体小例为教学补充。
核心概念: 维向量,就是有 个分量的一列数
例如 有2个分量,叫二维向量; 有3个分量,叫三维向量。一般写作 ,就叫 维向量。这里的“维”只数分量有几个,不是在讲超纲的抽象空间维数。
同维向量相等,是每个对应分量都相等;相加和数乘也逐个分量做。例如:
一般就是 ,。只有分量个数相同,才可以这样相加。零向量是全部分量都为0的一列数;本书的向量方程右端统一简写为0。
来源:强化4·PDF第5–6页;向量运算的分量展开为考纲基础补充。
核心概念:线性组合、线性表出,分别在说什么
刚才的 就是一个线性组合:先把各向量乘一个数,再相加。若某个目标向量恰好等于这样的组合,就说目标能由原组线性表出,也叫线性表示。
一般有 根向量时,写成:
展开( 时):
是“把指定的项加起来”。例如 时,就是上面的三项, 依次取1、2、3; 是第 根向量的份数。“能表出”只要求至少存在一组系数,还没有要求这组系数唯一。
怎样把它变成会算的问题?将原向量按列装成 ,把系数装成 ,同一个式子就是 。例如:
所以“求表出系数”,就是“解一个线性方程组”。这不是换一道题,而是给同一件事换一个方便计算的写法。
来源:强化2·PDF第6–7页;强化5·PDF第3、9页;强化6·PDF第9–10页。
核心概念:线性相关与无关,要看“能否非零配比抵消”
先看三根向量:
因为 ,用系数 就能完全抵消。系数没有全为0,却拼出了零向量,说明这三根里有重复信息。这叫线性相关。
反过来看前两根:
要得到零向量,必须 ,没有其他配比。这叫线性无关。注意:定义问的是“系数是否全为0”,不是问原来的向量是否全为0。
对一般的 根向量,用一个规则统一:考察
| 检查结果 | 名称 | 用人话理解 |
|---|---|---|
| 存在一组不全为0的系数使等式成立 | 线性相关 | 至少一根可以被其余向量替代 |
| 只有系数全部为0才成立 | 线性无关 | 每一根都不可被其余向量替代 |
为什么相关等价于“至少一个能由其余表出”?刚才的关系中,。一般地,找到非零系数 ,把那一项移到另一边,再除以 ,就能单独解出 ;反过来,把表示式移项就得到一个非零配比的零组合。这里允许除,是因为已经选定了 。
两个常见误会:三根二维向量必相关,却可以任意两根都不成比例,上例正是这样;无关也不要求互相垂直,例如 与 就无关。一个非零向量组成的组无关;只含零向量的组、含零向量的任何组都相关。
来源:强化4·PDF第5–6页。
关键定理为什么成立:六条性质都回到同一个零组合
先看最容易理解的一条:如果前两根已经重复,加入第三根不会把这种重复“修好”;只需让第三根的系数为0,旧关系还在。这就是下面第一条。其余各条也只追问:原来的非零系数关系还在不在?
| 性质 | 为什么 | 反过来能否直接用 |
|---|---|---|
| 部分组相关,整个组必相关 | 其余向量的系数补0,原关系仍成立 | 不能;整体的重复可能只来自新添的向量 |
| 整个组无关,任何部分组都无关 | 若某部分相关,就会使整体相关 | 不能;几个无关部分放在一起可能重复 |
| 无关组同时伸长分量,仍无关 | 新零组合删去新增分量,就得到旧零组合;旧组无关,系数只好全0 | 相关组伸长后可能变无关 |
| 相关组同时缩短分量,仍相关 | 原非零系数关系删去相同位置的分量后仍成立 | 无关组缩短后可能变相关 |
| 个 维向量,若 则相关 | 拼成 矩阵,秩不超过 ,装不下 份独立信息 | 只是可能无关,未保证无关 |
| 所有向量同左乘一个矩阵,相关仍相关 | 把原零关系左乘该矩阵,同一组非零系数仍有效 | 无关未必保留;列满秩的左乘矩阵才保留无关 |
“伸长”不是箭头变长,而是增加分量个数。例如 相关;同时添一个分量变成 ,就可能无关。“缩短”则是删去所有向量同一位置的分量:刚才无关的两根都删第二分量,就又成了 。所以必须分清“向量有几根”和“每根有几个分量”。
“左乘可能丢失无关性”也有具体画面。用
去乘 ,得到 ;第二个方向被压没了。若 列满秩,则 只能推出 ,不会把原本非零的组合压成0,因而保留无关性。
来源:强化4·PDF第5–6、8页。分量与左乘小例为教学补充。
关键定理为什么成立:原组无关,目标一旦能表出,系数就唯一
仍用向右、向上两根箭头拼 。横分量锁定第一系数为2,竖分量锁定第二系数为3,不能换一套数。换成相关原组则不同:若原组是 ,目标 可以写成 ,也可写成 。
一般理由是:若 有两套表示,把两式相减,得到
当原组无关时,每个差都得是0,所以两套系数完全一样。
讲义常用另一种问法:无关的 ,加入 后变相关。为什么既能表出又能唯一表出?先证存在:新关系里 的系数不能为0,否则原组自身已经相关;因此能解出 。再用刚才“两个表示相减”的方法证唯一。存在与唯一是两步。
来源:强化4·PDF第6页。
核心概念:极大无关组与秩,是给原向量组找“够用而不重复的骨架”
看四根二维向量:。保留前两根就够了:它们自身无关,又能拼出后两根。只留第一根虽然无关,却不能拼出竖直方向;四根全留虽然够用,却有重复。所以要同时满足:
- 留下的向量自身线性无关,没有多留;
- 原组每根都能由它们表出,没有少留。
从原组挑出的这部分,就叫原组的一个极大线性无关组。也可以把第2条改说成:从原组再添入任何一根未选的向量,就相关。因为新向量已经能被骨架表出,再添它必重复;反过来,由“无关添一变相关”可知新增向量能由已选组表出。
“极大”不是说箭头最长,而是再加原组中的其他向量就会重复。极大无关组不唯一。例如 ,可选前两根,也可选第一根和第三根。但无论怎么选,根数相同;这根数就叫向量组的秩。本例秩为2。
几何上:非零向量全在一条过原点直线上,秩是1;能铺出平面而不只是一条直线,秩是2;三维中不全落在同一个过原点平面内,秩是3。若原组全是零向量,秩为0,因为没有任何独立方向。秩数的是独立信息的份数,不是向量总根数。
继续看:为什么不同“骨架”的根数一定相同?
若一组骨架有 根,另一组有 根。第一组的每根能由第二组表出,而第一组自身无关,所以第一组的根数不可能多于提供它的那 根,即 。交换两组,得到 ,故 。这里用到的是“被一组向量表示的无关向量,个数不超过提供组的秩”,不是仅凭“都叫骨架”就认定根数相同。
来源:强化4·PDF第3页;强化5·PDF第1–2页。
关键定理为什么成立:矩阵秩、行秩、列秩为什么是同一个数
先看一个眼熟的数表:
按行看,第3行等于前两行相加,所以只有两条独立行;按列看,第3列等于前两列相加,第4列等于第1列的2倍加第2列,所以只有两根独立列。左上角二阶子式等于1,而三阶子式都为0,因此第二章定义的矩阵秩也是2。
这不是本例巧合。一般都有:
把 根向量按列排成 后,就得到做题最常用的判断:
继续看:子式和“独立列”怎样真正接上?
如果有一个非零 阶子式,它所在的 根完整列一定无关。否则完整列有一个非零配比的零组合,只截取子式用到的那些分量,关系仍成立;但非零行列式的 阶方阵不允许这样的关系,矛盾。
再通过行消元把矩阵整理成阶梯形:最高非零子式是 阶,就恰有 个主元;主元列无关,其余列能被它们表出。因此列秩就是 。转置不改变最高非零子式的阶数,对 再用一次同样的结论,就知道行秩也等于 。
来源:强化3·PDF第7–8页;强化4·PDF第3、11页;强化5·PDF第1–2页。证明为讲义结论的推导补充。
典型题型:用一个完整的 例子,找秩、骨架和表示式
继续用上面的 。题目问“从原向量组挑哪些”,所以先把原向量按列排好,之后只做行变换。
第一步,用前两行之和消去第3行:
第二步,看主元:非零行各自最左边的首个非零数叫主元;这里在第1、2列,所以 。第三步,回原矩阵取第1、2列:
它们就是一个极大无关组。注意不是取化简后的 ,因为题目要求选原来的向量。
第四步,在简洁的 中读组合系数,再对应回原组:第3列是第1、2列各取1份,第4列是第1列取2份、第2列取1份。因此:
为什么行变换允许这样读?行变换等于左乘可逆矩阵 ,所以 。若 ,左乘 得 ;若 ,左乘 又回到 。因此原矩阵和新矩阵的对应列关系、关系系数一模一样。向量本身变了,列之间的配比没变。
求秩时行变换、列变换都能用;要求从原组抽取极大无关组时,按列拼矩阵后只做行变换最稳妥。列变换会把原向量相互混合,不能再直接凭新主元列号抽原列。若不用主元列,也可在已知秩为 后找任意 根无关原向量,或由一个非零 阶子式锁定对应原列。
行向量组也能处理:把每根行向量先转置,再按列拼好,套上面方法。若直接行化简,所得非零行是一组与原行组等价的无关向量,但未必就是从原行组抽出的成员。
来源:强化4·PDF第3、9页;强化5·PDF第2页;强化6·PDF第11页。
核心概念:向量组等价,要“能拼出的目标完全相同”
先看反例。组Ⅰ只有 ,组Ⅱ只有 。两组秩都为1,但第一组只能走水平方向,第二组只能走竖直方向。秩相同,只表示独立方向数量相同;并不表示具体方向相同。
两向量组能够互相线性表出,才叫向量组等价。例如 与 ,都能拼出任意平面向量,所以等价。
怎样用秩判断?先把目标 添到 后面。若目标本来就能拼出,添上它不增加独立方向;若不能拼出,它就增加一份独立信息。于是:
对于两组同维向量,分别排成 ; 表示横向拼接,把两组列放在一起。对 的每一列都应用刚才的想法,就有:
单向表出还推出 :拼出来的独立信息不能超过原材料。只有这个大小关系,不能反推能表出;上面的水平、竖直反例已经说明问题。
这里要和第二章的矩阵等价分开:两个同型矩阵只要同秩就矩阵等价;向量组等价还要求确实能相互表出。比如上面两个 矩阵同秩,矩阵等价,但它们各自的列向量组不等价。
含参题的做法:先对 行消元,分别看 、 和整体的主元数;在含参因子为0处单独代入。讲义强化62正是这种结构,需分 与普通参数,不可仅比较两组向量的个数。
来源:强化4·PDF第4、6、8页;强化7·PDF第1–5页。
典型题型:原组无关,新组是一批组合,先写系数矩阵
先看一个小例。已知 无关,新组为:
不要给每根未知向量再设许多分量。原组无关意味着它们互相不能替代;所以新组的关系,只由“各取多少份”决定。把每个表示式的系数竖着装成一列:
第一列 对应第一根新向量,第二列 对应第二根,第三列同理。因为 的列无关, 等价于 ;它们有完全相同的系数关系。因此 。这里 ,所以新组三根无关。
操作顺序:按原组顺序写系数 → 新向量一个占一列 → 判断 的秩; 为方阵时优先看行列式。若原组并未给定无关,不能无条件写 。
有的关系一眼能看出,就先用定义。例如新组是 ,则前两根之和减第三根为0,立即相关,不用再消元。
来源:强化2·PDF第6–7页;强化4·PDF第7–8页。
典型题型:按顺序添向量、证明无关、辨充分必要
按原顺序添到第几根首次相关。例如前两根是 ,第3根为 ,前缀秩从1变2,再仍是2,所以首次相关在第3根。一般按原列顺序比较前缀秩:新添一列后秩不增加,就是新向量已能由前面表示。只知道整个组的总秩,还不能断定首次发生的位置。
抽象证明无关。先设“某个零组合” → 用已知 、分量关系等把它变形 → 逼出全部系数为0。若题目不断出现 ,常想到再左乘 ,制造第二条关系,然后加减消项;不必一上来给未知向量设全部分量。
充分必要性辨析。先把两个命题分别翻译成“零组合、能表出、秩”;证完一个方向,再检查另一个方向。反例优先用零向量、重复向量、水平与竖直两根标准方向。单向表出不等于互相表出;同秩不等于向量组等价;向量个数一样也不等于独立信息一样。
来源:强化4·PDF第7–10页。
继续看:幂零链为什么无关?先做三根的版本,再看通式
先假设 ,但 。目标是证 无关。
设 。为什么想到左乘 ?因为它能一次消掉后两项:它们变成 ,都为0。于是剩下:
由于 已知非零,得到 。把它放回原式后左乘 ,剩下 ,所以 ;最后原式只剩 ,又得 。全部系数都为0,证明完成。
一般模型完全同理:
先设零组合,依次左乘 ,每轮先利用上一轮已得到的系数为0。诀窍是“用高次幂批量消项”;每轮能推出系数为0,靠的是剩下的 。
来源:强化4·PDF第9页。
继续看:已知 ,怎样按列装出 ?
先用二阶的例子: 是二阶方阵, 都是二维列向量。若它们无关,且
令 。那么 的两列,恰好就是题目给的 。把两组系数分别装成两列,就得到
的列无关,所以 可逆;现在才能左乘 ,得到 。不能把 直接“约掉 ”写成 ,因为两边的 位于不同位置。
一般步骤:先由题设关系证 无关 → 拼成可逆 → 把每个 的表示系数逐列装入 → 写 → 左乘 。若每个 都只等于 , 就是对角阵。这正是第五章相似对角化要做的事;现在先看懂“按列装系数”,无需提前学基变换。
来源:强化2·PDF第7页;强化4·PDF第10页。两根数值系数例为教学补充。
与前后章的联系:向量把矩阵中的每一列解释清楚,方程组负责求拼法
回到最开始的 :矩阵章教你怎样计算,向量章告诉你“计算在拼什么”。把份数换成未知数,就是下一章的
目标能否表出,对应方程有无解;表出是否唯一,对应解是否唯一;原列是否有非零配比的零组合,对应 有没有非零解。下一章不是另起炉灶,而是把本章的“能否拼出”连同“怎样拼、所有拼法是什么”一起解决。
考纲中的内积、长度、正交、单位化、施密特正交化与正交矩阵,统一在第五章“实对称矩阵的计算预备”详细学习;这些考点没有删去,到时有数值例和完整公式。这里先把“向量 → 方程组”的主线走完。
来源:强化5·PDF第3、9页;强化6·PDF第1、9–10页。
本章核心公式速查:先认题意,再选工具
| 题目问什么 | 查哪条结论 | 怎么做 |
|---|---|---|
| 相关还是无关 | 式 (3-2) | 向量按列拼矩阵,求秩并比较向量根数 |
| 极大无关组 | 自身无关,而且能表出原组全部 | 只行变换,回原矩阵取主元列 |
| 一个目标能否表出 | 式 (3-3) | 添目标列,看秩是否增加 |
| 两组是否等价 | 式 (3-4) | 比较两组与横向拼接的三个秩 |
| 无关组的线性组合是否无关 | ,原组无关时新组与 同秩 | 按列装系数,求小矩阵的秩 |
| 首次相关在哪一根 | 前缀秩何时首次不增加 | 保持原顺序,逐列判断 |
| 幂零链无关 | 式 (3-5) | 设零组合,左乘高次幂依次消项 |
| 已知 求表示矩阵 | 先证 可逆,再按列装系数 |
顺着背的一条链:第三章怎么一口气连起来
先组合,再问相关,选骨架来数秩,最后用秩判能否表出。可以顺着这一条背:
- :系数就是每根取多少份;把“能否拼出”翻译成 。
- 只有零系数解 列无关 :没有非零配比能互相抵消。
- 从原组取无关且能表出全组的一部分:这是极大无关组;它有几根,原组秩就是几。
- 添目标不增秩 :目标没带来新方向,所以能表出;原列再无关,表示就唯一。
- 两组互相表出 :既要方向数量相同,也要能拼的目标相同。下一章直接求这些拼法。
第四章 线性方程组:先判断能不能拼出,再把所有拼法写全
核心问题:同一组方程,为什么有三种写法
先看你能直接算的例子:
从第二式得 ,代入第一式得 。若把两条方程的系数装成矩阵、右端装成列向量,就变成:
再把 的两列分别叫 ,它又是:
原来的未知数,就是每列取多少份;本例的答案是“第一列取1份,第二列取2份,拼成目标 ”。三种写法各有用途:展开的方程便于代入与回代;矩阵式便于消元与用恒等式;向量式便于直接读关系。
一般有 个方程、 个未知数时, 就是 矩阵, 有 个分量, 有 个分量。本章一直用 表示右端, 一直表示未知数个数,也就是 的列数。判断解的自由度时,千万别和方程个数 混淆。
本章只做两件事:先判断有没有解、是否唯一;再把全部解写出。判定靠秩,计算靠行变换,理解靠向量。
来源:强化5·PDF第3、9页;强化6·PDF第1页。两元例为教学补充。
核心概念:齐次方程的自由变量,是“没有被独立限制锁住的量”
先解一个具体齐次方程组。“齐次”就是右端全为0:
这里有3个未知数,但只有两条独立限制。先把 当作可以任选的数,记成 ;注意 不是新增未知数,只是记录“任选值”的名字。
第二式给出 。再代入第一式:,所以 。于是所有解为:
为什么只需一个参数? 一旦选好,另外两个数就被方程确定,不能再独立任选。所以 是自由变量; 是由它回代求出的主元变量。这里的 表示全体实数, 就是 可取任意实数。
一般消元后,若 有 个主元,就有 个主元变量,其余 个变量可以独立任选。因此:
是一个数,表示要留几处“任选值”;它不是解向量,也不是全部解的数量。只要 ,任意改变一个实参数就有无穷多个解。
来源:强化5·PDF第3–6页。
关键定理为什么成立:齐次有没有非零解,只问是否留下自由参数
最短例子: 可取 ,有非零解;若同时再要求 ,则只能 。区别就在于是否还留着自由变量。
对任何 ,把全部未知数取0总能成立,所以齐次方程不会无解。若 ,全部未知数都被主元锁定,只能全为0;若 ,至少能自由取一个变量为1,再回代得到非零解。
按列看,非零解就是一组不全为0的系数,让 各列抵消为0;因此它也等价于 的列向量组相关。这正是第三章定义的直接应用。
若 ,由 ,不用计算就能断定齐次有非零解。但“方程条数不少于未知数”并不保证只有零解,因为其中可能有重复限制。
只有 为 阶方阵,才可以加上行列式语言:
长方形矩阵没有这个整体行列式;仍用式 (4-2)。
来源:强化5·PDF第3–4页。
核心概念:基础解系是几根固定方向,通解是让系数任取后的全部解
继续刚才已经解出的例子:
让唯一的自由参数取 ,得到固定向量:
为什么特意取1?它把这一个自由方向“完整取一份”提取出来。 是 , 是 , 是零向量;任意取值都是同一根方向的倍数。所以这一根固定向量足以表示全部解,称为一组基础解系。
| 要写的东西 | 本例怎么写 | 它在回答什么 |
|---|---|---|
| 基础解系 | ,其中 | 用哪根固定向量就够 |
| 通解 | , 任意 | 所有解怎样变化 |
基础解系里的向量是固定的;通解里的系数是任意的。不能把“基础解系只有一个向量”说成“方程只有一个解”,也不能把 这个含任意参数的表达式,当作一根固定向量。
再看有两个自由变量时如何“一个取1、其他取0”。方程 中,令 ,则 ,所以:
- 第一次取 ,得到 ;
- 第二次取 ,得到 。
它们无关:零组合 的第2分量直接给出 ,第3分量直接给出 。它们又能表示刚才所有 对应的解,所以确实是一组基础解系。
关键定理为什么成立:基础解系要满足哪三个检查
从上面的两个例子总结,一组基础解系必须是:全部是齐次解、彼此无关、能表出全部齐次解。若已经知道它们共有 个,就只需核验前两件事;因为独立方向的总数正好就是 。
均为任意实数。为什么自由变量依次取“一个1、其他0”总行?因为每个自由变量贡献一种基本变化;这些解在自由变量所在分量上分别出现1、0,零组合一看这些分量就能逐个锁定系数为0。任意自由变量取值,再按各自数值乘回对应向量相加,恰好恢复原解。
做题步骤:消元 → 算 → 选自由变量 → 依次单位取值并回代 → 写固定的 → 再写含任意系数的通解。最后将每个 代回 核验。
当 时,通解就是 ;不要硬把零向量凑成一组基础解系,因为含零向量的组不可能无关。
来源:强化5·PDF第4–6页。两个自由变量的拆解为教学补充。
核心概念:非齐次有无解,为什么必须把右端一起消元
的右端若 ,就称为非齐次方程组; 时便是前面讲的齐次。先看两个几乎一样的例子:
左边第二式只是第一式乘2,有无穷多解;右边却要求同一个总和既是1又是 ,无解。系数矩阵完全相同,右端不同,结论就可能不同。所以只看 的秩不足以判定非齐次是否有解。
把右端也放入数表,称为增广矩阵,记 。竖线只提醒你最后一列是右端,不是新添了一个未知数。例如右边的系统消元为:
最后一行说 ,所以无解。系数部分只有1个主元,增广部分却有2个,表现为 。
为什么有解要求两个秩相同?按第三章的向量语言, 有解,就是目标 能由 各列拼出;添入这列不增加独立信息,恰好就是两个秩相同。
单个右端只添一列,所以 只能等于 或 ,不可能一下增加2。若秩相同,没有矛盾,再看是否还有自由变量,得到完整分类:
| 系数秩与增广秩 | 解的情况 | 为什么 |
|---|---|---|
| 无解 | 出现 的矛盾行 | |
| 唯一解 | 无矛盾,且无自由变量 | |
| 无穷多解 | 无矛盾,且至少留一个自由变量 |
判有解看两个秩是否相同;判唯一再看共同的秩是否等于未知数个数 。单写 ,既可能无解,也可能无穷多解。
若 是方阵, 对任何 都唯一,解为 ; 只排除唯一解,仍需比较增广秩。若 是 且满行秩 ,则任意 维右端都有解:增广后仍只有 行,不可能再增秩;但要保证唯一,还须列满秩。
回看第一章的克拉默法则:若 是 阶方阵,,则
是把 的第 列换成右端 后的行列式;只求某个未知数时可直接使用。 时不能用此分式,转回本节的增广秩分类。公式推导和数值例在第一章“克拉默法则”。
来源:强化2·PDF第3–4页;强化6·PDF第1、3–5、9–10页。
核心概念与定理为什么:非齐次通解为什么是“一个落脚点,加上所有自由方向”
把前面的齐次例子改一个右端:
仍令 。第二式给出 ;第一式变成 ,所以 。把固定部分与变化部分拆开:
读作“伊塔星”,在本章只表示选定的一个非齐次特解。取 就得到它;“特解”只是一个具体解,不是唯一解。 则是对应齐次方程的基础解系向量,描述可以沿哪个方向变化。
| 固定向量或表达式 | 本例 | 作用 |
|---|---|---|
| 齐次基础解系 | 给出一根自由方向 | |
| 非齐次的一个特解 | 先找一个满足右端的落脚点 | |
| 非齐次通解 | , 任意 | 从落脚点沿自由方向走出全部解 |
为什么每次都能这样拆?若 和 都满足右端 ,那么相减后右端抵消:
所以任意解减去特解,必是齐次解。反过来,齐次解加特解也一定满足原右端:
两个方向都成立,才保证没有漏掉解、没有掺入错解。于是:
几何上,齐次解是一条过原点的直线或一个过原点的平面;加特解后整体平移,自由方向保持不变。特解前面的系数固定是1,不能再随意乘一个参数,否则右端会跟着变。例如 ,通常不再等于 。
若题目已经给了若干个非齐次解,先试“两解相减得到齐次解,保留一个原解作特解”,常能省去重新消元。
来源:强化6·PDF第2–3、7–9页。
易混点:先看 ,分清 与
这个方程有2个未知数、系数秩1,所以 。令 ,则
这里只能独立任选一个数 ,所以自由参数个数是1。对应齐次方程 的基础解系也只有一根 。
但原非齐次方程有两个具体解:、。它们彼此无关,所以原方程可以选出两个无关的解向量。并不矛盾:通解中的任意变化沿一个方向;把不经过原点的一条直线上的点,当作从原点出发的向量来看,可以选出两根不同方向。
| 数的是什么 | 一般结论 | 本例 |
|---|---|---|
| 自由参数个数 | 1 | |
| 齐次基础解系的向量个数 | 1 | |
| 最多几个线性无关的齐次解 | 1 | |
| 最多几个线性无关的非齐次解 | ,须有解且 | 2 |
这里“有 个无关非齐次解”不表示有 个自由参数,也不是说齐次基础解系要加一根。
继续看:为什么上限恰好是 ,而不是只有“最多”?
由式 (4-5),任意非齐次解都由 这 根向量表出,所以无关解不可能超过 个。
还要证明真能达到这个数。取:
它们都是非齐次解。先按两根齐次方向的情形看:如果
左乘 得 。由于 ,系数和必须为0。再回到原关系,特解部分消掉,只剩 ;基础解系无关,所以 ,继而 。一般的 根完全同理,所以这 个解无关。
反向推秩也常考:已知 个非齐次解 无关,则
是 个无关齐次解,故 。证明无关时,把差向量零组合拆回原来的 ,原解无关就迫使全部系数为0。没有更多条件时,只能说“至少 个方向”,不能直接写成恰好 。
来源:强化5·PDF第4页;强化6·PDF第2、7页。
典型题型:解向量的加减组合,左乘 看右端即可
先看具体右端为1的情形:若 ,则
所以前者是齐次解,后者仍是原非齐次解。 的右端变成2,通常就不是原方程的解。
一般地,若 ,对三项先展开:
任意多项同理:系数和为0,得到齐次解;系数和为1,得到原非齐次解。例如 的系数和为1,也仍是原方程的解。齐次解的右端始终是0,所以齐次解的任意线性组合仍是齐次解。
做题别只背“能加不能加”。每次把 乘进去,算出右端到底变成什么,就能准确判断。
来源:强化6·PDF第2–3页。
典型题型:数值与含参方程组,按“消元—分支—判解—写通解”操作
先看一个最小的含参例:
时可以除以 ,得到唯一解 。 时不能照搬这个式子:若 ,第二行是矛盾 ,无解;若 ,第二行没有限制, 自由,便有无穷多解。每次准备除以一个含参式,都必须先给它“为0”的分支留位置。
遇到更大矩阵,操作仍是同一套:
- 写 (齐次)或 (非齐次),先记下未知数个数 。
- 优先选不依赖参数的非零数作主元,尽量把含参因子保留到后面。
- 准备除以含参式时,分“等于0”与“不等于0”;特殊值必须代回相应阶梯式核验。
- 先看有无矛盾行;有解后,数系数部分的主元,算 。
- 自由变量依次取一个1、其余0,得到齐次基础解系;非齐次另取一组方便的自由变量值,找特解。
- 按式 (4-3) 或 (4-5) 写完整通解,说明参数任意,代回固定向量检查。
方阵齐次题问“何时有非零解”,可先解 筛参数;非齐次题问“何时无解”,也可先由 列候选,但之后必须代回增广矩阵。行列式为0只排除唯一解,不能单独判无解。
如果题目说“基础解系恰有2个向量”,先翻译成 ,再让阶梯形中应消失的主元消失;不要先盲算一大堆解。讲义强化48就是这条路线。又如强化54先确定原方程无解的参数,再求 ,必须将两个系统分清。
来源:强化5·PDF第4–6页;强化6·PDF第4–5、10–11页。两行含参例为教学补充。
继续看:讲义的含参 阶模型,为什么要把 单独分出?
先看 的具体形状:
它的规律是:第 行全是 ,再给主对角位置多加一个 。因此方程 的第 行应逐项读成:
这里是“ 加上 倍的全部未知数之和”,不是把 整体再乘一个和。三阶行列式为 ,特殊参数是0和 。
一般 时,讲义强化49的矩阵为:
记 ,则:
先说明为什么是这两个特殊值。若 ,记 ,第 个方程给出:
把 的式子相加,左边是 ,右边是 ,所以:
第一类,:,于是 ;再代回得到每个 。这既解释了唯一零解,也与行列式非零相互核验。
第二类,:各行都是第一行的倍数,秩降到1,只有一条限制 。自由参数有 个。依次令 中一个为1、其余为0,就得到:
第三类,:因为 ,此时 。记全部未知数之和为 ,第 个方程给出 ,所以 。所有解都只是 的倍数,故基础解系只有这一根,秩是 。讲义也可用非零 阶子式锁定此秩。
三阶时, 的通解有两个参数; 的通解只有一个参数。虽然两者都满足行列式为0,退化程度完全不同,这就是不能把所有特殊参数揉成一类的原因。
来源:强化5·PDF第5–6页。按各行方程解出 是便于理解的推导补充。
典型题型:抽象方程组,先求秩、再数方向、再找代表
先看一条向量关系就能给出的解:若 ,把系数竖排,立刻得到 。这就是从题设直接“读出解”,不必先知道每个矩阵元素。
抽象题共同路线是:由已知条件确定或夹住 → 算 → 找到恰好 个无关齐次解 → 非齐次再补一个特解。下列四类保留完整做法,第一次学习可以先做数值例,再逐类展开。
继续看:给出列向量关系,直接读基础解系和特解
例如 ,前三列无关,且:
前三列无关,说明秩至少是3;由关系可解出第4列由前三列表出,说明秩至多是3。所以 ,。
将关系移到一边,四个系数按原列顺序竖排:
这个解非零;而基础解系只需一个向量,所以它已经足够。若原题要解 ,直接按目标系数读出特解 ,通解就是:
想到这样做,是因为题目给的就是列之间的关系;允许只取这一个齐次向量,是因为先算出了 。少掉“先数够不够”这一步,只读一个解未必完整。
来源:强化6·PDF第8页。
继续看:给出 ,怎样从 中挑出基础解系?
先看一个数值例:,并取:
的两列分别是 ,每列各分量之和都为0,所以 。它们无关;又 ,恰好就是基础解系需要的两根。
一般 为 、 为 时,把 按列记作 。乘法 就是每一列都满足 。于是 能提供的无关列数,不超过 允许的独立方向数:
这就是第二章已完整推导的不等式在方程组中的用法;这里的 是相乘内维数。若 ,从 挑一个极大无关组,才正好是基础解系。若严格小于, 提供的解还不够,必须利用 的已知行、非零子式等条件继续找。
操作顺序:估 → 夹 → 用 、某子式非零等锁定秩 → 算 → 从 取够 根无关列。讲义强化50需要根据 的参数分支判断它的秩;条件未足时还要使用 的首行,不能看到乘积为零就停止。
来源:强化5·PDF第6–7页。不等式完整说明见第二章;三列的小例为教学补充。
继续看:伴随矩阵的列,到底是谁的齐次解?
先看二阶:若 ,则 。 的非零列 是 的解; 的非零列 是 的解。两个方向不要看反。
一般联系来自 。若 ,则:
对 阶矩阵,第二章的伴随秩三分法为: 时 ; 时 ; 时 。
为什么中间恰为1?至少有一个 阶子式非零,故 ;同时 只有一个独立方向, 的列全是它的解,所以这些列的秩至多1,合起来只能等于1。
讲义强化51的四阶例:已知 的基础解系只有一根,先得 ,再得 ;现在求的是 ,需 根无关解。 的列全是它的解,而 秩3,所以从原 中选3根无关列即可。2020真题中“不可逆,但有非零三阶代数余子式”同样能锁定四阶矩阵秩3。
来源:强化5·PDF第8页。
继续看:已知完整通解,怎样反推秩、列关系和删列后的方程?
先看三未知数的已知通解 。任意 都是解,意味着变化方向满足齐次式:;固定特解则给出 。若题目明确这是完整通解,且只有一个独立参数,那么 。
一般已知完整通解为:
并且 无关,就有 、。由 读两条列关系,由 读出目标表出。然后消去冗余列、找极大无关组,再把 改写为由骨架表出。
如果删去 的某列得到新矩阵 ,不能原样抄旧通解:新未知数个数变了,原目标是否还能拼出也可能变。应重新判断 、,有解后再算新的自由参数个数。讲义强化58则把“无表示、唯一表示、不唯一表示”分别转成同一增广矩阵的三种秩条件,再分参数讨论。
来源:强化6·PDF第8–11页。三未知数小例为教学补充。
典型题型:矩阵方程 ,相同左端同时拼几个目标
先看最简单的 、。未知矩阵若记为:
则 就是两件独立的事:第一列要求 ,第二列要求 。每列各有自己的任选值,所以可写成:
不能把 强行写成 ,否则只保留了两个自由参数恰好相同的那一部分矩阵解,会漏解。
继续看:多右端判解、通式、右侧未知与交换型矩阵方程
设 为 ,未知 为 ,右端 为 。把 、 按列拆开, 等价于逐列求 。所以对 统一做一次行变换,就能同时处理全部右端,不必每一列重做消元。
有解后, 时每列都唯一,矩阵解也唯一; 且 时每列都有自由变量,矩阵解无穷多。无解的意思是 中至少有一列不能由 列表出,不是说每列都不能表出。
若 是一个特解矩阵, 是把齐次基础解系并成的矩阵,那么:
其中 是任意 实矩阵。看两列、两个齐次方向时,它展开为:
因此 每列收纳那个右端自己的自由参数。讲义强化59统一消元后分 无解、 无穷多、普通参数唯一三个分支;每个分支既要看有解,还要看唯一。
若未知在左侧, 可以转置为 ,再用上法。若是 ,不能把矩阵当数字直接合并成0。小阶时把未知 的每个元素分别设为未知数,按矩阵乘法算出两边,再逐位置列普通线性方程组;解出后按原位置装回 。讲义强化55将二阶 的4个元素设为4个未知数,由有解条件先求参数,再求完整矩阵通解。
来源:强化6·PDF第6–7、12–14页;强化7·PDF第1–2页。
关键联系:矩阵乘法中,右乘在混列,左乘在混行
先用 ,右乘:
直接按列算,,说明右乘把 的列混合。因为 可逆,又能从新列找回旧列,所以这两组列互相能表出。
反过来,左乘的每一行是原矩阵各行的组合,所以左乘混合行。对一般乘积 :每一列可由 各列表出,每一行可由 各行表出。这同时解释了积的秩不超过任一因子的秩。
继续看:行变换、列变换与同解,究竟各自保留了什么?
对同型 ,下面三种关系要分开。
| 关系 | 代数形式 | 保留的信息 |
|---|---|---|
| 只做初等行变换 | , 可逆 | 行组等价;对应列的线性关系相同;齐次同解 |
| 只做初等列变换 | , 可逆 | 列组等价;对应行的线性关系相同;转置后的齐次组同解 |
| 允许初等行、列变换 | 同型同秩;通常不能保证原变量下的齐次同解 |
行变换为什么保解? 后左乘 ,就回到 。列变换后 ,满足原方程的是 ;不能直接当成原来的 ,所以不保证原变量下同解。数二只需这条算式解释,不需要引入基或坐标理论。
若 且 可逆, 列可由 列表出;又 ,反方向也成立,所以 的列向量组等价。不要把这个结论误读成“行组也一定等价”。
若 列可由 列表出,而 不能由 列表出,则 。并且对任意合适的右端,只要 有解,目标已由 列表出,也就能继续用 列表出,所以相应 系数方程有解。这正是讲义强化60及2026真题的推理链,不能把表出方向反写。
来源:强化7·PDF第2–3、6–7页。
典型题型:公共解先“同时满足”,同解要“全部相同”,包含只要求一个方向
先看两个方程 与 。要同时满足,只能 ;这叫求公共解。若把第二个方程换成 ,两组所有解完全相同,叫同解。
再看“”与“”:前一组的每个解都满足后一组,但后一组还允许 任取,所以是严格的解包含。限制更多,通常留下的解更少。三种问法不能只用“秩差不多”含糊处理。
继续看:公共解的三种方法与秩判定
对相同未知数个数的 ,同时满足就将两批方程纵向放在一起:
因此:
公共解的自由参数个数就是 减这个纵向合并矩阵的秩。这里是纵向合并,因为两批方程共同限制同一组未知数;和第三章添目标列的横向拼接不是同一个操作。
有三种可操作路线:两边都给具体方程就联立消元;一边已知通解就把它代入另一边,解参数限制;两边都已知通解就令两种表达式相等,解参数关系。若问“全部非零公共解”,最后必须排除使解向量等于0的参数取值。
非齐次 同样可以纵向联立,但右端也要一起放成 ,先检查相容。两组各自有解,并不保证存在公共解。
来源:强化7·PDF第8–9页。
继续看:同解为什么不能只比较两个矩阵的秩?
最小反例是 与 :两矩阵秩都为1,但限制方向不同,解不相同。因此除了独立限制的数量相同,还要保证两批限制能互相表示。
对列数相同的齐次系数矩阵,判定为:
纵向合并后仍不增秩,表示没有多出新的独立行限制;这等价于两矩阵行向量组等价。也可分别化为行最简形,删掉零行后完全一致,就同解。
仅当 同型时,还能等价写成 , 可逆,或“可经初等行变换互化”。不同方程条数也能同解,这时不能硬凑一个同阶可逆 。
含参同解题,可先由方程条数与同解锁住秩,再将已知基础解系代入另一个系统,最后排除让秩进一步退化的参数。只代入几个已知解,只证明这些解共有;还需数量或秩保证它们覆盖全部。
来源:强化7·PDF第6、10–12页。
继续看:解包含的方向怎么记,怎样防止只凭秩大小乱推?
若 的每个解都是 的解,说明 的限制在 已有的限制中已经成立。把 的行再添上去,不应新增独立限制。因此:
这推出 :前者独立限制更多,解更少。反过来,只有秩大小无法知道方向;例如 与 仍是反例。
若已知包含但不同解,则必有 。含参题先用式 (4-10) 表示包含,再用严格不等排除同解的退化情况。证明某一个解属于另一组,远不等于证明所有解都属于。
还有一个常考特例: 总能推出 。若二者不同解,则:
第一个严格不等来自“包含但不同解”;第二个来自 若可逆,两组都只能是零解,不可能不同解。方阵含参题可据此先由 找参数关系,再核验两个秩。讲义2025数二题采用这一入口。
来源:强化7·PDF第12–13页。
关键定理为什么成立:实矩阵 与 为什么同解
先看 。 是 ;而:
新方程只是把原来的同一条限制重复了两次,所以同解。一般矩阵不能只靠“看着像重复”认定,关键在下面的平方和。
继续看:平方和证明,以及非齐次为什么不能照搬
这里 和未知向量都取实数。 左乘 ,显然得到 。反方向,若 ,再左乘 :
若 ,最后这个数就是 ;一般有多少个分量,就把所有分量的平方加起来。实数平方都非负,相加等于0,必定每个分量都等于0,于是 。这不需要先学抽象内积,只用实数平方和。
两组同解、未知数个数相同,故自由参数个数相同,得到 。对 再用一次,并结合转置不改变秩,就有:
“实矩阵”条件不能删,普通转置不能无条件推广到复数情形。这个平方和后面也写成 ,表示各分量的平方和;若 列满秩,非零 就使 ,故该平方和严格大于0。这会引出第六章的正定。
另一个应用: 列满秩时, 与 同解。因为把 看作一个向量, 只能推出 ;反方向直接左乘即可。这解释了左乘列满秩矩阵为何保留列关系。
非齐次不能不加条件照搬。例如 ,原方程要求同一个 满足 与 ,无解;左乘 却得到 ,有解。因此 与 不是无条件同解。若原方程本来有解,取一个特解相减后可化成齐次问题,才可利用刚证明的同解结论。
来源:强化6·PDF第4–6页;强化7·PDF第10–11页。小矩阵反例为教学补充。
与前后章的联系:特征值问题,就是“带参数的齐次方程要非零解”
先看 。向量 乘 后成为 ,只在原方向伸长2倍; 则伸长3倍。下一章要问:对一般矩阵,有没有这样的非零方向?
把“只乘一个数,不跑到其他方向”写成 。 是待求的倍数, 是待求的方向。按全书统一记号,移项写成:
它就是本章的齐次方程,只不过系数矩阵中带了参数 。要求非零 ,直接套式 (4-2):
所以特征方程不是突然出现的新公式:它来自“齐次有非零解”的老判定。求到每个 后,再对 消元、求基础解系;有几个无关特征向量,仍然靠 来数。你这一章会的求解与数方向,将直接服务第五章的对角化判定。
本章核心公式与判定条件速查
| 问题 | 结论位置 | 实际检查 |
|---|---|---|
| 齐次有无非零解 | 式 (4-2) | 系数秩是否小于未知数个数 |
| 基础解系有几根 | 式 (4-1)、(4-3) | 未知数个数减系数秩;取单位自由变量 |
| 非齐次有无解 | 式 (4-4) | 系数秩与增广秩是否相同 |
| 非齐次唯一还是无穷多 | 有解后再看共同秩 | 等于 唯一,小于 无穷多 |
| 非齐次通解 | 式 (4-5) | 一个特解,加齐次基础解系的任意组合 |
| 与 | 式 (4-6) | 参数数与无关非齐次解最大数是两回事 |
| 两个同右端解相减 | 右端抵消为0 | 可构造齐次解 |
| 多个非齐次解组合 | 系数和为0或1 | 分别得到齐次解或原非齐次解,须 |
| 第二章秩不等式及本章抽象题 | 的列是齐次解,但还要取够且无关 | |
| 有解 | 式 (4-7) | 所有列都能表出;各列参数独立 |
| 两组非零公共解 | 式 (4-8) | 纵向合并后的秩小于 |
| 两齐次组同解 | 式 (4-9) | 两组与纵向合并的三个秩都相同 |
| 单向解包含 | 式 (4-10) | 添另一组的行后,不增加原限制的秩 |
| 实矩阵的平方和连接 | 式 (4-11) | 齐次同解;非齐次先检查原方程是否有解 |
顺着背的一条链:第四章从“判解”背到“写全”
先齐次数自由,再非齐次查相容,最后“一特解加全部方向”。
- 总有零解; 才有非零解,因为剩下自由变量。自由方向数 ,见式 (4-1)、(4-2)。
- 依次让一个自由变量取1、其余取0,回代得到 ;通解 ,见式 (4-3)。
- 先看 才有解;再看共同秩是否等于 ,决定唯一或无穷多,见式 (4-4)。
- 有解就选一个 ;两解相减为齐次解,所以通解是 ,见式 (4-5)。
- 参数仍是 个;当 且有解时,无关非齐次解最多 个,因为多了一个不经过原点的落脚点,见式 (4-6)。
- 换成 就逐列用同一套;公共解就纵向联立;下一章换成 ,继续用“非零解判定+基础解系”。
第五章 特征值与特征向量:找出矩阵只做伸缩的方向
核心问题:矩阵乘一个箭头,究竟发生了什么?
先看一张能直接算懂的矩阵:
把列向量看成从原点出发的箭头。向量 被它送到 ,方向和长度都变了;但有两个方向特别省事:
第一个方向只被拉成4倍,第二个方向只被拉成2倍。 沿着它们算,矩阵乘法就变成了倍数计算。比如连续作用三次,第一个箭头变为 ,无需连乘三个矩阵。
这就是本章要解决的问题:能否找到足够多的这种特别方向,把一个混合计算的矩阵,拆成几个可以各自计算的伸缩? 前一章给定结果 ,研究怎样解 ;这一章研究矩阵 自身,却仍然要靠上一章的齐次方程和秩来找答案。
核心概念:先找伸缩倍数,再用齐次方程找方向
设 是 阶方阵。如果存在一个数 和一个非零列向量 ,满足
就把 叫作 的特征值,把 叫作属于 的特征向量。在刚才的例子中,4和2是特征值, 和 分别是相应特征向量。
为什么强调非零?因为 对任何 都成立,零箭头不能告诉我们特别的方向。特征向量必须非零,特征值却可以为0:这时某个非零箭头被压成零。 表示同方向伸缩, 表示伸缩后反向。
怎样找未知的 ?把定义移项, 是 阶单位矩阵:
右边恰好是第四章的齐次方程。它要有非零解,系数矩阵必须不满秩;方阵不满秩又等价于行列式为零。因此:
是关于 的多项式,叫特征多项式;令它等于0,就是特征方程。本书始终使用 这套写法。
回到二阶例子,把矩阵和行列式分开写,就不会混:
所以先得到 ;再分别代回 求非零解,才得到特征向量。求特征值用行列式,求特征向量用行变换,两个任务不要混在一起。
来源:强化8·PDF第1—3页。
秩的核心作用:重根有几个,独立方向就有几个吗?
紧接着特征方程,要分清两个不同的“个数”。假设特征多项式中出现 ,就说2是二重特征值,代数重数为2。它只告诉我们“2这个根在多项式里出现两次”,并不自动提供两个独立方向。
方向要到齐次方程里找。对一个特征值 ,解
若它的基础解系为 ,那么这些向量就是 个线性无关的特征向量;全部特征向量是它们的非零线性组合。由第四章“自由变量数=未知量个数−秩”得到:
这里 是根在多项式里重复的次数,叫代数重数; 是能找出的独立特征向量最多有几个,叫几何重数。考试真正要数方向时,用的是式 (5-3),不能直接把 当成 。
看两个最小对比:
两者的特征多项式都是 。但对 ,,秩0,因而有 个独立方向;对 ,
秩1,只能得到 个独立方向。相同的重根,可能有不同的独立方向数;秩就是区别它们的工具。
单根特别省事: 时,式 (5-3) 夹住 ,于是 。二重根则可能有1个或2个独立方向,必须检查。
继续看:为什么独立方向数不能超过根的重数?
若已找到 个属于 的无关特征向量,可继续补入向量,凑成 个无关列,拼为可逆矩阵 。由这 列满足 ,可知 的左上块为 ,左下块为零。它的特征行列式至少含因子 ,所以 。这里只借“无关列组成可逆矩阵”和分块三角行列式理解证明,不需要学习数学一的抽象基变换理论。
来源:强化8·PDF第3、10页;强化9·PDF第1、7页;补图“单根消0”“相似对角化判定”。
关键定理:迹是特征值的和,行列式是特征值的积
先以三阶说明“和”和“积”到底包括哪些数。把三个特征值按重数记作 ,例如特征值是7、1、1,就把1写两次。
特征多项式一方面由矩阵元素展开;另一方面由三个根分解:
由矩阵元素展开时, 的系数为 ,常数项为 。同一多项式对应系数相等,因此:
叫矩阵的迹,就是主对角元素的和。推广到 阶,紧凑写为:
表示把每个特征值加起来, 表示把每个特征值乘起来;始终按代数重数重复计数。式 (5-4) 是比较特征多项式系数得来的,并不要求矩阵已经能对角化。
三阶还有一项常考,必须看准幂次。这里用 记三个二阶主子式:下标表示保留哪些同编号行、列,区别于第一章删行删列的余子式 。具体为:
三个二阶主子式之和是 的一次项系数; 的系数是 。
用法也要和来源对应起来:
- 已知另外几个特征值,用“总和=迹”补最后一个。
- 判断是否有零特征值: 是特征值,等价于 ,也等价于 不可逆。
- 题给 且 ,把系数提出,即可认出 是 的特征值。
- 行列式只告诉乘积,迹只告诉和;一般不能只靠这两个数确定全部特征值。
还有一个无需展开行列式的入口:若每行元素和均为 ,取全1列向量 ,矩阵乘法逐行给出 ,所以 是特征值。
来源:强化8·PDF第3—5页;强化9·PDF第8页。
关键定理:不同特征值的向量为何一定无关?
先看两个。若 、,且 。假设两个非零向量相关,就有 。那么同一个 同时满足
相减得到 ,与两个条件“、”矛盾。直观上,同一个非零方向不可能被同一矩阵同时按两个不同倍数伸缩。
三个及以上时也有类似办法:假设存在非平凡线性关系,先乘 ,再减去某个特征值乘原关系,消去一个向量;依次消去便得到矛盾。因此属于互异特征值的特征向量线性无关。
同一个特征值下,反而可以作线性组合:
只要结果非零,它仍是该特征值的特征向量。这也是后面能在同一个特征值内部施密特正交化的原因。不同特征值的两个向量若都以非零系数混合,就不再是特征向量。
来源:强化8·PDF第3—4页。
相似与对角化:把“找到方向”翻译成矩阵公式
开头已经找到 、。把它们按列装进同一矩阵:
是把两列分别乘 ; 是把第一列乘4、第二列乘2。因此刚才的两个特征向量等式,合起来就是 。两列无关, 可逆,左乘 :
对角阵的好处是:各位置独立运算。 连乘它只需分别计算 和 。这正是引入相似对角化的目的。
一般地,存在可逆 使 ,就称同阶方阵 相似,记 。做题可用等价式 。当 是对角阵 ,就称 可相似对角化。
式 (5-5) 逐列读,就是 。于是得到完整判定:
在实数范围内,还需特征多项式能分解出全部实根;此时式 (5-6) 等价于:每个 重特征值都恰有 个独立方向,即
为什么充分?将这些无关特征向量拼成 ,就满足式 (5-5)。为什么必要?若已经有可逆 ,它的 个列向量本来就是无关特征向量。
常用的两个充分条件是“有 个互异实特征值”和“ 为实对称矩阵”。它们都不是必要条件: 能对角化却没有互异特征值; 能对角化却不对称。实矩阵未必有全部实特征值;实对称矩阵则有。
排顺序有一个硬规则: 的第几列,必须对应 的第几个对角元。 特征向量可以乘非零倍数;可以换列,但对应特征值必须一起换位置。
来源:强化8·PDF第6—7、10页;强化9·PDF第1—2页。
特殊捷径:秩1矩阵,为什么看迹就够了?
第二章已经说明:秩1矩阵可以写成 ,其中 是非零列向量。这里的 是分解中的向量名,不是在求方程组右端。记数 。三阶时就是 ;它恰好也是矩阵的迹。
乘两次就能看出结构:
由于 , 有 个独立解,对应零特征值的 个方向。
- 若 ,还有 。这个非零特征值的方向,与前面零特征值的方向独立,恰好凑够 个,所以可对角化;特征值为 。
- 若 ,,所有特征值只能是0。若能对角化,对角阵只能是 ,便有 ,与秩1矛盾,所以不可对角化。
继续看:秩1时,怎样快速求 ?
设 为 阶、,,整数 。刚才已经知道特征值为 ,所以 的特征值为 。再从 中减去它,特征值分别变成 。
三阶先散开相乘:
推广到 阶:
这里用的是“行列式等于全部特征值的乘积”,不要求 可对角化; 时也成立。因此不能为了套这条公式额外要求 。
来源:强化3·PDF第2页;本节结合特征值公式补齐理由。
“秩1”已经排除了零矩阵,不可漏掉这个前提。三阶另一个常用方向是:若已知可对角化且 为二重根,则 。因此可用非零行成比例、二阶子式全零筛参数;实对称矩阵自动满足可对角化条件。
来源:强化8·PDF第10页;强化9·PDF第7页;补图“相似对角化判定”。
相似保留什么?为什么“五等”还不能反推相似?
若 ,则
取行列式时, 与 抵消,所以特征多项式相同。因而带重数的特征值、迹、行列式都相同;左右乘可逆矩阵还说明秩相同。这就是补图中的“五等”。
这些只是必要条件。比较
它们满足五等,却不相似: 无论怎样都不会变成 。也可以比较移位矩阵的秩:,而 。一般地,相似必有 ,对任意数 都成立。
| 已知 后 | 什么时候成立 | 反过来呢? |
|---|---|---|
| 逆矩阵仍相似 | 必须可逆 | 可逆时可以反推 |
| 转置矩阵仍相似 | 总成立;变换矩阵通常改成 | 可以,转置两次 |
| 与 相似 | 总成立 | 才可反推 |
| 伴随矩阵仍相似 | 总成立,奇异也可 | 一般不能反推 |
| 多项式 仍相似 | 是多项式 | 一般不能,常数多项式就丢失了信息 |
| 同次幂仍相似 | 非负整数次;负次需可逆 | 一般不能,如 的平方相同 |
为什么多项式成立?例如 ,中间抵消;逐项相加,就有 。逆、转置、伴随同样按各自运算公式处理,不能都照搬同一个 。
需要写证明时,用下面的完整等式;其中前三条依次对应“取逆、取转置、取伴随”:
是 的简写,因此转置那一式对应的相似变换矩阵是 。
还有两条构造题常用:若同阶 可逆,直接计算 ,所以 ;若 、,分别使用相应可逆矩阵,再把它们放在分块对角线上,即可证明 。
来源:强化9·PDF第2—4页;补图1、2。
相关矩阵的特征值:代进去之前,先确认向量是否还一样
已知 ,就有 、。例如 时:
所以对任意多项式 :
这才是“把特征值代进多项式”的来历: 对应 , 对应 , 对应 。这些运算可以沿用原特征向量。
若 可逆,从定义左乘 才能得到:
逆矩阵那一式必须要求 可逆。伴随那一式还可以放宽:只要对应特征值 就成立,即使 奇异也能用。不需要硬套逆矩阵,直接用 :
此时因 才能相除,得到 。若 ,则不能写这个分式,应回到伴随矩阵本身求解。这里 始终专指伴随矩阵。
另有两类“根相同,向量要另算”: 与 同特征值,一般不共用特征向量;若 ,属于 的特征向量是 ,因为
把最常背的关系放在一起,先固定“ 是 属于 的特征向量”这个前提:
若 可逆,再加上 ;伴随矩阵的 只要求对应 ,不要求 可逆。转置则只保留相同的特征值,特征向量一般另算。相似时的向量变换为 。
例如讲义把伴随矩阵再作相似变换、最后加 ,要分别完成“特征值变换”和“特征向量乘 ”,不能只改根不改向量。
还要保留以下边界:
- 多项式可能把不同根合并,例如1和−1平方都变成1;已有独立特征向量仍然保留。因此 可对角化时, 也可对角化。
- 若 ,每个特征值必须满足 ,但候选根不一定都出现。例如 给出候选根 ,还要用迹、行列式等确定实际重数。
- 只知道候选根,不能随意认定可对角化。例如 、,特征值全0却不可对角化。
伴随矩阵在奇异时要重新分类。 若 ,所有 阶子式为零,故 。若 ,则 ,由秩1结论,它的特征值可写作 ;最后这个数也可能为0,只能说“唯一可能非零的特征值”。
这个 秩1,特征值却全0,正好说明限制不能省。若题目要求主对角线上代数余子式的和,它就是 ;不要与“所有位置代数余子式的总和”混为一谈。
来源:强化8·PDF第1—5、10页。
预备工具:内积、长度、施密特与正交矩阵
前面只要求特征向量无关。下面要进一步让它们互相垂直,且长度都为1,才能利用实对称矩阵的便利。内积、长度、正交与施密特属于第三章“向量”的考点;这里为了接上实际用途,集中在使用前讲解。 不引入数学一的抽象空间、基与坐标变换。
先算一组真的数字:,。内积就是“对应位置相乘,再把结果相加”:
第一根向量的长度为 。怎样把第二根改成与第一根垂直?试着减掉第一根的一半:
与第一根作内积,得到 ,果然垂直了。这个 来自“原内积1,除以第一根长度的平方2”;这就是下面施密特公式中分数的具体含义。
现在再写一般分量。对两个实列向量,内积就是对应分量相乘后相加:
一般地 。内积为0叫正交;在平面、空间里就是垂直。向量长度记为 :
非零向量除以自己的长度,得到同方向的单位向量 。非零且两两正交的向量一定无关:若 ,两边分别左乘 ,交叉项全0,只剩 ,所以每个 。
施密特:从后一个向量里,减掉沿前面方向的那一部分。 设 已无关,先保留 。希望 与 垂直,要求
解出 ,得到第二式;第三个向量则要减掉沿前两个互相垂直方向的分量:
为什么减两项不会互相破坏?检验 时,减第一项正好抵消 ;第二个减项里有 ,没有新影响。对 同理。这就解释了“减掉投影后垂直”,而非只记公式。
用一般下标 表示“正在处理第几个向量”:
这里 表示逐个减去已经处理好的方向。 时逐项展开就是上面的 两个减项,绝不是只减最后一个。最后各自单位化为 。输入必须无关,否则可能得到零向量,无法除以长度;同一特征值的线性组合仍满足同一特征方程,所以在同根内部这样操作不会丢掉特征向量身份。
讲义例子:、。先算内积−3、第一向量长度平方6,再相减:
可乘2化为 ,不改变正交方向。最后将两个向量分别除以 、。题目简单时,也可直接在已求出的解中加上“与第一向量内积为0”的条件,挑出简单向量。
把 个两两正交的单位列向量拼成方阵 , 的对角项是各列长度平方1,非对角项是列间内积0,所以:
这也等价于各行是两两正交的单位向量。取行列式得到 ,所以 。对任意实列向量 ,
所以正交变换保持长度;同样的内积计算还说明它保持夹角。“可逆”只保证可以反解,“正交”在此基础上还保持长度与夹角。
继续看:讲义中的三个正交矩阵衔接题
正交阵之和的行列式。 若正交矩阵 满足 ,先验证 。取行列式后,,得到 ,所以 。
奇数阶正交阵的一个特征值。 若 奇数阶且 ,则
所以 ,即1是特征值。最后的负号来自奇数阶整体提出−1。
元素等于自身代数余子式。 设 为三阶实非零矩阵,并且每个元素 都等于自己的代数余子式 。这意味着 ,再由 得到 。选一条非零行按行展开, 等于这一行元素的平方和,因而 。两边取行列式,得到 ,所以 ,最后 。反向要同时满足“正交、行列式1”;仅正交不够,行列式−1时有 。
来源:强化9·PDF第5—8页。
实对称矩阵:为什么能找到一整套垂直的伸缩方向?
实对称矩阵就是元素为实数、且 的方阵。开头 是一个例子,两条特征方向 、 恰好垂直。这不是巧合。
先证不同特征值对应垂直方向。设 、,。同一个数 可从右边或左边计算:
第二式正是用了 。相减得到 ,所以 。
更强的定理是:实对称矩阵的特征值全为实数,并且总能找到 个两两正交的单位特征向量。 把它们拼为 ,便有:
这次不只“能对角化”,而且可以选正交矩阵。重根所对应的多个向量,齐次方程直接解出来时未必垂直,仍要自己在同根内部正交化、单位化。
继续看:为何实对称矩阵一定有足够多的实特征方向?
先看所有长度为1的实箭头,比较实数 。这相当于在圆周或球面上找最大值;最大值一定能取到。取最大值的方向为 ,若 还含有垂直于 的分量,就沿这个分量稍微调整方向并保持长度1,可继续增大 ,与“已最大”矛盾。所以 必须平行于 ,先得到一个实特征值与实单位特征向量。
若 与 垂直,由对称性,,说明 仍与 垂直。在这些垂直方向里重复上述过程,就能逐次找出互相垂直的实单位特征向量。这个证明直观只借实单位向量和极值,不要求学习数学一的抽象空间理论。
做题步骤: 求特征值;按根解齐次方程;不同根之间自动垂直,同根内部施密特;各向量除以长度;按根的顺序拼 ;核验 、。普通对角化的 只需可逆,这里的 必须正交,单位化不能省。
讲义中还会反着给信息:三阶实对称矩阵的每行和为3,同时给出 的两个无关解。前者立即提供特征值3与向量 ,后者提供零特征值的两个独立方向,所以全部特征值是 。两个零根方向可以在同根内部施密特;也可以直接解垂直条件,选更简单的正交向量。若只缺第三个向量,则同时列出“与前两个向量内积为0”的线性方程,再单位化,最后仍须核验它对应的特征值。
还可以反过来重建实对称矩阵。三阶时:
一般写作:
例如单位向量 的特征值为 ,所有与 垂直的方向特征值为 ,则 :第一项让所有方向都先乘 ,第二项只把沿 的倍数补到 。
来源:强化9·PDF第5—9页;强化10·PDF第1页。
贯通例子:补图“单根消0”,每一步究竟做了什么?
补图中的矩阵是:
令全1列向量 ,则 。每行和为7,所以 。若 ,则 ,因而 。该条件有两个独立方向,所以特征值为7、1、1。
7是单根,由式 (5-3) 预知 ,因此解有一个自由参数。但预知秩不等于可以随意删除一行。合法计算如下,每步只用行的倍乘或倍加:
第二行给 ,代回第一行给 ,所以全部特征向量为 ,。总行数依然为3,末行只是通过合法运算变成零行。
再取下面三个单位方向:
三者两两内积为0,且长度1; 对应7, 对应1。令 ,就有 。
同一例子同时出现三种秩: 说明没有零特征值; 说明7只有一个独立方向; 说明1有两个独立方向。秩并不是只算一次的数字,要先看你正在对哪个矩阵求秩。
来源:补图“单根消0”;强化9·PDF第7—9页的对应方法。
典型题型与解题步骤
题型A:求特征值与全部特征向量。 先展开、分解 ;每个不同根分别代回 ;用行变换求基础解系;写其非零线性组合。最后用 检验向量,用迹、行列式核对根。重根不能只交一个向量。
题型B:只判断能否对角化。 先看实对称;再看秩1能否用迹;再求特征值。互异实根直接肯定;对重根求 并检查是否为 ,不必一开始就求完所有特征向量。
题型C:求相似变换矩阵。 目标是对角阵时,按指定特征值顺序拼列。若目标为一般的 ,且两者均可对角化,分别化到同一个、同顺序的 :
验证时按顺序代入:。这叫搭桥法;可调整特征向量倍数简化计算。若不适合对角化,就设未知 ,由 解线性方程,最后选参数使 。
题型D:判断两个矩阵是否相似。 先用特征值、迹、行列式、秩排除;同谱且都可对角化时,可以肯定相似;一个能、另一个不能,则不相似。两个都不能时,前面的必要条件一般不够,继续比较 ,或直接解 找可逆解。数二不需要Jordan标准形。
题型E:算矩阵幂或反求矩阵。 已知 ,先写 。连乘时中间 全抵消:
三阶对角幂就是 ,绝不是把 的各元素取幂。这里 为非负整数;负幂还要求 可逆。由给定 反求 ,也使用同一式的 。
若先作移位再取幂,例如讲义中的 ,同一组特征向量仍可使用,只把对角元改成 ;这是式 (5-8) 与式 (5-14) 的直接组合。
题型F:只算 。 先把右端向量表成特征向量的组合。三阶若 ,则
一般写作 。这样只计算需要的向量,无需求完整矩阵幂。
继续看:矩阵幂的三个延伸模型(讲义保留)
由 转化幂。 从 开始归纳,得到 ()。先算 的幂,再左乘 ,可按题目需要读出相应列向量。
线性递推。 把递推中的几个量装为列向量 ,写成 。连续代入得到 ,再用式 (5-14)。先核对下标起点,不能把 写成 。
矩阵开方。 若 ,选数 满足 ,可构造 ,因为 。要求实矩阵时,这种实对角构造须 ;它只是构造一个平方根,不是全部平方根的分类。
来源:强化8·PDF第5—10页;强化9·PDF第2—4、9页。
与下一章的联系:对角阵为什么会消掉交叉项?
实对称矩阵能化成 。下一章将把一个二次式写为 ;代入 后,就会出现 。对角阵只有平方项,没有不同变量的交叉项。因此,本章“找垂直的伸缩方向”,下一章直接用来“消掉二次式的交叉项”。
本章公式速查
| 需要解决的问题 | 回到哪条公式 | 不能漏的条件 |
|---|---|---|
| 求特征值 | 特征方程,式 (5-2) | 根按代数重数计数 |
| 数一个根的独立方向 | 几何重数,式 (5-3) | 用该根的移位矩阵求秩 |
| 用和、积补特征值 | 迹与行列式,式 (5-4) | 重根重复计算 |
| 拼对角化矩阵 | 列关系,式 (5-5) | 列与对角元按同序对应 |
| 判能否对角化 | 式 (5-6) | 实对角化还需全部根为实数 |
| 秩1快速判断 | 式 (5-7) | 必须真为秩1 |
| 求相关矩阵的根 | 多项式规则,式 (5-8) | 逆要求 可逆;伴随除以 要求 |
| 同根向量正交化 | 施密特,式 (5-9) | 输入先无关,最后须单位化 |
| 检查正交矩阵 | 式 (5-10) | 各列既垂直又单位长 |
| 实对称矩阵对角化 | 式 (5-11) | 实对称;重根内部自己正交化 |
| 求一般相似矩阵 | 搭桥,式 (5-13) | 同一个同序对角阵 |
| 矩阵幂 | 式 (5-14) | 负幂须可逆 |
顺着背的一条链
特别方向 (式 (5-1))→ 移项成齐次方程 → 要非零解,便有 (式 (5-2))→ 根找到了,还要用 数独立方向(式 (5-3))→ 每个重根都凑够方向,就能拼成可逆 ,有 (式 (5-5)、(5-6))→ 幂变为 (式 (5-14))→ 若 实对称,还能让列向量正交单位化,取 (式 (5-11))→ 代入二次型便消交叉项。
配套一起背:根的和=迹、根的积=行列式,因为比较特征多项式系数;相关矩阵把根代进对应表达式,因为沿同一个特征向量作用;逆先查 可逆,伴随除以 先查 ;转置同根却未必同向量。
第六章 二次型:把交叉项化为平方,再读出正负
核心问题:为什么明明是二次式,还要回头用矩阵?
看一个只有两个变量的式子:
直接看交叉项 ,它可正可负,容易让人犹豫整个式子会不会为负。一配方:
就看清它永不为负,并且为零恰好要求 。消掉交叉纠缠,正负就显出来了。
二次型这一章要系统解决三件事:怎样消交叉项;消交叉项后哪些东西会变、哪些不变;怎样据此判断对所有非零变量恒正、恒负或有正有负。上一章实对称矩阵的正交对角化,正好提供了一个总能成功的方法。
核心概念:先看二变量,再看三变量,最后写通式
“二次型”就是只有二次项的齐次多项式:每一项的总次数均为2,没有一次项、常数项。例如 是二次型, 不是。
如何装进矩阵?先把二变量乘法完全展开:
两个对称位置都贡献一次 ,合起来才是 。所以若原式交叉项是 ,矩阵的两个位置必须各填2。
三变量时,把六类项逐个写出来:
三个平方项系数放主对角线;三个交叉项系数各分两半,放在关于主对角线对称的两个位置。此时
这才把一般 变量的式子缩写成:
第一个 就是把所有平方项相加;第二个 只取 ,避免把同一交叉项重复列两遍。三阶展开恰是上面的六项,没有隐藏其他项。
例如 对应:
选实对称矩阵后,每个二次型对应唯一矩阵,且可以直接应用第五章定理。二次型的秩定义为 ;化成平方和后,它就是非零平方项的个数,后面会解释为什么。
继续看:为什么总可以只取实对称矩阵?
若一开始写出的实矩阵为 ,总可以拆成 。后半是反对称矩阵。对任何实列向量 ,数 转置后等于自己的相反数,所以为0。因此二次型只由对称部分 决定。我们始终用这个实对称 表示二次型。
来源:强化10·PDF第1—3、5—6页。
核心变换:从换变量推出来,为什么是合同?
先看具体变量替换 、。它是可逆的,因为能反解 、。先把每个 前的系数按行装起来:
所以这里的 ,第一行正好读出 ,第二行读出 。这才是 的具体意思。
一般用可逆矩阵 作 ,代入二次型,逐步算:
所以新矩阵是 ;若存在这样的可逆 ,就称 合同:
左边出现转置,是因为 ,不是背出来的规定。先写变量替换,再代进去,就不会把合同和相似记反。
为什么必须可逆?这样所有 都能由某个 表出,且非零 对应非零 。奇异替换会漏掉原来的方向,例如把 强制设为0,就可能把 变成只有正平方,错误掩盖它原本可负。
若 恰好是正交矩阵 ,,因此 同时是合同和相似。一般合同保留正负平方个数;正交合同还保留特征值数值和长度。
来源:强化10·PDF第1、7—9页;强化11·PDF第2—5页。
标准形、规范形:先知道最后想化成什么
没有交叉项的 叫标准形, 可以是正、负或零。比如 是标准形。
进一步缩放 、、,便得 ,非零系数只有1或−1,叫规范形。一般记为
是正惯性指数,就是正平方项的个数; 是负惯性指数,就是负平方项的个数。零系数项可不写,但变量总数仍为 。非零系数共 个;原因是可逆合同不改秩,对角阵的秩就是非零对角元个数:
特征值与标准形系数何时一样?只有使用正交替换得到的标准形时,系数必为原实对称矩阵的特征值。一般可逆替换不保证: 令 、,变成 ,数值变了,正平方仍是两个。
方法一:用正交对角化,系统消掉交叉项
二次型矩阵 是实对称矩阵,第五章保证可取正交 ,使 。再用式 (6-2) 代入 ,三阶得到:
一般写为:
几何上,正交替换只改变互相垂直的方向安排,不改变长度;在这些特征方向上,每个变量可以单独计算,交叉项便消失。
完整操作顺序是:写对称矩阵 → 求特征值 → 按根求独立特征向量 → 同根内部正交化 → 单位化 → 按顺序拼 → 同时写 和标准形。最后核对 、。若题目要替换矩阵,只写平方和还没有答完。
接第五章的例子:
它的矩阵正是对角3、非对角2的 。用前面的 得 。非零变量至少留下一个正平方,因此这个二次型正定。
来源:强化10·PDF第1—6页。
方法二:配方可以更快,但每个变量都得有去处
若不要求正交替换,可以逐次配方。看讲义中的三变量例子:
先把含 的项装入一个平方,再计算剩余项,而不省略中间一步:
令 、 还没结束:原来有3个变量,必须补取 。这样可以反解:
所以替换可逆,标准形为 ,秩2;若题目要 ,则
配方通常先得到 ,题目常要 ,所以 ,方向不可抄反。
如果完全没有平方项,例如 ,先用 、,就得到 。该替换行列式−2,不为零,合法。多变量中其余变量先保持原样,再继续配方。
如果连续替换 、,总替换为 ,顺序跟代入顺序一致。含参数时,要先查替换的行列式;使它为0的参数必须单独处理、重新配方,不能沿用一般式数平方个数。
来源:强化10·PDF第8—9页;强化11·PDF第1—3页。
关键定理:为什么合同只看正、负平方各几个?
可逆替换能改变平方系数的大小,却不会改变正、负平方项各有几个,这叫惯性定律。直观地,可逆替换给全部方向重新编号,可以转动、拉伸、倾斜,但没有删除任何方向;一个二次型可正、可负的独立方向数量不会凭空消失。
对同阶实对称矩阵,最终可化成的规范形因此由 决定:
必要性来自惯性定律;充分性是把两者都化成同一个规范形,再把替换倒回去搭桥。只看秩不够: 和 都秩2,一个永不为负,另一个可正可负,不能合同。
求惯性指数有两条路:合法配方后数正、负系数;或者对实对称矩阵求特征值,正根按重数数出 、负根按重数数出 ,零根不计入 。后者来自式 (6-4),这个“看特征值符号”的说法必须带实对称前提。
继续看:惯性定律怎样用方程组的非零解证明?
假设同一个二次型的一个标准形有 个正平方,另一个有更多的正平方 。只让后一个标准形的 个正方向变量变化,其余设为0,再要求前一个标准形的 个正平方变量全为0。这相当于对 个未知量列 个齐次线性条件;未知量多于方程数,必有非零解。
可逆替换保证它确实对应一个非零原变量。按后一个标准形,结果严格为正;按前一个标准形,正平方都为0,只剩负平方和零项,结果不大于0,矛盾。因此 。交换两个标准形得到 ,所以相等。负平方同理。证明工具仍是第四章的“齐次方程未知量多于秩,必有非零解”。
来源:强化11·PDF第2、5—8页。
正定:要求所有非零输入都正,而不是找一个正值
对实对称 ,若对每个 都有 ,就称 及对应二次型正定。 时必为0,定义本来就排除了它。矩阵元素不必全正;找一个向量代入得到正数,也远远不够。
为什么能看特征值?由式 (6-4),三阶标准形是 ,且 与 等价。若三个系数都正,非零 至少有一项严格正;若有一个系数不正,只取该位置变量为1、其余为0,就破坏恒正。
所以对实对称矩阵,下面这些判据完全等价,竖着读即可:
最后一项是把每个正平方系数缩成1;反过来若 ,非零 对应非零 ,就有 。
顺序主子式:不求特征值,怎样判正定?
“主子式”是选相同编号的行和列得到的行列式;“顺序主子式”只选左上角连续的前几行、前几列。三阶时:
实对称矩阵的判据是:
二阶最好直接从配方理解。设 ,若 :
所以要求正定,恰好是 且 。三阶依次检查 、左上二阶行列式 、,把不等式取交集。
继续看:一般阶为何只查这些左上角行列式?
先假设需要作分母的顺序主子式都非零(本证明中由它们全大于0保证),才能按变量顺序、不交换变量逐次配方。得到的平方系数为 ,以及 ,其中约定 。若所有 都正,各比值都正,因而成为正系数平方和。反过来,若原二次型正定,只让前 个变量变化,仍是正定二次型;其对应的左上 阶实对称矩阵特征值全正,行列式便为正。这证明了式 (6-7)。
必要条件能排除,不能随便肯定。 正定必有每个 ,因为只取第 个分量为1;正定必有 ,因为全部特征值正。但“对角元全正、行列式正”仍未必正定。例如三阶对角全1、非对角全2的实对称矩阵,特征值为5、−1、−1,行列式5,对角全正,却存在取负值的方向。
来源:强化11·PDF第8—10页。
负定、半定与不定:哪些判据可以类比,哪些不能?
以下均讨论实对称矩阵及它的二次型:
| 名称 | 对非零 的要求 | 用实对称矩阵特征值判断 |
|---|---|---|
| 正定 | 恒严格大于0 | 全部特征值正 |
| 负定 | 恒严格小于0 | 全部特征值负 |
| 半正定 | 恒大于或等于0 | 全部特征值非负 |
| 半负定 | 恒小于或等于0 | 全部特征值非正 |
| 不定 | 有的非零输入为正,有的为负 | 同时有正、负特征值 |
负定可转为 正定;若用顺序主子式,则符号交替,要求 :一阶负、二阶正、三阶负,依次类推。
半正定不能把式 (6-7) 的“”直接改成“”。 的两个顺序主子式都为0,但只取第二个变量为1,二次型为−1。用子式判断半正定时,必须是所有主子式非负,包括不在左上角的主子式;数二题中,特征值或配方通常更直接。
来源:强化11·PDF第8—10页;负定、半定作为符号辨析补充。
正定与秩的交点:为什么 要看 的列是否无关?
设 为 阶实对称正定矩阵, 为 实矩阵。先确认尺寸: 是 阶实对称矩阵。对任意非零 维列向量 :
已经保证“非零输入得到正值”。所以右边严格正的唯一问题是:非零 会不会被 压成0? 若 只有零解,便不会;这正是 的列无关、。若列不满秩,就有非零解使该二次型取0,破坏正定。
取 ,得到 正定当且仅当 列满秩。无论是否列满秩,都有
所以 至少半正定。此处 就是向量各分量平方和,第五章已经定义过。对实矩阵还可由此看出 与 同解,进而 ;同理 。这把长度、齐次方程、列无关、秩与正定接在一起;实矩阵前提不能省。
来源:强化11·PDF第10页;与第四章实矩阵同解结论相衔接。
典型题型与解题步骤
题型A:已知二次型秩求参数。 写对称矩阵;若要求三阶秩2,先由 找候选,再检查某个二阶子式非零以排除秩0、1。单写行列式为0只能证明秩不超过2。
题型B:求标准形、规范形以及替换。 要求正交则按式 (6-4);只要求可逆则可择较短的配方法。最终同时写标准形和 ,检查 ;要求规范形时,还须将非零系数缩为±1,并保留变量总数。
题型C:两个二次型互化,求可逆 。 目标为 。先比较秩与正、负惯性指数筛参数;再分别合同到同一个同序对角阵 :
因为代入后得到 。这是合同的搭桥法;若配方先得到 ,须先求逆。若还要求 正交,只同惯性不够,两个实对称矩阵还须具有相同的带重数特征值。
题型D:正交替换到仍含交叉项的目标。 目标是 ,因 ,它也是相似。可先用迹、行列式定参数;再分别正交对角化到同一个 ,用 桥接。目标未必一定是对角式,方法仍然相同。
题型E:正定参数范围。 写对称矩阵;二、三阶通常由顺序主子式列严格不等式并取交集;已知根则直接要求全正;容易配方时也可从定义出发。讲义例子为
正定要求 和 。后一式等价于 ,取交集得到 。端点使某个非零方向取0,不可纳入正定范围。
题型F:求 的全部解。 正定时只有 。若已化成非负系数平方和,则每个正系数对应的变量都为0,零系数变量任意,再回代 或 。这等价于把每个被平方的一次式设为0,解线性方程组。若有正负项,则不能各项分别设0: 有 的非零解,正负能抵消。
题型G:给出平方和,直接识别矩阵。 例如 ,无需先把所有元素展开,直接得到 。若 是三维正交单位向量,则 、,共同垂直的方向特征值为0,所以正交标准形是 。
继续看:长度固定时,二次型的最大值、最小值怎样求?
对实对称 作正交替换,既有 (三阶),又有 。若限定长度平方为 ,每个系数均不超过最大特征值,因此 ;只让最大特征值对应的方向非零,就能取到。最小值同理。
取等向量不能省:若 是相应单位特征向量,则 、 分别取到;重根时相应全部方向也可取。
不固定长度而除以 ,得到常叫Rayleigh商的比值:
三阶时它就是
每个权重 都非负,三个权重加起来为1,所以结果在最大、最小系数之间。一般 阶只需把三项换成 项。这不仅给出界,还说明在相应特征向量方向上确能取到。
来源:强化10·PDF第2—9页;强化11·PDF第1—10页。
易混对照:等价、相似、合同
先问“题目究竟要保留什么”:只数有效信息看等价;要保留特征值和计算矩阵幂看相似;要改变二次式的变量、保留正负平方数量看合同。
| 比较项 | 等价 | 相似 | 合同(此处为实对称矩阵) |
|---|---|---|---|
| 公式 | |||
| 对矩阵的尺寸要求 | 同型,可以长方形 | 同阶方阵 | 同阶实对称方阵 |
| 两边矩阵怎样选 | 独立可逆 | 左边被右边决定为逆 | 左边被右边决定为转置 |
| 判定的核心 | 同秩 | 一般不能只看同谱;均可对角化时同谱足够 | 正、负惯性指数分别相同 |
| 一定保留 | 秩 | 特征多项式、特征值、迹、行列式、秩 | 秩、正负惯性指数、正定性 |
| 不一定保留 | 特征值、行列式数值 | 一般相似不保证仍为实对称,不能直接据此谈二次型正定 | 特征值数值、迹、行列式数值 |
| 与其他关系的交点 | 三者都不改秩 | 正交相似的左边等于转置 | 正交合同同时是相似 |
若合同双方均为实对称矩阵,它们的 可各自由其正、负特征值个数读出;“同秩”只相当于总数 相同,信息少了一层。
易混对照:相似对角化与二次型标准化
| 比较项 | 相似对角化 | 二次型标准化 |
|---|---|---|
| 要做什么 | 把矩阵变成对角阵 | 消去二次式的交叉项 |
| 核心式 | ,来自 | |
| 是否总能做到 | 一般方阵未必能 | 实二次型总能 |
| 对列向量的要求 | 个无关特征向量 | 配方不要求特征向量;正交法要求正交单位特征向量 |
| 对角系数是谁 | 原矩阵特征值 | 一般合同未必是;正交法才是特征值 |
| 常用来解决 | 矩阵幂、求相似矩阵、反求矩阵 | 消交叉项、惯性、正定、合同、定长最值 |
| 两条路怎样接上 | 实对称时可取 | 同一 同时完成两种任务 |
与全课的联系:学到最后,核心工具仍然没有换
现在回看六章:行列式先判方阵是否满秩;矩阵、初等变换把计算组织起来;秩数清有效信息;向量解释列之间能否表出;方程组把表出变成解的存在、唯一性和自由参数;特征值把齐次方程用在矩阵的特别方向;实对称矩阵给出互相垂直的独立伸缩;二次型把这些伸缩系数变成平方项,读出正负。
尤其注意两次跨章复用:几何重数是齐次方程的基础解系个数; 的正定性是 是否只有零解。“线性表出 → 方程组 → 行变换 → 秩”始终贯穿,最后两章又通过特征值连到了平方项的正负。
本章公式与判定速查
| 需要解决的问题 | 使用的结论 | 条件提醒 |
|---|---|---|
| 二次式写矩阵 | 式 (6-1) | 平方系数直接放;交叉系数各放一半 |
| 写变量替换后的矩阵 | 合同,式 (6-2) | , 可逆 |
| 正交标准化 | 式 (6-4) | 实对称;同根正交化后还须单位化 |
| 二次型的秩 | 非零标准平方项个数 | 不是正负平方个数之差 |
| 读惯性指数 | 式 (6-5) | 对实对称矩阵, 才由特征值正负数出 |
| 判断合同 | 分别相同 | 同阶实对称,同秩本身不够 |
| 正定 | 式 (6-6)、(6-7) | 实对称;顺序主子式全部严格正 |
| 负定 | 正定 | 顺序主子式负、正、负、正交替 |
| 半正定 | 特征值全非负;或所有主子式非负 | 实对称;不可只查顺序主子式 |
| 判断 正定 | 式 (6-8) | 已正定; 必须列满秩 |
| 两个二次型求替换 | 搭桥,式 (6-9) | 两边化到同一个同序 |
| 求定长最值 | 式 (6-10) | 实对称;须给出取等向量 |
| 求 | 非负平方和逐项为0,再回代 | 正负混合时可能抵消 |
顺着背的一条链
二次式先装成实对称矩阵 ,交叉项系数各放一半(式 (6-1))→ 要消交叉项,就换变量 ,由代入得到合同 (式 (6-2))→ 若用正交 ,直接借第五章化成特征值平方和(式 (6-4))→ 若用配方,必须能反解所有变量 → 标准形继续缩放得到规范形,正负项数 不变,秩为 (式 (6-5)、(6-3))→ 要恒正,就要求全部平方系数正,等价于实对称矩阵的全部特征值正,也可查顺序主子式全正(式 (6-6)、(6-7))→ 遇到 ,把“恒正”转成“ 只有零解”,于是看 列满秩(式 (6-8))。
最后记一个分界:相似对角化保特征值,合同标准化保正负项个数;正交时两条路重合。
数二范围提醒
强化11·PDF第11—15页明确标为“专题15 数学一线代专题(仅数学一要求)”。其中向量空间、子空间、基、维数、坐标、过渡矩阵、基与坐标变换、三平面交线与二次曲面分类,不纳入数二正文。数二仍需掌握向量线性表出、极大无关组、基础解系,以及服务实对称矩阵和二次型的内积、施密特、可逆变量替换、正交标准化;不能因名称相近一并删掉。
来源:强化11·PDF第11—15页(数一专题范围标记);具体逐页资料索引见文末来源附录。
秩:贯穿全课的一根轴
这是学完整门课后的回看总纲。第一遍可以先跳过,直接读第一章。 现在只需把秩记作“独立信息的份数”,暂时不要背表里的公式。
开头那组 、,两条限制只有一份独立信息;改成 、 后,有两份独立信息。这就是“秩为1”和“秩为2”的直观差别。
同一个秩,怎样走过六章
| 在哪一章遇到秩 | 先用人话说清 | 学完后再核对的数学写法 |
|---|---|---|
| 行列式 | 方阵的独立信息是否够满全部位置? | 阶方阵满秩当且仅当 |
| 矩阵 | 消元后还剩几条真正有用的关系? | 秩等于阶梯形中的主元个数 |
| 向量 | 最多能挑出几列互不替代的向量? | 列向量组的秩等于矩阵秩 |
| 齐次方程组 | 有几个变量可以自由选? | 未知数有 个时,自由参数数为 |
| 非齐次方程组 | 加入目标向量后,是否出现原来拼不出的新信息? | 有解当且仅当 |
| 特征向量 | 对某个特征值,能找到几个独立方向? | 个数为 |
| 二次型 | 标准形里还剩几个非零平方项? | 个数为实对称表示矩阵的秩 |
这里的减法可以先用“总数减已被占住的数”理解:例如3个未知数,消元出现2个主元变量,就只剩1个自由变量;把自由变量取1,便能造出一个基础解向量。
行列式为零,为什么还不够
看两个三阶对角阵:
两个行列式都是0,但 还保留前两份信息, 只保留第一份;所以秩分别是2和1。行列式只问“有没有退化”,秩进一步问“退化后还剩多少”。
所有秩的正式定义、等价读法、不等式和夹逼例题,集中在第二章矩阵讲一次。本节只负责帮你回忆它们之间的关系。
还要保留一个重要反例:一般矩阵的秩不能直接用非零特征值个数计算。矩阵 的秩是1,特征值却全为0。已知可对角化时才可这样数;实对称矩阵总能正交对角化,所以可以这样数。
学完六章,再用一个例子串起来
改一个参数,六章一起变化
矩阵 A = [[1,t],[t,1]],方程右端 β = (1,1)ᵀ。拖动参数,看行列式、秩、解和正定性怎样联动。
在 t = ±1 处停一下:同样秩下降,非齐次方程的结论为什么不同?
这节是综合回看,第一遍不必从这里开始。每条结论都能回到前面对应章节找理由。
同一个参数,怎样影响六章
考虑实对称矩阵与二次型:
行列式是 ,所以 时可逆、秩为2、两列无关、方程有唯一解。 时两列相同,独立信息只剩一条,方程变成 ,有一个自由参数。 时两行左边互为相反数,右边却同为1,于是无解。秩下降不自动意味着非齐次方程有无穷多解,还必须检查增广列。
两个特征方向是 与 ,对应特征值 与 。单位化后用正交矩阵
作 ,二次型立刻变成 。所以它正定当且仅当 。这里的“求特征向量”就是解齐次方程,“正定”又等价于两个特征值均正以及两个顺序主子式均正。
贯穿全课的通用方法
这部分是做题时的路线索引;详细例子和证明放在对应章节,遇到题再回查。
初等行变换:先确定操作对象
三种行变换是交换两行、某行乘非零数、某行加另一行的倍数。它们各有逆操作,所以可逆。保秩、保持齐次/增广方程的解,不等于保持行列式数值或特征值。
| 目标题型 | 应操作的对象 | 操作步骤 | 最后怎样读结果 |
|---|---|---|---|
| 求秩、含参秩 | 找容易的非零主元→消下方→必要时分类→数非零行 | 主元个数就是秩 | |
| 解方程组 | 整个增广矩阵同步行变换→检查矛盾行→分主元/自由变量 | 无解、唯一或含任意常数通解 | |
| 求逆 | 只作行变换,把左块化成 | 右块为 ;左块失败说明不可逆 | |
| 极大无关列组/线性表出 | 只作行变换→记录主元列编号→读系数 | 回到原矩阵取同编号列 | |
| 特征向量 | 先确定 →解齐次方程 | 基础解系给出独立特征向量 | |
| 行列式计算 | ,但每步记数值变化 | 交换记负号、数乘记因子、倍加不变→化三角 | 对角元相乘并恢复因子 |
为什么解方程不能随便作列变换? 行变换只是方程之间互相替换;列变换会改变未知量的角色,必须同时追踪未知量替换。数二常规解题用行变换最稳。求秩可以行列都变;找原列间表出系数时,列变换会改变你要研究的原向量。
所有判定先翻译成秩
固定 。看到“相关/无关”,翻译成 或 ;看到“能否表出 ”,翻译成 ;看到“有非零解”,翻译成 ;看到“ 重特征值能否补够方向”,翻译成 。
步骤是:先写等价条件 → 再计算最容易的那个秩 → 回译结论。切忌看到 就停下,长方形矩阵不能用这个条件,非齐次方程还需检查增广秩。
抽象向量题先“设系数”,把文字变成方程
要证明 无关,就设 ;把每个 用原来的 展开;利用原组无关,令每个 的系数为0;最后证明 全为0。要证明相关,就构造一组不全为0的系数。“存在非平凡关系”与“所有关系只能平凡”是两种不同的证明目标。
若新向量组写成 : 的列是原向量, 的每一列是一个新向量的表出系数。原组无关即 列满秩,于是 ,抽象向量题就降成了小矩阵 的秩题。
矩阵等式变成逐列方程
时,写 、,于是 。每一列独立求解;一次化简 可并行求完。若 可逆则 ;否则不能强行写逆。
先转置成 。若 且两边系数均可逆,按所在的一侧乘逆,得 。不交换顺序。
把条件作用到向量上,避免硬算大矩阵
看到 ,马上有 ,进而 。看到 ,马上想到 的列都是 的解。看到 ,当 时,伴随矩阵的列也是齐次解。每一步都是把矩阵语言落到列向量上。
适用题型:求矩阵多项式的特征值、证明矩阵可逆、求伴随秩、构造特征向量、分析同解方程组。若要求“所有特征值”,还需结合特征多项式或已知可对角化,不能只找到一个向量就宣告全部求完。
先利用特殊结构,再做通用计算
看到实对称,先用正交对角化;看到 ,写 ;看到 ,特征值只能是0或1;看到 ,特征值只能为0;看到每行和为 ,向量 就是 的特征向量。结构条件能减少计算,但反向推理需另证,例如“特征值都是0或1”不自动推出 。
参数分类必须围绕“主元会不会消失”
先把矩阵化到只剩少量含参元素的阶梯形;每当要除以 ,先把 单独列出。一般情形继续除,特殊情形回原矩阵或未除前矩阵重新消元。方阵先求行列式可以找到可能降秩的参数,但 后还要继续数秩或求增广秩。正定参数题则写出全部顺序主子式 ,取不等式交集。
易混概念对照
行列式与矩阵,相关与无关
| 对照 | 前者 | 后者 | 一眼辨别 |
|---|---|---|---|
| 行列式 / 矩阵 | 方阵经规则算出的一个数 | 按行列组织的一整个数表 | ,而 是每个元素乘 |
| 行列式为0 / 矩阵为0 | 只表示方阵退化,可能还有大量非零元素 | 所有元素均为0,秩为0 | 是前者,不是后者 |
| 线性相关 / 无关 | 存在不全为0的系数使组合为0;至少有一个向量多余 | 只有全零系数才能使组合为0;没有多余向量 | 有 个向量时,秩分别 / |
| 极大无关组 / 最大的无关向量 | 一组向量,彼此无关且能表出原组全部向量 | 后者不是规范概念 | 极大无关组可不唯一,但向量个数都等于秩 |
| 基础解系 / 通解 | 个线性无关的齐次解向量 | 这些向量的任意线性组合 | 基础解系不写任意常数;通解要写 |
| 非齐次特解 / 齐次基础解向量 | 时二者不能混为一谈 |
矩阵等价、相似、合同
| 比较项 | 等价 | 相似 | 合同 |
|---|---|---|---|
| 定义 | , 独立可逆 | ,同一个 及其逆 | , 可逆;同一个 及其转置 |
| 适用对象 | 同型矩阵,可长方形 | 同阶方阵 | 同阶方阵;数二重点为实对称矩阵 |
| 核心用途 | 保留独立信息多少,化秩标准形 | 化简矩阵的反复作用 | 化简平方表达式 |
| 一定保留 | 秩 | 特征多项式、特征值及重数、秩、迹、行列式 | 秩;实对称时还保留正负惯性指数 |
| 一般不保留 | 特征值、迹、行列式值 | 对称性、正定性不宜离开实对称语境乱讲 | 特征值、迹、行列式的具体数值 |
| 判定 | 同型且秩相同当且仅当等价 | 必要不变量相同一般仍不够;可对角化时可比较全部特征值及重数 | 两实对称矩阵合同当且仅当正、负惯性指数分别相同 |
| 行列式怎样变 | 方阵时 | ,保符号与是否为0 |
特别地,若 正交,,于是 。正交相似与正交合同的公式重合,普通相似与普通合同仍是不同关系。 实对称矩阵之间,相似可推出合同(同特征值就有同惯性);合同反推相似不成立,例如 与 合同但不相似。
特征值对角化与二次型标准化
| 项目 | 相似对角化 | 二次型标准化 |
|---|---|---|
| 要化简的对象 | 矩阵 的作用与幂 | 标量表达式 |
| 等式 | ,由 推出 | |
| 能否总做到 | 一般矩阵未必;需 个独立特征向量 | 实二次型总可经可逆线性替换化标准形 |
| 对角元是什么 | 特征值 | 一般合同下未必为特征值;正交法下是特征值 |
| 求变换矩阵 | 按特征值顺序放入对应特征向量 | 正交法放单位正交特征向量;配方法追踪变量替换 |
| 要保住什么 | 特征信息 | 正负平方项的个数 |
| 数二学习边界 | 直接验证 即可,不展开基变换理论 | 、 是本章必需的变量替换,不能因含“变换”就删去 |
核心公式与判定速查
按编号定位62条核心公式:点编号回到原例子与推导
这是编号目录,补充公式仍保留在正文及下面的总表。背公式时先核对适用条件;本例专用的推论不作无条件结论使用。
第1章
第2章
- (2-1) 按列理解矩阵乘法
- (2-2) 乘积元素的计算规则
- (2-3) 转置的反序规律
- (2-4) 伴随核心恒等式
- (2-5) 可逆与行列式
- (2-6) 伴随求逆
- (2-7) 增广矩阵求逆
- (2-8) 秩的子式定义
- (2-9) 方阵可逆的等价链
- (2-10) 乘积秩的上下界
- (2-11) 零乘积的秩约束
- (2-12) 秩的上下夹逼例
- (2-13) 实矩阵转置乘积的秩
- (2-14) 伴随矩阵的三档秩
- (2-15) 秩1的外积分解
- (2-16) 秩1矩阵方幂
- (2-17) 拼接乘积不增秩
- (2-18) ABC为零的三块比较例
第3章
第4章
- (4-1) 自由参数数目
- (4-2) 齐次非零解判定
- (4-3) 基础解系与齐次通解
- (4-4) 非齐次有解判定
- (4-5) 非齐次通解结构
- (4-6) s与s加1
- (4-7) 矩阵方程有解
- (4-8) 非零公共解
- (4-9) 齐次方程组同解
- (4-10) 齐次解的单向包含
- (4-11) 实矩阵平方和与秩
第5章
- (5-1) 特征值与向量定义
- (5-2) 特征方程
- (5-3) 几何重数与秩
- (5-4) 迹与行列式
- (5-5) 按列拼相似对角化
- (5-6) 可对角化充要条件
- (5-7) 秩1对角化判定
- (5-8) 矩阵多项式作用
- (5-9) 施密特一般项
- (5-10) 正交矩阵
- (5-11) 实对称正交对角化
- (5-12) 由正交谱反求矩阵
- (5-13) 相似搭桥
- (5-14) 对角化求矩阵幂
第6章
以下默认尺寸相容;谈可逆、行列式、特征值时矩阵为同阶方阵;二次型与正定判定中的 为实对称矩阵, 为单位阵, 表示伴随矩阵。
先按这条路背,再查完整公式
第一段:展开 → 伴随 → 求逆。 按行展开把高阶行列式拆小;“同配得行列式、错配得0”装成 ;当 ,两边除以它,就得到逆矩阵。于是“行列式非零、可逆、满秩”连成同一件事。
第二段:主元 → 秩 → 自由变量。 消元后数主元得到秩;有 个未知数、 个主元,就留下 个自由变量。每次让一个自由变量取1、其余取0,造出基础解向量;它们的任意组合就是齐次通解。
第三段:能表出 → 有解 → 特解加齐次解。 给矩阵追加目标 ,秩没增加才有解。找到一个特解后,其余解与它的差都满足齐次方程,所以所有解等于“一个特解+齐次通解”。
第四段:伸缩方向 → 特征方程 → 对角化。 移项,变成齐次方程;要求非零解,所以 。每个根再看 个独立方向;总共凑满 个,才可对角化。
第五段:实对称 → 正交 → 拆平方。 实对称能凑出单位正交特征向量;拼成 ,就有 。作 ,二次型变成特征值乘平方的和。
第六段:平方系数正 → 正定 → 顺序主子式。 每个平方系数都正,任意非零向量代入都正;等价于实对称矩阵的特征值全部为正。计算上若不想求根,改查所有顺序主子式都大于0。
每条公式按“什么条件下 → 写什么式子 → 用来判断什么”背,不能把条件省掉。下面的总表保留精确写法;每条的来由、数值例子和步骤回正文查。
行列式、逆与伴随
| 要查什么 | 公式 / 条件 | 防错条件 |
|---|---|---|
| 二阶 | 三阶对角线法不能推广到四阶 | |
| 按第 行展开 | , | 余子式与代数余子式差一个符号 |
| 错行搭配 | , | 同行搭配才是 |
| 转置、乘积、数乘 | ,, | 一般 |
| 可逆等价链 | 存在 只有零解 | 同时等价于对每个 , 恰有一解 |
| 求逆 | ; | 伴随法须 |
| 逆/转置逆序 | , | 乘积一般不能换序 |
| 伴随核心 | , | 此页伴随秩公式按 使用 |
| 伴随秩 | 分别对应 | 来自逆矩阵公式 / 非零 阶子式 / 所有余子式为0 |
| 伴随运算 | , | 可为0; 避免 书写问题 |
| 克拉默 | 方程数=未知量数且系数行列式 |
向量、方程与秩
| 判定对象 | 充要条件 / 公式 | 说明 |
|---|---|---|
| 个向量无关 | 有零向量或向量数大于分量数必相关 | |
| 可由 的列表出 | 表出唯一还需原列组无关 | |
| 两向量组等价 | 互相可表出;或 | 只比较两组秩相同不够 |
| 齐次方程非零解 | 是未知量数 | |
| 齐次基础解系个数 | 满列秩时 ,只有零解 | |
| 非齐次有解 | 若不等即无解 | |
| 非齐次唯一解 | 行数可大于 ,不要求方阵 | |
| 非齐次无穷多解 | 一般实数范围内 | |
| 非齐次通解 | 是一个特解, 是对应齐次基础解系 | |
| 已知非齐次解作组合 | 若 ,则 | 系数和=1给非齐次解;=0给齐次解 |
| 实向量内积与长度 | , | 两个非零向量内积为0称正交 |
| 施密特 | 减去沿前面各方向的分量,再单位化;完整一般式见式 (5-9) | 原向量组须无关,保证分母与待单位化向量非零 |
特征值、相似、二次型
| 要查什么 | 公式 / 条件 | 防错条件 |
|---|---|---|
| 特征值 | 特征向量必须非零 | |
| 特征向量 | 的非零解 | 不同特征值的特征向量无关 |
| 和与积 | , | 按代数重数计,实矩阵可能有非实特征值 |
| 多项式作用 | 可逆时 对应 | |
| 可对角化 | 有 个无关特征向量;每个 重根满足 | 在实数范围对角化还需特征值全实 |
| 实对称矩阵 | 特征值全实;不同特征值对应向量正交;存在正交 使 | 同一重根内选基础解系后再施密特 |
| 相似 | 相同特征值一般只是必要条件 | |
| 相似推论 | ,,, | 逆矩阵要求两者可逆;多项式/伴随一般不能反推 |
| 秩1快判 | ,; 时可对角化 | 全程保留 |
| 二次型矩阵 | ,交叉项 对应 | 必须选实对称表示矩阵 |
| 变量替换 | 可逆;正交时 | |
| 惯性(实对称表示矩阵) | 标准形 个正项、 个负项, | 同合同类的 不变 |
| 正定 | 全部成立 所有顺序主子式 | 只有行列式 或对角元全正都不够 |
| 负定(由正定推得) | 正定 | 作判定补充,核心仍是正定判别法 |
| 半正定(判别补充) | 所有特征值 ;或所有主子式 | 不能把“顺序主子式全正”中的 换成 了事 |
资料来源与核对说明(非复习内容,可展开)
数学二的学习边界
正文按六章组织:行列式、矩阵、向量、线性方程组、特征值与特征向量、二次型。向量空间、空间的基/维数/坐标、过渡矩阵、抽象基变换理论,以及立体解析几何中的三平面/二次曲面分类,不作为本手册的数学二主课。强化11第11页起的“仅数学一要求”内容在逐页索引中保留位置。
这里必须避免一个误删:线性无关向量组的施密特正交规范化、正交矩阵、二次型中 的正交替换都保留。 “数二不学抽象坐标变换理论”并不意味着不能作本章要求的变量替换。
讲义中的秩不等式、秩1矩阵、矩阵多项式等,属于由考纲核心内容推出的解题工具,本手册标为“方法推论”,不把它们冒充为大纲逐条列出的新章节。负定/半正定只作为正定的对照补充;Jordan标准形、最小多项式等不展开。
本轮范围标准:你提供的六章考纲
本次修订以你在本轮提供的六章“考试内容+考试要求”为范围清单,逐条对应正文;11册讲义用来补齐公式、推导和题型。内积、施密特属于第三章考点,为了先说明“为什么要正交化”,详细计算接在第五章实对称矩阵之前,第三章与公式表保留入口。
| 章次 | 逐条要求 | 正文位置 |
|---|---|---|
| 行列式 | 概念、基本性质、按行列展开;用性质与展开计算 | 第一章:小阶例子、排列定义、性质、余子式、结构计算 |
| 矩阵 | 概念与单位/数量/对角/三角/对称/反对称/正交矩阵 | 第二章:常见矩阵与性质;第五章详讲正交工具 |
| 矩阵 | 线性运算、乘法、转置规律、方阵幂、乘积行列式 | 第二章:运算、反序规则、方幂与公式表 |
| 矩阵 | 逆与伴随、可逆充要条件、伴随求逆 | 第二章:伴随恒等式→求逆→可逆判定链 |
| 矩阵 | 初等变换、初等矩阵、秩、等价、消元求秩求逆 | 第二章:左行右列、主元、秩、等价与增广求逆 |
| 矩阵 | 分块及运算 | 第二章:尺寸、块乘、分块秩、逆与行列式 |
| 向量 | n维向量、线性组合与表出 | 第三章:分量运算与拼目标 |
| 向量 | 相关无关及性质判别、极大无关组、秩 | 第三章:零组合、六性质、原列主元算例 |
| 向量 | 等价组、行列组秩与矩阵秩 | 第三章:相互表出与秩;第三章只保留一套完整讲解 |
| 向量 | 内积、施密特正交规范化 | 第五章“预备工具”;公式表第三章部分保留公式 |
| 方程组 | 克拉默 | 第一章独立应用;第四章回看公式与适用条件 |
| 方程组 | 齐次非零解、非齐次有解的充要条件 | 第四章:主元、增广矩阵与秩三分法 |
| 方程组 | 基础解系、齐次通解及求法 | 第四章:自由变量取1、解向量拼通解 |
| 方程组 | 非齐次结构与通解、初等行变换求解 | 第四章:特解+齐次通解、逐步消元、含参分类 |
| 特征值 | 概念、性质、求特征值与向量 | 第五章:只伸缩的方向→特征方程→齐次求向量 |
| 特征值 | 相似、性质、对角化充要条件与方法 | 第五章:按列比较、独立方向数、重根秩、搭桥 |
| 特征值 | 实对称谱与向量性质 | 第五章:实根、异根正交、重根正交化、正交对角化 |
| 二次型 | 矩阵表示、秩、合同、标准/规范形、惯性 | 第六章:交叉项一半、变量替换、正负平方数 |
| 二次型 | 正交标准化、配方标准化 | 第六章:两套步骤、可逆性、回代核验 |
| 二次型 | 正定概念与判别 | 第六章:定义→正特征值→顺序主子式,含参数例 |
此前核实过高教社2027版数学大纲书目,另留存研招网历史数学二线代大纲作为范围背景。本轮具体覆盖标准采用上面的用户提供考纲,不把书目页或历史文本当作最新版逐条核验的证据。
怎样读材料索引
“强化N”指文件名中的课程册次,不是118–128这个文件前缀。“PDF第M页”全部指阅读器从1开始数的物理页码,包含封面。索引记录每页的主题、归入正文的位置与数学二范围;它是讲义知识与方法的核对清单,不表示把每道课堂例题都逐题重新解了一遍。
本网站提供的是原创串讲、推导、方法与索引,不上传整份原讲义。阅读时可以对照电脑上你提供的原文件。正文中的额外例子为串联知识而重新设计,不能误当成讲义原题答案。
125页材料核对索引
本索引核对11册、125个PDF物理页与4张补图。第11册末尾5页按讲义标记为数学一内容,不计入数学二主线。本次核对知识点与题型类别,未逐题重算全部课堂习题。
| 册次 | 用户提供的原文件名 | 物理页数 |
|---|---|---|
| 强化1 | 119.2027考研数学线代强化1(周洋鑫)_已解密.pdf | 12 |
| 强化2 | 118.2027考研数学线代强化2(周洋鑫)_已解密.pdf | 11 |
| 强化3 | 120.2027考研数学线代强化3(周洋鑫)_已解密.pdf | 12 |
| 强化4 | 122.2027考研数学线代强化4(周洋鑫)_已解密.pdf | 11 |
| 强化5 | 121.2027考研数学线代强化5(周洋鑫)_已解密.pdf | 9 |
| 强化6 | 123.2027考研数学线代强化6(周洋鑫)_已解密.pdf | 14 |
| 强化7 | 125.2027考研数学线代强化7(周洋鑫)_已解密.pdf | 13 |
| 强化8 | 126.2027考研数学线代强化8(周洋鑫)_已解密.pdf | 10 |
| 强化9 | 124.2027考研数学线代强化9(周洋鑫)_已解密.pdf | 9 |
| 强化10 | 127.2027考研数学线代强化10(周洋鑫)_已解密.pdf | 9 |
| 强化11 | 128.2027考研数学线代强化11(周洋鑫)_已解密.pdf | 15 |
强化1—4逐页索引
| 强化册 | 物理页 | 主题 | 对应知识点及方法/例题类型 |
|---|---|---|---|
| 强化1(119) | 1 | 课程总览 | 六章范围:行列式、矩阵、向量、方程组、特征值、二次型;基础消元与方程组 |
| 强化1 | 2 | 行列式定义入门 | 二阶三阶行列式;三阶对角线法仅适用于三阶;n阶行列式是数、项数及符号 |
| 强化1 | 3 | 一般定义、基本性质 | 不同行不同列元素乘积的代数和;逆序数识别项;转置、互换 |
| 强化1 | 4 | 倍乘/倍加/拆分与展开 | 单行倍乘、某行倍加另一行、对一行的线性性;按行/列展开;选择零多的行列 |
| 强化1 | 5 | 展开推论、特殊结构 | 错行错列展开得0;主/副对角三角形;范德蒙德;分块三角行列式及副对角块符号 |
| 强化1 | 6 | 简单数值型行列式 | 消元、展开、消元与降阶组合;含参数多项式最高次数及系数 |
| 强化1 | 7 | 代数余子式题型 | 余子式与代数余子式;所删行列不影响余子式;线性和替换一行/列;伴随矩阵;对角代数余子式之和 |
| 强化1 | 8 | 余子式与特征值联动 | 利用行列式等式推出特征值,求伴随矩阵迹;替换行/列求余子式线性和 |
| 强化1 | 9 | 余子式和、伴随与逆 | 全体代数余子式和;利用行列式线性关系合并;特殊分块矩阵逆转伴随 |
| 强化1 | 10 | 对角/副对角运算、行和 | 对角阵乘积、逆;分块对角/副对角逆;各行和相等可写 A·1=a·1;乘伴随求一列代数余子式之和 |
| 强化1 | 11 | 行和模型、特殊行列式分类 | A·1=a·1;特殊数值行列式:行和相等、爪型、点斜、拉普拉斯、三线;交换后分块计算 |
| 强化1 | 12 | 爪型/点斜类消元 | 利用加行/加列/提公因子化三角式;除法前非零参数条件 |
| 强化2(118) | 1 | 特殊行列式与递推路线 | 五类结构总结;三线行列式“展开找递推—初值—解递推”;对角x、非对角a模型 |
| 强化2 | 2 | 行和模型和递推 | [x+(n−1)a](x−a)^(n−1);循环稀疏结构沿行列展开;一阶线性递推与补常数 |
| 强化2 | 3 | 二阶递推、克拉默 | 特征方程解二阶递推及重根情况;Ax=b、行列式非零唯一解与替换列求单个未知量 |
| 强化2 | 4 | 三线行列式的完整例题 | D_n=2aD_(n−1)−a²D_(n−2);D_n=(n+1)a^n;唯一解参数条件、克拉默求x1 |
| 强化2 | 5 | 抽象型行列式公式 | 转置、乘积、数乘、逆、伴随、特征值乘积、分块; |
| 强化2 | 6 | 抽象等式取行列式 | 矩阵等式先整理再取行列式;AB拼列与系数阵;把向量线性组合写成矩阵乘法 |
| 强化2 | 7 | 系数阵、AP=PB、单位阵切换 | 列向量组合写B=AC;独立列构成可逆P以允许约去 |
| 强化2 | 8 | 拼接行列式与矩阵运算 | 块消元处理带伴随的行列式;矩阵相等、加法、数乘、 |
| 强化2 | 9 | 乘法、转置、方幂 | 尺寸;一般不交换、不消去、无零因子律;可逆时可消去;转置逆序;方幂与交换前提 |
| 强化2 | 10 | 天然可交换、伴随、逆定义 | E、A∗、A^(-1)与A可交换;伴随需转置;二阶口诀;AA∗= |
| 强化2 | 11 | 转置/伴随/逆公式总表 | 双重运算、乘积逆序、加法禁拆、数乘次数、混合运算;推导(A∗)*= |
| 强化3(120) | 1 | 秩1矩阵 | 内积是数、外积是矩阵;r(A)=1 iff A=αβᵀ且α、β非零;A^k=(trA)^(k−1)A;特征值 |
| 强化3 | 2 | 秩1公式、方幂入口 | 外积秩/迹/特征值;秩1未知元素;aE−A^k的行列式;二项式、对角/分块对角方幂 |
| 强化3 | 3 | 方幂方法 | 相似对角化、递归;幂零上移矩阵;A=cE+N有限二项式展开 |
| 强化3 | 4 | 方幂例题、单位向量 | 分块方幂;A²=cA推高次;单位向量α给ααᵀ的谱及E−ααᵀ不可逆 |
| 强化3 | 5 | 初等变换与初等矩阵 | 交换、非零倍乘、倍加;E经一次变换;左乘行变换、右乘列变换;行列式、逆、转置 |
| 强化3 | 6 | 初等矩阵算式题 | 用列变换还原原矩阵;P^(-1)AP中同时辨认左右乘及其先后 |
| 强化3 | 7 | 初等矩阵与秩定义 | Q=P·初等矩阵;k阶子式、最高阶非零子式;秩上下界、非零/不成比例/满秩 |
| 强化3 | 8 | 秩计算与主要公式 | 初等变换不变秩;可逆等价链;转置/实Gram阵、可逆乘、列满秩左乘与行满秩右乘;和/拼接/积秩;西尔维斯特;伴随秩 |
| 强化3 | 9 | 秩不等式应用 | 外积和秩界;A(A−A∗)=O;AB=O配满秩推出A=O;AB=B推出A=E |
| 强化3 | 10 | 满秩性质、广义块变换 | 左列满秩、右行满秩保持秩及可消去;块行左乘、块列右乘;块对角/三角秩 |
| 强化3 | 11 | 分块秩典型结构 | r(A,AB)=r(纵向A,BA)=r(A);块消元辨析;ABC=O构造块矩阵比较秩 |
| 强化3 | 12 | 块消元续 | 单位块消去给n+r((AB)²),与n+r(AB)比较 |
| 强化4(122) | 1 | 分块矩阵逆 | 对角/副对角块逆;块三角逆从增广矩阵消元推得,非对角块顺序不可颠倒 |
| 强化4 | 2 | 分块伴随、三因子秩 | 用M*= |
| 强化4 | 3 | 向量组秩、极大无关组 | 极大无关组是骨架,可不唯一但个数一定;矩阵秩=行秩=列秩;按列拼后消元计数 |
| 强化4 | 4 | 增添向量不增秩 | r(B)=r(B,A)≠r(A)等参数题;先识别可表出与秩不等,特殊参数分开 |
| 强化4 | 5 | 置换阵、线性相关定义 | 置换阵逆仍置换;伴随为±逆;相关等价于非零系数组合为0/至少一向量被其余表出/秩小于个数;无关对应only零解 |
| 强化4 | 6 | 相关性的基本定理 | 局部相关→整体相关;整体无关→局部无关;无关可伸长、相关可缩短;个数超维数;无关添一相关→唯一表出;表出方向与秩不等式 |
| 强化4 | 7 | 相关性判定题型 | 直接找恒等式;基于原无关组转系数矩阵;充分/必要性与反例 |
| 强化4 | 8 | 左乘及表示组秩 | 相同左乘保持相关,未必保持无关;A[αi]拼列;一个组可被另一组表示→秩不大于;顺次添向量的首个相关位置 |
| 强化4 | 9 | 首次相关、幂零链 | 行向量转列后消元,原序前缀判断;A^(m−1)α≠0、A^mα=0证明α,Aα,...,A^(m−1)α无关 |
| 强化4 | 10 | 向量关系通向相似 | 已知Aαi关系,设系数并左乘A证明无关;组P,按列写AP=PB,得P^(-1)AP=B |
| 强化4 | 11 | 行列满秩与相关性 | 行满秩 iff 行组无关;列满秩 iff 列组无关;“存在满阶非零子式”不等于“任意满阶子式非零”;行变换不一定把满行秩阵化成(E,O) |
强化5—7逐页索引
| 强化册(文件编号) | 物理页 | 本页主题 | 已纳入总结的知识点或例题类型 |
|---|---|---|---|
| 强化5(121) | 1 | 极大线性无关组的意义 | 自身无关、能表出原组所有向量;非零子式对应列无关;二维图像直观 |
| 强化5(121) | 2 | 极大无关组与向量组的秩 | 极大无关组定义、秩、按列拼矩阵后只做行变换、选原矩阵主元列;强化47选择不同极大无关组 |
| 强化5(121) | 3 | 齐次方程组三种形式及解判定 | 一般式、矩阵式、向量式;列向量关系的系数即齐次解;r(A)=n与r(A)<n;方阵行列式版本 |
| 强化5(121) | 4 | 基础解系及含参求解 | 基础解系三个要求、s=n-r(A)、通解;强化48由基础解系含2个向量推秩,再消元确定参数 |
| 强化5(121) | 5 | 含参n阶齐次方程组 | 强化48的通解收尾;强化49行列式a^(n-1)[a+n(n+1)/2],普通参数与a=0分支,a=0时秩1及n-1个基础解 |
| 强化5(121) | 6 | 特殊参数及抽象型解题流程 | 强化49中a=-n(n+1)/2时用非零(n-1)阶子式锁定秩n-1;抽象题求秩→求s→找s个无关解 |
| 强化5(121) | 7 | AB=O型抽象齐次题 | r(A)+r(B)≤内维数;B每列为Ax=0的解;强化50按B参数导致的秩变化分类,条件不足时继续利用A首行 |
| 强化5(121) | 8 | 伴随矩阵与基础解系 | 强化51由Ax=0基础解系推r(A)=3、r(A∗)=1、A的列为A∗x=0的解,选3列无关者;2020真题由A不可逆及非零代数余子式推r(A)=3 |
| 强化5(121) | 9 | 非齐次方程组三种形式 | 一般式、矩阵式、向量式;Ax=β的解为β由A列向量表出的系数;有解/不可表出、齐次关系与非齐次关系区别 |
| 强化6(123) | 1 | 非齐次有解与解的判定 | Ax=β⇔β可由A列向量表出;r(A)与r(A,β)三分法;方阵行列式非零可判唯一,等于0无法区分无解/无穷解 |
| 强化6(123) | 2 | 非齐次通解及无关解上限 | 非齐次通解=齐次通解+一个特解;最多s+1个无关的非齐次解(β≠0);齐次解线性组合仍是齐次解 |
| 强化6(123) | 3 | 解的线性运算和满行秩判定 | 齐次解+特解仍为非齐次解;若η1、η2为同一非齐次解,系数和0得齐次、和1得非齐次;强化52非零k阶子式/满行秩 |
| 强化6(123) | 4 | 有解条件与增广矩阵子式 | 强化53长方形方程组有解,利用增广矩阵秩≤未知数及其行列式为0求子式;强化54由无解求参数,再求AᵀAx=Aᵀβ |
| 强化6(123) | 5 | 含参无解的两种判断路线 | 强化54直接阶梯矛盾行,或先令 |
| 强化6(123) | 6 | 化矩阵方程为普通方程组 | 强化54的AᵀA系统求通解;强化55设未知C的4个元素,将AC-CA=B化为4元一次组,按有解条件确定a、b |
| 强化6(123) | 7 | 抽象非齐次题 | 强化55矩阵C通解;求秩→求s→找s个无关齐次解+1个特解;强化56由3个无关非齐次解推秩并用差向量构造齐次解 |
| 强化6(123) | 8 | 从列向量关系直接读解 | 强化57根据列向量无关及一条关系确定r(A)与基础解;2025数二同类题;由已知通解反推列关系与β表出 |
| 强化6(123) | 9 | 已知通解反推向量及线性表出 | 上页练习继续:从齐次系数向量恢复列关系、求极大无关组与β表出、删列后重求通解;Ax=β唯一/不唯一/无解对应线性表出 |
| 强化6(123) | 10 | 一个向量由一组向量表出 | 三类秩条件;强化58含a、b的表示不存在/唯一/不唯一,统一对(A,β)行变换并分类 |
| 强化6(123) | 11 | 表出系数求解及极大无关组重访 | 强化58通解收尾;强化47中极大无关组作为系数矩阵,余向量分别作为右端,同时消元求唯一表出 |
| 强化6(123) | 12 | 矩阵方程AX=B | 按列拆成相同系数矩阵的多右端非齐次组;r(A)=r(A,B)有解;唯一/无穷及方阵行列式条件;强化59 |
| 强化6(123) | 13 | 含参多右端消元 | 强化59对(A,B)统一行变换,a=-2矛盾、a=1无穷、普通参数唯一;各列自由参数独立 |
| 强化6(123) | 14 | 矩阵方程参数分类收尾 | 强化59唯一解矩阵、三分支总览;强调“有解”和“唯一”必须分别核验 |
| 强化7(125) | 1 | 矩阵方程与组对组线性表出 | AX=B有解⇔B每列可由A各列表出;组对组唯一/不唯一表出的秩条件 |
| 强化7(125) | 2 | 单向表出及有解关系推理 | 强化60 A列可由B列表出而B不能由A表出:r(B)=r(A,B)>r(A);2026真题A列由B列表出⇒Ax=β有解可推Bx=β有解 |
| 强化7(125) | 3 | 矩阵等价与向量组等价 | AB每列由A列表出、每行由B行表出;矩阵等价⇔同型同秩⇔PAQ=B;向量组等价⇔互相表出⇔r(A)=r(B)=r(A,B) |
| 强化7(125) | 4 | 充分必要条件辨析 | 强化61一个组无关时,另一同数量向量组无关的充分/必要条件;矩阵等价与向量组等价区别,不能把相同秩当作互相表出 |
| 强化7(125) | 5 | 含参向量组等价与表出 | 强化62对(A,B)行变换,比较r(A)、r(B)、r(A,B),分a=±1与其他值;满足等价后再解某β的表示式 |
| 强化7(125) | 6 | 初等行列变换的深层含义 | 行等价⇔行向量组等价⇔PA=B⇔齐次同解⇔列具有相同线性关系(同型时);列等价对应AP=B、列向量组等价、转置同解 |
| 强化7(125) | 7 | 可逆乘法与等价辨析 | 强化63 AB=C且B可逆⇒A与C列向量组等价;冲刺题辨行变换/列变换、同秩/组等价、左乘/右乘 |
| 强化7(125) | 8 | 公共解的三种方法 | 系数矩阵纵向叠加联立;将一组通解代入另一组;两通解相等,解出参数关系 |
| 强化7(125) | 9 | 公共解例题 | 强化64齐次与非齐次方程公共解,对增广矩阵行变换并分参数;附题568两齐次组非零公共解,要排除零参数 |
| 强化7(125) | 10 | 同解条件及AᵀA | 齐次同解⇔最简形非零行相同⇔纵向合并秩不变⇔行组等价;同型时⇔行变换;强化65 Ax=0与AᵀAx=0同解的平方和证明 |
| 强化7(125) | 11 | 同解推出秩与乘积秩 | 实矩阵r(A)=r(AᵀA)=r(AAᵀ)=r(Aᵀ);平方和恒等式;A列满秩时ABx=0与Bx=0同解 |
| 强化7(125) | 12 | 同解参数与解包含 | 强化66先由同解及方程数锁定秩,再代基础解并排除退化;Ax=0的解均为Bx=0的解⇔r([A;B])=r(A);强化67逆命题辨析 |
| 强化7(125) | 13 | 严格解包含及A²同解题 | 强化68包含但不同解:秩不等及纵向合并条件;2025数二A²x=0与Ax=0不同解⇒r(A²)<r(A)<n,以 |
强化8—11逐页索引
| 强化册 | 物理页 | 页内主题 | 对应知识点/题型 |
|---|---|---|---|
| 8(126) | 1 | 专题11 特征值与特征向量,数值型求解 | 定义;特征方程;齐次求向量;kA、Aⁿ、f(A)、逆、伴随、转置、相似的特征值联系;伴随秩情形 |
| 8(126) | 2 | 强化69 | A的伴随经过相似变换再加2E;求新矩阵特征值和全部特征向量;必须随P变换向量 |
| 8(126) | 3 | 抽象型特征值方法与性质 | 定义、特征方程、特征多项式、迹与行列式;不同特征值向量无关;几何重数不超过代数重数;零解、f(A)=0、行和 |
| 8(126) | 4 | 特征向量关系及强化70 | 同一特征值下线性组合;不同特征值下混合;A³=A给特征值候选,再用行列式限制重数求新行列式 |
| 8(126) | 5 | 强化71、72 | 先将β用特征向量表出再求Aⁿβ;由行列式为0读取特征值、利用相似,求代数余子式之和=tr(A∗) |
| 8(126) | 6 | 专题12 相似与相似对角化 | P⁻¹AP=Λ;按相应顺序拼特征向量;反求A;Aⁿ=PΛⁿP⁻¹ |
| 8(126) | 7 | 强化74、75、76上 | 更换特征向量列顺序/倍数;f(A)的相似矩阵;数值矩阵求Aⁿ |
| 8(126) | 8 | 强化76下 | Aⁿ公式;B²=BA推出Bᵏ=BAᵏ⁻¹,转化为已求矩阵幂后读列向量 |
| 8(126) | 9 | 矩阵开方与强化77 | 由对角化构造B²=A的一个解(需实平方根条件);线性递推写成Xₙ=AXₙ₋₁求AⁿX₀ |
| 8(126) | 10 | 强化78、79 | 可对角化判定:实对称、不同特征值、重根秩、秩1迹;f(A)仍有完整特征向量但可能合并特征值 |
| 9(124) | 1 | 强化73及核心提醒 | 特征向量数= n−r(λE−A);从Ax=0和正交条件求另外特征值,迹/矩阵幂 |
| 9(124) | 2 | 相似判定与强化80、81 | 特征值不同必不相似;同特征值还需判对角化;移位矩阵秩可否定相似 |
| 9(124) | 3 | 相似求P、强化82上 | 对A、B各自对角化到同序Λ,P=P₁P₂⁻¹;用迹/行列式先定参数 |
| 9(124) | 4 | 强化82下 | 特征向量成对匹配,超强搭桥法;可调整特征向量倍数简化P计算 |
| 9(124) | 5 | 专题13,正交矩阵衔接,强化83、84 | QᵀQ=E;行列式±1;正交阵和的行列式;奇数阶、det=1时有特征值1 |
| 9(124) | 6 | 强化85、86上 | 元素=代数余子式的3阶实矩阵推出正交且det1;给A作用在列向量上的结果识别特征向量 |
| 9(124) | 7 | 强化86下、87 | 实对称不同特征值正交;补第三个向量;二重特征值→秩1定参数;正交单位化拼Q |
| 9(124) | 8 | 强化88上 | 行和3与两个Ax=0的解→特征值0,0,3;施密特正交化/用垂直条件直接取正交向量;QᵀAQ=Λ |
| 9(124) | 9 | 强化88下 | 用正交对角化求(A−3E/2)⁶;反求A与矩阵幂的联系 |
| 10(127) | 1 | 专题14 二次型、正交标准化 | f=xᵀAx;x=Qy→QᵀAQ=Λ→平方和;写矩阵、求根、求向量、正交化、单位化、拼列 |
| 10(127) | 2 | 强化89上 | 二次型秩2定参数;正交标准化,交叉项系数取一半 |
| 10(127) | 3 | 强化89下、90上 | 半正定平方和解f=0需回代x=Qy;由标准形系数读特征值,迹/行列式及重根秩定参数 |
| 10(127) | 4 | 强化90下 | 实对称矩阵重根求正交向量;xᵀx=2时二次型最大/最小值及取等方向 |
| 10(127) | 5 | 强化91 | 正交标准化;xᵀAx/xᵀx的最小值为最小特征值,说明能取到的向量 |
| 10(127) | 6 | 强化92 | 一般Rayleigh商最大/最小;平方和写成2ααᵀ+ββᵀ;正交单位向量直接读2,1,0 |
| 10(127) | 7 | 强化93 | 正交变换到非对角二次型仍相似;迹/行列式定参数;先分别正交对角化再桥接Q=Q₁Q₂ᵀ |
| 10(127) | 8 | 配方法及强化94上 | 可逆线性替换的合同本质;含平方项逐次配方;无平方项先创造平方项 |
| 10(127) | 9 | 强化94下、95 | 补足变量保障可逆;多次替换矩阵按顺序相乘;纯交叉项先x₁=y₁+y₂,x₂=y₁−y₂后配方 |
| 11(128) | 1 | 强化96上 | 三个平方和令0等价于线性方程组;参数使替换奇异时不能直接当作可逆标准化 |
| 11(128) | 2 | 强化96下、合同本质、97上 | 特殊参数重新配方;可逆变换保秩及正负惯性指数;由合同求参数/变换 |
| 11(128) | 3 | 强化97下 | 秩相等定参数;A、B配成同一Λ后P=P₁P₂⁻¹,注意方向 |
| 11(128) | 4 | 2020数学二真题 | 二次型合同先定参数,再配方对齐系数后求可逆P |
| 11(128) | 5 | 最强搭桥、惯性指数 | 同一个标准形桥接;Sylvester惯性定律;特征值/配方求p,q |
| 11(128) | 6 | 强化98上 | 不能用奇异变量替换数正负平方;正确配方与特征值两法求惯性指数 |
| 11(128) | 7 | 强化98下、等价/相似/合同 | 特征值符号数;等价=同型同秩;相似比谱及对角化;实对称合同看p,q |
| 11(128) | 8 | 强化99、正定定义 | 等价/相似/合同综合选择;实对称同谱则相似,符号数相同则合同;正定对所有非零x |
| 11(128) | 9 | 正定判据与强化100上 | 正定↔全部特征值正↔合同E↔顺序主子式正;对角元/行列式为正只是必要;行列式展开成二次型再定参数 |
| 11(128) | 10 | 强化100下、101 | 正定参数区间;A正定时BᵀAB正定↔B列满秩,证明连接二次型定义和齐次方程 |
| 11(128) | 11 | 专题15 数学一线代专题(仅数学一要求) | 向量空间、子空间、基、维数、坐标;按数二范围排除,不在主体展开 |
| 11(128) | 12 | 数学一:过渡矩阵、坐标变换、强化102 | 基变换与坐标计算;排除 |
| 11(128) | 13 | 数学一:强化103 | 基判定、两组基下坐标相同;排除 |
| 11(128) | 14 | 数学一:三平面交线、二次曲面表 | 空间解析几何题型;排除;一般方程组秩判定在数二主体仍保留 |
| 11(128) | 15 | 数学一:强化105与课程结束页 | 二次型正交化识别二次曲面;排除曲面类型识别 |
四张补图与必要条件核对
- 图1“矩阵相似的必要条件”:同阶相似→特征值多重集合、行列式、迹、特征多项式、秩相同;反向一般不成立。逆矩阵项先要求A、B可逆;转置仍相似但变换矩阵一般改为P⁻ᵀ;伴随/多项式/非负整数次幂相似是单向推论。f(A)按多项式理解。
- 图2“几点补充”:A
B⇔A⁻¹B⁻¹需可逆;AB⇔AᵀBᵀ成立;AB⇔aE+bAaE+bB需b≠0;A可逆时同阶AB~BA;分块对角可用分块对角P桥接。 - 图3“单根消0”:具体矩阵A对角3、非对角2,特征值为7,1,1。7是单根,因此独立特征向量数1、rank(7E−A)=2。实际第三行化0可以用R₃←R₃+R₁+R₂解释,不可凭单根条件随意删改元素。总行数仍为3,后续须作合法初等行变换。
- 图4“相似对角化判定”:对每个k重特征值需k个无关特征向量(特征多项式在所用数域分解);实对称/有n个互异实特征值是充分条件;rank1矩阵以迹区分:tr≠0可对角化,tr=0不可(rank1排除了零矩阵)。
条件修正与表达边界
- 强化8·PDF第1页:rank(A)=n−1时,rank(A∗)=1;A∗有n−1个零特征值,另一个为tr(A∗),但后者也可能为0。将讲义“唯一的非零特征值”修正为“唯一可能非零的特征值”。反例A=[[0,1],[0,0]],A∗=[[0,−1],[0,0]],后者全特征值0却秩1。
- 强化8·PDF第1页:Aᵀ与A特征值相同;一般不能沿用相同特征向量。A∗作用于特征向量的|A|/λ公式要求λ≠0;逆矩阵公式仍要求A可逆。
- 强化9·PDF第6页:强化85限定3阶实非零矩阵且所有aᵢⱼ等于自身代数余子式Aᵢⱼ,结论为A正交并且detA=1;仅“正交”不足反推条件,det−1时A∗=−Aᵀ。
- 强化8·PDF第9页开方构造若要求实矩阵,应先保证所选实对角特征值有实平方根;它给出一个构造,不是所有平方根的分类。
- 强化11·PDF第11—15页作者已明确仅数学一,数二总结中只保留该覆盖索引,不引入抽象向量空间、基变换、坐标变换、三维曲面分类。
- 43页主题均清晰可辨;少数手写连笔不影响主题和公式识别。未逐题重新演算所有例题,原创总结仅使用经数学推导核验的结论。