DieMaximumsnorm,Maximumnorm oderTschebyschew-Norm^[1] ist eine spezielleNorm für Funktionen beziehungsweise fürVektoren oderMatrizen. Sie ist ein Spezialfall derSupremumsnorm.

Sei${\displaystyle B}$ einkompakter Raum und${\displaystyle C(B)}$ die Menge aller auf${\displaystyle B}$ reell- oder komplexwertigenstetigen Funktionen. Dann heißt die Funktion${\displaystyle \Vert \cdot {\Vert }_{max}:C(B)\to \mathbb{R}}$, die durch

${\displaystyle \Vert f{\Vert }_{max}:=\underset{t\in B}{max}|f(t)|}$

definiert ist, Maximumsnorm. Die Funktion wird auch mit${\displaystyle \Vert \cdot {\Vert }_{\mathrm{\infty }}}$ bezeichnet und erfüllt die drei charakteristischen Eigenschaften einerNorm.^[2] Wohldefiniert ist die Maximumsnorm aufgrund desSatzes vom Minimum und Maximum, der die Existenz des Maximums sichert.

• Die Menge der stetigen Funktionen auf einer kompakten Menge${\displaystyle C(B)}$ ist mit der Maximumsnorm einvollständiger normierter Raum.^[3]

• Zusammen mit demProdukt${\displaystyle (fg)(x):=f(x)g(x)}$ ist der normierte Raum${\displaystyle (C(B),\Vert \cdot {\Vert }_{\text{max}})}$ eine kommutativeBanachalgebra.^[3]

Ein wichtiger Spezialfall ist die Maximumsnorm fürVektoren${\displaystyle x\in K^n}$, wobei${\displaystyle K\in \{\mathbb{R},\mathbb{C}\}}$. Wählt man${\displaystyle B=\{1,\dots ,n\}}$ und stattet die Menge mit derdiskreten Topologie aus, dann ist${\displaystyle B}$ ein kompakter Raum und jede reell- oder komplexwertige Funktion auf${\displaystyle B}$ iststetig. Somit entspricht der Raum${\displaystyle C(\{1,\dots ,n\})}$ dem${\displaystyle n}$-dimensionalen Vektorraum${\displaystyle K^n}$ und die Maximumsnorm auf Vektoren ist ein Spezialfall der Maximumsnorm für stetige Funktionen auf kompakten Mengen. Sieht man eineMatrix${\displaystyle A\in K^{m\times n}}$ als entsprechend langen Vektor im${\displaystyle K^{m\cdot n}}$ an, ist es auch möglich, die Maximumsnorm auf Matrizen zu definieren.

Für einen Vektor${\displaystyle x=(x_1,\dots ,x_n)\in K^n}$ nennt man

${\displaystyle \Vert x{\Vert }_{max}:=max(|x_1|,\dots ,|x_n|)}$

die Maximumsnorm von${\displaystyle x}$.^[4]Die Maximumsnorm kann auch als Grenzfall derp-Normen${\displaystyle \Vert x{\Vert }_p:=(\sum _{i=1}^n|x_i{|}^p{)}^{1/p}}$ aufgefasst werden. Lässt man${\displaystyle p}$ gegen unendlich laufen, so erhält man aus derp-Norm die Maximumsnorm.^[4] Aus diesem Grund wird die Maximumsnorm für Vektoren auch als${\displaystyle \mathrm{\infty }}$-Norm (Unendlich-Norm) bezeichnet.

DieKugeln bezüglich der Maximumsnorm sind gerade die${\displaystyle n}$-dimensionalenWürfel, deren Kanten alle parallel zu den Koordinatenachsen verlaufen.
DieExtremalpunkte einer solchen abgeschlossenen „Kugel“ sind gerade die Eckpunkte dieses Würfels. Die Menge dieser Punkte ist (für${\displaystyle n>1}$) eine echte Teilmenge des Randes des Würfels, der aus allen Rand-(Hyper-)Flächen des Würfels besteht.${\displaystyle K^n}$ mit der Maximumsnorm ist für${\displaystyle n>1}$ also ein nichtstrikt konvexer Raum. Trotzdem ist die Maximumsnormäquivalent zurEuklidischen Norm, durch die${\displaystyle K^n}$ strikt konvex wird.

Analog zurVektornorm hat die Maximumsnorm für Matrizen${\displaystyle A=(a_{ij}{)}_{i,j}\in K^{m\times n}}$ die Darstellung

${\displaystyle \Vert A{\Vert }_{max}:=\underset{\genfrac{}{}{0ex}{}{i=1,\dots ,m}{j=1,\dots ,n}}{max}|a_{ij}|}$.

Diese Norm ist jedoch nichtsubmultiplikativ, daher wird im Zusammenhang mit Matrizen statt dieser Norm oftmals die submultiplikativeGesamtnorm${\displaystyle \Vert A{\Vert }_G:=\sqrt{mn}\cdot \underset{\genfrac{}{}{0ex}{}{i=1,\dots ,m}{j=1,\dots ,n}}{max}|a_{ij}|}$ verwendet.

Spaltenvektor

Für denSpaltenvektor${\displaystyle (-5,7,4,-9{)}^T}$ gilt

