अलेक्जेंड्रोफ़ विस्तारण: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Way to extend a non-compact topological space}} टोपोलॉजी के गणित क्षेत्र में, अलेक्जें...")
 
No edit summary
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Way to extend a non-compact topological space}}
{{Short description|Way to extend a non-compact topological space}}
[[टोपोलॉजी]] के गणित क्षेत्र में, अलेक्जेंड्रोफ़ एक्सटेंशन एक एकल बिंदु से सटे हुए एक गैर-कॉम्पैक्ट [[टोपोलॉजिकल स्पेस]] को इस तरह विस्तारित करने का एक तरीका है कि परिणामी स्थान [[ सघन स्थान ]] हो। इसका नाम रूसी गणितज्ञ [[पावेल अलेक्जेंड्रोफ़]] के नाम पर रखा गया है।
 
अधिक सटीक रूप से, ''X'' को एक टोपोलॉजिकल स्पेस होने दें। फिर ''X'' का अलेक्जेंड्रॉफ एक्सटेंशन एक निश्चित कॉम्पैक्ट स्पेस ''X''* है, साथ में एक [[ मैपिंग खोलें ]] [[एम्बेडिंग (टोपोलॉजी)]] ''c'' : ''X'' → ''X''* ऐसा है कि ''X''* में ''X'' के पूरक में एक एकल बिंदु होता है, जिसे आमतौर पर ∞ दर्शाया जाता है। मानचित्र ''सी'' हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन (गणित) है यदि और केवल यदि ''एक्स'' स्थानीय रूप [[स्थानीय रूप से सघन]], नॉनकॉम्पैक्ट [[हॉसडॉर्फ़ स्थान]] है। ऐसे स्थानों के लिए अलेक्जेंड्रॉफ एक्सटेंशन को वन-पॉइंट कॉम्पेक्टिफिकेशन या अलेक्जेंड्रोफ कॉम्पेक्टिफिकेशन कहा जाता है। अलेक्जेंड्रोफ़ कॉम्पेक्टिफिकेशन के फायदे इसकी सरल, अक्सर ज्यामितीय रूप से सार्थक संरचना में निहित हैं और यह तथ्य कि यह सभी कॉम्पेक्टिफिकेशन के बीच एक सटीक अर्थ में न्यूनतम है; नुकसान इस तथ्य में निहित है कि यह केवल स्थानीय रूप से कॉम्पैक्ट, गैर-कॉम्पैक्ट हॉसडॉर्फ़ रिक्त स्थान के वर्ग पर हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन देता है, स्टोन-सेच कॉम्पेक्टिफिकेशन के विपरीत जो किसी भी टोपोलॉजिकल स्पेस के लिए मौजूद है (लेकिन स्टोन-सेच कॉम्पेक्टिफिकेशन#यूनिवर्सल प्रॉपर्टी और कार्यात्मकता बिल्कुल [[टाइकोनोफ़ स्थान]] लिए है) अंतरिक्ष)।
 
टोपोलॉजी के गणितीय क्षेत्र में, '''अलेक्जेंड्रोफ़ विस्तारक''' `एक एकल बिंदु से सटे हुए एक गैर-सघन टोपोलॉजिकल समष्टि को इस तरह से विस्तारित करने का एक विधि है कि परिणामी समष्टि सघन हो। इसका नाम रूसी गणितज्ञ पावेल अलेक्जेंड्रोफ़ के नाम पर रखा गया है। अधिक स्पष्ट रूप से, मान लीजिए कि X एक टोपोलॉजिकल समष्टि है। फिर ''X'' का अलेक्जेंड्रॉफ विस्तारक `एक निश्चित सघन समष्टि ''X''* है, साथ में एक ओपन एम्बेडिंग ''c'' : ''X'' → ''X''* है, जैसे कि <math>X*                                                                                                                                                                                                               </math> में <math>X                                                                                                                                                                                                         </math> के पूरक में एक एकल बिंदु होता है, जिसे सामान्यतः ∞ दर्शाया जाता है। मानचित्र c एक हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन है यदि और केवल यदि X एक समष्टिय रूप से कॉम्पैक्ट, गैर-सघन हॉसडॉर्फ़ समष्टि है। ऐसे समष्टियों के लिए अलेक्जेंड्रॉफ विस्तारक `को एक-बिंदु  कॉम्पेक्टिफिकेशन या अलेक्जेंड्रोफ कॉम्पेक्टिफिकेशन कहा जाता है। अलेक्जेंड्रोफ़ कॉम्पेक्टिफिकेशन के लाभ  इसकी सरल, अधिकांशतः  ज्यामितीय रूप से सार्थक संरचना में निहित हैं और यह तथ्य कि यह सभी कॉम्पेक्टिफिकेशन के बीच एक स्पष्ट अर्थ में न्यूनतम है; हानि इस तथ्य में निहित है कि यह केवल समष्टिय रूप से कॉम्पैक्ट, गैर-सघन हॉसडॉर्फ़ रिक्त समष्टि के वर्ग पर हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन देता है, स्टोन-सेच कॉम्पेक्टिफिकेशन के विपरीत जो किसी भी टोपोलॉजिकल समष्टि के लिए उपस्थित है (किंतु टाइकोनॉफ़ रिक्त समष्टि के लिए बिल्कुल एक एम्बेडिंग प्रदान करता है)।


== उदाहरण: व्युत्क्रम [[त्रिविम प्रक्षेपण]] ==
== उदाहरण: व्युत्क्रम [[त्रिविम प्रक्षेपण]] ==
एक-बिंदु संघनन का ज्यामितीय रूप से आकर्षक उदाहरण व्युत्क्रम त्रिविम प्रक्षेपण द्वारा दिया गया है। याद रखें कि स्टीरियोग्राफिक प्रक्षेपण एस इकाई क्षेत्र से उत्तरी ध्रुव (0,0,1) को घटाकर यूक्लिडियन विमान तक एक स्पष्ट होमोमोर्फिज्म देता है। व्युत्क्रम त्रिविम प्रक्षेपण <math>S^{-1}: \mathbb{R}^2 \hookrightarrow S^2</math> अतिरिक्त बिंदु से सटे हुए एक कॉम्पैक्ट हॉसडॉर्फ स्थान में एक खुला, घना एम्बेडिंग है <math>\infty = (0,0,1)</math>. त्रिविम प्रक्षेपण के अंतर्गत अक्षांशीय वृत्त <math>z = c</math> समतलीय वृत्तों में मैप करें <math display=inline>r = \sqrt{(1+c)/(1-c)}</math>. यह इस प्रकार है कि हटाए गए पड़ोस का आधार <math>(0,0,1)</math> छिद्रित गोलाकार टोपियों द्वारा दिया गया <math>c \leq z < 1</math> बंद समतलीय डिस्क के पूरक से मेल खाता है <math display=inline>r \geq \sqrt{(1+c)/(1-c)}</math>. अधिक गुणात्मक रूप से, पड़ोस के आधार पर <math>\infty</math> सेट द्वारा सुसज्जित है <math>S^{-1}(\mathbb{R}^2  
एक-बिंदु संघनन का ज्यामितीय रूप से आकर्षक उदाहरण व्युत्क्रम त्रिविम प्रक्षेपण द्वारा दिया गया है। याद रखें कि स्टीरियोग्राफिक प्रक्षेपण एस इकाई क्षेत्र से उत्तरी ध्रुव (0,0,1) को घटाकर यूक्लिडियन विमान तक एक स्पष्ट होमोमोर्फिज्म देता है। व्युत्क्रम स्टीरियोग्राफिक प्रक्षेपण <math>S^{-1}: \mathbb{R}^2 \hookrightarrow S^2</math> एक सघन हॉसडॉर्फ समष्टि में एक विवर्त, सघन एम्बेडिंग है जो अतिरिक्त बिंदु <math>\infty = (0,0,1)</math> से सटे हुए प्राप्त होता है। त्रिविम प्रक्षेपण के अनुसार  अक्षांशीय वृत्त <math>z = c</math> को समतलीय वृत्तों <math display="inline">r = \sqrt{(1+c)/(1-c)}</math> पर मैप किया जाता है। यह इस प्रकार है कि छिद्रित गोलाकार कैप्स <math>c \leq z < 1</math> द्वारा दिया गया <math>(0,0,1)</math> का हटाया गया निकट आधार संवर्त प्लानर डिस्क <math display="inline">r \geq \sqrt{(1+c)/(1-c)}</math> के पूरक से मेल खाता है। अधिक गुणात्मक रूप से,<math>\infty</math> पर निकट का आधार समुच्चय <math>S^{-1}(\mathbb{R}^2  
\setminus K) \cup \{ \infty \}</math> जैसा कि K के सघन उपसमुच्चय के माध्यम से होता है <math>\mathbb{R}^2</math>. इस उदाहरण में पहले से ही सामान्य मामले की प्रमुख अवधारणाएँ शामिल हैं।
\setminus K) \cup \{ \infty \}</math> द्वारा प्रस्तुत किया जाता है क्योंकि K <math>\mathbb{R}^2</math> के सघन उपसमुच्चय के माध्यम से होता है। इस उदाहरण में पहले से ही कुंजी सम्मिलित है सामान्य स्थिति की अवधारणाएँ सम्मिलित हैं।।


== प्रेरणा ==
== प्रेरणा ==
होने देना <math>c: X \hookrightarrow Y</math> सघन छवि और एक-बिंदु शेष के साथ, टोपोलॉजिकल स्पेस <math>\{ \infty \} = Y \setminus c(X)</math>. फिर c(X) एक कॉम्पैक्ट हॉसडॉर्फ़ स्पेस में खुला है, इसलिए यह स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ है, इसलिए इसका होमियोमोर्फिक प्रीइमेज X भी स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ है। इसके अलावा, यदि X सघन होता तो c(X) Y में बंद होता और इसलिए सघन नहीं होता। इस प्रकार एक स्थान केवल हॉसडॉर्फ़ एक-बिंदु कॉम्पैक्टीफिकेशन को स्वीकार कर सकता है यदि यह स्थानीय रूप से कॉम्पैक्ट, नॉनकॉम्पैक्ट और हॉसडॉर्फ़ है। इसके अलावा, इस तरह के एक-बिंदु संघनन में यह बंद है—के खुले पड़ोस <math>\infty</math> सभी सेट संलग्न होकर प्राप्त होने चाहिए <math>\infty</math> कॉम्पैक्ट पूरक के साथ एक्स के सबसेट के सी के तहत छवि के लिए।
मान लीजिए कि <math>c: X \hookrightarrow Y</math> सघन छवि और एक-बिंदु शेष <math>\{ \infty \} = Y \setminus c(X)</math> के साथ एक टोपोलॉजिकल समष्टि फिर c(X) एक सघन हॉसडॉर्फ़ समष्टि में विवर्त है, इसलिए यह समष्टिय रूप से सघन हॉसडॉर्फ़ है, इसलिए इसका होमियोमोर्फिक प्रीइमेज X भी समष्टिय रूप से सघन हॉसडॉर्फ़ है। इसके अतिरिक्त , यदि X सघन होता तो c(X) Y में संवर्त होता और इसलिए सघन नहीं होता है। इस प्रकार एक समष्टि केवल हॉसडॉर्फ़ एक-बिंदु कॉम्पैक्टीफिकेशन को स्वीकार कर सकता है यदि यह समष्टिय रूप से कॉम्पैक्ट, नॉनसघन और हॉसडॉर्फ़ है। इसके अतिरिक्त इस तरह के एक-बिंदु संघनन में यह संवर्त है - <math>\infty</math> के विवर्त निकट सघन पूरक के साथ X के सबसमुच्चय के c के अनुसार  छवि के साथ <math>\infty                                                                                                                                                                                                     </math> द्वारा प्राप्त किए गए सभी समुच्चय होने चाहिए।


== अलेक्जेंड्रोफ़ एक्सटेंशन ==
== अलेक्जेंड्रोफ़ एक्सटेंशन ==
होने देना <math>X</math> एक टोपोलॉजिकल स्पेस बनें। रखना <math>X^* = X \cup \{\infty \},</math> और टोपोलॉजी <math>X^*</math> फॉर्म के सभी सेटों के साथ एक्स के सभी खुले उपसमुच्चय यू को खुले सेट के रूप में लेकर <math>V = (X \setminus C) \cup \{\infty \}</math> जहां C बंद है और X में सघन है। यहां, <math>X \setminus C</math> के पूरक को दर्शाता है <math> C</math> में <math>X.</math> ध्यान दें कि <math>V</math> का खुला पड़ोस है <math>\infty,</math> और इस प्रकार कोई भी खुला आवरण  <math>\{\infty \}</math> एक संहत उपसमुच्चय को छोड़कर सभी शामिल होंगे <math>C</math> का <math>X^*,</math> इसका तात्पर्य यह है कि <math>X^*</math> सघन है {{harv|Kelley|1975|p=150}}.
माना  <math>X</math> को टपॉलजी का मूल्य रहने दें। <math>X^* = X \cup \{\infty \},</math> रखें और फॉर्म <math>V = (X \setminus C) \cup \{\infty \}</math> के सभी समुच्चयों के साथ <math>X</math>  के सभी विवर्त उपसमुच्चय ''U'' को ओपन समुच्चय के रूप में लेकर <math>X^*</math>को टोपोलॉजीज करें, जहां <math> C</math> संवर्त है और <math>X.</math>में सघन है। यहां, <math>X \setminus C</math>} पूरक को दर्शाता है ध्यान दें कि <math>V</math> <math>\{\infty \}</math> का एक विवर्त निकट `है, और इस प्रकार <math>X^*,</math> के किसी भी विवर्त आवरण में <math>X^*</math>के एक सघन उपसमुच्चय <math>C</math> को छोड़कर सभी सम्मिलित होंगे, जिसका अर्थ है कि <math>X^*</math> सघन है {{harv|Kelley|1975|p=150}}.
 
समष्टि <math>X^*</math> को X का अलेक्जेंड्रोफ़ विस्तारक कहा जाता है (विलार्ड, 19A)। कभी-कभी समावेशन मानचित्र <math>c: X\to X^*.                                                                                                                                                                                                </math> के लिए समान नाम का उपयोग किया जाता है।


अंतरिक्ष <math>X^*</math> ''एक्स'' (विलार्ड, 19ए) का अलेक्जेंड्रोफ़ एक्सटेंशन कहा जाता है। कभी-कभी समावेशन मानचित्र के लिए एक ही नाम का उपयोग किया जाता है <math>c: X\to X^*.</math>
नीचे दी गई संपत्तियाँ उपरोक्त चर्चा से अनुसरण करती हैं:
नीचे दी गई संपत्तियाँ उपरोक्त चर्चा से अनुसरण करती हैं:


* मानचित्र c सतत और खुला है: यह X को खुले उपसमुच्चय के रूप में एम्बेड करता है <math>X^*</math>.
*मानचित्र c सतत और विवर्त है: यह X को <math>X^*</math> के विवर्त उपसमुच्चय के रूप में एम्बेड करता है।
* अंतरिक्ष <math>X^*</math> सघन है.
* समष्टि <math>X^*</math> सघन है.
* छवि c(X) सघन है <math>X^*</math>, यदि X नॉनकॉम्पैक्ट है।
*छवि c(X) <math>X^*</math> में सघन है, यदि X गैर-कॉम्पैक्ट है।
* अंतरिक्ष <math>X^*</math> हॉसडॉर्फ़ स्थान है यदि और केवल यदि एक्स हॉसडॉर्फ़ है और स्थानीय रूप से कॉम्पैक्ट है।
* समष्टि <math>X^*</math> हॉसडॉर्फ़ समष्टि है यदि और केवल यदि x हॉसडॉर्फ़ है और समष्टिय रूप से सघन है।
* अंतरिक्ष <math>X^*</math> T1 स्पेस है|T<sub>1</sub>यदि और केवल यदि X, T है<sub>1</sub>.
* समष्टि <math>X^*                                                                                                                                                                                                       </math> T<sub>1</sub> समष्टि है यदि और केवल यदि X, T<sub>1</sub> है.


== एक-बिंदु संघनन ==
== एक-बिंदु संघनन ==
विशेष रूप से, अलेक्जेंड्रोफ़ एक्सटेंशन <math>c: X \rightarrow X^*</math> यदि और केवल यदि इस मामले में इसे एक्स का 'वन-पॉइंट कॉम्पेक्टिफिकेशन' या 'अलेक्जेंडरॉफ कॉम्पेक्टिफिकेशन' कहा जाता है।
विशेष रूप से अलेक्जेंड्रॉफ़ विस्तारक <math>c: X \rightarrow X^*</math> का हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन है यदि और केवल यदि इस स्थिति`में इसे x का 'एक-बिंदु कॉम्पेक्टिफिकेशन या अलेक्जेंड्रॉफ़ कॉम्पेक्टिफिकेशन कहा जाता है।


उपरोक्त चर्चा से याद करें कि एक बिंदु शेष के साथ कोई भी हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन आवश्यक रूप से एलेक्ज़ेंडरॉफ़ कॉम्पेक्टिफिकेशन के लिए आइसोमोर्फिक है। विशेषकर, यदि <math>X</math> एक कॉम्पैक्ट हॉसडॉर्फ स्थान है और <math>p</math> का एक [[सीमा बिंदु]] है <math>X</math> (अर्थात् कोई पृथक बिंदु नहीं <math>X</math>), <math>X</math> एलेक्जेंड्रोफ़ कॉम्पेक्टिफिकेशन का है <math>X\setminus\{p\}</math>.
उपरोक्त चर्चा से याद करें कि एक बिंदु शेष के साथ कोई भी हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन आवश्यक रूप से एलेक्ज़ेंडरॉफ़ कॉम्पेक्टिफिकेशन के लिए आइसोमोर्फिक है। विशेषकर, यदि <math>X</math> एक संहत है हॉसडॉर्फ समष्टि और <math>p</math>, <math>X</math> का एक सीमा बिंदु है (अर्थात् <math>X</math> का एक पृथक बिंदु नहीं), <math>X</math>, <math>X\setminus\{p\}</math> का अलेक्जेंड्रॉफ़ कॉम्पेक्टिफिकेशन है।


मान लीजिए कि X कोई गैर-कॉम्पैक्ट टाइकोनॉफ़ स्थान है। सेट पर प्राकृतिक आंशिक ऑर्डर के तहत <math>\mathcal{C}(X)</math> कॉम्पेक्टिफिकेशन के समतुल्य वर्गों में, कोई भी न्यूनतम तत्व अलेक्जेंड्रोफ़ एक्सटेंशन (एंगेलकिंग, प्रमेय 3.5.12) के बराबर है। यह इस प्रकार है कि एक गैर-कॉम्पैक्ट टाइकोनॉफ़ स्पेस न्यूनतम कॉम्पैक्टिफिकेशन को स्वीकार करता है यदि और केवल तभी जब यह स्थानीय रूप से कॉम्पैक्ट हो।
मान लीजिए कि X कोई गैर-कॉम्पैक्ट टाइकोनॉफ़ समष्टि है। कॉम्पेक्टिफिकेशन के तुल्यता वर्गों के समुच्चय <math>\mathcal{C}(X)                                                                                                                                                                                 </math> पर प्राकृतिक आंशिक क्रम के अनुसार , कोई भी न्यूनतम तत्व एलेक्जेंडरॉफ़ विस्तारक (एंगेलकिंग, प्रमेय 3.5.12) के समान है। यह इस प्रकार है कि एक गैर-कॉम्पैक्ट टाइकोनॉफ़ समष्टि न्यूनतम कॉम्पैक्टिफिकेशन को स्वीकार करता है यदि और केवल तभी जब यह समष्टिय रूप से कॉम्पैक्ट हो।


== गैर-हॉसडॉर्फ़ एक-बिंदु संघनन ==
== गैर-हॉसडॉर्फ़ एक-बिंदु संघनन ==
होने देना <math>(X,\tau)</math> एक मनमाना नॉनकॉम्पैक्ट टोपोलॉजिकल स्पेस बनें। हो सकता है कि कोई व्यक्ति सभी कॉम्पेक्टिफिकेशन (जरूरी नहीं कि हॉसडॉर्फ) को निर्धारित करना चाहे <math>X</math> एक बिंदु जोड़कर प्राप्त किया जाता है, जिसे इस संदर्भ में एक-बिंदु संघनन भी कहा जा सकता है।
मान लीजिए <math>(X,\tau)</math> एक इच्छानुसार नॉनकॉम्पैक्ट टोपोलॉजिकल समष्टि है। कोई एक बिंदु जोड़कर प्राप्त किए गए <math>X</math> के सभी कॉम्पेक्टिफिकेशन (जरूरी नहीं कि हॉसडॉर्फ) को निर्धारित करना चाहे, जिसे इस संदर्भ में एक-बिंदु कॉम्पेक्टिफिकेशन भी कहा जा सकता है। इसलिए कोई व्यक्ति <math>X^*=X\cup\{\infty\}</math>को एक कॉम्पैक्ट टोपोलॉजी देने के सभी संभावित विधियों को निर्धारित करना चाहता है, जैसे कि इसमें <math>X</math> सघन हो और <math>X^*</math> से प्रेरित <math>X</math> पर सबसमष्टि टोपोलॉजी मूल टोपोलॉजी के समान हो। टोपोलॉजी पर अंतिम संगतता स्थिति स्वचालित रूप से यह दर्शाती है कि <math>X</math>, <math>X^*</math> में सघन है, क्योंकि <math>X</math> कॉम्पैक्ट नहीं है, इसलिए इसे कॉम्पैक्ट समष्टि में संवर्त नहीं किया जा सकता है। इसके अतिरिक्त , यह एक तथ्य है कि समावेशन मानचित्र <math>c:X\to X^*</math> आवश्यक रूप से एक विवर्त एम्बेडिंग है, अर्थात, <math>X</math> को <math>X^*</math> में विवर्त होना चाहिए और <math>X^*</math> पर टोपोलॉजी में <math>\tau</math> का प्रत्येक सदस्य सम्मिलित होना चाहिए।<ref>{{Cite web|url=https://math.stackexchange.com/questions/3817485/non-hausdorff-one-point-compactifications|title=General topology – Non-Hausdorff one-point compactifications}}</ref> तो <math>X^*</math> पर टोपोलॉजी <math>\infty</math> के निकट द्वारा निर्धारित की जाती है। <math>\infty</math> का कोई भी निकट आवश्यक रूप से X के एक संवर्त कॉम्पैक्ट उपसमुच्चय के <math>X^*</math> में पूरक है, जैसा कि पहले चर्चा की गई थी।
इसलिए कोई देने के सभी संभावित तरीके निर्धारित करना चाहता है <math>X^*=X\cup\{\infty\}</math> ऐसी एक कॉम्पैक्ट टोपोलॉजी <math>X</math> इसमें सघनता है और उप-स्थान टोपोलॉजी चालू है <math>X</math> से प्रेरित <math>X^*</math> मूल टोपोलॉजी के समान ही है. टोपोलॉजी पर अंतिम संगतता स्थिति स्वचालित रूप से इसका तात्पर्य करती है <math>X</math> में सघन है <math>X^*</math>, क्योंकि <math>X</math> यह सघन नहीं है, इसलिए इसे सघन स्थान में बंद नहीं किया जा सकता।
साथ ही, यह भी एक तथ्य है कि समावेशन मानचित्र <math>c:X\to X^*</math> आवश्यक रूप से एक खुला मानचित्र एम्बेडिंग है, अर्थात, <math>X</math> में खुला होना चाहिए <math>X^*</math> और टोपोलॉजी चालू है <math>X^*</math> प्रत्येक सदस्य को शामिल करना होगा
का <math>\tau</math>.<ref>{{Cite web|url=https://math.stackexchange.com/questions/3817485/non-hausdorff-one-point-compactifications|title=General topology – Non-Hausdorff one-point compactifications}}</ref>
तो टोपोलॉजी चालू है <math>X^*</math> के पड़ोस द्वारा निर्धारित किया जाता है <math>\infty</math>. का कोई भी पड़ोस <math>\infty</math> आवश्यक रूप से पूरक है <math>X^*</math> के एक बंद कॉम्पैक्ट उपसमुच्चय का <math>X</math>, जैसा कि पहले चर्चा की गई थी।


टोपोलॉजी चालू है <math>X^*</math> जो इसे एक संघनन बनाता है <math>X</math> निम्नानुसार हैं:
<math>X^*</math> पर टोपोलॉजी जो इसे <math>X</math> का संघनन बनाती है, इस प्रकार हैं:
* अलेक्जेंड्रोफ़ का विस्तार <math>X</math> ऊपर परिभाषित. यहां हम सभी बंद कॉम्पैक्ट उपसमुच्चय के पूरक लेते हैं <math>X</math> के पड़ोस के रूप में <math>\infty</math>. यह सबसे बड़ी टोपोलॉजी है जो बनाती है <math>X^*</math> का एक-बिंदु संघनन <math>X</math>.
*ऊपर परिभाषित <math>X</math> का अलेक्जेंड्रोफ़ विस्तार यहां हम <math>X</math> के सभी संवर्त कॉम्पैक्ट उपसमुच्चय के पूरकों को <math>\infty</math> के निकट के रूप में लेते हैं। यह सबसे बड़ी टोपोलॉजी है जो <math>X^*</math> को <math>X</math> का एक-बिंदु संघनन बनाती है।
* [[ओपन एक्सटेंशन टोपोलॉजी]]। यहां हम एक एकल पड़ोस जोड़ते हैं <math>\infty</math>, अर्थात् संपूर्ण स्थान <math>X^*</math>. यह सबसे छोटी टोपोलॉजी है जो बनाती है <math>X^*</math> का एक-बिंदु संघनन <math>X</math>.
*ओपन विस्तारक टोपोलॉजी. यहां हम <math>\infty</math> का एक एकल निकट अर्थात् संपूर्ण समष्टि <math>X^*</math> जोड़ते हैं। यह सबसे छोटी टोपोलॉजी है जो <math>X^*</math> को <math>X</math> का एक-बिंदु संघनन बनाती है।
* उपरोक्त दो टोपोलॉजी के बीच कोई भी टोपोलॉजी मध्यवर्ती। के पड़ोस के लिए <math>\infty</math> किसी को सभी बंद कॉम्पैक्ट उपसमुच्चय के पूरकों में से एक उपयुक्त उपपरिवार चुनना होगा <math>X</math>; उदाहरण के लिए, सभी परिमित बंद संहत उपसमुच्चय के पूरक, या सभी गणनीय बंद संहत उपसमुच्चय के पूरक।
*उपरोक्त दो टोपोलॉजी के बीच कोई भी टोपोलॉजी मध्यवर्ती <math>\infty</math>के निकट  के लिए किसी को <math>X                                                                                                                                                                                                                </math> के सभी संवर्त कॉम्पैक्ट उपसमुच्चय के पूरकों में से एक उपयुक्त उपवर्ग  चुनना होगा; उदाहरण के लिए सभी परिमित संवर्त संहत उपसमुच्चय के पूरक या सभी गणनीय संवर्त संहत उपसमुच्चय के पूरक है।


== आगे के उदाहरण ==
== आगे के उदाहरण ==


=== असतत स्थानों का संघनन ===
=== असतत समष्टियों का संघनन ===
* धनात्मक पूर्णांकों के समुच्चय का एक-बिंदु संघनन K = {0} U {1/n | से युक्त स्थान के लिए समरूपता है। ऑर्डर टोपोलॉजी के साथ n एक धनात्मक पूर्णांक है।
* धनात्मक पूर्णांकों के समुच्चय का एक-बिंदु संघनन K = {0} U {1/n | से युक्त समष्टि के लिए समरूपता है। क्रमित टोपोलॉजी के साथ n एक धनात्मक पूर्णांक है।
* एक क्रम <math>\{a_n\}</math> एक टोपोलॉजिकल स्पेस में <math>X</math> एक बिंदु पर एकत्रित हो जाता है <math>a</math> में <math>X</math>, यदि और केवल यदि मानचित्र <math>f\colon\mathbb N^*\to X</math> द्वारा दिए गए <math>f(n) = a_n</math> के लिए <math>n</math> में <math>\mathbb N</math> और <math>f(\infty) = a</math> सतत है. यहाँ <math>\mathbb N</math> [[असतत टोपोलॉजी]] है।
* एक क्रम <math>\{a_n\}</math> एक टोपोलॉजिकल समष्टि में <math>X</math> एक बिंदु पर एकत्रित हो जाता है जो की <math>a</math> में <math>X</math>, यदि और केवल यदि मानचित्र <math>f\colon\mathbb N^*\to X</math> द्वारा दिए गए <math>f(n) = a_n</math> के लिए <math>n</math> में <math>\mathbb N</math> और <math>f(\infty) = a</math> सतत है. यहाँ <math>\mathbb N</math> [[असतत टोपोलॉजी]] है।
* [[ पॉलीडिक स्थान ]] को टोपोलॉजिकल स्पेस के रूप में परिभाषित किया गया है जो एक अलग, स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस के एक-बिंदु कॉम्पैक्टिफिकेशन की शक्ति की निरंतर छवि है।
* [[ पॉलीडिक स्थान | पॉलीडिक समष्टि]] को टोपोलॉजिकल समष्टि के रूप में परिभाषित किया गया है जो एक अलग, समष्टिय रूप से सघन हॉसडॉर्फ समष्टि के एक-बिंदु कॉम्पैक्टिफिकेशन की शक्ति की निरंतर छवि है।


=== सतत स्थानों का संघनन ===
=== सतत समष्टियों का संघनन ===
* एन-डायमेंशनल यूक्लिडियन स्पेस 'आर' का एक-बिंदु संघनन<sup>n</sup>n-क्षेत्र S के लिए समरूपी है<sup>n</sup>. जैसा कि ऊपर बताया गया है, मानचित्र को स्पष्ट रूप से एन-आयामी व्युत्क्रम स्टीरियोग्राफिक प्रक्षेपण के रूप में दिया जा सकता है।
* n-आयामी यूक्लिडियन समष्टि ''''R'''<sup>''n''</sup> ' का एक-बिंदु संघनन n-क्षेत्र ''S<sup>n</sup>'' के लिए समरूपी है  जैसा कि ऊपर बताया गया है, मानचित्र को स्पष्ट रूप से n-आयामी व्युत्क्रम स्टीरियोग्राफिक प्रक्षेपण के रूप में दिया जा सकता है।
* के उत्पाद का एक-बिंदु संघनन <math>\kappa</math> आधे-बंद अंतराल की प्रतियां [0,1), यानी, की <math>[0,1)^\kappa</math>, है (होमियोमॉर्फिक टू) <math>[0,1]^\kappa</math>.
*आधे-संवर्त अंतराल [0,1) की <math>\kappa</math> प्रतियों के उत्पाद का एक-बिंदु संघनन, अर्थात, <math>[0,1)^\kappa</math> (होमियोमोर्फिक से) <math>[0,1)^\kappa</math> है।
* चूंकि एक कनेक्टेड सबसेट का क्लोजर जुड़ा हुआ है, एक नॉनकॉम्पैक्ट कनेक्टेड स्पेस का अलेक्जेंड्रॉफ़ एक्सटेंशन जुड़ा हुआ है। हालाँकि एक-बिंदु संघनन एक असंयुक्त स्थान को जोड़ सकता है: उदाहरण के लिए एक परिमित संख्या के असंयुक्त संघ का एक-बिंदु संघनन <math>n</math> अंतराल की प्रतियों का (0,1) वृत्तों का एक गुलदस्ता|कील है <math>n</math> वृत्त.
*चूंकि एक कनेक्टेड सबसमुच्चय का क्लोजर जुड़ा हुआ है, एक नॉनकॉम्पैक्ट कनेक्टेड समष्टि का अलेक्जेंड्रॉफ़ विस्तारक जुड़ा हुआ है। चूँकि एक-बिंदु संघनन एक असंबद्ध समष्टि को "कनेक्ट" कर सकता है: उदाहरण के लिए, अंतराल (0,1) की प्रतियों की एक परिमित संख्या <math>n</math> के असंयुक्त संघ का एक-बिंदु संघनन,<math>n</math> वृत्तों का एक पच्चर है।
* अंतराल (0,1) की प्रतियों की गणनीय संख्या के असंयुक्त संघ का एक-बिंदु संघनन [[हवाईयन बाली]] है। यह असंख्य वृत्तों के पच्चर से भिन्न है, जो सघन नहीं है।
* अंतराल (0,1) की प्रतियों की गणनीय संख्या के असंयुक्त संघ का एक-बिंदु संघनन [[हवाईयन बाली|हवाईयन एअरिंग]] है। यह असंख्य वृत्तों के पच्चर से भिन्न है, जो सघन नहीं है।
* दिया गया <math>X</math> कॉम्पैक्ट हॉसडॉर्फ और <math>C</math> का कोई भी बंद उपसमुच्चय <math>X</math>, का एक-बिंदु संघनन <math>X\setminus C</math> है <math>X/C</math>, जहां फॉरवर्ड स्लैश [[भागफल स्थान (टोपोलॉजी)]] को दर्शाता है।<ref name=rotman>[[Joseph J. Rotman]], ''An Introduction to Algebraic Topology'' (1988) Springer-Verlag {{ISBN|0-387-96678-1}} ''(See Chapter 11 for proof.)''</ref>
*<math>X</math> कॉम्पेक्ट हॉसडॉर्फ और <math>C</math> को देखते हुए, <math>X</math> का कोई भी संवर्त उपसमुच्चय, <math>X\setminus C</math> का एक-बिंदु कॉम्पेक्टिफिकेशन <math>X/C</math> है, जहां फॉरवर्ड स्लैश भागफल समष्टि को दर्शाता है।<ref name="rotman">[[Joseph J. Rotman]], ''An Introduction to Algebraic Topology'' (1988) Springer-Verlag {{ISBN|0-387-96678-1}} ''(See Chapter 11 for proof.)''</ref>
* अगर <math>X</math> और <math>Y</math> फिर, स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ हैं <math>(X\times Y)^* = X^* \wedge Y^*</math> कहाँ <math>\wedge</math> स्मैश उत्पाद है. याद रखें कि स्मैश उत्पाद की परिभाषा:<math>A\wedge B = (A \times B) / (A \vee B)</math> कहाँ <math>A \vee B</math> वेज योग है, और फिर, / भागफल स्थान को दर्शाता है।<ref name=rotman/>
* यदि <math>X</math> और <math>Y</math> समष्टिय रूप से कॉम्पैक्ट हॉसडॉर्फ हैं, तो <math>(X\times Y)^* = X^* \wedge Y^*</math> जहां \ वेज स्मैश उत्पाद है। याद रखें कि स्मैश उत्पाद की परिभाषा:<math>A\wedge B = (A \times B) / (A \vee B)</math> जहां <math>A \vee B</math> पच्चर योग है, और फिर, / भागफल समष्टि को दर्शाता है।<ref name=rotman/>




=== एक फ़नकार के रूप में ===
=== फ़ंक्टर के रूप में ===
अलेक्जेंड्रोफ़ एक्सटेंशन को टोपोलॉजिकल स्पेस की श्रेणी से एक [[ऑपरेटर]] के रूप में देखा जा सकता है, जिसमें उचित निरंतर मानचित्रों को उस श्रेणी में रूपवाद के रूप में देखा जा सकता है, जिनकी वस्तुएं निरंतर मानचित्र हैं <math>c\colon X \rightarrow Y</math> और जिसके लिए रूपवाद से <math>c_1\colon X_1 \rightarrow Y_1</math> को <math>c_2\colon X_2 \rightarrow Y_2</math> सतत मानचित्रों के जोड़े हैं <math>f_X\colon X_1 \rightarrow X_2, \ f_Y\colon   
अलेक्जेंड्रॉफ़ विस्तारक को टोपोलॉजिकल समष्टि की श्रेणी से एक फ़ैक्टर के रूप में देखा जा सकता है, जिसमें उस श्रेणी के रूपवाद के रूप में उचित निरंतर मानचित्र होते हैं जिनकी वस्तुएं निरंतर मानचित्र <math>c\colon X \rightarrow Y</math> होती हैं और जिनके लिए <math>c_1\colon X_1 \rightarrow Y_1</math> से <math>c_2\colon X_2 \rightarrow Y_2</math> तक के आकारवाद निरंतर मानचित्रों के जोड़े होते हैं <math>f_X\colon X_1 \rightarrow X_2, \ f_Y\colon   
Y_1 \rightarrow Y_2</math> ऐसा है कि <math>f_Y \circ c_1 = c_2 \circ f_X</math>. विशेष रूप से, होमियोमोर्फिक रिक्त स्थान में आइसोमोर्फिक अलेक्जेंड्रॉफ़ एक्सटेंशन होते हैं।
Y_1 \rightarrow Y_2</math> ऐसा कि <math>f_Y \circ c_1 = c_2 \circ f_X</math> विशेष रूप से, होमियोमोर्फिक रिक्त समष्टि में आइसोमोर्फिक अलेक्जेंड्रॉफ़ विस्तारक होते हैं।


== यह भी देखें ==
== यह भी देखें ==


* {{annotated link|Bohr compactification}}
* बोहर संघनन
* {{annotated link|Compact space}}
* सघन समष्टि
* {{annotated link|Compactification (mathematics)}}
* संकलन (गणित)
* {{annotated link|End (topology)}}
* अंत (टोपोलॉजी)
* {{annotated link|Extended real number line}}
* विस्तारित वास्तविक संख्या रेखा
* {{annotated link|Normal space}}
* सामान्य समष्टि
* {{annotated link|Pointed set}}
* पॉइंटेड समुच्चय
* {{annotated link|Riemann sphere}}
* रीमैन क्षेत्र
* {{annotated link|Stereographic projection}}
* त्रिविम प्रक्षेपण
* {{annotated link|Stone–Čech compactification}}
* स्टोन-सेच संघनन
* {{annotated link|Wallman compactification}}
* वॉलमैन संघनन


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 101: Line 99:
}}
}}
* {{Citation | last=Willard | first=Stephen | title=General Topology | publisher=[[Addison-Wesley]] | isbn=3-88538-006-4 | mr=0264581 | zbl=0205.26601 | year=1970}}
* {{Citation | last=Willard | first=Stephen | title=General Topology | publisher=[[Addison-Wesley]] | isbn=3-88538-006-4 | mr=0264581 | zbl=0205.26601 | year=1970}}
[[Category: सामान्य टोपोलॉजी]] [[Category: संकलन (गणित)]]


[[Category: Machine Translated Page]]
[[Category:Created On 08/07/2023]]
[[Category:Created On 08/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:संकलन (गणित)]]
[[Category:सामान्य टोपोलॉजी]]

Latest revision as of 16:37, 29 August 2023


टोपोलॉजी के गणितीय क्षेत्र में, अलेक्जेंड्रोफ़ विस्तारक `एक एकल बिंदु से सटे हुए एक गैर-सघन टोपोलॉजिकल समष्टि को इस तरह से विस्तारित करने का एक विधि है कि परिणामी समष्टि सघन हो। इसका नाम रूसी गणितज्ञ पावेल अलेक्जेंड्रोफ़ के नाम पर रखा गया है। अधिक स्पष्ट रूप से, मान लीजिए कि X एक टोपोलॉजिकल समष्टि है। फिर X का अलेक्जेंड्रॉफ विस्तारक `एक निश्चित सघन समष्टि X* है, साथ में एक ओपन एम्बेडिंग c : XX* है, जैसे कि में के पूरक में एक एकल बिंदु होता है, जिसे सामान्यतः ∞ दर्शाया जाता है। मानचित्र c एक हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन है यदि और केवल यदि X एक समष्टिय रूप से कॉम्पैक्ट, गैर-सघन हॉसडॉर्फ़ समष्टि है। ऐसे समष्टियों के लिए अलेक्जेंड्रॉफ विस्तारक `को एक-बिंदु कॉम्पेक्टिफिकेशन या अलेक्जेंड्रोफ कॉम्पेक्टिफिकेशन कहा जाता है। अलेक्जेंड्रोफ़ कॉम्पेक्टिफिकेशन के लाभ इसकी सरल, अधिकांशतः ज्यामितीय रूप से सार्थक संरचना में निहित हैं और यह तथ्य कि यह सभी कॉम्पेक्टिफिकेशन के बीच एक स्पष्ट अर्थ में न्यूनतम है; हानि इस तथ्य में निहित है कि यह केवल समष्टिय रूप से कॉम्पैक्ट, गैर-सघन हॉसडॉर्फ़ रिक्त समष्टि के वर्ग पर हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन देता है, स्टोन-सेच कॉम्पेक्टिफिकेशन के विपरीत जो किसी भी टोपोलॉजिकल समष्टि के लिए उपस्थित है (किंतु टाइकोनॉफ़ रिक्त समष्टि के लिए बिल्कुल एक एम्बेडिंग प्रदान करता है)।

उदाहरण: व्युत्क्रम त्रिविम प्रक्षेपण

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

प्रेरणा

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

अलेक्जेंड्रोफ़ एक्सटेंशन

माना को टपॉलजी का मूल्य रहने दें। रखें और फॉर्म के सभी समुच्चयों के साथ के सभी विवर्त उपसमुच्चय U को ओपन समुच्चय के रूप में लेकर को टोपोलॉजीज करें, जहां संवर्त है और में सघन है। यहां, } पूरक को दर्शाता है ध्यान दें कि का एक विवर्त निकट `है, और इस प्रकार के किसी भी विवर्त आवरण में के एक सघन उपसमुच्चय को छोड़कर सभी सम्मिलित होंगे, जिसका अर्थ है कि सघन है (Kelley 1975, p. 150).

समष्टि को X का अलेक्जेंड्रोफ़ विस्तारक कहा जाता है (विलार्ड, 19A)। कभी-कभी समावेशन मानचित्र के लिए समान नाम का उपयोग किया जाता है।

नीचे दी गई संपत्तियाँ उपरोक्त चर्चा से अनुसरण करती हैं:

  • मानचित्र c सतत और विवर्त है: यह X को के विवर्त उपसमुच्चय के रूप में एम्बेड करता है।
  • समष्टि सघन है.
  • छवि c(X) में सघन है, यदि X गैर-कॉम्पैक्ट है।
  • समष्टि हॉसडॉर्फ़ समष्टि है यदि और केवल यदि x हॉसडॉर्फ़ है और समष्टिय रूप से सघन है।
  • समष्टि T1 समष्टि है यदि और केवल यदि X, T1 है.

एक-बिंदु संघनन

विशेष रूप से अलेक्जेंड्रॉफ़ विस्तारक का हॉसडॉर्फ़ कॉम्पेक्टिफिकेशन है यदि और केवल यदि इस स्थिति`में इसे x का 'एक-बिंदु कॉम्पेक्टिफिकेशन या अलेक्जेंड्रॉफ़ कॉम्पेक्टिफिकेशन कहा जाता है।

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

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

