高等代数 线性空间

#这是笔记，用来存档，没有自己的想法，也许内容还很trivial
设$V$是一个数域$\mathbb{F}$上的非空集合，并且有映射：$+:V\times V\to V$，$\circ :\mathbb{F}\times V\to V$满足条件：
1.$\forall \alpha ,\beta ,\gamma \in V(\alpha +\beta )+\gamma =\alpha +(\beta +\gamma )$
2.$\exists 0\in V0+\alpha =\alpha +0=\alpha$
3.$\forall \alpha \in V,\exists \beta \in V\alpha +\beta =\beta +\alpha =0$
4.$\alpha +\beta =\beta +\alpha$
5.$\exists 1\in \mathbb{F}1\circ \alpha =\alpha$
6.$a,b\in \mathbb{F}(a\cdot b)\circ \alpha =a\circ (b\circ \alpha )$
7.$a\circ (\alpha +\beta )=a\circ \alpha +a\circ \beta$
8.$(a+b)\circ \alpha =a\circ \alpha +b\circ \alpha$
则称（$V,+,\circ$）构成数域$\mathbb{F}$上的线性空间，称$V$中的元素为向量.
注.对于二元运算$+$，满足性质123，（$V,+$）是群，且满足性质4，构成交换群.
思考：$V=\mathbb{C}$，映射$+:V\times V\to V,(\alpha ,\beta )\mapsto \alpha +\beta$；$\circ :\mathbb{C}\times V\to V,(k,\alpha )\mapsto \overline{k}\alpha$，验证（$V,+,\circ$）是否构成线性空间.
命题：设（$V,+,\circ$）是数域$\mathbb{F}$上的线性空间，则：
1.$V$中的零向量是唯一的.
2.$V$中向量的负向量是唯一的.
3.$k\circ \alpha =0\leftrightarrow k=0$或$\alpha =0$
4.$-(k\circ \alpha )=(-k)\circ \alpha$，其中$-(k\circ \alpha )$是$(k\circ \alpha )$的负向量.
思考：由线性空间的性质1235678推出性质4.
定义：设$V$是数域$\mathbb{F}$上的线性空间，设${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_m\in V,k_1,k_2,\cdots ,k_m\in \mathbb{F}$，称$\sum _{i=1}^m{k}_i{\alpha }_i$为向量${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_m$的线性组合.
定义：称向量${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_m$的线性相关，若存在不全为$0$的数$k_1,k_2,\cdots ,k_m\in \mathbb{F}$，使得$\sum _{i=1}^m{k}_i{\alpha }_i=0$.否则称向量组${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_m$的线性无关.
注.1.$\alpha \in V$线性相关$\leftrightarrow \alpha =0$.
2.向量组整体线性无关$\to$部分线性无关；部分线性相关$\to$整体线性相关.
线性空间可以引入维数的概念，注意到并不是所有线性空间都是有限维的，比如（$\mathbb{F}[x],+,\cdot$）是无穷维的.