Eine Abbildung v von einem Körper oder Ring in eine total geordnete abelsche Gruppe (häufig R∪{∞} oder Z∪{∞}), die Größe oder Teilbarkeit misst, multiplikativ ist (v(xy)=v(x)+v(y) in additiver Schreibweise) und eine dreiecksähnliche Ungleichung v(x+y) ≥ min(v(x),v(y)) im nicht-archimedischen Fall erfüllt.

Prinzip

Jedem Element eine Vanishing-Order oder Magnitude zuordnen, die mit der Multiplikation verträglich ist und eine abgeschwächte additive Ungleichung erfüllt, womit lokales Verhalten bezüglich einer Stelle oder eines Bewertungsrings kodiert wird.

Demonstration

Auf Q ist die p-adische Bewertung vp so definiert, dass vp(p^k * a/b)=k für a,b ganze Zahlen nicht durch p teilbar gilt; in k((t)) ordnet die t-adische Bewertung t^n den Wert n zu und Summen folgen der Minimumregel.

Fehlanwendung

Eine archimedische Betragsfunktion fälschlich wie eine nicht-archimedische Bewertung behandeln oder eine Bewertung einfach als beliebige Größefunktion missverstehen ohne Multiplikativität und die notwendige Ungleichung zu prüfen.

Konsequenz

Eine Bewertung erzeugt einen Bewertungsring, ein maximales Ideal positiver Werte, Restklassenkörper und Komplettierungen; sie strukturiert lokal-zu-global-Prinzipien und steuert Konvergenz, Teilbarkeitsfiltrationen und Verzweigungsverhalten.

Umkehrung

Die Bewertung durch eine Betragsfunktion ersetzen, die die übliche Dreiecksungleichung erfüllt (archimedisch): sie misst Größe oft stetig, liefert jedoch nicht die diskreten Teilbarkeitsfiltrationen wichtiger arithmetischer Anwendungen.

Abgrenzung

Bewertungen erfordern einen total geordneten Wertebereich und Multiplikativitätskompatibilität; sie unterscheiden sich in den Axiomen von Beträgen, Normen und Stellen und sind typischerweise lokal — nicht jede Größefunktion ist eine Bewertung.

Semantische Spannung

Bewertung steht in Spannung zu Begriffen wie Betrag, Norm oder Ordnung: ähnlich einem Betrag misst sie Größe, doch im Gegensatz zu archimedischen Normen erfüllt sie oft die starke nicht-archimedische Ungleichung und erzeugt eine diskrete Filtration, die Teilbarkeit widerspiegelt.

Synthese

Eine Bewertung ist eine multiplikative, ordnungserhaltende Zuordnung von 'Größe' oder Teilbarkeit in einen total geordneten Wertebereich mit einer dreiecksähnlichen Bedingung; sie definiert Bewertungsringe und Filtrationen, die lokales arithmetisches Verhalten und Konvergenz erfassen.