विभेदक (गणित)

This article is about अति सूक्ष्म अंतर की ऐतिहासिक अवधारणा से प्राप्त गणितीय धारणा. For अधिक सामान्य उपयोग, see विभेदक (बहुविकल्पी).

गणित में, विभेदक गणना के आरम्भिक दिनों से प्राप्त कई संबंधित धारणाओं को संदर्भित करता है, एक परिशुद्ध आधार पर रखें, जैसे कि अत्यणु विभेदक और फलानो के व्युत्पन्न को संदर्भित करता है।

इस शब्द का प्रयोग गणित की विभिन्न शाखाओं जैसे गणना, विभेदक ज्यामिति, बीजगणितीय ज्यामिति और बीजगणितीय सांस्थिति में किया जाता है।

परिचय

अवकलन शब्द का प्रयोग गणना में गैर-कठोर रूप से कुछ परिवर्ती मात्रा में एक अतिसूक्ष्म (असीम रूप से छोटा) परिवर्तन को संदर्भित करने के लिए किया जाता है। उदाहरण के लिए, यदि x एक चर है, तो x के मान में परिवर्तन को प्रायः Δx (उच्चारण डेल्टा x) कहा जाता है। विभेदक dx चर x में असीम रूप से छोटे परिवर्तन का प्रतिनिधित्व करता है। असीम रूप से छोटे या असीम रूप से धीमे परिवर्तन का विचार सहज रूप से अत्यंत उपयोगी है, और इस धारणा को गणितीय रूप से सटीक बनाने के कई प्रकार हैं।

गणना का उपयोग करके, व्युत्पन्न का उपयोग करके गणितीय रूप से विभिन्न चरों के असीम रूप से छोटे परिवर्तनों को एक दूसरे से संबंधित करना संभव है। यदि y, x का एक फलन है, तो y का विभेदक dy सूत्र द्वारा dx से संबंधित है

$$dy={\frac {dy}{dx}}\,dx,$$

कहाँ ${\frac {dy}{dx}}\,$x के संबंध में y के व्युत्पन्न को दर्शाता है। यह सूत्र सहज विचार को सारांशित करता है कि x के संबंध में y का व्युत्पन्न विभेदक Δy/Δx के अनुपात की सीमा है क्योंकि Δx अत्यल्प हो जाता है।

मूलभूत धारणाएं

• गणना में, विभेदक किसी फलन के रैखिकीकरण में परिवर्तन को दर्शाता है।
  • कुल विभेदक कई चर के फलानो के लिए इसका सामान्यीकरण है।
• गणना के पारंपरिक दृष्टिकोण में, विभेदक (जैसे dx, dy, dt, आदि) की व्याख्या अतिसूक्ष्म के रूप में की जाती है। अतिसूक्ष्म को परिशुद्ध से परिभाषित करने के कई प्रकार हैं, लेकिन यह कहना पर्याप्त है कि एक अपरिमेय संख्या किसी भी धनात्मक वास्तविक संख्या की तुलना में निरपेक्ष मान में छोटी होती है, पूर्णतः वैसे ही जैसे एक असीम रूप से बड़ी संख्या किसी भी वास्तविक संख्या से बड़ी होती है।
• विभेदक Rⁿ से R^m तक एक फलन के आंशिक व्युत्पन्न के जैकबियन आव्यूह का दूसरा नाम है (विशेष रूप से जब इस आव्यूह को एक रैखिक मानचित्र के रूप में देखा जाता है)।
• अधिक सामान्यतः, विभेदक या पुशफॉरवर्ड, सुचारू बहुरूपता और इसे परिभाषित पुशफॉरवर्ड संचालन के मध्य मानचित्र के व्युत्पन्न को संदर्भित करता है। पुलबैक की दोहरी अवधारणा को परिभाषित करने के लिए विभेदक का भी उपयोग किया जाता है।
• प्रसंभाव्य गणना प्रसंभाव्य विभेदक की धारणा और प्रसंभाव्य प्रक्रियाओं के लिए संबंधित गणना प्रदान करता है।
• स्टील्जे समाकल में समाकलक को एक फलन के विभेदक के रूप में दर्शाया गया है। औपचारिक रूप से, समाकल के अंतर्गत दिखाई देने वाला विभेदक यथार्थत: एक विभेदक के रूप में व्यवहार करता है: इस प्रकार, स्टेल्टजेस समाकल के लिए भागों के सूत्रों द्वारा प्रतिस्थापन और एकीकरण द्वारा एकीकरण, क्रमशः श्रृंखला नियम और विभेदक के लिए उत्पाद नियम के अनुरूप होता है।

