निर्देशित समुच्चय: Difference between revisions

Revision as of 01:10, 28 April 2023

गणित में, एक निर्देशित समुच्चय (या निर्देशित पूर्वक्रमी या निस्यंदित समुच्चय) जो प्रतिवर्त और सकर्मक द्विआधारी संबंध $\,\leq \,$ (अर्थात, एक पूर्वक्रमी), अतिरिक्त गुण कि अवयवों की प्रत्येक जोड़ी की ऊपरी सीमा होती है, के साथ एक अरिक्त समुच्चय (गणित) $A$ है।^[1] दूसरे शब्दों में, $A$ में किसी $a$ और $b$ के लिए वहाँ $a\leq c$ और $b\leq c.$ साथ $A$ में $c$ उपस्थित होना चाहिए। एक निर्देशित समुच्चय के पूर्वक्रमी को दिशा कहा जाता है।

ऊपर परिभाषित धारणा को कभी-कभी ऊर्ध्वमुखी (ऊपर की ओर) निर्देशित समुच्चय कहा जाता है। अधोमुखी (नीचे की ओर) निर्देशित समुच्चय को समान रूप से परिभाषित किया गया है,^[2] जिसका अर्थ है कि अवयवों की प्रत्येक जोड़ी नीचे परिबद्ध है।^[3] कुछ लेखक (और यह लेख) मानते हैं कि एक निर्देशित समुच्चय ऊपर की ओर निर्देशित होता है, जब तक कि अन्यथा न कहा गया हो। अन्य लेखक समुच्चय को निर्देशित केवल तभी कहते हैं यदि यह ऊपर और नीचे दोनों ओर निर्देशित हो।^[4]

निर्देशित समुच्चय अरिक्त संपूर्णतया क्रमित समुच्चय का सामान्यीकरण है। अर्थात्, सभी संपूर्णतया क्रमित समुच्चय निर्देशित समुच्चय हैं (अंशतः क्रमित समुच्चय के विपरीत , जिन्हें निर्देशित करने की आवश्यकता नहीं है)। संयुक्त-अर्ध-जाली (जो आंशिक रूप से क्रमित समुच्चय हैं) भी निर्देशित समुच्चय हैं, लेकिन इसके विपरीत नहीं। इसी तरह, जाली ऊपर और नीचे दोनों ओर निर्देशित समुच्चय हैं।

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

समतुल्य परिभाषा

उपरोक्त परिभाषा के अतिरिक्त, एक समतुल्य परिभाषा भी है। निर्देशित समुच्चय एक पूर्वक्रमी के साथ एक समुच्चय $A$ है जैसे कि प्रत्येक परिमित उपसमुच्चय $A$ की एक ऊपरी सीमा है। इस परिभाषा में, रिक्त समुच्चय की ऊपरी सीमा का अर्थ है कि $A$ अरिक्त नहीं है।

उदाहरण

प्राकृतिक संख्याओं का समुच्चय $\mathbb {N}$ साधारण क्रमित के साथ $\,\leq \,$ निर्देशित समुच्चय के सबसे महत्वपूर्ण उदाहरणों में से एक है (और ऐसा ही प्रत्येक कुल क्रमित है)। परिभाषा के अनुसार, ए net एक निर्देशित समुच्चय से एक फ़ंक्शन है और अनुक्रम (गणित) प्राकृतिक संख्याओं से एक फ़ंक्शन है $\mathbb {N} .$ प्रत्येक अनुक्रम विहित रूप से एंडोइंग द्वारा एक जाल बन जाता है $\mathbb {N}$ साथ $\,\leq .\,$ आंशिक रूप से ऑर्डर किए गए समुच्चय का ए (तुच्छ) उदाहरण हैnot निर्देशित समुच्चय है $\{a,b\},$ जिसमें केवल क्रम संबंध हैं $a\leq a$ और $b\leq b.$ एक कम तुच्छ उदाहरण की ओर निर्देशित वास्तविक के पिछले उदाहरण की तरह है $x_{0}$ लेकिन जिसमें क्रमित देने का नियम केवल उसी तरफ अवयवों के जोड़े पर लागू होता है $x_{0}$ (अर्थात, यदि कोई अवयव लेता है $a$ के बाईं ओर $x_{0},$ और $b$ इसके दाईं ओर, फिर $a$ और $b$ तुलनीय नहीं हैं, और उपसमुच्चय $\{a,b\}$ कोई ऊपरी सीमा नहीं है)।

अगर $x_{0}$ एक वास्तविक संख्या है तो समुच्चय $I:=\mathbb {R} \backslash \lbrace x_{0}\rbrace$ परिभाषित करके एक निर्देशित समुच्चय में परिवर्तित किया जा सकता है $a\leq _{I}b$ अगर $\left|a-x_{0}\right|\geq \left|b-x_{0}\right|$ (इसलिए बड़े अवयव करीब हैं $x_{0}$ ). फिर हम कहते हैं कि वास्तविक को निर्देशित किया गया है $x_{0}.$ यह एक निर्देशित समुच्चय का एक उदाहरण है जो है neither आंशिक क्रमित और न ही कुल क्रमित। ऐसा इसलिए है क्योंकि हर जोड़ी के लिए एंटीसिमेट्रिक_रिलेशन टूट जाता है $a$ और $b$ से समान दूरी पर $x_{0},$ कहाँ $a$ और $b$ के विपरीत हैं $x_{0}.$ स्पष्ट रूप से, ऐसा तब होता है जब $\{a,b\}=\left\{x_{0}-r,x_{0}+r\right\}$ कुछ असली के लिए $r\neq 0,$ किस स्थिति में $a\leq _{I}b$ और $b\leq _{I}a$ चाहे $a\neq b.$ क्या इस पूर्व क्रमित को परिभाषित किया गया था $\mathbb {R}$ के बजाय $\mathbb {R} \backslash \lbrace x_{0}\rbrace$ तो यह अभी भी एक निर्देशित समुच्चय बनायेगा लेकिन अब इसमें एक (अद्वितीय) सबसे बड़ा अवयव होगा, विशेष रूप से $x_{0}$ ; फिर भी, यह अभी भी आंशिक रूप से क्रमितित नहीं होगा। इस उदाहरण को एक मीट्रिक स्थान के लिए सामान्यीकृत किया जा सकता है $(X,d)$ पर परिभाषित करके $X$ या $X\setminus \left\{x_{0}\right\}$ अग्रिम क्रमित $a\leq b$ अगर और केवल अगर $d\left(a,x_{0}\right)\geq d\left(b,x_{0}\right).$

अधिकतम और सबसे बड़ा अवयव

