Vektorräume und lineare Abbildungen - Userpage
Vektorräume und lineare Abbildungen - Userpage
Vektorräume und lineare Abbildungen - Userpage
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
III.5. Lineare <strong>Abbildungen</strong><br />
<strong>und</strong> u ′ ∈ U ′ mit v = u+u ′ . Weiter gibt es λ b ∈ K, b ∈ B, <strong>und</strong> µ b ′ ∈ K, b ′ ∈ B ′ , mit<br />
u = ∑ λ b ·b <strong>und</strong> u ′ = ∑ µ b ′ ·b ′ . Es folgt<br />
b∈B<br />
b ′ ∈B ′<br />
v = ∑ λ b ·b+ ∑<br />
µ b ′ ·b ′ ∈ 〈B∪B ′ 〉.<br />
b∈B b ′ ∈B ′<br />
Weiter seien λ b ∈ K, b ∈ B, <strong>und</strong> µ b ′ ∈ K, b ′ ∈ B ′ , so dass<br />
∑<br />
λ b ·b+ ∑<br />
µ b ′ ·b ′ = 0.<br />
b ′ ∈B ′<br />
Es folgt, dass<br />
b∈B<br />
∑<br />
λ b ·b = − ∑<br />
b∈B<br />
} {{ }<br />
=:u∈U<br />
µ b ′ ·b ′ .<br />
b ′ ∈B<br />
} {{ ′ }<br />
=:u ′ ∈U ′<br />
Somit gilt u,u ′ ∈ U∩U ′ , d.h. u = u ′ = 0. Da B eine Basis von U ist, haben wir<br />
λ b = 0, b ∈ B. Ebenso folgt, dass µ b ′ = 0, b ′ ∈ B ′ . Wir haben nachgewiesen, dass<br />
die Menge B∪B ′ linear unabängig ist.<br />
Bemerkungen <strong>und</strong> Beispiele III.5.36. i) Es sei V ein K-Vektorraum. Für U = {0}<br />
ist U ′ = V das einzige <strong>lineare</strong> Komplement, <strong>und</strong> für U = V ist U ′ = {0} das<br />
einzige.<br />
ii) Wir betrachten den unendlichdimensionalen K-Vektorraum V := Abb(N,<br />
K) (s. Aufgabe II.3.6 <strong>und</strong> Beispiel III.1.2, ii) <strong>und</strong> definieren<br />
{f ∈ Abb(N,K) ∣ }<br />
∀n ∈ N ungerade : f(n) = 0<br />
Dann gilt<br />
U :=<br />
U ′ :=<br />
{f ∈ Abb(N,K) ∣ ∣ ∀n ∈ N gerade : f(n) = 0<br />
}<br />
.<br />
V = U⊕U ′ .<br />
Man beachte, dass sowohl U als auch U ′ unendlichdimensional ist.<br />
iii) Lineare Komplemente sind nicht eindeutig bestimmt. Es sei z.B. U :=<br />
〈( 1<br />
0)〉<br />
⊆ K 2 . Dann ist U ′ := 〈( a<br />
b)〉<br />
für jeden Vektor<br />
( a<br />
b)<br />
mit b ≠ 0 ein <strong>lineare</strong>s<br />
Komplement.<br />
Satz III.5.37. Es seien V ein endlichdimensionaler K-Vektorraum <strong>und</strong> U ⊆ V<br />
ein <strong>lineare</strong>r Teilraum. Dann existiert ein <strong>lineare</strong>s Komplement U ′ ⊆ V zu U.<br />
Beweis. Es sei F eine Basis für U. Dann können wir nach Satz III.4.10, ii), eine<br />
Teilmenge F ′ ⊆ V finden, so dass F ∪ F ′ eine Basis von V ist. Man überprüft<br />
mühelos, dass U ′ := 〈F ′ 〉 ein <strong>lineare</strong>s Komplement zu U ist.<br />
,<br />
87