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

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

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

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

अन्य सामान्य परिभाषाएँ हैं: यदि X हॉसडॉर्फ स्पेस (या पूर्व-नियमित) है जिससे वे सभी समतुल्य हैं। किन्तु वे सामान्यतः समकक्ष नहीं हैं:
 * 1. X के प्रत्येक बिंदु का सघन नेबरहुड (टोपोलॉजी) है।
 * 2. X के प्रत्येक बिंदु का बंद सेट सघन नेबरहुड है।
 * 2′. X के प्रत्येक बिंदु का नेबरहुड अपेक्षाकृत सघन है।
 * 2″. X के प्रत्येक बिंदु पर अपेक्षाकृत सघन नेबरहुड का स्थानीय आधार है।
 * 3. X के प्रत्येक बिंदु पर सघन नेबरहुड का स्थानीय आधार है।
 * 4. X के प्रत्येक बिंदु पर बंद सघन नेबरहुड का स्थानीय आधार है।
 * 5. X हॉसडॉर्फ है और पिछली नियमो में से किसी भी (या समकक्ष, सभी) को संतुष्ट करता है।

नियमो के बीच तार्किक संबंध:
 * प्रत्येक नियम का तात्पर्य (1) है।
 * नियमें (2), (2′), (2″) समतुल्य हैं।
 * स्थिति (2), (3) में से कोई भी दूसरे का तात्पर्य नहीं है।
 * नियम (4) का तात्पर्य (2) और (3) से है।
 * सघनता का तात्पर्य नियमो (1) और (2) से है, किन्तु (3) या (4) से नहीं है।

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

जैसा कि उन्हें अपेक्षाकृत सघन सेट के संदर्भ में परिभाषित किया गया है, (2), (2'), (2) को संतुष्ट करने वाले स्थानों को विशेष रूप से स्थानीय रूप से अपेक्षाकृत सघन कहा जा सकता है। स्टीन और सीबैक कॉल (2), (2'), (2) संपत्ति (1) के विपरीत दृढ़ता से स्थानीय रूप से सघन, जिसे वे स्थानीय रूप से सघन कहते हैं।

रिक्त स्पेस संतोषजनक स्थिति (4) बिल्कुल हैं रिक्त स्थान. वास्तव में, ऐसा स्पेस नियमित है, क्योंकि प्रत्येक बिंदु पर बंद नेबरहुड का स्थानीय आधार होता है। इसके विपरीत, नियमित स्थानीय रूप से सघन स्पेस में बिंदु मान लीजिए $$x$$ सघन नेबरहुड $$K$$ है. नियमितता से, इच्छानुसार नेबरहुड दिया गया $$U$$ का $$x$$, बंद नेबरहुड है $$V$$ का $$x$$ में निहित $$K\cap U$$ और $$V$$ सघन सेट में बंद सेट के रूप में सघन है।

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

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

यहाँ हम केवल उल्लेख करते हैं:
 * इकाई अंतराल [0,1];
 * कैंटर सेट;
 * हिल्बर्ट क्यूब.

स्थानीय रूप से सघन हॉसडॉर्फ स्पेस जो सघन नहीं हैं

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

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

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


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

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

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

स्थानीय रूप से सघन हॉसडॉर्फ स्पेस Y का उपस्पेस (टोपोलॉजी) X स्थानीय रूप से सघन है यदि और केवल यदि X स्थानीय रूप से Y में बंद है (अर्थात, Y का). विशेष रूप से, स्थानीय रूप से सघन हॉसडॉर्फ स्पेस में प्रत्येक बंद सेट और प्रत्येक ओपन सेट स्थानीय रूप से सघन है। इसके अलावा, परिणाम के रूप में, स्थानीय रूप से सघन हॉसडॉर्फ स्पेस Y का सघन (टोपोलॉजी) उप-स्पेस अभी भी Y में स्थानीय रूप से बंद होना चाहिए, चूँकि इसका विपरीत (तर्क) सामान्य रूप से मान्य नहीं है।

हॉसडॉर्फ परिकल्पना के बिना, इनमें से कुछ परिणाम स्थानीय रूप से सघन की अशक्त धारणाओं के साथ टूट जाते हैं। अशक्त रूप से स्थानीय रूप से सघन स्पेस (उपरोक्त परिभाषाओं में स्थिति (1)) में प्रत्येक बंद सेट अशक्त रूप से स्थानीय रूप से सघन है। किन्तु अशक्त स्थानीय रूप से सघन स्पेस में प्रत्येक ओपन सेट अशक्त रूप से स्थानीय रूप से सघन नहीं होता है। उदाहरण के लिए, एक-बिंदु संघनन $$\Q^*$$ तर्कसंगत संख्याओं का $$\Q$$ सघन है, और इसलिए स्थानीय रूप से अशक्त रूप से सघन है। किन्तु इसमें सम्मिलित है $$\Q$$ ओपन सेट के रूप में जो अशक्त रूप से स्थानीय रूप से सघन नहीं है।

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

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

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

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

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

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

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

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

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

यह भी देखें

 * कोर-सघन स्पेस
 * कोर-सघन स्पेस
 * कोर-सघन स्पेस
 * कोर-सघन स्पेस
 * कोर-सघन स्पेस
 * कोर-सघन स्पेस
 * कोर-सघन स्पेस