线性空间，线性子空间，基与维数

集合: $V$

粗浅定义
  G.Cantor在1895年作如是界说：“集合意谓吾人感知或思想中一些确定的，并且相互区别的对象汇集而成的整体，这些对象成为该集合的元素。”
  一般地，设$P$为某个或某些条件的集合体，记$P(u):=$元素$u$满足性质$P$。则集合$V$可以表示为
V = { x : P ( x ) } V=\left\{ x:P\left( x \right) \right\} V={ x:P(x)}

性质

1. 确定性：$\forall x,x\in V$异或$x\notin V$。
2. 互异性：同一个集合中的元素是互不相同的。
3. 无序性：任意改变集合中元素的排列次序，它们仍表示同一个集合。
   
   

线性空间$\left(V,\oplus ,\otimes \right)$

定义
  线性空间是指域$\left(\mathbb{F},+,\times \right)$上的一个集合$V$，同时配备了两个二元运算$\oplus ,\otimes$：
$$\begin{array}{rl}& \oplus :V\times V\to V(保证了加法运算封闭性)\\ & \otimes :F\times V\to V(保证了乘法运算封闭性)\end{array}$$
并且$\oplus$满足：
$$\begin{array}{rl}& i)加法交换律:x\oplus y=y\oplus x,\forall x,y\in V\\ & ii)加法结合律:\left(x\oplus y\right)\oplus z=x\oplus \left(y\oplus z\right),\forall x,y,z\in V\\ & iii)零元素:\exists 0\in V,x\oplus 0=x,\forall x\in V\\ & iv)可逆性:\exists \left(-x\right)\in V,x\oplus \left(-x\right)=0,\forall x\in V\end{array}$$
（此时$\left(V,\oplus \right)$就是一个阿贝尔群）

并且$\otimes$满足：
$$\begin{array}{rl}& i)乘法结合律:\alpha \otimes \left(\beta \otimes x\right)=\left(\alpha \times \beta \right)\otimes x,\forall \alpha ,\beta \in \mathbb{F},\forall x\in V\\ & ii)分配律一:\left(\alpha +\beta \right)\otimes x=\left(\alpha \otimes x\right)\oplus \left(\beta \otimes x\right),\forall \alpha ,\beta \in \mathbb{F},\forall x\in V\\ & iii)分配律二:\alpha \otimes \left(x\oplus y\right)=\left(\alpha \otimes x\right)\oplus \left(\alpha \otimes y\right),\forall \alpha \in \mathbb{F},\forall x,y\in V\\ & iv)乘法单位元:1\otimes x=x,\forall x\in V,1是域\mathbb{F}中的单位元\end{array}$$
（若$V$本身具有另一种二元运算$\odot$且$\left(V,\odot \right)$是幺半群，则此时$\left(V,\oplus ,\odot \right)$是含幺环，$\left(F,\otimes \right)$是$V$的左$V$– 模。）

例子

1. $V={\mathbb{R}}^n$， $\forall x=\left(x_1,x_2,\cdots ,x_n\right),y=\left(y_1,y_2,\cdots ,y_n\right)\in {\mathbb{R}}^n$, $\forall k\in \mathbb{R}$，定义
   $$\begin{array}{rl}& x\oplus y:=\left(x_1+y_1,x_2+y_2,\cdots ,x_n+y_n\right)\\ & k\otimes x:=\left(k\times x_1,k\times x_2,\cdots ,k\times x_n\right)\end{array}$$
   则$\left({\mathbb{R}}^n,\oplus ,\otimes \right)$是域$\mathbb{R}$上的线性空间。

2. $V=\left\{\sum _{i=0}^n{a}_i{x}^i:\forall i,a_i\in \mathbb{R}\right\}$，$\forall \sum _{i=0}^n{a}_i{x}^i,\sum _{i=0}^n{b}_i{x}^i\in V$，$\forall k\in \mathbb{R}$，定义
   $$\begin{array}{rl}& \sum _{i=0}^n{a}_i{x}^i\oplus \sum _{i=0}^n{b}_i{x}^i:=\sum _{i=0}^n\left(a_i+b_i\right)x^i\\ & k\otimes \sum _{i=0}^n{a}_i{x}^i:=\sum _{i=0}^n\left(k\times a_i\right)x^i\end{array}$$
   则$\left(V,\oplus ,\otimes \right)$是域$\mathbb{R}$上的线性空间。

3. $V=M_{m,n}\left(\mathbb{C}\right)$表示复数域$\mathbb{C}$上的$m\times n$阶矩阵全体，$\forall A={\left(a_{ij}\right)}_{m\times n},B={\left(b_{ij}\right)}_{m\times n}\in V,\forall k\in \mathbb{C}$，定义
   $$\begin{array}{rl}& A\oplus B:={\left(a_{ij}+b_{ij}\right)}_{m\times n}\\ & k\otimes A:={\left(k\times a_{ij}\right)}_{m\times n}\end{array}$$
   则$\left(M_{m,n}\left(\mathbb{C}\right),\oplus ,\otimes \right)$是域$\mathbb{C}$上的一个线性空间。

4. $V=C^{\infty }\left[a,b\right]$表示在闭区间$\left[a,b\right]$上无限次可微的函数的全体，$\forall f,g\in V,\forall k\in \mathbb{R}$，定义
   $$\begin{array}{rl}& \left(f\oplus g\right)\left(x\right):=f\left(x\right)+g\left(x\right)\\ & \left(k\otimes f\right)\left(x\right):=k\times f\left(x\right)\\ & \forall x\in [a,b]\end{array}$$
   则$\left(C^{\infty }\left[a,b\right],\oplus ,\otimes \right)$是一个域$\mathbb{R}$上的线性空间。

5. V = l p = { { x j } : ∀ j ,   x j ∈ R ;   ∑ j = 1 ∞ ∣ x j ∣ p < ∞ } ( p > 0 ) V={ {l}^{p}}=\left\{ \left\{ { {x}_{j}} \right\}:\forall j,\text{ }{ {x}_{j}}\in \mathbb{R};\text{ }\sum\limits_{j=1}^{\infty }{ { {\left| { {x}_{j}} \right|}^{p}}}<\infty \right\}\left( p>0 \right) V=lp={ { xj​}:∀j, xj​∈R; j=1∑∞​∣xj​∣p<∞}(p>0), ∀ x = { x j } ,   y = { y j } ∈ V ,   ∀ k ∈ R \forall x=\left\{ { {x}_{j}} \right\},\text{ }y=\left\{ { {y}_{j}} \right\}\in V,\text{ }\forall k\in \mathbb{R} ∀x={ xj​}, y={ yj​}∈V, ∀k∈R, 定义
   x ⊕ y : = { x j + y j } k ⊗ x : = { k × x j } \begin{aligned} & x\oplus y:=\left\{ { {x}_{j}}+{ {y}_{j}} \right\} \\ & k\otimes x:=\left\{ k\times { {x}_{j}} \right\} \\ \end{aligned} ​x⊕y:={ xj​+yj​}k⊗x:={ k×xj​}​
   则$($