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

From Vigyanwiki
(Created page with "{{Short description|Topological concept}} टोपोलॉजिकल स्पेस के सबसेट का संग्रह <math>X</math> इसे स्...")
 
No edit summary
 
(3 intermediate revisions by 3 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}}


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


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


टोपोलॉजिकल स्पेस के सबसेट का एक सीमित सेट संग्रह स्थानीय रूप से सीमित है।{{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></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 maths render errors]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[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 08:17, 20 September 2023

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

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

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

उदाहरण और गुण

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

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

संक्षिप्त स्थान

किसी सघन स्थान के उपसमुच्चय का प्रत्येक स्थानीय रूप से परिमित संग्रह परिमित होना चाहिए। वास्तव में, मान लीजिये एक सघन स्थान के उपवर्ग के सम्मुच्चय का स्थानीय रूप से परिमित वर्ग बनें। प्रत्येक बिंदु के लिए, एक विवृत प्रतिवैस चुनें जो उपसमुच्चय की एक सीमित संख्या को प्रतिच्छेद करता है। स्पष्ट रूप से सम्मुच्चय का वर्ग: का एक विवृत आवरण है, और इसलिए इसका एक सीमित उपकवर है। प्रत्येक के बाद से उपसमुच्चय की केवल एक सीमित संख्या को प्रतिच्छेद करता है, ऐसे सभी का मिलन उपसमुच्चय की केवल एक सीमित संख्या को प्रतिच्छेद करता है। चूँकि यह मिलन ही सम्पूर्ण स्थान है, यह इस प्रकार है कि Failed to parse (⧼math_empty_tex⧽): {\displaystyle } संग्रह में उपसमुच्चयों की केवल एक सीमित संख्या को प्रतिच्छेदित करता है, और चूँकि 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