जुड़ें और मिलें

Transitive binary relations
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Total, Semiconnex Anti- reflexive Equivalence relation Y ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Preorder (Quasiorder) ✗ ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Partial order ✗ Y ✗ ✗ ✗ ✗ Y ✗ ✗ Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗ Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗ Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering ✗ Y Y Y ✗ ✗ Y ✗ ✗ Lattice ✗ Y ✗ ✗ Y Y Y ✗ ✗ Join-semilattice ✗ Y ✗ ✗ Y ✗ Y ✗ ✗ Meet-semilattice ✗ Y ✗ ✗ ✗ Y Y ✗ ✗ Strict partial order ✗ ✗ ✗ ✗ ✗ ✗ ✗ Y Y Strict weak order ✗ ✗ ✗ ✗ ✗ ✗ ✗ Y Y Strict total order ✗ ✗ Y ✗ ✗ ✗ ✗ Y Y Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Definitions, for all $a,b$ and $S\neq \varnothing :$ ${\begin{aligned}&aRb\\\Rightarrow {}&bRa\end{aligned}}$ ${\begin{aligned}aRb{\text{ and }}&bRa\\\Rightarrow a={}&b\end{aligned}}$ ${\begin{aligned}a\neq {}&b\Rightarrow \\aRb{\text{ or }}&bRa\end{aligned}}$ ${\begin{aligned}\min S\\{\text{exists}}\end{aligned}}$ ${\begin{aligned}a\vee b\\{\text{exists}}\end{aligned}}$ ${\begin{aligned}a\wedge b\\{\text{exists}}\end{aligned}}$ $aRa$ ${\text{not }}aRa$ ${\begin{aligned}aRb\Rightarrow \\{\text{not }}bRa\end{aligned}}$
Y 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. ✗ indicates that the property may, or may not hold. All definitions tacitly require the homogeneous relation $R$ be transitive: for all $a,b,c,$ if $aRb$ and $bRc$ then $aRc,$ and there are additional properties that a homogeneous relation may satisfy.

यह हस्से आरेख चार तत्वों के साथ आंशिक रूप से आदेशित सेट को दर्शाता है: ए, बी, अधिकतम तत्व ए $\vee$ b a और b के जुड़ने के बराबर है, और न्यूनतम तत्व a $\wedge$ b a और b के मिलने के बराबर है। अधिकतम/न्यूनतम तत्व का जुड़ना/मिलना और दूसरा तत्व अधिकतम/न्यूनतम तत्व है और इसके विपरीत किसी अन्य तत्व के साथ अधिकतम/न्यूनतम तत्व का मिलना/जुड़ना अन्य तत्व है। इस प्रकार इस पोसेट में प्रत्येक जोड़ी में एक मिलन और जुड़ाव दोनों होते हैं और पोसेट को एक जाली (आदेश सिद्धांत) के रूप में वर्गीकृत किया जा सकता है।

गणित में, विशेष रूप से आदेश सिद्धांत, एक सबसेट का जुड़ाव $S$ आंशिक रूप से आदेशित सेट का $P$ की सर्वोच्च (कम से कम ऊपरी सीमा) है $S,$ लक्षित ${\textstyle \bigvee S,}$ और इसी तरह, की मुलाकात $S$ सबसे कम (सबसे बड़ी निचली सीमा) है, जिसे निरूपित किया गया है ${\textstyle \bigwedge S.}$ सामान्य तौर पर, आंशिक रूप से ऑर्डर किए गए सेट के सबसेट में शामिल होने और मिलने की आवश्यकता नहीं होती है। शामिल हों और मिलें आदेश व्युत्क्रम के संबंध में एक दूसरे से द्वैत (आदेश सिद्धांत) हैं।

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

कुल आदेश के उपसमुच्चय का जुड़ना/मिलना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व मौजूद है।

