अधिकतम अवयव और न्यूनतम अवयव: Difference between revisions

From Vigyanwiki
(Created page with "{{Use American English|date = March 2019}} {{Short description|Element ≥ (or ≤) each other element}} File:Lattice of the divisibility of 60 narrow 1,2,3,4.svg|thumb|स...")
 
No edit summary
Line 1: Line 1:
{{Use American English|date = March 2019}}
{{Use American English|date = March 2019}}
{{Short description|Element ≥ (or ≤) each other element}}
{{Short description|Element ≥ (or ≤) each other element}}
[[File:Lattice of the divisibility of 60 narrow 1,2,3,4.svg|thumb|सेट का हसे आरेख <math>P</math> 60 के विभाजक, आंशिक रूप से संबंध द्वारा आदेशित<math>x</math> विभाजित <math>y</math>. लाल उपसमुच्चय <math>S = \{ 1, 2, 3, 4 \}</math> दो अधिकतम तत्व हैं, अर्थात। 3 और 4, और एक न्यूनतम तत्व, अर्थात। 1, जो कि इसका सबसे छोटा अवयव भी है।]]गणित में, विशेष रूप से क्रम सिद्धांत में, एक उपसमुच्चय का सबसे बड़ा तत्व <math>S</math> आंशिक रूप से आदेशित सेट (पॉसेट) का एक तत्व है <math>S</math> के हर दूसरे तत्व से बड़ा है <math>S</math>. कम से कम तत्व शब्द परिभाषित द्वैत (आदेश सिद्धांत) है, अर्थात यह एक तत्व है <math>S</math> के हर दूसरे तत्व से छोटा है <math>S.</math>
[[File:Lattice of the divisibility of 60 narrow 1,2,3,4.svg|thumb|सेट का हसे आरेख <math>P</math> 60 के विभाजक, आंशिक रूप से संबंध द्वारा आदेशित<math>x</math> विभाजित <math>y</math>. लाल उपसमुच्चय <math>S = \{ 1, 2, 3, 4 \}</math> दो अधिकतम अवयव हैं, अर्थात। 3 और 4, और एक न्यूनतम अवयव, अर्थात। 1, जो कि इसका सबसे छोटा अवयव भी है।]]गणित में, विशेष रूप से क्रम सिद्धांत में, एक उपसमुच्चय का '''महत्तम अवयव''' <math>S</math> आंशिक रूप से आदेशित सेट (पॉसेट) का एक अवयव है <math>S</math> के हर दूसरे अवयव से बड़ा है <math>S</math>. '''न्यूनतम अवयव''' शब्द परिभाषित द्वैत (आदेश सिद्धांत) है, अर्थात यह एक अवयव है <math>S</math> के हर दूसरे अवयव से छोटा है <math>S.</math>




== परिभाषाएँ ==
== परिभाषाएँ ==


होने देना <math>(P, \leq)</math> एक पूर्व-आदेशित सेट बनें और जाने दें <math>S \subseteq P.</math> एक तत्व <math>g \in P</math> बताया गया {{em|a '''greatest element of <math>S</math>'''}} यदि <math>g \in S</math> और अगर यह भी संतुष्ट करता है:
होने देना <math>(P, \leq)</math> एक पूर्व-आदेशित सेट बनें और जाने दें <math>S \subseteq P.</math> एक अवयव <math>g \in P</math> बताया गया {{em|a '''greatest element of <math>S</math>'''}} यदि <math>g \in S</math> और अगर यह भी संतुष्ट करता है:
:<math>s \leq g</math> सभी के लिए <math>s \in S.</math>
:<math>s \leq g</math> सभी के लिए <math>s \in S.</math>
का उपयोग करके <math>\,\geq\,</math> के बजाय <math>\,\leq\,</math> उपरोक्त परिभाषा में, कम से कम तत्व की परिभाषा <math>S</math> पाया जाता है। स्पष्ट रूप से, एक तत्व <math>l \in P</math> बताया गया {{em|a '''least element of <math>S</math>'''}} यदि <math>l \in S</math> और अगर यह भी संतुष्ट करता है:
का उपयोग करके <math>\,\geq\,</math> के बजाय <math>\,\leq\,</math> उपरोक्त परिभाषा में, न्यूनतम अवयव की परिभाषा <math>S</math> पाया जाता है। स्पष्ट रूप से, एक अवयव <math>l \in P</math> बताया गया {{em|a '''least element of <math>S</math>'''}} यदि <math>l \in S</math> और अगर यह भी संतुष्ट करता है:
:<math>l \leq s</math> सभी के लिए <math>s \in S.</math> यदि <math>(P, \leq)</math> तब भी आंशिक रूप से आदेशित सेट है <math>S</math> अधिकतम एक सबसे बड़ा तत्व हो सकता है और इसमें कम से कम एक तत्व हो सकता है। जब भी का एक सबसे बड़ा तत्व <math>S</math> मौजूद है और अद्वितीय है तो इस तत्व को कहा जाता है{{em|the}} का सबसे बड़ा तत्व <math>S</math>. शब्दावली{{em|the}} कम से कम तत्व <math>S</math>इसी तरह परिभाषित किया गया है।
:<math>l \leq s</math> सभी के लिए <math>s \in S.</math> यदि <math>(P, \leq)</math> तब भी आंशिक रूप से आदेशित सेट है <math>S</math> अधिकतम एक महत्तम अवयव हो सकता है और इसमें कम से कम एक अवयव हो सकता है। जब भी का एक महत्तम अवयव <math>S</math> मौजूद है और अद्वितीय है तो इस अवयव को कहा जाता है{{em|the}} का महत्तम अवयव <math>S</math>. शब्दावली{{em|the}} न्यूनतम अवयव <math>S</math>इसी तरह परिभाषित किया गया है।


यदि <math>(P, \leq)</math> सबसे बड़ा तत्व है (सबसे कम तत्व के रूप में) तो इस तत्व को भी कहा जाता है {{em|a '''top'''}} (प्रति. {{em|a '''bottom'''}}) का <math>(P, \leq).</math>  
यदि <math>(P, \leq)</math> महत्तम अवयव है (सबसे कम अवयव के रूप में) तो इस अवयव को भी कहा जाता है {{em|a '''top'''}} (प्रति. {{em|a '''bottom'''}}) का <math>(P, \leq).</math>  


=== ऊपरी/निचली सीमा से संबंध ===
=== ऊपरी/निचली सीमा से संबंध ===


महानतम तत्व ऊपरी सीमा से निकटता से संबंधित हैं।
महानतम अवयव ऊपरी सीमा से निकटता से संबंधित हैं।


