श्रृंखला जटिल: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(16 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Tool in homological algebra}}
{{Short description|Tool in homological algebra}}
गणित में, श्रृंखला [[संकेतन]] [[बीजगणितीय संरचना]] है जिसमें [[एबेलियन समूह]]ों (या [[मॉड्यूल (गणित)]]) का अनुक्रम होता है और लगातार समूहों के बीच [[समूह समरूपता]] का अनुक्रम होता है जैसे कि प्रत्येक समरूपता की [[छवि (गणित)]] कर्नेल में शामिल होती है ( बीजगणित)#अगले की समूह समरूपताएँ। श्रृंखला परिसर से संबद्ध इसकी [[[[सह-समरूपता]] (गणित)]] है, जो बताती है कि छवियों को कर्नेल में कैसे शामिल किया जाता है।
गणित में, '''श्रृंखला [[संकेतन]]''' [[बीजगणितीय संरचना]] है जिसमें [[एबेलियन समूह|एबेलियन समूहो]] (या [[मॉड्यूल (गणित)]]) का अनुक्रम होता है और इस प्रकार निरंतर समूहों के बीच [[समूह समरूपता]] का अनुक्रम होता रहता है और जैसे कि प्रत्येक समरूपता की [[छवि (गणित)]] कर्नेल में सम्मिलित होती है यह ( बीजगणित) या अगले श्रंखला की समूह समरूपताएँ श्रृंखला परिसर से जुड़ी संबद्ध इसकी [[सह-समरूपता|सह-समरूपत]] होमोलॉजी होती है, जो बताती है कि छवियों को कर्नेल में कैसे सम्मिलित किया जाता है।


एक कोचेन कॉम्प्लेक्स चेन कॉम्प्लेक्स के समान है, सिवाय इसके कि इसकी समरूपताएं विपरीत दिशा में हैं। कोचेन कॉम्प्लेक्स की समरूपता को इसकी सहसंयोजकता कहा जाता है।
कोचेन कॉम्प्लेक्स श्रंखला कॉम्प्लेक्स के समान होता है,और अतिरिक्त  इसके कि इसकी समरूपताएं विपरीत दिशा में होती हैं। कोचेन कॉम्प्लेक्स की समरूपता को इसकी सहसंयोजकता भी कहा जाता है।


[[बीजगणितीय टोपोलॉजी]] में, [[टोपोलॉजिकल स्पेस]] इस श्रृंखला परिसर की समरूपता को एक्स की [[एकवचन समरूपता]] कहा जाता है, और यह टोपोलॉजिकल स्पेस का आमतौर पर इस्तेमाल किया जाने वाला [[ टोपोलॉजिकल अपरिवर्तनीय |टोपोलॉजिकल अपरिवर्तनीय]] है।
[[बीजगणितीय टोपोलॉजी]] में, [[टोपोलॉजिकल स्पेस]] इस श्रृंखला परिसर की समरूपता को X की [[एकवचन समरूपता]] कहा जाता है, और यह टोपोलॉजिकल स्पेस का सामान्यतः उपयोग किया जाने वाला [[ टोपोलॉजिकल अपरिवर्तनीय |टोपोलॉजिकल अपरिवर्तनीय]] होता है।


श्रृंखला परिसरों का अध्ययन होमोलॉजिकल बीजगणित में किया जाता है, लेकिन गणित के कई क्षेत्रों में उपयोग किया जाता है, जिसमें [[अमूर्त बीजगणित]], [[गैलोइस सिद्धांत]], अंतर ज्यामिति और [[बीजगणितीय ज्यामिति]] शामिल हैं। इन्हें आम तौर पर एबेलियन श्रेणियों में परिभाषित किया जा सकता है।
श्रृंखला परिसरों का अध्ययन होमोलॉजिकल बीजगणित में किया जाता है, किन्तु गणित के अनेक क्षेत्रों में भी इसका उपयोग किया जाता है, जिसमें [[अमूर्त बीजगणित]], [[गैलोइस सिद्धांत]], अंतर ज्यामिति और [[बीजगणितीय ज्यामिति]] सम्मिलित होते हैं।इस प्रकार इन्हें सामान्यतः एबेलियन श्रेणियों में परिभाषित किया जा सकता है।


==परिभाषाएँ==
==परिभाषाएँ       ==
एक शृंखला परिसर <math>(A_\bullet, d_\bullet)</math> एबेलियन समूहों या मॉड्यूल का क्रम है ..., <sub>0</sub>, <sub>1</sub>, <sub>2</sub>, <sub>3</sub>, <sub>4</sub>, ... समरूपताओं से जुड़ा हुआ (सीमा ऑपरेटर या अंतर कहा जाता है) {{nowrap|''d''<sub>''n''</sub> : ''A''<sub>''n''</sub> → ''A''<sub>''n''−1</sub>}}, इस प्रकार कि किन्हीं दो लगातार मानचित्रों की संरचना शून्य मानचित्र है। स्पष्ट रूप से, अंतर संतुष्ट करते हैं {{nowrap|1=''d''<sub>''n''</sub> ∘ ''d''<sub>''n''+1</sub> = 0}}, या दबाए गए सूचकांकों के साथ, {{nowrap|1=''d''<sup>2</sup> = 0}}. कॉम्प्लेक्स को इस प्रकार लिखा जा सकता है।
वह शृंखला परिसर <math>(A_\bullet, d_\bullet)</math> एबेलियन समूहों या मॉड्यूल का क्रम इस प्रकार है ..., ''A''<sub>0</sub>, ''A''<sub>1</sub>, ''A''<sub>2</sub>, ''A''<sub>3</sub>, ''A''<sub>4</sub>, ... समरूपताओं के द्वारा जुड़ा हुआ होता हैं| (जिसे सीमा ऑपरेटर या अंतर कहा जाता है) और {{nowrap|''d''<sub>''n''</sub> : ''A''<sub>''n''</sub> → ''A''<sub>''n''−1</sub>}}, इस प्रकार कि किन्हीं दो निरंतर मानचित्रों की संरचना शून्य मानचित्र होते है। स्पष्ट रूप से, अंतर {{nowrap|1=''d''<sub>''n''</sub> ∘ ''d''<sub>''n''+1</sub> = 0}}, संतुष्ट करते हैं या सूचकांकों को दबाए जानेपर {{nowrap|1=''d''<sup>2</sup> = 0}}. संतुष्ट करते हैं। और कॉम्प्लेक्स को इस प्रकार लिखा जा सकता है|


