线性代数向量空间问题为什么v0是一个n-1维空间?为何不是n维