कलन का मौलिक प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 2: | Line 2: | ||
{{Calculus}} | {{Calculus}} | ||
कैलकुलस का मौलिक [[प्रमेय]] एक प्रमेय है जो किसी फलन के व्युत्पन्न की अवधारणा को जोड़ता है | कैलकुलस का मौलिक [[प्रमेय]] एक प्रमेय है जो किसी फलन के व्युत्पन्न की अवधारणा को जोड़ता है (इसकी [[ढलान]] की गणना, या प्रत्येक समय परिवर्तन की दर की गणना) को समाकलित फलन (इसके ग्राफ के अंतर्गत क्षेत्रफल की गणना, या संचयी) की अवधारणा से जोड़ता है। छोटे योगदान का प्रभाव) दो कार्यवाही स्थिर मान के अतिरिक्त एक दूसरे के व्युत्क्रम हैं जो इस बात पर निर्भर करता है कि कोई क्षेत्र की गणना कहाँ से प्रारंभ करता है। | ||
प्रमेय का पहला भाग, कैलकुलस का पहला मूलभूत प्रमेय, बताता है कि किसी फलन {{mvar|f}} | प्रमेय का पहला भाग, कैलकुलस का पहला मूलभूत प्रमेय, बताता है कि किसी फलन {{mvar|f}} के लिए , प्रतिपक्षी या अनिश्चित समाकल के अभिन्न के रूप में प्राप्त किया जा सकता है। {{mvar|F}} चर ऊपरी सीमा के साथ अंतराल पर इसका तात्पर्य [[निरंतर कार्य]] के लिए प्रतिपक्षी के अस्तित्व से है।<ref name=Spivak>{{Citation |last=Spivak|first=Michael|year=1980|title=Calculus|edition=2nd|publication-place=Houston, Texas| publisher=Publish or Perish Inc.}}</ref> | ||
इसके विपरीत, प्रमेय का दूसरा भाग, कैलकुलस का दूसरा मूलभूत प्रमेय, बताता है कि किसी फलन का समाकल {{mvar|f}} | इसके विपरीत, प्रमेय का दूसरा भाग, कैलकुलस का दूसरा मूलभूत प्रमेय, बताता है कि किसी फलन का समाकल {{mvar|f}} निश्चित अंतराल पर (गणित) किसी भी प्रतिपक्षी के परिवर्तन के बराबर है {{mvar|F}} अंतराल के सिरों के बीच यह निश्चित अभिन्न की गणना को बहुत सरल करता है, परंतु [[प्रतीकात्मक एकीकरण]] द्वारा प्रतिपक्षी पाया जा सकता है, इस प्रकार [[संख्यात्मक एकीकरण]] से बचा जा सकता है। | ||
{{TOC limit|3}} | {{TOC limit|3}} | ||
| Line 13: | Line 13: | ||
{{See also|कैलकुलस का इतिहास}} | {{See also|कैलकुलस का इतिहास}} | ||
कैलकुलस का मौलिक प्रमेय विभेदीकरण और एकीकरण से संबंधित है, यह दर्शाता है कि ये दो संक्रियाएँ अनिवार्य रूप से एक दूसरे की व्युत्क्रम संक्रिया हैं। इस प्रमेय की खोज से पहले, यह मान्यता नहीं थी कि ये दोनों | कैलकुलस का मौलिक प्रमेय विभेदीकरण और एकीकरण से संबंधित है, यह दर्शाता है कि ये दो संक्रियाएँ अनिवार्य रूप से एक दूसरे की व्युत्क्रम संक्रिया हैं। इस प्रमेय की खोज से पहले, यह मान्यता नहीं थी कि ये दोनों कार्यवाही से संबंधित थे। प्राचीन [[ग्रीक गणित]] जानता था कि [[infinimals|अनंतता]] के माध्यम से क्षेत्र की [[गणना]] कैसे की जाती है, कार्यवाही जिसे अब हम एकीकरण कहते हैं। विभेदीकरण की उत्पत्ति इसी तरह कलन के मौलिक प्रमेय से सैकड़ों वर्ष पहले से हुई है; उदाहरण के लिए, चौदहवीं शताब्दी में [[ऑक्सफोर्ड कैलकुलेटर]] और अन्य विद्वानों द्वारा कार्यों और [[गति]] के निरंतर कार्य की धारणाओं का अध्ययन किया गया था। कैलकुलस के मौलिक प्रमेय की ऐतिहासिक प्रासंगिकता इन संक्रियाओं की गणना करने की क्षमता नहीं है, उचित रूप से यह अनुभव है कि दो प्रतीत होने वाले अलग-अलग संक्रियाएं (ज्यामितीय क्षेत्रों की गणना, और [[ ढाल |ढाल]] की गणना) वास्तव में निकट से संबंधित हैं। | ||
कलन के मौलिक प्रमेय के अनुमान और प्रमाण से, एकीकरण और विभेदन के एकीकृत सिद्धांत के रूप में कलन की प्रारंभ होती है। मौलिक प्रमेय के प्रारंभिक रूप का पहला प्रकाशित बयान और प्रमाण, चरित्र में दृढ़ता से ज्यामितीय,<ref name=GregoryGeometry>{{cite journal| last=Malet|first=Antoni|title=श्रृंखला विस्तार के लिए स्पर्शरेखा और "टेलर" नियम पर जेम्स ग्रेगोरी| publisher=[[Springer Science+Business Media|Springer-Verlag]]|year=1993|journal=[[Archive for History of Exact Sciences]]|volume=46|issue=2|pages=97–137|doi=10.1007/BF00375656|s2cid=120101519|quote=Gregorie's thought, on the other hand, belongs to a conceptual framework strongly geometrical in character. (page 137)}}</ref> जेम्स ग्रेगोरी (गणितज्ञ) (1638-1675) द्वारा किया गया था।<ref> | कलन के मौलिक प्रमेय के अनुमान और प्रमाण से, एकीकरण और विभेदन के एकीकृत सिद्धांत के रूप में कलन की प्रारंभ होती है। मौलिक प्रमेय के प्रारंभिक रूप का पहला प्रकाशित बयान और प्रमाण, चरित्र में दृढ़ता से ज्यामितीय,<ref name=GregoryGeometry>{{cite journal| last=Malet|first=Antoni|title=श्रृंखला विस्तार के लिए स्पर्शरेखा और "टेलर" नियम पर जेम्स ग्रेगोरी| publisher=[[Springer Science+Business Media|Springer-Verlag]]|year=1993|journal=[[Archive for History of Exact Sciences]]|volume=46|issue=2|pages=97–137|doi=10.1007/BF00375656|s2cid=120101519|quote=Gregorie's thought, on the other hand, belongs to a conceptual framework strongly geometrical in character. (page 137)}}</ref> जेम्स ग्रेगोरी (गणितज्ञ) (1638-1675) द्वारा किया गया था।<ref> | ||
See, e.g., Marlow Anderson, Victor J. Katz, Robin J. Wilson, ''Sherlock Holmes in Babylon and Other Tales of Mathematical History'', Mathematical Association of America, 2004, [https://books.google.com/books?id=BKRE5AjRM3AC&pg=PA114 p. 114]. | See, e.g., Marlow Anderson, Victor J. Katz, Robin J. Wilson, ''Sherlock Holmes in Babylon and Other Tales of Mathematical History'', Mathematical Association of America, 2004, [https://books.google.com/books?id=BKRE5AjRM3AC&pg=PA114 p. 114]. | ||
</ref><ref name=geometriae>{{cite book| last=Gregory | first=James | title=ज्यामिति का सार्वभौमिक भाग| url=https://archive.org/details/gregory_universalis | publisher= Patavii: typis heredum Pauli Frambotti | year=1668 | location=[[Museo Galileo]] }}</ref> [[इसहाक बैरो]] (1630-1677) ने प्रमेय का अधिक सामान्यीकृत संस्करण सिद्ध किया,<ref name=BarrowGeometricLectures>{{cite book| last1=Child | first1= James Mark | last2=Barrow | first2=Isaac| title= इसहाक बैरो के ज्यामितीय व्याख्यान| year=1916 | url=https://archive.org/details/geometricallectu00barruoft| publisher= Chicago: [[Open Court Publishing Company]]}}</ref> जबकि उनके छात्र [[आइजैक न्यूटन]] (1642-1727) ने आसपास के गणितीय सिद्धांत के विकास को पूरा किया। [[गॉटफ्रीड लीबनिज]] (1646-1716) ने ज्ञान को अनंत मात्राओं के लिए | </ref><ref name=geometriae>{{cite book| last=Gregory | first=James | title=ज्यामिति का सार्वभौमिक भाग| url=https://archive.org/details/gregory_universalis | publisher= Patavii: typis heredum Pauli Frambotti | year=1668 | location=[[Museo Galileo]] }}</ref> [[इसहाक बैरो]] (1630-1677) ने प्रमेय का अधिक सामान्यीकृत संस्करण सिद्ध किया,<ref name=BarrowGeometricLectures>{{cite book| last1=Child | first1= James Mark | last2=Barrow | first2=Isaac| title= इसहाक बैरो के ज्यामितीय व्याख्यान| year=1916 | url=https://archive.org/details/geometricallectu00barruoft| publisher= Chicago: [[Open Court Publishing Company]]}}</ref> जबकि उनके छात्र [[आइजैक न्यूटन]] (1642-1727) ने आसपास के गणितीय सिद्धांत के विकास को पूरा किया। [[गॉटफ्रीड लीबनिज]] (1646-1716) ने ज्ञान को अनंत मात्राओं के लिए कैलकुलस में व्यवस्थित किया और आज प्रयोग किए जाने वाले लीबनिज के अंकन को प्रस्तुत किया। | ||
== ज्यामितीय अर्थ == | == ज्यामितीय अर्थ == | ||
[[File:FTC_geometric.svg|500px|thumb|right|लाल धारियों में छायांकित क्षेत्र के समीप है {{mvar|h}} बार {{math|''f''(''x'')}}. वैकल्पिक रूप से, यदि फलन {{math|''A''(''x'')}} ज्ञात थे, यह क्षेत्र बिल्कुल होगा {{math|''A''(''x'' + ''h'') − ''A''(''x'')}}. ये दो मूल्य लगभग बराबर हैं, अधिकांशतः {{mvar|h}} छोटे के लिए.]]पहले मौलिक प्रमेय की व्याख्या इस प्रकार की जा सकती है। | [[File:FTC_geometric.svg|500px|thumb|right|लाल धारियों में छायांकित क्षेत्र के समीप है {{mvar|h}} बार {{math|''f''(''x'')}}. वैकल्पिक रूप से, यदि फलन {{math|''A''(''x'')}} ज्ञात थे, यह क्षेत्र बिल्कुल होगा {{math|''A''(''x'' + ''h'') − ''A''(''x'')}}. ये दो मूल्य लगभग बराबर हैं, अधिकांशतः {{mvar|h}} छोटे के लिए.]]पहले मौलिक प्रमेय की व्याख्या इस प्रकार की जा सकती है। निरंतर कार्य {{math|1=''y'' = ''f''(''x'')}} दिया गया है जिसका ग्राफ वक्र के रूप में प्लॉट किया गया है, संबंधित क्षेत्र फलन को परिभाषित करता है <math>x\mapsto A(x)</math> ऐसा है कि {{math|''A''(''x'')}} 0 और x के बीच वक्र के नीचे का क्षेत्र है {{math|''A''(''x'')}} सरलता से संगणनीय नहीं हो सकता है, लेकिन इसे अच्छी तरह से परिभाषित माना जाता है। | ||
वक्र के नीचे का क्षेत्र {{mvar|x}} और {{math|''x'' + ''h''}} के बीच का क्षेत्रफल ज्ञात करके गणना की जा सकती है फिर बीच के क्षेत्र {{math|0}} और {{mvar|x}} को घटाना दूसरे शब्दों में, इस पट्टी का क्षेत्रफल {{math|''A''(''x'' + ''h'') − ''A''(''x'')}} होगा । | |||
इसी पट्टी के क्षेत्रफल का अनुमान लगाने का एक और विधि है। जैसा कि संलग्न चित्र में दिखाया गया है, | इसी पट्टी के क्षेत्रफल का अनुमान लगाने का एक और विधि है। जैसा कि संलग्न चित्र में दिखाया गया है, आयत का क्षेत्रफल ज्ञात करने के लिए {{mvar|h}} को {{math|''f''(''x'')}} से गुणा किया जाता है जो इस पट्टी के लगभग समान आकार का है। इसलिए: | ||
<math display="block">A(x+h)-A(x) \approx f(x) \cdot h</math> | <math display="block">A(x+h)-A(x) \approx f(x) \cdot h</math> | ||
वास्तव में, यह अनुमान पूर्ण समानता बन जाता है यदि हम आरेख में लाल अतिरिक्त क्षेत्र जोड़ते हैं। इसलिए: | वास्तव में, यह अनुमान पूर्ण समानता बन जाता है यदि हम आरेख में लाल अतिरिक्त क्षेत्र जोड़ते हैं। इसलिए: | ||
| Line 30: | Line 30: | ||
पुनर्व्यवस्थित शर्तें: | पुनर्व्यवस्थित शर्तें: | ||
<math display="block">f(x) = \frac{A(x+h)-A(x)}{h} - \frac{\text{Excess}}{h}.</math> | <math display="block">f(x) = \frac{A(x+h)-A(x)}{h} - \frac{\text{Excess}}{h}.</math> | ||
जैसा {{mvar|h}} पहुँचता है {{math|0}} किसी फलन की सीमा में, अंतिम अंश शून्य पर जाना चाहिए।<ref>[[Lipman Bers|Bers, Lipman]]. ''Calculus'', pp. 180–181 (Holt, Rinehart and Winston (1976).</ref> इसे देखने के लिए, ध्यान दें कि अतिरिक्त क्षेत्र छोटे काले- | जैसा {{mvar|h}} पहुँचता है {{math|0}} किसी फलन की सीमा में, अंतिम अंश शून्य पर जाना चाहिए।<ref>[[Lipman Bers|Bers, Lipman]]. ''Calculus'', pp. 180–181 (Holt, Rinehart and Winston (1976).</ref> इसे देखने के लिए, ध्यान दें कि अतिरिक्त क्षेत्र छोटे काले-सीमा वाले आयत के अंदर है, जो अतिरिक्त क्षेत्र के लिए ऊपरी सीमा देता है:<blockquote><math>|\text{Excess}| \le h\,(f(x{+}h_1) - f(x{+}h_2)),</math></blockquote>जहाँ <math>x+h_1</math> और <math>x + h_2</math> वे बिंदु हैं {{mvar|f}} अंतराल {{closed-closed|''x'', ''x'' + ''h''}} में क्रमशः अपने अधिकतम और न्यूनतम तक पहुँचता है '''{{closed-closed|''x'', ''x'' + ''h''}}'''. | ||
इस प्रकार: | इस प्रकार: | ||
| Line 39: | Line 39: | ||
<math display="block">f(x) = \lim_{h\to 0}\frac{A(x+h)-A(x)}{h} | <math display="block">f(x) = \lim_{h\to 0}\frac{A(x+h)-A(x)}{h} | ||
\ \stackrel{\text{def}}{=}\ A'(x).</math> | \ \stackrel{\text{def}}{=}\ A'(x).</math> | ||
अर्थात्, क्षेत्र फलन का व्युत्पन्न {{math|''A''(''x'')}} उपस्थित है और मूल कार्य {{math|''f''(''x'')}} के बराबर है | अर्थात्, क्षेत्र फलन का व्युत्पन्न {{math|''A''(''x'')}} उपस्थित है और मूल कार्य {{math|''f''(''x'')}} के बराबर है, इसलिए क्षेत्र फलन मूल फलन का अवकलज है। | ||
इस प्रकार, | इस प्रकार, फलन (क्षेत्र) के अभिन्न अंग का व्युत्पन्न मूल कार्य है, इसलिए व्युत्पन्न और अभिन्न व्युत्क्रम कार्य हैं जो एक दूसरे को उल्टा करते हैं। यह मौलिक प्रमेय का सार है। | ||
== शारीरिक अंतर्ज्ञान == | == शारीरिक अंतर्ज्ञान == | ||
सहजता से, मौलिक प्रमेय में कहा गया है कि एकीकरण और भेदभाव अनिवार्य रूप से विपरीत संचालन हैं जो एक दूसरे को उलट देते हैं। | सहजता से, मौलिक प्रमेय में कहा गया है कि एकीकरण और भेदभाव अनिवार्य रूप से विपरीत संचालन हैं जो एक दूसरे को उलट देते हैं। | ||
दूसरा मौलिक प्रमेय कहता है कि समय के साथ मात्रा में अपरिमेय परिवर्तनों का योग (मात्रा के व्युत्पन्न का अभिन्न अंग) मात्रा में शुद्ध परिवर्तन तक जुड़ जाता है। इसकी कल्पना करने के लिए, | दूसरा मौलिक प्रमेय कहता है कि समय के साथ मात्रा में अपरिमेय परिवर्तनों का योग (मात्रा के व्युत्पन्न का अभिन्न अंग) मात्रा में शुद्ध परिवर्तन तक जुड़ जाता है। इसकी कल्पना करने के लिए, कार में यात्रा करने की कल्पना करें और तय की गई दूरी (राजमार्ग के साथ स्थिति में शुद्ध परिवर्तन) जानना चाहते हैं। आप स्पीडोमीटर पर वेग देख सकते हैं लेकिन अपना स्थान देखने के लिए बाहर नहीं देख सकते। प्रत्येक सेकेंड, आप यह पता लगा सकते हैं कि कार ने कितनी दूर की यात्रा की है। दूरी = गति × समय, वर्तमान गति (किलोमीटर या मील प्रति घंटे में) को समय अंतराल (1 सेकंड = <math>\tfrac{1}{3600}</math> घंटा)। इन सभी छोटे कदमों का योग करके, आप कार से बाहर देखे बिना तय की गई कुल दूरी की गणना कर सकते हैं:<math display="block">\text{distance traveled} | ||
= \sum \left( \begin{array}{c} | = \sum \left( \begin{array}{c} | ||
\text{velocity at}\\ \text{each time}\end{array}\right) \times | \text{velocity at}\\ \text{each time}\end{array}\right) \times | ||
\left( \begin{array}{c} | \left( \begin{array}{c} | ||
\text{time}\\ \text{interval}\end{array}\right) | \text{time}\\ \text{interval}\end{array}\right) | ||
= \sum v(t)\times \Delta t.</math>जैसा <math>\Delta t</math> इनफिनिटिमल छोटा हो जाता है, समाकलन इंटीग्रल के अनुरूप होता है। इस प्रकार, वेग फलन का अभिन्न अंग (स्थिति का व्युत्पन्न) गणना करता है कि कार ने कितनी दूर यात्रा की है (स्थिति में शुद्ध परिवर्तन) | = \sum v(t)\times \Delta t.</math>जैसा <math>\Delta t</math> इनफिनिटिमल छोटा हो जाता है, समाकलन इंटीग्रल के अनुरूप होता है। इस प्रकार, वेग फलन का अभिन्न अंग (स्थिति का व्युत्पन्न) गणना करता है कि कार ने कितनी दूर यात्रा की है (स्थिति में शुद्ध परिवर्तन) | ||
पहला मौलिक प्रमेय कहता है कि कोई भी मात्रा निश्चित समय से चर समय तक मात्रा के अभिन्न अंग के परिवर्तन (व्युत्पन्न) की दर है। उपरोक्त उदाहरण को जारी रखते हुए, यदि आप | पहला मौलिक प्रमेय कहता है कि कोई भी मात्रा निश्चित समय से चर समय तक मात्रा के अभिन्न अंग के परिवर्तन (व्युत्पन्न) की दर है। उपरोक्त उदाहरण को जारी रखते हुए, यदि आप वेग फलन की कल्पना करते हैं, तो आप इसे दूरी फलन प्राप्त करने के लिए प्रारंभी समय से किसी भी समय तक एकीकृत कर सकते हैं जिसका व्युत्पन्न दिया गया वेग है। (हाईवे-मार्कर स्थिति प्राप्त करने के लिए, आपको इस इंटीग्रल में अपनी प्रारंभिक स्थिति जोड़ने की आवश्यकता है।) | ||
== औपचारिक बयान == | == औपचारिक बयान == | ||
प्रमेय के दो भाग हैं। पहला भाग | प्रमेय के दो भाग हैं। पहला भाग प्रतिपक्षी के व्युत्पन्न से संबंधित है, जबकि दूसरा भाग प्रतिपक्षी और निश्चित अभिन्न के बीच के संबंध से संबंधित है। | ||
=== पहला भाग === | === पहला भाग === | ||
इस भाग को कभी-कभी कलन की पहली मौलिक प्रमेय के रूप में जाना जाता है।<ref>{{harvnb|Apostol|1967|loc=§5.1}}</ref> | इस भाग को कभी-कभी कलन की पहली मौलिक प्रमेय के रूप में जाना जाता है।<ref>{{harvnb|Apostol|1967|loc=§5.1}}</ref> | ||
मान लीजिये {{mvar|f}} | मान लीजिये {{mvar|f}} [[बंद अंतराल]] {{closed-closed|''a'', ''b''}} पर परिभाषित निरंतर वास्तविक-मूल्यवान कार्य हो {{mvar|F}}{{closed-closed|''a'', ''b''}} में सभी के लिए {{mvar|x}} परिभाषित कार्य हो। | ||
<math display="block">F(x) = \int_a^x f(t)\, dt.</math> | <math display="block">F(x) = \int_a^x f(t)\, dt.</math> | ||
फिर [[समान रूप से निरंतर|समान रूप {{math|[''a'', ''b'']}} पर निरंतर]] है और खुले अंतराल {{open-open|''a'', ''b''}} पर अलग-अलग है, और | |||
<math display="block">F'(x) = f(x)</math> | <math display="block">F'(x) = f(x)</math> | ||
{{open-open|''a'', ''b''}} सभी {{mvar|x}} के लिए | {{open-open|''a'', ''b''}} सभी {{mvar|x}} के लिए {{mvar|F}}, {{mvar|f}} का अवकलज है। | ||
=== परिणाम === | === परिणाम === | ||
[[File:Fundamental_theorem_of_calculus_(animation_).gif|thumb|पथरी का मौलिक प्रमेय (एनीमेशन)]]किसी फलन के निश्चित समाकल की गणना करने के लिए मूलभूत प्रमेय का प्रयोग अधिकांशतः किया जाता है <math>f</math> जिसके लिए | [[File:Fundamental_theorem_of_calculus_(animation_).gif|thumb|पथरी का मौलिक प्रमेय (एनीमेशन)]]किसी फलन के निश्चित समाकल की गणना करने के लिए मूलभूत प्रमेय का प्रयोग अधिकांशतः किया जाता है <math>f</math> जिसके लिए प्रतिपक्षी ज्ञात है। विशेष रूप से, अगर <math>f</math> पर एक वास्तविक-मूल्यवान सतत फलन है <math>[a,b]</math> और <math>F</math> का प्रतिपक्षी है <math>f</math> में <math>[a,b]</math> तब | ||
<math display="block">\int_a^b f(t)\, dt = F(b)-F(a).</math> | <math display="block">\int_a^b f(t)\, dt = F(b)-F(a).</math> | ||
उपप्रमेय पूरे अंतराल पर सतत कार्य मानता है। इस परिणाम को प्रमेय के अगले भाग में थोड़ा सा पुष्ट किया गया है। | उपप्रमेय पूरे अंतराल पर सतत कार्य मानता है। इस परिणाम को प्रमेय के अगले भाग में थोड़ा सा पुष्ट किया गया है। | ||
===दूसरा भाग=== | ===दूसरा भाग=== | ||
इस भाग को कभी-कभी कलन न्यूटन-लीबनिज अभिगृहीत की दूसरी मौलिक प्रमेय के रूप में जाना जाता | इस भाग को कभी-कभी कलन न्यूटन-लीबनिज अभिगृहीत की दूसरी मौलिक प्रमेय के रूप में जाना जाता है।<ref>{{harvnb|Apostol|1967|loc=§5.3}}</ref> | ||
तब <math>f</math> | तब <math>f</math> बंद अंतराल पर वास्तविक-मूल्यवान फलन और <math>F</math> सतत कार्य प्रारंभ है <math>[a,b]</math> जो कि प्रतिकूल है <math>f</math> में <math>(a,b)</math>: | ||
<math display="block">F'(x) = f(x).</math> | <math display="block">F'(x) = f(x).</math> | ||
अगर <math>f</math> [[रीमैन इंटीग्रेबल]] ऑन है <math>[a,b]</math> तब | अगर <math>f</math> [[रीमैन इंटीग्रेबल]] ऑन है <math>[a,b]</math> तब | ||
| Line 81: | Line 81: | ||
दूसरा भाग उपप्रमेय से कुछ सीमा तक मजबूत है क्योंकि यह ऐसा नहीं मानता है <math>f</math> निरंतर है। | दूसरा भाग उपप्रमेय से कुछ सीमा तक मजबूत है क्योंकि यह ऐसा नहीं मानता है <math>f</math> निरंतर है। | ||
जब | जब विरोधी <math>F</math> का <math>f</math> उपस्थित है, तो इसके लिए असीम रूप से कई प्रतिपक्षी हैं मनमाना स्थिरांक जोड़कर प्राप्त किया. साथ ही, प्रमेय के पहले भाग द्वारा, के प्रतिअवकलज <math>f</math> हमेशा उपस्थित जब <math>f</math> निरंतर है। | ||
== पहले भाग का प्रमाण == | == पहले भाग का प्रमाण == | ||
| Line 92: | Line 92: | ||
इंटीग्रल के मूल गुणों और क्षेत्रों की योगात्मकता के परिणामस्वरूप बाद की समानता। | इंटीग्रल के मूल गुणों और क्षेत्रों की योगात्मकता के परिणामस्वरूप बाद की समानता। | ||
औसत मूल्य प्रमेय के अनुसार | औसत मूल्य प्रमेय के अनुसार निश्चित इंटीग्रल के लिए पहला औसत मूल्य प्रमेय, वास्तविक संख्या उपस्थित है <math>c \in [x_1, x_1 + \Delta x]</math> ऐसा है कि | ||
<math display="block">\int_{x_1}^{x_1 + \Delta x} f(t) \,dt = f(c)\cdot \Delta x.</math> | <math display="block">\int_{x_1}^{x_1 + \Delta x} f(t) \,dt = f(c)\cdot \Delta x.</math> | ||
यह इस प्रकार है कि | यह इस प्रकार है कि | ||
| Line 98: | Line 98: | ||
और इस प्रकार वह | और इस प्रकार वह | ||
<math display="block">\frac{F(x_1 + \Delta x) - F(x_1)}{\Delta x} = f(c).</math> | <math display="block">\frac{F(x_1 + \Delta x) - F(x_1)}{\Delta x} = f(c).</math> | ||
सीमा के रूप में लेना <math>\Delta x \to 0,</math> और इसे ध्यान में रखते हुए <math>c \in [x_1, x_1 + \Delta x],</math> | सीमा के रूप में लेना <math>\Delta x \to 0,</math> और इसे ध्यान में रखते हुए <math>c \in [x_1, x_1 + \Delta x],</math> मिलता है | ||
<math display="block">\lim_{\Delta x \to 0} \frac{F(x_1 + \Delta x) - F(x_1)}{\Delta x} = \lim_{\Delta x \to 0} f(c), </math> | |||
वह है, | वह है, | ||
<math display="block">F'(x_1) = f(x_1),</math> | <math display="block">F'(x_1) = f(x_1),</math> | ||
| Line 108: | Line 108: | ||
कल्पना करना {{mvar|F}} का अवकलज है {{mvar|f}}, साथ {{mvar|f}} लगातार {{closed-closed|''a'', ''b''}}. होने देना | कल्पना करना {{mvar|F}} का अवकलज है {{mvar|f}}, साथ {{mvar|f}} लगातार {{closed-closed|''a'', ''b''}}. होने देना | ||
<math display="block">G(x) = \int_a^x f(t)\, dt.</math> | <math display="block">G(x) = \int_a^x f(t)\, dt.</math> | ||
प्रमेय के पहले भाग से, हम जानते हैं {{mvar|G}} का भी | प्रमेय के पहले भाग से, हम जानते हैं {{mvar|G}} का भी प्रतिपक्षी है {{mvar|f}}. तब से {{math|1=''F''′ − ''G''′ = 0}} [[औसत मूल्य प्रमेय]] का तात्पर्य है {{math|''F'' − ''G''}} स्थिर कार्य है, अर्थात एक संख्या है {{mvar|c}} ऐसा है कि {{math|1=''G''(''x'') = ''F''(''x'') + ''c''}} सभी के लिए {{mvar|x}} में {{closed-closed|''a'', ''b''}}. दे {{math|1=''x'' = ''a''}}, अपने पास | ||
<math display="block">F(a) + c = G(a) = \int_a^a f(t)\, dt = 0,</math> | <math display="block">F(a) + c = G(a) = \int_a^a f(t)\, dt = 0,</math> | ||
अर्थात् {{math|1=''c'' = −''F''(''a'')}}. दूसरे शब्दों में, {{math|1=''G''(''x'') = ''F''(''x'') − ''F''(''a'')}}, इसलिए | अर्थात् {{math|1=''c'' = −''F''(''a'')}}. दूसरे शब्दों में, {{math|1=''G''(''x'') = ''F''(''x'') − ''F''(''a'')}}, इसलिए | ||
| Line 115: | Line 115: | ||
== दूसरे भाग का प्रमाण == | == दूसरे भाग का प्रमाण == | ||
यह [[रीमैन इंटीग्रल]] द्वारा | यह [[रीमैन इंटीग्रल]] द्वारा सीमा प्रमाण है। | ||
आरंभ करने के लिए, हम माध्य मान प्रमेय को याद करते हैं। संक्षेप में कहा गया है, अगर {{mvar|F}} बंद अंतराल पर निरंतर है {{closed-closed|''a'', ''b''}} और खुले अंतराल पर अलग-अलग {{open-open|''a'', ''b''}}, तो कुछ उपस्थित है {{mvar|c}} में {{open-open|''a'', ''b''}} ऐसा है कि | आरंभ करने के लिए, हम माध्य मान प्रमेय को याद करते हैं। संक्षेप में कहा गया है, अगर {{mvar|F}} बंद अंतराल पर निरंतर है {{closed-closed|''a'', ''b''}} और खुले अंतराल पर अलग-अलग {{open-open|''a'', ''b''}}, तो कुछ उपस्थित है {{mvar|c}} में {{open-open|''a'', ''b''}} ऐसा है कि | ||
<math display="block">F'(c)(b - a) = F(b) - F(a). </math> | <math display="block">F'(c)(b - a) = F(b) - F(a). </math> | ||
होने देना {{mvar|f}} | होने देना {{mvar|f}} हो (रीमैन) अंतराल पर पूर्णांक {{closed-closed|''a'', ''b''}}, और जाने {{mvar|f}} प्रतिपक्षी स्वीकार करें {{mvar|F}} पर {{open-open|''a'', ''b''}} ऐसा है कि {{mvar|F}} लगातार प्रारंभ है {{closed-closed|''a'', ''b''}}. मात्रा से प्रारंभ करें {{math|''F''(''b'') − ''F''(''a'')}}. नंबर होने दो {{math|''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}} ऐसा है कि | ||
<math display="block">a = x_0 < x_1 < x_2 < \cdots < x_{n-1} < x_n = b. </math> | <math display="block">a = x_0 < x_1 < x_2 < \cdots < x_{n-1} < x_n = b. </math> | ||
यह इस प्रकार है कि | यह इस प्रकार है कि | ||
| Line 139: | Line 139: | ||
{{NumBlk||<math display="block">F(b) - F(a) = \sum_{i=1}^n [f(c_i)(\Delta x_i)]. </math>|{{EquationRef|2'}}}} | {{NumBlk||<math display="block">F(b) - F(a) = \sum_{i=1}^n [f(c_i)(\Delta x_i)]. </math>|{{EquationRef|2'}}}} | ||
[[File:Riemann integral irregular.gif|frame|right|रीमैन योगों का अभिसारी क्रम। ऊपरी बाएँ में संख्या नीले आयतों का कुल क्षेत्रफल है। वे फलन के निश्चित अभिन्न अंग में अभिसरण करते हैं।]]हम | [[File:Riemann integral irregular.gif|frame|right|रीमैन योगों का अभिसारी क्रम। ऊपरी बाएँ में संख्या नीले आयतों का कुल क्षेत्रफल है। वे फलन के निश्चित अभिन्न अंग में अभिसरण करते हैं।]]हम आयत के क्षेत्रफल का वर्णन कर रहे हैं, चौड़ाई गुणा ऊंचाई के साथ, और हम क्षेत्रों को एक साथ जोड़ रहे हैं। प्रत्येक आयत, औसत मूल्य प्रमेय के आधार पर, उस वक्र खंड के सन्निकटन का वर्णन करता है जिस पर इसे खींचा गया है। भी <math>\Delta x_i</math> के सभी मानों के लिए समान नहीं होना चाहिए {{mvar|i}}, या दूसरे शब्दों में कहें कि आयतों की चौड़ाई अलग-अलग हो सकती है। हमें जो करना है वह वक्र के साथ अनुमानित है {{mvar|n}} आयतें। अब, जैसे-जैसे विभाजन का आकार छोटा होता जाता है और {{mvar|n}} बढ़ता है, जिसके परिणामस्वरूप अंतरिक्ष को कवर करने के लिए और अधिक विभाजन होते हैं, हम वक्र के वास्तविक क्षेत्र के और समीप आते जाते हैं। | ||
अभिव्यक्ति की सीमा लेने से जैसे-जैसे विभाजन का मानदंड शून्य के करीब पहुंचता है, हम रीमैन इंटीग्रल पर पहुंचते हैं। हम जानते हैं कि यह सीमा उपस्थित है क्योंकि {{mvar|f}} को पूर्णांक माना गया था। अर्थात्, हम सीमा लेते हैं क्योंकि सबसे बड़ा विभाजन आकार में शून्य तक पहुंचता है, ताकि अन्य सभी विभाजन छोटे हों और विभाजनों की संख्या अनंत तक पहुंच जाए। | अभिव्यक्ति की सीमा लेने से जैसे-जैसे विभाजन का मानदंड शून्य के करीब पहुंचता है, हम रीमैन इंटीग्रल पर पहुंचते हैं। हम जानते हैं कि यह सीमा उपस्थित है क्योंकि {{mvar|f}} को पूर्णांक माना गया था। अर्थात्, हम सीमा लेते हैं क्योंकि सबसे बड़ा विभाजन आकार में शून्य तक पहुंचता है, ताकि अन्य सभी विभाजन छोटे हों और विभाजनों की संख्या अनंत तक पहुंच जाए। | ||
| Line 155: | Line 155: | ||
जैसा कि ऊपर चर्चा की गई है, दूसरे भाग का थोड़ा कमजोर संस्करण पहले भाग से आता है। | जैसा कि ऊपर चर्चा की गई है, दूसरे भाग का थोड़ा कमजोर संस्करण पहले भाग से आता है। | ||
इसी तरह, यह लगभग ऐसा लगता है जैसे प्रमेय का पहला भाग सीधे दूसरे से आता है। यानी मान लीजिए {{mvar|G}} का अवकलज है {{mvar|f}}. फिर दूसरे प्रमेय द्वारा, <math display="inline">G(x) - G(a) = \int_a^x f(t) \, dt</math>. अब, मान लीजिए <math display="inline">F(x) = \int_a^x f(t)\, dt = G(x) - G(a)</math>. तब {{mvar|F}} के समान व्युत्पन्न है {{mvar|G}}, और इसलिए {{math|1=''F''′ = ''f''}}. चूंकि, यह तर्क तभी काम करता है, जब हम पहले से ही यह जानते हों {{mvar|f}} में | इसी तरह, यह लगभग ऐसा लगता है जैसे प्रमेय का पहला भाग सीधे दूसरे से आता है। यानी मान लीजिए {{mvar|G}} का अवकलज है {{mvar|f}}. फिर दूसरे प्रमेय द्वारा, <math display="inline">G(x) - G(a) = \int_a^x f(t) \, dt</math>. अब, मान लीजिए <math display="inline">F(x) = \int_a^x f(t)\, dt = G(x) - G(a)</math>. तब {{mvar|F}} के समान व्युत्पन्न है {{mvar|G}}, और इसलिए {{math|1=''F''′ = ''f''}}. चूंकि, यह तर्क तभी काम करता है, जब हम पहले से ही यह जानते हों {{mvar|f}} में प्रतिपक्षी है, और एकमात्र विधि है कि हम जानते हैं कि सभी निरंतर कार्यों में प्रतिपक्षी हैं, जो कि मौलिक प्रमेय के पहले भाग से है।<ref name=Spivak/> उदाहरण के लिए, अगर {{math|1=''f''(''x'') = ''e''<sup>−''x''<sup>2</sup></sup>}}, तब {{mvar|f}} में प्रतिपक्षी है, अर्थात् | ||
<math display="block">G(x) = \int_0^x f(t) \, dt</math> | <math display="block">G(x) = \int_0^x f(t) \, dt</math> | ||
और इस फलन के लिए कोई सरल अभिव्यक्ति नहीं है। इसलिए यह महत्वपूर्ण है कि प्रमेय के दूसरे भाग की व्याख्या समाकलन की परिभाषा के रूप में न की जाए। वास्तव में, कई गैर-प्राथमिक अभिन्न हैं, और असंतुलित कार्य पूर्णांक हो सकते हैं, लेकिन किसी भी प्रतिपक्षी की कमी है। इसके विपरीत, कई कार्य जिनमें एंटीडेरिवेटिव होते हैं, रीमैन इंटेग्रेबल नहीं होते हैं (देखें वोल्टेरा का कार्य)। | और इस फलन के लिए कोई सरल अभिव्यक्ति नहीं है। इसलिए यह महत्वपूर्ण है कि प्रमेय के दूसरे भाग की व्याख्या समाकलन की परिभाषा के रूप में न की जाए। वास्तव में, कई गैर-प्राथमिक अभिन्न हैं, और असंतुलित कार्य पूर्णांक हो सकते हैं, लेकिन किसी भी प्रतिपक्षी की कमी है। इसके विपरीत, कई कार्य जिनमें एंटीडेरिवेटिव होते हैं, रीमैन इंटेग्रेबल नहीं होते हैं (देखें वोल्टेरा का कार्य)। | ||
| Line 161: | Line 161: | ||
== उदाहरण == | == उदाहरण == | ||
=== | === विशेष अभिन्न कंप्यूटिंग === | ||
मान लीजिए निम्नलिखित की गणना की जानी है: | मान लीजिए निम्नलिखित की गणना की जानी है: | ||
<math display="block">\int_2^5 x^2\, dx. </math> | <math display="block">\int_2^5 x^2\, dx. </math> | ||
| Line 220: | Line 220: | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
फलन {{mvar|f}} पूरे अंतराल में निरंतर नहीं होना चाहिए। प्रमेय का भाग I तब कहता है: यदि {{mvar|f}} कोई भी लेबेस्ग इंटीग्रेशन फलन प्रारंभ है {{closed-closed|''a'', ''b''}} और {{math|''x''<sub>0</sub>}} में एक संख्या है {{closed-closed|''a'', ''b''}} ऐसा है कि {{mvar|f}} पर निरंतर | फलन {{mvar|f}} पूरे अंतराल में निरंतर नहीं होना चाहिए। प्रमेय का भाग I तब कहता है: यदि {{mvar|f}} कोई भी लेबेस्ग इंटीग्रेशन फलन प्रारंभ है {{closed-closed|''a'', ''b''}} और {{math|''x''<sub>0</sub>}} में एक संख्या है {{closed-closed|''a'', ''b''}} ऐसा है कि {{mvar|f}} पर निरंतर {{math|''x''<sub>0</sub>}} है, तब | ||
<math display="block">F(x) = \int_a^x f(t)\, dt</math> | <math display="block">F(x) = \int_a^x f(t)\, dt</math> | ||
के लिए अवकलनीय है {{math|1=''x'' = ''x''<sub>0</sub>}} साथ {{math|1=''F''′(''x''<sub>0</sub>) = ''f''(''x''<sub>0</sub>)}}. हम शर्तों में ढील दे सकते हैं {{mvar|f}} अभी भी और मान लीजिए कि यह केवल स्थानीय रूप से पूर्णांक है। उस स्थिति में, हम यह निष्कर्ष निकाल सकते हैं कि function {{mvar|F}} [[लगभग हर जगह]] अलग-अलग है और {{math|1=''F''′(''x'') = ''f''(''x'')}} लगभग हर जगह। [[वास्तविक रेखा]] पर यह कथन लेबेस्ग विभेदन प्रमेय | लेबेस्ग की विभेदन प्रमेय के समतुल्य है। ये परिणाम हेनस्टॉक-कुर्जवील इंटीग्रल के लिए सही रहते हैं, जो | के लिए अवकलनीय है {{math|1=''x'' = ''x''<sub>0</sub>}} साथ {{math|1=''F''′(''x''<sub>0</sub>) = ''f''(''x''<sub>0</sub>)}}. हम शर्तों में ढील दे सकते हैं {{mvar|f}} अभी भी और मान लीजिए कि यह केवल स्थानीय रूप से पूर्णांक है। उस स्थिति में, हम यह निष्कर्ष निकाल सकते हैं कि function {{mvar|F}} [[लगभग हर जगह]] अलग-अलग है और {{math|1=''F''′(''x'') = ''f''(''x'')}} लगभग हर जगह। [[वास्तविक रेखा]] पर यह कथन लेबेस्ग विभेदन प्रमेय | लेबेस्ग की विभेदन प्रमेय के समतुल्य है। ये परिणाम हेनस्टॉक-कुर्जवील इंटीग्रल के लिए सही रहते हैं, जो बड़े वर्ग के पूर्णांक कार्यों की अनुमति देता है।{{sfnp|Bartle|2001|loc=Thm. 4.11}} | ||
उच्च आयामों में लेबेस्ग की विभेदन प्रमेय कैलकुलस के मौलिक प्रमेय को यह कहते हुए सामान्यीकृत करती है कि लगभग प्रत्येक के लिए {{mvar|x}}, | उच्च आयामों में लेबेस्ग की विभेदन प्रमेय कैलकुलस के मौलिक प्रमेय को यह कहते हुए सामान्यीकृत करती है कि लगभग प्रत्येक के लिए {{mvar|x}}, फलन का औसत मूल्य {{mvar|f}} त्रिज्या की गेंद पर {{mvar|r}} पर केंद्रित है {{mvar|x}} आदत है {{math|''f''(''x'')}} जैसा {{mvar|r}} 0 की ओर जाता है। | ||
प्रमेय का भाग II किसी भी लेबेस्ग पूर्णांकीय फलन के लिए सत्य है {{mvar|f}}, जिसमें | प्रमेय का भाग II किसी भी लेबेस्ग पूर्णांकीय फलन के लिए सत्य है {{mvar|f}}, जिसमें प्रतिपक्षी है {{mvar|F}} (चूंकि, सभी पूर्णांक कार्य नहीं करते हैं)। दूसरे शब्दों में, यदि एक वास्तविक कार्य {{mvar|F}} पर {{closed-closed|''a'', ''b''}} व्युत्पन्न स्वीकार करता है {{math|''f''(''x'')}} हर बिंदु पर {{mvar|x}} का {{closed-closed|''a'', ''b''}} और यदि यह व्युत्पन्न है {{mvar|f}} लेबेस्ग पर पूर्णांक है {{closed-closed|''a'', ''b''}}, तब<ref>{{harvnb|Rudin|1987|loc=th. 7.21}}</ref> | ||
<math display="block">F(b) - F(a) = \int_a^b f(t) \, dt.</math> | <math display="block">F(b) - F(a) = \int_a^b f(t) \, dt.</math> | ||
यह परिणाम निरंतर कार्यों के लिए विफल हो सकता है {{mvar|F}} जो व्युत्पन्न स्वीकार करते हैं {{math|''f''(''x'')}} लगभग हर बिंदु पर {{mvar|x}}, जैसा कि [[कैंटर समारोह|कैंटर फलन]] का उदाहरण दिखाता है। चूंकि, यदि {{mvar|F}} [[पूर्ण निरंतरता]] है, यह व्युत्पन्न स्वीकार करता है {{math|''F′''(''x'')}} लगभग हर बिंदु पर {{mvar|x}}, और इसके अतिरिक्त {{mvar|F′}} पूर्णांक है, साथ {{math|''F''(''b'') − ''F''(''a'')}} के अभिन्न के बराबर {{mvar|F′}} पर {{closed-closed|''a'', ''b''}}. इसके विपरीत यदि {{mvar|f}} तब कोई पूर्णांक कार्य है {{mvar|F}} जैसा कि पहले सूत्र में दिया गया है, के साथ पूर्णतः सतत होगा {{math|1=''F′'' = ''f''}} लगभग हर जगह होगा। | यह परिणाम निरंतर कार्यों के लिए विफल हो सकता है {{mvar|F}} जो व्युत्पन्न स्वीकार करते हैं {{math|''f''(''x'')}} लगभग हर बिंदु पर {{mvar|x}}, जैसा कि [[कैंटर समारोह|कैंटर फलन]] का उदाहरण दिखाता है। चूंकि, यदि {{mvar|F}} [[पूर्ण निरंतरता]] है, यह व्युत्पन्न स्वीकार करता है {{math|''F′''(''x'')}} लगभग हर बिंदु पर {{mvar|x}}, और इसके अतिरिक्त {{mvar|F′}} पूर्णांक है, साथ {{math|''F''(''b'') − ''F''(''a'')}} के अभिन्न के बराबर {{mvar|F′}} पर {{closed-closed|''a'', ''b''}}. इसके विपरीत यदि {{mvar|f}} तब कोई पूर्णांक कार्य है {{mvar|F}} जैसा कि पहले सूत्र में दिया गया है, के साथ पूर्णतः सतत होगा {{math|1=''F′'' = ''f''}} लगभग हर जगह होगा। | ||
इस प्रमेय की शर्तों को फिर से हेनस्टॉक-कुर्जवील इंटीग्रल के रूप में शामिल इंटीग्रल पर विचार करके आराम दिया जा सकता है। विशेष रूप से, यदि | इस प्रमेय की शर्तों को फिर से हेनस्टॉक-कुर्जवील इंटीग्रल के रूप में शामिल इंटीग्रल पर विचार करके आराम दिया जा सकता है। विशेष रूप से, यदि सतत कार्य {{math|''F''(''x'')}} व्युत्पन्न स्वीकार करता है {{math|''f''(''x'')}} बिल्कुल, लेकिन फिर गिनती के कई बिंदु {{math|''f''(''x'')}} हेनस्टॉक-कुर्ज़वील पूर्णांक है और {{math|''F''(''b'') − ''F''(''a'')}} के अभिन्न के बराबर है {{mvar|f}} पर {{closed-closed|''a'', ''b''}}. यहाँ अंतर यह है कि की अभिन्नता {{mvar|f}} ग्रहण करने की आवश्यकता नहीं है।{{sfnp|Bartle|2001|loc=Thm. 4.7}} | ||
टेलर के प्रमेय का संस्करण, जो त्रुटि शब्द को | टेलर के प्रमेय का संस्करण, जो त्रुटि शब्द को अभिन्न के रूप में व्यक्त करता है, को मौलिक प्रमेय के सामान्यीकरण के रूप में देखा जा सकता है। | ||
[[जटिल संख्या]] कार्यों के लिए प्रमेय का | [[जटिल संख्या]] कार्यों के लिए प्रमेय का संस्करण है: मान लीजिए {{mvar|U}} [[खुला सेट|खुला सम्मुचय]] है और {{math|''f'' : ''U'' → '''C'''}} एक ऐसा कार्य है जिसमें एक [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] एंटीडेरिवेटिव है {{mvar|F}} पर {{mvar|U}}. फिर हर वक्र के लिए {{math|γ : [''a'', ''b''] → ''U''}}, वक्र समाकलन की गणना इस रूप में की जा सकती है | ||
<math display="block">\int_\gamma f(z) \,dz = F(\gamma(b)) - F(\gamma(a)).</math> | <math display="block">\int_\gamma f(z) \,dz = F(\gamma(b)) - F(\gamma(a)).</math> | ||
मौलिक प्रमेय को उच्च आयामों और [[कई गुना]] में वक्र और सतह के अभिन्न अंग के लिए सामान्यीकृत किया जा सकता है। गतिमान सतहों की कलन द्वारा प्रस्तुत किया गया ऐसा ही एक सामान्यीकरण [[इंटीग्रल का समय विकास]] है। उच्च आयामों में कलन के मौलिक प्रमेय के सबसे परिचित विस्तार [[विचलन प्रमेय]] और [[ढाल प्रमेय]] हैं। | मौलिक प्रमेय को उच्च आयामों और [[कई गुना]] में वक्र और सतह के अभिन्न अंग के लिए सामान्यीकृत किया जा सकता है। गतिमान सतहों की कलन द्वारा प्रस्तुत किया गया ऐसा ही एक सामान्यीकरण [[इंटीग्रल का समय विकास]] है। उच्च आयामों में कलन के मौलिक प्रमेय के सबसे परिचित विस्तार [[विचलन प्रमेय]] और [[ढाल प्रमेय]] हैं। | ||
| Line 299: | Line 299: | ||
{{Calculus topics}} | {{Calculus topics}} | ||
{{Analysis-footer}} | {{Analysis-footer}} | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category:Collapse templates]] | |||
[[Category: | |||
[[Category:Created On 26/04/2023]] | [[Category:Created On 26/04/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Mathematics navigational boxes]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages using sidebar with the child parameter]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with maths render errors]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Portal templates with redlinked portals]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:पथरी में प्रमेय]] | |||
[[Category:प्रमाण युक्त लेख]] | |||
[[Category:वास्तविक विश्लेषण में प्रमेय]] | |||
Latest revision as of 08:50, 8 May 2023
| के बारे में लेखों की एक श्रृंखला का हिस्सा |
| पथरी |
|---|
कैलकुलस का मौलिक प्रमेय एक प्रमेय है जो किसी फलन के व्युत्पन्न की अवधारणा को जोड़ता है (इसकी ढलान की गणना, या प्रत्येक समय परिवर्तन की दर की गणना) को समाकलित फलन (इसके ग्राफ के अंतर्गत क्षेत्रफल की गणना, या संचयी) की अवधारणा से जोड़ता है। छोटे योगदान का प्रभाव) दो कार्यवाही स्थिर मान के अतिरिक्त एक दूसरे के व्युत्क्रम हैं जो इस बात पर निर्भर करता है कि कोई क्षेत्र की गणना कहाँ से प्रारंभ करता है।
प्रमेय का पहला भाग, कैलकुलस का पहला मूलभूत प्रमेय, बताता है कि किसी फलन f के लिए , प्रतिपक्षी या अनिश्चित समाकल के अभिन्न के रूप में प्राप्त किया जा सकता है। F चर ऊपरी सीमा के साथ अंतराल पर इसका तात्पर्य निरंतर कार्य के लिए प्रतिपक्षी के अस्तित्व से है।[1]
इसके विपरीत, प्रमेय का दूसरा भाग, कैलकुलस का दूसरा मूलभूत प्रमेय, बताता है कि किसी फलन का समाकल f निश्चित अंतराल पर (गणित) किसी भी प्रतिपक्षी के परिवर्तन के बराबर है F अंतराल के सिरों के बीच यह निश्चित अभिन्न की गणना को बहुत सरल करता है, परंतु प्रतीकात्मक एकीकरण द्वारा प्रतिपक्षी पाया जा सकता है, इस प्रकार संख्यात्मक एकीकरण से बचा जा सकता है।
इतिहास
कैलकुलस का मौलिक प्रमेय विभेदीकरण और एकीकरण से संबंधित है, यह दर्शाता है कि ये दो संक्रियाएँ अनिवार्य रूप से एक दूसरे की व्युत्क्रम संक्रिया हैं। इस प्रमेय की खोज से पहले, यह मान्यता नहीं थी कि ये दोनों कार्यवाही से संबंधित थे। प्राचीन ग्रीक गणित जानता था कि अनंतता के माध्यम से क्षेत्र की गणना कैसे की जाती है, कार्यवाही जिसे अब हम एकीकरण कहते हैं। विभेदीकरण की उत्पत्ति इसी तरह कलन के मौलिक प्रमेय से सैकड़ों वर्ष पहले से हुई है; उदाहरण के लिए, चौदहवीं शताब्दी में ऑक्सफोर्ड कैलकुलेटर और अन्य विद्वानों द्वारा कार्यों और गति के निरंतर कार्य की धारणाओं का अध्ययन किया गया था। कैलकुलस के मौलिक प्रमेय की ऐतिहासिक प्रासंगिकता इन संक्रियाओं की गणना करने की क्षमता नहीं है, उचित रूप से यह अनुभव है कि दो प्रतीत होने वाले अलग-अलग संक्रियाएं (ज्यामितीय क्षेत्रों की गणना, और ढाल की गणना) वास्तव में निकट से संबंधित हैं।
कलन के मौलिक प्रमेय के अनुमान और प्रमाण से, एकीकरण और विभेदन के एकीकृत सिद्धांत के रूप में कलन की प्रारंभ होती है। मौलिक प्रमेय के प्रारंभिक रूप का पहला प्रकाशित बयान और प्रमाण, चरित्र में दृढ़ता से ज्यामितीय,[2] जेम्स ग्रेगोरी (गणितज्ञ) (1638-1675) द्वारा किया गया था।[3][4] इसहाक बैरो (1630-1677) ने प्रमेय का अधिक सामान्यीकृत संस्करण सिद्ध किया,[5] जबकि उनके छात्र आइजैक न्यूटन (1642-1727) ने आसपास के गणितीय सिद्धांत के विकास को पूरा किया। गॉटफ्रीड लीबनिज (1646-1716) ने ज्ञान को अनंत मात्राओं के लिए कैलकुलस में व्यवस्थित किया और आज प्रयोग किए जाने वाले लीबनिज के अंकन को प्रस्तुत किया।
ज्यामितीय अर्थ
पहले मौलिक प्रमेय की व्याख्या इस प्रकार की जा सकती है। निरंतर कार्य y = f(x) दिया गया है जिसका ग्राफ वक्र के रूप में प्लॉट किया गया है, संबंधित क्षेत्र फलन को परिभाषित करता है ऐसा है कि A(x) 0 और x के बीच वक्र के नीचे का क्षेत्र है A(x) सरलता से संगणनीय नहीं हो सकता है, लेकिन इसे अच्छी तरह से परिभाषित माना जाता है।
वक्र के नीचे का क्षेत्र x और x + h के बीच का क्षेत्रफल ज्ञात करके गणना की जा सकती है फिर बीच के क्षेत्र 0 और x को घटाना दूसरे शब्दों में, इस पट्टी का क्षेत्रफल A(x + h) − A(x) होगा ।
इसी पट्टी के क्षेत्रफल का अनुमान लगाने का एक और विधि है। जैसा कि संलग्न चित्र में दिखाया गया है, आयत का क्षेत्रफल ज्ञात करने के लिए h को f(x) से गुणा किया जाता है जो इस पट्टी के लगभग समान आकार का है। इसलिए:
जैसा h पहुँचता है 0 किसी फलन की सीमा में, अंतिम अंश शून्य पर जाना चाहिए।[6] इसे देखने के लिए, ध्यान दें कि अतिरिक्त क्षेत्र छोटे काले-सीमा वाले आयत के अंदर है, जो अतिरिक्त क्षेत्र के लिए ऊपरी सीमा देता है:
जहाँ और वे बिंदु हैं f अंतराल [x, x + h] में क्रमशः अपने अधिकतम और न्यूनतम तक पहुँचता है [x, x + h].
इस प्रकार:
इस प्रकार, फलन (क्षेत्र) के अभिन्न अंग का व्युत्पन्न मूल कार्य है, इसलिए व्युत्पन्न और अभिन्न व्युत्क्रम कार्य हैं जो एक दूसरे को उल्टा करते हैं। यह मौलिक प्रमेय का सार है।
शारीरिक अंतर्ज्ञान
सहजता से, मौलिक प्रमेय में कहा गया है कि एकीकरण और भेदभाव अनिवार्य रूप से विपरीत संचालन हैं जो एक दूसरे को उलट देते हैं।
दूसरा मौलिक प्रमेय कहता है कि समय के साथ मात्रा में अपरिमेय परिवर्तनों का योग (मात्रा के व्युत्पन्न का अभिन्न अंग) मात्रा में शुद्ध परिवर्तन तक जुड़ जाता है। इसकी कल्पना करने के लिए, कार में यात्रा करने की कल्पना करें और तय की गई दूरी (राजमार्ग के साथ स्थिति में शुद्ध परिवर्तन) जानना चाहते हैं। आप स्पीडोमीटर पर वेग देख सकते हैं लेकिन अपना स्थान देखने के लिए बाहर नहीं देख सकते। प्रत्येक सेकेंड, आप यह पता लगा सकते हैं कि कार ने कितनी दूर की यात्रा की है। दूरी = गति × समय, वर्तमान गति (किलोमीटर या मील प्रति घंटे में) को समय अंतराल (1 सेकंड = घंटा)। इन सभी छोटे कदमों का योग करके, आप कार से बाहर देखे बिना तय की गई कुल दूरी की गणना कर सकते हैं:
पहला मौलिक प्रमेय कहता है कि कोई भी मात्रा निश्चित समय से चर समय तक मात्रा के अभिन्न अंग के परिवर्तन (व्युत्पन्न) की दर है। उपरोक्त उदाहरण को जारी रखते हुए, यदि आप वेग फलन की कल्पना करते हैं, तो आप इसे दूरी फलन प्राप्त करने के लिए प्रारंभी समय से किसी भी समय तक एकीकृत कर सकते हैं जिसका व्युत्पन्न दिया गया वेग है। (हाईवे-मार्कर स्थिति प्राप्त करने के लिए, आपको इस इंटीग्रल में अपनी प्रारंभिक स्थिति जोड़ने की आवश्यकता है।)
औपचारिक बयान
प्रमेय के दो भाग हैं। पहला भाग प्रतिपक्षी के व्युत्पन्न से संबंधित है, जबकि दूसरा भाग प्रतिपक्षी और निश्चित अभिन्न के बीच के संबंध से संबंधित है।
पहला भाग
इस भाग को कभी-कभी कलन की पहली मौलिक प्रमेय के रूप में जाना जाता है।[7]
मान लीजिये f बंद अंतराल [a, b] पर परिभाषित निरंतर वास्तविक-मूल्यवान कार्य हो F[a, b] में सभी के लिए x परिभाषित कार्य हो।
परिणाम
किसी फलन के निश्चित समाकल की गणना करने के लिए मूलभूत प्रमेय का प्रयोग अधिकांशतः किया जाता है जिसके लिए प्रतिपक्षी ज्ञात है। विशेष रूप से, अगर पर एक वास्तविक-मूल्यवान सतत फलन है और का प्रतिपक्षी है में तब
दूसरा भाग
इस भाग को कभी-कभी कलन न्यूटन-लीबनिज अभिगृहीत की दूसरी मौलिक प्रमेय के रूप में जाना जाता है।[8]
तब बंद अंतराल पर वास्तविक-मूल्यवान फलन और सतत कार्य प्रारंभ है जो कि प्रतिकूल है में :
जब विरोधी का उपस्थित है, तो इसके लिए असीम रूप से कई प्रतिपक्षी हैं मनमाना स्थिरांक जोड़कर प्राप्त किया. साथ ही, प्रमेय के पहले भाग द्वारा, के प्रतिअवकलज हमेशा उपस्थित जब निरंतर है।
पहले भाग का प्रमाण
किसी दिए गए फलन के लिए f, फलन को परिभाषित करें F(x) जैसा
औसत मूल्य प्रमेय के अनुसार निश्चित इंटीग्रल के लिए पहला औसत मूल्य प्रमेय, वास्तविक संख्या उपस्थित है ऐसा है कि
व्युत्पन्न की परिभाषा के अनुसार, की निरंतरता f, और निचोड़ प्रमेय।[9]
प्रमेय का प्रमाण
कल्पना करना F का अवकलज है f, साथ f लगातार [a, b]. होने देना
दूसरे भाग का प्रमाण
यह रीमैन इंटीग्रल द्वारा सीमा प्रमाण है।
आरंभ करने के लिए, हम माध्य मान प्रमेय को याद करते हैं। संक्षेप में कहा गया है, अगर F बंद अंतराल पर निरंतर है [a, b] और खुले अंतराल पर अलग-अलग (a, b), तो कुछ उपस्थित है c में (a, b) ऐसा है कि
|
(1') |
फलन F अंतराल पर अवकलनीय है (a, b) और बंद अंतराल पर निरंतर [a, b]; इसलिए, यह भी प्रत्येक अंतराल पर अवकलनीय है (xi−1, xi) और प्रत्येक अंतराल पर निरंतर [xi−1, xi]. औसत मूल्य प्रमेय (ऊपर) के अनुसार, प्रत्येक के लिए i वहाँ एक उपस्थित है में (xi−1, xi) ऐसा है कि
|
(2') |
हम आयत के क्षेत्रफल का वर्णन कर रहे हैं, चौड़ाई गुणा ऊंचाई के साथ, और हम क्षेत्रों को एक साथ जोड़ रहे हैं। प्रत्येक आयत, औसत मूल्य प्रमेय के आधार पर, उस वक्र खंड के सन्निकटन का वर्णन करता है जिस पर इसे खींचा गया है। भी के सभी मानों के लिए समान नहीं होना चाहिए i, या दूसरे शब्दों में कहें कि आयतों की चौड़ाई अलग-अलग हो सकती है। हमें जो करना है वह वक्र के साथ अनुमानित है n आयतें। अब, जैसे-जैसे विभाजन का आकार छोटा होता जाता है और n बढ़ता है, जिसके परिणामस्वरूप अंतरिक्ष को कवर करने के लिए और अधिक विभाजन होते हैं, हम वक्र के वास्तविक क्षेत्र के और समीप आते जाते हैं।
अभिव्यक्ति की सीमा लेने से जैसे-जैसे विभाजन का मानदंड शून्य के करीब पहुंचता है, हम रीमैन इंटीग्रल पर पहुंचते हैं। हम जानते हैं कि यह सीमा उपस्थित है क्योंकि f को पूर्णांक माना गया था। अर्थात्, हम सीमा लेते हैं क्योंकि सबसे बड़ा विभाजन आकार में शून्य तक पहुंचता है, ताकि अन्य सभी विभाजन छोटे हों और विभाजनों की संख्या अनंत तक पहुंच जाए।
इसलिए, हम दोनों पक्षों की सीमा लेते हैं (2'). यह हमें देता है
भागों के बीच संबंध
जैसा कि ऊपर चर्चा की गई है, दूसरे भाग का थोड़ा कमजोर संस्करण पहले भाग से आता है।
इसी तरह, यह लगभग ऐसा लगता है जैसे प्रमेय का पहला भाग सीधे दूसरे से आता है। यानी मान लीजिए G का अवकलज है f. फिर दूसरे प्रमेय द्वारा, . अब, मान लीजिए . तब F के समान व्युत्पन्न है G, और इसलिए F′ = f. चूंकि, यह तर्क तभी काम करता है, जब हम पहले से ही यह जानते हों f में प्रतिपक्षी है, और एकमात्र विधि है कि हम जानते हैं कि सभी निरंतर कार्यों में प्रतिपक्षी हैं, जो कि मौलिक प्रमेय के पहले भाग से है।[1] उदाहरण के लिए, अगर f(x) = e−x2, तब f में प्रतिपक्षी है, अर्थात्
उदाहरण
विशेष अभिन्न कंप्यूटिंग
मान लीजिए निम्नलिखित की गणना की जानी है:
पहले भाग का प्रयोग
कल्पना करना
एक अभिन्न जहां उपप्रमेय अपर्याप्त है
कल्पना करना
सैद्धांतिक उदाहरण
इसे सिद्ध करने के लिए प्रमेय का उपयोग किया जा सकता है
परिणाम इस प्रकार है,
सामान्यीकरण
फलन f पूरे अंतराल में निरंतर नहीं होना चाहिए। प्रमेय का भाग I तब कहता है: यदि f कोई भी लेबेस्ग इंटीग्रेशन फलन प्रारंभ है [a, b] और x0 में एक संख्या है [a, b] ऐसा है कि f पर निरंतर x0 है, तब
उच्च आयामों में लेबेस्ग की विभेदन प्रमेय कैलकुलस के मौलिक प्रमेय को यह कहते हुए सामान्यीकृत करती है कि लगभग प्रत्येक के लिए x, फलन का औसत मूल्य f त्रिज्या की गेंद पर r पर केंद्रित है x आदत है f(x) जैसा r 0 की ओर जाता है।
प्रमेय का भाग II किसी भी लेबेस्ग पूर्णांकीय फलन के लिए सत्य है f, जिसमें प्रतिपक्षी है F (चूंकि, सभी पूर्णांक कार्य नहीं करते हैं)। दूसरे शब्दों में, यदि एक वास्तविक कार्य F पर [a, b] व्युत्पन्न स्वीकार करता है f(x) हर बिंदु पर x का [a, b] और यदि यह व्युत्पन्न है f लेबेस्ग पर पूर्णांक है [a, b], तब[11]
इस प्रमेय की शर्तों को फिर से हेनस्टॉक-कुर्जवील इंटीग्रल के रूप में शामिल इंटीग्रल पर विचार करके आराम दिया जा सकता है। विशेष रूप से, यदि सतत कार्य F(x) व्युत्पन्न स्वीकार करता है f(x) बिल्कुल, लेकिन फिर गिनती के कई बिंदु f(x) हेनस्टॉक-कुर्ज़वील पूर्णांक है और F(b) − F(a) के अभिन्न के बराबर है f पर [a, b]. यहाँ अंतर यह है कि की अभिन्नता f ग्रहण करने की आवश्यकता नहीं है।[12]
टेलर के प्रमेय का संस्करण, जो त्रुटि शब्द को अभिन्न के रूप में व्यक्त करता है, को मौलिक प्रमेय के सामान्यीकरण के रूप में देखा जा सकता है।
जटिल संख्या कार्यों के लिए प्रमेय का संस्करण है: मान लीजिए U खुला सम्मुचय है और f : U → C एक ऐसा कार्य है जिसमें एक होलोमॉर्फिक फलन एंटीडेरिवेटिव है F पर U. फिर हर वक्र के लिए γ : [a, b] → U, वक्र समाकलन की गणना इस रूप में की जा सकती है
इस दिशा में सबसे शक्तिशाली सामान्यीकरणों में से एक है सामान्यीकृत स्टोक्स प्रमेय | स्टोक्स प्रमेय (कभी-कभी बहुभिन्नरूपी कैलकुलस के मौलिक प्रमेय के रूप में जाना जाता है):[13] होने देना M एक उन्मुख टुकड़े-टुकड़े आयाम का असीम रूप से अलग-अलग हो n और जाने एक सुगठित रूप से समर्थित विभेदक रूप बनें(n − 1)-फॉर्म ऑन M. अगर ∂M के कई गुना को दर्शाता है M इसके प्रेरित ओरिएंटेशन (गणित) को देखते हुए
प्रमेय का प्रयोग अधिकांशतः उन स्थितियों में किया जाता है जहां M कुछ बड़े कई गुना (उदा। Rk) जिस पर प्रपत्र परिभाषित किया गया।
कैलकुलस का मौलिक प्रमेय हमें एक निश्चित समाकलन को पहले क्रम के साधारण अंतर समीकरण के रूप में प्रस्तुत करने की अनुमति देता है।
यह भी देखें
- अभिन्न चिह्न के तहत भेदभाव
- टेलीस्कोपिंग श्रृंखला
- ढाल प्रमेय
- विभेदीकरण के लिए संकेतन
टिप्पणियाँ
संदर्भ
- ↑ 1.0 1.1 Spivak, Michael (1980), Calculus (2nd ed.), Houston, Texas: Publish or Perish Inc.
- ↑ Malet, Antoni (1993). "श्रृंखला विस्तार के लिए स्पर्शरेखा और "टेलर" नियम पर जेम्स ग्रेगोरी". Archive for History of Exact Sciences. Springer-Verlag. 46 (2): 97–137. doi:10.1007/BF00375656. S2CID 120101519.
Gregorie's thought, on the other hand, belongs to a conceptual framework strongly geometrical in character. (page 137)
- ↑ See, e.g., Marlow Anderson, Victor J. Katz, Robin J. Wilson, Sherlock Holmes in Babylon and Other Tales of Mathematical History, Mathematical Association of America, 2004, p. 114.
- ↑ Gregory, James (1668). ज्यामिति का सार्वभौमिक भाग. Museo Galileo: Patavii: typis heredum Pauli Frambotti.
- ↑ Child, James Mark; Barrow, Isaac (1916). इसहाक बैरो के ज्यामितीय व्याख्यान. Chicago: Open Court Publishing Company.
- ↑ Bers, Lipman. Calculus, pp. 180–181 (Holt, Rinehart and Winston (1976).
- ↑ Apostol 1967, §5.1
- ↑ Apostol 1967, §5.3
- ↑ Leithold, L. (1996), The calculus of a single variable (6th ed.), New York: HarperCollins College Publishers, p. 380.
- ↑ Bartle (2001), Thm. 4.11.
- ↑ Rudin 1987, th. 7.21
- ↑ Bartle (2001), Thm. 4.7.
- ↑ Spivak, M. (1965). कई गुना पर पथरी. New York: W. A. Benjamin. pp. 124–125. ISBN 978-0-8053-9021-6.
ग्रन्थसूची
- Apostol, Tom M. (1967), Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra (2nd ed.), New York: John Wiley & Sons, ISBN 978-0-471-00005-1.
- Bartle, Robert (2001), A Modern Theory of Integration, AMS, ISBN 0-8218-0845-1.
- Leithold, L. (1996), The calculus of a single variable (6th ed.), New York: HarperCollins College Publishers.
- Rudin, Walter (1987), Real and Complex Analysis (third ed.), New York: McGraw-Hill Book Co., ISBN 0-07-054234-1
अग्रिम पठन
- Courant, Richard; John, Fritz (1965), Introduction to Calculus and Analysis, Springer.
- Larson, Ron; Edwards, Bruce H.; Heyd, David E. (2002), Calculus of a single variable (7th ed.), Boston: Houghton Mifflin Company, ISBN 978-0-618-14916-2.
- Malet, A., Studies on James Gregorie (1638-1675) (PhD Thesis, Princeton, 1989).
- Hernandez Rodriguez, O. A.; Lopez Fernandez, J. M. . "Teaching the Fundamental Theorem of Calculus: A Historical Reflection", Loci: Convergence (MAA), January 2012.
- Stewart, J. (2003), "Fundamental Theorem of Calculus", Calculus: early transcendentals, Belmont, California: Thomson/Brooks/Cole.
- Turnbull, H. W., ed. (1939), The James Gregory Tercentenary Memorial Volume, London
{{citation}}: CS1 maint: location missing publisher (link).
बाहरी संबंध
- "Fundamental theorem of calculus", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- James Gregory's Euclidean Proof of the Fundamental Theorem of Calculus at Convergence
- Isaac Barrow's proof of the Fundamental Theorem of Calculus
- Fundamental Theorem of Calculus at imomath.com
- Alternative proof of the fundamental theorem of calculus
- Fundamental Theorem of Calculus MIT.
- Fundamental Theorem of Calculus Mathworld.

