विन्यास समष्टि (गणित): Difference between revisions

From Vigyanwiki
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[File:Moebius_Surface_1_Display_Small.png|thumb|वृत्त पर बिंदुओं के सभी अव्यवस्थित युग्मों का विन्यास स्थान मोबियस पट्टी है।]]
[[File:Moebius_Surface_1_Display_Small.png|thumb|वृत्त पर बिंदुओं के सभी अव्यवस्थित युग्मों का विन्यास समष्टि मोबियस पट्टी है।]]
<!-- Deleted image removed: [[File:Topological III by Robert R. Wilson, at Harvard University.JPG|upright|thumb|The configuration space of 3 not necessarily distinct points on the circle <math>T^3/S_3,</math> is the above orbifold.]] -->
 
गणित में, कॉन्फ़िगरेशन स्थान एक ऐसा निर्माण है जो भौतिकी में राज्य स्थान या [[चरण स्थान]] से निकटता से संबंधित है। भौतिकी में, इनका उपयोग उच्च-आयामी अंतरिक्ष में एक बिंदु के रूप में पूरे सिस्टम की स्थिति का वर्णन करने के लिए किया जाता है। गणित में, उनका उपयोग [[टोपोलॉजिकल स्पेस]] में स्थितियों के लिए बिंदुओं के संग्रह के असाइनमेंट का वर्णन करने के लिए किया जाता है। अधिक विशेष रूप से, गणित में कॉन्फ़िगरेशन स्थान कई गैर-टकराव वाले कणों के विशेष मामले में [[कॉन्फ़िगरेशन स्थान (भौतिकी)]]भौतिकी) के विशेष उदाहरण हैं।
गणित में, '''विन्यास समष्टि''' ऐसा निर्माण है जो भौतिकी में अवस्था समष्टि या [[चरण स्थान|चरण]] समष्टि से निकटता से संबंधित है। भौतिकी में, इनका उपयोग उच्च-आयामी समष्टि में बिंदु के रूप में पूर्ण प्रणाली की स्थिति का वर्णन करने के लिए किया जाता है। इस प्रकार गणित में, उनका उपयोग [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल]] समष्टि में स्थितियों के लिए बिंदुओं के संग्रह के असाइनमेंट का वर्णन करने के लिए किया जाता है। अधिक विशेष रूप से, गणित में विन्यास समष्टि विभिन्न नॉन-कोलिडिंग कणों के विशेष स्थिति में [[कॉन्फ़िगरेशन स्थान (भौतिकी)|विन्यास समष्टि (भौतिकी)]] के विशेष उदाहरण हैं।


== परिभाषा ==
== परिभाषा ==
टोपोलॉजिकल स्पेस के लिए <math>X</math> और एक सकारात्मक पूर्णांक <math>n</math>, होने देना <math>X^n</math> का कार्टेशियन उत्पाद हो <math>n</math> की प्रतियाँ <math>X</math>, [[उत्पाद टोपोलॉजी]] से सुसज्जित। तब''<sup>वें</sup> (आदेश दिया गया) कॉन्फ़िगरेशन स्थान <math>X</math>जोड़ीवार अलग-अलग बिंदुओं के ''एन''-टुपल्स का सेट है <math>X</math>:
टोपोलॉजिकल समष्टि <math>X</math> और एक धनात्मक पूर्णांक <math>n</math> के लिए, <math>X^n</math> को कार्टेशियन टोपोलॉजी से सुसज्जित, <math>X</math> का <math>n</math>वां (आदेशित) विन्यास समष्टि ''<math>X</math>'' में जोड़ीवार भिन्न-भिन्न बिंदुओं के <math>n</math>-टुपल्स का समुच्चय है


:<math>\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\}.</math><ref>{{cite journal |arxiv = 0806.4111|last1 = Farber|first1 = Michael|title = कॉन्फ़िगरेशन रिक्त स्थान की टोपोलॉजिकल जटिलता|last2 = Grant|first2 = Mark|year = 2009|journal=[[Proceedings of the American Mathematical Society]]|volume=137|issue=5|pages=1841–1847|mr=2470845|doi=10.1090/S0002-9939-08-09808-0|s2cid = 16188638}}</ref>
:<math>\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\}.</math><ref>{{cite journal |arxiv = 0806.4111|last1 = Farber|first1 = Michael|title = कॉन्फ़िगरेशन रिक्त स्थान की टोपोलॉजिकल जटिलता|last2 = Grant|first2 = Mark|year = 2009|journal=[[Proceedings of the American Mathematical Society]]|volume=137|issue=5|pages=1841–1847|mr=2470845|doi=10.1090/S0002-9939-08-09808-0|s2cid = 16188638}}</ref>
यह स्थान आम तौर पर शामिल होने से उप-स्थान टोपोलॉजी से संपन्न होता है <math>\operatorname{Conf}_n(X)</math> में <math>X^n</math>. इसे कभी-कभी निरूपित भी किया जाता है <math>F(X, n)</math>, <math>F^n(X)</math>, या <math>\mathcal{C}^n(X)</math>.<ref name=":0" />


[[सममित समूह]] की एक स्वाभाविक [[समूह क्रिया (गणित)]] होती है <math>S_n</math> में बिंदुओं पर <math>\operatorname{Conf}_n(X)</math> द्वारा दिए गए
यह समष्टि सामान्यतः <math>X^n</math> में सम्मिलित होने से सब-समष्टि <math>\operatorname{Conf}_n(X)</math> टोपोलॉजी से संपन्न होता है। इसे कभी-कभी <math>F(X, n)</math> या <math>\mathcal{C}^n(X)</math> से भी दर्शाया जाता है <ref name=":0">{{Cite book|title=चोटियों|last=Ghrist|first=Robert|date=2009-12-01|publisher=World Scientific|isbn=9789814291408|editor-last=Berrick|editor-first=A. Jon|series=Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore|volume=19|pages=263–304|chapter=Configuration Spaces, चोटियों, and Robotics|doi=10.1142/9789814291415_0004|editor-last2=Cohen|editor-first2=Frederick R.|editor-last3=Hanbury|editor-first3=Elizabeth|editor-last4=Wong|editor-first4=Yan-Loi|editor-last5=Wu|editor-first5=Jie}}</ref>
 
<math>\operatorname{Conf}_n(X)</math> में बिंदुओं पर सममित समूह <math>S_n</math> की स्वाभाविक क्रिया होती है।


: <math>\begin{align}
: <math>\begin{align}
Line 15: Line 16:
   (\sigma,x)&\longmapsto \sigma(x)=(x_{\sigma(1)},x_{\sigma(2)},\ldots,x_{\sigma(n)}).
   (\sigma,x)&\longmapsto \sigma(x)=(x_{\sigma(1)},x_{\sigma(2)},\ldots,x_{\sigma(n)}).
\end{align}</math>
\end{align}</math>
यह क्रिया उत्पन्न करती है{{var|n}}<sup>वें</sup> का अव्यवस्थित कॉन्फ़िगरेशन स्थान {{var|X}},
यह क्रिया {{var|X}} के {{var|n}}वें अव्यवस्थित विन्यास समष्टि को जन्म देती है,


