Determinante/Multiplikationssatz/Fakt/Beweis

Aus Wikiversity
Beweis

Wir fixieren die Matrix . Es sei zunächst . Dann ist nach Fakt die Matrix nicht invertierbar und damit ist auch nicht invertierbar und somit wiederum . Es sei nun invertierbar. In diesem Fall betrachten wir die wohldefinierte Abbildung

Wir wollen zeigen, dass diese Abbildung gleich der Abbildung ist, indem wir die die Determinante charakterisierenden Eigenschaften nachweisen und Fakt anwenden. Wenn die Zeilen von sind, so ergibt sich , indem man auf die Zeilen die Determinante anwendet und mit multipliziert. Daher folgt die Multilinearität und die alternierende Eigenschaft aus Aufgabe. Wenn man mit startet, so ist und daher ist