A related question: If a single non-zero vector serves as a basis for a subspace, then is the dimension of that subspace 1 or 0?
I'm almost certain the answer to the above question is 1.
But my confusion lies with the fact that the dimension of the zero subspace (which consists only of the zero vector) is zero. There is one vector in this subspace (namely, the zero vector), so shouldn't the dimension be 1?
Is there an intuitive way to think about this, or is this just how it's been defined as this is the only way everything works?
On this similar post, a commenter said: "The zero vector itself does not have a dimension. The vector space consisting of only the zero vector has dimension 0. This is because a basis for that vector space is the empty set, and the dimension of a vector space is the cardinality of any basis for that vector space."
I don't see see how this is true, unless the empty set is not counted when counting cardinality (i.e. a set of vectors with 5 vectors as well as the empty set would be counted as having 5 vectors and not 6). Again, is this just how we've defined things?