एक पूर्वक्रमीित समुच्चय $(I,\leq )$ का अवयव $m$ अधिकतम अवयव है यदि प्रत्येक $j\in I,$ $m\leq j$ का तात्पर्य है $j\leq m$ ^[5]। यह सबसे बड़ा अवयव है यदि प्रत्येक $j\in I,$ के लिए $j\leq m$ है।

सबसे बड़े अवयव के साथ कोई भी पूर्वक्रमी किया गया समुच्चय उसी पूर्वक्रमी के साथ एक निर्देशित समुच्चय है। उदाहरण के लिए, एक आंशिकतः क्रमित समुच्चय $P$ में, अवयव का हर निचला संवरण, अर्थात्, $\{a\in P:a\leq x\}$ के रूप का प्रत्येक उपसमुच्चय जहाँ $x$ , $P$ से एक स्थिर अवयव है, निर्देशित है।

निर्देशित पूर्वनिर्धारित समुच्चय का प्रत्येक अधिकतम अवयव सबसे बड़ा अवयव है। वास्तव में, एक निर्देशित पूर्ववर्ती समुच्चय अधिकतम और सबसे बड़े अवयवों के (संभवतः खाली) समुच्चयों की समानता की विशेषता है।

निर्देशित समुच्चय का उत्पाद

होने देना $\mathbb {D} _{1}$ और $\mathbb {D} _{2}$ निर्देशित समुच्चय हो। फिर कार्टेशियन उत्पाद समुच्चय $\mathbb {D} _{1}\times \mathbb {D} _{2}$ परिभाषित करके एक निर्देशित समुच्चय में बनाया जा सकता है $\left(n_{1},n_{2}\right)\leq \left(m_{1},m_{2}\right)$ अगर और केवल अगर $n_{1}\leq m_{1}$ और $n_{2}\leq m_{2}.$ उत्पाद क्रम के अनुरूप यह कार्टेशियन उत्पाद पर उत्पाद की दिशा है। उदाहरण के लिए, समुच्चय $\mathbb {N} \times \mathbb {N}$ परिभाषित करके प्राकृतिक संख्याओं के जोड़े को एक निर्देशित समुच्चय में बनाया जा सकता है $\left(n_{0},n_{1}\right)\leq \left(m_{0},m_{1}\right)$ अगर और केवल अगर $n_{0}\leq m_{0}$ और $n_{1}\leq m_{1}.$

उपसमुच्चय समावेशन

उपसमुच्चयसमावेशन संबंध $\,\subseteq ,\,$ इसके द्वैत (क्रमित सिद्धांत) के साथ $\,\supseteq ,\,$ समुच्चय के किसी दिए गए परिवार पर आंशिक ऑर्डर परिभाषित करें। आंशिक क्रम के संबंध में समुच्चय का एक अरिक्त परिवार एक निर्देशित समुच्चय है $\,\supseteq \,$ (क्रमश, $\,\subseteq \,$ ) अगर और केवल अगर इसके किसी भी दो सदस्यों के चौराहे (क्रमशः, संघ) में किसी तीसरे सदस्य के उपसमुच्चय(क्रमशः, एक उपसमुच्चयके रूप में शामिल है) के रूप में शामिल है। प्रतीकों में, एक परिवार $I$ समुच्चय के संबंध में निर्देशित किया जाता है $\,\supseteq \,$ (क्रमश, $\,\subseteq \,$ ) अगर और केवल अगर

सभी के लिए

A,B\in I,

कुछ उपस्थित है

C\in I

ऐसा है कि

A\supseteq C

और

B\supseteq C

(क्रमश,

A\subseteq C

और

B\subseteq C

)

या समकक्ष,

सभी के लिए

A,B\in I,

कुछ उपस्थित है

C\in I

ऐसा है कि

A\cap B\supseteq C

(क्रमश,

A\cap B\subseteq C

).

इन आंशिक क्रमितों का उपयोग करके निर्देशित समुच्चयों के कई महत्वपूर्ण उदाहरणों को परिभाषित किया जा सकता है। उदाहरण के लिए, परिभाषा के अनुसार, एक फ़िल्टर (समुच्चय सिद्धांत) |prefilter या filter base समुच्चय का एक गैर-रिक्त परिवार है जो आंशिक क्रम के संबंध में एक निर्देशित समुच्चय है $\,\supseteq \,$ और उसमें भी खाली समुच्चय नहीं है (यह स्थिति तुच्छता को रोकती है क्योंकि अन्यथा, खाली समुच्चय तब सबसे बड़ा अवयव होगा और कम से कम अवयव के संबंध में $\,\supseteq \,$ ). हर पीआई-सिस्टम | $π$ -सिस्टम, जो समुच्चय का एक गैर-रिक्त परिवार है जो इसके दो सदस्यों के चौराहे के नीचे बंद है, एक निर्देशित समुच्चय है जिसके संबंध में $\,\supseteq \,.$ प्रत्येक Dynkin system|λ-system के संबंध में एक निर्देशित समुच्चय है $\,\subseteq \,.$ प्रत्येक फ़िल्टर (समुच्चय सिद्धांत), सांस्थिति (संरचना), और σ-बीजगणित दोनों के संबंध में एक निर्देशित समुच्चय है $\,\supseteq \,$ और $\,\subseteq \,.$ अगर $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ एक निर्देशित समुच्चय से कोई नेट (गणित) है $(I,\leq )$ फिर किसी भी इंडेक्स के लिए $i\in I,$ समुच्चय $x_{\geq i}:=\left\{x_{j}:j\geq i{\text{ with }}j\in I\right\}$ की पूँछ कहलाती है $(I,\leq )$ पे शुरुवात $i.$ परिवार $\operatorname {Tails} \left(x_{\bullet }\right):=\left\{x_{\geq i}:i\in I\right\}$ सभी पूंछों के संबंध में एक निर्देशित समुच्चय है $\,\supseteq ;\,$ वास्तव में, यह एक प्रीफ़िल्टर भी है।

अगर $T$ एक टोपोलॉजिकल स्पेस है और $x_{0}$ में एक बिंदु है $T,$ के सभी टोपोलॉजिकल पड़ोस का समुच्चय $x_{0}$ लिखकर निर्देशित समुच्चय में बदला जा सकता है $U\leq V$ अगर और केवल अगर $U$ रोकना $V.$ हरएक के लिए $U,$ $V,$ और $W$ :

$U\leq U$ तब से $U$ खुद को शामिल करता है।
अगर $U\leq V$ और $V\leq W,$ तब $U\supseteq V$ और $V\supseteq W,$ जो ये दर्शाता हे $U\supseteq W.$ इस प्रकार $U\leq W.$
क्योंकि $x_{0}\in U\cap V,$ और दोनों के बाद से $U\supseteq U\cap V$ और $V\supseteq U\cap V,$ अपने पास $U\leq U\cap V$ और $V\leq U\cap V.$

