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 einer Pseudobewertung, bei dem im Gegensatz zum Betrag die Bedingung der Multiplikativität zur Submultiplikativität abgeschwächt wird.

Definition

Sei <math>M</math> ein <math>R</math>-(Links-)Modul über einem unitären Ring <math>(R, |\cdot|)</math> mit Pseudobewertung. Eine Abbildung <math>\|\cdot\| \colon M\to\R^+_0</math> in die nichtnegativen reellen Zahlen heißt eine Pseudonorm, wenn für alle <math>a,b\in M</math> und <math>\lambda\in R</math> folgende Eigenschaften gelten:<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

(1) <math> \|a\|=0\;\Leftrightarrow\; a=0</math> (Definitheit)

(3) <math> \|a+b\|\leq \|a\| + \|b\|</math> (Dreiecksungleichung).

Wird (2) verschärft zu

so heißt <math>\|\cdot\|</math> eine Norm.

Die Begrifflichkeit ist in der Literatur nicht eindeutig; bei manchen Autoren wird die Pseudobewertung auch bereits als Pseudonorm bezeichnet.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Eigenschaften

Ist die Pseudonorm <math>\|\cdot\|</math> sogar eine Norm auf <math>M</math>, so ist notwendigerweise die zugehörige Pseudobewertung <math>|\cdot|</math> ein Betrag auf <math>R</math>.

p-Pseudonormen

Definition

Ist <math>(R,|\cdot|)</math> ein unitärer Ring mit Pseudobewertung, so wird auf dem <math>R</math>-Modul <math>R^n</math> durch

für jedes <math>p\in [1,\infty)</math> bzw. durch

<math>\|v\|_{\infty} = \max_{i=1}^n |v_i|</math>

für <math>p=\infty</math> eine Pseudonorm, die p-Pseudonorm erklärt. Damit diese Definition sinnvoll ist, sind die Pseudonormeigenschaften zu zeigen. Für den Nachweis der Dreiecksungleichung benutzt man die Minkowski-Ungleichung.

Eigenschaften

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

Anwendung

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

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

<math>\|A B\|_p \leq \|A\|_p\, \|B\|_{\min(p,q)}</math>,

<math>\|A B\|_p \leq \|A\|_{\min(p,q)}\, \|B\|_p</math>.

Für den Beweis dieser Aussage verwendet man die Hölder-Ungleichung und die Minkowski-Ungleichung.
Ist <math>p\in [1,2]</math>, so ist die <math>p</math>-Pseudonorm also submultiplikativ für alle multiplizierbaren Matrizen über <math>R</math>, und dies gilt insbesondere auf den Algebren <math>R^{n\times n}</math> der quadratischen Matrizen.
Beispiel für die <math>1</math>-Pseudonorm: Ist R ein kommutativer Ring mit Pseudobewertung und M eine <math>n\times n</math>-Matrix über R mit den Zeilen <math>M_1,\dots,M_n</math>, so gilt die abgeschwächte Hadamard-Ungleichung <math>\textstyle |\det M|\leq \prod_{i=1}^n \|M_i\|_1</math> 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 <math>A</math> eine assoziative <math>R</math>-Algebra über einem kommutativen unitären Ring <math>(R,|\cdot|)</math> mit Pseudobewertung.

Ist <math>\|\cdot\|</math> eine submultiplikative Pseudonorm auf <math>A</math> als Modul, so ist <math>\|\cdot\|</math> eine Pseudobewertung auf <math>A</math> als Ring.
Ist <math>\|\cdot\|</math> sogar eine multiplikative Pseudonorm, so ist <math>\|\cdot\|</math> ein Betrag auf <math>A</math>.

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 Pseudobewertung.

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

Ausgehend von einem Grundring R mit Pseudobewertung (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 Pseudobewertung, über dem man wiederum Module, Polynom- und Matrizenringe betrachten kann. Auf diese Art ist zum Beispiel die iterative Konstruktion der Polynomalgebren <math>R[X_1,\dots,X_n] = R[X_1,\dots,X_{n-1}][X_n]</math> 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 <math>R[X_1,\dots,X_n]</math> die Polynomalgebra in n Variablen über R. Dann wird durch <math>|f|:=2^{\operatorname{grad} f}</math> eine nicht-archimedischer Pseudobewertung auf dem Polynomring erklärt. Dabei sei <math>\operatorname{grad} f</math> der totale Grad von f mit der zusätzlichen Konvention <math>2^{\operatorname{grad} (0)}=2^{-\infty}=0</math>. Die Einschränkung dieser Pseudobewertung auf R ergibt die triviale Pseudobewertung, der immer 1 ist mit Ausnahme der Null, die den Wert 0 erhält. Bezüglich dieser Pseudobewertung auf R ist der Betrag <math>f\mapsto 2^{\operatorname{grad} f}</math> auch eine Norm auf <math>R[X_1,\dots,X_n]</math>, nun aufgefasst als R-Modul. Ist R zusätzlich ein Integritätsring, so ist <math>f\mapsto 2^{\operatorname{grad} f}</math> 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.

Literatur

{{#invoke:Vorlage:Literatur|f}} Hier S. 48–62.

Einzelnachweise