Why does a basis give every vector exactly one representation, and how does extending a basis hand every subspace a complement?
Loading…
Definition of a basis and the unique-representation criterion
Define a basis as a linearly independent spanning list, record the standard bases of and , and prove both directions of the criterion that every has exactly one representation .
Reducing a spanning list to a basis
Write out the step-by-step deletion procedure, prove that the final list spans and is linearly independent, deduce that every finite-dimensional space has a basis, and run it on .
Extending a linearly independent list to a basis
Prove the extension result by appending a spanning list and running the reduction procedure, record that no is deleted, and extend to a basis of .
A complement with
State the result for a subspace of a finite-dimensional , construct from a basis of extended to a basis of , and prove and .