线性空间的定义：设\(V\)是一个非空集合，\(P\)是一个数域。如果\(V\)满足如下两个条件：
-(1). 在\(V\)中定义一个封闭的加法运算，即当\(\bm{x,y}\in V\)时，有唯一的和\(\bm{x+y}\in V\)，并且加法运算满足4条性质：
-(2). 在\(V\)中定义一个封闭的数乘运算
这时，我们说\(V\)是数域\(P\)上的线性空间。
原文：https://www.cnblogs.com/shencangzaiyunduan/p/12059953.html