गैर-हॉसडॉर्फ़ एक-बिंदु संघनन

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

पर टोपोलॉजी जो इसे का संघनन बनाती है, इस प्रकार हैं:

  • ऊपर परिभाषित का अलेक्जेंड्रोफ़ विस्तार यहां हम के सभी संवर्त कॉम्पैक्ट उपसमुच्चय के पूरकों को के निकट के रूप में लेते हैं। यह सबसे बड़ी टोपोलॉजी है जो को का एक-बिंदु संघनन बनाती है।
  • ओपन विस्तारक टोपोलॉजी. यहां हम का एक एकल निकट अर्थात् संपूर्ण समष्टि जोड़ते हैं। यह सबसे छोटी टोपोलॉजी है जो को का एक-बिंदु संघनन बनाती है।
  • उपरोक्त दो टोपोलॉजी के बीच कोई भी टोपोलॉजी मध्यवर्ती के निकट के लिए किसी को के सभी संवर्त कॉम्पैक्ट उपसमुच्चय के पूरकों में से एक उपयुक्त उपवर्ग चुनना होगा; उदाहरण के लिए सभी परिमित संवर्त संहत उपसमुच्चय के पूरक या सभी गणनीय संवर्त संहत उपसमुच्चय के पूरक है।

आगे के उदाहरण

