संघनन (कम्पैटिफिकेशन गणित)

गणित की सामान्य टोपोलॉजी में, संकलन टोपोलॉजिकल स्पेस को सघन स्थान में बनाने की प्रक्रिया या परिणाम है। सघन स्थान वह स्थान है जिसमें समष्‍टि के प्रत्येक विवृत आवरण में परिमित उपआवरण होता है। संकलन की विभिन्न विधियाँ होती हैं, किन्तु प्रत्येक विधि अनंत पर बिंदुओं को जोड़कर या ऐसे पलायन को अवरोधित कर बिंदुओं को अनंत तक जाने से नियंत्रित करती है।

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

सहज रूप से, प्रक्रिया को इस प्रकार चित्रित किया जा सकता है: सर्वप्रथम वास्तविक रेखा को x-अक्ष पर विवृत अंतराल में श्रिंक करें (−$\pi$, π); तत्पश्चात इस अंतराल के सिरों को ऊपर की ओर विकृत करें (सकारात्मक y-दिशा में) और उन्हें एक-दूसरे की ओर ले जाएं, जब तक कि आपको इस प्रकार का वृत्त न प्राप्त हो जाए जिसमें बिंदु (सबसे ऊपर वाला) लुप्त हो। यह बिंदु अनंत पर हमारा नया बिंदु ∞ है; इसे जोड़ने से सघन वृत्त पूर्ण हो जाता है।

औपचारिक रूप से: सरलता के लिए हम इकाई वृत्त पर बिंदु को उसके कोण से, रेडियन में, -π से π तक दर्शाते हैं। वृत्त पर इस प्रकार के प्रत्येक बिंदु θ को वास्तविक स्पर्शरेखा (θ/2) पर संगत बिंदु द्वारा प्रमाणित करें। यह फलन बिंदु π पर अपरिभाषित है, क्योंकि tan(π/2) अपरिभाषित है; हम इस बिंदु को ∞ बिंदु द्वारा प्रमाणित करेंगे।

चूंकि स्पर्शरेखा और व्युत्क्रम स्पर्शरेखा दोनों सतत हैं, तत्समक फलन वास्तविक रेखा और ∞ के अतिरिक्त इकाई वृत्त के मध्य समरूपता है। जिस प्रकार का निर्माण किया गया है उसे वास्तविक रेखा का अलेक्जेंड्रॉफ़ बिंदु संकलन कहा जाता है, जिसका नीचे अधिक व्यापकता से विचार किया गया है। दो बिंदुओं, +∞ और −∞ को जोड़कर वास्तविक रेखा को संकुचित करना भी संभव है; इसके परिणामस्वरूप विस्तारित वास्तविक रेखा प्राप्त होती है।

परिभाषा
कॉम्पैक्ट स्पेस के सघन उपसमूह के रूप में टोपोलॉजिकल स्पेस X के एम्बेडिंग को X का संकलन कहा जाता है। सघन स्थान में टोपोलॉजिकल स्पेस को एम्बेड करना अधिकांशतः उपयोगी होता है, क्योंकि सघन स्थान में विशेष गुण होते हैं।

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

तथ्य यह है कि गैर-कॉम्पैक्ट रिक्त स्थान के बड़े और रोचक वर्गों में वास्तव में विशेष प्रकार के संकलन होते हैं, जो टोपोलॉजी में संकलन को सामान्य तकनीक बनाते है।

अलेक्जेंड्रोफ़ एक-बिंदु संघनन
किसी भी नॉनकॉम्पैक्ट टोपोलॉजिकल स्पेस एक्स के सेट को फॉर्म जी ∪ के सेट के साथ$\{∞\}$, जहां G, X का विवृत उपसमुच्चय है जैसे कि X ∖ G बंद और सघन है. एक्स का एक-बिंदु संघनन हॉसडॉर्फ़ है यदि और केवल यदि एक्स हॉसडॉर्फ़ है और स्थानीय रूप से कॉम्पैक्ट है।

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