होने देना <math>(P, \leq)</math> एक पूर्व-आदेशित सेट बनें और जाने दें <math>S \subseteq P.</math> एक{{em|[[Upper and lower bounds|upper bound]] of <math>S</math> in <math>(P, \leq)</math>}}एक तत्व है <math>u</math> ऐसा है कि <math>u \in P</math> तथा  <math>s \leq u</math> सभी के लिए <math>s \in S.</math> महत्वपूर्ण रूप से, की एक ऊपरी सीमा <math>S</math> में <math>P</math> है {{em|not}} का अंग होना आवश्यक है <math>S.</math> यदि <math>g \in P</math> फिर <math>g</math> का सबसे बड़ा तत्व है <math>S</math> अगर और केवल अगर <math>g</math> की ऊपरी सीमा है <math>S</math> में <math>(P, \leq)</math> {{em|and}} <math>g \in S.</math> विशेष रूप से, का कोई भी सबसे बड़ा तत्व <math>S</math> की ऊपरी सीमा भी है <math>S</math> (में <math>P</math>) लेकिन की एक ऊपरी सीमा <math>S</math> में <math>P</math> का सबसे बड़ा तत्व है <math>S</math> अगर और केवल अगर यह {{em|belongs}} प्रति <math>S.</math> विशेष मामले में जहां <math>P = S,</math> की परिभाषा<math>u</math> की ऊपरी सीमा है <math>S</math> {{em|in <math>S</math>}}बन जाता है: <math>u</math> ऐसा तत्व है <math>u \in S</math> तथा <math>s \leq u</math> सभी के लिए <math>s \in S,</math> जो है {{em|completely identical}} पहले दिए गए सबसे बड़े तत्व की परिभाषा के लिए।
होने देना <math>(P, \leq)</math> एक पूर्व-आदेशित सेट बनें और जाने दें <math>S \subseteq P.</math> एक{{em|[[Upper and lower bounds|upper bound]] of <math>S</math> in <math>(P, \leq)</math>}}एक अवयव है <math>u</math> ऐसा है कि <math>u \in P</math> तथा  <math>s \leq u</math> सभी के लिए <math>s \in S.</math> महत्वपूर्ण रूप से, की एक ऊपरी सीमा <math>S</math> में <math>P</math> है {{em|not}} का अंग होना आवश्यक है <math>S.</math> यदि <math>g \in P</math> फिर <math>g</math> का महत्तम अवयव है <math>S</math> अगर और केवल अगर <math>g</math> की ऊपरी सीमा है <math>S</math> में <math>(P, \leq)</math> {{em|and}} <math>g \in S.</math> विशेष रूप से, का कोई भी महत्तम अवयव <math>S</math> की ऊपरी सीमा भी है <math>S</math> (में <math>P</math>) लेकिन की एक ऊपरी सीमा <math>S</math> में <math>P</math> का महत्तम अवयव है <math>S</math> अगर और केवल अगर यह {{em|belongs}} प्रति <math>S.</math> विशेष मामले में जहां <math>P = S,</math> की परिभाषा<math>u</math> की ऊपरी सीमा है <math>S</math> {{em|in <math>S</math>}}बन जाता है: <math>u</math> ऐसा अवयव है <math>u \in S</math> तथा <math>s \leq u</math> सभी के लिए <math>s \in S,</math> जो है {{em|completely identical}} पहले दिए गए सबसे बड़े अवयव की परिभाषा के लिए।
इस प्रकार <math>g</math> का सबसे बड़ा तत्व है <math>S</math> अगर और केवल अगर <math>g</math> की ऊपरी सीमा है <math>S</math> {{em|in <math>S</math>}}.
इस प्रकार <math>g</math> का महत्तम अवयव है <math>S</math> अगर और केवल अगर <math>g</math> की ऊपरी सीमा है <math>S</math> {{em|in <math>S</math>}}.


यदि <math>u</math> की ऊपरी सीमा है <math>S</math> {{em|in <math>P</math>}} यह की ऊपरी सीमा नहीं है <math>S</math> {{em|in <math>S</math>}} (जो हो सकता है अगर और केवल अगर <math>u \not\in S</math>) फिर <math>u</math> कर सकते हैं {{em|not}} का सबसे बड़ा तत्व हो <math>S</math> (हालांकि, यह संभव हो सकता है कि कोई अन्य तत्व {{em|is}} का सबसे बड़ा तत्व है <math>S</math>).
यदि <math>u</math> की ऊपरी सीमा है <math>S</math> {{em|in <math>P</math>}} यह की ऊपरी सीमा नहीं है <math>S</math> {{em|in <math>S</math>}} (जो हो सकता है अगर और केवल अगर <math>u \not\in S</math>) फिर <math>u</math> कर सकते हैं {{em|not}} का महत्तम अवयव हो <math>S</math> (हालांकि, यह संभव हो सकता है कि कोई अन्य अवयव {{em|is}} का महत्तम अवयव है <math>S</math>).
विशेष रूप से इसके लिए संभव है <math>S</math> एक साथ {{em|not}} सबसे बड़ा तत्व है {{em|and}} वहाँ के लिए कुछ ऊपरी सीमा मौजूद है <math>S</math> {{em|in <math>P</math>}}.
विशेष रूप से इसके लिए संभव है <math>S</math> एक साथ {{em|not}} महत्तम अवयव है {{em|and}} वहाँ के लिए कुछ ऊपरी सीमा मौजूद है <math>S</math> {{em|in <math>P</math>}}.


यहां तक ​​​​कि अगर एक सेट में कुछ ऊपरी सीमाएं हैं, तो यह आवश्यक नहीं है कि इसमें सबसे बड़ा तत्व हो, जैसा कि नकारात्मक वास्तविक संख्याओं के उदाहरण द्वारा दिखाया गया है।
यहां तक ​​​​कि अगर एक सेट में कुछ ऊपरी सीमाएं हैं, तो यह आवश्यक नहीं है कि इसमें महत्तम अवयव हो, जैसा कि नकारात्मक वास्तविक संख्याओं के उदाहरण द्वारा दिखाया गया है।
यह उदाहरण यह भी प्रदर्शित करता है कि कम से कम ऊपरी सीमा (इस मामले में संख्या 0) का अस्तित्व किसी महानतम तत्व के अस्तित्व को भी नहीं दर्शाता है।
यह उदाहरण यह भी प्रदर्शित करता है कि कम से कम ऊपरी सीमा (इस मामले में संख्या 0) का अस्तित्व किसी महानतम अवयव के अस्तित्व को भी नहीं दर्शाता है।


=== अधिकतम तत्वों के विपरीत और स्थानीय/पूर्ण अधिकतम ===
=== अधिकतम अवयवों के विपरीत और स्थानीय/पूर्ण अधिकतम ===


किसी पूर्ववर्ती सेट के सबसेट के सबसे बड़े तत्व को सेट के अधिकतम तत्व के साथ भ्रमित नहीं होना चाहिए, जो ऐसे तत्व हैं जो सेट में किसी भी अन्य तत्व से सख्ती से छोटे नहीं हैं।
किसी पूर्ववर्ती सेट के सबसेट के सबसे बड़े अवयव को सेट के अधिकतम अवयव के साथ भ्रमित नहीं होना चाहिए, जो ऐसे अवयव हैं जो सेट में किसी भी अन्य अवयव से सख्ती से छोटे नहीं हैं।


होने देना <math>(P, \leq)</math> एक पूर्व-आदेशित सेट बनें और जाने दें <math>S \subseteq P.</math> एक तत्व <math>m \in S</math> ए कहा जाता है{{em|[[maximal element]] of <math>S</math>}}यदि निम्न स्थिति संतुष्ट है:
होने देना <math>(P, \leq)</math> एक पूर्व-आदेशित सेट बनें और जाने दें <math>S \subseteq P.</math> एक अवयव <math>m \in S</math> ए कहा जाता है{{em|[[maximal element]] of <math>S</math>}}यदि निम्न स्थिति संतुष्ट है:


