स्थानत: संहत समष्टि: Difference between revisions

Latest revision as of 15:27, 29 August 2023

टोपोलॉजी और गणित की संबंधित शाखाओं में, टोपोलॉजिकल समष्टि को स्थानत: संहत कहा जाता है, यदि सामान्यतः कहें तो, समष्टि का प्रत्येक छोटा भाग संहत समष्टि के छोटे भाग जैसा दिखता है। अधिक स्पष्ट रूप से, यह टोपोलॉजिकल समष्टि है जिसमें प्रत्येक बिंदु का संहत नेबरहुड (गणित) होता है।

गणितीय विश्लेषण में स्थानत: संहत समष्टि जो हॉसडॉर्फ़ समष्टि हैं, विशेष रुचि रखते हैं; इन्हें एलसीएच समष्टि के रूप में संक्षिप्त किया गया है।^[1]

औपचारिक परिभाषा

X को टपॉलजी का मूल्य रहने दें। सामान्यतः X को 'स्थानत: संहत' कहा जाता है यदि X के प्रत्येक बिंदु X में संहत नेबरहुड (टोपोलॉजी) है, अर्थात, ओपन समुच्चय U और संहत समुच्चय के उपस्थित है, जैसे कि $x\in U\subseteq K$ .

अन्य सामान्य परिभाषाएँ हैं: यदि 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] वास्तव में, ऐसा समष्टि नियमित है, क्योंकि प्रत्येक बिंदु पर सवृत नेबरहुड का स्थानीय आधार होता है। इसके विपरीत, नियमित स्थानत: संहत समष्टि में बिंदु मान लीजिए $x$ संहत नेबरहुड $K$ है . नियमितता से, इच्छानुसार नेबरहुड दिया गया $U$ का $x$ , सवृत नेबरहुड है $V$ का $x$ में निहित $K\cap U$ और $V$ संहत समुच्चय में सवृत समुच्चय के रूप में संहत है।

उदाहरण के लिए, नियम (5) का उपयोग बॉर्बकी में किया जाता है।^[8] कोई भी समष्टि जो स्थानत: संहत है (नियम (1) के अर्थ में) और हॉसडॉर्फ स्वचालित रूप से उपरोक्त सभी नियमो को पूरा करता है। चूंकि अधिकांश अनुप्रयोगों में स्थानत: संहत समष्टि भी हॉसडॉर्फ हैं, इसलिए ये स्थानत: संहत हॉसडॉर्फ (एलसीएच) समष्टि वे समष्टि होंगे जिनके बारे में यह लेख मुख्य रूप से चिंतित है।

उदाहरण और प्रति उदाहरण

संहत हॉसडॉर्फ रिक्त स्थान

प्रत्येक संहत हॉसडॉर्फ समष्टि स्थानत: संहत भी है, और संहत समष्टि के कई उदाहरण लेख संहत समष्टि में पाए जा सकते हैं।

यहाँ हम केवल उल्लेख करते हैं:

स्थानत: संहत हॉसडॉर्फ समष्टि जो संहत नहीं हैं

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

हॉसडॉर्फ़ समष्टि जो स्थानत: संहत नहीं हैं

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

किन्तु टाइकोनोफ़ रिक्त समष्टि के ऐसे उदाहरण भी हैं जो स्थानत: संहत होने में विफल रहते हैं, जैसे:

परिमेय संख्याओं का समष्टि Q (R से टोपोलॉजी से संपन्न), क्योंकि किसी भी नेबरहुड में अपरिमेय संख्या के अनुरूप कॉची अनुक्रम होता है, जिसका Q में कोई अभिसरण अनुवर्ती नहीं होता है;
उपसमष्टि $\{(0,0)\}\cup ((0,\infty )\times \mathbf {R} )$ का $\mathbf {R} ^{2}$ , चूंकि मूल में कोई संहत नेबरहुड नहीं है;
वास्तविक संख्याओं के समुच्चय R पर निचली सीमा टोपोलॉजी या ऊपरी सीमा टोपोलॉजी (एकतरफा सीमाओं के अध्ययन में उपयोगी);
कोई भी T₀, इसलिए हॉसडॉर्फ, टोपोलॉजिकल वेक्टर समष्टि जो अनंत-आयाम है, जैसे अनंत-आयामी हिल्बर्ट समष्टि है।

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

यह उदाहरण संहत समष्टि के उदाहरण के रूप में हिल्बर्ट क्यूब से भी भिन्न है; इसमें कोई विरोधाभास नहीं है क्योंकि घन हिल्बर्ट समष्टि में किसी भी बिंदु का नेबरहुड नहीं हो सकता है।

गैर-हॉसडॉर्फ उदाहरण

परिमेय संख्या 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)) में प्रत्येक सवृत समुच्चय अशक्त रूप से स्थानत: संहत है। किन्तु अशक्त स्थानत: संहत समष्टि में प्रत्येक ओपन समुच्चय अशक्त रूप से स्थानत: संहत नहीं होता है। उदाहरण के लिए, एक-बिंदु संघनन $\mathbb {Q} ^{*}$ तर्कसंगत संख्याओं का $\mathbb {Q}$ संहत है, और इसलिए स्थानत: अशक्त रूप से संहत है। किन्तु इसमें सम्मिलित है $\mathbb {Q}$ ओपन समुच्चय के रूप में जो अशक्त रूप से स्थानत: संहत नहीं है।

स्थानत: संहत हॉसडॉर्फ रिक्त समष्टि के भागफल समष्टि (टोपोलॉजी) संहत रूप से उत्पन्न समष्टि हैं।

इसके विपरीत, प्रत्येक संहत रूप से उत्पन्न हॉसडॉर्फ़ समष्टि कुछ स्थानत: संहत हॉसडॉर्फ़ समष्टि का भागफल है।

स्थानत: संहत समष्टि पर परिभाषित कार्यों के लिए, स्थानीय समान अभिसरण संहत अभिसरण के समान है।

