विन्यास समष्टि (गणित)



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

परिभाषा
टोपोलॉजिकल स्पेस $$X$$ और एक धनात्मक पूर्णांक $$n$$ के लिए, $$X^n$$ को कार्टेशियन टोपोलॉजी से सुसज्जित, $$X$$ का $$n$$वां (आदेशित) कॉन्फ़िगरेशन स्पेस $$X$$ में जोड़ीवार भिन्न-भिन्न बिंदुओं के $$n$$-टुपल्स का समुच्चय है


 * $$\operatorname{Conf}_n(X) := X^n \smallsetminus \{(x_1,x_2,\ldots,x_n)\in X^n \mid x_i= x_j\ \text{ for some }i\neq j\}.$$

यह स्पेस सामान्यतः $$X^n$$ में सम्मिलित होने से सब-स्पेस $$\operatorname{Conf}_n(X)$$ टोपोलॉजी से संपन्न होता है। इसे कभी-कभी $$F(X, n)$$ या $$\mathcal{C}^n(X)$$ से भी दर्शाया जाता है

$$\operatorname{Conf}_n(X)$$ में बिंदुओं पर सममित समूह $$S_n$$ की स्वाभाविक क्रिया होती है।


 * $$\begin{align}

S_n\times \operatorname{Conf}_n(X)&\longrightarrow \operatorname{Conf}_n(X) \\ (\sigma,x)&\longmapsto \sigma(x)=(x_{\sigma(1)},x_{\sigma(2)},\ldots,x_{\sigma(n)}). \end{align}$$ यह क्रिया X के nवें अव्यवस्थित कॉन्फ़िगरेशन स्पेस को जन्म देती है,


 * $$\operatorname{UConf}_n(X) := \operatorname{Conf}_n(X)/S_n,$$

जो उस क्रिया का कक्षीय स्पेस है। अंतर्ज्ञान यह है कि यह क्रिया "बिंदुओं के नाम त्रुटि हो जाती है"। इस प्रकार अव्यवस्थित कॉन्फ़िगरेशन स्पेस को कभी-कभी $$\mathcal{UC}^n(X)$$, या $$B_n(X)$$ दर्शाया जाता है। सभी $$n$$ पर अव्यवस्थित कॉन्फ़िगरेशन रिक्त स्पेस का संग्रह रैन स्पेस है, और एक प्राकृतिक टोपोलॉजी के साथ आता है।

वैकल्पिक सूत्रीकरण
टोपोलॉजिकल स्पेस $$X$$ और एक परिमित समुच्चय $$S$$ के लिए, S द्वारा लेबल किए गए कणों के साथ X का कॉन्फ़िगरेशन स्पेस है

इस प्रकार $$n\in\N$$ के लिए, $$\mathbf{n}:=\{1,2,\ldots,n\}$$ को परिभाषित करें। फिर X का nवाँ कॉन्फ़िगरेशन स्पेस है, और इसे केवल $$\operatorname{Conf}_{\mathbf{n}}(X)$$ से दर्शाया जाता है
 * $$\operatorname{Conf}_S(X) := \{f\mid f\colon S\hookrightarrow X\text{ is injective}\}.$$

उदाहरण

 * इस प्रकार $$\mathbf{R}^2$$ में दो बिंदुओं के क्रमबद्ध कॉन्फ़िगरेशन का स्पेस एक वृत्त के साथ यूक्लिडियन 3-स्पेस के उत्पाद के लिए समरूप है, अर्थात $$\operatorname{Conf}_2(\mathbf{R}^2)\cong \mathbf{R}^3\times S^1$$।
 * इस प्रकार अधिक सामान्यतः, $$\mathbf{R}^n$$ में दो बिंदुओं का कॉन्फ़िगरेशन स्पेस गोले $$S^{n-1}$$ के समतुल्य समरूप है
 * इस प्रकार $$\mathbf{R}^2$$ में $$n$$ बिंदुओं का कॉन्फ़िगरेशन स्पेस nवें ब्रैड समूह का वर्गीकरण स्पेस है (नीचे देखें)।

ब्रैड समूहों से सम्बन्ध
इस प्रकार कनेक्टेड टोपोलॉजिकल स्पेस X पर n-स्ट्रैंड ब्रैड समूह है
 * $$B_n(X):=\pi_1(\operatorname{UConf}_n(X)),$$

