高等代数(六)-线性空间05：线性子空间

$\S 5$ 线性子空间
在通常的三维几何空间中,考虑一个通过原点的平面.不难看出,这个平面上的所有向量对于加法和数量乘法组成一个二维的线性空间.
这就是说, 它一方面是三维几何空间的一个部分,
同时它对于原来的运算也构成一个线性空间.
定义 7 数域 $P$ 上线性空间 $V$ 的一个非空子集合 $W$ 称为 $V$
的一个线性子空间(或简称子空间）,如果 $W$ 对于 $V$ 的两种运算也构成数域
$P$ 上的线性空间.
下面我们来分析一下,一个非空子集合要满足什么条件才能成为子空间.
设 $W$ 是 $V$ 的子集合. 因为 $V$ 是线性空间,所以对于原有的运算, $W$
中的向量满足线性空间定义中的规则 1) , 2 ( , 5) , 6 ) , 7 ) , 8 )
是显然的. 为了使 $W$ 自身构成一线性空间,主要的条件是要求 $W$ 对于 $V$
中原有运算具有封闭性, 以及规则 3) 与 4) 成立. 现在把这些条件列在下面:
1. 如果 $W$ 中包含向量 $\alpha$, 那么 $W$ 就一定同时包含域 $P$ 中的数
$k$ 与 $\alpha$ 的数量乘积 $k\mathbf{\alpha }$.
2. 如果 $W$ 中包含向量 $\mathbf{\alpha }$ 与 $\mathbf{\beta }$,
那么 $W$ 就同时包含 $\mathbf{\alpha }$ 与 $\mathbf{\beta }$ 的和
$\mathbf{\alpha }+\mathbf{\beta }$.
3. $0$ 在 $W$ 中.
4. 如果 $W$ 中包含向量 $\mathbf{\alpha }$, 那么
$-\mathbf{\alpha }$ 也在 $W$ 中.
不难看出 3,4 两个条件是多余的, 它们已经包含在条件 1 中作为 $k=0$ 与 -1
这两个特殊情形.因此,我们得到
定理 2 如果线性空间 $V$ 的非空子集合 $W$ 对于 $V$
的两种运算是封闭的,也就是满足上面的条件 1,2 , 那么 $W$ 就是一个子空间.
既然线性子空间本身也是一个线性空间，上面我们引人的概念，如维数、基、坐标等,当然也可以应用到线性子空间上.
因为在线性子空间中不可能比在整个空间中有更多数目的线性无关的向量.
所以,任何一个线性子空间的维数不能超过整个空间的维数.
下面来看几个例子.
例 1 在线性空间中, 由单个的零向量所组成的子集合是一个线性子空间,
它叫做零子空间.
例 2 线性空间 $V$ 本身也是 $V$ 的一个子空间.
在线性空间中,零子空间和线性空间本身这两个子空间有时候叫做平凡子空间，而其他的线性子空间叫做非平凡子空间.
例 3 在全体实函数组成的空间中,所有的实系数多项式组成一个子空间.
例 $4P[x]$ n 是线性空间 $P[x]$ 的子空间.
例 5 在线性空间 $P^n$ 中, 齐次线性方程组
$$\{\begin{array}{c}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0,\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0,\\ \cdots \cdots \cdots \cdots \\ a_{31}{x}_1+a_{22}{x}_2+\cdots +a_{mn}{x}_n=\end{array}$$