यदि एक उपसमुच्चय $S$ आंशिक रूप से आदेशित सेट का $P$ एक (ऊपर की ओर) निर्देशित सेट भी है, तो इसका जुड़ाव (यदि यह मौजूद है) एक निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। दो तरह से, अगर $S$ एक नीचे की ओर निर्देशित सेट है, तो इसका मिलन (यदि यह मौजूद है) एक निर्देशित मिलन या निर्देशित न्यूनतम है।

परिभाषाएँ

आंशिक आदेश दृष्टिकोण

होने देना $A$ आंशिक क्रम के साथ एक सेट बनें $\,\leq ,\,$ और जाने $x,y\in A.$ तत्व $m$ का $A$ कहा जाता हैmeet (याgreatest lower bound याinfimum) का $x{\text{ and }}y$ और द्वारा दर्शाया गया है $x\wedge y,$ यदि निम्नलिखित दो शर्तें पूरी होती हैं:

1. $m\leq x{\text{ and }}m\leq y$ (वह है, $m$ की निचली सीमा है $x{\text{ and }}y$).
2. किसी के लिए $w\in A,$ अगर $w\leq x{\text{ and }}w\leq y,$ तब $w\leq m$ (वह है, $m$ की किसी अन्य निचली सीमा से अधिक या उसके बराबर है $x{\text{ and }}y$).

मिलने की आवश्यकता नहीं है, या तो जोड़ी के पास कोई निचली सीमा नहीं है, या चूंकि निचली सीमाओं में से कोई भी अन्य सभी से अधिक नहीं है। हालांकि, अगर कोई मुलाकात होती है $x{\text{ and }}y,$ तो यह अद्वितीय है, क्योंकि यदि दोनों $m{\text{ and }}m^{\prime }$ की सबसे निचली सीमाएँ हैं $x{\text{ and }}y,$ तब $m\leq m^{\prime }{\text{ and }}m^{\prime }\leq m,$ और इस तरह $m=m^{\prime }.$ यदि तत्वों के सभी जोड़े नहीं हैं $A$ एक बैठक है, तो बैठक को अभी भी आंशिक फ़ंक्शन बाइनरी ऑपरेशन के रूप में देखा जा सकता है $A.$

यदि मिलन मौजूद है तो इसे निरूपित किया जाता है $x\wedge y.$ यदि तत्वों के सभी जोड़े से $A$ मीट है, तो मीट एक बाइनरी ऑपरेशन है $A,$ और यह देखना आसान है कि यह ऑपरेशन निम्नलिखित तीन शर्तों को पूरा करता है: किसी भी तत्व के लिए $x,y,z\in A,$ <ओल प्रकार = ए>

<ली>$x\wedge y=y\wedge x$ (क्रमविनिमेयता ), <ली>$x\wedge (y\wedge z)=(x\wedge y)\wedge z$ (साहचर्य), और <ली>$x\wedge x=x$ (आलस्य)। </ओल> जोड़ परिभाषित द्वैत (आदेश सिद्धांत) के शामिल होने के साथ हैं $x{\text{ and }}y,$ यदि यह मौजूद है, द्वारा निरूपित $x\vee y.$ तत्व $j$ का $A$ हैjoin (याleast upper bound याsupremum) का $x{\text{ and }}y$ में $A$ यदि निम्नलिखित दो शर्तें पूरी होती हैं:

1. $x\leq j{\text{ and }}y\leq j$ (वह है, $j$ की ऊपरी सीमा है $x{\text{ and }}y$).
2. किसी के लिए $w\in A,$ अगर $x\leq w{\text{ and }}y\leq w,$ तब $j\leq w$ (वह है, $j$ की किसी अन्य ऊपरी सीमा से कम या उसके बराबर है $x{\text{ and }}y$).

सार्वभौमिक बीजगणित दृष्टिकोण

