आर्ग मैक्स: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Inputs at which function values are highest}}[[File:Si_sinc.svg|thumb|350px|उदाहरण के रूप में, अनमान्यकृत और मानकृत सिंक फ़ंक्शन के लिए उपरोक्त दोनों में <math>\operatorname{argmax}</math> का 0 होता है, क्योंकि दोनों में x = 0 पर उनके वृहत्तम मान 1 होते हैं।<br /><br />असामान्यीकृत साइन फ़ंक्शन (लाल) का आर्ग न्यूनतम | {{Short description|Inputs at which function values are highest}}[[File:Si_sinc.svg|thumb|350px|उदाहरण के रूप में, अनमान्यकृत और मानकृत सिंक फ़ंक्शन के लिए उपरोक्त दोनों में <math>\operatorname{argmax}</math> का 0 होता है, क्योंकि दोनों में x = 0 पर उनके वृहत्तम मान 1 होते हैं।<br /><br />असामान्यीकृत साइन फ़ंक्शन (लाल) का आर्ग न्यूनतम अधिकतर {−4.49, 4.49} होता है, इसके x = ±4.49 पर अधिकतर -0.217 के दो वृहत्तम न्यूनतम मान होते हैं। यद्यपि, सामान्यीकृत सिन फ़ंक्शन (नीला) का आर्ग न्यूनतम {−1.43, 1.43} होता है,क्योंकि इसके वृहत्तम न्यूनतम मान x = ±1.43 पर होते हैं, चूंकि न्यूनतम मान समान होता है।<ref>"[http://physics.usyd.edu.au/teach_res/mp/doc/math_sinc_function.pdf The Unnormalized Sinc Function] {{Webarchive|url=https://web.archive.org/web/20170215045226/http://www.physics.usyd.edu.au/teach_res/mp/doc/math_sinc_function.pdf |date=2017-02-15 }}", University of Sydney</ref>]]गणित में, मैक्सिमा (आर्ग मैक्स के रूप में संक्षेपित किया जाता है) के तर्क किसी [[फ़ंक्शन (गणित)]] के डोमेन के बिंदु होते हैं, जिन पर फ़ंक्शन के मान अधिकतम होते हैं।<ref group="note">For clarity, we refer to the input (''x'') as ''points'' and the output (''y'') as ''values;'' compare [[critical point (mathematics)|critical point]] and [[critical value]].</ref> जिस पर फ़ंक्शन मान [[मैक्सिमा और मिनिमा]] होते हैं। [[वैश्विक अधिकतम]] के विपरीत, जो संदर्भित करता है किसी फ़ंक्शन का सबसे बड़ा आउटपुट, arg max इनपुट या तर्क को संदर्भित करता है, जिस पर फ़ंक्शन आउटपुट जितना संभव हो उतना बड़ा होता है। | ||
== परिभाषा == | == परिभाषा == | ||
विचित्र समुच्चय {{nowrap|<math>X</math>,}} [[पूरी तरह से ऑर्डर किया गया सेट|पूरी | विचित्र समुच्चय {{nowrap|<math>X</math>,}} [[पूरी तरह से ऑर्डर किया गया सेट|पूरी प्रकार से ऑर्डर किया गया समुच्चय]] {{nowrap|<math>Y</math>,}} और फ़ंक्शन, {{nowrap|<math>f\colon X \to Y</math>,}} के लिए <math>X</math> के किसी उपसेट <math>S</math> के लिए <math>\operatorname{argmax}</math> (आर्ग मैक्स) को निम्न रूप में परिभाषित किया जाता है: | ||
:<math>\operatorname{argmax}_S f := \underset{x \in S}{\operatorname{arg\,max}}\, f(x) := \{x \in S ~:~ f(s) \leq f(x) \text{ for all } s \in S \}.</math> | :<math>\operatorname{argmax}_S f := \underset{x \in S}{\operatorname{arg\,max}}\, f(x) := \{x \in S ~:~ f(s) \leq f(x) \text{ for all } s \in S \}.</math> | ||
यदि <math>S = X</math> या <math>S</math> होता है, तो | यदि <math>S = X</math> या <math>S</math> होता है, तो अधिकांशतः <math>S</math> को छोड़ दिया जाता है, जैसे <math>\underset{x}{\operatorname{arg\,max}}\, f(x) := \{ x ~:~ f(s) \leq f(x) \text{ for all } s \in X \}.</math> अन्या शब्दों में, <math>\operatorname{argmax}</math> अंकों का समुच्चय (गणित) है जिसमें <math>x</math>के बिंदु सम्मलित हैं, जिनके लिए <math>f(x)</math> फ़ंक्शन का सबसे बड़ा मान प्राप्त करता है (यदि यह उपस्थित है)। <math>\operatorname{Argmax}</math> यह [[खाली सेट|खाली समुच्चय]], [[सिंगलटन (गणित)]] हो सकता है, या इसमें कई तत्व सम्मलित हो सकते हैं। | ||
[[उत्तल विश्लेषण]] और [[परिवर्तनशील विश्लेषण]] के क्षेत्र में,थोड़ी अलग परिभाषा का उपयोग किया जाता है जब विशेष | [[उत्तल विश्लेषण]] और [[परिवर्तनशील विश्लेषण]] के क्षेत्र में,थोड़ी अलग परिभाषा का उपयोग किया जाता है जब विशेष स्थितियों में <math>Y = [-\infty,\infty] = \mathbb{R} \cup \{ \pm\infty \}</math> [[विस्तारित वास्तविक संख्याएँ]] होती हैं।{{sfn|Rockafellar|Wets|2009|pp=1-37|ignore-err=yes}} इस स्थितियों में, यदि <math>f</math> समान रूप से समान होता है,तो <math>\operatorname{argmax}_S f := \varnothing</math> (इसका तात्पर्य है <math>\operatorname{argmax}_S \infty := \varnothing</math>) और अन्यथा <math>\operatorname{argmax}_S f</math> उपरोक्त रूप में परिभाषित होता है, जहां इस स्थितियों में <math>\operatorname{argmax}_S f</math> को इस प्रकार लिखा जा सकता है: | ||
:<math>\operatorname{argmax}_S f := \left\{ x \in S ~:~ f(x) = \sup {}_S f \right\}</math> जहां इसे संकेत में रखा गया है कि यह समानता <math>\sup {}_S f</math> के साथ केवल उस स्थिति में साझा किया जाता है जब <math>f</math>, {{nowrap|<math>S</math>.}}पर असीम नहीं होता है।{{sfn|Rockafellar|Wets|2009|pp=1-37|ignore-err=yes}} | :<math>\operatorname{argmax}_S f := \left\{ x \in S ~:~ f(x) = \sup {}_S f \right\}</math> जहां इसे संकेत में रखा गया है कि यह समानता <math>\sup {}_S f</math> के साथ केवल उस स्थिति में साझा किया जाता है जब <math>f</math>, {{nowrap|<math>S</math>.}}पर असीम नहीं होता है।{{sfn|Rockafellar|Wets|2009|pp=1-37|ignore-err=yes}} | ||
===आर्ग न्यूनतम === | ===आर्ग न्यूनतम === | ||
<math>\operatorname{argmin}</math> (या <math>\operatorname{arg\,min}</math>) की धारणा (जो न्यूनतम के तर्क के लिए होती है) उसी | <math>\operatorname{argmin}</math> (या <math>\operatorname{arg\,min}</math>) की धारणा (जो न्यूनतम के तर्क के लिए होती है) उसी विधि से परिभाषित होती है। उदाहरण के लिए, | ||
:<math>\underset{x \in S}{\operatorname{arg\,min}} \, f(x) := \{ x \in S ~:~ f(s) \geq f(x) \text{ for all } s \in S \}</math> | :<math>\underset{x \in S}{\operatorname{arg\,min}} \, f(x) := \{ x \in S ~:~ f(s) \geq f(x) \text{ for all } s \in S \}</math> | ||
<math>x</math> के बिंदु वही होते हैं जिनके लिए <math>f(x)</math> फ़ंक्शन का सबसे छोटा मान प्राप्त करता है। यह{{nowrap|<math>\operatorname{arg\,max}</math>.}} (न्यूनतम के तर्क का आर्ग्यूमेंट) के पूरक ऑपरेटर होता है। | <math>x</math> के बिंदु वही होते हैं जिनके लिए <math>f(x)</math> फ़ंक्शन का सबसे छोटा मान प्राप्त करता है। यह{{nowrap|<math>\operatorname{arg\,max}</math>.}} (न्यूनतम के तर्क का आर्ग्यूमेंट) के पूरक ऑपरेटर होता है। | ||
विशेष | विशेष स्थितियों में जहां <math>Y = [-\infty,\infty] = \R \cup \{ \pm\infty \}</math> विस्तारित यथार्थात्मक संख्याएँ होती हैं, यदि <math>f</math> सभी <math>S</math> पर असीम रूप से <math>-\infty</math> पर तबके समान होता है, तो <math>\operatorname{argmin}_S f := \varnothing</math> (इसका तात्पर्य है, <math>\operatorname{argmin}_S -\infty := \varnothing</math>) होता है, और अन्यथा<math>\operatorname{argmin}_S f</math> f उपरोक्त रूप में परिभाषित होता है और इसके अतिरिक्त, इस स्थितियों में (जब <math>f</math> असीमता रूप से <math>-\infty</math> के समान नहीं होता है) निम्नलिखित को भी पूर्ण करता है: | ||
:<math>\operatorname{argmin}_S f := \left\{ x \in S ~:~ f(x) = \inf {}_S f \right\}.</math>{{sfn|Rockafellar|Wets|2009|pp=1-37|ignore-err=yes}} | :<math>\operatorname{argmin}_S f := \left\{ x \in S ~:~ f(x) = \inf {}_S f \right\}.</math>{{sfn|Rockafellar|Wets|2009|pp=1-37|ignore-err=yes}} | ||
Line 27: | Line 27: | ||
<math>\operatorname{argmax}</math> ऑपरेटर अभिगम के ऑपरेटर से अलग होता है। अभिगम ऑपरेटर, ऐसे फ़ंक्शन को देने पर, फ़ंक्शन का अधिकतम मान लौटाता है बजाय उस बिंदु या बिंदुओं का जो उस फ़ंक्शन को उस मान तक पहुंचाते हैं। इन शब्दों में, | <math>\operatorname{argmax}</math> ऑपरेटर अभिगम के ऑपरेटर से अलग होता है। अभिगम ऑपरेटर, ऐसे फ़ंक्शन को देने पर, फ़ंक्शन का अधिकतम मान लौटाता है बजाय उस बिंदु या बिंदुओं का जो उस फ़ंक्शन को उस मान तक पहुंचाते हैं। इन शब्दों में, | ||
:<math>\max_x f(x)</math> में तत्व है <math>\{ f(x) ~:~ f(s) \leq f(x) \text{ for all } s \in S \}.</math> | :<math>\max_x f(x)</math> में तत्व है <math>\{ f(x) ~:~ f(s) \leq f(x) \text{ for all } s \in S \}.</math> | ||
<math>\operatorname{argmax},</math> की | <math>\operatorname{argmax},</math> की प्रकार <math>\operatorname{max}</math> रिक्त समुच्चय (जिसमें अधिकतम परिभाषित नहीं होता) या एकल समुच्चय हो सकता है, किन्तु <math>\operatorname{argmax},</math> के विपरीत, <math>\operatorname{max}</math> एकाधिक तत्वों को नहीं समेत सकता है: उदाहरण के लिए, यदि : उदाहरण के लिए, यदि <math>f(x)</math> = <math>4 x^2 - x^4,</math> है, तो <math>\underset{x}{\operatorname{arg\,max}}\, \left( 4 x^2 - x^4 \right) = \left\{-\sqrt{2}, \sqrt{2}\right\},</math> किन्तु <math>\underset{x}{\operatorname{max}}\, \left( 4 x^2 - x^4 \right) = \{ 4 \}</math> क्योंकि फ़ंक्शन <math>\operatorname{argmax}.</math> प्रत्येक तत्व पर समान मान प्राप्त करता है | ||
समान रूप से, यदि <math>M</math> की अधिकतम है <math>f,</math> तो <math>\operatorname{argmax}</math> अधिकतम का स्तर समुच्चय है:<ref group="note">Due to the [[Antisymmetric relation|anti-symmetry]] of <math>\,\leq,</math> a function can have at most one maximal value.</ref> | समान रूप से, यदि <math>M</math> की अधिकतम है <math>f,</math> तो <math>\operatorname{argmax}</math> अधिकतम का स्तर समुच्चय है:<ref group="note">Due to the [[Antisymmetric relation|anti-symmetry]] of <math>\,\leq,</math> a function can have at most one maximal value.</ref> | ||
Line 34: | Line 34: | ||
हम इसे पुनर्व्यवस्थित करके सरल सम्मिश्रण प्राप्त कर सकते हैं<ref group="note">This is an identity between sets, more particularly, between subsets of <math>Y.</math></ref> | हम इसे पुनर्व्यवस्थित करके सरल सम्मिश्रण प्राप्त कर सकते हैं<ref group="note">This is an identity between sets, more particularly, between subsets of <math>Y.</math></ref> | ||
:<math>f\left(\underset{x}{\operatorname{arg\,max}} \, f(x) \right) = \max_x f(x).</math> | :<math>f\left(\underset{x}{\operatorname{arg\,max}} \, f(x) \right) = \max_x f(x).</math> | ||
यदि अधिकतम बिंदु पर पहुंच जाता है तो इस बिंदु को | यदि अधिकतम बिंदु पर पहुंच जाता है तो इस बिंदु को अधिकांशतः <math>\operatorname{argmax},</math> के रूप में संदर्भित किया जाता है और <math>\operatorname{argmax}</math> को बिंदु माना जाता है, न कि बिंदुओं का सेट। इसलिए, उदाहरण के लिए, | ||
:<math>\underset{x\in\mathbb{R}}{\operatorname{arg\,max}}\, (x(10 - x)) = 5</math> | :<math>\underset{x\in\mathbb{R}}{\operatorname{arg\,max}}\, (x(10 - x)) = 5</math> | ||
(सिंगलटन (गणित) समुच्चय के | (सिंगलटन (गणित) समुच्चय के अतिरिक्त <math>\{ 5 \}</math>), क्योंकि फ़ंक्शन <math>x (10 - x)</math> का अधिकतम मान <math>25,</math>है, जो बिंदु <math>x = 5.</math><ref group="note">Note that <math>x (10 - x) = 25 - (x-5)^2 \leq 25</math> with equality if and only if <math>x - 5 = 0.</math></ref> पर होता है। चूंकि, यदि अधिकतम कई बिंदुओं पर पहुंचा जाता है, तो <math>\operatorname{argmax}</math> को बिंदु सेट के रूप में विचार किया जाना चाहिए। | ||
उदाहरण के लिए | उदाहरण के लिए | ||
Line 46: | Line 46: | ||
:<math>\underset{x \in \mathbb{R}}{\operatorname{arg\,max}}\, \cos(x) = \left\{ 2 k \pi ~:~ k \in \mathbb{Z} \right\},</math> तो अनंत समुच्चय है। | :<math>\underset{x \in \mathbb{R}}{\operatorname{arg\,max}}\, \cos(x) = \left\{ 2 k \pi ~:~ k \in \mathbb{Z} \right\},</math> तो अनंत समुच्चय है। | ||
फ़ंक्शन सामान्यतः अधिकतम मान नहीं प्राप्त करते हैं, और इसलिए <math>\operatorname{argmax}</math> कभी-कभी रिक्त सेट होता है; उदाहरण के लिए, <math>\underset{x\in\mathbb{R}}{\operatorname{arg\,max}}\, x^3 = \varnothing,</math> क्योंकि <math>x^3</math>,वास्तविक रेखा पर असीमित होता है। उदाहरण के रूप में, <math>\underset{x \in \mathbb{R}}{\operatorname{arg\,max}}\, \arctan(x) = \varnothing,</math> यद्यपि |<math>\arctan</math> आवरित होता है <math>\pm\pi/2.</math> से | फ़ंक्शन सामान्यतः अधिकतम मान नहीं प्राप्त करते हैं, और इसलिए <math>\operatorname{argmax}</math> कभी-कभी रिक्त सेट होता है; उदाहरण के लिए, <math>\underset{x\in\mathbb{R}}{\operatorname{arg\,max}}\, x^3 = \varnothing,</math> क्योंकि <math>x^3</math>,वास्तविक रेखा पर असीमित होता है। उदाहरण के रूप में, <math>\underset{x \in \mathbb{R}}{\operatorname{arg\,max}}\, \arctan(x) = \varnothing,</math> यद्यपि |<math>\arctan</math> आवरित होता है <math>\pm\pi/2.</math> से यद्यपि, [[चरम मूल्य प्रमेय]] के अनुसार, [[अंतराल (गणित)]] पर सतत वास्तविक-मूल्यवान फ़ंक्शन में अधिकतम होता है, और इसलिए खाली नहीं <math>\operatorname{argmax}.</math> होता है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
Revision as of 23:01, 17 July 2023
गणित में, मैक्सिमा (आर्ग मैक्स के रूप में संक्षेपित किया जाता है) के तर्क किसी फ़ंक्शन (गणित) के डोमेन के बिंदु होते हैं, जिन पर फ़ंक्शन के मान अधिकतम होते हैं।[note 1] जिस पर फ़ंक्शन मान मैक्सिमा और मिनिमा होते हैं। वैश्विक अधिकतम के विपरीत, जो संदर्भित करता है किसी फ़ंक्शन का सबसे बड़ा आउटपुट, arg max इनपुट या तर्क को संदर्भित करता है, जिस पर फ़ंक्शन आउटपुट जितना संभव हो उतना बड़ा होता है।
परिभाषा
विचित्र समुच्चय , पूरी प्रकार से ऑर्डर किया गया समुच्चय , और फ़ंक्शन, , के लिए के किसी उपसेट के लिए (आर्ग मैक्स) को निम्न रूप में परिभाषित किया जाता है:
यदि या होता है, तो अधिकांशतः को छोड़ दिया जाता है, जैसे अन्या शब्दों में, अंकों का समुच्चय (गणित) है जिसमें के बिंदु सम्मलित हैं, जिनके लिए फ़ंक्शन का सबसे बड़ा मान प्राप्त करता है (यदि यह उपस्थित है)। यह खाली समुच्चय, सिंगलटन (गणित) हो सकता है, या इसमें कई तत्व सम्मलित हो सकते हैं।
उत्तल विश्लेषण और परिवर्तनशील विश्लेषण के क्षेत्र में,थोड़ी अलग परिभाषा का उपयोग किया जाता है जब विशेष स्थितियों में विस्तारित वास्तविक संख्याएँ होती हैं।[2] इस स्थितियों में, यदि समान रूप से समान होता है,तो (इसका तात्पर्य है ) और अन्यथा उपरोक्त रूप में परिभाषित होता है, जहां इस स्थितियों में को इस प्रकार लिखा जा सकता है:
- जहां इसे संकेत में रखा गया है कि यह समानता के साथ केवल उस स्थिति में साझा किया जाता है जब , .पर असीम नहीं होता है।[2]
आर्ग न्यूनतम
(या ) की धारणा (जो न्यूनतम के तर्क के लिए होती है) उसी विधि से परिभाषित होती है। उदाहरण के लिए,
के बिंदु वही होते हैं जिनके लिए फ़ंक्शन का सबसे छोटा मान प्राप्त करता है। यह. (न्यूनतम के तर्क का आर्ग्यूमेंट) के पूरक ऑपरेटर होता है।
विशेष स्थितियों में जहां विस्तारित यथार्थात्मक संख्याएँ होती हैं, यदि सभी पर असीम रूप से पर तबके समान होता है, तो (इसका तात्पर्य है, ) होता है, और अन्यथा f उपरोक्त रूप में परिभाषित होता है और इसके अतिरिक्त, इस स्थितियों में (जब असीमता रूप से के समान नहीं होता है) निम्नलिखित को भी पूर्ण करता है:
उदाहरण और गुण
उदाहरण के लिए, यदि है है, तो का अधिकतम मान को केवल बिंदु पर प्राप्त करता है। इसलिए,
ऑपरेटर अभिगम के ऑपरेटर से अलग होता है। अभिगम ऑपरेटर, ऐसे फ़ंक्शन को देने पर, फ़ंक्शन का अधिकतम मान लौटाता है बजाय उस बिंदु या बिंदुओं का जो उस फ़ंक्शन को उस मान तक पहुंचाते हैं। इन शब्दों में,
- में तत्व है
की प्रकार रिक्त समुच्चय (जिसमें अधिकतम परिभाषित नहीं होता) या एकल समुच्चय हो सकता है, किन्तु के विपरीत, एकाधिक तत्वों को नहीं समेत सकता है: उदाहरण के लिए, यदि : उदाहरण के लिए, यदि = है, तो किन्तु क्योंकि फ़ंक्शन प्रत्येक तत्व पर समान मान प्राप्त करता है
समान रूप से, यदि की अधिकतम है तो अधिकतम का स्तर समुच्चय है:[note 2]
हम इसे पुनर्व्यवस्थित करके सरल सम्मिश्रण प्राप्त कर सकते हैं[note 3]
यदि अधिकतम बिंदु पर पहुंच जाता है तो इस बिंदु को अधिकांशतः के रूप में संदर्भित किया जाता है और को बिंदु माना जाता है, न कि बिंदुओं का सेट। इसलिए, उदाहरण के लिए,
(सिंगलटन (गणित) समुच्चय के अतिरिक्त ), क्योंकि फ़ंक्शन का अधिकतम मान है, जो बिंदु [note 4] पर होता है। चूंकि, यदि अधिकतम कई बिंदुओं पर पहुंचा जाता है, तो को बिंदु सेट के रूप में विचार किया जाना चाहिए।
उदाहरण के लिए
क्योंकि का अधिकतम मान है, जो इस अवधि पर बिंदु या पर होता है। पूरे वास्तविक रेखा पर,
- तो अनंत समुच्चय है।
फ़ंक्शन सामान्यतः अधिकतम मान नहीं प्राप्त करते हैं, और इसलिए कभी-कभी रिक्त सेट होता है; उदाहरण के लिए, क्योंकि ,वास्तविक रेखा पर असीमित होता है। उदाहरण के रूप में, यद्यपि | आवरित होता है से यद्यपि, चरम मूल्य प्रमेय के अनुसार, अंतराल (गणित) पर सतत वास्तविक-मूल्यवान फ़ंक्शन में अधिकतम होता है, और इसलिए खाली नहीं होता है।
यह भी देखें
- किसी फ़ंक्शन का तर्क
- मैक्सिमा और मिनिमा
- मोड (सांख्यिकी)
- गणितीय अनुकूलन
- कर्नेल (रैखिक बीजगणित)
- पूर्वछवि
टिप्पणियाँ
- ↑ For clarity, we refer to the input (x) as points and the output (y) as values; compare critical point and critical value.
- ↑ Due to the anti-symmetry of a function can have at most one maximal value.
- ↑ This is an identity between sets, more particularly, between subsets of
- ↑ Note that with equality if and only if
संदर्भ
- ↑ "The Unnormalized Sinc Function Archived 2017-02-15 at the Wayback Machine", University of Sydney
- ↑ 2.0 2.1 2.2 Rockafellar & Wets 2009, pp. 1–37.
- Rockafellar, R. Tyrrell; Wets, Roger J.-B. (26 June 2009). Variational Analysis. Grundlehren der mathematischen Wissenschaften. Vol. 317. Berlin New York: Springer Science & Business Media. ISBN 9783642024313. OCLC 883392544.