4.向量

4.向量

---

1、基础概念

向量

• n维向量：n个数a1~an组成的有序数组
• 行向量&列向量（一般默认取一种）
• 零向量：分量都是0
• 向量相同：维数相同

计算

• 加法：同维相加，对应分量相加
• $k\alpha =0\iff k=0or\alpha =0$

---

2、向量间的线性关系

线性组合

• 定义：$\beta 和{\alpha }_1\cdot \cdot \cdot {\alpha }_n都是n维向量，存在k_1\cdot \cdot \cdot k_n使\beta =k_1{\alpha }_1+\cdot \cdot \cdot k_n{\alpha }_n成立，则称\alpha 是\beta 的线性组合$`
• 系数可以全取0
• 性质：
  • 零向量可由任意向量表示
  • 向量组中的任一向量可由向量组表示
  • 任一向量可由(1,0,···,0)、(0,1,···,0)、···、(0,0,···,1)表示，这些叫做n维基本/单位向量组

计算向量组

• $\alpha 和 \beta$均按列做成方程左边的系数和右边的常数项
• 求解向量组的问题转换计算方程组的问题
• 线性组合 = 方程有解；不是组合，方程无解

向量组的等价

• 定义：两个向量组和相互线性表示
• 性质：反身性；对称性；传递性

---

3、线性相关和线性无关

• 线性相关

  • 定义：a1···an是n个m维的向量。若存在一组不全为0的k1~kn，使得k1a1+···+knan=0，则称a1···an是线性相关的

• 线性无关

  • 定义：1）不是相关的；2）找不到上述一组非全0的使之成立；3）要使之成立，只能是0

• 线性相关判断

  • 两个向量成比例则相关
  • 含有0向量则相关
  • 一个零向量必相关
  • 一个非零向量必无关
  • 结合以上两点：一个向量线性相关 充要条件 $\alpha =0$

• 相关推论

  • 部分组相关——>整体组/截断组相关
  • 整体组无关——>部分组/接长组无关
  • n个n维向量，构成得行列式不等于0，则线性无关；D=0则线性相关，是充要命题
  • a,b,c无关，则a+b,a+c,b+c也无关

• 定理

  • 定理1：a1···an相关 <-> 至少一个向量可由其余向量表示
  • 定理2：a1···an无关，但是多了一个b后相关，那么b可由a1···an唯一表示（区别于接长，接长是增维度，这是增向量数）
  • 定理3（替换定理）：a1···as无关，可由b1···bt表示，则s<=t；
  • 推论1（逆否命题）：a可由b表示且s=>t，则a线性相关
  • 推论2：m个n维向量，当m>n（向量个数>向量维数）则相关
  • 推论3：两个等价的线性无关组含向量的个数相同，s=t（证明：二者无关且可相互表示）

---

5、向量组的秩

前情提要

• 极大无关组，a1···a5中部分组a1、a2无关：a1，a2无关；每个向量可由a1、a2表示（线性无关组最多的，但凡多一个就变成有关的了）
• （在同一个向量组中）任意俩个极大无关组，含向量个数相同

定义

• 极大无关组中含向量的个数
• 仅含有0向量则秩为零
• $0\leqslant r(\alpha_1···\alpha_s)\leqslant min\{向量个数s，维数\}$，所以r=s，则整个向量组线性无关；r<s，则线性相关
• $r(AB)\leqslant min\{r(A),r(B)\}$

行秩和列秩

• 将矩阵按行或列才分，行/列向量组的秩叫行/列秩
• 行秩=列秩=矩阵的秩（用于相互转化计算秩）

极大线性无关组的求法

• 初等行变换不改变矩阵列向量组的线性关系

1. 不管向量是行还列，均按列构成矩阵
2. 只做初行变换，化为行简化阶梯型
3. 首非零元坐在列做极大线性无关组
4. 其余向表系数直接写出来