स्थानत: सीमित संग्रह: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Topological concept}} टोपोलॉजिकल स्पेस के सबसेट का संग्रह <math>X</math> इसे स्...")
 
 
(6 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Topological concept}}
{{Short description|Topological concept}}
टोपोलॉजिकल स्पेस के [[सबसेट]] का संग्रह <math>X</math> इसे स्थानीय रूप से परिमित कहा जाता है यदि अंतरिक्ष के प्रत्येक बिंदु में एक [[पड़ोस (गणित)]] होता है जो संग्रह में केवल कई सेटों को प्रतिच्छेद करता है।{{sfn|Munkres|2000|pp=244}}
'''समष्टित: सीमित संग्रह''' के [[सबसेट|उपवर्ग]] का संग्रह <math>X</math> इसे समष्टि रूप से परिमित कहा जाता है यदि अंतरिक्ष के प्रत्येक बिंदु में एक [[पड़ोस (गणित)|प्रतिवैस (गणित)]] होता है जो संग्रह में केवल कई सम्मुच्चय को प्रतिच्छेद करता है। {{sfn|Munkres|2000|pp=244}}


[[टोपोलॉजी]] के गणित क्षेत्र में, स्थानीय परिमितता एक [[टोपोलॉजिकल स्पेस]] के सबसेट के सेट के परिवार की एक संपत्ति है। यह [[पैराकॉम्पैक्टनेस]] और [[टोपोलॉजिकल आयाम]] के अध्ययन में मौलिक है।
[[टोपोलॉजी|सांस्थिति]] के गणित क्षेत्र में, समष्टि परिमितता एक [[टोपोलॉजिकल स्पेस|समष्टित: सीमित संग्रह]] के उपवर्ग के सम्मुच्चय के वर्ग की एक संपत्ति है। यह [[पैराकॉम्पैक्टनेस]] और [[टोपोलॉजिकल आयाम|समष्टित: आयाम]] के अध्ययन में मौलिक है।


ध्यान दें कि [[स्थानीय रूप से परिमित (बहुविकल्पी)]] शब्द के अन्य गणितीय क्षेत्रों में अलग-अलग अर्थ हैं।
ध्यान दें कि समष्टि रूप से परिमित (बहुविकल्पी) शब्द के अन्य गणितीय क्षेत्रों में अलग-अलग अर्थ हैं।


==उदाहरण और गुण==
==उदाहरण और गुण==


टोपोलॉजिकल स्पेस के सबसेट का एक सीमित सेट संग्रह स्थानीय रूप से सीमित है।{{sfn|Munkres|2000|pp=245 Lemma 39.1}} अनंत संग्रह भी स्थानीय रूप से परिमित हो सकते हैं: उदाहरण के लिए, सभी उपसमूहों का संग्रह <math>\mathbb{R}</math> रूप का <math>(n, n+2)</math> एक [[पूर्णांक]] के लिए <math>n</math>.{{sfn|Munkres|2000|pp=244}} उपसमुच्चय के गणनीय अनंत संग्रह को स्थानीय रूप से परिमित होने की आवश्यकता नहीं है, जैसा कि सभी उपसमुच्चयों के संग्रह से पता चलता है <math>\mathbb{R}</math> रूप का <math>(-n, n)</math> एक [[प्राकृतिक संख्या]] के लिए n.
समष्टित: सीमित संग्रह के उपवर्ग का एक सीमित सम्मुच्चय संग्रह समष्टि रूप से सीमित है। {{sfn|Munkres|2000|pp=245 Lemma 39.1}} अनंत संग्रह भी समष्टि रूप से परिमित हो सकते हैं: उदाहरण के लिए, एक पूर्णांक <math>n</math> के लिए प्ररूप <math>(n, n+2)</math> के सभी उपसमुच्चय <math>\mathbb{R}</math> का संग्रह है। {{sfn|Munkres|2000|pp=244}} उपसमुच्चय के गणनीय संग्रह को समष्टि रूप से परिमित होने की आवश्यकता नहीं है, जैसा कि एक प्राकृतिक संख्या n के लिए <math>\mathbb{R}</math> फॉर्म <math>(-n, n)</math> के सभी उपसमुच्चय के संग्रह द्वारा दिखाया गया है।