: <math>\operatorname{UConf}_n(X) := \operatorname{Conf}_n(X)/S_n,</math>
: <math>\operatorname{UConf}_n(X) := \operatorname{Conf}_n(X)/S_n,</math>
जो उस क्रिया का कक्षीय स्थान है। अंतर्ज्ञान यह है कि यह क्रिया बिंदुओं के नाम भूल जाती है। कभी-कभी अव्यवस्थित कॉन्फ़िगरेशन स्थान को दर्शाया जाता है <math>\mathcal{UC}^n(X)</math>,<ref name=":0" /> <math>B_n(X)</math>, या <math>C_n(X)</math>. सभी पर अव्यवस्थित कॉन्फ़िगरेशन स्थानों का संग्रह <math>n</math> [[अंतरिक्ष भागा]] है, और प्राकृतिक टोपोलॉजी के साथ आता है।
जो उस क्रिया का कक्षीय समष्टि है। अंतर्ज्ञान यह है कि यह क्रिया "बिंदुओं के नाम त्रुटि हो जाती है"। इस प्रकार अव्यवस्थित विन्यास समष्टि को कभी-कभी <math>\mathcal{UC}^n(X)</math>, या <math>B_n(X)</math> दर्शाया जाता है।<ref name=":0" /> सभी <math>n</math> पर अव्यवस्थित विन्यास रिक्त समष्टि का संग्रह रैन समष्टि है, और एक प्राकृतिक टोपोलॉजी के साथ आता है।


===वैकल्पिक सूत्रीकरण ===
===वैकल्पिक सूत्रीकरण ===
टोपोलॉजिकल स्पेस के लिए <math>X</math> और एक परिमित समुच्चय <math>S</math>, का कॉन्फ़िगरेशन स्थान {{var|X}} द्वारा लेबल किए गए कणों के साथ {{var|S}} है
टोपोलॉजिकल समष्टि <math>X</math> और एक परिमित समुच्चय <math>S</math> के लिए, {{var|S}} द्वारा लेबल किए गए कणों के साथ {{var|X}} का विन्यास समष्टि है


