विभेदक श्रेणीबद्ध बीजगणित: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 5: Line 5:


== परिभाषा ==
== परिभाषा ==
एक विभेदक श्रेणीबद्ध बीजगणित (या संक्षेप में डीजी-बीजगणित) ''ए'' मानचित्र से सुसज्जित <math>d\colon A \to A</math> श्रेणीबद्ध बीजगणित है जिसमें या तो डिग्री 1 (कोचेन कॉम्प्लेक्स कन्वेंशन) या डिग्री −1 (चेन कॉम्प्लेक्स कन्वेंशन) है जो दो नियमो को पूरा करती है:
एक विभेदक श्रेणीबद्ध बीजगणित (या संक्षेप में डीजी-बीजगणित) ''ए'' मानचित्र से सुसज्जित <math>d\colon A \to A</math> श्रेणीबद्ध बीजगणित है जिसमें या तो डिग्री 1 (कोचेन जटिल कन्वेंशन) या डिग्री −1 (चेन जटिल कन्वेंशन) है जो दो नियमो को पूरा करती है:


{{ordered list|type=निम्न-रोमन
{{ordered list|type=निम्न-रोमन
   | <math>d \circ d=0</math>. <br />यह कहता है कि ''डी'' ''ए'' को एक [[चेन कॉम्प्लेक्स]] या [[कोचेन कॉम्प्लेक्स]] की संरचना देता है (तदनुसार अंतर डिग्री को कम या बढ़ाता है)।
   | <math>d \circ d=0</math>. <br />यह कहता है कि ''डी'' ''ए'' को एक [[चेन जटिल]] या [[कोचेन जटिल]] की संरचना देता है (तदनुसार अंतर डिग्री को कम या बढ़ाता है)।
   | <math>d(a \cdot b)=(da) \cdot b + (-1)^{\deg(a)}a \cdot (db)</math>, जहाँ <math>\operatorname{deg}</math> सजातीय तत्वों की [[ग्रेडेड रिंग|डिग्री]] है.{{Anchor|Graded Leibniz rule}} <br />यह कहता है कि [[चेन कॉम्प्लेक्स|डिफरेंशियल]] ''डी'' ''वर्गीकृत [[उत्पाद नियम|लीबनिज नियम]]''' का सम्मान करता है।}}
   | <math>d(a \cdot b)=(da) \cdot b + (-1)^{\deg(a)}a \cdot (db)</math>, जहाँ <math>\operatorname{deg}</math> सजातीय तत्वों की [[ग्रेडेड रिंग|डिग्री]] है.{{Anchor|Graded Leibniz rule}} <br />यह कहता है कि [[चेन कॉम्प्लेक्स|डिफरेंशियल]] ''डी'' ''वर्गीकृत [[उत्पाद नियम|लीबनिज नियम]]''' का सम्मान करता है।}}


उसी परिभाषा को बताने का अधिक संक्षिप्त तरीका यह है कि डीजी-बीजगणित [[मोनोइडल श्रेणी]] चेन कॉम्प्लेक्स श्रेणी ऑफ चेन कॉम्प्लेक्स में एक [[ मोनोइड वस्तु ]] है।
उसी परिभाषा को बताने का अधिक संक्षिप्त तरीका यह है कि डीजी-बीजगणित [[मोनोइडल श्रेणी]] चेन जटिल श्रेणी ऑफ चेन जटिल में एक [[ मोनोइड वस्तु |मोनोइड वस्तु]] है।


डीजी-बीजगणित के बीच डीजी रूपवाद श्रेणीबद्ध बीजगणित समरूपता है जो अंतर डी का सम्मान करता है।
डीजी-बीजगणित के बीच डीजी रूपवाद श्रेणीबद्ध बीजगणित समरूपता है जो अंतर डी का सम्मान करता है।


एक 'विभेदक श्रेणीबद्ध [[संवर्धित बीजगणित]]' (जिसे 'डीजीए-बीजगणित' भी कहा जाता है, एक संवर्धित डीजी-बीजगणित या बस 'डीजीए') डीजी-बीजगणित है जो ग्राउंड रिंग (गणित) के लिए डीजी आकारिकी से सुसज्जित है (शब्दावली [[ हेनरी कर्तन | हेनरी कर्तन]] के कारण है)।<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> चेतावनी: कुछ स्रोत डीजी-बीजगणित के लिए डीजीए शब्द का उपयोग करते हैं।
एक 'विभेदक श्रेणीबद्ध [[संवर्धित बीजगणित]]' (जिसे 'डीजीए-बीजगणित' भी कहा जाता है, एक संवर्धित डीजी-बीजगणित या बस 'डीजीए') डीजी-बीजगणित है जो ग्राउंड रिंग (गणित) के लिए डीजी आकारिकी से सुसज्जित है (शब्दावली [[ हेनरी कर्तन |हेनरी कर्तन]] के कारण है)।<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 24: Line 24:
जहाँ <math>V^{\otimes 0} = K</math>.
जहाँ <math>V^{\otimes 0} = K</math>.


यदि <math>e_1, \ldots, e_n</math> के लिए [[आधार (रैखिक बीजगणित)]] <math>V</math> अंतर है टेंसर बीजगणित <math>d</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>
आधार तत्वों को भेजना
आधार तत्वों को भेजना
:<math>d(e_{i_1}\otimes \cdots \otimes e_{i_k}) = \sum_{1 \leq j \leq k} e_{i_1}  
:<math>d(e_{i_1}\otimes \cdots \otimes e_{i_k}) = \sum_{1 \leq j \leq k} e_{i_1}  
\otimes \cdots \otimes d(e_{i_j}) \otimes \cdots \otimes e_{i_k}</math>
\otimes \cdots \otimes d(e_{i_j}) \otimes \cdots \otimes e_{i_k}</math>
विशेष रूप से <math>d(e_i) = (-1)^i</math> हमारे पास है इसलिए
विशेष रूप से <math>d(e_i) = (-1)^i</math> हमारे पास है इसलिए
:<math>d(e_{i_1}\otimes \cdots \otimes e_{i_k}) = \sum_{1 \leq j \leq k} (-1)^{i_j}e_{i_1}  
:<math>d(e_{i_1}\otimes \cdots \otimes e_{i_k}) = \sum_{1 \leq j \leq k} (-1)^{i_j}e_{i_1}  
\otimes \cdots \otimes e_{i_{j-1}} \otimes e_{i_{j+1}} \otimes \cdots \otimes e_{i_k}</math>
\otimes \cdots \otimes e_{i_{j-1}} \otimes e_{i_{j+1}} \otimes \cdots \otimes e_{i_k}</math>
 
=== कोस्ज़ुल जटिल ===
 
विभेदक श्रेणीबद्ध बीजगणित के मूलभूत उदाहरणों में से एक, जिसका व्यापक रूप से [[क्रमविनिमेय बीजगणित]] और [[बीजगणितीय ज्यामिति]] में उपयोग किया जाता है, कोसज़ुल जटिल है। इसका कारण इसके अनुप्रयोगों की विस्तृत श्रृंखला है, जिसमें पूर्ण प्रतिच्छेदन के [[समतल संकल्प]] का निर्माण करना सम्मिलित है, और [[व्युत्पन्न योजना]] से, वे व्युत्पन्न बीजगणित को व्युत्पन्न महत्वपूर्ण स्पेस का प्रतिनिधित्व करते हैं।
=== कोस्ज़ुल कॉम्प्लेक्स ===
विभेदक श्रेणीबद्ध बीजगणित के मूलभूत उदाहरणों में से एक, जिसका व्यापक रूप से [[क्रमविनिमेय बीजगणित]] और [[बीजगणितीय ज्यामिति]] में उपयोग किया जाता है, कोसज़ुल कॉम्प्लेक्स है। इसका कारण इसके अनुप्रयोगों की विस्तृत श्रृंखला है, जिसमें पूर्ण प्रतिच्छेदन के [[समतल संकल्प]] का निर्माण करना सम्मिलित है, और [[व्युत्पन्न योजना]] से, वे व्युत्पन्न बीजगणित को व्युत्पन्न महत्वपूर्ण स्पेस का प्रतिनिधित्व करते हैं।


=== दे-रहम बीजगणित ===
=== दे-रहम बीजगणित ===
Line 42: Line 40:
=== एकवचन सहसंगति ===
=== एकवचन सहसंगति ===
*गुणांकों के साथ [[टोपोलॉजिकल स्पेस]] की [[एकवचन सहसंरचना]] <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>\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>(A,d)</math> श्रेणीबद्ध बीजगणित है. डीजीए-बीजगणित की समरूपता संवर्धित बीजगणित है।
* [[होमोलॉजी (गणित)]] <math>H_*(A) = \ker(d) / \operatorname{im}(d)</math> डीजी-बीजगणित का <math>(A,d)</math> श्रेणीबद्ध बीजगणित है. डीजीए-बीजगणित की समरूपता संवर्धित बीजगणित है।

Revision as of 16:25, 9 July 2023

गणित में, विशेष रूप से समरूप बीजगणित में, विभेदक श्रेणीबद्ध बीजगणित सहयोगी बीजगणित है जिसमें अतिरिक्त श्रृंखला जटिल संरचना होती है जो रिंग संरचना पर बीजगणित का सम्मान करती है।

परिभाषा

एक विभेदक श्रेणीबद्ध बीजगणित (या संक्षेप में डीजी-बीजगणित) मानचित्र से सुसज्जित श्रेणीबद्ध बीजगणित है जिसमें या तो डिग्री 1 (कोचेन जटिल कन्वेंशन) या डिग्री −1 (चेन जटिल कन्वेंशन) है जो दो नियमो को पूरा करती है:

  1. .
    यह कहता है कि डी को एक चेन जटिल या कोचेन जटिल की संरचना देता है (तदनुसार अंतर डिग्री को कम या बढ़ाता है)।
  2. , जहाँ सजातीय तत्वों की डिग्री है.
    यह कहता है कि डिफरेंशियल डी वर्गीकृत लीबनिज नियम' का सम्मान करता है।

उसी परिभाषा को बताने का अधिक संक्षिप्त तरीका यह है कि डीजी-बीजगणित मोनोइडल श्रेणी चेन जटिल श्रेणी ऑफ चेन जटिल में एक मोनोइड वस्तु है।

डीजी-बीजगणित के बीच डीजी रूपवाद श्रेणीबद्ध बीजगणित समरूपता है जो अंतर डी का सम्मान करता है।

एक 'विभेदक श्रेणीबद्ध संवर्धित बीजगणित' (जिसे 'डीजीए-बीजगणित' भी कहा जाता है, एक संवर्धित डीजी-बीजगणित या बस 'डीजीए') डीजी-बीजगणित है जो ग्राउंड रिंग (गणित) के लिए डीजी आकारिकी से सुसज्जित है (शब्दावली हेनरी कर्तन के कारण है)।[1] चेतावनी: कुछ स्रोत डीजी-बीजगणित के लिए डीजीए शब्द का उपयोग करते हैं।

डीजी-बीजगणित के उदाहरण

टेंसर बीजगणित

टेंसर बीजगणित डीजी-बीजगणित है जिसमें जटिल शर्ट के समान अंतर होता है। सदिश समष्टि के लिए क्षेत्र पर (गणित) श्रेणीबद्ध सदिश स्पेस है

जहाँ .

यदि के लिए आधार (रैखिक बीजगणित) अंतर है टेंसर बीजगणित पर घटक-वार परिभाषित किया जाता है

आधार तत्वों को भेजना

विशेष रूप से हमारे पास है इसलिए

कोस्ज़ुल जटिल

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

दे-रहम बीजगणित

मैनिफोल्ड पर विभेदक रूप, बाहरी व्युत्पन्न और विभेदक रूप के साथ मिलकर डीजी-बीजगणित बनाते हैं। इनका व्यापक अनुप्रयोग है, जिसमें व्युत्पन्न विरूपण सिद्धांत भी सम्मिलित है।[2] डॉ कहलमज गर्भाशय देखें।

एकवचन सहसंगति

  • गुणांकों के साथ टोपोलॉजिकल स्पेस की एकवचन सहसंरचना डीजी-बीजगणित है: अंतर संक्षिप्त सटीक अनुक्रम से जुड़े बॉकस्टीन समरूपता द्वारा दिया गया है , और उत्पाद कप उत्पाद द्वारा दिया जाता है। इस विभेदक श्रेणीबद्ध बीजगणित का उपयोग कार्टन सेमिनार में ईलेनबर्ग-मैकलेन रिक्त स्पेस की कोहोलॉजी की गणना करने में सहायता के लिए किया गया था।[3][4]

डीजी-बीजगणित के बारे में अन्य तथ्य

  • होमोलॉजी (गणित) डीजी-बीजगणित का श्रेणीबद्ध बीजगणित है. डीजीए-बीजगणित की समरूपता संवर्धित बीजगणित है।

यह भी देखें

संदर्भ

  1. 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.
  2. Manetti. "विभेदक श्रेणीबद्ध झूठ बीजगणित और औपचारिक विरूपण सिद्धांत" (PDF). Archived (PDF) from the original on 16 Jun 2013.
  3. Cartan, H. (1954–1955). "DGA-algèbres et DGA-modules". Séminaire Henri Cartan (in English). 7 (1): 1–9.
  4. Cartan, H. (1954–1955). "डीजीए-मॉड्यूल (जारी), निर्माण की अवधारणा". Séminaire Henri Cartan (in English). 7 (1): 1–11.