Basis of Subspaces

A basis is a linearly independent set of vectors in a subspace that spans .

In simpler terms, if is a subspace, a collection of vectors in , , is a basis for if:

  1. The vectors are linearly independent.
  2. The vectors span the subspace .

Theorem

Any vector can be written in a unique way as a linear combination of elements of the basis.

Proof by Contradiction

Setup:

  • is a basis of
  • assume can be written in 2 ways

Proof:

Let’s make a homogeneous equation to prove linear independence.

if then the basis in linearly dependent, which contradicts initial assumptions that is a basis.

Example

Let be a vector space of polynomials of degree

Then, is a basis for because:

  1. The set is linearly independent.
  2. The set spans because any polynomial of degree can be written as a linear combination of .