imported>Mathze: /* Als Vektornorm */ Form

2025-08-10T04:53:32Z

Als Vektornorm: Form

Neue Seite

Die '''Maximumsnorm''', '''Maximumnorm''' oder '''Tschebyschew-Norm'''<ref>{{Literatur |Hrsg=Guido Walz |Titel=Tschebyschew-Norm |Sammelwerk=Lexikon der Mathematik |Auflage=1 |Verlag=Spektrum Akademischer Verlag |Ort=Mannheim/Heidelberg |Datum=2000 |ISBN=978-3-8274-0439-8}}</ref> ist eine spezielle [[Norm (Mathematik)|Norm]] für Funktionen beziehungsweise für [[Vektor]]en oder [[Matrix (Mathematik)|Matrizen]]. Sie ist ein Spezialfall der [[Supremumsnorm]].

== Definition ==
Sei <math>B</math> ein [[kompakter Raum]] und <math>C(B)</math> die Menge aller auf <math>B</math> reell- oder komplexwertigen [[Stetige Funktion|stetigen Funktionen]]. Dann heißt die Funktion <math>\| \cdot \|_\max \colon C(B) \to \R</math>, die durch

:<math>\|f\|_\max := \max_{t \in B} |f(t)|</math>

definiert ist, Maximumsnorm. Die Funktion wird auch mit <math>\|\cdot \|_\infty</math> bezeichnet und erfüllt die drei charakteristischen Eigenschaften einer [[Norm (Mathematik)|Norm]].<ref>{{Literatur |Hrsg=Guido Walz |Titel=Maximumnorm |Sammelwerk=Lexikon der Mathematik |Auflage=1 |Verlag=Spektrum Akademischer Verlag |Ort=Mannheim/Heidelberg |Datum=2000 |ISBN=978-3-8274-0439-8}}</ref> Wohldefiniert ist die Maximumsnorm aufgrund des [[Satz vom Minimum und Maximum|Satzes vom Minimum und Maximum]], der die Existenz des Maximums sichert.

== Eigenschaften ==

*Die Menge der stetigen Funktionen auf einer kompakten Menge <math>C(B)</math> ist mit der Maximumsnorm ein [[Banachraum|vollständiger normierter Raum]].<ref name="alt38">{{Literatur |Autor=Alt |Titel=Lineare Funktionalanalysis |Auflage=5. |Verlag=Springer |Datum=2006 |ISBN=3-540-34187-0 |Seiten=38}}</ref>

*Zusammen mit dem [[Produkt (Mathematik)|Produkt]] <math>(fg)(x) := f(x) g(x)</math> ist der normierte Raum <math>( C(B), \| \cdot \|_{\text{max}} )</math> eine kommutative [[Banachalgebra]].<ref name="alt38" />

== Spezialfälle ==
Ein wichtiger Spezialfall ist die Maximumsnorm für [[Vektor]]en <math>x \in K^n</math>, wobei <math>K \in \{\R, \C\}</math>. Wählt man <math>B = \{1, \ldots , n\}</math> und stattet die Menge mit der [[Diskrete Topologie|diskreten Topologie]] aus, dann ist <math>B</math> ein kompakter Raum und jede reell- oder komplexwertige Funktion auf <math>B</math> ist [[Stetige Funktion|stetig]]. Somit entspricht der Raum <math>C(\{1, \ldots , n\})</math> dem <math>n</math>-dimensionalen Vektorraum <math>K^n</math> und die Maximumsnorm auf Vektoren ist ein Spezialfall der Maximumsnorm für stetige Funktionen auf kompakten Mengen. Sieht man eine [[Matrix (Mathematik)|Matrix]] <math>A \in K^{m \times n}</math> als entsprechend langen Vektor im <math>K^{m \cdot n}</math> an, ist es auch möglich, die Maximumsnorm auf Matrizen zu definieren.

=== Als Vektornorm ===
Für einen Vektor <math>x = (x_1, \ldots , x_n) \in K^n</math> nennt man

:<math>\|x\|_{\max} := \max(|x_1|, \ldots , |x_n|)</math>

die ''Maximumsnorm'' von <math>x</math>.<ref name="Heuser2002">Harro Heuser: ''Lehrbuch der Analysis. Teil 2.'' 14. Auflage Teubner Verlag, 2008, ISBN 978-3-8351-0208-8, S. 11–12.</ref>
Die Maximumsnorm kann auch als Grenzfall der [[p-Norm|''p''-Normen]] <math>\textstyle \| x \|_p := (\sum_{i=1}^n | x_i |^p)^{1/p}</math> aufgefasst werden. Lässt man <math>p</math> gegen unendlich laufen, so erhält man aus der ''p''-Norm die Maximumsnorm.<ref name="Heuser2002" /> Aus diesem Grund wird die Maximumsnorm für Vektoren auch als <math>\infty</math>-''Norm (Unendlich-Norm)'' bezeichnet.

