विन्यास समष्टि (गणित): Difference between revisions
m (Arti Shah moved page कॉन्फ़िगरेशन स्थान (गणित) to कॉन्फ़िगरेशन समष्टि (गणित) without leaving a redirect) |
m (11 revisions imported from alpha:विन्यास_समष्टि_(गणित)) |
||
(9 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
[[File:Moebius_Surface_1_Display_Small.png|thumb|वृत्त पर बिंदुओं के सभी अव्यवस्थित युग्मों का विन्यास | [[File:Moebius_Surface_1_Display_Small.png|thumb|वृत्त पर बिंदुओं के सभी अव्यवस्थित युग्मों का विन्यास समष्टि मोबियस पट्टी है।]] | ||
गणित में, | गणित में, '''विन्यास समष्टि''' ऐसा निर्माण है जो भौतिकी में अवस्था समष्टि या [[चरण स्थान|चरण]] समष्टि से निकटता से संबंधित है। भौतिकी में, इनका उपयोग उच्च-आयामी समष्टि में बिंदु के रूप में पूर्ण प्रणाली की स्थिति का वर्णन करने के लिए किया जाता है। इस प्रकार गणित में, उनका उपयोग [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल]] समष्टि में स्थितियों के लिए बिंदुओं के संग्रह के असाइनमेंट का वर्णन करने के लिए किया जाता है। अधिक विशेष रूप से, गणित में विन्यास समष्टि विभिन्न नॉन-कोलिडिंग कणों के विशेष स्थिति में [[कॉन्फ़िगरेशन स्थान (भौतिकी)|विन्यास समष्टि (भौतिकी)]] के विशेष उदाहरण हैं। | ||
== परिभाषा == | == परिभाषा == | ||
टोपोलॉजिकल | टोपोलॉजिकल समष्टि <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>\operatorname{Conf}_n(X)</math> में बिंदुओं पर सममित समूह <math>S_n</math> की स्वाभाविक क्रिया होती है। | |||
: <math>\begin{align} | : <math>\begin{align} | ||
Line 15: | Line 16: | ||
(\sigma,x)&\longmapsto \sigma(x)=(x_{\sigma(1)},x_{\sigma(2)},\ldots,x_{\sigma(n)}). | (\sigma,x)&\longmapsto \sigma(x)=(x_{\sigma(1)},x_{\sigma(2)},\ldots,x_{\sigma(n)}). | ||
\end{align}</math> | \end{align}</math> | ||
यह क्रिया | यह क्रिया {{var|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>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> | |||
== उदाहरण == | == उदाहरण == | ||
* | *इस प्रकार <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> में <math>n</math> बिंदुओं का विन्यास समष्टि nवें ब्रैड समूह का वर्गीकरण समष्टि है (नीचे देखें)। | |||
== | == ब्रैड समूहों से सम्बन्ध == | ||
{{Main| | {{Main|ब्रैड समूह}} | ||
{{var| | इस प्रकार कनेक्टेड टोपोलॉजिकल समष्टि {{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" /> | |||
:<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>\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> \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> के लिए जुड़ा हुआ है | |||
== | यह एक रिक्त प्रश्न हुआ करता था कि क्या कॉम्पैक्ट मैनिफोल्ड्स के उदाहरण थे जो होमोटॉपी एक्विवलेंट थे किन्तु नॉन-होमोटॉपी एक्विवलेंट विन्यास समष्टि थे: इस प्रकार ऐसा उदाहरण केवल 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>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> | |||
==यह भी देखें == | |||
==यह भी देखें== | |||
{{Portal|Mathematics}} | {{Portal|Mathematics}} | ||
*विन्यास | *विन्यास समष्टि (भौतिकी) | ||
* | *स्टेट समष्टि (भौतिकी) | ||
== संदर्भ == | == संदर्भ == | ||
<references/> | <references/> | ||
{{DEFAULTSORT:Configuration Space}}[[Category: कई गुना]] [[Category: टोपोलॉजी]] [[Category: बीजगणितीय टोपोलॉजी]] | {{DEFAULTSORT:Configuration Space}}[[Category: कई गुना]] [[Category: टोपोलॉजी]] [[Category: बीजगणितीय टोपोलॉजी]] | ||
Line 83: | Line 73: | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 18/11/2023]] | [[Category:Created On 18/11/2023]] | ||
[[Category:Vigyan Ready]] |
Latest revision as of 21:48, 5 December 2023
गणित में, विन्यास समष्टि ऐसा निर्माण है जो भौतिकी में अवस्था समष्टि या चरण समष्टि से निकटता से संबंधित है। भौतिकी में, इनका उपयोग उच्च-आयामी समष्टि में बिंदु के रूप में पूर्ण प्रणाली की स्थिति का वर्णन करने के लिए किया जाता है। इस प्रकार गणित में, उनका उपयोग टोपोलॉजिकल समष्टि में स्थितियों के लिए बिंदुओं के संग्रह के असाइनमेंट का वर्णन करने के लिए किया जाता है। अधिक विशेष रूप से, गणित में विन्यास समष्टि विभिन्न नॉन-कोलिडिंग कणों के विशेष स्थिति में विन्यास समष्टि (भौतिकी) के विशेष उदाहरण हैं।
परिभाषा
टोपोलॉजिकल समष्टि और एक धनात्मक पूर्णांक के लिए, को कार्टेशियन टोपोलॉजी से सुसज्जित, का वां (आदेशित) विन्यास समष्टि में जोड़ीवार भिन्न-भिन्न बिंदुओं के -टुपल्स का समुच्चय है
यह समष्टि सामान्यतः में सम्मिलित होने से सब-समष्टि टोपोलॉजी से संपन्न होता है। इसे कभी-कभी या से भी दर्शाया जाता है [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]
यह भी देखें
- विन्यास समष्टि (भौतिकी)
- स्टेट समष्टि (भौतिकी)
संदर्भ
- ↑ 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.