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

के विभाजकों का एक हसी आरेख $210$, संबंध द्वारा आदेशित ऊपरी समुच्चय के साथ, का विभाजक है $\uparrow 2$ रंगीन हरा।सफेद समुच्चय निचले समुच्चय का निर्माण करते हैं $\downarrow 105.$

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

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

परिभाषा

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

एकउच्च समुच्चय $X$ में (यह भी कहा जाता हैupward closed set, एकupset, या एकisotone तय करना) एक उपसमुच्चय है $U\subseteq X$ यह उर्ध्वगामी बंद है, इस अर्थ में

सभी के लिए $u\in U$ और सभी $x\in X,$ अगर $u\leq x$ तब $x\in U.$

द्वंद्व (आदेश सिद्धांत) धारणा एक हैlower set(यह भी कहा जाता हैdownward closed set,down set,decreasing set,initial segment, याsemi-ideal), जो एक उपसमुच्चय है $L\subseteq X$ यह नीचे जाने के तहत बंद है, इस अर्थ में

सभी के लिए $l\in L$ और सभी $x\in X,$ अगर $x\leq l$ तब $x\in L.$

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

गुण

• प्रत्येक आंशिक रूप से आदेश किया गया समुच्चय खुद का एक ऊपरी समुच्चय है।
• ऊपरी समुच्चय के किसी भी परिवार का प्रतिच्छेदन (समुच्चय सिद्धांत) और संघ (समुच्चय सिद्धांत) फिर से एक ऊपरी समुच्चय है।
• किसी भी ऊपरी समुच्चय का पूरक (समुच्चय सिद्धांत) एक निचला समुच्चय है, और इसके विपरीत।
• एक आंशिक रूप से आदेश किए गए समुच्चय को दिया गया $(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 \mathbb {R} :x>0\}$ और $\{x\in \mathbb {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.$

संदर्भ

• Blanck, J. (2000). "Domain representations of topological spaces" (PDF). Theoretical Computer Science. 247 (1–2): 229–255. doi:10.1016/s0304-3975(99)00045-6.
• Dolecki, Szymon; Mynard, Frederic (2016). Convergence Foundations Of Topology. New Jersey: World Scientific Publishing Company. ISBN 978-981-4571-52-4. OCLC 945169917.
• Hoffman, K. H. (2001), The low separation axioms (T₀) and (T₁)