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

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

परिभाषा
होने देना $$(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$$ (देखें #upper क्लोजर और निम्न क्लोजर)।
 * dally, सबसे छोटा निचला समुच्चय युक्त $$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)

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