यदि सेटों का संग्रह स्थानीय रूप से सीमित है, तो सभी [[ सेट बंद करना ]] का संग्रह भी स्थानीय रूप से सीमित है। इसका कारण यह है कि यदि एक [[खुला सेट]] जिसमें एक बिंदु होता है, एक सेट के क्लोजर को काटता है, तो यह आवश्यक रूप से सेट को ही काटता है, इसलिए एक पड़ोस अधिकतम समान संख्या में क्लोजर को काट सकता है (यह कम प्रतिच्छेद कर सकता है, क्योंकि दो अलग-अलग, वास्तव में) असंयुक्त, समुच्चयों का समापन समान हो सकता है)। हालाँकि, यदि सेट के क्लोजर अलग-अलग नहीं हैं, तो बातचीत विफल हो सकती है। उदाहरण के लिए, [[परिमित पूरक टोपोलॉजी]] में <math>\mathbb{R}</math> सभी खुले सेटों का संग्रह स्थानीय रूप से सीमित नहीं है, लेकिन इन सेटों के सभी क्लोजर का संग्रह स्थानीय रूप से सीमित है (क्योंकि केवल क्लोजर ही हैं) <math>\mathbb{R}</math> और [[खाली सेट]])।
यदि सम्मुच्चय का संग्रह समष्टि रूप से सीमित है, तो सभी [[ सेट बंद करना |संवरण]] का संग्रह भी समष्टि रूप से सीमित है। इसका कारण यह है कि यदि एक [[खुला सेट|विवृत सम्मुच्चय]] जिसमें एक बिंदु होता है, एक सम्मुच्चय के संवरक को काटता है, तो यह आवश्यक रूप से सम्मुच्चय को ही काटता है, इसलिए एक प्रतिवैस अधिकतम समान संख्या में संवरक को काट सकता है (यह कम प्रतिच्छेद कर सकता है, क्योंकि दो अलग-अलग, वास्तव में) असंयुक्त, समुच्चयों का समापन समान हो सकता है)। हालाँकि, यदि सम्मुच्चय के संवरक अलग-अलग नहीं हैं, तो पारस्परिक क्रिया विफल हो सकती है। उदाहरण के लिए, [[परिमित पूरक टोपोलॉजी|परिमित पूरक सांस्थिति]] में <math>\mathbb{R}</math> सभी विवृत सम्मुच्चय का संग्रह समष्टि रूप से सीमित नहीं है, लेकिन इन सम्मुच्चय के सभी संवरक का संग्रह समष्टि रूप से सीमित है (क्योंकि केवल संवरक <math>\mathbb{R}</math> और [[खाली सेट|रिक्त सम्मुच्चय]] हैं)।


===संक्षिप्त स्थान===
===संक्षिप्त समष्टि===


किसी [[सघन स्थान]] के उपसमुच्चय का प्रत्येक स्थानीय रूप से परिमित संग्रह परिमित होना चाहिए। वास्तव में, चलो <math>G=\{G_{a}|a\in A\}</math> एक सघन स्थान के सबसेट के सेट का स्थानीय रूप से परिमित परिवार बनें <math>X</math> . प्रत्येक बिंदु के लिए <math>x\in X</math>, एक [[खुला पड़ोस]] चुनें <math>U_{x}</math> जो उपसमुच्चय की एक सीमित संख्या को प्रतिच्छेद करता है <math>G</math>. स्पष्ट रूप से सेट का परिवार: <math>\{U_{x}|x\in X\}</math> का एक खुला आवरण है <math>X</math>, और इसलिए इसका एक सीमित उपकवर है: <math>\{U_{k_n}|n\in 1\dots n\}</math>. प्रत्येक के बाद से <math>U_{k_i}</math> उपसमुच्चय की केवल एक सीमित संख्या को प्रतिच्छेद करता है <math>G</math>, ऐसे सभी का मिलन <math>U_{k_i}</math> उपसमुच्चय की केवल एक सीमित संख्या को प्रतिच्छेद करता है <math>G</math>. चूँकि यह मिलन ही सम्पूर्ण स्थान है <math>X</math>, यह इस प्रकार है कि <math></math> संग्रह में उपसमुच्चयों की केवल एक सीमित संख्या को प्रतिच्छेदित करता है <math>G</math>. और तबसे <math>G</math> के उपसमुच्चय से बना है <math>X</math> के प्रत्येक सदस्य <math>G</math> प्रतिच्छेद करना चाहिए <math>X</math>, इस प्रकार <math>G</math> परिमित है.
किसी [[सघन स्थान|सघन समष्टि]] के उपसमुच्चय का प्रत्येक समष्टि रूप से परिमित संग्रह परिमित होना चाहिए। वास्तव में, मान लीजिये <math>G=\{G_{a}|a\in A\}</math> एक सघन समष्टि <math>X</math> के उपवर्ग के सम्मुच्चय का समष्टि रूप से परिमित वर्ग बनें। प्रत्येक बिंदु <math>x\in X</math> के लिए, एक [[खुला पड़ोस|विवृत प्रतिवैस]] <math>U_{x}</math> चुनें जो उपसमुच्चय की एक सीमित संख्या <math>G</math> को प्रतिच्छेद करता है। स्पष्ट रूप से सम्मुच्चय का वर्ग: <math>\{U_{x}|x\in X\}</math> का एक विवृत आवरण <math>X</math> है, और इसलिए इसका एक सीमित उपकवर <math>\{U_{k_n}|n\in 1\dots n\}</math> है। प्रत्येक <math>U_{k_i}</math> के बाद से उपसमुच्चय की केवल एक सीमित संख्या <math>G</math> को प्रतिच्छेद करता है, ऐसे सभी <math>U_{k_i}</math> का मिलन उपसमुच्चय की केवल एक सीमित संख्या <math>G</math> को प्रतिच्छेद करता है। चूँकि यह मिलन ही सम्पूर्ण समष्टि <math>X</math> है, यह इस प्रकार है कि संग्रह में उपसमुच्चयों की केवल एक सीमित संख्या <math>G</math> को प्रतिच्छेदित करता है, और चूँकि G, X के उपसमुच्चय से बना है, G के प्रत्येक सदस्य को X को प्रतिच्छेद करना चाहिए, इस प्रकार G परिमित है।


