Voir la source de Extremum

Un '''extrémum''' (pluriel ''extrémums''), ou '''extremum''' (pluriel ''extrema'' ou ''extremums''), est une valeur extrême, soit '''maximum''', soit '''minimum'''. Cette notion est particulièrement utilisée en [[mathématiques]], où l'expression '''maximo-minimum''', introduite par [[Nicolas de Cues]], correspond à partir de [[Pierre de Fermat|Fermat]] et [[Gottfried Wilhelm Leibniz|Leibniz]] aux extrêmes d'une [[courbe]] ou d'une [[Fonction (mathématiques)|fonction]], repérés par le fait que les [[dérivée]]s s'y annulent. Elle est aussi utilisée en physique, où le [[principe de moindre action]] est un principe extrémal ainsi que [[Euler]] l'a montré.

== Généralités ==
=== En théorie des ensembles ===

Dans un [[ensemble ordonné]] <math>E</math>, un élément d'une partie <math>A</math> est le '''plus grand élément''', ou '''maximum''' de <math>A</math>, s'il appartient à <math>A</math> et est supérieur à tout autre élément de <math>A</math>. L'existence d'un maximum n'est en général pas assurée pour toute partie d'un ensemble ordonné. En revanche, s'il existe, 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 <math>A</math> inférieur à tout autre élément de <math>A</math>.

=== Unicité ===

Si une partie <math>A</math> de <math>E</math> admet deux maximums, <math>m</math><sub>1</sub> et <math>m_2</math>, alors <math>m_1</math> est plus grand que tout élément de <math>A</math>, donc en particulier que <math>m_2</math> ; et de même, <math>m_2</math> est plus grand que <math>m_1</math>. Par [[Relation antisymétrique|antisymétrie]] des [[Relation d'ordre|relations d'ordre]], l'égalité <math>m_1 = m_2</math> s'en déduit.

=== Comparaison avec d'autres notions ===

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]] et de [[minorant]] : s'il existe, un élément de <math>E</math> est un majorant de <math>A</math> s'il est plus grand que tout élément de <math>A</math> ; s'il existe, un élément de <math>E</math> est un minorant de <math>A</math> s'il est plus petit que tout élément de <math>A</math> ; ainsi, les extrémums (le maximum et le minimum) qui existent dans un ensemble <math>E</math> font partie (respectivement) des majorants et minorants de <math>E</math> dans lui-même.
* La notion de borne ([[borne supérieure]], aussi appelée ''suprémum'', ou [[borne inférieure]], aussi appelée ''infimum'') : si elle existe, la borne supérieure de <math>A</math> est le plus petit de tous les majorants de <math>A</math> dans <math>E</math> (la borne supérieure de <math>A</math> est donc définie comme le minimum d'une certaine partie de <math>E</math> et son unicité est garantie mais pas son existence). <math>A</math> admet un maximum si et seulement si sa borne supérieure existe et appartient à <math>A</math> (et dans ce cas, elle est égale au maximum) ; et réciproquement pour la borne inférieure.
* La notion d'élément extrémal ([[élément maximal]] ou [[élément minimal]]) également appelée borne inclusive : un élément de <math>E</math> est maximal dans <math>A</math>, s'il appartient à <math>A</math>, et n'est inférieur à aucun autre élément de <math>A</math>. Un élément de <math>E</math> est minimal dans <math>A</math>, s'il appartient à <math>A</math>, et n'est supérieur à aucun autre élément de <math>A</math>. 

S'ils existent, les extrémums (maximums et minimums) d'un ensemble <math>E</math> sont toujours des éléments extrémaux (bornes inclusives : élément maximal ou élément minimal) de <math>E</math> dans lui-même. Les notions d'extrémum (le maximum et le minimum) et d'élément extrémal (un élément maximal ou un élément minimal) coïncident dans les ensembles munis d'un [[ordre total]]. Lorsque <math>E</math> est fini, il y a équivalence entre l'existence d'un ''unique'' élément extrémal (borne inclusives : élément maximal ou élément minimal) et l'existence d'un extrémum (le maximum ou le minimum, chacun nécessairement unique avec un ordre total sur un ensemble fini).

{{Démonstration|titre=Vérifications|
*'''Un élément <math>m</math> de <math>E</math> est le maximum de <math>A</math> si et seulement si <math>m</math> est la borne supérieure de <math>A</math> et <math>m</math> appartient à <math>A</math>''' : si <math>A</math> possède un maximum <math>m</math> alors dans <math>E</math>, les majorants de <math>A</math> sont exactement les majorants de <math>m</math> et <math>m</math> est le plus petit d'entre eux donc c'est la borne supérieure de <math>A</math>. Réciproquement, si la borne supérieure de <math>A</math> existe et appartient à <math>A</math>, alors c'est un majorant de <math>A</math> qui appartient à <math>A</math>, donc c'est le maximum de <math>A</math>.
*'''Le maximum, s'il existe, est maximal''' : si <math>A</math> possède un maximum <math>m</math> alors, pour tout élément <math>a</math> de <math>A</math>, <math>m</math> majore <math>a</math> donc (par antisymétrie de la relation d'ordre) ne lui est pas strictement inférieur, ce qui montre que <math>m</math> est bien maximal dans <math>A</math>.
*'''Si l'ordre est total, tout élément maximal est maximum''' : on suppose maintenant <math>E</math> muni d'un ordre total. Soit <math>a</math> un élément maximal de <math>A</math>. Soit <math>b</math> un autre élément de <math>A</math>. Alors <math>a</math> n'est pas inférieur à <math>b</math>, puisque l'ordre est total, <math>b</math> est inférieur à <math>a</math>. Donc <math>a</math> est bien supérieur ou égal à tout élément de <math>A</math>, donc c'est le maximum de <math>A</math>. 
}}

