c Christophe Bertault - MPSI

Comparaison des fonctions

Dans tout ce chapitre, I, J . . . sont des intervalles de R. Nous allons adapter au cas des fonctions les notions tudies dans
le chapitre Comparaison des suites .

Ngligeabilit

1
1.1

Dfinition

Dfinition

(Ngligeabilit)

On dit que f est ngligeable devant g au voisinage de a

Soient f : I R et g : I R deux applications et a I.
sil existe une fonction : I R de limite nulle en a et un voisinage Va de a tels que f (x) = (x)g(x) pour tout
x Va I.
Cette relation se note f = o(g) et se lit f est un petit o de g au voisinage de a , ou bien f (x) = o g(x) et f (x)
a

xa

est un petit o de g(x) au voisinage de a .

Cette dfinition
se gnralise au cas o f et g ne sont pas dfinies en a : il suffit dans ce cas de remplacer tous les I

par des I r a .
Dire que f = o(g) revient dire que lim
a

xa

f (x)
= 0 lorsque g ne sannule pas au voisinage de a (sauf ventuellement en
g(x)

a, et lorsque dans ce cas galement f (a) = 0).

   En pratique

Dans les exercices, on travaillera presque toujours avec des fonctions qui ne sannulent pas au
f (x)
voisinage de a, sauf ventuellement en a. Cest donc la dfinition particulire lim
= 0 que nous utiliserons.
xa g(x)
Exemple

Vous noterez bien quavec les puissances, les comparaisons au voisinage de 0 et au voisinage de sont inverses.
x4
x2
On a x2 = o(x4 ) car lim 4 = 0. Par contre x4 = o(x2 ) car lim 2 = 0.
x0
x0 x
x
x x
1
1
 
 
2
1
1
1
1
1
x
x
0. Par contre
= o
On a 2 = o
= x 0.
car
=
car
1
1
x0
x x
x
x x
x x0
x2
x
x2

$ $ $ Attention !

f = o(0)
a

f est nulle au voisinage de a.

Or on ne travaille jamais avec la fonction nulle quel intrt ? Cest pourquoi vous ne rencontrerez certainement jamais
lexpression f = o(0) en mathmatiques. Banissez-la de vos copies !
a

1.2

Oprations sur les petits o

(Oprations sur la ngligeabilit) Soient f, g, h, fe, e
g des applications de I dans R, a I et R.

Thorme

(i) La multiplication par un rel non nul ne compte pas :

si f = o(g) et si 6= 0, alors f = o(g) et f = o(g).
a

(ii) La somme de deux fonctions ngligeables devant une mme fonction est ngligeable :
si f = o(g) et si fe = o(g), alors f + fe = o(g).
a

(iii) La relation tre ngligeable est transitive :

(

(iv) Avec le produit, tout va bien :

si f = o(g) et si g = o(h), alors f = o(h).

a

si f = o(g) et si fe = o(e
g ), alors f fe = o(g e
g ).
a

si f = o(g), alors f h = o(gh).

a

et si est une fonction dfinie au voisinage de b valeurs dans I

(v) La composition droite est autorise : si b R
telle que lim = a, alors la relation f = o(g) implique la relation f = o(g ).
b

c Christophe Bertault - MPSI

$ $ $ Attention !

Avec les petits o deux oprations sont formellement interdites.

1) Somme des deux cts : si f = o(g) et si fe = o(e

g ), on na pas forcment f + fe = o(g + e
g ).
a

Par exemple, on a x 1 = o(x2 ) et 1 = o(1 x2 ), mais pourtant x = o(1).

x

2) Composition gauche : si f = o(g), on na pas forcment f = o( g).

a

Par exemple, on a x = o(x2 ), mais pourtant, si on compose gauche par x 7

x

1 1
,
x x

= o

1
.
x2

Dmonstration
(i) Montrons que f = o(g). Par hypothse, il existe une fonction : I R de limite nulle en a et un
a

(x)
voisinage Va de a tels que f (x) = (x)g(x) pour tout x Va I. Alors f (x) =
g(x) pour tout

x Va I et lim = 0. Do le rsultat.
a


Montrons que f = o(g). Reprenons les notations prcdentes. On a f (x) = (x) g(x) pour tout x Va I
a

et lim = 0. Do le rsultat.
a

