स्थानीय संबद्ध समष्टि: 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 का | [[Image:Neighborhood illust1.svg|right|thumb|इस टोपोलॉजिकल स्पेस में, V, p का प्रतिवेश है और इसमें एक संबद्ध ओपन समुच्चय (गहरे हरे रंग की डिस्क) है जिसमें p शामिल है।]]गणित की [[टोपोलॉजी]] और अन्य शाखाओं में, एक [[टोपोलॉजिकल स्पेस]] ''X'' स्थानीय रूप से संबद्ध होता है यदि हर बिंदु एक आसन्न आधार को स्वीकार करता है जिसमें पूरी तरह से विवृत, संबद्ध हुआ समुच्चय होता है। | ||
==पृष्ठभूमि== | ==पृष्ठभूमि== | ||
टोपोलॉजी के पूरे इतिहास में, संयोजकता और संहतता सबसे व्यापक रूप से अध्ययन किए गए दो टोपोलॉजिकल गुण रहे हैं। वास्तव में, [[ यूक्लिडियन स्थान |यूक्लिडियन]] स्पेस के उपसमुच्चय के बीच भी इन गुणों का अध्ययन, और [[यूक्लिडियन मीट्रिक]] के विशेष रूप से उनकी स्वतंत्रता की मान्यता ने एक टोपोलॉजिकल | टोपोलॉजी के पूरे इतिहास में, संयोजकता और संहतता सबसे व्यापक रूप से अध्ययन किए गए दो टोपोलॉजिकल गुण रहे हैं। वास्तव में, [[ यूक्लिडियन स्थान |यूक्लिडियन]] स्पेस के उपसमुच्चय के बीच भी इन गुणों का अध्ययन, और [[यूक्लिडियन मीट्रिक]] के विशेष रूप से उनकी स्वतंत्रता की मान्यता ने एक टोपोलॉजिकल गुण और इस प्रकार एक टोपोलॉजिकल स्पेस की धारणा को स्पष्ट करने में एक बड़ी भूमिका निभाई। हालाँकि, जबकि यूक्लिडियन स्पेस के सघन उपसमुच्चय की संरचना को हेइन-बोरेल प्रमेय के माध्यम से काफी पहले ही समझ लिया गया था, <math>\R^n</math> के संबद्ध उपसमुच्चय (n>1 के लिए) बहुत अधिक जटिल साबित हुए। दरअसल, जबकि कोई भी सघन हॉसडॉर्फ स्पेस स्थानीय रूप से सघन होता है, एक संबद्ध स्पेस - और यहां तक कि यूक्लिडियन प्लेन का एक संबद्ध उपसमुच्चय - स्थानीय रूप से संबद्ध होने की आवश्यकता नहीं है (नीचे देखें)। | ||
इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की एक समृद्ध श्रृंखला शुरू हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्पेस की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर अशक्त स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा। | इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की एक समृद्ध श्रृंखला शुरू हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्पेस की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर अशक्त स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा। | ||
बीसवीं सदी के उत्तरार्ध में, अनुसंधान की प्रवृत्ति मैनिफोल्ड्स जैसे स्थानों के अधिक गहन अध्ययन की ओर स्थानांतरित हो गई, जो स्थानीय रूप से अच्छी तरह से समझे जाते हैं (यूक्लिडियन स्पेस के लिए स्थानीय रूप से | बीसवीं सदी के उत्तरार्ध में, अनुसंधान की प्रवृत्ति मैनिफोल्ड्स जैसे स्थानों के अधिक गहन अध्ययन की ओर स्थानांतरित हो गई, जो स्थानीय रूप से अच्छी तरह से समझे जाते हैं (यूक्लिडियन स्पेस के लिए स्थानीय रूप से समरूपी होने के कारण) लेकिन जटिल वैश्विक व्यवहार वाले हैं। इसका मतलब यह है कि यद्यपि मैनिफोल्ड्स की मूल बिंदु-समुच्चय टोपोलॉजी अपेक्षाकृत सरल है (क्योंकि अवधारणा की अधिकांश परिभाषाओं के अनुसार मैनिफोल्ड्स अनिवार्य रूप से [[ मेट्रिज़ेबल |मेट्रिज़ेबल]] हैं), उनकी [[बीजगणितीय टोपोलॉजी]] कहीं अधिक जटिल है। इस आधुनिक दृष्टिकोण से, स्थानीय पथ संयोजकता की पर्याप्त गुण अधिक महत्वपूर्ण हो जाती है: उदाहरण के लिए, किसी स्पेस को सार्वभौमिक कवर स्वीकार करने के लिए इसे संबद्ध किया जाना चाहिए और स्थानीय रूप से पथ से संबद्ध होना चाहिए। स्थानीय पथ संयोजकता पर भी चर्चा की जाएगी। | ||
एक स्पेस स्थानीय रूप से तभी | एक स्पेस स्थानीय रूप से तभी संबद्ध होता है जब प्रत्येक विवृत समुच्चय ''U'' के लिए, ''U'' के संबद्ध घटक (सबस्पेस टोपोलॉजी में) विवृत हों। उदाहरण के लिए, यह निम्नानुसार है कि स्थानीय रूप से संबद्ध स्पेस से पूरी तरह से वियोजित किए गए स्पेस तक निरंतर कार्य स्थानीय रूप से स्थिर होना चाहिए। वास्तव में, घटकों का खुलापन इतना स्वाभाविक है कि किसी को यह ध्यान में रखना चाहिए कि यह सामान्य रूप से सच नहीं है: उदाहरण के लिए, [[कैंटर स्पेस]] पूरी तरह से अलग है लेकिन अलग नहीं है। | ||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
Line 14: | Line 14: | ||
माना कि <math>X</math> एक टोपोलॉजिकल स्पेस है और मान लीजिए कि <math>x</math>, <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 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>X</math> को <math>x</math><ref name="Munkres-p161" /> से | एक स्पेस <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" /> एक ऐसा स्पेस है जो स्थानीय रूप से अपने प्रत्येक बिंदु पर संबद्ध हुआ है. | ||
स्थानीय रूप से पथ से | स्थानीय रूप से पथ से संबद्ध स्पेस स्थानीय रूप से संबद्ध हुए हैं। इसके विपरीत ( ([[इकाई वर्ग पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी]] देखें) | ||
===संयुक्तता आईएम क्लेनन=== | ===संयुक्तता आईएम क्लेनन=== | ||
स्पेस <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> पर आईएम क्लेनन से संबद्ध हुआ है। शंकु धारण नहीं करता है, जैसा कि उदाहरण के लिए दिखाया गया है कि ब्रूम स्पेस के एक निश्चित अनंत संघ द्वारा, जो एक विशेष बिंदु पर इम क्लेन से संबद्ध हुआ है, लेकिन उस बिंदु पर स्थानीय रूप से संबद्ध नहीं है।<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>{{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> | # टोपोलॉजिस्ट का साइन वक्र यूक्लिडियन प्लेन का एक उपस्थान है जो संबद्ध हुआ है, लेकिन स्थानीय रूप से संबद्ध नहीं है।<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=सत्य}} | ||
Line 53: | Line 53: | ||
{{collapse bottom}} | {{collapse bottom}} | ||
# स्थानीय | # स्थानीय संयोजकता, परिभाषा के अनुसार, टोपोलॉजिकल स्पेस की एक स्थानीय गुण है, अर्थात्,., एक टोपोलॉजिकल गुण P जैसे कि एक स्पेस X के पास प्रॉपर्टी P होती है यदि और केवल अगर X में प्रत्येक पॉइंट x समुच्चय के प्रतिवेश के आधार को स्वीकार करता है जिसमें P है. तदनुसार, स्थानीय संयोजकता के लिए एक स्थानीय गुण धारण द्वारा आयोजित सभी "मेटाप्रॉपर्टीज़". विशेष रूप से: | ||
# कोई स्पेस स्थानीय रूप से तभी संबद्ध होता है जब वह ( | # कोई स्पेस स्थानीय रूप से तभी संबद्ध होता है जब वह (विवृत) संबद्ध उपसमुच्चय के [[आधार (टोपोलॉजी)]] को स्वीकार करता है। | ||
# [[ असंयुक्त संघ (टोपोलॉजी) | असंयुक्त संघ (टोपोलॉजी)]] <math>\coprod_i X_i</math> एक परिवार का <math>\{X_i\}</math> रिक्त स्पेस स्थानीय रूप से संबद्ध हुआ है यदि और केवल यदि प्रत्येक <math>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> | # एक गैर-रिक्त उत्पाद स्पेस <math>\prod_i X_i</math> स्थानीय रूप से संबद्ध हुआ है यदि और केवल यदि प्रत्येक <math>X_i</math> स्थानीय रूप से संबद्ध हुआ है और सीमित रूप से बहुत सारे को छोड़कर सभी <math>X_i</math> संबद्ध हुए हैं।<ref>Willard, theorem 27.13, p. 201</ref> | ||
Line 71: | Line 71: | ||
जाहिर तौर पर दोनों संबंध प्रतिवर्ती और सममित हैं। इसके अलावा, यदि x और y एक संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय A में समाहित हैं और y और z एक संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय B में संबद्ध हुए हैं, तो लेम्मा का तात्पर्य है कि <math>A \cup B</math> एक संबद्ध हुआ (क्रमशः, पथ संबद्ध हुआ) उपसमुच्चय है जिसमें x, y और z शामिल हैं। इस प्रकार प्रत्येक संबंध एक [[समतुल्य संबंध]] है, और X के विभाजन को [[समतुल्य वर्ग]]ों में परिभाषित करता है। हम इन दोनों विभाजनों पर बारी-बारी से विचार करते हैं। | जाहिर तौर पर दोनों संबंध प्रतिवर्ती और सममित हैं। इसके अलावा, यदि x और y एक संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय A में समाहित हैं और y और z एक संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय B में संबद्ध हुए हैं, तो लेम्मा का तात्पर्य है कि <math>A \cup B</math> एक संबद्ध हुआ (क्रमशः, पथ संबद्ध हुआ) उपसमुच्चय है जिसमें x, y और z शामिल हैं। इस प्रकार प्रत्येक संबंध एक [[समतुल्य संबंध]] है, और X के विभाजन को [[समतुल्य वर्ग]]ों में परिभाषित करता है। हम इन दोनों विभाजनों पर बारी-बारी से विचार करते हैं। | ||
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, | इसी तरह 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 का बंद होना है जिसमें 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 = [0, 1]</math>) [[शब्दावली क्रम]] में टोपोलॉजी में बिल्कुल एक घटक होता है (क्योंकि यह संबद्ध हुआ है) लेकिन इसमें अनगिनत पथ घटक होते हैं। दरअसल, फॉर्म का कोई भी समुच्चय <math>\{a\} \times I</math> I से संबंधित प्रत्येक a के लिए एक पथ घटक है। | ||
# होने देना <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> स्थिर मानचित्र हैं. वास्तव में, किसी संबद्ध हुए स्पेस से पूरी तरह से असंबद्ध स्पेस तक का कोई भी निरंतर मानचित्र स्थिर होना चाहिए। | # होने देना <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 पर एक तीसरा संबंध परिभाषित करते हैं: <math>x \equiv_{qc} y</math> यदि | मान लीजिए कि 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 शामिल है।<ref name="WillardProblem_a" /> इसलिए <math>QC_x</math> बन्द है; सामान्यतः इसे | <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 स्थानीय रूप से संबद्ध हुआ है, तो, ऊपर के अनुसार, <math>C_x</math> एक क्लोपेन | यदि 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 100: | Line 100: | ||
===उदाहरण=== | ===उदाहरण=== | ||
# किसी स्पेस का एक उदाहरण जिसके अर्धघटक उसके घटकों के बराबर नहीं हैं, दोहरे सीमा बिंदु वाला एक अनुक्रम है। यह स्पेस पूरी तरह से अलग हो गया है, लेकिन दोनों सीमा बिंदु एक ही अर्धघटक में स्थित हैं, क्योंकि उनमें से किसी एक वाले क्लोपेन | # किसी स्पेस का एक उदाहरण जिसके अर्धघटक उसके घटकों के बराबर नहीं हैं, दोहरे सीमा बिंदु वाला एक अनुक्रम है। यह स्पेस पूरी तरह से अलग हो गया है, लेकिन दोनों सीमा बिंदु एक ही अर्धघटक में स्थित हैं, क्योंकि उनमें से किसी एक वाले क्लोपेन समुच्चय में अनुक्रम की एक पूंछ होनी चाहिए, और इस प्रकार दूसरा बिंदु भी होना चाहिए। | ||
# स्पेस <math>(\{0\}\cup\{\frac{1}{n} : n \in \Z^+\}) \times [-1,1] \setminus \{(0,0)\}</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 19:02, 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.