# Natürliche Matrixnorm

Eine natürliche Matrixnorm, induzierte Matrixnorm oder Grenzennorm ist in der Mathematik eine von einer Vektornorm als Operatornorm abgeleitete Matrixnorm. Eine natürliche Matrixnorm entspricht anschaulich dem größtmöglichen Streckungsfaktor, der durch die Anwendung der Matrix auf einen Vektor entsteht. Natürliche Matrixnormen sind immer submultiplikativ und mit der Vektornorm, aus der sie abgeleitet wurden, verträglich. Sie sind sogar unter allen mit dieser Vektornorm verträglichen Matrixnormen die kleinsten. Wichtige natürliche Matrixnormen sind die Zeilensummennorm, die Spektralnorm und die Spaltensummennorm. Natürliche Matrixnormen werden insbesondere in der linearen Algebra und der numerischen Mathematik verwendet.

## Definition

Eine Matrixnorm $\|\cdot \|$ heißt von einer Vektornorm $\|\cdot \|_{V}$ induziert oder natürliche Matrixnorm, wenn sie von ihr als Operatornorm abgeleitet ist. Die natürliche Matrixnorm einer reellen oder komplexen Matrix $A\in {\mathbb {K} }^{m\times n}$ ist damit definiert als
    $\|A\|:=\max _{x\neq 0}{\frac {\|Ax\|_{V}}{\|x\|_{V}}}$,
wobei die Norm im Zähler als Argument einen Vektor $Ax\in {\mathbb {K} }^{m}$ und die Norm im Nenner als Argument einen Vektor $x\in {\mathbb {K} }^{n}$ besitzt. Da es zu jedem Vektor $x\neq 0$ mit ${\bar {x}}:=x/\|x\|_{V}$ einen auf Eins normierten Vektor gibt, hat jede natürliche Matrixnorm auch die Darstellung
    $\|A\|=\max _{\|x\|_{V}=1}\|Ax\|_{V}$,
es reicht also aus, das Maximum über alle Einheitsvektoren zu betrachten. Anschaulich entspricht damit die natürliche Matrixnorm dem größtmöglichen Streckungsfaktor, der durch die Anwendung der Matrix auf einen Einheitsvektor entsteht. Eine äquivalente Definition der natürlichen Matrixnorm ist
    $\|A\|=\min \left\{r\geq 0\mid \|Ax\|_{V}\leq r\,\|x\|_{V}\;,\forall \;x\neq 0\right\}$
oder analog dazu
    $\|A\|=\min \left\{r\geq 0\mid \|Ax\|_{V}\leq r\;,\forall \;\|x\|_{{\mathbb {K} }^{n}}=1\right\}$,
also der Radius $r$ der kleinsten Normkugel, die die Menge $\{Ax\mid \|x\|_{V}=1\}$ umfasst.

## Beispiel

Gesucht ist die von der euklidischen Vektornorm $\|\cdot \|_{2}$ induzierte Matrixnorm der (2 × 2)-Matrix
    $A=\left({\begin{matrix}{\frac {1}{2}}&{\frac {3}{2}}\\-{\frac {1}{2}}&{\frac {3}{2}}\end{matrix}}\right)$.
Diese Matrix beschreibt als lineare Abbildung eine gleichzeitige Streckung in $x$-Richtung, Stauchung in $y$-Richtung und Drehung um 45°. In nebenstehendem Bild entspricht der rote Kreis dem Einheitskreis in der euklidischen Norm, also der Menge der Vektoren mit Länge Eins. Die grüne Ellipse ist dann der Einheitskreis nach Transformation (Drehstreckung) durch die Matrix $A$. Die natürliche Matrixnorm von $A$ entspricht dann der Länge desjenigen Vektors auf der grünen Ellipse, dessen Länge maximal ist. Im Beispiel sind dies die beiden Vektoren
    $\left(\,{\tfrac {3}{2}},\,{\tfrac {3}{2}}\,\right)$ und $\left(\,{-}{\tfrac {3}{2}},\,{-}{\tfrac {3}{2}}\,\right)$.
Die natürliche Matrixnorm von $A$ bezüglich der euklidischen Norm ist dann die Länge eines dieser Vektoren und somit
    $\|A\|=\max _{\|x\|_{2}=1}\|Ax\|_{2}={\sqrt {\left({\tfrac {3}{2}}\right)^{2}+\left({\tfrac {3}{2}}\right)^{2}}}=3{\tfrac {\sqrt {2}}{2}}\approx 2{,}12$.