(ii) Par hypothse, il existe une fonction : I R de limite nulle en a et un voisinage Va de a tels que
f (x) = (x)g(x) pour tout x Va I, ainsi quune fonction e : I R de limite nulle en a et un voisinage
ea de a tels que fe(x) = e(x)g(x) pour tout x V
ea I.
V




0
e
e
Posons Va = Va Va . Alors f (x) + f (x) = (x) + e(x) g(x) pour tout x Va0 I et de plus lim + e = 0.
a

Do le rsultat.

(iii) Par hypothse, il existe une fonction : I R de limite nulle en a et un voisinage Va de a tels que
f (x) = (x)g(x) pour tout x Va I, ainsi quune fonction e : I R de limite nulle en a et un voisinage
ea de a tels que g(x) = e(x)h(x) pour tout x V
e I.
V

a


0
e
Posons Va = Va Va . Alors f (x) = (x)e(x) h(x) pour tout x Va0 I et de plus lim + e = 0. Do le
a

rsultat.

(iv) et (v) Dbrouillez-vous.

   En pratique

Souvent, quand a R, lassertion (v) est utilise pour faire des translations : x 7 xa. Cest comme quand on passe de

la limite lim f (x) = ` la limite lim f (a+h) = ` . Par exemple, les relations x2 = o(x4 ) et (x1)2 = o (x1)4
xa

x0

h0

x1

disent en substance la mme chose.

Cette technique nous permet de transformer toute relation de ngligeabilit a voisinage de a R en une relation de
ngligeabilit au voisinage de 0.
On peut aussi vouloir transformer une relation de ngligeabilit au voisinage de en une relation de ngligeabilit au
1
voisinage de 0. Pour cela on travaillera le plus souvent avec la fonction : x 7 .
x

Nous avons jusquici introduit la notation petit o sous sa forme la plus lmentaire (mise en relation de deux fonctions).
Cette notation existe en ralit sous des formes assez diverses en mathmatiques. Par exemple, vous rencontrerez souvent des
expressions du genre f = g + o(h) . En loccurrence, cette expression signifie simplement que f g = o(h).
a

   En pratique

Comme avec les suites, vous devez vous habituer nettoyer les formules que vous crivez avec
x2
des petits o. Ainsi, au lieu dcrire ln(1 + x) = x
+ o(x), vous crirez ln(1 + x) = x + o(x) car la prcision o(x) ne fait
x0
x0
2
2
x
quune bouche du . Autre exemple : la relation ln(1 + x) = x + 5x2 8x7 + o(x) est tout aussi juste que les prcdentes,
x0
2
mais elle est inutilement complique.

Thorme (Limites et petits o) Soient f : I R une application, a I et ` R. Alors :

En particulier :

lim f = 0
a

f = o(1).

lim f = `
a

f = `+o(1).
a

   En pratique
Il est trs important davoir en tte le fait quun o(1) au voisinage de a nest rien dautre quune
fonction de limite nulle au voisinage de a.

c Christophe Bertault - MPSI

Dmonstration
lim f = `
a

1.3