::<math>
::<math>
Line 21: Line 21:
\cdots
\cdots
</math>
</math>
कोचेन कॉम्प्लेक्स <math>(A^\bullet, d^\bullet)</math> श्रृंखला परिसर के लिए [[दोहरी (श्रेणी सिद्धांत)]] धारणा है। इसमें एबेलियन समूहों या मॉड्यूल का अनुक्रम शामिल है ..., <sup>0</sup>, <sup>1</sup>, <sup>2</sup>, <sup>3</sup>, <sup>4</sup>, ... समरूपता से जुड़ा हुआ {{nowrap|''d''<sup>''n''</sup> : ''A''<sup>''n''</sup> → ''A''<sup>''n''+1</sup>}} संतुष्टि देने वाला {{nowrap|1=''d''<sup>''n''+1</sup> ∘ ''d''<sup>''n''</sup> = 0}}. कोचेन कॉम्प्लेक्स को चेन कॉम्प्लेक्स के समान तरीके से लिखा जा सकता है।
कोचेन कॉम्प्लेक्स <math>(A^\bullet, d^\bullet)</math> श्रृंखला परिसर के लिए [[दोहरी (श्रेणी सिद्धांत)]] धारणा है।और इस प्रकार इसमें एबेलियन समूहों या मॉड्यूल का अनुक्रम सम्मिलित है जो ..., ''A''<sup>0</sup>, ''A''<sup>1</sup>, ''A''<sup>2</sup>, ''A''<sup>3</sup>, ''A''<sup>4</sup>,... समरूपता से जुड़ा हुआ हैं और यह {{nowrap|''d''<sup>''n''</sup> : ''A''<sup>''n''</sup> → ''A''<sup>''n''+1</sup>}} संतुष्टि देने वाला {{nowrap|1=''d''<sup>''n''+1</sup> ∘ ''d''<sup>''n''</sup> = 0}}. कोचेन कॉम्प्लेक्स हो सकता हैं और श्रंखला कॉम्प्लेक्स के समान विधियों से लिखा जा सकता है|


::<math>
::<math>
Line 33: Line 33:
\cdots
\cdots
</math>
</math>
किसी भी में सूचकांक एन<sub>''n''</sub> या <sup>n</sup> को 'डिग्री' (या 'आयाम') कहा जाता है। चेन और कोचेन कॉम्प्लेक्स के बीच अंतर यह है कि, चेन कॉम्प्लेक्स में, अंतर आयाम को कम करते हैं, जबकि कोचेन कॉम्प्लेक्स में वे आयाम बढ़ाते हैं। चेन कॉम्प्लेक्स के लिए सभी अवधारणाएं और परिभाषाएं कोचेन कॉम्प्लेक्स पर लागू होती हैं, सिवाय इसके कि वे आयाम के लिए इस अलग सम्मेलन का पालन करेंगे, और अक्सर शब्दों को [[उपसर्ग]] सह- दिया जाएगा। इस लेख में, श्रृंखला परिसरों के लिए परिभाषाएँ दी जाएंगी जब भेद की आवश्यकता नहीं होगी।
किसी भी n में सूचकांक ''A<sub>n</sub>'' या ''A<sup>n</sup>'' को 'डिग्री' (या 'आयाम') के रूप में जाना जाता हैं| श्रंखला और कोचेन कॉम्प्लेक्स के बीच अंतर यह है कि, श्रंखला कॉम्प्लेक्स में, अंतर आयाम को कम करते हैं, जबकि कोचेन कॉम्प्लेक्स में वे आयाम बढ़ाते हैं। इस प्रकार श्रंखला कॉम्प्लेक्स के लिए सभी अवधारणाएं और परिभाषाएं कोचेन कॉम्प्लेक्स पर प्रयुक्त होती हैं, अतिरिक्त  इसके कि वे आयाम के लिए इस भिन्न  सम्मेलन का पालन करेंगे, और अधिकांशतः शब्दों को [[उपसर्ग]] सह- दिया जाएगा। और इस लेख में, श्रृंखला परिसरों के लिए परिभाषाएँ तब दी जाएंगी जब भेद की आवश्यकता नहीं होगी।


एक 'बाउंडेड चेन कॉम्प्लेक्स' वह है जिसमें लगभग सभी#कार्डिनैलिटी ए होती है<sub>''n''</sub> 0 हैं; अर्थात्, परिमित संकुल को बायीं और दायीं ओर 0 से बढ़ाया गया है। उदाहरण श्रृंखला संकुल है जो परिमित सरल संकुल की सरल समरूपता को परिभाषित करता है। यदि किसी निश्चित डिग्री ''एन'' से ऊपर के सभी मॉड्यूल 0 हैं, तो चेन कॉम्प्लेक्स ऊपर से घिरा हुआ है, और यदि कुछ निश्चित डिग्री से नीचे के सभी मॉड्यूल 0 हैं, तो नीचे से घिरा हुआ है। स्पष्ट रूप से, कॉम्प्लेक्स ऊपर और नीचे दोनों से घिरा हुआ है यदि और केवल यदि जटिल घिरा हुआ है.
एक 'परिबद्ध श्रृंखला कॉम्प्लेक्स' वह है जिसमें लगभग या सभी कार्डिनैलिटी A<sub>''n''</sub> 0 होती है अर्थात्, परिमित संकुल को बायीं और दायीं ओर 0 से बढ़ाया गया है। उदाहरण श्रृंखला संकुल होता है जो परिमित सरल संकुल की सरल समरूपता को परिभाषित करता है। और यदि यह किसी निश्चित डिग्री ''N'' से ऊपर के सभी मॉड्यूल 0 हैं, तो श्रंखला कॉम्प्लेक्स ऊपर से घिरा हुआ होता है, और यदि कुछ निश्चित डिग्री N से नीचे के सभी मॉड्यूल 0 होते हैं, तो नीचे से घिरा हुआ होता है। इस प्रकार स्पष्ट रूप से, कॉम्प्लेक्स ऊपर और नीचे दोनों से घिरा हुआ होता है यदि केवल सम्मिश्र घिरा हुआ है|


(सह)श्रृंखला परिसर के व्यक्तिगत समूहों के तत्वों को (सह)श्रृंखला कहा जाता है। ''d'' के कर्नेल में तत्वों को (co)चक्र (या बंद तत्व) कहा जाता है, और ''d'' की छवि में तत्वों को (co)सीमाएँ (या सटीक तत्व) कहा जाता है। अंतर की परिभाषा से ही, सभी सीमाएँ चक्र हैं। ''एन''-वें (सह)होमोलॉजी समूह ''एच''<sub>''n''</sub> (एच<sup>n</sup>) डिग्री n में (co)चक्र मॉड्यूलो (शब्दजाल)#संरचनाओं (co)सीमाओं का समूह है, अर्थात,
(सह)श्रृंखला परिसर के व्यक्तिगत समूहों के अवयवों  को (सह)श्रृंखला कहा जाता है। और ''d'' के कर्नेल में अवयवों  को ( सीओ)चक्र (या संवर्त  अवयव ) कहा जाता है, और इस प्रकार ''d'' की छवि में अवयवों  को ( सीओ) सीमाएँ (या स्पष्ट अवयव ) कहा जाता है। अंतर की परिभाषा से ही, सभी सीमाएँ चक्र होते हैं। अर्थात''','''n-वें ( सीओ) होमोलॉजी समूह ''H<sub>n</sub>'' (''H<sup>n</sup>'') डिग्री n में ( सीओ) चक्र मॉड्यूलो (शब्दजाल)या संरचनाओं ( सीओ) सीमाओं का समूह होता है|


::<math>H_n = \ker d_{n}/\mbox{im } d_{n+1} \quad \left(H^n = \ker d^{n}/\mbox{im } d^{n-1} \right)</math>
::<math>H_n = \ker d_{n}/\mbox{im } d_{n+1} \quad \left(H^n = \ker d^{n}/\mbox{im } d^{n-1} \right)</math>
===स्पष्ट अनुक्रम                                ===
{{main|सटीक क्रम}}