एक टोपोलॉजिकल स्पेस जिसमें प्रत्येक खुला आवरण स्थानीय रूप से परिमित खुले शोधन (टोपोलॉजी) को स्वीकार करता है, [[पैराकॉम्पैक्ट स्पेस]] कहलाता है। टोपोलॉजिकल स्पेस के उपसमुच्चय का प्रत्येक स्थानीय रूप से परिमित संग्रह भी [[बिंदु-परिमित संग्रह]] है|बिंदु-परिमित है। एक टोपोलॉजिकल स्पेस जिसमें प्रत्येक खुला आवरण एक बिंदु-परिमित खुले शोधन को स्वीकार करता है, [[मेटाकॉम्पैक्ट स्पेस]] कहलाता है।
एक समष्टित: सीमित संग्रह जिसमें प्रत्येक विवृत आवरण समष्टि रूप से परिमित विवृत शोधन (सांस्थिति) को स्वीकार करता है, [[पैराकॉम्पैक्ट स्पेस|अनुसंहतसमष्‍टि]] कहलाता है। समष्टित: सीमित संग्रह के उपसमुच्चय का प्रत्येक समष्टि रूप से परिमित संग्रह भी [[बिंदु-परिमित संग्रह]] है। एक समष्टित: सीमित संग्रह जिसमें प्रत्येक विवृत आवरण एक बिंदु-परिमित विवृत शोधन को स्वीकार करता है, [[मेटाकॉम्पैक्ट स्पेस|अधिसंहत सीमित संग्रह]] कहलाता है।


===द्वितीय गणनीय रिक्त स्थान===
===द्वितीय गणनीय रिक्त समष्टि===


लिंडेलॉफ स्पेस का कोई भी [[बेशुमार अनंत]] [[कवर (टोपोलॉजी)]] स्थानीय रूप से सीमित नहीं हो सकता है, अनिवार्य रूप से कॉम्पैक्ट स्पेस के मामले में उसी तर्क के आधार पर। विशेष रूप से, दूसरे-गणनीय स्थान का कोई भी बेशुमार आवरण स्थानीय रूप से सीमित नहीं है।
लिंडेलॉफ [[मेटाकॉम्पैक्ट स्पेस|सीमित संग्रह]] का कोई भी [[बेशुमार अनंत|असंख्य]] [[कवर (टोपोलॉजी)|आवरण (सांस्थिति)]] समष्टि रूप से सीमित नहीं हो सकता है, अनिवार्य रूप से संहतसमष्‍टि की स्तिथि में उसी तर्क के आधार पर। विशेष रूप से, दूसरे-गणनीय समष्टि का कोई भी बेशुमार आवरण समष्टि रूप से सीमित नहीं है।


