28.12.2013 Aufrufe

Vektorräume und lineare Abbildungen - Userpage

Vektorräume und lineare Abbildungen - Userpage

Vektorräume und lineare Abbildungen - Userpage

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!