:जब भी <math>s \in S</math> संतुष्ट <math>m \leq s,</math> फिर अनिवार्य रूप से <math>s \leq m.</math> यदि <math>(P, \leq)</math> एक आंशिक रूप से आदेशित सेट है <math>m \in S</math> का अधिकतम तत्व है <math>S</math> अगर और केवल अगर वहाँ करता है {{em|not}} कोई मौजूद है <math>s \in S</math> ऐसा है कि <math>m \leq s</math> तथा <math>s \neq m.</math> ए {{em|maximal element of <math>(P, \leq)</math>}} को उपसमुच्चय के अधिकतम तत्व के रूप में परिभाषित किया गया है <math>S := P.</math> एक सेट में अधिकतम तत्व के बिना कई अधिकतम तत्व हो सकते हैं।
:जब भी <math>s \in S</math> संतुष्ट <math>m \leq s,</math> फिर अनिवार्य रूप से <math>s \leq m.</math> यदि <math>(P, \leq)</math> एक आंशिक रूप से आदेशित सेट है <math>m \in S</math> का अधिकतम अवयव है <math>S</math> अगर और केवल अगर वहाँ करता है {{em|not}} कोई मौजूद है <math>s \in S</math> ऐसा है कि <math>m \leq s</math> तथा <math>s \neq m.</math> ए {{em|maximal element of <math>(P, \leq)</math>}} को उपसमुच्चय के अधिकतम अवयव के रूप में परिभाषित किया गया है <math>S := P.</math> एक सेट में अधिकतम अवयव के बिना कई अधिकतम अवयव हो सकते हैं।
ऊपरी सीमा और अधिकतम तत्वों की तरह, सबसे बड़े तत्व मौजूद नहीं हो सकते हैं।
ऊपरी सीमा और अधिकतम अवयवों की तरह, सबसे बड़े अवयव मौजूद नहीं हो सकते हैं।


कुल क्रम में अधिकतम तत्व और सबसे बड़ा तत्व मेल खाते हैं; और इसे अधिकतम भी कहा जाता है; स्थानीय अधिकतम के साथ भ्रम से बचने के लिए फ़ंक्शन मानों के मामले में इसे पूर्ण अधिकतम भी कहा जाता है।<ref>The notion of locality requires the function's domain to be at least a [[topological space]].</ref> दोहरी शर्तें न्यूनतम और पूर्ण न्यूनतम हैं।
कुल क्रम में अधिकतम अवयव और महत्तम अवयव मेल खाते हैं; और इसे अधिकतम भी कहा जाता है; स्थानीय अधिकतम के साथ भ्रम से बचने के लिए फ़ंक्शन मानों के मामले में इसे पूर्ण अधिकतम भी कहा जाता है।<ref>The notion of locality requires the function's domain to be at least a [[topological space]].</ref> दोहरी शर्तें न्यूनतम और पूर्ण न्यूनतम हैं।
साथ में उन्हें चरम मूल्य कहा जाता है।
साथ में उन्हें चरम मूल्य कहा जाता है।
इसी तरह के निष्कर्ष कम से कम तत्वों के लिए मान्य हैं।
इसी तरह के निष्कर्ष न्यूनतम अवयवों के लिए मान्य हैं।


अधिकतम बनाम अधिकतम तत्वों को अलग करने में तुलनात्मकता की भूमिका
अधिकतम बनाम अधिकतम अवयवों को अलग करने में तुलनात्मकता की भूमिका


एक महानतम तत्व के बीच सबसे महत्वपूर्ण अंतरों में से एक <math>g</math> और एक अधिकतम तत्व <math>m</math> एक पूर्व-आदेशित सेट का <math>(P, \leq)</math> यह उन तत्वों के साथ करना है जिनकी वे तुलना कर रहे हैं।
एक महानतम अवयव के बीच सबसे महत्वपूर्ण अंतरों में से एक <math>g</math> और एक अधिकतम अवयव <math>m</math> एक पूर्व-आदेशित सेट का <math>(P, \leq)</math> यह उन अवयवों के साथ करना है जिनकी वे तुलना कर रहे हैं।
दो तत्व <math>x, y \in P</math> कहा जाता है {{em|comparable}} यदि <math>x \leq y</math> या <math>y \leq x</math>; वे कहते हैं {{em|incomparable}} अगर वे तुलनीय नहीं हैं।
दो अवयव <math>x, y \in P</math> कहा जाता है {{em|comparable}} यदि <math>x \leq y</math> या <math>y \leq x</math>; वे कहते हैं {{em|incomparable}} अगर वे तुलनीय नहीं हैं।
क्योंकि प्रीऑर्डर रिफ्लेक्सिव रिलेशन हैं (जिसका मतलब है कि <math>x \leq x</math> सभी तत्वों के लिए सत्य है <math>x</math>), हर तत्व <math>x</math> सदैव अपने से तुलनीय होता है।
क्योंकि प्रीऑर्डर रिफ्लेक्सिव रिलेशन हैं (जिसका मतलब है कि <math>x \leq x</math> सभी अवयवों के लिए सत्य है <math>x</math>), हर अवयव <math>x</math> सदैव अपने से तुलनीय होता है।
नतीजतन, तत्वों का एकमात्र जोड़ा जो संभवतः अतुलनीय हो सकता है {{em|distinct}} जोड़े।
नतीजतन, अवयवों का एकमात्र जोड़ा जो संभवतः अतुलनीय हो सकता है {{em|distinct}} जोड़े।
सामान्य तौर पर, हालांकि, पहले से ऑर्डर किए गए सेट (और यहां तक ​​कि निर्देशित सेट आंशिक रूप से ऑर्डर किए गए सेट) में ऐसे तत्व हो सकते हैं जो अतुलनीय हों।
सामान्य तौर पर, हालांकि, पहले से ऑर्डर किए गए सेट (और यहां तक ​​कि निर्देशित सेट आंशिक रूप से ऑर्डर किए गए सेट) में ऐसे अवयव हो सकते हैं जो अतुलनीय हों।


परिभाषा के अनुसार, एक तत्व <math>g \in P</math> का सबसे बड़ा तत्व है <math>(P, \leq)</math> यदि <math>s \leq g,</math> हरएक के लिए <math>s \in P</math>; इसलिए इसकी परिभाषा के अनुसार, का सबसे बड़ा तत्व <math>(P, \leq)</math> विशेष रूप से तुलनीय होना चाहिए {{em|every}} में तत्व <math>P.</math> यह अधिकतम तत्वों की आवश्यकता नहीं है।
परिभाषा के अनुसार, एक अवयव <math>g \in P</math> का महत्तम अवयव है <math>(P, \leq)</math> यदि <math>s \leq g,</math> हरएक के लिए <math>s \in P</math>; इसलिए इसकी परिभाषा के अनुसार, का महत्तम अवयव <math>(P, \leq)</math> विशेष रूप से तुलनीय होना चाहिए {{em|every}} में अवयव <math>P.</math> यह अधिकतम अवयवों की आवश्यकता नहीं है।
के अधिकतम तत्व <math>(P, \leq)</math> हैं {{em|not}} में हर तत्व के लिए तुलनीय होना आवश्यक है <math>P.</math> ऐसा इसलिए है क्योंकि सबसे बड़े तत्व की परिभाषा के विपरीत, अधिकतम तत्व की परिभाषा में एक महत्वपूर्ण शामिल है {{em|if}} बयान।
के अधिकतम अवयव <math>(P, \leq)</math> हैं {{em|not}} में हर अवयव के लिए तुलनीय होना आवश्यक है <math>P.</math> ऐसा इसलिए है क्योंकि सबसे बड़े अवयव की परिभाषा के विपरीत, अधिकतम अवयव की परिभाषा में एक महत्वपूर्ण शामिल है {{em|if}} बयान।
के लिए परिभाषित शर्त <math>m \in P</math> का अधिकतम तत्व होना <math>(P, \leq)</math> के रूप में पुनर्व्यवस्थित किया जा सकता है:
के लिए परिभाषित शर्त <math>m \in P</math> का अधिकतम अवयव होना <math>(P, \leq)</math> के रूप में पुनर्व्यवस्थित किया जा सकता है:


:सभी के लिए <math>s \in P,</math> {{em|IF}} <math>m \leq s</math> (इसलिए ऐसे तत्व जो अतुलनीय हैं <math>m</math> अनदेखा किया जाता है) फिर <math>s \leq m.</math> उदाहरण जहां सभी तत्व अधिकतम हैं लेकिन कोई भी महानतम नहीं है
:सभी के लिए <math>s \in P,</math> {{em|IF}} <math>m \leq s</math> (इसलिए ऐसे अवयव जो अतुलनीय हैं <math>m</math> अनदेखा किया जाता है) फिर <math>s \leq m.</math> उदाहरण जहां सभी अवयव अधिकतम हैं लेकिन कोई भी महानतम नहीं है


