线性空间(1)为线性空间给出了公理化的定义,关于线性空间的所有性质,都是由这个公理化的定义推导而得的。本文首先介绍线性空间的几个基本性质,并根据这些性质引出子空间和生成空间的概念。
引理1. 对线性空间V中的任意向量v都有,这里0是域F上的加法幺元,0是V上的加法幺元(记住V是一个阿贝尔加法群)。
证明. 由线性空间的定义,
(1)
上式中第一个等号后面的+是域F上的加法,第二个等号后面的+是空间V上的阿贝尔群加法。今后,我们依照习惯,“将错就错”,用笼统的一个加号表示所有的加法运算。
对(1)式的等号两边同时加上的加法逆元便有