इस प्रकार X के nवें अव्यवस्थित कॉन्फ़िगरेशन स्पेस का मूल समूह X पर n-स्ट्रैंड शुद्ध ब्रैड समूह है
 * $$P_n(X):=\pi_1(\operatorname{Conf}_n(X)).$$

पहले अध्ययन किए गए ब्रैड समूह आर्टिन ब्रैड समूह $$B_n\cong\pi_1(\operatorname{UConf}_n(\mathbf{R}^2))$$ थे। जबकि उपरोक्त परिभाषा वह नहीं है जो एमिल आर्टिन ने दी थी, इस प्रकार एडॉल्फ हर्विट्ज़ ने आर्टिन ब्रैड समूहों को आर्टिन की परिभाषा (1891 में) से अधिक पहले सम्मिश्र विमान के कॉन्फ़िगरेशन स्पेस के मौलिक समूहों के रूप में परिभाषित किया था।

यह इस परिभाषा और इस तथ्य से अनुसरण करता है कि $$\operatorname{Conf}_n(\mathbf{R}^2)$$ और $$\operatorname{UConf}_n(\mathbf{R}^2)$$ $$K(\pi,1)$$ के ईलेनबर्ग-मैकलेन रिक्त स्पेस हैं, जो कि समतल का अव्यवस्थित कॉन्फ़िगरेशन स्पेस है। इस प्रकार आर्टिन ब्रैड समूह के लिए एक वर्गीकरण स्पेस है, और $$\operatorname{UConf}_n(\mathbf{R}^2)$$ शुद्ध आर्टिन ब्रैड समूह के लिए एक वर्गीकरण स्पेस $$\operatorname{Conf}_n(\mathbf{R}^2)$$ है, जब दोनों को भिन्न-भिन्न समूह माना जाता है।

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

इस प्रकार कॉन्फ़िगरेशन स्पेस एक प्रकार का वर्गीकृत स्पेस या (ठीक) मॉड्यूलि स्पेस है। विशेष रूप से, एक सार्वभौमिक बंडल $$ \pi\colon E_n\to C_n $$ है जो कि सामान्य बंडल $$ C_n\times X\to C_n$$ का एक सब-बंडल है, और जिसमें है गुण यह है कि प्रत्येक बिंदु $$ p\in C_n$$ पर फाइबर, p द्वारा वर्गीकृत $$ X $$ का n अवयव उपसमुच्चय है।

होमोटोपी इनवेरिएंस
होमोटोपी एक प्रकार के कॉन्फ़िगरेशन स्पेस होमोटोपी अपरिवर्तनीय नहीं हैं। उदाहरण के लिए, रिक्त स्पेस $$\operatorname{Conf}_n(\mathbb R^m)$$ किसी भी दो भिन्न-भिन्न मानों के लिए समरूप समरूप नहीं हैं इस प्रकार $$\mathrm{Conf}_n(\mathbb{R}^0)$$ के लिए रिक्त है, $$n \ge 2$$ ,$$K(\pi,1)$$ प्रकार का एक ईलेनबर्ग-मैकलेन स्पेस $$\operatorname{Conf}_n(\mathbb R^2)$$ है, और $$\operatorname{Conf}_n(\mathbb R^m)$$ ,$$ m \geq 3$$ के लिए जुड़ा हुआ है

यह एक रिक्त प्रश्न हुआ करता था कि क्या कॉम्पैक्ट मैनिफोल्ड्स के उदाहरण थे जो होमोटॉपी एक्विवलेंट थे किन्तु नॉन-होमोटॉपी एक्विवलेंट कॉन्फ़िगरेशन स्पेस थे: इस प्रकार ऐसा उदाहरण केवल 2005 में रिकार्डो लोंगोनी और पाओलो साल्वाटोर द्वारा पाया गया था। इस प्रकार उनके उदाहरण दो त्रि-आयामी लेंस स्पेस और उनमें कम से कम दो बिंदुओं के कॉन्फ़िगरेशन स्पेस हैं। यह कॉन्फ़िगरेशन स्पेस समरूप समतुल्य नहीं हैं, इसका पता मैसी उत्पादों द्वारा उनके संबंधित सार्वभौमिक आवरणों में लगाया गया था। इस प्रकार सरल रूप से जुड़े हुए बंद मैनिफोल्ड के कॉन्फ़िगरेशन स्पेस के लिए होमोटोपी इनवेरिएंस सामान्य रूप से रिक्त रहता है, और इस प्रकार बेस फ़ील्ड $$\mathbf{R}$$ पर पकड़ बनाए रखने के लिए सिद्ध किया गया है। आयाम कम से कम 4 भी सिद्ध हुआ था।

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

