![0cb3ed08b4eaa58d6255a69961f06766.png](https://img-blog.csdnimg.cn/img_convert/0cb3ed08b4eaa58d6255a69961f06766.png)
本文章内容大部分是笔者读《高等代数学习指导书》丘维声著的学习笔记。
基本概念复习回顾:
- 数域
上的
维向量:
由数域
- 零元:
对于任意一个
该并不是数值0,而是一个向量。
- 负元:
对于向量
- 向量的数乘运算和加法运算。
设
则记
称为向量
两个向量的加法略。
-
维向量空间的定义:
数域
- 线性组合:
在
为什么说是线性呢,因为新向量是由原先给定的向量组,经过数量乘法和加法运算,这两种运算都是线性的,所以新向量是由给定向量组通过线性运算组合起来的,故称为线性组合。
- 线性表出:
在
-
维单位向量:
因为任意
线性表出,并且表出方式唯一,因此称
- 若两个向量组可以互相线性表出,就称二者等价。
等价具有:传递性,自反性,对称性。
- 线性相关,线性无关:
若向量组中有一个向量可以由其他向量线性表出,则称该向量组线性相关。
若从
- 极大线性无关组:
如果向量的一个部分组本身线性无关,但是任意添进一个向量组的其余向量后,得到的新的部分组线性相关了。则称该部分组是这个向量组的极大线性无关组。
- 向量组的秩:
全由零向量组成的向量组的秩规定为0
向量组的极大线性无关组所含向量的个数称为该向量组的秩
复习完基础概念,下面进入知识点
![3492309a4b6379116069f506c60e45eb.png](https://img-blog.csdnimg.cn/img_convert/3492309a4b6379116069f506c60e45eb.png)
知识点(例题):
- 数域
上
元线性方程组有解的充分必要条件是:线性方程组的常数项组成的列向量组
,可以由系数矩阵的列向量组
线性表出。
因此,判断线性方程组有没有解,可以转化为看是否可以由
线性表出。判断
能否由
线性表出,可以看他们组成的增广矩阵化为阶梯型矩阵后的情况。
例题:在
其中
试试把他们写成增广矩阵,然后化为阶梯型矩阵,观察该矩阵是否有解。
当只有唯一解时,称由该向量组唯一线性表出。
- 如果线性方程组(1)的增广矩阵的第
个行向量,可以由其他行向量线性表出,则把该行方程去掉后得到的新的线性方程组(2)和(1)同解。
证明比较简单,从略。
- 包含零向量的向量组一定线性相关。单个向量线性相关,当且仅当该向量是零向量。单个向量线性无关当且仅当该向量不是零向量。
- 从不同角度看线性相关和线性无关的区别:
- 从线性表出角度看:
向量组线性无关=向量组中任一向量都不能由其余向量线性表出
向量组线性相关=至少有一个向量可以由其余向量线性表出
2.从齐次线性方程组看:
向量组线性无关=齐次线性方程组
向量组线性相关=齐次线性方程组
3.于是从行列式看:
线性无关即行列式=0
线性相关即行列式
4.从部分组角度看:
线性无关:如果一个向量组线性无关,则其任一部分组也线性无关
线性相关:如果一个向量的部分组线性相关,则该向量组也线性相关。
5.从缩短组、延伸组角度看:
线性无关:如果一个向量组线性无关,那么把每个向量在相同位置添上m个分量,组成的延伸组也线性无关。
线性相关:如果一个向量组线性相关,则该向量组在相同位置上去掉m个分量,所得的缩短组也线性相关。
请读者注意区别(部分组,整体组)和(缩短组,延伸组)的概念。前者是减少了向量组中向量的个数,但保持向量中分量的个数不变;后者是保持向量组中向量的个数,但减少了每个向量中分量的个数。
- 任意
个
维向量线性相关。
这个在学了线性空间的维数后容易证明
在未学前,也有证明方法。
从齐次线性方程组角度入手:
齐次线性方程组的解有两种可能:
1.只有零解 2.有无穷多解。
当齐次线性方程组的系数矩阵的阶梯型矩阵非零行数
所以写出这
- 向量组与它的极大线性无关组等价。
- 向量组的任意两个极大线性无关组等价
由线性表出的传递性和等价的定义即可证明
- 向量组
可以由向量组
线性表出,如果
,则向量组
线性相关。
证明思路,看到向量个数的关系和线性相关,想到从齐次线性方程组的角度入手
下证:
要证明向量组
则要找到一组数
因为
则
因为齐次线性方程组:
未知量个数大于方程行数,即
于是该齐次线性方程组有非零解。因此存在一组数
使得
- 向量组
可以由向量组
线性表出,若
线性无关,那么
- 等价的任意两个极大线性无关组所含向量的个数相等。
向量组的极大线性无关组所含向量的个数称为向量的秩
- 如果向量组
向量组
于是等价的向量组有相同的秩。
但秩相同的向量组不一定等价。
- 向量组
,
- 设向量组
的秩为
,如果
可以有其中的
个向量线性表出,则这
个向量组成一个该向量组的极大线性无关组。
取出该向量组的一个极大线性无关组,这个向量可以线性表出极大线性无关组,于是这
个向量组成的向量组的秩为
,所以该向量组线性无关。
- 在
证明只需利用维单位向量即可说明。
- 主对角占优矩阵的行列式不等为0
目前就先更到这里啦。日后如果还有的话会再补充~
![3575a814a1c99513692023031d49cc4c.png](https://img-blog.csdnimg.cn/img_convert/3575a814a1c99513692023031d49cc4c.png)
希望本篇文章对您有用!
码字不易,给个赞赞叭~