मान लो कि <math>S</math> युक्त एक सेट है {{em|at least two}} (अलग) तत्व और एक आंशिक क्रम को परिभाषित करते हैं <math>\,\leq\,</math> पर <math>S</math> यह घोषित करके <math>i \leq j</math> अगर और केवल अगर <math>i = j.</math> यदि <math>i \neq j</math> के संबंधित <math>S</math> फिर न तो <math>i \leq j</math> न <math>j \leq i</math> धारण करता है, जो दर्शाता है कि विशिष्ट (अर्थात् गैर-बराबर) तत्वों के सभी युग्मों में <math>S</math> हैं {{em|in}}तुलनीय।
मान लो कि <math>S</math> युक्त एक सेट है {{em|at least two}} (अलग) अवयव और एक आंशिक क्रम को परिभाषित करते हैं <math>\,\leq\,</math> पर <math>S</math> यह घोषित करके <math>i \leq j</math> अगर और केवल अगर <math>i = j.</math> यदि <math>i \neq j</math> के संबंधित <math>S</math> फिर न तो <math>i \leq j</math> न <math>j \leq i</math> धारण करता है, जो दर्शाता है कि विशिष्ट (अर्थात् गैर-बराबर) अवयवों के सभी युग्मों में <math>S</math> हैं {{em|in}}तुलनीय।
फलस्वरूप, <math>(S, \leq)</math> संभवतः सबसे बड़ा तत्व नहीं हो सकता (क्योंकि का सबसे बड़ा तत्व <math>S</math> से विशेष रूप से तुलना करनी होगी {{em|every}} का तत्व <math>S</math> लेकिन <math>S</math> ऐसा कोई तत्व नहीं है)।
फलस्वरूप, <math>(S, \leq)</math> संभवतः महत्तम अवयव नहीं हो सकता (क्योंकि का महत्तम अवयव <math>S</math> से विशेष रूप से तुलना करनी होगी {{em|every}} का अवयव <math>S</math> लेकिन <math>S</math> ऐसा कोई अवयव नहीं है)।
हालांकि, {{em|every}} तत्व <math>m \in S</math> का अधिकतम तत्व है <math>(S, \leq)</math> क्योंकि इसमें ठीक एक तत्व है <math>S</math> जो दोनों से तुलनीय है <math>m</math> तथा <math>\geq m,</math> वह तत्व है <math>m</math> खुद (जो निश्चित रूप से है <math>\leq m</math>).<ref group=note>Of course, in this particular example, there exists only one element in <math>S</math> that is comparable to <math>m,</math> which is necessarily <math>m</math> itself, so the second condition "and <math>\geq m,</math>" was redundant.</ref>
हालांकि, {{em|every}} अवयव <math>m \in S</math> का अधिकतम अवयव है <math>(S, \leq)</math> क्योंकि इसमें ठीक एक अवयव है <math>S</math> जो दोनों से तुलनीय है <math>m</math> तथा <math>\geq m,</math> वह अवयव है <math>m</math> खुद (जो निश्चित रूप से है <math>\leq m</math>).<ref group="note">Of course, in this particular example, there exists only one element in <math>S</math> that is comparable to <math>m,</math> which is necessarily <math>m</math> itself, so the second condition "and <math>\geq m,</math>" was redundant.</ref>
इसके विपरीत, यदि एक पूर्वनिर्धारित सेट <math>(P, \leq)</math> एक महानतम तत्व होता है <math>g</math> फिर <math>g</math> का अधिकतम तत्व होगा <math>(P, \leq)</math> और इसके अलावा, सबसे बड़े तत्व के परिणामस्वरूप <math>g</math> से तुलनीय होना {{em|every}} का तत्व <math>P,</math> यदि <math>(P, \leq)</math> भी आंशिक रूप से आदेशित है तो यह निष्कर्ष निकालना संभव है <math>g</math> है {{em|only}} का अधिकतम तत्व <math>(P, \leq).</math> हालाँकि, यदि पहले से सेट किया गया है तो विशिष्टता निष्कर्ष की गारंटी नहीं है <math>(P, \leq)</math> है {{em|not}} आंशिक रूप से आदेश भी दिया।
इसके विपरीत, यदि एक पूर्वनिर्धारित सेट <math>(P, \leq)</math> एक महानतम अवयव होता है <math>g</math> फिर <math>g</math> का अधिकतम अवयव होगा <math>(P, \leq)</math> और इसके अलावा, सबसे बड़े अवयव के परिणामस्वरूप <math>g</math> से तुलनीय होना {{em|every}} का अवयव <math>P,</math> यदि <math>(P, \leq)</math> भी आंशिक रूप से आदेशित है तो यह निष्कर्ष निकालना संभव है <math>g</math> है {{em|only}} का अधिकतम अवयव <math>(P, \leq).</math> हालाँकि, यदि पहले से सेट किया गया है तो विशिष्टता निष्कर्ष की गारंटी नहीं है <math>(P, \leq)</math> है {{em|not}} आंशिक रूप से आदेश भी दिया।
उदाहरण के लिए, मान लीजिए <math>R</math> एक गैर-खाली सेट है और एक प्रीऑर्डर परिभाषित करता है <math>\,\leq\,</math> पर <math>R</math> यह घोषित करके <math>i \leq j</math> {{em|always}} सभी के लिए रखता है <math>i, j \in R.</math> निर्देशित सेट पूर्व-आदेशित सेट <math>(R, \leq)</math> आंशिक रूप से आदेश दिया जाता है अगर और केवल अगर <math>R</math> ठीक एक तत्व है। से तत्वों के सभी जोड़े <math>R</math> तुलनीय हैं और {{em|every}} का तत्व <math>R</math> का सबसे बड़ा तत्व है (और इस प्रकार एक अधिकतम तत्व भी)। <math>(R, \leq).</math> तो विशेष रूप से अगर <math>R</math> तब कम से कम दो तत्व होते हैं <math>(R, \leq)</math> एकाधिक है {{em|distinct}} महानतम तत्व।
उदाहरण के लिए, मान लीजिए <math>R</math> एक गैर-खाली सेट है और एक प्रीऑर्डर परिभाषित करता है <math>\,\leq\,</math> पर <math>R</math> यह घोषित करके <math>i \leq j</math> {{em|always}} सभी के लिए रखता है <math>i, j \in R.</math> निर्देशित सेट पूर्व-आदेशित सेट <math>(R, \leq)</math> आंशिक रूप से आदेश दिया जाता है अगर और केवल अगर <math>R</math> ठीक एक अवयव है। से अवयवों के सभी जोड़े <math>R</math> तुलनीय हैं और {{em|every}} का अवयव <math>R</math> का महत्तम अवयव है (और इस प्रकार एक अधिकतम अवयव भी)। <math>(R, \leq).</math> तो विशेष रूप से अगर <math>R</math> तब कम से कम दो अवयव होते हैं <math>(R, \leq)</math> एकाधिक है {{em|distinct}} महानतम अवयव।


== गुण ==
== गुण ==


