How does swapping vectors in one at a time prove that no independent list can outrun a spanning list?
Loading…
The exchange proof that
State the theorem for independent and spanning , then write out steps 1 and , showing how the linear dependence lemma removes a each time.
Lists ruled out without computation
Use the standard basis lists to conclude that no length-4 list is independent in and no length-3 list spans , recording one concrete list for each case.
Subspaces of finite-dimensional spaces are finite-dimensional
State the theorem and reproduce the step-by-step construction of in , ending with the length bound that forces the process to terminate.