The vectors are linearly independent if
They span if every is a linear combination with real coefficients. They form a basis of if they are linearly independent and span . Equivalently, every has exactly one such representation: existence is the spanning set condition, and subtracting two representations shows that uniqueness is precisely linear independence.
The Steinitz exchange lemma states that if are linearly independent and span a vector space , then and some of the can be replaced by while preserving the spanning set property.
Here is the exchange argument. Suppose that after replacements, a spanning set is
where the remaining have been relabelled if necessary. Express as a linear combination of this family. At least one remaining has a nonzero coefficient; otherwise belongs to the span of , contradicting linear independence. Relabel this entry . Solving for shows that it lies in the span of
The new family therefore still spans . Starting at repeats this step until all independent vectors have been inserted. If , after steps the next would lie in the span of , a contradiction. Thus , and the construction proves the replacement assertion as well.
Put and for . Since and , the two families have the same linear span. Moreover,
If the are linearly independent, a vanishing expression forces for and then . Conversely,
so linear independence of the forces all . Thus both the spanning set condition and linear independence are equivalent for the two families, proving the desired equivalence of bases.

Articles by others on the same topic (0)

There are currently no matching articles.