线性代数之——正交向量与子空间

1. 正交子空间

两个向量垂直，意味着 。

两个子空间 和 是正交的，如果 中的每个向量 都垂直于 中的每个向量 。

想象你处在一个房间里，那么地面是一个子空间 ，两面墙的交线是另一个子空间 ，这两个子空间是正交的。

两面看起来垂直的墙不是正交的，因为它们相交于一条直线，这条直线同时存在于两个子空间，它不可能自己垂直于自己。

两个 空间中的二维平面不可能正交，当两个子空间的维数之和大于整个空间的维数时，这两个子空间肯定不是正交的。

如果一个向量同时位于两个正交的子空间内，那这个向量一定是零向量，只有零向量自己垂直于自己。

零向量是零空间和行空间的唯一交点，并且零空间和行空间是 中正交的两个子空间。

由 可得，行空间中的每个向量和零空间中的每个向量都是垂直的，因此它们是正交的子空间。

另一方面， 是对 的行的线性组合，那么有

即，所有 的行的线性组合都垂直于 。

左零空间和列空间是 中正交的两个子空间。

2. 正交补

基本空间不仅仅是正交的，它们的维数也刚刚好。行空间的维数为 ，零空间的维数为 ，和为 。列空间的维数为 ，左零空间的维数为 ，和为 。

空间中的两条直线也可以是垂直的，但它们不可能是一个 3×3 矩阵的行空间和零空间。

一个子空间 的正交补（orthogonal complement）包含所有垂直于 的向量 ，称为 。

由这个定义，那么零空间 是 中行空间 的正交补，左零空间 是 中列空间 的正交补。

补的意思是说每个向量 ，都可以表示为行空间分量 和零空间分量 的和，那么有：

所有的向量都去到了列空间，乘以 后没有做其它的事情。

而且，任何列空间中的向量 都来自于行空间中的唯一一个向量。如果有 ，那么 就位于零空间中，而且它也位于行空间中，所以它一定为零向量，也就是 。

3. 基和子空间

任何 空间中的 个不相关向量一定扩充出 空间，因此它们是一个基。

任何扩充出 空间的 个向量一定是不相关的，因此它们是一个基。

如果 中的 列是不相关的，则它们扩充出 空间，因此 是可解的。

如果 列扩充出 空间，则它们是不相关的，因此 有唯一解。

获取更多精彩，请关注「seniusen」!