Steinitz exchange lemma
The Steinitz exchange lemma is a basic theorem in linear algebra used, for example, to show that any two bases for a finite-dimensional vector space have the same number of elements. The result is named after the German mathematician Ernst Steinitz. The result is often called the Steinitz–Mac Lane exchange lemma, also recognizing the generalization by Saunders Mac Lane of Steinitz's lemma to matroids.
2. There is a set with such that spans .
Suppose that we have the indicated sets of vectors. We wish to show that for each , we have that , and that the set spans (where the have possibly been reordered, and the reordering depends on ). We proceed by mathematical induction on .
For the base case, suppose is zero. In this case, the claim holds because there are no vectors , and the set spans by hypothesis.
For the inductive step, assume the proposition is true for some . Since , and spans (by the induction hypothesis), there exist coefficients such that
At least one of must be non-zero, since otherwise this equality would contradict the linear independence of ; note that this additionally implies that . By reordering the , we may assume that is not zero. Therefore, we have
In other words, is in the span of . The latter span therefore contains each of the vectors , and hence must contain the span of these latter vectors as a subset. But since the latter span is (by the induction hypothesis), this simply means that the span of contains as a subset (thus is ). We have therefore shown that our claim is true of , completing the inductive step.
We have thus shown that for each , we have that , and that the set spans (where the have possibly been reordered, and the reordering depends on ).
The fact that follows from setting in this result.
- Mac Lane, Saunders (1936), "Some interpretations of abstract linear dependence in terms of projective geometry", American Journal of Mathematics, The Johns Hopkins University Press, 58 (1): 236–240, doi:10.2307/2371070, JSTOR 2371070 CS1 maint: discouraged parameter (link).
- Kung, Joseph P. S., ed. (1986), A Source Book in Matroid Theory, Boston: Birkhäuser, doi:10.1007/978-1-4684-9199-9, ISBN 0-8176-3173-9, MR 0890330.
- Page v in Stiefel: Stiefel, Eduard L. (1963). An introduction to numerical mathematics (Translated by Werner C. Rheinboldt & Cornelie J. Rheinboldt from the second German ed.). New York: Academic Press. pp. x+286. MR 0181077. CS1 maint: discouraged parameter (link)
- Julio R. Bastida, Field extensions and Galois Theory, Addison–Wesley Publishing Company (1984).