समुच्चय $\operatorname {Finite} (I)$ एक समुच्चय के सभी परिमित उपसमुच्चय $I$ के संबंध में निर्देशित किया गया है $\,\subseteq \,$ चूँकि कोई दो दिया है $A,B\in \operatorname {Finite} (I),$ उनका संघ $A\cup B\in \operatorname {Finite} (I)$ की ऊपरी सीमा है $A$ और $B$ में $\operatorname {Finite} (I).$ इस विशेष निर्देशित समुच्चय का उपयोग योग को परिभाषित करने के लिए किया जाता है ${\textstyle \sum \limits _{i\in I}}r_{i}$ एक की एक सामान्यीकृत श्रृंखला (गणित) की $I$ संख्याओं का अनुक्रमित संग्रह $\left(r_{i}\right)_{i\in I}$ (या अधिक आम तौर पर, श्रृंखला का योग (गणित) एबेलियन टोपोलॉजिकल ग्रुप समूह एबेलियन टोपोलॉजिकल समूह, जैसे कि श्रृंखला (गणित) # एक टोपोलॉजिकल वेक्टर स्पेस में टोपोलॉजिकल वेक्टर रिक्त स्थान में श्रृंखला) आंशिक रकम के जाल की सीमा के रूप में $F\in \operatorname {Finite} (I)\mapsto {\textstyle \sum \limits _{i\in F}}r_{i};$ वह है:

\sum _{i\in I}r_{i}~:=~\lim _{F\in \operatorname {Finite} (I)}\ \sum _{i\in F}r_{i}~=~\lim \left\{\sum _{i\in F}r_{i}\,:F\subseteq I,F{\text{ finite }}\right\}.

सेमीलेटिस (अर्ध-जाल) के साथ तुलना करें

एक निर्देशित समुच्चय का उदाहरण जो संयुक्त-अर्ध-जाल नहीं है।

निर्देशित समुच्चय अर्ध-जाल (ज्वाइन) की तुलना में अधिक सामान्य अवधारणा है: प्रत्येक संयुक्त अर्ध-जाल एक निर्देशित समुच्चय है, क्योंकि दो अवयवों का जुड़ाव या न्यूनतम ऊपरी सीमा अपेक्षित $c$ है। लेकिन इसका विपरीत नहीं है, निर्देशित समुच्चय {1000,0001,1101,1011,1111} समन्वय क्रम (जैसे $1000\leq 1011$ है, लेकिन $0001\leq 1000$ नहीं, क्योंकि अंतिम बिट 1 > 0) में, जहां {1000,0001} की तीन ऊपरी सीमाएं हैं लेकिन न्यूनतम ऊपरी सीमा नहीं है, cf. चित्र। (यह भी ध्यान दें कि 1111 के बिना, समुच्चय निर्देशित नहीं है।)

निर्देशित उपसमुच्चय

निर्देशित समुच्चय में क्रमित संबंध को प्रतिसममित होने की आवश्यकता नहीं है, और इसलिए निर्देशित समुच्चय हमेशा आंशिक क्रमित नहीं होते हैं। फिर भी, निर्देशित समुच्चय शब्द का उपयोग आंशिकतः क्रमित समुच्चय के संदर्भ में प्रायः किया जाता है। इस समायोजना में, आंशिक रूप से क्रमित समुच्चय $(P,\leq )$ का उपसमुच्चय $A$ निर्देशित उपसमुच्चय कहा जाता है यदि यह एक ही आंशिक क्रम के अनुसार निर्देशित समुच्चय है: दूसरे शब्दों में, यह खाली समुच्चय नहीं है, और अवयवों की प्रत्येक जोड़ी की ऊपरी सीमा होती है। यहाँ $A$ के अवयवों पर क्रम संबंध $P$ से आनुवंसिक है ; इस कारण से, प्रतिवर्तनीयता और सकर्मकता को स्पष्ट होना आवश्यक नहीं है।

किसी आंशिकतः क्रमित समुच्चय के निर्देशित उपसमुच्चय को नीचे की ओर बंद करने की आवश्यकता नहीं है; एक आंशिकतः क्रमित समुच्चय का उपसमुच्चय निर्देशित किया जाता है अगर और केवल अगर इसका डाउनवर्ड संवरण एक आदर्श (ऑर्डर थ्योरी) है। जबकि एक निर्देशित समुच्चय की परिभाषा ऊपर की ओर निर्देशित समुच्चय के लिए है (अवयवों की प्रत्येक जोड़ी की ऊपरी सीमा होती है), नीचे की ओर निर्देशित समुच्चय को परिभाषित करना भी संभव है जिसमें प्रत्येक जोड़ी अवयवों की एक सामान्य निचली सीमा होती है। आंशिकतः क्रमित समुच्चय का उपसमुच्चय नीचे की ओर निर्देशित होता है अगर और केवल अगर इसका ऊपरी संवरण एक फ़िल्टर (निस्यंदक) है।

डोमेन सिद्धांत में निर्देशित उपसमुच्चय का उपयोग किया जाता है, जो निर्देशित-पूर्ण आंशिकतः क्रमित का अध्ययन करता है।^[6] ये आंशिकतः क्रमित समुच्चय हैं जिनमें प्रत्येक ऊपर की ओर निर्देशित समुच्चय को न्यूनतम ऊपरी परिबंध होना आवश्यक है। इस संदर्भ में, निर्देशित उपसमुच्चय फिर से अभिसरण अनुक्रमों का सामान्यीकरण प्रदान करते हैं।^{[further explanation needed]}

यह भी देखें

↑ Kelley, p. 65.
↑ Robert S. Borden (1988). उन्नत पथरी में एक कोर्स. Courier Corporation. p. 20. ISBN 978-0-486-15038-3.
↑ Arlen Brown; Carl Pearcy (1995). विश्लेषण का एक परिचय. Springer. p. 13. ISBN 978-1-4612-0787-0.
↑ Siegfried Carl; Seppo Heikkilä (2010). ऑर्डर किए गए सेट और एप्लिकेशन में फिक्स्ड पॉइंट थ्योरी: डिफरेंशियल और इंटीग्रल इक्वेशन से लेकर गेम थ्योरी तक. Springer. p. 77. ISBN 978-1-4419-7585-0.
↑ This implies $j=m$ if $(I,\leq )$ is a partially ordered set.
↑ Gierz, p. 2.

संदर्भ

J. L. Kelley (1955), General Topology.
Gierz, Hofmann, Keimel, et al. (2003), Continuous Lattices and Domains, Cambridge University Press. ISBN 0-521-80338-1.

[1] Kelley, p. 65.

[2] Robert S. Borden (1988). उन्नत पथरी में एक कोर्स. Courier Corporation. p. 20. ISBN 978-0-486-15038-3.

[Brown-Pearcy-3] Arlen Brown; Carl Pearcy (1995). विश्लेषण का एक परिचय. Springer. p. 13. ISBN 978-1-4612-0787-0.

[CarlHeikkilä2010-4] Siegfried Carl; Seppo Heikkilä (2010). ऑर्डर किए गए सेट और एप्लिकेशन में फिक्स्ड पॉइंट थ्योरी: डिफरेंशियल और इंटीग्रल इक्वेशन से लेकर गेम थ्योरी तक. Springer. p. 77. ISBN 978-1-4419-7585-0.

[5] This implies $j=m$ if $(I,\leq )$ is a partially ordered set.

[6] Gierz, p. 2.

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 1: / Line 1: @@
 {{Short description|Mathematical ordering with upper bounds}}
-गणित में, एक निर्देशित समुच्चय (या निर्देशित पूर्वक्रमी या निस्यंदित समुच्चय) जो [[ प्रतिवर्त संबंध |प्रतिवर्त]] और सकर्मक [[ द्विआधारी संबंध |द्विआधारी संबंध]] <math>\,\leq\,</math> (अर्थात, एक पूर्वक्रमी), अतिरिक्त गुण कि तत्वों की प्रत्येक जोड़ी की [[ऊपरी सीमा]] होती है, के साथ एक अरिक्त [[सेट (गणित)|समुच्चय (गणित)]] <math>A</math> है।<ref>Kelley, p. 65.</ref> दूसरे शब्दों में, <math>A</math> में किसी <math>a</math> और <math>b</math> के लिए वहाँ <math>a \leq c</math> और <math>b \leq c.</math>   साथ <math>A</math> में <math>c</math> उपस्थित होना चाहिए। एक निर्देशित समुच्चय के पूर्वक्रमी को दिशा कहा जाता है।
+गणित में, एक निर्देशित समुच्चय (या निर्देशित पूर्वक्रमी या निस्यंदित समुच्चय) जो [[ प्रतिवर्त संबंध |प्रतिवर्त]] और सकर्मक [[ द्विआधारी संबंध |द्विआधारी संबंध]] <math>\,\leq\,</math> (अर्थात, एक पूर्वक्रमी), अतिरिक्त गुण कि अवयवों की प्रत्येक जोड़ी की [[ऊपरी सीमा]] होती है, के साथ एक अरिक्त [[सेट (गणित)|समुच्चय (गणित)]] <math>A</math> है।<ref>Kelley, p. 65.</ref> दूसरे शब्दों में, <math>A</math> में किसी <math>a</math> और <math>b</math> के लिए वहाँ <math>a \leq c</math> और <math>b \leq c.</math>   साथ <math>A</math> में <math>c</math> उपस्थित होना चाहिए। एक निर्देशित समुच्चय के पूर्वक्रमी को दिशा कहा जाता है।
-ऊपर परिभाषित धारणा को कभी-कभी{{visible anchor| ऊर्ध्वमुखी (ऊपर की ओर) निर्देशित समुच्चय}} कहा जाता है। {{visible anchor|अधोमुखी (नीचे की ओर) निर्देशित समुच्चय}} को समान रूप से परिभाषित किया गया है,<ref>{{cite book|author=Robert S. Borden|title=उन्नत पथरी में एक कोर्स|year=1988|publisher=Courier Corporation|isbn=978-0-486-15038-3|page=20}}</ref> जिसका अर्थ है कि तत्वों की प्रत्येक जोड़ी नीचे परिबद्ध है।<ref name="Brown-Pearcy">{{cite book|author1=Arlen Brown|author2=Carl Pearcy|title=विश्लेषण का एक परिचय|url=https://archive.org/details/introductiontoan0000brow|url-access=registration|year=1995|publisher=Springer|isbn=978-1-4612-0787-0|page=[https://archive.org/details/introductiontoan0000brow/page/13 13]}}</ref> कुछ लेखक (और यह लेख) मानते हैं कि एक निर्देशित समुच्चय ऊपर की ओर निर्देशित होता है, जब तक कि अन्यथा न कहा गया हो। अन्य लेखक समुच्चय को निर्देशित केवल तभी कहते हैं यदि यह ऊपर और नीचे दोनों ओर निर्देशित हो।<ref name="CarlHeikkilä2010">{{cite book|author1=Siegfried Carl|author2=Seppo Heikkilä|title=ऑर्डर किए गए सेट और एप्लिकेशन में फिक्स्ड पॉइंट थ्योरी: डिफरेंशियल और इंटीग्रल इक्वेशन से लेकर गेम थ्योरी तक|year=2010|publisher=Springer|isbn=978-1-4419-7585-0|pages=77}}</ref>
+ऊपर परिभाषित धारणा को कभी-कभी{{visible anchor| ऊर्ध्वमुखी (ऊपर की ओर) निर्देशित समुच्चय}} कहा जाता है। {{visible anchor|अधोमुखी (नीचे की ओर) निर्देशित समुच्चय}} को समान रूप से परिभाषित किया गया है,<ref>{{cite book|author=Robert S. Borden|title=उन्नत पथरी में एक कोर्स|year=1988|publisher=Courier Corporation|isbn=978-0-486-15038-3|page=20}}</ref> जिसका अर्थ है कि अवयवों की प्रत्येक जोड़ी नीचे परिबद्ध है।<ref name="Brown-Pearcy">{{cite book|author1=Arlen Brown|author2=Carl Pearcy|title=विश्लेषण का एक परिचय|url=https://archive.org/details/introductiontoan0000brow|url-access=registration|year=1995|publisher=Springer|isbn=978-1-4612-0787-0|page=[https://archive.org/details/introductiontoan0000brow/page/13 13]}}</ref> कुछ लेखक (और यह लेख) मानते हैं कि एक निर्देशित समुच्चय ऊपर की ओर निर्देशित होता है, जब तक कि अन्यथा न कहा गया हो। अन्य लेखक समुच्चय को निर्देशित केवल तभी कहते हैं यदि यह ऊपर और नीचे दोनों ओर निर्देशित हो।<ref name="CarlHeikkilä2010">{{cite book|author1=Siegfried Carl|author2=Seppo Heikkilä|title=ऑर्डर किए गए सेट और एप्लिकेशन में फिक्स्ड पॉइंट थ्योरी: डिफरेंशियल और इंटीग्रल इक्वेशन से लेकर गेम थ्योरी तक|year=2010|publisher=Springer|isbn=978-1-4419-7585-0|pages=77}}</ref>
 निर्देशित समुच्चय अरिक्त [[पूरी तरह से आदेशित सेट|संपूर्णतया क्रमित समुच्चय]] का सामान्यीकरण है। अर्थात्, सभी संपूर्णतया क्रमित समुच्चय निर्देशित समुच्चय हैं (अंशतः क्रमित समुच्चय के विपरीत , जिन्हें निर्देशित करने की आवश्यकता नहीं है)। [[ज्वाइन-सेमी-जाली|संयुक्त-अर्ध-जाली]] (जो आंशिक रूप से क्रमित समुच्चय हैं) भी निर्देशित समुच्चय हैं, लेकिन इसके विपरीत नहीं। इसी तरह, [[जाली (आदेश)|जाली]] ऊपर और नीचे दोनों ओर निर्देशित समुच्चय हैं।
@@ Line 14: / Line 14: @@
 == उदाहरण ==
-[[प्राकृतिक संख्या]]ओं का समुच्चय <math>\N</math> साधारण क्रमित के साथ <math>\,\leq\,</math> निर्देशित समुच्चय के सबसे महत्वपूर्ण उदाहरणों में से एक है (और ऐसा ही प्रत्येक [[कुल आदेश|कुल क्रमित]] है)। परिभाषा के अनुसार, ए {{em|[[Net (mathematics)|net]]}} एक निर्देशित समुच्चय से एक फ़ंक्शन है और [[अनुक्रम (गणित)]] प्राकृतिक संख्याओं से एक फ़ंक्शन है <math>\N.</math> प्रत्येक अनुक्रम विहित रूप से एंडोइंग द्वारा एक जाल बन जाता है <math>\N</math> साथ <math>\,\leq.\,</math> आंशिक रूप से ऑर्डर किए गए समुच्चय का ए (तुच्छ) उदाहरण है{{em|not}} निर्देशित समुच्चय है <math>\{a, b\},</math> जिसमें केवल क्रम संबंध हैं <math>a \leq a</math> और <math>b \leq b.</math> एक कम तुच्छ उदाहरण की ओर निर्देशित वास्तविक के पिछले उदाहरण की तरह है <math>x_0</math>लेकिन जिसमें क्रमित देने का नियम केवल उसी तरफ तत्वों के जोड़े पर लागू होता है <math>x_0</math> (अर्थात, यदि कोई तत्व लेता है <math>a</math> के बाईं ओर <math>x_0,</math> और <math>b</math> इसके दाईं ओर, फिर <math>a</math> और <math>b</math> तुलनीय नहीं हैं, और उपसमुच्चय<math>\{ a, b \}</math> कोई ऊपरी सीमा नहीं है)।
+[[प्राकृतिक संख्या]]ओं का समुच्चय <math>\N</math> साधारण क्रमित के साथ <math>\,\leq\,</math> निर्देशित समुच्चय के सबसे महत्वपूर्ण उदाहरणों में से एक है (और ऐसा ही प्रत्येक [[कुल आदेश|कुल क्रमित]] है)। परिभाषा के अनुसार, ए {{em|[[Net (mathematics)|net]]}} एक निर्देशित समुच्चय से एक फ़ंक्शन है और [[अनुक्रम (गणित)]] प्राकृतिक संख्याओं से एक फ़ंक्शन है <math>\N.</math> प्रत्येक अनुक्रम विहित रूप से एंडोइंग द्वारा एक जाल बन जाता है <math>\N</math> साथ <math>\,\leq.\,</math> आंशिक रूप से ऑर्डर किए गए समुच्चय का ए (तुच्छ) उदाहरण है{{em|not}} निर्देशित समुच्चय है <math>\{a, b\},</math> जिसमें केवल क्रम संबंध हैं <math>a \leq a</math> और <math>b \leq b.</math> एक कम तुच्छ उदाहरण की ओर निर्देशित वास्तविक के पिछले उदाहरण की तरह है <math>x_0</math>लेकिन जिसमें क्रमित देने का नियम केवल उसी तरफ अवयवों के जोड़े पर लागू होता है <math>x_0</math> (अर्थात, यदि कोई अवयव लेता है <math>a</math> के बाईं ओर <math>x_0,</math> और <math>b</math> इसके दाईं ओर, फिर <math>a</math> और <math>b</math> तुलनीय नहीं हैं, और उपसमुच्चय<math>\{ a, b \}</math> कोई ऊपरी सीमा नहीं है)।
-अगर <math>x_0</math> एक [[वास्तविक संख्या]] है तो समुच्चय <math>I := \R \backslash \lbrace x_0 \rbrace</math> परिभाषित करके एक निर्देशित समुच्चय में परिवर्तित किया जा सकता है <math>a \leq_I b</math> अगर <math>\left|a - x_0\right| \geq \left|b - x_0\right|</math> (इसलिए बड़े तत्व करीब हैं <math>x_0</math>). फिर हम कहते हैं कि वास्तविक को निर्देशित किया गया है <math>x_0.</math>यह एक निर्देशित समुच्चय का एक उदाहरण है जो है {{em|neither}} [[आंशिक आदेश|आंशिक क्रमित]] और न ही कुल क्रमित। ऐसा इसलिए है क्योंकि हर जोड़ी के लिए एंटीसिमेट्रिक_रिलेशन टूट जाता है <math>a</math> और <math>b</math> से समान दूरी पर <math>x_0,</math> कहाँ <math>a</math> और <math>b</math> के विपरीत हैं <math>x_0.</math> स्पष्ट रूप से, ऐसा तब होता है जब <math>\{a, b\} = \left\{x_0 - r, x_0 + r\right\}</math> कुछ असली के लिए <math>r \neq 0,</math> किस स्थिति में <math>a \leq_I b</math> और <math>b \leq_I a</math> चाहे <math>a \neq b.</math> क्या इस पूर्व क्रमित को परिभाषित किया गया था <math>\R</math> के बजाय <math>\R \backslash \lbrace x_0 \rbrace</math> तो यह अभी भी एक निर्देशित समुच्चय बनायेगा लेकिन अब इसमें एक (अद्वितीय) सबसे बड़ा तत्व होगा, विशेष रूप से <math>x_0</math>; फिर भी, यह अभी भी आंशिक रूप से क्रमितित नहीं होगा। इस उदाहरण को एक [[मीट्रिक स्थान]] के लिए सामान्यीकृत किया जा सकता है <math>(X, d)</math> पर परिभाषित करके <math>X</math> या <math>X \setminus \left\{x_0\right\}</math> अग्रिम क्रमित <math>a \leq b</math> अगर और केवल अगर <math>d\left(a, x_0\right) \geq d\left(b, x_0\right).</math>
+अगर <math>x_0</math> एक [[वास्तविक संख्या]] है तो समुच्चय <math>I := \R \backslash \lbrace x_0 \rbrace</math> परिभाषित करके एक निर्देशित समुच्चय में परिवर्तित किया जा सकता है <math>a \leq_I b</math> अगर <math>\left|a - x_0\right| \geq \left|b - x_0\right|</math> (इसलिए बड़े अवयव करीब हैं <math>x_0</math>). फिर हम कहते हैं कि वास्तविक को निर्देशित किया गया है <math>x_0.</math>यह एक निर्देशित समुच्चय का एक उदाहरण है जो है {{em|neither}} [[आंशिक आदेश|आंशिक क्रमित]] और न ही कुल क्रमित। ऐसा इसलिए है क्योंकि हर जोड़ी के लिए एंटीसिमेट्रिक_रिलेशन टूट जाता है <math>a</math> और <math>b</math> से समान दूरी पर <math>x_0,</math> कहाँ <math>a</math> और <math>b</math> के विपरीत हैं <math>x_0.</math> स्पष्ट रूप से, ऐसा तब होता है जब <math>\{a, b\} = \left\{x_0 - r, x_0 + r\right\}</math> कुछ असली के लिए <math>r \neq 0,</math> किस स्थिति में <math>a \leq_I b</math> और <math>b \leq_I a</math> चाहे <math>a \neq b.</math> क्या इस पूर्व क्रमित को परिभाषित किया गया था <math>\R</math> के बजाय <math>\R \backslash \lbrace x_0 \rbrace</math> तो यह अभी भी एक निर्देशित समुच्चय बनायेगा लेकिन अब इसमें एक (अद्वितीय) सबसे बड़ा अवयव होगा, विशेष रूप से <math>x_0</math>; फिर भी, यह अभी भी आंशिक रूप से क्रमितित नहीं होगा। इस उदाहरण को एक [[मीट्रिक स्थान]] के लिए सामान्यीकृत किया जा सकता है <math>(X, d)</math> पर परिभाषित करके <math>X</math> या <math>X \setminus \left\{x_0\right\}</math> अग्रिम क्रमित <math>a \leq b</math> अगर और केवल अगर <math>d\left(a, x_0\right) \geq d\left(b, x_0\right).</math>
-=== अधिकतम और सबसे बड़ा तत्व ===
+=== अधिकतम और सबसे बड़ा अवयव ===
-तत्व <math>m</math> एक पूर्वक्रमीित समुच्चय का <math>(I, \leq)</math> यदि प्रत्येक के लिए एक [[अधिकतम और न्यूनतम तत्व]] है <math>j \in I,</math> <math>m \leq j</math> तात्पर्य <math>j \leq m.</math><ref>This implies <math>j = m</math> if <math>(I, \leq)</math> is a [[partially ordered set]].</ref>
+एक पूर्वक्रमीित समुच्चय <math>(I, \leq)</math> का अवयव <math>m</math> [[अधिकतम और न्यूनतम तत्व|अधिकतम अवयव]] है यदि प्रत्येक  <math>j \in I,</math> <math>m \leq j</math> का तात्पर्य है<math>j \leq m</math><ref>This implies <math>j = m</math> if <math>(I, \leq)</math> is a [[partially ordered set]].</ref>। यह सबसे बड़ा अवयव है यदि प्रत्येक <math>j \in I,</math> के लिए  <math>j \leq m</math> है।
-यदि प्रत्येक के लिए यह एक महानतम तत्व और सबसे कम तत्व है <math>j \in I,</math> <math>j \leq m.</math>
-सबसे बड़े तत्व के साथ कोई भी पूर्वक्रमी किया गया समुच्चय उसी पूर्वक्रमी के साथ एक निर्देशित समुच्चय है।
-उदाहरण के लिए, एक [[ poset ]] में <math>P,</math> हर ऊपरी समुच्चय#ऊपरी बंद और किसी तत्व का निचला बंद होना; यानी फॉर्म का हर उपसमुच्चय<math>\{a \in P : a \leq x\}</math> कहाँ <math>x</math> से स्थिर तत्व है <math>P,</math> निर्देश दिया गया है।
-निर्देशित पूर्वनिर्धारित समुच्चय का प्रत्येक अधिकतम तत्व सबसे बड़ा तत्व है। वास्तव में, एक निर्देशित पूर्ववर्ती समुच्चय अधिकतम और सबसे बड़े तत्वों के (संभवतः खाली) समुच्चयों की समानता की विशेषता है।
+सबसे बड़े अवयव के साथ कोई भी पूर्वक्रमी किया गया समुच्चय उसी पूर्वक्रमी के साथ एक निर्देशित समुच्चय है। उदाहरण के लिए, एक [[ poset |आंशिकतः क्रमित समुच्चय]] <math>P</math> में, अवयव का हर निचला संवरण, अर्थात्, <math>\{a \in P : a \leq x\}</math> के रूप का प्रत्येक उपसमुच्चय जहाँ <math>x</math>, <math>P</math> से एक स्थिर अवयव है, निर्देशित है।
+निर्देशित पूर्वनिर्धारित समुच्चय का प्रत्येक अधिकतम अवयव सबसे बड़ा अवयव है। वास्तव में, एक निर्देशित पूर्ववर्ती समुच्चय अधिकतम और सबसे बड़े अवयवों के (संभवतः खाली) समुच्चयों की समानता की विशेषता है।
 === निर्देशित समुच्चय का उत्पाद ===
@@ Line 33: / Line 32: @@
-=== [[सबसेट समावेशन|उपसमुच्चयसमावेशन]] ===
+=== [[सबसेट समावेशन|उपसमुच्चय समावेशन]] ===
 उपसमुच्चयसमावेशन संबंध <math>\,\subseteq,\,</math> इसके [[द्वैत (आदेश सिद्धांत)|द्वैत (क्रमित सिद्धांत)]] के साथ <math>\,\supseteq,\,</math> समुच्चय के किसी दिए गए परिवार पर आंशिक ऑर्डर परिभाषित करें।
@@ Line 43: / Line 42: @@
 इन आंशिक क्रमितों का उपयोग करके निर्देशित समुच्चयों के कई महत्वपूर्ण उदाहरणों को परिभाषित किया जा सकता है।
-उदाहरण के लिए, परिभाषा के अनुसार, एक फ़िल्टर (समुच्चय सिद्धांत) |{{em|prefilter}} या {{em|filter base}} समुच्चय का एक गैर-रिक्त परिवार है जो आंशिक क्रम के संबंध में एक निर्देशित समुच्चय है <math>\,\supseteq\,</math> और उसमें भी खाली समुच्चय नहीं है (यह स्थिति तुच्छता को रोकती है क्योंकि अन्यथा, खाली समुच्चय तब सबसे बड़ा तत्व होगा और कम से कम तत्व के संबंध में <math>\,\supseteq\,</math>).
+उदाहरण के लिए, परिभाषा के अनुसार, एक फ़िल्टर (समुच्चय सिद्धांत) |{{em|prefilter}} या {{em|filter base}} समुच्चय का एक गैर-रिक्त परिवार है जो आंशिक क्रम के संबंध में एक निर्देशित समुच्चय है <math>\,\supseteq\,</math> और उसमें भी खाली समुच्चय नहीं है (यह स्थिति तुच्छता को रोकती है क्योंकि अन्यथा, खाली समुच्चय तब सबसे बड़ा अवयव होगा और कम से कम अवयव के संबंध में <math>\,\supseteq\,</math>).
 हर पीआई-सिस्टम |{{pi}}-सिस्टम, जो समुच्चय का एक गैर-रिक्त परिवार है जो इसके दो सदस्यों के चौराहे के नीचे बंद है, एक निर्देशित समुच्चय है जिसके संबंध में <math>\,\supseteq\,.</math> प्रत्येक Dynkin system|λ-system के संबंध में एक निर्देशित समुच्चय है <math>\,\subseteq\,.</math> प्रत्येक [[फ़िल्टर (सेट सिद्धांत)|फ़िल्टर (समुच्चय सिद्धांत)]], [[टोपोलॉजी (संरचना)|सांस्थिति (संरचना)]], और σ-बीजगणित दोनों के संबंध में एक निर्देशित समुच्चय है <math>\,\supseteq\,</math> और <math>\,\subseteq\,.</math> अगर <math>x_{\bull} = \left(x_i\right)_{i \in I}</math> एक निर्देशित समुच्चय से कोई [[नेट (गणित)]] है <math>(I, \leq)</math> फिर किसी भी इंडेक्स के लिए <math>i \in I,</math> समुच्चय <math>x_{\geq i} := \left\{x_j : j \geq i \text{ with } j \in I\right\}</math> की पूँछ कहलाती है <math>(I, \leq)</math> पे शुरुवात <math>i.</math> परिवार <math>\operatorname{Tails}\left(x_{\bull}\right) := \left\{x_{\geq i} : i \in I\right\}</math> सभी पूंछों के संबंध में एक निर्देशित समुच्चय है <math>\,\supseteq;\,</math> वास्तव में, यह एक प्रीफ़िल्टर भी है।
-अगर <math>T</math> एक [[टोपोलॉजिकल स्पेस]] है और <math>x_0</math> में एक बिंदु है <math>T,</math> के सभी [[टोपोलॉजिकल पड़ोस]] का समुच्चय <math>x_0</math> लिखकर निर्देशित समुच्चय में बदला जा सकता है <math>U \leq V</math> अगर और केवल अगर <math>U</math> रोकना <math>V.</math> हरएक के लिए <math>U,</math> <math>V,</math> और <math>W</math>{{hairsp}}:
+अगर <math>T</math> एक [[टोपोलॉजिकल स्पेस]] है और <math>x_0</math> में एक बिंदु है <math>T,</math> के सभी [[टोपोलॉजिकल पड़ोस]] का समुच्चय <math>x_0</math> लिखकर निर्देशित समुच्चय में बदला जा सकता है <math>U \leq V</math> अगर और केवल अगर <math>U</math> रोकना <math>V.</math> हरएक के लिए <math>U,</math> <math>V,</math> और <math>W</math>:
 * <math>U \leq U</math> तब से <math>U</math> खुद को शामिल करता है।
 * अगर <math>U \leq V</math> और <math>V \leq W,</math> तब <math>U \supseteq V</math> और <math>V \supseteq W,</math> जो ये दर्शाता हे <math>U \supseteq W.</math> इस प्रकार <math>U \leq W.</math>
@@ Line 54: / Line 53: @@
-== सेमीलेटिस के साथ तुलना करें ==
+== सेमीलेटिस (अर्ध-जाल) के साथ तुलना करें ==
-[[File:Directed_set,_but_no_join_semi-lattice.png|thumb|x100px|एक निर्देशित समुच्चय का उदाहरण जो संयुक्त-अर्ध-जाल नहीं है।]]निर्देशित समुच्चय अर्ध-जाल (ज्वाइन) की तुलना में अधिक सामान्य अवधारणा है: प्रत्येक संयुक्त अर्ध-जाल एक निर्देशित समुच्चय है, क्योंकि दो तत्वों का जुड़ाव या न्यूनतम ऊपरी सीमा अपेक्षित <math>c</math> है। लेकिन इसका विपरीत नहीं है, निर्देशित समुच्चय {1000,0001,1101,1011,1111} [[समन्वय क्रम]] (जैसे <math>1000 \leq 1011</math> है, लेकिन <math>0001 \leq 1000</math> नहीं, क्योंकि अंतिम बिट 1 > 0) में, जहां {1000,0001} की तीन ऊपरी सीमाएं हैं लेकिन {{em|न्यूनतम}}  ऊपरी सीमा नहीं है, cf. चित्र। (यह भी ध्यान दें कि 1111 के बिना, समुच्चय निर्देशित नहीं है।)
+[[File:Directed_set,_but_no_join_semi-lattice.png|thumb|x100px|एक निर्देशित समुच्चय का उदाहरण जो संयुक्त-अर्ध-जाल नहीं है।]]निर्देशित समुच्चय अर्ध-जाल (ज्वाइन) की तुलना में अधिक सामान्य अवधारणा है: प्रत्येक संयुक्त अर्ध-जाल एक निर्देशित समुच्चय है, क्योंकि दो अवयवों का जुड़ाव या न्यूनतम ऊपरी सीमा अपेक्षित <math>c</math> है। लेकिन इसका विपरीत नहीं है, निर्देशित समुच्चय {1000,0001,1101,1011,1111} [[समन्वय क्रम]] (जैसे <math>1000 \leq 1011</math> है, लेकिन <math>0001 \leq 1000</math> नहीं, क्योंकि अंतिम बिट 1 > 0) में, जहां {1000,0001} की तीन ऊपरी सीमाएं हैं लेकिन {{em|न्यूनतम}}  ऊपरी सीमा नहीं है, cf. चित्र। (यह भी ध्यान दें कि 1111 के बिना, समुच्चय निर्देशित नहीं है।)
 == निर्देशित उपसमुच्चय ==
-निर्देशित समुच्चय में क्रमित संबंध को [[एंटीसिमेट्रिक संबंध|प्रतिसममित]] होने की आवश्यकता नहीं है, और इसलिए निर्देशित समुच्चय हमेशा आंशिक क्रमित नहीं होते हैं। फिर भी, निर्देशित समुच्चय शब्द का उपयोग आंशिकतः क्रमित समुच्चय के संदर्भ में प्रायः किया जाता है। इस समायोजना में, आंशिक रूप से क्रमित समुच्चय <math>(P, \leq)</math> का उपसमुच्चय <math>A</math> निर्देशित उपसमुच्चय कहा जाता है यदि यह एक ही आंशिक क्रम के अनुसार निर्देशित समुच्चय है: दूसरे शब्दों में, यह खाली समुच्चय नहीं है, और तत्वों की प्रत्येक जोड़ी की ऊपरी सीमा होती है। यहाँ <math>A</math> के तत्वों पर क्रम संबंध <math>P</math> से आनुवंसिक है ; इस कारण से, प्रतिवर्तनीयता और सकर्मकता को स्पष्ट होना आवश्यक नहीं है।
+निर्देशित समुच्चय में क्रमित संबंध को [[एंटीसिमेट्रिक संबंध|प्रतिसममित]] होने की आवश्यकता नहीं है, और इसलिए निर्देशित समुच्चय हमेशा आंशिक क्रमित नहीं होते हैं। फिर भी, निर्देशित समुच्चय शब्द का उपयोग आंशिकतः क्रमित समुच्चय के संदर्भ में प्रायः किया जाता है। इस समायोजना में, आंशिक रूप से क्रमित समुच्चय <math>(P, \leq)</math> का उपसमुच्चय <math>A</math> निर्देशित उपसमुच्चय कहा जाता है यदि यह एक ही आंशिक क्रम के अनुसार निर्देशित समुच्चय है: दूसरे शब्दों में, यह खाली समुच्चय नहीं है, और अवयवों की प्रत्येक जोड़ी की ऊपरी सीमा होती है। यहाँ <math>A</math> के अवयवों पर क्रम संबंध <math>P</math> से आनुवंसिक है ; इस कारण से, प्रतिवर्तनीयता और सकर्मकता को स्पष्ट होना आवश्यक नहीं है।
-किसी आंशिकतः क्रमित समुच्चय के निर्देशित उपसमुच्चय को नीचे की ओर बंद करने की आवश्यकता नहीं है; एक आंशिकतः क्रमित समुच्चय का उपसमुच्चय निर्देशित किया जाता है अगर और केवल अगर इसका डाउनवर्ड संवरण एक आदर्श (ऑर्डर थ्योरी) है। जबकि एक निर्देशित समुच्चय की परिभाषा ऊपर की ओर निर्देशित समुच्चय के लिए है (तत्वों की प्रत्येक जोड़ी की ऊपरी सीमा होती है), नीचे की ओर निर्देशित समुच्चय को परिभाषित करना भी संभव है जिसमें प्रत्येक जोड़ी तत्वों की एक सामान्य निचली सीमा होती है। आंशिकतः क्रमित समुच्चय का उपसमुच्चय नीचे की ओर निर्देशित होता है अगर और केवल अगर इसका ऊपरी संवरण एक फ़िल्टर (निस्यंदक) है।
+किसी आंशिकतः क्रमित समुच्चय के निर्देशित उपसमुच्चय को नीचे की ओर बंद करने की आवश्यकता नहीं है; एक आंशिकतः क्रमित समुच्चय का उपसमुच्चय निर्देशित किया जाता है अगर और केवल अगर इसका डाउनवर्ड संवरण एक आदर्श (ऑर्डर थ्योरी) है। जबकि एक निर्देशित समुच्चय की परिभाषा ऊपर की ओर निर्देशित समुच्चय के लिए है (अवयवों की प्रत्येक जोड़ी की ऊपरी सीमा होती है), नीचे की ओर निर्देशित समुच्चय को परिभाषित करना भी संभव है जिसमें प्रत्येक जोड़ी अवयवों की एक सामान्य निचली सीमा होती है। आंशिकतः क्रमित समुच्चय का उपसमुच्चय नीचे की ओर निर्देशित होता है अगर और केवल अगर इसका ऊपरी संवरण एक फ़िल्टर (निस्यंदक) है।
-[[डोमेन सिद्धांत]] में निर्देशित उपसमुच्चय का उपयोग किया जाता है, जो निर्देशित-[[पूर्ण आंशिक आदेश|पूर्ण आंशिकतः क्रमित]] का अध्ययन करता है।<ref>Gierz, p. 2.</ref> ये आंशिकतः क्रमित समुच्चय हैं जिनमें प्रत्येक ऊपर की ओर निर्देशित समुच्चय को न्यूनतम ऊपरी बाउंड होना आवश्यक है। इस संदर्भ में, निर्देशित उपसमुच्चय फिर से अभिसरण अनुक्रमों का सामान्यीकरण प्रदान करते हैं।{{explain|reason=Again? Convergent sequences are never mentioned in this article.|date=December 2020}}
+[[डोमेन सिद्धांत]] में निर्देशित उपसमुच्चय का उपयोग किया जाता है, जो निर्देशित-[[पूर्ण आंशिक आदेश|पूर्ण आंशिकतः क्रमित]] का अध्ययन करता है।<ref>Gierz, p. 2.</ref> ये आंशिकतः क्रमित समुच्चय हैं जिनमें प्रत्येक ऊपर की ओर निर्देशित समुच्चय को न्यूनतम ऊपरी परिबंध होना आवश्यक है। इस संदर्भ में, निर्देशित उपसमुच्चय फिर से अभिसरण अनुक्रमों का सामान्यीकरण प्रदान करते हैं।{{explain|reason=Again? Convergent sequences are never mentioned in this article.|date=December 2020}}
 == यह भी देखें ==

v t e Order theory
Topics Glossary Category
Key concepts	Binary relation Boolean algebra Cyclic order Lattice Partial order Preorder Total order Weak ordering
Results	Boolean prime ideal theorem Cantor–Bernstein theorem Cantor's isomorphism theorem Dilworth's theorem Dushnik–Miller theorem Hausdorff maximal principle Knaster–Tarski theorem Kruskal's tree theorem Laver's theorem Mirsky's theorem Szpilrajn extension theorem Zorn's lemma
Properties & Types (list)	Antisymmetric Asymmetric Boolean algebra topics Completeness Connected Covering Dense Directed (Partial) Equivalence Foundational Heyting algebra Homogeneous Idempotent Lattice Bounded Complemented Complete Distributive Join and meet Reflexive Partial order Chain-complete Graded Eulerian Strict Prefix order Preorder Total Semilattice Semiorder Symmetric Total Tolerance Transitive Well-founded Well-quasi-ordering (Better) (Pre) Well-order
Constructions	Composition Converse/Transpose Lexicographic order Linear extension Product order Reflexive closure Series-parallel partial order Star product Symmetric closure Transitive closure
Topology & Orders	Alexandrov topology & Specialization preorder Ordered topological vector space Normal cone Order topology Order topology Topological vector lattice Banach Fréchet Locally convex Normed
Related	Antichain Cofinal Cofinality Comparability Graph Duality Filter Hasse diagram Ideal Net Subnet Order morphism Embedding Isomorphism Order type Ordered field Ordered vector space Partially ordered Positive cone Riesz space Upper set Young's lattice

Anonymous

Search

निर्देशित समुच्चय: Difference between revisions

Namespaces

More

Page actions

Revision as of 01:10, 28 April 2023

Contents

समतुल्य परिभाषा