सहवाद: Difference between revisions
From Vigyanwiki
No edit summary |
|||
| Line 1: | Line 1: | ||
[[File:Cobordism.svg|thumb| | [[File:Cobordism.svg|thumb|सह-सीमावाद (डब्ल्यू; एम, एन)।]]गणित में, '''सह-सीमावाद''' एक समान आयाम के सुसंहत प्रसमष्टि के वर्ग पर एक मौलिक तुल्यता संबंध है, जो कि प्रसमष्टि की सीमा (फ्रेंच बोर्ड, सह-सीमावाद) की अवधारणा का उपयोग करके स्थापित किया गया है। समान आयाम के दो प्रसमष्टि समरूप होते हैं यदि उनका असंयुक्त सम्मिलन एक सुसंहत प्रसमष्टि एक आयाम की सीमा है। | ||
एक (n + 1)-आयामी प्रसमष्टि W की सीमा एक n-आयामी प्रसमष्टि ∂W है जो कि रिक्त सीमा के साथ संवृत है। सामान्य रूप से, एक संवृत प्रसमष्टि को सीमा | एक (n + 1)-आयामी प्रसमष्टि W की सीमा एक n-आयामी प्रसमष्टि ∂W है जो कि रिक्त सीमा के साथ संवृत है। सामान्य रूप से, एक संवृत प्रसमष्टि को सीमा सह-सीमावाद सिद्धांत नहीं होना चाहिए, सभी संवृत प्रसमष्टि और जो सीमाएं हैं, के बीच अंतर का अध्ययन है। सिद्धांत मूल रूप से रेने थॉम द्वारा सामान्य प्रसमष्टि (अर्थात, अलग-अलग) के लिए विकसित किया गया था, लेकिन अब भागों के रैखिक और सांंस्थितिक प्रसमष्टि के संस्करण भी हैं। | ||
प्रसमष्टि ''M'' और ''N'' के बीच एक '' | प्रसमष्टि ''M'' और ''N'' के बीच एक ''सह-सीमावाद'' एक सुसंहत प्रसमष्टि ''W'' है, जिसकी सीमा ''M'' और ''N'' का <math>\partial W=M \sqcup N</math> असंयुक्त सम्मिलन है। | ||
सह-सीमावाद का अध्ययन उनके द्वारा उत्पन्न समतुल्यता संबंध के लिए और अपने आप में वस्तुओं के रूप में किया जाता है। सह-सीमावाद अवकलनीय तद्वता या सम-आकारिकी की तुलना में बहुत स्थूल तुल्यता संबंध है, और इसका अध्ययन और गणना करना काफी आसान है। आयाम ≥ 4 में अवकलनीय तद्वता या सम-आकारिकी तक प्रसमष्टि वर्गीकृत करना संभव नहीं है - क्योंकि समूहों के लिए पद समस्या को संशोधित नहीं किया जा सकता है - लेकिन सह-सीमावाद तक प्रसमष्टि वर्गीकृत करना संभव है। सह-सीमावाद ज्यामितीय सांस्थिति और बीजगणितीय सांस्थिति में अध्ययन की केंद्रीय वस्तुएं हैं। ज्यामितीय सांस्थिति में, सह-सीमावाद मोर्स सिद्धांत के साथ घनिष्ठ रूप से जुड़े हुए हैं, और h-सह-सीमावाद उच्च-आयामी प्रसमष्टि, अर्थात् प्रसमष्टि सिद्धांत के अध्ययन में मौलिक हैं। बीजगणितीय सांस्थिति में, सह-सीमावाद सिद्धांत मौलिक असाधारण सह समरूपता सिद्धांत हैं, और सह-सीमावाद की श्रेणियां सांंस्थितिक क्वांटम क्षेत्र सिद्धांतों के प्रक्षेत्र हैं। | |||
== परिभाषा == | == परिभाषा == | ||
=== प्रसमष्टि === | === प्रसमष्टि === | ||
सामान्य रूप से, एक n-आयाम प्रसमष्टि (गणित) M एक स्थलीय सांस्थितिक समष्टि [[पड़ोस (गणित)|प्रतिवेश | सामान्य रूप से, एक 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> | यूक्लिडियन समष्टि के एक विवृत उपसमुच्चय के बिना पड़ोस होमियोमॉर्फिक के बिना वे बिंदु 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 को समरूप कहा जाता है यदि इस तरह का एक | शब्दावली को सामान्य रूप से <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 को | प्रत्येक संवृत प्रसमष्टि 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| एकल वृत्त (शीर्ष पर) और असंबद्ध वृत्तों की एक जोड़ी (नीचे) के बीच एक सह-सीमा।]]यदि M में एक वृत्त है, और N में दो वृत्त हैं, तो M और N मिलकर पैंट (गणित) W की एक जोड़ी की सीमा बनाते हैं (दाईं ओर का चित्र देखें)। इस प्रकार पैंट के युग्म M और N के बीच एक | [[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 को अशक्त-समरूप कहा जाता है यदि M और रिक्त प्रसमष्टि के बीच एक सह-संबंध है; दूसरे शब्दों में, यदि M कुछ (n + 1)-प्रसमष्टि की संपूर्ण सीमा है। उदाहरण के लिए, वृत्त अशक्त है क्योंकि यह एक डिस्क को सीमित करता है। अधिक सामान्य रूप से, एक n-गोला अशक्त-सहवर्ती होता है क्योंकि यह एक (n + 1) -डिस्क को बांधता है। इसके अतिरिक्त, प्रत्येक उन्मुख सतह अशक्त-समन्वय है, क्योंकि यह एक | एक 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-संरचना के साथ सह सीमवाद" को उत्पन्न करता है। अनुकूल तकनीकी परिस्थितियों में ये एक श्रेणीबद्ध वलय बनाते हैं जिसे '''सह सीमवाद वलय''' | उपरोक्त परिभाषा का सबसे मौलिक रूप है। इसे उन्मुख सीमवाद भी कहा जाता है। कई स्थितियों में, प्रश्न में प्रसमष्टि उन्मुख होते हैं, या GG-संरचना के रूप में संदर्भित कुछ अन्य अतिरिक्त संरचना ले जाते हैं। यह क्रमशः "उन्मुख सह सीमवाद" और "G-संरचना के साथ सह सीमवाद" को उत्पन्न करता है। अनुकूल तकनीकी परिस्थितियों में ये एक श्रेणीबद्ध वलय बनाते हैं जिसे '''सह सीमवाद वलय''' <math>\Omega^G_*</math> कहा जाता है, आयाम द्वारा क्रमिक के साथ, अलग संघ द्वारा जोड़ और कार्तीय गुणनफल द्वारा गुणा किया जाता है। सह सीमवाद समूह <math>\Omega^G_*</math> एक सामान्यीकृत होमोलॉजी (सजातीयता) सिद्धांत के गुणांक समूह हैं। | ||
जब अतिरिक्त संरचना होती है, तो सह-सीमावाद की धारणा को अधिक परिशुद्ध रूप से तैयार किया जाना चाहिए: डब्ल्यू पर एक जी-संरचना एम और एन पर जी-संरचना तक सीमित है। | जब अतिरिक्त संरचना होती है, तो सह-सीमावाद की धारणा को अधिक परिशुद्ध रूप से तैयार किया जाना चाहिए: डब्ल्यू पर एक जी-संरचना एम और एन पर जी-संरचना तक सीमित है। | ||
मूल उदाहरण ''G'' = O गैर-उन्मुख सह- | मूल उदाहरण ''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> | ||
इसी तरह, शल्य चिकित्सा सिद्धांत में एक मानक उपकरण सामान्य मानचित्रों पर शल्य चिकित्सा है: ऐसी प्रक्रिया एक सामान्य मानचित्र को उसी सीमवाद वर्ग के अंदर दूसरे सामान्य मानचित्र में परिवर्तित कर देती है। | इसी तरह, शल्य चिकित्सा सिद्धांत में एक मानक उपकरण सामान्य मानचित्रों पर शल्य चिकित्सा है: ऐसी प्रक्रिया एक सामान्य मानचित्र को उसी सीमवाद वर्ग के अंदर दूसरे सामान्य मानचित्र में परिवर्तित कर देती है। | ||
अतिरिक्त संरचना पर विचार करने के अतिरिक्त, प्रसमष्टि की विभिन्न धारणाओं को ध्यान में रखना भी संभव है, विशेष रूप से | अतिरिक्त संरचना पर विचार करने के अतिरिक्त, प्रसमष्टि की विभिन्न धारणाओं को ध्यान में रखना भी संभव है, विशेष रूप से खंडश: रैखिक (पीएल) और सांंस्थितिक प्रसमष्टिके विभिन्न विचारों को ध्यान में रखना भी संभव है। यह सीमावाद समूहों <math>\Omega_*^{PL}(X), \Omega_*^{TOP}(X)</math> को उत्पन्न करता है, जिनकी गणना करना अलग-अलग प्रतिवर्त की तुलना में कठिन है।{{citation needed|date=September 2018}} | ||
==शल्य चिकित्सा का निर्माण== | ==शल्य चिकित्सा का निर्माण== | ||
याद करें कि सामान्य रूप से, यदि X, Y प्रसमष्टि सीमा के साथ हैं, तो गुणनफल प्रसमष्टि की सीमा | याद करें कि सामान्य रूप से, यदि 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 = 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> | ||
| Line 62: | Line 62: | ||
:<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> प्राप्त किया जाता है। इसे प्रतिवर्त प्रसमष्टि कहते हैं। | ||
[[ मारस्टन मोर्स | मारस्टन मोर्स]] , रेने थॉम और [[जॉन मिल्नोर]] के काम से, प्रत्येक सह- | [[ मारस्टन मोर्स | मारस्टन मोर्स]], रेने थॉम और [[जॉन मिल्नोर]] के काम से, प्रत्येक सह-सीमावाद प्राथमिक सह-सीमावाद का एक संघ है। | ||
=== उदाहरण === | === उदाहरण === | ||
[[File:Circle-surgery.svg|thumb|right|चित्र .1]]ऊपर दी गई परिभाषा के अनुसार, वृत्त पर एक शल्य चिकित्सा में एक प्रतिलिपि कर्तन <math>\mathbb{S}^0 \times \mathbb{D}^1</math> और संश्लिष्ट <math>\mathbb{D}^1 \times \mathbb{S}^0</math> होती है। चित्र 1 में चित्र दिखाते हैं कि ऐसा करने का परिणाम या तो (i) | [[File:Circle-surgery.svg|thumb|right|चित्र .1]]ऊपर दी गई परिभाषा के अनुसार, वृत्त पर एक शल्य चिकित्सा में एक प्रतिलिपि कर्तन <math>\mathbb{S}^0 \times \mathbb{D}^1</math> और संश्लिष्ट <math>\mathbb{D}^1 \times \mathbb{S}^0</math> होती है। चित्र 1 में चित्र दिखाते हैं कि ऐसा करने का परिणाम या तो (i) <math>\mathbb{S}^1</math> दोबारा, या (ii) की दो प्रतियां <math>\mathbb{S}^1</math>है। | ||
[[File:Sphere-surgery1.png|thumb|left|चित्र 2a]] | [[File:Sphere-surgery1.png|thumb|left|चित्र 2a]] | ||
[[File:Sphere-surgery2.png|thumb|right|चित्र 2b ]]2-गोले पर प्रसमष्टि के लिए, अधिक संभावनाएँ हैं, क्योंकि हम या | [[File:Sphere-surgery2.png|thumb|right|चित्र 2b ]]2-गोले पर प्रसमष्टि के लिए, अधिक संभावनाएँ हैं, क्योंकि हम या <math>\mathbb{S}^0 \times \mathbb{D}^2</math> या <math>\mathbb{S}^1 \times \mathbb{D}^1</math> तो प्रतिच्छेद कर प्रारंभ कर सकते हैं। | ||
{{ordered list | {{ordered list | ||
| Line 78: | Line 78: | ||
== मोर्स फलन == | == मोर्स फलन == | ||
मान लीजिए कि f एक (n + 1)-विमीय प्रसमष्टि पर एक [[मोर्स समारोह|मोर्स फलन]] | मान लीजिए कि f एक (n + 1)-विमीय प्रसमष्टि पर एक [[मोर्स समारोह|मोर्स फलन]] है, और मान लीजिए कि c एक महत्वपूर्ण मान है, जिसकी पूर्व छवि में ठीक एक महत्वपूर्ण बिंदु है। यदि इस महत्वपूर्ण बिंदु का सूचकांक p+1 है, तो स्तर-समुच्चय N := f<sup>−1</sup>(c + ε) M := f<sup>−1</sup>(c − ε) एक p-प्रसमष्टि द्वारा से प्राप्त होता है। प्रतिलोम प्रतिबिम्ब W := f<sup>−1</sup>([c − ε, c + ε]) एक सह-सीमावाद (W; M, N) को परिभाषित करता है जिसे इस प्रसमष्टि के चिन्ह से पहचाना जा सकता है। | ||
==== ज्यामिति, और मोर्स सिद्धांत और हैंडलबॉडीके साथ संबंध ==== | ==== ज्यामिति, और मोर्स सिद्धांत और हैंडलबॉडीके साथ संबंध ==== | ||
एक सह सीमवाद (W; M, N) को देखते हुए एक सामान्य फलन :W → [0, -1] जैसे कि f<sup>−1</sup>(0) = M, F<sup>−1</sup>(1) = N सम्मिलित है। सामान्य स्थिति से, कोई मान सकता है कि f मोर्स है और ऐसा है कि सभी महत्वपूर्ण बिंदु W के आंतरिक भाग में होते हैं। इस समुच्चयन में f को सह- | एक सह सीमवाद (W; M, N) को देखते हुए एक सामान्य फलन :W → [0, -1] जैसे कि f<sup>−1</sup>(0) = M, F<sup>−1</sup>(1) = N सम्मिलित है। सामान्य स्थिति से, कोई मान सकता है कि f मोर्स है और ऐसा है कि सभी महत्वपूर्ण बिंदु W के आंतरिक भाग में होते हैं। इस समुच्चयन में f को सह-सीमावाद पर मोर्स फलन कहा जाता है। सह-सीमावाद (W; M, N) M पर प्रसमष्टि के अनुक्रम के संकेत का एक संघ है, F के प्रत्येक महत्वपूर्ण बिंदु के लिए एक नियंत्रण अपघटन संलग्न करके प्रसमष्टि W, M × [0, -1] से प्राप्त किया जाता है। | ||
[[File:Cobordism.svg|thumb|3-आयामी सह- | [[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> प्रसमष्टि द्वारा m से प्राप्त n के साथ <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 में हेनरी पोनकारे द्वारा (असफल) प्रयास में थीं, जो होमोलॉजी को विशुद्ध रूप से प्रसमष्टि के संदर्भ में परिभाषित (ड्यूडोने 1989, पृष्ठ 289) करने के लिए था। पोंकारे ने एक साथ होमोलॉजी और सह-सीमावाद दोनों को परिभाषित किया, जो सामान्य रूप से समान नहीं हैं। सीमवाद और होमोलॉजी के बीच संबंधों के लिए सह-सीमावाद को एक असाधारण सह समरूपता सिद्धांत के रूप में देखें। | ||
प्रसमष्टि पर ज्यामितीय फलन में [[लेव पोंट्रीगिन]] द्वारा सीमवाद को स्पष्ट रूप से प्रस्तुत किया गया था। यह तब प्रमुखता में आया जब रेने थॉम ने दिखाया कि थॉम जटिल निर्माण के माध्यम से, [[होमोटॉपी सिद्धांत]] के माध्यम से | प्रसमष्टि पर ज्यामितीय फलन में [[लेव पोंट्रीगिन]] द्वारा सीमवाद को स्पष्ट रूप से प्रस्तुत किया गया था। यह तब प्रमुखता में आया जब रेने थॉम ने दिखाया कि थॉम जटिल निर्माण के माध्यम से, [[होमोटॉपी सिद्धांत]] के माध्यम से सह-सीमावाद समूहों की गणना की जा सकती है। सह-सीमावाद सिद्धांत के-सिद्धांत के साथ-साथ असाधारण सह समरूपता सिद्धांत के तंत्र का भाग बन गया। 1950 के दशक और 1960 के दशक के प्रारंभ में, विशेष रूप से हिर्ज़ब्रुक-रीमैन-रोच प्रमेय में, और अतियाह-सिंगर सुचकांक प्रमेय के पहले प्रमाणों में, इसने एक महत्वपूर्ण भूमिका निभाई। | ||
1980 के दशक में वस्तु (श्रेणी सिद्धांत) के रूप में सुसंहत प्रसमष्टि के साथ [[श्रेणी (गणित)]] और इन दोनों के बीच आकारिकी के रूप में | 1980 के दशक में वस्तु (श्रेणी सिद्धांत) के रूप में सुसंहत प्रसमष्टि के साथ [[श्रेणी (गणित)]] और इन दोनों के बीच आकारिकी के रूप में सह-सीमावाद ने सांंस्थितिक क्वांटम क्षेत्र [[कश्मीर सिद्धांत|k सिद्धांत]] के लिए अतियाह-सेगल स्वयंसिद्धों में एक मौलिक भूमिका निभाई, जो [[क्वांटम टोपोलॉजी|क्वांटम सांस्थिति]] का एक महत्वपूर्ण भाग है। | ||
== श्रेणीबद्ध स्वरूप == | == श्रेणीबद्ध स्वरूप == | ||
सह- | सह-सीमावाद वर्गों के अतिरिक्त, सह-सीमावाद अपने आप में अध्ययन की वस्तुएं हैं। सह-सीमावाद एक श्रेणी (गणित) बनाते हैं, जिनकी वस्तुएं प्रसमष्टि संवृत होती हैं और जिनकी आकृतियां सह-सीमावाद होती हैं। सामान्य रूप से, रचना को सिरे-से-सिरे तक एक साथ जोड़कर दिया जाता है: (W; M, N) और (W ′; N, P) की रचना को पहले के दाहिने सिरे को बायें सिरे से जोड़कर परिभाषित किया जाता है। दूसरा, उत्पादन (''W'' ′ ∪<sub>''N''</sub> ''W''; ''M'', ''P'') होता है। सह-सीमावाद एक प्रकार का सह-विस्तार M → W ← N है।<ref>While every cobordism is a cospan, the category of cobordisms is ''not'' a "cospan category": it is not the category of all cospans in "the category of manifolds with inclusions on the boundary", but rather a subcategory thereof, as the requirement that ''M'' and ''N'' form a partition of the boundary of ''W'' is a global constraint.</ref> श्रेणी एक [[डैगर कॉम्पैक्ट श्रेणी|डैगर सुसंहत श्रेणी]] है। | ||
एक सांंस्थितिक क्वांटम क्षेत्र सिद्धांत | एक सांंस्थितिक क्वांटम क्षेत्र सिद्धांत सह-सीमावाद की एक श्रेणी से सदिश समष्टि की एक श्रेणी के लिए एकपदीय [[ऑपरेटर|फलननिर्धारक]] है। यही है, यह फलननिर्धारक है जिसका मान प्रसमष्टि के असंबद्ध सम्मिलन पर प्रत्येक घटक प्रसमष्टि पर इसके मानो के प्रदिश गुणनफल के बराबर है। | ||
निम्न आयामों में, सीमावाद का प्रश्न अपेक्षाकृत सामान्य है, लेकिन सह-सीमावाद की श्रेणी नहीं है। उदाहरण के लिए, वृत्त को | निम्न आयामों में, सीमावाद का प्रश्न अपेक्षाकृत सामान्य है, लेकिन सह-सीमावाद की श्रेणी नहीं है। उदाहरण के लिए, वृत्त को परिबद्ध बिम्ब एक अशक्त (0-एरी) संक्रियक से अनुरूप है, जबकि बेलन 1-एरी संक्रियक और पैंट के युग्म एक बाइनरी संक्रियक से अनुरूप है। | ||
== असंबद्ध | == असंबद्ध सह-सीमावाद == | ||
{{Further| | {{Further|सह समरूपता सिद्धांतों की सूची § गैर-उन्मुख सह-सीमवाद}} | ||
संवृत अनियंत्रित | संवृत अनियंत्रित n-आयाम प्रसमष्टि के सह-सीमावाद वर्गों के समुच्चय को सामान्य रूप से <math>\mathfrak{N}_n</math> द्वारा (अतिरिक्त अधिक व्यवस्थित <math>\Omega_n^{\text{O}}</math>) निरूपित किया जाता है; यह संक्रियक के रूप में असंयुक्त सम्मिलन के साथ एक [[एबेलियन समूह]] है। अधिक विशेष रूप से, यदि [M] और [N] क्रमशः प्रसमष्टि | ||