Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

9.1: Subspaces

( \newcommand{\kernel}{\mathrm{null}\,}\)

Definition: subspace

We say that a subset U of a vector space V is a subspace of V if U is a vector space under the inherited addition and scalar multiplication operations of V.

Example 9.1.1:

Consider a plane P in 3 through the origin:

ax+by+cz=0.

subspace_plane.jpg

This equation can be expressed as the homogeneous system (abc)(xyz)=0, or MX=0 with M the matrix (abc). If X1 and X2 are both solutions to MX=0, then, by linearity of matrix multiplication, so is μX1+νX2:

M(μX1+νX2)=μMX1+νMX2=0.

So P is closed under addition and scalar multiplication. Additionally, P contains the origin (which can be derived from the above by setting μ=ν=0). All other vector space requirements hold for P because they hold for all vectors in 3.

subspace_thm.jpg

Theorem (Subspace Theorem)

Let U be a non-empty subset of a vector space V. Then U is a subspace if and only if μu1+νu2U for arbitrary u1,u2 in U, and arbitrary constants μ,ν.

Proof

One direction of this proof is easy: if U is a subspace, then it is a vector space, and so by the additive closure and multiplicative closure properties of vector spaces, it has to be true that μu1+νu2U for all u1,u2 in U and all constants constants μ,ν.

The other direction is almost as easy: we need to show that if μu1+νu2U for all u1,u2 in U and all constants μ,ν, then U is a vector space. That is, we need to show that the ten properties of vector spaces are satisfied. We know that the additive closure and multiplicative closure properties are satisfied. All of the other eight properties is true in U because it is true in V.

Note that the requirements of the subspace theorem are often referred to as "closure''.

We can use this theorem to check if a set is a vector space. That is, if we have some set U of vectors that come from some bigger vector space V, to check if U itself forms a smaller vector space we need check only two things:

  1. If we add any two vectors in U, do we end up with a vector in U?
  2. If we multiply any vector in U by any constant, do we end up with a vector in U?

If the answer to both of these questions is yes, then U is a vector space. If not, U is not a vector space.

Contributors

This page titled 9.1: Subspaces is shared under a not declared license and was authored, remixed, and/or curated by David Cherney, Tom Denton, & Andrew Waldron.

  • Was this article helpful?

Support Center

How can we help?