Pseudobewertung

Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen)

Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.

Eine Pseudobewertung ist eine abgeschwächte Variante eines Betrags.

Definition

Sei ${\displaystyle R}$ ein unitärer Ring. Eine Abbildung ${\displaystyle |\cdot |\colon R\to \mathbb {R} _{\geq 0}}$ in die nichtnegativen reellen Zahlen wird Pseudobewertung genannt, wenn für alle ${\displaystyle a,b\in R}$ folgende Eigenschaften gelten:

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

(2) ${\displaystyle |a-b|\leq |a|+|b|}$

(3) ${\displaystyle |a\cdot b|\leq |a|\cdot |b|}$ (Submultiplikativität)

Wird (3) verschärft zu

(3a) ${\displaystyle |a\cdot b|=|a|\cdot |b|}$ (Multiplikativität),

so ist ${\displaystyle |\cdot |}$ ein Betrag.

Die Pseudobewertung ${\displaystyle |\cdot |}$ heißt nicht-archimedisch, wenn

(4) ${\displaystyle |a+b|\leq \max(|a|,|b|)}$

gilt.

Eigenschaften

• Für eine Pseudobewertung gelten stets

${\displaystyle |{-a}|=|a|}$

und

${\displaystyle |a+b|\leq |a|+|b|}$ (Dreiecksungleichung).

• Für eine Pseudobewertung gilt stets ${\displaystyle |1|\geq 1}$, für einen Betrag gilt sogar ${\displaystyle |1|=1}$.
• Jeder unitäre Ring mit Betrag ist notwendigerweise bereits ein Integritätsring (durch die Multiplikativität vererbt sich die Nullteilerfreiheit der reellen Zahlen auf den Ring).
• Die Funktion

${\displaystyle {\begin{array}{llll}d\;\colon &R\times R&\to \mathbb {R} _{\geq 0}\\&d(a,b)&\mapsto |a-b|\end{array}}}$

definiert die von der Pseudobewertung ${\displaystyle |\cdot |}$ induzierte Metrik. Sie ist eine Ultrametrik, wenn jener nicht-archimedisch ist.

Beispiele

Sei ${\displaystyle (R,|\cdot |)}$ ein unitärer Ring mit Pseudobewertung.