असतत समष्टियों का संघनन

  • धनात्मक पूर्णांकों के समुच्चय का एक-बिंदु संघनन K = {0} U {1/n | से युक्त समष्टि के लिए समरूपता है। क्रमित टोपोलॉजी के साथ n एक धनात्मक पूर्णांक है।
  • एक क्रम एक टोपोलॉजिकल समष्टि में एक बिंदु पर एकत्रित हो जाता है जो की में , यदि और केवल यदि मानचित्र द्वारा दिए गए के लिए में और सतत है. यहाँ असतत टोपोलॉजी है।
  • पॉलीडिक समष्टि को टोपोलॉजिकल समष्टि के रूप में परिभाषित किया गया है जो एक अलग, समष्टिय रूप से सघन हॉसडॉर्फ समष्टि के एक-बिंदु कॉम्पैक्टिफिकेशन की शक्ति की निरंतर छवि है।

सतत समष्टियों का संघनन

  • n-आयामी यूक्लिडियन समष्टि 'Rn ' का एक-बिंदु संघनन n-क्षेत्र Sn के लिए समरूपी है जैसा कि ऊपर बताया गया है, मानचित्र को स्पष्ट रूप से n-आयामी व्युत्क्रम स्टीरियोग्राफिक प्रक्षेपण के रूप में दिया जा सकता है।
  • आधे-संवर्त अंतराल [0,1) की प्रतियों के उत्पाद का एक-बिंदु संघनन, अर्थात, (होमियोमोर्फिक से) है।
  • चूंकि एक कनेक्टेड सबसमुच्चय का क्लोजर जुड़ा हुआ है, एक नॉनकॉम्पैक्ट कनेक्टेड समष्टि का अलेक्जेंड्रॉफ़ विस्तारक जुड़ा हुआ है। चूँकि एक-बिंदु संघनन एक असंबद्ध समष्टि को "कनेक्ट" कर सकता है: उदाहरण के लिए, अंतराल (0,1) की प्रतियों की एक परिमित संख्या के असंयुक्त संघ का एक-बिंदु संघनन, वृत्तों का एक पच्चर है।
  • अंतराल (0,1) की प्रतियों की गणनीय संख्या के असंयुक्त संघ का एक-बिंदु संघनन हवाईयन एअरिंग है। यह असंख्य वृत्तों के पच्चर से भिन्न है, जो सघन नहीं है।
  • कॉम्पेक्ट हॉसडॉर्फ और को देखते हुए, का कोई भी संवर्त उपसमुच्चय, का एक-बिंदु कॉम्पेक्टिफिकेशन है, जहां फॉरवर्ड स्लैश भागफल समष्टि को दर्शाता है।[2]
  • यदि और समष्टिय रूप से कॉम्पैक्ट हॉसडॉर्फ हैं, तो जहां \ वेज स्मैश उत्पाद है। याद रखें कि स्मैश उत्पाद की परिभाषा: जहां पच्चर योग है, और फिर, / भागफल समष्टि को दर्शाता है।[2]


फ़ंक्टर के रूप में

अलेक्जेंड्रॉफ़ विस्तारक को टोपोलॉजिकल समष्टि की श्रेणी से एक फ़ैक्टर के रूप में देखा जा सकता है, जिसमें उस श्रेणी के रूपवाद के रूप में उचित निरंतर मानचित्र होते हैं जिनकी वस्तुएं निरंतर मानचित्र होती हैं और जिनके लिए से तक के आकारवाद निरंतर मानचित्रों के जोड़े होते हैं ऐसा कि विशेष रूप से, होमियोमोर्फिक रिक्त समष्टि में आइसोमोर्फिक अलेक्जेंड्रॉफ़ विस्तारक होते हैं।

यह भी देखें

  • बोहर संघनन
  • सघन समष्टि
  • संकलन (गणित)
  • अंत (टोपोलॉजी)
  • विस्तारित वास्तविक संख्या रेखा
  • सामान्य समष्टि
  • पॉइंटेड समुच्चय
  • रीमैन क्षेत्र
  • त्रिविम प्रक्षेपण
  • स्टोन-सेच संघनन
  • वॉलमैन संघनन

टिप्पणियाँ

  1. "General topology – Non-Hausdorff one-point compactifications".
  2. 2.0 2.1 Joseph J. Rotman, An Introduction to Algebraic Topology (1988) Springer-Verlag ISBN 0-387-96678-1 (See Chapter 11 for proof.)


संदर्भ