स्थानत: संहत समष्टि: Difference between revisions
No edit summary |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
[[टोपोलॉजी]] और गणित की संबंधित शाखाओं में, | [[टोपोलॉजी]] और गणित की संबंधित शाखाओं में, टोपोलॉजिकल समष्टि को '''स्थानत: संहत''' कहा जाता है, यदि सामान्यतः कहें तो, समष्टि का प्रत्येक छोटा भाग [[ सघन स्थान |संहत समष्टि]] के छोटे भाग जैसा दिखता है। अधिक स्पष्ट रूप से, यह टोपोलॉजिकल समष्टि है जिसमें प्रत्येक बिंदु का संहत नेबरहुड (गणित) होता है। | ||
[[गणितीय विश्लेषण]] में | [[गणितीय विश्लेषण]] में स्थानत: संहत समष्टि जो [[हॉसडॉर्फ़ स्थान|हॉसडॉर्फ़]] समष्टि हैं, विशेष रुचि रखते हैं; इन्हें एलसीएच समष्टि के रूप में संक्षिप्त किया गया है।{{sfn|Folland|1999|loc=Sec. 4.5|p=131}} | ||
==औपचारिक परिभाषा == | ==औपचारिक परिभाषा == | ||
X को टपॉलजी का मूल्य रहने दें। सामान्यतः X को 'स्थानत: संहत' कहा जाता है यदि X के प्रत्येक बिंदु X में संहत [[पड़ोस (टोपोलॉजी)|नेबरहुड (टोपोलॉजी)]] है, अर्थात, ओपन समुच्चय U और संहत समुच्चय के उपस्थित है, जैसे कि <math>x\in U\subseteq K</math>. | |||
अन्य सामान्य परिभाषाएँ हैं: यदि ''X'' हॉसडॉर्फ | अन्य सामान्य परिभाषाएँ हैं: यदि ''X'' हॉसडॉर्फ समष्टि (या पूर्व-नियमित) है जिससे वे सभी समतुल्य हैं। किन्तु वे सामान्यतः समकक्ष नहीं हैं: | ||
:1. ''X'' के प्रत्येक बिंदु का | :1. ''X'' के प्रत्येक बिंदु का संहत नेबरहुड (टोपोलॉजी) है। | ||
:2. ''X'' के प्रत्येक बिंदु का [[बंद सेट]] | :2. ''X'' के प्रत्येक बिंदु का [[बंद सेट|सवृत समुच्चय]] संहत नेबरहुड है। | ||
:2′. ''X'' के प्रत्येक बिंदु का नेबरहुड [[अपेक्षाकृत सघन]] है। | :2′. ''X'' के प्रत्येक बिंदु का नेबरहुड [[अपेक्षाकृत सघन|अपेक्षाकृत संहत]] है। | ||
:2″. ''X'' के प्रत्येक बिंदु पर अपेक्षाकृत | :2″. ''X'' के प्रत्येक बिंदु पर अपेक्षाकृत संहत नेबरहुड का [[स्थानीय आधार]] है। | ||
:3. ''X'' के प्रत्येक बिंदु पर | :3. ''X'' के प्रत्येक बिंदु पर संहत नेबरहुड का स्थानीय आधार है। | ||
:4. ''X'' के प्रत्येक बिंदु पर | :4. ''X'' के प्रत्येक बिंदु पर सवृत संहत नेबरहुड का स्थानीय आधार है। | ||
:5. ''X'' हॉसडॉर्फ है और पिछली नियमो में से किसी भी (या समकक्ष, सभी) को संतुष्ट करता है। | :5. ''X'' हॉसडॉर्फ है और पिछली नियमो में से किसी भी (या समकक्ष, सभी) को संतुष्ट करता है। | ||
Line 20: | Line 20: | ||
*स्थिति (2), (3) में से कोई भी दूसरे का तात्पर्य नहीं है। | *स्थिति (2), (3) में से कोई भी दूसरे का तात्पर्य नहीं है। | ||
* नियम (4) का तात्पर्य (2) और (3) से है। | * नियम (4) का तात्पर्य (2) और (3) से है। | ||
* | * संहतता का तात्पर्य नियमो (1) और (2) से है, किन्तु (3) या (4) से नहीं है। | ||
नियम (1) संभवतः सबसे अधिक उपयोग की जाने वाली परिभाषा है, क्योंकि यह सबसे कम प्रतिबंधात्मक है और जब | नियम (1) संभवतः सबसे अधिक उपयोग की जाने वाली परिभाषा है, क्योंकि यह सबसे कम प्रतिबंधात्मक है और जब X हॉसडॉर्फ समष्टि है तो अन्य इसके बराबर हैं। यह तुल्यता इस तथ्य का परिणाम है कि हॉसडॉर्फ रिक्त समष्टि के संहत उपसमुच्चय सवृत हैं, और संहत रिक्त समष्टि के सवृत उपसमूह संहत हैं। संतोषजनक समष्टि (1) को कभी-कभी 'भी कहा जाता है {{visible anchor|स्थानीय रूप से अशक्त सघन}},<ref>{{cite book |last1=Breuckmann |first1=Tomas |last2=Kudri |first2=Soraya |last3=Aygün |first3=Halis |title=सॉफ्ट कार्यप्रणाली और यादृच्छिक सूचना प्रणाली|date=2004 |publisher=Springer |pages=638–644 |chapter=About Weakly Locally Compact Spaces |doi=10.1007/978-3-540-44465-7_79|isbn=978-3-540-22264-4 }}</ref> क्योंकि वे यहां की सबसे अशक्त परिस्थितियों को भी संतुष्ट करते हैं। | ||
जैसा कि उन्हें अपेक्षाकृत | जैसा कि उन्हें अपेक्षाकृत संहत समुच्चय के संदर्भ में परिभाषित किया गया है, (2), (2'), (2) को संतुष्ट करने वाले स्थानों को विशेष रूप से स्थानत: अपेक्षाकृत संहत कहा जा सकता है।<ref>{{citation|first=Eva |last=Lowen-Colebunders|title=On the convergence of closed and compact sets|journal=[[Pacific Journal of Mathematics]]|volume=108|issue=1|pages=133–140|year= 1983|doi=10.2140/pjm.1983.108.133 |url=https://projecteuclid.org/download/pdf_1/euclid.pjm/1102720477|mr=709705|zbl=0522.54003|s2cid=55084221 |doi-access=free}}</ref><ref>{{Cite arXiv <!-- unsupported parameter |url=https://arxiv.org/pdf/2002.05943.pdf |archive-url=https://web.archive.org/web/20220107165043/https://arxiv.org/pdf/2002.05943.pdf |archive-date=2022-01-07 |url-status=live --> |eprint=2002.05943 |last1=Bice |first1=Tristan |last2=Kubiś |first2=Wiesław |title=सेमीलैटिस सबबेस के लिए वॉलमैन द्वैत|year=2020 |class=math.GN}}</ref> स्टीन और सीबैक <ref>Steen & Seebach, p. 20</ref> कॉल (2), (2'), (2) संपत्ति (1) के विपरीत दृढ़ता से स्थानत: संहत, जिसे वे ''स्थानत: संहत'' कहते हैं। | ||
रिक्त | रिक्त समष्टि संतोषजनक स्थिति (4) बिल्कुल हैं {{visible anchor|स्थानीय रूप से सघन नियमित}} रिक्त स्थान.{{sfn|Kelley|1975|loc=ch. 5, Theorem 17, p. 146}}<ref name="Gompa1992"></ref> वास्तव में, ऐसा समष्टि नियमित है, क्योंकि प्रत्येक बिंदु पर सवृत नेबरहुड का स्थानीय आधार होता है। इसके विपरीत, नियमित स्थानत: संहत समष्टि में बिंदु मान लीजिए <math>x</math> संहत नेबरहुड <math>K</math> है . नियमितता से, इच्छानुसार नेबरहुड दिया गया <math>U</math> का <math>x</math>, सवृत नेबरहुड है <math>V</math> का <math>x</math> में निहित <math>K\cap U</math> और <math>V</math> संहत समुच्चय में सवृत समुच्चय के रूप में संहत है। | ||
उदाहरण के लिए, नियम (5) का उपयोग बॉर्बकी में किया जाता है।<ref>{{cite book|last1=Bourbaki|first1=Nicolas|title=सामान्य टोपोलॉजी, भाग I|date=1989|publisher=Springer-Verlag|location=Berlin|isbn=3-540-19374-X|edition=reprint of the 1966}}</ref> कोई भी | उदाहरण के लिए, नियम (5) का उपयोग बॉर्बकी में किया जाता है।<ref>{{cite book|last1=Bourbaki|first1=Nicolas|title=सामान्य टोपोलॉजी, भाग I|date=1989|publisher=Springer-Verlag|location=Berlin|isbn=3-540-19374-X|edition=reprint of the 1966}}</ref> कोई भी समष्टि जो स्थानत: संहत है (नियम (1) के अर्थ में) और हॉसडॉर्फ स्वचालित रूप से उपरोक्त सभी नियमो को पूरा करता है। चूंकि अधिकांश अनुप्रयोगों में स्थानत: संहत समष्टि भी हॉसडॉर्फ हैं, इसलिए ये स्थानत: संहत हॉसडॉर्फ (एलसीएच) समष्टि वे समष्टि होंगे जिनके बारे में यह लेख मुख्य रूप से चिंतित है। | ||
== उदाहरण और प्रति उदाहरण == | == उदाहरण और प्रति उदाहरण == | ||
=== | === संहत हॉसडॉर्फ रिक्त स्थान === | ||
प्रत्येक | प्रत्येक संहत हॉसडॉर्फ समष्टि स्थानत: संहत भी है, और संहत समष्टि के कई उदाहरण लेख संहत समष्टि में पाए जा सकते हैं। | ||
यहाँ हम केवल उल्लेख करते हैं: | यहाँ हम केवल उल्लेख करते हैं: | ||
* [[इकाई अंतराल]] [0,1]; | * [[इकाई अंतराल]] [0,1]; | ||
* [[कैंटर सेट]]; | * [[कैंटर सेट|कैंटर समुच्चय]]; | ||
* [[हिल्बर्ट क्यूब]]. | * [[हिल्बर्ट क्यूब]]. | ||
=== | === स्थानत: संहत हॉसडॉर्फ समष्टि जो संहत नहीं हैं === | ||
*[[ यूक्लिडियन स्थान | यूक्लिडियन | *[[ यूक्लिडियन स्थान | यूक्लिडियन समष्टि]] R<sup><var>n</var></sup> (और विशेष रूप से वास्तविक रेखा आर) हेइन-बोरेल प्रमेय के परिणामस्वरूप स्थानत: संहत हैं। | ||
*[[टोपोलॉजिकल मैनिफोल्ड]] यूक्लिडियन रिक्त | *[[टोपोलॉजिकल मैनिफोल्ड]] यूक्लिडियन रिक्त समष्टि के स्थानीय गुणों को साझा करते हैं और इसलिए सभी स्थानत: संहत भी होते हैं। इसमें [[लंबी लाइन (टोपोलॉजी)]] जैसे [[ परा-सुसंहत |परा-सुसंहत]] मैनिफ़ोल्ड भी सम्मिलित हैं। | ||
*सभी अलग-अलग | *सभी अलग-अलग समष्टि स्थानत: संहत और हॉसडॉर्फ हैं (वे केवल [[0 (संख्या)]]-आयामी मैनिफोल्ड हैं)। ये केवल तभी संहत होते हैं जब वे परिमित होंते है। | ||
* | *स्थानत: संहत हॉसडॉर्फ समष्टि के सभी ओपन उपसमुच्चय या [[बंद उपसमुच्चय|सवृत उपसमुच्चय]] [[सबस्पेस टोपोलॉजी|सबसमष्टि टोपोलॉजी]] में स्थानत: संहत होते हैं। यह यूक्लिडियन रिक्त समष्टि के स्थानत: संहत उपसमुच्चय के कई उदाहरण प्रदान करता है, जैसे [[यूनिट डिस्क]] (या तो ओपन या सवृत संस्करण) है। | ||
* | *समष्टि Q<sub>''p''</sub> ''P''-एडिक संख्या स्थानत: संहत है, क्योंकि यह कैंटर समुच्चय माइनस पॉइंट के लिए [[होम्योमॉर्फिक]] है। इस प्रकार स्थानत: संहत समष्टि पी-एडिक विश्लेषण में उतने ही उपयोगी हैं जितने मौलिक गणितीय विश्लेषण में होते है। | ||
=== हॉसडॉर्फ़ | === हॉसडॉर्फ़ समष्टि जो स्थानत: संहत नहीं हैं === | ||
जैसा कि निम्नलिखित अनुभाग में बताया गया है, यदि हॉसडॉर्फ़ | जैसा कि निम्नलिखित अनुभाग में बताया गया है, यदि हॉसडॉर्फ़ समष्टि स्थानत: संहत है, तो यह [[टाइकोनोफ़ स्थान|टाइकोनोफ़]] समष्टि भी है। इस कारण से, हॉसडॉर्फ़ रिक्त समष्टि के उदाहरण जो स्थानत: संहत होने में विफल रहते हैं क्योंकि वे टाइकोनॉफ़ समष्टि नहीं हैं, टाइकोनॉफ़ समष्टि को समर्पित लेख में पाए जा सकते हैं। | ||
किन्तु टाइकोनोफ़ रिक्त | किन्तु टाइकोनोफ़ रिक्त समष्टि के ऐसे उदाहरण भी हैं जो स्थानत: संहत होने में विफल रहते हैं, जैसे: | ||
* परिमेय संख्याओं का | * परिमेय संख्याओं का समष्टि Q (R से टोपोलॉजी से संपन्न), क्योंकि किसी भी नेबरहुड में अपरिमेय संख्या के अनुरूप [[कॉची अनुक्रम]] होता है, जिसका Q में कोई अभिसरण अनुवर्ती नहीं होता है; | ||
* | * उपसमष्टि <math>\{(0, 0)\} \cup ((0, \infty) \times \mathbf{R})</math> का <math>\mathbf{R}^2</math>, चूंकि मूल में कोई संहत नेबरहुड नहीं है; | ||
* वास्तविक संख्याओं के | * वास्तविक संख्याओं के समुच्चय '''R''' पर [[निचली सीमा टोपोलॉजी]] या [[ऊपरी सीमा टोपोलॉजी]] (एकतरफा सीमाओं के अध्ययन में उपयोगी); | ||
* कोई भी T<sub>0</sub>, इसलिए हॉसडॉर्फ, [[टोपोलॉजिकल वेक्टर स्पेस]] जो अनंत-[[आयाम]] है, जैसे अनंत-आयामी [[ हिल्बर्ट स्थान |हिल्बर्ट | * कोई भी T<sub>0</sub>, इसलिए हॉसडॉर्फ, [[टोपोलॉजिकल वेक्टर स्पेस|टोपोलॉजिकल वेक्टर समष्टि]] जो अनंत-[[आयाम]] है, जैसे अनंत-आयामी [[ हिल्बर्ट स्थान |हिल्बर्ट समष्टि]] है। | ||
पहले दो उदाहरण दिखाते हैं कि | पहले दो उदाहरण दिखाते हैं कि स्थानत: संहत समष्टि के सबसमुच्चय को स्थानत: संहत होने की आवश्यकता नहीं है, जो पिछले अनुभाग में ओपन और सवृत सबसमुच्चय के विपरीत है।अंतिम उदाहरण पिछले अनुभाग में यूक्लिडियन रिक्त समष्टि के विपरीत है; अधिक विशिष्ट होने के लिए, हॉसडॉर्फ टोपोलॉजिकल वेक्टर समष्टि स्थानत: संहत होता है यदि और केवल यदि यह परिमित-आयामी है (जिस स्थिति में यह यूक्लिडियन समष्टि है)। | ||
यह उदाहरण | यह उदाहरण संहत समष्टि के उदाहरण के रूप में हिल्बर्ट क्यूब से भी भिन्न है; इसमें कोई विरोधाभास नहीं है क्योंकि घन हिल्बर्ट समष्टि में किसी भी बिंदु का नेबरहुड नहीं हो सकता है। | ||
===गैर-हॉसडॉर्फ उदाहरण=== | ===गैर-हॉसडॉर्फ उदाहरण=== | ||
* परिमेय संख्या Q का [[एक-बिंदु संघनन]] संहत है और इसलिए इंद्रियों (1) और (2) में | * परिमेय संख्या Q का [[एक-बिंदु संघनन]] संहत है और इसलिए इंद्रियों (1) और (2) में स्थानत: संहत है किन्तु यह इंद्रियों (3) या (4) में स्थानत: संहत नहीं है। | ||
* किसी भी अनंत | * किसी भी अनंत समुच्चय पर [[विशेष बिंदु टोपोलॉजी]] इंद्रियों (1) और (3) में स्थानत: संहत होती है, किन्तु इंद्रियों (2) या (4) में नहीं, क्योंकि किसी भी नेबरहुड का सवृत होना संपूर्ण समष्टि है, जो गैर-संहत है। | ||
* उपरोक्त दो उदाहरणों का [[असंयुक्त संघ (टोपोलॉजी)]] अर्थ (1) में | * उपरोक्त दो उदाहरणों का [[असंयुक्त संघ (टोपोलॉजी)]] अर्थ (1) में स्थानत: संहत है, किन्तु अर्थ (2), (3) या (4) में नहीं है। | ||
* वास्तविक रेखा पर सही क्रम की टोपोलॉजी इंद्रियों (1) और (3) में | * वास्तविक रेखा पर सही क्रम की टोपोलॉजी इंद्रियों (1) और (3) में स्थानत: संहत है, किन्तु इंद्रियों (2) या (4) में नहीं, क्योंकि किसी भी नेबरहुड का सवृत होना संपूर्ण गैर-संहत समष्टि है। | ||
* सिएरपिंस्की | * सिएरपिंस्की समष्टि स्थानत: इंद्रियों (1), (2) और (3) में संहत है, और साथ ही संहत भी है, किन्तु यह हॉसडॉर्फ या नियमित (या यहां तक कि प्रीरेगुलर) नहीं है, इसलिए यह इंद्रियों (4) या में स्थानत: संहत नहीं है। (5). सिएरपिंस्की समष्टि की अनगिनत प्रतियों का असंयुक्त संघ गैर-संहत समष्टि है जो अभी भी इंद्रियों (1), (2) और (3) में स्थानत: संहत है, किन्तु (4) या (5) में नहीं है। | ||
* अधिक सामान्यतः, [[बहिष्कृत बिंदु टोपोलॉजी]] इंद्रियों (1), (2) और (3) में | * अधिक सामान्यतः, [[बहिष्कृत बिंदु टोपोलॉजी]] इंद्रियों (1), (2) और (3) में स्थानत: संहत है, और संहत है, किन्तु इंद्रियों (4) या (5) में स्थानत: संहत नहीं है। | ||
* अनंत | * अनंत समुच्चय पर [[सहपरिमित टोपोलॉजी]] इंद्रियों (1), (2), और (3) में स्थानत: संहत है, और संहत भी है, किन्तु यह हॉसडॉर्फ या नियमित नहीं है इसलिए यह इंद्रियों (4) या में स्थानत: (5) संहत नहीं है . | ||
* कम से कम दो तत्वों वाले | * कम से कम दो तत्वों वाले समुच्चय पर [[अविवेकी टोपोलॉजी]] स्थानत: इंद्रियों (1), (2), (3), और (4) में संहत है, और संहत भी है, किन्तु यह हॉसडॉर्फ नहीं है इसलिए यह स्थानत: संहत नहीं है अर्थ में (5) है. | ||
===उदाहरणों के सामान्य वर्ग=== | ===उदाहरणों के सामान्य वर्ग=== | ||
* [[अलेक्जेंडर टोपोलॉजी]] वाला प्रत्येक | * [[अलेक्जेंडर टोपोलॉजी]] वाला प्रत्येक समष्टि इंद्रियों (1) और (3) में स्थानत: संहत है।<ref>{{cite arXiv |last1=Speer |first1=Timothy |title=अलेक्जेंड्रोफ़ स्पेस का एक संक्षिप्त अध्ययन|eprint=0708.2136 |class=math.GN |date=16 August 2007}}Theorem 5</ref> | ||
== गुण == | == गुण == | ||
प्रत्येक | प्रत्येक स्थानत: संहत [[पूर्व नियमित स्थान|पूर्व नियमित समष्टि]] , वास्तव में, [[पूरी तरह से नियमित स्थान|पूरी तरह से नियमित]] समष्टि है।{{sfn|Schechter|1996|loc=17.14(d), p. 460}}<ref>{{cite web |title=सामान्य टोपोलॉजी - स्थानीय रूप से कॉम्पैक्ट प्रो रेगुलर स्पेस पूरी तरह से नियमित है|url=https://math.stackexchange.com/questions/4503299 |website=Mathematics Stack Exchange}}</ref> इसका तात्पर्य यह है कि प्रत्येक स्थानत: संहत हॉसडॉर्फ़ समष्टि टाइकोनॉफ़ समष्टि है।{{sfn|Willard|1970|loc=theorem 19.3, p.136}} चूंकि सीधी नियमितता या तो पूर्व-नियमितता (जो सामान्यतः अशक्त होती है) या पूर्ण नियमितता (जो सामान्यतः सशक्त होती है) की तुलना में अधिक परिचित स्थिति है, स्थानत: संहत प्रीरेगुलर रिक्त समष्टि को सामान्यतः गणितीय साहित्य में स्थानत: संहत नियमित समष्टि के रूप में संदर्भित किया जाता है। इसी प्रकार स्थानत: संहत टाइकोनॉफ रिक्त समष्टि को सामान्यतः स्थानत: संहत हॉसडॉर्फ रिक्त समष्टि के रूप में संदर्भित किया जाता है। | ||
प्रत्येक | प्रत्येक स्थानत: संहत नियमित स्थान, विशेष रूप से प्रत्येक स्थानत: संहत हॉसडॉर्फ स्थान, [[बाहर जगह|बाहर स्थान]] है।{{sfn|Kelley|1975|loc=Theorem 34, p. 200}}{{sfn|Schechter|1996|loc=Theorem 20.18, p. 538}} अर्थात्, बेयर श्रेणी प्रमेय का निष्कर्ष यह है: कहीं भी घने उपसमुच्चय के प्रत्येक [[गणनीय]] संघ का [[आंतरिक (टोपोलॉजी)]] ओपन नहीं है। | ||
स्थानत: संहत हॉसडॉर्फ समष्टि Y का [[ उपस्थान (टोपोलॉजी) |उपसमष्टि (टोपोलॉजी)]] X स्थानत: संहत है यदि और केवल यदि X स्थानत: Y में सवृत है (अर्थात, Y का). विशेष रूप से, स्थानत: संहत हॉसडॉर्फ समष्टि में प्रत्येक सवृत समुच्चय और प्रत्येक ओपन समुच्चय स्थानत: संहत है। इसके अलावा, परिणाम के रूप में, स्थानत: संहत हॉसडॉर्फ समष्टि Y का [[सघन (टोपोलॉजी)|संहत (टोपोलॉजी)]] उप-समष्टि अभी भी Y में [[स्थानीय रूप से बंद|स्थानत: सवृत]] होना चाहिए, चूँकि इसका विपरीत (तर्क) सामान्य रूप से मान्य नहीं है। | |||
हॉसडॉर्फ परिकल्पना के बिना, इनमें से कुछ परिणाम | हॉसडॉर्फ परिकल्पना के बिना, इनमें से कुछ परिणाम स्थानत: संहत की अशक्त धारणाओं के साथ टूट जाते हैं। [[कमजोर रूप से स्थानीय रूप से कॉम्पैक्ट|अशक्त रूप से स्थानत: संहत]] समष्टि (उपरोक्त परिभाषाओं में स्थिति (1)) में प्रत्येक सवृत समुच्चय अशक्त रूप से स्थानत: संहत है। किन्तु अशक्त स्थानत: संहत समष्टि में प्रत्येक ओपन समुच्चय अशक्त रूप से स्थानत: संहत नहीं होता है। उदाहरण के लिए, एक-बिंदु संघनन <math>\Q^*</math> तर्कसंगत संख्याओं का <math>\Q</math> संहत है, और इसलिए स्थानत: अशक्त रूप से संहत है। किन्तु इसमें सम्मिलित है <math>\Q</math> ओपन समुच्चय के रूप में जो अशक्त रूप से स्थानत: संहत नहीं है। | ||
स्थानत: संहत हॉसडॉर्फ रिक्त समष्टि के [[भागफल स्थान (टोपोलॉजी)|भागफल समष्टि (टोपोलॉजी)]] संहत रूप से उत्पन्न समष्टि हैं। | |||
इसके विपरीत, प्रत्येक | इसके विपरीत, प्रत्येक संहत रूप से उत्पन्न हॉसडॉर्फ़ समष्टि कुछ स्थानत: संहत हॉसडॉर्फ़ समष्टि का भागफल है। | ||
स्थानत: संहत समष्टि पर परिभाषित कार्यों के लिए, स्थानीय समान अभिसरण संहत अभिसरण के समान है। | |||
=== अनंत पर बिंदु === | === अनंत पर बिंदु === | ||
यह खंड | यह खंड स्थानत: संहत स्थानों के [[संघनन (गणित)]] का पता लगाता है। प्रत्येक संहत समष्टि का अपना संहतीकरण होता है। इसलिए सामान्यतः से बचने के लिए नीचे यह माना गया है कि समष्टि X संहत नहीं है। | ||
चूँकि प्रत्येक | चूँकि प्रत्येक स्थानत: संहत हॉसडॉर्फ़ समष्टि <math>b(X)</math> स्टोन-सेच कॉम्पेक्टिफिकेशन का उपयोग करता है। किन्तु वास्तव में, स्थानत: संहत मामले में सरल विधि उपलब्ध है; एक-बिंदु कॉम्पेक्टिफिकेशन X को संहत हॉसडॉर्फ समष्टि में एम्बेड करेगा <math>a(X)</math> सिर्फ अतिरिक्त अंक के साथ. (एक-बिंदु संघनन को अन्य स्थानों पर लागू किया जा सकता है, किन्तु <math>a(X)</math> हॉसडॉर्फ़ होगा यदि और केवल यदि X स्थानत: संहत और हॉसडॉर्फ़ है।) इस प्रकार स्थानत: संहत हॉसडॉर्फ़ रिक्त समष्टि को संहत हॉसडॉर्फ़ रिक्त समष्टि के ओपन उपसमुच्चय के रूप में वर्णित किया जा सकता है। | ||
सहज रूप से, अतिरिक्त बिंदु <math>a(X)</math> अनंत पर बिंदु के रूप में सोचा जा सकता है। अनंत के बिंदु को ''X'' के प्रत्येक | सहज रूप से, अतिरिक्त बिंदु <math>a(X)</math> अनंत पर बिंदु के रूप में सोचा जा सकता है। अनंत के बिंदु को ''X'' के प्रत्येक संहत उपसमुच्चय के बाहर स्थित माना जाना चाहिए। इस विचार का उपयोग करके स्थानत: संहत हॉसडॉर्फ स्थानों में अनंत की ओर प्रवृत्ति के बारे में कई सहज धारणाएं तैयार की जा सकती हैं। उदाहरण के लिए, सतत फलन (टोपोलॉजी) [[वास्तविक संख्या]] या [[जटिल संख्या]] मूल्यवान [[फ़ंक्शन (गणित)|फलन (गणित)]] ''एफ'' [[डोमेन (फ़ंक्शन)|डोमेन (फलन)]] ''X'' के साथ कहा जाता है कि यदि कोई [[सकारात्मक संख्या]] दी जाती है तो ''अनंत पर विलुप्त हो जाती है'' ''ई'', ''X'' का संहत उपसमुच्चय ''के'' इस प्रकार है <math>|f(x)| < e</math> जब भी [[बिंदु (ज्यामिति)]] x K के बाहर स्थित होता है। यह परिभाषा किसी भी टोपोलॉजिकल समष्टि X के लिए समझ में आती है। यदि <math>a(X) = X \cup \{ \infty \}</math> जहाँ <math>g(\infty) = 0.</math> | ||
=== गेलफैंड प्रतिनिधित्व === | === गेलफैंड प्रतिनिधित्व === | ||
स्थानत: संहत हॉसडॉर्फ़ समष्टि X के लिए, समुच्चय <math>C_0(X)</math> X पर सभी निरंतर जटिल-मूल्य वाले फलन जो अनंत पर विलुप्त हो जाते हैं, क्रमविनिमेय [[सी-स्टार बीजगणित]] है | सी *-बीजगणित वास्तव में, प्रत्येक क्रमविनिमेय C*-बीजगणित [[समरूपी]] है <math>C_0(X)</math> कुछ [[अद्वितीय (गणित)]] ([[होमियोमोर्फिज्म]] [[तक]]) के लिए स्थानत: संहत हॉसडॉर्फ समष्टि X इसे [[गेलफैंड प्रतिनिधित्व]] का उपयोग करके दिखाया गया है। | |||
=== [[स्थानीय रूप से सघन समूह]] === | === [[स्थानीय रूप से सघन समूह|स्थानत: संहत समूह]] === | ||
[[टोपोलॉजिकल समूह]] के अध्ययन में स्थानीय | [[टोपोलॉजिकल समूह]] के अध्ययन में स्थानीय संहतता की धारणा महत्वपूर्ण है क्योंकि प्रत्येक हॉसडॉर्फ स्थानत: संहत समूह जी में प्राकृतिक [[माप सिद्धांत]] होता है जिसे हार माप कहा जाता है जो g पर परिभाषित [[अभिन्न]] मापनीय कार्यों की अनुमति देता है। लेब्सग्यू वास्तविक रेखा पर मापता है <math>\R</math> इसका विशेष स्थिति है. | ||
[[टोपोलॉजिकल एबेलियन समूह]] | [[टोपोलॉजिकल एबेलियन समूह]] A का [[पोंट्रीगिन दोहरी]] स्थानत: संहत है यदि और केवल यदि ए स्थानत: संहत है। अधिक स्पष्ट रूप से, पोंट्रीगिन द्वंद्व स्थानत: संहत एबेलियन समूहों के [[श्रेणी सिद्धांत]] के स्व-[[द्वैत (श्रेणी सिद्धांत)]] को परिभाषित करता है। स्थानत: संहत एबेलियन समूहों का अध्ययन [[हार्मोनिक विश्लेषण]] की नींव है, ऐसा क्षेत्र जो तब से गैर-एबेलियन स्थानत: संहत समूहों तक फैल गया है। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 110: | Line 110: | ||
* {{annotated link|स्थानीय रूप से सघन समूह}} | * {{annotated link|स्थानीय रूप से सघन समूह}} | ||
* {{annotated link|σ-कॉम्पैक्ट स्पेस}} | * {{annotated link|σ-कॉम्पैक्ट स्पेस}} | ||
* [[कोर-कॉम्पैक्ट स्पेस|कोर- | * [[कोर-कॉम्पैक्ट स्पेस|कोर-संहत समष्टि]] | ||
== उद्धरण == | == उद्धरण == |
Latest revision as of 15:27, 29 August 2023
टोपोलॉजी और गणित की संबंधित शाखाओं में, टोपोलॉजिकल समष्टि को स्थानत: संहत कहा जाता है, यदि सामान्यतः कहें तो, समष्टि का प्रत्येक छोटा भाग संहत समष्टि के छोटे भाग जैसा दिखता है। अधिक स्पष्ट रूप से, यह टोपोलॉजिकल समष्टि है जिसमें प्रत्येक बिंदु का संहत नेबरहुड (गणित) होता है।
गणितीय विश्लेषण में स्थानत: संहत समष्टि जो हॉसडॉर्फ़ समष्टि हैं, विशेष रुचि रखते हैं; इन्हें एलसीएच समष्टि के रूप में संक्षिप्त किया गया है।[1]
औपचारिक परिभाषा
X को टपॉलजी का मूल्य रहने दें। सामान्यतः X को 'स्थानत: संहत' कहा जाता है यदि X के प्रत्येक बिंदु X में संहत नेबरहुड (टोपोलॉजी) है, अर्थात, ओपन समुच्चय U और संहत समुच्चय के उपस्थित है, जैसे कि .
अन्य सामान्य परिभाषाएँ हैं: यदि X हॉसडॉर्फ समष्टि (या पूर्व-नियमित) है जिससे वे सभी समतुल्य हैं। किन्तु वे सामान्यतः समकक्ष नहीं हैं:
- 1. X के प्रत्येक बिंदु का संहत नेबरहुड (टोपोलॉजी) है।
- 2. X के प्रत्येक बिंदु का सवृत समुच्चय संहत नेबरहुड है।
- 2′. X के प्रत्येक बिंदु का नेबरहुड अपेक्षाकृत संहत है।
- 2″. X के प्रत्येक बिंदु पर अपेक्षाकृत संहत नेबरहुड का स्थानीय आधार है।
- 3. X के प्रत्येक बिंदु पर संहत नेबरहुड का स्थानीय आधार है।
- 4. X के प्रत्येक बिंदु पर सवृत संहत नेबरहुड का स्थानीय आधार है।
- 5. X हॉसडॉर्फ है और पिछली नियमो में से किसी भी (या समकक्ष, सभी) को संतुष्ट करता है।
नियमो के बीच तार्किक संबंध:[2]
- प्रत्येक नियम का तात्पर्य (1) है।
- नियमें (2), (2′), (2″) समतुल्य हैं।
- स्थिति (2), (3) में से कोई भी दूसरे का तात्पर्य नहीं है।
- नियम (4) का तात्पर्य (2) और (3) से है।
- संहतता का तात्पर्य नियमो (1) और (2) से है, किन्तु (3) या (4) से नहीं है।
नियम (1) संभवतः सबसे अधिक उपयोग की जाने वाली परिभाषा है, क्योंकि यह सबसे कम प्रतिबंधात्मक है और जब X हॉसडॉर्फ समष्टि है तो अन्य इसके बराबर हैं। यह तुल्यता इस तथ्य का परिणाम है कि हॉसडॉर्फ रिक्त समष्टि के संहत उपसमुच्चय सवृत हैं, और संहत रिक्त समष्टि के सवृत उपसमूह संहत हैं। संतोषजनक समष्टि (1) को कभी-कभी 'भी कहा जाता है स्थानीय रूप से अशक्त सघन,[3] क्योंकि वे यहां की सबसे अशक्त परिस्थितियों को भी संतुष्ट करते हैं।
जैसा कि उन्हें अपेक्षाकृत संहत समुच्चय के संदर्भ में परिभाषित किया गया है, (2), (2'), (2) को संतुष्ट करने वाले स्थानों को विशेष रूप से स्थानत: अपेक्षाकृत संहत कहा जा सकता है।[4][5] स्टीन और सीबैक [6] कॉल (2), (2'), (2) संपत्ति (1) के विपरीत दृढ़ता से स्थानत: संहत, जिसे वे स्थानत: संहत कहते हैं।
रिक्त समष्टि संतोषजनक स्थिति (4) बिल्कुल हैं स्थानीय रूप से सघन नियमित रिक्त स्थान.[7][2] वास्तव में, ऐसा समष्टि नियमित है, क्योंकि प्रत्येक बिंदु पर सवृत नेबरहुड का स्थानीय आधार होता है। इसके विपरीत, नियमित स्थानत: संहत समष्टि में बिंदु मान लीजिए संहत नेबरहुड है . नियमितता से, इच्छानुसार नेबरहुड दिया गया का , सवृत नेबरहुड है का में निहित और संहत समुच्चय में सवृत समुच्चय के रूप में संहत है।
उदाहरण के लिए, नियम (5) का उपयोग बॉर्बकी में किया जाता है।[8] कोई भी समष्टि जो स्थानत: संहत है (नियम (1) के अर्थ में) और हॉसडॉर्फ स्वचालित रूप से उपरोक्त सभी नियमो को पूरा करता है। चूंकि अधिकांश अनुप्रयोगों में स्थानत: संहत समष्टि भी हॉसडॉर्फ हैं, इसलिए ये स्थानत: संहत हॉसडॉर्फ (एलसीएच) समष्टि वे समष्टि होंगे जिनके बारे में यह लेख मुख्य रूप से चिंतित है।
उदाहरण और प्रति उदाहरण
संहत हॉसडॉर्फ रिक्त स्थान
प्रत्येक संहत हॉसडॉर्फ समष्टि स्थानत: संहत भी है, और संहत समष्टि के कई उदाहरण लेख संहत समष्टि में पाए जा सकते हैं।
यहाँ हम केवल उल्लेख करते हैं:
- इकाई अंतराल [0,1];
- कैंटर समुच्चय;
- हिल्बर्ट क्यूब.
स्थानत: संहत हॉसडॉर्फ समष्टि जो संहत नहीं हैं
- यूक्लिडियन समष्टि Rn (और विशेष रूप से वास्तविक रेखा आर) हेइन-बोरेल प्रमेय के परिणामस्वरूप स्थानत: संहत हैं।
- टोपोलॉजिकल मैनिफोल्ड यूक्लिडियन रिक्त समष्टि के स्थानीय गुणों को साझा करते हैं और इसलिए सभी स्थानत: संहत भी होते हैं। इसमें लंबी लाइन (टोपोलॉजी) जैसे परा-सुसंहत मैनिफ़ोल्ड भी सम्मिलित हैं।
- सभी अलग-अलग समष्टि स्थानत: संहत और हॉसडॉर्फ हैं (वे केवल 0 (संख्या)-आयामी मैनिफोल्ड हैं)। ये केवल तभी संहत होते हैं जब वे परिमित होंते है।
- स्थानत: संहत हॉसडॉर्फ समष्टि के सभी ओपन उपसमुच्चय या सवृत उपसमुच्चय सबसमष्टि टोपोलॉजी में स्थानत: संहत होते हैं। यह यूक्लिडियन रिक्त समष्टि के स्थानत: संहत उपसमुच्चय के कई उदाहरण प्रदान करता है, जैसे यूनिट डिस्क (या तो ओपन या सवृत संस्करण) है।
- समष्टि Qp P-एडिक संख्या स्थानत: संहत है, क्योंकि यह कैंटर समुच्चय माइनस पॉइंट के लिए होम्योमॉर्फिक है। इस प्रकार स्थानत: संहत समष्टि पी-एडिक विश्लेषण में उतने ही उपयोगी हैं जितने मौलिक गणितीय विश्लेषण में होते है।
हॉसडॉर्फ़ समष्टि जो स्थानत: संहत नहीं हैं
जैसा कि निम्नलिखित अनुभाग में बताया गया है, यदि हॉसडॉर्फ़ समष्टि स्थानत: संहत है, तो यह टाइकोनोफ़ समष्टि भी है। इस कारण से, हॉसडॉर्फ़ रिक्त समष्टि के उदाहरण जो स्थानत: संहत होने में विफल रहते हैं क्योंकि वे टाइकोनॉफ़ समष्टि नहीं हैं, टाइकोनॉफ़ समष्टि को समर्पित लेख में पाए जा सकते हैं।
किन्तु टाइकोनोफ़ रिक्त समष्टि के ऐसे उदाहरण भी हैं जो स्थानत: संहत होने में विफल रहते हैं, जैसे:
- परिमेय संख्याओं का समष्टि Q (R से टोपोलॉजी से संपन्न), क्योंकि किसी भी नेबरहुड में अपरिमेय संख्या के अनुरूप कॉची अनुक्रम होता है, जिसका Q में कोई अभिसरण अनुवर्ती नहीं होता है;
- उपसमष्टि का , चूंकि मूल में कोई संहत नेबरहुड नहीं है;
- वास्तविक संख्याओं के समुच्चय R पर निचली सीमा टोपोलॉजी या ऊपरी सीमा टोपोलॉजी (एकतरफा सीमाओं के अध्ययन में उपयोगी);
- कोई भी T0, इसलिए हॉसडॉर्फ, टोपोलॉजिकल वेक्टर समष्टि जो अनंत-आयाम है, जैसे अनंत-आयामी हिल्बर्ट समष्टि है।
पहले दो उदाहरण दिखाते हैं कि स्थानत: संहत समष्टि के सबसमुच्चय को स्थानत: संहत होने की आवश्यकता नहीं है, जो पिछले अनुभाग में ओपन और सवृत सबसमुच्चय के विपरीत है।अंतिम उदाहरण पिछले अनुभाग में यूक्लिडियन रिक्त समष्टि के विपरीत है; अधिक विशिष्ट होने के लिए, हॉसडॉर्फ टोपोलॉजिकल वेक्टर समष्टि स्थानत: संहत होता है यदि और केवल यदि यह परिमित-आयामी है (जिस स्थिति में यह यूक्लिडियन समष्टि है)।
यह उदाहरण संहत समष्टि के उदाहरण के रूप में हिल्बर्ट क्यूब से भी भिन्न है; इसमें कोई विरोधाभास नहीं है क्योंकि घन हिल्बर्ट समष्टि में किसी भी बिंदु का नेबरहुड नहीं हो सकता है।
गैर-हॉसडॉर्फ उदाहरण
- परिमेय संख्या Q का एक-बिंदु संघनन संहत है और इसलिए इंद्रियों (1) और (2) में स्थानत: संहत है किन्तु यह इंद्रियों (3) या (4) में स्थानत: संहत नहीं है।
- किसी भी अनंत समुच्चय पर विशेष बिंदु टोपोलॉजी इंद्रियों (1) और (3) में स्थानत: संहत होती है, किन्तु इंद्रियों (2) या (4) में नहीं, क्योंकि किसी भी नेबरहुड का सवृत होना संपूर्ण समष्टि है, जो गैर-संहत है।
- उपरोक्त दो उदाहरणों का असंयुक्त संघ (टोपोलॉजी) अर्थ (1) में स्थानत: संहत है, किन्तु अर्थ (2), (3) या (4) में नहीं है।
- वास्तविक रेखा पर सही क्रम की टोपोलॉजी इंद्रियों (1) और (3) में स्थानत: संहत है, किन्तु इंद्रियों (2) या (4) में नहीं, क्योंकि किसी भी नेबरहुड का सवृत होना संपूर्ण गैर-संहत समष्टि है।
- सिएरपिंस्की समष्टि स्थानत: इंद्रियों (1), (2) और (3) में संहत है, और साथ ही संहत भी है, किन्तु यह हॉसडॉर्फ या नियमित (या यहां तक कि प्रीरेगुलर) नहीं है, इसलिए यह इंद्रियों (4) या में स्थानत: संहत नहीं है। (5). सिएरपिंस्की समष्टि की अनगिनत प्रतियों का असंयुक्त संघ गैर-संहत समष्टि है जो अभी भी इंद्रियों (1), (2) और (3) में स्थानत: संहत है, किन्तु (4) या (5) में नहीं है।
- अधिक सामान्यतः, बहिष्कृत बिंदु टोपोलॉजी इंद्रियों (1), (2) और (3) में स्थानत: संहत है, और संहत है, किन्तु इंद्रियों (4) या (5) में स्थानत: संहत नहीं है।
- अनंत समुच्चय पर सहपरिमित टोपोलॉजी इंद्रियों (1), (2), और (3) में स्थानत: संहत है, और संहत भी है, किन्तु यह हॉसडॉर्फ या नियमित नहीं है इसलिए यह इंद्रियों (4) या में स्थानत: (5) संहत नहीं है .
- कम से कम दो तत्वों वाले समुच्चय पर अविवेकी टोपोलॉजी स्थानत: इंद्रियों (1), (2), (3), और (4) में संहत है, और संहत भी है, किन्तु यह हॉसडॉर्फ नहीं है इसलिए यह स्थानत: संहत नहीं है अर्थ में (5) है.
उदाहरणों के सामान्य वर्ग
- अलेक्जेंडर टोपोलॉजी वाला प्रत्येक समष्टि इंद्रियों (1) और (3) में स्थानत: संहत है।[9]
गुण
प्रत्येक स्थानत: संहत पूर्व नियमित समष्टि , वास्तव में, पूरी तरह से नियमित समष्टि है।[10][11] इसका तात्पर्य यह है कि प्रत्येक स्थानत: संहत हॉसडॉर्फ़ समष्टि टाइकोनॉफ़ समष्टि है।[12] चूंकि सीधी नियमितता या तो पूर्व-नियमितता (जो सामान्यतः अशक्त होती है) या पूर्ण नियमितता (जो सामान्यतः सशक्त होती है) की तुलना में अधिक परिचित स्थिति है, स्थानत: संहत प्रीरेगुलर रिक्त समष्टि को सामान्यतः गणितीय साहित्य में स्थानत: संहत नियमित समष्टि के रूप में संदर्भित किया जाता है। इसी प्रकार स्थानत: संहत टाइकोनॉफ रिक्त समष्टि को सामान्यतः स्थानत: संहत हॉसडॉर्फ रिक्त समष्टि के रूप में संदर्भित किया जाता है।
प्रत्येक स्थानत: संहत नियमित स्थान, विशेष रूप से प्रत्येक स्थानत: संहत हॉसडॉर्फ स्थान, बाहर स्थान है।[13][14] अर्थात्, बेयर श्रेणी प्रमेय का निष्कर्ष यह है: कहीं भी घने उपसमुच्चय के प्रत्येक गणनीय संघ का आंतरिक (टोपोलॉजी) ओपन नहीं है।
स्थानत: संहत हॉसडॉर्फ समष्टि Y का उपसमष्टि (टोपोलॉजी) X स्थानत: संहत है यदि और केवल यदि X स्थानत: Y में सवृत है (अर्थात, Y का). विशेष रूप से, स्थानत: संहत हॉसडॉर्फ समष्टि में प्रत्येक सवृत समुच्चय और प्रत्येक ओपन समुच्चय स्थानत: संहत है। इसके अलावा, परिणाम के रूप में, स्थानत: संहत हॉसडॉर्फ समष्टि Y का संहत (टोपोलॉजी) उप-समष्टि अभी भी Y में स्थानत: सवृत होना चाहिए, चूँकि इसका विपरीत (तर्क) सामान्य रूप से मान्य नहीं है।
हॉसडॉर्फ परिकल्पना के बिना, इनमें से कुछ परिणाम स्थानत: संहत की अशक्त धारणाओं के साथ टूट जाते हैं। अशक्त रूप से स्थानत: संहत समष्टि (उपरोक्त परिभाषाओं में स्थिति (1)) में प्रत्येक सवृत समुच्चय अशक्त रूप से स्थानत: संहत है। किन्तु अशक्त स्थानत: संहत समष्टि में प्रत्येक ओपन समुच्चय अशक्त रूप से स्थानत: संहत नहीं होता है। उदाहरण के लिए, एक-बिंदु संघनन तर्कसंगत संख्याओं का संहत है, और इसलिए स्थानत: अशक्त रूप से संहत है। किन्तु इसमें सम्मिलित है ओपन समुच्चय के रूप में जो अशक्त रूप से स्थानत: संहत नहीं है।
स्थानत: संहत हॉसडॉर्फ रिक्त समष्टि के भागफल समष्टि (टोपोलॉजी) संहत रूप से उत्पन्न समष्टि हैं।
इसके विपरीत, प्रत्येक संहत रूप से उत्पन्न हॉसडॉर्फ़ समष्टि कुछ स्थानत: संहत हॉसडॉर्फ़ समष्टि का भागफल है।
स्थानत: संहत समष्टि पर परिभाषित कार्यों के लिए, स्थानीय समान अभिसरण संहत अभिसरण के समान है।
अनंत पर बिंदु
यह खंड स्थानत: संहत स्थानों के संघनन (गणित) का पता लगाता है। प्रत्येक संहत समष्टि का अपना संहतीकरण होता है। इसलिए सामान्यतः से बचने के लिए नीचे यह माना गया है कि समष्टि X संहत नहीं है।
चूँकि प्रत्येक स्थानत: संहत हॉसडॉर्फ़ समष्टि स्टोन-सेच कॉम्पेक्टिफिकेशन का उपयोग करता है। किन्तु वास्तव में, स्थानत: संहत मामले में सरल विधि उपलब्ध है; एक-बिंदु कॉम्पेक्टिफिकेशन X को संहत हॉसडॉर्फ समष्टि में एम्बेड करेगा सिर्फ अतिरिक्त अंक के साथ. (एक-बिंदु संघनन को अन्य स्थानों पर लागू किया जा सकता है, किन्तु हॉसडॉर्फ़ होगा यदि और केवल यदि X स्थानत: संहत और हॉसडॉर्फ़ है।) इस प्रकार स्थानत: संहत हॉसडॉर्फ़ रिक्त समष्टि को संहत हॉसडॉर्फ़ रिक्त समष्टि के ओपन उपसमुच्चय के रूप में वर्णित किया जा सकता है।
सहज रूप से, अतिरिक्त बिंदु अनंत पर बिंदु के रूप में सोचा जा सकता है। अनंत के बिंदु को X के प्रत्येक संहत उपसमुच्चय के बाहर स्थित माना जाना चाहिए। इस विचार का उपयोग करके स्थानत: संहत हॉसडॉर्फ स्थानों में अनंत की ओर प्रवृत्ति के बारे में कई सहज धारणाएं तैयार की जा सकती हैं। उदाहरण के लिए, सतत फलन (टोपोलॉजी) वास्तविक संख्या या जटिल संख्या मूल्यवान फलन (गणित) एफ डोमेन (फलन) X के साथ कहा जाता है कि यदि कोई सकारात्मक संख्या दी जाती है तो अनंत पर विलुप्त हो जाती है ई, X का संहत उपसमुच्चय के इस प्रकार है जब भी बिंदु (ज्यामिति) x K के बाहर स्थित होता है। यह परिभाषा किसी भी टोपोलॉजिकल समष्टि X के लिए समझ में आती है। यदि जहाँ
गेलफैंड प्रतिनिधित्व
स्थानत: संहत हॉसडॉर्फ़ समष्टि X के लिए, समुच्चय X पर सभी निरंतर जटिल-मूल्य वाले फलन जो अनंत पर विलुप्त हो जाते हैं, क्रमविनिमेय सी-स्टार बीजगणित है | सी *-बीजगणित वास्तव में, प्रत्येक क्रमविनिमेय C*-बीजगणित समरूपी है कुछ अद्वितीय (गणित) (होमियोमोर्फिज्म तक) के लिए स्थानत: संहत हॉसडॉर्फ समष्टि X इसे गेलफैंड प्रतिनिधित्व का उपयोग करके दिखाया गया है।
स्थानत: संहत समूह
टोपोलॉजिकल समूह के अध्ययन में स्थानीय संहतता की धारणा महत्वपूर्ण है क्योंकि प्रत्येक हॉसडॉर्फ स्थानत: संहत समूह जी में प्राकृतिक माप सिद्धांत होता है जिसे हार माप कहा जाता है जो g पर परिभाषित अभिन्न मापनीय कार्यों की अनुमति देता है। लेब्सग्यू वास्तविक रेखा पर मापता है इसका विशेष स्थिति है.
टोपोलॉजिकल एबेलियन समूह A का पोंट्रीगिन दोहरी स्थानत: संहत है यदि और केवल यदि ए स्थानत: संहत है। अधिक स्पष्ट रूप से, पोंट्रीगिन द्वंद्व स्थानत: संहत एबेलियन समूहों के श्रेणी सिद्धांत के स्व-द्वैत (श्रेणी सिद्धांत) को परिभाषित करता है। स्थानत: संहत एबेलियन समूहों का अध्ययन हार्मोनिक विश्लेषण की नींव है, ऐसा क्षेत्र जो तब से गैर-एबेलियन स्थानत: संहत समूहों तक फैल गया है।
यह भी देखें
- सघन समूह – Topological group with compact topology
- एफ. रिज़्ज़ का प्रमेय
- स्थानीय रूप से सघन क्षेत्र
- स्थानीय रूप से सघन क्वांटम समूह
- स्थानीय रूप से सघन समूह
- σ-कॉम्पैक्ट स्पेस
- कोर-संहत समष्टि
उद्धरण
- ↑ Folland 1999, p. 131, Sec. 4.5.
- ↑ 2.0 2.1 Gompa, Raghu (Spring 1992). "What is "locally compact"?" (PDF). Pi Mu Epsilon Journal. 9 (6): 390–392. JSTOR 24340250. Archived (PDF) from the original on 2015-09-10.
- ↑ Breuckmann, Tomas; Kudri, Soraya; Aygün, Halis (2004). "About Weakly Locally Compact Spaces". सॉफ्ट कार्यप्रणाली और यादृच्छिक सूचना प्रणाली. Springer. pp. 638–644. doi:10.1007/978-3-540-44465-7_79. ISBN 978-3-540-22264-4.
- ↑ Lowen-Colebunders, Eva (1983), "On the convergence of closed and compact sets", Pacific Journal of Mathematics, 108 (1): 133–140, doi:10.2140/pjm.1983.108.133, MR 0709705, S2CID 55084221, Zbl 0522.54003
- ↑ Bice, Tristan; Kubiś, Wiesław (2020). "सेमीलैटिस सबबेस के लिए वॉलमैन द्वैत". arXiv:2002.05943 [math.GN].
- ↑ Steen & Seebach, p. 20
- ↑ Kelley 1975, ch. 5, Theorem 17, p. 146.
- ↑ Bourbaki, Nicolas (1989). सामान्य टोपोलॉजी, भाग I (reprint of the 1966 ed.). Berlin: Springer-Verlag. ISBN 3-540-19374-X.
- ↑ Speer, Timothy (16 August 2007). "अलेक्जेंड्रोफ़ स्पेस का एक संक्षिप्त अध्ययन". arXiv:0708.2136 [math.GN].Theorem 5
- ↑ Schechter 1996, 17.14(d), p. 460.
- ↑ "सामान्य टोपोलॉजी - स्थानीय रूप से कॉम्पैक्ट प्रो रेगुलर स्पेस पूरी तरह से नियमित है". Mathematics Stack Exchange.
- ↑ Willard 1970, theorem 19.3, p.136.
- ↑ Kelley 1975, Theorem 34, p. 200.
- ↑ Schechter 1996, Theorem 20.18, p. 538.
संदर्भ
- Folland, Gerald B. (1999). Real Analysis: Modern Techniques and Their Applications (2nd ed.). John Wiley & Sons. ISBN 978-0-471-31716-6.
- Kelley, John (1975). General Topology. Springer. ISBN 978-0387901251.
- Munkres, James (1999). Topology (2nd ed.). Prentice Hall. ISBN 978-0131816299.
- Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology (Dover reprint of 1978 ed.). Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3. MR 0507446.
- Willard, Stephen (1970). General Topology. Addison-Wesley. ISBN 978-0486434797.