【矩阵理论1.1-1.3】

第一章 线性空间

1.1 线性空间

1 定义（线性空间）

给定非空集合$V$和域 $\mathbb{F}$，
若存在映射 $\sigma$ ：$V\times V\to V$，则称 $\sigma$ 为 $V$上 的加法，并记 $\sigma (v_1,v_2)=v_1+v_2$；
若存在映射 $\tau$ ：$V\times \mathbb{F}\to V$，则称 $\tau$ 为 $V$和 $\mathbb{F}$之间的数乘法，并记为 $\tau (v,k)=v\cdot k$；
若这两种运算满足“通常的运算规则”，则称集合 $V$关于此加法和数乘法是域 $\mathbb{F}$上的线性空间。
“通常的运算规则”：（共8条）

加法	运算规则
交换律	$v_1+v_2=v_2+v_1$
结合律	$(v_1+v_2)+v_3=v_1+(v_2+v_3)$
有零元	$\exists e\in V$, 满足$e+v=v$
有负元	对 $\forall v\in V,\exists a\in V$，使 $v+a=e$. 记 $a=-v$.

数乘法	运算规则
分配律1	$(v_1+v_2)\cdot k=v_1\cdot k+v_2\cdot k$
分配律2	$v\cdot (k_1+k_2)=v\cdot k_1+v\cdot k_2$
与$F$中乘法的关系	$v\cdot (k\cdot l)=(v\cdot k)\cdot l$
与$F$中1的关系	$v\cdot 1=v$

注1：判断 $V$是否为 $\mathbb{F}$上的线性空间分为4个步骤：
1）$V$是什么；
2）加法如何定义；
3）数乘法如何定义；
4）这两种运算是否经得起8条检验。
注2：分配律2中等号两边“+”的含义不同。
注3：与$F$中乘法的关系，等号两边括号中的乘法含义不同。
注4：引入“线性空间”的动机及用途——为了把经典数学笛卡尔解析几何中用代数的方法研究欧几里德几何空间 的数学思想尽可能经过抽象提炼开拓到应用范围更广的领域中去。

2 线性空间举例

例1：$\mathbb{F}$上的标准线性空间 ${\mathbb{F}}^n$

$V:={\mathbb{F}}^n=\mathbb{F}\times \mathbb{F}\times \cdots \times \mathbb{F}$
加法：$\left[\begin{array}{c}{v}_1\\ v_2\\ ⋮\\ v_n\end{array}\right]+\left[\begin{array}{c}{w}_1\\ w_2\\ ⋮\\ w_n\end{array}\right]=\left[\begin{array}{c}{v}_1+w_1\\ v_2+w_2\\ ⋮\\ v_n+w_n\end{array}\right]$
数乘法：$\left[\begin{array}{c}{v}_1\\ v_2\\ ⋮\\ v_n\end{array}\right]\cdot k=\left[\begin{array}{c}{v}_{1}k\\ v_{2}k\\ ⋮\\ v_{n}k\end{array}\right]$

例2：几何空间作为线性空间

——（研究线性空间的全部动机）

V = { 空间有向线段的全体 } V = \left\{ {空间有向线段的全体} \right\} V={空间有向线段的全体}
$\mathbb{F}=实数域\mathbb{R}$
加法：平行四边形法则
数乘法：同向或反向伸缩
注：当两条有向线段经过平移能够重叠，则把这两条线段看成一条线段。

例3：函数空间

注：控制领域，信号的全体构成函数空间

笛卡尔利用坐标系将几何学转化为代数学，抽象到一般的线性空间中，什么样的向量组可以类比坐标系？——线性相关性理论

3 向量组的线性相关性及其矩阵描述

（1）向量组及向量组拼成的抽象矩阵

设 $V$是 $\mathbb{F}$上的线性空间
向量组：${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p$（ { α i } \left\{ {{\alpha _i}} \right\} {αi​} 是$V$ 中的元素）
抽象矩阵：$\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p\right]$

