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

Latest revision as of 15:14, 6 September 2023

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

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

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

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

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

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

उदाहरण

प्राकृतिक संख्याओं $\mathbb {N}$ का समुच्चय साधारण क्रमित $\,\leq \,$ के साथ निर्देशित समुच्चय के सबसे महत्वपूर्ण उदाहरणों में से एक है (और ऐसा ही प्रत्येक पूर्ण क्रमित समुच्चय है)। परिभाषा के अनुसार, नेट एक निर्देशित समुच्चय से एक फलन है और अनुक्रम (गणित) प्राकृतिक संख्याओं $\mathbb {N}$ से एक फलन है। $\mathbb {N}$ को $\,\leq \,$ देकर प्रत्येक अनुक्रम प्रामाणिक रूप से नेट बन जाता है।

आंशिक रूप से आदेशित समुच्चय का एक (साधारण) उदाहरण जो निर्देशित नहीं है वह समुच्चय $\{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}$ की ओर निर्देशित किया गया है। यह एक निर्देशित समुच्चय का उदाहरण है जो जो न तो आंशिक क्रमित और न ही पूर्ण क्रमित किया गया है। ऐसा इसलिए है क्योंकि हर जोड़ी $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$ या $X\setminus \left\{x_{0}\right\}$ पर परिभाषित करके मीट्रिक स्थान $(X,d)$ के लिए सामान्यीकृत किया जा सकता है अग्रिम क्रमित $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

).

