Application croissante entre ensembles ordonnés
Définition : Application croissante
Soient \(E\) et \(F\) deux ensembles ordonnés et \(f\) une application de \(E\) dans \(F.\)
\(f\) est croissante si deux éléments et leurs images sont rangés dans le même ordre. Cela se traduit formellement par
\(\forall x\in E, ~\forall x'\in E,~ ( x\leq x'\Rightarrow f(x)\leq f(x'))\)
Définition : Application décroissante
\(f\) est décroissante si deux éléments et leurs images sont rangés dans l'ordre contraire. Cela se traduit formellement par
\(\forall x\in E, ~\forall x'\in E,~ ( x\leq x'\Rightarrow f(x)\geq f(x'))\)
Définition : Application monotone
\(f\) est monotone si elle est croissante ou si elle est décroissante. Cela se traduit formellement par
\([\forall x\in E, ~\forall x'\in E,~ ( x\leq x'\Rightarrow f(x)\leq f(x'))]\)
ou
\([\forall x\in E, ~\forall x'\in E,~ ( x\leq x'\Rightarrow f(x)\geq f(x'))]\)
Remarque :
Attention à l'écriture précédente. Si on est tenté de "mettre en facteur les quantificateurs", un peu de réflexion peut vous persuader que l'écriture suivante est vraie pour toutes les applications d'un ensemble ordonné \(E\) dans un ensemble totalement ordonné \(F.\)
\(\forall x\in E, ~\forall x'\in E,~ [( x\leq x'\Rightarrow (f(x)\leq f(x')~\textrm{ou}~f(x)\geq f(x'))]\)
Définition : Fonction strictement croissante
Si on veut exclure qu'une fonction croissante prenne deux fois la même valeur, on utilise la notion de fonction strictement croissante :
\(\forall x\in E, ~\forall x'\in E,~ ( x< x'\Rightarrow f(x)\lneqq f(x'))\)
\(\forall x\in E, ~\forall x'\in E,~ ( x< x'\Rightarrow (f(x)\leq f(x')~\textrm{et}~f(x)\neq f(x'))\)
Définition : Fonction strictement d&croissante
On définit de la même façon une fonction strictement décroissante
\(\forall x\in E, ~\forall x'\in E,~ ( x< x'\Rightarrow f(x)\gneqq f(x'))\)
\(\forall x\in E, ~\forall x'\in E,~ ( x< x'\Rightarrow (f(x)\geq f(x')~\textrm{et}~f(x)\neq f(x'))\)
Définition : Fonction strictement monotone
On définit de la même façon une fonction strictement monotone, ce qui signifie que \(f\) est strictement croissante ou que \(f\) est strictement décroissante.
Remarque :
Une fonction constante est une fonction croissante. Ceci n'est pas paradoxal, car il faut se souvenir que les inégalités écrites sont des inégalités larges.
Attention :
Méfiez vous du langage. Le contraire de \("f\) est croissante" n'est pas \("f\) est décroissante".
Comment écrire que \(f\) n'est pas croissante ?
Pour écrire que \(f\) n'est pas croissante, utilisons le formalisme et prenons la négation de
\(\forall x\in E, ~\forall x'\in E,~ ( x\leq x'\Rightarrow f(x)\leq f(x'))\)
On obtient :
\(\exists x\in E, ~\exists x'\in E,~ ( x\leq x'~\textrm{et}~f(x)>f(x'))\)
La donnée d'un couple bien choisi et de ses images donne la non-croissance de \(f.\)