Der blaue Kreis ist der Kreis mit dem kleinsten Radius, der die grüne Menge umfasst; sein Radius entspricht gerade der natürlichen Matrixnorm.

## Eigenschaften

Im Weiteren wird der Zusatz $V$ bei der Vektornorm weggelassen, da durch das Argument der Norm implizit klar ist, ob es sich um eine Matrix- oder um eine Vektornorm handelt.

### Normaxiome

Jede natürliche Matrixnorm erfüllt die drei Normaxiome. Die Definitheit folgt für $A\in {\mathbb {K} }^{m\times n}$ aus
    $\|A\|=0\;\Leftrightarrow \;\max _{x\neq 0}{\frac {\|Ax\|}{\|x\|}}=0\;\Rightarrow \;\|Ax\|=0\;\forall \;x\neq 0\;\Rightarrow \;A=0$.
Die absolute Homogenität folgt für $A\in {\mathbb {K} }^{m\times n}$ und $\alpha \in \mathbb {K}$ aus der Homogenität der Vektornorm durch
    $\|\alpha \cdot A\|=\max _{\|x\|=1}\|\alpha \cdot Ax\|=\max _{\|x\|=1}|\alpha |\cdot \|Ax\|=|\alpha |\cdot \max _{\|x\|=1}\|Ax\|=|\alpha |\cdot \|A\|$.
Die Subadditivität folgt $A,B\in {\mathbb {K} }^{m\times n}$ ebenfalls aus der Subadditivität der Vektornorm durch
    $\|A+B\|=\max _{\|x\|=1}\|Ax+Bx\|\leq \max _{\|x\|=1}\|Ax\|+\|Bx\|\leq \max _{\|x\|=1}\|Ax\|+\max _{\|x\|=1}\|Bx\|=\|A\|+\|B\|$,
wobei hier zudem das Maximum der Summe durch die Summe der Maxima nach oben abgeschätzt wurde.

### Verträglichkeit

Jede natürliche Matrixnorm ist mit der Vektornorm, aus der sie abgeleitet wurde, verträglich, das heißt für $A\in {\mathbb {K} }^{m\times n}$ und $x\in {\mathbb {K} }^{n}$ gilt
    $\|Ax\|\leq \|A\|\cdot \|x\|$,
was direkt aus der Definition von $\|A\|$ als minimale Zahl $r$ mit
    $\|Ax\|\leq r\cdot \|x\|$
folgt. Damit ist die natürliche Matrixnorm sogar die kleinste Matrixnorm, die mit der zugrunde liegenden Vektornorm verträglich ist. Sie wird daher Grenzennorm oder auch lub-Norm (nach engl. lowest upper bound) genannt. Weiterhin folgt aus der Verträglichkeit, dass jede natürliche Matrixnorm einer quadratischen Matrix mindestens so groß wie ihr Spektralradius ist.

### Submultiplikativität

Jede natürliche Matrixnorm ist zudem submultiplikativ, das heißt für $A\in {\mathbb {K} }^{m\times n}$ und $B\in {\mathbb {K} }^{n\times l}$ gilt
    $\|A\cdot B\|\leq \|A\|\cdot \|B\|$,
was direkt aus der Verträglichkeit folgt:
    $\|A\,\cdot \,B\|=\max _{\|x\|=1}\|A\cdot B\cdot x\|\leq \max _{\|x\|=1}\|A\|\cdot \|B\cdot x\|=\|A\|\cdot \max _{\|x\|=1}\|B\cdot x\|=\|A\|\cdot \|B\|$.

## Spezialfälle
### Einheitsmatrix

Für die Einheitsmatrix $I$ ergibt jede natürliche Matrixnorm den Wert Eins, denn es gilt
    $\|I\|=\max _{\|x\|=1}\|Ix\|=\max _{\|x\|=1}\|x\|=1$.

### Inverse

Ist eine quadratische Matrix $A\in {\mathbb {K} }^{n\times n}$ regulär, dann gilt für die natürliche Matrixnorm ihrer Inversen
    $\|A^{-1}\|=\max _{\|x\|=1}\|A^{-1}x\|=\max _{\|Ay\|=1}\|y\|=\left(\min _{\|Ay\|=1}\|y\|^{-1}\right)^{-1}=\left(\min _{\|x\|=1}\|Ax\|\right)^{-1}$,