इन आंशिक क्रमितों का उपयोग करके निर्देशित समुच्चयों के कई महत्वपूर्ण उदाहरणों को परिभाषित किया जा सकता है। उदाहरण के लिए, परिभाषा के अनुसार, एक फ़िल्टर (समुच्चय सिद्धांत) या फ़िल्टर बेस समुच्चय का एक अरिक्त वर्ग है जो आंशिक क्रम $\,\supseteq \,$ के संबंध में निर्देशित समुच्चय है और उसमें भी खाली समुच्चय नहीं है (यह स्थिति तुच्छता को रोकती है क्योंकि अन्यथा, खाली समुच्चय तब $\,\supseteq \,$ के संबंध में सबसे बड़ा अवयव होगा)। हर $π$ -प्रणाली, जो समुच्चय का अरिक्त वर्ग है जो इसके दो सदस्यों के प्रतिच्छेदन के नीचे बंद है, $\,\supseteq \,$ संबंध में एक निर्देशित समुच्चय है। जिसके प्रत्येक λ-प्रणाली $\,\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)$ $\operatorname {Finite} (I)$ में $A$ और $B$ की ऊपरी सीमा है। यह विशेष रूप से निर्देशित समुच्चय का उपयोग संख्या $\left(r_{i}\right)_{i\in I}$ के $I$ अनुक्रमित संग्रह की सामान्यीकृत श्रृंखला के योग ${\textstyle \sum \limits _{i\in I}}r_{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> उपस्थित होना चाहिए। एक निर्देशित समुच्चय के पूर्वक्रमी को दिशा कहा जाता है।
-ऊपर परिभाषित धारणा को कभी-कभी a कहा जाता है{{visible anchor|upward directed set}}. ए{{visible anchor|downward directed set}} को समान रूप से परिभाषित किया गया है,<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>
-निर्देशित समुच्चय अरिक्त [[पूरी तरह से आदेशित सेट|पूरी तरह से आदेशित समुच्चय]] का एक सामान्यीकरण है। अर्थात्, सभी पूरी तरह से ऑर्डर किए गए समुच्चय निर्देशित समुच्चय हैं (विपरीत आंशिक रूप से ऑर्डर किए गए समुच्चय{{em|partially}} ऑर्डर किए गए समुच्चय, जिन्हें निर्देशित करने की आवश्यकता नहीं है)। [[ज्वाइन-सेमी-जाली]] (जो आंशिक रूप से ऑर्डर किए गए समुच्चय हैं) भी निर्देशित समुच्चय हैं, लेकिन इसके विपरीत नहीं। इसी तरह, [[जाली (आदेश)]] ऊपर और नीचे दोनों ओर निर्देशित समुच्चय हैं।
+निर्देशित समुच्चय अरिक्त [[पूरी तरह से आदेशित सेट|संपूर्णतया क्रमित समुच्चय]] का सामान्यीकरण है। अर्थात्, सभी संपूर्णतया क्रमित समुच्चय निर्देशित समुच्चय हैं (अंशतः क्रमित समुच्चय के विपरीत , जिन्हें निर्देशित करने की आवश्यकता नहीं है)। [[ज्वाइन-सेमी-जाली|संयुक्त-अर्ध-जाली]] (जो आंशिक रूप से क्रमित समुच्चय हैं) भी निर्देशित समुच्चय हैं, लेकिन इसके विपरीत नहीं। इसी तरह, [[जाली (आदेश)|जाली]] ऊपर और नीचे दोनों ओर निर्देशित समुच्चय हैं।
-[[टोपोलॉजी]] में, [[नेट (टोपोलॉजी)]] को परिभाषित करने के लिए निर्देशित समुच्चय का उपयोग किया जाता है, जो [[अनुक्रम]]ों को सामान्य करता है और [[गणितीय विश्लेषण]] में उपयोग की जाने वाली [[सीमा (गणित)]] की विभिन्न धारणाओं को एकजुट करता है। निर्देशित समुच्चय अमूर्त बीजगणित और (अधिक सामान्यतः) [[श्रेणी सिद्धांत]] में [[प्रत्यक्ष सीमा]] को जन्म देते हैं।
+[[टोपोलॉजी|सांस्थिति]] में, [[नेट (टोपोलॉजी)|नेट (जालक)]] को परिभाषित करने के लिए निर्देशित समुच्चय का उपयोग किया जाता है, जो [[अनुक्रम|अनुक्रमों]] को सामान्य करता है और [[गणितीय विश्लेषण]] में उपयोग की जाने वाली [[सीमा (गणित)]] की विभिन्न धारणाओं को एकजुट करता है। निर्देशित समुच्चय अमूर्त बीजगणित और (अधिक सामान्यतः) [[श्रेणी सिद्धांत]] में [[प्रत्यक्ष सीमा]] को जन्म देते हैं।
 == समतुल्य परिभाषा ==
-उपरोक्त परिभाषा के अतिरिक्त, एक समतुल्य परिभाषा भी है। एक निर्देशित समुच्चय एक समुच्चय है <math>A</math> एक पूर्वक्रमी के साथ जैसे कि प्रत्येक परिमित उपसमुच्चय <math>A</math> एक ऊपरी सीमा है। इस परिभाषा में, रिक्त समुच्चय की ऊपरी सीमा का अर्थ है कि <math>A</math> खाली नहीं है।
+उपरोक्त परिभाषा के अतिरिक्त, एक समतुल्य परिभाषा भी है। निर्देशित समुच्चय एक पूर्वक्रमी के साथ एक समुच्चय <math>A</math> है जैसे कि प्रत्येक परिमित उपसमुच्चय <math>A</math> की एक ऊपरी सीमा है। इस परिभाषा में, रिक्त समुच्चय की ऊपरी सीमा का अर्थ है कि <math>A</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>\N</math> का समुच्चय साधारण क्रमित <math>\,\leq\,</math> के साथ निर्देशित समुच्चय के सबसे महत्वपूर्ण उदाहरणों में से एक है (और ऐसा ही प्रत्येक [[कुल आदेश|पूर्ण क्रमित]] समुच्चय है)। परिभाषा के अनुसार, नेट एक निर्देशित समुच्चय से एक फलन है और [[अनुक्रम (गणित)]] प्राकृतिक संख्याओं <math>\N</math> से एक फलन है। <math>\N</math> को <math>\,\leq\,</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>\{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> की ओर निर्देशित किया गया है। यह एक निर्देशित समुच्चय का उदाहरण है जो जो न तो [[आंशिक आदेश|आंशिक क्रमित]] और न ही पूर्ण क्रमित किया गया है। ऐसा इसलिए है क्योंकि हर जोड़ी <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</math> या <math>X \setminus \left\{x_0\right\}</math> पर परिभाषित करके [[मीट्रिक स्थान]] <math>(X, d)</math> के लिए सामान्यीकृत किया जा सकता है अग्रिम क्रमित <math>a \leq b</math> अगर और केवल अगर <math>d\left(a, x_0\right) \geq d\left(b, x_0\right).</math>
+=== अधिकतम और सबसे बड़ा अवयव ===
-=== अधिकतम और सबसे बड़ा तत्व ===
+एक पूर्वक्रमीित समुच्चय <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>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>
+सबसे बड़े अवयव के साथ कोई भी पूर्वक्रमी किया गया समुच्चय उसी पूर्वक्रमी के साथ एक निर्देशित समुच्चय है। उदाहरण के लिए, एक [[ poset |आंशिकतः क्रमित समुच्चय]] <math>P</math> में, अवयव का हर निचला संवरण, अर्थात्, <math>\{a \in P : a \leq x\}</math> के रूप का प्रत्येक उपसमुच्चय जहाँ <math>x</math>, <math>P</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> निर्देश दिया गया है।
-निर्देशित पूर्वनिर्धारित समुच्चय का प्रत्येक अधिकतम तत्व सबसे बड़ा तत्व है। वास्तव में, एक निर्देशित पूर्ववर्ती समुच्चय अधिकतम और सबसे बड़े तत्वों के (संभवतः खाली) समुच्चयों की समानता की विशेषता है।
+निर्देशित पूर्वनिर्धारित समुच्चय का प्रत्येक अधिकतम अवयव सबसे बड़ा अवयव है। वास्तव में, एक निर्देशित पूर्ववर्ती समुच्चय अधिकतम और सबसे बड़े अवयवों के (संभवतः खाली) समुच्चयों की समानता की विशेषता है।
 === निर्देशित समुच्चय का उत्पाद ===
-होने देना <math>\mathbb{D}_1</math> और <math>\mathbb{D}_2</math> निर्देशित समुच्चय हो। फिर कार्टेशियन उत्पाद समुच्चय <math>\mathbb{D}_1 \times \mathbb{D}_2</math> परिभाषित करके एक निर्देशित समुच्चय में बनाया जा सकता है <math>\left(n_1, n_2\right) \leq \left(m_1, m_2\right)</math> अगर और केवल अगर <math>n_1 \leq m_1</math> और <math>n_2 \leq m_2.</math> [[उत्पाद क्रम]] के अनुरूप यह कार्टेशियन उत्पाद पर उत्पाद की दिशा है। उदाहरण के लिए, समुच्चय <math>\N \times \N</math> परिभाषित करके प्राकृतिक संख्याओं के जोड़े को एक निर्देशित समुच्चय में बनाया जा सकता है <math>\left(n_0, n_1\right) \leq \left(m_0, m_1\right)</math> अगर और केवल अगर <math>n_0 \leq m_0</math> और <math>n_1 \leq m_1.</math>
+<math>\mathbb{D}_1</math> और <math>\mathbb{D}_2</math> को निर्देशित समुच्चय होने दें। फिर कार्तीय उत्पाद समुच्चय <math>\mathbb{D}_1 \times \mathbb{D}_2</math> को <math>\left(n_1, n_2\right) \leq \left(m_1, m_2\right)</math> अगर और केवल अगर <math>n_1 \leq m_1</math> और <math>n_2 \leq m_2</math> परिभाषित करके निर्देशित समुच्चय में बनाया जा सकता है। [[उत्पाद क्रम]] के अनुरूप यह कार्तीय उत्पाद पर उत्पाद की दिशा है। उदाहरण के लिए, प्राकृतिक संख्याओं के जोड़े के समुच्चय <math>\N \times \N</math> को <math>\left(n_0, n_1\right) \leq \left(m_0, m_1\right)</math> को  परिभाषित करके निर्देशित समुच्चय में बनाया जा सकता है यदि केवल <math>n_0 \leq m_0</math> और <math>n_1 \leq m_1</math> हो।
+=== [[सबसेट समावेशन|उपसमुच्चय समावेशन]] ===
+उपसमुच्चय समावेशन संबंध <math>\,\subseteq,\,</math> इसके [[द्वैत (आदेश सिद्धांत)|द्वैत (क्रमित सिद्धांत)]] <math>\,\supseteq\,</math> के साथ, समुच्चय के किसी दिए गए वर्ग पर आंशिक [[ poset |क्रमित]] परिभाषित करता है। आंशिक क्रम <math>\,\supseteq\,</math> (क्रमश, <math>\,\subseteq\,</math>)के संबंध में निर्देशित किया जाता है यदि और केवल यदि के संबंध में समुच्चय का अरिक्त वर्ग एक निर्देशित समुच्चय है अगर और केवल अगर इसके किसी भी दो सदस्यों के प्रतिच्छेदन (क्रमशः, संघ) में किसी तीसरे सदस्य के उपसमुच्चय (क्रमशः, एक उपसमुच्चयके रूप में समिलित है) के रूप में समिलित है। प्रतीकों में, समुच्चयों के एक वर्ग <math>I</math> को <math>\,\supseteq\,</math> (क्रमश, <math>\,\subseteq\,</math>) के संबंध में निर्देशित किया जाता है यदि और केवल यदि
-=== [[सबसेट समावेशन|सबसमुच्चय समावेशन]] ===
+:सभी <math>A, B \in I</math> के लिए  कुछ <math>C \in I</math>  ऐसा उपस्थित है कि <math>A \supseteq C</math> और <math>B \supseteq C</math> (क्रमश, <math>A \subseteq C</math> और <math>B \subseteq C</math>)
-सबसमुच्चय समावेशन संबंध <math>\,\subseteq,\,</math> इसके [[द्वैत (आदेश सिद्धांत)]] के साथ <math>\,\supseteq,\,</math> समुच्चय के किसी दिए गए परिवार पर आंशिक ऑर्डर परिभाषित करें।
-आंशिक क्रम के संबंध में समुच्चय का एक अरिक्त परिवार एक निर्देशित समुच्चय है <math>\,\supseteq\,</math> (क्रमश, <math>\,\subseteq\,</math>) अगर और केवल अगर इसके किसी भी दो सदस्यों के चौराहे (क्रमशः, संघ) में किसी तीसरे सदस्य के सबसमुच्चय (क्रमशः, एक सबसमुच्चय के रूप में शामिल है) के रूप में शामिल है।
-प्रतीकों में, एक परिवार <math>I</math> समुच्चय के संबंध में निर्देशित किया जाता है <math>\,\supseteq\,</math> (क्रमश, <math>\,\subseteq\,</math>) अगर और केवल अगर
-:सभी के लिए <math>A, B \in I,</math> कुछ उपस्थित है <math>C \in I</math> ऐसा है कि <math>A \supseteq C</math> और <math>B \supseteq C</math> (क्रमश, <math>A \subseteq C</math> और <math>B \subseteq C</math>)
 या समकक्ष,
-:सभी के लिए <math>A, B \in I,</math> कुछ उपस्थित है <math>C \in I</math> ऐसा है कि <math>A \cap B \supseteq C</math> (क्रमश, <math>A \cap B \subseteq C</math>).
+:सभी <math>A, B \in I</math> के लिए कुछ <math>C \in I</math> ऐसा उपस्थित है कि <math>A \cap B \supseteq C</math> (क्रमश, <math>A \cap B \subseteq C</math>).
-इन आंशिक आदेशों का उपयोग करके निर्देशित समुच्चयों के कई महत्वपूर्ण उदाहरणों को परिभाषित किया जा सकता है।
+इन आंशिक क्रमितों का उपयोग करके निर्देशित समुच्चयों के कई महत्वपूर्ण उदाहरणों को परिभाषित किया जा सकता है। उदाहरण के लिए, परिभाषा के अनुसार, एक फ़िल्टर (समुच्चय सिद्धांत) या फ़िल्टर बेस समुच्चय का एक अरिक्त वर्ग है जो आंशिक क्रम <math>\,\supseteq\,</math> के संबंध में निर्देशित समुच्चय है और उसमें भी खाली समुच्चय नहीं है (यह स्थिति तुच्छता को रोकती है क्योंकि अन्यथा, खाली समुच्चय तब <math>\,\supseteq\,</math> के संबंध में सबसे बड़ा अवयव होगा)। हर {{pi}}-प्रणाली, जो समुच्चय का अरिक्त वर्ग है जो इसके दो सदस्यों के प्रतिच्छेदन के नीचे बंद है, <math>\,\supseteq\,</math> संबंध में एक निर्देशित समुच्चय है। जिसके प्रत्येक λ-प्रणाली<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> के संबंध में एक निर्देशित समुच्चय है; वास्तव में, यह एक प्रीफ़िल्टर भी है।
-उदाहरण के लिए, परिभाषा के अनुसार, एक फ़िल्टर (समुच्चय सिद्धांत) |{{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 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>
+* अगर <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> है।
-* क्योंकि <math>x_0 \in U \cap V,</math> और दोनों के बाद से <math>U \supseteq U \cap V</math> और <math>V \supseteq U \cap V,</math> अपने पास <math>U \leq U \cap V</math> और <math>V \leq U \cap V.</math>
+* क्योंकि <math>x_0 \in U \cap V,</math> और चूँकि  <math>U \supseteq U \cap V</math> और <math>V \supseteq U \cap V</math> दोनों हैं, हमारे पास<math>U \leq U \cap V</math> और <math>V \leq U \cap V</math> है।
-समुच्चय <math>\operatorname{Finite}(I)</math> एक समुच्चय के सभी परिमित उपसमुच्चय <math>I</math> के संबंध में निर्देशित किया गया है <math>\,\subseteq\,</math> चूँकि कोई दो दिया है <math>A, B \in \operatorname{Finite}(I),</math> उनका संघ <math>A \cup B \in \operatorname{Finite}(I)</math> की ऊपरी सीमा है <math>A</math> और <math>B</math> में <math>\operatorname{Finite}(I).</math> इस विशेष निर्देशित समुच्चय का उपयोग योग को परिभाषित करने के लिए किया जाता है <math>{\textstyle\sum\limits_{i \in I}} r_i</math> एक की एक [[सामान्यीकृत श्रृंखला (गणित)]] की <math>I</math>संख्याओं का अनुक्रमित संग्रह <math>\left(r_i\right)_{i \in I}</math> (या अधिक आम तौर पर, श्रृंखला का योग (गणित) [[एबेलियन टोपोलॉजिकल ग्रुप]] समूह एबेलियन टोपोलॉजिकल समूह, जैसे कि श्रृंखला (गणित) # एक [[टोपोलॉजिकल वेक्टर स्पेस]] में टोपोलॉजिकल वेक्टर रिक्त स्थान में श्रृंखला) आंशिक रकम के [[जाल की सीमा]] के रूप में <math>F \in \operatorname{Finite}(I) \mapsto {\textstyle\sum\limits_{i \in F}} r_i;</math> वह है:
+समुच्चय <math>\operatorname{Finite}(I)</math> एक समुच्चय <math>I</math> के सभी परिमित उपसमुच्चय <math>\,\subseteq\,</math> के संबंध में निर्देशित किया जाता है क्योंकि कोई भी दो <math>A, B \in \operatorname{Finite}(I)</math> दिया गया है, उनका संघ <math>A \cup B \in \operatorname{Finite}(I)</math> <math>\operatorname{Finite}(I)</math> में <math>A</math> और <math>B</math> की ऊपरी सीमा है। यह विशेष रूप से निर्देशित समुच्चय का उपयोग संख्या <math>\left(r_i\right)_{i \in I}</math> के <math>I</math>अनुक्रमित संग्रह की [[सामान्यीकृत श्रृंखला (गणित)|सामान्यीकृत श्रृंखला]] के योग  <math>{\textstyle\sum\limits_{i \in I}} r_i</math> को परिभाषित करने के लिए किया जाता है (या अधिक आम तौर पर, एक [[एबेलियन टोपोलॉजिकल ग्रुप|एबेलियन]] [[टोपोलॉजी (संरचना)|सांस्थिति]] समूह में तत्वों का योग, जैसे कि एक सांस्थिति सदिश स्थान में सदिश) आंशिक योग के [[जाल की सीमा|नेट की सीमा]] के रूप में <math>F \in \operatorname{Finite}(I) \mapsto {\textstyle\sum\limits_{i \in F}} r_i;</math> वह है:
 <math display=block>\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\}.</math>
-== सेमीलेटिस के साथ तुलना करें ==
+== सेमीलेटिस (अर्ध-जाल) के साथ तुलना करें ==
-[[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|least}} ऊपरी सीमा, 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 के बिना, समुच्चय निर्देशित नहीं है।)
-== निर्देशित सबसमुच्चय ==
+== निर्देशित उपसमुच्चय ==
-निर्देशित समुच्चय में आदेश संबंध को [[एंटीसिमेट्रिक संबंध]]<nowiki> होने की आवश्यकता नहीं है, और इसलिए निर्देशित समुच्चय हमेशा आंशिक आदेश नहीं होते हैं। हालाँकि, शब्द {{em|directed set}पोसमुच्चय के संदर्भ में } का भी अक्सर उपयोग किया जाता है। इस समुच्चयिंग में, एक सबसमुच्चय </nowiki><math>A</math> आंशिक रूप से आदेशित समुच्चय का <math>(P, \leq)</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}}
 == यह भी देखें ==
-* {{annotated link|Centered set}}
+* केंद्रित सेट
-* {{annotated link|Filtered category}}
+* फ़िल्टर की गई श्रेणी
-* {{annotated link|Filters in topology}}
+* टोपोलॉजी में फिल्टर
-* {{annotated link|Linked set}}
+* जुड़ा हुआ सम्मुच्य
-* {{annotated link|Net (mathematics)}}
+* नेट (गणित)
 ==टिप्पणियाँ==
@@ Line 83: / Line 76: @@
 * Gierz, Hofmann, Keimel, ''et al.'' (2003), ''Continuous Lattices and Domains'', Cambridge University Press. {{ISBN|0-521-80338-1}}.
-{{Order theory}}
-[[Category: द्विआधारी संबंध]] [[Category: सामान्य टोपोलॉजी]] [[Category: आदेश सिद्धांत]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 24/04/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with maths render errors]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia articles needing clarification from December 2020]]
+[[Category:आदेश सिद्धांत]]
+[[Category:द्विआधारी संबंध]]
+[[Category:सामान्य टोपोलॉजी]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 15:14, 6 September 2023

Contents

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