21.06.2014 Aufrufe

Lineare Algebra - SAM - ETH Zürich

Lineare Algebra - SAM - ETH Zürich

Lineare Algebra - SAM - ETH Zürich

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.

Kapitel 5 — <strong>Lineare</strong> Abbildungen <strong>Lineare</strong> <strong>Algebra</strong> (2007)<br />

(iii) Hier wird zusätzlich benützt, dass natürlich gilt:<br />

A : E n → E m surjektiv ⇐⇒ im A = E m<br />

⇐⇒ Rang A = m .<br />

Im Falle von quadratische Matrizen ist vieles etwas einfacher, besonders<br />

wenn sie regulär sind. Satz 5.16 vereinfacht sich so:<br />

Korollar 5.17 Es seien A ∈ E m×m , B ∈ E m×m . Dann gilt:<br />

(i) Rang BA ≤ min{Rang B, Rang A},<br />

(ii) Rang B = m =⇒ Rang BA = Rang A,<br />

(iii) Rang A = m =⇒ Rang BA = Rang B.<br />

Im folgenden Satz fassen wir nochmals eine Reihe von gleichwertigen<br />

Aussagen zusammen.<br />

Satz 5.18 Für eine quadratische Matrix A ∈ E n×n sind folgende<br />

Aussagen äquivalent:<br />

(i) A ist invertierbar;<br />

(ii) A ist regulär;<br />

(iii) Rang A = n ;<br />

(iv) die n Kolonnenvektoren von A sind linear unabhängig;<br />

(v) die n Zeilenvektoren von A sind linear unabhängig;<br />

(vi) im A ≡ R(A) = E n ;<br />

(vii) ker A ≡ N (A) = {o} ;<br />

(viii) die lineare Abbildung A : E n → E n ist ein Automorphismus;<br />

(ix) A ist die Transformationsmatrix einer Koordinatentransformation<br />

in E n .<br />

Beweis:<br />

(i) ⇐⇒ (ii) auf Grund unserer Definition von “regulär”.<br />

(ii) ⇐⇒ (iii) nach Korollar 1.4 und Satz 2.15.<br />

(iii) ⇐⇒ (iv) ⇐⇒ (v) ergibt sich aus Satz 5.13 (iii) und (iv).<br />

(iv) ⇐⇒ (vi), weil n Vektoren genau dann den E n erzeugen, wenn sie<br />

linear unabhängig sind.<br />

(iii) ⇐⇒ (vii) nach der Dimensionsformel (5.36); oder: weil beide Aussagen<br />

äquivalent damit sind, dass Ax = o nur die triviale Lösung hat.<br />

(iii) ⇐⇒ (viii) folgt aus Korollar 5.8 (iii) und Satz 5.13 (ii).<br />

(viii) ⇐⇒ (ix) ist ziemlich klar, soll aber genauer betrachten werden:<br />

A = ( a kl<br />

)<br />

ist Transformationsmatrix genau dann, wenn aus der “alten”<br />

Basis b 1 , . . . , b n gemäss (4.38),<br />

LA-Skript 5-16 30. September 2007 c○M.H. Gutknecht

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!