अवकल बीजगणित

This article is about algebraic study of differential equations. For the concept in homological algebra, see Differential graded algebra.

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

अधिक विशेष रूप से, डिफरेंशियल अलजेब्रा 1950 में जोसेफ रिट द्वारा पेश किए गए सिद्धांत को संदर्भित करता है, जिसमें डिफरेंशियल रिंग, डिफरेंशियल फील्ड व्युत्पत्ति (विभेदक बीजगणित) रिंग (गणित), फील्ड (गणित) और बीजगणित से सुसज्जित क्षेत्र पर होते हैं। अनेक व्युत्पत्तियाँ (विभेदक बीजगणित)।

विभेदक क्षेत्र का एक प्राकृतिक उदाहरण जटिल संख्याओं पर एक चर में तर्कसंगत कार्यों का क्षेत्र है, $\mathbb {C} (t),$ जहां व्युत्पत्ति के संबंध में भेदभाव है $t.$ अधिक सामान्यतः, प्रत्येक अंतर समीकरण को समीकरण में दिखाई देने वाले (ज्ञात) कार्यों द्वारा उत्पन्न अंतर क्षेत्र पर अंतर बीजगणित के एक तत्व के रूप में देखा जा सकता है।

इतिहास

जोसेफ रिट ने विभेदक बीजगणित विकसित किया क्योंकि उन्होंने विभेदक समीकरणों की प्रणालियों को विभिन्न विहित रूपों में कम करने के प्रयासों को एक असंतोषजनक दृष्टिकोण के रूप में देखा। हालाँकि, बीजगणितीय उन्मूलन विधियों और बीजगणितीय मैनिफोल्ड सिद्धांत की सफलता ने रिट को अंतर समीकरणों के लिए एक समान दृष्टिकोण पर विचार करने के लिए प्रेरित किया। उनके प्रयासों से एक प्रारंभिक पेपर मैनिफोल्ड्स ऑफ फंक्शन्स डिफाइन्ड बाय सिस्टम्स ऑफ अलजेब्रिक डिफरेंशियल इक्वेशन और 2 किताबें, डिफरेंशियल इक्वेशन फ्रॉम द अलजेब्रिक स्टैंडपॉइंट और डिफरेंशियल अलजेब्रा सामने आईं। उन्हें>. रिट के छात्र एलिस कल्चेन ने इस क्षेत्र को आगे बढ़ाया और डिफरेंशियल अलजेब्रा एंड अलजेब्रिक ग्रुप्स प्रकाशित किया।

विभेदक वलय

परिभाषा

एक व्युत्पत्ति (विभेदक बीजगणित) ${\textstyle \partial }$ एक अंगूठी पर ${\textstyle {\mathcal {R}}}$ एक फ़ंक्शन है (गणित) $\partial :R\to R\,$ ऐसा है कि

$$\partial (r_{1}+r_{2})=\partial r_{1}+\partial r_{2}$$

और

$\partial (r_{1}r_{2})=(\partial r_{1})r_{2}+r_{1}(\partial r_{2})\quad$ (प्रॉडक्ट नियम),

हरएक के लिए $r_{1}$ और $r_{2}$ में $R.$ व्युत्पत्ति पूर्णांकों पर रैखिक मानचित्र है क्योंकि ये सर्वसमिकाएं निहित होती हैं $\partial (0)=\partial (1)=0$ और $\partial (-r)=-\partial (r).$ एक विभेदक वलय एक क्रमविनिमेय वलय है $R$ एक या अधिक व्युत्पत्तियों से सुसज्जित जो जोड़ीदार रूप से आवागमन करती हैं; वह है,

$$\partial _{1}(\partial _{2}(r))=\partial _{2}(\partial _{1}(r))$$

व्युत्पत्तियों की प्रत्येक जोड़ी और प्रत्येक के लिए $r\in R.$ जब केवल एक ही व्युत्पत्ति होती है तो अक्सर एक साधारण अंतर वलय की बात की जाती है; अन्यथा, कोई आंशिक अंतर रिंग की बात करता है

एक विभेदक क्षेत्र एक विभेदक वलय है जो एक क्षेत्र भी है। एक विभेदक बीजगणित $A$ एक विभेदक क्षेत्र पर $K$ एक विभेदक वलय है जिसमें शामिल है $K$ एक सबरिंग के रूप में जैसे कि प्रतिबंध $K$ की व्युत्पत्तियों का $A$ की व्युत्पत्ति के बराबर $K.$ (एक अधिक सामान्य परिभाषा नीचे दी गई है, जो उस मामले को कवर करती है $K$ एक फ़ील्ड नहीं है, और अनिवार्य रूप से समतुल्य है जब $K$ एक फ़ील्ड है.)

विट बीजगणित एक विभेदक वलय है जिसमें क्षेत्र शामिल होता है $\mathbb {Q}$ तर्कसंगत संख्याओं का. समान रूप से, यह एक विभेदक बीजगणित है $\mathbb {Q} ,$ तब से $\mathbb {Q}$ इसे एक विभेदक क्षेत्र के रूप में माना जा सकता है जिस पर प्रत्येक व्युत्पत्ति शून्य कार्य है।

एक विभेदक वलय के स्थिरांक तत्व हैं $r$ ऐसा है कि $\partial r=0$ प्रत्येक व्युत्पत्ति के लिए $\partial .$ एक विभेदक सबरिंग के स्थिरांक एक उपरिंग बनाते हैं और एक भिन्न क्षेत्र के स्थिरांक एक उपक्षेत्र बनाते हैं। स्थिरांक का यह अर्थ एक स्थिर कार्य की अवधारणा को सामान्यीकृत करता है, और इसे स्थिरांक (गणित) के सामान्य अर्थ के साथ भ्रमित नहीं किया जाना चाहिए।

मूल सूत्र

निम्नलिखित पहचान (गणित) में, $\delta$ एक विभेदक वलय की व्युत्पत्ति है $R.$

• अगर $r\in R$ और $c$ में एक स्थिरांक है $R$ (वह है, $\delta c=0$), तब
  $$\delta (cr)=c\delta (r).$$
• अगर $r\in R$ और $u$ में एक इकाई (रिंग सिद्धांत) है $R,$ तब
  $$\mathrm{\delta <!--\; \delta \; -->}\left(\frac{r}{u}\right)=\frac{}{}$$