स्थानीय संबद्ध समष्टि: Difference between revisions

From Vigyanwiki
No edit summary
Line 6: Line 6:
इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की एक समृद्ध श्रृंखला शुरू हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्थान की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर कमजोर स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा।
इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की एक समृद्ध श्रृंखला शुरू हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्थान की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर कमजोर स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा।


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


एक स्थान स्थानीय रूप से तभी संबद्ध होता है जब प्रत्येक खुले सेट यू के लिए, यू के संबद्ध घटक ([[सबस्पेस टोपोलॉजी]] में) खुले हों। उदाहरण के लिए, यह इस प्रकार है कि स्थानीय रूप से संबद्ध स्थान से पूरी तरह से डिस्कनेक्ट किए गए स्थान तक निरंतर कार्य स्थानीय रूप से स्थिर होना चाहिए। वास्तव में घटकों का खुलापन इतना स्वाभाविक है कि किसी को यह ध्यान में रखना चाहिए कि यह सामान्य रूप से सच नहीं है: उदाहरण के लिए [[कैंटर स्पेस]] पूरी तरह से अलग हो गया है लेकिन अलग स्थान नहीं है।
एक स्थान स्थानीय रूप से तभी जुड़ा होता है जब प्रत्येक खुले सेट ''U'' के लिए, ''U'' के कनेक्टेड घटक (सबस्पेस टोपोलॉजी में) खुले हों। उदाहरण के लिए, यह निम्नानुसार है कि स्थानीय रूप से जुड़े स्थान से पूरी तरह से डिस्कनेक्ट किए गए स्थान तक निरंतर कार्य स्थानीय रूप से स्थिर होना चाहिए। वास्तव में, घटकों का खुलापन इतना स्वाभाविक है कि किसी को यह ध्यान में रखना चाहिए कि यह सामान्य रूप से सच नहीं है: उदाहरण के लिए, [[कैंटर स्पेस]] पूरी तरह से अलग है लेकिन अलग नहीं है।


==परिभाषाएँ==
==परिभाषाएँ==


होने देना <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>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>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>\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" /> एक ऐसा स्थान है जो स्थानीय रूप से अपने प्रत्येक बिंदु पर जुड़ा हुआ है.
 
