विन्यास समष्टि (गणित): Difference between revisions
m (Arti Shah moved page कॉन्फ़िगरेशन स्थान (गणित) to कॉन्फ़िगरेशन समष्टि (गणित) without leaving a redirect) |
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>X</math> और सकारात्मक पूर्णांक <math>n</math>, होने देना <math>X^n</math> का कार्टेशियन उत्पाद हो <math>n</math> की प्रतियाँ <math>X</math>, [[उत्पाद टोपोलॉजी]] से सुसज्जित। तब''<sup>वें</sup> (आदेश दिया गया) कॉन्फ़िगरेशन स्थान <math>X</math>जोड़ीवार अलग-अलग बिंदुओं के ''एन''-टुपल्स का सेट है <math>X</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>\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>\begin{align} | : <math>\begin{align} | ||
Line 21: | Line 21: | ||
===वैकल्पिक सूत्रीकरण === | ===वैकल्पिक सूत्रीकरण === | ||
टोपोलॉजिकल स्पेस के लिए <math>X</math> और | टोपोलॉजिकल स्पेस के लिए <math>X</math> और परिमित समुच्चय <math>S</math>, का कॉन्फ़िगरेशन स्थान {{var|X}} द्वारा लेबल किए गए कणों के साथ {{var|S}} है | ||
: <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> | ||
Line 28: | Line 28: | ||
== उदाहरण == | == उदाहरण == | ||
* दो बिंदुओं के क्रमबद्ध विन्यास का स्थान <math>\mathbf{R}^2</math> | * दो बिंदुओं के क्रमबद्ध विन्यास का स्थान <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>n</math> में अंक <math>\mathbf{R}^2</math> का वर्गीकरण स्थान है <math>n</math>वां [[चोटी समूह]] (#चोटी समूहों से कनेक्शन देखें)। | *का कॉन्फ़िगरेशन स्थान <math>n</math> में अंक <math>\mathbf{R}^2</math> का वर्गीकरण स्थान है <math>n</math>वां [[चोटी समूह]] (#चोटी समूहों से कनेक्शन देखें)। | ||
Line 34: | Line 34: | ||
{{Main|Braid group}} | {{Main|Braid group}} | ||
{{var|n}}-[[ जुड़ा हुआ स्थान ]] टोपोलॉजिकल स्पेस पर स्ट्रैंड ब्रैड ग्रुप {{var|X}} है | {{var|n}}-[[ जुड़ा हुआ स्थान | जुड़ा हुआ स्थान]] टोपोलॉजिकल स्पेस पर स्ट्रैंड ब्रैड ग्रुप {{var|X}} है | ||
:<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|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> | ||
:<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> और <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 — 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> \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>\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–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>\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>\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> | ||
== संघनन == | == संघनन == | ||
कॉन्फ़िगरेशन स्थान <math>\operatorname{Conf}_n(X)</math> अलग-अलग बिंदुओं का गैर-कॉम्पैक्ट होता है, जिसके सिरे वहां होते हैं जहां बिंदु एक-दूसरे के करीब आते हैं (संगामी हो जाते हैं)। कई ज्यामितीय अनुप्रयोगों के लिए कॉम्पैक्ट स्पेस की आवश्यकता होती है, इसलिए कोई [[संकलन (गणित)]]गणित) करना चाहेगा <math>\operatorname{Conf}_n(X)</math>, यानी, इसे उपयुक्त गुणों के साथ | कॉन्फ़िगरेशन स्थान <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> | ||
Line 74: | Line 74: | ||
== संदर्भ == | == संदर्भ == | ||
<references/> | <references/> | ||
{{DEFAULTSORT:Configuration Space}}[[Category: कई गुना]] [[Category: टोपोलॉजी]] [[Category: बीजगणितीय टोपोलॉजी]] | {{DEFAULTSORT:Configuration Space}}[[Category: कई गुना]] [[Category: टोपोलॉजी]] [[Category: बीजगणितीय टोपोलॉजी]] |
Revision as of 17:04, 29 November 2023
गणित में, कॉन्फ़िगरेशन स्थान ऐसा निर्माण है जो भौतिकी में राज्य स्थान या चरण स्थान से निकटता से संबंधित है। भौतिकी में, इनका उपयोग उच्च-आयामी अंतरिक्ष में बिंदु के रूप में पूरे सिस्टम की स्थिति का वर्णन करने के लिए किया जाता है। गणित में, उनका उपयोग टोपोलॉजिकल स्पेस में स्थितियों के लिए बिंदुओं के संग्रह के असाइनमेंट का वर्णन करने के लिए किया जाता है। अधिक विशेष रूप से, गणित में कॉन्फ़िगरेशन स्थान कई गैर-टकराव वाले कणों के विशेष मामले में कॉन्फ़िगरेशन स्थान (भौतिकी)भौतिकी) के विशेष उदाहरण हैं।
परिभाषा
टोपोलॉजिकल स्पेस के लिए और सकारात्मक पूर्णांक , होने देना का कार्टेशियन उत्पाद हो की प्रतियाँ , उत्पाद टोपोलॉजी से सुसज्जित। तबवें (आदेश दिया गया) कॉन्फ़िगरेशन स्थान जोड़ीवार अलग-अलग बिंदुओं के एन-टुपल्स का सेट है :
यह स्थान आम तौर पर शामिल होने से उप-स्थान टोपोलॉजी से संपन्न होता है में . इसे कभी-कभी निरूपित भी किया जाता है , , या .[2]
सममित समूह की स्वाभाविक समूह क्रिया (गणित) होती है में बिंदुओं पर द्वारा दिए गए
यह क्रिया उत्पन्न करती हैnवें का अव्यवस्थित कॉन्फ़िगरेशन स्थान X,
जो उस क्रिया का कक्षीय स्थान है। अंतर्ज्ञान यह है कि यह क्रिया बिंदुओं के नाम भूल जाती है। कभी-कभी अव्यवस्थित कॉन्फ़िगरेशन स्थान को दर्शाया जाता है ,[2] , या . सभी पर अव्यवस्थित कॉन्फ़िगरेशन स्थानों का संग्रह अंतरिक्ष भागा है, और प्राकृतिक टोपोलॉजी के साथ आता है।
वैकल्पिक सूत्रीकरण
टोपोलॉजिकल स्पेस के लिए और परिमित समुच्चय , का कॉन्फ़िगरेशन स्थान X द्वारा लेबल किए गए कणों के साथ S है
के लिए , परिभाषित करना . फिरnX' का विन्यास स्थान है , और इसे सरलता से दर्शाया गया है .[3]
उदाहरण
- दो बिंदुओं के क्रमबद्ध विन्यास का स्थान वृत्त के साथ यूक्लिडियन 3-स्पेस के उत्पाद के लिए होमियोमोर्फिज्म है, अर्थात। .[2]*अधिक सामान्यतः, दो बिंदुओं का कॉन्फ़िगरेशन स्थान गोले की समरूपता है .[4]
- का कॉन्फ़िगरेशन स्थान में अंक का वर्गीकरण स्थान है वां चोटी समूह (#चोटी समूहों से कनेक्शन देखें)।
चोटी समूहों से कनेक्शन
n- जुड़ा हुआ स्थान टोपोलॉजिकल स्पेस पर स्ट्रैंड ब्रैड ग्रुप X है
का मौलिक समूह nवें का अव्यवस्थित कॉन्फ़िगरेशन स्थान X.n-स्ट्रैंड प्योर ब्रैड ग्रुप ऑन X है[2]
पहले अध्ययन किए गए ब्रैड समूह आर्टिन ब्रैड समूह थे . जबकि उपरोक्त परिभाषा वह नहीं है जो एमिल आर्टिन ने दी थी, एडॉल्फ हर्विट्ज़ ने आर्टिन ब्रैड समूहों को आर्टिन की परिभाषा (1891 में) से काफी पहले जटिल विमान के कॉन्फ़िगरेशन स्थानों के मौलिक समूहों के रूप में परिभाषित किया था।[5] यह इस परिभाषा और तथ्य से अनुसरण करता है और ईलेनबर्ग-मैकलेन प्रकार के स्थान हैं , कि विमान का अव्यवस्थित विन्यास स्थान आर्टिन ब्रैड समूह के लिए वर्गीकरण स्थान है, और शुद्ध आर्टिन ब्रैड समूह के लिए वर्गीकरण स्थान है, जब दोनों को अलग समूह माना जाता है।[6]
मैनिफोल्ड्स का कॉन्फ़िगरेशन स्थान
यदि मूल स्थान अनेक गुना है, इसके क्रमबद्ध विन्यास स्थान की शक्तियों के खुले उपस्थान हैं और इस प्रकार वे स्वयं अनेक हैं। अलग-अलग अव्यवस्थित बिंदुओं का कॉन्फ़िगरेशन स्थान भी कई गुना है, जबकि कॉन्फ़िगरेशन स्थान आवश्यक रूप से भिन्न नहीं है अव्यवस्थित बिंदु इसके बजाय कक्षीय गुना है।
कॉन्फ़िगरेशन स्पेस प्रकार का वर्गीकृत स्थान या (ठीक) मॉड्यूलि स्पेस है। विशेष रूप से, सार्वभौमिक बंडल है जो तुच्छ बंडल का उप-बंडल है , और जिसमें यह गुण है कि प्रत्येक बिंदु पर फाइबर होता है का n तत्व उपसमुच्चय है पी द्वारा वर्गीकृत।
समरूप अपरिवर्तनीय
होमोटोपी प्रकार के कॉन्फ़िगरेशन स्थान होमोटोपी अपरिवर्तनीय नहीं हैं। उदाहरण के लिए, रिक्त स्थान के किन्हीं दो भिन्न मानों के लिए समरूप समतुल्य नहीं हैं : के लिए खाली है , के लिए कनेक्ट नहीं है , ईलेनबर्ग-मैकलेन प्रकार का स्थान है , और के लिए बस जुड़ा हुआ स्थान है .
यह खुला प्रश्न हुआ करता था कि क्या कॉम्पैक्ट मैनिफोल्ड के उदाहरण थे जो होमोटोपी समकक्ष थे लेकिन गैर-होमोटॉपी समकक्ष कॉन्फ़िगरेशन स्थान थे: ऐसा उदाहरण केवल 2005 में रिकार्डो लोंगोनी और पाओलो साल्वाटोर द्वारा पाया गया था। उनके उदाहरण दो त्रि-आयामी लेंस स्थान और उनमें कम से कम दो बिंदुओं के विन्यास स्थान हैं। ये कॉन्फ़िगरेशन स्थान समरूप समतुल्य नहीं हैं, इसका पता मैसी उत्पादों द्वारा उनके संबंधित सार्वभौमिक आवरणों में लगाया गया था।[7] सिंपली कनेक्टेड स्पेस क्लोज्ड मैनिफोल्ड्स के कॉन्फ़िगरेशन स्पेस के लिए होमोटोपी इनवेरिएंस सामान्य रूप से खुला रहता है, और यह बेस फील्ड पर पकड़ बनाए रखने के लिए सिद्ध हुआ है। .[8][9] कम से कम 4 आयाम की सीमा के साथ सरल रूप से जुड़े कॉम्पैक्ट मैनिफोल्ड का वास्तविक होमोटॉपी इनवेरिएंस भी साबित हुआ।[10]
ग्राफ़ का कॉन्फ़िगरेशन स्थान
कुछ परिणाम ग्राफ़ (टोपोलॉजी) के कॉन्फ़िगरेशन स्थानों के लिए विशेष हैं। यह समस्या रोबोटिक्स और मोशन प्लानिंग से संबंधित हो सकती है: कोई कई रोबोटों को पटरियों पर रखने और उन्हें टकराव के बिना विभिन्न स्थितियों में ले जाने की कोशिश करने की कल्पना कर सकता है। ट्रैक ग्राफ़ के किनारों से मेल खाते हैं, रोबोट कणों से मेल खाते हैं, और सफल नेविगेशन उस ग्राफ़ के कॉन्फ़िगरेशन स्थान में पथ से मेल खाता है।[11] किसी भी ग्राफ़ के लिए , ईलेनबर्ग-मैकलेन प्रकार का स्थान है [11]और विरूपण आयाम के सीडब्ल्यू कॉम्प्लेक्स में वापस आ जाता है , कहाँ डिग्री (ग्राफ सिद्धांत) के शीर्षों की संख्या कम से कम 3 है।[11][12] इसके अतिरिक्त, और विरूपण गैर-सकारात्मक वक्रता में वापस आ जाता है | अधिकतम आयाम के गैर-सकारात्मक रूप से घुमावदार घनीय परिसर .[13][14]
यांत्रिक लिंकेज का विन्यास स्थान
ग्राफ़ के साथ यांत्रिक लिंकेज के कॉन्फ़िगरेशन स्थान को भी परिभाषित किया गया है इसकी अंतर्निहित ज्यामिति। इस तरह के ग्राफ को आमतौर पर कठोर छड़ों और टिकाओं के संयोजन के रूप में निर्मित माना जाता है। इस तरह के लिंकेज के कॉन्फ़िगरेशन स्थान को उचित मीट्रिक से सुसज्जित यूक्लिडियन स्पेस में इसके सभी स्वीकार्य पदों की समग्रता के रूप में परिभाषित किया गया है। सामान्य लिंकेज का कॉन्फ़िगरेशन स्थान सहज मैनिफोल्ड है, उदाहरण के लिए, इससे बने तुच्छ प्लानर लिंकेज के लिए कठोर छड़ें उल्टे जोड़ों से जुड़ी होती हैं, विन्यास स्थान एन-टोरस है .[15][16] ऐसे विन्यास स्थानों में सबसे सरल विलक्षणता बिंदु यूक्लिडियन अंतरिक्ष द्वारा सजातीय द्विघात हाइपरसतह पर शंकु का उत्पाद है। लिंकेज के लिए ऐसा विलक्षणता बिंदु उभरता है जिसे दो उप-लिंकेज में विभाजित किया जा सकता है जैसे कि उनके संबंधित समापन बिंदु ट्रेस-पथ गैर-अनुप्रस्थ तरीके से प्रतिच्छेद करते हैं, उदाहरण के लिए लिंकेज जिसे संरेखित किया जा सकता है (यानी पूरी तरह से पंक्ति में मोड़ा जा सकता है)।[17]
संघनन
कॉन्फ़िगरेशन स्थान अलग-अलग बिंदुओं का गैर-कॉम्पैक्ट होता है, जिसके सिरे वहां होते हैं जहां बिंदु एक-दूसरे के करीब आते हैं (संगामी हो जाते हैं)। कई ज्यामितीय अनुप्रयोगों के लिए कॉम्पैक्ट स्पेस की आवश्यकता होती है, इसलिए कोई संकलन (गणित)गणित) करना चाहेगा , यानी, इसे उपयुक्त गुणों के साथ कॉम्पैक्ट स्पेस के खुले उपसमुच्चय के रूप में एम्बेड करें। इस समस्या के लिए दृष्टिकोण राउल बॉट और क्लिफोर्ड टौब्स द्वारा दिए गए हैं,[18] साथ ही विलियम फुल्टन (गणितज्ञ) और रॉबर्ट मैकफरसन (गणितज्ञ)।[19]
यह भी देखें
- विन्यास स्थान (भौतिकी)
- राज्य अंतरिक्ष (भौतिकी)
संदर्भ
- ↑ 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.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.
- ↑ 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.
- ↑ Sinha, Dev (2010-02-20). "छोटे डिस्क ओपेराड की समरूपता". p. 2. arXiv:math/0610236.
- ↑ 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.
- ↑ 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.
- ↑ 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
- ↑ Campos, Ricardo; Willwacher, Thomas (2023). "बिंदुओं के विन्यास स्थानों के लिए एक मॉडल". Algebraic & Geometric Topology. 23 (5): 2029–2106. arXiv:1604.02043. doi:10.2140/agt.2023.23.2029.
- ↑ 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.
- ↑ Campos, Ricardo; Idrissi, Najib; Lambrechts, Pascal; Willwacher, Thomas (2018-02-02). "सीमा के साथ मैनिफोल्ड्स का कॉन्फ़िगरेशन स्थान". arXiv:1802.00716 [math.AT].
- ↑ 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
- ↑ 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.
- ↑ Świątkowski, Jacek (2001). "ग्राफ़ के कॉन्फ़िगरेशन स्थानों के समरूप आयाम का अनुमान". Colloquium Mathematicum (in polski). 89 (1): 69–79. doi:10.4064/cm89-1-5. MR 1853416.
- ↑ Lütgehetmann, Daniel (2014). ग्राफ़ के कॉन्फ़िगरेशन स्थान (Master’s thesis). Berlin: Free University of Berlin.
- ↑ 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.
- ↑ Farber, Michael (2007). टोपोलॉजिकल रोबोटिक्स के लिए निमंत्रण. american Mathematical Society.
- ↑ Shvalb, Nir; Blanc, David (2012). "लिंकेज की सामान्य एकवचन विन्यास". Topology and Its Applications (in English). 159 (3): 877–890. doi:10.1016/j.topol.2011.12.003.
- ↑ Bott, Raoul; Taubes, Clifford (1994-10-01). "गांठों के अपने आप जुड़ने पर". Journal of Mathematical Physics. 35 (10): 5247–5287. doi:10.1063/1.530750. ISSN 0022-2488.
- ↑ Fulton, William; MacPherson, Robert (January 1994). "कॉन्फ़िगरेशन रिक्त स्थान का एक संघनन". Annals of Mathematics. 139 (1): 183. doi:10.2307/2946631. ISSN 0003-486X. JSTOR 2946631.