大学线性代数《向量组的线性相关性》课堂讲授课件

2026向量组的线性相关性线性相关·线性无关·极大无关组·向量组的秩课程导览01线性相关性的概念与直观从几何直观引出定义02线性相关性的基本性质推演性质与等价刻画03线性相关性的判定定理与方程组判定方法04极大线性无关组与向量组的秩核心概念与计算方法05矩阵的秩与综合应用贯通理论与解题01线性相关性的概念与直观从几何直观走向代数定义线性相关与线性无关的定义线性相关的本质，是向量之间存在降维关系核心判据：是否存在不全为零的组合系数线性相关存在一组不全为零的数，使k₁α₁+k₂α₂+…+kₘαₘ=0组内存在多余向量，可由其余向量线性表示线性无关仅当所有系数为零（k₁=k₂=…=kₘ=0）时，上式才成立任一向量都不能由其余向量线性表示，彼此无冗余VS线性相关的几何直观线性相关的本质，是向量之间存在降维关系从二维到三维，从几何直观理解线性相关二维与三维共同揭示：线性相关即向量间存在降维关系二维平面线性相关⇔两向量共线（方向相同或相反）线性无关⇔不共线，可张成平行四边形三维空间两向量相关：共线三向量相关：共面，第三个向量落在前两个向量张成的平面内三向量无关：不共面，可张成平行六面体线性相关与线性组合的关系线性相关的本质，是向量组中存在可被“约去”的向量由线性相关与线性表示的定义切入：“相关”与“可表出”是同一现象的两种视角，本节将用定理刻画二者的等价关系。“相关性⇔可约性——定理为判断线性相关提供了可操作的代数方法。”必要性⟵证明存在不全为零的系数使组合为零取非零系数对应的向量表示为其余向量的线性组合充分性⟵证明某向量可被其余向量线性表示移项整理得到系数不全为零的零组合基础例题：判断向量组的相关性01例一α₁=(1，2)，α₂=(2，4)设k₁α₁+k₂α₂=0，得方程组：k₁+2k₂=0、2k₁+4k₂=0第二个方程是第一个的两倍，取

k₁=2，k₂=−1，不全为零→线性相关。几何上α₂=2α₁，二者共线。02例二α₁=(1，0)，α₂=(0，1)由组合为零直接得

k₁=0，k₂=0→线性无关。标准单位向量，线性无关。1STEP01设组合等式令

k₁α₁+k₂α₂+…+kₙαₙ=02STEP02解齐次线性方程组将向量坐标代入，按分量展开为方程3STEP03看是否存在非零解存在非零解→线性相关；只有零解→线性无关02线性相关性的基本性质性质是判定的基石含零向量的向量组必相关含零向量的向量组必线性相关。取系数

kᵢ=1（对应零向量），其余取0，即可构造一组不全为零的系数。零向量的存在，使线性相关成为必然。证明思路构造系数·验证定义设零向量为αᵢ=0，取

kᵢ=1、其余系数全取0，即得一组不全为零的数使k₁α₁+…+kᵢαᵢ+…+kₘαₘ=0，满足线性相关定义。两个特例单向量情形单个向量α相关⇔α=0单个非零向量

必线性无关部分相关则整体相关部分相关，整体必相关；整体无关，部分必无关。向量的线性相关性由“组合系数”刻画——某组能否被系数不全都为零的方式组合为零，决定了它在整体中的“冗余”程度。“部分相关，整体必相关；整体无关，部分必无关。”部分相关→整体相关正向递推部分组相关，则存在不全为零的系数使该部分组线性组合为零。其余向量系数补零，即得整个向量组的不全为零组合，整体相关成立。整体无关→部分无关逆否命题逆否命题：整体线性无关，则任意部分组也线性无关。个数超过维数必相关结论先行必线性相关m个n维向量，当

m>n

时向量组必线性相关原因链必有非零解m个n维向量→n行m列齐次方程组未知数

m>方程数n→必有非零解非零解→存在不全为零的系数使组合为零直接推论至多含n个向量n维空间中线性无关向量组至多含n个线性无关向量组的规模上限实例直观理解三个二维向量

必相关四个三维向量

必相关即m>n的典型情形线性无关向量组的组合表示唯一性Q

定理与问题β₁，β₂，…，βₛ

线性无关，α可由其线性表示，则表示方式唯一。反证法证明设α有两种表示：α=c₁β₁+…+cₛβₛ=d₁β₁+…+dₛβₛ两式相减：(c₁−d₁)β₁+…+(cₛ−dₛ)βₛ=0结论由线性无关，所有系数必为零，故

cᵢ=dᵢ

对一切i成立。03线性相关性的判定判定定理架起代数桥梁线性相关性的判定定理判定定理等价表述：线性相关

⇔Ax=0有非零解；线性无关

⇔Ax=0只有零解。1第一步构造矩阵A列向量组以

α₁，α₂，…，αₘ

为列2第二步初等行变换化简A化为

行阶梯形

或

行最简形3第三步比较秩与未知数个数作出判断非零行个数即系数矩阵的秩，判断解的情况判定定理的证明思路齐次方程组

Ax=0

的未知数，正是组合系数