: <math>\operatorname{Conf}_S(X) := \{f\mid f\colon S\hookrightarrow X\text{ is injective}\}.</math>
: <math>\operatorname{Conf}_S(X) := \{f\mid f\colon S\hookrightarrow X\text{ is injective}\}.</math>
के लिए <math>n\in\N</math>, परिभाषित करना <math>\mathbf{n}:=\{1,2,\ldots,n\}</math>. फिर{{var|n}}<sup>X' का विन्यास स्थान है <math>\operatorname{Conf}_{\mathbf{n}}(X)</math>, और इसे सरलता से दर्शाया गया है <math>\operatorname{Conf}_n(X)</math>.<ref>{{Cite journal |arxiv=1612.08290|last1=Chettih|first1=Safia|title=लूप्स वाले पेड़ों के कॉन्फ़िगरेशन स्थानों की समरूपता|journal=[[Algebraic & Geometric Topology]] |volume=18|issue=4|pages=2443–2469|last2=Lütgehetmann|first2=Daniel|year=2018|doi=10.2140/agt.2018.18.2443|s2cid=119168700}}</ref>
:<br />इस प्रकार <math>n\in\N</math> के लिए, <math>\mathbf{n}:=\{1,2,\ldots,n\}</math> को परिभाषित करें। फिर X का {{var|n}}वाँ विन्यास समष्टि है, और इसे केवल <math>\operatorname{Conf}_{\mathbf{n}}(X)</math> से दर्शाया जाता है <sup><ref>{{Cite journal |arxiv=1612.08290|last1=Chettih|first1=Safia|title=लूप्स वाले पेड़ों के कॉन्फ़िगरेशन स्थानों की समरूपता|journal=[[Algebraic & Geometric Topology]] |volume=18|issue=4|pages=2443–2469|last2=Lütgehetmann|first2=Daniel|year=2018|doi=10.2140/agt.2018.18.2443|s2cid=119168700}}</ref>
 
 
== उदाहरण ==
== उदाहरण ==
* दो बिंदुओं के क्रमबद्ध विन्यास का स्थान <math>\mathbf{R}^2</math> एक वृत्त के साथ यूक्लिडियन 3-स्पेस के उत्पाद के लिए [[होमियोमोर्फिज्म]] है, अर्थात। <math>\operatorname{Conf}_2(\mathbf{R}^2)\cong \mathbf{R}^3\times S^1</math>.<ref name=":0" />*अधिक सामान्यतः, दो बिंदुओं का कॉन्फ़िगरेशन स्थान <math>\mathbf{R}^n</math> गोले की समरूपता है <math>S^{n-1}</math>.<ref>{{cite arXiv|last=Sinha|first=Dev|date=2010-02-20|title=छोटे डिस्क ओपेराड की समरूपता|page=2 |eprint=math/0610236}}</ref>
*इस प्रकार <math>\mathbf{R}^2</math> में दो बिंदुओं के क्रमबद्ध विन्यास का समष्टि एक वृत्त के साथ यूक्लिडियन 3-समष्टि के उत्पाद के लिए समरूप है, अर्थात <math>\operatorname{Conf}_2(\mathbf{R}^2)\cong \mathbf{R}^3\times S^1</math><ref name=":0" />
*का कॉन्फ़िगरेशन स्थान <math>n</math> में अंक <math>\mathbf{R}^2</math> का वर्गीकरण स्थान है <math>n</math>वां [[चोटी समूह]] (#चोटी समूहों से कनेक्शन देखें)।
*इस प्रकार अधिक सामान्यतः, <math>\mathbf{R}^n</math> में दो बिंदुओं का विन्यास समष्टि गोले <math>S^{n-1}</math> के समतुल्य समरूप है <ref>{{cite arXiv|last=Sinha|first=Dev|date=2010-02-20|title=छोटे डिस्क ओपेराड की समरूपता|page=2 |eprint=math/0610236}}</ref>
*इस प्रकार <math>\mathbf{R}^2</math> में <math>n</math> बिंदुओं का विन्यास समष्टि nवें ब्रैड समूह का वर्गीकरण समष्टि है (नीचे देखें)।


== चोटी समूहों से कनेक्शन ==
== ब्रैड समूहों से सम्बन्ध ==
{{Main|Braid group}}
{{Main|ब्रैड समूह}}


{{var|n}}-[[ जुड़ा हुआ स्थान ]] टोपोलॉजिकल स्पेस पर स्ट्रैंड ब्रैड ग्रुप {{var|X}} है
इस प्रकार कनेक्टेड टोपोलॉजिकल समष्टि {{var|X}} पर {{var|n}}-स्ट्रैंड ब्रैड समूह है
:<math>B_n(X):=\pi_1(\operatorname{UConf}_n(X)),</math>
:<math>B_n(X):=\pi_1(\operatorname{UConf}_n(X)),</math>
का [[मौलिक समूह]] {{var|n}}<sup>वें</sup> का अव्यवस्थित कॉन्फ़िगरेशन स्थान {{var|X}}.{{var|n}}-स्ट्रैंड प्योर ब्रैड ग्रुप ऑन {{var|X}} है<ref name=":0">{{Cite book|title=चोटियों|last=Ghrist|first=Robert|date=2009-12-01|publisher=World Scientific|isbn=9789814291408|editor-last=Berrick|editor-first=A. Jon|series=Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore|volume=19|pages=263–304|chapter=Configuration Spaces, चोटियों, and Robotics|doi=10.1142/9789814291415_0004|editor-last2=Cohen|editor-first2=Frederick R.|editor-last3=Hanbury|editor-first3=Elizabeth|editor-last4=Wong|editor-first4=Yan-Loi|editor-last5=Wu|editor-first5=Jie}}</ref>
इस प्रकार {{var|X}} के {{var|n}}वें अव्यवस्थित विन्यास समष्टि का मूल समूह {{var|X}} पर {{var|n}}-स्ट्रैंड शुद्ध ब्रैड समूह है <ref name=":0" />
:<math>P_n(X):=\pi_1(\operatorname{Conf}_n(X)).</math>
:<math>P_n(X):=\pi_1(\operatorname{Conf}_n(X)).</math>
पहले अध्ययन किए गए ब्रैड समूह आर्टिन ब्रैड समूह थे <math>B_n\cong\pi_1(\operatorname{UConf}_n(\mathbf{R}^2))</math>. जबकि उपरोक्त परिभाषा वह नहीं है जो [[एमिल आर्टिन]] ने दी थी, [[एडॉल्फ हर्विट्ज़]] ने आर्टिन ब्रैड समूहों को आर्टिन की परिभाषा (1891 में) से काफी पहले जटिल विमान के कॉन्फ़िगरेशन स्थानों के मौलिक समूहों के रूप में परिभाषित किया था।<ref>{{cite book |series=[[Lecture Notes in Mathematics]] |volume=372 |first=Wilhelm |last=Magnus | author-link=Wilhelm Magnus |chapter=Braid groups: A survey |chapter-url=https://doi.org/10.1007%2FBFb0065203 |title=समूहों के सिद्धांत पर दूसरे अंतर्राष्ट्रीय सम्मेलन की कार्यवाही|publisher=Springer |year=1974 |isbn=978-3-540-06845-7 |pages=465|doi=10.1007/BFb0065203 }}</ref>
पहले अध्ययन किए गए ब्रैड समूह आर्टिन ब्रैड समूह <math>B_n\cong\pi_1(\operatorname{UConf}_n(\mathbf{R}^2))</math> थे। जबकि उपरोक्त परिभाषा वह नहीं है जो एमिल आर्टिन ने दी थी, इस प्रकार एडॉल्फ हर्विट्ज़ ने आर्टिन ब्रैड समूहों को आर्टिन की परिभाषा (1891 में) से अधिक पहले सम्मिश्र विमान के विन्यास समष्टि के मौलिक समूहों के रूप में परिभाषित किया था।<ref>{{cite book |series=[[Lecture Notes in Mathematics]] |volume=372 |first=Wilhelm |last=Magnus | author-link=Wilhelm Magnus |chapter=Braid groups: A survey |chapter-url=https://doi.org/10.1007%2FBFb0065203 |title=समूहों के सिद्धांत पर दूसरे अंतर्राष्ट्रीय सम्मेलन की कार्यवाही|publisher=Springer |year=1974 |isbn=978-3-540-06845-7 |pages=465|doi=10.1007/BFb0065203 }}</ref>
यह इस परिभाषा और तथ्य से अनुसरण करता है <math>\operatorname{Conf}_n(\mathbf{R}^2)</math> और <math>\operatorname{UConf}_n(\mathbf{R}^2)</math> ईलेनबर्ग-मैकलेन प्रकार के स्थान हैं <math>K(\pi,1)</math>, कि विमान का अव्यवस्थित विन्यास स्थान <math>\operatorname{UConf}_n(\mathbf{R}^2)</math> आर्टिन ब्रैड समूह के लिए एक वर्गीकरण स्थान है, और <math>\operatorname{Conf}_n(\mathbf{R}^2)</math> शुद्ध आर्टिन ब्रैड समूह के लिए एक वर्गीकरण स्थान है, जब दोनों को अलग समूह माना जाता है।<ref>{{Cite book|last=Arnold|first=Vladimir|author-link=Vladimir Arnold|others=Translated by [[Victor Vassiliev]]|title=Vladimir I. Arnold &mdash; Collected Works |chapter=The cohomology ring of the colored braid group |language=ru|volume=5|pages=227–231|doi=10.1007/978-3-642-31031-7_18|issn=0025-567X|mr=0242196|year=1969|isbn=978-3-642-31030-0|s2cid=122699084 }}</ref>
 
 
== मैनिफोल्ड्स का कॉन्फ़िगरेशन स्थान ==
यदि मूल स्थान <math>X</math> एक अनेक गुना है, इसके क्रमबद्ध विन्यास स्थान की शक्तियों के खुले उपस्थान हैं <math>X</math> और इस प्रकार वे स्वयं अनेक हैं। अलग-अलग अव्यवस्थित बिंदुओं का कॉन्फ़िगरेशन स्थान भी कई गुना है, जबकि कॉन्फ़िगरेशन स्थान आवश्यक रूप से भिन्न नहीं है{{Clarify|reason=The "configuration space" of non-necessarily distinct points is not a configuration space, it's just the iterated cartesian product of the space with itself.|date=February 2019}} अव्यवस्थित बिंदु इसके बजाय एक [[कक्षीय]] गुना है।
 
कॉन्फ़िगरेशन स्पेस एक प्रकार का वर्गीकृत स्थान या (ठीक) [[मॉड्यूलि स्पेस]] है। विशेष रूप से, एक सार्वभौमिक बंडल है <math> \pi\colon E_n\to C_n </math> जो तुच्छ बंडल का एक उप-बंडल है <math> C_n\times X\to C_n</math>, और जिसमें यह गुण है कि प्रत्येक बिंदु पर फाइबर होता है <math> p\in C_n</math> का n तत्व उपसमुच्चय है <math> X </math> पी द्वारा वर्गीकृत।
 
=== [[समरूप अपरिवर्तनीय]] ===
होमोटोपी प्रकार के कॉन्फ़िगरेशन स्थान होमोटोपी अपरिवर्तनीय नहीं हैं। उदाहरण के लिए, रिक्त स्थान <math>\operatorname{Conf}_n(\mathbb R^m)</math> के किन्हीं दो भिन्न मानों के लिए समरूप समतुल्य नहीं हैं <math>m</math>: <math>\mathrm{Conf}_n(\mathbb{R}^0)</math> के लिए खाली है <math>n \ge 2</math>, <math>\operatorname{Conf}_n(\mathbb R)</math> के लिए कनेक्ट नहीं है <math>n \ge 2</math>, <math>\operatorname{Conf}_n(\mathbb R^2)</math> एक ईलेनबर्ग-मैकलेन प्रकार का स्थान है <math>K(\pi,1)</math>, और <math>\operatorname{Conf}_n(\mathbb R^m)</math> के लिए [[बस जुड़ा हुआ स्थान]] है <math> m \geq 3</math>.
 
यह एक खुला प्रश्न हुआ करता था कि क्या कॉम्पैक्ट मैनिफोल्ड के उदाहरण थे जो होमोटोपी समकक्ष थे लेकिन गैर-होमोटॉपी समकक्ष कॉन्फ़िगरेशन स्थान थे: ऐसा उदाहरण केवल 2005 में रिकार्डो लोंगोनी और पाओलो साल्वाटोर द्वारा पाया गया था। उनके उदाहरण दो त्रि-आयामी [[लेंस स्थान]] और उनमें कम से कम दो बिंदुओं के विन्यास स्थान हैं। ये कॉन्फ़िगरेशन स्थान समरूप समतुल्य नहीं हैं, इसका पता [[मैसी उत्पाद]]ों द्वारा उनके संबंधित सार्वभौमिक आवरणों में लगाया गया था।<ref>{{citation|title=Configuration spaces are not homotopy invariant|year=2005|last1=Salvatore|last2=Longoni|first1=Paolo|first2=Riccardo|journal=Topology|volume=44|issue=2|pages=375&ndash;380|doi=10.1016/j.top.2004.11.002|arxiv=math/0401075|s2cid=15874513}}</ref> सिंपली कनेक्टेड स्पेस क्लोज्ड मैनिफोल्ड्स के कॉन्फ़िगरेशन स्पेस के लिए होमोटोपी इनवेरिएंस सामान्य रूप से खुला रहता है, और यह बेस फील्ड पर पकड़ बनाए रखने के लिए सिद्ध हुआ है। <math>\mathbf{R}</math>.<ref>{{cite journal|last1=Campos|first1=Ricardo|last2=Willwacher|first2=Thomas|author-link2=Thomas Willwacher|date=2023|title=बिंदुओं के विन्यास स्थानों के लिए एक मॉडल|journal=Algebraic & Geometric Topology |volume=23 |issue=5 |pages=2029–2106 |doi=10.2140/agt.2023.23.2029 |arxiv=1604.02043 }}</ref><ref>{{cite journal|last=Idrissi|first=Najib|date=2016-08-29|title=The Lambrechts–Stanley Model of Configuration Spaces|url=https://archive.org/details/arxiv-1608.08054|journal=Inventiones Mathematicae|volume=216|pages=1–68|arxiv=1608.08054 |doi=10.1007/s00222-018-0842-9|bibcode=2016arXiv160808054I|s2cid=102354039}}</ref> कम से कम 4 आयाम की सीमा के साथ सरल रूप से जुड़े कॉम्पैक्ट मैनिफोल्ड का वास्तविक होमोटॉपी इनवेरिएंस भी साबित हुआ।<ref>{{cite arXiv|last1=Campos|first1=Ricardo|last2=Idrissi|first2=Najib|last3=Lambrechts|first3=Pascal|last4=Willwacher|first4=Thomas|author-link4=Thomas Willwacher|date=2018-02-02|title=सीमा के साथ मैनिफोल्ड्स का कॉन्फ़िगरेशन स्थान|eprint=1802.00716|class=math.AT}}</ref>


यह इस परिभाषा और इस तथ्य से अनुसरण करता है कि <math>\operatorname{Conf}_n(\mathbf{R}^2)</math> और <math>\operatorname{UConf}_n(\mathbf{R}^2)</math> <math>K(\pi,1)</math> के ईलेनबर्ग-मैकलेन रिक्त समष्टि हैं, जो कि समतल का अव्यवस्थित विन्यास समष्टि है। इस प्रकार आर्टिन ब्रैड समूह के लिए एक वर्गीकरण समष्टि है, और <math>\operatorname{UConf}_n(\mathbf{R}^2)</math> शुद्ध आर्टिन ब्रैड समूह के लिए एक वर्गीकरण समष्टि <math>\operatorname{Conf}_n(\mathbf{R}^2)</math> है , जब दोनों को भिन्न-भिन्न समूह माना जाता है।<ref>{{Cite book|last=Arnold|first=Vladimir|author-link=Vladimir Arnold|others=Translated by [[Victor Vassiliev]]|title=Vladimir I. Arnold &mdash; Collected Works |chapter=The cohomology ring of the colored braid group |language=ru|volume=5|pages=227–231|doi=10.1007/978-3-642-31031-7_18|issn=0025-567X|mr=0242196|year=1969|isbn=978-3-642-31030-0|s2cid=122699084 }}</ref>
== मैनिफोल्ड्स का विन्यास समष्टि ==
यदि मूल समष्टि <math>X</math> एक मैनिफोल्ड है तो इसके क्रमबद्ध विन्यास समष्टि <math>X</math> की बलों के विवृत उपसमष्टि हैं और इस प्रकार स्वयं मैनिफोल्ड हैं। इस प्रकार भिन्न-भिन्न अव्यवस्थित बिंदुओं का विन्यास समष्टि भी मैनिफोल्ड है, जबकि आवश्यक नहीं कि भिन्न-भिन्न अव्यवस्थित बिंदुओं का विन्यास समष्टि इसके अतिरिक्त एक कक्षीय है।


== ग्राफ़ का कॉन्फ़िगरेशन स्थान ==
इस प्रकार विन्यास समष्टि एक प्रकार का वर्गीकृत समष्टि या (ठीक) मॉड्यूलि समष्टि है। विशेष रूप से, एक सार्वभौमिक बंडल <math> \pi\colon E_n\to C_n </math> है जो कि सामान्य बंडल <math> C_n\times X\to C_n</math> का एक सब-बंडल है, और जिसमें है गुण यह है कि प्रत्येक बिंदु <math> p\in C_n</math> पर फाइबर, p द्वारा वर्गीकृत <math> X </math> का n अवयव उपसमुच्चय है।
कुछ परिणाम [[ग्राफ़ (टोपोलॉजी)]] के कॉन्फ़िगरेशन स्थानों के लिए विशेष हैं। यह समस्या रोबोटिक्स और मोशन प्लानिंग से संबंधित हो सकती है: कोई कई रोबोटों को पटरियों पर रखने और उन्हें टकराव के बिना विभिन्न स्थितियों में ले जाने की कोशिश करने की कल्पना कर सकता है। ट्रैक ग्राफ़ के किनारों से मेल खाते हैं, रोबोट कणों से मेल खाते हैं, और सफल नेविगेशन उस ग्राफ़ के कॉन्फ़िगरेशन स्थान में एक पथ से मेल खाता है।<ref name=":1">{{citation |last=Ghrist|first=Robert|author-link=Robert Ghrist|contribution=Configuration spaces and braid groups on graphs in robotics|title= Knots, braids, and mapping class groups—papers dedicated to Joan S. Birman|pages=29–40|series= AMS/IP Stud. Adv. Math.|volume=24|publisher=[[American Mathematical Society]]|location= Providence, RI| year=2001| arxiv=math/9905023|mr=1873106|title-link=Joan Birman}}</ref>
किसी भी ग्राफ़ के लिए <math>\Gamma</math>, <math>\operatorname{Conf}_n(\Gamma)</math> एक ईलेनबर्ग-मैकलेन प्रकार का स्थान है <math>K(\pi,1)</math><ref name=":1" />और विरूपण आयाम के [[सीडब्ल्यू कॉम्प्लेक्स]] में वापस आ जाता है <math>b(\Gamma)</math>, कहाँ <math>b(\Gamma)</math> [[डिग्री (ग्राफ सिद्धांत)]] के शीर्षों की संख्या कम से कम 3 है।<ref name=":1" /><ref>{{Cite journal|last1=Farley|first1=Daniel|last2=Sabalka|first2=Lucas|year=2005|title=असतत मोर्स सिद्धांत और ग्राफ ब्रैड समूह|journal=[[Algebraic & Geometric Topology]]|volume=5|issue=3|pages=1075–1109|doi=10.2140/agt.2005.5.1075|arxiv=math/0410539|mr=2171804|s2cid=119715655}}</ref> इसके अतिरिक्त, <math>\operatorname{UConf}_n(\Gamma)</math> और <math>\operatorname{Conf}_n(\Gamma)</math> विरूपण [[गैर-सकारात्मक वक्रता]] में वापस आ जाता है | अधिकतम आयाम के गैर-सकारात्मक रूप से घुमावदार घनीय परिसर <math>\min(n, b(\Gamma))</math>.<ref>{{Cite journal|last=Świątkowski|first=Jacek|year=2001|title=ग्राफ़ के कॉन्फ़िगरेशन स्थानों के समरूप आयाम का अनुमान|journal=Colloquium Mathematicum|language=pl|volume=89|issue=1|pages=69–79|doi=10.4064/cm89-1-5|mr=1853416 |doi-access=free}}</ref><ref>{{cite thesis|first=Daniel|last= Lütgehetmann| title=ग्राफ़ के कॉन्फ़िगरेशन स्थान| degree=Master’s| publisher=[[Free University of Berlin]]| location=Berlin|year= 2014}}</ref>


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


== यांत्रिक लिंकेज का विन्यास स्थान ==
यह एक रिक्त प्रश्न हुआ करता था कि क्या कॉम्पैक्ट मैनिफोल्ड्स के उदाहरण थे जो होमोटॉपी एक्विवलेंट थे किन्तु नॉन-होमोटॉपी एक्विवलेंट विन्यास समष्टि थे: इस प्रकार ऐसा उदाहरण केवल 2005 में रिकार्डो लोंगोनी और पाओलो साल्वाटोर द्वारा पाया गया था। इस प्रकार उनके उदाहरण दो त्रि-आयामी लेंस समष्टि और उनमें कम से कम दो बिंदुओं के विन्यास समष्टि हैं। यह विन्यास समष्टि समरूप समतुल्य नहीं हैं, इसका पता मैसी उत्पादों द्वारा उनके संबंधित सार्वभौमिक आवरणों में लगाया गया था।<ref>{{citation|title=Configuration spaces are not homotopy invariant|year=2005|last1=Salvatore|last2=Longoni|first1=Paolo|first2=Riccardo|journal=Topology|volume=44|issue=2|pages=375&ndash;380|doi=10.1016/j.top.2004.11.002|arxiv=math/0401075|s2cid=15874513}}</ref> इस प्रकार सरल रूप से जुड़े हुए बंद मैनिफोल्ड के विन्यास समष्टि के लिए होमोटोपी इनवेरिएंस सामान्य रूप से रिक्त रहता है, और इस प्रकार बेस फ़ील्ड <math>\mathbf{R}</math> पर पकड़ बनाए रखने के लिए सिद्ध किया गया है।<ref>{{cite journal|last1=Campos|first1=Ricardo|last2=Willwacher|first2=Thomas|author-link2=Thomas Willwacher|date=2023|title=बिंदुओं के विन्यास स्थानों के लिए एक मॉडल|journal=Algebraic & Geometric Topology |volume=23 |issue=5 |pages=2029–2106 |doi=10.2140/agt.2023.23.2029 |arxiv=1604.02043 }}</ref><ref>{{cite journal|last=Idrissi|first=Najib|date=2016-08-29|title=The Lambrechts–Stanley Model of Configuration Spaces|url=https://archive.org/details/arxiv-1608.08054|journal=Inventiones Mathematicae|volume=216|pages=1–68|arxiv=1608.08054 |doi=10.1007/s00222-018-0842-9|bibcode=2016arXiv160808054I|s2cid=102354039}}</ref> आयाम कम से कम 4 भी सिद्ध हुआ था।<ref>{{cite arXiv|last1=Campos|first1=Ricardo|last2=Idrissi|first2=Najib|last3=Lambrechts|first3=Pascal|last4=Willwacher|first4=Thomas|author-link4=Thomas Willwacher|date=2018-02-02|title=सीमा के साथ मैनिफोल्ड्स का कॉन्फ़िगरेशन स्थान|eprint=1802.00716|class=math.AT}}</ref>
ग्राफ़ के साथ यांत्रिक लिंकेज के कॉन्फ़िगरेशन स्थान को भी परिभाषित किया गया है <math>\Gamma</math> इसकी अंतर्निहित ज्यामिति। इस तरह के ग्राफ को आमतौर पर कठोर छड़ों और टिकाओं के संयोजन के रूप में निर्मित माना जाता है। इस तरह के लिंकेज के कॉन्फ़िगरेशन स्थान को उचित मीट्रिक से सुसज्जित यूक्लिडियन स्पेस में इसके सभी स्वीकार्य पदों की समग्रता के रूप में परिभाषित किया गया है। सामान्य लिंकेज का कॉन्फ़िगरेशन स्थान एक सहज मैनिफोल्ड है, उदाहरण के लिए, इससे बने तुच्छ प्लानर लिंकेज के लिए <math>n</math> कठोर छड़ें उल्टे जोड़ों से जुड़ी होती हैं, विन्यास स्थान एन-टोरस है <math>T^n</math>.<ref>{{Cite journal|last1=Shvalb|first1=Nir|last2=Shoham|first2=Moshe|last3=Blanc|first3=David|year=2005|title=अरचनोइड तंत्र का विन्यास स्थान|journal=Forum Mathematicum|language=en|volume=17|issue=6|pages=1033–1042|doi=10.1515/form.2005.17.6.1033|s2cid=121995780}}</ref><ref>{{Cite book|last=Farber|first=Michael|year=2007|title=टोपोलॉजिकल रोबोटिक्स के लिए निमंत्रण|publisher=american Mathematical Society}}</ref>
== ग्राफ़ का विन्यास समष्टि ==
ऐसे विन्यास स्थानों में सबसे सरल विलक्षणता बिंदु एक यूक्लिडियन अंतरिक्ष द्वारा एक सजातीय द्विघात हाइपरसतह पर एक शंकु का उत्पाद है। लिंकेज के लिए ऐसा विलक्षणता बिंदु उभरता है जिसे दो उप-लिंकेज में विभाजित किया जा सकता है जैसे कि उनके संबंधित समापन बिंदु ट्रेस-पथ गैर-अनुप्रस्थ तरीके से प्रतिच्छेद करते हैं, उदाहरण के लिए लिंकेज जिसे संरेखित किया जा सकता है (यानी पूरी तरह से एक पंक्ति में मोड़ा जा सकता है)।<ref>{{Cite journal|last1=Shvalb|first1=Nir|last2=Blanc|first2=David|year=2012|title=लिंकेज की सामान्य एकवचन विन्यास|journal=Topology and Its Applications|language=en|volume=159|issue=3|pages=877–890|doi=10.1016/j.topol.2011.12.003|doi-access=free}}</ref>
कुछ परिणाम [[ग्राफ़ (टोपोलॉजी)]] के विन्यास समष्टि के लिए विशेष हैं। इस प्रकार यह समस्या रोबोटिक्स और मोशन प्लानिंग से संबंधित हो सकती है: कोई विभिन्न रोबोटों को पटरियों पर रखने और उन्हें कोलिसन के बिना विभिन्न स्थितियों में ले जाने के लिए प्रयास करने की कल्पना कर सकता है। इस प्रकार ट्रैक ग्राफ़ के किनारों से मेल खाते हैं, रोबोट कणों से मेल खाते हैं, और सफल नेविगेशन उस ग्राफ़ के विन्यास समष्टि में पथ से मेल खाता है।<ref name=":1">{{citation |last=Ghrist|first=Robert|author-link=Robert Ghrist|contribution=Configuration spaces and braid groups on graphs in robotics|title= Knots, braids, and mapping class groups—papers dedicated to Joan S. Birman|pages=29–40|series= AMS/IP Stud. Adv. Math.|volume=24|publisher=[[American Mathematical Society]]|location= Providence, RI| year=2001| arxiv=math/9905023|mr=1873106|title-link=Joan Birman}}</ref>


किसी भी ग्राफ़ के लिए <math>\Gamma</math>, <math>\operatorname{Conf}_n(\Gamma)</math> <math>K(\pi,1)</math> प्रकार का एक ईलेनबर्ग-मैकलेन समष्टि है <ref name=":1" /> और सशक्त विरूपण आयाम के सीडब्ल्यू कॉम्प्लेक्स <math>b(\Gamma)</math> में वापस आ जाता है। जहां <math>b(\Gamma)</math> डिग्री के शीर्षों की संख्या कम से कम 3 है। <ref name=":1" /> <ref>{{Cite journal|last1=Farley|first1=Daniel|last2=Sabalka|first2=Lucas|year=2005|title=असतत मोर्स सिद्धांत और ग्राफ ब्रैड समूह|journal=[[Algebraic & Geometric Topology]]|volume=5|issue=3|pages=1075–1109|doi=10.2140/agt.2005.5.1075|arxiv=math/0410539|mr=2171804|s2cid=119715655}}</ref> इसके अतिरिक्त, विरूपण अधिकतम आयाम के गैर-धनात्मक रूप से वृत्ताकार क्यूबिकल परिसरों <math>\min(n, b(\Gamma))</math> में वापस आ जाता है।<ref>{{Cite journal|last=Świątkowski|first=Jacek|year=2001|title=ग्राफ़ के कॉन्फ़िगरेशन स्थानों के समरूप आयाम का अनुमान|journal=Colloquium Mathematicum|language=pl|volume=89|issue=1|pages=69–79|doi=10.4064/cm89-1-5|mr=1853416 |doi-access=free}}</ref><ref>{{cite thesis|first=Daniel|last= Lütgehetmann| title=ग्राफ़ के कॉन्फ़िगरेशन स्थान| degree=Master’s| publisher=[[Free University of Berlin]]| location=Berlin|year= 2014}}</ref>
== मैकेनिकल लिंकेज का विन्यास समष्टि ==


एक मैकेनिकल लिंकेज के विन्यास समष्टि को ग्राफ़ <math>\Gamma</math> के साथ इसकी अंतर्निहित ज्यामिति को भी परिभाषित करता है। इस तरह के ग्राफ को सामान्यतः कठोर छड़ों और अनवरत के संयोजन के रूप में निर्मित माना जाता है। इस तरह के लिंकेज के विन्यास समष्टि को उचित मीट्रिक से सुसज्जित यूक्लिडियन समष्टि में इसके सभी स्वीकार्य पदों की समग्रता के रूप में परिभाषित किया गया है। जेनेरिक लिंकेज का विन्यास समष्टि एक स्मूथ मैनिफोल्ड है, उदाहरण के लिए, उल्टे जोड़ों से जुड़े <math>n</math> कठोर छड़ों से बने समान प्लेनर लिंकेज के लिए, विन्यास समष्टि <math>n</math>-टोरस <math>T^n</math> है। <ref>{{Cite journal|last1=Shvalb|first1=Nir|last2=Shoham|first2=Moshe|last3=Blanc|first3=David|year=2005|title=अरचनोइड तंत्र का विन्यास स्थान|journal=Forum Mathematicum|language=en|volume=17|issue=6|pages=1033–1042|doi=10.1515/form.2005.17.6.1033|s2cid=121995780}}</ref><ref>{{Cite book|last=Farber|first=Michael|year=2007|title=टोपोलॉजिकल रोबोटिक्स के लिए निमंत्रण|publisher=american Mathematical Society}}</ref> इस प्रकार ऐसे विन्यास समष्टि में सबसे सरल विलक्षणता बिंदु एक यूक्लिडियन समष्टि द्वारा एक सजातीय द्विघात हाइपरसर्फेस पर एक शंकु का उत्पाद है। इस प्रकार लिंकेज के लिए ऐसा एक विलक्षणता बिंदु उभरता है जिसे दो सब-लिंकेज में विभाजित किया जा सकता है जैसे कि उनके संबंधित समापन बिंदु ट्रेस-पथ एक गैर-अनुप्रस्थ विधि से प्रतिच्छेद करते हैं, उदाहरण के लिए लिंकेज जिसे संरेखित किया जा सकता है (अर्थात पूर्ण रूप से एक पंक्ति में मोड़ा जा सकता है)।<ref>{{Cite journal|last1=Shvalb|first1=Nir|last2=Blanc|first2=David|year=2012|title=लिंकेज की सामान्य एकवचन विन्यास|journal=Topology and Its Applications|language=en|volume=159|issue=3|pages=877–890|doi=10.1016/j.topol.2011.12.003|doi-access=free}}</ref>
== संघनन ==
== संघनन ==
कॉन्फ़िगरेशन स्थान <math>\operatorname{Conf}_n(X)</math> अलग-अलग बिंदुओं का गैर-कॉम्पैक्ट होता है, जिसके सिरे वहां होते हैं जहां बिंदु एक-दूसरे के करीब आते हैं (संगामी हो जाते हैं)। कई ज्यामितीय अनुप्रयोगों के लिए कॉम्पैक्ट स्पेस की आवश्यकता होती है, इसलिए कोई [[संकलन (गणित)]]गणित) करना चाहेगा <math>\operatorname{Conf}_n(X)</math>, यानी, इसे उपयुक्त गुणों के साथ एक कॉम्पैक्ट स्पेस के खुले उपसमुच्चय के रूप में एम्बेड करें। इस समस्या के लिए दृष्टिकोण [[राउल बॉट]] और [[क्लिफोर्ड टौब्स]] द्वारा दिए गए हैं,<ref>{{Cite journal |last1=Bott |first1=Raoul |author1-link=Raoul Bott|last2=Taubes |first2=Clifford |author2-link=Clifford Taubes|date=1994-10-01 |title=गांठों के अपने आप जुड़ने पर|url=http://dx.doi.org/10.1063/1.530750 |journal=[[Journal of Mathematical Physics]] |volume=35 |issue=10 |pages=5247–5287 |doi=10.1063/1.530750 |issn=0022-2488}}</ref> साथ ही [[विलियम फुल्टन (गणितज्ञ)]] और [[रॉबर्ट मैकफरसन (गणितज्ञ)]]।<ref>{{Cite journal |last1=Fulton |first1=William |author1-link=William Fulton (mathematician)|last2=MacPherson |first2=Robert |author2-link=Robert MacPherson (mathematician)|date=January 1994 |title=कॉन्फ़िगरेशन रिक्त स्थान का एक संघनन|url=http://dx.doi.org/10.2307/2946631 |journal=[[Annals of Mathematics]] |volume=139 |issue=1 |pages=183 |doi=10.2307/2946631 |jstor=2946631 |issn=0003-486X}}</ref>
इस प्रकार विन्यास समष्टि <math>\operatorname{Conf}_n(X)</math> भिन्न-भिन्न बिंदुओं का नॉन-कॉम्पैक्ट होता है, जिसके शीर्ष वहां होते हैं जहां बिंदु एक-दूसरे के निकट आते हैं (संगामी हो जाते हैं)। विभिन्न ज्यामितीय अनुप्रयोगों के लिए कॉम्पैक्ट समष्टि की आवश्यकता होती है, इसलिए कोई [[संकलन (गणित)|कॉम्पैक्ट (गणित)]] <math>\operatorname{Conf}_n(X)</math> करना चाहेगा अर्थात, इस प्रकार इसे उपयुक्त गुणों के साथ कॉम्पैक्ट समष्टि के विवृत उपसमुच्चय के रूप में एम्बेड करें। इस समस्या के लिए दृष्टिकोण [[राउल बॉट]] और [[क्लिफोर्ड टौब्स]] द्वारा साथ ही [[विलियम फुल्टन (गणितज्ञ)]] और [[रॉबर्ट मैकफरसन (गणितज्ञ)]] द्वारा दिए गए हैं,<ref>{{Cite journal |last1=Bott |first1=Raoul |author1-link=Raoul Bott|last2=Taubes |first2=Clifford |author2-link=Clifford Taubes|date=1994-10-01 |title=गांठों के अपने आप जुड़ने पर|url=http://dx.doi.org/10.1063/1.530750 |journal=[[Journal of Mathematical Physics]] |volume=35 |issue=10 |pages=5247–5287 |doi=10.1063/1.530750 |issn=0022-2488}}</ref> ।<ref>{{Cite journal |last1=Fulton |first1=William |author1-link=William Fulton (mathematician)|last2=MacPherson |first2=Robert |author2-link=Robert MacPherson (mathematician)|date=January 1994 |title=कॉन्फ़िगरेशन रिक्त स्थान का एक संघनन|url=http://dx.doi.org/10.2307/2946631 |journal=[[Annals of Mathematics]] |volume=139 |issue=1 |pages=183 |doi=10.2307/2946631 |jstor=2946631 |issn=0003-486X}}</ref>
 
==यह भी देखें                                                                                                                                                                                                                             ==
 
==यह भी देखें==
{{Portal|Mathematics}}
{{Portal|Mathematics}}
*विन्यास स्थान (भौतिकी)
*विन्यास समष्टि (भौतिकी)
*राज्य अंतरिक्ष (भौतिकी)
*स्टेट समष्टि (भौतिकी)


== संदर्भ ==
== संदर्भ                                                                                                                           ==
<references/>
<references/>
{{Topology}}


{{DEFAULTSORT:Configuration Space}}[[Category: कई गुना]] [[Category: टोपोलॉजी]] [[Category: बीजगणितीय टोपोलॉजी]]  
{{DEFAULTSORT:Configuration Space}}[[Category: कई गुना]] [[Category: टोपोलॉजी]] [[Category: बीजगणितीय टोपोलॉजी]]  
Line 83: Line 73:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 18/11/2023]]
[[Category:Created On 18/11/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 21:48, 5 December 2023

वृत्त पर बिंदुओं के सभी अव्यवस्थित युग्मों का विन्यास समष्टि मोबियस पट्टी है।

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

परिभाषा

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

[1]

यह समष्टि सामान्यतः में सम्मिलित होने से सब-समष्टि टोपोलॉजी से संपन्न होता है। इसे कभी-कभी या से भी दर्शाया जाता है [2]

में बिंदुओं पर सममित समूह की स्वाभाविक क्रिया होती है।

यह क्रिया X के nवें अव्यवस्थित विन्यास समष्टि को जन्म देती है,

जो उस क्रिया का कक्षीय समष्टि है। अंतर्ज्ञान यह है कि यह क्रिया "बिंदुओं के नाम त्रुटि हो जाती है"। इस प्रकार अव्यवस्थित विन्यास समष्टि को कभी-कभी , या दर्शाया जाता है।[2] सभी पर अव्यवस्थित विन्यास रिक्त समष्टि का संग्रह रैन समष्टि है, और एक प्राकृतिक टोपोलॉजी के साथ आता है।

वैकल्पिक सूत्रीकरण

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


इस प्रकार के लिए, को परिभाषित करें। फिर X का nवाँ विन्यास समष्टि है, और इसे केवल से दर्शाया जाता है [3]

उदाहरण

  • इस प्रकार में दो बिंदुओं के क्रमबद्ध विन्यास का समष्टि एक वृत्त के साथ यूक्लिडियन 3-समष्टि के उत्पाद के लिए समरूप है, अर्थात [2]
  • इस प्रकार अधिक सामान्यतः, में दो बिंदुओं का विन्यास समष्टि गोले के समतुल्य समरूप है [4]
  • इस प्रकार में बिंदुओं का विन्यास समष्टि nवें ब्रैड समूह का वर्गीकरण समष्टि है (नीचे देखें)।

ब्रैड समूहों से सम्बन्ध

इस प्रकार कनेक्टेड टोपोलॉजिकल समष्टि X पर n-स्ट्रैंड ब्रैड समूह है

इस प्रकार X के nवें अव्यवस्थित विन्यास समष्टि का मूल समूह X पर n-स्ट्रैंड शुद्ध ब्रैड समूह है [2]

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

यह इस परिभाषा और इस तथ्य से अनुसरण करता है कि और के ईलेनबर्ग-मैकलेन रिक्त समष्टि हैं, जो कि समतल का अव्यवस्थित विन्यास समष्टि है। इस प्रकार आर्टिन ब्रैड समूह के लिए एक वर्गीकरण समष्टि है, और शुद्ध आर्टिन ब्रैड समूह के लिए एक वर्गीकरण समष्टि है , जब दोनों को भिन्न-भिन्न समूह माना जाता है।[6]

मैनिफोल्ड्स का विन्यास समष्टि

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

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

होमोटोपी इनवेरिएंस

होमोटोपी एक प्रकार के विन्यास समष्टि होमोटोपी अपरिवर्तनीय नहीं हैं। उदाहरण के लिए, रिक्त समष्टि किसी भी दो भिन्न-भिन्न मानों के लिए समरूप समरूप नहीं हैं इस प्रकार के लिए रिक्त है, , प्रकार का एक ईलेनबर्ग-मैकलेन समष्टि है, और , के लिए जुड़ा हुआ है

यह एक रिक्त प्रश्न हुआ करता था कि क्या कॉम्पैक्ट मैनिफोल्ड्स के उदाहरण थे जो होमोटॉपी एक्विवलेंट थे किन्तु नॉन-होमोटॉपी एक्विवलेंट विन्यास समष्टि थे: इस प्रकार ऐसा उदाहरण केवल 2005 में रिकार्डो लोंगोनी और पाओलो साल्वाटोर द्वारा पाया गया था। इस प्रकार उनके उदाहरण दो त्रि-आयामी लेंस समष्टि और उनमें कम से कम दो बिंदुओं के विन्यास समष्टि हैं। यह विन्यास समष्टि समरूप समतुल्य नहीं हैं, इसका पता मैसी उत्पादों द्वारा उनके संबंधित सार्वभौमिक आवरणों में लगाया गया था।[7] इस प्रकार सरल रूप से जुड़े हुए बंद मैनिफोल्ड के विन्यास समष्टि के लिए होमोटोपी इनवेरिएंस सामान्य रूप से रिक्त रहता है, और इस प्रकार बेस फ़ील्ड पर पकड़ बनाए रखने के लिए सिद्ध किया गया है।[8][9] आयाम कम से कम 4 भी सिद्ध हुआ था।[10]

ग्राफ़ का विन्यास समष्टि

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

किसी भी ग्राफ़ के लिए , प्रकार का एक ईलेनबर्ग-मैकलेन समष्टि है [11] और सशक्त विरूपण आयाम के सीडब्ल्यू कॉम्प्लेक्स में वापस आ जाता है। जहां डिग्री के शीर्षों की संख्या कम से कम 3 है। [11] [12] इसके अतिरिक्त, विरूपण अधिकतम आयाम के गैर-धनात्मक रूप से वृत्ताकार क्यूबिकल परिसरों में वापस आ जाता है।[13][14]

मैकेनिकल लिंकेज का विन्यास समष्टि

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

संघनन

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

यह भी देखें

  • विन्यास समष्टि (भौतिकी)
  • स्टेट समष्टि (भौतिकी)

संदर्भ

  1. Farber, Michael; Grant, Mark (2009). "कॉन्फ़िगरेशन रिक्त स्थान की टोपोलॉजिकल जटिलता". Proceedings of the American Mathematical Society. 137 (5): 1841–1847. arXiv:0806.4111. doi:10.1090/S0002-9939-08-09808-0. MR 2470845. S2CID 16188638.
  2. 2.0 2.1 2.2 2.3 Ghrist, Robert (2009-12-01). "Configuration Spaces, चोटियों, and Robotics". In Berrick, A. Jon; Cohen, Frederick R.; Hanbury, Elizabeth; Wong, Yan-Loi; Wu, Jie (eds.). चोटियों. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore. Vol. 19. World Scientific. pp. 263–304. doi:10.1142/9789814291415_0004. ISBN 9789814291408.
  3. Chettih, Safia; Lütgehetmann, Daniel (2018). "लूप्स वाले पेड़ों के कॉन्फ़िगरेशन स्थानों की समरूपता". Algebraic & Geometric Topology. 18 (4): 2443–2469. arXiv:1612.08290. doi:10.2140/agt.2018.18.2443. S2CID 119168700.
  4. Sinha, Dev (2010-02-20). "छोटे डिस्क ओपेराड की समरूपता". p. 2. arXiv:math/0610236.
  5. Magnus, Wilhelm (1974). "Braid groups: A survey". समूहों के सिद्धांत पर दूसरे अंतर्राष्ट्रीय सम्मेलन की कार्यवाही. Lecture Notes in Mathematics. Vol. 372. Springer. p. 465. doi:10.1007/BFb0065203. ISBN 978-3-540-06845-7.
  6. Arnold, Vladimir (1969). "The cohomology ring of the colored braid group". Vladimir I. Arnold — Collected Works (in русский). Vol. 5. Translated by Victor Vassiliev. pp. 227–231. doi:10.1007/978-3-642-31031-7_18. ISBN 978-3-642-31030-0. ISSN 0025-567X. MR 0242196. S2CID 122699084.
  7. Salvatore, Paolo; Longoni, Riccardo (2005), "Configuration spaces are not homotopy invariant", Topology, 44 (2): 375–380, arXiv:math/0401075, doi:10.1016/j.top.2004.11.002, S2CID 15874513
  8. Campos, Ricardo; Willwacher, Thomas (2023). "बिंदुओं के विन्यास स्थानों के लिए एक मॉडल". Algebraic & Geometric Topology. 23 (5): 2029–2106. arXiv:1604.02043. doi:10.2140/agt.2023.23.2029.
  9. Idrissi, Najib (2016-08-29). "The Lambrechts–Stanley Model of Configuration Spaces". Inventiones Mathematicae. 216: 1–68. arXiv:1608.08054. Bibcode:2016arXiv160808054I. doi:10.1007/s00222-018-0842-9. S2CID 102354039.
  10. Campos, Ricardo; Idrissi, Najib; Lambrechts, Pascal; Willwacher, Thomas (2018-02-02). "सीमा के साथ मैनिफोल्ड्स का कॉन्फ़िगरेशन स्थान". arXiv:1802.00716 [math.AT].
  11. 11.0 11.1 11.2 Ghrist, Robert (2001), "Configuration spaces and braid groups on graphs in robotics", Knots, braids, and mapping class groups—papers dedicated to Joan S. Birman, AMS/IP Stud. Adv. Math., vol. 24, Providence, RI: American Mathematical Society, pp. 29–40, arXiv:math/9905023, MR 1873106
  12. Farley, Daniel; Sabalka, Lucas (2005). "असतत मोर्स सिद्धांत और ग्राफ ब्रैड समूह". Algebraic & Geometric Topology. 5 (3): 1075–1109. arXiv:math/0410539. doi:10.2140/agt.2005.5.1075. MR 2171804. S2CID 119715655.
  13. Świątkowski, Jacek (2001). "ग्राफ़ के कॉन्फ़िगरेशन स्थानों के समरूप आयाम का अनुमान". Colloquium Mathematicum (in polski). 89 (1): 69–79. doi:10.4064/cm89-1-5. MR 1853416.
  14. Lütgehetmann, Daniel (2014). ग्राफ़ के कॉन्फ़िगरेशन स्थान (Master’s thesis). Berlin: Free University of Berlin.
  15. Shvalb, Nir; Shoham, Moshe; Blanc, David (2005). "अरचनोइड तंत्र का विन्यास स्थान". Forum Mathematicum (in English). 17 (6): 1033–1042. doi:10.1515/form.2005.17.6.1033. S2CID 121995780.
  16. Farber, Michael (2007). टोपोलॉजिकल रोबोटिक्स के लिए निमंत्रण. american Mathematical Society.
  17. Shvalb, Nir; Blanc, David (2012). "लिंकेज की सामान्य एकवचन विन्यास". Topology and Its Applications (in English). 159 (3): 877–890. doi:10.1016/j.topol.2011.12.003.
  18. Bott, Raoul; Taubes, Clifford (1994-10-01). "गांठों के अपने आप जुड़ने पर". Journal of Mathematical Physics. 35 (10): 5247–5287. doi:10.1063/1.530750. ISSN 0022-2488.
  19. Fulton, William; MacPherson, Robert (January 1994). "कॉन्फ़िगरेशन रिक्त स्थान का एक संघनन". Annals of Mathematics. 139 (1): 183. doi:10.2307/2946631. ISSN 0003-486X. JSTOR 2946631.