स्थानीय संबद्ध समष्टि: Difference between revisions
No edit summary |
|||
Line 1: | Line 1: | ||
{{Short description|Property of topological spaces}} | {{Short description|Property of topological spaces}} | ||
[[Image:Neighborhood illust1.svg|right|thumb|इस टोपोलॉजिकल स्पेस में, V, p का प्रतिवेश है और इसमें एक संबद्ध ओपन समुच्चय (गहरे हरे रंग की डिस्क) है जिसमें p | [[Image:Neighborhood illust1.svg|right|thumb|इस टोपोलॉजिकल स्पेस में, V, p का प्रतिवेश है और इसमें एक संबद्ध ओपन समुच्चय (गहरे हरे रंग की डिस्क) है जिसमें p सामान्यतः है।]]गणित की [[टोपोलॉजी]] और अन्य शाखाओं में, [[टोपोलॉजिकल स्पेस]] ''X'' स्थानीय रूप से संबद्ध होता है यदि हर बिंदु आसन्न आधार को स्वीकार करता है जिसमें पूरी तरह से विवृत, संयुक्त समुच्चय होता है। | ||
==पृष्ठभूमि== | ==पृष्ठभूमि== | ||
टोपोलॉजी के पूरे इतिहास में, संयोजकता और संहतता सबसे व्यापक रूप से अध्ययन किए गए दो टोपोलॉजिकल गुण रहे हैं। वास्तव में, [[ यूक्लिडियन स्थान |यूक्लिडियन]] स्पेस के उपसमुच्चय के बीच भी इन गुणों का अध्ययन, और [[यूक्लिडियन मीट्रिक]] के विशेष रूप से उनकी स्वतंत्रता की मान्यता ने | टोपोलॉजी के पूरे इतिहास में, संयोजकता और संहतता सबसे व्यापक रूप से अध्ययन किए गए दो टोपोलॉजिकल गुण रहे हैं। वास्तव में, [[ यूक्लिडियन स्थान |यूक्लिडियन]] स्पेस के उपसमुच्चय के बीच भी इन गुणों का अध्ययन, और [[यूक्लिडियन मीट्रिक]] के विशेष रूप से उनकी स्वतंत्रता की मान्यता ने टोपोलॉजिकल गुण और इस प्रकार टोपोलॉजिकल स्पेस की धारणा को स्पष्ट करने में बड़ी भूमिका निभाई है। हालाँकि, जबकि यूक्लिडियन स्पेस के सघन उपसमुच्चय की संरचना को हेइन-बोरेल प्रमेय के माध्यम से काफी पहले ही समझ लिया गया था, <math>\R^n</math> के संयुक्त उपसमुच्चय (n>1 के लिए) बहुत अधिक जटिल साबित हुए। दरअसल, जबकि कोई भी सघन हॉसडॉर्फ स्पेस स्थानीय रूप से सघन होता है, संबद्ध स्पेस - और यहां तक कि यूक्लिडियन प्लेन का संयुक्त उपसमुच्चय - स्थानीय रूप से संबद्ध होने की आवश्यकता नहीं है (नीचे देखें)। | ||
इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की | इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की समृद्ध श्रृंखला प्रारम्भ हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्पेस की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर अशक्त स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा। | ||
बीसवीं सदी के उत्तरार्ध में, अनुसंधान की प्रवृत्ति मैनिफोल्ड्स जैसे स्थानों के अधिक गहन अध्ययन की ओर स्थानांतरित हो गई, जो स्थानीय रूप से अच्छी तरह से समझे जाते हैं (यूक्लिडियन स्पेस के लिए स्थानीय रूप से समरूपी होने के कारण) लेकिन जटिल वैश्विक व्यवहार वाले हैं। इसका मतलब यह है कि यद्यपि मैनिफोल्ड्स की मूल बिंदु-समुच्चय टोपोलॉजी अपेक्षाकृत सरल है (क्योंकि अवधारणा की अधिकांश परिभाषाओं के अनुसार मैनिफोल्ड्स अनिवार्य रूप से [[ मेट्रिज़ेबल |मेट्रिज़ेबल]] हैं), उनकी [[बीजगणितीय टोपोलॉजी]] कहीं अधिक जटिल है। इस आधुनिक दृष्टिकोण से, स्थानीय पथ संयोजकता की पर्याप्त गुण अधिक महत्वपूर्ण हो जाती है: उदाहरण के लिए, किसी स्पेस को सार्वभौमिक कवर स्वीकार करने के लिए इसे संबद्ध किया जाना चाहिए और स्थानीय रूप से पथ से संबद्ध होना चाहिए। स्थानीय पथ संयोजकता पर भी चर्चा की जाएगी। | बीसवीं सदी के उत्तरार्ध में, अनुसंधान की प्रवृत्ति मैनिफोल्ड्स जैसे स्थानों के अधिक गहन अध्ययन की ओर स्थानांतरित हो गई, जो स्थानीय रूप से अच्छी तरह से समझे जाते हैं (यूक्लिडियन स्पेस के लिए स्थानीय रूप से समरूपी होने के कारण) लेकिन जटिल वैश्विक व्यवहार वाले हैं। इसका मतलब यह है कि यद्यपि मैनिफोल्ड्स की मूल बिंदु-समुच्चय टोपोलॉजी अपेक्षाकृत सरल है (क्योंकि अवधारणा की अधिकांश परिभाषाओं के अनुसार मैनिफोल्ड्स अनिवार्य रूप से [[ मेट्रिज़ेबल |मेट्रिज़ेबल]] हैं), उनकी [[बीजगणितीय टोपोलॉजी]] कहीं अधिक जटिल है। इस आधुनिक दृष्टिकोण से, स्थानीय पथ संयोजकता की पर्याप्त गुण अधिक महत्वपूर्ण हो जाती है: उदाहरण के लिए, किसी स्पेस को सार्वभौमिक कवर स्वीकार करने के लिए इसे संबद्ध किया जाना चाहिए और स्थानीय रूप से पथ से संबद्ध होना चाहिए। स्थानीय पथ संयोजकता पर भी चर्चा की जाएगी। | ||
स्पेस स्थानीय रूप से तभी संबद्ध होता है जब प्रत्येक विवृत समुच्चय ''U'' के लिए, ''U'' के संबद्ध घटक (सबस्पेस टोपोलॉजी में) विवृत हों। उदाहरण के लिए, यह निम्नानुसार है कि स्थानीय रूप से संबद्ध स्पेस से पूरी तरह से वियोजित किए गए स्पेस तक निरंतर कार्य स्थानीय रूप से स्थिर होना चाहिए। वास्तव में, घटकों का खुलापन इतना स्वाभाविक है कि किसी को यह ध्यान में रखना चाहिए कि यह सामान्य रूप से सच नहीं है: उदाहरण के लिए, [[कैंटर स्पेस]] पूरी तरह से अलग है लेकिन अलग नहीं है। | |||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
माना कि <math>X</math> | माना कि <math>X</math> टोपोलॉजिकल स्पेस है और मान लीजिए कि <math>x</math>, <math>X.</math> का एक बिंदु है। | ||
स्पेस <math>X</math> को स्थानीय रूप से <math>x</math><ref name="Munkres-p161">Munkres, p. 161</ref> से जोड़ा जाता है, यदि <math>x</math> के प्रत्येक प्रतिवेश में <math>x</math> से संयुक्त विवृत प्रतिवेश है, यदि बिंदु <math>x</math> में प्रतिवेश का आधार है जो संबद्ध हुए विवृत समुच्चयों से युक्त है। स्थानीय रूप से संयुक्त स्पेस<ref>Willard, Definition 27.7, p. 199</ref><ref name="Munkres-p161" /> एक ऐसा स्पेस है जो स्थानीय रूप से अपने प्रत्येक बिंदु पर संयुक्त है। | |||
स्थानीय संयोजकता का मतलब संयोजकता नहीं है (उदाहरण के लिए <math>\R</math> में दो असंयुक्त विवृत अंतराल पर विचार करें); और संयोजकता का मतलब स्थानीय संयोजकता नहीं है (टोपोलॉजिस्ट की साइन वक्र देखें)। | स्थानीय संयोजकता का मतलब संयोजकता नहीं है (उदाहरण के लिए <math>\R</math> में दो असंयुक्त विवृत अंतराल पर विचार करें); और संयोजकता का मतलब स्थानीय संयोजकता नहीं है (टोपोलॉजिस्ट की साइन वक्र देखें)। | ||
स्पेस <math>X</math> को <math>x</math><ref name="Munkres-p161" /> से संबद्ध स्थानीय पथ कहा जाता है, यदि <math>x</math> के प्रत्येक प्रतिवेश में <math>x</math> का पथ-संबद्ध विवृत प्रतिवेश होता है, यदि बिंदु <math>x</math> में पथ-संबद्ध विवृत समुच्चयों से मिलकर प्रतिवेश आधार है. स्थानीय रूप से पथ-संबद्ध स्पेस <ref>Willard, Definition 27.4, p.199</ref><ref name="Munkres-p161" /> एक ऐसा स्पेस है जो स्थानीय रूप से अपने प्रत्येक बिंदु पर संयुक्त है. | |||
स्थानीय रूप से पथ से संबद्ध स्पेस स्थानीय रूप से संबद्ध हुए हैं। इसके विपरीत ( ([[इकाई वर्ग पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी]] देखें) | स्थानीय रूप से पथ से संबद्ध स्पेस स्थानीय रूप से संबद्ध हुए हैं। इसके विपरीत ( ([[इकाई वर्ग पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी]] देखें) | ||
Line 24: | Line 24: | ||
===संयुक्तता आईएम क्लेनन=== | ===संयुक्तता आईएम क्लेनन=== | ||
स्पेस <math>X</math> को <math>x</math><ref>Willard, Definition 27.14, p. 201</ref><ref name="BBS"/> या अशक्त रूप से स्थानीय रूप से <math>x</math><ref>Munkres, exercise 6, p. 162</ref> से | स्पेस <math>X</math> को <math>x</math><ref>Willard, Definition 27.14, p. 201</ref><ref name="BBS"/> या अशक्त रूप से स्थानीय रूप से <math>x</math><ref>Munkres, exercise 6, p. 162</ref> से संयुक्त आईएम क्लेनन कहा जाता है यदि <math>x</math> के प्रत्येक प्रतिवेश में <math>x</math> का संयुक्त प्रतिवेश होता है, यदि बिंदु <math>x</math> में प्रतिवेश आधार है जो संबद्ध हुए समुच्चयों से मिलकर बना है। स्पेस को अशक्त रूप से स्थानीय रूप से संयुक्त कहा जाता है यदि यह अपने प्रत्येक बिंदु पर स्थानीय रूप से संयुक्त है; जैसा कि नीचे बताया गया है, यह अवधारणा वास्तव में स्थानीय रूप से संबद्ध होने के समान है. | ||
स्पेस जो स्थानीय रूप से <math>x</math> से | स्पेस जो स्थानीय रूप से <math>x</math> से संयुक्त है, वह <math>x.</math> पर आईएम क्लेनन से संयुक्त है। शंकु धारण नहीं करता है, जैसा कि उदाहरण के लिए दिखाया गया है कि ब्रूम स्पेस के एक निश्चित अनंत संघ द्वारा, जो एक विशेष बिंदु पर इम क्लेन से संयुक्त है, लेकिन उस बिंदु पर स्थानीय रूप से संबद्ध नहीं है।<ref name="SS-119.4">Steen & Seebach, example 119.4, p. 139</ref><ref name="Munkres-ex7-p162">Munkres, exercise 7, p. 162</ref><ref>{{cite web |title=दिखाएँ कि X, p पर स्थानीय रूप से जुड़ा नहीं है|url=https://math.stackexchange.com/q/2439096 |website=Math StackExchange}}</ref> हालाँकि, यदि कोई स्पेस अपने प्रत्येक बिंदु पर इम क्लेन से संबद्ध है, तो यह स्थानीय रूप से संयुक्त है।<ref name="Willard-27.16">Willard, Theorem 27.16, p. 201</ref> | ||
स्पेस <math>X</math> को <math>x</math><ref name="BBS">{{cite journal |last1=Björn |first1=Anders |last2=Björn |first2=Jana |last3=Shanmugalingam |first3=Nageswari |title=माजुरकिविज़ दूरी और सेट जो सीमा पर अंतिम रूप से जुड़े हुए हैं|journal=Journal of Geometric Analysis |volume=26 |year=2016 |issue=2 |pages=873–897 |doi=10.1007/s12220-015-9575-9 |arxiv=1311.5122|s2cid=255549682 }}, section 2</ref> पर पथ से संबद्ध आईएम क्लेनन कहा जाता है, यदि <math>x</math> के प्रत्येक प्रतिवेश में <math>x</math> का पथ-संबद्ध प्रतिवेश होता है, यदि बिंदु <math>x</math> में पथ-संबद्ध समुच्चयों से मिलकर एक प्रतिवेश आधार है। | स्पेस <math>X</math> को <math>x</math><ref name="BBS">{{cite journal |last1=Björn |first1=Anders |last2=Björn |first2=Jana |last3=Shanmugalingam |first3=Nageswari |title=माजुरकिविज़ दूरी और सेट जो सीमा पर अंतिम रूप से जुड़े हुए हैं|journal=Journal of Geometric Analysis |volume=26 |year=2016 |issue=2 |pages=873–897 |doi=10.1007/s12220-015-9575-9 |arxiv=1311.5122|s2cid=255549682 }}, section 2</ref> पर पथ से संबद्ध आईएम क्लेनन कहा जाता है, यदि <math>x</math> के प्रत्येक प्रतिवेश में <math>x</math> का पथ-संबद्ध प्रतिवेश होता है, यदि बिंदु <math>x</math> में पथ-संबद्ध समुच्चयों से मिलकर एक प्रतिवेश आधार है। | ||
स्पेस जो स्थानीय रूप से <math>x</math> पर पथ से संबद्ध है, वह <math>x.</math> पर | स्पेस जो स्थानीय रूप से <math>x</math> पर पथ से संबद्ध है, वह <math>x.</math> पर संयुक्त पथ है। जैसा कि उपरोक्त घटते ब्रूम स्पेस के समान अनंत संघ द्वारा दिखाया गया है, इसका उलटा असर नहीं करता है। हालाँकि, यदि कोई स्पेस अपने प्रत्येक बिंदु पर आईएम क्लेनन पथ से संयुक्त है, तो यह स्थानीय रूप से पथ से संयुक्त है।<ref>{{cite web |title=स्थानीय रूप से पथवार जुड़े की परिभाषा|url=https://math.stackexchange.com/q/2999685 |website=Math StackExchange}}</ref> | ||
==प्रथम उदाहरण== | ==प्रथम उदाहरण== | ||
# किसी भी धनात्मक पूर्णांक n के लिए, यूक्लिडियन स्पेस <math>\R^n</math> स्थानीय रूप से पथ से, इस प्रकार स्थानीय स्तर पर | # किसी भी धनात्मक पूर्णांक n के लिए, यूक्लिडियन स्पेस <math>\R^n</math> स्थानीय रूप से पथ से, इस प्रकार स्थानीय स्तर पर जुड़ा हुआ; यह भी संयुक्त है। | ||
#अधिक सामान्यतः, प्रत्येक स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस स्थानीय रूप से | #अधिक सामान्यतः, प्रत्येक स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस स्थानीय रूप से जुड़ा होता है, क्योंकि प्रत्येक बिंदु पर उत्तल (और इसलिए संयुक्त हुआ) प्रतिवेश का एक स्थानीय आधार होता है। | ||
# उपस्थान <math>S = [0,1] \cup [2,3]</math> असली लाइन का <math>\R^1</math> स्थानीय रूप से पथ | # उपस्थान <math>S = [0,1] \cup [2,3]</math> असली लाइन का <math>\R^1</math> स्थानीय रूप से पथ जुड़ा है लेकिन संयुक्त नहीं है. | ||
# टोपोलॉजिस्ट का साइन वक्र यूक्लिडियन प्लेन का एक उपस्थान है जो | # टोपोलॉजिस्ट का साइन वक्र यूक्लिडियन प्लेन का एक उपस्थान है जो जुड़ा हुआ है, लेकिन स्थानीय रूप से संयुक्त नहीं है।<ref name="Steen">Steen & Seebach, pp. 137–138</ref> | ||
# स्पेस <math>\Q</math> मानक यूक्लिडियन टोपोलॉजी से संपन्न परिमेय संख्याएँ, न तो जुड़ी हुई हैं और न ही स्थानीय रूप से जुड़ी हुई हैं। | # स्पेस <math>\Q</math> मानक यूक्लिडियन टोपोलॉजी से संपन्न परिमेय संख्याएँ, न तो जुड़ी हुई हैं और न ही स्थानीय रूप से जुड़ी हुई हैं। | ||
# कंघी स्पेस पथ से | # कंघी स्पेस पथ से जुड़ा है लेकिन स्थानीय रूप से पथ से संयुक्त नहीं है, और स्थानीय रूप से भी संयुक्त नहीं है। | ||
# [[सहपरिमित टोपोलॉजी]] से संपन्न एक अनगिनत अनंत समुच्चय स्थानीय रूप से | # [[सहपरिमित टोपोलॉजी]] से संपन्न एक अनगिनत अनंत समुच्चय स्थानीय रूप से जुड़ा हुआ है (वास्तव में, [[हाइपरकनेक्टेड|हाइपरसंबद्ध]]) लेकिन स्थानीय रूप से पथ से संयुक्तनहीं है।<ref>Steen & Seebach, pp. 49–50</ref> | ||
# यूनिट स्क्वायर पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी संयुक्त और स्थानीय रूप से संयुक्त है, लेकिन पथ संयुक्त नहीं है, न ही स्थानीय पथ संयुक्त है।<ref>Steen & Seebach, example 48, p. 73</ref> | # यूनिट स्क्वायर पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी संयुक्त और स्थानीय रूप से संयुक्त है, लेकिन पथ संयुक्त नहीं है, न ही स्थानीय पथ संयुक्त है।<ref>Steen & Seebach, example 48, p. 73</ref> | ||
# [[किर्च स्थान|किर्च स्पेस]] | # [[किर्च स्थान|किर्च स्पेस]] जुड़ा हुआ है और स्थानीय रूप से जुड़ा हुआ है, लेकिन पथ से संयुक्त नहीं है, और किसी भी बिंदु पर पथ से जुड़ा नहीं है। वास्तव में यह [[पूरी तरह से पथ विच्छेदित]] है। | ||
[[प्रथम-गणनीय]] हॉसडॉर्फ़ स्पेस (<math>(X, \tau)</math> स्थानीय रूप से पथ से | [[प्रथम-गणनीय]] हॉसडॉर्फ़ स्पेस (<math>(X, \tau)</math> स्थानीय रूप से पथ से जुड़ा हुआ है यदि और केवल यदि <math>\tau</math> सभी निरंतर पथों <math>[0, 1] \to (X, \tau).</math> के समुच्चय <math>C([0, 1]; X)</math> से प्रेरित <math>X</math> पर अंतिम टोपोलॉजी के बराबर है। | ||
==गुण== | ==गुण== | ||
प्रमेय - एक स्थान स्थानीय रूप से तभी | प्रमेय - एक स्थान स्थानीय रूप से तभी जुड़ा होता है जब वह स्थानीय रूप से कमजोर रूप से संयुक्त होता है। | ||
{{collapse top|title=प्रमाण|left=सत्य}} | {{collapse top|title=प्रमाण|left=सत्य}} | ||
असतहीय दिशा के लिए, मान लें <math>X</math> स्थानीय रूप से अशक्त रूप से जुड़ा हुआ है। यह दिखाने के लिए कि यह स्थानीय रूप से जुड़ा हुआ है, यह दिखाना पर्याप्त है कि विवृत समुच्चय के जुड़े घटक (टोपोलॉजी) विवृत हैं। | |||
होने देना <math>U</math> में खुले रहो <math>X</math> और जाने <math>C</math> का एक जुड़ा हुआ घटक बनें <math>U.</math> होने देना <math>x</math> का एक तत्व बनें <math>C.</math> तब <math>U</math> का पड़ोस है <math>x</math> ताकि एक जुड़ा हुआ पड़ोस हो <math>V</math> का <math>x</math> में निहित <math>U.</math> तब से <math>V</math> जुड़ा हुआ है और शामिल है <math>x,</math> <math>V</math> का एक उपसमुच्चय होना चाहिए <math>C</math> (जुड़ा हुआ घटक युक्त <math>x</math>). इसलिए <math>x</math> का एक आंतरिक बिंदु है <math>C.</math> तब से <math>x</math> का एक मनमाना बिंदु था <math>C,</math> <math>C</math> में खुला है <math>X.</math> इसलिए, <math>X</math> स्थानीय रूप से जुड़ा हुआ है। | होने देना <math>U</math> में खुले रहो <math>X</math> और जाने <math>C</math> का एक जुड़ा हुआ घटक बनें <math>U.</math> होने देना <math>x</math> का एक तत्व बनें <math>C.</math> तब <math>U</math> का पड़ोस है <math>x</math> ताकि एक जुड़ा हुआ पड़ोस हो <math>V</math> का <math>x</math> में निहित <math>U.</math> तब से <math>V</math> जुड़ा हुआ है और शामिल है <math>x,</math> <math>V</math> का एक उपसमुच्चय होना चाहिए <math>C</math> (जुड़ा हुआ घटक युक्त <math>x</math>). इसलिए <math>x</math> का एक आंतरिक बिंदु है <math>C.</math> तब से <math>x</math> का एक मनमाना बिंदु था <math>C,</math> <math>C</math> में खुला है <math>X.</math> इसलिए, <math>X</math> स्थानीय रूप से जुड़ा हुआ है। | ||
{{collapse bottom}} | {{collapse bottom}} | ||
# स्थानीय संयोजकता, परिभाषा के अनुसार, टोपोलॉजिकल स्पेस की एक स्थानीय गुण है, अर्थात्,., | # स्थानीय संयोजकता, परिभाषा के अनुसार, टोपोलॉजिकल स्पेस की एक स्थानीय गुण है, अर्थात्,., टोपोलॉजिकल गुण ''P'' जैसे कि स्पेस ''X'' के पास गुण ''P'' होती है यदि और केवल अगर ''X'' में प्रत्येक पॉइंट ''x'' समुच्चय के प्रतिवेश के आधार को स्वीकार करता है जिसमें ''P'' है। तदनुसार, स्थानीय संयोजकता के लिए एक स्थानीय गुण धारण द्वारा आयोजित सभी "मेटागुणज़". विशेष रूप से: | ||
# कोई स्पेस स्थानीय रूप से तभी | # कोई स्पेस स्थानीय रूप से तभी जुड़ा होता है जब वह (विवृत) संयुक्त उपसमुच्चय के [[आधार (टोपोलॉजी)]] को स्वीकार करता है। | ||
# [[ असंयुक्त संघ (टोपोलॉजी) | असंयुक्त संघ (टोपोलॉजी)]] <math>\coprod_i X_i</math> | # [[ असंयुक्त संघ (टोपोलॉजी) | असंयुक्त संघ (टोपोलॉजी)]] <math>\coprod_i X_i</math> वर्ग का <math>\{X_i\}</math> रिक्त स्पेस स्थानीय रूप से जुड़ा हुआ है यदि और केवल यदि प्रत्येक <math>X_i</math> स्थानीय रूप से संयुक्त है. विशेष रूप से, चूंकि एक बिंदु निश्चित रूप से स्थानीय रूप से संयुक्त है, इसका मतलब यह है कि कोई भी अलग स्पेस स्थानीय रूप से संयुक्त है। दूसरी ओर, एक अलग स्पेस पूरी तरह से वियोजित हो गया है, इसलिए यह केवल तभी संबद्ध होता है जब इसमें अधिकतम एक बिंदु होता है। | ||
# इसके विपरीत, एक पूरी तरह से अलग किया गया स्पेस स्थानीय रूप से तभी संबद्ध होता है जब वह अलग हो। इसका उपयोग उपरोक्त तथ्य को समझाने के लिए किया जा सकता है कि तर्कसंगत संख्याएँ स्थानीय रूप से जुड़ी नहीं हैं। | # इसके विपरीत, एक पूरी तरह से अलग किया गया स्पेस स्थानीय रूप से तभी संबद्ध होता है जब वह अलग हो। इसका उपयोग उपरोक्त तथ्य को समझाने के लिए किया जा सकता है कि तर्कसंगत संख्याएँ स्थानीय रूप से जुड़ी नहीं हैं। | ||
# | # गैर-रिक्त उत्पाद स्पेस <math>\prod_i X_i</math> स्थानीय रूप से संयुक्त है यदि और केवल यदि प्रत्येक <math>X_i</math> स्थानीय रूप से संयुक्त है और सीमित रूप से बहुत सारे को छोड़कर सभी <math>X_i</math> संबद्ध हुए हैं।<ref>Willard, theorem 27.13, p. 201</ref> | ||
# प्रत्येक [[हाइपरकनेक्टेड स्पेस|हाइपरसंबद्ध स्पेस]] स्थानीय रूप से संबद्ध | # प्रत्येक [[हाइपरकनेक्टेड स्पेस|हाइपरसंबद्ध स्पेस]] स्थानीय रूप से संबद्ध है, और संयुक्त भी है। | ||
==अवयव और पथ अवयव== | ==अवयव और पथ अवयव== | ||
Line 64: | Line 64: | ||
निम्नलिखित परिणाम परिभाषाओं से लगभग तुरंत अनुसरण करता है लेकिन काफी उपयोगी होगा: | निम्नलिखित परिणाम परिभाषाओं से लगभग तुरंत अनुसरण करता है लेकिन काफी उपयोगी होगा: | ||
लेम्मा: मान लीजिए कि X | लेम्मा: मान लीजिए कि X स्पेस है, और <math>\{Y_i\}</math> X के उपसमुच्चय का एक वर्ग। मान लीजिए कि <math> \bigcap_i Y_i </math> गैर-रिक्त है. फिर, यदि प्रत्येक <math>Y_i</math> संयुक्त है (क्रमशः, पथ संयुक्त) फिर संघ <math>\bigcup_i Y_i</math> संयुक्त है (क्रमशः, पथ संयुक्त है)।<ref>Willard, Theorem 26.7a, p. 192</ref> | ||
अब टोपोलॉजिकल स्पेस X: for पर दो संबंधों पर विचार करें <math>x,y \in X,</math> लिखना: | अब टोपोलॉजिकल स्पेस X: for पर दो संबंधों पर विचार करें <math>x,y \in X,</math> लिखना: | ||
:<math>x \equiv_c y</math> यदि X का | :<math>x \equiv_c y</math> यदि X का संयुक्त उपसमुच्चय है जिसमें x और y दोनों हैं; और | ||
:<math> x \equiv_{pc} y </math> यदि X का | :<math> x \equiv_{pc} y </math> यदि X का पथ से संयुक्त उपसमुच्चय है जिसमें x और y दोनों हैं। | ||
जाहिर तौर पर दोनों संबंध प्रतिवर्ती और सममित हैं। इसके अलावा, यदि x और y | जाहिर तौर पर दोनों संबंध प्रतिवर्ती और सममित हैं। इसके अलावा, यदि x और y संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय A में समाहित हैं और y और z संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय B में संबद्ध हुए हैं, तो लेम्मा का तात्पर्य है कि <math>A \cup B</math> संयुक्त (क्रमशः, पथ संयुक्त) उपसमुच्चय है जिसमें x, y और z सामान्यतः हैं। इस प्रकार प्रत्येक संबंध [[समतुल्य संबंध]] है, और X के विभाजन को [[समतुल्य वर्ग]]ों में परिभाषित करता है। हम इन दोनों विभाजनों पर बारी-बारी से विचार करते हैं। | ||
X में X के लिए, समुच्चय <math>C_x</math> सभी बिंदुओं में से y ऐसा है <math>y \equiv_c x</math> x का संबद्ध कंपोनेंट (टोपोलॉजी) कहलाता है।<ref>Willard, Definition 26.11, p.194</ref> लेम्मा का तात्पर्य यह है <math>C_x</math> X युक्त X का अद्वितीय अधिकतम | X में X के लिए, समुच्चय <math>C_x</math> सभी बिंदुओं में से y ऐसा है <math>y \equiv_c x</math> x का संबद्ध कंपोनेंट (टोपोलॉजी) कहलाता है।<ref>Willard, Definition 26.11, p.194</ref> लेम्मा का तात्पर्य यह है <math>C_x</math> X युक्त X का अद्वितीय अधिकतम संयुक्त उपसमुच्चय है।<ref name="WillardProblem_a">विलार्ड, समस्या 26बी, पीपी. 195-196</ref> चूंकि का समापन <math>C_x</math> यह संयुक्त उपसमुच्चय भी है जिसमें x सामान्यतः है,<ref>Kelley, Theorem 20, p. 54; Willard, Theorem 26.8, p.193</ref> यह इस प्रकार है कि <math>C_x</math> बन्द है।<ref>Willard, Theorem 26.12, p. 194</ref> | ||
यदि X में केवल सीमित रूप से कई संबद्ध हुए घटक हैं, तो प्रत्येक घटक | यदि X में केवल सीमित रूप से कई संबद्ध हुए घटक हैं, तो प्रत्येक घटक सवृत समुच्चयों के सीमित संघ का पूरक है और इसलिए विवृत है। सामान्य तौर पर, संबद्ध हुए घटकों को विवृत होने की आवश्यकता नहीं है, क्योंकि, उदाहरण के लिए, पूरी तरह से वियोजित किए गए स्पेस उपस्थित हैं (यानी, <math>C_x = \{x\}</math> सभी बिंदुओं के लिए x) जो अलग-अलग नहीं हैं, जैसे कैंटर स्पेस। हालाँकि, स्थानीय रूप से संबद्ध स्पेस के संबद्ध घटक भी विवृत हैं, और इस प्रकार [[क्लोपेन सेट|क्लोपेन समुच्चय]] हैं।<ref>Willard, Corollary 27.10, p. 200</ref> यह इस प्रकार है कि स्थानीय रूप से संयुक्त स्पेस X टोपोलॉजिकल असंयुक्त संघ है <math>\coprod C_x</math> इसके विशिष्ट संबद्ध घटकों की। इसके विपरीत, यदि X के प्रत्येक विवृत उपसमुच्चय U के लिए, U के संबद्ध हुए घटक विवृत हैं, तो X संबद्ध हुए समुच्चयों का आधार स्वीकार करता है और इसलिए स्थानीय रूप से संयुक्त है।<ref>Willard, Theorem 27.9, p. 200</ref> | ||
इसी तरह X में X, समुच्चय <math>PC_x</math> सभी बिंदुओं में से y ऐसा है <math>y \equiv_{pc} x</math> x का पथ घटक कहलाता है।<ref name="WillardProblem">Willard, Problem 27D, p. 202</ref> ऊपरोक्त अनुसार, <math>PC_x</math> X के सभी पथ से संबद्ध उपसमूहों का संघ भी है जिसमें X | इसी तरह X में X, समुच्चय <math>PC_x</math> सभी बिंदुओं में से y ऐसा है <math>y \equiv_{pc} x</math> x का पथ घटक कहलाता है।<ref name="WillardProblem">Willard, Problem 27D, p. 202</ref> ऊपरोक्त अनुसार, <math>PC_x</math> X के सभी पथ से संबद्ध उपसमूहों का संघ भी है जिसमें X सामान्यतः है, इसलिए लेम्मा द्वारा स्वयं पथ संयुक्त है। क्योंकि पथ से संबद्ध समुच्चय संबद्ध हुए हैं, हमारे पास है <math>PC_x \subseteq C_x</math> सभी के लिए <math>x \in X.</math> | ||
एक स्पेस स्थानीय रूप से पथ से संबद्ध होता है यदि और केवल तभी जब सभी विवृत उपसमुच्चय U के लिए, U के पथ घटक विवृत हों।<ref name="WillardProblem" /> इसलिए स्थानीय पथ से संबद्ध स्पेस के पथ घटक X को जोड़ीदार असंयुक्त विवृत समुच्चयों में विभाजित करते हैं। इसका तात्पर्य यह है कि स्थानीय रूप से पथ से संबद्ध स्पेस का एक विवृत संबद्ध उपस्थान आवश्यक रूप से पथ से | हालाँकि, पथ से संबद्ध समुच्चय को सवृत करने के लिए पथ से संबद्ध होने की आवश्यकता नहीं है: उदाहरण के लिए, टोपोलॉजिस्ट का साइन वक्र विवृत उपसमुच्चय U का सवृत होना है जिसमें x > 0 के साथ सभी बिंदु (x, y) सामान्यतः हैं, और U, एक के लिए समरूपी है। वास्तविक रेखा पर अंतराल निश्चित रूप से पथ से संयुक्त है। इसके अलावा, टोपोलॉजिस्ट के साइन वक्र C के पथ घटक U हैं, जो विवृत है लेकिन सवृत नहीं है, और <math>C \setminus U,</math> जो सवृत है लेकिन विवृत नहीं है. | ||
एक स्पेस स्थानीय रूप से पथ से संबद्ध होता है यदि और केवल तभी जब सभी विवृत उपसमुच्चय U के लिए, U के पथ घटक विवृत हों।<ref name="WillardProblem" /> इसलिए स्थानीय पथ से संबद्ध स्पेस के पथ घटक X को जोड़ीदार असंयुक्त विवृत समुच्चयों में विभाजित करते हैं। इसका तात्पर्य यह है कि स्थानीय रूप से पथ से संबद्ध स्पेस का एक विवृत संबद्ध उपस्थान आवश्यक रूप से पथ से संयुक्त है।<ref>Willard, Theorem 27.5, p. 199</ref> इसके अलावा, यदि कोई स्पेस स्थानीय रूप से पथ से संयुक्त है, तो वह स्थानीय रूप से भी संयुक्त है, इसलिए सभी के लिए <math>x \in X,</math> <math>C_x</math> संयुक्त और विवृत है, इसलिए पथ संयुक्त है, अर्थात, <math>C_x = PC_x.</math> अर्थात्, स्थानीय रूप से पथ से संबद्ध स्पेस के लिए घटक और पथ घटक मेल खाते हैं। | |||
===उदाहरण=== | ===उदाहरण=== | ||
# समुच्चय <math>I \times I</math> ( | # समुच्चय <math>I \times I</math> (जहाँ <math>I = [0, 1]</math>) [[शब्दावली क्रम]] में टोपोलॉजी में बिल्कुल घटक होता है (क्योंकि यह संयुक्त है) लेकिन इसमें अनगिनत पथ घटक होते हैं। दरअसल, फॉर्म का कोई भी समुच्चय <math>\{a\} \times I</math> I से संबंधित प्रत्येक a के लिए एक पथ घटक है। | ||
# होने देना <math>f : \R \to \R_{\ell}</math> से | # होने देना <math>f : \R \to \R_{\ell}</math> से सतत मानचित्र बनें <math>\R</math> को <math>\R_{\ell}</math> (जो है <math>\R</math> [[निचली सीमा टोपोलॉजी]] में)। तब से <math>\R</math> संयुक्त है, और एक सतत मानचित्र के अंतर्गत संबद्ध स्पेस की छवि जुड़ी होनी चाहिए, की छवि <math>\R</math> अंतर्गत <math>f</math> संबद्ध होना चाहिए. इसलिए, की छवि <math>\R</math> अंतर्गत <math>f</math> के एक घटक का उपसमुच्चय होना चाहिए <math>\R_{\ell}/</math> चूँकि यह छवि गैर-रिक्त है, 'से एकमात्र सतत मानचित्र<math>\R</math> को <math>\R_{\ell},</math> स्थिर मानचित्र हैं. वास्तव में, किसी संबद्ध हुए स्पेस से पूरी तरह से असंबद्ध स्पेस तक का कोई भी निरंतर मानचित्र स्थिर होना चाहिए। | ||
==क्वासिअवयव== | ==क्वासिअवयव== | ||
मान लीजिए कि X | मान लीजिए कि X टोपोलॉजिकल स्पेस है। हम X पर तीसरा संबंध परिभाषित करते हैं: <math>x \equiv_{qc} y</math> यदि विवृत समुच्चय A और B में X का कोई पृथक्करण नहीं है, जैसे कि x A का | ||
अवयव है और y B का अवयव है। यह X पर समतुल्य संबंध है और समतुल्य वर्ग <math>QC_x</math>युक्त X को X का अर्ध-घटक कहा जाता है।<ref name="WillardProblem_a" /> | |||
<math>QC_x</math> इसे X के सभी [[क्लोपेन]] उपसमुच्चय के प्रतिच्छेदन के रूप में भी चित्रित किया जा सकता है जिसमें X | <math>QC_x</math> इसे X के सभी [[क्लोपेन]] उपसमुच्चय के प्रतिच्छेदन के रूप में भी चित्रित किया जा सकता है जिसमें X सामान्यतः है।<ref name="WillardProblem_a" /> इसलिए <math>QC_x</math> बन्द है; सामान्यतः इसे विवृत रखने की आवश्यकता नहीं है। | ||
निस्संदेह <math>C_x \subseteq QC_x</math> सभी के लिए <math>x \in X.</math><ref name="WillardProblem_a" /> कुल मिलाकर हमारे पास x पर पथ घटकों, घटकों और अर्धघटकों के बीच निम्नलिखित सामग्रियां हैं: | निस्संदेह <math>C_x \subseteq QC_x</math> सभी के लिए <math>x \in X.</math><ref name="WillardProblem_a" /> कुल मिलाकर हमारे पास x पर पथ घटकों, घटकों और अर्धघटकों के बीच निम्नलिखित सामग्रियां हैं: | ||
<math display=block>PC_x \subseteq C_x \subseteq QC_x.</math> | <math display="block">PC_x \subseteq C_x \subseteq QC_x.</math> | ||
यदि X स्थानीय रूप से | यदि X स्थानीय रूप से संयुक्त है, तो, ऊपर के अनुसार, <math>C_x</math> क्लोपेन समुच्चय है जिसमें x है, इसलिए <math>QC_x \subseteq C_x</math> और इस तरह <math>QC_x = C_x.</math> चूंकि स्थानीय पथ संयोजकता का तात्पर्य स्थानीय संयोजकता से है, इसका मतलब यह है कि हमारे पास स्थानीय पथ से संबद्ध स्पेस के सभी बिंदुओं x पर है | ||
<math display=block>PC_x = C_x = QC_x.</math> | <math display="block">PC_x = C_x = QC_x.</math> | ||
रिक्त स्पेस का एक अन्य वर्ग जिसके लिए अर्धघटक घटकों से सहमत होते हैं, सघन हॉसडॉर्फ रिक्त स्पेस का वर्ग है।<ref>Engelking, Theorem 6.1.23, p. 357</ref> | रिक्त स्पेस का एक अन्य वर्ग जिसके लिए अर्धघटक घटकों से सहमत होते हैं, सघन हॉसडॉर्फ रिक्त स्पेस का वर्ग है।<ref>Engelking, Theorem 6.1.23, p. 357</ref> | ||
Line 102: | Line 105: | ||
# किसी स्पेस का एक उदाहरण जिसके अर्धघटक उसके घटकों के बराबर नहीं हैं, दोहरे सीमा बिंदु वाला एक अनुक्रम है। यह स्पेस पूरी तरह से अलग हो गया है, लेकिन दोनों सीमा बिंदु एक ही अर्धघटक में स्थित हैं, क्योंकि उनमें से किसी एक वाले क्लोपेन समुच्चय में अनुक्रम की एक पूंछ होनी चाहिए, और इस प्रकार दूसरा बिंदु भी होना चाहिए। | # किसी स्पेस का एक उदाहरण जिसके अर्धघटक उसके घटकों के बराबर नहीं हैं, दोहरे सीमा बिंदु वाला एक अनुक्रम है। यह स्पेस पूरी तरह से अलग हो गया है, लेकिन दोनों सीमा बिंदु एक ही अर्धघटक में स्थित हैं, क्योंकि उनमें से किसी एक वाले क्लोपेन समुच्चय में अनुक्रम की एक पूंछ होनी चाहिए, और इस प्रकार दूसरा बिंदु भी होना चाहिए। | ||
# स्पेस <math>(\{0\}\cup\{\frac{1}{n} : n \in \Z^+\}) \times [-1,1] \setminus \{(0,0)\}</math> स्थानीय रूप से सघन और हॉसडॉर्फ लेकिन समुच्चय हैं <math>\{0\} \times [-1,0)</math> और <math>\{0\} \times (0,1]</math> दो अलग-अलग घटक हैं जो एक ही अर्धघटक में निहित हैं। | # स्पेस <math>(\{0\}\cup\{\frac{1}{n} : n \in \Z^+\}) \times [-1,1] \setminus \{(0,0)\}</math> स्थानीय रूप से सघन और हॉसडॉर्फ लेकिन समुच्चय हैं <math>\{0\} \times [-1,0)</math> और <math>\{0\} \times (0,1]</math> दो अलग-अलग घटक हैं जो एक ही अर्धघटक में निहित हैं। | ||
# एरेन्स-फोर्ट स्थान स्थानीय रूप से | # एरेन्स-फोर्ट स्थान स्थानीय रूप से जुड़ा नहीं है, लेकिन फिर भी, घटक और अर्ध-घटक मेल खाते हैं: वास्तव में सभी बिंदुओं ''x'' के लिए <math>QC_x = C_x = \{x\}</math>।<ref>Steen & Seebach, pp. 54-55</ref> | ||
==यह भी देखें== | ==यह भी देखें== | ||
* {{annotated link|स्थानीय रूप से सरलता से जुड़ा स्थान}} | * {{annotated link|स्थानीय रूप से सरलता से जुड़ा स्थान}} | ||
* {{annotated link|अर्ध-स्थानीय रूप से सरल रूप से जुड़ा हुआ}} | * {{annotated link|अर्ध-स्थानीय रूप से सरल रूप से जुड़ा हुआ}} | ||
* [[एमएलसी अनुमान|यह अनुमान लगाया गया है कि मैंडलब्रोट समुच्चय स्थानीय रूप से | * [[एमएलसी अनुमान|यह अनुमान लगाया गया है कि मैंडलब्रोट समुच्चय स्थानीय रूप से जुड़ा हुआ है]] | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 21:35, 13 July 2023
गणित की टोपोलॉजी और अन्य शाखाओं में, टोपोलॉजिकल स्पेस X स्थानीय रूप से संबद्ध होता है यदि हर बिंदु आसन्न आधार को स्वीकार करता है जिसमें पूरी तरह से विवृत, संयुक्त समुच्चय होता है।
पृष्ठभूमि
टोपोलॉजी के पूरे इतिहास में, संयोजकता और संहतता सबसे व्यापक रूप से अध्ययन किए गए दो टोपोलॉजिकल गुण रहे हैं। वास्तव में, यूक्लिडियन स्पेस के उपसमुच्चय के बीच भी इन गुणों का अध्ययन, और यूक्लिडियन मीट्रिक के विशेष रूप से उनकी स्वतंत्रता की मान्यता ने टोपोलॉजिकल गुण और इस प्रकार टोपोलॉजिकल स्पेस की धारणा को स्पष्ट करने में बड़ी भूमिका निभाई है। हालाँकि, जबकि यूक्लिडियन स्पेस के सघन उपसमुच्चय की संरचना को हेइन-बोरेल प्रमेय के माध्यम से काफी पहले ही समझ लिया गया था, के संयुक्त उपसमुच्चय (n>1 के लिए) बहुत अधिक जटिल साबित हुए। दरअसल, जबकि कोई भी सघन हॉसडॉर्फ स्पेस स्थानीय रूप से सघन होता है, संबद्ध स्पेस - और यहां तक कि यूक्लिडियन प्लेन का संयुक्त उपसमुच्चय - स्थानीय रूप से संबद्ध होने की आवश्यकता नहीं है (नीचे देखें)।
इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की समृद्ध श्रृंखला प्रारम्भ हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्पेस की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर अशक्त स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा।
बीसवीं सदी के उत्तरार्ध में, अनुसंधान की प्रवृत्ति मैनिफोल्ड्स जैसे स्थानों के अधिक गहन अध्ययन की ओर स्थानांतरित हो गई, जो स्थानीय रूप से अच्छी तरह से समझे जाते हैं (यूक्लिडियन स्पेस के लिए स्थानीय रूप से समरूपी होने के कारण) लेकिन जटिल वैश्विक व्यवहार वाले हैं। इसका मतलब यह है कि यद्यपि मैनिफोल्ड्स की मूल बिंदु-समुच्चय टोपोलॉजी अपेक्षाकृत सरल है (क्योंकि अवधारणा की अधिकांश परिभाषाओं के अनुसार मैनिफोल्ड्स अनिवार्य रूप से मेट्रिज़ेबल हैं), उनकी बीजगणितीय टोपोलॉजी कहीं अधिक जटिल है। इस आधुनिक दृष्टिकोण से, स्थानीय पथ संयोजकता की पर्याप्त गुण अधिक महत्वपूर्ण हो जाती है: उदाहरण के लिए, किसी स्पेस को सार्वभौमिक कवर स्वीकार करने के लिए इसे संबद्ध किया जाना चाहिए और स्थानीय रूप से पथ से संबद्ध होना चाहिए। स्थानीय पथ संयोजकता पर भी चर्चा की जाएगी।
स्पेस स्थानीय रूप से तभी संबद्ध होता है जब प्रत्येक विवृत समुच्चय U के लिए, U के संबद्ध घटक (सबस्पेस टोपोलॉजी में) विवृत हों। उदाहरण के लिए, यह निम्नानुसार है कि स्थानीय रूप से संबद्ध स्पेस से पूरी तरह से वियोजित किए गए स्पेस तक निरंतर कार्य स्थानीय रूप से स्थिर होना चाहिए। वास्तव में, घटकों का खुलापन इतना स्वाभाविक है कि किसी को यह ध्यान में रखना चाहिए कि यह सामान्य रूप से सच नहीं है: उदाहरण के लिए, कैंटर स्पेस पूरी तरह से अलग है लेकिन अलग नहीं है।
परिभाषाएँ
माना कि टोपोलॉजिकल स्पेस है और मान लीजिए कि , का एक बिंदु है।
स्पेस को स्थानीय रूप से [1] से जोड़ा जाता है, यदि के प्रत्येक प्रतिवेश में से संयुक्त विवृत प्रतिवेश है, यदि बिंदु में प्रतिवेश का आधार है जो संबद्ध हुए विवृत समुच्चयों से युक्त है। स्थानीय रूप से संयुक्त स्पेस[2][1] एक ऐसा स्पेस है जो स्थानीय रूप से अपने प्रत्येक बिंदु पर संयुक्त है।
स्थानीय संयोजकता का मतलब संयोजकता नहीं है (उदाहरण के लिए में दो असंयुक्त विवृत अंतराल पर विचार करें); और संयोजकता का मतलब स्थानीय संयोजकता नहीं है (टोपोलॉजिस्ट की साइन वक्र देखें)।
स्पेस को [1] से संबद्ध स्थानीय पथ कहा जाता है, यदि के प्रत्येक प्रतिवेश में का पथ-संबद्ध विवृत प्रतिवेश होता है, यदि बिंदु में पथ-संबद्ध विवृत समुच्चयों से मिलकर प्रतिवेश आधार है. स्थानीय रूप से पथ-संबद्ध स्पेस [3][1] एक ऐसा स्पेस है जो स्थानीय रूप से अपने प्रत्येक बिंदु पर संयुक्त है.
स्थानीय रूप से पथ से संबद्ध स्पेस स्थानीय रूप से संबद्ध हुए हैं। इसके विपरीत ( (इकाई वर्ग पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी देखें)
संयुक्तता आईएम क्लेनन
स्पेस को [4][5] या अशक्त रूप से स्थानीय रूप से [6] से संयुक्त आईएम क्लेनन कहा जाता है यदि के प्रत्येक प्रतिवेश में का संयुक्त प्रतिवेश होता है, यदि बिंदु में प्रतिवेश आधार है जो संबद्ध हुए समुच्चयों से मिलकर बना है। स्पेस को अशक्त रूप से स्थानीय रूप से संयुक्त कहा जाता है यदि यह अपने प्रत्येक बिंदु पर स्थानीय रूप से संयुक्त है; जैसा कि नीचे बताया गया है, यह अवधारणा वास्तव में स्थानीय रूप से संबद्ध होने के समान है.
स्पेस जो स्थानीय रूप से से संयुक्त है, वह पर आईएम क्लेनन से संयुक्त है। शंकु धारण नहीं करता है, जैसा कि उदाहरण के लिए दिखाया गया है कि ब्रूम स्पेस के एक निश्चित अनंत संघ द्वारा, जो एक विशेष बिंदु पर इम क्लेन से संयुक्त है, लेकिन उस बिंदु पर स्थानीय रूप से संबद्ध नहीं है।[7][8][9] हालाँकि, यदि कोई स्पेस अपने प्रत्येक बिंदु पर इम क्लेन से संबद्ध है, तो यह स्थानीय रूप से संयुक्त है।[10]
स्पेस को [5] पर पथ से संबद्ध आईएम क्लेनन कहा जाता है, यदि के प्रत्येक प्रतिवेश में का पथ-संबद्ध प्रतिवेश होता है, यदि बिंदु में पथ-संबद्ध समुच्चयों से मिलकर एक प्रतिवेश आधार है।
स्पेस जो स्थानीय रूप से पर पथ से संबद्ध है, वह पर संयुक्त पथ है। जैसा कि उपरोक्त घटते ब्रूम स्पेस के समान अनंत संघ द्वारा दिखाया गया है, इसका उलटा असर नहीं करता है। हालाँकि, यदि कोई स्पेस अपने प्रत्येक बिंदु पर आईएम क्लेनन पथ से संयुक्त है, तो यह स्थानीय रूप से पथ से संयुक्त है।[11]
प्रथम उदाहरण
- किसी भी धनात्मक पूर्णांक n के लिए, यूक्लिडियन स्पेस स्थानीय रूप से पथ से, इस प्रकार स्थानीय स्तर पर जुड़ा हुआ; यह भी संयुक्त है।
- अधिक सामान्यतः, प्रत्येक स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस स्थानीय रूप से जुड़ा होता है, क्योंकि प्रत्येक बिंदु पर उत्तल (और इसलिए संयुक्त हुआ) प्रतिवेश का एक स्थानीय आधार होता है।
- उपस्थान असली लाइन का स्थानीय रूप से पथ जुड़ा है लेकिन संयुक्त नहीं है.
- टोपोलॉजिस्ट का साइन वक्र यूक्लिडियन प्लेन का एक उपस्थान है जो जुड़ा हुआ है, लेकिन स्थानीय रूप से संयुक्त नहीं है।[12]
- स्पेस मानक यूक्लिडियन टोपोलॉजी से संपन्न परिमेय संख्याएँ, न तो जुड़ी हुई हैं और न ही स्थानीय रूप से जुड़ी हुई हैं।
- कंघी स्पेस पथ से जुड़ा है लेकिन स्थानीय रूप से पथ से संयुक्त नहीं है, और स्थानीय रूप से भी संयुक्त नहीं है।
- सहपरिमित टोपोलॉजी से संपन्न एक अनगिनत अनंत समुच्चय स्थानीय रूप से जुड़ा हुआ है (वास्तव में, हाइपरसंबद्ध) लेकिन स्थानीय रूप से पथ से संयुक्तनहीं है।[13]
- यूनिट स्क्वायर पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी संयुक्त और स्थानीय रूप से संयुक्त है, लेकिन पथ संयुक्त नहीं है, न ही स्थानीय पथ संयुक्त है।[14]
- किर्च स्पेस जुड़ा हुआ है और स्थानीय रूप से जुड़ा हुआ है, लेकिन पथ से संयुक्त नहीं है, और किसी भी बिंदु पर पथ से जुड़ा नहीं है। वास्तव में यह पूरी तरह से पथ विच्छेदित है।
प्रथम-गणनीय हॉसडॉर्फ़ स्पेस ( स्थानीय रूप से पथ से जुड़ा हुआ है यदि और केवल यदि सभी निरंतर पथों के समुच्चय से प्रेरित पर अंतिम टोपोलॉजी के बराबर है।
गुण
प्रमेय - एक स्थान स्थानीय रूप से तभी जुड़ा होता है जब वह स्थानीय रूप से कमजोर रूप से संयुक्त होता है।
style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:left; " | प्रमाण
|
---|
असतहीय दिशा के लिए, मान लें स्थानीय रूप से अशक्त रूप से जुड़ा हुआ है। यह दिखाने के लिए कि यह स्थानीय रूप से जुड़ा हुआ है, यह दिखाना पर्याप्त है कि विवृत समुच्चय के जुड़े घटक (टोपोलॉजी) विवृत हैं। होने देना में खुले रहो और जाने का एक जुड़ा हुआ घटक बनें होने देना का एक तत्व बनें तब का पड़ोस है ताकि एक जुड़ा हुआ पड़ोस हो का में निहित तब से जुड़ा हुआ है और शामिल है का एक उपसमुच्चय होना चाहिए (जुड़ा हुआ घटक युक्त ). इसलिए का एक आंतरिक बिंदु है तब से का एक मनमाना बिंदु था में खुला है इसलिए, स्थानीय रूप से जुड़ा हुआ है। |
- स्थानीय संयोजकता, परिभाषा के अनुसार, टोपोलॉजिकल स्पेस की एक स्थानीय गुण है, अर्थात्,., टोपोलॉजिकल गुण P जैसे कि स्पेस X के पास गुण P होती है यदि और केवल अगर X में प्रत्येक पॉइंट x समुच्चय के प्रतिवेश के आधार को स्वीकार करता है जिसमें P है। तदनुसार, स्थानीय संयोजकता के लिए एक स्थानीय गुण धारण द्वारा आयोजित सभी "मेटागुणज़". विशेष रूप से:
- कोई स्पेस स्थानीय रूप से तभी जुड़ा होता है जब वह (विवृत) संयुक्त उपसमुच्चय के आधार (टोपोलॉजी) को स्वीकार करता है।
- असंयुक्त संघ (टोपोलॉजी) वर्ग का रिक्त स्पेस स्थानीय रूप से जुड़ा हुआ है यदि और केवल यदि प्रत्येक स्थानीय रूप से संयुक्त है. विशेष रूप से, चूंकि एक बिंदु निश्चित रूप से स्थानीय रूप से संयुक्त है, इसका मतलब यह है कि कोई भी अलग स्पेस स्थानीय रूप से संयुक्त है। दूसरी ओर, एक अलग स्पेस पूरी तरह से वियोजित हो गया है, इसलिए यह केवल तभी संबद्ध होता है जब इसमें अधिकतम एक बिंदु होता है।
- इसके विपरीत, एक पूरी तरह से अलग किया गया स्पेस स्थानीय रूप से तभी संबद्ध होता है जब वह अलग हो। इसका उपयोग उपरोक्त तथ्य को समझाने के लिए किया जा सकता है कि तर्कसंगत संख्याएँ स्थानीय रूप से जुड़ी नहीं हैं।
- गैर-रिक्त उत्पाद स्पेस स्थानीय रूप से संयुक्त है यदि और केवल यदि प्रत्येक स्थानीय रूप से संयुक्त है और सीमित रूप से बहुत सारे को छोड़कर सभी संबद्ध हुए हैं।[15]
- प्रत्येक हाइपरसंबद्ध स्पेस स्थानीय रूप से संबद्ध है, और संयुक्त भी है।
अवयव और पथ अवयव
निम्नलिखित परिणाम परिभाषाओं से लगभग तुरंत अनुसरण करता है लेकिन काफी उपयोगी होगा:
लेम्मा: मान लीजिए कि X स्पेस है, और X के उपसमुच्चय का एक वर्ग। मान लीजिए कि गैर-रिक्त है. फिर, यदि प्रत्येक संयुक्त है (क्रमशः, पथ संयुक्त) फिर संघ संयुक्त है (क्रमशः, पथ संयुक्त है)।[16] अब टोपोलॉजिकल स्पेस X: for पर दो संबंधों पर विचार करें लिखना:
- यदि X का संयुक्त उपसमुच्चय है जिसमें x और y दोनों हैं; और
- यदि X का पथ से संयुक्त उपसमुच्चय है जिसमें x और y दोनों हैं।
जाहिर तौर पर दोनों संबंध प्रतिवर्ती और सममित हैं। इसके अलावा, यदि x और y संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय A में समाहित हैं और y और z संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय B में संबद्ध हुए हैं, तो लेम्मा का तात्पर्य है कि संयुक्त (क्रमशः, पथ संयुक्त) उपसमुच्चय है जिसमें x, y और z सामान्यतः हैं। इस प्रकार प्रत्येक संबंध समतुल्य संबंध है, और X के विभाजन को समतुल्य वर्गों में परिभाषित करता है। हम इन दोनों विभाजनों पर बारी-बारी से विचार करते हैं।
X में X के लिए, समुच्चय सभी बिंदुओं में से y ऐसा है x का संबद्ध कंपोनेंट (टोपोलॉजी) कहलाता है।[17] लेम्मा का तात्पर्य यह है X युक्त X का अद्वितीय अधिकतम संयुक्त उपसमुच्चय है।[18] चूंकि का समापन यह संयुक्त उपसमुच्चय भी है जिसमें x सामान्यतः है,[19] यह इस प्रकार है कि बन्द है।[20]
यदि X में केवल सीमित रूप से कई संबद्ध हुए घटक हैं, तो प्रत्येक घटक सवृत समुच्चयों के सीमित संघ का पूरक है और इसलिए विवृत है। सामान्य तौर पर, संबद्ध हुए घटकों को विवृत होने की आवश्यकता नहीं है, क्योंकि, उदाहरण के लिए, पूरी तरह से वियोजित किए गए स्पेस उपस्थित हैं (यानी, सभी बिंदुओं के लिए x) जो अलग-अलग नहीं हैं, जैसे कैंटर स्पेस। हालाँकि, स्थानीय रूप से संबद्ध स्पेस के संबद्ध घटक भी विवृत हैं, और इस प्रकार क्लोपेन समुच्चय हैं।[21] यह इस प्रकार है कि स्थानीय रूप से संयुक्त स्पेस X टोपोलॉजिकल असंयुक्त संघ है इसके विशिष्ट संबद्ध घटकों की। इसके विपरीत, यदि X के प्रत्येक विवृत उपसमुच्चय U के लिए, U के संबद्ध हुए घटक विवृत हैं, तो X संबद्ध हुए समुच्चयों का आधार स्वीकार करता है और इसलिए स्थानीय रूप से संयुक्त है।[22]
इसी तरह X में X, समुच्चय सभी बिंदुओं में से y ऐसा है x का पथ घटक कहलाता है।[23] ऊपरोक्त अनुसार, X के सभी पथ से संबद्ध उपसमूहों का संघ भी है जिसमें X सामान्यतः है, इसलिए लेम्मा द्वारा स्वयं पथ संयुक्त है। क्योंकि पथ से संबद्ध समुच्चय संबद्ध हुए हैं, हमारे पास है सभी के लिए
हालाँकि, पथ से संबद्ध समुच्चय को सवृत करने के लिए पथ से संबद्ध होने की आवश्यकता नहीं है: उदाहरण के लिए, टोपोलॉजिस्ट का साइन वक्र विवृत उपसमुच्चय U का सवृत होना है जिसमें x > 0 के साथ सभी बिंदु (x, y) सामान्यतः हैं, और U, एक के लिए समरूपी है। वास्तविक रेखा पर अंतराल निश्चित रूप से पथ से संयुक्त है। इसके अलावा, टोपोलॉजिस्ट के साइन वक्र C के पथ घटक U हैं, जो विवृत है लेकिन सवृत नहीं है, और जो सवृत है लेकिन विवृत नहीं है.
एक स्पेस स्थानीय रूप से पथ से संबद्ध होता है यदि और केवल तभी जब सभी विवृत उपसमुच्चय U के लिए, U के पथ घटक विवृत हों।[23] इसलिए स्थानीय पथ से संबद्ध स्पेस के पथ घटक X को जोड़ीदार असंयुक्त विवृत समुच्चयों में विभाजित करते हैं। इसका तात्पर्य यह है कि स्थानीय रूप से पथ से संबद्ध स्पेस का एक विवृत संबद्ध उपस्थान आवश्यक रूप से पथ से संयुक्त है।[24] इसके अलावा, यदि कोई स्पेस स्थानीय रूप से पथ से संयुक्त है, तो वह स्थानीय रूप से भी संयुक्त है, इसलिए सभी के लिए संयुक्त और विवृत है, इसलिए पथ संयुक्त है, अर्थात, अर्थात्, स्थानीय रूप से पथ से संबद्ध स्पेस के लिए घटक और पथ घटक मेल खाते हैं।
उदाहरण
- समुच्चय (जहाँ ) शब्दावली क्रम में टोपोलॉजी में बिल्कुल घटक होता है (क्योंकि यह संयुक्त है) लेकिन इसमें अनगिनत पथ घटक होते हैं। दरअसल, फॉर्म का कोई भी समुच्चय I से संबंधित प्रत्येक a के लिए एक पथ घटक है।
- होने देना से सतत मानचित्र बनें को (जो है निचली सीमा टोपोलॉजी में)। तब से संयुक्त है, और एक सतत मानचित्र के अंतर्गत संबद्ध स्पेस की छवि जुड़ी होनी चाहिए, की छवि अंतर्गत संबद्ध होना चाहिए. इसलिए, की छवि अंतर्गत के एक घटक का उपसमुच्चय होना चाहिए चूँकि यह छवि गैर-रिक्त है, 'से एकमात्र सतत मानचित्र को स्थिर मानचित्र हैं. वास्तव में, किसी संबद्ध हुए स्पेस से पूरी तरह से असंबद्ध स्पेस तक का कोई भी निरंतर मानचित्र स्थिर होना चाहिए।
क्वासिअवयव
मान लीजिए कि X टोपोलॉजिकल स्पेस है। हम X पर तीसरा संबंध परिभाषित करते हैं: यदि विवृत समुच्चय A और B में X का कोई पृथक्करण नहीं है, जैसे कि x A का
अवयव है और y B का अवयव है। यह X पर समतुल्य संबंध है और समतुल्य वर्ग युक्त X को X का अर्ध-घटक कहा जाता है।[18]
इसे X के सभी क्लोपेन उपसमुच्चय के प्रतिच्छेदन के रूप में भी चित्रित किया जा सकता है जिसमें X सामान्यतः है।[18] इसलिए बन्द है; सामान्यतः इसे विवृत रखने की आवश्यकता नहीं है।
निस्संदेह सभी के लिए [18] कुल मिलाकर हमारे पास x पर पथ घटकों, घटकों और अर्धघटकों के बीच निम्नलिखित सामग्रियां हैं:
उदाहरण
- किसी स्पेस का एक उदाहरण जिसके अर्धघटक उसके घटकों के बराबर नहीं हैं, दोहरे सीमा बिंदु वाला एक अनुक्रम है। यह स्पेस पूरी तरह से अलग हो गया है, लेकिन दोनों सीमा बिंदु एक ही अर्धघटक में स्थित हैं, क्योंकि उनमें से किसी एक वाले क्लोपेन समुच्चय में अनुक्रम की एक पूंछ होनी चाहिए, और इस प्रकार दूसरा बिंदु भी होना चाहिए।
- स्पेस स्थानीय रूप से सघन और हॉसडॉर्फ लेकिन समुच्चय हैं और दो अलग-अलग घटक हैं जो एक ही अर्धघटक में निहित हैं।
- एरेन्स-फोर्ट स्थान स्थानीय रूप से जुड़ा नहीं है, लेकिन फिर भी, घटक और अर्ध-घटक मेल खाते हैं: वास्तव में सभी बिंदुओं x के लिए ।[26]
यह भी देखें
- स्थानीय रूप से सरलता से जुड़ा स्थान
- अर्ध-स्थानीय रूप से सरल रूप से जुड़ा हुआ
- यह अनुमान लगाया गया है कि मैंडलब्रोट समुच्चय स्थानीय रूप से जुड़ा हुआ है
टिप्पणियाँ
- ↑ 1.0 1.1 1.2 1.3 Munkres, p. 161
- ↑ Willard, Definition 27.7, p. 199
- ↑ Willard, Definition 27.4, p.199
- ↑ Willard, Definition 27.14, p. 201
- ↑ 5.0 5.1 Björn, Anders; Björn, Jana; Shanmugalingam, Nageswari (2016). "माजुरकिविज़ दूरी और सेट जो सीमा पर अंतिम रूप से जुड़े हुए हैं". Journal of Geometric Analysis. 26 (2): 873–897. arXiv:1311.5122. doi:10.1007/s12220-015-9575-9. S2CID 255549682., section 2
- ↑ Munkres, exercise 6, p. 162
- ↑ Steen & Seebach, example 119.4, p. 139
- ↑ Munkres, exercise 7, p. 162
- ↑ "दिखाएँ कि X, p पर स्थानीय रूप से जुड़ा नहीं है". Math StackExchange.
- ↑ Willard, Theorem 27.16, p. 201
- ↑ "स्थानीय रूप से पथवार जुड़े की परिभाषा". Math StackExchange.
- ↑ Steen & Seebach, pp. 137–138
- ↑ Steen & Seebach, pp. 49–50
- ↑ Steen & Seebach, example 48, p. 73
- ↑ Willard, theorem 27.13, p. 201
- ↑ Willard, Theorem 26.7a, p. 192
- ↑ Willard, Definition 26.11, p.194
- ↑ 18.0 18.1 18.2 18.3 विलार्ड, समस्या 26बी, पीपी. 195-196
- ↑ Kelley, Theorem 20, p. 54; Willard, Theorem 26.8, p.193
- ↑ Willard, Theorem 26.12, p. 194
- ↑ Willard, Corollary 27.10, p. 200
- ↑ Willard, Theorem 27.9, p. 200
- ↑ 23.0 23.1 Willard, Problem 27D, p. 202
- ↑ Willard, Theorem 27.5, p. 199
- ↑ Engelking, Theorem 6.1.23, p. 357
- ↑ Steen & Seebach, pp. 54-55
संदर्भ
- Engelking, Ryszard (1989). General Topology. Heldermann Verlag, Berlin. ISBN 3-88538-006-4.
- John L. Kelley; General Topology; ISBN 0-387-90125-6
- Munkres, James (1999), Topology (2nd ed.), Prentice Hall, ISBN 0-13-181629-2.
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover reprint of 1978 ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-68735-3, MR 1382863
- Stephen Willard; General Topology; Dover Publications, 2004.
अग्रिम पठन
- Coppin, C. A. (1972), "Continuous Functions from a Connected Locally Connected Space into a Connected Space with a Dispersion Point", Proceedings of the American Mathematical Society, American Mathematical Society, 32 (2): 625–626, doi:10.1090/S0002-9939-1972-0296913-7, JSTOR 2037874. For Hausdorff spaces, it is shown that any continuous function from a connected locally connected space into a connected space with a dispersion point is constant
- Davis, H. S. (1968), "A Note on Connectedness Im Kleinen", Proceedings of the American Mathematical Society, American Mathematical Society, 19 (5): 1237–1241, doi:10.1090/s0002-9939-1968-0254814-3, JSTOR 2036067.