k₁，…，kₘ等式左边恰为k₁α₁+…+kₘαₘ方程有非零解存在不全为零的(k₁，…，kₘ)满足Ax=0向量组线性相关存在不全为零的系数使组合为零证明只需一次语言转换从方程组语言切换到向量组合语言，两者逻辑等价，证明几乎即刻完成。一切判定方法，最终都回到“是否存在不全为零的组合系数”VS判定例题：三维向量的相关性Q问题：判定α₁=(1，1，1)，α₂=(1，2，3)，α₃=(2，3，4)的相关性。A做法：以三者为列构造矩阵A，作初等行变换——第二行减第一行、第三行减第一行，再消元化为行阶梯形。Q结果：非零行数为3，等于向量个数，Ax=0只有零解，向量组线性无关。A对照：α₃恰为α₁+α₂之和，变换后末行出现全零行，非零行数为2，小于向量个数3，方程有非零解，向量组线性相关。小结方法要点此例完整展示了初等行变换判定相关性的全过程。判定例题：高维向量组与含参数情形构造矩阵求行列式，得关于t的多项式行列式≠0矩阵满秩→只有零解→线性无关行列式=0有非零解→线性相关此题串联判定定理、矩阵秩与行列式，是承上启下的典型训练。对参数t分类讨论，即可划出相关与无关的完整分界。判定与行列式的关系适用条件：向量个数=维数，矩阵A为n阶方阵线性相关n个n维向量

α₁，α₂，…，αₙ

线性相关⇔方阵行列式

=0线性无关n个n维向量

α₁，α₂，…，αₙ

线性无关⇔方阵行列式

≠0原理方阵行列式为零⇔齐次方程组有非零解实用价值行列式易算时，直接求行列式比初等行变换更快方阵情形与上一页含参数例题呼应，构成方阵情形下判定相关性的两条等效途径。04极大线性无关组与向量组的秩秩刻画向量组的本质规模极大线性无关组的概念线性相关的向量组中，哪些向量真正携带独立信息？再多加一个向量，就不再无关。极大线性无关组定义条件一：该部分组本身线性无关条件二：从

A

中任意取一个向量加入，所得新向量组都线性相关组内其余向量均可由它线性表示，独立信息尽在其中极大无关组的等价刻画极大无关组：既无关，又对整个向量组具有生成能力。这一等价把“极大无关”与“生成表示”统一起来：极大无关组既无关，又对整个向量组具有生成能力。等价刻画必要条件该部分组线性无关，自身不含多余的向量。向量组A中每个向量都能由该部分组线性表示。双向成立充要条件若任意β∈A都可由该部分组表示，且部分组本身线性无关→它是极大无关组。反之，极大无关组必能表示组内一切向量。极大无关组的存在与求法Q极大线性无关组是否存在？A

存在性：任何含非零向量的向量组，极大线性无关组必存在。Q如何求极大线性无关组？A

向量按列排成矩阵，施行初等行变换化为行阶梯形或行最简形；主元所在列对应的原向量即构成一个极大无关组。Q为什么可行？A

依据：初等行变换不改变列向量之间的线性关系。Q求完之后呢？A

延伸：记录主元列位置，求出其余向量由极大无关组线性表示的系数，完整揭示向量组内部的依赖结构，为定义向量组的秩提供直接基础。向量组的秩的定义秩

=

极大无关组所含向量个数秩的定义与性质极大无关组可能不唯一，但所含向量个数必然相同→秩的定义良好且唯一全零向量组没有线性无关的非空部分组→规定秩为零秩=向量组中“真正独立”的向量个数=所张成子空间的维数秩的性质与等价组向量组的秩决定了其线性相关性，也决定了极大无关组的基本形态。任一向量组的秩不超过其向量个数，也不超过向量维数。秩与相关性线性无关：秩=向量个数线性相关：秩<向量个数等价向量组两个向量组能互相线性表示，则称等价等价向量组秩相同极大无关组的作用向量组与其任一极大无关组等价完整保留原向量组在线性表示意义下的全部信息，是原向量组的

"骨架"秩是向量组的本质属性，极大无关组则还原了它的全部线性信息——抓住秩，就抓住了向量组的核心。05矩阵的秩与综合应用以秩为纲，贯通全章矩阵的秩与行秩、列秩矩阵A的全体行向量构成行向量组，全体列向量构成列向量组。向量组的秩如何刻画矩阵？由行秩与列秩的统一开启。从行向量组与列向量组两个视角，揭示矩阵的内在结构。行秩与列秩行秩行向量组的秩列秩列向量组的秩核心结论行秩=列秩，公共值称为矩阵的秩，记作

r(A)。证明思路初等行变换保持向量组的线性相关性，由此可证行秩与列秩相等。意义矩阵的秩同时刻画行的独立程度与列的独立程度。行秩与列秩的统一行秩与列秩的相等性，将两个视角的秩统一为矩阵的秩。矩阵的秩同时刻画行的独立程度与列的独立程度矩阵的秩与向量组秩的一致性秩这一单一数值，统一了相关性判定、极大无关组求解与矩阵理论。核心等式向量组按列排成矩阵A，则

r(α₁，…，αₘ)=r(A)判定准则线性相关⇔r(A)<m线性无关⇔r(A)=m操作路径对以向量组为列的矩阵作初等行变换求秩

r(A)与向量个数

m

比较求向量组的秩与极大无关组：综合例题α₁(1，1，2，3)α₂(1，−1，1，1)α₃(1，3，3，5)α₄(4，−2，5，6)解题推进按列排成矩阵，作初等行变换化为行阶梯形非零行数为

2→向量组的秩为

2→向量组线性相关主元所在两列对应

α₁、α₂→构成一个极大线性无关组继续化为行最简形，解出α₃、α₄由α₁、α₂线性表示的具体系数秩定规模，主元定代表。秩与方程组解的结构齐次方程组有非零解