प्रवर समुच्चय

गणित में, एक ऊपरी समुच्चय (जिसे ऊपर की ओर बंद समुच्चय भी कहा जाता है, एक अपसमुच्चय, या x में एक आइसोटोन समुच्चय ) एक आंशिक रूप से आदेशित समुच्चय $$(X, \leq)$$ एक उपसमुच्चय है $$S \subseteq X$$ निम्नलिखित विशेषता के साथ यदि S में है और यदि x में S $$s < x$$ से बड़ा है), तो X, S में है दूसरे शब्दों में, इसका तात्पर्य है कि X का कोई भी X$$\,\geq\,$$S अवयव के कुछ अवयव के लिए आवश्यक रूप से S का एक अवयव भी है। शब्द 'निम्न समुच्चय' (जिसे 'अधोमुखी बंद समुच्चय ' भी कहा जाता है, 'निम्न समुच्चय ' घटते समुच्चय, 'प्रारंभिक खंड', या 'अर्ध-आदर्श') को इसी तरह परिभाषित किया गया है। विशेषता है कि x का कोई भी अवयव x है तो X$$\,\leq\,$$ S के कुछ अवयव के लिए आवश्यक रूप से S का एक अवयव भी है।

परिभाषा
माना कि $$(X, \leq)$$ एक पूर्व निर्धारित समुच्चय हो।

एक $$X$$ में (यह भी कहा जाता है, एक , या एक तय करना) एक उपसमुच्चय है $$U \subseteq X$$ यह उर्ध्वगामी बंद है, इस अर्थ में
 * सभी के लिए $$u \in U$$ और सभी $$x \in X,$$ अगर $$u \leq x$$ तब $$x \in U.$$

द्वंद्व (आदेश सिद्धांत) धारणा एक है। (यह भी कहा जाता है ,,,, या ), जो एक उपसमुच्चय है $$L \subseteq X$$ यह नीचे जाने के तहत बंद है, इस अर्थ में
 * सभी के लिए $$l \in L$$ और सभी $$x \in X,$$ अगर $$x \leq l$$ तब $$x \in L.$$

शर्तें या  कभी -कभी निचले समुच्चय के लिए पर्यायवाची के रूप में उपयोग किया जाता है।  शब्दावली की यह प्रमुख जाली (आदेश) के एक आदर्श की धारणा को प्रतिबिंबित करने में विफल रहती है क्योंकि जरूरी नहीं कि इसमें एक सबलैटिस हो।

गुण

 * प्रत्येक आंशिक रूप से आदेश किया गया समुच्चय स्वयं का एक ऊपरी समुच्चय है।
 * ऊपरी समुच्चय के किसी भी परिवार का प्रतिच्छेदन (समुच्चय सिद्धांत) और संघ (समुच्चय सिद्धांत) फिर से एक ऊपरी समुच्चय है।
 * किसी भी ऊपरी समुच्चय का पूरक (समुच्चय सिद्धांत) और इसके विपरीत एक निचला समुच्चय है।
 * एक आंशिक रूप से आदेश किए गए समुच्चय को दिया गया $$(X, \leq),$$ ऊपरी समुच्चय जाली के ऊपरी समुच्चय का परिवार $$X$$ समावेश (समुच्चय सिद्धांत) संबंध के साथ आदेश दिया गया एक पूर्ण जाली है।
 * एक मनमाना उपसमुच्चय दिया गया $$Y$$ एक आंशिक रूप से आदेशित समुच्चय $$X,$$ सबसे छोटा ऊपरी समुच्चय युक्त $$Y$$ के रूप में एक अप तीर का उपयोग करके निरूपित किया गया है $$\uparrow Y$$ (देखें ऊपरी समापन और निम्न समापन )।
 * प्रायः, सबसे छोटा निचला समुच्चय युक्त $$Y$$ के रूप में एक नीचे तीर का उपयोग करके निरूपित किया गया $$\downarrow Y$$ है।
 * एक निचले समुच्चय को मूलधन कहा जाता है यदि यह $$\downarrow\{x\}$$ प्रारूप का है, जहाँ $$x$$ का एक अवयव $$X$$ है।
 * हर निचला समुच्चय $$Y$$ एक परिमित आंशिक रूप से आदेशित समुच्चय $$X$$ के सभी अधिकतम तत्व वाले सबसे छोटे निचले समुच्चय के बराबर है $$Y$$ **$$\downarrow Y = \downarrow \operatorname{Max}(Y)$$ कहाँ $$\operatorname{Max}(Y)$$ के अधिकतम तत्वों वाले समुच्चय को दर्शाता है $$Y.$$
 * एक निर्देशित समुच्चय निम्न समुच्चय को एक आदेश आदर्श कहा जाता है।
 * आंशिक आदेशों के लिए अवरोही श्रृंखला की स्थिति को संतुष्ट करने के लिए, एंटीचेन और ऊपरी समुच्चय निम्नलिखित बायजेक्शन के माध्यम से एक-से-एक पत्राचार में हैं: प्रत्येक एंटीचैन को इसके ऊपरी बंद करने के लिए मैप करें (नीचे देखें); इसके विपरीत, प्रत्येक ऊपरी समुच्चय को उसके न्यूनतम तत्वों के समुच्चय पर मैप करें। यह पत्राचार अधिक सामान्य आंशिक आदेशों के लिए नहीं है; उदाहरण के लिए वास्तविक संख्याओं के समुच्चय $$\{ x \in \R: x > 0 \}$$ और $$\{ x \in \R: x > 1 \}$$ दोनों को खाली एंटीचैन में मैप किया जाता है।