Mais ce n'est pas nécessairement vrai sur un [[ensemble vide]] ou infini ou dans le cas d'un ordre non total (où deux éléments peuvent être ordonnés de la même façon avec les autres et mutuellement entre eux, et peuvent donc chacun être des éléments extrémaux mais pourtant distincts). Par exemple l'ensemble de seulement trois entiers {{nobr|{0, 1, 2}}} muni de l'ordre partiel comparant non pas leur valeur mais leur parité (le reste de leur [[division euclidienne]] par 2) n'est pas totalement ordonné car les éléments 0 et 2 ont la même parité 0 (les éléments 0 et 2 sont des valeurs minimales pour cet ordre partiel, mais ils sont différents : cet ensemble ordonné n'a donc pas de minimum, mais il a un maximum avec l'élément 1). Dans le sous-ensemble {{nobr|{0, 2}}} avec le même ordre, il n'y a ni minimum, ni maximum, mais les valeurs minimales (de même les valeurs maximales) existent et forment ce même ensemble de deux éléments.

Quand l'ensemble ordonné est un [[Singleton (mathématiques)|singleton]], son unique élément en est à la fois son maximum et son minimum. Dans le [[cas dégénéré]] où l'ensemble ordonné est vide, il n'y a aucun extrémum, ni aucune valeur extrémale, et tout élément de n'importe quel ensemble (incluant donc l'ensemble vide comme une partie) en est à la fois un majorant et un minorant, et donc aussi une borne si cet autre ensemble est totalement ordonné.

=== Exemples ===

Dans l'ensemble <math>\N</math> des [[entier naturel|entiers naturels]] muni de son ordre usuel, [[Raisonnement par récurrence#Bon ordre|toute partie non vide admet un plus petit élément]] et toute partie majorée (c'est-à-dire admettant un majorant) est [[Ensemble fini|finie]] donc admet même un maximum. Par exemple <math>\N</math> lui-même a pour minimum 0 et n'a pas de maximum.

Dans l'ensemble <math>\R</math> des [[nombre réel|nombres réels]] muni de son ordre usuel, certaines parties majorées n'admettent pas de plus grand élément, par exemple l'[[intervalle (mathématiques)|intervalle]] {{nobr|]0, 1[}} des nombres strictement compris entre 0 et 1.

