हैंडल अपघटन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 4 users not shown)
Line 1: Line 1:
गणित में, ''m''-[[ कई गुना |बहुरूपता]] ''M'' का '''हैंडल अपघटन''' समुच्च है<math display="block">\emptyset = M_{-1} \subset M_0 \subset M_1 \subset M_2 \subset \dots \subset M_{m-1} \subset M_m = M</math>जहां प्रत्येक <math>M_i</math> को <math>i</math>-'''हैंडल''' संलग्न करके <math>M_{i-1}</math> से प्राप्त किया जाता है। हैंडल अपघटन सांस्थितिक अंतराल के लिए CW-अपघटन के समान बहुरूपता है - कई स्थितियों में हैंडल अपघटन का उद्देश्य [[सीडब्ल्यू कॉम्प्लेक्स|CW-संकुलों]] के अनुरूप एक भाषा है, लेकिन निष्कोण बहुरूपता की दुनिया के लिए अनुकूलित है। इस प्रकार ''i''-हैंडल ''i''-सेल का निष्कोण अनुरूप है। [[मोर्स सिद्धांत]] के माध्यम से बहुरूपताओं का हैंडल विघटन स्वाभाविक रूप से उत्पन्न होता है। हैंडल संरचनाओं का संशोधन [[सेर्फ़ सिद्धांत]] से निकटता से जुड़ा हुआ है।
गणित में, ''m''-[[ कई गुना |बहुरूपता]] ''M'' का '''हैंडल अपघटन''' समुच्च है<math display="block">\emptyset = M_{-1} \subset M_0 \subset M_1 \subset M_2 \subset \dots \subset M_{m-1} \subset M_m = M</math>जहां प्रत्येक <math>M_i</math> को <math>i</math>-'''हैंडल''' संलग्न करके <math>M_{i-1}</math> से प्राप्त किया जाता है। हैंडल अपघटन सांस्थितिक अंतराल के लिए सीडब्ल्यू (CW)-अपघटन के समान बहुरूपता है - कई स्थितियों में हैंडल अपघटन का उद्देश्य [[सीडब्ल्यू कॉम्प्लेक्स|सीडब्ल्यू-संकुलों]] के अनुरूप एक भाषा है, लेकिन निष्कोण बहुरूपता की दुनिया के लिए अनुकूलित है। इस प्रकार ''i''-हैंडल ''i''-सेल का निष्कोण अनुरूप है। [[मोर्स सिद्धांत]] के माध्यम से बहुरूपताओं का हैंडल विघटन स्वाभाविक रूप से उत्पन्न होता है। हैंडल संरचनाओं का संशोधन [[सेर्फ़ सिद्धांत]] से निकटता से जुड़ा हुआ है।
[[Image:Sphere with three handles.png|right|thumb|एक 3-गेंद जिसमें तीन 1-हैंडल लगे हुए हैं।]]
 
[[Image:Sphere with three handles.png|right|thumb|एक 3-गेंद जिसमें तीन 1-हैंडल्स जुड़े हुए हैं।]]


==अभिप्रेरण==
==अभिप्रेरण==
एक शून्य सेल और ''n''-सेल के साथ ''n''-वृत्त के मानक [[सीडब्ल्यू-कॉम्प्लेक्स|CW-अपघटन]] पर विचार करें। निष्कोण बहुरूपता के दृष्टिकोण से, यह वृत्त का एक विकृत अपघटन है, क्योंकि इस अपघटन की दृष्टि से <math>S^n</math> की निष्कोण संरचना को देखने का कोई प्राकृतिक तरीका नहीं है- विशेष रूप से 0-सेल के निकट निष्कोण संरचना <math>S^{n-1}</math> के क्षेत्र में विशेषता मानचित्र <math>\chi : D^n \to S^n</math> के व्यवहार पर निर्भर करती है।  
एक शून्य सेल और ''n''-सेल के साथ ''n''-वृत्त के मानक [[सीडब्ल्यू-कॉम्प्लेक्स|सीडब्ल्यू-अपघटन]] पर विचार करें। निष्कोण बहुरूपता के दृष्टिकोण से, यह वृत्त का एक विकृत अपघटन है, क्योंकि इस अपघटन की दृष्टि से <math>S^n</math> की निष्कोण संरचना को देखने का कोई प्राकृतिक तरीका नहीं है- विशेष रूप से 0-सेल के निकट निष्कोण संरचना <math>S^{n-1}</math> के क्षेत्र में विशेषता मानचित्र <math>\chi : D^n \to S^n</math> के व्यवहार पर निर्भर करती है।  


