Lukas' Notes

linear-algebra

Definition

Basis Selection Lemma

Let be a basis of a vector space and let

be a linear combination with for some . Then the exchanged set

is also a basis of . In particular, is linearly independent and , where denotes the linear span.