परिभाषा के अनुसार, एक बाइनरी ऑपरेशन $\,\wedge \,$ एक सेट पर $A$ एक है meet यदि यह तीन स्थितियों a, b, और c को संतुष्ट करता है। जोड़ी $(A,\wedge )$ फिर एक मिलन-सेमिलैटिस है। इसके अलावा, हम तब एक द्विआधारी संबंध को परिभाषित कर सकते हैं $\,\leq \,$ ए पर, यह कहकर $x\leq y$ अगर और केवल अगर $x\wedge y=x.$ वास्तव में, यह संबंध एक आंशिक क्रम है $A.$ दरअसल, किसी भी तत्व के लिए $x,y,z\in A,$

• $x\leq x,$ तब से $x\wedge x=x$ सी द्वारा;
• अगर $x\leq y{\text{ and }}y\leq x$ तब $x=x\wedge y=y\wedge x=y$ ए द्वारा; और
• अगर $x\leq y{\text{ and }}y\leq z$ तब $x\leq z$ के बाद से $x\wedge z=(x\wedge y)\wedge z=x\wedge (y\wedge z)=x\wedge y=x$ बी द्वारा।

मिलते हैं और जुड़ते हैं दोनों इस परिभाषा को समान रूप से संतुष्ट करते हैं: कुछ संबद्ध मिलने और जुड़ने के संचालन से आंशिक आदेश मिलते हैं जो एक दूसरे के विपरीत होते हैं। इनमें से किसी एक ऑर्डर को मुख्य के रूप में चुनते समय, यह भी तय किया जाता है कि कौन सा ऑपरेशन एक मीट माना जाता है (एक ही ऑर्डर देने वाला) और जिसे एक जॉइन माना जाता है (दूसरा वाला)।

दृष्टिकोण की समानता

अगर $(A,\leq )$ एक आंशिक रूप से क्रमबद्ध सेट है, जैसे कि तत्वों की प्रत्येक जोड़ी $A$ मिलना है, तो वास्तव में $x\wedge y=x$ अगर और केवल अगर $x\leq y,$ चूंकि बाद के मामले में वास्तव में $x$ की निचली सीमा है $x{\text{ and }}y,$ और तबसे $x$ है greatest लोअर बाउंड अगर और केवल अगर यह लोअर बाउंड है। इस प्रकार, सार्वभौमिक बीजगणित दृष्टिकोण में मीट द्वारा परिभाषित आंशिक क्रम मूल आंशिक क्रम के साथ मेल खाता है।

इसके विपरीत यदि $(A,\wedge )$ एक मिलन-सेमिलैटिस और आंशिक क्रम है $\,\leq \,$ सार्वभौमिक बीजगणित दृष्टिकोण के रूप में परिभाषित किया गया है, और $z=x\wedge y$ कुछ तत्वों के लिए $x,y\in A,$ तब $z$ की सबसे बड़ी निचली सीमा है $x{\text{ and }}y$ इसके संबंध में $\,\leq ,\,$ तब से

$$z\wedge x=x\wedge z=x\wedge (x\wedge y)=(x\wedge x)\wedge y=x\wedge y=z$$

और इसलिए $z\leq x.$ इसी प्रकार, $z\leq y,$ और अगर $w$ की एक और निचली सीमा है $x{\text{ and }}y,$ तब $w\wedge x=w\wedge y=w,$ जहां से

$$w\wedge z=w\wedge (x\wedge y)=(w\wedge x)\wedge y=w\wedge y=w.$$

इस प्रकार, मूल मिलन द्वारा परिभाषित आंशिक क्रम द्वारा परिभाषित एक मिलन होता है, और दोनों मिलते हैं।

दूसरे शब्दों में, दो दृष्टिकोण अनिवार्य रूप से समतुल्य अवधारणाएं उत्पन्न करते हैं, एक बाइनरी रिलेशन और बाइनरी ऑपरेशन दोनों से लैस एक सेट, जैसे कि इनमें से प्रत्येक संरचना दूसरे को निर्धारित करती है, और क्रमशः आंशिक ऑर्डर या मिलने की शर्तों को पूरा करती है।

सामान्य उपसमूहों की बैठकें