सबसे सामान्य या औपचारिक रूप से प्रतिबिंबित करने का मतलब है कि अंतरिक्ष βX को सार्वभौमिक संपत्ति की विशेषता है कि एक्स से कॉम्पैक्ट हॉसडॉर्फ स्पेस K तक किसी भी निरंतर फ़ंक्शन (टोपोलॉजी) को βX से K तक एक अद्वितीय तरीके से निरंतर फ़ंक्शन तक बढ़ाया जा सकता है। अधिक स्पष्ट रूप से, βX एक कॉम्पैक्ट हॉसडॉर्फ स्पेस है जिसमें X शामिल है जैसे कि βX द्वारा X पर सबस्पेस टोपोलॉजी f : X → K, जहां K एक कॉम्पैक्ट हॉसडॉर्फ स्थान है, वहां एक अद्वितीय निरंतर मानचित्र है g : βX → K जिसके लिए g, X तक सीमित है, समान रूप से f है।

स्टोन-सेच संकलन का निर्माण स्पष्ट रूप से निम्नानुसार किया जा सकता है: C को X से बंद अंतराल तक निरंतर कार्यों का सेट होने दें [0, 1]. फिर X में प्रत्येक बिंदु को C पर एक मूल्यांकन फ़ंक्शन के साथ पहचाना जा सकता है। इस प्रकार X को एक सबसेट के साथ पहचाना जा सकता है [0, 1]C, C से सभी फ़ंक्शंस का स्थान [0, 1]. चूंकि उत्तरार्द्ध टाइकोनोफ़ के प्रमेय द्वारा कॉम्पैक्ट है, उस स्थान के सबसेट के रूप में एक्स का बंद होना भी कॉम्पैक्ट होगा। यह स्टोन-सेच संकलन है।

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

प्रक्षेप्य स्थान
वास्तविक प्रक्षेप्य स्थान आरपीnयूक्लिडियन स्पेस 'आर' का एक संघनन हैn. प्रत्येक संभावित दिशा के लिए जिसमें 'आर' में बिंदु हैंn बच सकता है, अनंत पर एक नया बिंदु जोड़ा जाता है (किन्तु प्रत्येक दिशा को उसके विपरीत से पहचाना जाता है)। ऊपर दिए गए उदाहरण में हमने 'आर' का जो अलेक्जेंड्रॉफ़ एक-बिंदु संघनन बनाया है, वह वास्तव में 'आरपी' का होमियोमोर्फिक है।1. हालाँकि ध्यान दें कि प्रक्षेप्य तल RP2तल 'R' का एक-बिंदु संघनन नहीं है2चूंकि एक से अधिक अंक जोड़े गए हैं।

जटिल प्रक्षेप्य स्थान सी.पीn भी 'सी' का एक संक्षिप्तीकरण हैn; विमान 'सी' का अलेक्जेंड्रॉफ़ एक-बिंदु संघनन जटिल प्रक्षेप्य रेखा 'सीपी' (होमियोमोर्फिक) है1, जिसे बदले में एक गोले, रीमैन गोले से पहचाना जा सकता है।

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

मॉड्यूलि रिक्त स्थान के संघनन के लिए आम तौर पर कुछ अध:पतन की अनुमति की आवश्यकता होती है - उदाहरण के लिए, कुछ विलक्षणताओं या कम करने योग्य किस्मों की अनुमति देना। इसका उपयोग विशेष रूप से बीजगणितीय वक्रों के मॉड्यूली के डेलिग्ने-ममफोर्ड संकलन में किया जाता है।

झूठ समूहों का संघनन और असतत उपसमूह
लाई समूहों के असतत अंतरिक्ष उपसमूहों के अध्ययन में, सह समुच्चय  का भागफल स्थान (टोपोलॉजी) अक्सर केवल टोपोलॉजिकल की तुलना में समृद्ध स्तर पर संरचना को संरक्षित करने के लिए अधिक सूक्ष्म संघनन के लिए एक उम्मीदवार होता है।

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

यह सब विमान में जाली के लिए है। एन-आयामी यूक्लिडियन स्थान  में समान प्रश्न पूछे जा सकते हैं, उदाहरण के लिए SO(n) ∖ SLn(R) / SLn(Z). इसे संकुचित करना कठिन है। विभिन्न प्रकार के संकलन हैं, जैसे कि बोरेल-सेरे संकलन, रिडक्टिव बोरेल-सेरे संकलन, और सातेक संघनन, जिन्हें बनाया जा सकता है।

अन्य संघनन सिद्धांत

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