==[[बंद सेट]]==
==संवृत सम्मुच्चय==


बंद समुच्चयों का एक परिमित संघ सदैव बंद रहता है। कोई भी बंद सेटों के अनंत संयोजन का उदाहरण आसानी से दे सकता है जो बंद नहीं है। हालाँकि, यदि हम बंद सेटों के स्थानीय रूप से सीमित संग्रह पर विचार करते हैं, तो संघ बंद है। इसे देखने के लिए हम नोट करते हैं कि यदि <math>x</math> बंद सेटों के इस स्थानीय रूप से सीमित संग्रह के मिलन के बाहर एक बिंदु है, हम केवल एक पड़ोस चुनते हैं <math>V</math> का <math>x</math> जो इस संग्रह को इनमें से केवल बहुत से सेटों पर ही प्रतिच्छेदित करता है। सेटों के संग्रह से एक विशेषण मानचित्र को परिभाषित करें <math>V</math> को प्रतिच्छेद करता है <math>{1,\dots,k}</math> इस प्रकार इनमें से प्रत्येक सेट को एक सूचकांक दिया जाता है। फिर प्रत्येक सेट के लिए, एक खुला सेट चुनें <math>U_i</math> युक्त <math>x</math> वह इसे काटता नहीं है। ऐसे सभी का प्रतिच्छेदन <math>U_i</math> के लिए <math>1\leq i\leq k</math> के साथ प्रतिच्छेद किया गया <math>V</math>, का पड़ोस है <math>x</math> यह बंद सेटों के इस संग्रह के मिलन को प्रतिच्छेद नहीं करता है।
संवृत समुच्चय का एक परिमित संघ सदैव संवृत रहता है। कोई भी संवृत सम्मुच्चय के अनंत संयोजन का उदाहरण आसानी से दे सकता है जो संवृत नहीं है। हालाँकि, यदि हम संवृत सम्मुच्चय के समष्टि रूप से सीमित संग्रह पर विचार करते हैं, तो संघ संवृत है। इसे देखने के लिए हम ध्यान देते हैं कि यदि <math>x</math> संवृत सम्मुच्चय के इस समष्टि रूप से सीमित संग्रह के मिलन के बाहर एक बिंदु है, हम केवल <math>x</math> का एक प्रतिवैस <math>V</math> चुनते हैं जो इस संग्रह को इनमें से केवल कुछ सम्मुच्चयों पर ही प्रतिच्छेद करता है। सम्मुच्चयों के संग्रह से एक विशेषण मानचित्र को परिभाषित करें जिसे <math>V</math> को <math>{1,\dots,k}</math> प्रतिच्छेदित करता है और इस प्रकार इनमें से प्रत्येक सम्मुच्चय को एक सूचकांक देता है।  इस प्रकार इनमें से प्रत्येक सम्मुच्चय को एक सूचकांक दिया जाता है। फिर प्रत्येक सम्मुच्चय के लिए, एक खुला सम्मुच्चय <math>U_i</math> चुनें जिसमें <math>x</math> हो जो इसे प्रतिच्छेद न करता हो। <math>V</math> के साथ प्रतिच्छेदित <math>1\leq i\leq k</math> के लिए ऐसे सभी <math>U_i</math> का प्रतिच्छेदन, <math>x</math> का एक प्रतिवैस है जो बंद सम्मुच्चयों के इस संग्रह के मिलन को प्रतिच्छेद नहीं करता है।  


==गणनीय रूप से स्थानीय रूप से सीमित संग्रह==
==गणनीय रूप से समष्टि रूप से सीमित संग्रह<math>X</math>==