CW-अपघटन के साथ समस्या यह है कि सेलों के लिए संलग्न मानचित्र बहुरूपता के बीच निष्कोण मानचित्रों की दुनिया में नहीं रहते हैं। इस दोष को ठीक करने के लिए रोगाणु संबंधी अंतर्दृष्टि [[ट्यूबलर पड़ोस|नलिकाकार क्षेत्र]] प्रमेय है। बहुरूपता ''M'' में एक बिंदु ''p'' दिया गया है, इसका संवृत्त नलिकाकार क्षेत्र <math>N_p</math>, <math>D^m</math> से भिन्न है, इस प्रकार हमने ''M'' को <math>N_p</math> और <math>M \setminus \operatorname{int}(N_p)</math> के असंयुक्त समुच्च में विघटित कर दिया है, जो उनकी सामान्य सीमा से जुड़ा हुआ है। यहां महत्वपूर्ण मुद्दा यह है कि चिपकाने वाला मानचित्र एक भिन्नरूपता है। इसी प्रकार, <math>M \setminus \operatorname{int}(N_p)</math> में निष्कोण अंतःस्थापित चाप लें, इसका नलिकाकार क्षेत्र <math>I \times D^{m-1}</math> से भिन्न है। यह हमें <math>M</math> को तीन बहुरूपताओं के समुच्च के रूप में लिखने की अनुमति देता है, जो उनकी सीमाओं के कुछ भागों के साथ चिपके हुए हैं- 1) <math>D^m</math> 2) <math>I \times D^{m-1}</math> और 3) <math>M \setminus \operatorname{int}(N_p)</math> में चाप के विवृत नलिकाकार क्षेत्र का पूरक। ध्यान दें कि सभी चिपकाने वाले मानचित्र निष्कोण मानचित्र हैं - विशेष रूप से जब हम <math>I \times D^{m-1}</math> को <math>D^m</math> से चिपकाते हैं तो समतुल्य संबंध <math>\partial D^m</math> में <math>(\partial I)\times D^{m-1}</math> के अंतःस्थापन द्वारा उत्पन्न होता है, जो नलिकाकार क्षेत्र प्रमेय द्वारा निष्कोण होता है।
सीडब्ल्यू-अपघटन के साथ समस्या यह है कि सेलों के लिए संलग्न मानचित्र बहुरूपता के बीच निष्कोण मानचित्रों की दुनिया में नहीं रहते हैं। इस दोष को ठीक करने के लिए रोगाणु संबंधी अंतर्दृष्टि [[ट्यूबलर पड़ोस|नलिकाकार क्षेत्र]] प्रमेय है। बहुरूपता ''M'' में एक बिंदु ''p'' दिया गया है, इसका संवृत्त नलिकाकार क्षेत्र <math>N_p</math>, <math>D^m</math> से भिन्न है, इस प्रकार हमने ''M'' को <math>N_p</math> और <math>M \setminus \operatorname{int}(N_p)</math> के असंयुक्त समुच्च में विघटित कर दिया है, जो उनकी सामान्य सीमा से जुड़ा हुआ है। यहां महत्वपूर्ण मुद्दा यह है कि चिपकाने वाला मानचित्र एक भिन्नरूपता है। इसी प्रकार, <math>M \setminus \operatorname{int}(N_p)</math> में निष्कोण अंतःस्थापित चाप लें, इसका नलिकाकार क्षेत्र <math>I \times D^{m-1}</math> से भिन्न है। यह हमें <math>M</math> को तीन बहुरूपताओं के समुच्च के रूप में लिखने की अनुमति देता है, जो उनकी सीमाओं के कुछ भागों के साथ चिपके हुए हैं- 1) <math>D^m</math> 2) <math>I \times D^{m-1}</math> और 3) <math>M \setminus \operatorname{int}(N_p)</math> में चाप के विवृत नलिकाकार क्षेत्र का पूरक। ध्यान दें कि सभी चिपकाने वाले मानचित्र निष्कोण मानचित्र हैं - विशेष रूप से जब हम <math>I \times D^{m-1}</math> को <math>D^m</math> से चिपकाते हैं तो समतुल्य संबंध <math>\partial D^m</math> में <math>(\partial I)\times D^{m-1}</math> के अंतःस्थापन द्वारा उत्पन्न होता है, जो नलिकाकार क्षेत्र प्रमेय द्वारा निष्कोण होता है।


