线性代数 学习笔记
前置可以看看 link,证明了一些比较基础的东西。
线性空间
给定域 ,定义其上的线性空间是一个集合 ,定义两种二元运算:
加法:。
数乘:。
需要满足:
-
加法具有结合律,交换律,并且有零元,有逆元。
-
数乘需要满足有单位元,零元,结合律,和两种分配律。
比较简单的例子:
-
(长度为 的有序数组)是数域 上的线性空间。(即向量)。
-
复数域是实数域上的线性空间。
对于 上的两个线性空间 ,如果 ,那么 是 的线性子空间。
充要条件为 并且 封闭。
对于一组 ,称 是 的一个线性组合。
一组 的所有线性组合是 的线性子空间,称为生成子空间,记为 。
如果 ,称 可以被 线性表出。
对于一组 ,如果存在一组 满足:
-
不全为 。
-
那么称 线性相关,否则线性无关。
线性相关等价与存在一个 可以被去掉它的 线性表出。
如果 的子集满足
-
线性无关。
-
再加一个 中任意元素后线性相关。
那么称这个子集为极大线性无关组。
可以简单证明所有极大线性无关组大小相同。
称一个向量组极大线性无关组大小是向量组的秩,记作 。
对于一个线性空间,取一组线性无关组 ,若其能表出 中所有元素,那么为 的一组基,称 的维数是 ,记作 。
矩阵
行 列,每个位置一个元素称为矩阵。
或者 的矩阵可以看成向量。
加法,数乘,乘法略过。
注意乘法没有交换律。
左乘一个矩阵,就是行向量的线性组合,右乘一个矩阵,就是列向量的线性组合。
定义 表示 的转置,满足 。
乘法的单位元为 ,记作 ,也叫单位矩阵。
下列三种变换称为初等行变换:
-
两行互换。
-
单行数乘。
-
一行减去另一行。
类似的,也定义初等列变换。
初等变换可以表示称矩阵乘法,一个是左乘一个是右乘,推起来并不难。
- 矩阵的行秩 = 列秩
对于矩阵的行向量集合,定义其最大线性无关组是矩阵的行秩,类似定义列>秩序。
就是找列向量的一组基 ,由于 的列向量可以被 线性组合得到,所以设 ,而由于 是对 进行线性组合,那么它的行秩显然 的列秩。
而 可以看成是 的行变量进行线性组合的结果,所以 的行秩 的行秩,所以 的行秩 列秩,反过来同理证明。
因此可以直接定义一个矩阵的秩 。
如果一个 的矩阵秩为 ,那么它可以表示为 的矩阵乘 的矩阵。
已知矩阵 和列向量 ,解
容易发现这和线性方程组等价。
一般采用高斯消元法进行求解,就是利用初等变换把矩阵改为行阶梯矩阵,这里不展开。
矩阵的秩就是消元后对角线非 数个数。
注意到
所以可以用高斯消元求出矩阵的逆,条件是满秩。
行列式
对于一个 矩阵 ,其行列式定义为:
是所有排列的集合, 是 的逆序对数量。
行列式咋求可以这里学习。
根据排列 与它的逆排列逆序对奇偶性不变,可以得到:
对于方阵 ,,定义 表示 保留 中行和 中列的交集后得到的矩阵。
-
称为子式, 这个称为主子式。
-
称为余子式。
-
时,定义 为代数余子式。
对于第 行考虑行列式中选那个点,可以得到
这叫做拉普拉斯展开,也可以扩展到选多列。
对于多项式 :
定义其西尔维斯特矩阵为:
定义两个多项式的结式 为其行列式。
等价于如果 的根是 , 的根为 。
考虑咋解:
这几点是显然的。
然后开始操作,令 ,此处 。
因此先把 加入到答案,然后进行一个多项式取模,然后递归求 即可。
得到这个做法后,发现和上面那个行列式的暴力求解过程式一样的,复杂度 。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本
· Manus爆火,是硬核还是营销?
· 终于写完轮子一部分:tcp代理 了,记录一下
· 别再用vector<bool>了!Google高级工程师:这可能是STL最大的设计失误
· 单元测试从入门到精通