2线性空间的定义与简单性质