हैंडल अपघटन [[स्टीफन स्माले|स्टीफ़न स्माले]] का आविष्कार है।<ref>S. Smale, "On the structure of manifolds" Amer. J. Math. , 84 (1962) pp. 387–399</ref> उनके मूल सूत्रीकरण में, '''''j''-हैंडल को ''m''-बहुरूपता ''M'' से जोड़ने की प्रक्रिया''' यह मानती है कि किसी के पास <math>f : S^{j-1} \times D^{m-j} \to \partial M</math> का निष्कोण अंतःस्थापन है। माना <math>H^j = D^j \times D^{m-j}</math>। बहुरूपता <math>M \cup_f H^j</math> (शब्दों में, '''''M'' समुच्च ''j''-हैंडल ''f'' के साथ''') ''<math>M</math>'' और ''<math>H^j</math>'' के असंयुक्त समुच्च को संदर्भित करता है जिसमें ''<math>\partial M</math>'' में इसके चित्र के साथ ''<math>S^{j-1} \times D^{m-j}</math>'' की पहचान होती है, अर्थात,<math display="block"> M \cup_f H^j = \left( M \sqcup (D^j \times D^{m-j}) \right) / \sim</math>जहां [[भागफल स्थान (टोपोलॉजी)|समतुल्य संबंध]] <math>\sim</math> सभी <math>(p,x) \in S^{j-1} \times D^{m-j} \subset D^j \times D^{m-j}</math> के लिए <math>(p,x) \sim f(p,x)</math> द्वारा उत्पन्न होता है। एक का कहना है कि ''j''-हैंडल संलग्न करके ''M'' से बहुरूपता ''N'' प्राप्त किया जाता है यदि ''M'' का निश्चित रूप से अनेक ''j''-हैंडल के साथ समुच्च ''N'' से भिन्न है। हैंडल अपघटन की परिभाषा तब परिचय के समान है। इस प्रकार, बहुरूपता में केवल 0-हैंडल के साथ हैंडल अपघटन होता है यदि यह गेंदों के असंयुक्त समुच्च के लिए भिन्न होता है। संबद्ध बहुरूपता जिसमें केवल दो प्रकार के हैंडल होते हैं (अर्थात- 0-हैंडल और कुछ निश्चित ''j'' के लिए ''j''-हैंडल) को [[हैंडलबॉडी]] कहा जाता है।
हैंडल अपघटन [[स्टीफन स्माले|स्टीफ़न स्माले]] का आविष्कार है।<ref>S. Smale, "On the structure of manifolds" Amer. J. Math. , 84 (1962) pp. 387–399</ref> उनके मूल सूत्रीकरण में, '''''j''-हैंडल को ''m''-बहुरूपता ''M'' से जोड़ने की प्रक्रिया''' यह मानती है कि किसी के पास <math>f : S^{j-1} \times D^{m-j} \to \partial M</math> का निष्कोण अंतःस्थापन है। माना <math>H^j = D^j \times D^{m-j}</math>। बहुरूपता <math>M \cup_f H^j</math> (शब्दों में, '''''M'' समुच्च ''j''-हैंडल ''f'' के साथ''') ''<math>M</math>'' और ''<math>H^j</math>'' के असंयुक्त समुच्च को संदर्भित करता है जिसमें ''<math>\partial M</math>'' में इसके चित्र के साथ ''<math>S^{j-1} \times D^{m-j}</math>'' की पहचान होती है, अर्थात,<math display="block"> M \cup_f H^j = \left( M \sqcup (D^j \times D^{m-j}) \right) / \sim</math>जहां [[भागफल स्थान (टोपोलॉजी)|समतुल्य संबंध]] <math>\sim</math> सभी <math>(p,x) \in S^{j-1} \times D^{m-j} \subset D^j \times D^{m-j}</math> के लिए <math>(p,x) \sim f(p,x)</math> द्वारा उत्पन्न होता है। एक का कहना है कि ''j''-हैंडल संलग्न करके ''M'' से बहुरूपता ''N'' प्राप्त किया जाता है यदि ''M'' का निश्चित रूप से अनेक ''j''-हैंडल के साथ समुच्च ''N'' से भिन्न है। हैंडल अपघटन की परिभाषा तब परिचय के समान है। इस प्रकार, बहुरूपता में केवल 0-हैंडल के साथ हैंडल अपघटन होता है यदि यह गेंदों के असंयुक्त समुच्च के लिए भिन्न होता है। संबद्ध बहुरूपता जिसमें केवल दो प्रकार के हैंडल होते हैं (अर्थात- 0-हैंडल और कुछ निश्चित ''j'' के लिए ''j''-हैंडल) को [[हैंडलबॉडी]] कहा जाता है।
Line 11: Line 12:
==शब्दावली==
==शब्दावली==


''M'' समुच्च बनाते समय एक ''j''-हैंडल <math>H^j</math><math display="block"> M \cup_f H^j = \left( M \sqcup (D^j \times D^{m-j}) \right) / \sim</math><math>f(S^{j-1} \times \{0\}) \subset M</math> को '''संलग्न क्षेत्र''' के रूप में जाना जाता है।
''M'' समुच्च बनाते समय एक ''j''-हैंडल <math>H^j</math><math display="block"> M \cup_f H^j = \left( M \sqcup (D^j \times D^{m-j}) \right) / \sim</math><math>f(S^{j-1} \times \{0\}) \subset M</math> को '''संलग्न क्षेत्र''' के रूप में जाना जाता है।<br /><math>f</math> को कभी-कभी संलग्न क्षेत्र की फ्रेमिंग भी कहा जाता है, क्योंकि यह इसके [[सामान्य बंडल]] का [[वेक्टर बंडल|तुच्छीकरण]] देता है।


<math>f</math> को कभी-कभी संलग्न क्षेत्र की फ्रेमिंग भी कहा जाता है, क्योंकि यह इसके [[सामान्य बंडल]] का [[वेक्टर बंडल|तुच्छीकरण]] देता है।


<math>\{0\}^j \times S^{m-j-1} \subset D^j \times D^{m-j} = H^j</math>, <math> M \cup_f H^j</math> में हैंडल <math>H^j</math> का '''बेल्ट क्षेत्र''' है।
<math>\{0\}^j \times S^{m-j-1} \subset D^j \times D^{m-j} = H^j</math>, <math> M \cup_f H^j</math> में हैंडल <math>H^j</math> का '''बेल्ट क्षेत्र''' है।
Line 22: Line 21:
==कोबॉर्डिज़्म प्रस्तुतियाँ==
==कोबॉर्डिज़्म प्रस्तुतियाँ==


