Analyse I / GM

EPFL Botafogo

6.5 Max/min, sup/inf de fonctions

6.5.1 Maximum, minimum

Remarque 6.2.
Attention: dans la vidéo ci-dessus, préparée pour un autre cours, on mentionne la notion de continuité, qui n’apparaîtra que dans un chapitre ultérieur.
Dans un problème d’optimisation, il s’agit de savoir si une fonction possède, sur son domaine, des points où sa valeur est plus grande (ou plus petite) que partout ailleurs:
Définition 6.5.
Soit . On dit que
  • possède un maximum (global) si il existe tel que
    On dit que le maximum de est réalisé/atteint en , et on écrit
  • possède un minimum (global) si il existe tel que
    On dit que le minimum de est réalisé/atteint en , et on écrit
Remarque 6.3.
On parle de maximum/minimum global parce qu’on introduira plus loin la notion de maximum/minimum local.
Informel 6.1.Attention: le point (ou ), s’il existe, doit être dans le domaine de la fonction!
En général, l’existence d’un minimum et d’un maximum n’est pas garantie; elle dépend de la fonction mais aussi de son domaine.
Exemple 6.14.
atteint son minimum en , et son maximum en :
Mais si on modifie un peu son domaine, par exemple alors cette fonction atteint aussi son minimum en , mais elle ne possède pas de maximum (maintenant, le point ne fait plus partie du domaine!).
Exemple 6.15.
atteint son maximum en :
Or quel que soit , on peut toujours diminuer strictement la valeur de en éloignant un peu de l’origine. Donc n’a pas de minimum.
Plus tard (ici), nous reviendrons sur la recherche des minima/maxima d’une fonction.

6.5.2 Minorants et majorants

Définition 6.6.
est
  • majorée si il existe telle que . On dit dans ce cas que majore .
  • minorée si il existe telle que . On dit dans ce cas que minore .
Si est à la fois majorée et minorée, elle est bornée.
Exemple 6.16.
La fonction est minorée par puisque pour tout , et majorée par puisque
Exemple 6.17.
, définie sur n’est pas majorée. Pour le vérifier, on doit montrer que dépasse n’importe quel seuil en au moins un point. En effet, choisissons un seuil, disons , et montrons que l’on peut trouver un tel que . Comme la condition est équivalente à , et comme cette dernière a un discriminant , elle possède donc au moins une solution (différente de ). Donc il existe au moins un tel que .
Mais on peut utiliser le même argument pour une valeur quelconque de . En effet, la condition est équivalente à , dont le discriminant dès que . Ceci montre bien que n’est pas majorée.
Une fois qu’une fonction est majorée (resp. minorée), on peut considérer le plus petit (resp. plus grand) majorant (resp. minorant).
Définition 6.7.
Soit .
  • Si est majorée (sur ), la borne supérieure de sur est son plus petit majorant:
    Si n’est pas majorée sur , on pose .
  • Si est minorée sur , la borne inférieure de sur est son plus grand minorant:
    Si n’est pas minorée sur , on pose .
Sur la figure ci-dessous, les nombres et sont tous des majorants pour sur son domaine . Le nombre étant le plus petit majorant (puisque tout nombre ne majore plus ), c’est :
Remarque 6.4.
  • Si atteint son maximum en , alors
  • Si atteint son minimum en , alors
Informel 6.2.Par les propriétés des réels, une fonction bornée possède toujours une borne supérieure et une borne inférieure! Par contre, comme on sait, elle peut ne pas atteindre son maximum ou son minimum.
Exemple 6.18.
La fonction est majorée, car pour tout , En fait, dans ce cas, ce majorant n’est pas le plus petit, car Remarquons par contre qu’il n’existe aucun tel que , donc n’a pas de maximum.
Remarquons ensuite que est minorée car Ici atteint son minimum en , :
Exemple 6.19.
La fonction est minorée car pour tout , Mais elle n’est pas majorée, car pour tout il existe tel que :
(On peut par exemple prendre , pour lequel .) On a donc Par contre,
Exemple 6.20.
Considérons encore , sur .
On a vu que atteint son maximum en et on a vu qu’elle n’a pas de minimum. Pourtant, elle est minorée par puisque pour tout . Montrons que est en fait la plus grand minorant. En effet, si on prend un quelconque fixé, montrons qu’il existe au moins un réel tel que . En effet, on peut satisfaire cette condition en prenant . On conclut que
Exemple 6.21.
La fonction ne possède ni minimum, ni maximum:
Malgré tout,
Lemme 6.3.
Soit , et .
  1. Si et , alors
  2. Si , alors , et .
Quiz 6.5.1.(MAN 2021) Considérons la fonction définie par Parmi les affirmations suivantes, lesquelles sont correctes?
Quiz 6.5.2.Parmi les fonctions suivantes, lesquelles sont majorées sur l’ensemble donné?
Quiz 6.5.3.Soit un ensemble non-vide, et une fonction bornée sur .
Projet Botafogo © 2026. En savoir plus. Contenu sous licence CC BY-NC-SA 4.0