Die [[Norm (Mathematik)#Normkugeln|Kugeln]] bezüglich der Maximumsnorm sind gerade die <math>n</math>-dimensionalen [[Hyperwürfel|Würfel]], deren Kanten alle parallel zu den Koordinatenachsen verlaufen.<br />
Die [[Extremalpunkt|Extremalpunkte]] einer solchen abgeschlossenen „Kugel“ sind gerade die Eckpunkte dieses Würfels. Die Menge dieser Punkte ist (für <math>n > 1</math>) eine echte Teilmenge des Randes des Würfels, der aus allen Rand-(Hyper-)Flächen des Würfels besteht. <math>K^n</math> mit der Maximumsnorm ist für <math>n > 1</math> also ein nicht [[strikt konvexer Raum]]. Trotzdem ist die Maximumsnorm [[Äquivalente Normen|äquivalent]] zur [[Euklidische Norm|Euklidischen Norm]], durch die <math>K^n</math> strikt konvex wird.

=== Als Matrixnorm ===
Analog zur [[Vektornorm]] hat die Maximumsnorm für Matrizen <math>A = (a_{ij})_{i,j} \in K^{m \times n}</math> die Darstellung

:<math>\| A \|_\max := \max_{{i=1, \ldots ,m} \atop {j=1, \ldots , n}} | a_{ij} |</math>.

Diese Norm ist jedoch nicht [[Submultiplikativität|submultiplikativ]], daher wird im Zusammenhang mit Matrizen statt dieser Norm oftmals die submultiplikative [[Gesamtnorm]] <math>\textstyle \| A \|_G := \sqrt{mn} \cdot \max_{{i=1, \ldots ,m} \atop {j=1, \ldots , n}} | a_{ij} |</math> verwendet.

== Beispiele ==
;Spaltenvektor
Für den [[Matrix (Mathematik)|Spaltenvektor]] <math>(-5,7,4,-9)^T</math> gilt

:<math>\left\| \begin{pmatrix} -5\\ 7\\ 4\\ -9 \end{pmatrix} \right\|_\max = \max(|-5| , |7| , |4|, |-9|) = 9\,.</math>

Die Maximumsnorm von <math>(-5,7,4,-9)^T</math> ist also 9.

;Funktion
Für die [[gebrochenrationale Funktion]] <math>f \colon [-2,2] \to \R</math> definiert durch <math>f(x) = 1000 (x^2-6)/(x^3-6000)</math> gilt

:<math>\|f\|_\max = \max_{x \in [-2,2]}\left(1000 \left|\frac{x^2-6}{x^3-6000}\right|\right) = 1\,.</math>

Dies kann durch zweifache [[Differentialrechnung|Ableitung]] und Bestimmung der [[Extremwert|Extremwerte]] gezeigt werden. Die Maximumsnorm der Funktion <math>f</math> auf dem Intervall <math>[-2,2]</math> ist also 1.

== Supremumsnorm ==
{{Hauptartikel|Supremumsnorm}}

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

== Veranschaulichung ==
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 eines [[König (Schach)|Königs]] auf einem [[Schachbrett]] 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 ein [[geordnetes Paar]] der Zahlen 1, …, 8, so benötigt man vom Feld <math>(a, b)</math> zum Feld <math>(x, y)</math> gerade
:<math>\max (|a-x|, |b-y|) = \|(a, b) - (x, y)\|_\max</math> Züge.
Beispiel: Die Felder b8 und f3 des Schachbretts werden in dieser Notation durch die Paare <math>(2, 8)</math> und <math>(6, 3)</math> dargestellt. Ein König benötigt also <math>\|(2, 8) - (6, 3)\|_\max = 5</math> 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 <math>x</math>-, <math>y</math>- (und <math>z</math>-)Richtung unabhängig, gleichzeitig und mit gleicher Geschwindigkeit erfolgen.

Noch allgemeiner kann man ein System betrachten, dessen Zustand durch <math>n</math> unabhängige Parameter bestimmt wird. An allen Parametern können gleichzeitig und ohne gegenseitige Beeinflussung Änderungen vorgenommen werden. Dann „misst“ die Maximumsnorm in <math>\R^n</math> 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.

== Einzelnachweise ==
<references />

[[Kategorie:Funktionalanalysis]]
[[Kategorie:Norm (Mathematik)]]

Maximumsnorm - Versionsgeschichte

imported>Mathze: /* Als Vektornorm */ Form