इतिहास और उपयोग

See also: गणना का इतिहास

गणना के विकास में अतिसूक्ष्म मात्रा ने महत्वपूर्ण भूमिका निभाई है। आर्किमिडीज ने उनका उपयोग किया, यद्यपि वह यह नहीं मानता था कि अतिसूक्ष्म से जुड़े तर्क कठोर थे। आइजैक न्यूटन ने उन्हें प्रवाह के रूप में संदर्भित किया। हालाँकि, यह गॉटफ्रीड लीबनिज थे जिन्होंने अतिसूक्ष्म मात्राओं के लिए विभेदक शब्द सृष्ट और उनके लिए संकेतन प्रस्तावित किया जो आज भी उपयोग किया जाता है।

लीबनिज के संकेतन में, यदि x एक चर मात्रा है, तो dx चर x में एक अतिसूक्ष्म परिवर्तन को दर्शाता है। इस प्रकार, यदि y, x का एक फलन है, तो x के संबंध में y के व्युत्पन्न को प्रायः dy/dx के रूप में निरूपित किया जाता है, जिसे अन्यथा (न्यूटन या लाग्रेंज के संकेतन में) ẏ या y′ के रूप में निरूपित किया जाएगा। इस रूप में विभेदक के उपयोग ने बहुत आलोचना को आकर्षित किया, उदाहरण के लिए बिशप बर्कले द्वारा प्रसिद्ध पैम्फलेट विश्लेषक में है। फिर भी, संकेतन लोकप्रिय बना हुआ है क्योंकि यह दृढ़ता से इस विचार का सुझाव देता है कि x पर y का व्युत्पन्न परिवर्तन की तात्कालिक दर है (लेखाचित्र की स्पर्श रेखा का ढलान), जो अनुपात Δy/Δx की सीमा लेकर प्राप्त किया जा सकता है क्योंकि Δx स्वेच्छतः छोटा हो जाता है। विभेदक भी आयामी विश्लेषण के साथ संगत होते हैं, जहां एक विभेदक जैसे dx के चर x के समान आयाम होते हैं।

17वीं शताब्दी CE के दौरान गणना गणित की एक अलग शाखा के रूप में विकसित हुआ, हालांकि प्राचीन काल में वापस जाने वाले पूर्ववर्ती थे। उदाहरण के लिए, न्यूटन, लीबनिज की प्रस्तुतियों को विभेदक, धाराप्रवाह और ''असीम रूप से छोटे'' जैसे शब्दों की गैर-कठोर परिभाषाओं द्वारा चिह्नित किया गया था। जबकि बिशप बर्कले के 1734 विश्लेषक में कई तर्क प्रकृति में धर्मशास्त्रीय हैं, आधुनिक गणितज्ञ विश्लेषक ''आवांछित प्रतिबिम्ब के दिवंगत मात्रा'' के प्रतिकूल उनके तर्क की वैधता को स्वीकार करते हैं; हालाँकि, आधुनिक दृष्टिकोणों में समान तकनीकी समस्याएँ नहीं हैं। कठोरता की कमी के बावजूद 17वीं और 18वीं शताब्दी में असीम प्रगति हुई।19वीं शताब्दी में, कॉची और अन्य ने धीरे-धीरे एप्सिलॉन, निरंतरता, सीमा और व्युत्पन्न के लिए डेल्टा दृष्टिकोण विकसित किया, जिससे कलन के लिए एक ठोस वैचारिक आधार मिला हैं।