किसी स्थान में एक संग्रह <math>X</math> है{{visible anchor|countably locally finite}} (या{{visible anchor|σ-locally finite}}) यदि यह उपसमुच्चय के स्थानीय रूप से सीमित संग्रहों के गणनीय परिवार का संघ है <math>X</math>. गणनीय रूप से स्थानीय परिमितता नागाटा-स्मिरनोव मेट्रिज़ेशन प्रमेय में एक प्रमुख परिकल्पना है, जो बताती है कि एक टोपोलॉजिकल स्पेस [[मेट्रिज़ेबल]] है यदि और केवल अगर यह [[नियमित स्थान]] है और इसका गणनीय स्थानीय रूप से परिमित [[आधार (टोपोलॉजी)]] है।{{sfn|Munkres|2000|pp=250 Theorem 40.3}}
किसी समष्टि X में एक संग्रह समष्टि रूप से परिमित (या σ-समष्टि रूप से परिमित) है यदि यह उपसमुच्चय के समष्टि रूप से सीमित संग्रहों के गणनीय वर्ग <math>X</math> का संघ है। गणनीय रूप से समष्टि परिमितता नागाटा-स्मिरनोव मेट्रिज़ेशन प्रमेय में एक प्रमुख परिकल्पना है, जो बताती है कि एक समष्टित: सीमित संग्रह [[मेट्रिज़ेबल]] है यदि और केवल अगर यह [[नियमित स्थान|नियमित समष्टि]] है और इसका गणनीय समष्टि रूप से परिमित [[आधार (टोपोलॉजी)|आधार (सांस्थिति)]] है। {{sfn|Munkres|2000|pp=250 Theorem 40.3}}


==यह भी देखें==
==यह भी देखें==


* {{annotated link|Point-finite collection}}
* {{annotated link|बिंदु-परिमित संग्रह}}


==उद्धरण==
==उद्धरण==
Line 41: Line 41:


* {{Citation|title=Topology|edition=2nd|author=James R. Munkres|publisher=Prentice Hall|year=2000|isbn=0-13-181629-2}}
* {{Citation|title=Topology|edition=2nd|author=James R. Munkres|publisher=Prentice Hall|year=2000|isbn=0-13-181629-2}}
[[Category: सेट के परिवार]] [[Category: सामान्य टोपोलॉजी]] [[Category: टोपोलॉजिकल रिक्त स्थान के गुण]]


[[Category: Machine Translated Page]]
[[Category:Created On 05/07/2023]]
[[Category:Created On 05/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:टोपोलॉजिकल रिक्त स्थान के गुण]]
[[Category:सामान्य टोपोलॉजी]]
[[Category:सेट के परिवार]]

Latest revision as of 16:52, 8 September 2023

समष्टित: सीमित संग्रह के उपवर्ग का संग्रह इसे समष्टि रूप से परिमित कहा जाता है यदि अंतरिक्ष के प्रत्येक बिंदु में एक प्रतिवैस (गणित) होता है जो संग्रह में केवल कई सम्मुच्चय को प्रतिच्छेद करता है। [1]

सांस्थिति के गणित क्षेत्र में, समष्टि परिमितता एक समष्टित: सीमित संग्रह के उपवर्ग के सम्मुच्चय के वर्ग की एक संपत्ति है। यह पैराकॉम्पैक्टनेस और समष्टित: आयाम के अध्ययन में मौलिक है।

ध्यान दें कि समष्टि रूप से परिमित (बहुविकल्पी) शब्द के अन्य गणितीय क्षेत्रों में अलग-अलग अर्थ हैं।

उदाहरण और गुण

समष्टित: सीमित संग्रह के उपवर्ग का एक सीमित सम्मुच्चय संग्रह समष्टि रूप से सीमित है। [2] अनंत संग्रह भी समष्टि रूप से परिमित हो सकते हैं: उदाहरण के लिए, एक पूर्णांक के लिए प्ररूप के सभी उपसमुच्चय का संग्रह है। [1] उपसमुच्चय के गणनीय संग्रह को समष्टि रूप से परिमित होने की आवश्यकता नहीं है, जैसा कि एक प्राकृतिक संख्या n के लिए फॉर्म के सभी उपसमुच्चय के संग्रह द्वारा दिखाया गया है।

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

संक्षिप्त समष्टि

किसी सघन समष्टि के उपसमुच्चय का प्रत्येक समष्टि रूप से परिमित संग्रह परिमित होना चाहिए। वास्तव में, मान लीजिये एक सघन समष्टि के उपवर्ग के सम्मुच्चय का समष्टि रूप से परिमित वर्ग बनें। प्रत्येक बिंदु के लिए, एक विवृत प्रतिवैस चुनें जो उपसमुच्चय की एक सीमित संख्या को प्रतिच्छेद करता है। स्पष्ट रूप से सम्मुच्चय का वर्ग: का एक विवृत आवरण है, और इसलिए इसका एक सीमित उपकवर है। प्रत्येक के बाद से उपसमुच्चय की केवल एक सीमित संख्या को प्रतिच्छेद करता है, ऐसे सभी का मिलन उपसमुच्चय की केवल एक सीमित संख्या को प्रतिच्छेद करता है। चूँकि यह मिलन ही सम्पूर्ण समष्टि है, यह इस प्रकार है कि संग्रह में उपसमुच्चयों की केवल एक सीमित संख्या को प्रतिच्छेदित करता है, और चूँकि G, X के उपसमुच्चय से बना है, G के प्रत्येक सदस्य को X को प्रतिच्छेद करना चाहिए, इस प्रकार G परिमित है।