कोबॉर्डिज्म की एक हैंडल प्रस्तुति में कोबॉर्डिज्म ''डब्ल्यू'' शामिल होता है <math>\partial W = M_0 \cup M_1</math> और एक आरोही संघ
'''कोबॉर्डिज्म की हैंडल प्रस्तुति''' में कोबॉर्डिज्म ''W'' सम्मिलित होता है जहां <math>\partial W = M_0 \cup M_1</math> और आरोही समुच्च होता है<math display="block">W_{-1} \subset W_0 \subset W_1 \subset \cdots \subset W_{m+1} = W </math>जहां {{math|''M''}}, {{mvar|m}}-आयामी है, {{math|''W''}}, ''m+1''-आयामी है, <math>W_{-1}</math>, <math>M_0 \times [0,1]</math> से भिन्न है और <math>W_i</math> को ''i''-हैंडल के अनुलग्नक द्वारा <math>W_{i-1}</math> से प्राप्त किया जाता है। जबकि हैंडल अपघटन बहुरूपता के लिए अनुरूप हैं, सेल अपघटन सांस्थितिक अंतराल के लिए क्या हैं, कोबॉर्डिज्म की हैंडल प्रस्तुतियाँ सीमा के साथ बहुरूपता होती हैं जो अंतराल के जोड़े के लिए सापेक्ष सेल विघटन होता हैं।  
<math display="block">W_{-1} \subset W_0 \subset W_1 \subset \cdots \subset W_{m+1} = W </math>
कहाँ {{math|''M''}} है {{mvar|m}}-आयामी, {{math|''W''}} m+1-आयामी है, <math>W_{-1}</math> से भिन्न है <math>M_0 \times [0,1]</math> और <math>W_i</math> से प्राप्त किया जाता है <math>W_{i-1}</math> आई-हैंडल के लगाव से. जबकि हैंडल डीकंपोजिशन मैनिफोल्ड्स के लिए एनालॉग हैं, सेल डीकंपोजिशन टोपोलॉजिकल स्पेस के लिए क्या हैं, कोबॉर्डिज्म की हैंडल प्रस्तुतियां सीमा के साथ मैनिफोल्ड्स के लिए हैं, जो रिक्त स्थान के जोड़े के लिए सापेक्ष सेल डीकंपोजिशन हैं।


==मोर्स सैद्धांतिक दृष्टिकोण==
==मोर्स सैद्धांतिक दृष्टिकोण==


मोर्स सिद्धांत दिया गया <math>f : M \to \R</math> एक सघन सीमाहीन मैनिफोल्ड एम पर, जैसे कि [[महत्वपूर्ण बिंदु (गणित)]] <math>\{p_1, \ldots, p_k\} \subset M</math> च की संतुष्टि <math>f(p_1) < f(p_2) < \cdots < f(p_k) </math>, और प्रदान किया गया
सघन सीमाहीन बहुरूपता ''M'' पर मोर्स फलन <math>f : M \to \R</math> दिया गया है, जैसे कि ''f'' के [[महत्वपूर्ण बिंदु (गणित)|क्रांतिक बिंदु]] <math>\{p_1, \ldots, p_k\} \subset M</math><math>f(p_1) < f(p_2) < \cdots < f(p_k) </math> को संतुष्ट करते हैं, और प्रदान किया गया है<math display="block">t_0 < f(p_1) < t_1 < f(p_2) < \cdots < t_{k-1} < f(p_k) < t_k ,</math>फिर सभी ''j'' के लिए, <math>f^{-1}[t_{j-1},t_{j}]</math>, <math>(f^{-1}(t_{j-1}) \times [0,1]) \cup H^{I(j)}</math> से भिन्न है, जहां ''I''(''j'') क्रांतिक बिंदु <math>p_{j}</math> का सूचकांक है। ''सूचकांक'' ''I(j)'' स्पर्शी अंतराल <math>T_{p_j}M</math> के अधिकतम उप-अंतराल के आयाम को संदर्भित करता है जहां [[ हेस्सियन मैट्रिक्स |हेसियन]] ऋणात्मक निश्चित है।
<math display="block">t_0 < f(p_1) < t_1 < f(p_2) < \cdots < t_{k-1} < f(p_k) < t_k ,</math>
फिर सभी j के लिए, <math>f^{-1}[t_{j-1},t_{j}]</math> से भिन्न है <math>(f^{-1}(t_{j-1}) \times [0,1]) \cup H^{I(j)}</math> जहां I(j) क्रांतिक बिंदु का सूचकांक है <math>p_{j}</math>. सूचकांक I(j) स्पर्शरेखा स्थान के अधिकतम उपस्थान के आयाम को संदर्भित करता है <math>T_{p_j}M</math> जहां [[ हेस्सियन मैट्रिक्स ]] नकारात्मक निश्चित है।


बशर्ते सूचकांक संतुष्ट हों <math>I(1) \leq I(2) \leq \cdots \leq I(k)</math> यह एम का एक हैंडल अपघटन है, इसके अलावा, प्रत्येक मैनिफोल्ड में ऐसे मोर्स फ़ंक्शन होते हैं, इसलिए उनके पास हैंडल अपघटन होता है। इसी तरह, एक सह-बॉर्डिज्म दिया गया <math>W</math> साथ <math> \partial W = M_0 \cup M_1</math> और एक समारोह <math> f: W \to \R</math> जो आंतरिक भाग पर मोर्स है और सीमा पर स्थिर है और बढ़ती सूचकांक संपत्ति को संतुष्ट करता है, कोबॉर्डिज्म डब्ल्यू की एक प्रेरित हैंडल प्रस्तुति है।