lim (f `) = 0
a

lim
a

f `
=0
1

f ` = o(1)
a

f = ` + o(1).

Exemples fondamentaux

Thorme
(i)

(Exemples fondamentaux de petits o au voisinage de )

Soient , R tels que < . Alors x = o(x ).

x

(iii) Soient , R avec > 0. Alors ln x

= o(x ).

(ii)

Soient a, b R tels que 0 < a < b. Alors ax = o(bx ).

(iv)

Soient a, R avec a > 1. Alors x = o(ax ).

   Explication
Ce thorme explique, dans la langue des petits o, que les exponentielles sont plus infinies que les
puissances, qui le sont elles-mmes plus que les puissances de logarithmes, tout ceci au voisinage de .

Dmonstration
x
= 0,
x x

(i) Puisque < , alors < 0, donc lim x = 0 (rsultat sur les fonctions puissances), i.e. lim
x

i.e. enfin x = o(x ).

x

(ii) Puisque 0 < a < b, alors b 6= 0 et ln

(iii) et (iv) Au travail !

Thorme
(i)

 a x
a
a
= 0, et donc ax = o(bx ).
< 1, donc lim ex ln b = 0, i.e. lim
x
x
x b
b


(Exemples fondamentaux de petits o au voisinage de 0)

Soient , R tels que < . Alors x = o(x ).

(ii)

x0

Soient , R avec > 0. Alors x = o  ln x .

x0

$ $ $ Attention !
Lassertion (i) ressemble sy mprendre celle quon vient de voir au voisinage de , ceci prs
justement quils sont crits au voisinage de 0. Malheur ceux qui les confondront ! Pour retenir les relations entre les puissances
x et x , il suffit davoir en tte la position relative des deux fonctions asocies ; si < , nous savons que le graphe de x 7 x
est sous le graphe de x 7 x sur ]1, [, et que linverse est vrai sur ]0, 1[.

Equivalence

2
2.1

Dfinition

Dfinition

(Equivalence)

On dit que f est quivalente g au voisinage de a sil

Soient f : I R et g : I R deux applications et a I.
existe une fonction : I R de limite 1 en a et un voisinage Va de a tels que f (x) = (x)g(x) pour tout x Va I. Cette
relation se note f g ou f (x) g(x).
a

xa

Cette dfinition
se gnralise au cas o f et g ne sont pas dfinies en a : il suffit dans ce cas de remplacer tous les I

par des I r a .
Dire que f g revient dire que lim
a

xa

f (x)
= 1 lorsque g ne sannule pas au voisinage de a (sauf ventuellement en a,
g(x)

et lorsque dans ce cas galement f (a) = 0).

   En pratique

Dans les exercices, on travaillera presque toujours avec des fonctions qui ne sannulent pas au
f (x)
= 1 que nous utiliserons.
voisinage de a. Cest donc la dfinition particulire lim
xa g(x)

c Christophe Bertault - MPSI

x2 + x + 5
x + x + 5 x car lim
= 1.
x
x
x2
2

Exemple

1
1
+ 2
x
x

$ $ $ Attention !

f 0

f est nulle au voisinage de a.

1
1
+ 2
1
1
x
x
car
1.
=1+
1
x
x x
x

Or on ne travaille jamais avec la fonction nulle quel intrt ? Cest pourquoi vous ne rencontrerez certainement jamais
lexpression f 0 en mathmatiques. Banissez-la de vos copies !
a

Soient f : I R et g : I R deux applications et a I.

Thorme

Dmonstration

f g

f = g + o(g).

Par dfinition, dire que f g, cest dire quil existe une fonction : I R de limite 1 en a
a

et un voisinage Va de a tels que f (x) = (x)g(x) pour tout x Va I. Cest donc

dire quil existe une fonction


: I R de limite nulle en a et un voisinage Va de a tels que f (x) = 1 + (x) g(x), i.e. f (x) g(x) = (x)g(x).
Cest, enfin, exactement dire que f g = o(g).

a

f (x)
= 1 et lim f (x) g(x) = 0 ne sont en aucun cas quivalentes ;
xa
g(x)
cest mme pire :
aucune de ces deux propositions nimplique lautre. Le thorme prcdent nous explique pourquoi : dire que
lim f (x) g(x) = 0, cest dire que f g = o(1), et non pas f g = o(g).

$ $ $ Attention !

Les propositions lim

xa

xa

Par exemple x + 1 x, mais pourtant (x + 1) x 0 ; inversement lim

x

2.2

1
1
2
x
x

= 0, mais pourtant

1
x

1
.
x2

Oprations sur les quivalents

(Oprations sur les quivalents) Soient f, g, h, fe, ge des applications de I dans R et a I.

Thorme

(i) La relation tre quivalentes est rflexive :

f f.
a

(ii) La relation tre quivalentes est symtrique :

si f g, alors g f .
a

(iii) La relation tre quivalentes est transitive :

si f g et si g h, alors f h.
a

(iv) Dans les petits o, on peut remplacer toute fonction par une fonction quivalente :
si f = o(g) et si fe f et ge g, alors fe = o(e
g ).
a

(v) Deux fonctions quivalentes ont le mme signe sur un voisinage :

si f g et si f > 0 au voisinage de a, alors g > 0 au voisinage de a.
a

si f fe et si g e
g , alors f g fege.

(vi) Avec le produit, tout va bien :

(vii) Avec linverse, tout va bien :

si f g et si f ne sannule pas au voisinage de a, alors

a

1
1
.
f a g

(viii) Avec les puissances, tout va bien :

si f g et si f > 0 au voisinage de a, alors f g pour tout R.
a

et si est une fonction dfinie au voisinage de b valeurs dans I

(ix) La composition droite est autorise : si b R
telle que lim = a, alors la relation f g implique la relation f g .
a

$ $ $ Attention !

Avec les quivalents deux oprations sont formellement interdites.

1) Somme : si f g et si fe ge, on na pas forcment f + fe g + ge.

