[Math] what does the set containing only the zero vector actually span

linear algebraspan

I apologize if this sounds stupid but I am struggling to grasp the following concept. I understand that the span of the empty set is the zero vector. However, what does the set only containing the zero vector span? The zero vector as well? Also, are the following two phrases logically equivalent, "The span of the empty set is the zero vector" and "The empty set spans the zero vector". I believe they do but I don't want to make any assumptions since I'm not entirely sure myself. Thank you.

Best Answer

This is a good question!

In the linear algebra texts that I have seen, it is usually included in the definition of a subspace $S$ that $S$ has to contain the zero-vector. This condition is included for the one purpose of eliminating the empty set as a subspace. (Does your definition do this as well?)

But the span of a set is always a subspace, and in fact, if $L$ is some set, then the span of $L$ is the smallest subspace that contains $L$. This is why it makes sense for the span of the empty set being equal to $\{0\}$, because $\{0\}$ is the smallest subspace containing the empty set (which is not itself a subspace).

Also, if the set $L$ is itself a subspace, then the span of $L$ is equal to $L$ itself - the smallest subspace containing $L$ is $L$. In particular, $\{0\}$ is a subspace, so the span of $\{0\}$ is $\{0\}$.

Regarding your two statements, I say yes, they state the exact same thing.