线性组合
线性组合的定义
数学定义
定义是数学中精确描述概念、术语含义的陈述。理解定义是学习数学的基础,每个数学概念都有其严格的定义。
向量 v可以表示为向量组 {a1,a2,…,an} 的线性组合:
v=k1a1+k2a2+⋯+knan其中 k1,k2,…,kn 为实数,称为线性组合的系数。
几何解释
线性组合是将向量组按一定比例”混合”得到新向量的运算。
零线性组合
当所有系数都为零时,得到零向量:
0=0⋅a1+0⋅a2+⋯+0⋅an 线性相关与线性无关
线性相关的定义
数学定义
定义是数学中精确描述概念、术语含义的陈述。理解定义是学习数学的基础,每个数学概念都有其严格的定义。
设 a1,a2,…,am 是 n 维向量组,如果存在不全为零的实数 k1,k2,…,km,使得:
k1a1+k2a2+⋯+kmam=0则称向量组 {a1,a2,…,am} 线性相关。
线性无关的定义
数学定义
定义是数学中精确描述概念、术语含义的陈述。理解定义是学习数学的基础,每个数学概念都有其严格的定义。
设 a1,a2,…,am 是 n 维向量组,如果只有当 k1=k2=⋯=km=0 时,才有:
k1a1+k2a2+⋯+kmam=0则称向量组 {a1,a2,…,am} 线性无关。
线性相关性的等价条件
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理 1
向量组 {a1,a2,…,am} 线性相关的充要条件是其中至少有一个向量可以表示为其余向量的线性组合。
证明:
充分性:如果 a1=k2a2+⋯+kmam,则: (−1)a1+k2a2+⋯+kmam=0其中系数不全为零,所以线性相关。
必要性:如果线性相关,则存在不全为零的 k1,k2,…,km 使得: k1a1+k2a2+⋯+kmam=0假设 k1=0,则: a1=−k1k2a2−⋯−k1kmam
线性相关性的判断方法
方法一:行列式法
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理 2
n 个 n 维向量线性相关的充要条件是它们构成的行列式为零。
例子: 判断向量组 {(1,2),(3,4)} 的线性相关性。
解: 1324=4−6=−2=0
所以向量组线性无关。
方法二:矩阵秩法
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理 3
向量组线性相关的充要条件是它们构成的矩阵的秩小于向量的个数。
步骤:
- 将向量作为矩阵的行(或列)
- 计算矩阵的秩
- 比较秩与向量个数
例子: 判断向量组 {(1,2,3),(2,4,6),(1,0,1)} 的线性相关性。
解: 构造矩阵: 121240361
通过初等变换化为行阶梯形: 10020−230−2
秩为 2,小于向量个数 3,所以线性相关。
向量组的极大线性无关组
极大线性无关组的定义
数学定义
定义是数学中精确描述概念、术语含义的陈述。理解定义是学习数学的基础,每个数学概念都有其严格的定义。
向量组的一个子集,如果:
- 这个子集线性无关
- 向量组中任意一个向量都可以由这个子集线性表示 则称这个子集为向量组的一个极大线性无关组。
极大线性无关组的性质
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理 4
- 向量组的任意极大线性无关组所含向量的个数相同
- 向量组的任意两个极大线性无关组等价
极大线性无关组的求法
步骤:
- 将向量组按列排成矩阵
- 用初等行变换将矩阵化为行阶梯形
- 取行阶梯形中非零行对应的原向量
例子: 求向量组 {(1,2,3),(2,4,6),(1,0,1)} 的极大线性无关组。
解: 构造矩阵: 121240361
化为行阶梯形: 10020−230−2
取第 1 行和第 3 行对应的原向量:{(1,2,3),(1,0,1)}
向量组的秩
向量组秩的定义
数学定义
定义是数学中精确描述概念、术语含义的陈述。理解定义是学习数学的基础,每个数学概念都有其严格的定义。
向量组秩的性质
- 秩的不等式:r({a1,a2,…,am})≤min(m,n)
- 秩的传递性:如果向量组 A 可以由向量组 B 线性表示,则 r(A)≤r(B)
- 秩的加法:r(A∪B)≤r(A)+r(B)
向量组秩的计算
方法:
- 将向量组按列排成矩阵
- 计算矩阵的秩
- 矩阵的秩就是向量组的秩
应用示例
物理中的应用
在物理学中,许多物理量都可以表示为其他物理量的线性组合:
- 合力:多个力的向量和
- 合位移:多个位移的向量和
- 合速度:多个速度的向量和
计算机图形学应用
在3D图形学中,任何向量都可以表示为基向量的线性组合:
v=xi+yj+zk
练习题
练习 1
判断向量 a=(1,2,3) 和 b=(2,4,6) 是否线性相关。
参考答案 (3 个标签)
线性相关 向量组 系数判断
解题思路: 检查是否存在不全为零的系数使线性组合为零向量。
详细步骤:
设 k1a+k2b=0
k1(1,2,3)+k2(2,4,6)=(0,0,0)
(k1+2k2,2k1+4k2,3k1+6k2)=(0,0,0)
解得:k1=−2k2,所以存在非零解
答案:向量 a和 b线性相关。
练习 2
将向量 c=(1,2,3) 表示为向量 a=(1,0,1) 和 b=(0,1,1) 的线性组合。
参考答案 (3 个标签)
线性组合 系数求解 方程组
解题思路: 解线性方程组求系数。
详细步骤:
设 c=xa+yb
(1,2,3)=x(1,0,1)+y(0,1,1)=(x,y,x+y)
解方程组: ⎩⎨⎧x=1y=2x+y=3
验证:1+2=3,成立
答案:c=1a+2b
练习 3
判断向量组 {(1,2,3),(2,4,6),(1,0,1)} 的线性相关性。
参考答案 (3 个标签)
线性相关 矩阵秩法 初等变换
解题思路: 使用矩阵秩法判断线性相关性。
详细步骤:
构造矩阵: 121240361
化为行阶梯形: R2−2R1: 101200301
R3−R1: 10020−230−2
矩阵的秩为 2,小于向量个数 3,所以线性相关。
答案:向量组线性相关
练习 4
判断向量组 {(1,2),(3,4)} 的线性相关性。
参考答案 (3 个标签)
线性相关 行列式法 二阶行列式
解题思路: 使用行列式法判断线性相关性。
详细步骤:
1324=1×4−2×3=4−6=−2=0
行列式不为零,所以向量组线性无关。
答案:向量组线性无关
练习 5
求向量组 {(1,2,3),(2,4,6),(1,0,1)} 的极大线性无关组。
参考答案 (3 个标签)
极大线性无关组 初等变换 行阶梯形
解题思路: 使用初等变换法求极大线性无关组。
详细步骤:
构造矩阵: 121240361
化为行阶梯形: R2−2R1: 101200301
R3−R1: 10020−230−2
取非零行对应的原向量:{(1,2,3),(1,0,1)}
答案:极大线性无关组为 {(1,2,3),(1,0,1)}
练习 6
求向量组 {(1,2,3),(2,4,6),(3,6,9)} 的秩。
参考答案 (3 个标签)
向量组秩 矩阵秩 线性相关
解题思路: 计算矩阵的秩。
详细步骤:
构造矩阵: 123246369
化为行阶梯形: R2−2R1: 103206309
R3−3R1: 100200300
非零行只有 1 行,所以秩为 1。
答案:向量组的秩为 1
总结
本文出现的符号
| 符号 | 类型 | 读音/说明 | 在本文中的含义 |
|---|
| ai | 数学符号 | Vector a_i | 表示向量组中的向量 |
| 0 | 数学符号 | Zero vector | 表示零向量 |
| ki | 变量 | k_i | 表示线性组合的系数 |
| r(A) | 函数符号 | Rank of A | 表示矩阵的秩 |
| k1a1+⋯ | 线性组合 | linear combination | 向量组的线性组合 |
中英对照
| 中文术语 | 英文术语 | 音标 | 说明 |
|---|
| 线性组合 | linear combination | /ˈlɪniər ˌkɒmbɪˈneɪʃən/ | 向量组按系数相加 |
| 线性相关 | linear dependence | /ˈlɪniər dɪˈpendəns/ | 向量之间存在线性关系 |
| 线性无关 | linear independence | /ˈlɪniər ˌɪndɪˈpendəns/ | 向量之间不存在线性关系 |
| 极大线性无关组 | maximal linearly independent set | /ˈmæksɪməl ˈlɪniərli ˌɪndɪˈpendənt sɛt/ | 向量组的最大无关子集 |
| 向量组的秩 | rank of vector system | /ræŋk əv ˈvɛktər ˈsɪstəm/ | 极大无关组的大小 |
| 行列式法 | determinant method | /dɪˈtɜːrmɪnənt ˈmɛθəd/ | 使用行列式判断线性相关 |
| 矩阵秩法 | matrix rank method | /ˈmeɪtrɪks ræŋk ˈmɛθəd/ | 使用矩阵秩判断线性相关 |
1函数是高等数学的核心概念,本系列文档系统介绍函数的基本概念、性质和应用。
前往课程 2掌握向量运算和空间中点、线、面的方程及其相互关系。
前往课程
线性代数
掌握行列式、矩阵、向量、线性方程组等,理解线性空间的抽象结构。
开始学习