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

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

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

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

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

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

उपरोक्त परिभाषा के अतिरिक्त, एक समतुल्य परिभाषा भी है। एक निर्देशित समुच्चय एक समुच्चय है $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).$

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

तत्व $m$ एक पूर्वक्रमीित समुच्चय का $(I,\leq )$ यदि प्रत्येक के लिए एक अधिकतम और न्यूनतम तत्व है $j\in I,$ $m\leq j$ तात्पर्य $j\leq m.$ यदि प्रत्येक के लिए यह एक महानतम तत्व और सबसे कम तत्व है $j\in I,$ $j\leq m.$ सबसे बड़े तत्व के साथ कोई भी पूर्वक्रमी किया गया समुच्चय उसी पूर्वक्रमी के साथ एक निर्देशित समुच्चय है। उदाहरण के लिए, एक poset में $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} की तीन ऊपरी सीमाएं हैं लेकिन नहीं least ऊपरी सीमा, cf. चित्र। (यह भी ध्यान दें कि 1111 के बिना, समुच्चय निर्देशित नहीं है।)

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

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

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

डोमेन सिद्धांत में निर्देशित सबसमुच्चय का उपयोग किया जाता है, जो पूर्ण आंशिक आदेश | निर्देशित-पूर्ण आंशिक आदेश का अध्ययन करता है। ये पॉसमुच्चय्स हैं जिनमें प्रत्येक ऊपर की ओर निर्देशित समुच्चय को कम से कम ऊपरी बाउंड होना आवश्यक है। इस संदर्भ में, निर्देशित उपसमुच्चय फिर से अभिसरण अनुक्रमों का सामान्यीकरण प्रदान करते हैं।

यह भी देखें

• Centered set
• Filtered category
• Filters in topology
• Linked set
• Net (mathematics)

संदर्भ

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