जब f, M पर एक मोर्स फ़ंक्शन है, तो -f भी एक मोर्स फ़ंक्शन है। संबंधित हैंडल अपघटन/प्रस्तुति को 'दोहरी अपघटन' कहा जाता है।
बशर्ते सूचकांक <math>I(1) \leq I(2) \leq \cdots \leq I(k)</math> को संतुष्ट करें, यह ''M'' का एक हैंडल अपघटन है, इसके अलावा, प्रत्येक बहुरूपता में ऐसे मोर्स फलन होते हैं, इसलिए उनके पास हैंडल अपघटन होता है। इसी तरह, <math> \partial W = M_0 \cup M_1</math> के साथ कोबॉर्डिज्म <math>W</math> और फलन <math> f: W \to \R</math> दिया गया है, जो आंतरिक भाग पर मोर्स है और सीमा पर स्थिर है और बढ़ते सूचकांक गुण को संतुष्ट करता है, कोबॉर्डिज्म ''W'' की प्रेरित हैंडल प्रस्तुति है।


==कुछ प्रमुख प्रमेय और अवलोकन==
जब ''f'', ''M'' पर मोर्स फलन है, तो -''f'' भी एक मोर्स फलन है। संगत हैंडल अपघटन/प्रस्तुति को '''द्वि अपघटन''' कहा जाता है।
==कुछ प्रमुख प्रमेय एवं अवलोकन==


* एक बंद, ओरिएंटेबल 3-मैनिफोल्ड का हीगार्ड विभाजन, 3-मैनिफोल्ड का उनकी सामान्य सीमा के साथ दो (3,1)-हैंडलबॉडी के मिलन में एक अपघटन है, जिसे हीगार्ड विभाजन सतह कहा जाता है। हीगार्ड विभाजन कई प्राकृतिक तरीकों से 3-मैनिफोल्ड के लिए उत्पन्न होता है: 3-मैनिफोल्ड के एक हैंडल अपघटन को देखते हुए, 0 और 1-हैंडल का मिलन एक (3,1)-हैंडलबॉडी है, और 3 और 2- का मिलन है। हैंडल भी एक (3,1)-हैंडलबॉडी है (दोहरे अपघटन के दृष्टिकोण से), इस प्रकार एक हीगार्ड विभाजन है। यदि 3-मैनिफोल्ड में [[त्रिकोणासन (टोपोलॉजी)]] टी है, तो एक प्रेरित हीगार्ड विभाजन होता है जहां पहला (3,1)-हैंडलबॉडी 1-कंकाल का एक नियमित पड़ोस है <math>T^1</math>, और दूसरा (3,1)-हैंडलबॉडी पोंकारे द्वैत|दोहरे 1-कंकाल का एक नियमित पड़ोस है।
* संवृत, अभिविन्यसनीय 3-बहुरूपता का हीगार्ड विभाजन, उनकी सामान्य सीमा के साथ दो ''(3,1)''-हैंडलबॉडी के समुच्च में ''3''-बहुरूपता का अपघटन है, जिसे हीगार्ड विभाजन सतह कहा जाता है। हीगार्ड विभाजन कई प्राकृतिक तरीकों से 3-बहुरूपता तक उत्पन्न होता है- ''3''-बहुरूपता के हैंडल अपघटन को देखते हुए, ''0'' और ''1''-हैंडल का समुच्च ''(3,1)''-हैंडलबॉडी है, और ''3'' और ''2''-हैंडल का समुच्च भी ''(3,1)''-हैंडलबॉडी (द्वि अपघटन के दृष्टिकोण से) है, इस प्रकार हीगार्ड विभाजन होता है। यदि 3-बहुरूपता में [[त्रिकोणासन (टोपोलॉजी)|त्रिकोणीय]] ''T'' है, तो प्रेरित हीगार्ड विभाजन होता है जहां प्रथम ''(3,1)''-हैंडलबॉडी ''1''-रूपरेखा <math>T^1</math> का नियमित क्षेत्र होता है, और दूसरा ''(3,1'')-हैंडलबॉडी द्वि ''1''-रूपरेखा का नियमित क्षेत्र है।
* लगातार दो हैंडल जोड़ते समय <math>(M \cup_f H^i) \cup_g H^j</math>, बशर्ते कि अनुलग्नक के क्रम को बदलना संभव हो <math>j \leq i</math>, यानी: यह मैनिफोल्ड फॉर्म के मैनिफोल्ड से भिन्न है <math>(M \cup H^j) \cup H^i</math> उपयुक्त संलग्न मानचित्रों के लिए।
* अनुक्रमिक में दो हैंडल संलग्न करते समय <math>(M \cup_f H^i) \cup_g H^j</math>, अनुलग्नक के क्रम को स्विच करना संभव है, बशर्ते कि <math>j \leq i</math>, अर्थात- उपयुक्त संलग्न मानचित्रों के लिए यह बहुरूपता रूप <math>(M \cup H^j) \cup H^i</math> के बहुरूपता से भिन्न है।
* की सीमा <math>M \cup_f H^j</math> से भिन्न है <math>\partial M</math> फ़्रेमयुक्त गोले के साथ उछाल आया <math>f</math>. यह सर्जरी सिद्धांत, हैंडल और मोर्स फ़ंक्शन के बीच प्राथमिक लिंक है।
*<math>M \cup_f H^j</math> की सीमा फ़्रेमयुक्त वृत्त <math>f</math> के अनुदिश <math>\partial M</math> से भिन्न है। यह सर्जरी, हैंडल और मोर्स फलन के बीच प्राथमिक लिंक है।  
* परिणामस्वरूप, एक एम-मैनिफोल्ड एम एक एम+1-मैनिफोल्ड डब्ल्यू की सीमा है यदि और केवल यदि एम से प्राप्त किया जा सकता है <math>S^m</math> फ़्रेमयुक्त कड़ियों के संग्रह पर सर्जरी द्वारा <math>S^m</math>. उदाहरण के लिए, यह ज्ञात है कि [[एच-कोबॉर्डिज़्म]] के कारण प्रत्येक 3-मैनिफोल्ड 4-मैनिफोल्ड (इसी प्रकार उन्मुख और स्पिन 3-मैनिफोल्ड बाध्य ओरिएंटेड और स्पिन 4-मैनिफोल्ड क्रमशः) से बंधता है। रेने थॉम का कोबॉर्डिज्म पर काम। इस प्रकार प्रत्येक 3-मैनिफोल्ड को 3-गोले में फ़्रेम किए गए लिंक पर सर्जरी के माध्यम से प्राप्त किया जा सकता है। उन्मुख मामले में, इस फ़्रेम किए गए लिंक को मंडलियों के असंयुक्त संघ के फ़्रेमयुक्त एम्बेडिंग में कम करना पारंपरिक है।
* परिणामस्वरूप, ''m''-बहुरूपता ''M'', एक ''m+1''-बहुरूपता ''W'' की सीमा है यदि और केवल यदि ''M'' को <math>S^m</math> में फ़्रेम किए गए लिंक के संग्रह पर सर्जरी द्वारा <math>S^m</math> से प्राप्त किया जा सकता है। उदाहरण के लिए, यह ज्ञात है कि [[एच-कोबॉर्डिज़्म|कोबॉर्डिज्म]] पर रेने थॉम के काम के कारण प्रत्येक ''3''-बहुरूपता ''4''-बहुरूपता (क्रमशः अभिविन्यस्त और चक्रण ''3''-बहुरूपता बाध्य अभिविन्यस्त और चक्रण ''4''-बहुरूपता) को सीमित करता है। इस प्रकार प्रत्येक ''3''-बहुरूपता को 3-वृत्त में फ़्रेमयुक्त लिंक पर सर्जरी के माध्यम से प्राप्त किया जा सकता है। अभिविन्यस्त स्थिति में, इस फ़्रेम किए गए लिंक को वृत्तों के असंयुक्त समुच्च के फ़्रेमयुक्त अंतःस्थापन में कम करना सांकेतिक है।
* एच-कोबॉर्डिज्म|एच-कोबॉर्डिज्म प्रमेय चिकनी मैनिफोल्ड्स के हैंडल डीकंपोजिशन को सरल बनाकर सिद्ध किया गया है।
* H-कोबॉर्डिज्म प्रमेय को निष्कोण बहुरूपता के हैंडल अपघटन को सरल बनाकर सिद्ध किया गया है।


