औपचारिक व्युत्पन्न

For the concept in formal language theory, see Brzozowski derivative.

गणित में, औपचारिक व्युत्पन्न एक बहुपद अंगूठी या औपचारिक शक्ति श्रृंखला की अंगूठी के तत्वों पर एक ऑपरेशन है जो व्युत्पन्न से व्युत्पन्न के रूप की नकल करता है। हालांकि वे समान दिखाई देते हैं, एक औपचारिक व्युत्पन्न का बीजगणितीय लाभ यह है कि यह एक सीमा (गणित) की धारणा पर निर्भर नहीं करता है, जो आम तौर पर एक अंगूठी (गणित) के लिए परिभाषित करना असंभव है। व्युत्पन्न के कई गुण औपचारिक व्युत्पन्न के लिए सही हैं, लेकिन कुछ, विशेष रूप से वे जो संख्यात्मक विवरण बनाते हैं, नहीं हैं।

बीजगणित में एक बहुपद के अनेक मूलों का परीक्षण करने के लिए औपचारिक अवकलन का उपयोग किया जाता है।

परिभाषा

एक अंगूठी ठीक करें $R$ (आवश्यक रूप से क्रमविनिमेय नहीं) और चलो $A=R[x]$ बहुपदों की अंगूठी बनें $R$. (अगर $R$ क्रमविनिमेय नहीं है, यह एकल अनिश्चित चर पर मुक्त बीजगणित है।)

फिर औपचारिक व्युत्पन्न के तत्वों पर एक ऑपरेशन है $A$, जहां अगर

$f(x)\,=\,a_{n}x^{n}+\cdots +a_{1}x+a_{0},$

तो इसका औपचारिक व्युत्पन्न है

$f'(x)\,=\,Df(x)=na_{n}x^{n-1}+\cdots +ia_{i}x^{i-1}+\cdots +a_{1}.$

उपरोक्त परिभाषा में, किसी भी गैर-ऋणात्मक पूर्णांक के लिए $i$ और $r\in R$, $ir$ एक रिंग में हमेशा की तरह परिभाषित किया गया है: $ir=\underbrace {r+r+\cdots +r} _{\text{i times}}$ (साथ $ir=0$ अगर $i=0$). यह परिभाषा भले ही काम करती हो $R$ पहचान तत्व नहीं है।

वैकल्पिक स्वयंसिद्ध परिभाषा

औपचारिक व्युत्पन्न को स्वयंसिद्ध रूप से मानचित्र के रूप में भी परिभाषित किया जा सकता है $(\ast )^{\prime }\colon R[x]\to R[x]$ निम्नलिखित गुणों को संतुष्ट करना।

1) $r'=0$ सभी के लिए $r\in R\subset R[x].$ 2) सामान्यीकरण स्वयंसिद्ध, $x'=1.$ 3) मानचित्र बहुपद वलय में अतिरिक्त संचालन के साथ संचार करता है, $(a+b)'=a'+b'.$ 4) नक्शा बहुपद वलय गुणन संक्रिया के संबंध में लीबनिज के नियम को संतुष्ट करता है, $(a\cdot b)'=a'\cdot b+a\cdot b'.$ कोई यह साबित कर सकता है कि यह स्वयंसिद्ध परिभाषा सभी सामान्य रिंग स्वयंसिद्धों का सम्मान करते हुए एक अच्छी तरह से परिभाषित मानचित्र उत्पन्न करती है।

उपरोक्त सूत्र (अर्थात औपचारिक व्युत्पन्न की परिभाषा जब गुणांक वलय क्रमविनिमेय है) पूर्वोक्त स्वयंसिद्धों का प्रत्यक्ष परिणाम है:

${\begin{aligned}\left(\sum _{i}a_{i}x^{i}\right)'&=\sum _{i}\left(a_{i}x^{i}\right)'\\&=\sum _{i}\left((a_{i})'x^{i}+a_{i}\left(x^{i}\right)'\right)\\&=\sum _{i}\left(0x^{i}+a_{i}\left(\sum _{j=1}^{i}x^{j-1}(x')x^{i-j}\right)\right)\\&=\sum _{i}\sum _{j=1}^{i}a_{i}x^{i-1}\\&=\sum _{i}ia_{i}x^{i-1}.\end{aligned}}$

गुण

यह सत्यापित किया जा सकता है कि:

• औपचारिक अवकलन रैखिक है: किसी भी दो बहुपद f(x),g(x) in R[x] और R के अवयव r,s के लिए हमारे पास है

$(r\cdot f+s\cdot g)'(x)=r\cdot f'(x)+s\cdot g'(x).$

• औपचारिक व्युत्पन्न उत्पाद नियम को संतुष्ट करता है:

$(f\cdot g)'(x)=f'(x)\cdot g(x)+f(x)\cdot g'(x).$

कारकों के क्रम पर ध्यान दें; जब R क्रमविनिमेय नहीं है तो यह महत्वपूर्ण है।

ये दो गुण D को A पर एक व्युत्पत्ति (अमूर्त बीजगणित) बनाते हैं (सामान्यीकरण की चर्चा के लिए सापेक्ष विभेदक रूपों का मॉड्यूल देखें)।

ध्यान दें कि औपचारिक व्युत्पन्न रिंग समरूपता नहीं है, क्योंकि उत्पाद नियम कहने से अलग है (और यह मामला नहीं है) कि $(f\cdot g)'=f'\cdot g'$. हालाँकि, यह उपरोक्त नियमों द्वारा मॉड्यूल (गणित) | आर-मॉड्यूल का एक समरूपता (रैखिक मानचित्र) है।

दोहराए गए कारकों को खोजने के लिए आवेदन

कलन की तरह, व्युत्पन्न कई जड़ों का पता लगाता है। यदि R एक क्षेत्र है तो R[x] एक यूक्लिडियन प्रांत है, और इस स्थिति में हम मूलों की बहुलता को परिभाषित कर सकते हैं; R[x] में प्रत्येक बहुपद f(x) और R के प्रत्येक तत्व r के लिए, एक गैर-ऋणात्मक पूर्णांक m मौजूद है_rऔर एक बहुपद g(x) ऐसा है कि

$f(x)=(x-r)^{m_{r}}g(x)$

जहां जी (आर) ≠ 0. एम_rf की जड़ के रूप में r की बहुलता है। यह लाइबनिज नियम से इस प्रकार है कि इस स्थिति में, एम_rr के परिणामी बहुपद का मूल नहीं होने से पहले f(x) पर किए जाने वाले विभेदों की संख्या भी है। इस अवलोकन की उपयोगिता यह है कि हालांकि सामान्य तौर पर आर [x] में डिग्री एन के प्रत्येक बहुपद में एन जड़ों की बहुलता नहीं होती है (यह उपरोक्त प्रमेय द्वारा अधिकतम है), हम फील्ड एक्सटेंशन को पास कर सकते हैं जिसमें यह सत्य है ( अर्थात्, बीजगणितीय बंद)। एक बार जब हम ऐसा कर लेते हैं, तो हम एक बहुमूल को उजागर कर सकते हैं जो केवल R के ऊपर एक मूल नहीं था। उदाहरण के लिए, यदि R तीन तत्वों वाला क्षेत्र है, तो बहुपद

$f(x)\,=\,x^{6}+1$

R में कोई जड़ नहीं है; हालाँकि, इसका औपचारिक व्युत्पन्न ($f'(x)\,=\,6x^{5}$) शून्य है (क्यों?) क्योंकि R में 3 = 0 और R के किसी भी विस्तार में, इसलिए जब हम बीजगणितीय समापन के पास जाते हैं तो इसका एक बहुमूल होता है जिसे स्वयं R में गुणनखंड द्वारा पता नहीं लगाया जा सकता था। इस प्रकार, औपचारिक भेदभाव बहुलता की एक संगणनीयता सिद्धांत (कंप्यूटर विज्ञान) की धारणा की अनुमति देता है। गैलोज़ सिद्धांत में यह महत्वपूर्ण है, जहां अलग-अलग फ़ील्ड एक्सटेंशन (बहुपदों द्वारा परिभाषित बहुपदों के साथ परिभाषित) और अविभाज्य लोगों के बीच भेद किया जाता है।

== विश्लेषणात्मक व्युत्पन्न == के अनुरूप जब अदिशों का वलय R क्रमविनिमेय होता है, तो औपचारिक अवकलज की एक वैकल्पिक और समतुल्य परिभाषा होती है, जो अवकलन कलन में देखी गई परिभाषा के समान होती है। वलय R[X,Y] का तत्व Y–X, Y को विभाजित करता है^{एन</सुप> - एक्सn किसी भी गैर-ऋणात्मक पूर्णांक n के लिए, और इसलिए किसी भी बहुपद f के लिए f(Y) - f(X) को एक अनिश्चित में विभाजित करता है। यदि R[X,Y] में भागफल को g द्वारा निरूपित किया जाता है, तब}

$g(X,Y)={\frac {f(Y)-f(X)}{Y-X}}.$

तब यह सत्यापित करना कठिन नहीं है कि g(X,X) (R[X] में) f के औपचारिक व्युत्पन्न के साथ मेल खाता है जैसा कि इसे ऊपर परिभाषित किया गया था।

डेरिवेटिव का यह सूत्रीकरण एक औपचारिक शक्ति श्रृंखला के लिए समान रूप से अच्छी तरह से काम करता है, जब तक कि गुणांक की अंगूठी कम्यूटिव है।

वास्तव में, यदि इस परिभाषा में विभाजन कार्यों के वर्ग में किया जाता है $Y$ पर निरंतर $X$, यह व्युत्पन्न की शास्त्रीय परिभाषा को पुनः प्राप्त करेगा। यदि यह दोनों में निरंतर कार्यों की श्रेणी में किया जाता है $X$ और $Y$, हमें समान भिन्नता और हमारा कार्य मिलता है $f$ निरंतर भिन्न होगा। इसी तरह, कार्यों के विभिन्न वर्गों (जैसे, लिप्सचिट्ज़ वर्ग) को चुनकर, हमें भिन्नता के विभिन्न स्वाद मिलते हैं। इस प्रकार, विभेदीकरण कार्यों के बीजगणित का एक हिस्सा बन जाता है।

यह भी देखें

• व्युत्पन्न
• यूक्लिडियन डोमेन
• सापेक्ष अंतर रूपों का मॉड्यूल
• गैल्वा सिद्धांत
• औपचारिक शक्ति श्रृंखला
• पिंचरले व्युत्पन्न

स्रोत

• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556, Zbl 0984.00001
• माइकल लिविशिट्स, आप कलन को सरल बना सकते हैं, arXiv:0905.3611v1

श्रेणी:सार बीजगणित