泛函分析基础7-2-赋范线性空间1-线性空间3：spanM（由M张成的线性包）【设M为X的一个非空子集，M中任意有限个向量线性组合全体记为spanM，称为由M张成的线性包】

在许多数学问题和实际问题中，我们遇到的空间不仅要求有极限运算，而且还要求有所谓的加法和数乘的代数运算。

定义1

设 $X$ 是一非空集合，在 $X$ 中定义了元素的加法运算和实数（或复数）与 $X$中元素的乘法运算，满足下列条件：

1. 关于加法成为交换群，即对任意 $x,y\in X,$ 存在 $u\in X$与之对应，记为 $u=x+y,$称为 $x$ 与 $y$ 的 和，满足

   1. $x+y=y+x;$
   2. $(x+y)+z=x+(y+z)(任何x,y,z\in X);$
   3. 在 $X$ 中存在唯一元素 $\theta ,$ 使对任何 $x\in X,$ 成立 $x+\theta =x,$ 称 $\mathbf{\theta }$ 为 $X$ 中零元素；
   4. 对 $X$ 中每个元素 $x,$ 存在唯一元素 $x^{\prime }\in X,$ 使$x+x^{\prime }=\theta ,$ 称 $x^{\prime }$ 为 $x$的负元素，记为$-x;$

2. 对于 $X$ 中每个元素 $x\in X,$ 及任意实数（或复数） $a,$ 存在元素$u\in X$ 与之对应，记为 $u=ax,$ 称为 $a$ 与 $x$ 的 数积，满足

   1. $1x=x;$
   2. $a(bx)=(ab)x$ 对任意实数（或复数） $a$ 和 $b$ 成 立；
   3. $(a+b)x=ax+bx,a(x+y)=ax+ay,$

则称 $X$按上述加法和数乘运算成为线性空间或向量空间，其中的元素称为向量.

---

设 $X$ 是 线性空间， $Y$ 是 $X$ 的 非空子集，如果对任意 $x,y\in Y,$及 任意数 $a,$ 都有 $x+y\in$$Y$ 及 $ax\in Y,$ 那 么 $Y$ 按 $X$ 中加法及数乘运算也成为线性空间，称为 $X$ 的 子空间。

$X$ 和 { 0 } \{ 0 \} {0}是 $X$ 的两个子空间，称为平凡的子空间，若 $X\ne Y,$ 则称 $Y$ 是 $X$的真子空间

设 $x_1,x_2,\cdots ,x_m$ 是线性空间 $X$中的向量， ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_m$是 $m$ 个数（若 $X$ 为 实线性空间，则 ${\alpha }_i,i=1,2,\cdots ,m$ 为实数，若 $X$为复线性空间，则 ${\alpha }_i$ 为复数，以下类同，不另作说明)，

称${\alpha }_1{x}_1+{\alpha }_2{x}_2+\cdots +{\alpha }_m{x}_m$为向量 $x_1,x_2,\cdots ,x_m$ 的一个线性组合。

设 $M$为 $X$ 的一个非空子集， $M$ 中任意有限个向量线性组合全体记为 $\mathrm{span}M$，称为由$M$ 张成的线性包。

容易证明 $\mathrm{span}M$ 是 $X$ 的线性子空间，并且是 $X$中包含 $M$ 的 最小线性子空间，即若 $F$ 是 $X$中包含 $M$ 的线性子空间，那么必有$F\supset \mathrm{span}M.$