线代--矩阵的四大空间①②:矩阵的行空间和列空间

由前章节线代--子空间和维度可知对于求解由个维向量生成的空间的维度问题，可以通过删去这一组向量中线性相关的向量后剩下的线性无关向量就是它们生成的空间的一组基，这组基包含的向量的个数就是生成的空间的维度。换句话说，给出一组维向量，要求出其生成的空间的维度，就得找出这组向量中有多少向量和其它向量是线性相关的，然后要把这些向量删除掉。

对于求一组向量生成的空间的维度这种问题，简单的如“求被向量生成的空间的维度”可以简单通过肉眼进行判断出和是线性相关的，如果是对于更高维的向量，其实就很难通过肉眼判断向量间的线性相关了。其实对这类问题有更系统的解法

回忆"高斯-约旦"消元法，一个矩阵消元后的每一行其实就是原来矩阵各行的一个线性组合的结果。

通过高斯消元这种方式，可以很方便地根据行最简形式的全零行确定出可以由其它行向量的线性组合所表示的向量。

因此，对于给出一组维向量，求它们生成的空间的维度，要求就是找到这组向量中有多少向量是和其它向量线性相关！
我们可以将这组向量按照行排列成一个矩阵
然后执行高斯-约旦消元法(化为)
最后得到的矩阵行最简形式中非零行的个数即为其生成空间的维度。

---

1、矩阵的行空间

对于一个矩阵，

矩阵的行向量和列向量

• 由行向量生成的空间，称为;
• 由列向量生成的空间，称为。

1.1矩阵的行空间维度

对于一个行列的矩阵，是一个维空间的子集,因为每个行向量都是包含个实数的有序元组，这些向量本身属于一个维空间，由这些向量生成的空间也就是行空间只能是维空间的子集； 列空间则是一个维空间的子集。

具体求一个矩阵的的维度，根据上面的"高斯-约旦消元法"对矩阵按行化简为矩阵最简形式后看非零行的数量,这个的非零行数量就是的维度。其中关于一个矩阵的行最简形式的非零行数量还有另一个称呼叫做，秩一词的意思就是秩序的意思，对行最简形式的非零行进行排序，排序后的结果表示的就是矩阵行最简形式的非零行数量。
这里阐述了矩阵的行秩和空间上的维度之间的联系。

需要注意维度和行秩两个概念的作用对象是不一样的:
对于空间来说，空间是有维度的，但是空间是没有行秩的，只有矩阵有行秩，但是矩阵是没有维度的。

1.2矩阵的行空间的基

对于一个矩阵的行空间，将矩阵化为行最简形式()后，其中矩阵行最简形式的非零行向量就是矩阵的行空间的一组基。

对于一开始由向量 组成的矩阵 的行空间来说，其实就是矩阵 化简后的行最简形式 的行空间，矩阵 和矩阵 这两个矩阵的行空间是完全一样的。

证明:矩阵和矩阵这两个矩阵的行空间是完全一样的
对于矩阵的行向量生成的行空间来说，这个空间的每一个向量都可以由矩阵的行向量的一个线性组合所表示。
又 基于高斯消元法，从矩阵通过矩阵的基本行变换得到的矩阵中的每一行也是原来中各行的一个线性组合的结果。
矩阵中的每一行都是矩阵中的各行的线性组合，所以矩阵的行空间的所有向量可以由矩阵中的向量所表示。同时矩阵中的每个行向量也可以表示为矩阵中的各行的线性组合，所以矩阵的行空间的所有向量可以通过矩阵中的行向量进行表示。

综上，矩阵的行空间和矩阵的行空间是完全一样的。所以的行空间的基就是的行空间的基，的行空间的基就是的行空间的基。因为是的行最简形式，所以中的行向量已经是线性无关的，所以的行空间的基就是中的非零行向量。

因此，对于由向量 组成的矩阵的行空间 ，化为行最简形式后其中的非零行向量有 和 两个，所以矩阵的行空间维度为2，同时矩阵的行空间的一组基即为 和 。

---

2、矩阵的列空间

除了通过找出一组向量中线性相关向量进行删除的方式计算“被向量生成的空间”的维度这种方法。
另一种方法我们还可以直接计算一组向量是否线性无关:

对于求解这个齐次线性系统，把系数矩阵化为行最简形式为 ,可以看到这个行最简形式中只包含两个主元列(pivot)，也就是 矩阵的第1列和第3列,还包含有一个 ，在 上的未知数可以取任意实数，所以这个齐次线性系统存在无穷解，所以不存在唯一零解使得 ，因此这三个向量是线性相关的。

进一步分析，可以发现系数矩阵的行最简形式中，自由列的个数，其实就是可以表示为其它向量线性组合的向量的个数，如这里就表示为； 然后主元列的个数，就是线性无关的向量的个数，也是这个3个向量所生成的空间的维度。

这种方式其实就是把向量按列的方式排列成矩阵，转而研究矩阵的列空间，将矩阵化为行最简形式后其中主元列的个数，就是列空间的维度，也称为。在列向量空间中，原矩阵化为行最简形式后主元列对于的原矩阵的列，才是列空间的一组基，这些主元列本身不是列空间的一组基，如上示例的向量按列排列得到的矩阵化为行最简形式后主元列为第一和第三列，那么列空间的基应是原矩阵中的向量和，并不是矩阵行最简形式中的和。

注意：

综上，矩阵的列向量构成的列空间分析中，化矩阵为行最简形式后有用的信息主要是关于主元的，其中主元的数量等于列空间的维度，主元所在的列号可以对于原矩阵取出列向量生成空间的基。

---