एक स्पष्ट अनुक्रम (या स्पष्ट कॉम्प्लेक्स) श्रृंखला कॉम्प्लेक्स होता है जिसके सभी समरूप समूह शून्य होते हैं। इसका कारण यह है कि कॉम्प्लेक्स में सभी संवर्त  अवयव  स्पष्ट होते हैं।और संक्षिप्त स्पष्ट अनुक्रम परिबद्ध स्पष्ट अनुक्रम होते है जिसमें केवल समूह ''A<sub>k</sub>'', ''A<sub>k</sub>''<sub>+1</sub>, ''A<sub>k</sub>''<sub>+2</sub> शून्येतर हो सकता है. उदाहरण के लिए, निम्नलिखित श्रृंखला परिसर संक्षिप्त स्पष्ट अनुक्रम होता है।


===सटीक अनुक्रम===
{{main|Exact sequence}}
एक सटीक अनुक्रम (या सटीक कॉम्प्लेक्स) श्रृंखला कॉम्प्लेक्स है जिसके सभी समरूप समूह शून्य हैं। इसका मतलब है कि कॉम्प्लेक्स में सभी बंद तत्व सटीक हैं। संक्षिप्त सटीक अनुक्रम परिबद्ध सटीक अनुक्रम है जिसमें केवल समूह ''ए''<sub>''k''</sub>, ए<sub>''k''+1</sub>, ए<sub>''k''+2</sub> शून्येतर हो सकता है. उदाहरण के लिए, निम्नलिखित श्रृंखला परिसर संक्षिप्त सटीक अनुक्रम है।
:<math>
:<math>
\cdots
\cdots
Line 55: Line 55:
\cdots
\cdots
</math>
</math>
मध्य समूह में, बंद तत्व तत्व pZ हैं; ये स्पष्ट रूप से इस समूह के सटीक तत्व हैं।
मध्य समूह में, संवर्त  अवयव  अवयव  pZ हैं; और ये स्पष्ट रूप से इस समूह के स्पष्ट अवयव  होते हैं।


===श्रृंखला मानचित्र===
===श्रृंखला मानचित्र===
दो श्रृंखला परिसरों के बीच श्रृंखला मानचित्र ''एफ'' <math>(A_\bullet, d_{A,\bullet})</math> और <math>(B_\bullet, d_{B,\bullet})</math> क्रम है <math>f_\bullet</math> समरूपता का <math>f_n : A_n \rightarrow B_n</math> प्रत्येक n के लिए जो दो श्रृंखला परिसरों पर सीमा ऑपरेटरों के साथ आवागमन करता है, इसलिए <math> d_{B,n} \circ f_n = f_{n-1} \circ d_{A,n}</math>. इसे निम्नलिखित क्रमविनिमेय चित्र में लिखा गया है।
दो श्रृंखला परिसरों के बीच श्रृंखला मानचित्र ''f'' <math>(A_\bullet, d_{A,\bullet})</math> और <math>(B_\bullet, d_{B,\bullet})</math> क्रम है <math>f_\bullet</math> समरूपता का <math>f_n : A_n \rightarrow B_n</math> प्रत्येक n के लिए जो दो श्रृंखला परिसरों पर सीमा संचालकों  के साथ आवागमन करता रहता है, इसलिए <math> d_{B,n} \circ f_n = f_{n-1} \circ d_{A,n}</math>. इसे निम्नलिखित क्रमविनिमेय चित्र में लिखा गया है।
:[[Image:Chain map.svg|650 पीएक्स]]एक श्रृंखला मानचित्र चक्रों को चक्रों और सीमाओं को सीमाओं पर भेजता है, और इस प्रकार समरूपता पर मानचित्र उत्पन्न करता है <math>(f_\bullet)_*:H_\bullet(A_\bullet, d_{A,\bullet}) \rightarrow H_\bullet(B_\bullet, d_{B,\bullet})</math>.
:[[Image:Chain map.svg|650 पीएक्स]]
:श्रृंखला मानचित्र चक्रों को चक्रों और सीमाओं को सीमाओं पर भेजता रहता है, और इस प्रकार समरूपता पर मानचित्र उत्पन्न करता है |
:<math>(f_\bullet)_*:H_\bullet(A_\bullet, d_{A,\bullet}) \rightarrow H_\bullet(B_\bullet, d_{B,\bullet})</math>.


टोपोलॉजिकल स्पेस X और Y के बीच सतत मानचित्र f, X और Y के एकल श्रृंखला परिसरों के बीच श्रृंखला मानचित्र उत्पन्न करता है, और इसलिए मानचित्र f प्रेरित करता है<sub>*</sub> एक्स और वाई की एकवचन समरूपता के बीच भी। जब X और Y दोनों n-स्फीयर|n-स्फीयर के बराबर होते हैं, तो होमोलॉजी पर प्रेरित मानचित्र निरंतर मैपिंग की डिग्री को परिभाषित करता है#मानचित्र f के Sn से Sn तक।
टोपोलॉजिकल स्पेस X और Y के बीच सतत मानचित्र f, X और Y के एकल श्रृंखला परिसरों के बीच श्रृंखला मानचित्र को प्रेरित करता है, और इसलिए जब मानचित्र f   ''X'' और ''Y'' की एकवचन समरूपता f के सामान्य होते हैं, तो होमोलॉजी पर प्रेरित मानचित्र निरंतर मानचित्रण  की f डिग्री को परिभाषित करता है|


श्रृंखला मानचित्र की अवधारणा श्रृंखला मानचित्र के [[मानचित्रण शंकु (होमोलॉजिकल बीजगणित)]] के निर्माण के माध्यम से सीमा तक कम हो जाती है।
श्रृंखला मानचित्र की अवधारणा श्रृंखला मानचित्र के [[मानचित्रण शंकु (होमोलॉजिकल बीजगणित)]] के निर्माण के माध्यम से सीमा तक कम हो जाती है'''।'''


===श्रृंखला समरूपता===
===श्रृंखला समरूपता===
{{See also|Homotopy category of chain complexes}}
{{See also|श्रृंखला परिसरों की होमोटोपी श्रेणी}}
एक श्रृंखला समरूपता दो श्रृंखला मानचित्रों को जोड़ने का तरीका प्रदान करती है जो समरूपता समूहों पर ही मानचित्र को प्रेरित करती है, भले ही मानचित्र भिन्न हो सकते हैं। दो श्रृंखला परिसर ए और बी, और दो श्रृंखला मानचित्र दिए गए हैं {{nowrap|''f'', ''g'' : ''A'' → ''B''}}, श्रृंखला समरूपता समरूपता का क्रम है {{nowrap|''h''<sub>''n''</sub> : ''A''<sub>''n''</sub> → ''B''<sub>''n''+1</sub>}} ऐसा है कि {{nowrap|1=''hd''<sub>''A''</sub> + ''d''<sub>''B''</sub>''h'' = ''f'' − ''g''}}. मानचित्रों को इस प्रकार आरेख में लिखा जा सकता है, लेकिन यह आरेख क्रमविनिमेय नहीं है।


