Argmax Operation

An Argmax Operation is a Multiset Operation that returns the Members with a Maximum Value.

• AKA: arg max.
• Example(s):
  • …
• Counter-Example(s):
  • an argmin Operation.
• See: Maximum Likelihood Value.

---

---

References

2011

• (Wikipedia) ⇒ http://en.wikipedia.org/wiki/Arg_max
  • In mathematics, arg max (or argmax) stands for the argument of the maximum, that is to say, the set of points of the given argument for which the value of the given expression attains its maximum value:

    [math]\displaystyle{ \underset{x}{\operatorname{arg\,max}} \, f(x) := \{x\ |\ \forall y : f(y) \le f(x)\} }[/math]

    In other words, [math]\displaystyle{ \underset{x}{\operatorname{arg\,max}} \, f(x) }[/math] is the set of values of [math]\displaystyle{ x }[/math] for which [math]\displaystyle{ f }[/math](x) has the largest value M. For example, if [math]\displaystyle{ f }[/math](x) is 1−|x|, then it attains its maximum value of 1 at [math]\displaystyle{ x }[/math] = 0 and only there, so :

    [math]\displaystyle{ \underset{x}{\operatorname{arg\,max}} \, (1-|x|) = \{0\} }[/math].

    Equivalently, if [math]\displaystyle{ M }[/math] is the maximum of f, then the arg max is the level set of the maximum:

    [math]\displaystyle{ \underset{x}{\operatorname{arg\,max}} \, f(x) = f^{-1}(M) = \{x\ |\ f(x) = M \} }[/math]

    If the maximum is reached at a single value, then one refers to the point as the arg max, meaning we define the arg max as a point, not a set of points.

    So, for example, [math]\displaystyle{ \underset{x\in \Bbb{R}}{\operatorname{arg\,max}} (x(10-x)) = 5 }[/math] (rather than the singleton set [math]\displaystyle{ \{5\} }[/math]), since the maximum value of x(10 − x) is 25, which happens when [math]\displaystyle{ x }[/math] = 5.

    However, in case the maximum is reached at many values, arg max is a set of points. Then, we have for example  :

    [math]\displaystyle{ \underset{x \in [0,4\pi]}{\operatorname{arg\,max}} \, \cos(x) = \{0,2\pi,4\pi\} }[/math] since the maximum value of cos(x) is 1, which happens on this interval when x = 0, 2π or 4π. On the whole real line, the arg max is [math]\displaystyle{ \{0, 2\pi, -2\pi, 4\pi, \dots \}. }[/math]

---