Una función g(n) es orden normal de f(n) si f(n)/g(n) → 1 para casi todo n, es decir, la proporción de n≤x para los que f(n) difiere significativamente de g(n) tiende a cero cuando x→∞; describe el tamaño típico de f en un conjunto de densidad natural plena.

Principio

Caracterizar el comportamiento típico casi en todas partes de una función aritmética exigiendo convergencia puntual fuera de un conjunto excepcional de densidad cero, en lugar de mero acuerdo sumatorio.

Demostración

La función ω(n), número de factores primos distintos de n, tiene orden normal log log n: para casi todo n se cumple ω(n) ∼ log log n, así log log n describe el recuento típico de factores.

Aplicación incorrecta

Suponer que el orden normal vale uniformemente o para cada n; confundir orden normal con orden medio o deducir que los enteros excepcionales son finitos en vez de solo de densidad cero.

Consecuencia

Saber un orden normal proporciona afirmaciones de estilo probabilístico sobre enteros típicos y sustenta leyes límite y resultados de concentración para funciones aritméticas en la mayoría de entradas.

Inversión

Puede existir un orden medio sin que exista orden normal: las sumas acumuladas pueden ser regulares aunque los valores individuales varíen mucho en conjuntos de densidad positiva; a la inversa, orden normal implica un orden medio compatible bajo condiciones suaves.

Límite

Emplea la densidad natural como medida de 'casi todo' y excluye conclusiones sobre valores en el conjunto excepcional de densidad cero; no garantiza asintóticas puntuales en ese conjunto ni cotas de error uniformes.

Tensión semántica

Tensión con el orden medio y las asintóticas puntuales: el orden normal es puntual casi en todas partes, el orden medio es una noción global sumatoria; una función puede tener una sin la otra.

Síntesis

El orden normal captura el tamaño típico puntual casi en todas partes de una función aritmética al exigir f(n)/g(n)→1 fuera de un conjunto de densidad cero, ofreciendo una noción fina del comportamiento típico complementaria a las medias sumatorias.