:[[Image:Chain homotopy between chain complexes.svg|650 पीएक्स]]मानचित्र एच.डी<sub>''A''</sub> + डी<sub>''B''</sub>किसी भी एच के लिए [[होमोटॉपी]] पर शून्य मानचित्र को प्रेरित करने के लिए एच को आसानी से सत्यापित किया जाता है। यह तुरंत इस प्रकार है कि एफ और जी होमोलॉजी पर ही मानचित्र उत्पन्न करते हैं। का कहना है कि एफ और जी 'श्रृंखला होमोटोपिक' (या बस 'होमोटोपिक') हैं, और यह संपत्ति श्रृंखला मानचित्रों के बीच तुल्यता संबंध को परिभाषित करती है।
एक श्रृंखला समरूपता दो श्रृंखला मानचित्रों को जोड़ने की विधि प्रदान करती है जो समरूपता समूहों पर ही मानचित्र को प्रेरित करती है, तथापि मानचित्र भिन्न हो सकते हैं। और दो श्रृंखला परिसर ''A''और ''B'' दो श्रृंखला मानचित्र दिए गए हैं और ''f'', ''g'' : ''A'' → ''B'', श्रृंखला समरूपता का क्रम है| {{nowrap|''h''<sub>''n''</sub> : ''A''<sub>''n''</sub> → ''B''<sub>''n''+1</sub>}} ऐसा है कि {{nowrap|1=''hd''<sub>''A''</sub> + ''d''<sub>''B''</sub>''h'' = ''f'' − ''g''}}. मानचित्रों को इस प्रकार आरेख में लिखा जा सकता है, किन्तु यह आरेख क्रमविनिमेय नहीं होता है।


मान लीजिए कि X और Y टोपोलॉजिकल स्पेस हैं। एकवचन समरूपता के मामले में, निरंतर मानचित्रों के बीच समरूपता {{nowrap|''f'', ''g'' : ''X'' ''Y''}} f और g के अनुरूप श्रृंखला मानचित्रों के बीच श्रृंखला समरूपता उत्पन्न करता है। इससे पता चलता है कि दो समस्थानिक मानचित्र एकवचन समरूपता पर ही मानचित्र को प्रेरित करते हैं। नाम श्रृंखला होमोटॉपी इस उदाहरण से प्रेरित है।
:[[Image:Chain homotopy between chain complexes.svg|650 पीएक्स]]
:मानचित्र ''hd<sub>A</sub>'' + ''d<sub>B</sub>h'' किसी भी ''h'' के लिए [[होमोटॉपी]] पर शून्य मानचित्र को प्रेरित करने के लिए ''h'' को आसानी से सत्यापित किया जाता है। यह इस प्रकार है कि ''f'' और ''g'' होमोलॉजी पर ही मानचित्र उत्पन्न करते हैं। जिसका कहना है कि ''f'' और ''g'' 'श्रृंखला होमोटोपिक' (या बस 'होमोटोपिक') होता हैं, और यह संपत्ति श्रृंखला मानचित्रों के बीच तुल्यता संबंध को परिभाषित करती है।


==उदाहरण==
मान लीजिए कि X और Y टोपोलॉजिकल स्पेस हैं। एकवचन समरूपता के स्थितियों में, निरंतर मानचित्रों {{nowrap|''f'', ''g'' : ''X'' → ''Y''}} के बीच समरूपता होती हैं |
 
f और g के अनुरूप श्रृंखला मानचित्रों के बीच श्रृंखला समरूपता उत्पन्न करता है। इससे पता चलता है कि दो समस्थानिक मानचित्र एकवचन समरूपता पर ही मानचित्र को प्रेरित करते हैं।और नाम श्रृंखला होमोटॉपी इस उदाहरण से प्रेरित करती है।
 
मान लीजिए कि X और Y टोपोलॉजिकल स्पेस हैं। एकवचन समरूपता के स्तिथियों में, निरंतर मानचित्रों f, g : X → Y के बीच समरूपता, f और g के अनुरूप श्रृंखला मानचित्रों के बीच श्रृंखला समरूपता उत्पन्न करती है। तथा इससे पता चलता है कि दो समस्थानिक मानचित्र एकवचन समरूपता पर ही मानचित्र को प्रेरित करते हैं। और "श्रंखला होमोटॉपी" नाम इस उदाहरण से प्रेरित करती है।
 
==उदाहरण                   ==


===एकवचन समरूपता===
===एकवचन समरूपता===
{{main|Singular homology}}
{{main|एकवचन समरूपता}}
एक्स को टपॉलजी का मूल्य रहने दें। सी को परिभाषित करें<sub>''n''</sub>(एक्स) [[प्राकृतिक संख्या]] एन के लिए स्वतंत्र एबेलियन समूह औपचारिक रूप से एकवचन होमोलॉजी द्वारा उत्पन्न होता है | एक्स में एकवचन एन-सिम्प्लिसेस, और सीमा मानचित्र को परिभाषित करें <math>\partial_n: C_n(X) \to C_{n-1}(X)</math> होना
 
''X''  को टपॉलजी का मूल्य रहने दें। [[प्राकृतिक संख्या]] ''n'' के लिए ''C<sub>n</sub>''(''X'') को परिभाषित करें स्वतंत्र एबेलियन समूह औपचारिक रूप से एकवचन होमोलॉजी द्वारा उत्पन्न होता है | और ''X'' में एकवचन n- सिम्प्लिसेस, और सीमा मानचित्र <math>\partial_n: C_n(X) \to C_{n-1}(X)</math> को परिभाषित करें |


::<math>\partial_n : \, (\sigma: [v_0,\ldots,v_n] \to X) \mapsto (\sum_{i=0}^n (-1)^i \sigma: [v_0,\ldots, \hat v_i, \ldots, v_n] \to X)</math>
::<math>\partial_n : \, (\sigma: [v_0,\ldots,v_n] \to X) \mapsto (\sum_{i=0}^n (-1)^i \sigma: [v_0,\ldots, \hat v_i, \ldots, v_n] \to X)</math>
जहां टोपी [[शीर्ष (ज्यामिति)]] के लोप को दर्शाती है। अर्थात्, विलक्षण सिम्प्लेक्स की सीमा उसके चेहरों पर प्रतिबंधों का वैकल्पिक योग है। यह दिखाया जा सकता है कि ∂<sup>2</sup>=0, अतः <math>(C_\bullet, \partial_\bullet)</math> श्रृंखला जटिल है; एकवचन समरूपता <math>H_\bullet(X)</math> इस परिसर की समरूपता है।
जहां टोपी [[शीर्ष (ज्यामिति)]] के लोप को दर्शाती है। अर्थात्, विलक्षण सिम्प्लेक्स की सीमा उसके चेहरों पर प्रतिबंधों का वैकल्पिक योग होता है।और यह दिखाया जा सकता है कि ∂<sup>2</sup>=0, अतः <math>(C_\bullet, \partial_\bullet)</math> श्रृंखला सम्मिश्र  है;और एकवचन समरूपता <math>H_\bullet(X)</math> इस परिसर की समरूपता है।


सिंगुलर होमोलॉजी होमोटॉपी#होमोटॉपी समकक्ष तक टोपोलॉजिकल स्पेस का उपयोगी अपरिवर्तनीय है। डिग्री शून्य होमोलॉजी समूह एक्स के कनेक्टेड स्पेस#पथ कनेक्टिविटी|पथ-घटकों पर मुक्त एबेलियन समूह है।
सिंगुलर होमोलॉजी होमोटॉपी या होमोटॉपी समकक्ष तक टोपोलॉजिकल स्पेस का उपयोगी अपरिवर्तनीय है। इस प्रकार डिग्री शून्य होमोलॉजी समूह ''X'' के पथ-घटकों पर मुक्त एबेलियन समूह होता है।
 