（2） 向量描述

线性相关：
$\exists k_1,k_2,\cdots ,k_p\in \mathbb{F}$ 不全为0，使得${\alpha }_1{k}_1+{\alpha }_2{k}_2+\cdots {\alpha }_p{k}_p=0$ 成立。

线性无关：
$\forall k_1,k_2,\cdots ,k_p\in \mathbb{F}\ne 0$，都有 ${\alpha }_1{k}_1+{\alpha }_2{k}_2+\cdots {\alpha }_p{k}_p\ne 0$ 。

逆否命题：若 ${\alpha }_1{k}_1+{\alpha }_2{k}_2+\cdots {\alpha }_p{k}_p=0$ 成立，则有 $k_1=k_2=\cdots =k_p=0$。

（3） 矩阵描述

齐次线性方程组 $\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p\right]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_p\end{array}\right]=0$，即 $A\mathbf{x}=0$。

线性相关： 齐次线性方程组 $A\mathbf{x}=0$ 有非零解；
线性无关： 齐次线性方程组 $A\mathbf{x}=0$ 只有零解。

将是否线性相关的抽象问题转化为求解方程是否有非零解的代数问题

4 两个向量组之间的线性表示及其数学描述

（1）向量描述

给定 { α i } p \left\{ {{\alpha _i}} \right\}_p {αi​}p​, { β j } s \left\{ {{\beta _j}} \right\}_s {βj​}s​, $\beta$

1. 称 $\beta$ 可由 { α i } p \left\{ {{\alpha _i}} \right\}_p {αi​}p​ 线性表示 $\iff$ $\exists k_1,k_2,\cdots ,k_p\in \mathbb{F}$，使 $\beta ={\alpha }_1{k}_1+{\alpha }_2{k}_2+\cdots {\alpha }_p{k}_p$；
2. 称 { β j } s \left\{ {{\beta _j}} \right\}_s {βj​}s​ 可由 { α i } p \left\{ {{\alpha _i}} \right\}_p {αi​}p​ 线性表示 $\iff$ 每一个 ${\beta }_j$ 都可以由 { α i } p \left\{ {{\alpha _i}} \right\}_p {αi​}p​ 线性表示。

（2）矩阵描述

1. 非齐次线性方程组：$\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p\right]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_p\end{array}\right]=\beta$，即 $A\mathbf{x}=\beta$
   称 $\beta$ 可由 { α i } p \left\{ {{\alpha _i}} \right\}_p {αi​}p​ 线性表示 $\iff$ 非齐次线性方程组 $A\mathbf{x}=\beta$ 有解。
2. 矩阵方程：
   $\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p\right]\left[\begin{array}{cccc}{x}_{11}& x_{12}& \cdots & x_{1q}\\ x_{21}& x_{22}& \cdots & x_{2q}\\ ⋮& ⋮& \ddots & ⋮\\ x_{p1}& x_{p2}& \cdots & x_{pq}\end{array}\right]=\left[{\beta }_1,{\beta }_2,\cdots ,{\beta }_q\right]$，即$A\mathbf{X}=B$
   称 { β j } s \left\{ {{\beta _j}} \right\}_s {βj​}s​ 可由 { α i } p \left\{ {{\alpha _i}} \right\}_p {αi​}p​ 线性表示 $\iff$ 矩阵方程 $A\mathbf{X}=B$ 有解。

5 向量组的极大线性无关子组

（1）定义

1. 子组：${\beta }_1,{\beta }_2,\cdots ,{\beta }_s$ 称为 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p$ 的子组：从母序列中挑出一个子序列构成向量组，这个子序列构成的向量组为原来母序列的子组。
2. 子组 ${\beta }_1,{\beta }_2,\cdots ,{\beta }_s$ 称为 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p$ 的极大线性无关子组： { β j } s \left\{ {{\beta _j}} \right\}_s {βj​}s​ 线性无关；若 { γ k } t \left\{ {{\gamma _k}} \right\}_t {γk​}t​ 也是 { α i } p \left\{ {{\alpha _i}} \right\}_p {αi​}p​ 的子组，$s<t$，则 { γ k } t \left\{ {{\gamma _k}} \right\}_t {γk​}t​ 线性相关。

