Der Operator arg max (argumentum maximi, dt. Argument des Maximums) ist eine in der Analysis und Optimierung verwendete Funktion zur Berechnung der Stelle, an der eine Funktion ihr Maximum annimmt. Analog dazu wird der Operator arg min benutzt. Es handelt sich in beiden Fällen nicht um eine Funktion, sondern um eine "Programmanweisung".

Definition

Ist ${\displaystyle D}$ der Definitionsbereich einer Funktion ${\displaystyle f}$, dann ist ${\displaystyle \arg \max }$ von ${\displaystyle f}$ die Stelle ${\displaystyle x_{\mathrm {max} }}$, an der die Funktion ihr Maximum annimmt, das heißt

${\displaystyle x_{\mathrm {max} }={\underset {x\in D}{\operatorname {arg\,max} }}\,f(x)\Leftrightarrow f(x_{\mathrm {max} })=\max _{x\in D}f(x).}$

Es geht also nicht um den Wert des Maximums selbst, sondern um einen Wert aus dem Definitionsbereich. Dieser Wert ist nicht wohldefiniert, falls die Funktion ihr Maximum an mehreren Stellen annimmt oder kein Maximum hat.

Alternative Definition

Um Wohldefiniertheit zu erreichen, wird ${\displaystyle \arg \max }$ alternativ auch als mengenwertige Funktion erklärt:

${\displaystyle {\underset {x\in D}{\operatorname {arg\,max} }}\,f(x):=\{x\in D\ |\ f(x){\text{ maximal}}\}=\{x\in D\ |\ \forall y\in D\ f(y)\leq f(x)\}=f^{-1}\left(\max _{x\in D}f(x)\right)}$

Analog dazu wird

${\displaystyle {\underset {x\in D}{\operatorname {arg\,min} }}\,f(x):=\{x\in D\ |\ f(x){\text{ minimal}}\}=\{x\in D\ |\ \forall y\in D\ f(y)\geq f(x)\}=f^{-1}\left(\min _{x\in D}f(x)\right)}$

definiert.

Literatur

• Peter Gritzmann Grundlagen der Mathematischen Optimierung, Springer, 2013, ISBN 978-3-528-07290-2, Seite 3.