भर में, चलो <math>(P, \leq)</math> आंशिक रूप से आदेशित सेट बनें और दें <math>S \subseteq P.</math> * एक सेट <math>S</math> अधिक से अधिक हो सकता है {{em|one}} सबसे बड़ा तत्व।<ref group=note>If <math>g_1</math> and <math>g_2</math> are both greatest, then <math>g_1 \leq g_2</math> and <math>g_2 \leq g_1,</math> and hence <math>g_1 = g_2</math> by [[antisymmetry]].</ref> इस प्रकार यदि किसी समुच्चय में सबसे बड़ा अवयव है तो वह आवश्यक रूप से अद्वितीय है।
भर में, चलो <math>(P, \leq)</math> आंशिक रूप से आदेशित सेट बनें और दें <math>S \subseteq P.</math> * एक सेट <math>S</math> अधिक से अधिक हो सकता है {{em|one}} महत्तम अवयव।<ref group="note">If <math>g_1</math> and <math>g_2</math> are both greatest, then <math>g_1 \leq g_2</math> and <math>g_2 \leq g_1,</math> and hence <math>g_1 = g_2</math> by [[antisymmetry]].</ref> इस प्रकार यदि किसी समुच्चय में महत्तम अवयव है तो वह आवश्यक रूप से अद्वितीय है।
* यदि यह अस्तित्व में है, तो इसका सबसे बड़ा तत्व <math>S</math> की ऊपरी सीमा है <math>S</math> उसमें भी निहित है <math>S.</math> * यदि <math>g</math> का सबसे बड़ा तत्व है <math>S</math> फिर <math>g</math> का भी एक चरम तत्व है <math>S</math><ref group=note>If <math>g</math> is the greatest element of <math>S</math> and <math>s \in S,</math> then <math>s \leq g.</math> By [[antisymmetry]], this renders (<math>g \leq s</math> and <math>g \neq s</math>) impossible.</ref> और इसके अलावा, का कोई अन्य अधिकतम तत्व <math>S</math> के बराबर होगा <math>g.</math><ref group=note>If <math>M</math> is a maximal element, then <math>M \leq g</math> since <math>g</math> is greatest, hence <math>M = g</math> since <math>M</math> is maximal.</ref>
* यदि यह अस्तित्व में है, तो इसका महत्तम अवयव <math>S</math> की ऊपरी सीमा है <math>S</math> उसमें भी निहित है <math>S.</math> * यदि <math>g</math> का महत्तम अवयव है <math>S</math> फिर <math>g</math> का भी एक चरम अवयव है <math>S</math><ref group="note">If <math>g</math> is the greatest element of <math>S</math> and <math>s \in S,</math> then <math>s \leq g.</math> By [[antisymmetry]], this renders (<math>g \leq s</math> and <math>g \neq s</math>) impossible.</ref> और इसके अलावा, का कोई अन्य अधिकतम अवयव <math>S</math> के बराबर होगा <math>g.</math><ref group="note">If <math>M</math> is a maximal element, then <math>M \leq g</math> since <math>g</math> is greatest, hence <math>M = g</math> since <math>M</math> is maximal.</ref>
** इस प्रकार यदि एक सेट <math>S</math> कई अधिकतम तत्व हैं तो इसमें सबसे बड़ा तत्व नहीं हो सकता है।
** इस प्रकार यदि एक सेट <math>S</math> कई अधिकतम अवयव हैं तो इसमें महत्तम अवयव नहीं हो सकता है।
* यदि <math>P</math> आरोही श्रृंखला की स्थिति, एक सबसेट को संतुष्ट करता है <math>S</math> का <math>P</math> सबसे बड़ा तत्व है अगर, और केवल अगर, इसमें एक अधिकतम तत्व है।<ref group=note>''Only if:'' see above. &mdash; ''If:'' Assume for contradiction that <math>S</math> has just one maximal element, <math>m,</math> but no greatest element. Since <math>m</math> is not greatest, some <math>s_1 \in S</math> must exist that is incomparable to <math>m.</math> Hence <math>s_1 \in S</math> cannot be maximal, that is, <math>s_1 < s_2</math> must hold for some <math>s_2 \in S.</math> The latter must be incomparable to <math>m,</math> too, since <math>m < s_2</math> contradicts <math>m</math>'s maximality while <math>s_2 \leq m</math> contradicts the incomparability of <math>m</math> and <math>s_1.</math> Repeating this argument, an infinite ascending chain <math>s_1 < s_2 < \cdots < s_n < \cdots</math>  can be found (such that each <math>s_i</math> is incomparable to <math>m</math> and not maximal). This contradicts the ascending chain condition.</ref>
* यदि <math>P</math> आरोही श्रृंखला की स्थिति, एक सबसेट को संतुष्ट करता है <math>S</math> का <math>P</math> महत्तम अवयव है अगर, और केवल अगर, इसमें एक अधिकतम अवयव है।<ref group="note">''Only if:'' see above. &mdash; ''If:'' Assume for contradiction that <math>S</math> has just one maximal element, <math>m,</math> but no greatest element. Since <math>m</math> is not greatest, some <math>s_1 \in S</math> must exist that is incomparable to <math>m.</math> Hence <math>s_1 \in S</math> cannot be maximal, that is, <math>s_1 < s_2</math> must hold for some <math>s_2 \in S.</math> The latter must be incomparable to <math>m,</math> too, since <math>m < s_2</math> contradicts <math>m</math>'s maximality while <math>s_2 \leq m</math> contradicts the incomparability of <math>m</math> and <math>s_1.</math> Repeating this argument, an infinite ascending chain <math>s_1 < s_2 < \cdots < s_n < \cdots</math>  can be found (such that each <math>s_i</math> is incomparable to <math>m</math> and not maximal). This contradicts the ascending chain condition.</ref>
* जब का प्रतिबंध <math>\,\leq\,</math> प्रति <math>S</math> कुल आदेश है (<math>S = \{ 1, 2, 4 \}</math> सबसे ऊपरी तस्वीर में एक उदाहरण है), तो अधिकतम तत्व और सबसे बड़ा तत्व मेल खाता है।<ref group=note>Let <math>m \in S</math> be a maximal element, for any <math>s \in S</math> either <math>s \leq m</math> or <math>m \leq s.</math> In the second case, the definition of maximal element requires that <math>m = s,</math> so it follows that <math>s \leq m.</math> In other words, <math>m</math> is a greatest element.</ref> ** हालांकि, जब भी हो, यह कोई जरूरी शर्त नहीं है <math>S</math> सबसे बड़ा तत्व है, जैसा कि ऊपर कहा गया है, धारणाएं भी मेल खाती हैं।
* जब का प्रतिबंध <math>\,\leq\,</math> प्रति <math>S</math> कुल आदेश है (<math>S = \{ 1, 2, 4 \}</math> सबसे ऊपरी तस्वीर में एक उदाहरण है), तो अधिकतम अवयव और महत्तम अवयव मेल खाता है।<ref group="note">Let <math>m \in S</math> be a maximal element, for any <math>s \in S</math> either <math>s \leq m</math> or <math>m \leq s.</math> In the second case, the definition of maximal element requires that <math>m = s,</math> so it follows that <math>s \leq m.</math> In other words, <math>m</math> is a greatest element.</ref> ** हालांकि, जब भी हो, यह कोई जरूरी शर्त नहीं है <math>S</math> महत्तम अवयव है, जैसा कि ऊपर कहा गया है, धारणाएं भी मेल खाती हैं।
* यदि अधिकतम तत्व और सबसे बड़ा तत्व की धारणा प्रत्येक दो-तत्व उपसमुच्चय पर मेल खाती है <math>S</math> का <math>P,</math> फिर <math>\,\leq\,</math> पर कुल आदेश है <math>P.</math><ref group=note>If <math>a, b \in P</math> were incomparable, then <math>S = \{ a, b \}</math> would have two maximal, but no greatest element, contradicting the coincidence.</ref>
* यदि अधिकतम अवयव और महत्तम अवयव की धारणा प्रत्येक दो-अवयव उपसमुच्चय पर मेल खाती है <math>S</math> का <math>P,</math> फिर <math>\,\leq\,</math> पर कुल आदेश है <math>P.</math><ref group="note">If <math>a, b \in P</math> were incomparable, then <math>S = \{ a, b \}</math> would have two maximal, but no greatest element, contradicting the coincidence.</ref>




