数学基础 - 线性空间（Vector Space）

线性空间(Vector Space)

---

定义(Definition)

设V是一个非空集合，P是一个域：

• 加法：$\forall \; \alpha,\beta \in V$，总有唯一元素$\gamma \in V$与之对应，称为$\alpha$与$\beta$的和，记作$\gamma = \alpha + \beta$。
• 纯量乘法（数量乘法）：$\forall \; k \in P$，$\forall \; \alpha \in V$，总有唯一元素$\delta \in V$与之对应，称为$k$与$\alpha$的积，记作$\delta = k\alpha$。
• 加法与纯量乘法满足下列条件（设$\alpha , \beta , \gamma \in V \quad and \quad k,l \in P$）：
  
  • $\alpha + \beta = \beta + \alpha$
  • $(\alpha + \beta) + \gamma = \alpha + (\beta + \gamma)$
  • $\exists \text{零元素} {\bf 0} \in V, \forall \alpha \in V \implies \alpha + {\bf 0} = \alpha$
  • ∀α∈V,∃