MIT18.06线性代数课程笔记11:矩阵空间、子空间的交和、秩一矩阵
来源:互联网 发布:js input 自定义属性 编辑:程序博客网 时间:2024/05/16 07:04
课程简介
18.06是Gilbert Strang教授在MIT开的线性代数公开课,课程视频以及相关资料请见https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/index.htm。
课程笔记
这部分对向量空间做了一些拓展,介绍了矩阵空间以及解集空间,然后给出了子空间的操作定义:交、和。然后Strang给出了一些对秩一矩阵性质的定理,应该会在后面的章节中证明。
1. 向量空间的扩展
回忆向量空间的定义:满足标量乘法以及加法的结果仍然位于同一集合内的向量集合。具体的
注意到实际上只需要定义对元素的标量乘法以及加法,即可对任意元素定义空间。即对向量空间的拓展。
1.1. 矩阵空间
矩阵空间的元素为任意固定大小的矩阵
空间的维度为基的个数,而
同样的,可以对subspace做拓展,例如对于3维方阵
并且有
1.2. 子空间的操作符:交、和
1.2.1. 子空间的交
子空间的交的操作等同于集合的交集,即
交集能够作为操作符等级存在是因为子空间的交仍然是原空间的子空间,并且是操作数的子空间。证明也很简单:
1.2.2. 子空间的和
注意到子空间的交仍然是子空间,这是一个很好的性质。如果直接使用交集的对应操作:并集,得到的集合却并不是子空间(例如两条线的并集大概率仍然是两条线,并不是子空间;而交集则是一条线或者一个点,均为子空间)。所以对并集做拓展,定义了子空间的和
等价定义是
上诉定义之后,子空间的和仍然是子空间(因为是span,所以必然是子空间)
1.2.3. 子空间的维度与子空间交和维度的关系
先上结论
一个例子可以包含上诉所有定义即定理,写在下面:
原空间为3维方阵
上诉证明基本上都是将基列出来之后进行验证。例如对称矩阵的维度是6,原因是对角线上三个元素可以是三个任意值,然后剩余6个元素两两对应,还有三个任意值,共6维。其余类似
定理的证明:此部分是笔者自己演绎的,Strang在课上并没有证明,所以正确性有待验证,欢迎指教。
在求解空间的维度的时候,可以找到其一组基
Basis(S) 。所以上诉等式两边的基的个数相同即可。Lemma:原空间存在一组包含子空间基的基。即
∃B,Basis(S1)⊆B∧S1 is the basis of S, where S1 is a subspace of S 。这部分可以使用构造法证明,先得到子空间的基,然后将原空间的一组基对子空间作正交,得到一组与子空间正交的元素,然后剩余元素中线性无关元素的个数应该是原空间维度减去子空间维度。定义上诉操作为Basis(S)−Basis(S1) ,则有|Basis(S)−Basis(S1)|=|Basis(S)|−|Basis(S1)| 。那么有
S1+S2=span(Basis(S1))+span(Basis(S2)) =span(Basis(S1)∪Basis(S2)) =span(Basis(S1)+Basis(S2)−Basis(S1∩S2))
以上只是笔者的一些思考,欢迎指教。
1.3. 解集空间
的解集空间为
称解集空间为空间的原因是两个解的和仍然是解,解乘以一个标量仍然是解(这个里面的原因是求导操作具有线性性)。
2. 秩一矩阵
所谓秩一矩阵,即秩为1的矩阵。
定理:任意秩一矩阵可以分解为列向量和行向量的乘积,即
这个证明也是笔者自己演绎的。回忆矩阵乘法的多种解释方式,右乘一个行向量等价于对左操作数的多种线性组合。基于是行向量,所以均为
u 的倍数,所以r(uvT)=1 。进一步,因为r(A)=1 ,所以其列向量实际上均互为倍数,所以可以很方便的找到u,v for anyA:r(A)=1 。例如已知
A∈R2×3,r(A)=1 ,第一列为[2,3]T 。因为r(A)=1 ,所以第二列和第三列必须为第一列的倍数,假设第二列为[1,1.5]T ,以及第三列为[4,6]T 。那么容易发现A=[2,3]T[1,0.5,2] 。
然后Strang又提出了一个定理:任意矩阵
Strang同样没有给出证明,如果可以使用SVD的话倒是显而易见,但是笔者猜测这个是要用于证明SVD的,所以会引入循环论证。如果不使用SVD的话,笔者猜测是要用到消元法中的性质,有些麻烦,先不证了。
从上面的定理的一个直接推理是:
再来一个推理是:所有秩小于
- MIT18.06线性代数课程笔记11:矩阵空间、子空间的交和、秩一矩阵
- MIT18.06线性代数课程笔记15:子空间投影矩阵
- MIT18.06线性代数课程笔记18:矩阵行列式的性质
- MIT18.06线性代数课程笔记14:正交子空间、A^TA的Null Space
- MIT18.06线性代数课程笔记1:矩阵和向量相乘的三种解释
- MIT18.06线性代数课程笔记9:线性无关、向量拓展空间、空间的基、空间维度
- MIT18.06线性代数课程笔记17:正交标准矩阵
- MIT18.06线性代数课程笔记8:求解Ax=b、矩阵的秩以及矩阵的逆
- MIT18.06线性代数课程笔记2a:矩阵相乘的三种看待角度
- MIT18.06线性代数课程笔记3a:矩阵相乘的五种看待角度
- MIT18.06线性代数课程笔记3b:矩阵的逆元
- MIT18.06线性代数课程笔记4a:矩阵的LU分解
- 【线性代数】矩阵的四个基本子空间
- MIT18.06线性代数课程笔记20:矩阵逆元计算、克里默法则 以及 行列式与volume、外积的关系
- MIT18.06线性代数课程笔记4b:打乱矩阵集合及相关性质
- MIT18.06线性代数课程笔记5:矩阵转置,vector space以及subspace
- MIT18.06线性代数课程笔记19:矩阵行列式公式与代数余子式
- 【线性代数】矩阵的零空间
- [LeetCode] Longest Valid Parentheses
- Hadoop总结
- 笨办法学python习题3 数字和数学计算
- CentOS安装JDK并配置环境变量
- Jetty 的工作原理以及与 Tomcat 的比较
- MIT18.06线性代数课程笔记11:矩阵空间、子空间的交和、秩一矩阵
- 计算电费
- 《大型分布式网站价格设计与实践》读书笔记
- 【Git】git status 中文文件名编码问题解决
- 第6章 函数
- java面试总结-5
- java中equals与hashcode的方法使用
- 【设计模式】--TEMPLATE METHOD 模式 和 STRATEGY 模式 :继承和委托
- 深入浅出 Python Iterators 迭代器