Lineare Algebra - SAM - ETH Zürich
Lineare Algebra - SAM - ETH Zürich
Lineare Algebra - SAM - ETH Zürich
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