पूर्व आदेश

This article is about द्विआधारी संबंध(बाइनरी संबंध). For ग्राफ़ शीर्ष क्रम, see प्रथम गहराई खोज. For अप्रकाशित उत्पादों के लिए खरीद आदेश, see पूर्व आदेश. For अन्य उपयोग, see पूर्व आदेश (disambiguation).

"अर्धक्रम" redirects here. For अप्रतिवर्त सकर्मक संबंध, see सख्त आदेश.

Transitive binary relations
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Total, Semiconnex Anti- reflexive Equivalence relation File:Green check.svgY ✗ ✗ ✗ ✗ ✗ File:Green check.svgY ✗ ✗ Preorder (Quasiorder) ✗ ✗ ✗ ✗ ✗ ✗ File:Green check.svgY ✗ ✗ Partial order ✗ File:Green check.svgY ✗ ✗ ✗ ✗ File:Green check.svgY ✗ ✗ Total preorder ✗ ✗ File:Green check.svgY ✗ ✗ ✗ File:Green check.svgY ✗ ✗ Total order ✗ File:Green check.svgY File:Green check.svgY ✗ ✗ ✗ File:Green check.svgY ✗ ✗ Prewellordering ✗ ✗ File:Green check.svgY File:Green check.svgY ✗ ✗ File:Green check.svgY ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ File:Green check.svgY ✗ ✗ File:Green check.svgY ✗ ✗ Well-ordering ✗ File:Green check.svgY File:Green check.svgY File:Green check.svgY ✗ ✗ File:Green check.svgY ✗ ✗ Lattice ✗ File:Green check.svgY ✗ ✗ File:Green check.svgY File:Green check.svgY File:Green check.svgY ✗ ✗ Join-semilattice ✗ File:Green check.svgY ✗ ✗ File:Green check.svgY ✗ File:Green check.svgY ✗ ✗ Meet-semilattice ✗ File:Green check.svgY ✗ ✗ ✗ File:Green check.svgY File:Green check.svgY ✗ ✗ Strict partial order ✗ ✗ ✗ ✗ ✗ ✗ ✗ File:Green check.svgY File:Green check.svgY Strict weak order ✗ ✗ ✗ ✗ ✗ ✗ ✗ File:Green check.svgY File:Green check.svgY Strict total order ✗ ✗ File:Green check.svgY ✗ ✗ ✗ ✗ File:Green check.svgY File:Green check.svgY 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}}$
File:Green check.svgY 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.

प्राकृतिक संख्याओं पर x//4≤y//4 द्वारा परिभाषित पूर्वआदेश x R y का हासे आरेख।चक्रों के कारण R प्रतिसममित नहीं है। यदि एक चक्र में सभी संख्याओं को समतुल्य माना जाता है, तो एक आंशिक, सम रैखिक, क्रम प्राप्त होना। नीचे पहला उदाहरण देखें।

गणित में, विशेष रूप से क्रम सिद्धांत में, एक पूर्व-आदेश या अर्ध-आदेश एक द्विआधारी संबंध है जो प्रतिवर्त संबंध और सकर्मक संबंध भी कहा जाता है। समतुल्य संबंधों और (गैर-विशुद्ध) आंशिक आदेशों की तुलना में सीमाएँ अधिक सामान्य हैं, दोनों एक पूर्व-आदेश की विशेष स्थितियों हैं: एक प्रतिसममित संबंध (या कंकाल) पूर्व-आदेश एक आंशिक आदेश है, और एक सममित संबंध पूर्व-आदेश एक तुल्यता संबंध है।

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

शब्दों में, कब $a\leq b,$ होने पर b covers a या वह a precedes b , या वह b reduces a आदि कहे जा सकते है । कभी-कभी, अंकन ← या → या $\,\lesssim \,$ के स्थान पर $\,\leq .$ प्रयोग किया जाता है।

