Determinante/Rekursiv/Alternierend/Vertauschungseigenschaft/Fakt/Beweis

Aus Wikiversity
Beweis

(1) und (2) werden parallel durch Induktion über bewiesen, wobei es für nichts zu zeigen gibt. Es sei also und . Die relevanten Zeilen seien und mit . Nach Definition ist . Nach Induktionsvoraussetzung für (1) sind dabei für , da ja dann zwei Zeilen übereinstimmen. Damit ist

wobei ist. Die beiden Matrizen und haben die gleichen Zeilen, allerdings tritt die Zeile in als die -te Zeile und in als die -te Zeile auf. Alle anderen Zeilen kommen in beiden Matrizen in der gleichen Reihenfolge vor. Durch insgesamt Vertauschungen von benachbarten Zeilen kann man in überführen. Nach der Induktionsvoraussetzung für (2) unterscheiden sich daher die Determinanten um den Faktor , also ist . Setzt man dies oben ein, so erhält man


Jetzt beweisen wir (2). Nach Teil (1) (für ) und aufgrund der Multilinearität ist