Dans <math>\R</math>, les fonctions minimum et maximum d'une [[paire]] peuvent s'exprimer à l'aide de [[Valeur absolue|valeurs absolues]] :
:<math>\min{(x,y)}=\frac{x+y-|x-y|}2,\quad\max{(x,y)}=\frac{x+y+|x-y|}2</math>

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

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

[[Fichier:Extrema of a function.gif|thumb|upright=2|Les extrémums de la fonction <math>f</math> (bleu) correspondent aux zéros de sa dérivée (rouge). Le maximum global de <math>f</math> est <math>\star</math>, son minimum global est ☐, un maximum local est {{big|◇}}, un minimum local est {{big|+}}, un [[point d'inflexion]] est ╳.]]

== Extrémums d'une fonction ==

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

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

=== Extrémum local d'une fonction ===

Soient <math>f</math> une fonction définie sur un espace topologique <math>E</math> et <math>a</math> un point de <math>E</math>. On dit que <math>f</math> atteint en <math>a</math> un maximum local s'il existe un [[Voisinage (mathématiques)|voisinage]] <math>V</math> de <math>a</math> tel que pour tout élément <math>x</math> de <math>V</math>, on ait <math>f(x) \leq f(a)</math>.

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

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

Lorsque <math>E</math> est une partie d'un [[espace métrique]] (par exemple d'un [[espace vectoriel normé]], comme l'[[Topologie d'un espace vectoriel de dimension finie|espace <math>\R^k</math>]]), les voisinages de <math>a</math> dans ces définitions peuvent être choisis égaux à des [[Boule (topologie)|boules]]. Par exemple : <math>f</math> atteint en <math>a</math> un maximum local s'il existe un réel <math>\varepsilon</math> > 0 tel que pour tout élément <math>x</math> de <math>E</math> à distance < <math>\varepsilon</math> de <math>a</math>, on ait <math>f(x) \leq f(a)</math>.

=== Théorèmes topologiques d'existence d'extrémums globaux ===

Soit une fonction <math>f : D \to\R</math>, où <math>D</math> est un [[espace topologique]]. Par exemple, <math>D</math> peut être une partie de <math>\R</math> (cas d'une fonction d'une variable réelle), ou d'un espace <math>\R^k</math>, avec <math>k</math> un entier naturel (cas d'une fonction de <math>k</math> variables réelles).

L'existence d'extrémums globaux est assurée dès lors que la fonction <math>f</math> est continue et que la partie <math>D</math> est [[compacité (mathématiques)|compacte]] : en effet, l'[[Image directe|image]] <math>f(D)</math> est alors une partie compacte de l'espace d'arrivée <math>\R</math> ; en tant que [[partie bornée]] de <math>\R</math>, elle admet une borne supérieure, et cette borne supérieure est dans <math>f(D)</math> puisque cette partie est [[fermé (topologie)|fermée]].

En dimension <math>k</math> = 1, c'est en particulier le cas si <math>I</math> est un [[intervalle (mathématiques)|intervalle]] fermé borné, c'est-à-dire de la forme <math>[a, b]</math> (voir [[Théorème des bornes]]). En dimension supérieure <math>k</math>, c'est en particulier le cas si <math>D</math> est une boule fermée (de la forme <math>D = B(A,r) = \{X \in \R^k \mid \| X-A \| \le r \}</math>, où <math>\|~\|</math> désigne une [[Norme (mathématiques)|norme]] sur <math>\R^k</math>).

=== Méthodes issues du calcul différentiel pour la recherche d'extrémums locaux ===

Soit une fonction <math>f : U\to\R</math>, où <math>U</math> est un [[Ouvert (topologie)|ouvert]] de <math>\R^k</math> ; par exemple, dans le cas d'une variable réelle, <math>U</math> peut être un intervalle ouvert de la forme <math>] a,b [</math> (avec <math>a</math> et <math>b</math> des nombres réels, ou <math>a=-\infty</math>, ou <math>b=+\infty</math>).

