qr-00005

Question

Il me semble qu’une fonction qui n’est pas croissante devait être décroissante !
Pourtant on m’ a dit que c’est faux. Pouvez-vous m’éclairer ?


Réponse

Le vocabulaire mathématique est généralement très bien conçu.

Cependant il arrive, dans un petit nombre de cas, que la terminologie standard heurte quelque peu notre sens commun.

On pourrait s’attendre à ce que les préfixes ‘in- » (ou « im-« ) et « dé- » annoncent la négation de quelque chose. C’est d’ailleurs parfois le cas : un entier « impair » est un entier qui n’est pas pair.

Mais pas toujours … dire qu’une fonction est « impaire » ne signifie pas qu’elle n’est pas paire. La fonction x\mapsto x+1 n’est en effet ni paire ni impaire. Quant à la fonction nulle, elle est simultanément paire et impaire (mais c’est la seule dans ce cas…) !

De la même manière, lorsqu’une fonction est qualifiée de « décroissante », cela ne signifie pas qu’elle n’est pas croissante.

Etant donnée une fonction f:\mathbb{R}\rightarrow\mathbb{R}, on dit que f est croissante lorsque :

    \[ \forall\left(x,x'\right)\in\mathbb{R}^{2},\thinspace x<x'\Rightarrow f\left(x\right)\leqslant f\left(x'\right)\]

ce qui signifie que f préserve l’ordre entre les nombres réels. Si un réel est plus petit qu’un autre, l’image du premier sera inférieure (ou égale) à l’image du second.

On dit que f est décroissante lorsque :

    \[ \forall\left(x,x'\right)\in\mathbb{R}^{2},\thinspace x<x'\Rightarrow f\left(x\right)\geqslant f\left(x'\right)\]

Cette fois, f renverse l’ordre entre les réels. Si un réel est plus petit qu’un autre, l’image du premier sera supérieure (ou égale) à l’image du second.

Il n’est pas difficile de trouver une fonction qui ne soit ni croissante, ni décroissante. Par exemple, celle définie par :

    \[ c\left(x\right)=x^{2}\]

En effet :

  • 0<1 mais 0^{2}<1^{2} ce qui prouve que c n’est pas décroissante
  • -1<0 mais \left(-1\right)^{2}>0^{2} ce qui prouve que c n’est pas croissante non plus.
Partager cet article

Laisser un commentaire