a

Par exemple, x + 1 x et 3 x x + 1, mais 4 1.

x

2) Composition gauche : si f g, on na pas forcment f = g.

a

Par exemple, x x + ln x, mais si on compose gauche par x 7 ex , ex xex .

x

c Christophe Bertault - MPSI

Dmonstration
pas difficiles.

Dmontrons ici seulement (ii) et (iii). Vous ferez les autres dmonstrations seuls, elles ne sont

(ii) Par hypothse, il existe une fonction : I R de limite 1 en a et un voisinage Va de a tels que
f (x) = (a)g(x) pour tout x Va I. Quitte rtrcir Va , nous pouvons supposer strictement positive
1
1
sur Va I. Alors g(x) =
f (x) pour tout x Va I et lim = 1. Do le rsultat.
a
(x)
(iii) Par hypothse, il existe une fonction : I R de limite 1 en a et un voisinage Va de a tels que
ea de a
f (x) = (a)g(x) pour tout x Va I, ainsi quune fonction e : I R de limite 1 et un voisinage V
e
tels que g(x) = e(x)h(x) pour tout x Va I.


ea . Alors f (x) = (x)
Posons Va0 = Va V
e(x) h(x) pour tout x Va0 I et de plus lim
e = 1. Do le
a

rsultat.

Thorme

(Limites et quivalents) Soient f : I R et g : I R deux applications et a I.

(i) Si f g, alors soit f et g ont toutes les deux une limite en a et lim f = lim g, soit aucune de ces deux applications
a

ne possde de limite en a.

