एकदिष्ट फलन: Difference between revisions

From Vigyanwiki
(text)
No edit summary
 
(16 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Order-preserving mathematical function}}
{{redirect|दिष्टता|[[मतदान प्रणाली]] से संबंधित दिष्टता पर जानकारी|दिष्टता मापदंड|information on monotonicity as it pertains to logical systems|अनुलग्नता की दिष्टता}}
{{Redirect|दिष्टता|अन्य उपयोग|एकदिष्ट (विसंदिग्धीकरण)}}
[[Image:Monotonicity example1.svg|right|thumb|चित्रा 1. एक नीरस रूप से गैर-घटता कार्य।]]
[[Image:Monotonicity example1.svg|right|thumb|चित्रा 1. एक नीरस रूप से गैर-घटता कार्य।]]
[[Image:Monotonicity example2.svg|right|thumb|चित्रा 2. एक नीरस रूप से गैर-बढ़ता हुआ कार्य]]
[[Image:Monotonicity example2.svg|right|thumb|चित्रा 2. एक नीरस रूप से गैर-बढ़ता हुआ कार्य]]
[[Image:Monotonicity example3.svg|right|thumb|चित्रा 3. एक प्रकार्य जो एकदिष्ट नहीं है]]गणित में, एकदिष्ट प्रकार्य गणित में क्रमित संरचनाओं की सूची के बीच एक प्रकार्य (गणित) है जो दिए गए क्रमवार को संरक्षित या उलट देता है।<ref>{{Cite book|title=गणित का ऑक्सफोर्ड संक्षिप्त शब्दकोश|last1=Clapham|first1=Christopher|last2=Nicholson|first2=James|publisher=Oxford University Press|year=2014|edition=5th}}</ref><ref name=":1">{{Cite web|url=http://mathworld.wolfram.com/MonotonicFunction.html|title=मोनोटोनिक फ़ंक्शन|last=Stover|first=Christopher|website=Wolfram MathWorld|language=en|access-date=2018-01-29}}</ref><ref name=":0">{{Cite web|url=https://www.encyclopediaofmath.org/index.php/Monotone_function|title=मोनोटोन फ़ंक्शन|website=Encyclopedia of Mathematics|language=en|access-date=2018-01-29}}</ref> यह अवधारणा पहले [[गणना]] में उत्पन्न हुई, और बाद में [[आदेश सिद्धांत|अनुक्रम सिद्धांत]] की अधिक अमूर्त अस्त के लिए सामान्यीकृत की गई।
[[Image:Monotonicity example3.svg|right|thumb|चित्रा 3. एक फलन जो एकदिष्ट नहीं है]]गणित में, '''एकदिष्ट फलन''' गणित में क्रमित संरचनाओं की सूची के बीच एक फलन (गणित) है जो दिए गए क्रमवार को संरक्षित या उलट देता है।<ref>{{Cite book|title=गणित का ऑक्सफोर्ड संक्षिप्त शब्दकोश|last1=Clapham|first1=Christopher|last2=Nicholson|first2=James|publisher=Oxford University Press|year=2014|edition=5th}}</ref><ref name=":1">{{Cite web|url=http://mathworld.wolfram.com/MonotonicFunction.html|title=मोनोटोनिक फ़ंक्शन|last=Stover|first=Christopher|website=Wolfram MathWorld|language=en|access-date=2018-01-29}}</ref><ref name=":0">{{Cite web|url=https://www.encyclopediaofmath.org/index.php/Monotone_function|title=मोनोटोन फ़ंक्शन|website=Encyclopedia of Mathematics|language=en|access-date=2018-01-29}}</ref> यह अवधारणा पहले [[गणना]] में उत्पन्न हुई, और बाद में [[आदेश सिद्धांत|अनुक्रम सिद्धांत]] की अधिक अमूर्त अस्त के लिए सामान्यीकृत की गई।


== कलन और विश्लेषण में ==
== कलन और विश्लेषण में ==
कलन में, एक प्रकार्य <math>f</math> वास्तविक मानों के साथ [[वास्तविक संख्या]]ओं के [[सबसेट|उपसमुच्चय]] पर परिभाषित को एकदिष्ट कहा जाता है यदि और केवल यदि यह पूरी तरह से गैर-बढ़ती हैं, या पूरी तरह से गैर-घटती हैं।<ref name=":1" /> चित्र 1 के अनुसार, एक कार्य जो एकदिष्‍टत: बढ़ता है उसे विशेष रूप से बढ़ाना नहीं है, इसे बस कम नहीं होना चाहिए।
कलन में, एक फलन <math>f</math> वास्तविक मानों के साथ [[वास्तविक संख्या]]ओं के [[सबसेट|उपसमुच्चय]] पर परिभाषित को एकदिष्ट कहा जाता है यदि और केवल यदि यह पूरी तरह से गैर-बढ़ती हैं, या पूरी तरह से गैर-घटती हैं।<ref name=":1" /> चित्र 1 के अनुसार, एक कार्य जो एकदिष्‍टत: बढ़ता है उसे विशेष रूप से बढ़ाना नहीं है, इसे बस कम नहीं होने देना है।


एक प्रकार्य को एकदिष्ट रूप से बढ़ाना (बढ़ते या गैर-घटते भी) कहा जाता है<ref name=":0" /> यदि सभी <math>x</math> तथा <math>y</math> के लिए <math>x \leq y</math> ऐसा है कि एक के पास <math>f\!\left(x\right) \leq f\!\left(y\right)</math> है, तो <math>f</math> क्रम को बनाए रखता है (चित्र 1 देखें)। इसी तरह, एक प्रकार्य को एकदिष्‍टत: रूप से घटते हुए (घटते या गैर-बढ़ते भी) कहा जाता है<ref name=":0" /> यदि, जब भी <math>x \leq y</math>, तत्पश्चात <math>f\!\left(x\right) \geq f\!\left(y\right)</math>, तो यह क्रम को उलट देता है (चित्र 2 देखें)।
एक फलन को एकदिष्ट रूप से बढ़ता (बढ़ते या गैर-घटते भी) कहा जाता है<ref name=":0" /> यदि सभी <math>x</math> तथा <math>y</math> के लिए <math>x \leq y</math> ऐसे कि एक के पास <math>f\!\left(x\right) \leq f\!\left(y\right)</math> है, तो <math>f</math> क्रम को बनाए रखता है (चित्र 1 देखें)। इसी तरह, एक फलन को एकदिष्‍टत: रूप से घटता हुआ (घटते या गैर-बढ़ते भी) कहा जाता है<ref name=":0" /> यदि, जब भी <math>x \leq y</math>, तत्पश्चात <math>f\!\left(x\right) \geq f\!\left(y\right)</math> होता है, तो यह क्रम को उलट देता है (चित्र 2 देखें)।


यदि अनुक्रम <math>\leq</math> एकदिष्टता की परिभाषा में कड़े अनुक्रम <math><</math> द्वारा प्रतिस्थापित किया गया है, और वह दृढ़ आवश्यकता प्राप्त करता है। इस विशेषता के साथ एक प्रकार्य को अनुशासनपूर्वक बढ़ाना कहा जाता है।<ref name=":0" /><ref name=":2">{{Cite book|last=Spivak|first=Michael|title=गणना|publisher=Publish or Perish, Inc.|year=1994|isbn=0-914098-89-6|location=1572 West Gray, #377 Houston, Texas 77019|pages=192}}</ref> फिर से, अनुक्रम प्रतीक को उल्टा करके, एक संबंधित अवधारणा को अनुशासनपूर्वक घटता हुआ (भी घटता हुआ) कहा जाता है।<ref name=":0" /><ref name=":2" />किसी भी विशेषता वाले प्रकार्य को अनुशासनपूर्वक एकदिष्ट कहा जाता है। कार्य जो अनुशासनपूर्वक एकदिष्ट हैं वे एक-से-एक कार्य हैं (क्योंकि <math>x</math> के लिए असमान <math>y</math>, या <math>x < y</math> या <math>x > y</math> और इसलिए, एकदिष्टता से, या तो <math>f\!\left(x\right) < f\!\left(y\right)</math> या <math>f\!\left(x\right) > f\!\left(y\right)</math>, इस प्रकार <math>f\!\left(x\right) \neq f\!\left(y\right)</math>.)
यदि अनुक्रम <math>\leq</math> एकदिष्टता की परिभाषा में कड़े अनुक्रम <math><</math> द्वारा प्रतिस्थापित किया गया है, और वह दृढ़ आवश्यकता प्राप्त करता है। इस विशेषता के साथ एक फलन को अनुशासनपूर्वक बढ़ना कहा जाता है।<ref name=":0" /><ref name=":2">{{Cite book|last=Spivak|first=Michael|title=गणना|publisher=Publish or Perish, Inc.|year=1994|isbn=0-914098-89-6|location=1572 West Gray, #377 Houston, Texas 77019|pages=192}}</ref> फिर से, अनुक्रम प्रतीक को उल्टा करके, एक संबंधित अवधारणा को अनुशासनपूर्वक घटता हुआ (भी घटता हुआ) कहा जाता है।<ref name=":0" /><ref name=":2" />किसी भी विशेषता वाले फलन को अनुशासनपूर्वक एकदिष्ट कहा जाता है। कार्य जो अनुशासनपूर्वक एकदिष्ट हैं वे एक-से-एक कार्य हैं (क्योंकि <math>x</math> के लिए असमान <math>y</math>, या <math>x < y</math> या <math>x > y</math> और इसलिए, एकदिष्टता से, या तो <math>f\!\left(x\right) < f\!\left(y\right)</math> या <math>f\!\left(x\right) > f\!\left(y\right)</math>, इस प्रकार <math>f\!\left(x\right) \neq f\!\left(y\right)</math> है।)


अस्पष्टता से बचने के लिए, अशक्त एकदिष्ट, अशक्त रूप से बढ़ने और अशक्त रूप से घटने वाले शब्द प्रायः गैर-सख्त एकदिष्टिटी को संदर्भित करने के लिए उपयोग किए जाते हैं।
अस्पष्टता से बचने के लिए, अशक्त एकदिष्ट, अशक्त रूप से बढ़ने और अशक्त रूप से घटने वाले शब्द प्रायः गैर-निश्चित एकदिष्टिटी को संदर्भित करने के लिए उपयोग किए जाते हैं।


गैर-ह्वासमानऔर गैर-वर्धमान शब्दावली को (बहुत शक्तिहीन) नकारात्मक योग्यताओं के घटने और न बढ़ने के साथ भ्रमित नहीं होना चाहिए। उदाहरण के लिए, चित्र 3 में दिखाया गया गैर-एकदिष्ट प्रकार्य पहले गिरता है, फिर ऊपर उठता है, फिर से गिरता है। इसलिए यह न तो घट रहा है और न ही बढ़ रहा है, लेकिन यह न तो गैर-ह्वासमान है और न ही गैर-वर्धमान है।
गैर-न्यूनता और गैर-वर्धमान शब्दावली को (बहुत शक्तिहीन) नकारात्मक योग्यताओं के घटने और न बढ़ने के साथ भ्रमित नहीं होना चाहिए। उदाहरण के लिए, चित्र 3 में दिखाया गया गैर-एकदिष्ट फलन पहले गिरता है, फिर ऊपर उठता है, फिर से गिरता है। इसलिए यह न तो घट रहा है और न ही बढ़ रहा है, लेकिन यह न तो गैर-न्यूनता है और न ही गैर-वर्धमान है।


एक प्रकार्य <math>f\!\left(x\right)</math> को एक अंतराल <math>\left(a, b\right)</math> पर बिल्कुल एकदिष्ट कहा जाता है यदि <math>f</math> के सभी अनुक्रमों के व्युत्पादित अंतराल पर सभी बिंदुओं पर गैर-नकारात्मक या सभी गैर-[[सकारात्मक]] हैं।
एक फलन <math>f\!\left(x\right)</math> को एक अंतराल <math>\left(a, b\right)</math> पर बिल्कुल एकदिष्ट कहा जाता है यदि <math>f</math> के सभी अनुक्रमों के व्युत्पादित अंतराल पर सभी बिंदुओं पर गैर-नकारात्मक या सभी गैर-[[सकारात्मक]] हैं।


=== प्रकार्य का उलटा ===
=== फलन का व्युत्क्रमणीय ===


सभी अनुशासनपूर्वक एकदिष्ट कार्य उलटा प्रकार्य हैं क्योंकि उन्हें अपनी सीमा से अपने कार्यक्षेत्र में एक-से-एक मानचित्र की अधिपत्रित '''है।'''
सभी अनुशासनपूर्वक एकदिष्ट कार्य व्युत्क्रमणीय फलन हैं क्योंकि उन्हें अपनी सीमा से अपने कार्यक्षेत्र में एक-से-एक मानचित्र की प्रत्याभुति अधिपत्रित है।


हालांकि, ऐसे कार्य जो केवल अशक्त एकदिष्ट वाले होते हैं, व्युत्क्रमणीय नहीं होते हैं क्योंकि वे कुछ अंतराल पर स्थिर होते हैं (और इसलिए एक-से-एक नहीं होते हैं)।
हालांकि, ऐसे कार्य जो केवल अशक्त एकदिष्ट वाले होते हैं, व्युत्क्रमणीय नहीं होते हैं क्योंकि वे कुछ अंतराल पर स्थिर होते हैं (और इसलिए एक-से-एक नहीं होते हैं)।


एक प्रकार्य सीमित मूल्यों की एक सीमा पर अनुशासनपूर्वक एकदिष्ट हो सकता है और इस प्रकार उस सीमा पर उलटा हो सकता है, भले ही यह हर जगह अनुशासनपूर्वक एकदिष्ट न हो। उदाहरण के लिए, यदि <math>y = g(x)</math> सीमा पर अनुशासनपूर्वक बढ़ रहा है <math>[a, b]</math>, तो इसका व्युत्क्रम होता है <math>x = h(y)</math> सीमा पर <math>[g(a), g(b)]</math>.
एक फलन सीमित मूल्यों की एक सीमा पर अनुशासनपूर्वक एकदिष्ट हो सकता है और इस प्रकार उस सीमा पर व्युत्क्रमणीय हो सकता है, भले ही वह हर जगह अनुशासनपूर्वक एकदिष्ट न हो। उदाहरण के लिए, यदि <math>y = g(x)</math> सीमा पर <math>[a, b]</math> अनुशासनपूर्वक बढ़ रहा है, तो इसका व्युत्क्रम <math>[g(a), g(b)]</math> की सीमा पर <math>x = h(y)</math> होता है।
 
ध्यान दें कि एकदिष्ट शब्द का प्रयोग कभी-कभी अनुशासनपूर्वक एकदिष्ट के स्थान पर किया जाता है, इसलिए एक स्रोत यह बता सकता है कि सभी एकदिष्ट प्रकार्य  उलटा हो सकते हैं जब उनका वास्तव में मतलब होता है कि सभी अनुशासनपूर्वक एकदिष्ट प्रकार्य  उलटा हो जाते हैं।{{cn|reason=Give an example for such a source.|date=August 2022}}
 


ध्यान दें कि एकदिष्ट शब्द का प्रयोग कभी-कभी अनुशासनपूर्वक एकदिष्ट के स्थान पर किया जाता है, इसलिए एक स्रोत यह बता सकता है कि सभी एकदिष्ट फलन व्युत्क्रमणीय तब हो सकते हैं जब उनका वास्तव में अर्थ यह होता है कि सभी अनुशासनपूर्वक एकदिष्ट फलन व्युत्क्रमणीय हैं।
=== एकदिष्ट परिवर्तन ===
=== एकदिष्ट परिवर्तन ===


एकदिष्ट ट्रांसफ़ॉर्मेशन (या एकदिष्ट ट्रांसफ़ॉर्मेशन) शब्द भी भ्रम पैदा कर सकता है क्योंकि यह एक अनुशासनपूर्वक बढ़ते प्रकार्य  द्वारा परिवर्तन को संदर्भित करता है। यह अर्थशास्त्र में एक [[उपयोगिता समारोह|उपयोगिता प्रकार्य]] के क्रमिक गुणों के संबंध में एक एकदिष्ट परिवर्तन ([[मोनोटोन वरीयताएँ|एकदिष्ट वरीयताएँ]] भी देखें) में संरक्षित होने का मामला है।<ref>See the section on Cardinal Versus Ordinal Utility in {{harvtxt|Simon|Blume|1994}}.</ref> इस संदर्भ में, एकदिष्ट परिवर्तन शब्द एक सकारात्मक एकदिष्ट परिवर्तन को संदर्भित करता है और इसका उद्देश्य इसे "नकारात्मक एकदिष्ट परिवर्तन" से अलग करना है, जो संख्याओं के क्रम को उलट देता है।<ref>{{cite book |last=Varian |first=Hal R. |title=इंटरमीडिएट सूक्ष्मअर्थशास्त्र|edition=8th |year=2010 |publisher=W. W. Norton & Company |page=56 |isbn=9780393934243}}</ref>
एकदिष्ट परिवर्तन शब्द भी भ्रम पैदा कर सकता है क्योंकि यह एक अनुशासनपूर्वक बढ़ते फलन द्वारा परिवर्तन को संदर्भित करता है। यह अर्थशास्त्र में एक [[उपयोगिता समारोह|उपयोगिता फलन]] के क्रमिक गुणों के संबंध में एकदिष्ट परिवर्तन ([[मोनोटोन वरीयताएँ|एकदिष्ट वरीयताएँ]] भी देखें) में संरक्षित होने का मामला है।<ref>See the section on Cardinal Versus Ordinal Utility in {{harvtxt|Simon|Blume|1994}}.</ref> इस संदर्भ में, एकदिष्ट परिवर्तन शब्द एक सकारात्मक एकदिष्ट परिवर्तन को संदर्भित करता है और इसका उद्देश्य इसे "नकारात्मक एकदिष्ट परिवर्तन" से अलग करना है, जो संख्याओं के क्रम को उलट देता है।<ref>{{cite book |last=Varian |first=Hal R. |title=इंटरमीडिएट सूक्ष्मअर्थशास्त्र|edition=8th |year=2010 |publisher=W. W. Norton & Company |page=56 |isbn=9780393934243}}</ref>




=== कुछ बुनियादी अनुप्रयोग और परिणाम ===
=== कुछ बुनियादी अनुप्रयोग और परिणाम ===
[[File:Monotonic dense jumps svg.svg|thumb|550px|जम्प डिसकंटीन्युटीज के सघन सेट के साथ एकदिष्ट प्रकार्य (कई सेक्शन दिखाए गए हैं)]]एक एकदिष्ट प्रकार्य  के लिए निम्नलिखित गुण सत्य हैं <math>f\colon \mathbb{R} \to \mathbb{R}</math>:
[[File:Monotonic dense jumps svg.svg|thumb|550px|छलांग विच्छिन्नता के सघनसमुच्चय के साथ एकदिष्ट फलन (कई वर्ग दिखाए गए हैं)]]एकदिष्ट फलन के लिए निम्नलिखित गुण सत्य हैं <math>f\colon \mathbb{R} \to \mathbb{R}</math>:
*<math>f</math> प्रकार्य  के अपने डोमेन के प्रत्येक बिंदु पर दाएं और बाएं से प्रकार्य  की सीमा होती है;
*<math>f</math> फलन के अपने कार्यक्षेत्र के प्रत्येक बिंदु पर दाएं और बाएं से फलन की सीमा होती है।
*<math>f</math> सकारात्मक या नकारात्मक अनंत पर एक सीमा है (<math>\pm\infty</math>) या तो एक वास्तविक संख्या का, <math>\infty</math>, या <math>-\infty</math>.
*<math>f</math> की वास्तविक संख्या <math>\infty</math> या <math>-\infty</math> की सकारात्मक या नकारात्मक अनंत पर एक सीमा (<math>\pm\infty</math>) है।
*<math>f</math> केवल जंप असततता हो सकती है;
*<math>f</math> केवल विषयांतर असततता हो सकती है।
*<math>f</math> इसके डोमेन में एकदिष्ट फ़ंक्शंस की केवल [[गणनीय]] कई विसंगतियां हो सकती हैं। हालाँकि, विच्छिन्नताएँ, आवश्यक रूप से अलग-अलग बिंदुओं से मिलकर नहीं बनती हैं और एक अंतराल (, बी) में सघन भी हो सकती हैं। उदाहरण के लिए, किसी योग्‍य अनुक्रम के लिए <math display>(a_i)</math> सकारात्मक संख्या और किसी भी गणना की <math>(q_i)</math> [[परिमेय संख्या]]ओं का, नीरस रूप से बढ़ता हुआ फलन <math display=block>f(x)=\sum_{q_i\leq x} a_i</math> हर अपरिमेय संख्या (cf. चित्र) पर निरंतर है। यह परिमेय संख्याओं पर असतत माप का [[संचयी वितरण फलन]] है, जहाँ <math>a_i</math> का वजन है <math>q_i</math>.
*<math>f</math> के कार्यक्षेत्र में एकदिष्ट फलन की केवल [[गणनीय]] कई विसंगतियां हो सकती हैं। हालाँकि, विच्छिन्नताएँ, आवश्यक रूप से अलग-अलग बिंदुओं से मिलकर नहीं बनती हैं और एक अंतराल (a, b) में सघन भी हो सकती हैं। उदाहरण के लिए, किसी योग्‍य अनुक्रम <math display>(a_i)</math> के लिए सकारात्मक संख्या और किसी भी गणना की [[परिमेय संख्या|परिमेय संख्याओं]] <math>(q_i)</math> का एकदिष्‍टत: रूप से बढ़ता हुआ फलन<math display="block">f(x)=\sum_{q_i\leq x} a_i</math> हर अपरिमेय संख्या (cf. चित्र) पर निरंतर है। यह परिमेय संख्याओं पर असतत माप का [[संचयी वितरण फलन]] है, जहाँ <math>a_i</math> का वजन <math>q_i</math> है।


ये गुण ही कारण हैं कि [[गणितीय विश्लेषण]] में तकनीकी कार्य में एकदिष्ट प्रकार्य  उपयोगी होते हैं। इन कार्यों के अन्य महत्वपूर्ण गुणों में शामिल हैं:
ये गुण ही कारण हैं कि [[गणितीय विश्लेषण]] में तकनीकी कार्य में एकदिष्ट फलन उपयोगी होते हैं। इन कार्यों के अन्य महत्वपूर्ण गुणों में निम्न सम्मिलित हैं:
*यदि <math>f</math> एक [[अंतराल (गणित)]] पर परिभाषित एक एकदिष्ट प्रकार्य  है <math>I</math>, फिर <math>f</math> [[लगभग हर जगह]] व्युत्पन्न है <math>I</math>; यानी संख्याओं का समूह <math>x</math> में <math>I</math> ऐसा है कि <math>f</math> में अवकलनीय नहीं है <math>x</math> Lebesgue माप माप शून्य है। इसके अलावा, इस परिणाम को गणनीय में सुधार नहीं किया जा सकता है: [[कैंटर समारोह|कैंटर प्रकार्य]] देखें।
*यदि <math>f</math> [[अंतराल (गणित)]] पर परिभाषित एक एकदिष्ट फलन <math>I</math> है, तब <math>I</math> पर <math>f</math> लगभग हर जगह अवकलनीय है; यानी संख्याओं के समूह <math>x</math> में <math>I</math> ऐसे है कि <math>x</math> में <math>f</math> अवकलनीय नहीं है, इसमें लेबेस्ग माप शून्य है। इसके अलावा, इस परिणाम को संख्येय में सुधार नहीं किया जा सकता है: [[कैंटर समारोह|कैंटर फलन]] देखें।
*यदि यह सेट गणनीय है, तो <math>f</math> नितांत सतत है
*यदि यह समुच्चय गणनीय है, तो <math>f</math> नितांत सतत है।
*यदि <math>f</math> अंतराल पर परिभाषित एक एकदिष्ट प्रकार्य  है <math>\left[a, b\right]</math>, फिर <math>f</math> [[रीमैन इंटीग्रल]] है।
*यदि <math>f</math> अंतराल पर परिभाषित एक एकदिष्ट फलन <math>\left[a, b\right]</math> है, तो <math>f</math> [[रीमैन इंटीग्रल|रीमान समाकल]] है।


संभाव्यता सिद्धांत में एकदिष्ट कार्यों का एक महत्वपूर्ण अनुप्रयोग है। यदि <math>X</math> एक यादृच्छिक चर है, इसका संचयी वितरण कार्य <math>F_X\!\left(x\right) = \text{Prob}\!\left(X \leq x\right)</math> एक नीरस रूप से बढ़ता हुआ कार्य है।
प्रायिकता सिद्धांत में एकदिष्ट कार्यों का एक महत्वपूर्ण अनुप्रयोग है। यदि <math>X</math> एक यादृच्छिक चर है, इसका संचयी वितरण कार्य <math>F_X\!\left(x\right) = \text{Prob}\!\left(X \leq x\right)</math> एकदिष्‍टत: रूप से बढ़ता हुआ कार्य है।


एक फलन एकरूपी फलन है यदि यह नीरस रूप से किसी बिंदु तक बढ़ रहा है (बहुलक (सांख्यिकी)) और फिर नीरस रूप से घट रहा है।
फलन एकबहुलकी है यदि यह एकदिष्‍टत: रूप से किसी बिंदु तक बढ़ रहा है (बहुलक (सांख्यिकी)) और फिर एकदिष्‍टत: रूप से घट रहा है।


कब <math>f</math> एक अनुशासनपूर्वक एकदिष्ट प्रकार्य  है, फिर <math>f</math> अपने डोमेन पर [[इंजेक्शन समारोह|इंजेक्शन प्रकार्य]] है, और यदि <math>T</math> के [[एक समारोह की सीमा|एक प्रकार्य की सीमा]] है <math>f</math>, तो वहाँ एक उलटा कार्य होता है <math>T</math> के लिये <math>f</math>. इसके विपरीत, प्रत्येक निरंतर कार्य एकदिष्ट है, लेकिन इंजेक्शन नहीं है,<ref>if its domain has more than one element</ref> और इसलिए इसका व्युत्क्रम नहीं हो सकता।
जब <math>f</math> एक अनुशासनपूर्वक एकदिष्ट फलन है, तो <math>f</math> अपने कार्यक्षेत्र पर [[इंजेक्शन समारोह|अंतःक्षेपक फलन]] है, और यदि <math>T</math> के [[एक समारोह की सीमा|एक फलन की सीमा]] <math>f</math> है, तो वहाँ <math>f</math> के लिये <math>T</math> पर एक व्युत्क्रमणीय कार्य होता है। इसके विपरीत, प्रत्येक निरंतर कार्य एकदिष्ट है, लेकिन अंतःक्षेपक नहीं है,<ref>if its domain has more than one element</ref> और इसलिए इसका व्युत्क्रम नहीं हो सकता।


== टोपोलॉजी में ==
== सांस्थिति में ==
{{anchor|Monotone function (topology)|Monotonic function (topology)}}
मानचित्र <math>f: X \to Y</math> एकदिष्ट कहा जाता है यदि इसके प्रत्येक सूत्र [[कनेक्टेड (टोपोलॉजी)|आनुषंगिक (सांस्थिति)]] हैं; अर्थात्, प्रत्येक तत्व के लिए <math>y \in Y,</math> (संभवतः खाली) समुच्चय <math>f^{-1}(y)</math> का आनुषंगिक [[सबस्पेस टोपोलॉजी|उपसमष्‍टि सांस्थिति]] <math>X</math> है।
नक्षा <math>f: X \to Y</math> एकदिष्ट कहा जाता है यदि इसके प्रत्येक फाइबर (गणित)#फाइबर इन नेव सेट थ्योरी [[कनेक्टेड (टोपोलॉजी)]] है; अर्थात्, प्रत्येक तत्व के लिए <math>y \in Y,</math> (संभवतः खाली) सेट <math>f^{-1}(y)</math> का कनेक्टेड [[सबस्पेस टोपोलॉजी]] है <math>X.</math>




== [[कार्यात्मक विश्लेषण]] में ==
== [[कार्यात्मक विश्लेषण]] में ==


[[टोपोलॉजिकल वेक्टर स्पेस]] पर कार्यात्मक विश्लेषण में <math>X</math>, एक (संभवतः गैर-रैखिक) ऑपरेटर <math>T: X \rightarrow X^*</math> एक एकदिष्ट ऑपरेटर कहा जाता है यदि
[[टोपोलॉजिकल वेक्टर स्पेस|सांस्थितिक सदिश समष्टि]] पर कार्यात्मक विश्लेषण में <math>X</math>, एक (संभवतः गैर-रैखिक) संचालक <math>T: X \rightarrow X^*</math> एकदिष्ट संचालक कहा जाता है यदि


:<math>(Tu - Tv, u - v) \geq 0 \quad \forall u,v \in X.</math>
:<math>(Tu - Tv, u - v) \geq 0 \quad \forall u,v \in X</math>
कचुरोवस्की के प्रमेय से पता चलता है कि बनच रिक्त स्थान पर उत्तल कार्य उनके डेरिवेटिव के रूप में एकदिष्ट ऑपरेटर हैं।
कचुरोवस्की के प्रमेय से पता चलता है कि बानाख अंतरालक पर उत्तल कार्य में उनके व्युत्पादित के रूप में एकदिष्ट संचालक हैं।


उपसमुच्चय <math>G</math> का <math>X \times X^*</math> यदि हर जोड़ी के लिए एक एकदिष्ट सेट कहा जाता है <math>[u_1, w_1]</math> तथा <math>[u_2, w_2]</math> में <math>G</math>,
<math>X \times X^*</math> उपसमुच्चय <math>G</math> का एकदिष्ट समुच्चय कहा जाता है यदि हर जोड़ी के लिए <math>G</math> में <math>[u_1, w_1]</math> तथा <math>[u_2, w_2]</math>,


:<math>(w_1 - w_2, u_1 - u_2) \geq 0.</math>
:<math>(w_1 - w_2, u_1 - u_2) \geq 0</math> है।


<math>G</math> अधिकतम एकदिष्ट कहा जाता है यदि यह सेट समावेशन के अर्थ में सभी एकदिष्ट सेटों में अधिकतम है। एक एकदिष्ट ऑपरेटर का ग्राफ <math>G(T)</math> एक एकदिष्ट सेट है। एक एकदिष्ट ऑपरेटर को अधिकतम एकदिष्ट कहा जाता है यदि इसका ग्राफ़ अधिकतम एकदिष्ट सेट है।
<math>G</math> अधिकतम एकदिष्ट कहा जाता है यदि यहसमुच्चय समावेशन के अर्थ में सभी एकदिष्ट समुच्चयों में अधिकतम है। एकदिष्ट संचालक का लेखाचित्र <math>G(T)</math> एकदिष्ट समुच्चय है। एकदिष्ट संचालक को अधिकतम एकदिष्ट कहा जाता है यदि इसका लेखाचित्र अधिकतम एकदिष्ट समुच्चय है।


== क्रम सिद्धांत में ==
== क्रम सिद्धांत में ==
{{anchor|Monotone function (order theory)}}
अनुक्रम सिद्धांत मनमाना आंशिक रूप से अनुक्रम किए गए समुच्चय और वास्तविक संख्याओं के सामान्यीकरण के रूप में [[पूर्व आदेश|पूर्व अनुक्रम]] से संबंधित है। एकदिष्टता की उपरोक्त परिभाषा इन मामलों में भी प्रासंगिक है। हालांकि, बढ़ते और घटते नियमों  से बचा जाता है, क्योंकि उनका पारंपरिक सचित्र प्रतिनिधित्व उन अनुक्रम पर लागू नहीं होता है जो कुल अनुक्रम नहीं हैं। इसके अलावा, [[सख्त आदेश|यथार्थ अनुक्रम]] संबंध < और > कई गैर-[[कुल आदेश|कुल अनुक्रमों]] में बहुत कम उपयोग होते हैं और इसलिए उनके लिए कोई अतिरिक्त शब्दावली पेश नहीं की जाती है।
अनुक्रम थ्योरी मनमाना आंशिक रूप से अनुक्रम किए गए सेट और वास्तविक संख्याओं के सामान्यीकरण के रूप में [[पूर्व आदेश|पूर्व अनुक्रम]] से संबंधित है। एकदिष्टता की उपरोक्त परिभाषा इन मामलों में भी प्रासंगिक है। हालांकि, बढ़ती और घटती शर्तों से बचा जाता है, क्योंकि उनका पारंपरिक सचित्र प्रतिनिधित्व उन अनुक्रम पर लागू नहीं होता है जो कुल अनुक्रम नहीं हैं। इसके अलावा, [[सख्त आदेश|सख्त अनुक्रम]] संबंध < और > कई गैर-[[कुल आदेश|कुल अनुक्रम]]ों में बहुत कम उपयोग होते हैं और इसलिए उनके लिए कोई अतिरिक्त शब्दावली पेश नहीं की जाती है।


को किसी भी आंशिक रूप से अनुक्रम किए गए सेट के आंशिक क्रम संबंध को दर्शाता है, एक एकदिष्ट प्रकार्य , जिसे आइसोटोन भी कहा जाता है, या{{visible anchor|order-preserving}}, विशेषता को संतुष्ट करता है
मान लीजिये ≤ किसी भी आंशिक रूप से अनुक्रम किए गए समुच्चय के आंशिक क्रम संबंध को दर्शाता है, वह एकदिष्ट फलन है, जिसे समतान या {{visible anchor|क्रम-संरक्षी}} भी कहा जाता है, और वह विशेषता को संतुष्ट करता है।


: x ≤ y का अर्थ है f(x) ≤ f(y),
: x ≤ y का अर्थ f(x) ≤ f(y) है।


इसके डोमेन में सभी x और y के लिए। दो एकदिष्ट मैपिंग का सम्मिश्रण भी एकदिष्ट है।
इसके कार्यक्षेत्र में सभी x और y के लिए दो एकदिष्ट प्रतिचित्रण का सम्मिश्रण भी एकदिष्ट है।


[[द्वैत (आदेश सिद्धांत)|द्वैत (अनुक्रम सिद्धांत)]] धारणा को प्रायः एंटीटोन, एंटी-एकदिष्ट या अनुक्रम-रिवर्सिंग कहा जाता है। इसलिए, एक एंटीटोन प्रकार्य  f विशेषता को संतुष्ट करता है
[[द्वैत (आदेश सिद्धांत)|द्वैत (अनुक्रम सिद्धांत)]] धारणा को प्रायः एंटीटोन, प्रति-एकदिष्ट या अनुक्रम-उत्क्रमी कहा जाता है। इसलिए, एक एंटीटोन फलन f विशेषता को संतुष्ट करता है।


: x y का अर्थ है f(y) ≤ f(x),
इसके कार्यक्षेत्र में सभी x और y के लिए


इसके डोमेन में सभी x और y के लिए।
: x y का अर्थ है f(y) ≤ f(x)


एक स्थिर कार्य एकदिष्ट और एंटीटोन दोनों है; इसके विपरीत, यदि f एकदिष्ट और एंटीटोन दोनों है, और यदि f का डोमेन एक जाली (क्रम) है, तो f स्थिर होना चाहिए।
एक स्थिर कार्य एकदिष्ट और एंटीटोन दोनों है; इसके विपरीत, यदि f एकदिष्ट और एंटीटोन दोनों है और f का कार्यक्षेत्र एक जालक (क्रम) है, तो f स्थिर होना चाहिए।


क्रम सिद्धांत में एकदिष्ट फ़ंक्शंस केंद्रीय हैं। वे इस विषय पर अधिकांश लेखों में दिखाई देते हैं और विशेष अनुप्रयोगों के उदाहरण इन स्थानों पर पाए जाते हैं। कुछ उल्लेखनीय विशेष एकदिष्ट फ़ंक्शंस [[आदेश एम्बेडिंग|अनुक्रम एम्बेडिंग]] हैं (प्रकार्य जिसके लिए x ≤ y [[अगर और केवल अगर|यदि और केवल यदि]] f(x) ≤ f(y)) और [[आदेश समरूपता|अनुक्रम समरूपता]] ([[विशेषण]] अनुक्रम एम्बेडिंग)
क्रम सिद्धांत में एकदिष्ट फलन केंद्रीय हैं। वे इस विषय पर अधिकांश लेखों में दिखाई देते हैं और विशेष अनुप्रयोगों के उदाहरण इन स्थानों पर पाए जाते हैं। कुछ उल्लेखनीय विशेष एकदिष्ट फलन [[आदेश एम्बेडिंग|अनुक्रम अंतःस्थापन]] हैं (फलन जिसके लिए x ≤ y [[अगर और केवल अगर|यदि और केवल यदि]] f(x) ≤ f(y)) और [[आदेश समरूपता|अनुक्रम समरूपता]] ([[विशेषण]] अनुक्रम अंत: स्थापन) हैं।


== [[खोज एल्गोरिदम]] के संदर्भ में ==
== [[खोज एल्गोरिदम|खोज कलन विधि]] के संदर्भ में ==
खोज एल्गोरिदम के संदर्भ में एकदिष्टता (जिसे संगति भी कहा जाता है) अनुमानी कार्यों पर लागू एक शर्त है। एक [[अनुमानी समारोह|अनुमानी प्रकार्य]] (एन) एकदिष्ट है, यदि प्रत्येक नोड एन और एन के प्रत्येक उत्तराधिकारी एन 'के लिए किसी भी कार्रवाई से उत्पन्न होता है, एन से लक्ष्य तक पहुंचने की अनुमानित लागत एन' प्लस प्राप्त करने की चरण लागत से अधिक नहीं है n' से लक्ष्य तक पहुँचने की अनुमानित लागत,
खोज कलन विधि के संदर्भ में एकदिष्टता (जिसे संगति भी कहा जाता है) [[अनुमानी समारोह|स्वानुभविक]] कार्यों पर लागू एक परिस्थिति है। एक [[अनुमानी समारोह|स्वानुभविक]] h(n) एकदिष्ट है, यदि प्रत्येक पर्णग्रंथि n और n के प्रत्येक उत्तराधिकारी n' किसी भी कार्रवाई a से उत्पन्न होता है, n से लक्ष्य तक पहुँचने की अनुमानित लागत, n' तक पहुँचने की चरण लागत और n से लक्ष्य तक पहुँचने की अनुमानित लागत से अधिक नहीं है।


:<math>h(n) \leq c\left(n, a, n'\right) + h\left(n'\right).</math>
:<math>h(n) \leq c\left(n, a, n'\right) + h\left(n'\right).</math>
यह n, n' और लक्ष्य G के साथ त्रिभुज असमानता का एक रूप है<sub>n</sub>एन के सबसे करीब। क्योंकि प्रत्येक एकदिष्ट ह्यूरिस्टिक भी स्वीकार्य ह्यूरिस्टिक है, स्वीकार्यता की तुलना में एकदिष्टिटी एक सख्त आवश्यकता है। कुछ अनुमानी एल्गोरिथम जैसे A* खोज एल्गोरिद्म|A* को असम्बद्ध रूप से इष्टतम एल्गोरिथम सिद्ध किया जा सकता है, बशर्ते कि वे जिस अनुमानी का उपयोग करते हैं वह एकदिष्ट हो।<ref>Conditions for optimality:  Admissibility and consistency pg. 94–95 {{Harv|Russell|Norvig|2010}}.</ref>
यह n, n' और n के सबसे करीब लक्ष्य G<sub>n</sub> के साथ त्रिभुज असमानता का एक रूप है। क्योंकि प्रत्येक एकदिष्ट स्वानुभविक भी स्वीकार्य है, स्वीकार्यता की तुलना में एकदिष्टिटी एक कड़ी आवश्यकता है। कुछ स्वानुभविक कलन विधि जैसे A* को असम्बद्ध रूप से इष्टतम कलन विधि सिद्ध किया जा सकता है, परंतु वे जिस अनुमानी का उपयोग करते हैं वह एकदिष्ट होना चाहिए।<ref>Conditions for optimality:  Admissibility and consistency pg. 94–95 {{Harv|Russell|Norvig|2010}}.</ref>




== बूलियन कार्यों में ==
== बूलीय फलन में ==
{| style="float:right;"
{| style="float:right;"
| [[File:Hasse3 x impl y and z.svg|thumb|With the nonmonotonic function "if ''a'' then both ''b'' and ''c''", {{color|#c00000|false}} nodes appear above {{color|#00c000|true}} nodes.]]
| [[File:Hasse3 x impl y and z.svg|thumb|गैर- एकदिष्ट फलन "यदि a है तो दोनों b और c" के साथ, झूठे पर्णग्रंथि सच्चे पर्णग्रंथि के ऊपर दिखाई देते हैं]]
|}
|}
{| style="float:right;"
{| style="float:right;"
| [[File:Hasse3 ge2.svg|thumb|Hasse diagram of the monotonic function "at least two of ''a'', ''b'', ''c'' hold". Colors indicate function output values.]]
| [[File:Hasse3 ge2.svg|thumb|एकदिष्ट फलन का हास आरेख " a, b, c में से कम से कम दो पकड़ रखते हैं "। रंग फलन निर्गत मान दर्शाते हैं]]
|}
|}
[[बूलियन बीजगणित (तर्क)]] में, एक एकदिष्ट प्रकार्य  ऐसा है जो सभी के लिए है<sub>''i''</sub> और बी<sub>''i''</sub> {0,1} में, यदि {{nowrap|''a''<sub>1</sub> ≤ ''b''<sub>1</sub>}}, {{nowrap|''a''<sub>2</sub> ≤ ''b''<sub>2</sub>}}, ..., {{nowrap|''a''<sub>''n''</sub> ≤ ''b''<sub>''n''</sub>}} (यानी कार्टेशियन उत्पाद {0, 1}<sup>n</sup> को निर्देशांकानुसार क्रमित किया गया है), तब {{nowrap|f(''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub>) ≤ f(''b''<sub>1</sub>, ..., ''b''<sub>''n''</sub>)}}. दूसरे शब्दों में, एक बूलियन प्रकार्य  एकदिष्ट होता है, यदि इनपुट के प्रत्येक संयोजन के लिए, इनपुट में से किसी एक को गलत से सही पर स्विच करने से केवल आउटपुट को गलत से सही पर स्विच किया जा सकता है, न कि सही से गलत पर। रेखांकन से, इसका मतलब यह है कि एक एन-आरी बूलियन प्रकार्य  एकदिष्ट है जब एक हाइपरक्यूब के रूप में इसका प्रतिनिधित्व किया जाता है | सत्य मूल्यों के साथ लेबल किए गए एन-क्यूब में सत्य से असत्य तक कोई ऊपर की ओर नहीं है। (यह लेबल किया गया हस्से आरेख द्वैत (गणित) है # प्रकार्य  के लेबल किए गए [[वेन आरेख]] का आयाम-उलटा द्वैत है, जो इसके लिए अधिक सामान्य प्रतिनिधित्व है {{nowrap|''n'' ≤ 3}}.)
[[बूलियन बीजगणित (तर्क)]] में, एकदिष्ट फलन ऐसा है जो सभी के लिए a<sub>''i''</sub> और b<sub>''i''</sub> {0,1} में है, यदि {{nowrap|''a''<sub>1</sub> ≤ ''b''<sub>1</sub>}}, {{nowrap|''a''<sub>2</sub> ≤ ''b''<sub>2</sub>}}, ..., {{nowrap|''a''<sub>''n''</sub> ≤ ''b''<sub>''n''</sub>}} (यानी कार्तीय उत्पाद {0, 1}<sup>n</sup> को निर्देशांकानुसार क्रमित किया गया है), तब {{nowrap|f(''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub>) ≤ f(''b''<sub>1</sub>, ..., ''b''<sub>''n''</sub>)}}दूसरे शब्दों में, बूलीय फलन एकदिष्ट होता है, यदि आगत के प्रत्येक संयोजन के लिए, आगत में से किसी एक को गलत से सही पर बदल देने से केवल निर्गत को गलत से सही पर बदला जा सकता है, न कि सही से गलत पर। रेखांकन से, इसका मतलब यह है कि एक n-आरी बूलीय फलन एकदिष्ट है जब एक अतिविम के रूप में इसका प्रतिनिधित्व किया जाता है| सत्य मूल्यों के साथ चिह्नित किए गए n-घन में सत्य से असत्य तक कोई ऊपर की ओर नहीं है। (यह चिह्नित किया गया हस्से आरेख द्वैत (गणित) है फलन के चिह्नित किए गए [[वेन आरेख]] का आयाम-व्युत्क्रमणीय द्वैत है, जो इसके लिए अधिक सामान्य प्रतिनिधित्व {{nowrap|''n'' ≤ 3}} है)


एकदिष्ट बूलियन फ़ंक्शंस ठीक वे हैं जिन्हें केवल ऑपरेटर्स [[तार्किक संयोजन]] और [[तार्किक विच्छेदन]] (विशेष रूप से निषेध वर्जित है) का उपयोग करके इनपुट्स (जो एक से अधिक बार प्रकट हो सकते हैं) के संयोजन द्वारा परिभाषित किया जा सकता है। उदाहरण के लिए कम से कम दो ए, बी, सी होल्ड ए, बी, सी का एक एकदिष्ट प्रकार्य  है, क्योंकि इसे उदाहरण के लिए ((और बी) या (और सी) या (बी और सी)) के रूप में लिखा जा सकता है। .
एकदिष्ट बूलीय फलन यथावत् वे हैं जिन्हें केवल संचालक [[तार्किक संयोजन]] और [[तार्किक विच्छेदन]] (विशेष रूप से निषेध वर्जित है) का उपयोग करके आगत्स (जो एक से अधिक बार प्रकट हो सकते हैं) के संयोजन द्वारा परिभाषित किया जा सकता है। उदाहरण के लिए a, b, c में से कम से कम दो रुकते हैं a, b, c का एक एकदिष्ट फलन है, क्योंकि इसे उदाहरण के लिए ((a और b) या (a और c) या (b और c)) के रूप में लिखा जा सकता है। .


n चरों पर ऐसे कार्यों की संख्या को n की डेडेकिंड संख्या के रूप में जाना जाता है।
n चरों पर ऐसे कार्यों की संख्या को n की डेडेकिंड संख्या के रूप में जाना जाता है।


== यह भी देखें ==
== यह भी देखें ==
* [[मोनोटोन क्यूबिक इंटरपोलेशन|एकदिष्ट क्यूबिक इंटरपोलेशन]]
* [[मोनोटोन क्यूबिक इंटरपोलेशन|एकदिष्ट घनाकार अंतःक्षेप]]
* [[छद्म-मोनोटोन ऑपरेटर|छद्म-एकदिष्ट ऑपरेटर]]
* [[छद्म-मोनोटोन ऑपरेटर|छद्म-एकदिष्ट संचालक]]
* स्पीयरमैन का रैंक सहसंबंध गुणांक - डेटा के एक सेट में एकदिष्टता का माप
* कुंतधारी का श्रेणी सहसंबंध गुणांक - आकड़ों के एकसमुच्चय में एकदिष्टता का माप
* [[कुल एकरसता|कुल एकदिष्टता]]
* [[कुल एकरसता|कुल एकदिष्टता]]
* [[चक्रीय एकरसता|चक्रीय एकदिष्टता]]
* [[चक्रीय एकरसता|चक्रीय एकदिष्टता]]
* [[ऑपरेटर मोनोटोन फ़ंक्शन|ऑपरेटर एकदिष्ट प्रकार्य]]
* [[ऑपरेटर मोनोटोन फ़ंक्शन|संचालक एकदिष्ट फलन]]


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 182: Line 174:
  | isbn = 978-0-393-95733-4
  | isbn = 978-0-393-95733-4
}} (Definition 9.31)
}} (Definition 9.31)
==इस पेज में लापता आंतरिक लिंक की सूची==
*गणित में क्रम संरचनाओं की सूची
*अंक शास्त्र
*प्रकार्य (गणित)
*अनुक्रम संबंध
*एक-से-एक प्रकार्य
*गैर नकारात्मक
*उलटा काम करना
*एक प्रकार्य की सीमा
*किसी प्रकार्य  का डोमेन
*कूदना बंद करो
*योग्‍य क्रम
*एकदिष्ट कार्यों की निरंतरता
*असतत उपाय
*यौगिक
*लेबेस्ग उपाय
*शून्य को मापें
*सिद्धांत संभावना
*अनियमित चर
*मोड (सांख्यिकी)
*एकरूप प्रकार्य
*उत्तल प्रकार्य
*बनच स्थान
*आंशिक रूप से अनुक्रमित सेट
*जाली (अनुक्रम)
*निरंतर कार्य
*असमानित त्रिकोण
*अनुमानी एल्गोरिथ्म
*ए * खोज एल्गोरिदम
*स्वीकार्य अनुमानी
*असम्बद्ध रूप से इष्टतम एल्गोरिदम
*समन्वय क्रम
*हस्स आरेख
*नकार
*डेडेकाइंड संख्या
== बाहरी संबंध ==
== बाहरी संबंध ==
* {{springer|title=Monotone function|id=p/m064830}}
* {{springer|title=Monotone function|id=p/m064830}}
* [http://demonstrations.wolfram.com/ConvergenceOfAMonotonicSequence/ Convergence of a Monotonic Sequence] by Anik Debnath and Thomas Roxlo (The Harker School), [[Wolfram Demonstrations Project]].
* [http://demonstrations.wolfram.com/ConvergenceOfAMonotonicSequence/ Convergence of a Monotonic Sequence] by Anik Debnath and Thomas Roxlo (The Harker School), [[Wolfram Demonstrations Project]].
* {{MathWorld |title=Monotonic Function |id=MonotonicFunction}}
* {{MathWorld |title=Monotonic Function |id=MonotonicFunction}}
[[Category: कार्यात्मक विश्लेषण]]
 
[[Category:All articles with unsourced statements]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Articles with short description]]
[[Category:Articles with unsourced statements from August 2022]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 25/11/2022]]
[[Category:Machine Translated Page]]
[[Category:Missing redirects]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]
[[Category:आदेश सिद्धांत]]
[[Category:आदेश सिद्धांत]]
[[Category:कार्यात्मक विश्लेषण]]
[[Category:कार्यों के प्रकार]]
[[Category:वास्तविक विश्लेषण]]
[[Category:वास्तविक विश्लेषण]]
[[Category: कार्यों के प्रकार]]
[[Category: Machine Translated Page]]
[[Category:Created On 25/11/2022]]

Latest revision as of 13:40, 1 November 2023

चित्रा 1. एक नीरस रूप से गैर-घटता कार्य।
चित्रा 2. एक नीरस रूप से गैर-बढ़ता हुआ कार्य
चित्रा 3. एक फलन जो एकदिष्ट नहीं है

गणित में, एकदिष्ट फलन गणित में क्रमित संरचनाओं की सूची के बीच एक फलन (गणित) है जो दिए गए क्रमवार को संरक्षित या उलट देता है।[1][2][3] यह अवधारणा पहले गणना में उत्पन्न हुई, और बाद में अनुक्रम सिद्धांत की अधिक अमूर्त अस्त के लिए सामान्यीकृत की गई।

कलन और विश्लेषण में

कलन में, एक फलन वास्तविक मानों के साथ वास्तविक संख्याओं के उपसमुच्चय पर परिभाषित को एकदिष्ट कहा जाता है यदि और केवल यदि यह पूरी तरह से गैर-बढ़ती हैं, या पूरी तरह से गैर-घटती हैं।[2] चित्र 1 के अनुसार, एक कार्य जो एकदिष्‍टत: बढ़ता है उसे विशेष रूप से बढ़ाना नहीं है, इसे बस कम नहीं होने देना है।

एक फलन को एकदिष्ट रूप से बढ़ता (बढ़ते या गैर-घटते भी) कहा जाता है[3] यदि सभी तथा के लिए ऐसे कि एक के पास है, तो क्रम को बनाए रखता है (चित्र 1 देखें)। इसी तरह, एक फलन को एकदिष्‍टत: रूप से घटता हुआ (घटते या गैर-बढ़ते भी) कहा जाता है[3] यदि, जब भी , तत्पश्चात होता है, तो यह क्रम को उलट देता है (चित्र 2 देखें)।

यदि अनुक्रम एकदिष्टता की परिभाषा में कड़े अनुक्रम द्वारा प्रतिस्थापित किया गया है, और वह दृढ़ आवश्यकता प्राप्त करता है। इस विशेषता के साथ एक फलन को अनुशासनपूर्वक बढ़ना कहा जाता है।[3][4] फिर से, अनुक्रम प्रतीक को उल्टा करके, एक संबंधित अवधारणा को अनुशासनपूर्वक घटता हुआ (भी घटता हुआ) कहा जाता है।[3][4]किसी भी विशेषता वाले फलन को अनुशासनपूर्वक एकदिष्ट कहा जाता है। कार्य जो अनुशासनपूर्वक एकदिष्ट हैं वे एक-से-एक कार्य हैं (क्योंकि के लिए असमान , या या और इसलिए, एकदिष्टता से, या तो या , इस प्रकार है।)

अस्पष्टता से बचने के लिए, अशक्त एकदिष्ट, अशक्त रूप से बढ़ने और अशक्त रूप से घटने वाले शब्द प्रायः गैर-निश्चित एकदिष्टिटी को संदर्भित करने के लिए उपयोग किए जाते हैं।

गैर-न्यूनता और गैर-वर्धमान शब्दावली को (बहुत शक्तिहीन) नकारात्मक योग्यताओं के घटने और न बढ़ने के साथ भ्रमित नहीं होना चाहिए। उदाहरण के लिए, चित्र 3 में दिखाया गया गैर-एकदिष्ट फलन पहले गिरता है, फिर ऊपर उठता है, फिर से गिरता है। इसलिए यह न तो घट रहा है और न ही बढ़ रहा है, लेकिन यह न तो गैर-न्यूनता है और न ही गैर-वर्धमान है।

एक फलन को एक अंतराल पर बिल्कुल एकदिष्ट कहा जाता है यदि के सभी अनुक्रमों के व्युत्पादित अंतराल पर सभी बिंदुओं पर गैर-नकारात्मक या सभी गैर-सकारात्मक हैं।

फलन का व्युत्क्रमणीय

सभी अनुशासनपूर्वक एकदिष्ट कार्य व्युत्क्रमणीय फलन हैं क्योंकि उन्हें अपनी सीमा से अपने कार्यक्षेत्र में एक-से-एक मानचित्र की प्रत्याभुति अधिपत्रित है।

हालांकि, ऐसे कार्य जो केवल अशक्त एकदिष्ट वाले होते हैं, व्युत्क्रमणीय नहीं होते हैं क्योंकि वे कुछ अंतराल पर स्थिर होते हैं (और इसलिए एक-से-एक नहीं होते हैं)।

एक फलन सीमित मूल्यों की एक सीमा पर अनुशासनपूर्वक एकदिष्ट हो सकता है और इस प्रकार उस सीमा पर व्युत्क्रमणीय हो सकता है, भले ही वह हर जगह अनुशासनपूर्वक एकदिष्ट न हो। उदाहरण के लिए, यदि सीमा पर अनुशासनपूर्वक बढ़ रहा है, तो इसका व्युत्क्रम की सीमा पर होता है।

ध्यान दें कि एकदिष्ट शब्द का प्रयोग कभी-कभी अनुशासनपूर्वक एकदिष्ट के स्थान पर किया जाता है, इसलिए एक स्रोत यह बता सकता है कि सभी एकदिष्ट फलन व्युत्क्रमणीय तब हो सकते हैं जब उनका वास्तव में अर्थ यह होता है कि सभी अनुशासनपूर्वक एकदिष्ट फलन व्युत्क्रमणीय हैं।

एकदिष्ट परिवर्तन

एकदिष्ट परिवर्तन शब्द भी भ्रम पैदा कर सकता है क्योंकि यह एक अनुशासनपूर्वक बढ़ते फलन द्वारा परिवर्तन को संदर्भित करता है। यह अर्थशास्त्र में एक उपयोगिता फलन के क्रमिक गुणों के संबंध में एकदिष्ट परिवर्तन (एकदिष्ट वरीयताएँ भी देखें) में संरक्षित होने का मामला है।[5] इस संदर्भ में, एकदिष्ट परिवर्तन शब्द एक सकारात्मक एकदिष्ट परिवर्तन को संदर्भित करता है और इसका उद्देश्य इसे "नकारात्मक एकदिष्ट परिवर्तन" से अलग करना है, जो संख्याओं के क्रम को उलट देता है।[6]


कुछ बुनियादी अनुप्रयोग और परिणाम

छलांग विच्छिन्नता के सघनसमुच्चय के साथ एकदिष्ट फलन (कई वर्ग दिखाए गए हैं)

एकदिष्ट फलन के लिए निम्नलिखित गुण सत्य हैं :

  • फलन के अपने कार्यक्षेत्र के प्रत्येक बिंदु पर दाएं और बाएं से फलन की सीमा होती है।
  • की वास्तविक संख्या या की सकारात्मक या नकारात्मक अनंत पर एक सीमा () है।
  • केवल विषयांतर असततता हो सकती है।
  • के कार्यक्षेत्र में एकदिष्ट फलन की केवल गणनीय कई विसंगतियां हो सकती हैं। हालाँकि, विच्छिन्नताएँ, आवश्यक रूप से अलग-अलग बिंदुओं से मिलकर नहीं बनती हैं और एक अंतराल (a, b) में सघन भी हो सकती हैं। उदाहरण के लिए, किसी योग्‍य अनुक्रम के लिए सकारात्मक संख्या और किसी भी गणना की परिमेय संख्याओं का एकदिष्‍टत: रूप से बढ़ता हुआ फलन
    हर अपरिमेय संख्या (cf. चित्र) पर निरंतर है। यह परिमेय संख्याओं पर असतत माप का संचयी वितरण फलन है, जहाँ का वजन है।

ये गुण ही कारण हैं कि गणितीय विश्लेषण में तकनीकी कार्य में एकदिष्ट फलन उपयोगी होते हैं। इन कार्यों के अन्य महत्वपूर्ण गुणों में निम्न सम्मिलित हैं:

  • यदि अंतराल (गणित) पर परिभाषित एक एकदिष्ट फलन है, तब पर लगभग हर जगह अवकलनीय है; यानी संख्याओं के समूह में ऐसे है कि में अवकलनीय नहीं है, इसमें लेबेस्ग माप शून्य है। इसके अलावा, इस परिणाम को संख्येय में सुधार नहीं किया जा सकता है: कैंटर फलन देखें।
  • यदि यह समुच्चय गणनीय है, तो नितांत सतत है।
  • यदि अंतराल पर परिभाषित एक एकदिष्ट फलन है, तो रीमान समाकल है।

प्रायिकता सिद्धांत में एकदिष्ट कार्यों का एक महत्वपूर्ण अनुप्रयोग है। यदि एक यादृच्छिक चर है, इसका संचयी वितरण कार्य एकदिष्‍टत: रूप से बढ़ता हुआ कार्य है।

फलन एकबहुलकी है यदि यह एकदिष्‍टत: रूप से किसी बिंदु तक बढ़ रहा है (बहुलक (सांख्यिकी)) और फिर एकदिष्‍टत: रूप से घट रहा है।

जब एक अनुशासनपूर्वक एकदिष्ट फलन है, तो अपने कार्यक्षेत्र पर अंतःक्षेपक फलन है, और यदि के एक फलन की सीमा है, तो वहाँ के लिये पर एक व्युत्क्रमणीय कार्य होता है। इसके विपरीत, प्रत्येक निरंतर कार्य एकदिष्ट है, लेकिन अंतःक्षेपक नहीं है,[7] और इसलिए इसका व्युत्क्रम नहीं हो सकता।

सांस्थिति में

मानचित्र एकदिष्ट कहा जाता है यदि इसके प्रत्येक सूत्र आनुषंगिक (सांस्थिति) हैं; अर्थात्, प्रत्येक तत्व के लिए (संभवतः खाली) समुच्चय का आनुषंगिक उपसमष्‍टि सांस्थिति है।


कार्यात्मक विश्लेषण में

सांस्थितिक सदिश समष्टि पर कार्यात्मक विश्लेषण में , एक (संभवतः गैर-रैखिक) संचालक एकदिष्ट संचालक कहा जाता है यदि

कचुरोवस्की के प्रमेय से पता चलता है कि बानाख अंतरालक पर उत्तल कार्य में उनके व्युत्पादित के रूप में एकदिष्ट संचालक हैं।

उपसमुच्चय का एकदिष्ट समुच्चय कहा जाता है यदि हर जोड़ी के लिए में तथा ,

है।

अधिकतम एकदिष्ट कहा जाता है यदि यहसमुच्चय समावेशन के अर्थ में सभी एकदिष्ट समुच्चयों में अधिकतम है। एकदिष्ट संचालक का लेखाचित्र एकदिष्ट समुच्चय है। एकदिष्ट संचालक को अधिकतम एकदिष्ट कहा जाता है यदि इसका लेखाचित्र अधिकतम एकदिष्ट समुच्चय है।

क्रम सिद्धांत में

अनुक्रम सिद्धांत मनमाना आंशिक रूप से अनुक्रम किए गए समुच्चय और वास्तविक संख्याओं के सामान्यीकरण के रूप में पूर्व अनुक्रम से संबंधित है। एकदिष्टता की उपरोक्त परिभाषा इन मामलों में भी प्रासंगिक है। हालांकि, बढ़ते और घटते नियमों से बचा जाता है, क्योंकि उनका पारंपरिक सचित्र प्रतिनिधित्व उन अनुक्रम पर लागू नहीं होता है जो कुल अनुक्रम नहीं हैं। इसके अलावा, यथार्थ अनुक्रम संबंध < और > कई गैर-कुल अनुक्रमों में बहुत कम उपयोग होते हैं और इसलिए उनके लिए कोई अतिरिक्त शब्दावली पेश नहीं की जाती है।

मान लीजिये ≤ किसी भी आंशिक रूप से अनुक्रम किए गए समुच्चय के आंशिक क्रम संबंध को दर्शाता है, वह एकदिष्ट फलन है, जिसे समतान या क्रम-संरक्षी भी कहा जाता है, और वह विशेषता को संतुष्ट करता है।

x ≤ y का अर्थ f(x) ≤ f(y) है।

इसके कार्यक्षेत्र में सभी x और y के लिए दो एकदिष्ट प्रतिचित्रण का सम्मिश्रण भी एकदिष्ट है।

द्वैत (अनुक्रम सिद्धांत) धारणा को प्रायः एंटीटोन, प्रति-एकदिष्ट या अनुक्रम-उत्क्रमी कहा जाता है। इसलिए, एक एंटीटोन फलन f विशेषता को संतुष्ट करता है।

इसके कार्यक्षेत्र में सभी x और y के लिए

x ≤ y का अर्थ है f(y) ≤ f(x)

एक स्थिर कार्य एकदिष्ट और एंटीटोन दोनों है; इसके विपरीत, यदि f एकदिष्ट और एंटीटोन दोनों है और f का कार्यक्षेत्र एक जालक (क्रम) है, तो f स्थिर होना चाहिए।

क्रम सिद्धांत में एकदिष्ट फलन केंद्रीय हैं। वे इस विषय पर अधिकांश लेखों में दिखाई देते हैं और विशेष अनुप्रयोगों के उदाहरण इन स्थानों पर पाए जाते हैं। कुछ उल्लेखनीय विशेष एकदिष्ट फलन अनुक्रम अंतःस्थापन हैं (फलन जिसके लिए x ≤ y यदि और केवल यदि f(x) ≤ f(y)) और अनुक्रम समरूपता (विशेषण अनुक्रम अंत: स्थापन) हैं।

खोज कलन विधि के संदर्भ में

खोज कलन विधि के संदर्भ में एकदिष्टता (जिसे संगति भी कहा जाता है) स्वानुभविक कार्यों पर लागू एक परिस्थिति है। एक स्वानुभविक h(n) एकदिष्ट है, यदि प्रत्येक पर्णग्रंथि n और n के प्रत्येक उत्तराधिकारी n' किसी भी कार्रवाई a से उत्पन्न होता है, n से लक्ष्य तक पहुँचने की अनुमानित लागत, n' तक पहुँचने की चरण लागत और n से लक्ष्य तक पहुँचने की अनुमानित लागत से अधिक नहीं है।

यह n, n' और n के सबसे करीब लक्ष्य Gn के साथ त्रिभुज असमानता का एक रूप है। क्योंकि प्रत्येक एकदिष्ट स्वानुभविक भी स्वीकार्य है, स्वीकार्यता की तुलना में एकदिष्टिटी एक कड़ी आवश्यकता है। कुछ स्वानुभविक कलन विधि जैसे A* को असम्बद्ध रूप से इष्टतम कलन विधि सिद्ध किया जा सकता है, परंतु वे जिस अनुमानी का उपयोग करते हैं वह एकदिष्ट होना चाहिए।[8]


बूलीय फलन में

गैर- एकदिष्ट फलन "यदि a है तो दोनों b और c" के साथ, झूठे पर्णग्रंथि सच्चे पर्णग्रंथि के ऊपर दिखाई देते हैं
एकदिष्ट फलन का हास आरेख " a, b, c में से कम से कम दो पकड़ रखते हैं "। रंग फलन निर्गत मान दर्शाते हैं

बूलियन बीजगणित (तर्क) में, एकदिष्ट फलन ऐसा है जो सभी के लिए ai और bi {0,1} में है, यदि a1b1, a2b2, ..., anbn (यानी कार्तीय उत्पाद {0, 1}n को निर्देशांकानुसार क्रमित किया गया है), तब f(a1, ..., an) ≤ f(b1, ..., bn)। दूसरे शब्दों में, बूलीय फलन एकदिष्ट होता है, यदि आगत के प्रत्येक संयोजन के लिए, आगत में से किसी एक को गलत से सही पर बदल देने से केवल निर्गत को गलत से सही पर बदला जा सकता है, न कि सही से गलत पर। रेखांकन से, इसका मतलब यह है कि एक n-आरी बूलीय फलन एकदिष्ट है जब एक अतिविम के रूप में इसका प्रतिनिधित्व किया जाता है| सत्य मूल्यों के साथ चिह्नित किए गए n-घन में सत्य से असत्य तक कोई ऊपर की ओर नहीं है। (यह चिह्नित किया गया हस्से आरेख द्वैत (गणित) है फलन के चिह्नित किए गए वेन आरेख का आयाम-व्युत्क्रमणीय द्वैत है, जो इसके लिए अधिक सामान्य प्रतिनिधित्व n ≤ 3 है)।

एकदिष्ट बूलीय फलन यथावत् वे हैं जिन्हें केवल संचालक तार्किक संयोजन और तार्किक विच्छेदन (विशेष रूप से निषेध वर्जित है) का उपयोग करके आगत्स (जो एक से अधिक बार प्रकट हो सकते हैं) के संयोजन द्वारा परिभाषित किया जा सकता है। उदाहरण के लिए a, b, c में से कम से कम दो रुकते हैं a, b, c का एक एकदिष्ट फलन है, क्योंकि इसे उदाहरण के लिए ((a और b) या (a और c) या (b और c)) के रूप में लिखा जा सकता है। .

n चरों पर ऐसे कार्यों की संख्या को n की डेडेकिंड संख्या के रूप में जाना जाता है।

यह भी देखें

टिप्पणियाँ

  1. Clapham, Christopher; Nicholson, James (2014). गणित का ऑक्सफोर्ड संक्षिप्त शब्दकोश (5th ed.). Oxford University Press.
  2. 2.0 2.1 Stover, Christopher. "मोनोटोनिक फ़ंक्शन". Wolfram MathWorld (in English). Retrieved 2018-01-29.
  3. 3.0 3.1 3.2 3.3 3.4 "मोनोटोन फ़ंक्शन". Encyclopedia of Mathematics (in English). Retrieved 2018-01-29.
  4. 4.0 4.1 Spivak, Michael (1994). गणना. 1572 West Gray, #377 Houston, Texas 77019: Publish or Perish, Inc. p. 192. ISBN 0-914098-89-6.{{cite book}}: CS1 maint: location (link)
  5. See the section on Cardinal Versus Ordinal Utility in Simon & Blume (1994).
  6. Varian, Hal R. (2010). इंटरमीडिएट सूक्ष्मअर्थशास्त्र (8th ed.). W. W. Norton & Company. p. 56. ISBN 9780393934243.
  7. if its domain has more than one element
  8. Conditions for optimality: Admissibility and consistency pg. 94–95 (Russell & Norvig 2010).


ग्रन्थसूची

  • Bartle, Robert G. (1976). The elements of real analysis (second ed.).
  • Grätzer, George (1971). Lattice theory: first concepts and distributive lattices. ISBN 0-7167-0442-0.
  • Pemberton, Malcolm; Rau, Nicholas (2001). Mathematics for economists: an introductory textbook. Manchester University Press. ISBN 0-7190-3341-1.
  • Renardy, Michael & Rogers, Robert C. (2004). An introduction to partial differential equations. Texts in Applied Mathematics 13 (Second ed.). New York: Springer-Verlag. p. 356. ISBN 0-387-00444-0.
  • Riesz, Frigyes & Béla Szőkefalvi-Nagy (1990). Functional Analysis. Courier Dover Publications. ISBN 978-0-486-66289-3.
  • Russell, Stuart J.; Norvig, Peter (2010). Artificial Intelligence: A Modern Approach (3rd ed.). Upper Saddle River, New Jersey: Prentice Hall. ISBN 978-0-13-604259-4.
  • Simon, Carl P.; Blume, Lawrence (April 1994). Mathematics for Economists (first ed.). ISBN 978-0-393-95733-4. (Definition 9.31)

बाहरी संबंध