सिंगुलर होमोलॉजी, होमोटॉपी तुल्यता तक टोपोलॉजिकल स्पेस का उपयोगी अपरिवर्तनीय है। तथा डिग्री शून्य होमोलॉजी समूह ''X'' के पथ-घटकों पर मुक्त एबेलियन समूह है।


=== मेमने जैसा गर्भ ===
=== मेमने जैसा गर्भ ===
{{main|de Rham cohomology}}
{{main|डॉ कहलमज गर्भाशय}}
किसी भी [[ चिकनी कई गुना |चिकनी कई गुना]] M पर डिफरेंशियल फॉर्म|डिफरेंशियल k-फॉर्म [[वास्तविक संख्या]] [[ सदिश स्थल |सदिश स्थल]] बनाते हैं जिसे Ω कहा जाता है<sup></sup>(M) जोड़ के अंतर्गत।
 
[[बाहरी व्युत्पन्न]] d मानचित्र Ω<sup></sup>(M) से Ω<sup>k+1</sup>(M), और d{{i sup|2}} = 0 अनिवार्य रूप से [[दूसरे डेरिवेटिव की समरूपता]] से आता है, इसलिए बाहरी डेरिवेटिव के साथ के-फॉर्म के वेक्टर रिक्त स्थान कोचेन कॉम्प्लेक्स हैं।
किसी भी स्मूथ मैनिफोल्ड M पर अंतर k- रूप [[वास्तविक संख्या]] [[ सदिश स्थल |सदिश स्थल]] बनाते हैं जिसे जोड़ के तहत Ω<sup>''k''</sup>(''M'') कहा जाता है। बाहरी व्युत्पन्न d,मानचित्र Ω<sup>''k''</sup>(''M'') को Ω<sup>''k''+1</sup> (M) तक मानचित्रण  करता है, और ''d''<sup>2</sup> = 0 अनिवार्य रूप से दूसरे व्युत्पन्न की समरूपता से अनुसरण करता है, इसलिए बाहरी व्युत्पन्न के साथ k-रूप के सदिश  रिक्त स्थान कोचेन कॉम्प्लेक्स होता हैं।


:<math> \Omega^0(M)\ \stackrel{d}{\to}\ \Omega^1(M) \to \Omega^2(M) \to \Omega^3(M) \to \cdots</math>
:<math> \Omega^0(M)\ \stackrel{d}{\to}\ \Omega^1(M) \to \Omega^2(M) \to \Omega^3(M) \to \cdots</math>
इस परिसर के सह-समरूपता को ''एम'' का डी राम सह-समरूपता कहा जाता है। आयाम शून्य में समरूपता समूह ''एम'' से आर तक [[स्थानीय रूप से स्थिर कार्य]]ों के वेक्टर स्थान के लिए आइसोमोर्फिक है। इस प्रकार कॉम्पैक्ट मैनिफोल्ड के लिए, यह वास्तविक वेक्टर स्थान है जिसका आयाम ''एम'' से जुड़े घटकों की संख्या है '.
इस परिसर के सह-समरूपता को ''M'' का D राम सह-समरूपता कहा जाता है। आयाम शून्य में समरूपता समूह ''M'' से ''R'' तक [[स्थानीय रूप से स्थिर कार्य|स्थानीय रूप से स्थिर कार्यो]] के सदिश  स्थान के लिए आइसोमोर्फिक होता है। इस प्रकार कॉम्पैक्ट मैनिफोल्ड के लिए, यह वास्तविक सदिश स्थान है जिसका आयाम ''M'' से जुड़े घटकों की संख्या है |


स्मूथनेस#मैनिफोल्ड्स के बीच सुचारू कार्य श्रृंखला मानचित्रों को प्रेरित करते हैं, और मानचित्रों के बीच सुचारू होमोटोपियां श्रृंखला होमोटोपियों को प्रेरित करती हैं।
स्मूथ मैनिफोल्ड्स के बीच सुचारू कार्य श्रृंखला मानचित्रों को प्रेरित करते हैं, और मानचित्रों के बीच सुचारू होमोटोपियां श्रृंखला होमोटोपियों को प्रेरित करती हैं।


==श्रृंखला परिसरों की श्रेणी==
==श्रृंखला परिसरों की श्रेणी                                                                     ==
श्रृंखला मानचित्रों के साथ K-मॉड्यूल के श्रृंखला परिसर [[श्रेणी (गणित)]] Ch बनाते हैं<sub>''K''</sub>, जहां K क्रमविनिमेय वलय है।
श्रृंखला मानचित्रों के साथ K-मॉड्यूल के श्रृंखला परिसर [[श्रेणी (गणित)]] Ch<sub>''K''</sub>, बनाते हैं, जहां K क्रमविनिमेय वलय है।


यदि वी = वी<math>{}_*</math> और डब्ल्यू = डब्ल्यू<math>{}_*</math> चेन कॉम्प्लेक्स हैं, उनके टेंसर उत्पाद <math> V \otimes W </math> द्वारा दी गई डिग्री n तत्वों वाला श्रृंखला परिसर है
यदि ''V'' = ''V<sub>*</sub>'' और ''W'' = ''W''<sub>*</sub> श्रंखला कॉम्प्लेक्स हैं, उनके टेंसर उत्पाद <math> V \otimes W </math> द्वारा दी गई डिग्री n अवयवों  वाला श्रृंखला परिसर है
:<math> (V \otimes W)_n = \bigoplus_{\{i,j|i+j=n\}} V_i \otimes W_j </math>
:<math> (V \otimes W)_n = \bigoplus_{\{i,j|i+j=n\}} V_i \otimes W_j </math>
और अंतर द्वारा दिया गया
और अंतर द्वारा दिया गया                          
: <math> \partial (a \otimes b) = \partial a \otimes b + (-1)^{\left|a\right|} a \otimes \partial b </math> जहाँ a और b क्रमशः V और W में कोई दो सजातीय सदिश हैं, और <math> \left|a\right| </math> a की डिग्री को दर्शाता है।
: <math> \partial (a \otimes b) = \partial a \otimes b + (-1)^{\left|a\right|} a \otimes \partial b </math>
:जहाँ a और b क्रमशः V और W में कोई दो सजातीय सदिश हैं, और यह <math> \left|a\right| </math> a की डिग्री को दर्शाता है।


यह टेंसर उत्पाद श्रेणी Ch बनाता है<sub>''K''</sub> [[सममित मोनोइडल श्रेणी]] में। इस मोनोइडल उत्पाद के संबंध में पहचान वस्तु बेस रिंग K है जिसे डिग्री 0 में श्रृंखला परिसर के रूप में देखा जाता है। [[ब्रेडेड मोनोइडल श्रेणी]] सजातीय तत्वों के सरल टेंसर पर दी गई है
यह टेंसर उत्पाद श्रेणी Ch<sub>''K''</sub> बनाता है [[सममित मोनोइडल श्रेणी]] में बनाता है। इस मोनोइडल उत्पाद के संबंध में पहचान वस्तु बेस वलय K है जिसे डिग्री 0 में श्रृंखला परिसर के रूप में देखा जाता है। तथा [[ब्रेडेड मोनोइडल श्रेणी]] सजातीय अवयवों  के सरल टेंसर पर दी गई है|
:<math> a \otimes b \mapsto (-1)^{\left|a\right|\left|b\right|} b \otimes a </math>
:<math> a \otimes b \mapsto (-1)^{\left|a\right|\left|b\right|} b \otimes a </math>
ब्रेडिंग के लिए चेन मैप होना जरूरी है।
ब्रेडिंग के लिए श्रंखला मानचित्रण  का होना आवश्यक है।


