Arg max

Sebagai contoh, kedua fungsi di atas memiliki argmax {\displaystyle \operatorname {argmax} } $\operatorname {argmax}$ berupa {0} karena keduanya mencapai nilai maksimum global 1 saat x=0. Fungsi berwarna merah memiliki *arg min* berupa (aproksimasi) {−4.49, 4.49} karena fungsi tersebut memiliki dua minimum global sekitar −0.217, yang terjadi saat x=±4.49. Namun walaupun memiliki nilai minimum global yang sama, fungsi berwarna biru memiliki *arg min* berupa {−1.43, 1.43} (aproksimasi), karena global minimum terjadi saat x=±1.43.^[1]

Dalam matematika, argumen dari maksimum (arguments of the maxima, disingkat sebagai arg max atau argmax), adalah titik, atau elemen, pada domain suatu fungsi yang menghasilkan nilai terbesar dari fungsi tersebut. Berbeda dengan maksimum global yang merujuk pada nilai keluaran terbesar dari sebuah fungsi, argmax merujuk pada nilai input (argumen) dari fungsi, yang ketika dievaluasi akan menghasilkan nilai keluaran terbesar fungsi tersebut.

Definisi

Untuk sebarang himpunan X {\displaystyle X} $X$ , himpunan Y {\displaystyle Y} $Y$ dengan urutan total, dan sebuah fungsi f : X → Y {\displaystyle f:X\to Y} $f:X\to Y$ , nilai argmax {\displaystyle \operatorname {argmax} } $\operatorname {argmax}$ pada suatu subset S {\displaystyle S} $S$ dari X {\displaystyle X} $X$ didefinisikan sebagai argmax S ⁡ f := a r g m a x x ∈ S f ( x ) := { x ∈ S : f ( s ) ≤ f ( x ) untuk setiap s ∈ S } . {\displaystyle \operatorname {argmax} _{S}f:={\underset {x\in S}{\operatorname {arg\,max} }}\,f(x):=\{x\in S~:~f(s)\leq f(x){\text{ untuk setiap }}s\in S\}.} $\operatorname {argmax} _{S}f:={\underset {x\in S}{\operatorname {arg\,max} }}\,f(x):=\{x\in S~:~f(s)\leq f(x){\text{ untuk setiap }}s\in S\}.$

Pada kasus S = X {\displaystyle S=X} $S=X$ atau S {\displaystyle S} $S$ jelas dari konteks pembicaraan, umumnya S {\displaystyle S} $S$ tidak ditulis; sebagai contoh: a r g m a x x f ( x ) := { x : f ( s ) ≤ f ( x ) for all s ∈ S } . {\displaystyle {\underset {x}{\operatorname {arg\,max} }}\,f(x):=\{x~:~f(s)\leq f(x){\text{ for all }}s\in S\}.} ${\underset {x}{\operatorname {arg\,max} }}\,f(x):=\{x~:~f(s)\leq f(x){\text{ for all }}s\in S\}.$ Dalam kata lain, argmax {\displaystyle \operatorname {argmax} } $\operatorname {argmax}$ merupakan himpunan titik x {\displaystyle x} $x$ yang menyebabkan f ( x ) {\displaystyle f(x)} $f(x)$ menghasilkan nilai maksimum (jika nilainya ada). Argmax {\displaystyle \operatorname {Argmax} } $\operatorname {Argmax}$ dapat berupa himpunan kosong, singleton, atau himpunan berisi banyak elemen.

Pada bidang analisis konveks dan analisis variasi, definisi yang sedikit berbeda digunakan untuk kasus khusus ketika Y = [ − ∞ , ∞ ] = R ∪ { ± ∞ } {\displaystyle Y=[-\infty ,\infty ]=\mathbb {R} \cup \{\pm \infty \}} $Y=[-\infty ,\infty ]=\mathbb {R} \cup \{\pm \infty \}$ adalah bilangan real yang diperluas (extended real numbers).^[2] Dalam kasus khusus ini, jika nilai f {\displaystyle f} $f$ secara identik sama dengan ∞ {\displaystyle \infty } $\infty$ pada S {\displaystyle S} $S$ , maka argmax S ⁡ f := ∅ {\displaystyle \operatorname {argmax} _{S}f:=\varnothing } $\operatorname {argmax} _{S}f:=\varnothing$ (dengan kata lain, argmax S ⁡ ∞ := ∅ {\displaystyle \operatorname {argmax} _{S}\infty :=\varnothing } $\operatorname {argmax} _{S}\infty :=\varnothing$ ). Sedangkan pada kasus lainnya argmax S ⁡ f {\displaystyle \operatorname {argmax} _{S}f} $\operatorname {argmax} _{S}f$ didefinisikan sama dengan definisi pada umumnya, yang juga dapat ditulis sebagai: argmax S ⁡ f := { x ∈ S : f ( x ) = inf S f } {\displaystyle \operatorname {argmax} _{S}f:=\left\{x\in S~:~f(x)=\inf {}_{S}f\right\}} $\operatorname {argmax} _{S}f:=\left\{x\in S~:~f(x)=\inf {}_{S}f\right\}$ Perlu ditekankan bahwa persamaan yang melibatkan inf S f {\displaystyle \inf {}_{S}f} $\inf {}_{S}f$ hanya berlaku ketika f {\displaystyle f} $f$ tidak identik dengan ∞ {\displaystyle \infty } $\infty$ pada subset S {\displaystyle S} $S$ .^[2]