प्रत्येक पूर्व-आदेश एक निर्देशित ग्राफ से मिलता हुआ होता है, समुच्चय के तत्वों के साथ कोने के अनुरूप होता है, और कोने के बीच निर्देशित किनारों के अनुरूप तत्वों के युग्म के बीचआदेश संबंध प्रदर्शित करता है। इसका विलोम सत्य नहीं है: अधिकांश निर्देशित रेखांकन न तो प्रतिवर्त और न ही सकर्मक होते हैं । सामान्यतः, संबंधित ग्राफ़ में चक्र (ग्राफ़ सिद्धांत) हो सकता है। एक पूर्व-आदेश जो असममित है अब चक्र नहीं है; यह एक आंशिक क्रम है, और एक निर्देशित चक्रीय ग्राफ से मिलता हुआ होता है। एक पूर्व-आदेश जो सममित है एक तुल्यता संबंध प्रदर्शित करता है; इसके बारे में सोचा जा सकता है कि ग्राफ़ के किनारों पर दिशा चिह्नक विलुप्त हो गए हैं। सामान्यतः, पूर्व-आदेश के संबंधित निर्देशित ग्राफ में कई वियोजित किए गए घटक हो सकते हैं।

औपचारिक परिभाषा

एक सजातीय संबंध पर विचार करें तो किसी दिए गए समुच्चय $P,$पर $\,\leq \,$ जिससे परिभाषा के अनुसार, $\,\leq \,$ का कुछ उपसमुच्चय $P\times P$ है और अंकन $a\leq b$ के स्थान पर $(a,b)\in \,\leq .$ प्रयोग किया जाता है , तब $\,\leq \,$ को preorder या quasiorder कहा जाता है यदि यह प्रतिवर्ती संबंध और सकर्मक संबंध है; अर्थात्, यदि यह संतुष्ट करता है:

1. प्रतिवर्ती संबंध: $a\leq a$ सभी के लिए $a\in P,$ और
2. सकर्मक संबंध: यदि $a\leq b{\text{ and }}b\leq c{\text{ then }}a\leq c$ सभी के लिए $a,b,c\in P.$
3. एक समुच्चय जो एक पूर्व-आदेश से लैस होता है उसे एक पूर्व आदेश समुच्चय (या प्रोसेट) कहा जाता है। विशुद्ध पूर्व-आदेश पर बल या इसके विपरीत, एक पूर्व-आदेश को गैर-विशुद्ध पूर्व-आदेश के रूप में भी संदर्भित किया जा सकता है।

यदि प्रतिवर्तता को अविचलित संबंध से बदल दिया जाता है (ट्रांज़िटिविटी रखते हुए) तो परिणाम को एक विशुद्ध पूर्व-आदेश कहा जाता है; स्पष्ट रूप से, $P$ पर a strict preorder एक सजातीय द्विआधारी संबंध है $\,<\,$ पर $P$ जो निम्नलिखित बाधाओं को पूरा करता है:

असंवेदनशीलता या विरोधी संवेदनशीलता संबंध: not $a<a$ सभी के लिए $a\in P;$ वह है, $\,a<a$ है false सभी के लिए $a\in P,$ और

सकर्मक संबंध: यदि $a<b{\text{ and }}b<c{\text{ then }}a<c$ सभी के लिए $a,b,c\in P.$ के लिए,

एक द्विआधारी संबंध एक विशुद्ध पूर्व-आदेश है यदि और केवल यदि यह एक विशुद्ध आंशिक आदेश है। परिभाषा के अनुसार, एक विशुद्ध आंशिक आदेश एक असममित संबंध विशुद्ध पूर्व आदेश है, जहां $\,<\,$ को asymmetric कहा जाता है यदि $a<b{\text{ implies }}{\textit {not}}\ b<a$ सभी $a,b.$के लिए होता है , इसके विपरीत, प्रत्येक विशुद्ध पूर्व-आदेश एक विशुद्ध आंशिक आदेश है क्योंकि प्रत्येक सकर्मक अपरिवर्तनीय संबंध आवश्यक रूप से असममित संबंध है।

चूंकि वे समतुल्य हैं, विशुद्ध आंशिक आदेश शब्द को विशेष रूप से विशुद्ध पूर्व आदेश पर पसंद किया जाता है और पाठकों को ऐसे संबंधों के विवरण के लिए विशुद्ध आंशिक आदेश के लिए संदर्भित किया जाता है।विशुद्ध पूर्व-आदेश के विपरीत, कई (गैर-विशुद्ध) पूर्व-आदेश हैं जो (गैर-विशुद्ध) आंशिक आदेश नहीं हैं।

