Schranken-Lemma

Das Schranken-Lemma[1] ist ein mathematischer Satz aus der linearen Algebra, mit dem eine obere Schranke für die Anzahl linear unabhängiger Elemente in einem Vektorraum angegeben werden kann. Mit Hilfe des Schranken-Lemmas kann unter anderem bewiesen werden, dass ein endlich erzeugter Vektorraum eine Basis besitzt und dass je zwei Basen in einem solchen Vektorraum die gleiche Anzahl von Elementen besitzen.

Aussage

Das Schranken-Lemma kann wie folgt formuliert werden:[1]

Besitzt ein Vektorraum $V$ ein Erzeugendensystem bestehend aus $n$ Elementen, dann sind je $n+1$ Vektoren in $V$ linear abhängig.

Beweis

Sind $u_{1},\ldots ,u_{n}\in V$ die Elemente des Erzeugendensystems und $v_{1},\ldots ,v_{n+1}\in V$ beliebige Vektoren des Vektorraums, dann lässt sich jeder dieser Vektoren als Linearkombination

v_{j}=\sum _{i=1}^{n}a_{ij}u_{i}

mit Skalaren $a_{ij}$ darstellen. Eine Linearkombination der Vektoren $v_{1},\ldots ,v_{n+1}$ hat dann die Form

\sum _{j=1}^{n+1}c_{j}v_{j}=\sum _{j=1}^{n+1}c_{j}\sum _{i=1}^{n}a_{ij}u_{i}=\sum _{i=1}^{n}\left(\sum _{j=1}^{n+1}a_{ij}c_{j}\right)u_{i}

.

Das lineare Gleichungssystem $Ac=0$ mit $A=(a_{ij})_{i=1,\ldots ,n,j=1,\ldots ,n+1}$ besitzt nun mehr Unbekannte als Gleichungen und damit insbesondere eine nichttriviale Lösung $c=(c_{j})_{j=1,\ldots ,n+1}$ (siehe reduzierte Stufenform). Daraus folgt dann

\sum _{j=1}^{n+1}c_{j}v_{j}=\sum _{i=1}^{n}0\cdot u_{i}=0

und damit die lineare Abhängigkeit der Vektoren $v_{1},\ldots ,v_{n+1}$ .

Verwendung

Mit Hilfe des Schranken-Lemmas kann eine Reihe weiterer grundlegender Sätze der linearen Algebra bewiesen werden. Eine direkte Konsequenz ist beispielsweise, dass ein endlich erzeugter Vektorraum eine Basis besitzt und dass je zwei Basen in einem solchen Vektorraum die gleiche Anzahl von Elementen besitzen (welche die Dimension des Vektorraumes genannt wird). Weiterhin kann in einem endlich erzeugten Vektorraum jede linear unabhängige Menge von Vektoren zu einer endlichen Basis ergänzt werden (Basisergänzungssatz).

Literatur

Max Koecher: Lineare Algebra und analytische Geometrie, Springer, Berlin, 4. Auflage, 1997, ISBN 3-540-62903-3

Einzelnachweise

Max Koecher: Lineare Algebra und analytische Geometrie, Springer, Berlin, 4. Auflage, 1997, §4.4 (Seite 23)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.

[Koecher23-1] Max Koecher: Lineare Algebra und analytische Geometrie, Springer, Berlin, 4. Auflage, 1997, §4.4 (Seite 23)