注： 2.等价于如下表述： ∀ α i ∈ { α i } p \forall{\alpha _i}\in\left\{ {{\alpha _i}} \right\}_p ∀αi​∈{αi​}p​, ${\alpha }_i$ 都可由 { β j } s \left\{ {{\beta _j}} \right\}_s {βj​}s​线性表示。

（2）命题

母组可由其极大线性无关子组线性表示。

（3）定理

向量组的极大线性无关子组所含向量的个数是唯一的。

证明：（反证法）
$A=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p\right]$
$B=\left[{\beta }_1,{\beta }_2,\cdots ,{\beta }_s\right]$
$C=\left[{\gamma }_1,{\gamma }_2,\cdots ,{\gamma }_t\right]$
{ β j } s \left\{ {{\beta _j}} \right\}_s {βj​}s​， { γ k } t \left\{ {{\gamma _k}} \right\}_t {γk​}t​都是 { α i } p \left\{ {{\alpha _i}} \right\}_p {αi​}p​的极大线性无关子组。
设 $s<t$
$BX=A$ 有解，$AY=C$ 有解，故 $BZ=C$ 有解，且$Z=XY\in {\mathbb{R}}^{s\times t}$。
引理：扁的齐次线性方程组必有非零解（数学归纳法证明）
利用引理可得 $ZW=0$ 有非零解 $W\ne 0$，则 $B(ZW)=CW=0$ 有非零解$W$，与向量组 { γ k } t \left\{ {{\gamma _k}} \right\}_t {γk​}t​线性无关矛盾。
同理可证 $s>t$ 也矛盾
故 $s=t$。

6 向量组的秩（rank）

向量组的极大线性无关子组所含向量的个数成为向量组的秩。

1.2 基与坐标

1 定义（有限维线性空间、基、坐标）

$V$是 $F$ 上的线性空间，若有正整数 $n$ 及 $V$中的向量组 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 使得：
1） { α i } \left\{ {{\alpha _i}} \right\} {αi​} 线性无关
2） （生成性）$\forall \alpha \in V$，均可由 { α i } \left\{ {{\alpha _i}} \right\} {αi​} 线性表示。
$$\alpha ={\alpha }_1{k}_1+{\alpha }_2{k}_2+\cdots +{\alpha }_n{k}_n=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right]$$
则称 $V$是 $n$ 维线性空间。 { α i } \left\{ {{\alpha _i}} \right\} {αi​} 称为 $V$ 的一个基（坐标系），$\left[\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right]\in {\mathbb{F}}^n$ 称为 { α i } ∈ V \left\{ {{\alpha _i}} \right\}\in V {αi​}∈V 沿着该基的坐标向量。
$$\left[\begin{array}{c}抽\\ 象\\ 向\\ 量\end{array}\right]=\left[基矩阵\right]\left[\begin{array}{c}坐\\ 标\\ 向\\ 量\end{array}\right]$$

2 命题（维数的唯一性）

