Ich würde das wohl in etwa so aufschreiben, da ich denke, dass es so, oder so ähnlich, gemeint sein könnte:
Auf der linken Seite der behaupteten Gleichung steht das Produkt einer -Matrix mit einer -Matrix, was eine -Matrix ergibt. Auf der rechten Seite der behaupteten Gleichung die Summe von Vielfachen von -Matrizen, was eine -Matrix ergibt.
\\\Bemerkung\\\ Zwei Matrizen und sind gleich, wenn sie vom gleichen Typ sind (d.h. gleiche Zeilenanzahl haben und gleiche Spaltenanzahl haben, also und ) und die Matrizen eintragsweise übereinstimmen (d.h. für alle und alle ist ). \\\Ende der Bemerkung\\\
Beide Matrizen sind vom gleichen Typ, nämlich . Im Folgenden soll für alle und für der Eintrag der Matrix auf der linken Seite der behaupteten Gleichung in der -ten Zeile und der -ten Spalte mit bezeichnet werden. Analog sollen die Einträge der Matrix auf der rechten Seite mit bezeichnet werden.
Betrachte zunächst die linke Seite der Gleichung. Nach Definition der Matrixmultiplikation ist für alle und für .
Betrachte nun die rechte Seite der Gleichung. Es ist . Nach Definition der skalaren Multiplikation mit einer Matrix (nämlich eintragsweise), folgt: . Nach Kommutativität der Multiplikation im Grundkörper, folgt . Nach Definition der Addition von Matrizen (nämlich eintragsweise), folgt .
Daher ist für alle und für .
Also kann man folgern, dass für alle und für
ist. Zusammen mit der Aussage, dass die beiden Matrizen vom gleichen Typ sind, folgt dass die Matrizen gleich sind. Damit hat man die behauptete Identität nachgewiesen.
\\\\ Wenn das nicht ausführlich genug sein sollte, weiß ich auch nicht weiter.
|