== पर्याप्त शर्तें ==
== पर्याप्त शर्तें ==
* एक परिमित श्रृंखला (आदेश सिद्धांत) में हमेशा सबसे बड़ा और सबसे कम तत्व होता है।
* एक परिमित श्रृंखला (आदेश सिद्धांत) में हमेशा महत्तम और सबसे कम अवयव होता है।


== ऊपर और नीचे ==
== ऊपर और नीचे ==


पूरे आंशिक रूप से आदेशित सेट का सबसे छोटा और सबसे बड़ा तत्व एक विशेष भूमिका निभाता है और इसे क्रमशः नीचे (⊥) और शीर्ष (⊤), या शून्य (0) और इकाई (1) भी कहा जाता है।
पूरे आंशिक रूप से आदेशित सेट का सबसे छोटा और महत्तम अवयव एक विशेष भूमिका निभाता है और इसे क्रमशः नीचे (⊥) और शीर्ष (⊤), या शून्य (0) और इकाई (1) भी कहा जाता है।
यदि दोनों मौजूद हैं, तो पोसेट को परिबद्ध पोसेट कहा जाता है।
यदि दोनों मौजूद हैं, तो पोसेट को परिबद्ध पोसेट कहा जाता है।
0 और 1 के अंकन का उपयोग अधिमानतः तब किया जाता है जब पोसेट एक पूरक जाली है, और जब कोई भ्रम की संभावना नहीं होती है, यानी जब कोई संख्याओं के आंशिक क्रम के बारे में बात नहीं कर रहा है जिसमें पहले से ही तत्व 0 और 1 नीचे और ऊपर से भिन्न होते हैं।
0 और 1 के अंकन का उपयोग अधिमानतः तब किया जाता है जब पोसेट एक पूरक जाली है, और जब कोई भ्रम की संभावना नहीं होती है, यानी जब कोई संख्याओं के आंशिक क्रम के बारे में बात नहीं कर रहा है जिसमें पहले से ही अवयव 0 और 1 नीचे और ऊपर से भिन्न होते हैं।
कम से कम और सबसे बड़े तत्वों का अस्तित्व आंशिक क्रम की एक विशेष पूर्णता (आदेश सिद्धांत) है।
कम से कम और सबसे बड़े अवयवों का अस्तित्व आंशिक क्रम की एक विशेष पूर्णता (आदेश सिद्धांत) है।


आगे की परिचयात्मक जानकारी ऑर्डर थ्योरी पर लेख में पाई जाती है।
आगे की परिचयात्मक जानकारी ऑर्डर थ्योरी पर लेख में पाई जाती है।
Line 84: Line 84:


[[File:KeinVerband.svg|thumb|upright=0.5|उदाहरण 2 का हसे आरेख]]* पूर्णांकों के उपसमुच्चय का समुच्चय में कोई ऊपरी परिबंध नहीं होता है <math>\mathbb{R}</math> वास्तविक संख्याओं का।
[[File:KeinVerband.svg|thumb|upright=0.5|उदाहरण 2 का हसे आरेख]]* पूर्णांकों के उपसमुच्चय का समुच्चय में कोई ऊपरी परिबंध नहीं होता है <math>\mathbb{R}</math> वास्तविक संख्याओं का।
* संबंध रहने दो <math>\,\leq\,</math> पर <math>\{ a, b, c, d \}</math> द्वारा दिया जाएगा <math>a \leq c,</math> <math>a \leq d,</math> <math>b \leq c,</math> <math>b \leq d.</math> सेट <math>\{ a, b \}</math> ऊपरी सीमाएँ हैं <math>c</math> तथा <math>d,</math> लेकिन कम से कम ऊपरी सीमा नहीं, और कोई सबसे बड़ा तत्व नहीं (cf. चित्र)।
* संबंध रहने दो <math>\,\leq\,</math> पर <math>\{ a, b, c, d \}</math> द्वारा दिया जाएगा <math>a \leq c,</math> <math>a \leq d,</math> <math>b \leq c,</math> <math>b \leq d.</math> सेट <math>\{ a, b \}</math> ऊपरी सीमाएँ हैं <math>c</math> तथा <math>d,</math> लेकिन कम से कम ऊपरी सीमा नहीं, और कोई महत्तम अवयव नहीं (cf. चित्र)।
* परिमेय संख्याओं में, 2 से कम वर्ग वाले संख्याओं के समुच्चय की ऊपरी सीमा होती है लेकिन कोई सबसे बड़ा तत्व नहीं होता है और कोई ऊपरी सीमा नहीं होती है।
* परिमेय संख्याओं में, 2 से कम वर्ग वाले संख्याओं के समुच्चय की ऊपरी सीमा होती है लेकिन कोई महत्तम अवयव नहीं होता है और कोई ऊपरी सीमा नहीं होती है।
* में <math>\mathbb{R},</math> 1 से कम संख्या के सेट में सबसे कम ऊपरी सीमा होती है, जैसे। 1, लेकिन कोई सबसे बड़ा तत्व नहीं।
* में <math>\mathbb{R},</math> 1 से कम संख्या के सेट में सबसे कम ऊपरी सीमा होती है, जैसे। 1, लेकिन कोई महत्तम अवयव नहीं।
* में <math>\mathbb{R},</math> 1 से कम या उसके बराबर संख्याओं के सेट में सबसे बड़ा तत्व है, अर्थात। 1, जो इसकी सबसे कम ऊपरी सीमा भी है।
* में <math>\mathbb{R},</math> 1 से कम या उसके बराबर संख्याओं के सेट में महत्तम अवयव है, अर्थात। 1, जो इसकी सबसे कम ऊपरी सीमा भी है।
* में <math>\mathbb{R}^2</math> उत्पाद क्रम के साथ, जोड़े का सेट <math>(x, y)</math> साथ <math>0 < x < 1</math> कोई ऊपरी सीमा नहीं है।
* में <math>\mathbb{R}^2</math> उत्पाद क्रम के साथ, जोड़े का सेट <math>(x, y)</math> साथ <math>0 < x < 1</math> कोई ऊपरी सीमा नहीं है।
* में <math>\mathbb{R}^2</math> शब्दकोषीय क्रम के साथ, इस सेट की ऊपरी सीमाएं हैं, उदा। <math>(1, 0).</math> इसकी कोई कम से कम ऊपरी सीमा नहीं है।
* में <math>\mathbb{R}^2</math> शब्दकोषीय क्रम के साथ, इस सेट की ऊपरी सीमाएं हैं, उदा। <math>(1, 0).</math> इसकी कोई कम से कम ऊपरी सीमा नहीं है।
Line 95: Line 95:
* एसेंशियल सुप्रीमम और एसेंशियल इनफिमम
* एसेंशियल सुप्रीमम और एसेंशियल इनफिमम
* प्रारंभिक और अंतिम वस्तुएं
* प्रारंभिक और अंतिम वस्तुएं
* अधिकतम और न्यूनतम तत्व
* अधिकतम और न्यूनतम अवयव
* श्रेष्ठता को सीमित करें और निम्न को सीमित करें (न्यूनतम सीमा)
* श्रेष्ठता को सीमित करें और निम्न को सीमित करें (न्यूनतम सीमा)
* ऊपरी और निचली सीमाएं
* ऊपरी और निचली सीमाएं

Revision as of 18:58, 6 July 2023

सेट का हसे आरेख 60 के विभाजक, आंशिक रूप से संबंध द्वारा आदेशित विभाजित . लाल उपसमुच्चय दो अधिकतम अवयव हैं, अर्थात। 3 और 4, और एक न्यूनतम अवयव, अर्थात। 1, जो कि इसका सबसे छोटा अवयव भी है।

