Why is the trivial vector space the smallest vector space?
I suspect part of your confusion is,
what does "smallest" mean?
It seems to imply a partial ordering somehow, so here are two possible definitions:
- $V$ is smaller than $W$ provided there is an injective linear map $V\to W$.
- $V$ is smaller than $W$ provided $|V| \leq |W|$.
(Bonus questions: Is there any relationship between these definitions? Can one be proven from the other, and vice versa?)
Now, given either definition, say $V$ is the smallest vector space provided $V$ is smaller than $W$ for any vector space $W$.
From this definition, can you prove that $\{0\}$ is the smallest vector space? (Hint: Every vector space must have a $0$ element, so ...)