0维向量空间只含一个零向量

是的，可以理解为人为的一种规定。就像我们规定空集是任何集合的子集，规定0的阶乘为1的道理一样。

设V是数域P上的一个向量空间，若存在V的有限个向量α1，α2，...，αm使得V的每一个向量均为这m个向量的线性组合，则V称为数域P上的一个有限维向量空间，这时α1，α2，...，αm称为V在P上的一组生成元，记作V=(α1，α2，...，αm)，否则，V称为无限维向量空间。将只含有零向量的向量空间称为零空间，一个零空间是有限维向量空间