(ii) Si lim f = ` o ` est un rel non nul, alors f `.

a

$ $ $ Attention !

La rciproque de lassertion (i) est fausse : on peut avoir lim f = lim g sans avoir f g. Ne pas
a

comprendre ceci, cest ne rien comprendre ce chapitre, car justement les quivalents permettent de distinguer des fonctions qui
pourtant ont la mme limite.
1
1
1
1
= lim 2 = 0 mais

.
Par exemple, lim ex = lim x = mais ex x ; de mme lim
x x
x x
x
x
x
x x x2
Dmonstration
(i) Par hypothse, il existe une fonction : I R de limite 1 et un voisinage Va de a tels que f (x) = (x)g(x)
pour tout x Va I. Du coup, si f possde une limite en a, alors g en possde une aussi et ces limites sont
gales ; et si f ne possde pas de limite en a, alors g ne peut pas en possder non plus.
f
= 1, et donc on a bien f `.
a
`

(ii) Si lim f = ` R , alors comme ` 6= 0, lim

a

2.3

Exemples fondamentaux

Thorme

(Exemples fondamentaux dquivalents) Soit R.

1) Logarithme, exponentielle, puissances :

ln(1 + x) x,

i.e.

ln(1 + x) = x + o(x).

ex 1 x,

i.e.

ex = 1 + x + o(x).

(1 + x) 1 x,

i.e.

(1 + x) = 1 + x + o(x).

i.e.

sin x = x + o(x).

x0

x0

x0

x0

x0

x0

2) Fonctions trigonomtriques circulaires :

sin x x,
x0

cos x 1,
x0

i.e.

cos x = 1 + o(1)
x0

et

tan x x,
x0

x0

cos x 1
x0

i.e.

x2
,
2

tan x = x + o(x).
x0

i.e.

cos x = 1
x0

x2
+ o(x2 ).
2

c Christophe Bertault - MPSI

3) Fonctions trigonomtriques circulaires inverses :

Arcsin x x,

i.e.

x0

Arccos x

x0

,
2

i.e.

Arccos x =

x0

+ o(1)
2

Arcsin x = x + o(x).
x0

et

Arctan x x,
x0

Arccos x

i.e.

x,
2 x0

i.e.

Arccos x =

x0

x + o(x).
2

Arctan x = x + o(x).
x0

4) Fonctions trigonomtriques hyperboliques :

sh x x,
x0

ch x 1,
x0

i.e.

ch x = 1 + o(1)

sh x = x + o(x).
x0

et

x0

th x x,
x0

$ $ $ Attention !

i.e.

ch x 1

x0

i.e.

x2
,
2

x0

x0

x0

x2
+ o(x2 ).
2

x0

(1 + x) 1 + x + o(x)

Ne mlangez jamais les petits o et les quivalents ! Par exemple,

1 + x 1. En dautres termes, crire

(1 + x) = 1 + o(1)

ch x = 1 +

th x = x + o(x).

une erreur classique. Soucieux de lviter, certains dentre vous criront du coup
idiot, car

i.e.

(1 + x)

x0

x0

(1 + x) = 1 + x + o(x)

(prcision o(1)) alors quon voulait crire

L, cest correct mais

1 + x.

x0

(1 + x) 1 + x revient crire

est

(1 + x) 1. On a donc crit
x0

(prcision o(x) bien meilleure).

x0

Bref : apprenez bien et distinguez bien les formules du thorme prcdent, autant leur version quivalents que leur version
petits o .
Dmonstration
Sauf cas particulier, la technique gnrale est la suivante. On part dune fonction f dfinie au voisinage de
0 et drivable en 0 ici x 7 ln(1 + x), x 7 ex , x 7 (1 + x) , sin, cos, tan, Arcsin, Arccos, Arctan, sh,
f (x) f (0)
= f 0 (0), ce qui scrit aussi
ch ou th. Par dfinition du nombre driv, on sait quon a
lim
x0
x0
f (x) = f (0) + f 0 (0)x + o(x). Cette formule est notre rsultat.
x0

Pour cos et ch, une formule lordre 2 est nonce, i.e. dont la prcision nest pas seulement en o(x),
mais carrment en o(x2 ), ce qui est plus fin.
Pour cos, il faut se souvenir que : t R, cos(2t) = 1  2 sin2 t.
 2 
x
x2
x
x2
x
Pour t = , cela donne : cos x = 1 2 sin2
= 12
+o
= 1
+ o(x2 ).
x0
2
2 x0
4
4
2
x
x
x

car lim = 0 via le point prcdent relatif au sinus. Passant au carr on obtient :
En effet, on a sin
x0 2
2 x0 2
 2
x2
x2
x
x
x

, i.e. sin2
=
+o
sin2
comme annonc.
2 x0 4
2 x0 4
4
On raisonne de la mme faon avec ch, aprs avoir montr la formule :

t R,

1
   En pratique Pour = 1 et = dans le thorme prcdent, on obtient les formules :
2

x
1 + x = 1 + + o(x). Il est utile de connatre bien ces deux cas particuliers.
et
x0
2
Exemple

x2 + ln x x

En effet

ln x
.
2x

On remarque que :

x ]1, [,

x2

+ ln x x = x

ln x
= 0, on peut effectuer une composition droite :
x x2

On conclut en multipliant par x :

x2

+ ln x x = x

1+

ln x
1+ 2 1
x

ln x
ln x
1
.
x 2x2
x2

ln x
2x2

1
= 1 x + o(x)
1 + x x0

ln x
1+ 2 1 .
x

Or dj, puisque lim

ch (2t) = 1 + 2sh2 t.

ln x
.
2x

c Christophe Bertault - MPSI

etan x cos x x.

Exemple

x0

En effet Puisquil est interdit dadditionner les quivalents, nous allons devoir travailler avec des petits o. Nous
allons montrer que etan x cos x = x + o(x). La prcision voulue est un o(x).
x0

Puisque lim tan x = 0, alors etan x 1 tan x x, et donc etan x 1 = x + o(x).

x0

x0

x0

x0

x2
+ o(x2 ).
x0
x0
2
Laquelle utiliser ? Nous ne pouvons pas utiliser la premire, car sa prcision nest quun o(1) trs grossier, alors
que nous recherchons un o(x). Voyons donc ce que nous donne la deuxime :
Et le cosinus alors ? Nous avons deux formules pour lui :

tan x

cos x = e

tan x

1 cos x1

x0

cos x = 1 + o(1)

x2
x+o(x)
+ o(x2 )
2

et

cos x = 1

= x+o(x)

car le o(x) mange le o(x2 ).

Les concepts dvelopps dans ce chapitre sont trs utiles pour calculer des limites.
1

Exemple

Soient a, b

R
+.

En effet

Tout dabord :

ax + bx
2

lim

x
1

ax = e

ln a
x

!x

ab.

= 1+

ln a
+o
x

 

1
.
x

Mme chose pour b x .

 

1
ln(ab)
Ensuite : a + b
= 2+
+o
.
x
x
x

 
 
1
1
ln(ab)
ln ab
1
1
ax + bx
= 1+
+o
= 1+
+o
,
On divise par 2 :
x
2
2x
x x
x
x
"

 #
 
1
1
ln ab
ln ab
1
1
ax + bx
=
,
= ln 1 +
+o
+o
puis on compose par la fonction logarithme : ln
x
x
2
x
x
x
x
1
x

1
x

ln a
ln b
= 2+
+
+o
x
x
x

1
x

 

1
1
1
1

ax + bx
ax + bx
lim x ln
= ln ab+o(1). Bref :
= ln ab. Finalement,
x
x
2
2
composons cette limite gauche par la fonction exponentielle avec les limites, on peut composer gauche
on obtient le rsultat annonc.

et enfin on multiplie par x :

x ln

Domination

La notion de domination introduite ci-aprs est trs utile en mathmatiques, mais il faut bien avouer que vous lutiliserez
moins que les notions de ngligeabilit et dquivalence en MPSI. En deuxime anne, elle vous rendra de prcieux services quand
vous tudierez la notion de srie.

3.1

Dfinition

Dfinition

(Domination)

Soient f : I R et g : I R deux applications


 et a I. On dit que f est domine par g au voisinage de a sil
existe K R+ et un voisinage Va de a tels que f (x) 6 K g(x) pour tout x Va I.


Cette relation se note f = O(g) et se lit f est un grand O de g au voisinage de a , ou bien f (x) = O g(x)
et
a

xa

f (x) est un grand O de g(x) au voisinage de a .

Cette dfinition
se gnralise au cas o f et g ne sont pas dfinies en a : il suffit dans ce cas de remplacer tous les I

par des I r a .
f
est borne lorsque g ne sannule pas au voisinage de a (sauf
g
ventuellement en a, et lorsque dans ce cas galement f (a) = 0).
Dire que f = O(g) revient dire que la fonction
a

Exemple

f = O(0)
a

f est nulle au voisinage de a.

Or on ne travaille jamais avec la fonction nulle quel intrt ? Cest pourquoi vous ne rencontrerez certainement jamais
lexpression f = O(0) en mathmatiques. Banissez-la de vos copies !
a

c Christophe Bertault - MPSI

Le rsultat suivant est un cas particulier de la dfinition de la domination, trs important.

Alors :
(Fonction borne et O(1)) Soient f : I R une application et a I.

Thorme

f = O(1)

3.2

f est borne au voisinage de a.

Oprations sur les grands O

(Oprations sur la domination) Soient f, g, h, fe, e
g des applications de I dans R, a I et R.

Thorme

(i) La ngligeabilit (resp. lquivalence) implique la domination :

(ii) La multiplication par un rel non nul ne compte pas :

si f = o(g)
a

(resp. f g), alors f = O(g).

a

si f = O(g) et si 6= 0, alors f = O(g) et f = O(g).

a

(iii) La somme de deux fonctions domines par une mme fonction est domine :
si f = O(g) et si fe = O(g), alors f + fe = O(g).
a

(iv) La relation tre domine est transitive :

(

si f = O(g) et si g = O(h), alors f = O(h).

a

si f = O(g) et si fe = O(e
g ), alors f fe = O(g e
g ).
a

(v) Avec le produit, tout va bien :

si f = O(g), alors f h = O(gh).

a

et si est une fonction dfinie au voisinage de b valeurs dans I

(vi) La composition droite est autorise : si b R
telle que lim = a, alors la relation f = O(g) implique la relation f = O(g ).
a

Dmonstration
$ $ $ Attention !

Dbrouillez-vous.

Avec les grands O deux oprations sont formellement interdites.

g ), on na pas forcment f + fe = O(g + ge).

1) Somme des deux cts : si f = O(g) et si fe = O(e
a

Par exemple, on a x 1 = O(x2 ) et 1 = O(1 x2 ), mais pourtant x = O(1).

x

2) Composition gauche : si f = O(g), on na pas forcment f = O( g).

a

Par exemple, on a x = O(x ), mais pourtant, si on compose gauche par x 7

x

1 1
,
x x

= O

1
.
x2

$ $ $ Attention !
La domination nimplique ni la ngligeabilit, ni lquivalence. Cest le contraire qui est vrai. Par
exemple, 2x2 = O(x2 ), mais 2x2 = o(x2 ) et 2x2 x2 .
x0

x0

x0