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

Revision as of 17:47, 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 \,$ के साथ निर्देशित समुच्चय के सबसे महत्वपूर्ण उदाहरणों में से एक है (और ऐसा ही प्रत्येक पूर्ण क्रमित समुच्चय है)। परिभाषा के अनुसार, नेट एक निर्देशित समुच्चय से एक फलन है और अनुक्रम (गणित) प्राकृतिक संख्याओं $\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 18: / Line 18: @@
 आंशिक रूप से आदेशित समुच्चय का एक (साधारण) उदाहरण जो निर्देशित नहीं है वह समुच्चय <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> की ओर निर्देशित किया गया है। यह एक निर्देशित समुच्चय का उदाहरण है जो जो न तो [[आंशिक आदेश|आंशिक क्रमित]] और न ही पूर्ण क्रमित किया गया है। ऐसा इसलिए है क्योंकि हर जोड़ी <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>
 === अधिकतम और सबसे बड़ा अवयव ===
@@ Line 32: / Line 29: @@
 === निर्देशित समुच्चय का उत्पाद ===
-होने देना <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> समुच्चय के किसी दिए गए परिवार पर आंशिक ऑर्डर परिभाषित करें।
+उपसमुच्चय समावेशन संबंध <math>\,\subseteq,\,</math> इसके [[द्वैत (आदेश सिद्धांत)|द्वैत (क्रमित सिद्धांत)]] <math>\,\supseteq\,</math> के साथ, समुच्चय के किसी दिए गए वर्ग पर आंशिक [[ poset |क्रमित]] परिभाषित करता है। आंशिक क्रम <math>\,\supseteq\,</math> (क्रमश, <math>\,\subseteq\,</math>)के संबंध में निर्देशित किया जाता है यदि और केवल यदि के संबंध में समुच्चय का अरिक्त वर्ग एक निर्देशित समुच्चय है अगर और केवल अगर इसके किसी भी दो सदस्यों के प्रतिच्छेदन (क्रमशः, संघ) में किसी तीसरे सदस्य के उपसमुच्चय (क्रमशः, एक उपसमुच्चयके रूप में समिलित है) के रूप में समिलित है। प्रतीकों में, समुच्चयों के एक वर्ग <math>I</math> को <math>\,\supseteq\,</math> (क्रमश, <math>\,\subseteq\,</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>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>:
+अगर <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>

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 17:47, 28 April 2023

Contents

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