设x∈V是其中的一个非零向量.
则对任意k∈P,kx∈V.
而数域P至少包含有理数集Q,所以是无限集.
所以有无限多个型如kx的向量.线性空间的定义，要求对数乘封闭。