Extremum

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur les redirections « Maximum » et « Minimum » redirigent ici. Pour les autres significations, voir Maximum (homonymie) et Minimum (homonymie).
Les deux pluriels du substantif « maximum » étant « maxima » et « maximums », consulter pour d'autres sens de ce dernier la page Maxima Ce lien renvoie vers une page d'homonymie.

Sur les autres projets Wikimedia :

L'expression « élément extremum » signifie « élément maximum » ou « élément minimum ».

Dans un ensemble ordonné E, un élément d'une partie A est le plus grand élément ou maximum de A, s'il appartient à A et est supérieur à tout autre élément de A. L'existence d'un maximum n'est en général pas assurée pour toute partie d'un ensemble ordonné. En revanche, sous condition d'existence, un tel élément est unique (ce qui justifie l'emploi de l'article défini « le » dans la définition). De manière analogue, le plus petit élément ou minimum est, s'il existe, un élément de A inférieur à tout autre élément de A.

Généralités[modifier | modifier le code]

Unicité[modifier | modifier le code]

Si une partie A de E admet deux maxima, m1 et m2, alors m1 est plus grand que tout élément de A, donc en particulier que m2 ; et de même, m2 est plus grand que m1. Par antisymétrie des relations d'ordre, l'égalité m1 = m2 s'en déduit.

Comparaison avec d'autres notions[modifier | modifier le code]

D'autres notions relatives aux ensembles ordonnés sont proches de celles de maximum ; les comparer permet de mieux les appréhender :

  • La notion de majorant : un élément de E est un majorant de A s'il est plus grand que tout élément de A. Ainsi, le maximum (s'il existe) fait partie des majorants ;
  • La notion de borne supérieure : la borne supérieure de A est le plus petit de tous les majorants de A dans E (la borne supérieure de A est donc définie comme le minimum d'une certaine partie de E et son unicité est garantie mais pas son existence). A admet un maximum si et seulement si sa borne supérieure existe et appartient à A (et dans ce cas, elle est égale au maximum),
  • ainsi que la notion associée de borne inférieure ;
  • La notion d'élément maximal : un élément de A est maximal dans A, s'il appartient à A, et n'est inférieur à aucun autre élément de A. Un maximum est toujours un élément maximal, et les deux notions coïncident dans les ensembles munis d'un ordre total.

Exemples[modifier | modifier le code]

Dans l'ensemble N des entiers naturels muni de son ordre usuel, toute partie non vide admet un plus petit élément et toute partie majorée (c'est-à-dire admettant un majorant) est finie donc admet même un maximum. Par exemple N lui-même a pour minimum 0 et n'a pas de maximum.

Dans l'ensemble R des nombres réels muni de son ordre usuel, certaines parties majorées n'admettent pas de plus grand élément, par exemple l'intervalle ]0, 1[ des nombres strictement compris entre 0 et 1.

Dans R, les fonctions minimum et maximum d'une paire peuvent s'exprimer à l'aide de valeurs absolues :

.

Dans un ensemble ordonné muni d'un ordre non total, certaines parties admettent des éléments maximaux qui ne sont pas des maxima.

Par exemple dans l'ensemble E = {∅, {0}, {1}, {0, 1}} des parties de l'ensemble {0, 1}, ordonné par l'inclusion, la partie A = {∅, {0}, {1}} admet (un minimum et) deux éléments maximaux non comparables donc pas de maximum (seulement une borne supérieure : {0, 1}, qui n'appartient pas à A).

Une fonction f (bleu) et sa dérivée (rouge). 🞯-maximum global de f, ☐-minimum global de f, -maximum local de f, +-minimum local de f, ╳-point d'inflexion.

Extrema d'une fonction[modifier | modifier le code]

