实数体R上的向量空间叫实向量空间。并且定义了加法和标量乘法这两种运算。