Matrix (Mathematik)

In der Mathematik versteht man unter einer Matrix (Plural Matrizen) eine rechteckige Anordnung (Tabelle) von Elementen (meist mathematischer Objekte, etwa Zahlen). Rechteckig bedeutet, dass die Anordnung der Elemente in Zeilen und Spalten stattfindet. Die Zeilen und Spalten einer Matrix nennt man zusammengefasst auch Reihen.

Das Element einer Matrix ${\displaystyle A}$ in der ${\displaystyle i}$-ten Zeile und ${\displaystyle j}$-ten Spalte wird mit ${\displaystyle a_{ij}}$ bezeichnet. Mit den Objekten einer Matrix lässt sich dann in bestimmter Weise rechnen, indem man Matrizen zum Beispiel addiert oder miteinander multipliziert.

Matrizen sind ein Schlüsselkonzept der linearen Algebra und tauchen in fast allen Gebieten der Mathematik auf. Sie stellen Zusammenhänge, in denen Linearkombinationen eine Rolle spielen, übersichtlich dar und erleichtern damit Rechen- und Gedankenvorgänge. Sie werden insbesondere dazu benutzt, lineare Abbildungen darzustellen und lineare Gleichungssysteme zu beschreiben und zu lösen.

Der Name „Matrix“ (lateinisch für „Muttertier“, „Gebärmutter“,^[1] abgeleitet von mater – Mutter) wurde 1850 von James Joseph Sylvester geprägt.^[2]

Eine Anordnung, wie in nebenstehender Abbildung, von ${\displaystyle m\cdot n}$ Elementen ${\displaystyle a_{ij}}$ erfolgt in ${\displaystyle m}$ Zeilen und ${\displaystyle n}$ Spalten. Die Verallgemeinerung auf mehr als zwei Indizes wird auch Hypermatrix genannt.^[3]

Als Notation hat sich die Anordnung der Elemente in Zeilen und Spalten zwischen zwei großen öffnenden und schließenden Klammern durchgesetzt. In der Regel verwendet man runde Klammern, es werden aber auch eckige verwendet. Zum Beispiel bezeichnen

${\displaystyle {\begin{pmatrix}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\end{pmatrix}}}$ und ${\displaystyle {\begin{bmatrix}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\end{bmatrix}}}$

Matrizen mit zwei Zeilen und drei Spalten. Matrizen werden üblicherweise mit Großbuchstaben (manchmal fett gedruckt oder, handschriftlich, einfach oder doppelt unterstrichen), vorzugsweise ${\displaystyle A}$, bezeichnet. Eine Matrix mit ${\displaystyle m}$ Zeilen und ${\displaystyle n}$ Spalten nennt man eine Matrix vom Typ ${\displaystyle (m,n)}$ oder kurz ${\displaystyle (m,n)}$-Matrix.^[4] Auch die Schreibweisen ${\displaystyle m\times n}$-Matrix und ${\displaystyle (m\times n)}$-Matrix sind verbreitet. Man schreibt sie

${\displaystyle A={\boldsymbol {A}}={\underline {A}}={\begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &&\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{pmatrix}}=(a_{ij})_{i=1,\dotsc ,m;\ j=1,\dotsc ,n}}$.

Ein ${\displaystyle a_{ij}}$ nennt man Matrixelement oder kurz Element,^[5][6] neuerdings auch Matrixeintrag oder kurz Eintrag.^[7] Auch die Begriffe Matrixkomponente oder kurz Komponente werden verwendet.^[5] Insbesondere im Fall von ${\displaystyle (m,1)}$- oder ${\displaystyle (1,n)}$-Matrizen ist der Name Komponente verbreitet.^[8] Bei Tensoren spricht man auch von Tensorkoordinate oder kurz Koordinate.^[9]

Die Elemente können sowohl reelle als auch komplexe Zahlen sein, aber auch andere mathematische Objekte, z. B. Vektoren, Polynome, Differentiale, andere Formeln oder selbst wieder Matrizen.^[10]

Ein bestimmtes Element beschreibt man durch zwei Indizes, meist ist das Element in der ersten Zeile und der ersten Spalte durch ${\displaystyle a_{11}}$ beschrieben. Allgemein bezeichnet ${\displaystyle a_{ij}}$ das Element in der ${\displaystyle i}$-ten Zeile und der ${\displaystyle j}$-ten Spalte. Bei der Indizierung wird dabei stets als erstes der Zeilenindex und als zweites der Spaltenindex des Elements genannt. Merkregel: Zeile zuerst, Spalte später. Wenn Verwechslungsgefahr besteht, werden die beiden Indizes mit einem Komma abgetrennt. So wird zum Beispiel das Matrixelement in der ersten Zeile und der elften Spalte mit ${\displaystyle a_{1,11}}$ bezeichnet.

Einzelne Zeilen und Spalten einer Matrix werden oft als Spalten- oder Zeilenvektoren bezeichnet. Ein Beispiel:

${\displaystyle A={\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix}},}$ hier sind ${\displaystyle {\begin{pmatrix}a_{11}\\a_{21}\end{pmatrix}}}$ und ${\displaystyle {\begin{pmatrix}a_{12}\\a_{22}\end{pmatrix}}}$ die Spalten oder Spaltenvektoren sowie ${\displaystyle {\begin{pmatrix}a_{11}&a_{12}\end{pmatrix}}}$ und ${\displaystyle {\begin{pmatrix}a_{21}&a_{22}\end{pmatrix}}}$ die Zeilen oder Zeilenvektoren.

Bei einzeln stehenden Zeilen- und Spaltenvektoren einer Matrix wird gelegentlich der unveränderliche Index weggelassen. Manchmal werden Spaltenvektoren zur kompakteren Darstellung als transponierte Zeilenvektoren geschrieben, also:

${\displaystyle {\begin{pmatrix}a_{11}\\a_{21}\end{pmatrix}}}$ oder ${\displaystyle {\begin{pmatrix}a_{1}\\a_{2}\end{pmatrix}}}$ als ${\displaystyle {\begin{pmatrix}a_{11}&a_{21}\end{pmatrix}}^{T}}$ oder ${\displaystyle {\begin{pmatrix}a_{1}&a_{2}\end{pmatrix}}^{T}}$

Der Typ einer Matrix ergibt sich aus der Anzahl ihrer Zeilen und Spalten. Eine Matrix mit ${\displaystyle m}$ Zeilen und ${\displaystyle n}$ Spalten nennt man eine ${\displaystyle m\times n}$-Matrix (sprich: m-mal-n- oder m-Kreuz-n-Matrix). Stimmen Zeilen- und Spaltenanzahl überein, so spricht man von einer quadratischen Matrix.

Schreibweise für quadratische Matrix A:

${\displaystyle A\in M(n,R)}$

Gesprochen: A ist eine Matrix der Menge (Matrizenring) der quadratischen Matrizen mit n Zeilen und Spalten über dem Ring R (in der Regel ist R ein Körper)

Eine Matrix, die aus nur einer Spalte oder nur einer Zeile besteht, wird üblicherweise als Vektor aufgefasst. Einen Vektor mit ${\displaystyle n}$ Elementen kann man je nach Kontext als einspaltige ${\displaystyle n\times 1}$-Matrix oder einzeilige ${\displaystyle 1\times n}$-Matrix darstellen. Neben den Begriffen Spaltenvektor und Zeilenvektor sind hierfür die Begriffe Spaltenmatrix und Zeilenmatrix geläufig. Eine ${\displaystyle 1\times 1}$-Matrix ist sowohl Spalten- als auch Zeilenmatrix und wird als Skalar angesehen.

Eine Matrix ist eine doppelt indizierte Familie. Formal ist dies eine Funktion

${\displaystyle A\colon \{1,\dotsc ,m\}\times \{1,\dotsc ,n\}\to K,\quad (i,j)\mapsto a_{ij},}$

die jedem Indexpaar ${\displaystyle (i,j)}$ als Funktionswert das Element ${\displaystyle a_{ij}}$ zuordnet. Beispielsweise wird dem Indexpaar ${\displaystyle (1,2)}$ als Funktionswert das Element ${\displaystyle a_{12}}$ zugeordnet. Der Funktionswert ${\displaystyle a_{ij}}$ ist also das Element in der ${\displaystyle i}$-ten Zeile und der ${\displaystyle j}$-ten Spalte. Die Variablen ${\displaystyle m}$ und ${\displaystyle n}$ entsprechen der Anzahl der Zeilen bzw. Spalten. Nicht zu verwechseln mit dieser formalen Definition einer Matrix als Funktion ist, dass Matrizen selbst lineare Abbildungen beschreiben.

