第二节线性空间的定义与简单性质