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

From Vigyanwiki
No edit summary
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>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 17:
   (\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>




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


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

Revision as of 18:01, 29 November 2023

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

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

परिभाषा

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

[1]


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

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

यह क्रिया X के nवें अव्यवस्थित कॉन्फ़िगरेशन स्पेस को जन्म देती है,

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

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

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


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

उदाहरण

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

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

Main article: ब्रैड समूह

कनेक्टेड टोपोलॉजिकल स्पेस 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.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=विन्यास_समष्टि_(गणित)&oldid=275597’