==यह भी देखें==
==यह भी देखें==
Line 48: Line 43:
*[[कैसन हैंडल]]
*[[कैसन हैंडल]]
*कोबॉर्डिज्म सिद्धांत
*कोबॉर्डिज्म सिद्धांत
*सीडब्ल्यू कॉम्प्लेक्स
*सीडब्ल्यू संकुल
*हैण्डलबॉडी
*हैण्डलबॉडी
*[[किर्बी कैलकुलस]]
*[[किर्बी कैलकुलस|किर्बी गणना]]
*कई गुना अपघटन
*बहुरूपता अपघटन


==संदर्भ==
==संदर्भ==
===टिप्पणियाँ===
===टिप्पणियाँ===
{{reflist}}
{{reflist}}
===सामान्य सन्दर्भ===
===सामान्य सन्दर्भ===
* ए. कोसिंस्की, डिफरेंशियल मैनिफोल्ड्स वॉल्यूम 138 प्योर एंड एप्लाइड मैथमेटिक्स, एकेडमिक प्रेस (1992)।
* ए. कोसिंस्की, डिफरेंशियल मैनिफोल्ड्स वॉल्यूम 138 प्योर एंड एप्लाइड मैथमेटिक्स, एकेडमिक प्रेस (1992)।
Line 67: Line 56:


{{DEFAULTSORT:Handle Decomposition}}
{{DEFAULTSORT:Handle Decomposition}}
श्रेणी:ज्यामितीय टोपोलॉजी


[[Category: Machine Translated Page]]
[[Category:Created On 05/07/2023|Handle Decomposition]]
[[Category:Created On 05/07/2023]]
[[Category:Machine Translated Page|Handle Decomposition]]
[[Category:Pages with script errors|Handle Decomposition]]
[[Category:Templates Vigyan Ready|Handle Decomposition]]

Latest revision as of 19:33, 21 July 2023

गणित में, m-बहुरूपता M का हैंडल अपघटन समुच्च है

