Une clé de lecture

Lire une borne

O, ≪, ∼ : trois symboles pour trois affirmations différentes.

Majorer, sans donner une égalité

Écrire f(x)=O(g(x))f(x)=O(g(x)), lorsque gg est positive, signifie qu’il existe une constante CC et un seuil x0x_0 tels que

f(x)Cg(x)pour xx0.|f(x)|\leq Cg(x)\quad\text{pour }x\geq x_0.

La notation f(x)g(x)f(x)\ll g(x) exprime la même idée. Un indice, comme ε\ll_\varepsilon, autorise la constante à dépendre de ε\varepsilon. Les paramètres dont elle ne dépend pas sont essentiels.

Exemple

Pour x1x\geq1, on a 3x+25x3x+2\leq5x. Donc 3x+2=O(x)3x+2=O(x). On peut aussi écrire 3x+2=O(x2)3x+2=O(x^2), mais cette dernière borne est moins précise à grande échelle.

Une équivalence est plus précise

Écrire f(x)g(x)f(x)\sim g(x) signifie

f(x)g(x)1.\frac{f(x)}{g(x)}\longrightarrow1.

Ainsi, 3x+23x3x+2\sim3x, mais pas 3x+2x3x+2\sim x. Une majoration à constante près ne suffit pas à établir une équivalence.

Comparer deux résultats

Avant de comparer deux exposants, vérifie la quantité bornée, les hypothèses et les paramètres des constantes. Une borne valable pour toute une famille peut être plus forte qu’une meilleure formule valable sur quelques cas.

Enfin, « pour tout ε>0\varepsilon>0 » ne permet pas de remplacer directement ε\varepsilon par zéro. La constante peut se dégrader lorsque ε\varepsilon tend vers zéro.

Retrouver cette notion