【向量空间】

向量空间

先来看一下向量有哪些基本运算？

• 相加减，已知向量$a、b$，我们可以求$a+b$以及$a-b$
• 数乘，我们可以求$3a$等等

所谓向量空间，我们以二维实向量空间为例，我们将其记作$R^2$

• 比如$\left[\begin{array}{c}2\\ 8\end{array}\right]$就是其空间里的一个向量
• 对于其所包含的所有子向量，其必须满足以下几点性质：
  • 对向量进行数乘、相加、以及线性组合，其结果仍然在该向量空间内
  • 0向量必然包含在向量空间内

下面举一个反例，例如我们取$R^2$的第一象限

• 其中的向量都是正数，我们取相加运算并没有任何问题，其结果仍在空间内
• 但当我们取数乘运算，例如我们取$-1$，其结果显然就不在该空间内了
• 因此这个空间不是封闭的，是不完备的，不能看做向量空间

虽然$R^n$是一个向量空间，但我们往往更关注其子空间，那么我们能否在$R^2$中寻找一个子空间呢？

如图所示，对于经过原点的任意一条直线来说，其都是一个向量空间

下面我们再来看如何通过矩阵构造向量空间

• 我们假设有矩阵$$A=\left[\begin{array}{c}13\\ 23\\ 41\end{array}\right]$$
• 如果我们通过其列向量来构建向量空间，那么其必然是$R^3$的子空间
• 它必须满足包含$\left[\begin{array}{c}1\\ 2\\ 4\end{array}\right]和$$\left[\begin{array}{c}3\\ 3\\ 1\end{array}\right]$的所有可能的线性组合而成的向量（最终的结果将是一个经过原点的平面）
• 我们称其为列空间，记作$C(A)$

现在我们再考虑一个新的问题

• 假设我们有一个平面$P\in R^3$是一个向量空间
• 同时我们有一条直线$L\in R^3$是一个向量空间
• 那么$P\cup L$是不是一个向量空间？
• 答案是no，因为其加法运算是不封闭的
• 但是$P\cap L$一定是向量空间

列空间

接下来继续看列空间

• 假设有矩阵如下：$$A=\left[\begin{array}{c}112\\ 313\\ 314\\ 415\end{array}\right]$$
• 那么他的列空间将是$R^4$的子空间，记作$C(A)$
• 那么$A$的所有列都包含于子空间内，并且$A$所有列可能的线性组合构成了这个子空间
• 但是由3个基向量构成的向量空间肯定不是整个四维空间，那么它是什么呢？我们将其与线性方程组连接起来看

对于任意的$b$，$AX=b$这个方程组一定有解吗？

• 这个答案肯定是否定的，因为我们有四个方程组，但却只有三个未知数
  $$AX=\left[\begin{array}{c}112\\ 313\\ 314\\ 415\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right]=\left[\begin{array}{c}{b}_1\\ b_2\\ b_3\\ b_4\end{array}\right]$$
• 虽然通常情况下，这个方程组是无解的，但有些情况下，这个方程组是有解得，让我们来看有解得情况
  • 首先如果$b$是0向量，那么该方程组一定有解
  • 如果$b$是三个列向量中的某一列也一定是有解的
  • 进一步我们可以得到，只有当$b$属于$A$的列空间时，该方程才有解

但是现在有一个问题，我们能否去掉$A$中的某一列，得到相同的线性空间？

• 显然我们可以，因为列3是由列1和列2线性组合得到的
• 因此该列空间就可以描述为$R^4$下的一个二维子空间

零空间

我们继续看$A$的零空间，它是一种完全不同的子空间

• 它将包含所有$AX=0$的解
  $$AX=\left[\begin{array}{c}112\\ 313\\ 314\\ 415\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right]=\left[\begin{array}{c}0\\ 0\\ 0\\ 0\end{array}\right]$$
• 对于这个简单的例子，我们一看就可以看出答案是$\left[\begin{array}{c}c\\ c\\ -c\end{array}\right]$
• 这个子空间将是$R^3$中的一条直线

那么我们为什么可以确定$AX=0$的解一定可以构成向量空间呢?

• 假设$v、w$分别是$AX=0$的两个解，那么我们可以得到：$Av=0,Aw=0$
• 按照向量空间的定义，我们只需要证明$A(v+w)=0$并且$A(cv)=0(c\in R)$即可
  • $A(v+w)=Av+Aw=0$
  • $A(cv)=cAv=0$
• 因此$AX=0$的解一定可以构成向量空间

但是对于其他$AX=b(b\ne 0)$的解显然构不成子空间，因为最基本的0向量都不包含在内