Die Matrizenaddition oder Matrixaddition ist in der Mathematik eine additive Verknüpfung zweier Matrizen gleicher Größe. Das Ergebnis einer Matrizenaddition wird Matrizensumme, Matrixsumme oder Summenmatrix genannt und ergibt sich durch komponentenweise Addition der jeweils entsprechenden Einträge der beiden Ausgangsmatrizen. Die Matrizenaddition ist assoziativ, kommutativ und mit der Matrizenmultiplikation distributiv.
Die Menge der Matrizen gleicher Größe bildet mit der Matrizenaddition eine additive Gruppe, deren neutrales Element die Nullmatrix ist. Die Menge der quadratischen Matrizen gleicher Größe über einem Ring bildet mit der Matrizenaddition und der Matrizenmultiplikation wiederum einen Ring. Die Menge der Matrizen gleicher Größe über einem Körper bildet mit der Matrizenaddition und der Skalarmultiplikation einen Vektorraum.
Definition
Ist ein Ring und sind sowie zwei Matrizen über , dann wird die Matrizensumme von und durch
definiert. Die Summenmatrix ergibt sich demnach durch komponentenweise Addition der entsprechenden Einträge der beiden Ausgangsmatrizen. Sie ist dabei nur für den Fall definiert, dass die beiden Ausgangsmatrizen die gleiche Größe aufweisen. Die Ergebnismatrix besitzt dann ebenfalls diese Größe.
Beispiel
Die Matrizensumme der beiden reellen (2 × 2)-Matrizen
- und
ergibt sich als
- .
Eigenschaften
Das Matrizenaddition erbt die Eigenschaften des zugrunde liegenden Rings. Sie ist assoziativ, das heißt für Matrizen gilt
- .
und kommutativ, also
- .
Weiter ist die Matrizenaddition verträglich mit der Multiplikation von Skalaren , das heißt
- .
Zusammen mit der Matrizenmultiplikation gelten zudem die Distributivgesetze
- und .
Weiter gilt für die transponierte Matrix einer Summe zweier Matrizen
- .
Die Summe zweier symmetrischer Matrizen ist demnach wieder symmetrisch.
Algebraische Strukturen
Matrizen als Gruppe
Die Menge der Matrizen fester Größe bildet mit der Matrizenaddition eine additive Gruppe . Das neutrale Element in dieser Gruppe ist die Nullmatrix , bei der alle Einträge gleich dem Nullelement in sind. Somit gilt für alle Matrizen
- .
Das zu einer Matrix additiv inverse Element ist dann die Matrix
- ,
wobei das additiv inverse Element zu in darstellt. Die Differenz zweier Matrizen ist damit gegeben durch
- .
Matrizenringe
Die Menge der quadratischen Matrizen fester Größe bildet mit der Matrizenaddition und der Matrizenmultiplikation einen (nichtkommutativen) Ring . Ist der zugrunde liegende Ring unitär, dann ist auch der zugehörige Matrizenring unitär, wobei das Einselement durch die Einheitsmatrix dargestellt wird.
Ebenfalls einen Ring bildet die Menge der Matrizen beliebiger fester Größe mit der Matrizenaddition und dem Hadamard-Produkt . Ist unitär, dann besitzt auch dieser Matrizenring ein Einselement, die Einsmatrix , bei der alle Elemente gleich dem Einselement des Ausgangsrings sind.
Matrizenraum
Die Menge der Matrizen beliebiger fester Größe über einem Körper bildet mit der Matrizenaddition und der Skalarmultiplikation einen Vektorraum . Die Standardbasis für diesen Matrizenraum besteht aus der Menge der Standardmatrizen , bei denen der Eintrag an der Stelle eins ist und alle anderen Einträge null sind. Der Matrizenraum hat demnach die Dimension .
Ist eine Matrix über dem Körper der reellen oder komplexen Zahlen und eine Matrixnorm, dann gilt, per Definition einer Norm, die Dreiecksungleichung
- .
Die Norm einer Matrizensumme ist demnach höchstens so groß wie die Summe der Normen der Summanden.
Literatur
- Michael Artin: Algebra. Springer, 1998, ISBN 3-7643-5938-2.
- Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Algorithmen – eine Einführung. Oldenbourg, 2010, ISBN 3-486-59002-2.
- Eberhard Zeidler (Hrsg.): Taschenbuch der Mathematik. Band 1. Springer, 2012, ISBN 978-3-8351-0123-4.
Weblinks
- D.A. Suprunenko: Matrix. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).
- Eric W. Weisstein: Matrix Addition. In: MathWorld (englisch).
- djao: Matrix operations. In: PlanetMath. (englisch)