20वीं शताब्दी में, कई नई अवधारणाएँ, जैसे, बहुभिन्नरूपी गणना, विभेदक ज्यामिति, पुराने शब्दों के आशय को समाहित करती प्रतीत हुईं, विशेष रूप से विभेदक; विभेदक और अतिसूक्ष्म दोनों का उपयोग नए, अधिक कठोर, अर्थों के साथ किया जाता है।

विभेदक का उपयोगअभिन्न के लिए संकेतन में भी किया जाता है क्योंकि एक समाकल को अनंत मात्रा के अनंत योग के रूप में माना जा सकता है: एक लेखाचित्र के अंतर्गत क्षेत्र लेखाचित्र को असीम रूप से पतली पट्टियों में उप-विभाजित करके और उनके क्षेत्रों का योग करके प्राप्त किया जाता है। एक अभिव्यक्ति में जैसे

$$\int f(x)\,dx,$$

अभिन्न चिह्न (जो एक संशोधित लंबा s है) अनंत योग को दर्शाता है, f(x) एक पतली पट्टी की ''ऊंचाई'' को दर्शाता है, और विभेदक dx इसकी असीम रूप से पतली चौड़ाई को दर्शाता है।

दृष्टिकोण

गणितीय रूप से अवकलन की धारणा को सटीक बनाने के लिए कई दृष्टिकोण हैं।

1. रेखीय नक्शे के रूप में विभेदक। यह दृष्टिकोण विभेदक ज्यामिति में कुल व्युत्पन्न और बाहरी व्युत्पन्न की परिभाषा को रेखांकित करता है।
2. क्रमविनिमेय वलयों के nilpotent तत्वों के रूप में अवकलन। यह दृष्टिकोण बीजगणितीय ज्यामिति में लोकप्रिय है।
3. सेट सिद्धांत के चिकने मॉडल में विभेदक। इस दृष्टिकोण को सिंथेटिक विभेदक ज्यामिति या सुचारू अत्यल्प विश्लेषण के रूप में जाना जाता है और यह बीजगणितीय ज्यामितीय दृष्टिकोण से निकटता से संबंधित है, सिवाय इसके कि टोपोस सिद्धांत के विचारों का उपयोग उस तंत्र को छिपाने के लिए किया जाता है जिसके द्वारा निलपोटेंट अतिसूक्ष्म प्रस्तावित किए जाते हैं।
4. अति वास्तविक संख्या सिस्टम में अतिसूक्ष्म के रूप में विभेदक, जो वास्तविक संख्याओं के विस्तार हैं जिनमें इनवर्टिबल अतिसूक्ष्म और असीम रूप से बड़ी संख्याएं होती हैं। यह अब्राहम रॉबिन्सन द्वारा प्रतिपादित अमानक विश्लेषण का दृष्टिकोण है।

ये दृष्टिकोण एक-दूसरे से बहुत अलग हैं, लेकिन उनके पास मात्रात्मक होने का विचार आम है, यानी यह नहीं कह रहा है कि एक विभेदक असीम रूप से छोटा है, लेकिन यह कितना छोटा है।

रेखीय नक्शे के रूप में अवकलन

भिन्नताओं की सटीक समझ बनाने का एक सरल तरीका है, पहले वास्तविक रेखा पर उन्हें रैखिक मानचित्रों के रूप में उपयोग करके उपयोग किया जाता है। इसका उपयोग किया जा सकता है $\mathbb {R}$, $\mathbb {R} ^{n}$, एक हिल्बर्ट विभेदकिक्ष , एक बनच स्थान, या अधिक सामान्यतः, एक टोपोलॉजिकल वेक्टर स्पेस। वास्तविक रेखा के मामले की व्याख्या करना सबसे आसान है। संदर्भ के आधार पर इस प्रकार के अवकलन को सहपरिवर्ती सदिश या कोटिस्पर्श सदिश के रूप में भी जाना जाता है।

