Pseudonorm

Eine Pseudonorm ist in der Algebra eine abgeschwächte Variante einer Norm, bei der die Eigenschaft der Homogenität zur Subhomogenität abgeschwächt wird. So wie die Norm als eine Verallgemeinerung eines Betrages ins Mehrdimensionale angesehen werden kann, verhält sich die Pseudonorm zu einem Pseudobetrag, bei dem im Gegensatz zum Betrag die Bedingung der Multiplikativität zur Submultiplikativität abgeschwächt wird.

Definition

Sei ein -(Links-)Modul über einem unitären Ring $(R,|\cdot |)$ mit Pseudobetrag. Eine Abbildung $\|\cdot\|:M\to\R_+$ in die nichtnegativen reellen Zahlen heißt eine Pseudonorm, wenn für alle $a,b\in M$ und $\lambda \in R$ folgende Eigenschaften gelten:

(1) $\|a\|=0\;\Leftrightarrow\; a=0$ (Definitheit)

(2) $\|\lambda a\|\leq |\lambda|\cdot\|a\|$ (Subhomogenität)

(3) $\|a+b\|\leq \|a\| + \|b\|$ (Dreiecksungleichung).

Wird (2) verschärft zu

(2a) $\|\lambda a\| = | \lambda | \cdot \|a\|$ (Homogenität),

so heißt $\|\cdot \|$ eine Norm.

Eigenschaften

Ist die Pseudonorm $\|\cdot \|$ sogar eine Norm auf , so ist notwendigerweise der zugehörige Pseudobetrag $|\cdot |$ ein Betrag auf .

p-Pseudonormen

Definition

Ist $(R,|\cdot|)$ ein unitärer Ring mit Pseudobetrag, so wird auf dem -Modul $R^{n}$ durch

$\|v\|_p = \sqrt[p]{\sum_{i=1}^n |v_i|^p}$

für jedes $p\in [1,\infty)$ bzw. durch

$\|v\|_{\infty} = \max_{i=1}^n |v_i|$

für $p=\infty$ eine Pseudonorm, die p-Pseudonorm erklärt.

Bemerkung

Für den Nachweis der Pseudonormeigenschaften benutzt man die Minkowski-Ungleichung.

Eigenschaften

Für $1\leq p\leq q\leq\infty$ gilt stets $\|v\|_q \leq \|v\|_p$ .
Für $1\leq p < \infty$ gilt stets $\|v\|_p \leq \sqrt[p]{n}\,\|v\|_{\infty}$ .

Anwendung

Ist $(R,|\cdot|)$ ein unitärer Ring mit Pseudobetrag, so können wir die Polynomringe R[X] oder $R[X_1,\dots,X_n]$ und die Matrizenringe $R^{m\times n}$ auch als -Module auffassen. Dies geschieht durch das „Hintereinanderschreiben“ der Koeffizienten. Damit können durch oben genannte Definition die -Pseudonormen erklärt werden. Diese sind im Allgemeinen auf den Polynomalgebren und auf den Matrizenalgebren nicht submultiplikativ. Umso wertvoller sind folgende Spezialfälle:

Die -Pseudonorm ist auf der Polynomalgebra submultiplikativ.
Für zwei multiplizierbare Matrizen $A\in R^{l\times m}$ und $B\in R^{m\times n}$ sowie gewählte $p,q\in [1,\infty]$ mit ${\tfrac {1}{p}}+{\tfrac {1}{q}}=1$ gilt

$\|A B\|_p \leq \|A\|_p\, \|B\|_{\min(p,q)}$ ,

$\|A B\|_p \leq \|A\|_{\min(p,q)}\, \|B\|_p$ .

Für den Beweis dieser Aussage verwendet man die Hölder-Ungleichung und die Minkowski-Ungleichung.
Ist $p\in [1,2]$ , so ist die -Pseudonorm also submultiplikativ für alle multiplizierbaren Matrizen über , und dies gilt insbesondere auf den Algebren $R^{n\times n}$ der quadratischen Matrizen.
Beispiel für die -Pseudonorm: Ist R ein kommutativer Ring mit Pseudobetrag und M eine $n\times n$ -Matrix über R mit den Zeilen $M_1,\dots,M_n$ , so gilt die abgeschwächte Hadamard-Ungleichung $\textstyle |\det M|\leq \prod_{i=1}^n \|M_i\|_1$ mit der 1-Pseudonorm.

Anwendungen und Bedeutung

Assoziative Algebren

Auf assoziativen Algebren sind Strukturen, die gleichzeitig Norm- und Betragseigenschaften besitzen, relativ einfach zu klassifizieren: Sei eine assoziative >-Algebra über einem kommutativen unitären Ring $(R,|\cdot|)$ mit Pseudobetrag.

Ist $\|\cdot \|$ eine submultiplikative Pseudonorm auf als Modul, so ist $\|\cdot \|$ ein Pseudobetrag auf als Ring.
Ist $\|\cdot \|$ sogar eine multiplikative Pseudonorm, so ist $\|\cdot \|$ ein Betrag auf .

Iterativer Aufbau von Polynom- und Matrizenalgebren

Eine Vielzahl an wichtigen Komplexitätsabschätzungen in der Computeralgebra funktioniert für Pseudonormen in Matrizen- und Polynomalgebren über Ringen mit Pseudobetrag.

Zur Gewinnung solcher Abschätzungen dient häufig folgende iterative Konstruktion von assoziativen Algebren wie Polynom- und Matrizenalgebren:

Ausgehend von einem Grundring R mit Pseudobetrag (das kann in der Praxis noch oft ein echter Betrag sein) sei eine assoziative R-Algebra A mit einer submultiplikativen Pseudonorm gegeben. Dann ist A insbesondere auch selbst ein Ring mit Pseudobetrag, über dem man wiederum Module, Polynom- und Matrizenringe betrachten kann. Auf diese Art ist zum Beispiel die iterative Konstruktion der Polynomalgebren $R[X_1,\dots,X_n] = R[X_1,\dots,X_{n-1}][X_n]$ möglich, wobei jede Zwischenalgebra selbst mit einer Pseudonorm ausgestattet ist.

Beispiel: Pseudodivision von Polynomen in mehreren Variablen

Sei R ein kommutativer unitärer Ring und $R[X_1,\dots,X_n]$ die Polynomalgebra in n Variablen über R. Dann wird durch $|f|:=2^{\operatorname{grad} f}$ ein nicht-archimedischer Pseudobetrag auf dem Polynomring erklärt. Dabei sei $\operatorname{grad} f$ der totale Grad von f mit der zusätzlichen Konvention $2^{\operatorname{grad} (0)}=2^{-\infty}=0$ . Die Einschränkung dieses Pseudobetrags auf R ergibt den trivialen Pseudobetrag, der immer 1 ist mit Ausnahme der Null, die den Wert 0 erhält. Bezüglich dieses Pseudobetrags auf R ist der Betrag $f\mapsto 2^{\operatorname{grad} f}$ auch eine Norm auf $R[X_1,\dots,X_n]$ , nun aufgefasst als R-Modul. Ist R zusätzlich ein Integritätsring, so ist $f\mapsto 2^{\operatorname{grad} f}$ sogar ein nicht-archimedischer Betrag auf dem Polynomring. Mit diesen Hilfsmitteln kann man eine wertvolle Abschätzung des Koeffizientenwachstums bei der „Pseudodivision mit Rest“ bezüglich einer Variablen von Polynomen in mehreren Variablen herleiten.

Basierend auf einem Artikel in:

Wikipedia.de