अगर $(A,\wedge )$ एक मीट-सेमिलैटिस है, तो मीट को पुनरावृत्त बाइनरी ऑपरेशंस में वर्णित तकनीक द्वारा किसी भी खाली सेट | गैर-रिक्त परिमित सेट के एक अच्छी तरह से परिभाषित मीट तक बढ़ाया जा सकता है। वैकल्पिक रूप से, यदि मीट परिभाषित करता है या एक आंशिक क्रम द्वारा परिभाषित किया जाता है, तो इसके कुछ सबसेट $A$ वास्तव में इसके संबंध में इन्फिमा है, और इस तरह के इन्फिनिमम को उपसमुच्चय के रूप में मानना ​​​​उचित है। गैर-रिक्त परिमित उपसमुच्चय के लिए, दो दृष्टिकोण समान परिणाम देते हैं, और इसलिए या तो मिलने की परिभाषा के रूप में लिया जा सकता है। मामले में जहां each का भाग $A$ वास्तव में एक मुलाकात है $(A,\leq )$ एक पूर्ण जाली है; विवरण के लिए, पूर्णता (आदेश सिद्धांत) देखें।

उदाहरण

अगर कुछ बिजली सेट $\wp (X)$ आंशिक रूप से सामान्य तरीके से आदेश दिया जाता है (द्वारा $\,\subseteq$) तो जोड़ संघ हैं और मिलन चौराहे हैं; प्रतीकों में, $\,\vee \,=\,\cup \,{\text{ and }}\,\wedge \,=\,\cap \,$ (जहां इन प्रतीकों की समानता को याद रखने के लिए एक स्मृति चिन्ह के रूप में इस्तेमाल किया जा सकता है $\,\vee \,$ ज्वाइन / सुप्रीमम और को दर्शाता है $\,\wedge \,$ मिलना/निम्न दर्शाता है).

अधिक आम तौर पर, मान लीजिए ${\mathcal {F}}\neq \varnothing$ कुछ सेट के सेट का परिवार है $X$ वह आंशिक आदेश है $\,\subseteq .\,$ अगर ${\mathcal {F}}$ मनमानी यूनियनों और मनमाने चौराहों के तहत बंद है और यदि $A,B,\left(F_{i}\right)_{i\in I}$ के संबंधित ${\mathcal {F}}$ तब

$$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}.$$

लेकिन अगर ${\mathcal {F}}$ तब यूनियनों के तहत बंद नहीं है $A\vee B$ में मौजूद है $({\mathcal {F}},\subseteq )$ अगर और केवल अगर वहाँ एक अद्वितीय मौजूद है $\,\subseteq$-सबसे छोटा $J\in {\mathcal {F}}$ ऐसा है कि $A\cup B\subseteq J.$ उदाहरण के लिए, यदि ${\mathcal {F}}=\{\{1\},\{2\},\{1,2,3\},\mathbb {R} \}$ तब $\{1\}\vee \{2\}=\{1,2,3\}$ जबकि अगर ${\mathcal {F}}=\{\{1\},\{2\},\{1,2,3\},\{0,1,2\},\mathbb {R} \}$ तब $\{1\}\vee \{2\}$ मौजूद नहीं है क्योंकि सेट $\{0,1,2\}{\text{ and }}\{1,2,3\}$ की केवल ऊपरी सीमाएँ हैं $\{1\}{\text{ and }}\{2\}$ में $({\mathcal {F}},\subseteq )$ यह संभवतः हो सकता है least ऊपरी सीमा $\{1\}\vee \{2\}$ लेकिन $\{0,1,2\}\not \subseteq \{1,2,3\}$ और $\{1,2,3\}\not \subseteq \{0,1,2\}.$ अगर ${\mathcal {F}}=\{\{1\},\{2\},\{0,2,3\},\{0,1,3\}\}$ तब $\{1\}\vee \{2\}$ मौजूद नहीं है क्योंकि इसकी कोई ऊपरी सीमा नहीं है $\{1\}{\text{ and }}\{2\}$ में $({\mathcal {F}},\subseteq ).$

यह भी देखें

• Locally convex vector lattice

संदर्भ

• 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.