标签：设是数域上的线性空间的子空间，则不是的子空间