Die Menge ${\displaystyle \operatorname {Abb} \left(\{1,\dotsc ,m\}\times \{1,\dotsc ,n\},K\right)}$ aller ${\displaystyle m\times n}$-Matrizen über der Menge ${\displaystyle K}$ wird in üblicher mathematischer Notation auch ${\displaystyle K^{\{1,\dotsc ,m\}\times \{1,\dotsc ,n\}}}$ geschrieben; hierfür hat sich die Kurznotation ${\displaystyle K^{m\times n}}$ eingebürgert. Manchmal werden die Schreibweisen ${\displaystyle K^{m,n},}$ ${\displaystyle M(m\times n,K)}$ oder seltener ${\displaystyle {}^{m}K^{n}}$ benutzt.

Auf dem Raum der Matrizen werden elementare Rechenoperationen definiert.

Zwei Matrizen können addiert werden, wenn sie vom selben Typ sind, das heißt, wenn sie dieselbe Anzahl von Zeilen und dieselbe Anzahl von Spalten besitzen. Die Summe zweier ${\displaystyle m\times n}$-Matrizen ist komponentenweise definiert:

${\displaystyle A+B:=(a_{ij}+b_{ij})_{i=1,\dotsc ,m;\ j=1,\dotsc ,n}}$

Rechenbeispiel:

${\displaystyle \left({\begin{array}{r}1&-3&2\\1&2&7\end{array}}\right)+\left({\begin{array}{r}0&3&5\\2&1&-1\end{array}}\right)=\left({\begin{array}{r}1+0&-3+3&2+5\\1+2&2+1&7+(-1)\end{array}}\right)={\begin{pmatrix}1&0&7\\3&3&6\end{pmatrix}}}$

In der linearen Algebra sind die Matrixelemente üblicherweise Elemente eines Körpers (Körperelemente), wie der reellen oder komplexen Zahlen. In diesem Fall ist die Matrizenaddition assoziativ, kommutativ und besitzt mit der Nullmatrix ein neutrales Element. Im Allgemeinen besitzt die Matrizenaddition diese Eigenschaften jedoch nur, wenn die Matrixelemente Elemente einer algebraischen Struktur sind, die diese Eigenschaften hat.

Eine Matrix wird mit einem Skalar multipliziert, indem jedes Element der Matrix mit dem Skalar multipliziert wird:

${\displaystyle c\cdot A:=(c\cdot a_{ij})_{i=1,\dotsc ,m;\ j=1,\dotsc ,n}}$

Rechenbeispiel:

${\displaystyle 5\cdot \left({\begin{array}{r}1&-3&2\\1&2&7\end{array}}\right)={\begin{pmatrix}5\cdot 1&5\cdot (-3)&5\cdot 2\\5\cdot 1&5\cdot 2&5\cdot 7\end{pmatrix}}=\left({\begin{array}{r}5&-15&10\\5&10&35\end{array}}\right)}$

Die Skalarmultiplikation darf nicht mit dem Skalarprodukt verwechselt werden. Um die Skalarmultiplikation durchführen zu dürfen, müssen der Skalar ${\displaystyle c}$ und die Matrixelemente demselben Ring ${\displaystyle (K,+,\cdot ,0)}$ entstammen. Die Menge der ${\displaystyle m\times n}$-Matrizen ist in diesem Fall ein (Links-)Modul über ${\displaystyle K.}$

Zwei Matrizen können multipliziert werden, wenn die Spaltenanzahl der linken mit der Zeilenanzahl der rechten Matrix übereinstimmt. Das Produkt einer ${\displaystyle l\times m}$-Matrix ${\displaystyle A=(a_{ij})_{i=1,\dotsc ,l,\;j=1,\dotsc ,m}}$ und einer ${\displaystyle m\times n}$-Matrix ${\displaystyle B=(b_{ij})_{i=1,\dotsc ,m,\;j=1,\dotsc ,n}}$ ist eine ${\displaystyle l\times n}$-Matrix ${\displaystyle C=(c_{ij})_{i=1,\dotsc ,l,\;j=1,\dotsc ,n},}$ deren Elemente berechnet werden, indem die Produktsummenformel, ähnlich dem Skalarprodukt, auf Paare aus einem Zeilenvektor der ersten und einem Spaltenvektor der zweiten Matrix angewandt wird:

${\displaystyle c_{ij}=\sum _{k=1}^{m}a_{ik}\cdot b_{kj}}$

Die Matrizenmultiplikation ist nicht kommutativ, d. h., im Allgemeinen gilt ${\displaystyle B\cdot A\neq A\cdot B}$. Die Matrizenmultiplikation ist allerdings assoziativ, d. h., es gilt stets:

${\displaystyle (A\cdot B)\cdot C=A\cdot (B\cdot C)}$

Eine Kette von Matrix-Multiplikationen kann daher unterschiedlich geklammert werden. Das Problem, eine Klammerung zu finden, die zu einer Berechnung mit der minimalen Anzahl von elementaren arithmetischen Operationen führt, ist ein Optimierungsproblem. Die Matrizenaddition und Matrizenmultiplikation genügen zudem den beiden Distributivgesetzen:

${\displaystyle (A+B)\cdot C=A\cdot C+B\cdot C}$

für alle ${\displaystyle l\times m}$-Matrizen ${\displaystyle A,B}$ und ${\displaystyle m\times n}$-Matrizen ${\displaystyle C}$ sowie

${\displaystyle A\cdot (B+C)=A\cdot B+A\cdot C}$

für alle ${\displaystyle l\times m}$-Matrizen ${\displaystyle A}$ und ${\displaystyle m\times n}$-Matrizen ${\displaystyle B,C.}$

Quadratische Matrizen ${\displaystyle A\in K^{n\times n}}$ können mit sich selbst multipliziert werden; analog zur Potenz bei den reellen Zahlen führt man abkürzend die Matrixpotenz ${\displaystyle A^{2}=A\cdot A}$ oder ${\displaystyle A^{3}=A\cdot A\cdot A}$ ein. Damit ist es auch sinnvoll, quadratische Matrizen als Elemente in Polynome einzusetzen. Zu weitergehenden Ausführungen hierzu siehe unter Charakteristisches Polynom. Zur einfacheren Berechnung kann hier die jordansche Normalform verwendet werden. Quadratische Matrizen über ${\displaystyle \mathbb {R} }$ oder ${\displaystyle \mathbb {C} }$ kann man darüber hinaus sogar in Potenzreihen einsetzen, vgl. Matrixexponential. Eine besondere Rolle bezüglich der Matrizenmultiplikation spielen die quadratischen Matrizen über einem Ring ${\displaystyle R}$, also ${\displaystyle R^{n\times n}}$. Diese bilden selbst mit der Matrizenaddition und -multiplikation wiederum einen Ring, der Matrizenring genannt wird.

Die Transponierte einer ${\displaystyle m\times n}$-Matrix ${\displaystyle A=\left(a_{ij}\right)}$ ist die ${\displaystyle n\times m}$-Matrix ${\displaystyle A^{T}=\left(a_{ji}\right)}$, das heißt, zu

${\displaystyle A={\begin{pmatrix}a_{11}&\dots &a_{1n}\\\vdots &&\vdots \\a_{m1}&\dots &a_{mn}\end{pmatrix}}}$

ist

${\displaystyle A^{T}={\begin{pmatrix}a_{11}&\dots &a_{m1}\\\vdots &&\vdots \\a_{1n}&\dots &a_{mn}\end{pmatrix}}}$

die Transponierte. Man schreibt also die erste Zeile als erste Spalte, die zweite Zeile als zweite Spalte usw. Die Matrix wird an ihrer Hauptdiagonalen ${\displaystyle a_{11},a_{22},\dotsc }$ gespiegelt. Es gelten die folgenden Rechenregeln:

${\displaystyle {\begin{aligned}(A+B)^{T}&=A^{T}+B^{T}\\(c\cdot A)^{T}&=c\cdot A^{T}\\\left(A^{T}\right)^{T}&=A\\(A\cdot B)^{T}&=B^{T}\cdot A^{T}\\\left(A^{-1}\right)^{T}&=\left(A^{T}\right)^{-1}\end{aligned}}}$

Bei Matrizen über ${\displaystyle \mathbb {R} }$ ist die adjungierte Matrix genau die transponierte Matrix.

Falls die Determinante einer quadratischen ${\displaystyle n\times n}$-Matrix ${\displaystyle A}$ über einem Körper ${\displaystyle K}$ nicht gleich null ist, d. h., falls ${\displaystyle \det(A)\neq 0}$, so existiert die zur Matrix ${\displaystyle A}$ inverse Matrix ${\displaystyle A^{-1}}$. Für diese gilt

${\displaystyle AA^{-1}=A^{-1}A=E}$,

wobei ${\displaystyle E}$ die ${\displaystyle n\times n}$-Einheitsmatrix ist. Matrizen, die eine inverse Matrix besitzen, bezeichnet man als invertierbare oder reguläre Matrizen. Diese haben vollen Rang. Umgekehrt werden nichtinvertierbare Matrizen als singuläre Matrizen bezeichnet. Eine Verallgemeinerung der Inversen für singuläre Matrizen sind sog. pseudoinverse Matrizen.

