सहवाद: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (6 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
[[File:Cobordism.svg|thumb| | [[File:Cobordism.svg|thumb|सह-सीमावाद (W,M,N)]]गणित में, '''सह-सीमावाद''' एक समान आयाम के सुसंहत प्रसमष्टि के वर्ग पर एक मौलिक तुल्यता संबंध है, जो कि प्रसमष्टि की सीमा (फ्रेंच बोर्ड, सह-सीमावाद) की अवधारणा का उपयोग करके स्थापित किया गया है। समान आयाम के दो प्रसमष्टि समरूप होते हैं यदि उनका असंयुक्त सम्मिलन एक सुसंहत प्रसमष्टि एक आयाम की सीमा है। | ||
एक (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> | ||
प्रसमष्टि सिद्धांत द्वारा प्राप्त किया गया <math>\mathbb{S}^p \times \mathbb{D}^q</math> के आंतरिक भाग को प्रतिच्छेद करके संश्लेषित करके <math>\mathbb{D}^{p+1} \times \mathbb{S}^{q-1}</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> | ||
| 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]]ऊपर दी गई परिभाषा के अनुसार, वृत्त पर एक शल्य चिकित्सा में एक प्रतिलिपि | [[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| | [[File:Sphere-surgery1.png|thumb|left|चित्र 2a]] | ||
[[File:Sphere-surgery2.png|thumb|right| | [[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 | ||
| list-style-type = lower-alpha|<math>\mathbb{S}^1 \times \mathbb{D}^1</math>: If we remove a cylinder from the 2-sphere, we are left with two disks. We have to glue back in <math>\mathbb{S}^0 \times \mathbb{D}^2</math> – that is, two disks - and it's clear that the result of doing so is to give us two disjoint spheres. (Fig. 2a)|[[File:Sphere-surgery4.png|thumb|right| | | list-style-type = lower-alpha|<math>\mathbb{S}^1 \times \mathbb{D}^1</math>: If we remove a cylinder from the 2-sphere, we are left with two disks. We have to glue back in <math>\mathbb{S}^0 \times \mathbb{D}^2</math> – that is, two disks - and it's clear that the result of doing so is to give us two disjoint spheres. (Fig. 2a)|[[File:Sphere-surgery4.png|thumb|right|चित्र 2c इस आकृति को 3-समष्टि में अन्तः स्थापित नहीं किया जा सकता है।]] | ||
<math>\mathbb{S}^0 \times \mathbb{D}^2</math>: Having cut out two disks <math>\mathbb{S}^0 \times \mathbb{D}^2,</math> we glue back in the cylinder <math>\mathbb{S}^1 \times \mathbb{D}^1.</math> There are two possible outcomes, depending on whether our gluing maps have the same or opposite orientation on the two boundary circles. If the orientations are the same (Fig. 2b), the resulting manifold is the [[torus]] <math>\mathbb{S}^1 \times \mathbb{S}^1</math> but if they are different, we obtain the [[Klein bottle]] (Fig. 2c). | <math>\mathbb{S}^0 \times \mathbb{D}^2</math>: Having cut out two disks <math>\mathbb{S}^0 \times \mathbb{D}^2,</math> we glue back in the cylinder <math>\mathbb{S}^1 \times \mathbb{D}^1.</math> There are two possible outcomes, depending on whether our gluing maps have the same or opposite orientation on the two boundary circles. If the orientations are the same (Fig. 2b), the resulting manifold is the [[torus]] <math>\mathbb{S}^1 \times \mathbb{S}^1</math> but if they are different, we obtain the [[Klein bottle]] (Fig. 2c). | ||
}} | }} | ||
== मोर्स | == मोर्स फलन == | ||
मान लीजिए कि f एक (n + 1)-विमीय प्रसमष्टि पर एक [[मोर्स समारोह]] है, और मान लीजिए कि c एक महत्वपूर्ण मान है, जिसकी पूर्व छवि में ठीक एक महत्वपूर्ण बिंदु है। यदि इस महत्वपूर्ण बिंदु का सूचकांक p+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) 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 में हेनरी पोनकारे द्वारा | सह-सीमावाद मूल 1895 में हेनरी पोनकारे द्वारा (असफल) प्रयास में थीं, जो सजातीय को विशुद्ध रूप से प्रसमष्टि के संदर्भ में परिभाषित (ड्यूडोने 1989, पृष्ठ 289) करने के लिए था। पोंकारे ने एक साथ सजातीय और सह-सीमावाद दोनों को परिभाषित किया, जो सामान्य रूप से समान नहीं हैं। सीमवाद और सजातीय के बीच संबंधों के लिए सह-सीमावाद को एक असाधारण सह समरूपता सिद्धांत के रूप में देखें। | ||
प्रसमष्टि पर ज्यामितीय | प्रसमष्टि पर ज्यामितीय फलन में [[लेव पोंट्रीगिन]] द्वारा सीमवाद को स्पष्ट रूप से प्रस्तुत किया गया था। यह तब प्रमुखता में आया जब रेने थॉम ने दिखाया कि थॉम जटिल निर्माण के माध्यम से, [[होमोटॉपी सिद्धांत|होमोटॉपी (समस्थेयता) सिद्धांत]] के माध्यम से सह-सीमावाद समूहों की गणना की जा सकती है। सह-सीमावाद सिद्धांत के-सिद्धांत के साथ-साथ असाधारण सह समरूपता सिद्धांत के तंत्र का भाग बन गया। 1950 के दशक और 1960 के दशक के प्रारंभ में, विशेष रूप से हिर्ज़ब्रुक-रीमैन-रोच प्रमेय में, और अतियाह-सिंगर सुचकांक प्रमेय के पहले प्रमाणों में, इसने एक महत्वपूर्ण भूमिका निभाई। | ||
1980 के दशक में | 1980 के दशक में वस्तु (श्रेणी सिद्धांत) के रूप में सुसंहत प्रसमष्टि के साथ [[श्रेणी (गणित)]] और इन दोनों के बीच आकारिकी के रूप में सह-सीमावाद ने सांंस्थितिक क्वांटम क्षेत्र [[कश्मीर सिद्धांत|k सिद्धांत]] के लिए अतियाह-सेगल स्वयंसिद्धों में एक मौलिक भूमिका निभाई, जो [[क्वांटम टोपोलॉजी|क्वांटम सांस्थिति]] का एक महत्वपूर्ण भाग है। | ||
== श्रेणीबद्ध | == श्रेणीबद्ध स्वरूप == | ||
सह- | |||