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