抽象代數/向量空間

定義（向量空間）

令F為一個域。一個帶有兩個二元運算的集合V：+（加法）和$\times$（標量乘法）稱為向量空間，如果它具有以下性質：

1. $(V,+)$構成一個阿貝爾群
2. $(a+b)v=av+bv$對於$a,b\in F$和$v\in V$
3. $a(v+u)=av+au$對於$a\in F$和$v,u\in V$
4. $(ab)v=a(bv)$
5. $1_{F}v=v$

標量乘法正式定義為$F\times V{\xrightarrow {\phi }}V$，其中$\phi ((f,v))=fv\in V$.

F中的元素稱為標量，而V中的元素稱為向量。

向量空間的一些性質

1. $0_{F}v=0_{V}=a0_{V}$
2. $(-1_{F})v=-v$
3. $av=0\iff a=0{\text{ or }}v=0$

證明

1. $0_{F}v=(0_{F}+0_{F})v=0_{F}v+0_{F}v\Rightarrow 0_{V}=0_{F}v.Also,a0_{V}=a(0_{V}+0_{V})=a0_{V}+a0_{V}\Rightarrow a0_{V}=0_{V}$
2. 我們需要證明 $v+(-1_{F})v=0_{V}$，但是 $v+(-1_{F})v=1_{F}v+(-1_{F})v=(1_{F}+(-1_{F}))v=0_{F}v=0_{V}$
3. 假設 $av=0$ 且 $a\neq 0$，那麼 $a^{-1}(av)=a^{-1}0=0\Rightarrow 1_{F}v=v=0$