यदि एक पूर्व-आदेश भी प्रतिसममित संबंध है, अर्थात, $a\leq b$ और $b\leq a$ तात्पर्य $a=b,$ तो यह आंशिक रूप से आदेशित समुच्चय है।

दूसरी तरफ, यदि यह सममित संबंध है, अर्थात यदि $a\leq b$ तात्पर्य $b\leq a,$ तो यह एक तुल्यता संबंध है।

एक पूर्व-आदेश कुल अग्रिम आदेश है यदि $a\leq b$ या $b\leq a$ सभी के लिए $a,b\in P.$ के लिए होता है।

एक पूर्वनिर्धारित समुच्चय की धारणा $P$ एक श्रेणी सिद्धांत में एक पतली श्रेणी के रूप में तैयार किया जा सकता है; अर्थात्, एक श्रेणी के रूप में एक वस्तु से दूसरी वस्तु में अधिकतम एक रूपवाद। यहाँ वस्तु (श्रेणी सिद्धांत) के तत्वों $P,$ के अनुरूप है और संबंधित वस्तुओं के लिए एक आकारिकी है, अन्यथा शून्य होता है । वैकल्पिक रूप से, एक पूर्व-आदेशित समुच्चय को समृद्ध श्रेणी के रूप में समझा जा सकता है, अर्थात श्रेणी से समृद्ध $2=(0\to 1).$होता है।

एक पूर्व-आदेशित वर्ग एक ऐसा वर्ग है जो एक पूर्व-आदेश से सुसज्जित है। प्रत्येक समुच्चय एक वर्ग है और इसलिए प्रत्येक पूर्वनिर्धारित समुच्चय एक पूर्वनिर्धारित वर्ग है।

उदाहरण

ग्राफ सिद्धांत

