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.

Articles by others on the same topic (0)

There are currently no matching articles.