==== आर ==== पर रैखिक नक्शे के रूप में विभेदक

कल्पना करना $f(x)$ पर एक वास्तविक मूल्यवान फलन है $\mathbb {R}$. हम चर की पुनर्व्याख्या कर सकते हैं $x$ में $f(x)$ एक संख्या के बजाय एक फलन होने के नाते, अर्थात् वास्तविक रेखा पर पहचान मानचित्र, जो वास्तविक संख्या लेता है $p$ खुद को: $x(p)=p$. तब $f(x)$ का सम्मिश्रण है $f$ साथ $x$, जिसका मूल्य पर $p$ है $f(x(p))=f(p)$. विभेदक $\operatorname {d} f$ (जो निश्चित रूप से निर्भर करता है $f$) तब एक फलन है जिसका मान at $p$ (आमतौर पर निरूपित $df_{p}$) एक संख्या नहीं है, बल्कि एक रेखीय मानचित्र है $\mathbb {R}$ को $\mathbb {R}$. चूंकि एक रेखीय मानचित्र से $\mathbb {R}$ को $\mathbb {R}$ ए द्वारा दिया जाता है $1\times 1$ आव्यूह (गणित), यह अनिवार्य रूप से एक संख्या के समान है, लेकिन दृष्टिकोण में परिवर्तन हमें सोचने की अनुमति देता है $df_{p}$ एक अतिसूक्ष्म के रूप में और इसकी तुलना मानक अतिसूक्ष्म के साथ करें $dx_{p}$, जो फिर से केवल पहचान मानचित्र है $\mathbb {R}$ को $\mathbb {R}$ (ए $1\times 1$ आव्यूह (गणित) प्रविष्टि के साथ $1$). पहचान मानचित्र में संपत्ति है कि यदि $\varepsilon$ तो बहुत छोटा है $dx_{p}(\varepsilon )$ बहुत छोटा है, जो हमें इसे अतिसूक्ष्म मानने में सक्षम बनाता है। विभेदक $df_{p}$ समान गुण है, क्योंकि यह केवल का गुणज है $dx_{p}$, और यह गुणक व्युत्पन्न है $f'(p)$ परिभाषा से। इसलिए हम इसे प्राप्त करते हैं $df_{p}=f'(p)\,dx_{p}$, और इसलिए $df=f'\,dx$. इस प्रकार हम इस विचार को पुनः प्राप्त करते हैं कि $f'$ विभेदकों का अनुपात है $df$ और $dx$.

यह सिर्फ एक चाल होगी यदि यह इस तथ्य के लिए नहीं है कि:

1. यह व्युत्पन्न के विचार को पकड़ लेता है $f$ पर $p$ के लिए सबसे अच्छा रैखिक सन्निकटन के रूप में $f$ पर $p$;
2. इसके कई सामान्यीकरण हैं।

आर पर रेखीय नक्शे के रूप में विभेदक^एन

अगर $f$ से एक समारोह है $\mathbb {R} ^{n}$ को $\mathbb {R}$, तो हम कहते हैं $f$ अवकलनीय है पर $p\in \mathbb {R} ^{n}$ अगर वहाँ एक रेखीय नक्शा है $df_{p}$ से $\mathbb {R} ^{n}$ को $\mathbb {R}$ ऐसा कि किसी के लिए $\varepsilon >0$, एक पड़ोस है (गणित) $N$ का $p$ ऐसा कि के लिए $x\in N$,

$$\left|f(x)-f(p)-df_{p}(x-p)\right|<\varepsilon \left|x-p\right|.$$

