应该是：一个向量空间含有一个非零向量,那么它一定含有无穷多个向量. 　　根据向量空间的定义,向量A属于向量空间,K*A也属于这个向量空间,其中K为任意实数,有无穷多个,所以如一个向量空间含有一个非零向量,那么它一定含有无穷多个向量. 　　零向量独立组成一个空间,定义为0空间,是0维空间.