Why must every basis of a space have the same length, and when does a list of the right length become a basis for free?
Loading…
Invariance of basis length and the definition of
Prove that any two bases of a finite-dimensional space have the same length, define , and derive and from the standard bases.
Subspace inequality and the field of scalars
Prove for a subspace of , and record the versus comparison showing that dimension depends on the choice of .
Lists of length : independent or spanning suffices
Prove that a linearly independent list of length is a basis and that a spanning list of length is a basis, then apply the first result to in .
Full-dimension subspace and the example
Prove that forces , then find and a basis for by bounding from both sides.