7矩阵的秩:从迷雾到清晰的入门指南
矩阵的秩:从”迷雾”到”清晰”的入门指南
你好!很高兴能以导师的身份带你走进这个看似抽象、实则充满直觉的概念。我会尽量不用公式轰炸你,而是帮你建立**“感觉”**。
一、一句话定义
矩阵的秩 = 这个矩阵里”真正独立、不重复”的信息有多少。
更学术一点说:秩是矩阵中线性无关的行(或列)的最大个数。但你可以先忘掉”线性无关”这个词,把它理解为”不重复、不冗余、各自独特”。
二、核心内涵:秩到底在衡量什么?
想象你手里有一个”信息压缩包”(矩阵),秩告诉你的是:拆开这个压缩包,里面真正有价值、不重复的内容有多少?
三个关键直觉:
| 直觉 | 解释 |
|---|---|
| 秩 = 自由度 | 秩越大,这个矩阵能”控制”的方向就越多,就像一个遥控器上的独立按钮数量。 |
| 秩 = 真实约束数 | 如果你把矩阵看成一组方程,秩就是”真正独立的方程个数”——有些方程其实是废话(比如”x+y=2”和”2x+2y=4”本质是一个意思)。 |
| 秩 = 变换后的维度 | 矩阵可以看作一个”空间变形器”,秩就是变形后,原来的空间被”压扁”成了几维(1维是线,2维是面,3维是立体…)。 |
一个神奇的事实:一个矩阵,无论你横着数(行)还是竖着数(列),那个”不重复”的数量都是一样的。这叫”行秩=列秩”,是线性代数中最漂亮的定理之一。
三、与相关概念的区别(初学者最容易混淆的地方)
1. 秩 vs. 行列式
- 行列式:只对方阵(行数=列数)有意义,是一个具体的数值(可正可负可为零)。
- 秩:对任何矩阵都有意义,是一个非负整数。
- 关系:如果方阵的行列式不等于0,那它的秩就等于它的阶数(这叫”满秩”)。行列式为0,秩就”打折”了。
类比:行列式像”体检总分”,秩像”真正健康的器官数量”。
2. 秩 vs. 矩阵的阶数(维度)
- 一个 的矩阵,它的阶数是 和 (是它的身材)。
- 它的秩最多是 (是它的”内涵”),经常比身材小。
- 满秩 = 内涵拉满,身材和内涵匹配。
3. 秩 vs. 零空间(Nullity)
这是黄金搭档。有一个秩-零化度定理:
- 零化度:有多少个”被矩阵吃掉”的方向(输入进去变成0)。
- 秩:有多少个”被矩阵保留”的方向。
合起来就是:进来的方向,要么被保留,要么被吃掉,没有第三种命运。
四、在学科体系中的位置:为什么秩这么重要?
如果把线性代数比作一座城市,秩就是市中心的交通枢纽。
线性方程组 → 有没有解?解有多少? → 看秩! ↓向量空间 → 一组向量能撑开多大的空间? → 看秩! ↓线性变换 → 空间被压扁成什么样? → 看秩! ↓特征值/特征向量 → 矩阵能不能对角化? → 先看秩!一句话总结:秩是线性代数中从”计算”走向”结构”的第一道门槛。学会了秩,你就从”只会算”升级到了”看得懂”。
五、两个生活化类比
类比 1:公司里的”核心团队” 👥
假设你们部门有 10 个人(10 行),每人负责一项任务。但你会发现:
- 小王和小李的工作内容几乎一模一样(重复信息)。
- 小张的任务可以被小王+小李的任务组合出来(可被替代)。
- 只有 4 个人的工作是各自独特、无法被其他人替代的。
那么,这个部门的”秩”就是 4。虽然名单上有 10 个人,但真正在贡献独立价值的只有 4 个”核心骨干”。
如果秩 = 部门人数,说明人人独特,团队”满秩”,战斗力最强。
类比 2:做一道菜的”核心步骤” 🍳
假设你要做一道复杂的菜,菜谱写了 8 个步骤。但你仔细分析:
- 步骤3和步骤5其实都是在”切菜”,可以合并。
- 步骤6只是重复步骤2的搅拌动作。
- 真正不可替代、决定这道菜成败的关键步骤只有 3 步:腌肉、控火候、调味。
那么这道菜谱的”秩”就是 3。秩越高,说明这道菜越复杂、越有层次;秩越低,说明步骤越冗余、越简单。
六、给初学者的一句心法
看到”秩”,不要想”计算”,要想”独立”;不要想”数字”,要想”结构”。
当你以后看到 时,你的第一反应应该是:“哦,这个矩阵不管长得多大,它骨子里只能干2维的事。”
如果你愿意,我还可以继续带你:
- 用具体数字算一个秩,看看过程长什么样?
- 聊聊”满秩”为什么那么重要?
- 或者从秩的角度重新理解”线性方程组为什么有无穷多解”?
随时告诉我你的下一步想往哪里走!
判断未知量个数 的方法
未知量个数就是方程组中真正需要求解的变量总数,记为 。判断方式很直接,但考试里常有陷阱,下面分三层讲。
方法一:从方程组写法直接数
规则
方程组里出现了几个不同的未知字母, 就是几。
例题 1
判断:出现了 三个不同的未知量。 (括号:虽然只有两个方程,但未知字母有三个,所以 。)
方法二:从矩阵形式看(最可靠)
核心规则
系数矩阵 的列数 = 未知量个数
为什么?
因为矩阵的每一列对应一个未知量的系数。
- = 行数 = 方程个数
- = 列数 = 未知量个数
例题 2
判断: 是 矩阵,3 行 4 列。 (括号:行数 3 表示有 3 个方程;列数 4 表示每个方程里都有 4 个未知量的系数,所以未知量个数由列数决定。)
方法三:从增广矩阵看(注意区分)
规则
增广矩阵 是 的,所以:
未知量个数 = 增广矩阵的列数 − 1
(括号:最后一列是等号右边的常数项 ,不属于未知量的系数,要减掉。)
例题 3
判断:增广矩阵共 4 列(竖线左边 3 列,右边 1 列)。 (括号:竖线只是分隔符,实际列数是 4;但最后一列是常数项,所以未知量个数 = 4 − 1 = 3。)
考试常见陷阱
陷阱 1:方程个数 ≠ 未知量个数
- 方程个数
- 未知量个数 (只有 两个字母)
秩的判断:,,。 因为 ,所以无穷多解,自由变量个数 。 (括号:三个方程看似很多,但后两个都是第一个的倍数,没有新信息;真正独立的约束只有 1 个,却有 2 个未知量,所以有一个变量可以自由取值。)
陷阱 2:有参数时不要混淆
- 不管 取什么值,未知量始终是 。
- 是固定的,不会随参数变化。 (括号:参数 只影响系数,不影响”有几个未知量”这个事实; 由方程组的结构决定,与参数无关。)
陷阱 3:零系数不要漏数
- 第二个方程没有显式写出 ,但 的系数是 0。
- 未知量仍然是 和 ,。 (括号:某个变量系数为零,不代表这个变量不存在;它只是”不参与”这个方程,但仍然是未知量之一。矩阵写法里第二列就是 ,列数依然是 2。)
与秩的关系:为什么 这么重要?
| 关系式 | 含义 |
|---|---|
| 独立方程”刚好够”约束所有未知量 → 唯一解(或矛盾无解) | |
| 独立方程”不够” → 有自由变量 → 无穷多解 | |
| 自由变量个数 | 有几个未知量可以”随便取” |
例题 4(综合判断)
Step 1: 是 ,所以 。 (括号:3 列对应 3 个未知量,即使第 3 行全零,列数不变。)
Step 2:行阶梯形里数非零行,,。 (括号:第 3 行全零,没有带来新的独立信息。)
Step 3:比较。
- → 无穷多解
- 自由变量个数 (括号:3 个未知量但只有 2 个独立约束,“多出来”的 1 个未知量不受约束,可以任意取值。)
Step 4:具体看谁是自由变量。 行阶梯形的主元在第 1 列和第 2 列,第 3 列没有主元。 (括号:没有主元的列对应的未知量就是自由变量;这里 是自由变量, 是主变量。)
一句话总结
未知量个数 = 系数矩阵 的列数 = 方程组里不同未知字母的个数。
它与方程个数 无关,与参数取值无关,与某个变量的系数是否为零无关。
秩 告诉你”有几个独立约束”, 告诉你”有几个变量可以自由飘”。
从秩的角度理解线性方程组解的结构,核心在于把 秩 看作**“有效约束的个数”,把 未知量个数 看作”自由度的个数”**。下面给出完整的结构化解析。
一、核心判定框架(先建立坐标系)
对于线性方程组 ,设:
- 为 系数矩阵
- 为系数矩阵的秩
- 为增广矩阵的秩
- 为未知量个数
解的判定定理:
| 秩的关系 | 解的情况 |
|---|---|
| 无解(约束自相矛盾) | |
| 唯一解(约束刚好”钉死”所有自由度) | |
| 无穷多解(约束不足,存在自由变量) |
(推理思路:先建立判定框架,把秩与解的对应关系作为”地图”,后续所有解释都围绕这三行展开。)
二、秩的直观含义:有效约束的个数
2.1 什么是”有效约束”?
每个方程最初看起来都是一个约束,但有些方程是”废话”或”重复”的。
例:
(推理思路:举具体例子,让用户看到第二个方程并未提供新信息,为”秩<方程个数”做铺垫。)
第二个方程是第一个的 2 倍,它没有增加任何新的限制。
因此,这个方程组虽然写了 2 个方程,但有效约束只有 1 个,即 。
(推理思路:用”倍数关系”这种最直观的方式,说明秩的本质是”去重后的有效信息量”。)
三、无穷多解的本质:自由度 > 有效约束
3.1 核心等式
(推理思路:把”无穷多解”翻译成”自由变量个数 > 0”,建立秩与自由度的定量关系。)
3.2 当 时
- 方程组有解( 保证方程之间不自相矛盾)
- 但有效约束不够(),无法唯一确定所有未知量
- 有 个未知量可以自由取值,每取一组值就得到一个解
- 自由变量可以取无穷多个值 无穷多解
(推理思路:分两步论证——先保证”有解”,再说明”不唯一”,逻辑链条清晰。)
四、几何直观:二维与三维的类比
4.1 二维情形()
- 每个方程代表平面上的一条直线
- 两个方程表示同一条直线(第二个是第一个的倍数)
- 有效约束只有 1 个,但未知量有 2 个
- 直线上有无穷多个点 满足方程
(推理思路:用”两条直线重合”的几何图像,直观展示”秩=1”意味着只有一个独立约束,解空间是一条直线(一维),有无穷多点。)
秩的解读: 表示”两个方程只提供了一个独立方向上的约束”,另一个方向(沿直线本身)完全自由。
4.2 三维情形()
- 每个方程代表空间中的一个平面
- 两个方程表示同一个平面
- 有效约束只有 1 个,未知量有 3 个
- 平面上有无穷多个点
自由变量个数:。
可以令 (两个自由变量),则 ,解空间是一个平面(二维)。
(推理思路:升级到三维,展示”秩=1”时解空间维数是 ,是一个平面,比直线更”大”,但仍有无穷多解。)
4.3 再举一例:
- 第一个方程:平面
- 第二个方程:另一个平面
- 两个平面相交于一条直线(不平行、不重合)
- 有效约束 2 个,未知量 3 个
- 解空间是一条直线(一维),仍有无穷多解
自由变量个数:。
令 ,则 , 任意取值都得到一个解。
(推理思路:用”两平面交于一条直线”展示秩=2的情形,说明即使约束不重复,只要数量少于未知量,解空间仍是低维的无穷集合。)
五、为什么一定是”无穷”多解?(代数证明)
设 。
- 存在自由变量:自由变量个数 ,至少有一个自由变量,设为 。
- 自由变量可取任意实数: 可以取 中任意值(实数域上)。
- 每个取值对应一个解:每给一个 的值,其余变量由方程组唯一确定。
- 实数有无穷多个: 是无限集,因此解有无穷多个。
(推理思路:用”自由变量→任意取值→一一对应到解”的链条,严格说明无穷多解的来源,把几何直观代数化。)
六、总结:从秩看解的”维度”
| 秩的情况 | 自由变量数 | 解空间”大小” | 解的个数 |
|---|---|---|---|
| (满秩) | 0 | 一个点(0维) | 唯一解 |
| 1 | 一条直线(1维) | 无穷多解 | |
| 2 | 一个平面(2维) | 无穷多解 | |
| 超平面(维) | 无穷多解 |
(推理思路:用表格总结,把”秩-自由变量-解空间维度-解个数”的完整关系一次性呈现,方便用户建立知识网络。)
七、一句话本质
无穷多解 = 方程组”有解”(不矛盾)+ “约束不够”(秩 < 未知量个数)+ 自由变量可以连续取值。
秩 告诉你”有多少个独立方程在真正限制你”, 告诉你”还有几个方向是完全自由的”。只要存在自由方向,且方程组本身不自相矛盾,解就必然构成一个低维的”流形”(直线、平面、超平面),上面有无穷多个点。
(推理思路:用一句凝练的话收束全文,把”秩”重新定义为”独立限制的数量”,与”自由度”对比,形成直觉上的对冲,帮助用户内化概念。)
“满秩”之所以在线性代数里被反复念叨,是因为它相当于矩阵世界的**“身体健康证明”——一个满秩矩阵,意味着它携带的信息没有丢失、没有冗余、没有坍缩。下面从几何、方程组、运算、应用**四个维度拆开讲。
一、几何视角:满秩 = 空间没有”被压扁”
1.1 矩阵是空间的”变形器”
一个 矩阵 作用在向量 上,相当于对空间做了一个线性变换(旋转、拉伸、剪切等组合)。
- 列满秩(): 个列向量线性无关,它们张成一个 维的”立体空间”,没有坍缩。
- 行满秩(): 个行向量线性无关,输出空间没有被压缩到更低的维度。
- 方阵满秩(, 阶方阵):输入和输出都是 维空间,且一一对应,没有重叠、没有空洞。
1.2 类比:投影 vs 全息
想象你用手电筒把一个立体物体照到墙上:
- 满秩 = 物体本身的信息完整保留,你能从影子反推出原物(可逆)。
- 降秩 = 三维物体被压成了二维影子,信息丢失了”深度”这一维,再也还原不回去。
(括号:秩就是变换后”还剩几维”,满秩意味着维度没丢,变换是”保维”的。)
二、方程组视角:满秩 = 约束刚好够,没有废话
2.1 对于方阵方程组
如果 是 且满秩():
| 情况 | 结论 |
|---|---|
| 唯一解 | |
| 无解( 不在 的列空间里) |
关键点是:满秩时,解的情况只有两种——要么唯一解,要么无解,不会出现无穷多解。 (括号:无穷多解的本质是”约束不够”,有自由变量可以飘;满秩意味着 个独立约束锁死 个未知量,没有自由度。)
2.2 对于非方阵(最小二乘、超定/欠定)
- 列满秩():列向量线性无关,虽然方程多(),但没有冗余变量,最小二乘有唯一的最优解。
- 行满秩():方程少变量多,但至少所有方程都是独立约束,能保证解空间维度 ,结构清晰。
2.3 类比:抓犯人
想象 个未知量是 个嫌疑人, 个方程是 条线索:
- 满秩(方阵) = 个独立证人,每人指认一个不同的嫌疑人,且证词没有矛盾 → 罪犯唯一确定。
- 降秩 = 有两个证人其实说的是同一件事(行相关),或者某个嫌疑人根本没人提到(列缺主元)→ 要么抓错(无穷多解),要么证词矛盾(无解)。
三、运算视角:满秩 = 可逆,进入矩阵的”精英阶层”
3.1 方阵满秩 ⟺ 可逆
这是线性代数里最重要的等价关系之一:
一旦可逆, 就拥有了”特权”:
| 特权 | 含义 |
|---|---|
| 存在 | 可以”撤销”变换,像按 Ctrl+Z |
| 的解直接写 | 不用高斯消元,一步出解 |
| 体积缩放因子非零,空间没有被压成零体积 | |
| 特征值全不为零 | 变换没有”塌缩方向” |
3.2 类比:华容道里的”完整局面”
回到你熟悉的华容道:
- 满秩(可逆) = 当前局面是”标准开局”,你可以通过合法滑动(初等变换)回到任何其他局面,也可以从任何局面滑回来——双向可达。
- 降秩(不可逆) = 某个块被”粘死”了,或者两个块永远绑在一起动——你失去了某些自由度,有些局面永远到不了,有些信息永远丢失了。
(括号:可逆矩阵就是”信息无损”的变换,降秩矩阵就是”信息有损”的变换。)
四、应用视角:为什么工程里天天念叨满秩?
4.1 控制理论(你的专业:新能源汽车)
汽车的状态空间模型长这样:
- 能控性矩阵满秩 → 你能通过控制输入 (油门、刹车、方向盘)在有限时间内把车辆状态 (速度、位置、姿态)调到任意想要的状态。
- 不满秩 → 有些状态你永远控制不了,比如某个隐藏的振动模态,那它就是安全隐患。
(括号:满秩 = 系统完全可控;降秩 = 系统有”失控”的自由度。)
4.2 机器学习:特征矩阵满秩
训练数据构成一个矩阵 (每行一个样本,每列一个特征):
- 满秩 → 最小二乘问题 存在,线性回归有唯一最优解。
- 降秩(特征之间存在多重共线性)→ 矩阵不可逆,模型参数无法唯一确定,预测会不稳定。
4.3 计算机图形学:坐标变换
3D 游戏里的模型变换(旋转、平移、缩放):
- 满秩变换(如纯旋转矩阵)→ 模型不会莫名其妙地被压成一条线或一个点。
- 降秩变换(如投影矩阵,把 3D 压到 2D)→ 深度信息丢失,这是故意的(为了显示在屏幕上),但数学上不可逆。
五、总结:满秩的”特权清单”
| 性质 | 满秩时 | 降秩时 |
|---|---|---|
| 几何 | 空间不坍缩,维度守恒 | 某些方向被”压扁” |
| 方程组 | 约束足够,无自由变量 | 有自由变量,解不唯一 |
| 可逆性 | 可逆, 存在 | 不可逆, 不存在 |
| 行列式 | ||
| 特征值 | 全不为零 | 至少有一个为零 |
| 实际意义 | 系统可控、信息完整、模型稳定 | 有失控自由度、信息冗余或缺失 |
一句话记住
满秩 = 矩阵的”健康状态”:信息完整、约束独立、变换可逆、系统可控。
考试里遇到”满秩”两个字,你脑子里应该立刻弹出三件套:唯一解、可逆、行列式非零。
下面给你一组从基础到考试的 6 道典型例题,覆盖数字矩阵、含参数讨论、抽象性质、子式法、方程组结合五大题型。每道题每一步后都有括号注释。
例题 1:基础 3×4 矩阵(初等变换法)
求矩阵 的秩:
Step 1:写出矩阵,确认规模。 (括号:矩阵是 ,行数 3、列数 4,最高可能秩为 ;先观察第 1 列,,可以当主元。)
Step 2:固定第 1 列主元,用倍加变换消去下方元素。 (括号:第 2 行减去 2 倍第 1 行,目的是把 打成 0;第 3 行减去 3 倍第 1 行,把 打成 0;这样第 1 列只有主元非零,第 1 行和第 1 列被”锁定”,后续不再碰。)
Step 3:观察第 2 列,主元位置 ,且 ,无法形成新台阶;直接看第 3 列。 (括号:第 2 列在主元位置及以下全为 0,说明现有行在第 2 个分量上没有差异,不能提供新的独立方向;跳过第 2 列,主元位置自然右移到第 3 列。)
Step 4:用第 2 行(当前第 2 行)的主元 ,消去第 3 行第 3 列。 (括号:第 3 行减去第 2 行,把 消成 0;结果第 3 行全为零,说明第 3 行是前两行的线性组合,没有带来新的独立信息。)
Step 5:已经是行阶梯形,数非零行个数。 (括号:第 1 行、第 2 行为非零行,第 3 行为全零行;非零行个数 = 2,每个非零行对应一个独立方向。)
例题 2:需要换行的 4×4 矩阵
Step 1:观察第 1 列,,不能当主元;但第 3 行第 1 列 。 (括号:行阶梯形要求每个台阶从左上方开始,主元位置不能为 0;需要把非零元素换到主元位置,否则无法形成”台阶”。)
Step 2:交换第 1 行和第 3 行。 (括号:交换变换不改变秩,只是把有信息的行提前;现在 成为合法主元。)
Step 3:用第 1 行主元消去下方第 1 列。但第 2、3、4 行第 1 列本来就都是 0,无需操作。 (括号:第 1 列下方已经是 0,第 1 列处理完毕;接下来处理第 2 列,从第 2 行开始找主元。)
Step 4:观察第 2 列,从第 2 行开始看,,但 ;交换第 2 行和第 3 行。 (括号:第 2 行第 2 列是 0,无法当主元,而第 3 行第 2 列非零;换行后 成为新主元,且严格位于第 1 行主元的右侧,满足”逐行右移”的阶梯规则。)
Step 5:已经是完美的行阶梯形,主元分别在第 1、2、3 列,逐行右移;第 4 行全零。 (括号:3 个非零行,每个主元对应一个独立方向;第 4 行是零行,说明它是前面行的线性组合。)
例题 3:含参数 的 3×3 矩阵(分类讨论)
Step 1:写出矩阵,准备消元。 (括号:含参数矩阵不要急着代入具体值,先保持符号做初等变换,把参数”跟着走”,最后看哪些位置会变零。)
Step 2:用第 1 行消去第 2、3 行的第 1 列元素。 (括号:第 2 行减第 1 行,第 3 行减第 1 行,把第 1 列下方打成 0;参数 以 和 的形式保留,方便后续因式分解。)
Step 3:用第 2 行主元 消去第 3 行第 2 列。 (括号:第 3 行减去 3 倍第 2 行,只动第 3 行;目的是把第 2 列最后一个非零元素消掉,让第 2 列只有主元非零。)
Step 4:化简右下角元素。 (括号:因式分解是为了清晰看出”零点”,即参数取何值时该位置为零;这是分类讨论的关键。)
得到行阶梯形:
Step 5:分类讨论。
-
当 且 时: ,第 3 行非零。 (括号:右下角非零,说明第 3 行是独立的新方向,3 个非零行,秩达到最大值 3。)
-
当 时: 矩阵变为 。 (括号:代入 ,右下角为 0,第 3 行全零;第 2 行主元在第 2 列,第 1 行主元在第 1 列,共 2 个非零行。)
-
当 时: 矩阵变为 。 (括号:代入 ,右下角为 0,第 3 行全零;同样是 2 个非零行。)
例题 4:抽象矩阵(用秩的性质)
设 是 矩阵,; 是 可逆矩阵, 是 列满秩矩阵。求 和 。
第(1)问:求
Step 1:分析已知条件。 (括号: 是 , 是 可逆;矩阵乘法要求前列数=后行数,,可以相乘,结果 是 。)
Step 2:利用性质:==若 可逆,则 。== (括号:可逆矩阵可以分解为若干初等矩阵的乘积,而初等变换不改变矩阵的秩;右乘可逆矩阵 相当于对 做一系列初等列变换,秩不变。)
第(2)问:求
Step 1:分析规模。 是 列满秩,即 ; 是 。 (括号: 是 , 是 ,可以相乘,结果 是 。)
Step 2:利用性质:若 列满秩,则 。 (括号:列满秩矩阵左乘相当于”保秩嵌入”,不会把不同的信息压缩到一起;更一般的性质是 ,但当 列满秩时等号成立。)
例题 5:子式法求 3×4 矩阵的秩
Step 1:确定最高阶子式的阶数。 (括号:矩阵是 ,子式的阶数不能超过行数和列数的最小值,即最高为 3 阶;从 3 阶开始往下找。)
Step 2:枚举所有 3 阶子式(从 4 列中选 3 列,共 个)。
-
取第 1,2,3 列: (括号:按第 1 行展开计算;结果为 0,说明这三列线性相关。)
-
取第 1,2,4 列: (括号:第 2 行是第 1 行的 2 倍,第 3 行是第 1 行的 3 倍,行列式明显为 0;三列线性相关。)
-
取第 1,3,4 列: (括号:结果为 0,这三列也线性相关。)
-
取第 2,3,4 列: (括号:所有 3 阶子式全为 0,说明任意 3 个列向量都线性相关,秩一定小于 3。)
Step 3:找 2 阶子式。取第 1,2 行,第 1,3 列: (括号:找到一个非零的 2 阶子式,说明至少存在两个线性无关的行(或列),秩至少为 2。)
Step 4:综合。 (括号:存在非零 2 阶子式,且所有 3 阶子式全为 0,满足秩的定义。)
例题 6:秩与线性方程组结合(增广矩阵)
判断方程组解的情况,并求秩:
Step 1:写出增广矩阵 。 (括号:竖线左边是系数矩阵 (),右边是常数项;未知量个数 系数矩阵列数 。)
Step 2:对增广矩阵做初等行变换,先消第 1 列。 (括号:用第 1 行去”顶”下面两行,把第 1 列下方打成 0;常数项跟着一起变,保持方程等价。)
Step 3:消第 3 列(第 2 列无主元,跳过)。 (括号:第 3 行减第 2 行,把第 3 行第 3 列打成 0;结果第 3 行全零,包括常数项也为 0,没有出现 ()的矛盾。)
Step 4:判断秩。
- 系数矩阵 的非零行:第 1、2 行 → 。
- 增广矩阵 的非零行:第 1、2 行 → 。 (括号:第 3 行全零,不提供独立信息;增广部分没有产生新的非零行,说明 可以被 的列线性表示,方程组相容。)
Step 5:比较秩与未知量个数。
- (括号:秩相等说明有解;秩小于未知量个数说明约束不够,存在自由变量。)
结论:
Step 6( bonus,读出主元与自由变量): 行阶梯形主元在第 1 列和第 3 列。 (括号:没有主元的列对应自由变量,即第 2 列和第 4 列,对应 和 为自由变量;主变量是 和 。)
附:求秩的”解题流程图”(考试用)
拿到题 → 看规模 → 是数字矩阵?→ 初等行变换 → 行阶梯形 → 数非零行 → 得秩
→ 含参数?→ 变换到行阶梯形 → 因式分解 → 讨论零点 → 分类得秩
→ 抽象矩阵?→ 套秩的性质公式 → 得秩
→ 小矩阵/证明?→ 子式法 → 找非零子式+验证高阶全零 → 得秩
Share Article
If this article helped you, please share it with others!
















