乐思数学通 › 考研数学(一) › 第 11 章 向量

向量组的秩与极大线性无关组

§11.3 · 核心概念🌱 基础篇 →

考频价值

1.33 分/卷近 11 年平均
4/11 年出现年份
3.5 分支撑的下游价值

前置诊断

① 直接前置(需先掌握)向量组的线性相关性矩阵的秩③ 掌握后可解锁向量空间(基、维数、坐标、过渡矩阵)齐次线性方程组与基础解系

要点精讲

把关键道理、证明与典型例子重新过一遍。

1. 极大线性无关组的定义:无关 任加必相关;等价刻画与个数唯一★★ 必会

① 定义. 设向量组 的一个部分组 满足:
(i) 本身线性无关;
(ii) 从 中任取一个向量 添入后, 都线性相关;
则称它为 的一个极大线性无关组(简称极大无关组)。极大二字的含义是:在保持线性无关的前提下, 中任何一个向量都不能再添进来。

② 等价的刻画(比定义更便于使用). 在 (i) 成立的前提下,(ii) 可以换成:
(ii') 中每个向量都可由 线性表示。
于是极大无关组 线性无关的部分组 能表示整组 与原组等价的线性无关的部分组。由此也可以看出它的作用:研究整个向量组的线性问题,只需研究这 个代表。

③ 个数唯一,向量组的秩. 极大无关组可以不唯一,但所含向量的个数必相同,这个公共的个数称为向量组的秩,记作 。规定全由零向量组成的向量组的秩为 (它没有极大无关组)。基本事实:; 原组线性无关(这时极大无关组就是它自己);向量组的秩 把向量拼成矩阵后所得矩阵的秩(见本页向量组的秩 = 矩阵的秩条)。具体求法:把向量按列拼成矩阵,作初等行变换化成阶梯形,非零行的个数就是秩,主元所在列对应的原向量构成一个极大无关组;其余向量的表示系数,再化成行最简形后直接读出。
证明 / 推导先证 (ii) (ii'),这里设部分组线性无关.
(ii) (ii'):任取 。如果 本来就在部分组中,那么显然可以表示。否则由 (ii) 知 线性相关,即存在不全为零的 使 。这里必有 ,否则 不全为零,却使一个线性无关组的组合为零,矛盾。于是 。
(ii') (ii):如果 可由部分组表示,那么向量组 中有一个向量可由其余向量表示,因而必线性相关。

再证个数唯一. 设两个极大无关组分别含 与 个向量。由 (ii'),第一组的每个向量都可由第二组线性表示。如果 ,那么由以少表多、多必相关(§11.1)知第一组必线性相关,与它线性无关相矛盾,故 ;由对称性又有 。于是 。
举例说明例(1990 年数一·填空题). 求向量组 的秩。

解. 以 为列拼成矩阵,作行变换直到化为行最简形:

非零行有 个,故秩为 。主元在第 1、2 列,因此 是一个极大无关组;由行最简形直接读出系数:(可代入验证)。

与定义对照: 不成比例,因而线性无关,这是条件 (i);添入 或 后,新添的向量可由 表示,该组必线性相关,这是条件 (ii)。必须注意它并不唯一: 同样是极大无关组(这时 ),但所含向量的个数只能是 。正因如此,秩才是一个确定的数。

2. 向量组的秩 = 矩阵的秩何以成立(行秩 = 列秩的向量组形式)★ 要懂

按定义,向量组的秩是极大无关组所含向量的个数,反映的是列的独立个数;而矩阵的秩 通常由初等变换后的非零行的个数得到,反映的是行的独立个数。两者相等并非显然,它实际上等价于行秩 列秩。明白了这一点,才知道为什么对 作行变换求出的 就是列向量组中独立方向的个数,从而一切求秩、求极大无关组的做法才有根据。
证明 / 推导证 设 ,,即存在 阶非零子式,而没有 阶非零子式。

(a) 存在 个线性无关的列. 取某个 阶非零子式所在的 列,这 列中有一个 子方阵的行列式 ,因此这 列线性无关,独立的列数 。

(b) 任意 列都线性相关. 否则便有 个线性无关的列,它们构成的 子矩阵的秩为 ,其中含有 阶非零子式,与 相矛盾。所以独立的列数 。

合并以上两条即知,极大无关组恰含 个向量,也就是向量组的秩 。

3. 初等行变换保持列向量之间的线性关系,这是直接读出系数的根据

求极大无关组、写出非主元列的表示式时,我们直接从行最简形中读出系数。为什么行变换以后读出的关系对原向量也成立?因为初等行变换 左乘一个可逆矩阵 ,而左乘可逆矩阵不改变各列之间的线性关系。由此也可以看出,为什么只能作行变换而不能作列变换:列变换会打乱列的相关结构,从而求出错误的极大无关组。
证明 / 推导证 行变换把 变为 ,其中 可逆。对任意一组系数 ,有

即原来的列与新的列满足完全相同的线性关系。因此行最简形中读出的关系,例如第 列 若干主元列的线性组合、系数为 ,对原向量原封不动地成立。
举例说明设 ,按列拼成 后作行变换:

主元在第 列,秩为 ,极大无关组为 。由行最简形直接读出 。这些系数对原向量同样成立(验证 ),这是因为行变换保持了列之间的关系。

4. 三条常用的秩不等式:拼接、求和与乘积

向量组与矩阵的秩满足下面几条常用的不等式,在证明题中出现得很多:

- 拼接:;
- 求和:(同型);
- 乘积:,并有 Sylvester 下界 (其中 为 , 为 );特别地,。

从向量组的角度看:拼接就是把两组列向量并在一起; 成立当且仅当两组向量所张成的方向没有重叠。
证明 / 推导证 拼接的右端不等式. 取 的列向量组的极大无关组(共 个)与 的列向量组的极大无关组(共 个),二者合起来能线性表示 的所有列,因此 。左端不等式. 的列是 的列的一部分,故 ;同理 。

. 由 知 的每一列 满足 ,即 的列都是 的解,落在解空间(其维数为 )之内,因此 。
举例说明设 均为 阶方阵,且 。如果 (即 可逆),求 。由 得 ,故 ,即 。(也可以这样看: 可逆时,在 两边左乘 即得 。)

5. 综合应用:含参数向量组求秩、极大无关组与表示式★ 要懂

求含参数的向量组的秩,步骤是:拼成矩阵 作行变换 按参数是否使某个主元消失分情形讨论。作答时要给出三项内容:秩、由原向量构成的极大无关组、非主元列的表示式。必须注意:极大无关组要用原向量来写,而不是行变换以后的列。
举例说明求 的秩与极大无关组,并在秩不足时给出表示式。

按列拼成方阵,得 。

- 当 时:,秩为 ,极大无关组就是 ,其中没有多余的向量;
- 当 时:秩为 ,化成行最简形得 ,极大无关组为 。

一般的做法:向量个数与维数相同时,先用行列式迅速找出临界的参数值,再对临界值化成行最简形,求出极大无关组与表示式。
💡 小知识
极大线性无关组做的事情,就是用最少的向量代表全体。搜索引擎给网页排序、推荐系统给用户贴标签,背后都是把成千上万个维度压缩成一个极大无关组,也就是所谓的低秩表示。降维一词在数学上说的就是这件事,SVD、PCA 这类算法之所以有效,原因也在于此。

基础例题

从最基础开始,循序渐进;先独立尝试,再展开完整解答。

例 1 求向量组 ,, 的秩,并写出一个极大线性无关组。 难度 1观察到 ,即 可由 线性表示。

而 显然线性无关(不成比例),且组内任一向量都能由 表示,故 是一个极大线性无关组,向量组的秩为 。

( 或 也都是极大无关组——极大无关组不唯一,但个数恒为 。)
例 2 求向量组 ,, 的秩和一个极大线性无关组,并把其余向量用该极大无关组表示。 难度 2按列拼成矩阵,作初等行变换化到行最简形:

非零行有 行,故秩 。主元在第 列,故 构成极大线性无关组。

由行最简形第 列系数 直接读出 。验证:。
例 3 求向量组 ,,, 的秩、一个极大线性无关组,并将其余向量用它表示。 难度 2按列拼成矩阵并化到行最简形:

非零行 行,秩 ;主元在第 列, 为极大线性无关组。

由行最简形读出非主元列的系数:

验证:;。

真题精选

近年原题,先做做看、自动判分,再对照答案、思路与完整解答。

2026 年 · 数一 · 第 21 题 · 解答题 · 12 分

已知向量组 。设 ,。

(1)证明: 是 的极大线性无关组;

(2)求矩阵 使得 ,并求 。

2024 年 · 数一 · 第 6 题 · 选择题 · 5 分

设向量 ,,。若 线性相关,且其中任意两个向量均线性无关,则(  )
  • A.
  • B.
  • C.
  • D.

2022 年 · 数一 · 第 7 题 · 选择题 · 5 分

设 。若向量组 与 等价,则 的取值范围是(  )
  • A.
  • B.
  • C.
  • D.

2017 年 · 数一 · 第 13 题 · 填空题 · 4 分

设矩阵 , 为线性无关的 维列向量组,则向量组 的秩为 ______.

随堂练习

先用基础题热身,再按年份从新到旧挑战本知识点的其余真题。

练习 1 · 选择题

向量组 ,, 的秩是( )。
  • A
  • B
  • C
  • D

练习 2 · 填空题

向量组 ,, 的秩是 ____。

练习 3 · 选择题

设向量组 的秩为 ,则( )。
  • A其中任意 个向量都线性无关
  • B其中任意 个向量都线性相关
  • C其中必有两个向量成比例
  • D极大无关组含 个向量

练习 4 · 填空题

设向量组 ,, 的秩为 ,则 ____。

练习 5 · 选择题

设 线性无关,令

若向量组 的秩为 ,则 ( )。
  • A
  • B
  • C
  • D

练习 6 · 填空题

已知向量组 的秩为 ,向量组 的秩为 ,向量组 的秩为 ,则向量组 的秩为 ____。

练习 7 · 解答题

设

(1)问 取何值时向量组 的秩最小?求出该最小秩;
(2)在(1)所得的取值下,求一个极大线性无关组,并把其余向量用它线性表示;
(3)当 时,求该向量组的秩、一个极大线性无关组,并把其余向量用它线性表示。

2013 年 · 数一 · 第 5 题 · 选择题 · 4 分

设 均为 阶矩阵,若 ,且 可逆,则(  )
  • A矩阵 的行向量组与矩阵 的行向量组等价.
  • B矩阵 的列向量组与矩阵 的列向量组等价.
  • C矩阵 的行向量组与矩阵 的行向量组等价.
  • D矩阵 的列向量组与矩阵 的列向量组等价.

2012 年 · 数一 · 第 5 题 · 选择题 · 4 分

设 ,,,,其中 为任意常数,则下列向量组线性相关的为(  )
  • A.
  • B.
  • C.
  • D.