एक समष्टित: सीमित संग्रह जिसमें प्रत्येक विवृत आवरण समष्टि रूप से परिमित विवृत शोधन (सांस्थिति) को स्वीकार करता है, अनुसंहतसमष्‍टि कहलाता है। समष्टित: सीमित संग्रह के उपसमुच्चय का प्रत्येक समष्टि रूप से परिमित संग्रह भी बिंदु-परिमित संग्रह है। एक समष्टित: सीमित संग्रह जिसमें प्रत्येक विवृत आवरण एक बिंदु-परिमित विवृत शोधन को स्वीकार करता है, अधिसंहत सीमित संग्रह कहलाता है।

द्वितीय गणनीय रिक्त समष्टि

लिंडेलॉफ सीमित संग्रह का कोई भी असंख्य आवरण (सांस्थिति) समष्टि रूप से सीमित नहीं हो सकता है, अनिवार्य रूप से संहतसमष्‍टि की स्तिथि में उसी तर्क के आधार पर। विशेष रूप से, दूसरे-गणनीय समष्टि का कोई भी बेशुमार आवरण समष्टि रूप से सीमित नहीं है।

संवृत सम्मुच्चय

संवृत समुच्चय का एक परिमित संघ सदैव संवृत रहता है। कोई भी संवृत सम्मुच्चय के अनंत संयोजन का उदाहरण आसानी से दे सकता है जो संवृत नहीं है। हालाँकि, यदि हम संवृत सम्मुच्चय के समष्टि रूप से सीमित संग्रह पर विचार करते हैं, तो संघ संवृत है। इसे देखने के लिए हम ध्यान देते हैं कि यदि संवृत सम्मुच्चय के इस समष्टि रूप से सीमित संग्रह के मिलन के बाहर एक बिंदु है, हम केवल का एक प्रतिवैस चुनते हैं जो इस संग्रह को इनमें से केवल कुछ सम्मुच्चयों पर ही प्रतिच्छेद करता है। सम्मुच्चयों के संग्रह से एक विशेषण मानचित्र को परिभाषित करें जिसे को प्रतिच्छेदित करता है और इस प्रकार इनमें से प्रत्येक सम्मुच्चय को एक सूचकांक देता है। इस प्रकार इनमें से प्रत्येक सम्मुच्चय को एक सूचकांक दिया जाता है। फिर प्रत्येक सम्मुच्चय के लिए, एक खुला सम्मुच्चय चुनें जिसमें हो जो इसे प्रतिच्छेद न करता हो। के साथ प्रतिच्छेदित के लिए ऐसे सभी का प्रतिच्छेदन, का एक प्रतिवैस है जो बंद सम्मुच्चयों के इस संग्रह के मिलन को प्रतिच्छेद नहीं करता है।

गणनीय रूप से समष्टि रूप से सीमित संग्रह

किसी समष्टि X में एक संग्रह समष्टि रूप से परिमित (या σ-समष्टि रूप से परिमित) है यदि यह उपसमुच्चय के समष्टि रूप से सीमित संग्रहों के गणनीय वर्ग का संघ है। गणनीय रूप से समष्टि परिमितता नागाटा-स्मिरनोव मेट्रिज़ेशन प्रमेय में एक प्रमुख परिकल्पना है, जो बताती है कि एक समष्टित: सीमित संग्रह मेट्रिज़ेबल है यदि और केवल अगर यह नियमित समष्टि है और इसका गणनीय समष्टि रूप से परिमित आधार (सांस्थिति) है। [3]

यह भी देखें

उद्धरण

  1. 1.0 1.1 Munkres 2000, pp. 244.
  2. Munkres 2000, pp. 245 Lemma 39.1.
  3. Munkres 2000, pp. 250 Theorem 40.3.


संदर्भ

  • James R. Munkres (2000), Topology (2nd ed.), Prentice Hall, ISBN 0-13-181629-2