Aber im Span sind nicht nur linear unabhängige Vektoren ?
So ist es.
Offenbar hattet ihr den Basissatz noch nicht.
Bei endlich dimensionalen Vektorräumen ist äquivalent:
Die Vektoren bilden eine Basis.
Die Vektoren spannen den ganzen Raum auf
und ihre Anzahl ist der gleich der Dimension.
Die Vektoren sind linear unabhängig
und ihre Anzahl ist der gleich der Dimension.
Die Vektoren spannen den ganzen Raum auf
und sind linear unabhängig.
Wenn ihr das noch nicht bewiesen habt, musst
du wohl den 2. Weg gehen: Sei (a,b) ∈ ℝ2 .
Zeige: Es gibt x,y ∈ ℝ mit (a,b) = x*v1 + y*v2
Bew.: (a,b) = x*v1 + y*v2
<=> (a,b) = x* (2,5) +y* (1,3)
<=> a=2x+y und b = 5x+3y
<=> a-2x=y und b = 5x+3y
<=> a-2x=y und b = 5x+3*(a-2x)
<=> a-2x=y und b = 5x+3a-6x = 3a-x
<=> a-2x=y und x = 3a-b
<=> a-2(3a-b)=y und x = 3a-b
<=> a-6a+2b=y und x = 3a-b
<=> -5a+2b=y und x = 3a-b
Es gibt also zu jedem Paar (a,b)
Werte für x und y nämlich
-5a+2b=y und x = 3a-b
damit (a,b) = x*v1 + y*v2 gilt.
v1 und v2 bilden also zusammen ein
Erzeugenensystem für ℝ2 kurz
Span(v1,v2) = ℝ2