View source for अलेक्जेंड्रोफ़ विस्तारण

{{Short description|Way to extend a non-compact topological space}}


टोपोलॉजी के गणितीय क्षेत्र में, '''अलेक्जेंड्रोफ़ विस्तारक''' `एक एकल बिंदु से सटे हुए एक गैर-सघन टोपोलॉजिकल समष्टि को इस तरह से विस्तारित करने का एक विधि है कि परिणामी समष्टि सघन हो। इसका नाम रूसी गणितज्ञ पावेल अलेक्जेंड्रोफ़ के नाम पर रखा गया है। अधिक स्पष्ट रूप से, मान लीजिए कि 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>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> के सघन उपसमुच्चय के माध्यम से होता है। इस उदाहरण में पहले से ही कुंजी सम्मिलित है सामान्य स्थिति की अवधारणाएँ सम्मिलित हैं।।

== प्रेरणा ==
मान लीजिए कि <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>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> के लिए समान नाम का उपयोग किया जाता है।

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

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

== एक-बिंदु संघनन ==
विशेष रूप से अलेक्जेंड्रॉफ़ विस्तारक <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> का अलेक्जेंड्रॉफ़ कॉम्पेक्टिफिकेशन है।

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

== गैर-हॉसडॉर्फ़ एक-बिंदु संघनन ==
मान लीजिए <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^*</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> के सभी संवर्त कॉम्पैक्ट उपसमुच्चय के पूरकों में से एक उपयुक्त उपवर्ग  चुनना होगा; उदाहरण के लिए सभी परिमित संवर्त संहत उपसमुच्चय के पूरक या सभी गणनीय संवर्त संहत उपसमुच्चय के पूरक है।

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

=== असतत समष्टियों का संघनन ===
* धनात्मक पूर्णांकों के समुच्चय का एक-बिंदु संघनन 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> [[असतत टोपोलॉजी]] है।
* [[ पॉलीडिक स्थान | पॉलीडिक समष्टि]]  को टोपोलॉजिकल समष्टि के रूप में परिभाषित किया गया है जो एक अलग, समष्टिय रूप से सघन हॉसडॉर्फ समष्टि के एक-बिंदु कॉम्पैक्टिफिकेशन की शक्ति की निरंतर छवि है।

=== सतत समष्टियों का संघनन ===
* n-आयामी यूक्लिडियन समष्टि ''''R'''<sup>''n''</sup> ' का एक-बिंदु संघनन n-क्षेत्र ''S<sup>n</sup>'' के लिए समरूपी है  जैसा कि ऊपर बताया गया है, मानचित्र को स्पष्ट रूप से n-आयामी व्युत्क्रम स्टीरियोग्राफिक प्रक्षेपण के रूप में दिया जा सकता है।
*आधे-संवर्त अंतराल [0,1) की <math>\kappa</math> प्रतियों के उत्पाद का एक-बिंदु संघनन, अर्थात, <math>[0,1)^\kappa</math> (होमियोमोर्फिक से) <math>[0,1)^\kappa</math> है।
*चूंकि एक कनेक्टेड सबसमुच्चय का क्लोजर जुड़ा हुआ है, एक नॉनकॉम्पैक्ट कनेक्टेड समष्टि का अलेक्जेंड्रॉफ़ विस्तारक जुड़ा हुआ है। चूँकि एक-बिंदु संघनन एक असंबद्ध समष्टि को "कनेक्ट" कर सकता है: उदाहरण के लिए, अंतराल (0,1) की प्रतियों की एक परिमित संख्या <math>n</math> के असंयुक्त संघ का एक-बिंदु संघनन,<math>n</math> वृत्तों का एक पच्चर है।
* अंतराल (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>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  
Y_1 \rightarrow Y_2</math> ऐसा कि <math>f_Y \circ c_1 = c_2 \circ f_X</math> विशेष रूप से, होमियोमोर्फिक रिक्त समष्टि में आइसोमोर्फिक अलेक्जेंड्रॉफ़ विस्तारक होते हैं।

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

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

== टिप्पणियाँ ==
{{reflist}}


== संदर्भ ==
* {{citation|authorlink=Pavel Alexandroff|first=Pavel S.|last= Alexandroff|journal=  [[Mathematische Annalen]] |volume= 92|issue=3–4  |year=1924|pages= 294–301|title= Über die Metrisation der im Kleinen kompakten topologischen Räume | url=https://eudml.org/doc/159072 | doi=10.1007/BF01448011 | jfm=50.0128.04 |s2cid=121699713}}
* {{citation|
 authorlink=Ronald Brown (mathematician)|first=Ronald|last= Brown 
| journal= [[Journal of the London Mathematical Society]] |series=Series 2 | zbl=0269.54015 | doi=10.1112/jlms/s2-7.3.515
|volume =  7 
| year= 1973
| pages= 515–522
|title= Sequentially proper maps and a sequential compactification|issue=3}}

* {{Citation | last1=Engelking | first1=Ryszard | authorlink=Ryszard Engelking | title=General Topology | publisher=[[Helderman Verlag Berlin]] | isbn=978-0-201-08707-9 | mr=1039321 | year=1989 | url-access=registration | url=https://archive.org/details/generaltopology00will_0 }}
* {{springer|id=A/a011260|first=V.V. |last=Fedorchuk|title=Aleksandrov compactification}}
* {{Citation | last=Kelley | first=John L. | authorlink=John L. Kelley | title=General Topology | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90125-1 | mr=0370454  | year=1975}}
* {{Citation
 | authorlink =James Munkres|first=James|last=Munkres 
 | year = 1999
 | title = Topology
 | edition = 2nd
 | publisher = [[Prentice Hall]]
 | isbn = 0-13-181629-2 | zbl=0951.54001
}}
* {{Citation | last=Willard | first=Stephen | title=General Topology | publisher=[[Addison-Wesley]] | isbn=3-88538-006-4 | mr=0264581 | zbl=0205.26601 | year=1970}}

[[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:सामान्य टोपोलॉजी]]