गणित में, विशेष रूप से क्रम सिद्धांत में, एक उपसमुच्चय का महत्तम अवयव आंशिक रूप से आदेशित सेट (पॉसेट) का एक अवयव है के हर दूसरे अवयव से बड़ा है . न्यूनतम अवयव शब्द परिभाषित द्वैत (आदेश सिद्धांत) है, अर्थात यह एक अवयव है के हर दूसरे अवयव से छोटा है


परिभाषाएँ

होने देना एक पूर्व-आदेशित सेट बनें और जाने दें एक अवयव बताया गया a greatest element of यदि और अगर यह भी संतुष्ट करता है:

सभी के लिए

का उपयोग करके के बजाय उपरोक्त परिभाषा में, न्यूनतम अवयव की परिभाषा पाया जाता है। स्पष्ट रूप से, एक अवयव बताया गया a least element of यदि और अगर यह भी संतुष्ट करता है:

सभी के लिए यदि तब भी आंशिक रूप से आदेशित सेट है अधिकतम एक महत्तम अवयव हो सकता है और इसमें कम से कम एक अवयव हो सकता है। जब भी का एक महत्तम अवयव मौजूद है और अद्वितीय है तो इस अवयव को कहा जाता हैthe का महत्तम अवयव . शब्दावलीthe न्यूनतम अवयव इसी तरह परिभाषित किया गया है।

यदि महत्तम अवयव है (सबसे कम अवयव के रूप में) तो इस अवयव को भी कहा जाता है a top (प्रति. a bottom) का

ऊपरी/निचली सीमा से संबंध

महानतम अवयव ऊपरी सीमा से निकटता से संबंधित हैं।

होने देना एक पूर्व-आदेशित सेट बनें और जाने दें एकupper bound of in एक अवयव है ऐसा है कि तथा सभी के लिए महत्वपूर्ण रूप से, की एक ऊपरी सीमा में है not का अंग होना आवश्यक है यदि फिर का महत्तम अवयव है अगर और केवल अगर की ऊपरी सीमा है में and विशेष रूप से, का कोई भी महत्तम अवयव की ऊपरी सीमा भी है (में ) लेकिन की एक ऊपरी सीमा में का महत्तम अवयव है अगर और केवल अगर यह belongs प्रति विशेष मामले में जहां की परिभाषा की ऊपरी सीमा है in बन जाता है: ऐसा अवयव है तथा सभी के लिए जो है completely identical पहले दिए गए सबसे बड़े अवयव की परिभाषा के लिए। इस प्रकार का महत्तम अवयव है अगर और केवल अगर की ऊपरी सीमा है in .

यदि की ऊपरी सीमा है in यह की ऊपरी सीमा नहीं है in (जो हो सकता है अगर और केवल अगर ) फिर कर सकते हैं not का महत्तम अवयव हो (हालांकि, यह संभव हो सकता है कि कोई अन्य अवयव is का महत्तम अवयव है ). विशेष रूप से इसके लिए संभव है एक साथ not महत्तम अवयव है and वहाँ के लिए कुछ ऊपरी सीमा मौजूद है in .

यहां तक ​​​​कि अगर एक सेट में कुछ ऊपरी सीमाएं हैं, तो यह आवश्यक नहीं है कि इसमें महत्तम अवयव हो, जैसा कि नकारात्मक वास्तविक संख्याओं के उदाहरण द्वारा दिखाया गया है। यह उदाहरण यह भी प्रदर्शित करता है कि कम से कम ऊपरी सीमा (इस मामले में संख्या 0) का अस्तित्व किसी महानतम अवयव के अस्तित्व को भी नहीं दर्शाता है।

अधिकतम अवयवों के विपरीत और स्थानीय/पूर्ण अधिकतम

किसी पूर्ववर्ती सेट के सबसेट के सबसे बड़े अवयव को सेट के अधिकतम अवयव के साथ भ्रमित नहीं होना चाहिए, जो ऐसे अवयव हैं जो सेट में किसी भी अन्य अवयव से सख्ती से छोटे नहीं हैं।

होने देना एक पूर्व-आदेशित सेट बनें और जाने दें एक अवयव ए कहा जाता हैmaximal element of यदि निम्न स्थिति संतुष्ट है:

जब भी संतुष्ट फिर अनिवार्य रूप से यदि एक आंशिक रूप से आदेशित सेट है का अधिकतम अवयव है अगर और केवल अगर वहाँ करता है not कोई मौजूद है ऐसा है कि तथा maximal element of को उपसमुच्चय के अधिकतम अवयव के रूप में परिभाषित किया गया है एक सेट में अधिकतम अवयव के बिना कई अधिकतम अवयव हो सकते हैं।

ऊपरी सीमा और अधिकतम अवयवों की तरह, सबसे बड़े अवयव मौजूद नहीं हो सकते हैं।

कुल क्रम में अधिकतम अवयव और महत्तम अवयव मेल खाते हैं; और इसे अधिकतम भी कहा जाता है; स्थानीय अधिकतम के साथ भ्रम से बचने के लिए फ़ंक्शन मानों के मामले में इसे पूर्ण अधिकतम भी कहा जाता है।[1] दोहरी शर्तें न्यूनतम और पूर्ण न्यूनतम हैं। साथ में उन्हें चरम मूल्य कहा जाता है। इसी तरह के निष्कर्ष न्यूनतम अवयवों के लिए मान्य हैं।

अधिकतम बनाम अधिकतम अवयवों को अलग करने में तुलनात्मकता की भूमिका

एक महानतम अवयव के बीच सबसे महत्वपूर्ण अंतरों में से एक और एक अधिकतम अवयव एक पूर्व-आदेशित सेट का यह उन अवयवों के साथ करना है जिनकी वे तुलना कर रहे हैं। दो अवयव कहा जाता है comparable यदि या ; वे कहते हैं incomparable अगर वे तुलनीय नहीं हैं। क्योंकि प्रीऑर्डर रिफ्लेक्सिव रिलेशन हैं (जिसका मतलब है कि सभी अवयवों के लिए सत्य है ), हर अवयव सदैव अपने से तुलनीय होता है। नतीजतन, अवयवों का एकमात्र जोड़ा जो संभवतः अतुलनीय हो सकता है distinct जोड़े। सामान्य तौर पर, हालांकि, पहले से ऑर्डर किए गए सेट (और यहां तक ​​कि निर्देशित सेट आंशिक रूप से ऑर्डर किए गए सेट) में ऐसे अवयव हो सकते हैं जो अतुलनीय हों।

परिभाषा के अनुसार, एक अवयव का महत्तम अवयव है यदि हरएक के लिए ; इसलिए इसकी परिभाषा के अनुसार, का महत्तम अवयव विशेष रूप से तुलनीय होना चाहिए every में अवयव यह अधिकतम अवयवों की आवश्यकता नहीं है। के अधिकतम अवयव हैं not में हर अवयव के लिए तुलनीय होना आवश्यक है ऐसा इसलिए है क्योंकि सबसे बड़े अवयव की परिभाषा के विपरीत, अधिकतम अवयव की परिभाषा में एक महत्वपूर्ण शामिल है if बयान। के लिए परिभाषित शर्त का अधिकतम अवयव होना के रूप में पुनर्व्यवस्थित किया जा सकता है:

सभी के लिए IF (इसलिए ऐसे अवयव जो अतुलनीय हैं अनदेखा किया जाता है) फिर उदाहरण जहां सभी अवयव अधिकतम हैं लेकिन कोई भी महानतम नहीं है