• (ऊपर चित्र देखें) x//4 से अभिप्राय सबसे बड़े पूर्णांक से है जो x से कम या उसके बराबर 4 से विभाजित है, इस प्रकार 1//4 0 है, जो निश्चित रूप से 0 से कम या उसके बराबर है, जो स्वयं 0//4 के रूप में समान है।
• किसी भी निर्देशित ग्राफ़ (संभवतः चक्र युक्त) में पहुंच योग्यता संबंध एक पूर्व-आदेश को जन्म देता है, जहां $x\leq y$ पूर्व-आदेश में यदि और केवल यदि निर्देशित ग्राफ में x से y तक का रास्ता है। इसके विपरीत, प्रत्येक पूर्व-आदेश एक निर्देशित ग्राफ़ का रीचैबिलिटी संबंधशिप है (उदाहरण के लिए, ग्राफ़ जिसमें प्रत्येक जोड़ी के लिए x से y तक का कोर है (x, y) साथ $x\leq y.$ यद्यपि, कई अलग-अलग ग्राफ़ में एक-दूसरे के समान गम्‍यता पूर्व-आदेश हो सकते हैं। उसी तरह, निर्देशित अचक्रीय ग्राफ़ की पुन: योग्यता, बिना चक्र वाले निर्देशित ग्राफ़, आंशिक रूप से निर्देशित किए गए समुच्चयों को जन्म देते हैं (अतिरिक्त एंटीसिमेट्री संपत्ति को संतुष्ट करने वाले पूर्व-आदेश)।
• ग्राफ सिद्धांत में ग्राफ-सामान्य संबंध।

कंप्यूटर विज्ञान

कंप्यूटर विज्ञान में, निम्नलिखित पूर्व-आदेशों के उदाहरण मिल सकते हैं।

• स्पर्शोन्मुख आदेश कार्यों $f:\mathbb {N} \to \mathbb {N}$. पर पूर्व-आदेश का कारण बनता है संबंधित तुल्यता संबंध को स्पर्शोन्मुख तुल्यता कहा जाता है।
• बहुपद-समय, कई-एक (मानचित्रण) और ट्यूरिंग रिडक्शन जटिलता वर्गों पर पूर्व-आदेश हैं।
• उप-टाइपिंग संबंध सामान्यतः पूर्व-आदेश होते हैं।
• अनुकार अग्रिम आदेश अग्रिम आदेश (इसलिए नाम) हैं।
• सार पुनर्लेखन प्रणालियों में संबंधों में कमी।
• $s\leq t$ द्वारा परिभाषित परिस्थितियों के सेट पर समावेशन पूर्व आदेश, यदि t का एक सबटर्म(उपवाक्य) s का प्रतिस्थापन उदाहरण है।
• थीटा-अवधारणा, जो तब होता है जब पूर्व के लिए एक प्रतिस्थापन प्रयुक्त करने के बाद, एक वियोगात्मक प्रथम-क्रम सूत्र में शाब्दिक दूसरे द्वारा निहित होते हैं।

अन्य

और उदाहरण:

• प्रत्येक परिमित सामयिक स्थान परिभाषित करके अपने बिंदुओं पर एक पूर्व-आदेश को जन्म देता है $x\leq y$ यदि और केवल यदि x, y के प्रत्येक निकटतम से संबंधित है। इस तरह से एक सामयिक(टोपोलॉजिकल) स्थान के विशेषज्ञता पूर्व-आदेश के रूप में हर परिमित पूर्व-आदेश का गठन किया जा सकता है। यही है, परिमित सामयिक और परिमित सीमा के मध्य एक-से-एक पत्राचार होता है। चूंकि, अनंत सामयिक रिक्त स्थान और उनकी विशेषज्ञता की सीमाओं के बीच संबंध एक-से-एक नहीं है।
• एक नेट एक निर्देशित समुच्चय पूर्व-आदेश है, अर्थात तत्वों की प्रत्येक जोड़ी में ऊपरी सीमा होती है। नेट के माध्यम से अभिसरण की परिभाषा सामयिक में महत्वपूर्ण है, जहां महत्वपूर्ण विशेषताओं को खोए बिना पूर्व-आदेशों को आंशिक रूप से आदेशित समुच्चयों द्वारा प्रतिस्थापित नहीं किया जा सकता है।
• $x\leq y$ द्वारा परिभाषित संबंध यदि $f(x)\leq f(y),$ जहां f कुछ पूर्व-आदेश में एक प्रकार्य है।
• $x\leq y$ द्वारा परिभाषित संबंध $x\leq y$ यदि x से y तक कुछ अंतःक्षेपण समारोह उपस्थित है। अन्तःक्षेपण को या किसी भी प्रकार की संरचना-संरक्षण कार्य, जैसे रिंग समरूपता, या क्रमचय अनुमान से बदला जा सकता है।
• गणनीय कुल अदेशन(ऑर्डरिंग) के लिए अंत:स्थापन संबंध।
• एक श्रेणी किसी भी वस्तु x से किसी भी अन्य वस्तु y में अधिकतम एक रूपवाद के साथ एक पूर्व-आदेश है। ऐसी श्रेणियों को पतली श्रेणी कहा जाता है। इस अर्थ में, श्रेणियां वस्तुओं के बीच एक से अधिक संबंधों की अनुमति देकर पूर्व-आदेशों को सामान्यीकृत करती हैं: प्रत्येक आकारिकी एक विशिष्ट (नामित) पूर्व-आदेश संबंध है।

विशुद्ध दुर्बल अदेशन कुल अग्रिम आदेश का उदाहरण:

• वरीयता, सामान्य मॉडल के अनुसार।

उपयोग

कई स्थितियों में पूर्व-आदेश एक महत्वपूर्ण भूमिका निभाते हैं:

• हर पूर्व-आदेश को एक सामयिकता दी जा सकती है, अलेक्जेंडर सामयिक; और वास्तव में, समुच्चय पर प्रत्येक पूर्व-आदेश उस समुच्चय पर एक अलेक्जेंड्रोव सामयिक के साथ एक-से-एक पत्राचार में है।
• आंतरिक बीजगणित को परिभाषित करने के लिए पूर्व-आदेशों का उपयोग किया जा सकता है।
• अग्रिम आदेश कुछ प्रकार के मॉडल तर्क के लिए क्रिपके शब्दार्थ प्रदान करते हैं।
• अग्रिम आदेश का उपयोग फोर्सिंग में समुच्चय सिद्धान्त में स्थिरता और स्वतंत्रता परिणामों को सिद्ध करने के लिए किया जाता है।

निर्माण

एक समुच्चय $S$ पर प्रत्येक द्विआधारी संबंध $R$ को सकर्मक बंद और प्रतिवर्ती क्लोजर $R^{+=}.$ को लेकर $S$ पर पूर्व-आदेश तक बढ़ाया जा सकता है , सकर्मक समापन $R:xR^{+}y$ में पथ कनेक्शन को इंगित करता है यदि और केवल यदि $x$ से $y.$ तक कोई $R$-पथ है।

एक द्विआधारी संबंध दिया $R,$ पूरक रचना $R\backslash R={\overline {R^{\textsf {T}}\circ {\overline {R}}}}$ एक पूर्व-आदेश बनाता है जिसे बायाँ अवशिष्ट कहा जाता है, जहाँ $R^{\textsf {T}}$, $R,$ के विलोम संबंध को दर्शाता है और ${\overline {R}}$ $R,$ के पूरक संबंध को दर्शाता है जबकि $\circ$ संबंध संरचना को दर्शाता है।

विभाजनों पर अग्रिम आदेश और आंशिक आदेश

$S$ पर $\,\lesssim \,$ के पूर्व आदेश को देखते हुए $S$ पर तुल्यता संबंध $\,\sim \,$ को परिभाषित कर सकता है जैसे कि:

$$a\sim b\quad {\text{ if and only if }}\quad a\lesssim b\;{\text{ and }}\;b\lesssim a.$$

परिणामी संबंध $\,\sim \,$प्रतिवर्ती है क्योंकि पूर्व-आदेश $\,\lesssim \,$ प्रतिवर्त है; $\,\lesssim \,$ की संक्रामकता को दो बार प्रयुक्त करके सकर्मक और परिभाषा के अनुसार सममित को प्रदर्शित करता है ।

इस संबंध का उपयोग करके, तुल्यता के भागफल समुच्चय $S/\sim ,$ पर एक आंशिक क्रम बनाना संभव है, जो कि सभी तुल्यता वर्गों का समुच्चय $\,\sim .$ है यदि पूर्व आदेश $R^{+=},$द्वारा निरूपित किया जाता है तब तुल्यता वर्ग $R$-चक्र का समुच्चय$S/\sim$ है :

$x\in [y]$ यदि और केवल यदि $x=y$ या $x$ एक में है $R$-साइकिल के साथ $y$ किसी भी स्थितियों में, पर $S/\sim$ परिभाषित करना संभव है $[x]\leq [y]$ यदि और केवल यदि $x\lesssim y.$ यह अच्छी तरह से परिभाषित है, जिसका अर्थ है कि इसकी परिभाषित स्थिति किस प्रतिनिधि पर निर्भर नहीं करती है $[x]$ और $[y]$ चुने गए हैं, की परिभाषा से अनुसरण करते हैं $\,\sim .\,$ यह आसानी से सत्यापित है कि यह आंशिक रूप सेआदेश किए गए समुच्चय का उत्पादन करता है।

इसके विपरीत, किसी समुच्चय $S,$ के विभाजन पर किसी आंशिक क्रम से $S$ पर स्वतः पूर्व-आदेश बनाना संभव है । पूर्व-आदेशों और युग्म (विभाजन, आंशिक क्रम) के बीच एक-से-एक पत्राचार होता है।

उदाहरण: अनुमानित रूप में $S$ एक सिद्धांत हो, जो कुछ गुणों के साथ वाक्य का एक समुच्चय है (जिसका विवरण सिद्धांत में पाया जा सकता है)। उदाहरण के लिए, $S$ एक प्रथम-क्रम सिद्धांत (जैसे ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत) या एक सरल प्रस्तावक कलन अथवा शून्य-क्रम सिद्धांत हो सकता है | $S$ के अनेक गुणों में से एक है कि यह तार्किक परिणामों के अनुसार बंद है, उदाहरण के लिए, यदि कोई वाक्य $A\in S$ तार्किक रूप से कुछ वाक्य $B,$ का तात्पर्य है जो $A\Rightarrow B$ और $B\Leftarrow A,$ हो तो आवश्यक रूप से $B\in S$ (विधि समुच्चय करके) के रूप में भी लिखा जाएगा।

रिश्ता $\,\Leftarrow \,$ $S$ पर एक अग्रिम आदेश है क्योंकि $A\Leftarrow A$ सदैव धारण करता है और जब भी $A\Leftarrow B$ और $B\Leftarrow C$ दोनों धारण करते हैं तो $A\Leftarrow C.$ भी होता है। इसके अतिरिक्त, किसी भी $A,B\in S,$ $A\sim B$ के लिए यदि और केवल यदि $A\Leftarrow B{\text{ and }}B\Leftarrow A$; अर्थात्, दो वाक्य $\,\Leftarrow \,$ के संबंध में समतुल्य हैं यदि और केवल यदि वे तार्किक रूप से समतुल्य हैं। यह विशेष तुल्यता संबंध $A\sim B$ सामान्यतः अपने विशेष प्रतीक के साथ दर्शाया जाता है $A\iff B,$ और इसलिए यह प्रतीक $\,\iff \,$ की स्थान उपयोग किया जा सकता है $\,\sim .$ वाक्य का तुल्यता वर्ग $A,$ द्वारा चिह्नित $[A],$ सभी वाक्यों से मिलकर बनता है $B\in S$ जो तार्किक रूप से समकक्ष हैं $A$ (बस इतना ही $B\in S$ ऐसा है कि $A\iff B$).

आंशिक आदेश जारी है $S/\sim$ प्रेरक $\,\Leftarrow ,\,$ जिसे उसी प्रतीक द्वारा भी दर्शाया जाएगा $\,\Leftarrow ,\,$ द्वारा चित्रित है $[A]\Leftarrow [B]$ यदि और केवल यदि $A\Leftarrow B,$ जहां दाहिने हाथ की स्थिति प्रतिनिधियों की पसंद से स्वतंत्र होती है $A\in [A]$ और $B\in [B]$ तुल्यता वर्गों की।

यह सब कहा गया है $\,\Leftarrow \,$ अब तक इसके विलोम संबंध के बारे में भी कहा जा सकता है $\,\Rightarrow .\,$ पहले सेआदेश किया हुआ समुच्चय $(S,\Leftarrow )$ एक निर्देशित समुच्चय है क्योंकि यदि $A,B\in S$ और यदि $C:=A\wedge B$ तार्किक संयोजन द्वारा गठित वाक्य को दर्शाता है $\,\wedge ,\,$ तब $A\Leftarrow C$ और $B\Leftarrow C$ कहाँ $C\in S.$ आंशिक रूप से आदेशित समुच्चय $\left(S/\sim ,\Leftarrow \right)$ परिणामस्वरूप एक निर्देशित समुच्चय भी है।

\संबंधित उदाहरण के लिए लिंडेनबाम-टार्स्की बीजगणित देखें।

अग्रिम-आदेश और विशुद्ध पूर्व-आदेश

एक पूर्व-आदेश द्वारा प्रेरित विशुद्ध पूर्व आदेश

एक पूर्व आदेश दिया $\,\lesssim ,$ एक नया रिश्ता $\,<\,$ घोषित करके परिभाषित किया जा सकता है $a<b$ यदि और केवल यदि $a\lesssim b{\text{ and not }}b\lesssim a.$ तुल्यता संबंध का उपयोग करना $\,\sim \,$ ऊपर प्रस्तुत किया गया, $a<b$ यदि और केवल यदि $a\lesssim b{\text{ and not }}a\sim b;$ और इसलिए निम्नलिखित धारण करता है

$$a\lesssim b\quad {\text{ if and only if }}\quad a<b\;{\text{ or }}\;a\sim b.$$

रिश्ता $\,<\,$ एक विशुद्ध आंशिक आदेश है और every विशुद्ध आंशिक आदेश इस तरह से बनाया जा सकता है।

If अग्रिम आदेश $\,\lesssim \,$ प्रतिसममित संबंध है (और इस प्रकार एक आंशिक क्रम) तो तुल्यता $\,\sim \,$ समानता है (अर्थात, $a\sim b$ यदि और केवल यदि $a=b$) और इसलिए इस स्थितियों में, की परिभाषा $\,<\,$ के रूप में पुनर्स्थापित किया जा सकता है:
$$a<b\quad {\text{ if and only if }}\quad a\leq b\;{\text{ and }}\;a\neq b\quad \quad ({\text{assuming }}\lesssim {\text{ is antisymmetric}}).$$
किन्तु खास बात यह है कि यह नई बाधा है not संबंध की सामान्य परिभाषा के रूप में (न ही यह समतुल्य है) उपयोग किया जाता है $\,<\,$ (वह है, $\,<\,$ है not के रूप में परिभाषित: $a<b$ यदि और केवल यदि $a\lesssim b{\text{ and }}a\neq b$) क्योंकि यदि पूर्व-आदेश $\,\lesssim \,$ प्रतिसममित नहीं है तो परिणामी संबंध $\,<\,$ सकर्मक नहीं होगा (विचार करें कि समतुल्य गैर-बराबर तत्व कैसे संबंधित हैं)।

प्रतीक के प्रयोग का यही कारण है$\lesssim$प्रतीक से कम या उसके बराबर के अतिरिक्त$\leq$, जो एक ऐसे पूर्व-आदेश के लिए भ्रम तथापि कर सकता है जो प्रतिसममित नहीं है क्योंकि यह भ्रामक रूप से सुझाव दे सकता है $a\leq b$ तात्पर्य $a<b{\text{ or }}a=b.$ विशुद्ध पूर्व-आदेश से प्रेरित पूर्व आदेश उपरोक्त निर्माण का उपयोग करके, कई गैर-विशुद्ध पूर्व-आदेश एक ही विशुद्ध पूर्व-आदेश दे सकते हैं $\,<,\,$ तो कैसे के बारे में अधिक जानकारी के बिना $\,<\,$ का निर्माण किया गया था (इस तरह के तुल्यता संबंध का ज्ञान $\,\sim \,$ उदाहरण के लिए), मूल गैर-विशुद्ध पूर्व-आदेश से पुनर्निर्माण करना संभव नहीं हो सकता है $\,<.\,$ संभावित (गैर-विशुद्ध) पूर्व-आदेश जो दिए गए विशुद्ध पूर्व-आदेश को प्रेरित करते हैं $\,<\,$ निम्नलिखित को सम्मिलित कीजिए:

• परिभाषित करना $a\leq b$ जैसा $a<b{\text{ or }}a=b$ (अर्थात, संबंध का प्रतिवर्त समापन लें)। यह विशुद्ध आंशिक आदेश से जुड़ा आंशिक आदेश देता है$<$प्रतिवर्ती क्लोजर के माध्यम से; इस स्थितियों में समानता समानता है $\,=,$ तो प्रतीक $\,\lesssim \,$ और $\,\sim \,$ आवश्यकता नहीं है।
• परिभाषित करना $a\lesssim b$ जैसा${\text{ not }}b<a$(अर्थात, संबंध का व्युत्क्रम पूरक लें), जो परिभाषित करने के अनुरूप है $a\sim b$ न तो $a<b{\text{ nor }}b<a$; ये संबंध $\,\lesssim \,$ और $\,\sim \,$ सामान्य रूप से सकर्मक नहीं हैं; यद्यपि, यदि वे हैं $\,\sim \,$ एक समानता है; उस स्थितियों में$<$एक विशुद्ध दुर्बल आदेश है। परिणामी पूर्व-आदेश जुड़ा हुआ संबंध है (जिसे पहले टोटल कहा जाता था); अर्थात कुल पूर्व आदेश।

यदि $a\leq b$ तब $a\lesssim b.$ विलोम धारण करता है (अर्थात, $\,\lesssim \;\;=\;\;\leq \,$) यदि और केवल यदि जब भी $a\neq b$ तब $a<b$ या $b<a.$

पूर्व-आदेशों की संख्या

Number of n-element binary relations of different types

Elem­ents	Any	Transitive	Reflexive	Symmetric	Preorder	Partial order	Total preorder	Total order	Equivalence relation
0	1	1	1	1	1	1	1	1	1
1	2	2	1	2	1	1	1	1	1
2	16	13	4	8	4	3	3	2	2
3	512	171	64	64	29	19	13	6	5
4	65,536	3,994	4,096	1,024	355	219	75	24	15
n	2n2		2n2−n	2n(n+1)/2			${\textstyle \sum _{k=0}^{n}k!S(n,k)}$	n!	${\textstyle \sum _{k=0}^{n}S(n,k)}$
OEIS	A002416	A006905	A053763	A006125	A000798	A001035	A000670	A000142	A000110

Note that S(n, k) refers to Stirling numbers of the second kind. जैसा कि ऊपर बताया गया है, पूर्व-आदेशों और जोड़े (विभाजन, आंशिक क्रम) के बीच 1-टू-1 पत्राचार है। इस प्रकार पूर्व-आदेशों की संख्या प्रत्येक विभाजन पर आंशिक आदेशों की संख्या का योग है। उदाहरण के लिए:

• for $n=3:$
  • 1 partition of 3, giving 1 preorder
  • 3 partitions of 2 + 1, giving $3\times 3=9$ preorders
  • 1 partition of 1 + 1 + 1, giving 19 preorders
  I.e., together, 29 preorders.
• for $n=4:$
  • 1 partition of 4, giving 1 preorder
  • 7 partitions with two classes (4 of 3 + 1 and 3 of 2 + 2), giving $7\times 3=21$ preorders
  • 6 partitions of 2 + 1 + 1, giving $6\times 19=114$ preorders
  • 1 partition of 1 + 1 + 1 + 1, giving 219 preorders
  I.e., together, 355 preorders.

अंतराल

के लिए $a\lesssim b,$ अंतराल (गणित) $[a,b]$ बिंदुओं का समुच्चय x संतोषजनक है $a\lesssim x$ और $x\lesssim b,$ भी लिखा $a\lesssim x\lesssim b.$ इसमें कम से कम अंक a और b होते हैं। कोई भी परिभाषा को सभी जोड़ियों तक विस्तारित करना चुन सकता है $(a,b)$ अतिरिक्त अंतराल सभी खाली हैं।

इसी विशुद्ध संबंध का उपयोग करना$<$, कोई भी अंतराल को परिभाषित कर सकता है $(a,b)$ अंक x संतोषजनक के समुच्चय के रूप में $a<x$ और $x<b,$ भी लिखा $a<x<b.$ एक खुला अंतराल तथापि खाली हो सकता है $a<b.$ भी $[a,b)$ और $(a,b]$ इसी प्रकार परिभाषित किया जा सकता है।

यह भी देखें

• आंशिक रूप से आदेशित समुच्चय - पूर्व आदेश जो प्रतिसममित संबंध है।
• तुल्यता संबंध - पूर्वक्रम जो कि सममित संबंध है।
• विशुद्ध दुर्बल आदेश या कुल अग्रिम आदेश - पूर्व आदेश जो जुड़ा हुआ संबंध है।
• कुल आदेश - पूर्व आदेश जो प्रतिसममित और कुल है।
• निर्देशित समुच्चय।
• पहले से आदेश किए गए समुच्चय की श्रेणी।
• पूर्व-आदेश देना।
• अच्छी तरह से आदेश देने वाला।

टिप्पणियाँ

संदर्भ

• Schmidt, Gunther, "Relational Mathematics", Encyclopedia of Mathematics and its Applications, vol. 132, Cambridge University Press, 2011, ISBN 978-0-521-76268-7
• Schröder, Bernd S. W. (2002), Ordered Sets: An Introduction, Boston: Birkhäuser, ISBN 0-8176-4128-9