Arg min

Istilah argmin {\displaystyle \operatorname {argmin} } $\operatorname {argmin}$ (atau a r g m i n {\displaystyle \operatorname {arg\,min} } $\operatorname {arg\,min}$ ) yang merujuk pada argumen dari minimum, didefinisikan serupa seperti argmax {\displaystyle \operatorname {argmax} } $\operatorname {argmax}$ . Sebagai contoh,

a r g m i n x ∈ S f ( x ) := { x ∈ S : f ( s ) ≥ f ( x ) untuk setiap s ∈ S } {\displaystyle {\underset {x\in S}{\operatorname {arg\,min} }}\,f(x):=\{x\in S~:~f(s)\geq f(x){\text{ untuk setiap }}s\in S\}} ${\underset {x\in S}{\operatorname {arg\,min} }}\,f(x):=\{x\in S~:~f(s)\geq f(x){\text{ untuk setiap }}s\in S\}$

adalah titik-(titik) x {\displaystyle x} $x$ yang menyebabkan f ( x ) {\displaystyle f(x)} $f(x)$ menghasilkan nilai terkecilnya. Operator ini adalah komplemen dari a r g m a x {\displaystyle \operatorname {arg\,max} } $\operatorname {arg\,max}$ . Pada kasus khusus Y = [ − ∞ , ∞ ] = R ∪ { ± ∞ } {\displaystyle Y=[-\infty ,\infty ]=\mathbb {R} \cup \{\pm \infty \}} $Y=[-\infty ,\infty ]=\mathbb {R} \cup \{\pm \infty \}$ merupakan bilangan real yang diperluas, jika nilai f {\displaystyle f} $f$ identik dengan − ∞ {\displaystyle -\infty } $-\infty$ pada S {\displaystyle S} $S$ maka argmin S ⁡ f := ∅ {\displaystyle \operatorname {argmin} _{S}f:=\varnothing } $\operatorname {argmin} _{S}f:=\varnothing$ (dengan kata lain, argmin S − ∞ := ∅ {\displaystyle \operatorname {argmin} _{S}-\infty :=\varnothing } $\operatorname {argmin} _{S}-\infty :=\varnothing$ ). Sedangkan pada kasus lainnya (yakni nilai f {\displaystyle f} $f$ tidak sama dengan − ∞ {\displaystyle -\infty } $-\infty$ ) , argmin S ⁡ f {\displaystyle \operatorname {argmin} _{S}f} $\operatorname {argmin} _{S}f$ punya definisi yang sama dengan definisi pada umumnya. Selain itu, argmin juga memenuhi:

argmin S ⁡ f := { x ∈ S : f ( x ) = sup S f } . {\displaystyle \operatorname {argmin} _{S}f:=\left\{x\in S~:~f(x)=\sup {}_{S}f\right\}.} $\operatorname {argmin} _{S}f:=\left\{x\in S~:~f(x)=\sup {}_{S}f\right\}.$ ^[2]

Contoh

Sebagai contoh, jika f ( x ) {\displaystyle f(x)} $f(x)$ didefinisikan sebagai 1 − | x | , {\displaystyle 1-|x|,} $1-|x|,$ maka f {\displaystyle f} $f$ akan mencapai nilai maksimum 1 {\displaystyle 1} $1$ hanya pada titik x = 0. {\displaystyle x=0.} $x=0.$ Dengan demikian,

a r g m a x x ( 1 − | x | ) = { 0 } . {\displaystyle {\underset {x}{\operatorname {arg\,max} }}\,(1-|x|)=\{0\}.} ${\underset {x}{\operatorname {arg\,max} }}\,(1-|x|)=\{0\}.$