${\displaystyle {\Vert \left(\begin{array}{c}-5\\ 7\\ 4\\ -9\end{array}\right)\Vert }_{max}=max(|-5|,|7|,|4|,|-9|)=9.}$

Die Maximumsnorm von${\displaystyle (-5,7,4,-9{)}^T}$ ist also 9.

Funktion

Für diegebrochenrationale Funktion${\displaystyle f:[-2,2]\to \mathbb{R}}$ definiert durch${\displaystyle f(x)=1000(x^2-6)/(x^3-6000)}$ gilt

${\displaystyle \Vert f{\Vert }_{max}=\underset{x\in [-2,2]}{max}\left(1000\left|\frac{x^2-6}{x^3-6000}\right|\right)=1.}$

Dies kann durch zweifacheAbleitung und Bestimmung derExtremwerte gezeigt werden. Die Maximumsnorm der Funktion${\displaystyle f}$ auf dem Intervall${\displaystyle [-2,2]}$ ist also 1.

Im Gegensatz zur Maximumsnorm wird die Supremumsnorm${\displaystyle \Vert f{\Vert }_{sup}:=\underset{t\in X}{sup}|f(t)|}$ nicht für stetige, sondern für beschränkte Funktionen${\displaystyle f}$ definiert. In diesem Fall ist es nicht notwendig, dass${\displaystyle X}$ kompakt ist;${\displaystyle X}$ kann eine beliebige Menge sein. Da stetige Funktionen auf kompakten Räumen beschränkt sind, ist die Maximumsnorm ein Spezialfall der Supremumsnorm.

Anschaulich gesprochen ist der aus der Maximumsnorm abgeleitete Abstand immer dann relevant, wenn man sich in einem mehrdimensionalen Raum in alle Dimensionen gleichzeitig und unabhängig voneinander gleich schnell bewegen kann.

Als einfaches Beispiel hierfür kann die Bewegung einesKönigs auf einemSchachbrett dienen: Gemäß den Regeln kann sich der König in einem Zug auf eine benachbarte Linie oder eine benachbarte Reihe bewegen, wobei beides kombiniert werden kann (Diagonalzug). Um nun zu bestimmen, wie viele Züge ein König minimal benötigt, um von einem Feld auf ein anderes zu gelangen, muss man das Maximum der durchzuführenden Reihenwechsel und der durchzuführenden Linienwechsel bestimmen. Repräsentiert man also ein Feld durch eingeordnetes Paar der Zahlen 1, …, 8, so benötigt man vom Feld${\displaystyle (a,b)}$ zum Feld${\displaystyle (x,y)}$ gerade

${\displaystyle max(|a-x|,|b-y|)=\Vert (a,b)-(x,y){\Vert }_{max}}$ Züge.

Beispiel: Die Felder b8 und f3 des Schachbretts werden in dieser Notation durch die Paare${\displaystyle (2,8)}$ und${\displaystyle (6,3)}$ dargestellt. Ein König benötigt also${\displaystyle \Vert (2,8)-(6,3){\Vert }_{max}=5}$ Züge, um von einem Feld zum anderen zu gelangen. Dabei wurde nicht berücksichtigt, dass der Weg durch eigene oder gegnerische Figuren versperrt sein kann.

Allgemeiner kann die Maximumsnorm benutzt werden, um zu bestimmen, wie schnell man sich in einem zwei- oder dreidimensionalen Raum bewegen kann, wenn angenommen wird, dass die Bewegungen in${\displaystyle x}$-,${\displaystyle y}$- (und${\displaystyle z}$-)Richtung unabhängig, gleichzeitig und mit gleicher Geschwindigkeit erfolgen.

Noch allgemeiner kann man ein System betrachten, dessen Zustand durch${\displaystyle n}$ unabhängige Parameter bestimmt wird. An allen Parametern können gleichzeitig und ohne gegenseitige Beeinflussung Änderungen vorgenommen werden. Dann „misst“ die Maximumsnorm in${\displaystyle {\mathbb{R}}^n}$ die Zeit, die man benötigt, um das System von einem Zustand in einen anderen zu überführen. Voraussetzung hierfür ist allerdings, dass man die Parameter so normiert hat, dass gleiche Abstände zwischen den Werten auch gleichen Änderungszeiten entsprechen. Andernfalls müsste man eine gewichtete Version der Maximumsnorm verwenden, die die unterschiedlichen Änderungsgeschwindigkeiten der Parameter berücksichtigt.

1. ↑Tschebyschew-Norm. In: Guido Walz (Hrsg.):Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000,ISBN 978-3-8274-0439-8. 
2. ↑Maximumnorm. In: Guido Walz (Hrsg.):Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000,ISBN 978-3-8274-0439-8. 
3. ↑^abAlt:Lineare Funktionalanalysis. 5. Auflage. Springer, 2006,ISBN 3-540-34187-0,S. 38. 
4. ↑^abHarro Heuser:Lehrbuch der Analysis. Teil 2. 14. Auflage Teubner Verlag, 2008,ISBN 978-3-8351-0208-8, S. 11–12.

• Funktionalanalysis
• Norm (Mathematik)