जुड़ें और मिलें: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Binary relations}} | {{Binary relations}} | ||
[[File:Join and meet.svg|thumb|यह [[हस्से आरेख]] चार तत्वों के साथ आंशिक रूप से आदेशित समुच्चय | [[File:Join and meet.svg|thumb|यह [[हस्से आरेख]] चार तत्वों के साथ आंशिक रूप से आदेशित समुच्चय को दर्शाता है: ए, बी, [[अधिकतम तत्व]] ए <math>\vee</math> b a और b के जुड़ने के बराबर है, और [[न्यूनतम तत्व]] a <math>\wedge</math> b a और b के मिलने के बराबर है। अधिकतम/न्यूनतम तत्व का जुड़ना/मिलना और दूसरा तत्व अधिकतम/न्यूनतम तत्व है और इसके विपरीत किसी अन्य तत्व के साथ अधिकतम/न्यूनतम तत्व का मिलना/जुड़ना अन्य तत्व है। इस प्रकार इस पोसेट में प्रत्येक जोड़ी में एक मिलन और जुड़ाव दोनों होते हैं और पोसेट को एक [[जाली (आदेश सिद्धांत)]] के रूप में वर्गीकृत किया जा सकता है।]]गणित में, विशेष रूप से [[आदेश सिद्धांत]], एक [[सबसेट|उपसमुच्चय]] का जुड़ाव <math>S</math> [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समुच्चय]] का <math>P</math> की सर्वोच्च (कम से कम ऊपरी सीमा) है <math>S,</math> निरूपित <math display=inline>\bigvee S,</math> और इसी तरह, की मिलते हैं <math>S</math> [[सबसे कम]] (सबसे बड़ी निचली सीमा) है, जिसे निरूपित किया गया है <math display=inline>\bigwedge S.</math> सामान्य तौर पर, आंशिक रूप से आदेशित किए गए समुच्चय के उपसमुच्चय में सम्मिलित होने और मिलने की आवश्यकता नहीं होती है। सम्मिलित हों और मिलें आदेश व्युत्क्रम के संबंध में एक दूसरे से [[द्वैत (आदेश सिद्धांत)]] हैं। | ||
एक आंशिक रूप से आदेशित किया गया समुच्चय | एक आंशिक रूप से आदेशित किया गया समुच्चय जिसमें सभी जोड़े सम्मिलित होते हैं, एक [[ज्वाइन-सेमी-जाली|ज्वाइन-सेमिलैटिस]] होता है। दोहरी रूप से, एक आंशिक रूप से आदेशित समुच्चय जिसमें सभी जोड़ों का मिलन होता है, एक मिलन-सेमिलैटिस है। एक आंशिक रूप से आदेशित किया गया समुच्चय जो कि ज्वाइन-सेमिलैटिस और [[मिलना-अर्ध-जाली]] दोनों है, एक [[ जाली (आदेश) |जाली (आदेश)]] है। एक जाली जिसमें हर उपसमुच्चय, न कि हर जोड़ी, एक मिलन और एक जुड़ाव रखती है, एक [[पूर्ण जाली]] है। एक [[आंशिक जाली]] को परिभाषित करना भी संभव है, जिसमें सभी जोड़ियों का मिलना या जुड़ना नहीं है, लेकिन संचालन (जब परिभाषित) कुछ स्वयंसिद्धों को संतुष्ट करते हैं।{{sfn|Grätzer|1996|p=[https://books.google.com/books?id=SoGLVCPuOz0C&pg=PA52 52]}} | ||
[[कुल आदेश]] के उपसमुच्चय का जुड़ना/मिलना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व उपस्थित है। | [[कुल आदेश]] के उपसमुच्चय का जुड़ना/मिलना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व उपस्थित है। | ||
यदि एक उपसमुच्चय <math>S</math> आंशिक रूप से आदेशित समुच्चय | यदि एक उपसमुच्चय <math>S</math> आंशिक रूप से आदेशित समुच्चय का <math>P</math> एक (ऊपर की ओर) [[निर्देशित सेट|निर्देशित समुच्चय]] भी है, तो इसका जुड़ाव (यदि यह उपस्थित है) एक निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। पूरी तरह से आदेशित किए गए सेट के सबसेट में सम्मिलित होना/मिलना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व मौजूद है। यदि आंशिक रूप से आदेशित किए गए सेट का एक उपसमुच्चय भी एक (ऊपर की ओर) निर्देशित सेट है, तो इसके सम्मिलित होने (यदि यह मौजूद है) को निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। दो तरह से, अगर <math>S</math> एक नीचे की ओर निर्देशित समुच्चय है, तो इसका मिलन (यदि यह उपस्थित है) एक निर्देशित मिलन या निर्देशित न्यूनतम है। | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
Line 12: | Line 12: | ||
=== आंशिक आदेश दृष्टिकोण === | === आंशिक आदेश दृष्टिकोण === | ||
माना कि | माना कि <math>A</math> आंशिक क्रम के साथ एक समुच्चय बनें <math>\,\leq,\,</math> और जाने <math>x, y \in A.</math> तत्व <math>m</math> का <math>A</math> कहा जाता है{{visible anchor|meet}} (या{{visible anchor|greatest lower bound}} या{{visible anchor|infimum}}) का <math>x \text{ and } y</math> और द्वारा दर्शाया गया है <math>x \wedge y,</math> यदि निम्नलिखित दो शर्तें पूरी होती हैं: | ||
# <math>m \leq x \text{ and } m \leq y</math> (वह है, <math>m</math> की निचली सीमा है <math>x \text{ and } y</math>). | # <math>m \leq x \text{ and } m \leq y</math> (वह है, <math>m</math> की निचली सीमा है <math>x \text{ and } y</math>). | ||
Line 33: | Line 33: | ||
=== सार्वभौमिक बीजगणित दृष्टिकोण === | === सार्वभौमिक बीजगणित दृष्टिकोण === | ||
परिभाषा के अनुसार, एक बाइनरी ऑपरेशन <math>\,\wedge\,</math> एक समुच्चय | परिभाषा के अनुसार, एक बाइनरी ऑपरेशन <math>\,\wedge\,</math> एक समुच्चय पर <math>A</math> एक है {{em|meet}} यदि यह तीन स्थितियों a, b, और c को संतुष्ट करता है। जोड़ी <math>(A, \wedge)</math> फिर एक मिलन-सेमिलैटिस है। इसके अतिरिक्त , हम तब एक [[द्विआधारी संबंध]] को परिभाषित कर सकते हैं <math>\,\leq\,</math> ए पर, यह कहकर <math>x \leq y</math> अगर और केवल अगर <math>x \wedge y = x.</math> वास्तव में, यह संबंध एक आंशिक क्रम है <math>A.</math> दरअसल, किसी भी तत्व के लिए <math>x, y, z \in A,</math> | ||
* <math>x \leq x,</math> तब से <math>x \wedge x = x</math> सी द्वारा; | * <math>x \leq x,</math> तब से <math>x \wedge x = x</math> सी द्वारा; | ||
* अगर <math>x \leq y \text{ and } y \leq x</math> तब <math>x = x \wedge y = y \wedge x = y</math> ए द्वारा; और | * अगर <math>x \leq y \text{ and } y \leq x</math> तब <math>x = x \wedge y = y \wedge x = y</math> ए द्वारा; और | ||
Line 42: | Line 42: | ||
=== दृष्टिकोण की समानता === | === दृष्टिकोण की समानता === | ||
अगर <math>(A, \leq)</math> एक आंशिक रूप से क्रमबद्ध समुच्चय | अगर <math>(A, \leq)</math> एक आंशिक रूप से क्रमबद्ध समुच्चय है, जैसे कि तत्वों की प्रत्येक जोड़ी <math>A</math> मिलना है, तो वास्तव में <math>x \wedge y = x</math> अगर और केवल अगर <math>x \leq y,</math> चूंकि बाद के मामले में वास्तव में <math>x</math> की निचली सीमा है <math>x \text{ and } y,</math> और तबसे <math>x</math> है {{em|greatest}} लोअर बाउंड अगर और केवल अगर यह लोअर बाउंड है। इस प्रकार, सार्वभौमिक बीजगणित दृष्टिकोण में मीट द्वारा परिभाषित आंशिक क्रम मूल आंशिक क्रम के साथ मेल खाता है। | ||
इसके विपरीत यदि <math>(A, \wedge)</math> एक मिलन-सेमिलैटिस और आंशिक क्रम है <math>\,\leq\,</math> सार्वभौमिक बीजगणित दृष्टिकोण के रूप में परिभाषित किया गया है, और <math>z = x \wedge y</math> कुछ तत्वों के लिए <math>x, y \in A,</math> तब <math>z</math> की सबसे बड़ी निचली सीमा है <math>x \text{ and } y</math> इसके संबंध में <math>\,\leq,\,</math> तब से | इसके विपरीत यदि <math>(A, \wedge)</math> एक मिलन-सेमिलैटिस और आंशिक क्रम है <math>\,\leq\,</math> सार्वभौमिक बीजगणित दृष्टिकोण के रूप में परिभाषित किया गया है, और <math>z = x \wedge y</math> कुछ तत्वों के लिए <math>x, y \in A,</math> तब <math>z</math> की सबसे बड़ी निचली सीमा है <math>x \text{ and } y</math> इसके संबंध में <math>\,\leq,\,</math> तब से | ||
Line 54: | Line 54: | ||
== सामान्य उपसमूहों की बैठकें == | == सामान्य उपसमूहों की बैठकें == | ||
अगर <math>(A, \wedge)</math> एक मीट-सेमिलैटिस है, तो मीट को पुनरावृत्त बाइनरी ऑपरेशंस में वर्णित तकनीक द्वारा किसी भी [[खाली सेट|खाली समुच्चय]] | अगर <math>(A, \wedge)</math> एक मीट-सेमिलैटिस है, तो मीट को पुनरावृत्त बाइनरी ऑपरेशंस में वर्णित तकनीक द्वारा किसी भी [[खाली सेट|खाली समुच्चय]] गैर-रिक्त परिमित समुच्चय के एक अच्छी तरह से परिभाषित मीट तक बढ़ाया जा सकता है। वैकल्पिक रूप से, यदि मीट परिभाषित करता है या एक आंशिक क्रम द्वारा परिभाषित किया जाता है, तो इसके कुछ उपसमुच्चय <math>A</math> वास्तव में इसके संबंध में इन्फिमा है, और इस तरह के इन्फिनिमम को उपसमुच्चय के रूप में मानना उचित है। गैर-रिक्त परिमित उपसमुच्चय के लिए, दो दृष्टिकोण समान परिणाम देते हैं, और इसलिए या तो मिलने की परिभाषा के रूप में लिया जा सकता है। मामले में जहां {{em|each}} का भाग <math>A</math> वास्तव में एक मुलाकात है <math>(A, \leq)</math> एक पूर्ण जाली है; विवरण के लिए, [[पूर्णता (आदेश सिद्धांत)]] देखें। | ||
== उदाहरण == | == उदाहरण == | ||
अगर कुछ बिजली समुच्चय | अगर कुछ बिजली समुच्चय <math>\wp(X)</math> आंशिक रूप से सामान्य तरीके से आदेश दिया जाता है (द्वारा <math>\,\subseteq</math>) तो जोड़ संघ हैं और मिलन चौराहे हैं; प्रतीकों में, <math>\,\vee \,=\, \cup\, \text{ and } \,\wedge \,=\, \cap\,</math> (जहां इन प्रतीकों की समानता को याद रखने के लिए एक स्मृति चिन्ह के रूप में इस्तेमाल किया जा सकता है <math>\,\vee\,</math> ज्वाइन / सुप्रीमम और को दर्शाता है <math>\,\wedge\,</math> मिलना/निम्न दर्शाता है<ref group="note">It can be immediately determined that supremums and infimums in this canonical, simple example <math>(\wp(X), \subseteq)</math> are <math>\,\cup\, \text{ and } \,\cap\,,</math> respectively. The similarity of the symbol <math>\,\vee\,</math> to <math>\,\cup\,</math> and of <math>\,\wedge\,</math> to <math>\,\cap\,</math> may thus be used as a mnemonic for remembering that in the most general setting, <math>\,\vee\,</math> denotes the supremum (because a supremum is a bound from above, just like <math>A \cup B</math> is "above" <math>A</math> and <math>B</math>) while <math>\,\wedge\,</math> denotes the infimum (because an infimum is a bound from below, just like <math>A \cap B</math> is "below" <math>A</math> and <math>B</math>). This can also be used to remember whether meets/joins are denoted by <math>\,\vee\,</math> or by <math>\,\wedge.\,</math> Intuition suggests that "{{em|join}}"ing two sets together should produce their union <math>A \cup B,</math> which looks similar to <math>A \vee B,</math> so "join" must be denoted by <math>\,\vee.\,</math> Similarly, two sets should "{{em|meet}}" at their intersection <math>A \cap B,</math> which looks similar to <math>A \wedge B,</math> so "meet" must be denoted by <math>\,\wedge.\,</math></ref>). | ||
अधिक आम तौर पर, मान लीजिए <math>\mathcal{F} \neq \varnothing</math> कुछ समुच्चय | अधिक आम तौर पर, मान लीजिए <math>\mathcal{F} \neq \varnothing</math> कुछ समुच्चय के [[सेट का परिवार|समुच्चय का परिवार]] है <math>X</math> वह आंशिक आदेश है <math>\,\subseteq.\,</math> अगर <math>\mathcal{F}</math> मनमानी यूनियनों और मनमाने चौराहों के तहत बंद है और यदि <math>A, B, \left(F_i\right)_{i \in I}</math> के संबंधित <math>\mathcal{F}</math> तब | ||
<math display=block>A \vee B = A \cup B, \quad A \wedge B = A \cap B, \quad \bigvee_{i \in I} F_i = \bigcup_{i \in I} F_i, \quad \text{ and } \quad \bigwedge_{i \in I} F_i = \bigcap_{i \in I} F_i.</math> | <math display=block>A \vee B = A \cup B, \quad A \wedge B = A \cap B, \quad \bigvee_{i \in I} F_i = \bigcup_{i \in I} F_i, \quad \text{ and } \quad \bigwedge_{i \in I} F_i = \bigcap_{i \in I} F_i.</math> | ||
लेकिन अगर <math>\mathcal{F}</math> तब यूनियनों के तहत बंद नहीं है <math>A \vee B</math> में उपस्थित है <math>(\mathcal{F}, \subseteq)</math> अगर और केवल अगर वहाँ एक अद्वितीय उपस्थित है <math>\,\subseteq</math>-सबसे छोटा <math>J \in \mathcal{F}</math> ऐसा है कि <math>A \cup B \subseteq J.</math> उदाहरण के लिए, यदि <math>\mathcal{F} = \{ \{1\}, \{2\}, \{1, 2, 3\}, \R \}</math> तब <math>\{1\} \vee \{2\} = \{1, 2, 3\}</math> जबकि अगर <math>\mathcal{F} = \{ \{1\}, \{2\}, \{1, 2, 3\}, \{0, 1, 2\}, \R \}</math> तब <math>\{1\} \vee \{2\}</math> उपस्थित नहीं है क्योंकि समुच्चय | लेकिन अगर <math>\mathcal{F}</math> तब यूनियनों के तहत बंद नहीं है <math>A \vee B</math> में उपस्थित है <math>(\mathcal{F}, \subseteq)</math> अगर और केवल अगर वहाँ एक अद्वितीय उपस्थित है <math>\,\subseteq</math>-सबसे छोटा <math>J \in \mathcal{F}</math> ऐसा है कि <math>A \cup B \subseteq J.</math> उदाहरण के लिए, यदि <math>\mathcal{F} = \{ \{1\}, \{2\}, \{1, 2, 3\}, \R \}</math> तब <math>\{1\} \vee \{2\} = \{1, 2, 3\}</math> जबकि अगर <math>\mathcal{F} = \{ \{1\}, \{2\}, \{1, 2, 3\}, \{0, 1, 2\}, \R \}</math> तब <math>\{1\} \vee \{2\}</math> उपस्थित नहीं है क्योंकि समुच्चय <math>\{0, 1, 2\} \text{ and } \{1, 2, 3\}</math> की केवल ऊपरी सीमाएँ हैं <math>\{1\} \text{ and } \{2\}</math> में <math>(\mathcal{F}, \subseteq)</math> यह संभवतः हो सकता है {{em|least}} ऊपरी सीमा <math>\{1\} \vee \{2\}</math> लेकिन <math>\{0, 1, 2\} \not\subseteq \{1, 2, 3\}</math> और <math>\{1, 2, 3\} \not\subseteq \{0, 1, 2\}.</math> अगर <math>\mathcal{F} = \{ \{1\}, \{2\}, \{0, 2, 3\}, \{0, 1, 3\} \}</math> तब <math>\{1\} \vee \{2\}</math> उपस्थित नहीं है क्योंकि इसकी कोई ऊपरी सीमा नहीं है <math>\{1\} \text{ and } \{2\}</math> में <math>(\mathcal{F}, \subseteq).</math> | ||
== यह भी देखें == | == यह भी देखें == | ||
* {{annotated link| | * {{annotated link|स्थानीय रूप से उत्तल वेक्टर जाली}} | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
Line 81: | Line 81: | ||
* {{cite book|first=Steven|last=Vickers|authorlink=Steve Vickers (computer scientist)|title=Topology via Logic|series=Cambridge Tracts in Theoretic Computer Science|volume=5|isbn=0-521-36062-5|year=1989|zbl=0668.54001}} | * {{cite book|first=Steven|last=Vickers|authorlink=Steve Vickers (computer scientist)|title=Topology via Logic|series=Cambridge Tracts in Theoretic Computer Science|volume=5|isbn=0-521-36062-5|year=1989|zbl=0668.54001}} | ||
{{refend}} | {{refend}} | ||
{{DEFAULTSORT:Join And Meet}} | {{DEFAULTSORT:Join And Meet}} |
Revision as of 15:13, 6 March 2023
Transitive binary relations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
✗ indicates that the property may, or may not hold. All definitions tacitly require the homogeneous relation be transitive: for all if and then and there are additional properties that a homogeneous relation may satisfy. | indicates that the column's property is required by the definition of the row's term (at the very left). For example, the definition of an equivalence relation requires it to be symmetric.
गणित में, विशेष रूप से आदेश सिद्धांत, एक उपसमुच्चय का जुड़ाव आंशिक रूप से आदेशित समुच्चय का की सर्वोच्च (कम से कम ऊपरी सीमा) है निरूपित और इसी तरह, की मिलते हैं सबसे कम (सबसे बड़ी निचली सीमा) है, जिसे निरूपित किया गया है सामान्य तौर पर, आंशिक रूप से आदेशित किए गए समुच्चय के उपसमुच्चय में सम्मिलित होने और मिलने की आवश्यकता नहीं होती है। सम्मिलित हों और मिलें आदेश व्युत्क्रम के संबंध में एक दूसरे से द्वैत (आदेश सिद्धांत) हैं।
एक आंशिक रूप से आदेशित किया गया समुच्चय जिसमें सभी जोड़े सम्मिलित होते हैं, एक ज्वाइन-सेमिलैटिस होता है। दोहरी रूप से, एक आंशिक रूप से आदेशित समुच्चय जिसमें सभी जोड़ों का मिलन होता है, एक मिलन-सेमिलैटिस है। एक आंशिक रूप से आदेशित किया गया समुच्चय जो कि ज्वाइन-सेमिलैटिस और मिलना-अर्ध-जाली दोनों है, एक जाली (आदेश) है। एक जाली जिसमें हर उपसमुच्चय, न कि हर जोड़ी, एक मिलन और एक जुड़ाव रखती है, एक पूर्ण जाली है। एक आंशिक जाली को परिभाषित करना भी संभव है, जिसमें सभी जोड़ियों का मिलना या जुड़ना नहीं है, लेकिन संचालन (जब परिभाषित) कुछ स्वयंसिद्धों को संतुष्ट करते हैं।[1]
कुल आदेश के उपसमुच्चय का जुड़ना/मिलना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व उपस्थित है।
यदि एक उपसमुच्चय आंशिक रूप से आदेशित समुच्चय का एक (ऊपर की ओर) निर्देशित समुच्चय भी है, तो इसका जुड़ाव (यदि यह उपस्थित है) एक निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। पूरी तरह से आदेशित किए गए सेट के सबसेट में सम्मिलित होना/मिलना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व मौजूद है। यदि आंशिक रूप से आदेशित किए गए सेट का एक उपसमुच्चय भी एक (ऊपर की ओर) निर्देशित सेट है, तो इसके सम्मिलित होने (यदि यह मौजूद है) को निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। दो तरह से, अगर एक नीचे की ओर निर्देशित समुच्चय है, तो इसका मिलन (यदि यह उपस्थित है) एक निर्देशित मिलन या निर्देशित न्यूनतम है।
परिभाषाएँ
आंशिक आदेश दृष्टिकोण
माना कि आंशिक क्रम के साथ एक समुच्चय बनें और जाने तत्व का कहा जाता हैmeet (याgreatest lower bound याinfimum) का और द्वारा दर्शाया गया है यदि निम्नलिखित दो शर्तें पूरी होती हैं:
- (वह है, की निचली सीमा है ).
- किसी के लिए अगर तब (वह है, की किसी अन्य निचली सीमा से अधिक या उसके बराबर है ).
मिलने की आवश्यकता नहीं है, या तो जोड़ी के पास कोई निचली सीमा नहीं है, या चूंकि निचली सीमाओं में से कोई भी अन्य सभी से अधिक नहीं है। हालांकि, अगर कोई मुलाकात होती है तो यह अद्वितीय है, क्योंकि यदि दोनों की सबसे निचली सीमाएँ हैं तब और इस तरह [2] यदि तत्वों के सभी जोड़े नहीं हैं एक बैठक है, तो बैठक को अभी भी आंशिक फ़ंक्शन बाइनरी ऑपरेशन के रूप में देखा जा सकता है [1]
यदि मिलन उपस्थित है तो इसे निरूपित किया जाता है यदि तत्वों के सभी जोड़े से मीट है, तो मीट एक बाइनरी ऑपरेशन है और यह देखना आसान है कि यह ऑपरेशन निम्नलिखित तीन शर्तों को पूरा करता है: किसी भी तत्व के लिए <ओल प्रकार = ए> <ली> (क्रमविनिमेयता ), <ली> (साहचर्य), और <ली> (आलस्य)। </ओल>
जोड़ परिभाषित द्वैत (आदेश सिद्धांत) के सम्मिलित होने के साथ हैं यदि यह उपस्थित है, द्वारा निरूपित तत्व का हैjoin (याleast upper bound याsupremum) का में यदि निम्नलिखित दो शर्तें पूरी होती हैं:
- (वह है, की ऊपरी सीमा है ).
- किसी के लिए अगर तब (वह है, की किसी अन्य ऊपरी सीमा से कम या उसके बराबर है ).
सार्वभौमिक बीजगणित दृष्टिकोण
परिभाषा के अनुसार, एक बाइनरी ऑपरेशन एक समुच्चय पर एक है meet यदि यह तीन स्थितियों a, b, और c को संतुष्ट करता है। जोड़ी फिर एक मिलन-सेमिलैटिस है। इसके अतिरिक्त , हम तब एक द्विआधारी संबंध को परिभाषित कर सकते हैं ए पर, यह कहकर अगर और केवल अगर वास्तव में, यह संबंध एक आंशिक क्रम है दरअसल, किसी भी तत्व के लिए
- तब से सी द्वारा;
- अगर तब ए द्वारा; और
- अगर तब के बाद से बी द्वारा।
मिलते हैं और जुड़ते हैं दोनों इस परिभाषा को समान रूप से संतुष्ट करते हैं: कुछ संबद्ध मिलने और जुड़ने के संचालन से आंशिक आदेश मिलते हैं जो एक दूसरे के विपरीत होते हैं। इनमें से किसी एक आदेशित को मुख्य के रूप में चुनते समय, यह भी तय किया जाता है कि कौन सा ऑपरेशन एक मीट माना जाता है (एक ही आदेशित देने वाला) और जिसे एक जॉइन माना जाता है (दूसरा वाला)।
दृष्टिकोण की समानता
अगर एक आंशिक रूप से क्रमबद्ध समुच्चय है, जैसे कि तत्वों की प्रत्येक जोड़ी मिलना है, तो वास्तव में अगर और केवल अगर चूंकि बाद के मामले में वास्तव में की निचली सीमा है और तबसे है greatest लोअर बाउंड अगर और केवल अगर यह लोअर बाउंड है। इस प्रकार, सार्वभौमिक बीजगणित दृष्टिकोण में मीट द्वारा परिभाषित आंशिक क्रम मूल आंशिक क्रम के साथ मेल खाता है।
इसके विपरीत यदि एक मिलन-सेमिलैटिस और आंशिक क्रम है सार्वभौमिक बीजगणित दृष्टिकोण के रूप में परिभाषित किया गया है, और कुछ तत्वों के लिए तब की सबसे बड़ी निचली सीमा है इसके संबंध में तब से
दूसरे शब्दों में, दो दृष्टिकोण अनिवार्य रूप से समतुल्य अवधारणाएं उत्पन्न करते हैं, एक बाइनरी रिलेशन और बाइनरी ऑपरेशन दोनों से लैस एक समुच्चय , जैसे कि इनमें से प्रत्येक संरचना दूसरे को निर्धारित करती है, और क्रमशः आंशिक आदेशित या मिलने की शर्तों को पूरा करती है।
सामान्य उपसमूहों की बैठकें
अगर एक मीट-सेमिलैटिस है, तो मीट को पुनरावृत्त बाइनरी ऑपरेशंस में वर्णित तकनीक द्वारा किसी भी खाली समुच्चय गैर-रिक्त परिमित समुच्चय के एक अच्छी तरह से परिभाषित मीट तक बढ़ाया जा सकता है। वैकल्पिक रूप से, यदि मीट परिभाषित करता है या एक आंशिक क्रम द्वारा परिभाषित किया जाता है, तो इसके कुछ उपसमुच्चय वास्तव में इसके संबंध में इन्फिमा है, और इस तरह के इन्फिनिमम को उपसमुच्चय के रूप में मानना उचित है। गैर-रिक्त परिमित उपसमुच्चय के लिए, दो दृष्टिकोण समान परिणाम देते हैं, और इसलिए या तो मिलने की परिभाषा के रूप में लिया जा सकता है। मामले में जहां each का भाग वास्तव में एक मुलाकात है एक पूर्ण जाली है; विवरण के लिए, पूर्णता (आदेश सिद्धांत) देखें।
उदाहरण
अगर कुछ बिजली समुच्चय आंशिक रूप से सामान्य तरीके से आदेश दिया जाता है (द्वारा ) तो जोड़ संघ हैं और मिलन चौराहे हैं; प्रतीकों में, (जहां इन प्रतीकों की समानता को याद रखने के लिए एक स्मृति चिन्ह के रूप में इस्तेमाल किया जा सकता है ज्वाइन / सुप्रीमम और को दर्शाता है मिलना/निम्न दर्शाता है[note 1]).
अधिक आम तौर पर, मान लीजिए कुछ समुच्चय के समुच्चय का परिवार है वह आंशिक आदेश है अगर मनमानी यूनियनों और मनमाने चौराहों के तहत बंद है और यदि के संबंधित तब
यह भी देखें
टिप्पणियाँ
- ↑ 1.0 1.1 Grätzer 1996, p. 52.
- ↑ Hachtel, Gary D.; Somenzi, Fabio (1996). तर्क संश्लेषण और सत्यापन एल्गोरिदम. Kluwer Academic Publishers. p. 88. ISBN 0792397460.
- ↑ It can be immediately determined that supremums and infimums in this canonical, simple example are respectively. The similarity of the symbol to and of to may thus be used as a mnemonic for remembering that in the most general setting, denotes the supremum (because a supremum is a bound from above, just like is "above" and ) while denotes the infimum (because an infimum is a bound from below, just like is "below" and ). This can also be used to remember whether meets/joins are denoted by or by Intuition suggests that "join"ing two sets together should produce their union which looks similar to so "join" must be denoted by Similarly, two sets should "meet" at their intersection which looks similar to so "meet" must be denoted by
संदर्भ
- Davey, B.A.; Priestley, H.A. (2002). Introduction to Lattices and Order (2nd ed.). Cambridge: Cambridge University Press. ISBN 0-521-78451-4. Zbl 1002.06001.
- Vickers, Steven (1989). Topology via Logic. Cambridge Tracts in Theoretic Computer Science. Vol. 5. ISBN 0-521-36062-5. Zbl 0668.54001.