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

From Vigyanwiki
No edit summary
Line 1: Line 1:
[[File:Moebius_Surface_1_Display_Small.png|thumb|वृत्त पर बिंदुओं के सभी अव्यवस्थित युग्मों का कॉन्फ़िगरेशन स्पेस मोबियस पट्टी है।]]
[[File:Moebius_Surface_1_Display_Small.png|thumb|वृत्त पर बिंदुओं के सभी अव्यवस्थित युग्मों का विन्यास समष्टि मोबियस पट्टी है।]]


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


== परिभाषा ==
== परिभाषा ==
टोपोलॉजिकल स्पेस <math>X</math> और एक धनात्मक पूर्णांक <math>n</math> के लिए, <math>X^n</math> को कार्टेशियन टोपोलॉजी से सुसज्जित, <math>X</math> का <math>n</math>वां (आदेशित) कॉन्फ़िगरेशन स्पेस ''<math>X</math>'' में जोड़ीवार भिन्न-भिन्न बिंदुओं के <math>n</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>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>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>\operatorname{Conf}_n(X)</math> में बिंदुओं पर सममित समूह <math>S_n</math> की स्वाभाविक क्रिया होती है।
Line 16: 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|X}} के {{var|n}}वें अव्यवस्थित कॉन्फ़िगरेशन स्पेस को जन्म देती है,
यह क्रिया {{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>, या <math>B_n(X)</math> दर्शाया जाता है।<ref name=":0" /> सभी <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|S}} द्वारा लेबल किए गए कणों के साथ {{var|X}} का कॉन्फ़िगरेशन स्पेस है
टोपोलॉजिकल समष्टि <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>
:<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>
:<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}^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}^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वें ब्रैड समूह का वर्गीकरण स्पेस है (नीचे देखें)।
*इस प्रकार <math>\mathbf{R}^2</math> में <math>n</math> बिंदुओं का विन्यास समष्टि nवें ब्रैड समूह का वर्गीकरण समष्टि है (नीचे देखें)।


== ब्रैड समूहों से सम्बन्ध ==
== ब्रैड समूहों से सम्बन्ध ==
{{Main|ब्रैड समूह}}
{{Main|ब्रैड समूह}}


इस प्रकार कनेक्टेड टोपोलॉजिकल स्पेस {{var|X}} पर {{var|n}}-स्ट्रैंड ब्रैड समूह है
इस प्रकार कनेक्टेड टोपोलॉजिकल समष्टि {{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|X}} के {{var|n}}वें अव्यवस्थित कॉन्फ़िगरेशन स्पेस का मूल समूह {{var|X}} पर {{var|n}}-स्ट्रैंड शुद्ध ब्रैड समूह है <ref name=":0" />
इस प्रकार {{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>\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>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 अवयव उपसमुच्चय है।
इस प्रकार विन्यास समष्टि एक प्रकार का वर्गीकृत समष्टि या (ठीक) मॉड्यूलि समष्टि है। विशेष रूप से, एक सार्वभौमिक बंडल <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 अवयव उपसमुच्चय है।


=== [[समरूप अपरिवर्तनीय|होमोटोपी इनवेरिएंस]] ===
=== [[समरूप अपरिवर्तनीय|होमोटोपी इनवेरिएंस]] ===
होमोटोपी एक प्रकार के कॉन्फ़िगरेशन स्पेस होमोटोपी अपरिवर्तनीय नहीं हैं। उदाहरण के लिए, रिक्त स्पेस <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> के लिए जुड़ा हुआ है
होमोटोपी एक प्रकार के विन्यास समष्टि होमोटोपी अपरिवर्तनीय नहीं हैं। उदाहरण के लिए, रिक्त समष्टि <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>
यह एक रिक्त प्रश्न हुआ करता था कि क्या कॉम्पैक्ट मैनिफोल्ड्स के उदाहरण थे जो होमोटॉपी एक्विवलेंट थे किन्तु नॉन-होमोटॉपी एक्विवलेंट विन्यास समष्टि थे: इस प्रकार ऐसा उदाहरण केवल 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>
== ग्राफ़ का कॉन्फ़िगरेशन स्पेस ==
== ग्राफ़ का विन्यास समष्टि ==
कुछ परिणाम [[ग्राफ़ (टोपोलॉजी)]] के कॉन्फ़िगरेशन स्पेस के लिए विशेष हैं। इस प्रकार यह समस्या रोबोटिक्स और मोशन प्लानिंग से संबंधित हो सकती है: कोई विभिन्न रोबोटों को पटरियों पर रखने और उन्हें कोलिसन के बिना विभिन्न स्थितियों में ले जाने के लिए प्रयास करने की कल्पना कर सकता है। इस प्रकार ट्रैक ग्राफ़ के किनारों से मेल खाते हैं, रोबोट कणों से मेल खाते हैं, और सफल नेविगेशन उस ग्राफ़ के कॉन्फ़िगरेशन स्पेस में पथ से मेल खाता है।<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>
कुछ परिणाम [[ग्राफ़ (टोपोलॉजी)]] के विन्यास समष्टि के लिए विशेष हैं। इस प्रकार यह समस्या रोबोटिक्स और मोशन प्लानिंग से संबंधित हो सकती है: कोई विभिन्न रोबोटों को पटरियों पर रखने और उन्हें कोलिसन के बिना विभिन्न स्थितियों में ले जाने के लिए प्रयास करने की कल्पना कर सकता है। इस प्रकार ट्रैक ग्राफ़ के किनारों से मेल खाते हैं, रोबोट कणों से मेल खाते हैं, और सफल नेविगेशन उस ग्राफ़ के विन्यास समष्टि में पथ से मेल खाता है।<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>\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>\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}}
*कॉन्फ़िगरेशन स्पेस (भौतिकी)
*विन्यास समष्टि (भौतिकी)
*स्टेट स्पेस (भौतिकी)
*स्टेट समष्टि (भौतिकी)


== संदर्भ                                                                                                                            ==
== संदर्भ                                                                                                                            ==

Revision as of 16:13, 30 November 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.