किसी भी ग्राफ़ के लिए $$\Gamma$$, $$\operatorname{Conf}_n(\Gamma)$$ $$K(\pi,1)$$ प्रकार का एक ईलेनबर्ग-मैकलेन स्पेस है और सशक्त विरूपण आयाम के सीडब्ल्यू कॉम्प्लेक्स $$b(\Gamma)$$ में वापस आ जाता है। जहां $$b(\Gamma)$$ डिग्री के शीर्षों की संख्या कम से कम 3 है। इसके अतिरिक्त, विरूपण अधिकतम आयाम के गैर-धनात्मक रूप से वृत्ताकार क्यूबिकल परिसरों $$\min(n, b(\Gamma))$$ में वापस आ जाता है।

मैकेनिकल लिंकेज का कॉन्फ़िगरेशन स्पेस
एक मैकेनिकल लिंकेज के कॉन्फ़िगरेशन स्पेस को ग्राफ़ $$\Gamma$$ के साथ इसकी अंतर्निहित ज्यामिति को भी परिभाषित करता है। इस तरह के ग्राफ को सामान्यतः कठोर छड़ों और अनवरत के संयोजन के रूप में निर्मित माना जाता है। इस तरह के लिंकेज के कॉन्फ़िगरेशन स्पेस को उचित मीट्रिक से सुसज्जित यूक्लिडियन स्पेस में इसके सभी स्वीकार्य पदों की समग्रता के रूप में परिभाषित किया गया है। जेनेरिक लिंकेज का कॉन्फ़िगरेशन स्पेस एक स्मूथ मैनिफोल्ड है, उदाहरण के लिए, उल्टे जोड़ों से जुड़े $$n$$ कठोर छड़ों से बने समान प्लेनर लिंकेज के लिए, कॉन्फ़िगरेशन स्पेस $$n$$-टोरस $$T^n$$ है। इस प्रकार ऐसे कॉन्फ़िगरेशन स्पेस में सबसे सरल विलक्षणता बिंदु एक यूक्लिडियन स्पेस द्वारा एक सजातीय द्विघात हाइपरसर्फेस पर एक शंकु का उत्पाद है। इस प्रकार लिंकेज के लिए ऐसा एक विलक्षणता बिंदु उभरता है जिसे दो सब-लिंकेज में विभाजित किया जा सकता है जैसे कि उनके संबंधित समापन बिंदु ट्रेस-पथ एक गैर-अनुप्रस्थ विधि से प्रतिच्छेद करते हैं, उदाहरण के लिए लिंकेज जिसे संरेखित किया जा सकता है (अर्थात पूर्ण रूप से एक पंक्ति में मोड़ा जा सकता है)।

संघनन
इस प्रकार कॉन्फ़िगरेशन स्पेस $$\operatorname{Conf}_n(X)$$ भिन्न-भिन्न बिंदुओं का नॉन-कॉम्पैक्ट होता है, जिसके शीर्ष वहां होते हैं जहां बिंदु एक-दूसरे के निकट आते हैं (संगामी हो जाते हैं)। विभिन्न ज्यामितीय अनुप्रयोगों के लिए कॉम्पैक्ट स्पेस की आवश्यकता होती है, इसलिए कोई कॉम्पैक्ट (गणित) $$\operatorname{Conf}_n(X)$$ करना चाहेगा अर्थात, इस प्रकार इसे उपयुक्त गुणों के साथ कॉम्पैक्ट स्पेस के विवृत उपसमुच्चय के रूप में एम्बेड करें। इस समस्या के लिए दृष्टिकोण राउल बॉट और क्लिफोर्ड टौब्स द्वारा साथ ही विलियम फुल्टन (गणितज्ञ) और रॉबर्ट मैकफरसन (गणितज्ञ) द्वारा दिए गए हैं, । ==यह भी देखें                                                                                                                                                                                                                             ==


 * कॉन्फ़िगरेशन स्पेस (भौतिकी)
 * स्टेट स्पेस (भौतिकी)