Arg max

数学において、最大値を与える引数（）あるいは最大点集合は、関数がその最大値をとる定義域の元全体の成す集合である混同を避けるため、臨界点とのように、入力  のことは「点」、出力  のことは「値」と呼び分けることは便利である。。省略してarg max (もしくは argmax) と書かれる。最大値が函数の出力のうち最も大きいものを指すのと対照に、最大点は最大値を出力する入力の値を指す。

最大点集合は一般に複数の元を含むが、それは有限集合であることも無限集合であることも起こり得るし、空となることもあり得る。

 定義 
 最大点作用素 
関数  に対する最大点作用素  は

(ただし  は最大をとる範囲に入るために  が満たすべき条件) で定義される。即ちその値は  がその最大値を達成する点  全体の成す集合である。
同じことだが、 の最大値  が既知であるならば、 を最大値に対する等位集合（最大値  の引き戻し）

としても定義できる。

 最小点作用素 
最小値を与える引数、最小点作用素  () が同様に定義される。

すなわち  は  が最小値を達成する点  全体の成す集合である。もちろん、最小値作用素  に対を成す。

 最大値作用素との比較 
最大点作用素は、与えられた関数に対してその最大値を返す最大値作用素  と自然に対を成すものである（最大値作用素は最大値を達成する点ではなくて最大値自体を返す。すなわち

である。右辺の集合は空集合となり得る（最大値がない場合がある）が、空でなければ必ずただ一つの元（つまり最大値）しか持たない。

 注意 
最大点集合は空となることも、一つの元からなることも、多数の元を含むことも起こり得る。例えば とすれば、最大値  を達成するのは  ただ一つであるから

が成り立つ。最大点がただ一つの場合はしばしば単集合でなく値そのものを返すものと扱われる。例えば、
 ,
 .
しかし複数の点で最大値を取る場合は集合が返ることを忘れてはならない。例えば、
 ,
 .
一般には関数が最大値を有するとは限らないので、 は空集合を返し得る。例えば、
 （ は  上非有界）.
但し、最大値・最小値の定理によって(もしくはコンパクト空間の基礎的な定理によって)、コンパクト集合上連続な関数については  が空でないことが保証される有界閉とコンパクト 東京大学基礎数理の授業の講義資料。コンパクト空間の基礎的な定理によってコンパクト集合ならば有界閉集合になることを示している。。

 関連項目 
最大と最小#全順序に関する最大元・最小元
最適化問題
関数の引数
最頻値
数理最適化
核 (代数学)
原像

 注釈 

 参考文献 

An Introduction to Mathematical Optimization トリニティ大学の講義資料。
ArgMax—Wolfram言語ドキュメント 数理処理システムMathematicaにおける、arg maxの関数仕様。

 外部リンク 

Category:初等数学
Category:数学に関する記事