设 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 及 ${\beta }_1,{\beta }_2,\cdots ,{\beta }_m$ 分别是 $V$ 的两个基，则 $m=n$。
思路：根据向量组的极大线性无关子组所含向量的个数是唯一的，如果可以证明${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 和 ${\beta }_1,{\beta }_2,\cdots ,{\beta }_m$ 都是这个向量组的极大线性无关子组，则 $m=n$。
证明：
因为 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 是$V$的一个基，所以 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 线性无关，且$V$中的每个元素都可用 { α i } \left\{ {{\alpha _i}} \right\} {αi​} 线性表示。
所以 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 及 ${\beta }_1,{\beta }_2,\cdots ,{\beta }_m$构成的向量组中的每一个元素都可以用 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 表示。
所以 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 是极大线性无关组。
同理 ${\beta }_1,{\beta }_2,\cdots ,{\beta }_m$ 也是极大线性无关组。
故$m=n$。

3 定理（基/坐标系实现了有限维抽象线性空间到标准空间的一一对应）$V⟺{\mathbb{F}}^n$

如果两个集合之间是一一对应的，从抽象的观点讲，这两个集合在数学上是一样的（同构的）
笛卡尔实现了将几何问题翻译成代数问题——建立坐标系
现在要通过建立坐标系，将“用代数的方法研究几何”模拟到抽象的线性空间上。
注1： 映射的定义
$f:A\to B$
（a） $\forall a\in A$， 有 $b\in B$ 与 $a$ 对应。
（b）与 $a$ 对应的 $b$ 是唯一的。
注2： 一一对应的定义
$\sigma :S_1\to S_2$ 是映射，且满足：
（c） $\forall s_2\in S_2$，有$\forall s_1\in S_1$ 与$s_2$ 对应。
（d）与$s_2$ 对应的$s_1$是唯一的。（即 若$s_2={s_2}^{,}$，则$s_1={s_1}^{,}$）

抽象线性空间 $V$， ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 是 $V$ 的一个基。求证：$\sigma :V\to {\mathbb{F}}^n$ 是一一对应的。
证明步骤：1）证明$\sigma :V\to {\mathbb{F}}^n$ 是映射，即满足（a）和（b）；2）证明$\sigma :V\to {\mathbb{F}}^n$满足（c）和（d）。
证明：
（a）由于 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 是 $V$ 的一个基，
所以，$\forall v\in V$，有 $v={\alpha }_1{k}_1+{\alpha }_2{k}_2+\cdots +{\alpha }_n{k}_n=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right]$
故 $\forall v\in V$，有$\left[\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right]\in {\mathbb{F}}^n$ 与之对应。
（b）假设与 $v$ 对应的 $k$ 不唯一，即$\exists \left[\begin{array}{c}{k_1}^{,}\\ {k_2}^{,}\\ ⋮\\ {k_n}^{,}\end{array}\right]$ 与 $v$ 对应，则
$v=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right]=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{k_1}^{,}\\ {k_2}^{,}\\ ⋮\\ {k_n}^{,}\end{array}\right]$
从而有$\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{k}_1-{k_1}^{,}\\ k_2-{k_2}^{,}\\ ⋮\\ k_n-{k_n}^{,}\end{array}\right]=0$
由于 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 是 $V$ 的一个基，从而 $k_i-{k_i}^{,}(i=1,\cdots ,n)$。
（c）$\forall k\in \left[\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right]\in {\mathbb{F}}^n$，有$v=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right]$与之对应。
（d）若 $k^{,}=k$，则$v^{,}=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{k_1}^{,}\\ {k_2}^{,}\\ ⋮\\ {k_n}^{,}\end{array}\right]=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right]=v$
得证。

4 ${\mathbb{F}}^n$ 的标准基（单位矩阵的列向量）和一般基（秩为n）

（1）标准基

$e_1=\left[\begin{array}{c}1\\ 0\\ ⋮\\ 0\end{array}\right]$，$e_2=\left[\begin{array}{c}0\\ 1\\ ⋮\\ 0\end{array}\right]$，$\cdots$，$e_n=\left[\begin{array}{c}0\\ 0\\ ⋮\\ 1\end{array}\right]$ 是${\mathbb{F}}^n$ 的标准基。
1）无关性
$e_1{k}_1+e_2{k}_2+\cdots +e_n{k}_n=0$ 只有零解 $k_i=0(i=1,\cdots ,n)$。
2）可表示性
$\forall v=\left[\begin{array}{c}{c}_1\\ c_2\\ ⋮\\ c_n\end{array}\right]$，则 $v=\left[e_1,e_2,\cdots ,e_n\right]\left[\begin{array}{c}{c}_1\\ c_2\\ ⋮\\ c_n\end{array}\right]$ 有解 $x=v$。
标准基向量拼成的矩阵是单位矩阵，单位矩阵的列向量组是标准基向量组。