मान लो कि युक्त एक सेट है at least two (अलग) अवयव और एक आंशिक क्रम को परिभाषित करते हैं पर यह घोषित करके अगर और केवल अगर यदि के संबंधित फिर न तो धारण करता है, जो दर्शाता है कि विशिष्ट (अर्थात् गैर-बराबर) अवयवों के सभी युग्मों में हैं inतुलनीय। फलस्वरूप, संभवतः महत्तम अवयव नहीं हो सकता (क्योंकि का महत्तम अवयव से विशेष रूप से तुलना करनी होगी every का अवयव लेकिन ऐसा कोई अवयव नहीं है)। हालांकि, every अवयव का अधिकतम अवयव है क्योंकि इसमें ठीक एक अवयव है जो दोनों से तुलनीय है तथा वह अवयव है खुद (जो निश्चित रूप से है ).[note 1] इसके विपरीत, यदि एक पूर्वनिर्धारित सेट एक महानतम अवयव होता है फिर का अधिकतम अवयव होगा और इसके अलावा, सबसे बड़े अवयव के परिणामस्वरूप से तुलनीय होना every का अवयव यदि भी आंशिक रूप से आदेशित है तो यह निष्कर्ष निकालना संभव है है only का अधिकतम अवयव हालाँकि, यदि पहले से सेट किया गया है तो विशिष्टता निष्कर्ष की गारंटी नहीं है है not आंशिक रूप से आदेश भी दिया। उदाहरण के लिए, मान लीजिए एक गैर-खाली सेट है और एक प्रीऑर्डर परिभाषित करता है पर यह घोषित करके always सभी के लिए रखता है निर्देशित सेट पूर्व-आदेशित सेट आंशिक रूप से आदेश दिया जाता है अगर और केवल अगर ठीक एक अवयव है। से अवयवों के सभी जोड़े तुलनीय हैं और every का अवयव का महत्तम अवयव है (और इस प्रकार एक अधिकतम अवयव भी)। तो विशेष रूप से अगर तब कम से कम दो अवयव होते हैं एकाधिक है distinct महानतम अवयव।

गुण

भर में, चलो आंशिक रूप से आदेशित सेट बनें और दें * एक सेट अधिक से अधिक हो सकता है one महत्तम अवयव।[note 2] इस प्रकार यदि किसी समुच्चय में महत्तम अवयव है तो वह आवश्यक रूप से अद्वितीय है।

  • यदि यह अस्तित्व में है, तो इसका महत्तम अवयव की ऊपरी सीमा है उसमें भी निहित है * यदि का महत्तम अवयव है फिर का भी एक चरम अवयव है [note 3] और इसके अलावा, का कोई अन्य अधिकतम अवयव के बराबर होगा [note 4]
    • इस प्रकार यदि एक सेट कई अधिकतम अवयव हैं तो इसमें महत्तम अवयव नहीं हो सकता है।
  • यदि आरोही श्रृंखला की स्थिति, एक सबसेट को संतुष्ट करता है का महत्तम अवयव है अगर, और केवल अगर, इसमें एक अधिकतम अवयव है।[note 5]
  • जब का प्रतिबंध प्रति कुल आदेश है ( सबसे ऊपरी तस्वीर में एक उदाहरण है), तो अधिकतम अवयव और महत्तम अवयव मेल खाता है।[note 6] ** हालांकि, जब भी हो, यह कोई जरूरी शर्त नहीं है महत्तम अवयव है, जैसा कि ऊपर कहा गया है, धारणाएं भी मेल खाती हैं।
  • यदि अधिकतम अवयव और महत्तम अवयव की धारणा प्रत्येक दो-अवयव उपसमुच्चय पर मेल खाती है का फिर पर कुल आदेश है [note 7]


पर्याप्त शर्तें

  • एक परिमित श्रृंखला (आदेश सिद्धांत) में हमेशा महत्तम और सबसे कम अवयव होता है।

ऊपर और नीचे

पूरे आंशिक रूप से आदेशित सेट का सबसे छोटा और महत्तम अवयव एक विशेष भूमिका निभाता है और इसे क्रमशः नीचे (⊥) और शीर्ष (⊤), या शून्य (0) और इकाई (1) भी कहा जाता है। यदि दोनों मौजूद हैं, तो पोसेट को परिबद्ध पोसेट कहा जाता है। 0 और 1 के अंकन का उपयोग अधिमानतः तब किया जाता है जब पोसेट एक पूरक जाली है, और जब कोई भ्रम की संभावना नहीं होती है, यानी जब कोई संख्याओं के आंशिक क्रम के बारे में बात नहीं कर रहा है जिसमें पहले से ही अवयव 0 और 1 नीचे और ऊपर से भिन्न होते हैं। कम से कम और सबसे बड़े अवयवों का अस्तित्व आंशिक क्रम की एक विशेष पूर्णता (आदेश सिद्धांत) है।

आगे की परिचयात्मक जानकारी ऑर्डर थ्योरी पर लेख में पाई जाती है।

उदाहरण

उदाहरण 2 का हसे आरेख

* पूर्णांकों के उपसमुच्चय का समुच्चय में कोई ऊपरी परिबंध नहीं होता है वास्तविक संख्याओं का।

  • संबंध रहने दो पर द्वारा दिया जाएगा सेट ऊपरी सीमाएँ हैं तथा लेकिन कम से कम ऊपरी सीमा नहीं, और कोई महत्तम अवयव नहीं (cf. चित्र)।
  • परिमेय संख्याओं में, 2 से कम वर्ग वाले संख्याओं के समुच्चय की ऊपरी सीमा होती है लेकिन कोई महत्तम अवयव नहीं होता है और कोई ऊपरी सीमा नहीं होती है।
  • में 1 से कम संख्या के सेट में सबसे कम ऊपरी सीमा होती है, जैसे। 1, लेकिन कोई महत्तम अवयव नहीं।
  • में 1 से कम या उसके बराबर संख्याओं के सेट में महत्तम अवयव है, अर्थात। 1, जो इसकी सबसे कम ऊपरी सीमा भी है।
  • में उत्पाद क्रम के साथ, जोड़े का सेट साथ कोई ऊपरी सीमा नहीं है।
  • में शब्दकोषीय क्रम के साथ, इस सेट की ऊपरी सीमाएं हैं, उदा। इसकी कोई कम से कम ऊपरी सीमा नहीं है।

यह भी देखें

  • एसेंशियल सुप्रीमम और एसेंशियल इनफिमम
  • प्रारंभिक और अंतिम वस्तुएं
  • अधिकतम और न्यूनतम अवयव
  • श्रेष्ठता को सीमित करें और निम्न को सीमित करें (न्यूनतम सीमा)
  • ऊपरी और निचली सीमाएं

टिप्पणियाँ

  1. Of course, in this particular example, there exists only one element in that is comparable to which is necessarily itself, so the second condition "and " was redundant.
  2. If and are both greatest, then and and hence by antisymmetry.
  3. If is the greatest element of and then By antisymmetry, this renders ( and ) impossible.
  4. If is a maximal element, then since is greatest, hence since is maximal.
  5. Only if: see above. — If: Assume for contradiction that has just one maximal element, but no greatest element. Since is not greatest, some must exist that is incomparable to Hence cannot be maximal, that is, must hold for some The latter must be incomparable to too, since contradicts 's maximality while contradicts the incomparability of and Repeating this argument, an infinite ascending chain can be found (such that each is incomparable to and not maximal). This contradicts the ascending chain condition.
  6. Let be a maximal element, for any either or In the second case, the definition of maximal element requires that so it follows that In other words, is a greatest element.
  7. If were incomparable, then would have two maximal, but no greatest element, contradicting the coincidence.


इस पेज में लापता आंतरिक लिंक की सूची

संदर्भ

  1. The notion of locality requires the function's domain to be at least a topological space.
  • Davey, B. A.; Priestley, H. A. (2002). Introduction to Lattices and Order (2nd ed.). Cambridge University Press. ISBN 978-0-521-78451-1.