जहां प्रत्येक को -हैंडल संलग्न करके से प्राप्त किया जाता है। हैंडल अपघटन सांस्थितिक अंतराल के लिए सीडब्ल्यू (CW)-अपघटन के समान बहुरूपता है - कई स्थितियों में हैंडल अपघटन का उद्देश्य सीडब्ल्यू-संकुलों के अनुरूप एक भाषा है, लेकिन निष्कोण बहुरूपता की दुनिया के लिए अनुकूलित है। इस प्रकार i-हैंडल i-सेल का निष्कोण अनुरूप है। मोर्स सिद्धांत के माध्यम से बहुरूपताओं का हैंडल विघटन स्वाभाविक रूप से उत्पन्न होता है। हैंडल संरचनाओं का संशोधन सेर्फ़ सिद्धांत से निकटता से जुड़ा हुआ है।

एक 3-गेंद जिसमें तीन 1-हैंडल्स जुड़े हुए हैं।

अभिप्रेरण

एक शून्य सेल और n-सेल के साथ n-वृत्त के मानक सीडब्ल्यू-अपघटन पर विचार करें। निष्कोण बहुरूपता के दृष्टिकोण से, यह वृत्त का एक विकृत अपघटन है, क्योंकि इस अपघटन की दृष्टि से की निष्कोण संरचना को देखने का कोई प्राकृतिक तरीका नहीं है- विशेष रूप से 0-सेल के निकट निष्कोण संरचना के क्षेत्र में विशेषता मानचित्र के व्यवहार पर निर्भर करती है।

सीडब्ल्यू-अपघटन के साथ समस्या यह है कि सेलों के लिए संलग्न मानचित्र बहुरूपता के बीच निष्कोण मानचित्रों की दुनिया में नहीं रहते हैं। इस दोष को ठीक करने के लिए रोगाणु संबंधी अंतर्दृष्टि नलिकाकार क्षेत्र प्रमेय है। बहुरूपता M में एक बिंदु p दिया गया है, इसका संवृत्त नलिकाकार क्षेत्र , से भिन्न है, इस प्रकार हमने M को और के असंयुक्त समुच्च में विघटित कर दिया है, जो उनकी सामान्य सीमा से जुड़ा हुआ है। यहां महत्वपूर्ण मुद्दा यह है कि चिपकाने वाला मानचित्र एक भिन्नरूपता है। इसी प्रकार, में निष्कोण अंतःस्थापित चाप लें, इसका नलिकाकार क्षेत्र से भिन्न है। यह हमें को तीन बहुरूपताओं के समुच्च के रूप में लिखने की अनुमति देता है, जो उनकी सीमाओं के कुछ भागों के साथ चिपके हुए हैं- 1) 2) और 3) में चाप के विवृत नलिकाकार क्षेत्र का पूरक। ध्यान दें कि सभी चिपकाने वाले मानचित्र निष्कोण मानचित्र हैं - विशेष रूप से जब हम को से चिपकाते हैं तो समतुल्य संबंध में के अंतःस्थापन द्वारा उत्पन्न होता है, जो नलिकाकार क्षेत्र प्रमेय द्वारा निष्कोण होता है।

हैंडल अपघटन स्टीफ़न स्माले का आविष्कार है।[1] उनके मूल सूत्रीकरण में, j-हैंडल को m-बहुरूपता M से जोड़ने की प्रक्रिया यह मानती है कि किसी के पास का निष्कोण अंतःस्थापन है। माना । बहुरूपता (शब्दों में, M समुच्च j-हैंडल f के साथ) और के असंयुक्त समुच्च को संदर्भित करता है जिसमें में इसके चित्र के साथ की पहचान होती है, अर्थात,

जहां समतुल्य संबंध सभी के लिए द्वारा उत्पन्न होता है। एक का कहना है कि j-हैंडल संलग्न करके M से बहुरूपता N प्राप्त किया जाता है यदि M का निश्चित रूप से अनेक j-हैंडल के साथ समुच्च N से भिन्न है। हैंडल अपघटन की परिभाषा तब परिचय के समान है। इस प्रकार, बहुरूपता में केवल 0-हैंडल के साथ हैंडल अपघटन होता है यदि यह गेंदों के असंयुक्त समुच्च के लिए भिन्न होता है। संबद्ध बहुरूपता जिसमें केवल दो प्रकार के हैंडल होते हैं (अर्थात- 0-हैंडल और कुछ निश्चित j के लिए j-हैंडल) को हैंडलबॉडी कहा जाता है।

शब्दावली

M समुच्च बनाते समय एक j-हैंडल

को संलग्न क्षेत्र के रूप में जाना जाता है।
को कभी-कभी संलग्न क्षेत्र की फ्रेमिंग भी कहा जाता है, क्योंकि यह इसके सामान्य बंडल का तुच्छीकरण देता है।


, में हैंडल का बेल्ट क्षेत्र है।

डिस्क पर g k-हैंडल जोड़कर प्राप्त किया गया बहुरूपता वर्ग g का (m,k)-हैंडलबॉडी है।

कोबॉर्डिज़्म प्रस्तुतियाँ

कोबॉर्डिज्म की हैंडल प्रस्तुति में कोबॉर्डिज्म W सम्मिलित होता है जहां और आरोही समुच्च होता है

जहां M, m-आयामी है, W, m+1-आयामी है, , से भिन्न है और को i-हैंडल के अनुलग्नक द्वारा से प्राप्त किया जाता है। जबकि हैंडल अपघटन बहुरूपता के लिए अनुरूप हैं, सेल अपघटन सांस्थितिक अंतराल के लिए क्या हैं, कोबॉर्डिज्म की हैंडल प्रस्तुतियाँ सीमा के साथ बहुरूपता होती हैं जो अंतराल के जोड़े के लिए सापेक्ष सेल विघटन होता हैं।