Le maximum d'une fonction f définie sur un ensemble E et à valeurs dans un ensemble F ordonné est le maximum de l'ensemble des valeurs prises par f (de la partie f(E) de F). Ainsi m est le maximum de f s'il existe un élément a de E tel que f(a) = m et tel que pour tout élément x de E, f(x) ≤ f(a) ; l'élément a (qui n'est pas nécessairement unique) est appelé point de maximum de f.

Dans le cas où l'espace de départ de f est muni d'une structure topologique (par exemple si f est une fonction d'une ou plusieurs variables réelles à valeurs réelles), on distingue deux types d'extrema : les extrema globaux, qui correspondent à la définition précédente, et les extrema locaux.

Extremum local d'une fonction[modifier | modifier le code]

Soient f une fonction définie sur un espace topologique E et a un point de E. On dit que f atteint en a un maximum local s'il existe un voisinage V de a tel que pour tout élément x de V, on ait f(x) ≤ f(a).

On dit alors que f(a) est un « maximum local » de f sur E et que a est un point de maximum local de f.

Lorsqu'il existe un voisinage V de a tel que pour tout élément x de V différent de a, on ait f(x) < f(a), on dit que f atteint en a un maximum local strict.

Lorsque E est une partie d'un espace métrique (par exemple d'un espace vectoriel normé, comme Rk), les voisinages de a dans ces définitions peuvent être choisis égaux à des boules. Par exemple : f atteint en a un maximum local s'il existe un réel ε > 0 tel que pour tout élément x de E à distance < ε de a, on ait f(x) ≤ f(a).

Théorèmes topologiques d'existence d'extrema globaux[modifier | modifier le code]

Soit une fonction , où D est un espace topologique. Par exemple, D peut être une partie de R (cas d'une fonction d'une variable réelle), ou d'un espace Rk, avec k un entier naturel (cas d'une fonction de k variables réelles).

L'existence d'extrema globaux est assurée dès lors que la fonction f est continue et que la partie D est compacte : en effet, l'image f(D) est alors une partie compacte de l'espace d'arrivée R ; en tant que partie bornée de R, elle admet une borne supérieure, et cette borne supérieure est dans f(D) puisque cette partie est fermée.

En dimension k = 1, c'est en particulier le cas si I est un intervalle fermé borné, c'est-à-dire de la forme [a, b] (voir Théorème des bornes). En dimension supérieure k, c'est en particulier le cas si D est une boule fermée (de la forme , où désigne une norme sur Rk).

Méthodes issues du calcul différentiel pour la recherche d'extrema locaux[modifier | modifier le code]

Soit une fonction , où U est un ouvert de Rk ; par exemple, dans le cas d'une variable réelle, U peut être un intervalle ouvert de la forme ]a, b[ (avec a et b des nombres réels, ou , ou ).

L'étude des extrema passe souvent par la recherche des zéros de la dérivée, appelés points critiques (ou points stationnaires (en)) de f. Un point critique n'est pas nécessairement un point d'extremum, comme le montre l'exemple de la fonction au point 0. On peut cependant, sous certaines hypothèses supplémentaires, affirmer qu'un point critique est un point d'extremum.

Cas d'une fonction d'une variable[modifier | modifier le code]

Condition nécessaire pour un extremum local 
Dans le cas d'une fonction dérivable f d'une seule variable, si f possède un extremum local en un point de l'ouvert de définition de f, alors la dérivée de f en ce point est nulle.
Condition suffisante pour un extremum local 
Si f est dérivable sur l'ouvert U et si, en un point , la dérivée de f s'annule en changeant de signe, alors f atteint un extremum local en . Plus précisément, en supposant  :
S'il existe un réel tel que
et sur , sur ,
alors f atteint un maximum local en .
S'il existe un réel tel que
et sur , sur ,
alors f atteint un minimum local en .

Cas d'une fonction de plusieurs variables[modifier | modifier le code]

Condition nécessaire pour un extremum local 
Si la fonction f atteint un extremum local en un point a de U où elle est différentiable, alors toutes ses dérivées partielles s'annulent en a.
Condition suffisante pour un extremum local 
On suppose que f est deux fois dérivable en un point de U. Sa matrice hessienne en est notée , c'est-à-dire que  ; d'après le théorème de Schwarz, cette matrice est symétrique.
Si et si est définie négative, alors f atteint un maximum local strict en .
Si et si est définie positive, alors f atteint un minimum local strict en .
Cas d'une fonction de plusieurs variables avec contraintes
Les conditions d'optimalité de ces problèmes sont présentées dans « Conditions d'optimalité (dimension finie) ».