Proposition: Invertierbarkeit von
Matrizen Die folgenden Aussagen sind äquivalent:
ist invertierbar.
Die TNF zu ist
Der Rang von ist ( hat also vollen Rang.)
ist ein Produkt von Elementarmatrizen
(nicht aus Mathegrundlagen, siehe Lemma - Matrix ist invertierbar gdw Determinante ist ungleich Null)
Alle Spaltenvektoren von sind linear unabhängig.1
Alle Zeilenvektoren von sind linear unabhängig.1
.1
.1
Das heißt: die Inverse Matrix können wir berechnen, indem wir die Transformationsmatrix des Gaußalgorithmus der TNF zu
Beweis
Da es sich hier um einen Äquivalenzbeweis mit vier Teilen handelt, führen wir einen Ringbeweis:
ist invertierbar Die TNF zu ist
Sei
Sei
Da
Es gilt also
Es gilt daher:
Da
Die TNF zu ist Der Rang von ist
Sei
Da
Der Rang von ist ist ein Produkt von Elementarmatrizen
Sei
Da
- Elementarmatrizen
, so dass - und es gibt Elementarmatrizen
, sodass
Das heißt,
ist ein Produkt von Elementarmatrizen ist invertierbar
Sei