Das Matrixprodukt ${\displaystyle v\cdot w}$ zweier ${\displaystyle n\times 1}$-Vektoren ${\displaystyle v}$ und ${\displaystyle w}$ ist nicht definiert, da die Anzahl ${\displaystyle 1}$ der Spalten von ${\displaystyle v}$ im Allgemeinen ungleich der Anzahl ${\displaystyle n}$ der Zeilen von ${\displaystyle w}$ ist. Die beiden Produkte ${\displaystyle v^{T}\cdot w}$ und ${\displaystyle v\cdot w^{T}}$ existieren jedoch.

Das erste Produkt ${\displaystyle v^{T}\cdot w}$ ist eine ${\displaystyle 1\times 1}$-Matrix, die als Zahl interpretiert wird; sie wird das Standardskalarprodukt von ${\displaystyle v}$ und ${\displaystyle w}$ genannt und mit ${\displaystyle \langle v,w\rangle }$ oder ${\displaystyle {\vec {v}}\cdot {\vec {w}}}$ bezeichnet. Geometrisch entspricht dieses Skalarprodukt in einem kartesischen Koordinatensystem dem Produkt

${\displaystyle {\vec {v}}\cdot {\vec {w}}=|{\vec {v}}|\cdot |{\vec {w}}|\cdot \cos \sphericalangle ({\vec {v}},{\vec {w}})}$

der Beträge der beiden Vektoren und des Kosinus des von den beiden Vektoren eingeschlossenen Winkels. Beispielsweise gilt

${\displaystyle {\begin{pmatrix}1\\2\\3\end{pmatrix}}^{T}\cdot \left({\begin{array}{r}-2\\-1\\1\end{array}}\right)={\begin{pmatrix}1&2&3\end{pmatrix}}\cdot \left({\begin{array}{r}-2\\-1\\1\end{array}}\right)=1\cdot (-2)+2\cdot (-1)+3\cdot 1=-1}$

Das zweite Produkt ${\displaystyle v\cdot w^{T}}$ ist eine ${\displaystyle n\times n}$-Matrix und heißt dyadisches Produkt oder Tensorprodukt von ${\displaystyle v}$ und ${\displaystyle w}$ (geschrieben ${\displaystyle v\otimes w}$). Seine Spalten sind skalare Vielfache von ${\displaystyle v}$, seine Zeilen skalare Vielfache von ${\displaystyle w^{T}}$. Beispielsweise gilt

${\displaystyle {\begin{pmatrix}1\\2\\3\end{pmatrix}}\cdot \left({\begin{array}{r}-2\\-1\\1\end{array}}\right)^{T}={\begin{pmatrix}1\\2\\3\end{pmatrix}}\cdot {\begin{pmatrix}-2&-1&1\end{pmatrix}}={\begin{pmatrix}1\cdot (-2)&1\cdot (-1)&1\cdot 1\\2\cdot (-2)&2\cdot (-1)&2\cdot 1\\3\cdot (-2)&3\cdot (-1)&3\cdot 1\end{pmatrix}}={\begin{pmatrix}-2&-1&1\\-4&-2&2\\-6&-3&3\end{pmatrix}}.}$

Die Menge der ${\displaystyle m\times n}$-Matrizen über einem Körper ${\displaystyle K}$ bildet mit der Matrizenaddition und der Skalarmultiplikation einen ${\displaystyle K}$-Vektorraum. Dieser Vektorraum ${\displaystyle K^{m\times n}}$ hat die Dimension ${\displaystyle m\cdot n}$. Eine Basis von ${\displaystyle K^{m\times n}}$ ist gegeben durch die Menge der Standardmatrizen ${\displaystyle E_{ij}}$ mit ${\displaystyle i\in \{1,\dotsc ,m\}}$, ${\displaystyle j\in \{1,\dotsc ,n\}}$. Diese Basis wird manchmal als Standardbasis von ${\displaystyle K^{m\times n}}$ bezeichnet.

Die Spur des Matrixprodukts ${\displaystyle A^{T}\cdot B}$

${\displaystyle \left\langle A,B\right\rangle =\operatorname {spur} (A^{T}B)=\sum _{j=1}^{n}\sum _{i=1}^{m}a_{ij}b_{ij}}$

ist dann im Spezialfall ${\displaystyle K=\mathbb {R} }$ ein reelles Skalarprodukt. In diesem euklidischen Vektorraum stehen die symmetrischen Matrizen und die schiefsymmetrischen Matrizen senkrecht aufeinander. Ist ${\displaystyle A}$ eine symmetrische und ${\displaystyle B}$ eine schiefsymmetrische Matrix, so gilt ${\displaystyle {\begin{matrix}\left\langle A,B\right\rangle =0\end{matrix}}}$.

Im Spezialfall ${\displaystyle K=\mathbb {C} }$ ist die Spur des Matrixproduktes ${\displaystyle {\overline {A^{T}}}\cdot B}$

${\displaystyle \left\langle A,B\right\rangle =\operatorname {spur} ({\overline {A^{T}}}B)=\sum _{j=1}^{n}\sum _{i=1}^{m}{\overline {a_{ij}}}b_{ij}}$

ein komplexes Skalarprodukt und der Matrizenraum wird zu einem unitären Vektorraum. Dieses Skalarprodukt wird Frobenius-Skalarprodukt genannt. Die von dem Frobenius-Skalarprodukt induzierte Norm heißt Frobeniusnorm und mit ihr wird der Matrizenraum zu einem Banachraum.

Das Besondere an Matrizen über einem Ring ${\displaystyle K}$ ist der Zusammenhang zu linearen Abbildungen. Zu jeder Matrix ${\displaystyle A\in K^{m\times n}}$ lässt sich eine lineare Abbildung mit Definitionsbereich ${\displaystyle K^{n}}$ (Menge der Spaltenvektoren) und Wertebereich ${\displaystyle K^{m}}$ definieren, indem man jeden Spaltenvektor ${\displaystyle u\in K^{n}}$ auf ${\displaystyle A\cdot u\in K^{m}}$ abbildet. Umgekehrt entspricht jeder linearen Abbildung ${\displaystyle f\colon K^{n}\to K^{m}}$ auf diese Weise genau eine ${\displaystyle m\times n}$-Matrix ${\displaystyle A}$; dabei sind die Spalten von ${\displaystyle A}$ die Bilder der Standard-Basisvektoren ${\displaystyle e_{1},\dotsc ,e_{n}}$ von ${\displaystyle K^{n}}$ unter ${\displaystyle f}$. Diesen Zusammenhang zwischen linearen Abbildungen und Matrizen bezeichnet man auch als (kanonischen) Isomorphismus

${\displaystyle \operatorname {Hom} _{K}(K^{n},K^{m})\simeq K^{m\times n}.}$

Er stellt bei vorgegebenem ${\displaystyle K,}$ ${\displaystyle m}$ und ${\displaystyle n}$ eine Bijektion zwischen der Menge der Matrizen und der Menge der linearen Abbildungen dar. Das Matrixprodukt geht hierbei über in die Komposition (Hintereinanderausführung) linearer Abbildungen. Weil die Klammerung bei der Hintereinanderausführung dreier linearer Abbildungen keine Rolle spielt, gilt dies für die Matrixmultiplikation, diese ist also assoziativ.

Ist ${\displaystyle K}$ sogar ein Körper, kann man statt der Spaltenvektorräume beliebige endlichdimensionale ${\displaystyle K}$-Vektorräume ${\displaystyle V}$ und ${\displaystyle W}$ (der Dimension ${\displaystyle n}$ bzw. ${\displaystyle m}$) betrachten. (Falls ${\displaystyle K}$ ein kommutativer Ring mit 1 ist, dann kann man analog freie K-Moduln betrachten.) Diese sind nach Wahl von Basen ${\displaystyle v=(v_{1},\dotsc ,v_{n})}$ von ${\displaystyle V}$ und ${\displaystyle w=(w_{1},\dotsc ,w_{m})}$ von ${\displaystyle W}$ zu den Koordinatenräumen ${\displaystyle K^{n}}$ bzw. ${\displaystyle K^{m}}$ isomorph, weil zu einem beliebigen Vektor ${\displaystyle u\in V}$ eine eindeutige Zerlegung in Basisvektoren

${\displaystyle u=\sum _{j=1}^{n}\alpha _{j}v_{j}}$

existiert und die darin vorkommenden Körperelemente ${\displaystyle \alpha _{j}}$ den Koordinatenvektor

${\displaystyle {}_{v}u={\begin{pmatrix}\alpha _{1}\\\vdots \\\alpha _{n}\end{pmatrix}}\in K^{n}}$

bilden. Jedoch hängt der Koordinatenvektor von der verwendeten Basis ${\displaystyle v}$ ab, die daher in der Bezeichnung ${\displaystyle {}_{v}u}$ vorkommt.

