实线性空间

real linear space