सहवाद: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[File:Cobordism.svg|thumb| | [[File:Cobordism.svg|thumb|सहवाद (डब्ल्यू; एम, एन)।]]गणित में, सहवाद एक समान आयाम के सुसंहत प्रसमष्टि के वर्ग पर एक मौलिक तुल्यता संबंध है, जो कि प्रसमष्टि की सीमा (फ्रेंच बोर्ड, सहवाद दे रहा है) की अवधारणा का उपयोग करके स्थापित किया गया है। समान आयाम के दो प्रसमष्टि समरूप होते हैं यदि उनका असंयुक्त सम्मिलन एक सुसंहत प्रसमष्टि एक आयाम की सीमा है। | ||
एक ( | एक (n + 1)-आयामी प्रसमष्टि W की सीमा एक n-आयामी प्रसमष्टि ∂W है जो कि रिक्त सीमा के साथ संवृत है। सामान्य रूप से, एक संवृत प्रसमष्टि को सीमा सहवाद सिद्धांत नहीं होना चाहिए, सभी संवृत प्रसमष्टि और जो सीमाएं हैं, के बीच अंतर का अध्ययन है। सिद्धांत मूल रूप से रेने थॉम द्वारा सामान्य प्रसमष्टि (अर्थात, अलग-अलग) के लिए विकसित किया गया था, लेकिन अब भागों के रैखिक और सांंस्थितिक प्रसमष्टि के संस्करण भी हैं। | ||
प्रसमष्टि '' | प्रसमष्टि ''M'' और ''N'' के बीच एक ''सहवाद'' एक सुसंहत प्रसमष्टि ''W'' है, जिसकी सीमा ''M'' और ''N'' का <math>\partial W=M \sqcup N</math> असंयुक्त सम्मिलन है। | ||
सहवाद का अध्ययन उनके द्वारा उत्पन्न समतुल्यता संबंध के लिए और अपने आप में वस्तुओं के रूप में किया जाता है। सहवाद अवकलनीय तद्वता या सम-आकारिकी की तुलना में बहुत स्थूल तुल्यता संबंध है, और इसका अध्ययन और गणना करना काफी आसान है। आयाम ≥ 4 में अवकलनीय तद्वता या सम-आकारिकी तक प्रसमष्टि वर्गीकृत करना संभव नहीं है - क्योंकि समूहों के लिए पद समस्या को संशोधित नहीं किया जा सकता है - लेकिन सहवाद तक प्रसमष्टि वर्गीकृत करना संभव है। सहवाद ज्यामितीय सांस्थिति और बीजगणितीय सांस्थिति में अध्ययन की केंद्रीय वस्तुएं हैं। ज्यामितीय सांस्थिति में, सहवाद मोर्स सिद्धांत के साथ घनिष्ठ रूप से जुड़े हुए हैं, और h-सहवाद उच्च-आयामी प्रसमष्टि, अर्थात् प्रसमष्टि सिद्धांत के अध्ययन में मौलिक हैं। बीजगणितीय सांस्थिति में, सहवाद सिद्धांत मौलिक असाधारण सह समरूपता सिद्धांत हैं, और सहवाद की श्रेणियां सांंस्थितिक क्वांटम क्षेत्र सिद्धांतों के प्रक्षेत्र हैं। | |||
== परिभाषा == | == परिभाषा == | ||
=== प्रसमष्टि === | === प्रसमष्टि === | ||
सामान्य रूप से, एक | सामान्य रूप से, एक n-आयाम प्रसमष्टि (गणित) M एक स्थलीय सांस्थितिक समष्टि [[पड़ोस (गणित)|प्रतिवेश (गणित)]] है (अर्थात, प्रत्येक बिंदु के पास) सम-आकारिकी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन समष्टि]] <math>\R^n</math> के एक विवृत उपसमुच्चय के लिए होमियोमॉर्फिक है। सीमा के साथ प्रसमष्टि समान है, इसके अतिरिक्त कि M के एक बिंदु को एक प्रतिवेश रखने की अनुमति है जो अर्धसमष्टि(ज्यामिति) के विवृत उपसमुच्चय के लिए होमोमोर्फिक है | ||
:<math>\{(x_1,\ldots,x_n) \in \R^n \mid x_n \geqslant 0\}.</math> | :<math>\{(x_1,\ldots,x_n) \in \R^n \mid x_n \geqslant 0\}.</math> | ||
यूक्लिडियन | यूक्लिडियन समष्टि के एक विवृत उपसमुच्चय के बिना पड़ोस होमियोमॉर्फिक के बिना वे बिंदु M के सीमा बिंदु हैं; M की सीमा <math>\partial M</math> द्वारा दर्शाया गया है। अंत में, परिभाषा के अनुसार, एक संवृत प्रसमष्टि सीमा के बिना एक सुसंहत समष्टि (<math>\partial M=\emptyset</math>) होता है। | ||
=== | === सहवाद === | ||
एक <math>(n+1)</math>-आयाम | एक <math>(n+1)</math>-आयाम सहवाद एक पंचगुण <math>(W; M, N, i, j)</math> है। जिसमे एक <math>(n+1)</math> आयामी सुसंहत अवकल प्रसमष्टि <math>W</math> संवृत किया हुआ और <math>n</math>-प्रसमष्टि <math>M</math>, <math>N</math> और अन्तः स्थापित <math>i\colon M \hookrightarrow \partial W</math>, <math>j\colon N \hookrightarrow\partial W</math> द्वारा असंबद्ध छवियों के साथ जैसे कि | ||
:<math>\partial W = i(M) \sqcup j(N)~.</math> | :<math>\partial W = i(M) \sqcup j(N)~.</math> | ||
शब्दावली को | शब्दावली को सामान्य रूप से <math>(W; M, N)</math> के लिए संक्षिप्त की जाती है।<ref>The notation "<math>(n+1)</math>-dimensional" is to clarify the dimension of all manifolds in question, otherwise it is unclear whether a "5-dimensional cobordism" refers to a 5-dimensional cobordism between 4-dimensional manifolds or a 6-dimensional cobordism between 5-dimensional manifolds.</ref> M और N को समरूप कहा जाता है यदि इस तरह का एक सहवाद सम्मिलित है। सभी प्रसमष्टि एक निश्चित दिए गए प्रसमष्टि M के लिए समरूप M के सहवाद वर्ग का निर्माण करते हैं। | ||
प्रत्येक संवृत प्रसमष्टि | प्रत्येक संवृत प्रसमष्टि M गैर-सुसंहत प्रसमष्टि M × [0, 1) की सीमा है; इस कारण से हमें आवश्यकता है कि W को सहवाद की परिभाषा में सुसंहत होना चाहिए। हालाँकि ध्यान दें कि W को संयोजित करने की आवश्यकता नहीं है; परिणामस्वरूप, यदि M = ∂W<sub>1</sub> और N = ∂W<sub>2</sub>, तो M और N सहसमन्वय हैं। | ||
=== उदाहरण === | === उदाहरण === | ||
सहवाद का सबसे सरल उदाहरण [[इकाई अंतराल]] {{nowrap|''I'' {{=}} [0, 1]}} होता है। यह 0-आयामी प्रसमष्टि {0}, {1} के बीच एक 1-आयामी सहवाद है। अधिक सामान्य रूप से, किसी भी संवृत प्रसमष्टि M के लिए, ({{nowrap|''M'' × ''I''}}; {{nowrap|''M'' × {0} }}, {{nowrap|''M'' × {1} }}) M × {0} से M × {1} तक सहवाद है। | |||
[[File:Pair of pants cobordism (pantslike).svg|thumb|right| एकल वृत्त (शीर्ष पर) और | [[File:Pair of pants cobordism (pantslike).svg|thumb|right| एकल वृत्त (शीर्ष पर) और असंबद्ध वृत्तों की एक जोड़ी (नीचे) के बीच एक सह-सीमा।]]यदि M में एक वृत्त है, और N में दो वृत्त हैं, तो M और N मिलकर पैंट (गणित) W की एक जोड़ी की सीमा बनाते हैं (दाईं ओर का चित्र देखें)। इस प्रकार पैंट के युग्म M और N के बीच एक सहवाद है। M और N के बीच एक सरल सहवाद तीन बिम्ब के असंयुक्त सम्मिलन द्वारा दिया जाता है। | ||
पैंट | पैंट के युग्म एक अधिक सामान्य सहवाद का एक उदाहरण है: किसी भी दो n-आयामी प्रसमष्टि M, M' के लिए, अलग सम्मिलन <math>M \sqcup M'</math> संसक्त राशि <math>M\mathbin{\#}M'</math> के अनुरूप है। पूर्व उदाहरण एक विशेष स्थिति है। क्योंकि संसक्त योग <math>\mathbb{S}^1\mathbin{\#}\mathbb{S}^1</math> के लिए <math>\mathbb{S}^1</math> समरूपीय है। संयोजित राशि <math>M\mathbin{\#}M'</math> असंबद्ध सम्मिलन से <math>M \sqcup M'</math> प्राप्त किया जाता है। अंत:स्थापन पर प्रसमष्टि द्वारा <math>\mathbb{S}^0 \times \mathbb{D}^n</math> में <math>M \sqcup M'</math> और सहवाद प्रसमष्टि का चिन्ह है। | ||
=== शब्दावली === | === शब्दावली === | ||
एक n-प्रसमष्टि M को अशक्त- | एक n-प्रसमष्टि M को अशक्त-समरूप कहा जाता है यदि M और रिक्त प्रसमष्टि के बीच एक सह-संबंध है; दूसरे शब्दों में, यदि M कुछ (n + 1)-प्रसमष्टि की संपूर्ण सीमा है। उदाहरण के लिए, वृत्त अशक्त है क्योंकि यह एक डिस्क को सीमित करता है। अधिक सामान्य रूप से, एक n-गोला अशक्त-सहवर्ती होता है क्योंकि यह एक (n + 1) -डिस्क को बांधता है। इसके अतिरिक्त, प्रत्येक उन्मुख सतह अशक्त-समन्वय है, क्योंकि यह एक हैंडलबॉडी की सीमा है। दूसरी ओर, 2n-आयामी [[वास्तविक प्रक्षेप्य स्थान|वास्तविक प्रक्षेप्य समष्टि]] <math>\mathbb{P}^{2n}(\R)</math> एक (सुसंहत) संवृत प्रसमष्टि है जो प्रसमष्टि की सीमा नहीं है, जैसा कि नीचे बताया गया है। | ||
सामान्य सीमावाद की समस्या विभिन्न स्थितियों के अधीन प्रसमष्टि के सह- | सामान्य सीमावाद की समस्या विभिन्न स्थितियों के अधीन प्रसमष्टि के सह-सीमावाद वर्गों की गणना करना है। | ||
अतिरिक्त संरचना वाले अशक्त-सह-संबंधों को | अतिरिक्त संरचना वाले अशक्त-सह-संबंधों को पूरक कहा जाता है। सीमावाद और सह-सीमावाद का उपयोग कुछ लेखकों द्वारा परस्पर विनिमय के रूप में किया जाता है; दूसरे उन्हें अलग करते हैं। जब कोई अपने स्वयं के अधिकार में वस्तुओं के रूप में सहवाद वर्गों के अध्ययन से अंतर करना चाहता है, तो वह तुल्यता प्रश्न को प्रसमष्टि की सीमावाद कहते हैं, और प्रसमष्टि वस्तुओं के रूप में सह-सीमावाद का अध्ययन करता है।{{Citation needed|date=March 2012}} | ||
सीमवाद शब्द फ्रांसीसी बोर्ड से आया है, जिसका अर्थ सीमा है। इसलिए सीमावाद सीमाओं का अध्ययन है। सहवाद का अर्थ संयुक्त रूप से बाध्य है, इसलिए M और N समरूप हैं यदि वे संयुक्त रूप से प्रसमष्टि बाध्य हैं; अर्थात, यदि उनका असम्बद्ध सम्मिलन एक सीमा है। इसके अतिरिक्त, सहवाद समूह एक असाधारण सह समरूपता सिद्धांत बनाते हैं। | |||
=== प्रकार === | === प्रकार === | ||
उपरोक्त परिभाषा का सबसे मौलिक रूप है। इसे | उपरोक्त परिभाषा का सबसे मौलिक रूप है। इसे उन्मुख सीमवाद भी कहा जाता है। कई स्थितियों में, प्रश्न में प्रसमष्टि उन्मुख होते हैं, या GG-संरचना के रूप में संदर्भित कुछ अन्य अतिरिक्त संरचना ले जाते हैं। यह क्रमशः "उन्मुख सह सीमवाद" और "G-संरचना के साथ सह सीमवाद" को उत्पन्न करता है। अनुकूल तकनीकी परिस्थितियों में ये एक श्रेणीबद्ध वलय बनाते हैं जिसे '''सह सीमवाद वलय''' <math>\Omega^G_*</math> कहा जाता है, आयाम द्वारा क्रमिक के साथ, अलग संघ द्वारा जोड़ और कार्तीय गुणनफल द्वारा गुणा किया जाता है। सह सीमवाद समूह <math>\Omega^G_*</math> एक सामान्यीकृत होमोलॉजी (सजातीयता) सिद्धांत के गुणांक समूह हैं। | ||
जब अतिरिक्त संरचना होती है, तो | जब अतिरिक्त संरचना होती है, तो सह-सीमावाद की धारणा को अधिक परिशुद्ध रूप से तैयार किया जाना चाहिए: डब्ल्यू पर एक जी-संरचना एम और एन पर जी-संरचना तक सीमित है। | ||
मूल उदाहरण ''G'' = O गैर-उन्मुख सह-सीमवाद के लिए ''G'' = SO उन्मुख सह-सीमावाद के लिए और ''G'' = U जटिल प्रसमष्टि का उपयोग करके जटिल सह-वाद के लिए हैं। रॉबर्ट ई. स्टोंग द्वारा और भी बहुत अधिक विस्तृत किया गया है।<ref>{{Cite book | publisher = [[Princeton University Press]] | last = Stong | first = Robert E. | authorlink=Robert Evert Stong|title=सह-बोर्डवाद सिद्धांत पर नोट्स|location=Princeton, NJ| year = 1968 }}</ref> | |||
इसी तरह, शल्य चिकित्सा सिद्धांत में एक मानक उपकरण सामान्य मानचित्रों पर शल्य चिकित्सा है: ऐसी प्रक्रिया एक सामान्य मानचित्र को उसी सीमवाद वर्ग के अंदर दूसरे सामान्य मानचित्र में परिवर्तित कर देती है। | |||
अब, आयाम n = p + q | अतिरिक्त संरचना पर विचार करने के अतिरिक्त, प्रसमष्टि की विभिन्न धारणाओं को ध्यान में रखना भी संभव है, विशेष रूप से खंडश: रैखिक (पीएल) और सांंस्थितिक प्रसमष्टिके विभिन्न विचारों को ध्यान में रखना भी संभव है। यह सीमावाद समूहों <math>\Omega_*^{PL}(X), \Omega_*^{TOP}(X)</math> को उत्पन्न करता है, जिनकी गणना करना अलग-अलग प्रतिवर्त की तुलना में कठिन है।{{citation needed|date=September 2018}} | ||
==शल्य चिकित्सा का निर्माण== | |||
याद करें कि सामान्य रूप से, यदि X, Y प्रसमष्टि सीमा के साथ हैं, तो गुणनफल प्रसमष्टि की सीमा {{nowrap|∂(''X'' × ''Y'') {{=}} (∂''X'' × ''Y'') ∪ (''X'' × ∂''Y'')}} है। | |||
अब, आयाम n = p + q का प्रसमष्टि M दिया गया अन्तः स्थापन <math>\varphi : \mathbb{S}^p \times \mathbb{D}^q \subset M,</math>को n-प्रसमष्टि परिभाषित करें | |||
:<math>N := (M - \operatorname{int~im}\varphi) \cup_{\varphi|_{\mathbb{S}^p\times \mathbb{S}^{q-1}}} \left(\mathbb{D}^{p+1}\times \mathbb{S}^{q-1}\right)</math> | :<math>N := (M - \operatorname{int~im}\varphi) \cup_{\varphi|_{\mathbb{S}^p\times \mathbb{S}^{q-1}}} \left(\mathbb{D}^{p+1}\times \mathbb{S}^{q-1}\right)</math> | ||
प्रसमष्टि सिद्धांत द्वारा प्राप्त किया गया <math>\mathbb{S}^p \times \mathbb{D}^q</math> के आंतरिक भाग को प्रतिच्छेद करके संश्लेषित करके <math>\mathbb{D}^{p+1} \times \mathbb{S}^{q-1}</math> शल्य चिकित्सा द्वारा प्राप्त किया गया, उनकी सीमा के साथ | |||
:<math>\partial \left (\mathbb{S}^p \times \mathbb{D}^q \right) = \mathbb{S}^p \times \mathbb{S}^{q-1} = \partial \left( \mathbb{D}^{p+1} \times \mathbb{S}^{q-1} \right).</math> | :<math>\partial \left (\mathbb{S}^p \times \mathbb{D}^q \right) = \mathbb{S}^p \times \mathbb{S}^{q-1} = \partial \left( \mathbb{D}^{p+1} \times \mathbb{S}^{q-1} \right).</math> | ||
प्रसमष्टि का चिन्ह | |||
:<math>W := (M \times I) \cup_{\mathbb{S}^p\times \mathbb{D}^q\times \{1\}} \left(\mathbb{D}^{p+1} \times \mathbb{D}^q\right)</math> | :<math>W := (M \times I) \cup_{\mathbb{S}^p\times \mathbb{D}^q\times \{1\}} \left(\mathbb{D}^{p+1} \times \mathbb{D}^q\right)</math> | ||
प्राथमिक सह-वाद (''W''; ''M'', ''N'') को परिभाषित करता है। ध्यान दें कि 'M' 'N' से प्रसमष्टि द्वारा <math>\mathbb{D}^{p+1}\times \mathbb{S}^{q-1} \subset N</math> प्राप्त किया जाता है। इसे प्रतिवर्त प्रसमष्टि कहते हैं। | |||
[[ मारस्टन मोर्स ]], रेने थॉम और [[जॉन मिल्नोर]] के काम से, प्रत्येक सह- | [[ मारस्टन मोर्स | मारस्टन मोर्स]] , रेने थॉम और [[जॉन मिल्नोर]] के काम से, प्रत्येक सह-सीमवाद प्राथमिक सह-सीमावाद का एक संघ है। | ||
=== उदाहरण === | === उदाहरण === | ||
| Line 68: | Line 70: | ||
[[File:Sphere-surgery1.png|thumb|left|अंजीर. 2a]] | [[File:Sphere-surgery1.png|thumb|left|अंजीर. 2a]] | ||
[[File:Sphere-surgery2.png|thumb|right|अंजीर. 2बी]]2-गोले पर | [[File:Sphere-surgery2.png|thumb|right|अंजीर. 2बी]]2-गोले पर प्रसमष्टि के लिए, अधिक संभावनाएँ हैं, क्योंकि हम या तो काट कर शुरू कर सकते हैं <math>\mathbb{S}^0 \times \mathbb{D}^2</math> या <math>\mathbb{S}^1 \times \mathbb{D}^1.</math> | ||
{{ordered list | {{ordered list | ||
| Line 76: | Line 78: | ||
== मोर्स फ़ंक्शंस == | == मोर्स फ़ंक्शंस == | ||
मान लीजिए कि f एक (n + 1)-विमीय प्रसमष्टि पर एक [[मोर्स समारोह]] है, और मान लीजिए कि c एक महत्वपूर्ण मान है, जिसकी पूर्व छवि में ठीक एक महत्वपूर्ण बिंदु है। यदि इस महत्वपूर्ण बिंदु का सूचकांक p+1 है, तो स्तर-सेट N := f<sup>−1</sup>(c + ε) M := f से प्राप्त होता है<sup>−1</sup>(c − ε) एक पी- | मान लीजिए कि f एक (n + 1)-विमीय प्रसमष्टि पर एक [[मोर्स समारोह]] है, और मान लीजिए कि c एक महत्वपूर्ण मान है, जिसकी पूर्व छवि में ठीक एक महत्वपूर्ण बिंदु है। यदि इस महत्वपूर्ण बिंदु का सूचकांक p+1 है, तो स्तर-सेट N := f<sup>−1</sup>(c + ε) M := f से प्राप्त होता है<sup>−1</sup>(c − ε) एक पी-प्रसमष्टि द्वारा। प्रतिलोम प्रतिबिम्ब W := f<sup>−1</sup>([c − ε, c + ε]) एक सहवाद (W; M, N) को परिभाषित करता है जिसे इस प्रसमष्टि के निशान से पहचाना जा सकता है। | ||
===ज्यामिति, और मोर्स सिद्धांत और हैंडलबॉडी === के साथ संबंध | ===ज्यामिति, और मोर्स सिद्धांत और हैंडलबॉडी === के साथ संबंध | ||
एक | एक सह सीमवाद (डब्ल्यू; एम, एन) को देखते हुए एक चिकनी कार्य सम्मिलित है: डब्ल्यू → [0, -1] ऐसा है कि एफ<sup>−1</sup>(0) = एम, एफ<sup>−1</sup>(1) = N. सामान्य स्थिति से, कोई मान सकता है कि f मोर्स है और ऐसा है कि सभी महत्वपूर्ण बिंदु W के इंटीरियर में होते हैं। इस सेटिंग में f को कोबोरिज्म पर मोर्स फ़ंक्शन कहा जाता है। सहवाद (डब्ल्यू; एम, एन) एम पर प्रसमष्टि के अनुक्रम के निशान का एक संघ है, एफ के प्रत्येक महत्वपूर्ण बिंदु के लिए एक। एफ के प्रत्येक महत्वपूर्ण बिंदु के लिए एक संभाल अपघटन संलग्न करके प्रसमष्टि डब्ल्यू एम × [0, -1] से प्राप्त किया जाता है। | ||
[[File:Cobordism.svg|thumb|3-आयामी सह-वाद <math>W = \mathbb{S}^1 \times \mathbb{D}^2 - \mathbb{D}^3</math> 2-गोले के बीच <math>M = \mathbb{S}^2</math> और 2-[[ टोरस्र्स ]] <math>N = \mathbb{S}^1 \times \mathbb{S}^1,</math> | [[File:Cobordism.svg|thumb|3-आयामी सह-वाद <math>W = \mathbb{S}^1 \times \mathbb{D}^2 - \mathbb{D}^3</math> 2-गोले के बीच <math>M = \mathbb{S}^2</math> और 2-[[ टोरस्र्स ]] <math>N = \mathbb{S}^1 \times \mathbb{S}^1,</math> प्रसमष्टि द्वारा एम से प्राप्त एन के साथ <math>\mathbb{S}^0 \times \mathbb{D}^2 \subset M,</math>और W ने M × I से 1-हैंडल संलग्न करके प्राप्त किया <math>\mathbb{D}^1 \times \mathbb{D}^2.</math>]]मोर्स/स्मेल प्रमेय कहता है कि सह-बोर्डवाद पर मोर्स फ़ंक्शन के लिए, f' की प्रवाह रेखाएं ट्रिपल (W; M, N) के एक हैंडल अपघटन को जन्म देती हैं। इसके विपरीत, एक सह-बोर्डवाद के हैंडल अपघटन को देखते हुए, यह एक उपयुक्त मोर्स फ़ंक्शन से आता है। उपयुक्त रूप से सामान्यीकृत सेटिंग में यह प्रक्रिया संभाल अपघटन और मोर्स कार्यों के बीच एक सहवाद के बीच एक पत्राचार देती है। | ||
== इतिहास == | == इतिहास == | ||
1895 में हेनरी पोनकारे द्वारा | 1895 में हेनरी पोनकारे द्वारा सहवाद की जड़ें (विफल) प्रयास में होमोलॉजी (गणित) को विशुद्ध रूप से प्रसमष्टि के संदर्भ में परिभाषित करने के लिए थीं। {{harv|Dieudonné|1989|loc=[https://archive.org/details/historyofalgebra0000dieu_g9a3/page/290 p. 289]}}. पोंकारे ने एक साथ होमोलॉजी और सहवाद दोनों को परिभाषित किया, जो सामान्य रूप से समान नहीं हैं। सीमावाद और समरूपता के बीच संबंध के लिए #Coboardism को एक [[असाधारण कोहोलॉजी सिद्धांत|असाधारण सह समरूपता सिद्धांत]] के रूप में देखें। | ||
प्रसमष्टि पर ज्यामितीय कार्य में [[लेव पोंट्रीगिन]] द्वारा | |||