इसके अलावा, के-मॉड्यूल के चेन कॉम्प्लेक्स की श्रेणी में भी मोनोइडल श्रेणी बंद है: दिए गए चेन कॉम्प्लेक्स वी और डब्ल्यू, वी और डब्ल्यू का आंतरिक होम, जिसे होम (वी, डब्ल्यू) दर्शाया गया है, डिग्री एन तत्वों के साथ चेन कॉम्प्लेक्स है। <math>\Pi_{i}\text{Hom}_K (V_i,W_{i+n})</math> और अंतर द्वारा दिया गया
इसके अतिरिक्त, ''K''-मॉड्यूल के श्रंखला कॉम्प्लेक्स की श्रेणी में भी मोनोइडल श्रेणी संवर्त  है: दिए गए श्रंखला कॉम्प्लेक्स वी और डब्ल्यू, ''V'' और ''W'' का आंतरिक होम हैं , जिसे होम (''V'',''W'') दर्शाया गया है, डिग्री ''n'' अवयवों  के साथ श्रंखला कॉम्प्लेक्स होता है।
 
<math>\Pi_{i}\text{Hom}_K (V_i,W_{i+n})</math> और अंतर द्वारा दिया गया हैं|
: <math> (\partial f)(v) = \partial(f(v)) - (-1)^{\left|f\right|} f(\partial(v)) </math>.
: <math> (\partial f)(v) = \partial(f(v)) - (-1)^{\left|f\right|} f(\partial(v)) </math>.
हमारे पास [[प्राकृतिक समरूपता]] है
हमारे पास [[प्राकृतिक समरूपता]] है                                            
:<math>\text{Hom}(A\otimes B, C) \cong \text{Hom}(A,\text{Hom}(B,C))</math>
:<math>\text{Hom}(A\otimes B, C) \cong \text{Hom}(A,\text{Hom}(B,C))</math>
 
== आगे के उदाहरण                                     ==
 