अब हम उसी तरकीब का उपयोग कर सकते हैं जैसा कि एक आयामी मामले में और अभिव्यक्ति के बारे में सोचते हैं $f(x_{1},x_{2},\ldots ,x_{n})$ के सम्मिश्रण के रूप में $f$ मानक निर्देशांक के साथ $x_{1},x_{2},\ldots ,x_{n}$ पर $\mathbb {R} ^{n}$ (ताकि $x_{j}(p)$ है $j$-वाँ घटक $p\in \mathbb {R} ^{n}$). फिर भेद $\left(dx_{1}\right)_{p},\left(dx_{2}\right)_{p},\ldots ,\left(dx_{n}\right)_{p}$ एक बिंदु पर $p$ रैखिक मानचित्रों के सदिश स्थल के लिए एक आधार (रैखिक बीजगणित) बनाएं $\mathbb {R} ^{n}$ को $\mathbb {R}$ और इसलिए, यदि $f$ पर अवकलनीय है $p$, हम लिख सकते हैं$\operatorname {d} f_{p}$इन आधार तत्वों के रैखिक संयोजन के रूप में:

$$df_{p}=\sum _{j=1}^{n}D_{j}f(p)\,(dx_{j})_{p}.$$

गुणांक $D_{j}f(p)$ (परिभाषा के अनुसार) के आंशिक व्युत्पन्न हैं $f$ पर $p$ इसके संबंध में $x_{1},x_{2},\ldots ,x_{n}$. इसलिए, अगर $f$ सभी पर अवकलनीय है $\mathbb {R} ^{n}$, हम और अधिक संक्षेप में लिख सकते हैं:

$$\operatorname {d} f={\frac {\partial f}{\partial x_{1}}}\,dx_{1}+{\frac {\partial f}{\partial x_{2}}}\,dx_{2}+\cdots +{\frac {\partial f}{\partial x_{n}}}\,dx_{n}.$$

एक आयामी मामले में यह बन जाता है

$$df={\frac {df}{dx}}dx$$

पहले जैसा।

यह विचार सीधे तौर पर फलानो से सामान्यीकरण करता है $\mathbb {R} ^{n}$ को $\mathbb {R} ^{m}$. इसके अलावा, व्युत्पन्न की अन्य परिभाषाओं पर इसका निर्णायक लाभ है कि यह निर्देशांक के परिवर्तन के अंतर्गत अपरिवर्तनीय (गणित) है। इसका मतलब यह है कि एक ही विचार का उपयोग चिकने मैनिफोल्ड्स के मध्य चिकने नक्शों के पुशफॉरवर्ड (विभेदक) को परिभाषित करने के लिए किया जा सकता है।

एक तरफ: ध्यान दें कि के सभी आंशिक व्युत्पन्न का अस्तित्व $f(x)$ पर $x$ एक विभेदक के अस्तित्व के लिए एक आवश्यक शर्त है $x$. हालांकि यह पर्याप्त शर्त नहीं है। प्रतिउदाहरणों के लिए, व्युत्पन्न केक देखें।

सदिश स्थान पर रेखीय मानचित्र के रूप में अवकलन

निरंतरता के बारे में उचित रूप से बात करने के लिए एक ही प्रक्रिया एक पर्याप्त अतिरिक्त संरचना के साथ वेक्टर स्पेस पर काम करती है। सबसे ठोस मामला एक हिल्बर्ट स्पेस है, जिसे पूर्ण मीट्रिक स्थान इनर प्रोडक्ट स्पेस के रूप में भी जाना जाता है, जहां इनर प्रोडक्ट और इससे जुड़े नॉर्म (गणित) दूरी की एक उपयुक्त अवधारणा को परिभाषित करते हैं। यही प्रक्रिया एक बनच स्थान के लिए काम करती है, जिसे पूर्ण नॉर्मड वेक्टर स्पेस के रूप में भी जाना जाता है। हालांकि, अधिक सामान्य टोपोलॉजिकल वेक्टर स्पेस के लिए, कुछ विवरण अधिक अमूर्त हैं क्योंकि दूरी की कोई अवधारणा नहीं है।

