中取集合

的子空间.

由于

所以 中两个向量在 的加法运算下之和还在 中. 同样,

易知此时定义 1.1 的 均成立. 其中 的零向量, , 的负向量. 于是 的一个子空间.