ऊपरी समापन और निम्न समापन
एक अवयव दिया $$x$$ एक आंशिक रूप से आदेशित समुच्चय $$(X, \leq),$$ ऊपरी बंद या ऊपर की ओर बंद करना $$x,$$ द्वारा चिह्नित $$x^{\uparrow X},$$ $$x^{\uparrow},$$ या $$\uparrow\! x,$$ द्वारा परिभाषित किया गया है $$x^{\uparrow X} =\; \uparrow\! x = \{ u \in X : x \leq u\}$$ जबकि कम बंद या नीचे की ओर बंद होना $$x$$, द्वारा चिह्नित $$x^{\downarrow X},$$ $$x^{\downarrow},$$ या $$\downarrow\! x,$$ द्वारा परिभाषित किया गया है, $$x^{\downarrow X} =\; \downarrow\! x = \{l \in X : l \leq x\}.$$ समुच्चय $$\uparrow\! x$$ और $$\downarrow\! x$$ क्रमशः, सबसे छोटे ऊपरी और निचले समुच्चय $$x$$ एक अवयव के रूप में होते हैं।

सामान्यतः, एक उपसमुच्चय $$A \subseteq X,$$ दिया गया ऊपरी/ऊपर की ओर बंद होने और निचले/नीचे की ओर बंद होने को परिभाषित करें। $$A,$$ द्वारा चिह्नित $$A^{\uparrow X}$$ और $$A^{\downarrow X}$$ क्रमशः, रूप में $$A^{\uparrow X} = A^{\uparrow} = \bigcup_{a \in A} \uparrow\!a$$ और $$A^{\downarrow X} = A^{\downarrow} = \bigcup_{a \in A} \downarrow\!a.$$ इस प्रकार से, $$\uparrow x = \uparrow\{x\}$$ और $$\downarrow x = \downarrow\{x\},$$ जहां इस प्ररूप के ऊपरी समुच्चय और निचले समुच्चय को मूलधन कहा जाता है।एक समुच्चय का ऊपरी बंद और निचला बंद होना, क्रमशः सबसे छोटा ऊपरी समुच्चय और निचला समुच्चय है।

ऊपरी और निचले समापन, जब पावर समुच्चय से फलन के रूप में देखा जाता है $$X$$ अपने आप में, कुरातोव्स्की बंद स्वयंसिद्ध परिभाषा के उदाहरण हैं क्योंकि वे कुरातोव्स्की समापन एंसिओम्स के सभी को संतुष्ट करते हैं।नतीजतन, एक समुच्चय का ऊपरी बंद होना सभी ऊपरी समुच्चयों के चौराहे के बराबर है, और इसी तरह निचले समुच्चयों के लिए।(वास्तव में, यह समापन संचालकों की एक सामान्य घटना है। उदाहरण के लिए, एक समुच्चय का सामयिक बंद करना इसमें सम्मिलित सभी बंद समुच्चयों का प्रतिच्छेदन है; वैक्टर के एक समुच्चय का रैखिक अवधि सभी रैखिक उप -समूह का प्रतिच्छेदन है;एक समूह (गणित) के एक समूह का निर्माण समुच्चय करना सभी उपसमूहों का प्रतिच्छेदन है, जिसमें एक वलय (गणित) के एक उपसमुच्चय द्वारा उत्पन्न आदर्श (वलय सिद्धांत) सभी आदर्शों का प्रतिच्छेदन है, जो इसे समाहित करता है।

क्रमसूचक संख्या
एक क्रमिक संख्या को सामान्यतः सभी छोटे क्रमिक संख्याओं के समुच्चय के साथ पहचाना जाता है। एक क्रमिक संख्या एक संख्या है जो अन्य संख्याओं के संबंध में किसी चीज़ की स्थिति या क्रम को इंगित करती है, जैसे, पहली, दूसरी, तीसरी, और इसी तरह। यह क्रम या क्रम आकार, महत्व या किसी कालक्रम के अनुसार हो सकता है। आइए क्रमांक संख्याओं को एक उदाहरण से समझते हैं। एक प्रतियोगिता में दस छात्रों ने भाग लिया। उनमें से, शीर्ष विजेताओं को पदक दिए गए और उन्हें प्रथम, द्वितीय और तृतीय स्थान दिया गया। इस स्थिति में, पद: पहला, दूसरा और तीसरा क्रमिक अंक हैं। इस प्रकार प्रत्येक ऑर्डिनल संख्या सभी क्रमिक संख्याओं के वर्ग में एक निचला समुच्चय बनाती है, जो पूरी तरह से निर्धारित समावेश द्वारा आदेशित हैं।

यह भी देखें

 * सार सरलीशान परिसर (जिसे भी कहा जाता है: स्वतंत्रता प्रणाली)-एक समुच्चय -परिवार जो कि नियंत्रण संबंध के संबंध में नीचे की ओर-बंद है।
 * कोफिनल समुच्चय - एक उपसमुच्चय $$U$$ एक आंशिक रूप से आदेशित समुच्चय $$(X, \leq)$$ जिसमें हर अवयव के लिए सम्मिलित है $$x \in X,$$ कुछ अवयव $$y$$ ऐसा है कि $$x \leq y.$$

संदर्भ

 * Hoffman, K. H. (2001), The low separation axioms (T0) and (T1)
 * Hoffman, K. H. (2001), The low separation axioms (T0) and (T1)
 * Hoffman, K. H. (2001), The low separation axioms (T0) and (T1)

Частично упорядоченное множество