wobei sich die letzte Gleichung durch die Substitution $y=x\cdot \|Ax\|^{-1}$ ergibt. Die natürliche Matrixnorm der Inversen ist damit der Kehrwert des kleinsten Streckungsfaktors, der durch die Anwendung der Matrix auf einen Einheitsvektor entsteht. Damit lässt sich die Kondition einer regulären Matrix
    $\kappa (A)=\|A\|\cdot \|A^{-1}\|$
bezüglich einer natürlichen Matrixnorm als das Verhältnis aus größtem und kleinstem Streckungsfaktor, den die Matrix generiert, ansehen.

## Beispiele natürlicher Matrixnormen

Die wichtigsten natürlichen Matrixnormen sind von den p-Normen induziert. Drei dieser natürlichen Matrixnormen haben eigene Namen und besondere Bedeutung.
* Die Spaltensummennorm ist die durch die Summennorm induzierte Norm: $\|A\|_{1}=\max _{\|x\|_{1}=1}\|Ax\|_{1}=\max _{j=1,\ldots ,n}\sum _{i=1}^{m}|a_{ij}|$. Sie entspricht der maximalen Betragssumme aller Spalten der Matrix.
* Die Spektralnorm ist die durch die euklidische Norm induzierte Norm: $\|A\|_{2}=\max _{\|x\|_{2}=1}\|Ax\|_{2}={\sqrt {\lambda _{\max }(A^{H}A)}}$. Sie entspricht der Quadratwurzel des größten Eigenwerts von $A^{H}A$, wobei $A^{H}$ die adjungierte Matrix (im reellen Fall transponierte Matrix) zu $A$ ist.
* Die Zeilensummennorm ist die durch die Maximumsnorm induzierte Norm: $\|A\|_{\infty }=\max _{\|x\|_{\infty }=1}\|Ax\|_{\infty }=\max _{i=1,\ldots ,m}{\sum _{j=1}^{n}|a_{ij}|}$. Sie entspricht der maximalen Betragssumme aller Zeilen der Matrix.

## Verallgemeinerung

Allgemeiner kann eine natürliche Matrixnorm $\|\cdot \|\colon {\mathbb {K} }^{m\times n}\rightarrow \mathbb {R} _{+}$ auch über zwei verschiedene Vektornormen abgeleitet werden, wobei die eine Norm $\|\cdot \|_{a}\colon {\mathbb {K} }^{n}\rightarrow \mathbb {R} _{+}$ die Größe eines Vektors im Ausgangsraum misst und die andere Norm $\|\cdot \|_{b}\colon {\mathbb {K} }^{m}\rightarrow \mathbb {R} _{+}$ die Größe eines Vektors im Zielraum. Damit ist die von diesen beiden Normen induzierte Matrixnorm definiert als
    $\|A\|_{b,a}:=\max _{x\neq 0}{\frac {\|Ax\|_{b}}{\|x\|_{a}}}=\min \left\{r\geq 0\mid \|Ax\|_{b}\leq r\,\|x\|_{a}\;\forall \;x\neq 0\right\}$.
Sie ist aufgrund ihrer Definition als Minimum mit den beiden Vektornormen verträglich im Sinne von
    $\|Ax\|_{b}\leq \|A\|_{b,a}\cdot \|x\|_{a}$
und für $B\in {\mathbb {K} }^{n\times l}$ submultiplikativ mit $\|\cdot \|_{c}\colon {\mathbb {K} }^{l}\rightarrow \mathbb {R} _{+}$ als dritter Vektornorm im Sinne von
    $\|AB\|_{b,c}\leq \|A\|_{b,a}\cdot \|B\|_{a,c}$,
da aufgrund der Verträglichkeit analog zu oben
    $\|AB\|_{b,c}=\max _{\|x\|_{c}=1}\|ABx\|_{b}\leq \max _{\|x\|_{c}=1}\|A\|_{b,a}\|Bx\|_{a}=\|A\|_{b,a}\max _{\|x\|_{c}=1}\|Bx\|_{a}=\|A\|_{b,a}\|B\|_{a,c}$
gilt. Meist wird aber in der Praxis statt unterschiedlicher Vektornormen die gleiche Norm im jeweiligen Vektorraum verwendet.