== आगे के उदाहरण ==
*[[ अमितसूर कॉम्प्लेक्स ]]
*[[ अमितसूर कॉम्प्लेक्स ]]
*बलोच के उच्च चाउ समूहों को परिभाषित करने के लिए उपयोग किया जाने वाला कॉम्प्लेक्स
*बलोच के उच्च चाउ समूहों को परिभाषित करने के लिए उपयोग किया जाने वाला कॉम्प्लेक्स
*बुच्सबाउम-रिम कॉम्प्लेक्स
*बुच्सबाउम-रिम कॉम्प्लेक्स
*सेच कॉम्प्लेक्स
*सेच कॉम्प्लेक्स
*[[चचेरा भाई जटिल]]
*[[चचेरा भाई जटिल|कसीन कॉम्प्लेक्स]]
*ईगॉन-नॉर्थकॉट कॉम्प्लेक्स
*ईगॉन-नॉर्थकॉट कॉम्प्लेक्स
*[[गेर्स्टन कॉम्प्लेक्स]]
*[[गेर्स्टन कॉम्प्लेक्स]]
*[[ग्राफ जटिल]]<ref>{{Cite web|url=https://ncatlab.org/nlab/show/graph+complex|title = Graph complex}}</ref>
*[[ग्राफ जटिल|ग्राफ]] [[गेर्स्टन कॉम्प्लेक्स|कॉम्प्लेक्स]]<ref>{{Cite web|url=https://ncatlab.org/nlab/show/graph+complex|title = Graph complex}}</ref>
*[[जटिल शर्ट]]
*[[कोस्जुल काम्प्लेक्स|कोस्ज़ुल कॉम्प्लेक्स]]
*[[मूर कॉम्प्लेक्स]]
*[[मूर कॉम्प्लेक्स]]
*[[शूर कॉम्प्लेक्स]]
*[[शूर कॉम्प्लेक्स]]


==यह भी देखें==
==यह भी देखें                             ==
* [[विभेदक श्रेणीबद्ध बीजगणित]]
* [[विभेदक श्रेणीबद्ध बीजगणित]]
* [[विभेदक श्रेणीबद्ध झूठ बीजगणित]]
* [[विभेदक श्रेणीबद्ध झूठ बीजगणित|विभेदक श्रेणीबद्ध लाई बीजगणित]]
* डॉल्ड-कान पत्राचार का कहना है कि श्रृंखला परिसरों की श्रेणी और [[सरल एबेलियन समूह]]ों की श्रेणी के बीच समानता है।
* डॉल्ड-कान पत्राचार का कहना है कि श्रृंखला परिसरों की श्रेणी और [[सरल एबेलियन समूह|सरल एबेलियन समूहों]] की श्रेणी के बीच समानता है।
* बुच्सबाम-ईसेनबड चक्रीयता मानदंड
* बुच्सबाम-ईसेनबड चक्रीयता मानदंड
* [[विभेदक श्रेणीबद्ध मॉड्यूल]]
* [[विभेदक श्रेणीबद्ध मॉड्यूल]]
Line 136: Line 148:
* {{Citation | last1=Bott | first1=Raoul | author1-link=Raoul Bott | last2=Tu | first2=Loring W. | title=Differential Forms in Algebraic Topology | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90613-3 | year=1982}}
* {{Citation | last1=Bott | first1=Raoul | author1-link=Raoul Bott | last2=Tu | first2=Loring W. | title=Differential Forms in Algebraic Topology | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90613-3 | year=1982}}
* {{cite book | last=Hatcher | first=Allen | author-link=Allen Hatcher | date=2002 | title=Algebraic Topology  | url=https://www.math.cornell.edu/~hatcher/AT/ATpage.html | location=Cambridge | publisher=[[Cambridge University Press]] | isbn=0-521-79540-0}}
* {{cite book | last=Hatcher | first=Allen | author-link=Allen Hatcher | date=2002 | title=Algebraic Topology  | url=https://www.math.cornell.edu/~hatcher/AT/ATpage.html | location=Cambridge | publisher=[[Cambridge University Press]] | isbn=0-521-79540-0}}
[[Category: सजातीय बीजगणित]] [[Category: विभेदक टोपोलॉजी]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 03/07/2023]]
[[Category:Lua-based templates]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:सजातीय बीजगणित]]

Latest revision as of 13:57, 3 August 2023

गणित में, श्रृंखला संकेतन बीजगणितीय संरचना है जिसमें एबेलियन समूहो (या मॉड्यूल (गणित)) का अनुक्रम होता है और इस प्रकार निरंतर समूहों के बीच समूह समरूपता का अनुक्रम होता रहता है और जैसे कि प्रत्येक समरूपता की छवि (गणित) कर्नेल में सम्मिलित होती है यह ( बीजगणित) या अगले श्रंखला की समूह समरूपताएँ श्रृंखला परिसर से जुड़ी संबद्ध इसकी सह-समरूपत होमोलॉजी होती है, जो बताती है कि छवियों को कर्नेल में कैसे सम्मिलित किया जाता है।

कोचेन कॉम्प्लेक्स श्रंखला कॉम्प्लेक्स के समान होता है,और अतिरिक्त इसके कि इसकी समरूपताएं विपरीत दिशा में होती हैं। कोचेन कॉम्प्लेक्स की समरूपता को इसकी सहसंयोजकता भी कहा जाता है।

बीजगणितीय टोपोलॉजी में, टोपोलॉजिकल स्पेस इस श्रृंखला परिसर की समरूपता को X की एकवचन समरूपता कहा जाता है, और यह टोपोलॉजिकल स्पेस का सामान्यतः उपयोग किया जाने वाला टोपोलॉजिकल अपरिवर्तनीय होता है।

श्रृंखला परिसरों का अध्ययन होमोलॉजिकल बीजगणित में किया जाता है, किन्तु गणित के अनेक क्षेत्रों में भी इसका उपयोग किया जाता है, जिसमें अमूर्त बीजगणित, गैलोइस सिद्धांत, अंतर ज्यामिति और बीजगणितीय ज्यामिति सम्मिलित होते हैं।इस प्रकार इन्हें सामान्यतः एबेलियन श्रेणियों में परिभाषित किया जा सकता है।

परिभाषाएँ

वह शृंखला परिसर एबेलियन समूहों या मॉड्यूल का क्रम इस प्रकार है ..., A0, A1, A2, A3, A4, ... समरूपताओं के द्वारा जुड़ा हुआ होता हैं| (जिसे सीमा ऑपरेटर या अंतर कहा जाता है) और dn : AnAn−1, इस प्रकार कि किन्हीं दो निरंतर मानचित्रों की संरचना शून्य मानचित्र होते है। स्पष्ट रूप से, अंतर dndn+1 = 0, संतुष्ट करते हैं या सूचकांकों को दबाए जानेपर d2 = 0. संतुष्ट करते हैं। और कॉम्प्लेक्स को इस प्रकार लिखा जा सकता है|

कोचेन कॉम्प्लेक्स श्रृंखला परिसर के लिए दोहरी (श्रेणी सिद्धांत) धारणा है।और इस प्रकार इसमें एबेलियन समूहों या मॉड्यूल का अनुक्रम सम्मिलित है जो ..., A0, A1, A2, A3, A4,... समरूपता से जुड़ा हुआ हैं और यह dn : AnAn+1 संतुष्टि देने वाला dn+1dn = 0. कोचेन कॉम्प्लेक्स हो सकता हैं और श्रंखला कॉम्प्लेक्स के समान विधियों से लिखा जा सकता है|

किसी भी n में सूचकांक An या An को 'डिग्री' (या 'आयाम') के रूप में जाना जाता हैं| श्रंखला और कोचेन कॉम्प्लेक्स के बीच अंतर यह है कि, श्रंखला कॉम्प्लेक्स में, अंतर आयाम को कम करते हैं, जबकि कोचेन कॉम्प्लेक्स में वे आयाम बढ़ाते हैं। इस प्रकार श्रंखला कॉम्प्लेक्स के लिए सभी अवधारणाएं और परिभाषाएं कोचेन कॉम्प्लेक्स पर प्रयुक्त होती हैं, अतिरिक्त इसके कि वे आयाम के लिए इस भिन्न सम्मेलन का पालन करेंगे, और अधिकांशतः शब्दों को उपसर्ग सह- दिया जाएगा। और इस लेख में, श्रृंखला परिसरों के लिए परिभाषाएँ तब दी जाएंगी जब भेद की आवश्यकता नहीं होगी।

एक 'परिबद्ध श्रृंखला कॉम्प्लेक्स' वह है जिसमें लगभग या सभी कार्डिनैलिटी An 0 होती है अर्थात्, परिमित संकुल को बायीं और दायीं ओर 0 से बढ़ाया गया है। उदाहरण श्रृंखला संकुल होता है जो परिमित सरल संकुल की सरल समरूपता को परिभाषित करता है। और यदि यह किसी निश्चित डिग्री N से ऊपर के सभी मॉड्यूल 0 हैं, तो श्रंखला कॉम्प्लेक्स ऊपर से घिरा हुआ होता है, और यदि कुछ निश्चित डिग्री N से नीचे के सभी मॉड्यूल 0 होते हैं, तो नीचे से घिरा हुआ होता है। इस प्रकार स्पष्ट रूप से, कॉम्प्लेक्स ऊपर और नीचे दोनों से घिरा हुआ होता है यदि केवल सम्मिश्र घिरा हुआ है|

(सह)श्रृंखला परिसर के व्यक्तिगत समूहों के अवयवों को (सह)श्रृंखला कहा जाता है। और d के कर्नेल में अवयवों को ( सीओ)चक्र (या संवर्त अवयव ) कहा जाता है, और इस प्रकार d की छवि में अवयवों को ( सीओ) सीमाएँ (या स्पष्ट अवयव ) कहा जाता है। अंतर की परिभाषा से ही, सभी सीमाएँ चक्र होते हैं। अर्थात,n-वें ( सीओ) होमोलॉजी समूह Hn (Hn) डिग्री n में ( सीओ) चक्र मॉड्यूलो (शब्दजाल)या संरचनाओं ( सीओ) सीमाओं का समूह होता है|

स्पष्ट अनुक्रम

एक स्पष्ट अनुक्रम (या स्पष्ट कॉम्प्लेक्स) श्रृंखला कॉम्प्लेक्स होता है जिसके सभी समरूप समूह शून्य होते हैं। इसका कारण यह है कि कॉम्प्लेक्स में सभी संवर्त अवयव स्पष्ट होते हैं।और संक्षिप्त स्पष्ट अनुक्रम परिबद्ध स्पष्ट अनुक्रम होते है जिसमें केवल समूह Ak, Ak+1, Ak+2 शून्येतर हो सकता है. उदाहरण के लिए, निम्नलिखित श्रृंखला परिसर संक्षिप्त स्पष्ट अनुक्रम होता है।

मध्य समूह में, संवर्त अवयव अवयव pZ हैं; और ये स्पष्ट रूप से इस समूह के स्पष्ट अवयव होते हैं।

श्रृंखला मानचित्र

दो श्रृंखला परिसरों के बीच श्रृंखला मानचित्र f और क्रम है समरूपता का प्रत्येक n के लिए जो दो श्रृंखला परिसरों पर सीमा संचालकों के साथ आवागमन करता रहता है, इसलिए . इसे निम्नलिखित क्रमविनिमेय चित्र में लिखा गया है।

650 पीएक्स
श्रृंखला मानचित्र चक्रों को चक्रों और सीमाओं को सीमाओं पर भेजता रहता है, और इस प्रकार समरूपता पर मानचित्र उत्पन्न करता है |
.

टोपोलॉजिकल स्पेस X और Y के बीच सतत मानचित्र f, X और Y के एकल श्रृंखला परिसरों के बीच श्रृंखला मानचित्र को प्रेरित करता है, और इसलिए जब मानचित्र f X और Y की एकवचन समरूपता f के सामान्य होते हैं, तो होमोलॉजी पर प्रेरित मानचित्र निरंतर मानचित्रण की f डिग्री को परिभाषित करता है|

श्रृंखला मानचित्र की अवधारणा श्रृंखला मानचित्र के मानचित्रण शंकु (होमोलॉजिकल बीजगणित) के निर्माण के माध्यम से सीमा तक कम हो जाती है

श्रृंखला समरूपता

एक श्रृंखला समरूपता दो श्रृंखला मानचित्रों को जोड़ने की विधि प्रदान करती है जो समरूपता समूहों पर ही मानचित्र को प्रेरित करती है, तथापि मानचित्र भिन्न हो सकते हैं। और दो श्रृंखला परिसर Aऔर B दो श्रृंखला मानचित्र दिए गए हैं और f, g : AB, श्रृंखला समरूपता का क्रम है| hn : AnBn+1 ऐसा है कि hdA + dBh = fg. मानचित्रों को इस प्रकार आरेख में लिखा जा सकता है, किन्तु यह आरेख क्रमविनिमेय नहीं होता है।

650 पीएक्स
मानचित्र hdA + dBh किसी भी h के लिए होमोटॉपी पर शून्य मानचित्र को प्रेरित करने के लिए h को आसानी से सत्यापित किया जाता है। यह इस प्रकार है कि f और g होमोलॉजी पर ही मानचित्र उत्पन्न करते हैं। जिसका कहना है कि f और g 'श्रृंखला होमोटोपिक' (या बस 'होमोटोपिक') होता हैं, और यह संपत्ति श्रृंखला मानचित्रों के बीच तुल्यता संबंध को परिभाषित करती है।

मान लीजिए कि X और Y टोपोलॉजिकल स्पेस हैं। एकवचन समरूपता के स्थितियों में, निरंतर मानचित्रों f, g : XY के बीच समरूपता होती हैं |

f और g के अनुरूप श्रृंखला मानचित्रों के बीच श्रृंखला समरूपता उत्पन्न करता है। इससे पता चलता है कि दो समस्थानिक मानचित्र एकवचन समरूपता पर ही मानचित्र को प्रेरित करते हैं।और नाम श्रृंखला होमोटॉपी इस उदाहरण से प्रेरित करती है।

मान लीजिए कि X और Y टोपोलॉजिकल स्पेस हैं। एकवचन समरूपता के स्तिथियों में, निरंतर मानचित्रों f, g : X → Y के बीच समरूपता, f और g के अनुरूप श्रृंखला मानचित्रों के बीच श्रृंखला समरूपता उत्पन्न करती है। तथा इससे पता चलता है कि दो समस्थानिक मानचित्र एकवचन समरूपता पर ही मानचित्र को प्रेरित करते हैं। और "श्रंखला होमोटॉपी" नाम इस उदाहरण से प्रेरित करती है।

उदाहरण

एकवचन समरूपता

X को टपॉलजी का मूल्य रहने दें। प्राकृतिक संख्या n के लिए Cn(X) को परिभाषित करें स्वतंत्र एबेलियन समूह औपचारिक रूप से एकवचन होमोलॉजी द्वारा उत्पन्न होता है | और X में एकवचन n- सिम्प्लिसेस, और सीमा मानचित्र को परिभाषित करें |

जहां टोपी शीर्ष (ज्यामिति) के लोप को दर्शाती है। अर्थात्, विलक्षण सिम्प्लेक्स की सीमा उसके चेहरों पर प्रतिबंधों का वैकल्पिक योग होता है।और यह दिखाया जा सकता है कि ∂2=0, अतः श्रृंखला सम्मिश्र है;और एकवचन समरूपता इस परिसर की समरूपता है।

सिंगुलर होमोलॉजी होमोटॉपी या होमोटॉपी समकक्ष तक टोपोलॉजिकल स्पेस का उपयोगी अपरिवर्तनीय है। इस प्रकार डिग्री शून्य होमोलॉजी समूह X के पथ-घटकों पर मुक्त एबेलियन समूह होता है।

सिंगुलर होमोलॉजी, होमोटॉपी तुल्यता तक टोपोलॉजिकल स्पेस का उपयोगी अपरिवर्तनीय है। तथा डिग्री शून्य होमोलॉजी समूह X के पथ-घटकों पर मुक्त एबेलियन समूह है।

मेमने जैसा गर्भ

किसी भी स्मूथ मैनिफोल्ड M पर अंतर k- रूप वास्तविक संख्या सदिश स्थल बनाते हैं जिसे जोड़ के तहत Ωk(M) कहा जाता है। बाहरी व्युत्पन्न d,मानचित्र Ωk(M) को Ωk+1 (M) तक मानचित्रण करता है, और d2 = 0 अनिवार्य रूप से दूसरे व्युत्पन्न की समरूपता से अनुसरण करता है, इसलिए बाहरी व्युत्पन्न के साथ k-रूप के सदिश रिक्त स्थान कोचेन कॉम्प्लेक्स होता हैं।

इस परिसर के सह-समरूपता को M का D राम सह-समरूपता कहा जाता है। आयाम शून्य में समरूपता समूह M से R तक स्थानीय रूप से स्थिर कार्यो के सदिश स्थान के लिए आइसोमोर्फिक होता है। इस प्रकार कॉम्पैक्ट मैनिफोल्ड के लिए, यह वास्तविक सदिश स्थान है जिसका आयाम M से जुड़े घटकों की संख्या है |

स्मूथ मैनिफोल्ड्स के बीच सुचारू कार्य श्रृंखला मानचित्रों को प्रेरित करते हैं, और मानचित्रों के बीच सुचारू होमोटोपियां श्रृंखला होमोटोपियों को प्रेरित करती हैं।

श्रृंखला परिसरों की श्रेणी

श्रृंखला मानचित्रों के साथ K-मॉड्यूल के श्रृंखला परिसर श्रेणी (गणित) ChK, बनाते हैं, जहां K क्रमविनिमेय वलय है।

यदि V = V* और W = W* श्रंखला कॉम्प्लेक्स हैं, उनके टेंसर उत्पाद द्वारा दी गई डिग्री n अवयवों वाला श्रृंखला परिसर है

और अंतर द्वारा दिया गया

जहाँ a और b क्रमशः V और W में कोई दो सजातीय सदिश हैं, और यह a की डिग्री को दर्शाता है।

यह टेंसर उत्पाद श्रेणी ChK बनाता है सममित मोनोइडल श्रेणी में बनाता है। इस मोनोइडल उत्पाद के संबंध में पहचान वस्तु बेस वलय K है जिसे डिग्री 0 में श्रृंखला परिसर के रूप में देखा जाता है। तथा ब्रेडेड मोनोइडल श्रेणी सजातीय अवयवों के सरल टेंसर पर दी गई है|

ब्रेडिंग के लिए श्रंखला मानचित्रण का होना आवश्यक है।

इसके अतिरिक्त, K-मॉड्यूल के श्रंखला कॉम्प्लेक्स की श्रेणी में भी मोनोइडल श्रेणी संवर्त है: दिए गए श्रंखला कॉम्प्लेक्स वी और डब्ल्यू, V और W का आंतरिक होम हैं , जिसे होम (V,W) दर्शाया गया है, डिग्री n अवयवों के साथ श्रंखला कॉम्प्लेक्स होता है।

और अंतर द्वारा दिया गया हैं|

.

हमारे पास प्राकृतिक समरूपता है

आगे के उदाहरण

यह भी देखें

संदर्भ

  1. "Graph complex".