अनंत पर बिंदु

यह खंड स्थानत: संहत स्थानों के संघनन (गणित) का पता लगाता है। प्रत्येक संहत समष्टि का अपना संहतीकरण होता है। इसलिए सामान्यतः से बचने के लिए नीचे यह माना गया है कि समष्टि X संहत नहीं है।

चूँकि प्रत्येक स्थानत: संहत हॉसडॉर्फ़ समष्टि $b(X)$ स्टोन-सेच कॉम्पेक्टिफिकेशन का उपयोग करता है। किन्तु वास्तव में, स्थानत: संहत मामले में सरल विधि उपलब्ध है; एक-बिंदु कॉम्पेक्टिफिकेशन X को संहत हॉसडॉर्फ समष्टि में एम्बेड करेगा $a(X)$ सिर्फ अतिरिक्त अंक के साथ. (एक-बिंदु संघनन को अन्य स्थानों पर लागू किया जा सकता है, किन्तु $a(X)$ हॉसडॉर्फ़ होगा यदि और केवल यदि X स्थानत: संहत और हॉसडॉर्फ़ है।) इस प्रकार स्थानत: संहत हॉसडॉर्फ़ रिक्त समष्टि को संहत हॉसडॉर्फ़ रिक्त समष्टि के ओपन उपसमुच्चय के रूप में वर्णित किया जा सकता है।

सहज रूप से, अतिरिक्त बिंदु $a(X)$ अनंत पर बिंदु के रूप में सोचा जा सकता है। अनंत के बिंदु को X के प्रत्येक संहत उपसमुच्चय के बाहर स्थित माना जाना चाहिए। इस विचार का उपयोग करके स्थानत: संहत हॉसडॉर्फ स्थानों में अनंत की ओर प्रवृत्ति के बारे में कई सहज धारणाएं तैयार की जा सकती हैं। उदाहरण के लिए, सतत फलन (टोपोलॉजी) वास्तविक संख्या या जटिल संख्या मूल्यवान फलन (गणित) एफ डोमेन (फलन) X के साथ कहा जाता है कि यदि कोई सकारात्मक संख्या दी जाती है तो अनंत पर विलुप्त हो जाती है ई, X का संहत उपसमुच्चय के इस प्रकार है $|f(x)|<e$ जब भी बिंदु (ज्यामिति) x K के बाहर स्थित होता है। यह परिभाषा किसी भी टोपोलॉजिकल समष्टि X के लिए समझ में आती है। यदि $a(X)=X\cup \{\infty \}$ जहाँ $g(\infty )=0.$

गेलफैंड प्रतिनिधित्व

स्थानत: संहत हॉसडॉर्फ़ समष्टि X के लिए, समुच्चय $C_{0}(X)$ X पर सभी निरंतर जटिल-मूल्य वाले फलन जो अनंत पर विलुप्त हो जाते हैं, क्रमविनिमेय सी-स्टार बीजगणित है | सी *-बीजगणित वास्तव में, प्रत्येक क्रमविनिमेय C*-बीजगणित समरूपी है $C_{0}(X)$ कुछ अद्वितीय (गणित) (होमियोमोर्फिज्म तक) के लिए स्थानत: संहत हॉसडॉर्फ समष्टि X इसे गेलफैंड प्रतिनिधित्व का उपयोग करके दिखाया गया है।

स्थानत: संहत समूह

टोपोलॉजिकल समूह के अध्ययन में स्थानीय संहतता की धारणा महत्वपूर्ण है क्योंकि प्रत्येक हॉसडॉर्फ स्थानत: संहत समूह जी में प्राकृतिक माप सिद्धांत होता है जिसे हार माप कहा जाता है जो g पर परिभाषित अभिन्न मापनीय कार्यों की अनुमति देता है। लेब्सग्यू वास्तविक रेखा पर मापता है $\mathbb {R}$ इसका विशेष स्थिति है.

टोपोलॉजिकल एबेलियन समूह A का पोंट्रीगिन दोहरी स्थानत: संहत है यदि और केवल यदि ए स्थानत: संहत है। अधिक स्पष्ट रूप से, पोंट्रीगिन द्वंद्व स्थानत: संहत एबेलियन समूहों के श्रेणी सिद्धांत के स्व-द्वैत (श्रेणी सिद्धांत) को परिभाषित करता है। स्थानत: संहत एबेलियन समूहों का अध्ययन हार्मोनिक विश्लेषण की नींव है, ऐसा क्षेत्र जो तब से गैर-एबेलियन स्थानत: संहत समूहों तक फैल गया है।

यह भी देखें

उद्धरण

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

[FOOTNOTEFolland1999131Sec._4.5-1] Folland 1999, p. 131, Sec. 4.5.

[Gompa1992-2] 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.

[3] 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.

