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 iswhere 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 ofThe 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
There are currently no matching articles.