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

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

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

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

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

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

उपरोक्त परिभाषा के अतिरिक्त, एक समतुल्य परिभाषा भी है। निर्देशित समुच्चय एक पूर्वक्रमी के साथ एक समुच्चय $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$। यह सबसे बड़ा अवयव है यदि प्रत्येक $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$ से आनुवंसिक है ; इस कारण से, प्रतिवर्तनीयता और सकर्मकता को स्पष्ट होना आवश्यक नहीं है।

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

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

यह भी देखें

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