线性代数之——线性相关性、基和维数

矩阵 $A$ 的列是线性不相关的当且仅当 $Ax=\boldsymbol0$ 的唯一解是 $x=\boldsymbol0$ 。没有其它的线性组合能给出零向量。

在三维空间中，如果三个向量 $v_1, v_2, v_3$ 不在同一个平面中，那它们就是不相关的，只有 $0v_1+0v_2+0v_3$ 能给出零向量。如果三个向量 $v_1, v_2, v_3$ 位于同一个平面中，那它们就是相关的。

一系列向量 $v_1, v_2\cdots v_n$ 是线性不相关的当且仅当给出零向量的唯一线性组合是 $0v_1+0v_2\cdots +0v_n$ 。

如果一个线性组合给出零向量，但不是所有的系数都为零，那么它们就是相关的。

矩阵 $A$ 的列是线性不相关的当且仅当其秩 $r=n$ 。这时候有 $n$ 个主元没有自由变量，零空间中只有一个零向量。

假设在一个矩阵有 5 列，每一列都属于 $R^3$ ，那它们肯定是线性相关的。因为矩阵最多有 3 个主元，那就意味着至少有 5-3=2 个自由变量。

如果 $n>m$ ，那么在 $R^m$ 中的 $n$ 个向量一定是线性相关的。

一系列向量可以扩充出（span）一个空间如果它们的线性组合填满了这个空间。列空间就是所有的列扩充出的子空间。

行空间是由矩阵的行扩充出的子空间， $A$ 的行空间称为 $C(A^T)$ ，它是 $A^T$ 的列空间。

两个向量不能扩充出 $R^3$ 空间，即使它们是不相关的。四个向量如果只扩充出了 $R^3$ 空间，那它们肯定是不是不相关的。我们需要足够的向量来扩充出一个空间，而基就刚刚好。

一个向量空间的基是一组向量，并且满足：它们都是线性不相关的并且它们能扩充出这个空间。

这个空间中的任何向量都可以表示为这些基的线性组合，而且是唯一的线性组合。

向量 $v_1, v_2\cdots v_n$ 是 $R^n$ 的一个基当且仅当它们是一个 $n*n$ 的可逆矩阵的列。因此， $R^n$ 可能有无穷多个基。

矩阵 $A$ 和 $R$ 的行空间是一样的，主行是行空间的一个基；矩阵 $A$ 和 $R$ 的列空间是不一样的，但它们的维数是一样的。

一个向量空间的所有基都包含相同数量的向量，基中向量的个数，称为空间的维数。

假设 $v_1, v_2\cdots v_m$ 和 $w_1, w_2\cdots w_n$ 都是同一个向量空间的基，那么一定有 $m=n$ 。

如果 $m \not = n$ ，我们假设 $n>m$ ，因为 $v_1, v_2\cdots v_n$ 是其中一个基，那么 $w_1, w_2\cdots w_m$ 就都可以表示成它们的线性组合。

我们不知道每一个系数 $a_{ij}$ 的值，但我们知道矩阵 $A$ 的大小为 $m×n$ ，因此 $VAx = 0$ 也就有非零解，也就是 $Wx = 0$ 有非零解，这就是说 $w_1, w_2\cdots w_n$ 是线性相关的，它们不可能是一个基。

同理，我们也可以证明 $m>n$ 是不可能的，因此一定有 $m=n$ 。

一个空间的维数就是每个基中向量的个数。

相关性、基和维数不仅仅局限于向量空间，也适用于矩阵空间和函数空间。

一个包含所有 2×2 矩阵的向量空间，它的维数是 4。

这些矩阵是线性不相关的，我们不仅仅是看它们的列，而是将整个矩阵看作是一个“向量”。

只有当 $c_1 = c_2=c_3=c_4=0$ 时，矩阵才全为零，这也进一步验证了它们是不相关的。

二阶线性微分方程的解空间维数为 2。

空间 $\boldsymbol Z$ 仅仅包含零向量，它的维数为 0，不包含任何向量的空集是它的一个基。任何基中都不能包含零向量，因为这会破坏线性不相关性。

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