Operator argmax {\displaystyle \operatorname {argmax} } $\operatorname {argmax}$ berbeda dengan operator max {\displaystyle \max } $\max$ . Operator max {\displaystyle \max } $\max$ ketika diterapkan pada fungsi akan menghasilkan nilai maksimum dari fungsi tersebut, bukan himpunan titik yang membuat fungsi menghasilkan nilai maksimum tersebut. Secara lebih formal,

max x f ( x ) {\displaystyle \max _{x}f(x)} $\max _{x}f(x)$ adalah elemen dari himpunan { f ( x ) : f ( s ) ≤ f ( x ) untuk setiap s ∈ S } . {\displaystyle \{f(x)~:~f(s)\leq f(x){\text{ untuk setiap }}s\in S\}.} $\{f(x)~:~f(s)\leq f(x){\text{ untuk setiap }}s\in S\}.$

Sifat

Ada beberapa operasi yang tidak mengubah himpunan yang dihasilkan oleh argmax. Karena argmax didefinisikan oleh sebuah pertidaksamaan, operasi-operasi berikut pada dasarnya berupa operasi yang mengawetkan pertidaksamaan. Berikut adalah beberapa contohnya:^[3]

Jika θ {\displaystyle \theta } $\theta$ adalah sebuah konstanta, maka argmax ⁡ f ( x ) = argmax ⁡ f ( x ) + θ {\displaystyle \operatorname {argmax} f(x)=\operatorname {argmax} f(x)+\theta } $\operatorname {argmax} f(x)=\operatorname {argmax} f(x)+\theta$
Jika θ > 0 {\displaystyle \theta >0} $\theta >0$ , maka argmax ⁡ f ( x ) = argmax ⁡ θ f ( x ) {\displaystyle \operatorname {argmax} f(x)=\operatorname {argmax} \theta f(x)} $\operatorname {argmax} f(x)=\operatorname {argmax} \theta f(x)$
Jika θ < 0 {\displaystyle \theta <0} $\theta <0$ , maka argmax ⁡ f ( x ) = argmin ⁡ θ f ( x ) {\displaystyle \operatorname {argmax} f(x)=\operatorname {argmin} \theta f(x)} $\operatorname {argmax} f(x)=\operatorname {argmin} \theta f(x)$
Jika argmax ⁡ f ( x ) > 0 {\displaystyle \operatorname {argmax} f(x)>0} $\operatorname {argmax} f(x)>0$ , maka argmax ⁡ f ( x ) = argmin ⁡ 1 f ( x ) {\displaystyle \operatorname {argmax} f(x)=\operatorname {argmin} {\frac {1}{f(x)}}} $\operatorname {argmax} f(x)=\operatorname {argmin} {\frac {1}{f(x)}}$
Jika fungsi g {\displaystyle g} $g$ monotonik secara tegas, yakni α < β {\displaystyle \alpha <\beta } $\alpha <\beta$ menyebabkan g ( α ) < g ( β ) {\displaystyle g(\alpha )<g(\beta )} $g(\alpha )<g(\beta )$ , terdapat hubungan argmax ⁡ g ( f ( x ) ) = argmax ⁡ f ( x ) {\displaystyle \operatorname {argmax} g(f(x))=\operatorname {argmax} f(x)} $\operatorname {argmax} g(f(x))=\operatorname {argmax} f(x)$

Sifat terakhir sering digunakan dalam perhitungan yang melibatkan probabilitas. Perkalian probabilitas dapat ditransformasi menjadi penjumlahan log-probabilitas dengan menerapkan fungsi monotonik tegas log ⁡ ( x ) {\displaystyle \log(x)} $\log(x)$ . Dengan kata lain argmax ⁡ ∏ i = 1 n p i ( x ) = argmax ⁡ ∑ i = 1 n log ⁡ p i ( x ) {\displaystyle \operatorname {argmax} \prod _{i=1}^{n}p_{i}(x)=\operatorname {argmax} \sum _{i=1}^{n}\log p_{i}(x)} $\operatorname {argmax} \prod _{i=1}^{n}p_{i}(x)=\operatorname {argmax} \sum _{i=1}^{n}\log p_{i}(x)$

Referensi

↑ "The Unnormalized Sinc Function Diarsipkan 2017-02-15 di Wayback Machine.", University of Sydney
1 2 3 Rockafellar, R. Tyrrell; Wets, Roger J.-B (26 Juni 2009). Variational Analysis. Vol. Volume 317 of Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg. hlm. 1–37. ISBN 9783642024313. OCLC 883392544.{{cite book}}: |volume= memiliki teks tambahanPemeliharaan CS1: Status URL (link) Pemeliharaan CS1: Tanggal diterjemahkan otomatis (link)
↑ https://www.cs.ubc.ca/~schmidtm/Documents/2016_540_Argmax.pdf