Eine Funktion g(n) ist eine Normalordnung von f(n), wenn f(n)/g(n) → 1 für fast alle n, das heißt der Anteil der n≤x, für die f(n) deutlich von g(n) abweicht, geht für x→∞ gegen null; sie beschreibt die typische Größe von f auf einer Menge voller natürlicher Dichte.

Prinzip

Charakterisiere das typische, fast überall gültige Verhalten einer arithmetischen Funktion, indem punktweise Konvergenz außerhalb einer Menge von Dichte null gefordert wird, statt bloßer aufsummierter Übereinstimmung.

Demonstration

Die Funktion ω(n), die Anzahl der verschiedenen Primfaktoren von n, hat Normalordnung log log n: für fast alle n gilt ω(n) ∼ log log n, also beschreibt log log n die typische Faktorenzahl.

Fehlanwendung

Annehmen, dass die Normalordnung gleichmäßig oder für jedes n gelte; Normalordnung mit Durchschnittsordnung verwechseln oder daraus schließen, dass die Ausnahmemenge endlich statt nur dichte-null sei.

Konsequenz

Kenntnis einer Normalordnung liefert probabilistische Aussagen über typische ganze Zahlen und stützt Grenzwertsätze und Konzentrationsergebnisse für arithmetische Funktionen auf den meisten Eingaben.

Umkehrung

Eine Durchschnittsordnung kann existieren, ohne dass eine Normalordnung existiert: kumulative Summen können regelmäßig sein, während einzelne Werte auf Mengen positiver Dichte stark variieren; umgekehrt impliziert Normalordnung unter milden Bedingungen eine kompatible Durchschnittsordnung.

Abgrenzung

Verwendet die natürliche Dichte als Maß für 'fast alle' und schließt Aussagen über Werte in der Ausnahmemenge von Dichte null aus; garantiert keine punktweisen Asymptotiken auf dieser Menge oder uniforme Fehlerabschätzungen.

Semantische Spannung

Spannung mit Durchschnittsordnung und punktweisen Asymptotiken: Normalordnung ist punktweise fast überall, Durchschnittsordnung global aufsummiert; eine Funktion kann die eine besitzen, die andere nicht.

Synthese

Normalordnung erfasst die punktuelle, fast überall gültige typische Größe einer arithmetischen Funktion durch die Forderung f(n)/g(n)→1 außerhalb einer Menge von Dichte null und ergänzt so die globalen Aussagen der aufsummierten Mittelwerte.