Normeigenschaften

Die Summennorm erfüllt wie alle p-Normen die drei Normaxiome, die hier besonders leicht zu zeigen sind. Die Definitheit folgt aus der Eindeutigkeit der Nullstelle der Betragsfunktion durch

${\displaystyle \|x\|_{1}=0\;\Leftrightarrow \;\sum _{i=1}^{n}|x_{i}|=0\;\Rightarrow \;x=(0,\ldots ,0)=0}$,

die absolute Homogenität folgt aus der Homogenität der Betragsnorm über

${\displaystyle \|\alpha \cdot x\|_{1}=\sum _{i=1}^{n}|\alpha \cdot x_{i}|=\sum _{i=1}^{n}|\alpha |\cdot |x_{i}|=|\alpha |\cdot \sum _{i=1}^{n}|x_{i}|=|\alpha |\cdot \|x\|_{1}}$

und die Subadditivität folgt direkt aus der Dreiecksungleichung für reelle oder komplexe Zahlen

${\displaystyle \|x+y\|_{1}=\sum _{i=1}^{n}|x_{i}+y_{i}|\leq \sum _{i=1}^{n}|x_{i}|+|y_{i}|=\sum _{i=1}^{n}|x_{i}|+\sum _{i=1}^{n}|y_{i}|=\|x\|_{1}+\|y\|_{1}}$.

Einheitssphäre

Die Einheitssphäre der reellen Summennorm, also die Menge

${\displaystyle \{x\in \mathbb {R} ^{n}:\|x\|_{1}=1\}}$

hat in zwei Dimensionen die Form eines Quadrats, in drei Dimensionen die Form eines Oktaeders und in allgemeinen Dimensionen die Form eines Kreuzpolytops. Das Volumen der Einheitskugel der Summennorm ist dabei minimal über alle p-Normen; es beträgt ${\displaystyle {\tfrac {2^{n}}{n!}}}$.

Vergleich mit den anderen p-Normen

Die Summennorm ist von allen p-Normen die größte, das heißt für einen gegebenen Vektor ${\displaystyle x}$ und ${\displaystyle 1<p\leq \infty }$ gilt

${\displaystyle \|x\|_{1}\geq \|x\|_{p}}$,

wobei Gleichheit genau dann gilt, wenn der Vektor der Nullvektor oder ein Vielfaches eines Einheitsvektors ist. Umgekehrt kann die Summennorm aufgrund der Äquivalenz von Normen in endlichdimensionalen Vektorräumen nach oben gegen jede p-Norm durch

${\displaystyle \|x\|_{1}\leq n^{1-{\frac {1}{p}}}\cdot \|x\|_{p}}$

abgeschätzt werden, wobei Gleichheit für einen konstanten Vektor gilt. Die Äquivalenzkonstante bezüglich der Maximumsnorm ${\displaystyle (p=\infty )}$ ist dabei gleich ${\displaystyle n}$, was maximal zwischen allen p-Normen ist.

Abgeleitete Begriffe

Die Summennorm ist im Gegensatz zur euklidischen Norm (2-Norm) nicht von einem Skalarprodukt induziert. Die von der Summennorm abgeleitete Metrik ist die Manhattan-Metrik oder Taxi-Metrik

${\displaystyle d(x,y)=\sum _{i=1}^{n}|x_{i}-y_{i}|}$.

Im reellen zweidimensionalen Raum misst sie den Abstand zweier Punkte wie die Fahrtstrecke auf einem gitterförmigen Stadtplan, auf dem man sich nur in senkrechten und waagerechten Abschnitten bewegen kann. Die von der Summennorm induzierte Matrixnorm ist die Spaltensummennorm.

Betrag von Multiindizes

Die Summennorm wird häufig als Betrag eines Multiindex ${\displaystyle \alpha =(\alpha _{1},\dotsc ,\alpha _{n})}$ mit nichtnegativen Einträgen verwendet. Beispielsweise kann eine partielle Ableitung einer Funktion mehrerer Veränderlicher ${\displaystyle f(x_{1},\dotsc ,x_{n})}$ als

${\displaystyle f^{(\alpha )}={\frac {\partial ^{|\alpha |}f}{\partial x_{1}^{\alpha _{1}}\dotso \partial x_{n}^{\alpha _{n}}}}={\frac {\partial ^{\alpha _{1}+\dotsb +\alpha _{n}}f}{\partial x_{1}^{\alpha _{1}}\dotso \partial x_{n}^{\alpha _{n}}}}}$

geschrieben werden, wobei dann ${\displaystyle |\alpha |=\|\alpha \|_{1}}$ die Ordnung der Ableitung ist.

ℓ¹-Norm

Die ℓ¹-Norm ist die Verallgemeinerung der Summennorm auf den Folgenraum ${\displaystyle \ell ^{1}}$ der betragsweise summierbaren Folgen ${\displaystyle (a_{n})_{n}\in {\mathbb {K} }^{\mathbb {N} }}$. Hierbei wird lediglich die endliche Summe durch eine unendliche ersetzt und die ℓ¹-Norm ist dann gegeben als

${\displaystyle \|(a_{n})\|_{\ell ^{1}}=\sum _{n=1}^{\infty }|a_{n}|}$.

L¹-Norm

Weiter kann die Summennorm auf den Funktionenraum ${\displaystyle L^{1}(\Omega )}$ der auf einer Menge ${\displaystyle \Omega }$ betragsweise integrierbaren Funktionen verallgemeinert werden, was in zwei Schritten geschieht. Zunächst wird die ${\displaystyle {\mathcal {L}}^{1}}$-Norm einer betragsweise Lebesgue-integrierbaren Funktion ${\displaystyle f\colon \Omega \rightarrow {\mathbb {K} }}$ als

${\displaystyle \|f\|_{{\mathcal {L}}^{1}(\Omega )}=\int _{\Omega }|f(x)|\,dx}$,

definiert, wobei im Vergleich zur ℓ¹-Norm lediglich die Summe durch ein Integral ersetzt wurde. Dies ist zunächst nur eine Halbnorm, da nicht nur die Nullfunktion, sondern auch alle Funktionen, die sich nur an einer Menge mit Lebesgue-Maß Null von der Nullfunktion unterscheiden, zu Null integriert werden. Daher betrachtet man die Menge der Äquivalenzklassen von Funktionen ${\displaystyle [f]\in L^{1}(\Omega )}$, die fast überall gleich sind, und erhält auf diesem L¹-Raum die L¹-Norm durch

${\displaystyle \|\,[f]\,\|_{L^{1}(\Omega )}=\|f\|_{{\mathcal {L}}^{1}(\Omega )}}$.