परिमित आयाम के महत्वपूर्ण मामले के लिए, कोई भी आंतरिक उत्पाद स्थान एक हिल्बर्ट स्थान है, कोई भी मानक सदिश स्थान एक बैनाच स्थान है और कोई भी सामयिक सदिश स्थान पूर्ण है। नतीजतन, आप एक समन्वय प्रणाली को मनमाने ढंग से परिभाषित कर सकते हैं और उसी तकनीक का उपयोग कर सकते हैं $\mathbb {R} ^{n}$.

फलानो के कीटाणुओं के रूप में विभेदक

यह दृष्टिकोण किसी भी अलग-अलग बहुरूपता पर काम करता है। अगर

1. U और V युक्त खुले सेट हैं p
2. $f\colon U\to \mathbb {R}$ निरंतर है
3. $g\colon V\to \mathbb {R}$ निरंतर है

तब f के बराबर है g पर p, निरूपित $f\sim _{p}g$, अगर और केवल अगर एक खुला है $W\subseteq U\cap V$ युक्त p ऐसा है कि $f(x)=g(x)$ हरएक के लिए x में W. का कीटाणु f पर p, निरूपित $[f]_{p}$, के समतुल्य सभी वास्तविक सतत फलनों का समुच्चय है f पर p; अगर f पर सुचारू है p तब $[f]_{p}$ सुचारू रोगाणु है। अगर

1. $U_{1}$, $U_{2}$ $V_{1}$ और $V_{2}$ युक्त खुले सेट हैं p
2. $f_{1}\colon U_{1}\to \mathbb {R}$, $f_{2}\colon U_{2}\to \mathbb {R}$, $g_{1}\colon V_{1}\to \mathbb {R}$ और $g_{2}\colon V_{2}\to \mathbb {R}$ चिकने फलन हैं
3. $f_{1}\sim _{p}g_{1}$
4. $f_{2}\sim _{p}g_{2}$
5. r एक वास्तविक संख्या है

तब

1. $r*f_{1}\sim _{p}r*g_{1}$
2. $f_{1}+f_{2}\colon U_{1}\cap U_{2}\to \mathbb {R} \sim _{p}g_{1}+g_{2}\colon V_{1}\cap V_{2}\to \mathbb {R}$
3. $f_{1}*f_{2}\colon U_{1}\cap U_{2}\to \mathbb {R} \sim _{p}g_{1}*g_{2}\colon V_{1}\cap V_{2}\to \mathbb {R}$

इससे पता चलता है कि पी पर रोगाणु एक क्षेत्र के ऊपर एक बीजगणित बनाते हैं।

परिभाषित करना ${\mathcal {I}}_{p}$ गायब होने वाले सभी चिकने कीटाणुओं का सेट होना p और ${\mathcal {I}}_{p}^{2}$ आइडियल बनना (रिंग थ्योरी)# आइडियल संचालन ऑफ आदर्श (अंगूठी सिद्धांत) ${\mathcal {I}}_{p}{\mathcal {I}}_{p}$. फिर एक विभेदक पर p (पर स्पर्शज्या सदिश p) का एक तत्व है ${\mathcal {I}}_{p}/{\mathcal {I}}_{p}^{2}$. एक चिकनी समारोह का विभेदक f पर p, निरूपित $\mathrm {d} f_{p}$, है $[f-f(p)]_{p}/{\mathcal {I}}_{p}^{2}$.

एक समान दृष्टिकोण एक मनमाना समन्वय पैच में व्युत्पन्न के संदर्भ में पहले क्रम के विभेदक तुल्यता को परिभाषित करना है। फिर का विभेदक f पर p विभेदक के बराबर सभी फलानो का सेट है $f-f(p)$ पर p.

बीजगणितीय ज्यामिति

