Eindeutigkeit der Basisdarstellung

Ist VV ein Vektorraum über den Körper KK und v1,v_1, v2,vnv_2,\ldots v_n eine Basis. Dann können wir, da die Basis ein Erzeugendensystem ist, einen beliebigen Vektor vVv\in V als Linearkombination von Basiselementen schreiben:
v=α1v1+α2v2++αnvnv=\alpha_1v_1+\alpha_2v_2+\ldots+\alpha_nv_n mit α1,α2,,αnK\alpha_1,\alpha_2,\ldots,\alpha_n\in K(1)
Im unten stehenden Satz 15X4 wird bewiesen, dass diese Basisdarstellung sogar eindeutig ist. Wenn wir also die Basis in Form eines Vektors (v1,(v_1, v2,vn)v_2,\ldots v_n) schreiben (die Reihenfolge spielt eine Rolle!), dann gibt es zu jedem vVv\in V genau einen Vektor (α1,α2,,αn)Kn(\alpha_1,\alpha_2,\ldots,\alpha_n)\in K^n, so dass (1) gilt. Diesen Vektor (α1,α2,,αn)(\alpha_1,\alpha_2,\ldots,\alpha_n) nennen wir den Koordinatenvektor bezüglich der Basis. Sind die Vektoren der Basis in einer bestimmten Reihenfolge angeordnet, so sprechen wir von einer geordneten Basis.

Satz 15X4 (Eindeutigkeit der Basisdarstellung)

Sei VV ein endlich erzeugter Vektorraum über dem Körper KK. Die Vektoren v1,v_1, v2,vnv_2,\ldots v_n mögen eine Basis bilden. Dann lässt sich jeder Vektor vVv\in V eindeutig als Linearkombination der Form (1) schreiben.

Beweis

Nach Definition der Basis bilden die v1,v_1, v2,vnv_2,\ldots v_n ein Erzeugendensystem; es gibt also α1,α2,,αnK\alpha_1,\alpha_2,\ldots,\alpha_n\in K mit v=α1v1+α2v2++αnvnv=\alpha_1v_1+\alpha_2v_2+\ldots+\alpha_nv_n. Sei nun v=β1v1+β2v2++βnvnv=\beta_1v_1+\beta_2v_2+\ldots+\beta_nv_n eine weitere Darstellung mit β1,β2,,βnK\beta_1,\beta_2,\ldots,\beta_n\in K. Es gilt:
0=vv=(α1β1)v1+(α2β2)v2++(αnβn)vn0=v-v=(\alpha_1-\beta_1)v_1+(\alpha_2-\beta_2)v_2+\ldots+(\alpha_n-\beta_n)v_n.
Die v1,v_1, v2,vnv_2,\ldots v_n sind als Basiselemente linear unabhängig, der Nullvektor lässt sich aus ihnen nur trivial linear kombinieren. Das bedeutet aber: αkβk=0\alpha_k-\beta_k=0 für alle k=1nk=1\ldots n und damit ist: αk=βk\alpha_k=\beta_k und die Eindeutigkeit ist gezeigt. \qed
 
 

Die Mathematik muß man schon deswegen studieren, weil sie die Gedanken ordnet.

M. W. Lomonossow

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе