[Math] Why is the trivial vector space the smallest vector space

linear algebra

My book (Elementary Linear Algebra by Andrilli) says:

The set $\mathcal{{V}}$ = {${\mathbb {0}}$} is a vector space AND is
the smallest vector space.

Then the book asks why $\mathcal{{V}}$ is the smallest vector space. I have no idea where to even start to explain why $\mathcal{{V}}$ is the smallest space. It seems like an odd question to ask.

Best Answer

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 ...)

Related Question