Steinitz exchange lemma

Steinitz exchange lemma (Redirected from Exchange theorem) Jump to navigation Jump to search The Steinitz exchange lemma is a basic theorem in linear algebra used, zum Beispiel, 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[1] by Saunders Mac Lane of Steinitz's lemma to matroids.[2] Inhalt 1 Aussage 2 Nachweisen 3 Anwendungen 4 Verweise 5 External links Statement Let {Anzeigestil U} und {Anzeigestil W.} be finite subsets of a vector space {Anzeigestil V} . Wenn {Anzeigestil U} is a set of linearly independent vectors, und {Anzeigestil W.} spans {Anzeigestil V} , dann: 1. {Anzeigestil |U|leq |W|} ; 2. There is a set {displaystyle W'subseteq W} mit {Anzeigestil |W'|=|W|-|U|} so dass {displaystyle Ucup W'} spans {Anzeigestil V} .

Proof Suppose {Anzeigestil U={u_{1},Punkte ,u_{m}}} und {Anzeigestil W ={w_{1},Punkte ,w_{n}}} . We wish to show that for each {Displaystyle-Verwandtschaft {0,Punkte ,m}} , wir haben das {displaystyle kleq n} , and that the set {Anzeigestil {u_{1},Punktec ,u_{k},w_{k+1},Punktec ,w_{n}}} spans {Anzeigestil V} (bei dem die {displaystyle w_{j}} have possibly been reordered, and the reordering depends on {Anzeigestil k} ). We proceed by induction on {Anzeigestil k} .

For the base case, vermuten {Anzeigestil k} ist Null. In diesem Fall, the claim holds because there are no vectors {displaystyle u_{ich}} , and the set {Anzeigestil {w_{1},Punktec ,w_{n}}} spans {Anzeigestil V} by hypothesis.

For the inductive step, assume the proposition is true for some {Anzeigestil k

Wenn Sie andere ähnliche Artikel wissen möchten Steinitz exchange lemma Sie können die Kategorie besuchen Lemmas in linear algebra.