Une fonction g(n) est un ordre normal de f(n) si f(n)/g(n) → 1 pour presque tout n, c'est-à-dire que la proportion des n≤x pour lesquels f(n) s'écarte sensiblement de g(n) tend vers zéro quand x→∞ ; elle décrit la taille typique de f sur un ensemble de densité naturelle pleine.

Principe

Caractériser le comportement typique presque partout d'une fonction arithmétique en exigeant une convergence ponctuelle pour tout n sauf un ensemble exceptionnel de densité nulle, plutôt qu'un simple accord sommatoire.

Démonstration

La fonction ω(n), nombre de facteurs premiers distincts de n, a pour ordre normal log log n : pour presque tout n on a ω(n) ∼ log log n, de sorte que log log n décrit le comptage typique de facteurs.

Mauvaise application

Supposer que l'ordre normal vaut uniformément ou pour chaque n ; confondre ordre normal et ordre moyen ou en déduire que les entiers exceptionnels sont finis plutôt que simplement de densité nulle.

Conséquence

La connaissance d'un ordre normal fournit des énoncés de type probabiliste sur les entiers typiques et soutient les lois limites et résultats de concentration pour les fonctions arithmétiques sur la plupart des entrées.

Inversion

Un ordre moyen peut exister sans qu'existe un ordre normal : les sommes cumulées peuvent être régulières alors que les valeurs individuelles varient fortement sur des ensembles de densité positive ; inversement, un ordre normal implique un ordre moyen compatible sous des hypothèses légères.

Limite

Utilise la densité naturelle pour mesurer 'presque tout' et exclut des conclusions sur les valeurs de l'ensemble exceptionnel de densité nulle ; ne garantit pas d'asymptotique ponctuelle sur cet ensemble ni de bornes d'erreur uniformes.

Tension sémantique

Conflit avec l'ordre moyen : l'ordre moyen est global et sommatoire, l'ordre normal est ponctuel presque partout ; une fonction peut satisfaire l'une sans l'autre, conduisant à des interprétations différentes du 'typique'.

Synthèse

L'ordre normal saisit la taille typique ponctuelle presque partout d'une fonction arithmétique en affirmant la convergence de f(n)/g(n) vers 1 hors d'un ensemble de densité nulle, offrant une notion fine du comportement typique complémentaire aux moyennes sommatoires.