Zero Subspace is Subspace

Theorem
Let $V$ be a vector space over $K$ with zero vector $\mathbf 0$.

The zero subspace $\left\{{\mathbf 0}\right\}$ is a subspace of $V$.

Proof
We use the Vector Subspace Test.


 * $\left\{{\mathbf 0}\right\}$ is not empty, because it contains $\mathbf{0}$.


 * $\left\{{\mathbf 0}\right\}$ is closed under $+$ because:


 * $\forall \mathbf{0},\mathbf{0} \in \left\{{\mathbf 0}\right\}, \mathbf{0} + \mathbf{0} = \mathbf{0} \in \left\{{\mathbf 0}\right\}$.


 * $\left\{{\mathbf 0}\right\}$ is closed under multiplication because:


 * $\forall \lambda \in K, \mathbf{0}\in \left\{{\mathbf 0}\right\}: \lambda\mathbf{0} = \mathbf{0}\in \left\{{\mathbf 0}\right\}$.