एकदिष्ट फलन: Difference between revisions
(text) |
(text) |
||
| Line 37: | Line 37: | ||
=== कुछ बुनियादी अनुप्रयोग और परिणाम === | === कुछ बुनियादी अनुप्रयोग और परिणाम === | ||
[[File:Monotonic dense jumps svg.svg|thumb|550px|जम्प डिसकंटीन्युटीज के | [[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>\infty</math> या <math>-\infty</math> की सकारात्मक या नकारात्मक अनंत पर एक सीमा (<math>\pm\infty</math>) है। | *<math>f</math> की वास्तविक संख्या <math>\infty</math> या <math>-\infty</math> की सकारात्मक या नकारात्मक अनंत पर एक सीमा (<math>\pm\infty</math>) है। | ||
*<math>f</math> केवल विषयांतर असततता हो सकती है; | *<math>f</math> केवल विषयांतर असततता हो सकती है; | ||
*<math>f</math> के कार्यक्षेत्र में एकदिष्ट प्रकार्य की केवल [[गणनीय]] कई विसंगतियां हो सकती हैं। हालाँकि, विच्छिन्नताएँ, आवश्यक रूप से अलग-अलग बिंदुओं से मिलकर नहीं बनती हैं और एक अंतराल (a, b) में सघन भी हो सकती हैं। उदाहरण के लिए, किसी योग्य अनुक्रम <math display>(a_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>x</math> में | *यदि <math>f</math> [[अंतराल (गणित)]] पर परिभाषित एक एकदिष्ट प्रकार्य <math>I</math> है , फिर <math>f</math>, <math>I</math> के [[लगभग हर जगह]] व्युत्पन्न है; यानी संख्याओं के समूह <math>x</math> में <math>I</math> ऐसा है कि <math>x</math> में <math>f</math> अवकलनीय नहीं है '''Lebesgue माप शून्य''' है। इसके अलावा, इस परिणाम को गणनीय में सुधार नहीं किया जा सकता है: [[कैंटर समारोह|कैंटर प्रकार्य]] देखें। | ||
*यदि यह | *यदि यह समुच्चय गणनीय है, तो <math>f</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>T</math> के लिये <math>f</math>. इसके विपरीत, प्रत्येक निरंतर कार्य एकदिष्ट है, लेकिन इंजेक्शन नहीं है,<ref>if its domain has more than one element</ref> और इसलिए इसका व्युत्क्रम नहीं हो सकता। | ||
| Line 56: | Line 56: | ||
== टोपोलॉजी में == | == टोपोलॉजी में == | ||
{{anchor|Monotone function (topology)|Monotonic function (topology)}} | {{anchor|Monotone function (topology)|Monotonic function (topology)}} | ||
नक्षा <math>f: X \to Y</math> एकदिष्ट कहा जाता है यदि इसके प्रत्येक फाइबर (गणित)#फाइबर इन | नक्षा <math>f: X \to Y</math> एकदिष्ट कहा जाता है यदि इसके प्रत्येक फाइबर (गणित)#फाइबर इन नेवसमुच्चय थ्योरी [[कनेक्टेड (टोपोलॉजी)]] है; अर्थात्, प्रत्येक तत्व के लिए <math>y \in Y,</math> (संभवतः खाली)समुच्चय <math>f^{-1}(y)</math> का कनेक्टेड [[सबस्पेस टोपोलॉजी]] है <math>X.</math> | ||
| Line 66: | Line 66: | ||
कचुरोवस्की के प्रमेय से पता चलता है कि बनच रिक्त स्थान पर उत्तल कार्य उनके डेरिवेटिव के रूप में एकदिष्ट ऑपरेटर हैं। | कचुरोवस्की के प्रमेय से पता चलता है कि बनच रिक्त स्थान पर उत्तल कार्य उनके डेरिवेटिव के रूप में एकदिष्ट ऑपरेटर हैं। | ||
उपसमुच्चय <math>G</math> का <math>X \times 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>(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</math> अधिकतम एकदिष्ट कहा जाता है यदि यहसमुच्चय समावेशन के अर्थ में सभी एकदिष्टसमुच्चयों में अधिकतम है। एक एकदिष्ट ऑपरेटर का ग्राफ <math>G(T)</math> एक एकदिष्टसमुच्चय है। एक एकदिष्ट ऑपरेटर को अधिकतम एकदिष्ट कहा जाता है यदि इसका ग्राफ़ अधिकतम एकदिष्टसमुच्चय है। | ||
== क्रम सिद्धांत में == | == क्रम सिद्धांत में == | ||
{{anchor|Monotone function (order theory)}} | {{anchor|Monotone function (order theory)}} | ||
अनुक्रम थ्योरी मनमाना आंशिक रूप से अनुक्रम किए | अनुक्रम थ्योरी मनमाना आंशिक रूप से अनुक्रम किए गएसमुच्चय और वास्तविक संख्याओं के सामान्यीकरण के रूप में [[पूर्व आदेश|पूर्व अनुक्रम]] से संबंधित है। एकदिष्टता की उपरोक्त परिभाषा इन मामलों में भी प्रासंगिक है। हालांकि, बढ़ती और घटती शर्तों से बचा जाता है, क्योंकि उनका पारंपरिक सचित्र प्रतिनिधित्व उन अनुक्रम पर लागू नहीं होता है जो कुल अनुक्रम नहीं हैं। इसके अलावा, [[सख्त आदेश|सख्त अनुक्रम]] संबंध < और > कई गैर-[[कुल आदेश|कुल अनुक्रम]]ों में बहुत कम उपयोग होते हैं और इसलिए उनके लिए कोई अतिरिक्त शब्दावली पेश नहीं की जाती है। | ||
≤ को किसी भी आंशिक रूप से अनुक्रम किए | ≤ को किसी भी आंशिक रूप से अनुक्रम किए गएसमुच्चय के आंशिक क्रम संबंध को दर्शाता है, एक एकदिष्ट प्रकार्य , जिसे आइसोटोन भी कहा जाता है, या{{visible anchor|order-preserving}}, विशेषता को संतुष्ट करता है | ||
: x ≤ y का अर्थ है f(x) ≤ f(y), | : x ≤ y का अर्थ है f(x) ≤ f(y), | ||
| Line 115: | Line 115: | ||
* [[मोनोटोन क्यूबिक इंटरपोलेशन|एकदिष्ट क्यूबिक इंटरपोलेशन]] | * [[मोनोटोन क्यूबिक इंटरपोलेशन|एकदिष्ट क्यूबिक इंटरपोलेशन]] | ||
* [[छद्म-मोनोटोन ऑपरेटर|छद्म-एकदिष्ट ऑपरेटर]] | * [[छद्म-मोनोटोन ऑपरेटर|छद्म-एकदिष्ट ऑपरेटर]] | ||
* स्पीयरमैन का रैंक सहसंबंध गुणांक - डेटा के | * स्पीयरमैन का रैंक सहसंबंध गुणांक - डेटा के एकसमुच्चय में एकदिष्टता का माप | ||
* [[कुल एकरसता|कुल एकदिष्टता]] | * [[कुल एकरसता|कुल एकदिष्टता]] | ||
* [[चक्रीय एकरसता|चक्रीय एकदिष्टता]] | * [[चक्रीय एकरसता|चक्रीय एकदिष्टता]] | ||
| Line 209: | Line 209: | ||
*उत्तल प्रकार्य | *उत्तल प्रकार्य | ||
*बनच स्थान | *बनच स्थान | ||
*आंशिक रूप से | *आंशिक रूप से अनुक्रमितसमुच्चय | ||
*जाली (अनुक्रम) | *जाली (अनुक्रम) | ||
*निरंतर कार्य | *निरंतर कार्य | ||
Revision as of 00:49, 7 December 2022
गणित में, एकदिष्ट प्रकार्य गणित में क्रमित संरचनाओं की सूची के बीच एक प्रकार्य (गणित) है जो दिए गए क्रमवार को संरक्षित या उलट देता है।[1][2][3] यह अवधारणा पहले गणना में उत्पन्न हुई, और बाद में अनुक्रम सिद्धांत की अधिक अमूर्त अस्त के लिए सामान्यीकृत की गई।
कलन और विश्लेषण में
कलन में, एक प्रकार्य वास्तविक मानों के साथ वास्तविक संख्याओं के उपसमुच्चय पर परिभाषित को एकदिष्ट कहा जाता है यदि और केवल यदि यह पूरी तरह से गैर-बढ़ती हैं, या पूरी तरह से गैर-घटती हैं।[2] चित्र 1 के अनुसार, एक कार्य जो एकदिष्टत: बढ़ता है उसे विशेष रूप से बढ़ाना नहीं है, इसे बस कम नहीं होना चाहिए।
एक प्रकार्य को एकदिष्ट रूप से बढ़ाना (बढ़ते या गैर-घटते भी) कहा जाता है[3] यदि सभी तथा के लिए ऐसा है कि एक के पास है, तो क्रम को बनाए रखता है (चित्र 1 देखें)। इसी तरह, एक प्रकार्य को एकदिष्टत: रूप से घटते हुए (घटते या गैर-बढ़ते भी) कहा जाता है[3] यदि, जब भी , तत्पश्चात , तो यह क्रम को उलट देता है (चित्र 2 देखें)।
यदि अनुक्रम एकदिष्टता की परिभाषा में कड़े अनुक्रम द्वारा प्रतिस्थापित किया गया है, और वह दृढ़ आवश्यकता प्राप्त करता है। इस विशेषता के साथ एक प्रकार्य को अनुशासनपूर्वक बढ़ाना कहा जाता है।[3][4] फिर से, अनुक्रम प्रतीक को उल्टा करके, एक संबंधित अवधारणा को अनुशासनपूर्वक घटता हुआ (भी घटता हुआ) कहा जाता है।[3][4]किसी भी विशेषता वाले प्रकार्य को अनुशासनपूर्वक एकदिष्ट कहा जाता है। कार्य जो अनुशासनपूर्वक एकदिष्ट हैं वे एक-से-एक कार्य हैं (क्योंकि के लिए असमान , या या और इसलिए, एकदिष्टता से, या तो या , इस प्रकार .)
अस्पष्टता से बचने के लिए, अशक्त एकदिष्ट, अशक्त रूप से बढ़ने और अशक्त रूप से घटने वाले शब्द प्रायः गैर-सख्त एकदिष्टिटी को संदर्भित करने के लिए उपयोग किए जाते हैं।
गैर-ह्वासमानऔर गैर-वर्धमान शब्दावली को (बहुत शक्तिहीन) नकारात्मक योग्यताओं के घटने और न बढ़ने के साथ भ्रमित नहीं होना चाहिए। उदाहरण के लिए, चित्र 3 में दिखाया गया गैर-एकदिष्ट प्रकार्य पहले गिरता है, फिर ऊपर उठता है, फिर से गिरता है। इसलिए यह न तो घट रहा है और न ही बढ़ रहा है, लेकिन यह न तो गैर-ह्वासमान है और न ही गैर-वर्धमान है।
एक प्रकार्य को एक अंतराल पर बिल्कुल एकदिष्ट कहा जाता है यदि के सभी अनुक्रमों के व्युत्पादित अंतराल पर सभी बिंदुओं पर गैर-नकारात्मक या सभी गैर-सकारात्मक हैं।
प्रकार्य का व्युत्क्रमणीय
सभी अनुशासनपूर्वक एकदिष्ट कार्य व्युत्क्रमणीय प्रकार्य हैं क्योंकि उन्हें अपनी सीमा से अपने कार्यक्षेत्र में एक-से-एक मानचित्र की अधिपत्रित है।
हालांकि, ऐसे कार्य जो केवल अशक्त एकदिष्ट वाले होते हैं, व्युत्क्रमणीय नहीं होते हैं क्योंकि वे कुछ अंतराल पर स्थिर होते हैं (और इसलिए एक-से-एक नहीं होते हैं)।
एक प्रकार्य सीमित मूल्यों की एक सीमा पर अनुशासनपूर्वक एकदिष्ट हो सकता है और इस प्रकार उस सीमा पर व्युत्क्रमणीय हो सकता है, भले ही वह हर जगह अनुशासनपूर्वक एकदिष्ट न हो। उदाहरण के लिए, यदि सीमा पर अनुशासनपूर्वक बढ़ रहा है, तो इसका व्युत्क्रम की सीमा पर होता है।
ध्यान दें कि एकदिष्ट शब्द का प्रयोग कभी-कभी अनुशासनपूर्वक एकदिष्ट के स्थान पर किया जाता है, इसलिए एक स्रोत यह बता सकता है कि सभी एकदिष्ट प्रकार्य व्युत्क्रमणीय हो सकते हैं जब उनका वास्तव में अर्थ होता है कि सभी अनुशासनपूर्वक एकदिष्ट प्रकार्य व्युत्क्रमणीय हैं।[citation needed]
एकदिष्ट परिवर्तन
एकदिष्ट परिवर्तन शब्द भी भ्रम पैदा कर सकता है क्योंकि यह एक अनुशासनपूर्वक बढ़ते प्रकार्य द्वारा परिवर्तन को संदर्भित करता है। यह अर्थशास्त्र में एक उपयोगिता प्रकार्य के क्रमिक गुणों के संबंध में एकदिष्ट परिवर्तन (एकदिष्ट वरीयताएँ भी देखें) में संरक्षित होने का मामला है।[5] इस संदर्भ में, एकदिष्ट परिवर्तन शब्द एक सकारात्मक एकदिष्ट परिवर्तन को संदर्भित करता है और इसका उद्देश्य इसे "नकारात्मक एकदिष्ट परिवर्तन" से अलग करना है, जो संख्याओं के क्रम को उलट देता है।[6]
कुछ बुनियादी अनुप्रयोग और परिणाम
एकदिष्ट प्रकार्य के लिए निम्नलिखित गुण सत्य हैं :
- प्रकार्य के अपने कार्यक्षेत्र के प्रत्येक बिंदु पर दाएं और बाएं से प्रकार्य की सीमा होती है;
- की वास्तविक संख्या या की सकारात्मक या नकारात्मक अनंत पर एक सीमा () है।
- केवल विषयांतर असततता हो सकती है;
- के कार्यक्षेत्र में एकदिष्ट प्रकार्य की केवल गणनीय कई विसंगतियां हो सकती हैं। हालाँकि, विच्छिन्नताएँ, आवश्यक रूप से अलग-अलग बिंदुओं से मिलकर नहीं बनती हैं और एक अंतराल (a, b) में सघन भी हो सकती हैं। उदाहरण के लिए, किसी योग्य अनुक्रम के लिए सकारात्मक संख्या और किसी भी गणना की परिमेय संख्याओं का, एकदिष्टत: रूप से बढ़ता हुआ फलन हर अपरिमेय संख्या (cf. चित्र) पर निरंतर है। यह परिमेय संख्याओं पर असतत माप का संचयी वितरण फलन है, जहाँ का वजन है।
ये गुण ही कारण हैं कि गणितीय विश्लेषण में तकनीकी कार्य में एकदिष्ट प्रकार्य उपयोगी होते हैं। इन कार्यों के अन्य महत्वपूर्ण गुणों में निम्न सम्मिलित हैं:
- यदि अंतराल (गणित) पर परिभाषित एक एकदिष्ट प्रकार्य है , फिर , के लगभग हर जगह व्युत्पन्न है; यानी संख्याओं के समूह में ऐसा है कि में अवकलनीय नहीं है Lebesgue माप शून्य है। इसके अलावा, इस परिणाम को गणनीय में सुधार नहीं किया जा सकता है: कैंटर प्रकार्य देखें।
- यदि यह समुच्चय गणनीय है, तो नितांत सतत है
- यदि अंतराल पर परिभाषित एक एकदिष्ट प्रकार्य है, फिर रीमान समाकल है।
संभाव्यता सिद्धांत में एकदिष्ट कार्यों का एक महत्वपूर्ण अनुप्रयोग है। यदि एक यादृच्छिक चर है, इसका संचयी वितरण कार्य एकदिष्टत: रूप से बढ़ता हुआ कार्य है।
फलन एकरूपी फलन है यदि यह नीरस रूप से किसी बिंदु तक बढ़ रहा है (बहुलक (सांख्यिकी)) और फिर एकदिष्टत: रूप से घट रहा है।
कब एक अनुशासनपूर्वक एकदिष्ट प्रकार्य है, फिर अपने कार्यक्षेत्र पर इंजेक्शन प्रकार्य है, और यदि के एक प्रकार्य की सीमा है , तो वहाँ एक व्युत्क्रमणीय कार्य होता है के लिये . इसके विपरीत, प्रत्येक निरंतर कार्य एकदिष्ट है, लेकिन इंजेक्शन नहीं है,[7] और इसलिए इसका व्युत्क्रम नहीं हो सकता।
टोपोलॉजी में
नक्षा एकदिष्ट कहा जाता है यदि इसके प्रत्येक फाइबर (गणित)#फाइबर इन नेवसमुच्चय थ्योरी कनेक्टेड (टोपोलॉजी) है; अर्थात्, प्रत्येक तत्व के लिए (संभवतः खाली)समुच्चय का कनेक्टेड सबस्पेस टोपोलॉजी है
कार्यात्मक विश्लेषण में
टोपोलॉजिकल वेक्टर स्पेस पर कार्यात्मक विश्लेषण में , एक (संभवतः गैर-रैखिक) ऑपरेटर एक एकदिष्ट ऑपरेटर कहा जाता है यदि
कचुरोवस्की के प्रमेय से पता चलता है कि बनच रिक्त स्थान पर उत्तल कार्य उनके डेरिवेटिव के रूप में एकदिष्ट ऑपरेटर हैं।
उपसमुच्चय का यदि हर जोड़ी के लिए एक एकदिष्टसमुच्चय कहा जाता है तथा में ,
अधिकतम एकदिष्ट कहा जाता है यदि यहसमुच्चय समावेशन के अर्थ में सभी एकदिष्टसमुच्चयों में अधिकतम है। एक एकदिष्ट ऑपरेटर का ग्राफ एक एकदिष्टसमुच्चय है। एक एकदिष्ट ऑपरेटर को अधिकतम एकदिष्ट कहा जाता है यदि इसका ग्राफ़ अधिकतम एकदिष्टसमुच्चय है।
क्रम सिद्धांत में
अनुक्रम थ्योरी मनमाना आंशिक रूप से अनुक्रम किए गएसमुच्चय और वास्तविक संख्याओं के सामान्यीकरण के रूप में पूर्व अनुक्रम से संबंधित है। एकदिष्टता की उपरोक्त परिभाषा इन मामलों में भी प्रासंगिक है। हालांकि, बढ़ती और घटती शर्तों से बचा जाता है, क्योंकि उनका पारंपरिक सचित्र प्रतिनिधित्व उन अनुक्रम पर लागू नहीं होता है जो कुल अनुक्रम नहीं हैं। इसके अलावा, सख्त अनुक्रम संबंध < और > कई गैर-कुल अनुक्रमों में बहुत कम उपयोग होते हैं और इसलिए उनके लिए कोई अतिरिक्त शब्दावली पेश नहीं की जाती है।
≤ को किसी भी आंशिक रूप से अनुक्रम किए गएसमुच्चय के आंशिक क्रम संबंध को दर्शाता है, एक एकदिष्ट प्रकार्य , जिसे आइसोटोन भी कहा जाता है, याorder-preserving, विशेषता को संतुष्ट करता है
- x ≤ y का अर्थ है f(x) ≤ f(y),
इसके कार्यक्षेत्र में सभी x और y के लिए। दो एकदिष्ट मैपिंग का सम्मिश्रण भी एकदिष्ट है।
द्वैत (अनुक्रम सिद्धांत) धारणा को प्रायः एंटीटोन, एंटी-एकदिष्ट या अनुक्रम-रिवर्सिंग कहा जाता है। इसलिए, एक एंटीटोन प्रकार्य f विशेषता को संतुष्ट करता है
- x ≤ y का अर्थ है f(y) ≤ f(x),
इसके कार्यक्षेत्र में सभी x और y के लिए।
एक स्थिर कार्य एकदिष्ट और एंटीटोन दोनों है; इसके विपरीत, यदि f एकदिष्ट और एंटीटोन दोनों है, और यदि f का कार्यक्षेत्र एक जाली (क्रम) है, तो f स्थिर होना चाहिए।
क्रम सिद्धांत में एकदिष्ट फ़ंक्शंस केंद्रीय हैं। वे इस विषय पर अधिकांश लेखों में दिखाई देते हैं और विशेष अनुप्रयोगों के उदाहरण इन स्थानों पर पाए जाते हैं। कुछ उल्लेखनीय विशेष एकदिष्ट फ़ंक्शंस अनुक्रम एम्बेडिंग हैं (प्रकार्य जिसके लिए x ≤ y यदि और केवल यदि f(x) ≤ f(y)) और अनुक्रम समरूपता (विशेषण अनुक्रम एम्बेडिंग)।
खोज एल्गोरिदम के संदर्भ में
खोज एल्गोरिदम के संदर्भ में एकदिष्टता (जिसे संगति भी कहा जाता है) अनुमानी कार्यों पर लागू एक शर्त है। एक अनुमानी प्रकार्य (एन) एकदिष्ट है, यदि प्रत्येक नोड एन और एन के प्रत्येक उत्तराधिकारी एन 'के लिए किसी भी कार्रवाई से उत्पन्न होता है, एन से लक्ष्य तक पहुंचने की अनुमानित लागत एन' प्लस प्राप्त करने की चरण लागत से अधिक नहीं है n' से लक्ष्य तक पहुँचने की अनुमानित लागत,
यह n, n' और लक्ष्य G के साथ त्रिभुज असमानता का एक रूप हैnएन के सबसे करीब। क्योंकि प्रत्येक एकदिष्ट ह्यूरिस्टिक भी स्वीकार्य ह्यूरिस्टिक है, स्वीकार्यता की तुलना में एकदिष्टिटी एक सख्त आवश्यकता है। कुछ अनुमानी एल्गोरिथम जैसे A* खोज एल्गोरिद्म|A* को असम्बद्ध रूप से इष्टतम एल्गोरिथम सिद्ध किया जा सकता है, बशर्ते कि वे जिस अनुमानी का उपयोग करते हैं वह एकदिष्ट हो।[8]
बूलियन कार्यों में
बूलियन बीजगणित (तर्क) में, एक एकदिष्ट प्रकार्य ऐसा है जो सभी के लिए हैi और बीi {0,1} में, यदि a1 ≤ b1, a2 ≤ b2, ..., an ≤ bn (यानी कार्टेशियन उत्पाद {0, 1}n को निर्देशांकानुसार क्रमित किया गया है), तब f(a1, ..., an) ≤ f(b1, ..., bn). दूसरे शब्दों में, एक बूलियन प्रकार्य एकदिष्ट होता है, यदि इनपुट के प्रत्येक संयोजन के लिए, इनपुट में से किसी एक को गलत से सही पर स्विच करने से केवल आउटपुट को गलत से सही पर स्विच किया जा सकता है, न कि सही से गलत पर। रेखांकन से, इसका मतलब यह है कि एक एन-आरी बूलियन प्रकार्य एकदिष्ट है जब एक हाइपरक्यूब के रूप में इसका प्रतिनिधित्व किया जाता है | सत्य मूल्यों के साथ लेबल किए गए एन-क्यूब में सत्य से असत्य तक कोई ऊपर की ओर नहीं है। (यह लेबल किया गया हस्से आरेख द्वैत (गणित) है # प्रकार्य के लेबल किए गए वेन आरेख का आयाम-व्युत्क्रमणीय द्वैत है, जो इसके लिए अधिक सामान्य प्रतिनिधित्व है n ≤ 3.)
एकदिष्ट बूलियन फ़ंक्शंस ठीक वे हैं जिन्हें केवल ऑपरेटर्स तार्किक संयोजन और तार्किक विच्छेदन (विशेष रूप से निषेध वर्जित है) का उपयोग करके इनपुट्स (जो एक से अधिक बार प्रकट हो सकते हैं) के संयोजन द्वारा परिभाषित किया जा सकता है। उदाहरण के लिए कम से कम दो ए, बी, सी होल्ड ए, बी, सी का एक एकदिष्ट प्रकार्य है, क्योंकि इसे उदाहरण के लिए ((ए और बी) या (ए और सी) या (बी और सी)) के रूप में लिखा जा सकता है। .
n चरों पर ऐसे कार्यों की संख्या को n की डेडेकिंड संख्या के रूप में जाना जाता है।
यह भी देखें
- एकदिष्ट क्यूबिक इंटरपोलेशन
- छद्म-एकदिष्ट ऑपरेटर
- स्पीयरमैन का रैंक सहसंबंध गुणांक - डेटा के एकसमुच्चय में एकदिष्टता का माप
- कुल एकदिष्टता
- चक्रीय एकदिष्टता
- ऑपरेटर एकदिष्ट प्रकार्य
टिप्पणियाँ
- ↑ Clapham, Christopher; Nicholson, James (2014). गणित का ऑक्सफोर्ड संक्षिप्त शब्दकोश (5th ed.). Oxford University Press.
- ↑ 2.0 2.1 Stover, Christopher. "मोनोटोनिक फ़ंक्शन". Wolfram MathWorld (in English). Retrieved 2018-01-29.
- ↑ 3.0 3.1 3.2 3.3 3.4 "मोनोटोन फ़ंक्शन". Encyclopedia of Mathematics (in English). Retrieved 2018-01-29.
- ↑ 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) - ↑ See the section on Cardinal Versus Ordinal Utility in Simon & Blume (1994).
- ↑ Varian, Hal R. (2010). इंटरमीडिएट सूक्ष्मअर्थशास्त्र (8th ed.). W. W. Norton & Company. p. 56. ISBN 9780393934243.
- ↑ if its domain has more than one element
- ↑ 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)
इस पेज में लापता आंतरिक लिंक की सूची
- गणित में क्रम संरचनाओं की सूची
- अंक शास्त्र
- प्रकार्य (गणित)
- अनुक्रम संबंध
- एक-से-एक प्रकार्य
- गैर नकारात्मक
- व्युत्क्रमणीय काम करना
- एक प्रकार्य की सीमा
- किसी प्रकार्य का कार्यक्षेत्र
- कूदना बंद करो
- योग्य क्रम
- एकदिष्ट कार्यों की निरंतरता
- असतत उपाय
- यौगिक
- लेबेस्ग उपाय
- शून्य को मापें
- सिद्धांत संभावना
- अनियमित चर
- मोड (सांख्यिकी)
- एकरूप प्रकार्य
- उत्तल प्रकार्य
- बनच स्थान
- आंशिक रूप से अनुक्रमितसमुच्चय
- जाली (अनुक्रम)
- निरंतर कार्य
- असमानित त्रिकोण
- अनुमानी एल्गोरिथ्म
- ए * खोज एल्गोरिदम
- स्वीकार्य अनुमानी
- असम्बद्ध रूप से इष्टतम एल्गोरिदम
- समन्वय क्रम
- हस्स आरेख
- नकार
- डेडेकाइंड संख्या
बाहरी संबंध
- "Monotone function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Convergence of a Monotonic Sequence by Anik Debnath and Thomas Roxlo (The Harker School), Wolfram Demonstrations Project.
- Weisstein, Eric W. "Monotonic Function". MathWorld.