बीजगणितीय ज्यामिति में, विभेदक और अन्य अतिसूक्ष्म धारणाओं को एक बहुत ही स्पष्ट प्रकार से नियंत्रित किया जाता है, यह स्वीकार करते हुए कि एक विभेदकिक्ष के समन्वय अंगूठी या संरचना शीफ ​​में शून्य तत्व शामिल हो सकते हैं। सबसे सरल उदाहरण दोहरी संख्या R[ε] का वलय है, जहां ε^{2</सुप> = 0।}

यह एक बिंदु पी पर 'आर' से 'आर' तक फलन एफ के व्युत्पन्न पर बीजगणित-ज्यामितीय दृष्टिकोण से प्रेरित हो सकता है। इसके लिए, पहले ध्यान दें कि f − f(p) आदर्श (रिंग थ्योरी) I से संबंधित है_p आर पर फलानो की संख्या जो 'पी' पर गायब हो जाती है। यदि व्युत्पन्न f p पर गायब हो जाता है, तो f − f(p) वर्ग I से संबंधित है_p^{2 इस आदर्श का। अतः p पर f का व्युत्पन्न समतुल्य वर्ग [f − f(p)] द्वारा भागफल स्थान (रैखिक बीजगणित) I में ग्रहण किया जा सकता है_p/मैं_p2, और जेट (गणित) | f का 1-जेट (जो इसके मूल्य और इसके पहले व्युत्पन्न को कूटबद्ध करता है) सभी फलानो के स्थान में f का समतुल्य वर्ग है।_p2</उप>। बीजगणितीय जियोमीटर इस तुल्यता वर्ग को बिंदु p के गाढ़े संस्करण के लिए f के प्रतिबंध के रूप में मानते हैं, जिसका समन्वय वलय 'R' नहीं है (जो 'R' मॉड्यूलो I पर फलानो का भागफल स्थान है।_p) लेकिन R[ε] जो R modulo I पर फलानो का भागफल स्थान है_p2</उप>। ऐसा मोटा बिंदु एक योजना (गणित) का एक सरल उदाहरण है।}

बीजगणितीय ज्यामिति धारणाएं

बीजगणितीय ज्यामिति में अवकलन भी महत्वपूर्ण हैं, और कई महत्वपूर्ण अवधारणाएँ हैं।

• एबेलियन विभेदक का मतलब आमतौर पर एक बीजगणितीय वक्र या रीमैन सतह पर विभेदक वन-फॉर्म होता है।
• रीमैन सतहों के सिद्धांत में द्विघात विभेदक (जो एबेलियन विभेदक के वर्गों की तरह व्यवहार करते हैं) भी महत्वपूर्ण हैं।
• काहलर अवकलन बीजगणितीय ज्यामिति में अवकलन की एक सामान्य धारणा प्रदान करते हैं।

सिंथेटिक विभेदक ज्यामिति

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

अमानक विश्लेषण

अतिसूक्ष्म के अंतिम दृष्टिकोण में फिर से वास्तविक संख्याओं का विस्तार करना शामिल है, लेकिन कम कठोर प्रकार से। गैर-मानक विश्लेषण दृष्टिकोण में कोई निलपोटेंट अतिसूक्ष्म नहीं होते हैं, केवल इन्वर्टिबल होते हैं, जिन्हें असीम रूप से बड़ी संख्या के गुणात्मक व्युत्क्रम के रूप में देखा जा सकता है।वास्तविक संख्याओं के ऐसे विस्तार स्पष्ट रूप से वास्तविक संख्याओं के अनुक्रमों के तुल्यता वर्गों का उपयोग करके बनाए जा सकते हैं, ताकि, उदाहरण के लिए, अनुक्रम (1, 1/2, 1/3, ..., 1/n, ...) एक अपरिमेय का प्रतिनिधित्व करता है। हाइपररियल नंबरों के इस नए सेट का प्रथम-क्रम तर्क सामान्य वास्तविक संख्याओं के तर्क के समान है, लेकिन पूर्णता स्वयंसिद्ध (जिसमें द्वितीय-क्रम तर्क शामिल है) पकड़ में नहीं आता है। फिर भी, यह अतिसूक्ष्म का उपयोग करके कलन के लिए एक प्रारंभिक और काफी सहज दृष्टिकोण विकसित करने के लिए पर्याप्त है, स्थानांतरण सिद्धांत देखें।