Analog verhält es sich im Vektorraum ${\displaystyle W.}$ Ist eine lineare Abbildung ${\displaystyle f\colon V\to W}$ gegeben, so lassen sich die Bilder der Basisvektoren von ${\displaystyle V}$ eindeutig in die Basisvektoren von ${\displaystyle W}$ zerlegen in der Form

${\displaystyle f(v_{j})=\sum _{i=1}^{m}a_{ij}w_{i}}$

mit Koordinatenvektor

${\displaystyle {}_{w}f(v_{j})={\begin{pmatrix}a_{1j}\\\vdots \\a_{mj}\end{pmatrix}}\in K^{m}.}$

Die Abbildung ist dann vollständig festgelegt durch die sog. Abbildungsmatrix

${\displaystyle {}_{w}f_{v}={\begin{pmatrix}a_{11}&\ldots &a_{1n}\\\vdots &&\vdots \\a_{m1}&\ldots &a_{mn}\end{pmatrix}}\in K^{m\times n},}$

denn für das Bild des o. g. Vektors ${\displaystyle u}$ gilt

${\displaystyle f(u)=\sum _{i=1}^{m}\sum _{j=1}^{n}a_{ij}\alpha _{j}w_{i},}$

also ${\displaystyle {}_{w}f(u)={}_{w}f_{v}\cdot {}_{v}u}$ („Koordinatenvektor = Matrix mal Koordinatenvektor“). (Die Matrix ${\displaystyle {}_{w}f_{v}}$ hängt von den verwendeten Basen ${\displaystyle v}$ und ${\displaystyle w}$ ab; bei der Multiplikation wird die Basis ${\displaystyle v}$, die links und rechts vom Malpunkt steht, „weggekürzt“, und die „außen“ stehende Basis ${\displaystyle w}$ bleibt übrig.)

Die Hintereinanderausführung zweier linearer Abbildungen ${\displaystyle f\colon V\to W}$ und ${\displaystyle g\colon W\to X}$ (mit Basen ${\displaystyle v}$, ${\displaystyle w}$ bzw. ${\displaystyle x}$) entspricht dabei der Matrixmultiplikation, also

${\displaystyle {}_{x}(g\circ f)_{v}={}_{x}g_{w}\cdot {}_{w}f_{v}}$

(auch hier wird die Basis ${\displaystyle w}$ „weggekürzt“).

Somit ist die Menge der linearen Abbildungen von ${\displaystyle V}$ nach ${\displaystyle W}$ wieder isomorph zu ${\displaystyle K^{m\times n}.}$ Der Isomorphismus ${\displaystyle f\mapsto {}_{w}f_{v}}$ hängt aber von den gewählten Basen ${\displaystyle v}$ und ${\displaystyle w}$ ab und ist daher nicht kanonisch: Bei Wahl einer anderen Basis ${\displaystyle v'}$ für ${\displaystyle V}$ bzw. ${\displaystyle w'}$ für ${\displaystyle W}$ wird derselben linearen Abbildung nämlich eine andere Matrix zugeordnet, die aus der alten durch Multiplikation von rechts bzw. links mit einer nur von den beteiligten Basen abhängigen invertierbaren ${\displaystyle m\times m}$- bzw. ${\displaystyle n\times n}$-Matrix (sog. Basiswechselmatrix) entsteht. Das folgt durch zweimalige Anwendung der Multiplikationsregel aus dem vorigen Absatz, nämlich

${\displaystyle {}_{w'}f_{v'}={}_{w'}e_{w}^{W}\cdot {}_{w}f_{v}\cdot {}_{v}e_{v'}^{V}}$

(„Matrix = Basiswechselmatrix mal Matrix mal Basiswechselmatrix“). Dabei bilden die Identitätsabbildungen ${\displaystyle e^{V}}$ und ${\displaystyle e^{W}}$ jeden Vektor aus ${\displaystyle V}$ bzw. ${\displaystyle W}$ auf sich selbst ab.

Bleibt eine Eigenschaft von Matrizen unberührt von solchen Basiswechseln, so ist es sinnvoll, diese Eigenschaft basisunabhängig der entsprechenden linearen Abbildung zuzusprechen.

Im Zusammenhang mit Matrizen oft auftretende Begriffe sind der Rang und die Determinante einer Matrix. Der Rang ist (falls ${\displaystyle K}$ ein Körper ist) im angeführten Sinne basisunabhängig, und man kann somit vom Rang auch bei linearen Abbildungen sprechen. Die Determinante ist nur für quadratische Matrizen definiert, die dem Fall ${\displaystyle V=W}$ entsprechen; sie bleibt unverändert, wenn derselbe Basiswechsel im Definitions- und Wertebereich durchgeführt wird, wobei beide Basiswechselmatrizen zueinander invers sind:

${\displaystyle {}_{v'}f_{v'}=({}_{v}e_{v'}^{V})^{-1}\cdot {}_{v}f_{v}\cdot {}_{v}e_{v'}^{V}}$

In diesem Sinne ist also die Determinante basisunabhängig.

Speziell in den multivariaten Verfahren werden häufig Beweisführungen, Herleitungen usw. im Matrizenkalkül durchgeführt.

Gleichungen werden im Prinzip wie algebraische Gleichungen umgeformt, wobei jedoch die Nichtkommutativität der Matrixmultiplikation sowie die Existenz von Nullteilern beachtet werden muss.

Beispiel: Lineares Gleichungssystem als einfache Umformung

Gesucht ist der Lösungsvektor ${\displaystyle x}$ eines linearen Gleichungssystems

${\displaystyle A\cdot x=b}$

mit ${\displaystyle A}$ als ${\displaystyle n\times n}$-Koeffizientenmatrix. Wenn die inverse Matrix ${\displaystyle A^{-1}}$ existiert, kann man mit ihr von links multiplizieren:

${\displaystyle A^{-1}\cdot A\cdot x=A^{-1}\cdot b\Leftrightarrow E\cdot x=A^{-1}\cdot b}$

und man erhält als Lösung

${\displaystyle x=A^{-1}\cdot b.}$

Die folgenden Eigenschaften quadratischer Matrizen entsprechen Eigenschaften von Endomorphismen, die durch sie dargestellt werden.

Orthogonale Matrizen

Eine reelle Matrix ${\displaystyle A}$ ist orthogonal, wenn die zugehörige lineare Abbildung das Standardskalarprodukt erhält, das heißt, wenn

${\displaystyle \langle Av,Aw\rangle =\langle v,w\rangle }$

gilt. Diese Bedingung ist äquivalent dazu, dass ${\displaystyle A}$ die Gleichung

${\displaystyle A^{-1}=A^{T}}$

bzw.

${\displaystyle A\,A^{T}=E}$

erfüllt. Diese Matrizen stellen Spiegelungen, Drehungen und Drehspiegelungen dar.

Unitäre Matrizen

Sie sind das komplexe Gegenstück zu den orthogonalen Matrizen. Eine komplexe Matrix ${\displaystyle A}$ ist unitär, wenn die zugehörige Transformation die Normierung erhält, das heißt, wenn

${\displaystyle \langle Av,Aw\rangle =\langle v,w\rangle }$

gilt. Diese Bedingung ist äquivalent dazu, dass ${\displaystyle A}$ die Gleichung

${\displaystyle A^{-1}=A^{*}}$

erfüllt; dabei bezeichnet ${\displaystyle A^{*}}$ die konjugiert-transponierte Matrix zu ${\displaystyle A.}$ Fasst man den ${\displaystyle n}$-dimensionalen komplexen Vektorraum als ${\displaystyle 2n}$-dimensionalen reellen Vektorraum auf, so entsprechen die unitären Matrizen genau denjenigen orthogonalen Matrizen, die mit der Multiplikation mit ${\displaystyle \mathrm {i} }$ vertauschen.

Projektionsmatrizen

Eine Matrix ist eine Projektionsmatrix, falls

${\displaystyle A=A^{2}}$

gilt, sie also idempotent ist: Das heißt, die mehrfache Anwendung einer Projektionsmatrix auf einen Vektor lässt das Resultat unverändert. Eine idempotente Matrix hat keinen vollen Rang, es sei denn, sie ist die Einheitsmatrix. Geometrisch entsprechen Projektionsmatrizen der Parallelprojektion entlang des Nullraumes der Matrix. Steht der Nullraum senkrecht auf dem Bildraum, so erhält man eine Orthogonalprojektion.
Beispiel: Es sei ${\displaystyle X}$ eine ${\displaystyle (m\times n)}$-Matrix und damit selbst nicht invertierbar. Falls der Rang von ${\displaystyle X}$ gleich ${\displaystyle n}$ ist, dann ist ${\displaystyle (X^{T}X)}$ invertierbar und die ${\displaystyle (m\times m)}$-Matrix

${\displaystyle A=X\,(X^{T}X)^{-1}X^{T}}$

idempotent. Diese Matrix wird beispielsweise in der Methode der kleinsten Quadrate verwendet.

Nilpotente Matrizen

Eine Matrix ${\displaystyle N}$ heißt nilpotent, falls eine Potenz ${\displaystyle N^{k}}$ (und damit auch jede höhere Potenz) die Nullmatrix ergibt.

Im Folgenden sind Eigenschaften von Matrizen aufgelistet, die Eigenschaften der zugehörigen Bilinearform

${\displaystyle (v,w)\mapsto v^{T}Aw}$

entsprechen. Trotzdem können diese Eigenschaften für die dargestellten Endomorphismen eine eigenständige Bedeutung besitzen.

Symmetrische Matrizen

Eine Matrix ${\displaystyle A}$ heißt symmetrisch, wenn sie gleich ihrer transponierten Matrix ist:

${\displaystyle A^{T}=A}$

Anschaulich gesprochen sind die Elemente symmetrischer Matrizen symmetrisch zur Hauptdiagonalen. Beispiel:

${\displaystyle {\begin{pmatrix}1&2&3\\2&4&5\\3&5&6\end{pmatrix}}^{T}={\begin{pmatrix}1&2&3\\2&4&5\\3&5&6\end{pmatrix}}}$

Symmetrische Matrizen entsprechen einerseits symmetrischen Bilinearformen:

${\displaystyle v^{T}Aw=w^{T}Av,}$

andererseits den selbstadjungierten linearen Abbildungen:

${\displaystyle \langle Av,w\rangle =\langle v,Aw\rangle }$

Hermitesche Matrizen

Hermitesche Matrizen sind das komplexe Analogon der symmetrischen Matrizen. Sie entsprechen den hermiteschen Sesquilinearformen und den selbstadjungierten Endomorphismen.
Eine Matrix ${\displaystyle A\in \mathbb {C} ^{n\times n}}$ ist hermitesch oder selbstadjungiert, wenn gilt:

${\displaystyle A=A^{*}}$

Schiefsymmetrische Matrizen

Eine Matrix ${\displaystyle A}$ heißt schiefsymmetrisch oder antisymmetrisch, wenn gilt:

${\displaystyle -A^{T}=A}$

Um diese Bedingung zu erfüllen, müssen alle Elemente der Hauptdiagonale den Wert Null haben; die restlichen Werte werden an der Hauptdiagonale gespiegelt und mit ${\displaystyle -1}$ multipliziert.
Beispiel:

${\displaystyle \left({\begin{array}{r}0&1&2\\-1&0&3\\-2&-3&0\end{array}}\right)}$

Schiefsymmetrische Matrizen entsprechen antisymmetrischen Bilinearformen:

${\displaystyle v^{T}\cdot A\cdot w=-w^{T}\cdot A\cdot v}$

und antiselbstadjungierten Endomorphismen:

${\displaystyle \langle Av,w\rangle =-\langle v,Aw\rangle }$

Positiv definite Matrizen

Eine reelle Matrix ist positiv definit, wenn die zugehörige Bilinearform positiv definit ist, das heißt, wenn für alle Vektoren ${\displaystyle v\neq 0}$ gilt:

${\displaystyle v^{T}\cdot A\cdot v>0}$

Positiv definite Matrizen definieren verallgemeinerte Skalarprodukte. Hat die Bilinearform keine negativen Werte, heißt die Matrix positiv semidefinit. Analog kann eine Matrix negativ definit beziehungsweise negativ semidefinit heißen, wenn die obige Bilinearform nur negative beziehungsweise keine positiven Werte hat. Matrizen, die keine dieser Eigenschaften erfüllen, heißen indefinit.

Konjugierte und adjungierte Matrix

Enthält eine Matrix komplexe Zahlen, erhält man die konjugierte Matrix, indem man ihre Komponenten durch die konjugiert komplexen Elemente ersetzt. Die adjungierte Matrix (auch hermitesch konjugierte Matrix) einer Matrix ${\displaystyle A}$ wird mit ${\displaystyle A^{*}}$ bezeichnet und entspricht der transponierten Matrix, bei der zusätzlich alle Elemente komplex konjugiert werden.

Adjunkte oder komplementäre Matrix

Die komplementäre Matrix ${\displaystyle \operatorname {adj} (A)}$ einer quadratischen Matrix ${\displaystyle A}$ setzt sich aus deren Unterdeterminanten zusammen, wobei eine Unterdeterminante Minor genannt wird. Für die Ermittlung der Unterdeterminanten ${\displaystyle \det(A_{ij})}$ werden die ${\displaystyle i}$-te Zeile und ${\displaystyle j}$-te Spalte von ${\displaystyle A}$ gestrichen. Aus der resultierenden ${\displaystyle (n-1)\times (n-1)}$-Matrix wird dann die Determinante ${\displaystyle \det(A_{ij})}$ berechnet. Die komplementäre Matrix hat dann die Elemente ${\displaystyle (-1)^{i+j}\det(A_{ji}).}$ Diese Matrix wird manchmal auch als Matrix der Kofaktoren bezeichnet.
Man verwendet die komplementäre Matrix beispielsweise zur Berechnung der Inversen einer Matrix ${\displaystyle A}$, denn nach dem Laplaceschen Entwicklungssatz gilt:

${\displaystyle \operatorname {adj} (A)\cdot A=A\cdot \operatorname {adj} (A)=\det(A)\cdot E_{n}}$

Damit ist die Inverse ${\displaystyle A^{-1}={\frac {1}{\det(A)}}\cdot \operatorname {adj} (A),}$ wenn ${\displaystyle \det(A)\neq 0.}$

Übergangs- oder stochastische Matrizen

Eine Übergangs- oder stochastische Matrix ist eine Matrix, deren Elemente alle zwischen 0 und 1 liegen und deren Zeilen- oder Spaltensummen 1 ergeben. Sie dienen in der Stochastik zur Charakterisierung zeitlich diskreter Markow-Ketten mit endlichem Zustandsraum. Ein Spezialfall hiervon sind die doppelt-stochastischen Matrizen, bei denen Zeilen- und Spaltensummen 1 ergeben.

Für unendlichdimensionale Vektorräume (sogar über Schiefkörpern) gilt, dass jede lineare Abbildung ${\displaystyle f\colon U\to V}$ eindeutig durch die Bilder ${\displaystyle f(u)}$ der Elemente ${\displaystyle u}$ einer Basis ${\displaystyle {\mathcal {B}}_{U}\subset U}$ bestimmt ist und diese beliebig gewählt werden und zu einer linearen Abbildung auf ganz ${\displaystyle U}$ fortgesetzt werden können. Ist nun ${\displaystyle {\mathcal {B}}_{V}}$ eine Basis von ${\displaystyle V}$, so lässt sich ${\displaystyle f(u)}$ eindeutig als (endliche) Linearkombination von Basisvektoren schreiben, d. h., es existieren eindeutige Koeffizienten ${\displaystyle f(u)_{b}\in K}$ für ${\displaystyle b\in {\mathcal {B}}_{V}}$, von denen nur endlich viele von null verschieden sind, sodass ${\displaystyle f(u)=\sum _{b\in {\mathcal {B}}_{V}}f(u)_{b}b}$. Dementsprechend lässt sich jede lineare Abbildung als möglicherweise unendliche Matrix auffassen, wobei jedoch in jeder Spalte (${\displaystyle {\mathcal {B}}_{U}}$ „nummeriere“ die Spalten und die Spalte zu ${\displaystyle u}$ bestehe dann aus den von den Elementen von ${\displaystyle {\mathcal {B}}_{V}}$ nummerierten Koordinaten ${\displaystyle f(u)_{b}}$) nur endlich viele Elemente von null verschieden sind, und umgekehrt. Die entsprechend definierte Matrixmultiplikation entspricht wiederum der Komposition linearer Abbildungen.

In der Funktionalanalysis betrachtet man topologische Vektorräume, d. h. Vektorräume, auf denen man von Konvergenz sprechen und dementsprechend unendliche Summen bilden kann. Auf solchen können Matrizen mit unendlich vielen von null verschiedenen Elementen in einer Spalte unter Umständen als lineare Abbildungen verstanden werden, wobei auch andere Basis-Begriffe zugrunde liegen.

Einen speziellen Fall bilden Hilberträume. Seien also ${\displaystyle U,V}$ Hilberträume und ${\displaystyle (u_{i})_{i\in I},(v_{i})_{i\in I}}$ Orthonormalbasen von ${\displaystyle U}$ bzw. ${\displaystyle V}$. Dann erhält man eine Matrixdarstellung eines linearen Operators ${\displaystyle f\colon U\to V}$ (für lediglich dicht definierte Operatoren funktioniert es ebenso, falls der Definitionsbereich eine Orthonormalbasis besitzt, was im abzählbardimensionalen Fall stets zutrifft), indem man die Matrixelemente ${\displaystyle f_{i,k}:=\langle u_{i},fu_{k}\rangle }$ definiert; dabei ist ${\displaystyle \langle u,v\rangle }$ das Skalarprodukt im betrachteten Hilbertraum (im komplexen Fall semilinear im ersten Argument).

Dieses sogenannte Hilbert-Schmidt-Skalarprodukt lässt sich im unendlichdimensionalen Fall nur noch für eine bestimmte Teilklasse von linearen Operatoren, die sogenannten Hilbert-Schmidt-Operatoren, definieren, bei denen die Reihe, über die dieses Skalarprodukt definiert ist, stets konvergiert.

Matrizen können in den meisten höheren Programmiersprachen deklariert und gespeichert werden. Eine Matrix wird in Programmiersprachen in einer Datenstruktur-Variante gespeichert, die in der deutschsprachigen Fachliteratur meist Datenfeld oder kurz Feld (englisch array) genannt wird.^[11] Das Feld erhält einen Feldnamen, für den in den Beispielen FeldX gewählt wurde. Der Zugriff auf bestimmte Inhalte eines Felds erfolgt mit Hilfe von Indizes, die dessen Position bezeichnen. Bei mehrdimensionalen Feldern gibt es für jede Dimension einen Index.^[12] Alle Elemente eines Felds haben in der Regel den gleichen Datentyp, sind also zum Beispiel alle entweder ganze Zahlen, natürliche Zahlen oder Gleitkommazahlen. In Computeralgebrasystemen können es auch symbolische Ausdrücke (wie Variable, Funktionen oder Polynome) sein.

Beim Deklarieren werden Felder in einer sprachspezifischen Syntax formuliert. Beispiele:

• REAL*8 FeldX(100,...) (Schlüsselwort REAL*8 mit Angabe der 8 Bytes für den Datentyp Gleitkommazahl, Feldname, Anzahl der Feldelemente je Dimension in runden Klammern): Fortran
• Dim FeldX (100,...) As Double (Schlüsselwort Dim, Feldname, Anzahl der Feldelemente je Dimension in runden Klammern, Datentyp Gleitkommazahl doppelter Länge): Visual Basic, Visual Basic for Applications und Visual Basic Script
• FeldX (100) (Feldname, Anzahl der Feldelemente in runden Klammern): PL/I
• FeldX [100,...] (Feldname, Anzahl der Feldelemente je Dimension in eckigen Klammern): C#^[13]
• FeldX [100][][] (Feldname, Anzahl der Feldelemente je Dimension, jeweils in gesonderten eckigen Klammern): C/C++,^[14] Java^[15]
• FeldX array (100) (Feldname, Schlüsselwort array, Anzahl der Feldelemente in runden Klammern): Modula-2
• FeldX occurs 100. (Feldname, Schlüsselwort occurs, Anzahl der Feldelemente ohne Klammern): Cobol

Die so deklarierten „Platzhalter“ werden in dem jeweiligen Programm mit „Werten“ befüllt. Matrizenmanipulationen muss der Anwender selbst programmieren.

Eine Tabellenkalkulation (englisch Spreadsheet) ist eine Software zur interaktiven Eingabe und Bearbeitung von numerischen und alphanumerischen Daten in Form einer Tabelle. Wer mit der Matrizenrechnung vertraut ist und sich dann in eine Tabellenkalkulation einarbeitet, findet zunächst etwas Vertrautes vor: Das Tabellenblatt, die regelmäßige Unterteilung einer Fläche in Kästchen, die hier nicht Elemente, sondern Zellen genannt werden. Eine Zelle wird ebenfalls durch „Koordinaten“ adressiert, durch die Spalte und die Zeile in der sie sie sich befindet. Hier endet das Vertraute. Die Spalten werden üblicherweise mit Buchstaben oder Buchstabenfolgen, die Zeilen mit Zahlen festgelegt. Die Reihenfolge ist vertauscht: Spalte zuerst, dann die Zeile. Die Adresse B3 ist also die Zelle in der zweiten Spalte und der dritten Zeile. Ein rechteckiger Bereich von Zellen wird durch die Adressen der Zellen in der linken oberen Ecke und in der rechten unteren Ecke festgelegt, durch ein bis-Zeichen, etwa einen Doppelpunkt (:), getrennt. Zum Beispiel adressiert B3:D5 einen quadratischen Zellenbereich mit drei Zeilen und drei Spalten. Einem solchen Zellenbereich kann auch ein Name zugeordnet werden, zum Beispiel der Name FeldX.

Jede Tabellenkalkulation enthält eine Vielzahl von Funktionen, die in Formeln verwendet werden.

In Microsoft Excel und dem freien LibreOffice Calc kann jeder rechteckige Bereich, der Zahlen enthält, als Matrix interpretiert werden. Eine Matrix kann sich an beliebiger Stelle auf dem Tabellenblatt befinden. Wie in den „klassischen“ Programmiersprachen können die Matrixelemente nur Zahlen sein. Excel und Calc enthalten Funktionen speziell für Matrizen. Bei Excel (Calc) sind dies die folgenden Funktionen:

• Die Funktion MMULT gibt das Produkt zweier Matrizen zurück.
• Die Funktion MINV (MINVERSE) gibt die Inverse einer Matrizen zurück.
• Die Funktion MDET (MDETERM) liefert die Determinante einer Matrix.

Der Screenshot zeigt ein Beispiel für eine Matrix, das Produkt der Matrix mit sich selbst, ihre inverse Matrix und ihre Determinante. Mit der inversen Matrix kann auch ein lineares Gleichungssystem kompakt gelöst werden.

Die Formel muss als Matrixformel eingegeben werden, damit sie richtig funktioniert. Nach Eingabe der Formel muss bei der Version Microsoft 365 die EINGABETASTE gedrückt werden, ansonsten die Tastenkombination STRG+UMSCHALT+EINGABETASTE.^[16]

In beiden Tabellenkalkulationen gibt es Programmiersprachen, mit denen den Matrixelementen Werte zugewiesen werden können, wie in anderen „klassischen“ Programmiersprachen auch. Es gibt aber noch eine weitere Möglichkeit, die es dort nicht gibt. Die Werte für die Matrixelemente können auch von einem Tabellenblatt gelesen und nach der Ausführung einer Berechnung auf ein Tabellenblatt geschrieben werden. Dies kann helfen, den Berechnungsvorgang transparenter zu machen.

Ein Computeralgebrasystem ist ein Computerprogramm, das vorrangig der Bearbeitung algebraischer Ausdrücke dient. Es löst nicht nur mathematische Aufgaben mit Zahlen (wie die „klassischen“ Programmiersprachen oder ein einfacher Taschenrechner), sondern auch solche mit symbolischen Ausdrücken (wie Variablen, Funktionen, Polynomen und Matrizen).

In Computeralgebrasysteme Mathematica^[17] entfällt die separate Deklaration des Felds, das nachfolgend ebenfalls FeldX genannt wird. Die Matrixelemente können sowohl Zahlen als auch Symbole sein. Verwenden wir im nachfolgenden Beispiel Symbole. Die Matrixelemente werden in einer speziellen Syntax Zeile für Zeile eingegeben. Mit der Funktion MatrixForm wird die Matrix in der üblichen Form angezeigt. Präfixe werden von Mathematica in kleiner Schrift und in der Farbe blau ausgeschrieben (sind also keine Links). In den Klammern (* … *) stehen erläuternde Kommentare:

In[1]:= MatrixForm [FeldX={{a, b, 0}, {c, a, b}, {0, c, a}}] (* Matrixelemente eingeben *)

Out[1]//MatrixForm=

${\displaystyle {\begin{pmatrix}a&b&0\\c&a&b\\0&c&a\\\end{pmatrix}}}$

Für die Matrizenmultiplikation wird zwischen die Feldnamen ein schlichter Punkt (.) gesetzt.^[18] Zum Beispiel für die Multiplikation des Felds FeldX mit sich selbst sieht die Syntax so aus:

In[2]:= MatrixForm [FeldX.FeldX] (* Matrix mit sich selbst multiplizieren *)

Out[2]//MatrixForm=

${\displaystyle {\begin{pmatrix}a^{2}+bc&2ab&b^{2}\\2ac&a^{2}+2bc&2ab\\c^{2}&2ac&a^{2}+bc\\\end{pmatrix}}}$

Mathematica enthält eine Vielzahl von Funktionen, um Matrizen zu erzeugen, etwa eine Hilbert-Matrix oder eine Hankel-Matrix, und solche, um Matrizen zu manipulieren, zum Beispiel auch exotische, wie die, die einer Matrix Zeilen/Spalten oder den Teil oberhalb/unterhalb der Diagonalen entnehmen.

In der Computeralgebrasystem Maple wird eine Matrix als zweidimensionales Datenfeld mit Zeilen- und Spaltenindizes dargestellt, die von 1 aus indiziert werden. Matrizen können entweder direkt als zweidimensionales Datenfeld mit dem Befehl array oder mit dem Befehl matrix des Pakets für lineare Algebra linalg eingegeben werden. Das Pakets für lineare Algebra ist speziell für das Rechnen mit Vektoren und Matrizen bestimmt. Beispielsweise erstellt der Befehl array(1..m,1..n) eine leere (m x n)-Matrix und der Befehl array(1..10,1..10,identity) eine (10 x 10)-Einheitsmatrix. Spezielle Funktionen erlauben es, bestimmte Eigenschaften der Matrix abzufragen: Ist die Matrix symmetrisch, antisymmetrisch, diagonal, dünn besetzt? Das Paket für lineare Algebra enthält außerdem eine Reihe von Befehlen, um spezielle Matrizen zu erzeugen, zum Beispiel eine Bezout-, Hilbert-, Jacobi-, Sylvester-, Toeplitz- oder Vandermonde-Matrix.

Die Syntax von Maple ist benutzerfreundlich. Die Eingabe eines Befehls wird mit der Taste Enter abgeschlossen und nicht, wie im Fall von Mathematica, mit der Tastenkombination Shift+Enter. Hier drei Eingabemöglichkeiten einer Matrix in Maple:

> FeldX:=array([[a,b,0],[c,a,b],[0,c,a]]);

oder

> FeldX:=array(1..3,1..3,[[a,b,0], [c,a,b], [0,c,a]]);

oder

> FeldX:=linalg[matrix](3,3,[a,b,0, c,a,b, 0,c,a]);

Die Ausschrift nach Drücken der Taste Enter ist für alle drei Eingabevarianten gleich:

${\displaystyle FeldX:={\begin{bmatrix}a&b&0\\c&a&b\\0&c&a\\\end{bmatrix}}}$

Für die Multiplikation des Felds FeldX mit sich selbst sieht die Syntax so aus:

> evalm(FeldX &* FeldX);

Das Ergebnis ist

${\displaystyle {\begin{bmatrix}a^{2}+bc&2ab&b^{2}\\2ca&2bc+a^{2}&2ab\\c^{2}&2ca&a^{2}+bc\\\end{bmatrix}}.}$

Der Befehl evalm interpretiert den Operator &* als den Matrixmultiplikationsoperator.^[19]

Mathcad ist ein kommerzielles Computeralgebrasystem, das ursprünglich von der Firma Mathsoft für rein numerische Berechnungen entwickelt wurde. Für symbolische Berechnungen wird seit der Version 3 (1991) eine Minimalvariante des Computeralgebrasystems Maple verwendet. Die Stärke von Mathcad liegt darin, dass die Eingabe von Formeln, der Arbeitsablauf und die Dokumentation dem normalen Arbeitsablauf von Technikern, Wirtschafts- und Naturwissenschaftlern angepasst wurden. So gibt es zum Beispiel für Matrizen eine eigene Symbolleiste mit einer Matrixschablone (Platzhalter), so dass keine programmspezifische Syntax für die Eingabe von Matrizen erlernt werden muss, wie dies bei den Programmen Mathematica und Maple der Fall ist. Auch das Erlernen einer Programmiersprache ist nicht erforderlich.

Die Symbolleiste Matrix von Mathcad vereinfacht außerdem

• den Zugriff auf ein bestimmtes Matrixelement oder auf eine Matrixspalte,
• die Eingabe zur Berechnung der Transponierten, der Inversen oder der Determinante der Matrix und
• die Eingabe zur Berechnung des Skalar- oder Vektorprodukts zweier Vektoren.

Eine Besonderheit aus physikalischer Sicht ist, dass Mathcad Einheitensysteme verwenden und umrechnen kann. Aufgrund des Kompromisses zwischen einfacher Bedienung und mathematischer Leistungsfähigkeit wird das Programm auch häufig in Schulen eingesetzt.

In den Auszeichnungssprachen geht es nicht darum, mit Matrizen zu rechnen, sondern sie zunächst unabhängig von ihrer grafischen Darstellung in ihrer logischen Struktur zu speichern, um sie dann wie gewohnt auf dem Bildschirm darstellen und ausdrucken zu können.

Die Auszeichnungssprache TeX (englisch TeX-Markup) wird unter anderem in der Wikipedia für Formeln verwendet. Die folgende Tabelle zeigt eine Matrix in dieser Auszeichnungssprache, links die Eingabe, rechts das Ergebnis nach dem Rendern:

<math>
\begin{pmatrix}
   a & b & 0 \\
   c & a & b \\
   0 & c & a
\end{pmatrix}
</math>

Das Tag-Paar <math> … </math> eröffnet den Math-Modus für Formeln und schließt ihn ab. \begin{pmatrix} … \end{pmatrix} kennzeichnet, dass eine Matrix dargestellt werden soll, die von runden Klammern (englisch parentheses) umschlossen ist. Der Übergang zum nächsten Matrixelemente der Zeile wird durch das Et-Zeichen & und der Zeilenwechsel durch das Zeichenpaar \\ bewirkt.

Die in der Wikipedia verwendete Syntax unterscheidet sich geringfügig von der originalen Auszeichnungssprache TeX, die für den Buchdruck gedacht ist.^[20] In Letzterer sähe das Beispiel so aus:

$$
\begin{pmatrix}
   a & b & 0 \cr
   c & a & b \cr
   0 & c & a
\end{pmatrix}
$$

Das Tag \cr steht für den Zeilenwechsel (englisch carriage return).

Aber auch ohne den Math-Modus lassen sich in der Auszeichnungssprache Wikitext (englisch wiki markup) mittels Tabellen matrixähnliche Strukturen erzeugen, wie sie zum Beispiel im Artikel Falksches Schema für die Matrizenmultiplikation verwendet werden. Die folgende Tabelle zeigt eine einfache Tabelle in der Auszeichnungssprache Wikitext:

{| class="wikitable"
| a || b || 0
|-
| c || a || b
|-
| 0 || c || a
|}

In dieser Auszeichnungssprache werden andere Zeichen für das Springen von Zelle zu Zelle (Element zu Element) und für den Zeilenumbruch verwendet als im Math-Modus. Dies zeigt, dass die verwendeten Zeichen keiner tieferen Logik folgen, sondern auf die Intentionen der ursprünglichen Entwickler zurückgehen.

Die Mathematical Markup Language (MathML) ist eine weitere Auszeichnungssprache zur Darstellung mathematischer Formeln. Sie gehört zur Familie der XML-Sprachen. MathML wurde ursprünglich als universelle Spezifikation für Browser, Office-Suiten, Computeralgebrasysteme, EPUB-Reader und LaTeX-basierte Generatoren entwickelt. Die Matrix des Beispiels wird in MathML in folgender Syntax formuliert:

<mrow>
  <mo> ( </mo>
  <mtable>
    <mtr>
      <mtd> <mn>a</mn> </mtd> <mtd> <mn>b</mn> </mtd> <mtd> <mn>0</mn> </mtd>
    </mtr>
    <mtr>
      <mtd> <mn>c</mn> </mtd> <mtd> <mn>a</mn> </mtd> <mtd> <mn>b</mn> </mtd>
    </mtr>
    <mtr>
      <mtd> <mn>0</mn> </mtd> <mtd> <mn>c</mn> </mtd> <mtd> <mn>a</mn> </mtd>
    </mtr>
  </mtable>
  <mo> ) </mo>
</mrow>

Die Bedeutung der Tags dürfte selbsterklärend sein. Browser wie Firefox und Safari unterstützten eine Teilmenge von MathML, das sogenannte MathML Core.^[21][22]

• Maxime Bôcher: Einführung in die höhere Algebra. Teubner, Leipzig 1925 (XII, 348 S.). 

• Ewald Bodewig: Matrix calculus. 2nd, revised and enlanged edition Auflage. North-Holland Pub. Co., Amsterdam 1959, ISBN 978-1-4832-7498-0 (452 S.). 

• Richard Bellman: Introduction to matrix algebra. McGraw, New York 1960 (328 S.). 

• Rudolf Kochendörffer: Determinanten und Matrizen. 2. Auflage. B. G. Teubner, Leipzig 1961 (VI, 144 S.). 

• Richard S. Varga: Matrix Iterative Analysis. Prentice-Hall, Englewood Cliffs, NJ 1962, ISBN 0-13-565507-2 (XIII, 322 S.). 
  Matrix Iterative Analysis. 2. rev. and expanded ed., 1. softcover printing. Springer, Berlin/Heidelberg 2009, ISBN 978-3-642-05154-8 (X, 358 S., eingeschränkte Vorschau in der Google-Buchsuche). 

• Lothar Collatz: Eigenwertaufgaben mit technischen Anwendungen. 2., durchges. Auflage. Akad. Verl.-Ges. Geest & Portig, Leipzig 1963 (XIV, 500 S.). 

• Frank Harary: Graphentheorie. R. Oldenbourg Verlag, München, Wien 1974, ISBN 3-486-34191-X. 

• Alston S. Householder: The Theory of Matrices in Numerical Analysis. Dover Publications Inc., New York, NY 1964, ISBN 0-486-61781-5 (xi, 257 S.). 
  The theory of matrices in numerical analysis. Dover edition Auflage. Dover Publications, Mineola N.Y. 2006, ISBN 0-486-44972-6 (xi, 257 S., eingeschränkte Vorschau in der Google-Buchsuche). 
  Die Zahlen, aus denen sich die Matrix zusammensetzt, werden von Householder element/elements genannt, die Namen entry/entries verwendet er nicht.

• Rudolf Zurmühl: Matrizen und ihre technischen Anwendungen. 4., neubearbeite Auflage. Springer, Berlin/Göttingen/Heidelberg 1964 (XII, 452 S.). 

• Fritz Neiss: Determinanten und Matrizen. 7. Auflage. Springer, Berlin/Heidelberg 1967, ISBN 978-3-662-00943-7 (VII, 111 S.). 

• Wolfgang Gröbner: Matrizenrechnung. Bibliographisches Institut, Mannheim 1977, ISBN 3-411-00103-8 (279 S.). 

• Dmitri K. Faddejew, Wera N. Faddejewa: Numerische Methoden der linearen Algebra. 5. Auflage. VEB Deutscher Verlag der Wissenschaften, Berlin 1978 (782 S.). 

• Feliks R. Gantmacher: Matrizentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1986, ISBN 3-326-00001-4 (654 S.). 

• Rudolf Zurmühl, Sigurd Falk: Matrizen und Ihre Anwendungen. 7., Softcover reprint of the original 7th ed. 1997. Springer, Berlin / Heidelberg / New York 2013, ISBN 978-3-642-63821-3 (XIV, 496 S.). 

• Gilbert Strang: Lineare Algebra. Springer-Verlag, Berlin 2003, ISBN 3-540-43949-8 (XII, 656 S., eingeschränkte Vorschau in der Google-Buchsuche). 
  Übersetzung der englischen Originalausgabe: Gilbert Strang: Introduction to linear algebra. 2. Auflage. Wellesley-Cambridge Press, Wellesley, Mass. 1998, ISBN 0-9614088-5-5 (VII, 503 S.). 

• Christian Voigt, Jürgen Adamy: Formelsammlung der Matrizenrechnung. Oldenbourg, München/Wien 2007, ISBN 978-3-486-58350-2 (XIV, 162 S., eingeschränkte Vorschau in der Google-Buchsuche). 

• Gene H. Golub, Charles F. van Loan: Matrix computations. Fourth edition Auflage. The Johns Hopkins University Press, Baltimore 2013, ISBN 978-1-4214-0794-4 (xxi, 756 S., eingeschränkte Vorschau in der Google-Buchsuche). 

• Albrecht Beutelspacher: Lineare Algebra: Eine Einführung in die Wissenschaft der Vektoren, Abbildungen und Matrizen. 8., aktualisierte Auflage. Springer Spektrum, Wiesbaden 2014, ISBN 978-3-658-02412-3 (XIV, 368 S., eingeschränkte Vorschau in der Google-Buchsuche). 

• Gerd Fischer: Lineare Algebra: Eine Einführung für Studienanfänger. 18., aktualisierte Auflage. Springer Spektrum, Wiesbaden 2014, ISBN 978-3-658-03944-8 (XXI, 384 S., eingeschränkte Vorschau in der Google-Buchsuche). 

• Klaus Jänich: Lineare Algebra. 11. Auflage. Springer, Berlin u. a. 2008, ISBN 978-3-540-75501-2.

• Karsten Schmidt, Götz Trenkler: Einführung in die Moderne Matrix-Algebra – Mit Anwendungen in der Statistik. 3. Auflage. Springer, Berlin/Heidelberg 2015, ISBN 978-3-662-46772-5, doi:10.1007/978-3-662-46773-2. 

• Hermann Schichl, Roland Steinbauer: Einführung in das mathematische Arbeiten. 3., überarb. Auflage 2018. Springer, Berlin/Heidelberg 2018, ISBN 978-3-662-56806-4 (xvii, 531 S., eingeschränkte Vorschau in der Google-Buchsuche). 

• Günter M. Gramlich: Lineare Algebra: Eine Einführung. 5., überarbeitete Auflage. Carl Hanser Verlag, München 2021, ISBN 978-3-446-47188-7 (249 S., eingeschränkte Vorschau in der Google-Buchsuche). 

Wiktionary: Matrix – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Commons: Matrix – Sammlung von Bildern, Videos und Audiodateien

• Rechner für Matrizenmultiplikation, Determinantenberechnung, Eigenwerte und Eigenvektoren sowie lineare Gleichungssysteme.
• The Matrix Cookbook. Eine englischsprachige, umfangreiche Matrix-Formelsammlung (PDF; 522 kB).

1. ↑ Latein.me
2. ↑ James Joseph Sylvester: Additions to the articles in the September number of this journal, “On a new class of theorems,” and on Pascal’s theorem. In: The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. Nr. 37, 1850, S. 363–370 (Volltext). 
3. ↑ Eric W. Weisstein: Hypermatrix. In: MathWorld (englisch).
4. ↑ Walter Gellert, Herbert Kästner, Siegfried Neubert (Hrsg.): Lexikon der Mathematik. 1. Auflage. Bibliographisches Institut, Leipzig 1977, S. 350 (624 S.). 
5. ↑ ^{a b} Guido Walz (Hrsg.): Lexikon der Mathematik - Band 3. Springer/Spektrum, 2-te Auflage 2017, S. 385.
6. ↑ Der Name Element ist der seit über hundert Jahren in der deutschen Fachliteratur etablierte Name. So ist im Gantmacher auf S. 19 zu lesen: „Die Zahlen, aus denen sich die Matrix zusammensetzt, werden ihre Elemente genannt.“
7. ↑ Den Namen Eintrag verwenden z. B. Schichl und Steinbauer auf S. 26. und Fischer auf S. 21. Bei Beutelspacher auf S. 63 findet sich die folgende Stelle, die illustriert, warum Autoren, vermutlich aus sprachlichen Gründen, inzwischen Eintrag bevorzugen: „Eine m × n-Matrix über dem Körper K ist ein rechteckiges Schema aus m Zeilen und n Spalten, deren Einträge Elemente aus K sind.“ Das Wort Eintrag ermöglicht hier, die sprachlich unschöne und konzeptionell verwirrende Doppelung des Wortes Element zu vermeiden, es sei denn, man benutzt das Wort Matrixelement anstelle von Eintrag. Im Englischen wird das dem Wort Eintrag entsprechende Entry häufig verwendet. Eintrag hat sich insbesondere seit dem Erscheinen der Übersetzung des Lehrbuchs von Gilbert Strang im Jahr 2003 auch im Deutschen verbreitet.
8. ↑ Dmitrij K. Faddejew, Wera N. Faddejewa, 1978, S. 48.
9. ↑ Adalbert Duschek, August Hochrainer: Grundzüge der Tensorrechnung in analytischer Darstellung. Springer, Wien 1955, S. 48 (VI, 250). 
10. ↑ Walter Gellert, Herbert Kästner, Siegfried Neubert (Hrsg.): Lexikon der Mathematik. 1. Auflage. Bibliographisches Institut, Leipzig 1977, S. 350, 570 (624 S.). 
11. ↑ Heidrun Kolinsky: Kapitel 9: Datenfelder (engl. arrays) oder indizierte Variablen. In: Programmieren in Fortran 90/95. Universität der Bundeswehr München, abgerufen am 12. März 2023. 
12. ↑ Der Name Dimension wird in diesem Zusammenhang für die Anzahl der Indizes verwendet: Ein Vektor ist folglich ein eindimensionales Feld, eine Matrix mit zwei Indizes ein zweidimensionales Feld usw.
13. ↑ msdn.microsoft.com Microsoft
14. ↑ www2.informatik.uni-halle.de (Memento vom 29. April 2015 im Internet Archive) Uni Halle
15. ↑ homeandlearn.co.uk Java
16. ↑ MMULT (Funktion)
17. ↑ Stephen Wolfram: The mathematica book: Version 4. Wolfram Media; Cambridge University Press, Champaign IL, New York 1999, ISBN 1-57955-004-5 (xxvi, 1470 S.). 
18. ↑ Das übliche Malzeichen, das Sternchen * der Tabellenkalkulations-Programme und Programmiersprachen, bewirkt die elementweise Multiplikation.
19. ↑ M. B. Monagan et al.: Maple 6: Programming Guide. Waterloo Maple Inc., Waterloo, Ont. 2000, ISBN 1-894511-01-8, S. 168 (586 S.). 
20. ↑ Donald Ervin Knuth, Donald E. Knuth: The TEXbook. 14. Auflage. Addison-Wesley, Reading, Mass. 1988, ISBN 0-201-13448-9, S. 176 ff. (483 S.). 
21. ↑ Math ML. mozilla developer center, abgerufen am 31. März 2023. 
22. ↑ MathML in Safari