स्थानीय रूप से पथ से जुड़े स्थान स्थानीय रूप से जुड़े हुए हैं। इसके विपरीत ( ([[इकाई वर्ग पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी]] देखें)


===छोटे पैमाने पर जुड़ाव===
===छोटे पैमाने पर जुड़ाव===

Revision as of 18:02, 13 July 2023

इस टोपोलॉजिकल स्पेस में, V, p का पड़ोस है और इसमें एक संबद्ध ओपन सेट (गहरे हरे रंग की डिस्क) है जिसमें p शामिल है।

गणित की टोपोलॉजी और अन्य शाखाओं में, एक टोपोलॉजिकल स्पेस X स्थानीय रूप से संबद्ध होता है यदि हर बिंदु एक आसन्न आधार को स्वीकार करता है जिसमें पूरी तरह से विवृत, संबद्ध हुआ समुच्चय होता है।

पृष्ठभूमि

टोपोलॉजी के पूरे इतिहास में, संयोजकता और संहतता सबसे व्यापक रूप से अध्ययन किए गए दो टोपोलॉजिकल गुण रहे हैं। वास्तव में, यूक्लिडियन स्पेस के उपसमुच्चय के बीच भी इन गुणों का अध्ययन, और यूक्लिडियन मीट्रिक के विशेष रूप से उनकी स्वतंत्रता की मान्यता ने एक टोपोलॉजिकल संपत्ति और इस प्रकार एक टोपोलॉजिकल स्पेस की धारणा को स्पष्ट करने में एक बड़ी भूमिका निभाई। हालाँकि, जबकि यूक्लिडियन स्पेस के सघन उपसमुच्चय की संरचना को हेइन-बोरेल प्रमेय के माध्यम से काफी पहले ही समझ लिया गया था, के संबद्ध उपसमुच्चय (n>1 के लिए) बहुत अधिक जटिल साबित हुए। दरअसल, जबकि कोई भी सघन हॉसडॉर्फ स्पेस स्थानीय रूप से सघन होता है, एक संबद्ध स्पेस - और यहां तक ​​कि यूक्लिडियन प्लेन का एक संबद्ध उपसमुच्चय - स्थानीय रूप से कनेक्ट होने की आवश्यकता नहीं है (नीचे देखें)।

इससे बीसवीं शताब्दी के पूर्वार्ध में अनुसंधान की एक समृद्ध श्रृंखला शुरू हुई, जिसमें टोपोलॉजिस्ट ने स्थानीय रूप से संबद्ध स्थान की धारणा पर तेजी से सूक्ष्म और जटिल विविधताओं के बीच निहितार्थ का अध्ययन किया। उदाहरण के तौर पर, एक बिंदु पर कमजोर स्थानीय संयोजकता की धारणा और स्थानीय संयोजकता से इसके संबंध पर लेख में बाद में विचार किया जाएगा।

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

एक स्थान स्थानीय रूप से तभी जुड़ा होता है जब प्रत्येक खुले सेट U के लिए, U के कनेक्टेड घटक (सबस्पेस टोपोलॉजी में) खुले हों। उदाहरण के लिए, यह निम्नानुसार है कि स्थानीय रूप से जुड़े स्थान से पूरी तरह से डिस्कनेक्ट किए गए स्थान तक निरंतर कार्य स्थानीय रूप से स्थिर होना चाहिए। वास्तव में, घटकों का खुलापन इतना स्वाभाविक है कि किसी को यह ध्यान में रखना चाहिए कि यह सामान्य रूप से सच नहीं है: उदाहरण के लिए, कैंटर स्पेस पूरी तरह से अलग है लेकिन अलग नहीं है।

परिभाषाएँ

माना कि एक टोपोलॉजिकल स्पेस है और मान लीजिए कि , का एक बिंदु है।

एक स्पेस को स्थानीय रूप से [1] से जोड़ा जाता है, यदि के प्रत्येक पड़ोस में से जुड़ा हुआ खुला पड़ोस है,  यदि बिंदु में एक पड़ोस का आधार है जो जुड़े हुए खुले सेटों से युक्त है। स्थानीय रूप से जुड़ा हुआ स्थान[2][1] एक ऐसा स्थान है जो स्थानीय रूप से अपने प्रत्येक बिंदु पर जुड़ा हुआ है।

स्थानीय कनेक्टिविटी का मतलब कनेक्टिविटी नहीं है (उदाहरण के लिए में दो असंयुक्त खुले अंतराल पर विचार करें); और कनेक्टिविटी का मतलब स्थानीय कनेक्टिविटी नहीं है (टोपोलॉजिस्ट की साइन वक्र देखें)।

एक स्पेस को [1] से जुड़ा एक स्थानीय पथ कहा जाता है, यदि के प्रत्येक पड़ोस में का पथ-जुड़ा खुला पड़ोस होता है, यदि बिंदु में पथ-जुड़े खुले सेटों से मिलकर एक पड़ोस आधार है. स्थानीय रूप से पथ-जुड़ा स्थान [3][1] एक ऐसा स्थान है जो स्थानीय रूप से अपने प्रत्येक बिंदु पर जुड़ा हुआ है.

स्थानीय रूप से पथ से जुड़े स्थान स्थानीय रूप से जुड़े हुए हैं। इसके विपरीत ( (इकाई वर्ग पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी देखें)

छोटे पैमाने पर जुड़ाव

एक स्थान संबद्ध इम क्लेनेन एट कहा जाता है [4][5]या कमजोर रूप से स्थानीय रूप से संबद्ध हुआ है [6] यदि प्रत्येक पड़ोस का एक संबद्ध हुआ पड़ोस शामिल है , अर्थात्, यदि बात है एक पड़ोस आधार है जिसमें संबद्ध हुए सेट शामिल हैं। किसी स्थान को कमजोर रूप से स्थानीय रूप से संबद्ध हुआ कहा जाता है यदि वह अपने प्रत्येक बिंदु पर कमजोर रूप से स्थानीय रूप से संबद्ध हुआ है; जैसा कि नीचे बताया गया है, यह अवधारणा वास्तव में स्थानीय रूप से संबद्ध होने के समान है।

एक स्थान जो स्थानीय रूप से संबद्ध हुआ है छोटे से में संबद्ध हुआ है जैसा कि उदाहरण के लिए घटते झाड़ू स्थानों के एक निश्चित अनंत संघ द्वारा दिखाया गया है, यह उलटा नहीं है, जो एक विशेष बिंदु पर संबद्ध हुआ है, लेकिन उस बिंदु पर स्थानीय रूप से संबद्ध नहीं है।[7][8][9] हालाँकि, यदि कोई स्थान अपने प्रत्येक बिंदु पर संबद्ध हुआ है, तो यह स्थानीय रूप से संबद्ध हुआ है।[10] एक स्थान कहा जाता है कि पथ संबद्ध हुआ है [5] यदि प्रत्येक पड़ोस के पड़ोस से संबद्ध एक पथ शामिल है , अर्थात्, यदि बात है एक पड़ोस आधार है जिसमें पथ से संबद्ध सेट शामिल हैं।

एक स्थान जो स्थानीय रूप से पथ से संबद्ध हुआ है पथ छोटे से संबद्ध हुआ है जैसा कि ऊपर बताए गए घटते झाड़ू स्थानों के समान अनंत संघ द्वारा दिखाया गया है, इसका उलटा असर नहीं करता है। हालाँकि, यदि कोई स्थान अपने प्रत्येक बिंदु पर पथ से संबद्ध हुआ है, तो यह स्थानीय रूप से पथ से संबद्ध हुआ है।[11]


पहले उदाहरण

  1. किसी भी सकारात्मक पूर्णांक n के लिए, यूक्लिडियन स्पेस स्थानीय पथ से संबद्ध हुआ है, इस प्रकार स्थानीय रूप से संबद्ध हुआ है; यह भी संबद्ध हुआ है.
  2. अधिक सामान्यतः, प्रत्येक स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस स्थानीय रूप से संबद्ध होता है, क्योंकि प्रत्येक बिंदु पर उत्तल सेट (और इसलिए संबद्ध हुआ) पड़ोस का एक स्थानीय आधार होता है।
  3. उपस्थान असली लाइन का स्थानीय रूप से पथ संबद्ध है लेकिन संबद्ध नहीं है.
  4. टोपोलॉजिस्ट का साइन वक्र यूक्लिडियन प्लेन का एक उपस्थान है जो संबद्ध हुआ है, लेकिन स्थानीय रूप से संबद्ध नहीं है।[12]
  5. स्पेस मानक यूक्लिडियन टोपोलॉजी से संपन्न परिमेय संख्याएँ, न तो जुड़ी हुई हैं और न ही स्थानीय रूप से जुड़ी हुई हैं।
  6. कंघी स्थान पथ से संबद्ध है लेकिन स्थानीय रूप से पथ से संबद्ध नहीं है, और स्थानीय रूप से भी संबद्ध नहीं है।
  7. सहपरिमित टोपोलॉजी से संपन्न एक अनगिनत अनंत सेट स्थानीय रूप से संबद्ध हुआ है (वास्तव में, हाइपरसंबद्ध) ​​लेकिन स्थानीय रूप से पथ से संबद्ध नहीं है।[13]
  8. यूनिट स्क्वायर पर लेक्सिकोग्राफ़िक ऑर्डर टोपोलॉजी संबद्ध और स्थानीय रूप से संबद्ध है, लेकिन पथ संबद्ध नहीं है, न ही स्थानीय पथ संबद्ध है।[14]
  9. किर्च स्थान संबद्ध हुआ है और स्थानीय रूप से संबद्ध हुआ है, लेकिन पथ से संबद्ध नहीं है, और किसी भी बिंदु पर पथ से संबद्ध नहीं है। वास्तव में यह पूरी तरह से पथ विच्छेदित है।

प्रथम-गणनीय हॉसडॉर्फ़ स्थान स्थानीय रूप से पथ से संबद्ध हुआ है यदि और केवल यदि पर अंतिम टोपोलॉजी के बराबर है सेट से प्रेरित सभी सतत पथों का


गुण

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

गैर-तुच्छ दिशा के लिए, मान लें स्थानीय रूप से कमजोर रूप से जुड़ा हुआ है। यह दिखाने के लिए कि यह स्थानीय रूप से जुड़ा हुआ है, यह दिखाना पर्याप्त है कि खुले सेट के जुड़े घटक (टोपोलॉजी) खुले हैं।

होने देना में खुले रहो और जाने का एक जुड़ा हुआ घटक बनें होने देना का एक तत्व बनें तब का पड़ोस है ताकि एक जुड़ा हुआ पड़ोस हो का में निहित तब से जुड़ा हुआ है और शामिल है का एक उपसमुच्चय होना चाहिए (जुड़ा हुआ घटक युक्त ). इसलिए का एक आंतरिक बिंदु है तब से का एक मनमाना बिंदु था में खुला है इसलिए, स्थानीय रूप से जुड़ा हुआ है.

  1. स्थानीय जुड़ाव, परिभाषा के अनुसार, टोपोलॉजिकल रिक्त स्थान की एक स्थानीय संपत्ति है, यानी, एक टोपोलॉजिकल संपत्ति पी जैसे कि एक स्थान , स्थानीय संपत्ति द्वारा धारित सभी मेटाप्रॉपर्टी स्थानीय संयोजकता के लिए मान्य हैं। विशेष रूप से:
  2. कोई स्थान स्थानीय रूप से तभी संबद्ध होता है जब वह (खुले) संबद्ध उपसमुच्चय के आधार (टोपोलॉजी) को स्वीकार करता है।
  3. असंयुक्त संघ (टोपोलॉजी) एक परिवार का रिक्त स्थान स्थानीय रूप से संबद्ध हुआ है यदि और केवल यदि प्रत्येक स्थानीय रूप से संबद्ध हुआ है. विशेष रूप से, चूंकि एक बिंदु निश्चित रूप से स्थानीय रूप से संबद्ध हुआ है, इसका मतलब यह है कि कोई भी अलग स्थान स्थानीय रूप से संबद्ध हुआ है। दूसरी ओर, एक अलग स्थान पूरी तरह से डिस्कनेक्ट हो गया है, इसलिए केवल तभी संबद्ध हुआ है जब इसमें अधिकतम एक बिंदु हो।
  4. इसके विपरीत, एक पूरी तरह से अलग किया गया स्थान स्थानीय रूप से तभी संबद्ध होता है जब वह अलग हो। इसका उपयोग उपरोक्त तथ्य को समझाने के लिए किया जा सकता है कि तर्कसंगत संख्याएँ स्थानीय रूप से जुड़ी नहीं हैं।
  5. एक गैर-रिक्त उत्पाद स्थान स्थानीय रूप से संबद्ध हुआ है यदि और केवल यदि प्रत्येक स्थानीय रूप से संबद्ध हुआ है और सीमित रूप से बहुत सारे को छोड़कर सभी संबद्ध हुए हैं।[15]
  6. प्रत्येक हाइपरसंबद्ध स्पेस स्थानीय रूप से संबद्ध हुआ है, और संबद्ध हुआ है।

घटक और पथ घटक

निम्नलिखित परिणाम परिभाषाओं से लगभग तुरंत मिलता है लेकिन काफी उपयोगी होगा:

लेम्मा: मान लीजिए कि 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] इसके अलावा, यदि कोई स्थान स्थानीय रूप से पथ से संबद्ध हुआ है, तो वह स्थानीय रूप से भी संबद्ध हुआ है, इसलिए सभी के लिए संबद्ध हुआ और खुला है, इसलिए पथ संबद्ध हुआ है, अर्थात, अर्थात्, स्थानीय रूप से पथ से संबद्ध स्थान के लिए घटक और पथ घटक मेल खाते हैं।

उदाहरण

  1. सेट (कहाँ ) शब्दावली क्रम में टोपोलॉजी में बिल्कुल एक घटक होता है (क्योंकि यह संबद्ध हुआ है) लेकिन इसमें अनगिनत पथ घटक होते हैं। दरअसल, फॉर्म का कोई भी सेट I से संबंधित प्रत्येक a के लिए एक पथ घटक है।
  2. होने देना से एक सतत मानचित्र बनें को (जो है निचली सीमा टोपोलॉजी में)। तब से संबद्ध हुआ है, और एक सतत मानचित्र के अंतर्गत संबद्ध स्थान की छवि जुड़ी होनी चाहिए, की छवि अंतर्गत संबद्ध होना चाहिए. इसलिए, की छवि अंतर्गत के एक घटक का उपसमुच्चय होना चाहिए चूँकि यह छवि गैर-रिक्त है, 'से एकमात्र सतत मानचित्र को स्थिर मानचित्र हैं. वास्तव में, किसी संबद्ध हुए स्थान से पूरी तरह से असंबद्ध स्थान तक का कोई भी निरंतर मानचित्र स्थिर होना चाहिए।

अर्धघटक

एक्स को टपॉलजी का मूल्य रहने दें। हम X पर तीसरा संबंध परिभाषित करते हैं: यदि X को खुले सेट A और B में इस प्रकार अलग नहीं किया गया है कि x, A का एक तत्व है और y, B का एक तत्व है। यह X और समतुल्य वर्ग पर एक तुल्यता संबंध है x युक्त को x का 'अर्धघटक' कहा जाता है।[18]

इसे एक्स के सभी क्लोपेन उपसमुच्चय के प्रतिच्छेदन के रूप में भी चित्रित किया जा सकता है जिसमें एक्स शामिल है।[18]इसलिए बन्द है; सामान्यतः इसे खुला रखने की आवश्यकता नहीं है।

ज़रूर सभी के लिए [18] कुल मिलाकर हमारे पास x पर पथ घटकों, घटकों और अर्धघटकों के बीच निम्नलिखित सामग्रियां हैं:

यदि एक्स स्थानीय रूप से संबद्ध हुआ है, तो, ऊपर के अनुसार, एक क्लोपेन सेट है जिसमें x है, इसलिए और इस तरह चूंकि स्थानीय पथ संयोजकता का तात्पर्य स्थानीय संयोजकता से है, इसका मतलब यह है कि हमारे पास स्थानीय पथ से संबद्ध स्थान के सभी बिंदुओं x पर है
रिक्त स्थान का एक अन्य वर्ग जिसके लिए अर्धघटक घटकों से सहमत होते हैं, सघन हॉसडॉर्फ रिक्त स्थान का वर्ग है।[25]


उदाहरण

  1. किसी स्थान का एक उदाहरण जिसके अर्धघटक उसके घटकों के बराबर नहीं हैं, दोहरे सीमा बिंदु वाला एक अनुक्रम है। यह स्थान पूरी तरह से अलग हो गया है, लेकिन दोनों सीमा बिंदु एक ही अर्धघटक में स्थित हैं, क्योंकि उनमें से किसी एक वाले क्लोपेन सेट में अनुक्रम की एक पूंछ होनी चाहिए, और इस प्रकार दूसरा बिंदु भी होना चाहिए।
  2. स्पेस स्थानीय रूप से सघन और हॉसडॉर्फ लेकिन सेट हैं और दो अलग-अलग घटक हैं जो एक ही अर्धघटक में निहित हैं।
  3. एरेन्स-फोर्ट स्थान स्थानीय रूप से संबद्ध नहीं है, लेकिन फिर भी घटक और अर्धघटक मेल खाते हैं: वास्तव में सभी बिंदुओं के लिए x.[26]


यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 1.2 1.3 Munkres, p. 161
  2. Willard, Definition 27.7, p. 199
  3. Willard, Definition 27.4, p.199
  4. Willard, Definition 27.14, p. 201
  5. 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
  6. Munkres, exercise 6, p. 162
  7. Steen & Seebach, example 119.4, p. 139
  8. Munkres, exercise 7, p. 162
  9. "दिखाएँ कि X, p पर स्थानीय रूप से जुड़ा नहीं है". Math StackExchange.
  10. 10.0 10.1 Willard, Theorem 27.16, p. 201
  11. "स्थानीय रूप से पथवार जुड़े की परिभाषा". Math StackExchange.
  12. Steen & Seebach, pp. 137–138
  13. Steen & Seebach, pp. 49–50
  14. Steen & Seebach, example 48, p. 73
  15. Willard, theorem 27.13, p. 201
  16. Willard, Theorem 26.7a, p. 192
  17. Willard, Definition 26.11, p.194
  18. 18.0 18.1 18.2 18.3 विलार्ड, समस्या 26बी, पीपी. 195-196
  19. Kelley, Theorem 20, p. 54; Willard, Theorem 26.8, p.193
  20. Willard, Theorem 26.12, p. 194
  21. Willard, Corollary 27.10, p. 200
  22. Willard, Theorem 27.9, p. 200
  23. 23.0 23.1 Willard, Problem 27D, p. 202
  24. Willard, Theorem 27.5, p. 199
  25. Engelking, Theorem 6.1.23, p. 357
  26. Steen & Seebach, pp. 54-55


संदर्भ


अग्रिम पठन

  • 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.