Given some subset of numbers in an n-dimensional space, one of the questions you might get asked is whether or not those numbers make up a subspace.

To answer that question, it is worth defining what a subspace is in terms of its formal properties, then what it is in laymans terms, then the visual definition, showing why it is that those properties need to be satisfied.

For those unfamiliar, we will be using a little bit of set notation here - stands for is a member of. When we use we are describing a set containing all three dimensional vectors that satisfy the condition that equals some function . We also often use letters from the greek alphabet to describe arbitrary constants, for instance alpha and beta .

The formal definition of a subspace is as follows:

  • It must contain the zero-vector.
  • It must be closed under addition: if and for any , then it must be true that or else is not a subspace.
  • It must be closed under scalar multiplication: if then , else is not a subspace.

All of that was just a fancy way of saying that a subspace just needs to define some equal or lesser-dimensional space that ranges from positive infinity to negative infinity and passes through the origin.

So for instance, valid subspace for a three dimensional space might be , which is a plane:

And does satisfy our three propositions? Well, we can prove this with a bit of analysis:

  • Is the zero vector a member of the space? Well:, so yes, it is.
  • Is it closed under addition? To work this out, we can take any two and and show that their sum, :

Or if we rearrange:

Now, if we recall that and , so what we really have is:

Which is always true, so we are closed under addition

  • Now for being closed under multiplication. Again, we need to prove this by analysis:

And if then . So if we multiply through :

And this is always true, since it is just a scalar.

Therefore, as the subset defined byis a subspace of the volume defined by the three-dimensional real numbers.

What about things that are not subspaces? For instance:

Well, this is actually a non-linear function, and we can show that it is not a subspace pretty easily through a counterexample, by showing that the set is not closed under addition.

So is not a subspace.