怎样算构成实线性空间