线代笔记

看的GS的课 B站上有很多
记录一下学的时候产生的问题和搜到的、思考的答案,以及速成备考的时候的笔记
矩阵的乘法和逆
Q1. 如何证明矩阵乘法的结合律
线性组合、往后学就理解了
Q2. 如何理解矩阵的分块相乘
第三节讲的第五种矩阵乘法方法
看的时候并没有像弹幕一样一眼理解 人比较笨。。
令矩阵
当然分出来的小矩阵
以
为例,先考虑
这个过程过程意味着用
这样重复下去,
同样,用矩阵分块去理解前四种方法,也是很显然的事情
Q3. 如何证明 左逆等于右逆
这个知道了矩阵乘法的含义就没有问题,设
所以
§ 的 分解
P1. 转置矩阵
上来一个 转置矩阵 ,查了维基百科:
在线性代数中,矩阵
- 把
的列写作 的行 - 把
的行写作 的列
还看了一些性质,等到之后有知识储备了再弄吧
Q1. 为什么对于置换矩阵 有
考虑一个置换矩阵
Q2. 关于 分解对比 求逆方法
高斯消元的时候,左乘消元矩阵的过程会产生交叉:
其中
这样的话,一个单位操作算成一个位置上的乘法和减法,整体消元过程就是
但是在求解L的时候,可以直接把
因为这个过程中,在处理第
除去了矩阵乘法的过程,这个分解使得求逆的复杂度变低
§ 转置、置换、向量空间
wxy说严格来讲一般矩阵乘列向量称为线性组合,抛开翻译不谈,Gilbert课上说的也只是combination..
§ 列向量和零空间
听的异常轻松,可能是我有地方自以为理解了其实不然
看书的时候再好好看、好好做题吧,这个不预习可能不太行
§ :主变量、特解
这个过程我唯一不理解的是为什么可以写成
就好了..
§ :可解性和解的结构
就
Q1. 为什么可逆方阵一定满秩
发现自己关于逆矩阵含义的笔记基本没有,因此看书补充
然后我才发现书上2.5这节提前的写了很多蛋疼的结论:
- The algorithm to test invertibility is elimination: A must have n(nonzero) pivots.
- The algebra test for invertibility is the determinant of A: det A must not be zero.
- The equation that tests for invertibility is
must be the only solution.
看完第9节就解决这个问题了,考虑逆矩阵
考虑
Note
§ 线性相关、基、维数
线性相关、张成一个空间,作为一个basis的对象都是向量组 a bunch of vectors 而非矩阵
definition - 如果不存在结果为零向量的组合,向量组线性无关(except the zero comb)
definition - Vectors
definition - Basis for a space is a sequence of vectors
- They are independent
- They span the space
n vectors gives basis if
他一直在讲可逆,但是又没教…
基向量的个数就是空间的维数
因此对于
§ 四个基本子空间
when A is
一般管
- dim of
通过初等行变换和消元可知
- dim of
有
- dim of
dim of
消元到 reduced row echelon form 的时候,列向量会因为行变换改变,但是行空间的基两者还是一样的,秩为
- dim of
考虑 中的向量 ,存在
这也是为什么习惯叫 N(A^T) 为左零空间的原因
补充:
左乘构造矩阵是行变换,例如
右乘构造矩阵是列变换,例如
即
类似高斯消元,只不过这里
那么
而基则是
§ 正交向量和子空间
两个向量
如果他们正交(orthogonal),即垂直,有
不难从勾股定理证明得到
即
一个向量空间
行空间正交于零空间,这个由定义和式子
列空间正交于左零空间,只不过是
Nullspace and row space are orthogonal complements in
前一条结论说明
这两个结论证明详见 P15
§ 正交基、正交矩阵、正交化法
对于正交基 : Orthogonal basis
有标准正交列的矩阵
一些符合要求的正交矩阵
如此里面的列向量都在正交基里
证明正交矩阵:每列都是单位向量,并且两两正交
QR分解 最小二乘什么的,暂时先放掉、、
§ 行列式的性质
从这一节开始 不再研究Ax=b (A不一定为方阵 b不一定为零向量的问题,所以我真搞不懂上来行列式干什么,特别是用同济教材还不一定铺垫前置的空间解析几何,真就国情特殊,服务考研、课时?),转而研究
先从性质入手
性质1
性质2 交换方阵的两行,行列式符号改变
,
性质3
- 性质3.a
- 性质3.b
性质4 若有两个相同的行则矩阵行列式为0
只要用性质2就可以证明
性质5 消元不改变行列式,即
证:
性质6 有一行 向量则
随便用一个
性质7 一个上三角矩阵
有
性质8 奇异矩阵行列式为 ,可逆矩阵行列式不为
这里因为我跳着看的,没学过,百度搜了一下,定义是反过来的,奇异矩阵是行列式为
后半条性质很好说,搞成对角矩阵
性质9
用这个性质可以知道
- 证明:
考虑
,而对角矩阵
的性质把因数提出来,也就有
,因为线性组合的关系,不难发现
另一种证明方法是考虑证明
性质10
推论是全
列的存在使行列式也是
,交换两列也会改变符号,证明该性质:
最后,从性质2可以得知,任何一种行交换得到的置换,都可以区分奇偶,那就是国内教材从排列引出行列式的另一种方式了
到这里,满足前三个性质的值称为行列式,但是它的意义我还不理解,维基百科上 说是在方块矩阵上计算得到的标量,几何意义后面也讲了,二阶的、三阶的行列式可以表示面积、体积
§ 行列式公式 & 代数余子式
要求 n阶行列式的计算方法,先从
而对于一个三阶的行列式
我们考虑将其拆分的过程,也就是每行每列只留下一个元素,再排除那些包含零行的情况,得到:
我们考虑每个数字下表中列的部分,可以发现 :交换行的次数奇偶性 和按照行固定顺序后,列数字里面的逆序数奇偶性有关系,这就决定了正负号
至此我们可以尝试推出
可以知道