Argument du maximum

En mathématiques, l'argument du maximum, noté arg max ou argmax, est l'ensemble des points en lesquels une expression atteint sa valeur maximale.

Définition[modifier | modifier le code]

Pour une fonction $f:X\to Y$ , avec $Y$ un ensemble totalement ordonné, l'arg max de $f$ est défini par :

\operatorname {arg\,max} \,f\ {\stackrel {\text{déf}}{=}}\ \{x\in X\ |\ \forall x'\in X,\ f(x')\leq f(x)\}

c'est-à-dire que $\operatorname {arg\,max} \,f$ est l'ensemble des valeurs $x$ pour lesquelles $f$ atteint son maximum. De manière équivalente, $\operatorname {arg\,max} \,f$ est l'ensemble de niveau du maximum de $f$ :

\operatorname {arg\,max} \,f={f}^{-1}(\{\operatorname {max} \,f\}).

On peut aussi trouver la notation ${\underset {x}{\operatorname {arg\,max} }}\,f(x)$ .

Si $A$ est une partie de $X$ alors l'arg max de la restriction de $f$ à $A$ , $f_{|A}$ , peut être noté

\operatorname {arg\,max} f_{|A}{\text{ ou }}{\underset {A}{\operatorname {arg\,max} }}f{\text{ ou }}{\underset {x\in A}{\operatorname {arg\,max} }}f(x).

Sa valeur est

{\underset {A}{\operatorname {arg\,max} }}\,f\ =\ \{x\in A\ |\ \forall x'\in A,\ f(x')\leq f(x)\}.

Par exemple, si $f(x)$ est $-|x|$ , alors elle atteint sa valeur maximum pour $x=0$ seulement et son arg max est $\{0\}$ .

Nous avons aussi

{\underset {x\in [0,4\pi ]}{\operatorname {arg\,max} }}\,\cos(x)=\{0,2\pi ,4\pi \}

car le maximum de $\cos(x)$ est $1$ , et cette valeur est atteinte sur l'intervalle $[0;4\pi ]$ quand $x=0$ , $2\pi$ ou $4\pi$ .

Si le maximum est atteint en un seul point, alors par souci de simplification, on peut aussi désigner ce point comme l'arg max et on pourra utiliser le point ou le singleton selon le contexte. Par exemple, le seul maximum de $x\,(10-x)$ est $25$ , atteint uniquement pour $x=5$ , d'où

{\underset {x\in \mathbb {R} }{\operatorname {arg\,max} }}(x\,(10-x))=5

dans un contexte de nombres

et

{\underset {x\in \mathbb {R} }{\operatorname {arg\,max} }}(x\,(10-x))=\{5\}

dans un contexte d'ensembles.

Arg min[modifier | modifier le code]

arg min (ou argmin) est défini de manière analogue (en remplaçant «max» par «min» et $\leq$ par $\geq$ ): pour une fonction $f:X\mapsto Y$ , avec $Y$ un ensemble totalement ordonné, l'arg min est défini par