[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

[5] Bice, Tristan; Kubiś, Wiesław (2020). "सेमीलैटिस सबबेस के लिए वॉलमैन द्वैत". arXiv:2002.05943 [math.GN].

[6] Steen & Seebach, p. 20

[FOOTNOTEKelley1975ch._5,_Theorem_17,_p._146-7] Kelley 1975, ch. 5, Theorem 17, p. 146.

[8] Bourbaki, Nicolas (1989). सामान्य टोपोलॉजी, भाग I (reprint of the 1966 ed.). Berlin: Springer-Verlag. ISBN 3-540-19374-X.

[9] Speer, Timothy (16 August 2007). "अलेक्जेंड्रोफ़ स्पेस का एक संक्षिप्त अध्ययन". arXiv:0708.2136 [math.GN].Theorem 5

[FOOTNOTESchechter199617.14(d),_p._460-10] Schechter 1996, 17.14(d), p. 460.

[11] "सामान्य टोपोलॉजी - स्थानीय रूप से कॉम्पैक्ट प्रो रेगुलर स्पेस पूरी तरह से नियमित है". Mathematics Stack Exchange.

[FOOTNOTEWillard1970theorem_19.3,_p.136-12] Willard 1970, theorem 19.3, p.136.

[FOOTNOTEKelley1975Theorem_34,_p._200-13] Kelley 1975, Theorem 34, p. 200.

[FOOTNOTESchechter1996Theorem_20.18,_p._538-14] Schechter 1996, Theorem 20.18, p. 538.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

@@ Line 1: / Line 1: @@
-[[टोपोलॉजी]] और गणित की संबंधित शाखाओं में, एक [[टोपोलॉजिकल स्पेस]] को स्थानीय रूप से कॉम्पैक्ट कहा जाता है, अगर मोटे तौर पर कहें तो, स्पेस का प्रत्येक छोटा हिस्सा [[ सघन स्थान ]] के एक छोटे हिस्से जैसा दिखता है। अधिक सटीक रूप से, यह एक टोपोलॉजिकल स्पेस है जिसमें प्रत्येक बिंदु का एक कॉम्पैक्ट नेबरहुड (गणित) होता है।
+[[टोपोलॉजी]] और गणित की संबंधित शाखाओं में, टोपोलॉजिकल समष्टि को '''स्थानत: संहत''' कहा जाता है, यदि सामान्यतः कहें तो, समष्टि का प्रत्येक छोटा भाग [[ सघन स्थान |संहत समष्टि]] के छोटे भाग जैसा दिखता है। अधिक स्पष्ट रूप से, यह टोपोलॉजिकल समष्टि है जिसमें प्रत्येक बिंदु का संहत नेबरहुड (गणित) होता है।
-[[गणितीय विश्लेषण]] में स्थानीय रूप से कॉम्पैक्ट स्पेस जो [[हॉसडॉर्फ़ स्थान]] हैं, विशेष रुचि रखते हैं; इन्हें एलसीएच स्पेस के रूप में संक्षिप्त किया गया है।{{sfn|Folland|1999|loc=Sec. 4.5|p=131}}
+[[गणितीय विश्लेषण]] में स्थानत: संहत समष्टि जो [[हॉसडॉर्फ़ स्थान|हॉसडॉर्फ़]] समष्टि हैं, विशेष रुचि रखते हैं; इन्हें एलसीएच समष्टि के रूप में संक्षिप्त किया गया है।{{sfn|Folland|1999|loc=Sec. 4.5|p=131}}
-==औपचारिक परिभाषा==
+==औपचारिक परिभाषा                                                                                                                                                                   ==
-एक्स को टपॉलजी का मूल्य रहने दें। आमतौर पर एक्स को 'स्थानीय रूप से कॉम्पैक्ट' कहा जाता है यदि एक्स के प्रत्येक बिंदु एक्स में एक कॉम्पैक्ट [[पड़ोस (टोपोलॉजी)]] है, यानी, एक खुला सेट यू और एक कॉम्पैक्ट सेट के मौजूद है, जैसे कि <math>x\in U\subseteq K</math>.
+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'' हॉसडॉर्फ है और पिछली नियमो में से किसी भी (या समकक्ष, सभी) को संतुष्ट करता है।
-शर्तों के बीच तार्किक संबंध:<ref name="Gompa1992">{{cite journal |last1=Gompa |first1=Raghu |title=What is "locally compact"? |journal=Pi Mu Epsilon Journal |date=Spring 1992 |volume=9 |issue=6 |pages=390–392 |url=http://www.pme-math.org/journal/issues/PMEJ.Vol.9.No.6.pdf |archive-url=https://web.archive.org/web/20150910073727/http://www.pme-math.org/journal/issues/PMEJ.Vol.9.No.6.pdf |archive-date=2015-09-10 |url-status=live |jstor=24340250}}</ref>
+नियमो के बीच तार्किक संबंध:<ref name="Gompa1992">{{cite journal |last1=Gompa |first1=Raghu |title=What is "locally compact"? |journal=Pi Mu Epsilon Journal |date=Spring 1992 |volume=9 |issue=6 |pages=390–392 |url=http://www.pme-math.org/journal/issues/PMEJ.Vol.9.No.6.pdf |archive-url=https://web.archive.org/web/20150910073727/http://www.pme-math.org/journal/issues/PMEJ.Vol.9.No.6.pdf |archive-date=2015-09-10 |url-status=live |jstor=24340250}}</ref>
-* प्रत्येक शर्त का तात्पर्य (1) है।
+* प्रत्येक नियम का तात्पर्य (1) है।
-*शर्तें (2), (2′), (2″) समतुल्य हैं।
+*नियमें (2), (2′), (2″) समतुल्य हैं।
 *स्थिति (2), (3) में से कोई भी दूसरे का तात्पर्य नहीं है।
-* शर्त (4) का तात्पर्य (2) और (3) से है।
+* नियम (4) का तात्पर्य (2) और (3) से है।
-* सघनता का तात्पर्य शर्तों (1) और (2) से है, लेकिन (3) या (4) से नहीं।
+* संहतता का तात्पर्य नियमो (1) और (2) से है, किन्तु (3) या (4) से नहीं है।
-शर्त (1) शायद सबसे अधिक इस्तेमाल की जाने वाली परिभाषा है, क्योंकि यह सबसे कम प्रतिबंधात्मक है और जब एक्स हॉसडॉर्फ स्पेस है तो अन्य इसके बराबर हैं। यह तुल्यता इस तथ्य का परिणाम है कि हॉसडॉर्फ रिक्त स्थान के कॉम्पैक्ट उपसमुच्चय बंद हैं, और कॉम्पैक्ट रिक्त स्थान के बंद उपसमूह कॉम्पैक्ट हैं। संतोषजनक स्थान (1) को कभी-कभी 'भी कहा जाता है{{visible anchor|weakly locally compact}},<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> क्योंकि वे यहां की सबसे कमजोर परिस्थितियों को भी संतुष्ट करते हैं।
+नियम (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) के विपरीत दृढ़ता से स्थानीय रूप से कॉम्पैक्ट, जिसे वे ''स्थानीय रूप से कॉम्पैक्ट'' कहते हैं।
+जैसा कि उन्हें अपेक्षाकृत संहत समुच्चय के संदर्भ में परिभाषित किया गया है, (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|locally compact regular}} रिक्त स्थान.{{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> एक कॉम्पैक्ट सेट में एक बंद सेट के रूप में कॉम्पैक्ट है।
+रिक्त समष्टि संतोषजनक स्थिति (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> कोई भी स्थान जो स्थानीय रूप से कॉम्पैक्ट है (शर्त (1) के अर्थ में) और हॉसडॉर्फ स्वचालित रूप से उपरोक्त सभी शर्तों को पूरा करता है। चूंकि अधिकांश अनुप्रयोगों में स्थानीय रूप से कॉम्पैक्ट स्पेस भी हॉसडॉर्फ हैं, इसलिए ये स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ (एलसीएच) स्पेस वे स्पेस होंगे जिनके बारे में यह लेख मुख्य रूप से चिंतित है।
+उदाहरण के लिए, नियम (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];
-* [[कैंटर सेट]];
+* [[कैंटर सेट|कैंटर समुच्चय]];
 * [[हिल्बर्ट क्यूब]].
-=== स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्थान जो कॉम्पैक्ट नहीं हैं ===
+=== स्थानत: संहत हॉसडॉर्फ समष्टि जो संहत नहीं हैं ===
-*[[ यूक्लिडियन स्थान ]] आर<sup><var>n</var></sup> (और विशेष रूप से वास्तविक रेखा आर) हेइन-बोरेल प्रमेय के परिणामस्वरूप स्थानीय रूप से कॉम्पैक्ट हैं।
+*[[ यूक्लिडियन स्थान | यूक्लिडियन समष्टि]] R<sup><var>n</var></sup> (और विशेष रूप से वास्तविक रेखा आर) हेइन-बोरेल प्रमेय के परिणामस्वरूप स्थानत: संहत हैं।
-*[[टोपोलॉजिकल मैनिफोल्ड]]्स यूक्लिडियन रिक्त स्थान के स्थानीय गुणों को साझा करते हैं और इसलिए सभी स्थानीय रूप से कॉम्पैक्ट भी होते हैं। इसमें [[लंबी लाइन (टोपोलॉजी)]] जैसे [[ परा-सुसंहत ]] मैनिफ़ोल्ड भी शामिल हैं।
+*[[टोपोलॉजिकल मैनिफोल्ड]] यूक्लिडियन रिक्त समष्टि के स्थानीय गुणों को साझा करते हैं और इसलिए सभी स्थानत: संहत भी होते हैं। इसमें [[लंबी लाइन (टोपोलॉजी)]] जैसे [[ परा-सुसंहत |परा-सुसंहत]] मैनिफ़ोल्ड भी सम्मिलित हैं।
-*सभी अलग-अलग स्थान स्थानीय रूप से कॉम्पैक्ट और हॉसडॉर्फ हैं (वे केवल [[0 (संख्या)]]-आयामी मैनिफोल्ड हैं)। ये केवल तभी सघन होते हैं जब वे परिमित हों।
+*सभी अलग-अलग समष्टि स्थानत: संहत और हॉसडॉर्फ हैं (वे केवल [[0 (संख्या)]]-आयामी मैनिफोल्ड हैं)। ये केवल तभी संहत होते हैं जब वे परिमित होंते है।
-*स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस के सभी खुले उपसमुच्चय या [[बंद उपसमुच्चय]] [[सबस्पेस टोपोलॉजी]] में स्थानीय रूप से कॉम्पैक्ट होते हैं। यह यूक्लिडियन रिक्त स्थान के स्थानीय रूप से कॉम्पैक्ट उपसमुच्चय के कई उदाहरण प्रदान करता है, जैसे [[यूनिट डिस्क]] (या तो खुला या बंद संस्करण)।
+*स्थानत: संहत हॉसडॉर्फ समष्टि के सभी ओपन उपसमुच्चय या [[बंद उपसमुच्चय|सवृत उपसमुच्चय]] [[सबस्पेस टोपोलॉजी|सबसमष्टि टोपोलॉजी]] में स्थानत: संहत होते हैं। यह यूक्लिडियन रिक्त समष्टि के स्थानत: संहत उपसमुच्चय के कई उदाहरण प्रदान करता है, जैसे [[यूनिट डिस्क]] (या तो ओपन या सवृत संस्करण) है।
-*अंतरिक्ष Q<sub>''p''</sub> पी-एडिक संख्या|पी-एडिक संख्या स्थानीय रूप से कॉम्पैक्ट है, क्योंकि यह कैंटर सेट माइनस एक पॉइंट के लिए [[होम्योमॉर्फिक]] है। इस प्रकार स्थानीय रूप से कॉम्पैक्ट स्पेस पी-एडिक विश्लेषण|पी-एडिक विश्लेषण में उतने ही उपयोगी हैं जितने शास्त्रीय गणितीय विश्लेषण में।
+*समष्टि Q<sub>''p''</sub> ''P''-एडिक संख्या स्थानत: संहत है, क्योंकि यह कैंटर समुच्चय माइनस पॉइंट के लिए [[होम्योमॉर्फिक]] है। इस प्रकार स्थानत: संहत समष्टि पी-एडिक विश्लेषण में उतने ही उपयोगी हैं जितने मौलिक गणितीय विश्लेषण में होते है।
-=== हॉसडॉर्फ़ स्थान जो स्थानीय रूप से सघन नहीं हैं ===
+=== हॉसडॉर्फ़ समष्टि जो स्थानत: संहत नहीं हैं ===
-जैसा कि निम्नलिखित अनुभाग में बताया गया है, यदि हॉसडॉर्फ़ स्थान स्थानीय रूप से सघन है, तो यह [[टाइकोनोफ़ स्थान]] भी है। इस कारण से, हॉसडॉर्फ़ रिक्त स्थान के उदाहरण जो स्थानीय रूप से कॉम्पैक्ट होने में विफल रहते हैं क्योंकि वे टाइकोनॉफ़ स्थान नहीं हैं, टाइकोनॉफ़ स्थान को समर्पित लेख में पाए जा सकते हैं।
+जैसा कि निम्नलिखित अनुभाग में बताया गया है, यदि हॉसडॉर्फ़ समष्टि स्थानत: संहत है, तो यह [[टाइकोनोफ़ स्थान|टाइकोनोफ़]] समष्टि भी है। इस कारण से, हॉसडॉर्फ़ रिक्त समष्टि के उदाहरण जो स्थानत: संहत होने में विफल रहते हैं क्योंकि वे टाइकोनॉफ़ समष्टि नहीं हैं, टाइकोनॉफ़ समष्टि को समर्पित लेख में पाए जा सकते हैं।
-लेकिन टाइकोनोफ़ रिक्त स्थान के ऐसे उदाहरण भी हैं जो स्थानीय रूप से कॉम्पैक्ट होने में विफल रहते हैं, जैसे:
-* परिमेय संख्याओं का स्थान Q (R से टोपोलॉजी से संपन्न), क्योंकि किसी भी पड़ोस में एक अपरिमेय संख्या के अनुरूप एक [[कॉची अनुक्रम]] होता है, जिसका Q में कोई अभिसरण अनुवर्ती नहीं होता है;
+किन्तु टाइकोनोफ़ रिक्त समष्टि के ऐसे उदाहरण भी हैं जो स्थानत: संहत होने में विफल रहते हैं, जैसे:
-* उपस्थान <math>\{(0, 0)\} \cup ((0, \infty) \times \mathbf{R})</math> का <math>\mathbf{R}^2</math>, चूंकि मूल में कोई सघन पड़ोस नहीं है;
-* वास्तविक संख्याओं के सेट आर पर [[निचली सीमा टोपोलॉजी]] या [[ऊपरी सीमा टोपोलॉजी]] (एकतरफा सीमाओं के अध्ययन में उपयोगी);
-* कोई भी T0 स्थान|T<sub>0</sub>, इसलिए हॉसडॉर्फ, [[टोपोलॉजिकल वेक्टर स्पेस]] जो अनंत-[[आयाम]]ी है, जैसे अनंत-आयामी [[ हिल्बर्ट स्थान ]]।
-पहले दो उदाहरण दिखाते हैं कि स्थानीय रूप से कॉम्पैक्ट स्थान के सबसेट को स्थानीय रूप से कॉम्पैक्ट होने की आवश्यकता नहीं है, जो पिछले अनुभाग में खुले और बंद सबसेट के विपरीत है।
+* परिमेय संख्याओं का समष्टि Q (R से टोपोलॉजी से संपन्न), क्योंकि किसी भी नेबरहुड में अपरिमेय संख्या के अनुरूप [[कॉची अनुक्रम]] होता है, जिसका Q में कोई अभिसरण अनुवर्ती नहीं होता है;
-अंतिम उदाहरण पिछले अनुभाग में यूक्लिडियन रिक्त स्थान के विपरीत है; अधिक विशिष्ट होने के लिए, हॉसडॉर्फ टोपोलॉजिकल वेक्टर स्पेस स्थानीय रूप से कॉम्पैक्ट होता है यदि और केवल यदि यह परिमित-आयामी है (जिस स्थिति में यह एक यूक्लिडियन स्पेस है)।
+* उपसमष्टि <math>\{(0, 0)\} \cup ((0, \infty) \times \mathbf{R})</math> का <math>\mathbf{R}^2</math>, चूंकि मूल में कोई संहत नेबरहुड नहीं है;
-यह उदाहरण कॉम्पैक्ट स्पेस के उदाहरण के रूप में हिल्बर्ट क्यूब से भी भिन्न है; इसमें कोई विरोधाभास नहीं है क्योंकि घन हिल्बर्ट अंतरिक्ष में किसी भी बिंदु का पड़ोस नहीं हो सकता है।
+* वास्तविक संख्याओं के समुच्चय '''R''' पर [[निचली सीमा टोपोलॉजी]] या [[ऊपरी सीमा टोपोलॉजी]] (एकतरफा सीमाओं के अध्ययन में उपयोगी);
+* कोई भी T<sub>0</sub>, इसलिए हॉसडॉर्फ, [[टोपोलॉजिकल वेक्टर स्पेस|टोपोलॉजिकल वेक्टर समष्टि]] जो अनंत-[[आयाम]] है, जैसे अनंत-आयामी [[ हिल्बर्ट स्थान |हिल्बर्ट समष्टि]] है।
+पहले दो उदाहरण दिखाते हैं कि स्थानत: संहत समष्टि के सबसमुच्चय को स्थानत: संहत होने की आवश्यकता नहीं है, जो पिछले अनुभाग में ओपन और सवृत सबसमुच्चय के विपरीत है।अंतिम उदाहरण पिछले अनुभाग में यूक्लिडियन रिक्त समष्टि के विपरीत है; अधिक विशिष्ट होने के लिए, हॉसडॉर्फ टोपोलॉजिकल वेक्टर समष्टि स्थानत: संहत होता है यदि और केवल यदि यह परिमित-आयामी है (जिस स्थिति में यह यूक्लिडियन समष्टि है)।
+यह उदाहरण संहत समष्टि के उदाहरण के रूप में हिल्बर्ट क्यूब से भी भिन्न है; इसमें कोई विरोधाभास नहीं है क्योंकि घन हिल्बर्ट समष्टि में किसी भी बिंदु का नेबरहुड नहीं हो सकता है।
 ===गैर-हॉसडॉर्फ उदाहरण===
-* परिमेय संख्या Q का [[एक-बिंदु संघनन]] संहत है और इसलिए इंद्रियों (1) और (2) में स्थानीय रूप से संहत है लेकिन यह इंद्रियों (3) या (4) में स्थानीय रूप से संहत नहीं है।
+* परिमेय संख्या Q का [[एक-बिंदु संघनन]] संहत है और इसलिए इंद्रियों (1) और (2) में स्थानत: संहत है किन्तु यह इंद्रियों (3) या (4) में स्थानत: संहत नहीं है।
-* किसी भी अनंत सेट पर [[विशेष बिंदु टोपोलॉजी]] इंद्रियों (1) और (3) में स्थानीय रूप से कॉम्पैक्ट होती है, लेकिन इंद्रियों (2) या (4) में नहीं, क्योंकि किसी भी पड़ोस का बंद होना संपूर्ण स्थान है, जो गैर-कॉम्पैक्ट है।
+* किसी भी अनंत समुच्चय पर [[विशेष बिंदु टोपोलॉजी]] इंद्रियों (1) और (3) में स्थानत: संहत होती है, किन्तु इंद्रियों (2) या (4) में नहीं, क्योंकि किसी भी नेबरहुड का सवृत होना संपूर्ण समष्टि है, जो गैर-संहत है।
-* उपरोक्त दो उदाहरणों का [[असंयुक्त संघ (टोपोलॉजी)]] अर्थ (1) में स्थानीय रूप से सघन है, लेकिन अर्थ (2), (3) या (4) में नहीं।
+* उपरोक्त दो उदाहरणों का [[असंयुक्त संघ (टोपोलॉजी)]] अर्थ (1) में स्थानत: संहत है, किन्तु अर्थ (2), (3) या (4) में नहीं है।
-* वास्तविक रेखा पर सही क्रम की टोपोलॉजी इंद्रियों (1) और (3) में स्थानीय रूप से कॉम्पैक्ट है, लेकिन इंद्रियों (2) या (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), (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) में स्थानीय रूप से कॉम्पैक्ट है।<ref>{{cite arXiv |last1=Speer |first1=Timothy |title=अलेक्जेंड्रोफ़ स्पेस का एक संक्षिप्त अध्ययन|eprint=0708.2136 |class=math.GN |date=16 August 2007}}Theorem 5</ref>
+* [[अलेक्जेंडर टोपोलॉजी]] वाला प्रत्येक समष्टि इंद्रियों (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 में [[स्थानीय रूप से बंद|स्थानत: सवृत]] होना चाहिए, चूँकि इसका विपरीत (तर्क) सामान्य रूप से मान्य नहीं है।
-प्रत्येक स्थानीय रूप से कॉम्पैक्ट [[पूर्व नियमित स्थान]], वास्तव में, [[पूरी तरह से नियमित स्थान]] है।{{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}}
+हॉसडॉर्फ परिकल्पना के बिना, इनमें से कुछ परिणाम स्थानत: संहत की अशक्त धारणाओं के साथ टूट जाते हैं। [[कमजोर रूप से स्थानीय रूप से कॉम्पैक्ट|अशक्त रूप से स्थानत: संहत]] समष्टि (उपरोक्त परिभाषाओं में स्थिति (1)) में प्रत्येक सवृत समुच्चय अशक्त रूप से स्थानत: संहत है। किन्तु अशक्त स्थानत: संहत समष्टि में प्रत्येक ओपन समुच्चय अशक्त रूप से स्थानत: संहत नहीं होता है। उदाहरण के लिए, एक-बिंदु संघनन <math>\Q^*</math> तर्कसंगत संख्याओं का <math>\Q</math> संहत है, और इसलिए स्थानत: अशक्त रूप से संहत है। किन्तु इसमें सम्मिलित है <math>\Q</math> ओपन समुच्चय के रूप में जो अशक्त रूप से स्थानत: संहत नहीं है।
-अर्थात्, बेयर श्रेणी प्रमेय का निष्कर्ष यह है: कहीं भी घने उपसमुच्चय के प्रत्येक [[गणनीय]] संघ का [[आंतरिक (टोपोलॉजी)]] खाली नहीं है।
-स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस Y का एक [[ उपस्थान (टोपोलॉजी) ]] X स्थानीय रूप से कॉम्पैक्ट है यदि और केवल यदि X स्थानीय रूप से Y में बंद है (अर्थात, Y का). विशेष रूप से, स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस में प्रत्येक बंद सेट और प्रत्येक खुला सेट स्थानीय रूप से कॉम्पैक्ट है। इसके अलावा, एक परिणाम के रूप में, स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस Y का एक [[सघन (टोपोलॉजी)]] उप-स्थान अभी भी Y में [[स्थानीय रूप से बंद]] होना चाहिए, हालाँकि इसका विपरीत (तर्क) सामान्य रूप से मान्य नहीं है।
+स्थानत: संहत हॉसडॉर्फ रिक्त समष्टि के [[भागफल स्थान (टोपोलॉजी)|भागफल समष्टि (टोपोलॉजी)]] संहत रूप से उत्पन्न समष्टि हैं।
-हॉसडॉर्फ परिकल्पना के बिना, इनमें से कुछ परिणाम स्थानीय रूप से कॉम्पैक्ट की कमजोर धारणाओं के साथ टूट जाते हैं। [[कमजोर रूप से स्थानीय रूप से कॉम्पैक्ट]] स्थान (= उपरोक्त परिभाषाओं में स्थिति (1)) में प्रत्येक बंद सेट कमजोर रूप से स्थानीय रूप से कॉम्पैक्ट है। लेकिन कमजोर स्थानीय रूप से कॉम्पैक्ट स्थान में प्रत्येक खुला सेट कमजोर रूप से स्थानीय रूप से कॉम्पैक्ट नहीं होता है। उदाहरण के लिए, एक-बिंदु संघनन <math>\Q^*</math> तर्कसंगत संख्याओं का <math>\Q</math> कॉम्पैक्ट है, और इसलिए स्थानीय रूप से कमजोर रूप से कॉम्पैक्ट है। लेकिन इसमें शामिल है <math>\Q</math> एक खुले सेट के रूप में जो कमजोर रूप से स्थानीय रूप से कॉम्पैक्ट नहीं है।
+इसके विपरीत, प्रत्येक संहत रूप से उत्पन्न हॉसडॉर्फ़ समष्टि कुछ स्थानत: संहत हॉसडॉर्फ़ समष्टि का भागफल है।
-स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ रिक्त स्थान के [[भागफल स्थान (टोपोलॉजी)]] कॉम्पैक्ट रूप से उत्पन्न स्थान हैं।
+स्थानत: संहत समष्टि पर परिभाषित कार्यों के लिए, स्थानीय समान अभिसरण संहत अभिसरण के समान है।
-इसके विपरीत, प्रत्येक कॉम्पैक्ट रूप से उत्पन्न हॉसडॉर्फ़ स्पेस कुछ स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ स्पेस का भागफल है।
-स्थानीय रूप से कॉम्पैक्ट स्थान पर परिभाषित कार्यों के लिए, स्थानीय समान अभिसरण कॉम्पैक्ट अभिसरण के समान है।
 === अनंत पर बिंदु ===
-यह खंड स्थानीय रूप से कॉम्पैक्ट स्थानों के [[संघनन (गणित)]]गणित) का पता लगाता है। प्रत्येक कॉम्पैक्ट स्पेस का अपना कॉम्पैक्टिफिकेशन होता है। इसलिए तुच्छताओं से बचने के लिए नीचे यह माना गया है कि अंतरिक्ष X सघन नहीं है।
+यह खंड स्थानत: संहत स्थानों के [[संघनन (गणित)]] का पता लगाता है। प्रत्येक संहत समष्टि का अपना संहतीकरण होता है। इसलिए सामान्यतः से बचने के लिए नीचे यह माना गया है कि समष्टि X संहत नहीं है।
-चूँकि प्रत्येक स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ स्पेस <math>b(X)</math> स्टोन-सेच कॉम्पेक्टिफिकेशन का उपयोग करना।
-लेकिन वास्तव में, स्थानीय रूप से कॉम्पैक्ट मामले में एक सरल विधि उपलब्ध है; एक-बिंदु कॉम्पेक्टिफिकेशन एक्स को कॉम्पैक्ट हॉसडॉर्फ स्पेस में एम्बेड करेगा <math>a(X)</math> सिर्फ एक अतिरिक्त अंक के साथ.
-(एक-बिंदु संघनन को अन्य स्थानों पर लागू किया जा सकता है, लेकिन <math>a(X)</math> हॉसडॉर्फ़ होगा यदि और केवल यदि एक्स स्थानीय रूप से कॉम्पैक्ट और हॉसडॉर्फ़ है।)
-इस प्रकार स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ रिक्त स्थान को कॉम्पैक्ट हॉसडॉर्फ़ रिक्त स्थान के खुले उपसमुच्चय के रूप में वर्णित किया जा सकता है।
-सहज रूप से, अतिरिक्त बिंदु <math>a(X)</math> अनंत पर एक बिंदु के रूप में सोचा जा सकता है।
-अनंत के बिंदु को ''X'' के प्रत्येक सघन उपसमुच्चय के बाहर स्थित माना जाना चाहिए।
-इस विचार का उपयोग करके स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्थानों में अनंत की ओर प्रवृत्ति के बारे में कई सहज धारणाएं तैयार की जा सकती हैं।
-उदाहरण के लिए, एक सतत फ़ंक्शन (टोपोलॉजी) [[वास्तविक संख्या]] या [[जटिल संख्या]] मूल्यवान [[फ़ंक्शन (गणित)]] ''एफ'' [[डोमेन (फ़ंक्शन)]] ''एक्स'' के साथ कहा जाता है कि यदि कोई [[सकारात्मक संख्या]] दी जाती है तो ''अनंत पर गायब हो जाती है'' ''ई'', ''एक्स'' का एक सघन उपसमुच्चय ''के'' इस प्रकार है <math>|f(x)| < e</math> जब भी [[बिंदु (ज्यामिति)]] x K के बाहर स्थित होता है। यह परिभाषा किसी भी टोपोलॉजिकल स्पेस X के लिए समझ में आती है। यदि <math>a(X) = X \cup \{ \infty \}</math> कहाँ <math>g(\infty) = 0.</math>
+चूँकि प्रत्येक स्थानत: संहत हॉसडॉर्फ़ समष्टि <math>b(X)</math> स्टोन-सेच कॉम्पेक्टिफिकेशन का उपयोग करता है। किन्तु वास्तव में, स्थानत: संहत मामले में सरल विधि उपलब्ध है; एक-बिंदु कॉम्पेक्टिफिकेशन X को संहत हॉसडॉर्फ समष्टि में एम्बेड करेगा <math>a(X)</math> सिर्फ अतिरिक्त अंक के साथ. (एक-बिंदु संघनन को अन्य स्थानों पर लागू किया जा सकता है, किन्तु <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>
 === गेलफैंड प्रतिनिधित्व ===
-स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ स्पेस एक्स के लिए, सेट <math>C_0(X)</math> एक्स पर सभी निरंतर जटिल-मूल्य वाले फ़ंक्शन जो अनंत पर गायब हो जाते हैं, एक क्रमविनिमेय [[सी-स्टार बीजगणित]] है|सी*-बीजगणित। वास्तव में, प्रत्येक क्रमविनिमेय C*-बीजगणित [[समरूपी]] है <math>C_0(X)</math> कुछ [[अद्वितीय (गणित)]] ([[होमियोमोर्फिज्म]] [[तक]]) के लिए स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस एक्स। इसे [[गेलफैंड प्रतिनिधित्व]] का उपयोग करके दिखाया गया है।
+स्थानत: संहत हॉसडॉर्फ़ समष्टि X के लिए, समुच्चय <math>C_0(X)</math> X पर सभी निरंतर जटिल-मूल्य वाले फलन जो अनंत पर विलुप्त हो जाते हैं, क्रमविनिमेय [[सी-स्टार बीजगणित]] है | सी *-बीजगणित वास्तव में, प्रत्येक क्रमविनिमेय C*-बीजगणित [[समरूपी]] है <math>C_0(X)</math> कुछ [[अद्वितीय (गणित)]] ([[होमियोमोर्फिज्म]] [[तक]]) के लिए स्थानत: संहत हॉसडॉर्फ समष्टि X इसे [[गेलफैंड प्रतिनिधित्व]] का उपयोग करके दिखाया गया है।
-=== [[स्थानीय रूप से सघन समूह]] ===
+=== [[स्थानीय रूप से सघन समूह|स्थानत: संहत समूह]] ===
-[[टोपोलॉजिकल समूह]]ों के अध्ययन में स्थानीय कॉम्पैक्टनेस की धारणा महत्वपूर्ण है क्योंकि प्रत्येक हॉसडॉर्फ स्थानीय रूप से कॉम्पैक्ट समूह जी में प्राकृतिक [[माप सिद्धांत]] होता है जिसे हार माप कहा जाता है जो जी पर परिभाषित [[अभिन्न]] मापनीय कार्यों की अनुमति देता है।
+[[टोपोलॉजिकल समूह]] के अध्ययन में स्थानीय संहतता की धारणा महत्वपूर्ण है क्योंकि प्रत्येक हॉसडॉर्फ स्थानत: संहत समूह जी में प्राकृतिक [[माप सिद्धांत]] होता है जिसे हार माप कहा जाता है जो g पर परिभाषित [[अभिन्न]] मापनीय कार्यों की अनुमति देता है। लेब्सग्यू वास्तविक रेखा पर मापता है <math>\R</math> इसका विशेष स्थिति है.
-लेब्सग्यू वास्तविक रेखा पर मापता है <math>\R</math> इसका एक विशेष मामला है.
-[[टोपोलॉजिकल एबेलियन समूह]] ए का [[पोंट्रीगिन दोहरी]] स्थानीय रूप से कॉम्पैक्ट है यदि और केवल यदि ए स्थानीय रूप से कॉम्पैक्ट है।
+[[टोपोलॉजिकल एबेलियन समूह]] A का [[पोंट्रीगिन दोहरी]] स्थानत: संहत है यदि और केवल यदि ए स्थानत: संहत है। अधिक स्पष्ट रूप से, पोंट्रीगिन द्वंद्व स्थानत: संहत एबेलियन समूहों के [[श्रेणी सिद्धांत]] के स्व-[[द्वैत (श्रेणी सिद्धांत)]] को परिभाषित करता है। स्थानत: संहत एबेलियन समूहों का अध्ययन [[हार्मोनिक विश्लेषण]] की नींव है, ऐसा क्षेत्र जो तब से गैर-एबेलियन स्थानत: संहत समूहों तक फैल गया है।
-अधिक सटीक रूप से, पोंट्रीगिन द्वंद्व स्थानीय रूप से कॉम्पैक्ट एबेलियन समूहों के [[श्रेणी सिद्धांत]] के एक स्व-[[द्वैत (श्रेणी सिद्धांत)]] को परिभाषित करता है।
-स्थानीय रूप से कॉम्पैक्ट एबेलियन समूहों का अध्ययन [[हार्मोनिक विश्लेषण]] की नींव है, एक ऐसा क्षेत्र जो तब से गैर-एबेलियन स्थानीय रूप से कॉम्पैक्ट समूहों तक फैल गया है।
-== यह भी देखें ==
+== यह भी देखें                                                                                                                                                                            ==
-* {{annotated link|Compact group}}
+* {{annotated link|सघन समूह}}
-* {{annotated link|F. Riesz's theorem}}
+* {{annotated link|एफ. रिज़्ज़ का प्रमेय}}
-* {{annotated link|Locally compact field}}
+* {{annotated link|स्थानीय रूप से सघन क्षेत्र}}
-* {{annotated link|Locally compact quantum group}}
+* {{annotated link|स्थानीय रूप से सघन क्वांटम समूह}}
-* {{annotated link|Locally compact group}}
+* {{annotated link|स्थानीय रूप से सघन समूह}}
-* {{annotated link|σ-compact space}}
+* {{annotated link|σ-कॉम्पैक्ट स्पेस}}
-* [[कोर-कॉम्पैक्ट स्पेस]]
+* [[कोर-कॉम्पैक्ट स्पेस|कोर-संहत समष्टि]]
-== उद्धरण ==
+== उद्धरण                                                                                                                                                                          ==
 {{reflist}}
+== संदर्भ                                                                                                                                                                                   ==
-== संदर्भ ==
 {{refbegin}}
 *{{cite book| last1=Folland | first1=Gerald B.| author-link=Gerald Folland | title=Real Analysis: Modern Techniques and Their Applications | publisher=[[Wiley (publisher)|John Wiley & Sons]] | url=https://www.wiley.com/en-us/Real+Analysis%3A+Modern+Techniques+and+Their+Applications%2C+2nd+Edition-p-9780471317166| year=1999 | edition=2nd | isbn=978-0-471-31716-6 }}
@@ Line 136: / Line 123: @@
 *{{cite book | last = Willard | first = Stephen | title = General Topology | url = https://archive.org/details/generaltopology00will_0 | url-access = registration | publisher = [[Addison-Wesley]] | year = 1970 | isbn = 978-0486434797}}
 {{refend}}
-[[Category: सघनता (गणित)]] [[Category: टोपोलॉजिकल रिक्त स्थान के गुण]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 30/06/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:टोपोलॉजिकल रिक्त स्थान के गुण]]
+[[Category:सघनता (गणित)]]

Anonymous

Search

स्थानत: संहत समष्टि: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 15:27, 29 August 2023

Contents

औपचारिक परिभाषा