विभेदक ज्यामिति

विभेदक की धारणा विभेदक ज्यामिति (और विभेदक सांस्थिति ) में कई अवधारणाओं को प्रेरित करती है।

• द पुशफॉरवर्ड (विभेदक)| मैनिफोल्ड के मध्य मानचित्र का विभेदक (पुशफॉरवर्ड)।
• विभेदक रूप एक ऐसा ढांचा प्रदान करते हैं जो विभेदक के गुणन और विभेदन को समायोजित करता है।
• बाह्य अवकलज अवकल रूपों के विभेदन की धारणा है जो किसी फलन के कुल अवकलज का सामान्यीकरण करता है (जो कि अवकलन 1-रूप है)।
• पुलबैक (विभेदक ज्यामिति), विशेष रूप से, लक्ष्य मैनिफोल्ड पर विभेदक 1-रूप के साथ मैनिफोल्ड्स के मध्य मानचित्र बनाने के लिए चेन नियम के लिए एक ज्यामितीय नाम है।
• सहपरिवर्ती व्युत्पन्न वेक्टर क्षेत्र और टेंसर क्षेत्र को मैनिफोल्ड पर अलग करने के लिए एक सामान्य धारणा प्रदान करते हैं, या अधिक सामान्यतः, वेक्टर बंडल के सेक्शन: कनेक्शन (वेक्टर बंडल) देखें। यह अंततः एक कनेक्शन (गणित) की सामान्य अवधारणा की ओर जाता है।

अन्य अर्थ

होमोलॉजिकल बीजगणित और बीजगणितीय सांस्थिति में विभेदक शब्द को भी अपनाया गया है, क्योंकि डे रम कोहोलॉजी में बाहरी व्युत्पन्न भूमिका निभाता है: एक कोचेन कॉम्प्लेक्स में $(C_{\bullet },d_{\bullet }),$ मानचित्र्स (या कोबाउंड्री ऑपरेटर्स) d_iप्रायः विभेदक कहा जाता है। दोहरे रूप से, एक श्रृंखला परिसर में सीमा संचालकों को कभी-कभी सहविभेदक कहा जाता है।

विभेदक के गुण एक व्युत्पत्ति (सार बीजगणित) और एक विभेदक बीजगणित के बीजगणितीय विचारों को भी प्रेरित करते हैं।

यह भी देखें

• विभेदक समीकरण
• विभेदक रूप
• एक समारोह का विभेदक

संदर्भ

• Apostol, Tom M. (1967), Calculus (2nd ed.), Wiley, ISBN 978-0-471-00005-1.
• Bell, John L. (1998), Invitation to Smooth Infinitesimal Analysis (PDF).
• Boyer, Carl B. (1991), "Archimedes of Syracuse", A History of Mathematics (2nd ed.), John Wiley & Sons, Inc., ISBN 978-0-471-54397-8.
• Darling, R. W. R. (1994), Differential forms and connections, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-46800-8.
• Eisenbud, David; Harris, Joe (1998), The Geometry of Schemes, Springer-Verlag, ISBN 978-0-387-98637-1
• Keisler, H. Jerome (1986), Elementary Calculus: An Infinitesimal Approach (2nd ed.).
• Kock, Anders (2006), Synthetic Differential Geometry (PDF) (2nd ed.), Cambridge University Press.
• Lawvere, F.W. (1968), Outline of synthetic differential geometry (PDF) (published 1998).
• Moerdijk, I.; Reyes, G.E. (1991), Models for Smooth Infinitesimal Analysis, Springer-Verlag.
• Robinson, Abraham (1996), Non-standard analysis, Princeton University Press, ISBN 978-0-691-04490-3.
• Weisstein, Eric W. "Differentials". MathWorld.