线性代数的核心思想
参考
这一节 Prof. Gilbert Strang 推荐另一门他主讲的课程 MIT 18.085 Computational Science and Engineering I, Fall 2008,并在本课以其中一节 Recitation 1: Key Ideas of Linear Algebra 为主要内容。
线性代数的发展
矩阵与向量相乘 两种理解角度
- 矩阵基于向量的线性组合 Linear Combination:,其中:,, 称为标量 scaler。
可以用线性组合的观点来理解矩阵与向量相乘,将 A 看作是由列向量(、、)构成列数为 3 的矩阵,则向量 各元素 、、 作为系数,因此矩阵与向量相乘 是矩阵 的各列基于向量 的相应元素进行线性组合Subspace 子空间
- ,, 当 ,, 取遍所有的 上的值,分别会构成一条直线,称为一维子空间
- 类似地,(如果 与 方向不同) 与 构成一个平面
- (如果 、、 三者方向不同)而三者 ,, 共同构成一个三维空间
- 向量基于矩阵的差异转换 different transform:如果矩阵为差异矩阵或求和矩阵,则矩阵与向量相乘所得到的结果向量,观察它各个元素,可以发现是由原向量的元素之间相减或相加构成的。
因此这种特殊的矩阵与向量相乘 ,可以将矩阵 看作是实现将向量 到 的转换;当矩阵为可逆矩阵 inverse 时,会有 ,相应地可以将矩阵 看作是将向量 到 的转换
当矩阵 为 则有 为
- 基于列形式,可以将矩阵看作是由列向量组成的,因此矩阵与向量相乘可以看作是矩阵的各列进行了线性组合。
- 基于行形式,矩阵与向量相乘,看作是矩阵的每一行与向量相乘(点乘)
向量空间是在线性组合下闭合的向量的集合,即由向量的所有可能的线性组合构成的。
子空间是指矩阵的列构成的向量,它们的所有可能的线性组成所覆盖的空间维度,如果低于向量原来可以表示的最大维度空间,则该子空间是真子空间。
对于矩阵 每一列作为向量,分别是:
由于 ,因此矩阵 的列组成的向量所有可能的线性组合得出的向量集合,覆盖的空间维度低于 ,它是 的二维子空间。因此对于 ,会存在某些向量 (不在矩阵 构成的子空间/平面上的向量),使得无法求出 让等式成立。
将矩阵 形式写成方程组形式
根据前面的分析 ,即唯有向量 各元素满足 时才可以求出对应的方程组解 (向量)。
零空间
一个向量空间最小的子空间是零向量,在几何形式就是原点。
空间 的基 basis 是由 个 维的「独立」向量组成。从矩阵的角度考虑,就是采用可逆矩阵的各列所组成的向量集合来作为基。