प्रवर समुच्चय: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Subset of a preorder that contains all larger elements}} | {{short description|Subset of a preorder that contains all larger elements}} | ||
[[Image:Upset_210div.svg|thumb|के [[विभाजक]] | [[Image:Upset_210div.svg|thumb|के [[विभाजक]] का एक हसी आरेख <math>210</math>, संबंध द्वारा आदेशित ऊपरी समुच्चय के साथ, का विभाजक है <math>\uparrow 2</math> रंगीन हरा।सफेद समुच्चय निचले समुच्चय का निर्माण करते हैं <math>\downarrow 105.</math>]]गणित में, एक ऊपरी समुच्चय (जिसे ऊपर की ओर बंद समुच्चय भी कहा जाता है, एक अपसमुच्चय, या ''x'' में एक आइसोटोन समुच्चय ){{sfn | Dolecki | Mynard | 2016 | pp=27–29}} एक [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित]] समुच्चय <math>(X, \leq)</math> एक उपसमुच्चय है <math>S \subseteq X</math> निम्नलिखित विशेषता के साथ यदि S में है और यदि x में S <math>s < x</math> से बड़ा है), तो X, S में है दूसरे शब्दों में, इसका तात्पर्य है कि X का कोई भी X<math>\,\geq\,</math>S अवयव के कुछ अवयव के लिए आवश्यक रूप से S का एक अवयव भी है। | ||
शब्द 'निम्न समुच्चय ' (जिसे 'अधोमुखी बंद समुच्चय ' भी कहा जाता है, 'निम्न | शब्द 'निम्न समुच्चय' (जिसे 'अधोमुखी बंद समुच्चय ' भी कहा जाता है, 'निम्न समुच्चय ' घटते समुच्चय, 'प्रारंभिक खंड', या 'अर्ध-आदर्श') को इसी तरह परिभाषित किया गया है। विशेषता है कि x का कोई भी अवयव x है तो X<math>\,\leq\,</math> S के कुछ अवयव के लिए आवश्यक रूप से S का एक अवयव भी है। | ||
== परिभाषा == | == परिभाषा == | ||
| Line 7: | Line 7: | ||
माना कि <math>(X, \leq)</math> एक पूर्व निर्धारित समुच्चय हो। | माना कि <math>(X, \leq)</math> एक पूर्व निर्धारित समुच्चय हो। | ||
एक{{em|उच्च समुच्चय }} <math>X</math> में (यह भी कहा जाता है{{em| | एक{{em|उच्च समुच्चय }} <math>X</math> में (यह भी कहा जाता है {{em|ऊपर की ओर बंद सेट}}, एक {{em|ऊपरी सेट}}, या एक {{em|आइसोटॉन}} तय करना){{sfn | Dolecki | Mynard | 2016 | pp=27–29}} एक उपसमुच्चय है <math>U \subseteq X</math> यह उर्ध्वगामी बंद है, इस अर्थ में | ||
:सभी के लिए <math>u \in U</math> और सभी <math>x \in X,</math> अगर <math>u \leq x</math> तब <math>x \in U.</math> | :सभी के लिए <math>u \in U</math> और सभी <math>x \in X,</math> अगर <math>u \leq x</math> तब <math>x \in U.</math> | ||
[[द्वंद्व (आदेश सिद्धांत)]] धारणा एक | [[द्वंद्व (आदेश सिद्धांत)]] धारणा एक है। {{em|निचला सेट}} (यह भी कहा जाता है {{em|नीचे की ओर बंद समुच्चय }},{{em|निम्न समुच्चय }},{{em|घटता सेट}}, {{em|प्रारंभिक खंड}}, या {{em|अर्द्ध आदर्श}}), जो एक उपसमुच्चय है <math>L \subseteq X</math> यह नीचे जाने के तहत बंद है, इस अर्थ में | ||
:सभी के लिए <math>l \in L</math> और सभी <math>x \in X,</math> अगर <math>x \leq l</math> तब <math>x \in L.</math> | :सभी के लिए <math>l \in L</math> और सभी <math>x \in X,</math> अगर <math>x \leq l</math> तब <math>x \in L.</math> | ||
शर्तें{{em|आदेश | शर्तें {{em|आदेश}} या {{em|[[आदर्श (आदेश सिद्धांत)|आदर्श]]}} कभी -कभी निचले समुच्चय के लिए पर्यायवाची के रूप में उपयोग किया जाता है।<ref name="DP" /><ref>{{cite book |last1=Stanley |first1=R.P. |title=Enumerative combinatorics |series=Cambridge studies in advanced mathematics |volume=1 |year=2002 |publisher=Cambridge University Press |isbn=978-0-521-66351-9 | page=100}}</ref><ref>{{cite book |last1=Lawson |first1=M.V. |title=Inverse semigroups: the theory of partial symmetries |url=https://archive.org/details/inversesemigroup00laws|url-access=limited |year=1998 |publisher=World Scientific |isbn=978-981-02-3316-7 | page=[https://archive.org/details/inversesemigroup00laws/page/n34 22]}}</ref> शब्दावली की यह प्रमुख जाली (आदेश) के एक आदर्श की धारणा को प्रतिबिंबित करने में विफल रहती है क्योंकि जरूरी नहीं कि इसमें एक सबलैटिस हो।<ref name="DP">{{cite book | author1=Brian A. Davey | author2= Hilary Ann Priestley | author2-link= Hilary Priestley | title=Introduction to Lattices and Order|title-link= Introduction to Lattices and Order | edition=2nd | year=2002 | publisher=[[Cambridge University Press]] | isbn=0-521-78451-4 | lccn=2001043910 |pages= 20, 44}}</ref> | ||
| Line 17: | Line 17: | ||
== गुण == | == गुण == | ||
* प्रत्येक आंशिक रूप से आदेश किया गया समुच्चय | * प्रत्येक आंशिक रूप से आदेश किया गया समुच्चय स्वयं का एक ऊपरी समुच्चय है। | ||
* ऊपरी समुच्चय के किसी भी परिवार का प्रतिच्छेदन (समुच्चय सिद्धांत) और संघ (समुच्चय सिद्धांत) फिर से एक ऊपरी समुच्चय है। | * ऊपरी समुच्चय के किसी भी परिवार का प्रतिच्छेदन (समुच्चय सिद्धांत) और संघ (समुच्चय सिद्धांत) फिर से एक ऊपरी समुच्चय है। | ||
* किसी भी ऊपरी समुच्चय का पूरक (समुच्चय सिद्धांत) एक निचला समुच्चय | * किसी भी ऊपरी समुच्चय का पूरक (समुच्चय सिद्धांत) और इसके विपरीत एक निचला समुच्चय है। | ||
* एक आंशिक रूप से आदेश किए गए समुच्चय को दिया गया <math>(X, \leq),</math> के ऊपरी समुच्चय का परिवार <math>X</math> समावेश (समुच्चय सिद्धांत) संबंध के साथ आदेश दिया गया एक पूर्ण जाली | * एक आंशिक रूप से आदेश किए गए समुच्चय को दिया गया <math>(X, \leq),</math> ऊपरी समुच्चय जाली के ऊपरी समुच्चय का परिवार <math>X</math> समावेश (समुच्चय सिद्धांत) संबंध के साथ आदेश दिया गया एक पूर्ण जाली है। | ||
* एक मनमाना उपसमुच्चय दिया गया <math>Y</math> एक आंशिक रूप से आदेशित समुच्चय <math>X,</math> सबसे छोटा ऊपरी समुच्चय युक्त <math>Y</math> के रूप में एक अप तीर का उपयोग करके निरूपित किया गया है <math>\uparrow Y</math> (देखें | * एक मनमाना उपसमुच्चय दिया गया <math>Y</math> एक आंशिक रूप से आदेशित समुच्चय <math>X,</math> सबसे छोटा ऊपरी समुच्चय युक्त <math>Y</math> के रूप में एक अप तीर का उपयोग करके निरूपित किया गया है <math>\uparrow Y</math> (देखें ऊपरी समापन और निम्न समापन )। | ||
* | *प्रायः, सबसे छोटा निचला समुच्चय युक्त <math>Y</math> के रूप में एक नीचे तीर का उपयोग करके निरूपित किया गया <math>\downarrow Y</math> है। | ||
* एक निचले समुच्चय को मूलधन कहा जाता है यदि यह | * एक निचले समुच्चय को मूलधन कहा जाता है यदि यह <math>\downarrow\{x\}</math> प्रारूप का है, जहाँ <math>x</math> का एक अवयव <math>X</math> है। | ||
* हर निचला समुच्चय <math>Y</math> एक परिमित आंशिक रूप से आदेशित समुच्चय <math>X</math> के सभी [[अधिकतम तत्व]] | * हर निचला समुच्चय <math>Y</math> एक परिमित आंशिक रूप से आदेशित समुच्चय <math>X</math> के सभी [[अधिकतम तत्व]] वाले सबसे छोटे निचले समुच्चय के बराबर है <math>Y</math> **<math>\downarrow Y = \downarrow \operatorname{Max}(Y)</math> कहाँ <math>\operatorname{Max}(Y)</math> के अधिकतम तत्वों वाले समुच्चय को दर्शाता है <math>Y.</math> | ||
* एक [[निर्देशित सेट|निर्देशित]] समुच्चय निम्न समुच्चय को एक आदेश आदर्श कहा जाता है। | * एक [[निर्देशित सेट|निर्देशित]] समुच्चय निम्न समुच्चय को एक आदेश आदर्श कहा जाता है। | ||
* आंशिक आदेशों के लिए [[अवरोही श्रृंखला की स्थिति]] को संतुष्ट करने के लिए, एंटीचेन और ऊपरी समुच्चय निम्नलिखित बायजेक्शन के माध्यम से एक-से-एक पत्राचार में हैं: प्रत्येक एंटीचैन को इसके ऊपरी बंद करने के लिए मैप करें (नीचे देखें);इसके विपरीत, प्रत्येक ऊपरी समुच्चय को उसके न्यूनतम तत्वों के समुच्चय पर मैप | * आंशिक आदेशों के लिए [[अवरोही श्रृंखला की स्थिति]] को संतुष्ट करने के लिए, एंटीचेन और ऊपरी समुच्चय निम्नलिखित बायजेक्शन के माध्यम से एक-से-एक पत्राचार में हैं: प्रत्येक एंटीचैन को इसके ऊपरी बंद करने के लिए मैप करें (नीचे देखें); इसके विपरीत, प्रत्येक ऊपरी समुच्चय को उसके न्यूनतम तत्वों के समुच्चय पर मैप करें। यह पत्राचार अधिक सामान्य आंशिक आदेशों के लिए नहीं है; उदाहरण के लिए [[वास्तविक संख्या]]ओं के समुच्चय <math>\{ x \in \R: x > 0 \}</math> और <math>\{ x \in \R: x > 1 \}</math> दोनों को खाली एंटीचैन में मैप किया जाता है। | ||
{{anchor|Upper closure|Upward closure|Lower closure|Downward closure}} | {{anchor|Upper closure|Upward closure|Lower closure|Downward closure}} | ||
| Line 35: | Line 35: | ||
एक अवयव दिया <math>x</math> एक आंशिक रूप से आदेशित समुच्चय <math>(X, \leq),</math> ऊपरी बंद या ऊपर की ओर बंद करना <math>x,</math> द्वारा चिह्नित <math>x^{\uparrow X},</math> <math>x^{\uparrow},</math> या <math>\uparrow\! x,</math> द्वारा परिभाषित किया गया है | एक अवयव दिया <math>x</math> एक आंशिक रूप से आदेशित समुच्चय <math>(X, \leq),</math> ऊपरी बंद या ऊपर की ओर बंद करना <math>x,</math> द्वारा चिह्नित <math>x^{\uparrow X},</math> <math>x^{\uparrow},</math> या <math>\uparrow\! x,</math> द्वारा परिभाषित किया गया है | ||
<math display=block>x^{\uparrow X} =\; \uparrow\! x = \{ u \in X : x \leq u\}</math> | <math display=block>x^{\uparrow X} =\; \uparrow\! x = \{ u \in X : x \leq u\}</math> | ||
जबकि कम बंद या नीचे की ओर बंद होना <math>x</math>, द्वारा चिह्नित <math>x^{\downarrow X},</math> <math>x^{\downarrow},</math> या <math>\downarrow\! x,</math> द्वारा परिभाषित किया गया है | जबकि कम बंद या नीचे की ओर बंद होना <math>x</math>, द्वारा चिह्नित <math>x^{\downarrow X},</math> <math>x^{\downarrow},</math> या <math>\downarrow\! x,</math> द्वारा परिभाषित किया गया है, | ||
<math display=block>x^{\downarrow X} =\; \downarrow\! x = \{l \in X : l \leq x\}.</math> | <math display=block>x^{\downarrow X} =\; \downarrow\! x = \{l \in X : l \leq x\}.</math> | ||
समुच्चय <math>\uparrow\! x</math> और <math>\downarrow\! x</math> क्रमशः, सबसे छोटे ऊपरी और निचले समुच्चय | समुच्चय <math>\uparrow\! x</math> और <math>\downarrow\! x</math> क्रमशः, सबसे छोटे ऊपरी और निचले समुच्चय <math>x</math> एक अवयव के रूप में होते हैं। | ||
सामान्यतः, एक उपसमुच्चय <math>A \subseteq X,</math> दिया गया ऊपरी/ऊपर की ओर बंद होने और निचले/नीचे की ओर बंद होने को परिभाषित करें। <math>A,</math> द्वारा चिह्नित <math>A^{\uparrow X}</math> और <math>A^{\downarrow X}</math> क्रमशः, रूप में | |||
<math display="block">A^{\uparrow X} = A^{\uparrow} = \bigcup_{a \in A} \uparrow\!a</math> | <math display="block">A^{\uparrow X} = A^{\uparrow} = \bigcup_{a \in A} \uparrow\!a</math> | ||
और | और | ||
<math display=block>A^{\downarrow X} = A^{\downarrow} = \bigcup_{a \in A} \downarrow\!a.</math> इस प्रकार से, <math>\uparrow x = \uparrow\{x\}</math> और <math>\downarrow x = \downarrow\{x\},</math> जहां इस प्ररूप के ऊपरी समुच्चय और निचले समुच्चय को मूलधन कहा जाता है।एक समुच्चय का ऊपरी बंद और निचला बंद होना, क्रमशः सबसे छोटा ऊपरी समुच्चय और निचला समुच्चय है। | <math display=block>A^{\downarrow X} = A^{\downarrow} = \bigcup_{a \in A} \downarrow\!a.</math> इस प्रकार से, <math>\uparrow x = \uparrow\{x\}</math> और <math>\downarrow x = \downarrow\{x\},</math> जहां इस प्ररूप के ऊपरी समुच्चय और निचले समुच्चय को मूलधन कहा जाता है।एक समुच्चय का ऊपरी बंद और निचला बंद होना, क्रमशः सबसे छोटा ऊपरी समुच्चय और निचला समुच्चय है। | ||
ऊपरी और निचले समापन , जब पावर समुच्चय से फलन के रूप में देखा जाता है <math>X</math> अपने आप में, [[कुरातोव्स्की बंद स्वयंसिद्ध]] परिभाषा के उदाहरण हैं क्योंकि वे कुरातोव्स्की समापन एंसिओम्स के सभी को संतुष्ट करते हैं।नतीजतन, एक समुच्चय का ऊपरी बंद होना सभी ऊपरी समुच्चयों के चौराहे के बराबर है, और इसी तरह निचले समुच्चयों के लिए।(वास्तव में, यह समापन संचालकों की एक सामान्य घटना है। उदाहरण के लिए, एक समुच्चय का [[सामयिक बंद करना]] इसमें सम्मिलित सभी [[बंद सेट|बंद समुच्चयों]] का प्रतिच्छेदन है; वैक्टर के एक समुच्चय का [[रैखिक अवधि]] सभी रैखिक उप -समूह का प्रतिच्छेदन है;एक [[समूह (गणित)]] के एक समूह का निर्माण समुच्चय करना सभी उपसमूहों का प्रतिच्छेदन है, जिसमें एक [[अंगूठी (गणित)|वलय (गणित)]] के एक उपसमुच्चय द्वारा उत्पन्न आदर्श (वलय सिद्धांत) सभी आदर्शों का प्रतिच्छेदन है, जो इसे समाहित करता | ऊपरी और निचले समापन, जब पावर समुच्चय से फलन के रूप में देखा जाता है <math>X</math> अपने आप में, [[कुरातोव्स्की बंद स्वयंसिद्ध]] परिभाषा के उदाहरण हैं क्योंकि वे कुरातोव्स्की समापन एंसिओम्स के सभी को संतुष्ट करते हैं।नतीजतन, एक समुच्चय का ऊपरी बंद होना सभी ऊपरी समुच्चयों के चौराहे के बराबर है, और इसी तरह निचले समुच्चयों के लिए।(वास्तव में, यह समापन संचालकों की एक सामान्य घटना है। उदाहरण के लिए, एक समुच्चय का [[सामयिक बंद करना]] इसमें सम्मिलित सभी [[बंद सेट|बंद समुच्चयों]] का प्रतिच्छेदन है; वैक्टर के एक समुच्चय का [[रैखिक अवधि]] सभी रैखिक उप -समूह का प्रतिच्छेदन है;एक [[समूह (गणित)]] के एक समूह का निर्माण समुच्चय करना सभी उपसमूहों का प्रतिच्छेदन है, जिसमें एक [[अंगूठी (गणित)|वलय (गणित)]] के एक उपसमुच्चय द्वारा उत्पन्न आदर्श (वलय सिद्धांत) सभी आदर्शों का प्रतिच्छेदन है, जो इसे समाहित करता है। | ||
== [[क्रमसूचक संख्या]] == | == [[क्रमसूचक संख्या]] == | ||
| Line 61: | Line 61: | ||
* {{Dolecki Mynard Convergence Foundations Of Topology}} <!-- {{sfn|Dolecki|Mynard|2016|p=}} --> | * {{Dolecki Mynard Convergence Foundations Of Topology}} <!-- {{sfn|Dolecki|Mynard|2016|p=}} --> | ||
* Hoffman, K. H. (2001), [https://web.archive.org/web/20070621125416/http://www.mathematik.tu-darmstadt.de:8080/Math-Net/Lehrveranstaltungen/Lehrmaterial/SS2003/Topology/separation.pdf ''The low separation axioms (T<sub>0</sub>) and (T<sub>1</sub>)''] | * Hoffman, K. H. (2001), [https://web.archive.org/web/20070621125416/http://www.mathematik.tu-darmstadt.de:8080/Math-Net/Lehrveranstaltungen/Lehrmaterial/SS2003/Topology/separation.pdf ''The low separation axioms (T<sub>0</sub>) and (T<sub>1</sub>)''] | ||
[[Category: आदेश सिद्धांत]] | [[Category: आदेश सिद्धांत]] | ||
Revision as of 10:48, 16 February 2023
के विभाजक का एक हसी आरेख , संबंध द्वारा आदेशित ऊपरी समुच्चय के साथ, का विभाजक है रंगीन हरा।सफेद समुच्चय निचले समुच्चय का निर्माण करते हैं
गणित में, एक ऊपरी समुच्चय (जिसे ऊपर की ओर बंद समुच्चय भी कहा जाता है, एक अपसमुच्चय, या x में एक आइसोटोन समुच्चय )[1] एक आंशिक रूप से आदेशित समुच्चय एक उपसमुच्चय है निम्नलिखित विशेषता के साथ यदि S में है और यदि x में S से बड़ा है), तो X, S में है दूसरे शब्दों में, इसका तात्पर्य है कि X का कोई भी XS अवयव के कुछ अवयव के लिए आवश्यक रूप से S का एक अवयव भी है।
शब्द 'निम्न समुच्चय' (जिसे 'अधोमुखी बंद समुच्चय ' भी कहा जाता है, 'निम्न समुच्चय ' घटते समुच्चय, 'प्रारंभिक खंड', या 'अर्ध-आदर्श') को इसी तरह परिभाषित किया गया है। विशेषता है कि x का कोई भी अवयव x है तो X S के कुछ अवयव के लिए आवश्यक रूप से S का एक अवयव भी है।
परिभाषा
माना कि एक पूर्व निर्धारित समुच्चय हो।
एकउच्च समुच्चय में (यह भी कहा जाता है ऊपर की ओर बंद सेट, एक ऊपरी सेट, या एक आइसोटॉन तय करना)[1] एक उपसमुच्चय है यह उर्ध्वगामी बंद है, इस अर्थ में
- सभी के लिए और सभी अगर तब
द्वंद्व (आदेश सिद्धांत) धारणा एक है। निचला सेट (यह भी कहा जाता है नीचे की ओर बंद समुच्चय ,निम्न समुच्चय ,घटता सेट, प्रारंभिक खंड, या अर्द्ध आदर्श), जो एक उपसमुच्चय है यह नीचे जाने के तहत बंद है, इस अर्थ में
- सभी के लिए और सभी अगर तब
शर्तें आदेश या आदर्श कभी -कभी निचले समुच्चय के लिए पर्यायवाची के रूप में उपयोग किया जाता है।[2][3][4] शब्दावली की यह प्रमुख जाली (आदेश) के एक आदर्श की धारणा को प्रतिबिंबित करने में विफल रहती है क्योंकि जरूरी नहीं कि इसमें एक सबलैटिस हो।[2]
गुण
- प्रत्येक आंशिक रूप से आदेश किया गया समुच्चय स्वयं का एक ऊपरी समुच्चय है।
- ऊपरी समुच्चय के किसी भी परिवार का प्रतिच्छेदन (समुच्चय सिद्धांत) और संघ (समुच्चय सिद्धांत) फिर से एक ऊपरी समुच्चय है।
- किसी भी ऊपरी समुच्चय का पूरक (समुच्चय सिद्धांत) और इसके विपरीत एक निचला समुच्चय है।
- एक आंशिक रूप से आदेश किए गए समुच्चय को दिया गया ऊपरी समुच्चय जाली के ऊपरी समुच्चय का परिवार समावेश (समुच्चय सिद्धांत) संबंध के साथ आदेश दिया गया एक पूर्ण जाली है।
- एक मनमाना उपसमुच्चय दिया गया एक आंशिक रूप से आदेशित समुच्चय सबसे छोटा ऊपरी समुच्चय युक्त के रूप में एक अप तीर का उपयोग करके निरूपित किया गया है (देखें ऊपरी समापन और निम्न समापन )।
- प्रायः, सबसे छोटा निचला समुच्चय युक्त के रूप में एक नीचे तीर का उपयोग करके निरूपित किया गया है।
- एक निचले समुच्चय को मूलधन कहा जाता है यदि यह प्रारूप का है, जहाँ का एक अवयव है।
- हर निचला समुच्चय एक परिमित आंशिक रूप से आदेशित समुच्चय के सभी अधिकतम तत्व वाले सबसे छोटे निचले समुच्चय के बराबर है ** कहाँ के अधिकतम तत्वों वाले समुच्चय को दर्शाता है
- एक निर्देशित समुच्चय निम्न समुच्चय को एक आदेश आदर्श कहा जाता है।
- आंशिक आदेशों के लिए अवरोही श्रृंखला की स्थिति को संतुष्ट करने के लिए, एंटीचेन और ऊपरी समुच्चय निम्नलिखित बायजेक्शन के माध्यम से एक-से-एक पत्राचार में हैं: प्रत्येक एंटीचैन को इसके ऊपरी बंद करने के लिए मैप करें (नीचे देखें); इसके विपरीत, प्रत्येक ऊपरी समुच्चय को उसके न्यूनतम तत्वों के समुच्चय पर मैप करें। यह पत्राचार अधिक सामान्य आंशिक आदेशों के लिए नहीं है; उदाहरण के लिए वास्तविक संख्याओं के समुच्चय और दोनों को खाली एंटीचैन में मैप किया जाता है।
ऊपरी समापन और निम्न समापन
एक अवयव दिया एक आंशिक रूप से आदेशित समुच्चय ऊपरी बंद या ऊपर की ओर बंद करना द्वारा चिह्नित या द्वारा परिभाषित किया गया है
जबकि कम बंद या नीचे की ओर बंद होना , द्वारा चिह्नित या द्वारा परिभाषित किया गया है,
समुच्चय और क्रमशः, सबसे छोटे ऊपरी और निचले समुच्चय एक अवयव के रूप में होते हैं।
सामान्यतः, एक उपसमुच्चय दिया गया ऊपरी/ऊपर की ओर बंद होने और निचले/नीचे की ओर बंद होने को परिभाषित करें। द्वारा चिह्नित और क्रमशः, रूप में
और
इस प्रकार से, और जहां इस प्ररूप के ऊपरी समुच्चय और निचले समुच्चय को मूलधन कहा जाता है।एक समुच्चय का ऊपरी बंद और निचला बंद होना, क्रमशः सबसे छोटा ऊपरी समुच्चय और निचला समुच्चय है।
ऊपरी और निचले समापन, जब पावर समुच्चय से फलन के रूप में देखा जाता है अपने आप में, कुरातोव्स्की बंद स्वयंसिद्ध परिभाषा के उदाहरण हैं क्योंकि वे कुरातोव्स्की समापन एंसिओम्स के सभी को संतुष्ट करते हैं।नतीजतन, एक समुच्चय का ऊपरी बंद होना सभी ऊपरी समुच्चयों के चौराहे के बराबर है, और इसी तरह निचले समुच्चयों के लिए।(वास्तव में, यह समापन संचालकों की एक सामान्य घटना है। उदाहरण के लिए, एक समुच्चय का सामयिक बंद करना इसमें सम्मिलित सभी बंद समुच्चयों का प्रतिच्छेदन है; वैक्टर के एक समुच्चय का रैखिक अवधि सभी रैखिक उप -समूह का प्रतिच्छेदन है;एक समूह (गणित) के एक समूह का निर्माण समुच्चय करना सभी उपसमूहों का प्रतिच्छेदन है, जिसमें एक वलय (गणित) के एक उपसमुच्चय द्वारा उत्पन्न आदर्श (वलय सिद्धांत) सभी आदर्शों का प्रतिच्छेदन है, जो इसे समाहित करता है।
क्रमसूचक संख्या
एक क्रमिक संख्या को सामान्यतः सभी छोटे क्रमिक संख्याओं के समुच्चय के साथ पहचाना जाता है। एक क्रमिक संख्या एक संख्या है जो अन्य संख्याओं के संबंध में किसी चीज़ की स्थिति या क्रम को इंगित करती है, जैसे, पहली, दूसरी, तीसरी, और इसी तरह। यह क्रम या क्रम आकार, महत्व या किसी कालक्रम के अनुसार हो सकता है। आइए क्रमांक संख्याओं को एक उदाहरण से समझते हैं। एक प्रतियोगिता में दस छात्रों ने भाग लिया। उनमें से, शीर्ष विजेताओं को पदक दिए गए और उन्हें प्रथम, द्वितीय और तृतीय स्थान दिया गया। इस स्थिति में, पद: पहला, दूसरा और तीसरा क्रमिक अंक हैं। इस प्रकार प्रत्येक ऑर्डिनल संख्या सभी क्रमिक संख्याओं के वर्ग में एक निचला समुच्चय बनाती है, जो पूरी तरह से निर्धारित समावेश द्वारा आदेशित हैं।
यह भी देखें
- सार सरलीशान परिसर (जिसे भी कहा जाता है: स्वतंत्रता प्रणाली)-एक समुच्चय -परिवार जो कि नियंत्रण संबंध के संबंध में नीचे की ओर-बंद है।
- कोफिनल समुच्चय - एक उपसमुच्चय एक आंशिक रूप से आदेशित समुच्चय जिसमें हर अवयव के लिए सम्मिलित है कुछ अवयव ऐसा है कि
संदर्भ
- ↑ 1.0 1.1 Dolecki & Mynard 2016, pp. 27–29.
- ↑ 2.0 2.1 Brian A. Davey; Hilary Ann Priestley (2002). Introduction to Lattices and Order (2nd ed.). Cambridge University Press. pp. 20, 44. ISBN 0-521-78451-4. LCCN 2001043910.
- ↑ Stanley, R.P. (2002). Enumerative combinatorics. Cambridge studies in advanced mathematics. Vol. 1. Cambridge University Press. p. 100. ISBN 978-0-521-66351-9.
- ↑ Lawson, M.V. (1998). Inverse semigroups: the theory of partial symmetries. World Scientific. p. 22. ISBN 978-981-02-3316-7.
- 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 (T0) and (T1)
