विभेदक श्रेणीबद्ध बीजगणित: Difference between revisions
(Created page with "{{Short description|Algebraic structure in homological algebra}} {{about|homological algebra|the algebraic study of differential equations|Differential algebra}} {{multiple is...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Algebraic structure in homological algebra}} | {{Short description|Algebraic structure in homological algebra}} | ||
{{about|homological algebra|the algebraic study of differential equations|Differential algebra}} | {{about|homological algebra|the algebraic study of differential equations|Differential algebra}}गणित में, विशेष रूप से समरूप बीजगणित में, विभेदक [[श्रेणीबद्ध बीजगणित]] श्रेणीबद्ध बीजगणित सहयोगी बीजगणित है जिसमें अतिरिक्त [[श्रृंखला जटिल]] संरचना होती है जो रिंग संरचना पर बीजगणित का सम्मान करती है। | ||
गणित में, विशेष रूप से समरूप बीजगणित में, | |||
__TOC__ | __TOC__ | ||
== परिभाषा == | == परिभाषा == | ||
एक विभेदक श्रेणीबद्ध बीजगणित (या संक्षेप में डीजी-बीजगणित) ''ए'' | एक विभेदक श्रेणीबद्ध बीजगणित (या संक्षेप में डीजी-बीजगणित) ''ए'' मानचित्र से सुसज्जित श्रेणीबद्ध बीजगणित है <math>d\colon A \to A</math> जिसमें या तो डिग्री 1 (कोचेन कॉम्प्लेक्स कन्वेंशन) या डिग्री −1 (चेन कॉम्प्लेक्स कन्वेंशन) है जो दो शर्तों को पूरा करती है: | ||
{{ordered list|type=lower-roman | {{ordered list|type=lower-roman | ||
Line 17: | Line 11: | ||
| <math>d(a \cdot b)=(da) \cdot b + (-1)^{\deg(a)}a \cdot (db)</math>, where <math>\operatorname{deg}</math> is the [[graded ring|degree]] of homogeneous elements.{{Anchor|Graded Leibniz rule}} <br />This says that the [[chain complex|differential]] ''d'' respects the '''graded [[Product rule|Leibniz rule]]'''.}} | | <math>d(a \cdot b)=(da) \cdot b + (-1)^{\deg(a)}a \cdot (db)</math>, where <math>\operatorname{deg}</math> is the [[graded ring|degree]] of homogeneous elements.{{Anchor|Graded Leibniz rule}} <br />This says that the [[chain complex|differential]] ''d'' respects the '''graded [[Product rule|Leibniz rule]]'''.}} | ||
उसी परिभाषा को बताने का | उसी परिभाषा को बताने का अधिक संक्षिप्त तरीका यह है कि डीजी-बीजगणित [[मोनोइडल श्रेणी]] चेन_कॉम्प्लेक्स#श्रेणी_ऑफ_चेन_कॉम्प्लेक्स में एक [[ मोनोइड वस्तु ]] है। | ||
डीजी-बीजगणित के बीच | डीजी-बीजगणित के बीच डीजी रूपवाद श्रेणीबद्ध बीजगणित समरूपता है जो अंतर डी का सम्मान करता है। | ||
एक 'विभेदक श्रेणीबद्ध [[संवर्धित बीजगणित]]' (जिसे 'डीजीए-बीजगणित' भी कहा जाता है, | एक 'विभेदक श्रेणीबद्ध [[संवर्धित बीजगणित]]' (जिसे 'डीजीए-बीजगणित' भी कहा जाता है, | ||
एक संवर्धित डीजी-बीजगणित या बस | एक संवर्धित डीजी-बीजगणित या बस 'डीजीए') डीजी-बीजगणित है जो ग्राउंड रिंग (गणित) के लिए डीजी आकारिकी से सुसज्जित है (शब्दावली [[ हेनरी कर्तन ]] के कारण है)।<ref>{{cite journal|first=Henri|last= Cartan|author-link=Henri Cartan|title= Sur les groupes d'Eilenberg-Mac Lane <math>H(\Pi,n)</math>|journal= [[Proceedings of the National Academy of Sciences of the United States of America]]|volume= 40|year=1954|issue= 6|pages= 467–471|doi= 10.1073/pnas.40.6.467|pmid= 16589508|pmc= 534072|doi-access= free}}</ref> | ||
चेतावनी: कुछ स्रोत डीजी-बीजगणित के लिए डीजीए शब्द का उपयोग करते हैं। | चेतावनी: कुछ स्रोत डीजी-बीजगणित के लिए डीजीए शब्द का उपयोग करते हैं। | ||
Line 27: | Line 21: | ||
=== [[टेंसर बीजगणित]] === | === [[टेंसर बीजगणित]] === | ||
टेंसर बीजगणित | टेंसर बीजगणित डीजी-बीजगणित है जिसमें [[जटिल शर्ट]] के समान अंतर होता है। सदिश समष्टि के लिए <math>V</math> क्षेत्र पर (गणित) <math>K</math> श्रेणीबद्ध सदिश स्थान है <math>T(V)</math> के रूप में परिभाषित | ||
:<math>T(V) = \bigoplus_{i\geq 0} T^i(V) = \bigoplus_{i \geq 0} V^{\otimes i}</math> | :<math>T(V) = \bigoplus_{i\geq 0} T^i(V) = \bigoplus_{i \geq 0} V^{\otimes i}</math> | ||
कहाँ <math>V^{\otimes 0} = K</math>. | कहाँ <math>V^{\otimes 0} = K</math>. | ||
अगर <math>e_1, \ldots, e_n</math> के लिए | अगर <math>e_1, \ldots, e_n</math> के लिए [[आधार (रैखिक बीजगणित)]] है <math>V</math> अंतर है <math>d</math> टेंसर बीजगणित पर घटक-वार परिभाषित | ||
:<math>d:T^k(V) \to T^{k-1}(V)</math> | :<math>d:T^k(V) \to T^{k-1}(V)</math> | ||
आधार तत्वों को भेजना | आधार तत्वों को भेजना | ||
Line 42: | Line 36: | ||
=== कोस्ज़ुल कॉम्प्लेक्स === | === कोस्ज़ुल कॉम्प्लेक्स === | ||
विभेदक श्रेणीबद्ध बीजगणित के मूलभूत उदाहरणों में से एक, जिसका व्यापक रूप से [[क्रमविनिमेय बीजगणित]] और [[बीजगणितीय ज्यामिति]] में उपयोग किया जाता है, कोसज़ुल कॉम्प्लेक्स है। इसका कारण इसके अनुप्रयोगों की विस्तृत श्रृंखला है, जिसमें पूर्ण चौराहों के [[समतल संकल्प]] का निर्माण करना शामिल है, और | विभेदक श्रेणीबद्ध बीजगणित के मूलभूत उदाहरणों में से एक, जिसका व्यापक रूप से [[क्रमविनिमेय बीजगणित]] और [[बीजगणितीय ज्यामिति]] में उपयोग किया जाता है, कोसज़ुल कॉम्प्लेक्स है। इसका कारण इसके अनुप्रयोगों की विस्तृत श्रृंखला है, जिसमें पूर्ण चौराहों के [[समतल संकल्प]] का निर्माण करना शामिल है, और [[व्युत्पन्न योजना]] से, वे व्युत्पन्न बीजगणित को व्युत्पन्न महत्वपूर्ण स्थान का प्रतिनिधित्व करते हैं। | ||
=== दे-रहम बीजगणित === | === दे-रहम बीजगणित === | ||
[[ कई गुना ]] पर [[विभेदक रूप]], बाहरी व्युत्पन्न और विभेदक रूप के साथ मिलकर | [[ कई गुना ]] पर [[विभेदक रूप]], बाहरी व्युत्पन्न और विभेदक रूप के साथ मिलकर डीजी-बीजगणित बनाते हैं। इनका व्यापक अनुप्रयोग है, जिसमें [[व्युत्पन्न विरूपण सिद्धांत]] भी शामिल है।<ref>{{Cite web|last=Manetti|date=|title=विभेदक श्रेणीबद्ध झूठ बीजगणित और औपचारिक विरूपण सिद्धांत|url=https://www1.mat.uniroma1.it/people/manetti/DT2011/ManSea.pdf|url-status=live|archive-url=https://web.archive.org/web/20130616054459/http://www1.mat.uniroma1.it/people/manetti/DT2011/ManSea.pdf|archive-date=16 Jun 2013|access-date=|website=}}</ref> [[डॉ कहलमज गर्भाशय]] देखें। | ||
=== एकवचन सहसंगति === | === एकवचन सहसंगति === | ||
*गुणांकों के साथ [[टोपोलॉजिकल स्पेस]] की [[एकवचन सहसंरचना]] <math>\Z/p\Z</math> | *गुणांकों के साथ [[टोपोलॉजिकल स्पेस]] की [[एकवचन सहसंरचना]] <math>\Z/p\Z</math> डीजी-बीजगणित है: अंतर संक्षिप्त सटीक अनुक्रम से जुड़े [[बॉकस्टीन समरूपता]] द्वारा दिया गया है <math>0 \to \Z/p\Z \to \Z/p^2\Z \to \Z/p\Z \to 0</math>, और उत्पाद [[कप उत्पाद]] द्वारा दिया जाता है। इस विभेदक श्रेणीबद्ध बीजगणित का उपयोग कार्टन सेमिनार में ईलेनबर्ग-मैकलेन रिक्त स्थान की कोहोलॉजी की गणना करने में मदद के लिए किया गया था।<ref>{{Cite journal|last=Cartan|first=H.|date=1954–1955|title=DGA-algèbres et DGA-modules|url=http://www.numdam.org/item/SHC_1954-1955__7_1_A2_0/|journal=Séminaire Henri Cartan|language=en|volume=7|issue=1|pages=1–9}}</ref><ref>{{Cite journal|last=Cartan|first=H.|date=1954–1955|title=डीजीए-मॉड्यूल (जारी), निर्माण की अवधारणा|url=http://www.numdam.org/item/SHC_1954-1955__7_1_A3_0/|journal=Séminaire Henri Cartan|language=en|volume=7|issue=1|pages=1–11}}</ref> | ||
== डीजी-बीजगणित के बारे में अन्य तथ्य == | == डीजी-बीजगणित के बारे में अन्य तथ्य == | ||
* [[होमोलॉजी (गणित)]] <math>H_*(A) = \ker(d) / \operatorname{im}(d)</math> | * [[होमोलॉजी (गणित)]] <math>H_*(A) = \ker(d) / \operatorname{im}(d)</math> डीजी-बीजगणित का <math>(A,d)</math> श्रेणीबद्ध बीजगणित है. डीजीए-बीजगणित की समरूपता संवर्धित बीजगणित है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* होमोटोपी साहचर्य बीजगणित | * होमोटोपी साहचर्य बीजगणित | ||
* [[विभेदक श्रेणीबद्ध श्रेणी]] | * [[विभेदक श्रेणीबद्ध श्रेणी]] |
Revision as of 16:13, 9 July 2023
गणित में, विशेष रूप से समरूप बीजगणित में, विभेदक श्रेणीबद्ध बीजगणित श्रेणीबद्ध बीजगणित सहयोगी बीजगणित है जिसमें अतिरिक्त श्रृंखला जटिल संरचना होती है जो रिंग संरचना पर बीजगणित का सम्मान करती है।
परिभाषा
एक विभेदक श्रेणीबद्ध बीजगणित (या संक्षेप में डीजी-बीजगणित) ए मानचित्र से सुसज्जित श्रेणीबद्ध बीजगणित है जिसमें या तो डिग्री 1 (कोचेन कॉम्प्लेक्स कन्वेंशन) या डिग्री −1 (चेन कॉम्प्लेक्स कन्वेंशन) है जो दो शर्तों को पूरा करती है:
- .
This says that d gives A the structure of a chain complex or cochain complex (accordingly as the differential reduces or raises degree). - , where is the degree of homogeneous elements.
This says that the differential d respects the graded Leibniz rule.
उसी परिभाषा को बताने का अधिक संक्षिप्त तरीका यह है कि डीजी-बीजगणित मोनोइडल श्रेणी चेन_कॉम्प्लेक्स#श्रेणी_ऑफ_चेन_कॉम्प्लेक्स में एक मोनोइड वस्तु है। डीजी-बीजगणित के बीच डीजी रूपवाद श्रेणीबद्ध बीजगणित समरूपता है जो अंतर डी का सम्मान करता है।
एक 'विभेदक श्रेणीबद्ध संवर्धित बीजगणित' (जिसे 'डीजीए-बीजगणित' भी कहा जाता है, एक संवर्धित डीजी-बीजगणित या बस 'डीजीए') डीजी-बीजगणित है जो ग्राउंड रिंग (गणित) के लिए डीजी आकारिकी से सुसज्जित है (शब्दावली हेनरी कर्तन के कारण है)।[1] चेतावनी: कुछ स्रोत डीजी-बीजगणित के लिए डीजीए शब्द का उपयोग करते हैं।
डीजी-बीजगणित के उदाहरण
टेंसर बीजगणित
टेंसर बीजगणित डीजी-बीजगणित है जिसमें जटिल शर्ट के समान अंतर होता है। सदिश समष्टि के लिए क्षेत्र पर (गणित) श्रेणीबद्ध सदिश स्थान है के रूप में परिभाषित
कहाँ .
अगर के लिए आधार (रैखिक बीजगणित) है अंतर है टेंसर बीजगणित पर घटक-वार परिभाषित
आधार तत्वों को भेजना
विशेष रूप से हमारे पास है इसलिए
कोस्ज़ुल कॉम्प्लेक्स
विभेदक श्रेणीबद्ध बीजगणित के मूलभूत उदाहरणों में से एक, जिसका व्यापक रूप से क्रमविनिमेय बीजगणित और बीजगणितीय ज्यामिति में उपयोग किया जाता है, कोसज़ुल कॉम्प्लेक्स है। इसका कारण इसके अनुप्रयोगों की विस्तृत श्रृंखला है, जिसमें पूर्ण चौराहों के समतल संकल्प का निर्माण करना शामिल है, और व्युत्पन्न योजना से, वे व्युत्पन्न बीजगणित को व्युत्पन्न महत्वपूर्ण स्थान का प्रतिनिधित्व करते हैं।
दे-रहम बीजगणित
कई गुना पर विभेदक रूप, बाहरी व्युत्पन्न और विभेदक रूप के साथ मिलकर डीजी-बीजगणित बनाते हैं। इनका व्यापक अनुप्रयोग है, जिसमें व्युत्पन्न विरूपण सिद्धांत भी शामिल है।[2] डॉ कहलमज गर्भाशय देखें।
एकवचन सहसंगति
- गुणांकों के साथ टोपोलॉजिकल स्पेस की एकवचन सहसंरचना डीजी-बीजगणित है: अंतर संक्षिप्त सटीक अनुक्रम से जुड़े बॉकस्टीन समरूपता द्वारा दिया गया है , और उत्पाद कप उत्पाद द्वारा दिया जाता है। इस विभेदक श्रेणीबद्ध बीजगणित का उपयोग कार्टन सेमिनार में ईलेनबर्ग-मैकलेन रिक्त स्थान की कोहोलॉजी की गणना करने में मदद के लिए किया गया था।[3][4]
डीजी-बीजगणित के बारे में अन्य तथ्य
- होमोलॉजी (गणित) डीजी-बीजगणित का श्रेणीबद्ध बीजगणित है. डीजीए-बीजगणित की समरूपता संवर्धित बीजगणित है।
यह भी देखें
- होमोटोपी साहचर्य बीजगणित
- विभेदक श्रेणीबद्ध श्रेणी
- विभेदक श्रेणीबद्ध झूठ बीजगणित
- विभेदक श्रेणीबद्ध योजना
- विभेदक श्रेणीबद्ध मॉड्यूल
संदर्भ
- ↑ Cartan, Henri (1954). "Sur les groupes d'Eilenberg-Mac Lane ". Proceedings of the National Academy of Sciences of the United States of America. 40 (6): 467–471. doi:10.1073/pnas.40.6.467. PMC 534072. PMID 16589508.
- ↑ Manetti. "विभेदक श्रेणीबद्ध झूठ बीजगणित और औपचारिक विरूपण सिद्धांत" (PDF). Archived (PDF) from the original on 16 Jun 2013.
- ↑ Cartan, H. (1954–1955). "DGA-algèbres et DGA-modules". Séminaire Henri Cartan (in English). 7 (1): 1–9.
- ↑ Cartan, H. (1954–1955). "डीजीए-मॉड्यूल (जारी), निर्माण की अवधारणा". Séminaire Henri Cartan (in English). 7 (1): 1–11.
- Manin, Yuri Ivanovich; Gelfand, Sergei I. (2003), Methods of Homological Algebra, Berlin, New York: Springer-Verlag, ISBN 978-3-540-43583-9, see sections V.3 and V.5.6