L'étude des extrémums passe souvent par la recherche des [[Zéro d'une fonction|zéros]] de la [[dérivée]], appelés [[point critique (mathématiques)|points critiques]] (ou [[Point stationnaire|points stationnaires]]) de <math>f</math>. Un point critique n'est pas nécessairement un point d'extrémum, comme le montre l'exemple de la fonction <math>f : \R \to \R, \, x \mapsto x^3</math> au point 0. On peut cependant, sous certaines hypothèses supplémentaires, affirmer qu'un point critique est un point d'extrémum.

==== Cas d'une fonction d'une variable ====

{{Voir|Variations d'une fonction|Théorème de Fermat sur les points stationnaires|Test de la dérivée première|Test de la dérivée seconde}}

;[[Condition nécessaire]] pour un extrémum local

Dans le cas d'une fonction [[dérivable]] <math>f</math> d'une seule variable, si <math>f</math> possède un extrémum local en un point de l{{'}}''ouvert'' de définition de <math>f</math>, alors la dérivée de <math>f</math> en ce point est nulle.

;[[Condition suffisante]] pour un extrémum local

Si <math>f</math> est dérivable sur l{{'}}''ouvert'' <math>U</math> et si, en un point <math>a \in U</math>, la dérivée de <math>f</math> s'annule en changeant de signe, alors  <math>f</math> atteint un extrémum local en <math>a</math>. Plus précisément, en supposant <math>f'(a) = 0</math> :
* s'il existe un réel <math>\alpha > 0</math> tel que <math>[a - \alpha,\, a + \alpha ] \subset U</math>
:et <math>f' \geq 0</math> sur <math>[ a - \alpha, \, a]</math>, <math>f' \leq 0</math> sur <math>[ a, \, a + \alpha ]</math>,
:alors <math>f</math> atteint un maximum local en <math>a</math> ;
* s'il existe un réel <math>\alpha>0</math> tel que <math>[ a - \alpha, \, a + \alpha ] \subset U</math>
:et <math>f' \leq 0</math> sur <math>[ a - \alpha, \, a]</math>, <math>f' \geq 0</math> sur <math>[ a, \, a + \alpha]</math>,
:alors <math>f</math> atteint un minimum local en <math>a</math>.

==== Cas d'une fonction de plusieurs variables ====

;Condition nécessaire pour un extrémum local

Si la fonction <math>f</math> atteint un extrémum local en un point <math>a</math> de <math>U</math> où elle est [[différentielle|différentiable]], alors toutes ses [[dérivée partielle|dérivées partielles]] s'annulent en <math>a</math>.

;Condition suffisante pour un extrémum local

On suppose que <math>f</math> est deux fois dérivable en un point <math>a</math> de <math>U</math>. Sa [[matrice hessienne]] en <math>a</math> est notée <math>\nabla^2 f(a)</math>, c'est-à-dire que <math>\nabla^2 f(a)_{i,j} = {\partial^2 f \over \partial x_i \, \partial x_j}(a)</math> ; d'après le [[théorème de Schwarz]], cette matrice est [[Matrice symétrique|symétrique]].
* Si <math>\nabla f(a) = 0</math> et si <math>\nabla^2 f(a) </math> est [[matrice définie positive|définie négative]], alors <math>f</math> atteint un maximum local strict en <math>a</math>.
* Si <math>\nabla f(a) = 0</math> et si <math>\nabla^2 f(a) </math> est [[matrice définie positive|définie positive]], alors <math>f</math> atteint un minimum local strict en <math>a</math>.

;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é]] ».

== Voir aussi ==
{{Autres projets | wiktionary=extremum | wiktionary2=extrémum}}

== Liens externes ==
{{Liens}}

* {{Mathworld |nom_url=Extremum |titre=Extremum}}

{{Palette|Opérations binaires}}
{{Portail|mathématiques}}

[[Catégorie:Analyse (mathématiques)]]
[[Catégorie:Théorie des ordres]]