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:
- The vectors are linearly independent.
- 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:
- The set is linearly independent.
- The set spans because any polynomial of degree can be written as a linear combination of .