高等代数(六)-线性空间06：子空间的交与和

§ 6 子空间的交与和
在这一节,我们来介绍子空间的两种运算—交与和.
定理 5 如果 $V_1,V_2$ 是线性空间 $V$ 的两个子空间,那么它们的交
$V_1\cap V_2$ 也是 $V$ 的子空间.
证明 首先, 由 $0\in V_1,0\in V_2$, 可知
$0\in V_1\cap V_2$, 因而 $V_1\cap V_2$
是非空的.其次, 如果 $\alpha ,\mathbf{\beta }\in V_1\cap V_2$,
即 $\mathbf{\alpha },\mathbf{\beta }\in V_1$, 而且
$\mathbf{\alpha },\mathbf{\beta }\in V_2$, 那么
$\mathbf{\alpha }+\mathbf{\beta }\in V_1,\mathbf{\alpha }+\mathbf{\beta }\in V_2$,
因此
$\mathbf{\alpha }+\mathbf{\beta }\in V_1\cap V_2$.对数量乘积可以同样地证明.
所以 $V_1\cap V_2$ 是 $V$ 的子空间.
由集合的交的定义可以看出，子空间的交适合下列运算规律：
交换律: $V_1\cap V_2=V_2\cap V_1$;
结合律:
$\left(V_1\cap V_2\right)\cap V_3=V_1\cap \left(V_2\cap V_3\right)$.
由结合律, 我们可以定义多个子空间的交
$$V_1\cap V_2\cap \cdots \cap V_1=\bigcap _{i=1}^n{V}_i,$$
它也是子空间.
定义 8 设 $V_1,V_2$ 是线性空间 $V$ 的子空间,所谓 $V_1$ 与 $V_2$
的和, 是指由所有能表示成
${\mathbf{\alpha }}_1+{\mathbf{\alpha }}_2$, 而
${\mathbf{\alpha }}_1\in V_1,{\mathbf{\alpha }}_2\in V_2$
的向量组成的子集合, 记作 $V_1+V_2$.
定理 6 如果 $V_1,V_2$ 是 $V$ 的子空间,那么它们的和 $V_1+V_2$
也是 $V$ 的子空间.
证明 首先, $V_1+V_2$ 显然是非空的. 其论, 如果
$\dot{\alpha },\dot{\beta }\in V_1+V_2$, 即
$$\begin{array}{ll}\mathbf{\alpha }={\mathbf{\alpha }}_1+{\mathbf{\alpha }}_2,& {\mathbf{\alpha }}_1\in V_1,{\mathbf{\alpha }}_2\in V_2,\\ \mathbf{\beta }={\mathbf{\beta }}_1+{\mathbf{\beta }}_2,& {\mathbf{\beta }}_1\in V_1,{\mathbf{\beta }}_2\in V_2.\end{array}$$

那么
$$\mathbf{\alpha }+\mathbf{\beta }=\left({\mathbf{\alpha }}_1+{\mathbf{\beta }}_1\right)+\left({\mathbf{\alpha }}_2+{\mathbf{\beta }}_2\right)$$
又因 $V_1,V_2$ 是子空间,故有
$${\mathbf{\alpha }}_1+$$