（2）一般基

${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\in {\mathbb{F}}^n$ 构成基的充要条件是向量组的秩为n，即 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 线性无关。
$\beta \in {\mathbb{F}}^n$ 在 { α i } \left\{ {{\alpha _i}} \right\} {αi​} 下的坐标为 $A\mathbf{x}=\beta$ 的解。
将抽象向量 $\beta$ 沿着系数矩阵 $A$ 的列向量展开求坐标的问题（几何问题）转化为了求解线性方程组 $A\mathbf{x}=\beta$ 的问题（代数问题）。

5 无限维空间举例（多项式函数）

F [ X ] = { f ∣ f ∈ F ( F , F ) , 且 f 可写为多项式 } \Bbb F[X]=\left\{f|f \in \mathscr F(\Bbb F,\Bbb F),且 f 可写为多项式\right\} F[X]={f∣f∈F(F,F),且f可写为多项式}——无限维
F n [ X ] = { 次数 < n ，以 F 中的数为系数的多项式 } \Bbb F_n[X]=\left\{次数<n，以\Bbb F中的数为系数的多项式\right\} Fn​[X]={次数<n，以F中的数为系数的多项式}——有限维
注：$\mathbb{F}=\mathbb{R}$时，${\mathbb{R}}_n[X]$ 是n维的，$\mathbb{R}[X]$是无限维的。
（1）${\mathbb{R}}_n[X]$ 。取 $1,x,\cdots ,x^{n-1}$，说明它们是 ${\mathbb{R}}_n[X]$ 的一个基。
思路：1）无关性：$\left[1,x,\cdots ,x^{n-1}\right]\left[\begin{array}{c}{a}_0\\ a_1\\ ⋮\\ a_{n-1}\end{array}\right]=0$是否只有零解？2）可表示性
证明：
1）无关性：
取 $x=1,2,\cdots ,n$ 代入，得：
$$\left[\begin{array}{cccc}{1}^0& 1^1& \cdots & 1^{n-1}\\ 2^0& 2^1& \cdots & 2^{n-1}\\ ⋮& ⋮& \ddots & ⋮\\ n^0& n^1& \cdots & n^{n-1}\end{array}\right]\left[\begin{array}{c}{a}_0\\ a_1\\ ⋮\\ a_{n-1}\end{array}\right]=A\left[\begin{array}{c}{a}_0\\ a_1\\ ⋮\\ a_{n-1}\end{array}\right]=0$$
由于$\left|A\right|\ne 0$ （A是范德蒙矩阵），故 $a_0=a_1=\cdots =a_{n-1}=0$。
2）可表示性
$\forall f\in {\mathbb{R}}_n[x]$，则 $f=a_0+a_1{x}^1+\cdots +a_{n-1}{x}^{n-1}=\left[1,x,\cdots ,x^{n-1}\right]\left[\begin{array}{c}{a}_0\\ a_1\\ ⋮\\ a_{n-1}\end{array}\right]=0$
得证。

（2）$\mathbb{R}[X]$。$\forall f_1,\cdots ,f_N\in \mathbb{R}[x]$都不是 $\mathbb{R}[x]$ 的基
证明：
记 $d_i=\partial (f_i)=(f_i的次数)，i=1,\cdots ,N$
取 d = max ⁡ { d 1 , ⋯   , d N } d=\max \left\{d_1, \cdots ,d_N \right\} d=max{d1​,⋯,dN​}，可证 $x^{d+1}\in \mathbb{F}[x]$ 不能由 $f_i$ 线性表示。
（反证）若 $x^{d+1}$ 可由 $f_i$ 线性表示，则有$x^{d+1}=a_1{f}_1+a_2{f}_2+\cdots +a_N{f}_N=b_0{x}^0+b_1{x}^1+\cdots +b_d{x}^d$
于是 $b_0{x}^0+b_1{x}^1+\cdots +b_d{x}^d-x^{d+1}=0$
$\Rightarrow$ $b_0=b_1=\cdots =b_d=-1=0$
与 $-1\ne 0$矛盾。得证。
注： 多项式的全体不是有限维的

1.3 子空间

1 定义（子空间）

设 $V$ 是 $\mathbb{F}$ 上的线性空间，$W\subseteq V$ 是非空子集。若
1）对加法封闭
$\alpha ,\beta \in W\Rightarrow \alpha +\beta \in W$
2）对数乘法封闭
$k\in \mathbb{F},\alpha \in W\Rightarrow \alpha k\in W$
则称 $W$ 是 $V$ 的一个子空间。
**注：**子空间 $W$ 按 $V$ 中原有的加法和数乘法也构成线性空间。
加法：$V\times V\to V$；$W\times W\to W$（子空间）

2 例1：子空间

$W$ 是 $V$ 的一个子空间（起点在原点，终点在 $W$上的所有有向线段的集合），但$W^{,}$ 不是$V$ 的子空间。

3 例2：向量组生成的子空间及子空间的生成组

（1）向量组生成的子空间（$W$）

${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p$ 是向量组（一般向量组）
记 W = s p a n { α 1 , α 2 , ⋯   , α p } = { α 1 c 1 + α 2 c 2 + ⋯ + α p c p ∣ c i ∈ F , i = 1 , ⋯   , p } = { 向量组 α i 的线性组合 } W=span\{\alpha_1,\alpha_2,\cdots,\alpha_p\}=\{\alpha_1c_1+\alpha_2c_2+\cdots+\alpha_pc_p|c_i\in \Bbb F,i=1,\cdots,p\}=\{向量组\alpha_i的线性组合\} W=span{α1​,α2​,⋯,αp​}={α1​c1​+α2​c2​+⋯+αp​cp​∣ci​∈F,i=1,⋯,p}={向量组αi​的线性组合}
则 W = s p a n { α 1 , α 2 , ⋯   , α p } W=span\{\alpha_1,\alpha_2,\cdots,\alpha_p\} W=span{α1​,α2​,⋯,αp​} 是 $V$的一个子空间。称为向量组 ${\alpha }_i$所生成的子空间。

在向量组给定的情况下，让线性组合的系数跑个遍，跑出来的轨迹的全体是子空间
证明：
$w_1={\alpha }_1{c}_1+{\alpha }_2{c}_2+\cdots +{\alpha }_p{c}_p$ ($w_1\in W$)
$w_2={\alpha }_1{c}_1^{,}+{\alpha }_2{c}_2^{,}+\cdots +{\alpha }_p{c}_p^{,}$ ($w_2\in W$)
则 $w_1+w_2={\alpha }_1(c_1+c_1^{,})+{\alpha }_2(c_2+c_2^{,})+\cdots +{\alpha }_p(c_p+c_p^{,})$ ($w_1+w_2\in W$)

（2）子空间的生成组（${\alpha }_i$）

已知 $W$，若有向量组 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_p$ 使 W = s p a n { α 1 , α 2 , ⋯   , α p } W=span\{\alpha_1,\alpha_2,\cdots,\alpha_p\} W=span{α1​,α2​,⋯,αp​}，则称 ${\alpha }_i$ 为子空间的生成组。
生成组的概念提供了子空间的一种表现方式
子空间的所有元素不可能一一表示出来，但生成组是可以写出来的

4 例3：$A\in {\mathbb{F}}^{m\times n}$ 的核与像

（1） K e r A = { x ∣ x ∈ F n , A x = 0 } KerA=\{x|x\in\Bbb F^n,Ax=0\} KerA={x∣x∈Fn,Ax=0} 是 ${\mathbb{F}}^n$ 的子空间。
（2） i m A = { y ∣ y ∈ F m , ∀ x ∈ F n 使 y = A x } = { A x ∣ x ∈ F n } imA=\{y|y\in\Bbb F^m,\forall x\in\Bbb F^n使 y=Ax\}=\{Ax|x\in\Bbb F^n\} imA={y∣y∈Fm,∀x∈Fn使y=Ax}={Ax∣x∈Fn} 是 ${\mathbb{F}}^m$ 的子空间。
证明：
（1） { x ∣ A x = 0 , x ∈ F n } ⊆ F n \{x|Ax=0,x\in\Bbb F^n\}\subseteq \Bbb F^n {x∣Ax=0,x∈Fn}⊆Fn
$A{x}_1=0,A{x}_2=0.$ $\Rightarrow$ $A(x_1+x_2)=0$
$Ax=0,k\in \mathbb{F}.$ $\Rightarrow$ $A(xk)=(Ax)k=0$（矩阵乘法的结合律）
（2） { A x ∣ x ∈ F n } ⊆ F m \{Ax|x\in\Bbb F^n\}\subseteq \Bbb F^m {Ax∣x∈Fn}⊆Fm
$y_1=A{x}_1,y_2=A{x}_2.$ $\Rightarrow$ $y_1+y_2=A(x_1+x_2)$
$y=Ax,k\in \mathbb{F}.$ $\Rightarrow$ $yk=Axk=A(xk)$
观察：
$Ax=\left[{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n\right]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]={\alpha }_1{x}_1+{\alpha }_2{x}_2+\cdots +{\alpha }_n{x}_n$ $(a_i\in {\mathbb{F}}^m)$
$Ax$ 就是 $A$ 的列向量组用 $x$ 当系数所作的线性组合。
$imA$ 也就是 $A$ 的列向量所张成的子空间。
$KerA$ $\Rightarrow$ $Ax=0$ 的解空间——m个方程n个未知数（${\mathbb{F}}^n的子空间$）
$imA$ $\Rightarrow$ $A$ 的列向量所张成的子空间。——像空间，也就是$A$ 固定，让 $x$跑个遍，跑出来的像（${\mathbb{F}}^m的子空间$）

5 例4：子空间的交与和（满足维数定理）

设 $U$、$W$ 是 $V$ 的子空间
（1）$U\cap W$ 也是子空间。
（2） U + W = s p a n { U , W } = { u + w ∣ u ∈ U , w ∈ W } U+W=span\{U,W\}=\{u+w|u\in U,w\in W\} U+W=span{U,W}={u+w∣u∈U,w∈W} 也是子空间。
证明：
（1）取 $e_1\in U\cap W,e_2\in U\cap W$，有 $e_1\in U,e_1\in W,e_2\in U,e_2\in W$.
则 $e_1+e_2\in U$（$U$是$V$的子空间），$e_1+e_2\in W$（$W$是$V$的子空间）
即 $e_1+e_2\in U\cap W$ $\Rightarrow$ 对加法封闭。
取$e\in U\cap W$，有 $e\in U,e\in W$，取 $k\in \mathbb{F}$
则 $ek\in U,ek\in W$
即 $ek\in U\cap W$ $\Rightarrow$ 对数乘法封闭。
（2）取 ${\alpha }_1=u_1+w_1\in U+W,u_1\in U,w_1\in W$，
${\alpha }_2=u_2+w_2\in U+W,u_2\in U,w_2\in W$。
有 $u_1+u_2\in U$，$w_1+w_2\in W$。
则${\alpha }_1+{\alpha }_2=(u_1+u_2)+(w_1+w_2)\in U+W$ $\Rightarrow$ 对加法封闭
取 $\alpha =u+w\in U+W$，$u\in U,w\in W$，$k\in \mathbb{F}$,
则 $\alpha k=(u+w)k=uk+wk\in U+W$ $\Rightarrow$ 对数乘法封闭