स्थानीय संबद्ध समष्टि: Difference between revisions
(Created page with "{{Short description|Property of topological spaces}} Image:Neighborhood illust1.svg|right|thumb|इस टोपोलॉजिकल स्पेस में, V, p का...") |
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 के लिए) बहुत अधिक जटिल साबित हुए। दरअसल, जबकि कोई भी सघन हॉसडॉर्फ स्पेस स्थानीय रूप से सघन होता है, एक संबद्ध स्पेस - और यहां तक कि यूक्लिडियन प्लेन का एक संबद्ध उपसमुच्चय - स्थानीय रूप से कनेक्ट होने की आवश्यकता नहीं है (नीचे देखें)। | ||
इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की एक समृद्ध श्रृंखला शुरू हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से | इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की एक समृद्ध श्रृंखला शुरू हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्थान की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर कमजोर स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा। | ||
बीसवीं सदी के उत्तरार्ध में, अनुसंधान की प्रवृत्ति [[ कई गुना ]] जैसे स्थानों के अधिक गहन अध्ययन की ओर स्थानांतरित हो गई, जो स्थानीय रूप से अच्छी तरह से समझे जाते हैं (यूक्लिडियन | बीसवीं सदी के उत्तरार्ध में, अनुसंधान की प्रवृत्ति [[ कई गुना ]] जैसे स्थानों के अधिक गहन अध्ययन की ओर स्थानांतरित हो गई, जो स्थानीय रूप से अच्छी तरह से समझे जाते हैं (यूक्लिडियन स्पेस के लिए स्थानीय रूप से होमोमोर्फिक होने के कारण) लेकिन जटिल वैश्विक व्यवहार रखते हैं। इसका मतलब यह है कि यद्यपि मैनिफोल्ड्स की मूल [[बिंदु-सेट टोपोलॉजी]] अपेक्षाकृत सरल है (क्योंकि अवधारणा की अधिकांश परिभाषाओं के अनुसार मैनिफोल्ड्स अनिवार्य रूप से [[ मेट्रिज़ेबल ]] हैं), उनकी [[बीजगणितीय टोपोलॉजी]] कहीं अधिक जटिल है। इस आधुनिक परिप्रेक्ष्य से, स्थानीय पथ संयोजकता की मजबूत संपत्ति अधिक महत्वपूर्ण हो जाती है: उदाहरण के लिए, किसी स्थान को सार्वभौमिक कवर स्वीकार करने के लिए इसे कनेक्ट किया जाना चाहिए और स्थानीय रूप से पथ से संबद्ध होना चाहिए। स्थानीय पथ संयोजकता पर भी चर्चा की जाएगी। | ||
एक स्थान स्थानीय रूप से तभी | एक स्थान स्थानीय रूप से तभी संबद्ध होता है जब प्रत्येक खुले सेट यू के लिए, यू के संबद्ध घटक ([[सबस्पेस टोपोलॉजी]] में) खुले हों। उदाहरण के लिए, यह इस प्रकार है कि स्थानीय रूप से संबद्ध स्थान से पूरी तरह से डिस्कनेक्ट किए गए स्थान तक निरंतर कार्य स्थानीय रूप से स्थिर होना चाहिए। वास्तव में घटकों का खुलापन इतना स्वाभाविक है कि किसी को यह ध्यान में रखना चाहिए कि यह सामान्य रूप से सच नहीं है: उदाहरण के लिए [[कैंटर स्पेस]] पूरी तरह से अलग हो गया है लेकिन अलग स्थान नहीं है। | ||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
होने देना <math>X</math> एक टोपोलॉजिकल स्पेस बनें, और रहने दें <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>Willard, Definition 27.7, p. 199</ref><ref name="Munkres-p161"/>एक ऐसा स्थान है जो अपने प्रत्येक बिंदु पर स्थानीय रूप से संबद्ध हुआ है। | ||
स्थानीय जुड़ाव का मतलब जुड़ाव नहीं है (दो असंयुक्त खुले अंतरालों पर विचार करें)। <math>\R</math> उदाहरण के लिए); और | स्थानीय जुड़ाव का मतलब जुड़ाव नहीं है (दो असंयुक्त खुले अंतरालों पर विचार करें)। <math>\R</math> उदाहरण के लिए); और संयोजकता का मतलब स्थानीय संयोजकता नहीं है (टोपोलॉजिस्ट का साइन कर्व देखें)। | ||
एक स्थान <math>X</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"/>एक ऐसा स्थान है जो अपने प्रत्येक बिंदु पर स्थानीय पथ से संबद्ध हुआ है। | ||
स्थानीय रूप से पथ से | स्थानीय रूप से पथ से संबद्ध स्थान स्थानीय रूप से संबद्ध हुए हैं। उलटा पकड़ में नहीं आता है ([[इकाई वर्ग पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी]] देखें)। | ||
===छोटे पैमाने पर जुड़ाव=== | ===छोटे पैमाने पर जुड़ाव=== | ||
एक स्थान <math>X</math> | एक स्थान <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> कहा जाता है कि पथ संबद्ध हुआ है <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> | ||
# | # स्पेस <math>\Q</math> मानक यूक्लिडियन टोपोलॉजी से संपन्न परिमेय संख्याएँ, न तो जुड़ी हुई हैं और न ही स्थानीय रूप से जुड़ी हुई हैं। | ||
# कंघी स्थान पथ से | # कंघी स्थान पथ से संबद्ध है लेकिन स्थानीय रूप से पथ से संबद्ध नहीं है, और स्थानीय रूप से भी संबद्ध नहीं है। | ||
# [[सहपरिमित टोपोलॉजी]] से संपन्न एक अनगिनत अनंत सेट स्थानीय रूप से | # [[सहपरिमित टोपोलॉजी]] से संपन्न एक अनगिनत अनंत सेट स्थानीय रूप से संबद्ध हुआ है (वास्तव में, [[हाइपरकनेक्टेड|हाइपरसंबद्ध]]) लेकिन स्थानीय रूप से पथ से संबद्ध नहीं है।<ref>Steen & Seebach, pp. 49–50</ref> | ||
# यूनिट स्क्वायर पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी | # यूनिट स्क्वायर पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी संबद्ध और स्थानीय रूप से संबद्ध है, लेकिन पथ संबद्ध नहीं है, न ही स्थानीय पथ संबद्ध है।<ref>Steen & Seebach, example 48, p. 73</ref> | ||
# [[किर्च स्थान]] | # [[किर्च स्थान]] संबद्ध हुआ है और स्थानीय रूप से संबद्ध हुआ है, लेकिन पथ से संबद्ध नहीं है, और किसी भी बिंदु पर पथ से संबद्ध नहीं है। वास्तव में यह [[पूरी तरह से पथ विच्छेदित]] है। | ||
[[प्रथम-गणनीय]] हॉसडॉर्फ़ स्थान <math>(X, \tau)</math> स्थानीय रूप से पथ से | [[प्रथम-गणनीय]] हॉसडॉर्फ़ स्थान <math>(X, \tau)</math> स्थानीय रूप से पथ से संबद्ध हुआ है यदि और केवल यदि <math>\tau</math> पर [[अंतिम टोपोलॉजी]] के बराबर है <math>X</math> सेट से प्रेरित <math>C([0, 1]; X)</math> सभी सतत पथों का <math>[0, 1] \to (X, \tau).</math> | ||
Line 59: | Line 56: | ||
{{collapse bottom}} | {{collapse bottom}} | ||
# स्थानीय जुड़ाव, परिभाषा के अनुसार, टोपोलॉजिकल रिक्त स्थान की एक [[स्थानीय संपत्ति]] है, यानी, एक टोपोलॉजिकल संपत्ति पी जैसे कि एक स्थान , स्थानीय संपत्ति द्वारा धारित सभी मेटाप्रॉपर्टी स्थानीय | # स्थानीय जुड़ाव, परिभाषा के अनुसार, टोपोलॉजिकल रिक्त स्थान की एक [[स्थानीय संपत्ति]] है, यानी, एक टोपोलॉजिकल संपत्ति पी जैसे कि एक स्थान , स्थानीय संपत्ति द्वारा धारित सभी मेटाप्रॉपर्टी स्थानीय संयोजकता के लिए मान्य हैं। विशेष रूप से: | ||
# कोई स्थान स्थानीय रूप से तभी | # कोई स्थान स्थानीय रूप से तभी संबद्ध होता है जब वह (खुले) संबद्ध उपसमुच्चय के [[आधार (टोपोलॉजी)]] को स्वीकार करता है। | ||
# [[ असंयुक्त संघ (टोपोलॉजी) ]] <math>\coprod_i 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>\prod_i X_i</math> स्थानीय रूप से संबद्ध हुआ है यदि और केवल यदि प्रत्येक <math>X_i</math> स्थानीय रूप से संबद्ध हुआ है और सीमित रूप से बहुत सारे को छोड़कर सभी <math>X_i</math> संबद्ध हुए हैं।<ref>Willard, theorem 27.13, p. 201</ref> | ||
# प्रत्येक [[हाइपरकनेक्टेड स्पेस]] स्थानीय रूप से | # प्रत्येक [[हाइपरकनेक्टेड स्पेस|हाइपरसंबद्ध स्पेस]] स्थानीय रूप से संबद्ध हुआ है, और संबद्ध हुआ है। | ||
==घटक और पथ घटक== | ==घटक और पथ घटक== | ||
Line 70: | Line 67: | ||
निम्नलिखित परिणाम परिभाषाओं से लगभग तुरंत मिलता है लेकिन काफी उपयोगी होगा: | निम्नलिखित परिणाम परिभाषाओं से लगभग तुरंत मिलता है लेकिन काफी उपयोगी होगा: | ||
लेम्मा: मान लीजिए कि X एक स्थान है, और <math>\{Y_i\}</math> X के उपसमुच्चय का एक परिवार। मान लीजिए कि <math> \bigcap_i Y_i </math> गैर-रिक्त है. फिर, यदि प्रत्येक <math>Y_i</math> | लेम्मा: मान लीजिए कि 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 शामिल हैं। इस प्रकार प्रत्येक संबंध एक [[समतुल्य संबंध]] है, और एक्स के विभाजन को [[समतुल्य वर्ग]]ों में परिभाषित करता है। हम इन दोनों विभाजनों पर बारी-बारी से विचार करते हैं। | ||
एक्स में एक्स के लिए, सेट <math>C_x</math> सभी बिंदुओं में से y ऐसा है <math>y \equiv_c x</math> 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> एक्स युक्त एक्स का अद्वितीय अधिकतम संबद्ध उपसमुच्चय है।<ref name="WillardProblem_a">विलार्ड, समस्या 26बी, पीपी. 195-196</ref> चूंकि | ||
का समापन <math>C_x</math> यह एक | का समापन <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> | ||
यदि एक्स में केवल सीमित रूप से कई | यदि एक्स में केवल सीमित रूप से कई संबद्ध हुए घटक हैं, तो प्रत्येक घटक बंद सेटों के एक सीमित संघ का पूरक है और इसलिए खुला है। सामान्य तौर पर, संबद्ध हुए घटकों को खुला होने की आवश्यकता नहीं है, क्योंकि, उदाहरण के लिए, पूरी तरह से डिस्कनेक्ट किए गए स्थान मौजूद हैं (यानी, <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> | ||
इसी तरह एक्स में एक्स, सेट <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> एक्स के सभी पथ से | इसी तरह एक्स में एक्स, सेट <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> एक्स के सभी पथ से संबद्ध उपसमूहों का संघ भी है जिसमें एक्स शामिल है, इसलिए लेम्मा द्वारा स्वयं पथ संबद्ध हुआ है। क्योंकि पथ से संबद्ध सेट संबद्ध हुए हैं, हमारे पास है <math>PC_x \subseteq C_x</math> सभी के लिए <math>x \in X.</math> | ||
हालाँकि, पथ से | हालाँकि, पथ से संबद्ध सेट को बंद करने के लिए पथ से संबद्ध होने की आवश्यकता नहीं है: उदाहरण के लिए, टोपोलॉजिस्ट का साइन वक्र खुले उपसमुच्चय U का बंद होना है जिसमें x > 0 के साथ सभी बिंदु (x, y) शामिल हैं, और U, एक के लिए होमोमोर्फिक है। वास्तविक रेखा पर अंतराल निश्चित रूप से पथ से संबद्ध हुआ है। इसके अलावा, टोपोलॉजिस्ट के साइन वक्र सी के पथ घटक यू हैं, जो खुला है लेकिन बंद नहीं है, और <math>C \setminus U,</math> जो बंद है लेकिन खुला नहीं है. | ||
एक स्थान स्थानीय रूप से पथ से | एक स्थान स्थानीय रूप से पथ से संबद्ध होता है यदि और केवल तभी जब सभी खुले उपसमुच्चय यू के लिए, यू के पथ घटक खुले हों।<ref name="WillardProblem" /> इसलिए स्थानीय पथ से संबद्ध स्थान के पथ घटक एक्स को जोड़ीदार असंयुक्त खुले सेटों में विभाजित करते हैं। इसका तात्पर्य यह है कि स्थानीय रूप से पथ से संबद्ध स्थान का एक खुला संबद्ध उपस्थान आवश्यक रूप से पथ से संबद्ध हुआ है।<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>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>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> स्थिर मानचित्र हैं. वास्तव में, किसी संबद्ध हुए स्थान से पूरी तरह से असंबद्ध स्थान तक का कोई भी निरंतर मानचित्र स्थिर होना चाहिए। | ||
==अर्धघटक== | ==अर्धघटक== | ||
Line 98: | Line 95: | ||
ज़रूर <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> | ||
यदि एक्स स्थानीय रूप से | यदि एक्स स्थानीय रूप से संबद्ध हुआ है, तो, ऊपर के अनुसार, <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> | ||
Line 106: | Line 103: | ||
# किसी स्थान का एक उदाहरण जिसके अर्धघटक उसके घटकों के बराबर नहीं हैं, दोहरे सीमा बिंदु वाला एक अनुक्रम है। यह स्थान पूरी तरह से अलग हो गया है, लेकिन दोनों सीमा बिंदु एक ही अर्धघटक में स्थित हैं, क्योंकि उनमें से किसी एक वाले क्लोपेन सेट में अनुक्रम की एक पूंछ होनी चाहिए, और इस प्रकार दूसरा बिंदु भी होना चाहिए। | # किसी स्थान का एक उदाहरण जिसके अर्धघटक उसके घटकों के बराबर नहीं हैं, दोहरे सीमा बिंदु वाला एक अनुक्रम है। यह स्थान पूरी तरह से अलग हो गया है, लेकिन दोनों सीमा बिंदु एक ही अर्धघटक में स्थित हैं, क्योंकि उनमें से किसी एक वाले क्लोपेन सेट में अनुक्रम की एक पूंछ होनी चाहिए, और इस प्रकार दूसरा बिंदु भी होना चाहिए। | ||
# | # स्पेस <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>QC_x = C_x = \{x\}</math> सभी बिंदुओं के लिए x.<ref>Steen & Seebach, pp. 54-55</ref> | ||
Revision as of 17:47, 13 July 2023
गणित की टोपोलॉजी और अन्य शाखाओं में, एक टोपोलॉजिकल स्पेस X स्थानीय रूप से संबद्ध होता है यदि हर बिंदु एक आसन्न आधार को स्वीकार करता है जिसमें पूरी तरह से विवृत, संबद्ध हुआ समुच्चय होता है।
पृष्ठभूमि
टोपोलॉजी के पूरे इतिहास में, संयोजकता और संहतता सबसे व्यापक रूप से अध्ययन किए गए दो टोपोलॉजिकल गुण रहे हैं। वास्तव में, यूक्लिडियन स्पेस के उपसमुच्चय के बीच भी इन गुणों का अध्ययन, और यूक्लिडियन मीट्रिक के विशेष रूप से उनकी स्वतंत्रता की मान्यता ने एक टोपोलॉजिकल संपत्ति और इस प्रकार एक टोपोलॉजिकल स्पेस की धारणा को स्पष्ट करने में एक बड़ी भूमिका निभाई। हालाँकि, जबकि यूक्लिडियन स्पेस के सघन उपसमुच्चय की संरचना को हेइन-बोरेल प्रमेय के माध्यम से काफी पहले ही समझ लिया गया था, के संबद्ध उपसमुच्चय (n>1 के लिए) बहुत अधिक जटिल साबित हुए। दरअसल, जबकि कोई भी सघन हॉसडॉर्फ स्पेस स्थानीय रूप से सघन होता है, एक संबद्ध स्पेस - और यहां तक कि यूक्लिडियन प्लेन का एक संबद्ध उपसमुच्चय - स्थानीय रूप से कनेक्ट होने की आवश्यकता नहीं है (नीचे देखें)।
इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की एक समृद्ध श्रृंखला शुरू हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्थान की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर कमजोर स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा।
बीसवीं सदी के उत्तरार्ध में, अनुसंधान की प्रवृत्ति कई गुना जैसे स्थानों के अधिक गहन अध्ययन की ओर स्थानांतरित हो गई, जो स्थानीय रूप से अच्छी तरह से समझे जाते हैं (यूक्लिडियन स्पेस के लिए स्थानीय रूप से होमोमोर्फिक होने के कारण) लेकिन जटिल वैश्विक व्यवहार रखते हैं। इसका मतलब यह है कि यद्यपि मैनिफोल्ड्स की मूल बिंदु-सेट टोपोलॉजी अपेक्षाकृत सरल है (क्योंकि अवधारणा की अधिकांश परिभाषाओं के अनुसार मैनिफोल्ड्स अनिवार्य रूप से मेट्रिज़ेबल हैं), उनकी बीजगणितीय टोपोलॉजी कहीं अधिक जटिल है। इस आधुनिक परिप्रेक्ष्य से, स्थानीय पथ संयोजकता की मजबूत संपत्ति अधिक महत्वपूर्ण हो जाती है: उदाहरण के लिए, किसी स्थान को सार्वभौमिक कवर स्वीकार करने के लिए इसे कनेक्ट किया जाना चाहिए और स्थानीय रूप से पथ से संबद्ध होना चाहिए। स्थानीय पथ संयोजकता पर भी चर्चा की जाएगी।
एक स्थान स्थानीय रूप से तभी संबद्ध होता है जब प्रत्येक खुले सेट यू के लिए, यू के संबद्ध घटक (सबस्पेस टोपोलॉजी में) खुले हों। उदाहरण के लिए, यह इस प्रकार है कि स्थानीय रूप से संबद्ध स्थान से पूरी तरह से डिस्कनेक्ट किए गए स्थान तक निरंतर कार्य स्थानीय रूप से स्थिर होना चाहिए। वास्तव में घटकों का खुलापन इतना स्वाभाविक है कि किसी को यह ध्यान में रखना चाहिए कि यह सामान्य रूप से सच नहीं है: उदाहरण के लिए कैंटर स्पेस पूरी तरह से अलग हो गया है लेकिन अलग स्थान नहीं है।
परिभाषाएँ
होने देना एक टोपोलॉजिकल स्पेस बनें, और रहने दें का एक बिंदु हो एक स्थान स्थानीय रूप से संबद्ध कहा जाता है [1] यदि प्रत्येक पड़ोस (गणित) का का एक संबद्ध (टोपोलॉजी) खुला पड़ोस शामिल है , अर्थात्, यदि बात है एक पड़ोस का आधार है जिसमें संबद्ध हुए खुले सेट शामिल हैं। स्थानीय रूप से संबद्ध हुआ स्थान[2][1]एक ऐसा स्थान है जो अपने प्रत्येक बिंदु पर स्थानीय रूप से संबद्ध हुआ है।
स्थानीय जुड़ाव का मतलब जुड़ाव नहीं है (दो असंयुक्त खुले अंतरालों पर विचार करें)। उदाहरण के लिए); और संयोजकता का मतलब स्थानीय संयोजकता नहीं है (टोपोलॉजिस्ट का साइन कर्व देखें)।
एक स्थान स्थानीय रूप से संबद्ध हुए पथ को कहा जाता है [1]यदि प्रत्येक पड़ोस के खुले पड़ोस से संबद्ध एक पथ शामिल है , अर्थात्, यदि बात है एक पड़ोस आधार है जिसमें पथ से संबद्ध खुले सेट शामिल हैं। एक स्थानीय पथ से संबद्ध स्थान[3][1]एक ऐसा स्थान है जो अपने प्रत्येक बिंदु पर स्थानीय पथ से संबद्ध हुआ है।
स्थानीय रूप से पथ से संबद्ध स्थान स्थानीय रूप से संबद्ध हुए हैं। उलटा पकड़ में नहीं आता है (इकाई वर्ग पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी देखें)।
छोटे पैमाने पर जुड़ाव
एक स्थान संबद्ध इम क्लेनेन एट कहा जाता है [4][5]या कमजोर रूप से स्थानीय रूप से संबद्ध हुआ है [6] यदि प्रत्येक पड़ोस का एक संबद्ध हुआ पड़ोस शामिल है , अर्थात्, यदि बात है एक पड़ोस आधार है जिसमें संबद्ध हुए सेट शामिल हैं। किसी स्थान को कमजोर रूप से स्थानीय रूप से संबद्ध हुआ कहा जाता है यदि वह अपने प्रत्येक बिंदु पर कमजोर रूप से स्थानीय रूप से संबद्ध हुआ है; जैसा कि नीचे बताया गया है, यह अवधारणा वास्तव में स्थानीय रूप से संबद्ध होने के समान है।
एक स्थान जो स्थानीय रूप से संबद्ध हुआ है छोटे से में संबद्ध हुआ है जैसा कि उदाहरण के लिए घटते झाड़ू स्थानों के एक निश्चित अनंत संघ द्वारा दिखाया गया है, यह उलटा नहीं है, जो एक विशेष बिंदु पर संबद्ध हुआ है, लेकिन उस बिंदु पर स्थानीय रूप से संबद्ध नहीं है।[7][8][9] हालाँकि, यदि कोई स्थान अपने प्रत्येक बिंदु पर संबद्ध हुआ है, तो यह स्थानीय रूप से संबद्ध हुआ है।[10] एक स्थान कहा जाता है कि पथ संबद्ध हुआ है [5] यदि प्रत्येक पड़ोस के पड़ोस से संबद्ध एक पथ शामिल है , अर्थात्, यदि बात है एक पड़ोस आधार है जिसमें पथ से संबद्ध सेट शामिल हैं।
एक स्थान जो स्थानीय रूप से पथ से संबद्ध हुआ है पथ छोटे से संबद्ध हुआ है जैसा कि ऊपर बताए गए घटते झाड़ू स्थानों के समान अनंत संघ द्वारा दिखाया गया है, इसका उलटा असर नहीं करता है। हालाँकि, यदि कोई स्थान अपने प्रत्येक बिंदु पर पथ से संबद्ध हुआ है, तो यह स्थानीय रूप से पथ से संबद्ध हुआ है।[11]
पहले उदाहरण
- किसी भी सकारात्मक पूर्णांक n के लिए, यूक्लिडियन स्पेस स्थानीय पथ से संबद्ध हुआ है, इस प्रकार स्थानीय रूप से संबद्ध हुआ है; यह भी संबद्ध हुआ है.
- अधिक सामान्यतः, प्रत्येक स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस स्थानीय रूप से संबद्ध होता है, क्योंकि प्रत्येक बिंदु पर उत्तल सेट (और इसलिए संबद्ध हुआ) पड़ोस का एक स्थानीय आधार होता है।
- उपस्थान असली लाइन का स्थानीय रूप से पथ संबद्ध है लेकिन संबद्ध नहीं है.
- टोपोलॉजिस्ट का साइन वक्र यूक्लिडियन प्लेन का एक उपस्थान है जो संबद्ध हुआ है, लेकिन स्थानीय रूप से संबद्ध नहीं है।[12]
- स्पेस मानक यूक्लिडियन टोपोलॉजी से संपन्न परिमेय संख्याएँ, न तो जुड़ी हुई हैं और न ही स्थानीय रूप से जुड़ी हुई हैं।
- कंघी स्थान पथ से संबद्ध है लेकिन स्थानीय रूप से पथ से संबद्ध नहीं है, और स्थानीय रूप से भी संबद्ध नहीं है।
- सहपरिमित टोपोलॉजी से संपन्न एक अनगिनत अनंत सेट स्थानीय रूप से संबद्ध हुआ है (वास्तव में, हाइपरसंबद्ध) लेकिन स्थानीय रूप से पथ से संबद्ध नहीं है।[13]
- यूनिट स्क्वायर पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी संबद्ध और स्थानीय रूप से संबद्ध है, लेकिन पथ संबद्ध नहीं है, न ही स्थानीय पथ संबद्ध है।[14]
- किर्च स्थान संबद्ध हुआ है और स्थानीय रूप से संबद्ध हुआ है, लेकिन पथ से संबद्ध नहीं है, और किसी भी बिंदु पर पथ से संबद्ध नहीं है। वास्तव में यह पूरी तरह से पथ विच्छेदित है।
प्रथम-गणनीय हॉसडॉर्फ़ स्थान स्थानीय रूप से पथ से संबद्ध हुआ है यदि और केवल यदि पर अंतिम टोपोलॉजी के बराबर है सेट से प्रेरित सभी सतत पथों का
गुण
Theorem — A space is locally connected if and only if it is weakly locally connected.[10]
style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:left; " | Proof
|
---|
गैर-तुच्छ दिशा के लिए, मान लें स्थानीय रूप से कमजोर रूप से जुड़ा हुआ है। यह दिखाने के लिए कि यह स्थानीय रूप से जुड़ा हुआ है, यह दिखाना पर्याप्त है कि खुले सेट के जुड़े घटक (टोपोलॉजी) खुले हैं। होने देना में खुले रहो और जाने का एक जुड़ा हुआ घटक बनें होने देना का एक तत्व बनें तब का पड़ोस है ताकि एक जुड़ा हुआ पड़ोस हो का में निहित तब से जुड़ा हुआ है और शामिल है का एक उपसमुच्चय होना चाहिए (जुड़ा हुआ घटक युक्त ). इसलिए का एक आंतरिक बिंदु है तब से का एक मनमाना बिंदु था में खुला है इसलिए, स्थानीय रूप से जुड़ा हुआ है. |
- स्थानीय जुड़ाव, परिभाषा के अनुसार, टोपोलॉजिकल रिक्त स्थान की एक स्थानीय संपत्ति है, यानी, एक टोपोलॉजिकल संपत्ति पी जैसे कि एक स्थान , स्थानीय संपत्ति द्वारा धारित सभी मेटाप्रॉपर्टी स्थानीय संयोजकता के लिए मान्य हैं। विशेष रूप से:
- कोई स्थान स्थानीय रूप से तभी संबद्ध होता है जब वह (खुले) संबद्ध उपसमुच्चय के आधार (टोपोलॉजी) को स्वीकार करता है।
- असंयुक्त संघ (टोपोलॉजी) एक परिवार का रिक्त स्थान स्थानीय रूप से संबद्ध हुआ है यदि और केवल यदि प्रत्येक स्थानीय रूप से संबद्ध हुआ है. विशेष रूप से, चूंकि एक बिंदु निश्चित रूप से स्थानीय रूप से संबद्ध हुआ है, इसका मतलब यह है कि कोई भी अलग स्थान स्थानीय रूप से संबद्ध हुआ है। दूसरी ओर, एक अलग स्थान पूरी तरह से डिस्कनेक्ट हो गया है, इसलिए केवल तभी संबद्ध हुआ है जब इसमें अधिकतम एक बिंदु हो।
- इसके विपरीत, एक पूरी तरह से अलग किया गया स्थान स्थानीय रूप से तभी संबद्ध होता है जब वह अलग हो। इसका उपयोग उपरोक्त तथ्य को समझाने के लिए किया जा सकता है कि तर्कसंगत संख्याएँ स्थानीय रूप से जुड़ी नहीं हैं।
- एक गैर-रिक्त उत्पाद स्थान स्थानीय रूप से संबद्ध हुआ है यदि और केवल यदि प्रत्येक स्थानीय रूप से संबद्ध हुआ है और सीमित रूप से बहुत सारे को छोड़कर सभी संबद्ध हुए हैं।[15]
- प्रत्येक हाइपरसंबद्ध स्पेस स्थानीय रूप से संबद्ध हुआ है, और संबद्ध हुआ है।
घटक और पथ घटक
निम्नलिखित परिणाम परिभाषाओं से लगभग तुरंत मिलता है लेकिन काफी उपयोगी होगा:
लेम्मा: मान लीजिए कि X एक स्थान है, और X के उपसमुच्चय का एक परिवार। मान लीजिए कि गैर-रिक्त है. फिर, यदि प्रत्येक संबद्ध हुआ है (क्रमशः, पथ संबद्ध हुआ) फिर संघ संबद्ध हुआ है (क्रमशः, पथ संबद्ध हुआ है)।[16] अब टोपोलॉजिकल स्पेस X: for पर दो संबंधों पर विचार करें लिखना:
- यदि X का एक संबद्ध हुआ उपसमुच्चय है जिसमें x और y दोनों हैं; और
- यदि X का एक पथ से संबद्ध उपसमुच्चय है जिसमें x और y दोनों हैं।
जाहिर तौर पर दोनों संबंध प्रतिवर्ती और सममित हैं। इसके अलावा, यदि x और y एक संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय A में समाहित हैं और y और z एक संबद्ध हुए (क्रमशः, पथ से संबद्ध) उपसमुच्चय B में संबद्ध हुए हैं, तो लेम्मा का तात्पर्य है कि एक संबद्ध हुआ (क्रमशः, पथ संबद्ध हुआ) उपसमुच्चय है जिसमें x, y और z शामिल हैं। इस प्रकार प्रत्येक संबंध एक समतुल्य संबंध है, और एक्स के विभाजन को समतुल्य वर्गों में परिभाषित करता है। हम इन दोनों विभाजनों पर बारी-बारी से विचार करते हैं।
एक्स में एक्स के लिए, सेट सभी बिंदुओं में से y ऐसा है x का संबद्ध कंपोनेंट (टोपोलॉजी) कहलाता है।[17] लेम्मा का तात्पर्य यह है एक्स युक्त एक्स का अद्वितीय अधिकतम संबद्ध उपसमुच्चय है।[18] चूंकि का समापन यह एक संबद्ध हुआ उपसमुच्चय भी है जिसमें x शामिल है,[19] यह इस प्रकार है कि बन्द है।[20] यदि एक्स में केवल सीमित रूप से कई संबद्ध हुए घटक हैं, तो प्रत्येक घटक बंद सेटों के एक सीमित संघ का पूरक है और इसलिए खुला है। सामान्य तौर पर, संबद्ध हुए घटकों को खुला होने की आवश्यकता नहीं है, क्योंकि, उदाहरण के लिए, पूरी तरह से डिस्कनेक्ट किए गए स्थान मौजूद हैं (यानी, सभी बिंदुओं के लिए x) जो अलग-अलग नहीं हैं, जैसे कैंटर स्पेस। हालाँकि, स्थानीय रूप से संबद्ध स्थान के संबद्ध घटक भी खुले हैं, और इस प्रकार क्लोपेन सेट हैं।[21] यह इस प्रकार है कि स्थानीय रूप से संबद्ध हुआ स्थान X एक टोपोलॉजिकल असंयुक्त संघ है इसके विशिष्ट संबद्ध घटकों की। इसके विपरीत, यदि X के प्रत्येक खुले उपसमुच्चय U के लिए, U के संबद्ध हुए घटक खुले हैं, तो X संबद्ध हुए सेटों का एक आधार स्वीकार करता है और इसलिए स्थानीय रूप से संबद्ध हुआ है।[22] इसी तरह एक्स में एक्स, सेट सभी बिंदुओं में से y ऐसा है x का पथ घटक कहलाता है।[23] ऊपरोक्त अनुसार, एक्स के सभी पथ से संबद्ध उपसमूहों का संघ भी है जिसमें एक्स शामिल है, इसलिए लेम्मा द्वारा स्वयं पथ संबद्ध हुआ है। क्योंकि पथ से संबद्ध सेट संबद्ध हुए हैं, हमारे पास है सभी के लिए हालाँकि, पथ से संबद्ध सेट को बंद करने के लिए पथ से संबद्ध होने की आवश्यकता नहीं है: उदाहरण के लिए, टोपोलॉजिस्ट का साइन वक्र खुले उपसमुच्चय U का बंद होना है जिसमें x > 0 के साथ सभी बिंदु (x, y) शामिल हैं, और U, एक के लिए होमोमोर्फिक है। वास्तविक रेखा पर अंतराल निश्चित रूप से पथ से संबद्ध हुआ है। इसके अलावा, टोपोलॉजिस्ट के साइन वक्र सी के पथ घटक यू हैं, जो खुला है लेकिन बंद नहीं है, और जो बंद है लेकिन खुला नहीं है.
एक स्थान स्थानीय रूप से पथ से संबद्ध होता है यदि और केवल तभी जब सभी खुले उपसमुच्चय यू के लिए, यू के पथ घटक खुले हों।[23] इसलिए स्थानीय पथ से संबद्ध स्थान के पथ घटक एक्स को जोड़ीदार असंयुक्त खुले सेटों में विभाजित करते हैं। इसका तात्पर्य यह है कि स्थानीय रूप से पथ से संबद्ध स्थान का एक खुला संबद्ध उपस्थान आवश्यक रूप से पथ से संबद्ध हुआ है।[24] इसके अलावा, यदि कोई स्थान स्थानीय रूप से पथ से संबद्ध हुआ है, तो वह स्थानीय रूप से भी संबद्ध हुआ है, इसलिए सभी के लिए संबद्ध हुआ और खुला है, इसलिए पथ संबद्ध हुआ है, अर्थात, अर्थात्, स्थानीय रूप से पथ से संबद्ध स्थान के लिए घटक और पथ घटक मेल खाते हैं।
उदाहरण
- सेट (कहाँ ) शब्दावली क्रम में टोपोलॉजी में बिल्कुल एक घटक होता है (क्योंकि यह संबद्ध हुआ है) लेकिन इसमें अनगिनत पथ घटक होते हैं। दरअसल, फॉर्म का कोई भी सेट I से संबंधित प्रत्येक a के लिए एक पथ घटक है।
- होने देना से एक सतत मानचित्र बनें को (जो है निचली सीमा टोपोलॉजी में)। तब से संबद्ध हुआ है, और एक सतत मानचित्र के अंतर्गत संबद्ध स्थान की छवि जुड़ी होनी चाहिए, की छवि अंतर्गत संबद्ध होना चाहिए. इसलिए, की छवि अंतर्गत के एक घटक का उपसमुच्चय होना चाहिए चूँकि यह छवि गैर-रिक्त है, 'से एकमात्र सतत मानचित्र को स्थिर मानचित्र हैं. वास्तव में, किसी संबद्ध हुए स्थान से पूरी तरह से असंबद्ध स्थान तक का कोई भी निरंतर मानचित्र स्थिर होना चाहिए।
अर्धघटक
एक्स को टपॉलजी का मूल्य रहने दें। हम X पर तीसरा संबंध परिभाषित करते हैं: यदि X को खुले सेट A और B में इस प्रकार अलग नहीं किया गया है कि x, A का एक तत्व है और y, B का एक तत्व है। यह X और समतुल्य वर्ग पर एक तुल्यता संबंध है x युक्त को x का 'अर्धघटक' कहा जाता है।[18]
इसे एक्स के सभी क्लोपेन उपसमुच्चय के प्रतिच्छेदन के रूप में भी चित्रित किया जा सकता है जिसमें एक्स शामिल है।[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.
- ↑ 10.0 10.1 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.