मोर्स सैद्धांतिक दृष्टिकोण

सघन सीमाहीन बहुरूपता M पर मोर्स फलन दिया गया है, जैसे कि f के क्रांतिक बिंदु , को संतुष्ट करते हैं, और प्रदान किया गया है

फिर सभी j के लिए, , से भिन्न है, जहां I(j) क्रांतिक बिंदु का सूचकांक है। सूचकांक I(j) स्पर्शी अंतराल के अधिकतम उप-अंतराल के आयाम को संदर्भित करता है जहां हेसियन ऋणात्मक निश्चित है।


बशर्ते सूचकांक को संतुष्ट करें, यह M का एक हैंडल अपघटन है, इसके अलावा, प्रत्येक बहुरूपता में ऐसे मोर्स फलन होते हैं, इसलिए उनके पास हैंडल अपघटन होता है। इसी तरह, के साथ कोबॉर्डिज्म और फलन दिया गया है, जो आंतरिक भाग पर मोर्स है और सीमा पर स्थिर है और बढ़ते सूचकांक गुण को संतुष्ट करता है, कोबॉर्डिज्म W की प्रेरित हैंडल प्रस्तुति है।

जब f, M पर मोर्स फलन है, तो -f भी एक मोर्स फलन है। संगत हैंडल अपघटन/प्रस्तुति को द्वि अपघटन कहा जाता है।

कुछ प्रमुख प्रमेय एवं अवलोकन

  • संवृत, अभिविन्यसनीय 3-बहुरूपता का हीगार्ड विभाजन, उनकी सामान्य सीमा के साथ दो (3,1)-हैंडलबॉडी के समुच्च में 3-बहुरूपता का अपघटन है, जिसे हीगार्ड विभाजन सतह कहा जाता है। हीगार्ड विभाजन कई प्राकृतिक तरीकों से 3-बहुरूपता तक उत्पन्न होता है- 3-बहुरूपता के हैंडल अपघटन को देखते हुए, 0 और 1-हैंडल का समुच्च (3,1)-हैंडलबॉडी है, और 3 और 2-हैंडल का समुच्च भी (3,1)-हैंडलबॉडी (द्वि अपघटन के दृष्टिकोण से) है, इस प्रकार हीगार्ड विभाजन होता है। यदि 3-बहुरूपता में त्रिकोणीय T है, तो प्रेरित हीगार्ड विभाजन होता है जहां प्रथम (3,1)-हैंडलबॉडी 1-रूपरेखा का नियमित क्षेत्र होता है, और दूसरा (3,1)-हैंडलबॉडी द्वि 1-रूपरेखा का नियमित क्षेत्र है।
  • अनुक्रमिक में दो हैंडल संलग्न करते समय , अनुलग्नक के क्रम को स्विच करना संभव है, बशर्ते कि , अर्थात- उपयुक्त संलग्न मानचित्रों के लिए यह बहुरूपता रूप के बहुरूपता से भिन्न है।
  • की सीमा फ़्रेमयुक्त वृत्त के अनुदिश से भिन्न है। यह सर्जरी, हैंडल और मोर्स फलन के बीच प्राथमिक लिंक है।
  • परिणामस्वरूप, m-बहुरूपता M, एक m+1-बहुरूपता W की सीमा है यदि और केवल यदि M को में फ़्रेम किए गए लिंक के संग्रह पर सर्जरी द्वारा से प्राप्त किया जा सकता है। उदाहरण के लिए, यह ज्ञात है कि कोबॉर्डिज्म पर रेने थॉम के काम के कारण प्रत्येक 3-बहुरूपता 4-बहुरूपता (क्रमशः अभिविन्यस्त और चक्रण 3-बहुरूपता बाध्य अभिविन्यस्त और चक्रण 4-बहुरूपता) को सीमित करता है। इस प्रकार प्रत्येक 3-बहुरूपता को 3-वृत्त में फ़्रेमयुक्त लिंक पर सर्जरी के माध्यम से प्राप्त किया जा सकता है। अभिविन्यस्त स्थिति में, इस फ़्रेम किए गए लिंक को वृत्तों के असंयुक्त समुच्च के फ़्रेमयुक्त अंतःस्थापन में कम करना सांकेतिक है।
  • H-कोबॉर्डिज्म प्रमेय को निष्कोण बहुरूपता के हैंडल अपघटन को सरल बनाकर सिद्ध किया गया है।

यह भी देखें

संदर्भ

टिप्पणियाँ

  1. S. Smale, "On the structure of manifolds" Amer. J. Math. , 84 (1962) pp. 387–399

सामान्य सन्दर्भ

  • ए. कोसिंस्की, डिफरेंशियल मैनिफोल्ड्स वॉल्यूम 138 प्योर एंड एप्लाइड मैथमेटिक्स, एकेडमिक प्रेस (1992)।
  • रॉबर्ट गोम्फ और एंड्रास स्टिप्सिक्ज़, 4-मैनिफोल्ड्स और किर्बी कैलकुलस, (1999) (गणित में स्नातक अध्ययन में खंड 20), अमेरिकन गणितीय सोसायटी, प्रोविडेंस, आरआई ISBN 0-8218-0994-6