रीमैन इंटीग्रल: Difference between revisions
No edit summary |
No edit summary |
||
Line 7: | Line 7: | ||
[[वास्तविक विश्लेषण]] के रूप में जानी जाने वाली गणित की शाखा में, [[बर्नहार्ड रीमैन]] द्वारा बनाई गई रीमैन [[ अभिन्न ]], एक [[अंतराल (गणित)]] पर एक फलन (गणित) के इंटीग्रल की पहली कठोर परिभाषा थी। यह 1854 में गौटिंगेन विश्वविद्यालय में संकाय को प्रस्तुत किया गया था, किन्तु 1868 तक कोई पत्रिका में प्रकाशित नहीं हुआ था।<ref>The Riemann integral was introduced in Bernhard Riemann's paper "Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe" (On the representability of a function by a trigonometric series; i.e., when can a function be represented by a trigonometric series). This paper was submitted to the University of Göttingen in 1854 as Riemann's ''Habilitationsschrift'' (qualification to become an instructor). It was published in 1868 in ''Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen'' (Proceedings of the Royal Philosophical Society at Göttingen), vol. 13, pages 87-132. (Available online [https://books.google.com/books?id=PDVFAAAAcAAJ&pg=RA1-PA87 here].) For Riemann's definition of his integral, see section 4, "Über den Begriff eines bestimmten Integrals und den Umfang seiner Gültigkeit" (On the concept of a definite integral and the extent of its validity), pages 101–103.</ref> कई कार्यों और व्यावहारिक अनुप्रयोगों के लिए, रीमैन इंटीग्रल का मूल्यांकन कैलकुस के मौलिक प्रमेय द्वारा किया जा सकता है या [[संख्यात्मक एकीकरण]] द्वारा अनुमानित किया जा सकता है, या मोंटे कार्लो इंटीग्रेशन का उपयोग करके अनुकरण किया जा सकता है। | [[वास्तविक विश्लेषण]] के रूप में जानी जाने वाली गणित की शाखा में, [[बर्नहार्ड रीमैन]] द्वारा बनाई गई रीमैन [[ अभिन्न ]], एक [[अंतराल (गणित)]] पर एक फलन (गणित) के इंटीग्रल की पहली कठोर परिभाषा थी। यह 1854 में गौटिंगेन विश्वविद्यालय में संकाय को प्रस्तुत किया गया था, किन्तु 1868 तक कोई पत्रिका में प्रकाशित नहीं हुआ था।<ref>The Riemann integral was introduced in Bernhard Riemann's paper "Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe" (On the representability of a function by a trigonometric series; i.e., when can a function be represented by a trigonometric series). This paper was submitted to the University of Göttingen in 1854 as Riemann's ''Habilitationsschrift'' (qualification to become an instructor). It was published in 1868 in ''Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen'' (Proceedings of the Royal Philosophical Society at Göttingen), vol. 13, pages 87-132. (Available online [https://books.google.com/books?id=PDVFAAAAcAAJ&pg=RA1-PA87 here].) For Riemann's definition of his integral, see section 4, "Über den Begriff eines bestimmten Integrals und den Umfang seiner Gültigkeit" (On the concept of a definite integral and the extent of its validity), pages 101–103.</ref> कई कार्यों और व्यावहारिक अनुप्रयोगों के लिए, रीमैन इंटीग्रल का मूल्यांकन कैलकुस के मौलिक प्रमेय द्वारा किया जा सकता है या [[संख्यात्मक एकीकरण]] द्वारा अनुमानित किया जा सकता है, या मोंटे कार्लो इंटीग्रेशन का उपयोग करके अनुकरण किया जा सकता है। | ||
== | == अवलोकन == | ||
मान लीजिए {{mvar|f}} अंतराल {{math|[''a'', ''b'']}} पर एक गैर-ऋणात्मक [[वास्तविक संख्या]]-मूल्यवान फलन है, और {{mvar|S}} को फलन {{mvar|f}} के ग्राफ़ के नीचे और अंतराल {{math|[''a'', ''b'']}} के ऊपर समतल का क्षेत्र होने दें। शीर्ष दाईं ओर आकृति देखें। इस क्षेत्र को [[सेट-बिल्डर नोटेशन|सेट-बिल्डर]] संकेतन के रूप में व्यक्त किया जा सकता है | मान लीजिए {{mvar|f}} अंतराल {{math|[''a'', ''b'']}} पर एक गैर-ऋणात्मक [[वास्तविक संख्या]]-मूल्यवान फलन है, और {{mvar|S}} को फलन {{mvar|f}} के ग्राफ़ के नीचे और अंतराल {{math|[''a'', ''b'']}} के ऊपर समतल का क्षेत्र होने दें। शीर्ष दाईं ओर आकृति देखें। इस क्षेत्र को [[सेट-बिल्डर नोटेशन|सेट-बिल्डर]] संकेतन के रूप में व्यक्त किया जा सकता है | ||
Line 25: | Line 25: | ||
प्रत्येक {{math|[''x<sub>i</sub>'', ''x''<sub>''i'' + 1</sub>]}} को विभाजन का उप-अंतराल कहा जाता है। एक विभाजन के जाल या मानदंड को सबसे लंबे उप-अंतराल की लंबाई के रूप में परिभाषित किया गया है, अर्थात, | प्रत्येक {{math|[''x<sub>i</sub>'', ''x''<sub>''i'' + 1</sub>]}} को विभाजन का उप-अंतराल कहा जाता है। एक विभाजन के जाल या मानदंड को सबसे लंबे उप-अंतराल की लंबाई के रूप में परिभाषित किया गया है, अर्थात, | ||
<math display="block">\max \left(x_{i+1}-x_i\right), \quad i \in [0,n-1].</math> | <math display="block">\max \left(x_{i+1}-x_i\right), \quad i \in [0,n-1].</math> | ||
एक टैग किया गया विभाजन {{math|''P''(''x'', ''t'')}} एक अंतराल का {{math|[''a'', ''b'']}} प्रत्येक उप-अंतराल के | एक टैग किया गया विभाजन {{math|''P''(''x'', ''t'')}} एक अंतराल का {{math|[''a'', ''b'']}} प्रत्येक उप-अंतराल के अन्दर एक मानक बिंदु के विकल्प के साथ एक विभाजन है: अर्थात, संख्याएँ {{math|''t''<sub>0</sub>, ..., ''t''<sub>''n'' − 1</sub>}} साथ {{math|''t<sub>i</sub>'' ∈ [''x<sub>i</sub>'', ''x''<sub>''i'' + 1</sub>]}} प्रत्येक के लिए {{mvar|i}}. टैग किए गए विभाजन का जाल सामान्य विभाजन के समान होता है। | ||
मान लीजिए कि दो विभाजन {{math|''P''(''x'', ''t'')}} और {{math|''Q''(''y'', ''s'')}} अंतराल | मान लीजिए कि दो विभाजन {{math|''P''(''x'', ''t'')}} और {{math|''Q''(''y'', ''s'')}} दोनों अंतराल {{math|[''a'', ''b'']}} के विभाजन है। हम कहते हैं कि {{math|''Q''(''y'', ''s'')}} {{math|''P''(''x'', ''t'')}} का शोधन है यदि प्रत्येक पूर्णांक के लिए {{mvar|i}}, साथ {{math|''i'' ∈ [0, ''n'']}}, एक पूर्णांक {{math|''r''(''i'')}} उपस्थित है जैसे कि {{math|''x<sub>i</sub>'' {{=}} ''y''<sub>''r''(''i'')</sub>}} और ऐसा कि कुछ {{mvar|j}} के लिए {{math|''j'' ∈ [''r''(''i''), ''r''(''i'' + 1)]}} के साथ {{math|''t<sub>i</sub>'' {{=}} ''s<sub>j</sub>''}}। यही है, एक टैग किया गया विभाजन कुछ उप-अंतरालों को तोड़ता है और जहां आवश्यक हो, विभाजन की शुद्धता को परिष्कृत करते हुए मानक बिंदु जोड़ता है। | ||
हम सभी टैग किए गए विभाजनों के सेट को यह कहकर [[निर्देशित सेट]] में बदल सकते हैं कि एक टैग किया गया विभाजन दूसरे से अधिक या उसके बराबर है यदि पूर्व उत्तरार्द्ध का परिशोधन है। | हम सभी टैग किए गए विभाजनों के सेट को यह कहकर [[निर्देशित सेट]] में बदल सकते हैं कि एक टैग किया गया विभाजन दूसरे से अधिक या उसके बराबर है यदि पूर्व उत्तरार्द्ध का परिशोधन है। | ||
=== रीमैन राशि === | === रीमैन राशि === | ||
मान लीजिये {{mvar|f}} अंतराल {{math|[''a'', ''b'']}} पर परिभाषित एक वास्तविक-मूल्यवान फलन हो। रीमैन का योग {{mvar|f}} टैग किए गए विभाजन के संबंध में {{math|''x''<sub>0</sub>, ..., ''x<sub>n</sub>''}} के साथ साथ {{math|''t''<sub>0</sub>, ..., ''t''<sub>''n'' − 1</sub>}} है<ref>{{Cite book |last=Krantz |first=Steven G. |url=https://www.worldcat.org/oclc/56214595 |title=वास्तविक विश्लेषण और नींव|date=2005 |publisher=Chapman & Hall/CRC |isbn=1-58488-483-5 |location=Boca Raton, Fla. |oclc=56214595 |page=173}}</ref> | |||
<math display="block">\sum_{i=0}^{n-1} f(t_i) \left(x_{i+1}-x_i\right).</math> | <math display="block">\sum_{i=0}^{n-1} f(t_i) \left(x_{i+1}-x_i\right).</math> | ||
योग में प्रत्येक शब्द किसी दिए गए बिंदु पर फलन के मान और अंतराल की लंबाई का गुणनफल है। | योग में प्रत्येक शब्द किसी दिए गए बिंदु पर फलन के मान और अंतराल की लंबाई का गुणनफल है। परिणामस्वरुप, प्रत्येक शब्द ऊंचाई {{math|''f''(''t<sub>i</sub>'')}} और चौड़ाई {{math|''x''<sub>''i'' + 1</sub> − ''x<sub>i</sub>''}} के साथ एक आयत के (हस्ताक्षरित) क्षेत्र का प्रतिनिधित्व करता है। रीमैन योग सभी आयतों का (हस्ताक्षरित) क्षेत्र है। | ||
बारीकी से संबंधित अवधारणाएँ निम्न और ऊपरी डार्बौक्स योग हैं। ये रीमैन सम्स के समान हैं, किन्तु | बारीकी से संबंधित अवधारणाएँ निम्न और ऊपरी डार्बौक्स योग हैं। ये रीमैन सम्स के समान हैं, किन्तु टैग प्रत्येक उप-अंतराल पर {{mvar|f}} के [[निम्नतम और उच्चतम]] (क्रमशः) द्वारा प्रतिस्थापित किया जाता है: | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
L(f, P) &= \sum_{i=0}^{n-1} \inf_{t \in [x_i, x_{i+1}]} f(t)(x_{i+1} - x_i), \\ | L(f, P) &= \sum_{i=0}^{n-1} \inf_{t \in [x_i, x_{i+1}]} f(t)(x_{i+1} - x_i), \\ | ||
U(f, P) &= \sum_{i=0}^{n-1} \sup_{t \in [x_i, x_{i+1}]} f(t)(x_{i+1} - x_i). | U(f, P) &= \sum_{i=0}^{n-1} \sup_{t \in [x_i, x_{i+1}]} f(t)(x_{i+1} - x_i). | ||
\end{align}</math> | \end{align}</math> | ||
यदि {{mvar|f}} निरंतर है, तो टैग न किए गए विभाजन के लिए निचले और ऊपरी डार्बौक्स योग उस विभाजन के रीमैन योग के बराबर होते हैं, जहां टैग को प्रत्येक उपअंतराल पर {{mvar|f}} का न्यूनतम या अधिकतम (क्रमशः) चुना जाता है। (जब {{mvar|f}} एक उपअंतराल पर विच्छिन्न होता है, तो ऐसा कोई टैग नहीं हो सकता है जो उस उपअंतराल पर न्यूनतम या उच्चतम को प्राप्त करता हो।) [[डार्बौक्स अभिन्न]], जो रीमैन इंटीग्रल के समान है लेकिन डार्बौक्स रकम पर आधारित है, रीमैन इंटीग्रल के बराबर है। | |||
=== {{anchor|Riemann-integrable}} रीमैन इंटीग्रल === | === {{anchor|Riemann-integrable}} रीमैन इंटीग्रल === | ||
ढीले ढंग से बोलते हुए, रीमैन इंटीग्रल फलन के रीमैन सम की सीमा है क्योंकि विभाजन उत्तम हो जाते हैं। यदि सीमा | ढीले ढंग से बोलते हुए, रीमैन इंटीग्रल फलन के रीमैन सम की सीमा है क्योंकि विभाजन उत्तम हो जाते हैं। यदि सीमा उपस्थित है तो फलन को पूर्णांक (या अधिक विशेष रूप से रीमैन-पूर्णांक) कहा जाता है। विभाजन को पर्याप्त रूप से ठीक करके रीमैन योग को रीमैन इंटीग्रल के वांछित के रूप में बनाया जा सकता है।<ref>{{Cite book|last=Taylor|first=Michael E. |author-link=Michael E. Taylor|title=सिद्धांत और एकीकरण को मापें| publisher=American Mathematical Society |year=2006 |isbn=9780821872468 |page=1|url=https://books.google.com/books?id=P_zJA-E5oe4C&pg=PA1}}</ref> | ||
एक महत्वपूर्ण आवश्यकता यह है कि विभाजन का जाल छोटा और छोटा होना चाहिए, ताकि सीमा में यह शून्य हो। यदि ऐसा नहीं होता, तो हमें निश्चित उपअंतरालों पर फलन का अच्छा सन्निकटन नहीं मिल पाता। वास्तव में, यह एक अभिन्न को परिभाषित करने के लिए पर्याप्त है। विशिष्ट होने के लिए, हम कहते हैं कि रीमैन का अभिन्न अंग {{mvar|f}} बराबर है {{mvar|s}} यदि निम्न स्थिति होती है: | एक महत्वपूर्ण आवश्यकता यह है कि विभाजन का जाल छोटा और छोटा होना चाहिए, ताकि सीमा में यह शून्य हो। यदि ऐसा नहीं होता, तो हमें निश्चित उपअंतरालों पर फलन का अच्छा सन्निकटन नहीं मिल पाता। वास्तव में, यह एक अभिन्न को परिभाषित करने के लिए पर्याप्त है। विशिष्ट होने के लिए, हम कहते हैं कि रीमैन का अभिन्न अंग {{mvar|f}} बराबर है {{mvar|s}} यदि निम्न स्थिति होती है: | ||
<ब्लॉककोट>सभी के लिए {{math|''ε'' > 0}}, वहां | <ब्लॉककोट>सभी के लिए {{math|''ε'' > 0}}, वहां उपस्थित {{math|''δ'' > 0}} जैसे कि किसी भी Partition_of_an_interval के लिए {{math|''x''<sub>0</sub>, ..., ''x<sub>n</sub>''}} और {{math|''t''<sub>0</sub>, ..., ''t''<sub>''n'' − 1</sub>}} जिसकी जाली से कम है {{mvar|δ}}, अपने पास | ||
<math display="block">\left| \left( \sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i) \right) - s\right| < \varepsilon.</math></ब्लॉककोट> | <math display="block">\left| \left( \sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i) \right) - s\right| < \varepsilon.</math></ब्लॉककोट> | ||
दुर्भाग्य से, इस परिभाषा का उपयोग करना बहुत कठिन है। यह रीमैन इंटीग्रल की एक समतुल्य परिभाषा विकसित करने में मदद करेगा, जिसके साथ काम करना आसान है। हम इस परिभाषा को अब तुल्यता के प्रमाण के साथ विकसित करते हैं। हमारी नई परिभाषा कहती है कि रीमैन का अभिन्न अंग {{mvar|f}} बराबर है {{mvar|s}} यदि निम्न स्थिति होती है: | दुर्भाग्य से, इस परिभाषा का उपयोग करना बहुत कठिन है। यह रीमैन इंटीग्रल की एक समतुल्य परिभाषा विकसित करने में मदद करेगा, जिसके साथ काम करना आसान है। हम इस परिभाषा को अब तुल्यता के प्रमाण के साथ विकसित करते हैं। हमारी नई परिभाषा कहती है कि रीमैन का अभिन्न अंग {{mvar|f}} बराबर है {{mvar|s}} यदि निम्न स्थिति होती है: | ||
<ब्लॉककोट>सभी के लिए {{math|''ε'' > 0}}, एक टैग किया गया विभाजन | <ब्लॉककोट>सभी के लिए {{math|''ε'' > 0}}, एक टैग किया गया विभाजन उपस्थित है {{math|''y''<sub>0</sub>, ..., ''y<sub>m</sub>''}} और {{math|''r''<sub>0</sub>, ..., ''r''<sub>''m'' − 1</sub>}} जैसे कि किसी भी टैग किए गए विभाजन के लिए {{math|''x''<sub>0</sub>, ..., ''x<sub>n</sub>''}} और {{math|''t''<sub>0</sub>, ..., ''t''<sub>''n'' − 1</sub>}} जो का शोधन है {{math|''y''<sub>0</sub>, ..., ''y<sub>m</sub>''}} और {{math|''r''<sub>0</sub>, ..., ''r''<sub>''m'' − 1</sub>}}, अपने पास | ||
<math display="block">\left| \left( \sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i) \right) - s\right| < \varepsilon.</math></ब्लॉककोट> | <math display="block">\left| \left( \sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i) \right) - s\right| < \varepsilon.</math></ब्लॉककोट> | ||
इन दोनों का अर्थ है कि अंततः, रीमैन का योग {{mvar|f}} के संबंध में कोई विभाजन के करीब फंस जाता है {{mvar|s}}. चूंकि यह सच है, चाहे हम कितनी भी मांग करें कि राशि फँसी हुई है, हम कहते हैं कि रीमैन राशियाँ अभिसरण करती हैं {{mvar|s}}. ये परिभाषाएँ वास्तव में एक अधिक सामान्य अवधारणा, एक जाल (गणित) का एक विशेष मामला हैं। | इन दोनों का अर्थ है कि अंततः, रीमैन का योग {{mvar|f}} के संबंध में कोई विभाजन के करीब फंस जाता है {{mvar|s}}. चूंकि यह सच है, चाहे हम कितनी भी मांग करें कि राशि फँसी हुई है, हम कहते हैं कि रीमैन राशियाँ अभिसरण करती हैं {{mvar|s}}. ये परिभाषाएँ वास्तव में एक अधिक सामान्य अवधारणा, एक जाल (गणित) का एक विशेष मामला हैं। | ||
जैसा कि हमने पहले कहा, ये दो परिभाषाएँ समतुल्य हैं। दूसरे शब्दों में, {{mvar|s}} पहली परिभाषा में काम करता है | जैसा कि हमने पहले कहा, ये दो परिभाषाएँ समतुल्य हैं। दूसरे शब्दों में, {{mvar|s}} पहली परिभाषा में काम करता है यदि और केवल यदि {{mvar|s}} दूसरी परिभाषा में काम करता है। यह दिखाने के लिए कि पहली परिभाषा का तात्पर्य दूसरी से है, एक से शुरू करें {{mvar|ε}}, और एक चुनें {{mvar|δ}} जो शर्त को पूरा करता है। किसी भी टैग किए गए विभाजन को चुनें जिसका मेश इससे कम हो {{mvar|δ}}. इसका रीमैन योग अन्दर है {{mvar|ε}} का {{mvar|s}}, और इस विभाजन के किसी भी परिशोधन में मेश से भी कम होगा {{mvar|δ}}, इसलिए शोधन का रीमैन योग भी अन्दर होगा {{mvar|ε}} का {{mvar|s}}. | ||
यह दिखाने के लिए कि दूसरी परिभाषा का तात्पर्य पहले से है, [[डार्बौक्स इंटीग्रल]] का उपयोग करना सबसे आसान है। सबसे पहले, एक दिखाता है कि दूसरी परिभाषा डार्बौक्स इंटीग्रल की परिभाषा के बराबर है; इसके लिए डार्बौक्स इंटीग्रल लेख देखें। अब हम दिखाएंगे कि एक डार्बौक्स इंटीग्रेबल फलन पहली परिभाषा को संतुष्ट करता है। हल करना {{mvar|ε}}, और एक विभाजन चुनें {{math|''y''<sub>0</sub>, ..., ''y<sub>m</sub>''}} जैसे कि इस विभाजन के संबंध में निचले और ऊपरी डार्बौक्स योग | यह दिखाने के लिए कि दूसरी परिभाषा का तात्पर्य पहले से है, [[डार्बौक्स इंटीग्रल]] का उपयोग करना सबसे आसान है। सबसे पहले, एक दिखाता है कि दूसरी परिभाषा डार्बौक्स इंटीग्रल की परिभाषा के बराबर है; इसके लिए डार्बौक्स इंटीग्रल लेख देखें। अब हम दिखाएंगे कि एक डार्बौक्स इंटीग्रेबल फलन पहली परिभाषा को संतुष्ट करता है। हल करना {{mvar|ε}}, और एक विभाजन चुनें {{math|''y''<sub>0</sub>, ..., ''y<sub>m</sub>''}} जैसे कि इस विभाजन के संबंध में निचले और ऊपरी डार्बौक्स योग अन्दर हैं {{math|''ε''/2}} मूल्य का {{mvar|s}} डार्बौक्स इंटीग्रल का। मान लीजिये | ||
<math display="block"> r = 2\sup_{x \in [a, b]} |f(x)|.</math> | <math display="block"> r = 2\sup_{x \in [a, b]} |f(x)|.</math> | ||
यदि {{math|''r'' {{=}} 0}}, तब {{mvar|f}} शून्य फलन है, जो स्पष्ट रूप से डार्बौक्स और रीमैन दोनों अभिन्न शून्य के साथ पूर्णांक है। इसलिए, हम यह मानेंगे {{math|''r'' > 0}}. यदि {{math|''m'' > 1}}, फिर हम चुनते हैं {{mvar|δ}} ऐसा है कि | |||
<math display="block">\delta < \min \left \{\frac{\varepsilon}{2r(m-1)}, \left(y_1 - y_0\right), \left(y_2 - y_1\right), \cdots, \left(y_m - y_{m-1}\right) \right \}</math> | <math display="block">\delta < \min \left \{\frac{\varepsilon}{2r(m-1)}, \left(y_1 - y_0\right), \left(y_2 - y_1\right), \cdots, \left(y_m - y_{m-1}\right) \right \}</math> | ||
यदि {{math|''m'' {{=}} 1}}, फिर हम चुनते हैं {{mvar|δ}} एक से कम होना। एक टैग किया गया विभाजन चुनें {{math|''x''<sub>0</sub>, ..., ''x<sub>n</sub>''}} और {{math|''t''<sub>0</sub>, ..., ''t''<sub>''n'' − 1</sub>}} से छोटे जाल के साथ {{mvar|δ}}. हमें यह दिखाना होगा कि रीमैन योग अन्दर है {{mvar|ε}} का {{mvar|s}}. | |||
इसे देखने के लिए, एक अंतराल चुनें {{math|[''x<sub>i</sub>'', ''x''<sub>''i'' + 1</sub>]}}. यदि यह अंतराल कुछ के | इसे देखने के लिए, एक अंतराल चुनें {{math|[''x<sub>i</sub>'', ''x''<sub>''i'' + 1</sub>]}}. यदि यह अंतराल कुछ के अन्दर समाहित है {{math|[''y<sub>j</sub>'', ''y''<sub>''j'' + 1</sub>]}}, तब | ||
<math display="block"> m_j < f(t_i) < M_j</math> | <math display="block"> m_j < f(t_i) < M_j</math> | ||
कहाँ {{mvar|m<sub>j</sub>}} और {{mvar|M<sub>j</sub>}} क्रमशः, अनंत और च पर सर्वोच्च हैं {{math|[''y<sub>j</sub>'', ''y''<sub>''j'' + 1</sub>]}}. यदि सभी अंतरालों में यह संपत्ति होती है, तो यह उपपत्ति को समाप्त कर देगा, क्योंकि रीमैन योग में प्रत्येक पद डार्बौक्स योग में संबंधित पद से घिरा होगा, और हमने डार्बौक्स योग को निकट होने के लिए चुना {{mvar|s}}. यह तब की बात है जब {{math|''m'' {{=}} 1}}, तो उस मामले में सबूत खत्म हो गया है। | कहाँ {{mvar|m<sub>j</sub>}} और {{mvar|M<sub>j</sub>}} क्रमशः, अनंत और च पर सर्वोच्च हैं {{math|[''y<sub>j</sub>'', ''y''<sub>''j'' + 1</sub>]}}. यदि सभी अंतरालों में यह संपत्ति होती है, तो यह उपपत्ति को समाप्त कर देगा, क्योंकि रीमैन योग में प्रत्येक पद डार्बौक्स योग में संबंधित पद से घिरा होगा, और हमने डार्बौक्स योग को निकट होने के लिए चुना {{mvar|s}}. यह तब की बात है जब {{math|''m'' {{=}} 1}}, तो उस मामले में सबूत खत्म हो गया है। | ||
Line 84: | Line 84: | ||
== उदाहरण == | == उदाहरण == | ||
मान लीजिये <math>f:[0,1]\to\R</math> वह कार्य हो जो प्रत्येक बिंदु पर मान 1 लेता है। का कोई रीमैन योग {{mvar|f}} पर {{math|[0, 1]}} का मान 1 होगा, इसलिए रीमैन का अभिन्न अंग है {{mvar|f}} पर {{math|[0, 1]}} 1 है। | |||
मान लीजिये <math>I_{\Q}:[0,1]\to\R</math> में परिमेय संख्याओं का सूचक कार्य हो {{math|[0, 1]}}; वह है, <math>I_{\Q}</math> परिमेय संख्याओं पर 1 और अपरिमेय संख्याओं पर 0 का मान लेता है। इस फलन में रीमैन इंटीग्रल नहीं है। इसे साबित करने के लिए, हम दिखाएंगे कि टैग किए गए विभाजन कैसे बनाए जाते हैं, जिनके रीमैन योग मनमाने ढंग से शून्य और एक दोनों के करीब हो जाते हैं। | |||
शुरू करने के लिए, चलो {{math|''x''<sub>0</sub>, ..., ''x<sub>n</sub>''}} और {{math|''t''<sub>0</sub>, ..., ''t''<sub>''n'' − 1</sub>}} एक टैग किया गया विभाजन हो (प्रत्येक {{mvar|t<sub>i</sub>}} के बीच है {{mvar|x<sub>i</sub>}} और {{math|''x''<sub>''i'' + 1</sub>}}). चुनना {{math|''ε'' > 0}}. वह {{mvar|t<sub>i</sub>}} को पहले ही चुना जा चुका है, और हम का मान नहीं बदल सकते {{mvar|f}} उन बिंदुओं पर। किन्तु | शुरू करने के लिए, चलो {{math|''x''<sub>0</sub>, ..., ''x<sub>n</sub>''}} और {{math|''t''<sub>0</sub>, ..., ''t''<sub>''n'' − 1</sub>}} एक टैग किया गया विभाजन हो (प्रत्येक {{mvar|t<sub>i</sub>}} के बीच है {{mvar|x<sub>i</sub>}} और {{math|''x''<sub>''i'' + 1</sub>}}). चुनना {{math|''ε'' > 0}}. वह {{mvar|t<sub>i</sub>}} को पहले ही चुना जा चुका है, और हम का मान नहीं बदल सकते {{mvar|f}} उन बिंदुओं पर। किन्तु यदि हम विभाजन को प्रत्येक के चारों ओर छोटे-छोटे टुकड़ों में काटते हैं {{mvar|t<sub>i</sub>}}, हम के प्रभाव को कम कर सकते हैं {{mvar|t<sub>i</sub>}}. फिर, नए टैग्स को ध्यान से चुनकर, हम रीमैन राशि के मूल्य को अन्दर बना सकते हैं {{mvar|ε}} या तो शून्य या एक। | ||
हमारा पहला कदम विभाजन को काटना है। वहाँ हैं {{mvar|n}} की {{mvar|t<sub>i</sub>}}, और हम चाहते हैं कि उनका कुल प्रभाव इससे कम हो {{mvar|ε}}. यदि हम उनमें से प्रत्येक को लंबाई से कम के अंतराल तक सीमित रखते हैं {{math|''ε''/''n''}}, फिर प्रत्येक का योगदान {{mvar|t<sub>i</sub>}} से रीमैन योग कम से कम होगा {{math|0 · ''ε''/''n''}} और अधिक से अधिक {{math|1 · ''ε''/''n''}}. इससे कुल योग कम से कम शून्य और अधिक से अधिक बनता है {{mvar|ε}}. तो चलो {{mvar|δ}} से कम धनात्मक संख्या हो {{math|''ε''/''n''}}. | हमारा पहला कदम विभाजन को काटना है। वहाँ हैं {{mvar|n}} की {{mvar|t<sub>i</sub>}}, और हम चाहते हैं कि उनका कुल प्रभाव इससे कम हो {{mvar|ε}}. यदि हम उनमें से प्रत्येक को लंबाई से कम के अंतराल तक सीमित रखते हैं {{math|''ε''/''n''}}, फिर प्रत्येक का योगदान {{mvar|t<sub>i</sub>}} से रीमैन योग कम से कम होगा {{math|0 · ''ε''/''n''}} और अधिक से अधिक {{math|1 · ''ε''/''n''}}. इससे कुल योग कम से कम शून्य और अधिक से अधिक बनता है {{mvar|ε}}. तो चलो {{mvar|δ}} से कम धनात्मक संख्या हो {{math|''ε''/''n''}}. यदि ऐसा होता है कि दो {{mvar|t<sub>i</sub>}} अन्दर हैं {{mvar|δ}} एक दूसरे का, चुनें {{mvar|δ}} छोटा। यदि ऐसा होता है कि कुछ {{mvar|t<sub>i</sub>}} अन्दर है {{mvar|δ}} का कुछ {{mvar|x<sub>j</sub>}}, और {{mvar|t<sub>i</sub>}} के बराबर नहीं है {{mvar|x<sub>j</sub>}}, चुनना {{mvar|δ}} छोटा। चूंकि बहुत सारे हैं {{mvar|t<sub>i</sub>}} और {{mvar|x<sub>j</sub>}}, हम हमेशा चुन सकते हैं {{mvar|δ}} पर्याप्त रूप से छोटा। | ||
अब हम प्रत्येक के लिए विभाजन में दो कट जोड़ते हैं {{mvar|t<sub>i</sub>}}. कटौती में से एक पर होगा {{math|''t<sub>i</sub>'' − ''δ''/2}}, और दूसरा पर होगा {{math|''t<sub>i</sub>'' + ''δ''/2}}. यदि इनमें से कोई एक अंतराल [0, 1] छोड़ता है, तो हम इसे छोड़ देते हैं। {{mvar|t<sub>i</sub>}} सबइंटरवल के अनुरूप टैग होगा | अब हम प्रत्येक के लिए विभाजन में दो कट जोड़ते हैं {{mvar|t<sub>i</sub>}}. कटौती में से एक पर होगा {{math|''t<sub>i</sub>'' − ''δ''/2}}, और दूसरा पर होगा {{math|''t<sub>i</sub>'' + ''δ''/2}}. यदि इनमें से कोई एक अंतराल [0, 1] छोड़ता है, तो हम इसे छोड़ देते हैं। {{mvar|t<sub>i</sub>}} सबइंटरवल के अनुरूप टैग होगा | ||
<math display="block">\left [t_i - \frac{\delta}{2}, t_i + \frac{\delta}{2} \right ].</math> | <math display="block">\left [t_i - \frac{\delta}{2}, t_i + \frac{\delta}{2} \right ].</math> | ||
यदि {{mvar|t<sub>i</sub>}} इनमें से किसी एक के ठीक ऊपर है {{mvar|x<sub>j</sub>}}, तो हम करते हैं {{mvar|t<sub>i</sub>}} दोनों अंतरालों के लिए टैग बनें: | |||
<math display="block">\left [t_i - \frac{\delta}{2}, x_j \right ], \quad\text{and}\quad \left [x_j,t_i + \frac{\delta}{2} \right ].</math> | <math display="block">\left [t_i - \frac{\delta}{2}, x_j \right ], \quad\text{and}\quad \left [x_j,t_i + \frac{\delta}{2} \right ].</math> | ||
हमें अभी भी अन्य उपअंतरालों के लिए टैग चुनना है। हम उन्हें दो अलग-अलग विधियों से चुनेंगे। पहली विधि हमेशा एक परिमेय बिंदु चुनना है, ताकि रीमैन का योग जितना संभव हो उतना बड़ा हो। यह कम से कम रीमैन योग का मूल्य बना देगा {{math|1 − ''ε''}}. दूसरी विधि हमेशा एक अपरिमेय बिंदु चुनना है, ताकि रीमैन योग जितना संभव हो उतना छोटा हो। यह रीमैन योग का मूल्य अधिक से अधिक बना देगा {{mvar|ε}}. | हमें अभी भी अन्य उपअंतरालों के लिए टैग चुनना है। हम उन्हें दो अलग-अलग विधियों से चुनेंगे। पहली विधि हमेशा एक परिमेय बिंदु चुनना है, ताकि रीमैन का योग जितना संभव हो उतना बड़ा हो। यह कम से कम रीमैन योग का मूल्य बना देगा {{math|1 − ''ε''}}. दूसरी विधि हमेशा एक अपरिमेय बिंदु चुनना है, ताकि रीमैन योग जितना संभव हो उतना छोटा हो। यह रीमैन योग का मूल्य अधिक से अधिक बना देगा {{mvar|ε}}. | ||
Line 100: | Line 100: | ||
चूंकि हमने एक मनमाना विभाजन से शुरू किया और शून्य या एक के रूप में करीब के रूप में समाप्त हो गया, यह कहना गलत है कि हम अंततः किसी संख्या के पास फंस गए हैं {{mvar|s}}, इसलिए यह फलन रीमैन पूर्णांक नहीं है। हालाँकि, यह Lebesgue अभिन्न है। Lebesgue अर्थ में इसका अभिन्न शून्य है, क्योंकि फलन [[लगभग हर जगह]] शून्य है। किन्तु यह एक ऐसा तथ्य है जो रीमैन इंटीग्रल की पहुंच से परे है। | चूंकि हमने एक मनमाना विभाजन से शुरू किया और शून्य या एक के रूप में करीब के रूप में समाप्त हो गया, यह कहना गलत है कि हम अंततः किसी संख्या के पास फंस गए हैं {{mvar|s}}, इसलिए यह फलन रीमैन पूर्णांक नहीं है। हालाँकि, यह Lebesgue अभिन्न है। Lebesgue अर्थ में इसका अभिन्न शून्य है, क्योंकि फलन [[लगभग हर जगह]] शून्य है। किन्तु यह एक ऐसा तथ्य है जो रीमैन इंटीग्रल की पहुंच से परे है। | ||
और भी बुरे उदाहरण हैं। <math>I_{\Q}</math> एक रीमैन पूर्णांकीय फलन के समतुल्य है (अर्थात्, लगभग हर जगह समान है), किन्तु ऐसे गैर-रीमैन पूर्णांकीय परिबद्ध कार्य हैं जो किसी भी रीमैन पूर्णांकीय फलन के समतुल्य नहीं हैं। उदाहरण के लिए, चलो {{mvar|C}} स्मिथ-वोल्तेरा-कैंटर सेट हो, और चलो {{math|''I<sub>C</sub>''}} इसका सूचक कार्य हो। क्योंकि {{mvar|C}} [[जॉर्डन माप]] नहीं है, {{math|''I<sub>C</sub>''}} रीमैन पूर्णांक नहीं है। इसके अलावा कोई समारोह नहीं {{mvar|g}} के बराबर {{math|''I<sub>C</sub>''}} रीमैन पूर्णांक है: {{mvar|g}}, पसंद {{math|''I<sub>C</sub>''}}, सघन सेट पर शून्य होना चाहिए, इसलिए पिछले उदाहरण की तरह, किसी भी रीमैन का योग {{mvar|g}} में एक शोधन है जो | और भी बुरे उदाहरण हैं। <math>I_{\Q}</math> एक रीमैन पूर्णांकीय फलन के समतुल्य है (अर्थात्, लगभग हर जगह समान है), किन्तु ऐसे गैर-रीमैन पूर्णांकीय परिबद्ध कार्य हैं जो किसी भी रीमैन पूर्णांकीय फलन के समतुल्य नहीं हैं। उदाहरण के लिए, चलो {{mvar|C}} स्मिथ-वोल्तेरा-कैंटर सेट हो, और चलो {{math|''I<sub>C</sub>''}} इसका सूचक कार्य हो। क्योंकि {{mvar|C}} [[जॉर्डन माप]] नहीं है, {{math|''I<sub>C</sub>''}} रीमैन पूर्णांक नहीं है। इसके अलावा कोई समारोह नहीं {{mvar|g}} के बराबर {{math|''I<sub>C</sub>''}} रीमैन पूर्णांक है: {{mvar|g}}, पसंद {{math|''I<sub>C</sub>''}}, सघन सेट पर शून्य होना चाहिए, इसलिए पिछले उदाहरण की तरह, किसी भी रीमैन का योग {{mvar|g}}<nowiki> में एक शोधन है जो अन्दर है {{mvar|ε}किसी भी सकारात्मक संख्या के लिए 0 का }</nowiki>{{mvar|ε}}. किन्तु यदि रीमैन का अभिन्न अंग {{mvar|g}} उपस्थित है, तो इसे Lebesgue इंटीग्रल के बराबर होना चाहिए {{math|''I<sub>C</sub>''}}, जो है {{math|1/2}}. इसलिए, {{mvar|g}} रीमैन पूर्णांक नहीं है। | ||
== समान अवधारणाएँ == | == समान अवधारणाएँ == | ||
रीमैन इंटीग्रल को डार्बौक्स इंटीग्रल के रूप में परिभाषित करना लोकप्रिय है। ऐसा इसलिए है क्योंकि डार्बौक्स इंटीग्रल तकनीकी रूप से सरल है और क्योंकि एक फलन रीमैन-इंटीग्रेबल है | रीमैन इंटीग्रल को डार्बौक्स इंटीग्रल के रूप में परिभाषित करना लोकप्रिय है। ऐसा इसलिए है क्योंकि डार्बौक्स इंटीग्रल तकनीकी रूप से सरल है और क्योंकि एक फलन रीमैन-इंटीग्रेबल है यदि और केवल यदि यह डार्बौक्स-इंटीग्रेबल है। | ||
कुछ कलन पुस्तकें सामान्य टैग किए गए विभाजनों का उपयोग नहीं करती हैं, किन्तु स्वयं को विशिष्ट प्रकार के टैग किए गए विभाजनों तक सीमित रखती हैं। यदि विभाजन का प्रकार बहुत अधिक सीमित है, तो कुछ गैर-अभिन्नीकरणीय कार्य समाकलनीय प्रतीत हो सकते हैं। | कुछ कलन पुस्तकें सामान्य टैग किए गए विभाजनों का उपयोग नहीं करती हैं, किन्तु स्वयं को विशिष्ट प्रकार के टैग किए गए विभाजनों तक सीमित रखती हैं। यदि विभाजन का प्रकार बहुत अधिक सीमित है, तो कुछ गैर-अभिन्नीकरणीय कार्य समाकलनीय प्रतीत हो सकते हैं। | ||
Line 123: | Line 123: | ||
=== रैखिकता === | === रैखिकता === | ||
रीमैन इंटीग्रल एक रैखिक परिवर्तन है; वह है, | रीमैन इंटीग्रल एक रैखिक परिवर्तन है; वह है, यदि {{mvar|f}} और {{mvar|g}} रीमैन-इंटीग्रेबल ऑन हैं {{math|[''a'', ''b'']}} और {{mvar|α}} और {{mvar|β}} तब स्थिरांक हैं | ||
<math display="block">\int_{a}^{b} (\alpha f(x) + \beta g(x))\,dx = \alpha \int_{a}^{b}f(x)\,dx + \beta \int_{a}^{b}g(x)\,dx. </math> | <math display="block">\int_{a}^{b} (\alpha f(x) + \beta g(x))\,dx = \alpha \int_{a}^{b}f(x)\,dx + \beta \int_{a}^{b}g(x)\,dx. </math> | ||
क्योंकि किसी फलन का रीमैन इंटीग्रल एक संख्या है, यह रीमैन इंटीग्रल को रीमैन-इंटीग्रेबल फ़ंक्शंस के [[ सदिश स्थल ]] पर एक [[रैखिक रूप]] बनाता है। | क्योंकि किसी फलन का रीमैन इंटीग्रल एक संख्या है, यह रीमैन इंटीग्रल को रीमैन-इंटीग्रेबल फ़ंक्शंस के [[ सदिश स्थल ]] पर एक [[रैखिक रूप]] बनाता है। | ||
== अखंडता == | == अखंडता == | ||
[[ कॉम्पैक्ट जगह ]] पर एक [[ परिबद्ध समारोह ]] {{math|[''a'', ''b'']}} रीमैन इंटीग्रेबल है | [[ कॉम्पैक्ट जगह ]] पर एक [[ परिबद्ध समारोह ]] {{math|[''a'', ''b'']}} रीमैन इंटीग्रेबल है यदि और केवल यदि यह लगभग हर जगह [[निरंतर कार्य]] करता है (लेबेस्ग्यू माप के अर्थ में इसकी असांतत्यता के वर्गीकरण का माप शून्य है)। यह है{{visible anchor|Lebesgue-Vitali theorem|Lebesgue integrability condition}} (रीमैन पूर्णांकीय कार्यों के लक्षण वर्णन)। यह 1907 में [[Giuseppe Vitali]] और [[Henri Lebesgue]] द्वारा स्वतंत्र रूप से सिद्ध किया गया है, और माप शून्य की धारणा का उपयोग करता है, किन्तु न तो Lebesgue के सामान्य माप या अभिन्न का उपयोग करता है। | ||
अभिन्नता की स्थिति को विभिन्न विधियों से सिद्ध किया जा सकता है,<ref name="apostol169">{{harvnb|Apostol|1974|pp=169–172}}</ref><ref>{{Cite journal| issn = 0002-9890| volume = 43| issue = 7| pages = 396–398 | last = Brown| first = A. B.| title = रीमैन इंटिग्रेबिलिटी के लिए लेबेस्ग कंडीशन का प्रमाण| journal = The American Mathematical Monthly| date = September 1936| jstor = 2301737 | doi = 10.2307/2301737}}</ref><ref>Basic real analysis, by Houshang H. Sohrab, section 7.3, Sets of Measure Zero and Lebesgue’s Integrability Condition, [https://books.google.com/books?id=gBPI_oYZoMMC&pg=PA264 pp. 264–271]</ref><ref>''[http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_REAL_ANALYSIS.PDF Introduction to Real Analysis],'' updated April 2010, William F. Trench, 3.5 "A More Advanced Look at the Existence of the Proper Riemann Integral", pp. 171–177</ref> जिनमें से एक नीचे स्केच किया गया है। | अभिन्नता की स्थिति को विभिन्न विधियों से सिद्ध किया जा सकता है,<ref name="apostol169">{{harvnb|Apostol|1974|pp=169–172}}</ref><ref>{{Cite journal| issn = 0002-9890| volume = 43| issue = 7| pages = 396–398 | last = Brown| first = A. B.| title = रीमैन इंटिग्रेबिलिटी के लिए लेबेस्ग कंडीशन का प्रमाण| journal = The American Mathematical Monthly| date = September 1936| jstor = 2301737 | doi = 10.2307/2301737}}</ref><ref>Basic real analysis, by Houshang H. Sohrab, section 7.3, Sets of Measure Zero and Lebesgue’s Integrability Condition, [https://books.google.com/books?id=gBPI_oYZoMMC&pg=PA264 pp. 264–271]</ref><ref>''[http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_REAL_ANALYSIS.PDF Introduction to Real Analysis],'' updated April 2010, William F. Trench, 3.5 "A More Advanced Look at the Existence of the Proper Riemann Integral", pp. 171–177</ref> जिनमें से एक नीचे स्केच किया गया है। | ||
Line 135: | Line 135: | ||
!Proof | !Proof | ||
|- | |- | ||
|The proof is easiest using the [[Darboux integral]] definition of integrability (formally, the Riemann condition for integrability) – a function is Riemann integrable if and only if the upper and lower sums can be made arbitrarily close by choosing an appropriate partition. | |The proof is easiest using the [[Darboux integral|डार्बौक्स integral]] definition of integrability (formally, the Riemann condition for integrability) – a function is Riemann integrable if and only if the upper and lower sums can be made arbitrarily close by choosing an appropriate partition. | ||
One direction can be proven using the [[Oscillation (mathematics)|oscillation]] definition of continuity:<ref>[http://unapologetic.wordpress.com/2009/12/15/lebesgues-condition/ Lebesgue’s Condition], John Armstrong, December 15, 2009, The Unapologetic Mathematician</ref> For every positive {{mvar|ε}}, Let {{math|''X''<sub>''ε''</sub>}} be the set of points in {{math|[''a'', ''b'']}} with oscillation of at least {{mvar|ε}}. Since every point where {{mvar|f}} is discontinuous has a positive oscillation and vice versa, the set of points in {{math|[''a'', ''b'']}}, where {{mvar|f}} is discontinuous is equal to the union over {{math|{''X''<sub>1/''n''</sub>}}} for all natural numbers {{mvar|n}}. | One direction can be proven using the [[Oscillation (mathematics)|oscillation]] definition of continuity:<ref>[http://unapologetic.wordpress.com/2009/12/15/lebesgues-condition/ Lebesgue’s Condition], John Armstrong, December 15, 2009, The Unapologetic Mathematician</ref> For every positive {{mvar|ε}}, Let {{math|''X''<sub>''ε''</sub>}} be the set of points in {{math|[''a'', ''b'']}} with oscillation of at least {{mvar|ε}}. Since every point where {{mvar|f}} is discontinuous has a positive oscillation and vice versa, the set of points in {{math|[''a'', ''b'']}}, where {{mvar|f}} is discontinuous is equal to the union over {{math|{''X''<sub>1/''n''</sub>}}} for all natural numbers {{mvar|n}}. | ||
Line 165: | Line 165: | ||
|} | |} | ||
विशेष रूप से, कोई भी सेट जो कि सबसे अधिक [[गणनीय सेट]] पर होता है, में लेबेसेग का माप शून्य होता है, और इस प्रकार एक परिबद्ध कार्य (कॉम्पैक्ट अंतराल पर) केवल परिमित या गणनीय रूप से कई विच्छिन्नताओं के साथ रीमैन पूर्णांक होता है। रीमैन इंटीग्रैबिलिटी ओवर के लिए एक और पर्याप्त मानदंड {{math|[''a'', ''b'']}}, किन्तु जिसमें माप की अवधारणा शामिल नहीं है, प्रत्येक बिंदु पर दाएं हाथ (या बाएं हाथ) की सीमा का अस्तित्व है {{math|[''a'', ''b'')}} (या {{math|(''a'', ''b'']}}).<ref>{{cite journal |last1=Metzler |first1=R. C. |title=रीमैन इंटिग्रेबिलिटी पर|journal=The American Mathematical Monthly |date=1971 |volume=78 |issue=10 |pages=1129–1131 |doi=10.2307/2316325 |jstor=2316325 |url=https://www.jstor.org/stable/2316325 |issn=0002-9890}}</ref> | विशेष रूप से, कोई भी सेट जो कि सबसे अधिक [[गणनीय सेट]] पर होता है, में लेबेसेग का माप शून्य होता है, और इस प्रकार एक परिबद्ध कार्य (कॉम्पैक्ट अंतराल पर) केवल परिमित या गणनीय रूप से कई विच्छिन्नताओं के साथ रीमैन पूर्णांक होता है। रीमैन इंटीग्रैबिलिटी ओवर के लिए एक और पर्याप्त मानदंड {{math|[''a'', ''b'']}}, किन्तु जिसमें माप की अवधारणा शामिल नहीं है, प्रत्येक बिंदु पर दाएं हाथ (या बाएं हाथ) की सीमा का अस्तित्व है {{math|[''a'', ''b'')}} (या {{math|(''a'', ''b'']}}).<ref>{{cite journal |last1=Metzler |first1=R. C. |title=रीमैन इंटिग्रेबिलिटी पर|journal=The American Mathematical Monthly |date=1971 |volume=78 |issue=10 |pages=1129–1131 |doi=10.2307/2316325 |jstor=2316325 |url=https://www.jstor.org/stable/2316325 |issn=0002-9890}}</ref> | ||
एक बंधे हुए सेट का एक संकेतक फलन रीमैन-इंटीग्रेबल है | एक बंधे हुए सेट का एक संकेतक फलन रीमैन-इंटीग्रेबल है यदि और केवल यदि सेट जॉर्डन उपाय है। रीमैन इंटीग्रल की व्याख्या [[माप सिद्धांत]] | माप-सैद्धांतिक रूप से जॉर्डन माप के संबंध में इंटीग्रल के रूप में की जा सकती है। | ||
यदि वास्तविक-मूल्यवान फलन अंतराल पर [[मोनोटोन समारोह]] है {{math|[''a'', ''b'']}} यह रीमैन इंटेग्रेबल है, क्योंकि इसकी अनिरंतरता का सेट सबसे अधिक गणना योग्य है, और इसलिए लेबेस्ग का माप शून्य है। यदि एक वास्तविक-मूल्यवान फलन on {{math|[''a'', ''b'']}} रीमैन इंटीग्रेबल है, यह लेबेसेग इंटीग्रल है। अर्थात्, लेबेसेग-अभिन्नता की तुलना में रीमैन-इंटीग्रेबिलिटी एक मजबूत (अर्थात् संतुष्ट करने के लिए अधिक कठिन) स्थिति है। बातचीत पकड़ में नहीं आती; सभी Lebesgue-integrable कार्य रीमैन पूर्णांक नहीं हैं। | यदि वास्तविक-मूल्यवान फलन अंतराल पर [[मोनोटोन समारोह]] है {{math|[''a'', ''b'']}} यह रीमैन इंटेग्रेबल है, क्योंकि इसकी अनिरंतरता का सेट सबसे अधिक गणना योग्य है, और इसलिए लेबेस्ग का माप शून्य है। यदि एक वास्तविक-मूल्यवान फलन on {{math|[''a'', ''b'']}} रीमैन इंटीग्रेबल है, यह लेबेसेग इंटीग्रल है। अर्थात्, लेबेसेग-अभिन्नता की तुलना में रीमैन-इंटीग्रेबिलिटी एक मजबूत (अर्थात् संतुष्ट करने के लिए अधिक कठिन) स्थिति है। बातचीत पकड़ में नहीं आती; सभी Lebesgue-integrable कार्य रीमैन पूर्णांक नहीं हैं। | ||
Line 171: | Line 171: | ||
लेबेस्ग्यू-विटाली प्रमेय का अर्थ यह नहीं है कि सभी प्रकार की असंततताओं का बाधा पर समान भार है कि एक वास्तविक-मूल्यवान परिबद्ध फलन रीमैन पर समाकलित हो सकता है। {{math|[''a'', ''b'']}}. वास्तव में, कुछ विच्छिन्नताओं की फलन की रीमैन इंटीग्रैबिलिटी पर बिल्कुल कोई भूमिका नहीं होती है - एक फलन के डिसकंटीन्युटीज़ के डिसकंटीन्युटीज़ के वर्गीकरण का एक परिणाम है।{{cn|date=December 2021}} | लेबेस्ग्यू-विटाली प्रमेय का अर्थ यह नहीं है कि सभी प्रकार की असंततताओं का बाधा पर समान भार है कि एक वास्तविक-मूल्यवान परिबद्ध फलन रीमैन पर समाकलित हो सकता है। {{math|[''a'', ''b'']}}. वास्तव में, कुछ विच्छिन्नताओं की फलन की रीमैन इंटीग्रैबिलिटी पर बिल्कुल कोई भूमिका नहीं होती है - एक फलन के डिसकंटीन्युटीज़ के डिसकंटीन्युटीज़ के वर्गीकरण का एक परिणाम है।{{cn|date=December 2021}} | ||
यदि {{math|''f''<sub>''n''</sub>}} एक समान अभिसरण अनुक्रम है {{math|[''a'', ''b'']}} सीमा के साथ {{mvar|f}}, फिर रीमैन सभी की पूर्णांकता {{math|''f''<sub>''n''</sub>}} का तात्पर्य रीमैन की पूर्णांकता से है {{mvar|f}}, और | |||
<math display="block"> \int_{a}^{b} f\, dx = \int_a^b{\lim_{n \to \infty}{f_n}\, dx} = \lim_{n \to \infty} \int_{a}^{b} f_n\, dx.</math> | <math display="block"> \int_{a}^{b} f\, dx = \int_a^b{\lim_{n \to \infty}{f_n}\, dx} = \lim_{n \to \infty} \int_{a}^{b} f_n\, dx.</math> | ||
हालांकि, [[लेबेस्ग मोनोटोन अभिसरण प्रमेय]] (एक मोनोटोन बिंदुवार सीमा पर) रीमैन इंटीग्रल के लिए नहीं है। इस प्रकार, रीमैन एकीकरण में, अभिन्न चिह्न के तहत सीमा लेना लेबेसेग एकीकरण की तुलना में तार्किक रूप से उचित ठहराना कहीं अधिक कठिन है।<ref>{{cite journal|author=Cunningham|first= Frederick Jr.|title=अभिन्न चिह्न के तहत सीमाएं लेना| journal = Mathematics Magazine | volume = 40 | year = 1967 |issue= 4| pages=179–186 | url=http://www.maa.org/programs/maa-awards/writing-awards/taking-limits-under-the-integral-sign | doi=10.2307/2688673|jstor= 2688673}}</ref> | हालांकि, [[लेबेस्ग मोनोटोन अभिसरण प्रमेय]] (एक मोनोटोन बिंदुवार सीमा पर) रीमैन इंटीग्रल के लिए नहीं है। इस प्रकार, रीमैन एकीकरण में, अभिन्न चिह्न के तहत सीमा लेना लेबेसेग एकीकरण की तुलना में तार्किक रूप से उचित ठहराना कहीं अधिक कठिन है।<ref>{{cite journal|author=Cunningham|first= Frederick Jr.|title=अभिन्न चिह्न के तहत सीमाएं लेना| journal = Mathematics Magazine | volume = 40 | year = 1967 |issue= 4| pages=179–186 | url=http://www.maa.org/programs/maa-awards/writing-awards/taking-limits-under-the-integral-sign | doi=10.2307/2688673|jstor= 2688673}}</ref> | ||
Line 177: | Line 177: | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
यूक्लिडियन वेक्टर अंतरिक्ष में मूल्यों के साथ कार्यों के लिए रीमैन इंटीग्रल का विस्तार करना आसान है <math>\R^n</math> किसी के लिए {{mvar|n}}. अभिन्न को घटक-वार परिभाषित किया गया है; दूसरे शब्दों में, | यूक्लिडियन वेक्टर अंतरिक्ष में मूल्यों के साथ कार्यों के लिए रीमैन इंटीग्रल का विस्तार करना आसान है <math>\R^n</math> किसी के लिए {{mvar|n}}. अभिन्न को घटक-वार परिभाषित किया गया है; दूसरे शब्दों में, यदि {{math|1='''f''' = (''f''<sub>1</sub>, ..., ''f''<sub>''n''</sub>)}} तब | ||
<math display="block">\int\mathbf{f} = \left(\int f_1,\,\dots, \int f_n\right).</math> | <math display="block">\int\mathbf{f} = \left(\int f_1,\,\dots, \int f_n\right).</math> | ||
विशेष रूप से, चूंकि सम्मिश्र संख्याएं एक वास्तविक सदिश स्थान हैं, यह जटिल मूल्यवान कार्यों के एकीकरण की अनुमति देता है। | विशेष रूप से, चूंकि सम्मिश्र संख्याएं एक वास्तविक सदिश स्थान हैं, यह जटिल मूल्यवान कार्यों के एकीकरण की अनुमति देता है। | ||
Line 187: | Line 187: | ||
उदाहरण के लिए, [[साइन समारोह]] पर विचार करें {{math|''f''(''x'') {{=}} sgn(''x'')}} जो 0 पर है {{math|''x'' {{=}} 0}}, 1 के लिए {{math|''x'' > 0}}, और -1 के लिए {{math|''x'' < 0}}. समरूपता से, | उदाहरण के लिए, [[साइन समारोह]] पर विचार करें {{math|''f''(''x'') {{=}} sgn(''x'')}} जो 0 पर है {{math|''x'' {{=}} 0}}, 1 के लिए {{math|''x'' > 0}}, और -1 के लिए {{math|''x'' < 0}}. समरूपता से, | ||
<math display="block">\int_{-a}^a f(x)\,dx = 0</math> | <math display="block">\int_{-a}^a f(x)\,dx = 0</math> | ||
हमेशा, परवाह किए बिना {{mvar|a}}. किन्तु वास्तविक रेखा को भरने के लिए एकीकरण के अंतराल के विस्तार के कई विधि हैं, और अन्य विधि अलग-अलग परिणाम उत्पन्न कर सकते हैं; दूसरे शब्दों में, बहुभिन्नरूपी सीमा हमेशा | हमेशा, परवाह किए बिना {{mvar|a}}. किन्तु वास्तविक रेखा को भरने के लिए एकीकरण के अंतराल के विस्तार के कई विधि हैं, और अन्य विधि अलग-अलग परिणाम उत्पन्न कर सकते हैं; दूसरे शब्दों में, बहुभिन्नरूपी सीमा हमेशा उपस्थित नहीं होती है। हम गणना कर सकते हैं | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
\int_{-a}^{2a} f(x)\,dx &= a, \\ | \int_{-a}^{2a} f(x)\,dx &= a, \\ | ||
\int_{-2a}^a f(x)\,dx &= -a. | \int_{-2a}^a f(x)\,dx &= -a. | ||
\end{align}</math> | \end{align}</math> | ||
सामान्य तौर पर, यह अनुचित रीमैन इंटीग्रल अपरिभाषित है। यहां तक कि अंतराल के लिए वास्तविक रेखा तक पहुंचने का एक विधि मानकीकृत करना भी काम नहीं करता है क्योंकि यह परेशान करने वाले प्रतिकूल परिणामों की ओर जाता है। | सामान्य तौर पर, यह अनुचित रीमैन इंटीग्रल अपरिभाषित है। यहां तक कि अंतराल के लिए वास्तविक रेखा तक पहुंचने का एक विधि मानकीकृत करना भी काम नहीं करता है क्योंकि यह परेशान करने वाले प्रतिकूल परिणामों की ओर जाता है। यदि हम सहमत हैं (उदाहरण के लिए) कि अनुचित अभिन्न हमेशा होना चाहिए | ||
<math display="block">\lim_{a\to\infty} \int_{-a}^a f(x)\,dx,</math> | <math display="block">\lim_{a\to\infty} \int_{-a}^a f(x)\,dx,</math> | ||
फिर अनुवाद का अभिन्न अंग {{math|''f''(''x'' − 1)}} -2 है, इसलिए यह परिभाषा बदलाव के तहत अपरिवर्तनीय नहीं है, एक बेहद अवांछनीय संपत्ति है। वास्तव में, न केवल इस फलन में एक अनुचित रीमैन इंटीग्रल नहीं है, इसका लेबेसेग इंटीग्रल भी अपरिभाषित है (यह बराबर है) {{math|∞ − ∞}}). | फिर अनुवाद का अभिन्न अंग {{math|''f''(''x'' − 1)}} -2 है, इसलिए यह परिभाषा बदलाव के तहत अपरिवर्तनीय नहीं है, एक बेहद अवांछनीय संपत्ति है। वास्तव में, न केवल इस फलन में एक अनुचित रीमैन इंटीग्रल नहीं है, इसका लेबेसेग इंटीग्रल भी अपरिभाषित है (यह बराबर है) {{math|∞ − ∞}}). | ||
Line 204: | Line 204: | ||
यह दर्शाता है कि असीम अंतरालों पर समाकलों के लिए, एक फलन का एकसमान अभिसरण इतना मजबूत नहीं है कि एक समाकल चिह्न के माध्यम से एक सीमा को पारित करने की अनुमति दे सके। यह रीमैन इंटीग्रल को अनुप्रयोगों में अव्यवहारिक बनाता है (भले ही रीमैन इंटीग्रल दोनों पक्षों को सही मान प्रदान करता है), क्योंकि सीमा और रीमैन इंटीग्रल के आदान-प्रदान के लिए कोई अन्य सामान्य मानदंड नहीं है, और इस तरह के मानदंड के बिना इंटीग्रल का अनुमान लगाना मुश्किल है उनके पूर्णांक का अनुमान लगाना। | यह दर्शाता है कि असीम अंतरालों पर समाकलों के लिए, एक फलन का एकसमान अभिसरण इतना मजबूत नहीं है कि एक समाकल चिह्न के माध्यम से एक सीमा को पारित करने की अनुमति दे सके। यह रीमैन इंटीग्रल को अनुप्रयोगों में अव्यवहारिक बनाता है (भले ही रीमैन इंटीग्रल दोनों पक्षों को सही मान प्रदान करता है), क्योंकि सीमा और रीमैन इंटीग्रल के आदान-प्रदान के लिए कोई अन्य सामान्य मानदंड नहीं है, और इस तरह के मानदंड के बिना इंटीग्रल का अनुमान लगाना मुश्किल है उनके पूर्णांक का अनुमान लगाना। | ||
Lebesgue अभिन्न अंग के लिए रीमैन अभिन्न अंग को छोड़ना एक उत्तम मार्ग है। Lebesgue अभिन्न की परिभाषा स्पष्ट रूप से Riemann अभिन्न का सामान्यीकरण नहीं है, किन्तु यह साबित करना कठिन नहीं है कि प्रत्येक Riemann-integrable फलन Lebesgue-integrable है और दो इंटीग्रल के मान सहमत होते हैं जब भी वे दोनों परिभाषित होते हैं। इसके अलावा, एक समारोह {{mvar|f}} एक बंधे हुए अंतराल पर परिभाषित रीमैन-इंटीग्रेबल है | Lebesgue अभिन्न अंग के लिए रीमैन अभिन्न अंग को छोड़ना एक उत्तम मार्ग है। Lebesgue अभिन्न की परिभाषा स्पष्ट रूप से Riemann अभिन्न का सामान्यीकरण नहीं है, किन्तु यह साबित करना कठिन नहीं है कि प्रत्येक Riemann-integrable फलन Lebesgue-integrable है और दो इंटीग्रल के मान सहमत होते हैं जब भी वे दोनों परिभाषित होते हैं। इसके अलावा, एक समारोह {{mvar|f}} एक बंधे हुए अंतराल पर परिभाषित रीमैन-इंटीग्रेबल है यदि और केवल यदि यह घिरा हुआ है और बिंदुओं का सेट जहां {{mvar|f}} विच्छिन्न है लेबेस्गु का माप शून्य है। | ||
एक इंटीग्रल जो वास्तव में रीमैन इंटीग्रल का प्रत्यक्ष सामान्यीकरण है, हेनस्टॉक-कुर्जवील इंटीग्रल है। | एक इंटीग्रल जो वास्तव में रीमैन इंटीग्रल का प्रत्यक्ष सामान्यीकरण है, हेनस्टॉक-कुर्जवील इंटीग्रल है। | ||
Line 214: | Line 214: | ||
== एकीकरण के अन्य सिद्धांतों के साथ तुलना == | == एकीकरण के अन्य सिद्धांतों के साथ तुलना == | ||
रीमैन इंटीग्रल कई सैद्धांतिक उद्देश्यों के लिए अनुपयुक्त है। रीमैन एकीकरण में कुछ तकनीकी कमियों को रीमैन-स्टील्टजेस इंटीग्रल के साथ दूर किया जा सकता है, और अधिकांश लेबेसेग इंटीग्रल के साथ गायब हो जाते हैं, हालांकि बाद में अनुचित इंटीग्रल का संतोषजनक उपचार नहीं होता है। [[गेज अभिन्न]] लेबेस्ग इंटीग्रल का एक सामान्यीकरण है जो तुरंत रीमैन इंटीग्रल के करीब है। | रीमैन इंटीग्रल कई सैद्धांतिक उद्देश्यों के लिए अनुपयुक्त है। रीमैन एकीकरण में कुछ तकनीकी कमियों को रीमैन-स्टील्टजेस इंटीग्रल के साथ दूर किया जा सकता है, और अधिकांश लेबेसेग इंटीग्रल के साथ गायब हो जाते हैं, हालांकि बाद में अनुचित इंटीग्रल का संतोषजनक उपचार नहीं होता है। [[गेज अभिन्न]] लेबेस्ग इंटीग्रल का एक सामान्यीकरण है जो तुरंत रीमैन इंटीग्रल के करीब है। | ||
ये अधिक सामान्य सिद्धांत अधिक दांतेदार या अत्यधिक दोलन वाले कार्यों के एकीकरण की अनुमति देते हैं जिनके रीमैन इंटीग्रल | ये अधिक सामान्य सिद्धांत अधिक दांतेदार या अत्यधिक दोलन वाले कार्यों के एकीकरण की अनुमति देते हैं जिनके रीमैन इंटीग्रल उपस्थित नहीं हैं; किन्तु सिद्धांत वही मूल्य देते हैं जो रीमैन इंटीग्रल के अस्तित्व में होने पर होता है। | ||
शैक्षिक सेटिंग्स में, डार्बौक्स इंटीग्रल एक सरल परिभाषा प्रदान करता है जिसके साथ काम करना आसान होता है; इसका उपयोग रीमैन इंटीग्रल को पेश करने के लिए किया जा सकता है। डार्बौक्स इंटीग्रल को तब परिभाषित किया जाता है जब रीमैन इंटीग्रल होता है, और हमेशा एक ही परिणाम देता है। इसके विपरीत, गेज इंटीग्रल रीमैन इंटीग्रल का एक सरल किन्तु अधिक शक्तिशाली सामान्यीकरण है और इसने कुछ शिक्षकों को इस बात की वकालत करने के लिए प्रेरित किया है कि इसे प्रारंभिक कैलकुलस पाठ्यक्रमों में रीमैन इंटीग्रल को बदलना चाहिए।<ref>{{cite web|title=कैलकुलस बुक्स के लेखकों के लिए एक खुला पत्र|url=https://math.vanderbilt.edu/schectex/ccc/gauge/letter/|access-date=27 February 2014}}</ref> | शैक्षिक सेटिंग्स में, डार्बौक्स इंटीग्रल एक सरल परिभाषा प्रदान करता है जिसके साथ काम करना आसान होता है; इसका उपयोग रीमैन इंटीग्रल को पेश करने के लिए किया जा सकता है। डार्बौक्स इंटीग्रल को तब परिभाषित किया जाता है जब रीमैन इंटीग्रल होता है, और हमेशा एक ही परिणाम देता है। इसके विपरीत, गेज इंटीग्रल रीमैन इंटीग्रल का एक सरल किन्तु अधिक शक्तिशाली सामान्यीकरण है और इसने कुछ शिक्षकों को इस बात की वकालत करने के लिए प्रेरित किया है कि इसे प्रारंभिक कैलकुलस पाठ्यक्रमों में रीमैन इंटीग्रल को बदलना चाहिए।<ref>{{cite web|title=कैलकुलस बुक्स के लेखकों के लिए एक खुला पत्र|url=https://math.vanderbilt.edu/schectex/ccc/gauge/letter/|access-date=27 February 2014}}</ref> |
Revision as of 05:23, 30 March 2023
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
वास्तविक विश्लेषण के रूप में जानी जाने वाली गणित की शाखा में, बर्नहार्ड रीमैन द्वारा बनाई गई रीमैन अभिन्न , एक अंतराल (गणित) पर एक फलन (गणित) के इंटीग्रल की पहली कठोर परिभाषा थी। यह 1854 में गौटिंगेन विश्वविद्यालय में संकाय को प्रस्तुत किया गया था, किन्तु 1868 तक कोई पत्रिका में प्रकाशित नहीं हुआ था।[1] कई कार्यों और व्यावहारिक अनुप्रयोगों के लिए, रीमैन इंटीग्रल का मूल्यांकन कैलकुस के मौलिक प्रमेय द्वारा किया जा सकता है या संख्यात्मक एकीकरण द्वारा अनुमानित किया जा सकता है, या मोंटे कार्लो इंटीग्रेशन का उपयोग करके अनुकरण किया जा सकता है।
अवलोकन
मान लीजिए f अंतराल [a, b] पर एक गैर-ऋणात्मक वास्तविक संख्या-मूल्यवान फलन है, और S को फलन f के ग्राफ़ के नीचे और अंतराल [a, b] के ऊपर समतल का क्षेत्र होने दें। शीर्ष दाईं ओर आकृति देखें। इस क्षेत्र को सेट-बिल्डर संकेतन के रूप में व्यक्त किया जा सकता है
जब f(x) ऋणात्मक मान ले सकता है, तो समाकलन f और x-अक्ष के ग्राफ़ के बीच हस्ताक्षरित क्षेत्र के बराबर होता है: अर्थात, x-अक्ष के ऊपर का क्षेत्र x-अक्ष के नीचे के क्षेत्र को घटा देता है।
परिभाषा
एक अंतराल के विभाजन
एक अंतराल का एक विभाजन [a, b] फॉर्म की संख्याओं का एक परिमित अनुक्रम है
मान लीजिए कि दो विभाजन P(x, t) और Q(y, s) दोनों अंतराल [a, b] के विभाजन है। हम कहते हैं कि Q(y, s) P(x, t) का शोधन है यदि प्रत्येक पूर्णांक के लिए i, साथ i ∈ [0, n], एक पूर्णांक r(i) उपस्थित है जैसे कि xi = yr(i) और ऐसा कि कुछ j के लिए j ∈ [r(i), r(i + 1)] के साथ ti = sj। यही है, एक टैग किया गया विभाजन कुछ उप-अंतरालों को तोड़ता है और जहां आवश्यक हो, विभाजन की शुद्धता को परिष्कृत करते हुए मानक बिंदु जोड़ता है।
हम सभी टैग किए गए विभाजनों के सेट को यह कहकर निर्देशित सेट में बदल सकते हैं कि एक टैग किया गया विभाजन दूसरे से अधिक या उसके बराबर है यदि पूर्व उत्तरार्द्ध का परिशोधन है।
रीमैन राशि
मान लीजिये f अंतराल [a, b] पर परिभाषित एक वास्तविक-मूल्यवान फलन हो। रीमैन का योग f टैग किए गए विभाजन के संबंध में x0, ..., xn के साथ साथ t0, ..., tn − 1 है[2]
बारीकी से संबंधित अवधारणाएँ निम्न और ऊपरी डार्बौक्स योग हैं। ये रीमैन सम्स के समान हैं, किन्तु टैग प्रत्येक उप-अंतराल पर f के निम्नतम और उच्चतम (क्रमशः) द्वारा प्रतिस्थापित किया जाता है:
रीमैन इंटीग्रल
ढीले ढंग से बोलते हुए, रीमैन इंटीग्रल फलन के रीमैन सम की सीमा है क्योंकि विभाजन उत्तम हो जाते हैं। यदि सीमा उपस्थित है तो फलन को पूर्णांक (या अधिक विशेष रूप से रीमैन-पूर्णांक) कहा जाता है। विभाजन को पर्याप्त रूप से ठीक करके रीमैन योग को रीमैन इंटीग्रल के वांछित के रूप में बनाया जा सकता है।[3] एक महत्वपूर्ण आवश्यकता यह है कि विभाजन का जाल छोटा और छोटा होना चाहिए, ताकि सीमा में यह शून्य हो। यदि ऐसा नहीं होता, तो हमें निश्चित उपअंतरालों पर फलन का अच्छा सन्निकटन नहीं मिल पाता। वास्तव में, यह एक अभिन्न को परिभाषित करने के लिए पर्याप्त है। विशिष्ट होने के लिए, हम कहते हैं कि रीमैन का अभिन्न अंग f बराबर है s यदि निम्न स्थिति होती है:
<ब्लॉककोट>सभी के लिए ε > 0, वहां उपस्थित δ > 0 जैसे कि किसी भी Partition_of_an_interval के लिए x0, ..., xn और t0, ..., tn − 1 जिसकी जाली से कम है δ, अपने पास
दुर्भाग्य से, इस परिभाषा का उपयोग करना बहुत कठिन है। यह रीमैन इंटीग्रल की एक समतुल्य परिभाषा विकसित करने में मदद करेगा, जिसके साथ काम करना आसान है। हम इस परिभाषा को अब तुल्यता के प्रमाण के साथ विकसित करते हैं। हमारी नई परिभाषा कहती है कि रीमैन का अभिन्न अंग f बराबर है s यदि निम्न स्थिति होती है:
<ब्लॉककोट>सभी के लिए ε > 0, एक टैग किया गया विभाजन उपस्थित है y0, ..., ym और r0, ..., rm − 1 जैसे कि किसी भी टैग किए गए विभाजन के लिए x0, ..., xn और t0, ..., tn − 1 जो का शोधन है y0, ..., ym और r0, ..., rm − 1, अपने पास
इन दोनों का अर्थ है कि अंततः, रीमैन का योग f के संबंध में कोई विभाजन के करीब फंस जाता है s. चूंकि यह सच है, चाहे हम कितनी भी मांग करें कि राशि फँसी हुई है, हम कहते हैं कि रीमैन राशियाँ अभिसरण करती हैं s. ये परिभाषाएँ वास्तव में एक अधिक सामान्य अवधारणा, एक जाल (गणित) का एक विशेष मामला हैं।
जैसा कि हमने पहले कहा, ये दो परिभाषाएँ समतुल्य हैं। दूसरे शब्दों में, s पहली परिभाषा में काम करता है यदि और केवल यदि s दूसरी परिभाषा में काम करता है। यह दिखाने के लिए कि पहली परिभाषा का तात्पर्य दूसरी से है, एक से शुरू करें ε, और एक चुनें δ जो शर्त को पूरा करता है। किसी भी टैग किए गए विभाजन को चुनें जिसका मेश इससे कम हो δ. इसका रीमैन योग अन्दर है ε का s, और इस विभाजन के किसी भी परिशोधन में मेश से भी कम होगा δ, इसलिए शोधन का रीमैन योग भी अन्दर होगा ε का s.
यह दिखाने के लिए कि दूसरी परिभाषा का तात्पर्य पहले से है, डार्बौक्स इंटीग्रल का उपयोग करना सबसे आसान है। सबसे पहले, एक दिखाता है कि दूसरी परिभाषा डार्बौक्स इंटीग्रल की परिभाषा के बराबर है; इसके लिए डार्बौक्स इंटीग्रल लेख देखें। अब हम दिखाएंगे कि एक डार्बौक्स इंटीग्रेबल फलन पहली परिभाषा को संतुष्ट करता है। हल करना ε, और एक विभाजन चुनें y0, ..., ym जैसे कि इस विभाजन के संबंध में निचले और ऊपरी डार्बौक्स योग अन्दर हैं ε/2 मूल्य का s डार्बौक्स इंटीग्रल का। मान लीजिये
इसे देखने के लिए, एक अंतराल चुनें [xi, xi + 1]. यदि यह अंतराल कुछ के अन्दर समाहित है [yj, yj + 1], तब
इसलिए हम यह मान सकते हैं m > 1. इस मामले में, यह संभव है कि इनमें से एक [xi, xi + 1] किसी में निहित नहीं है [yj, yj + 1]. इसके बजाय, यह द्वारा निर्धारित दो अंतरालों में फैल सकता है y0, ..., ym. (यह तीन अंतरालों को पूरा नहीं कर सकता क्योंकि δ को किसी एक अंतराल की लंबाई से छोटा माना जाता है।) प्रतीकों में, ऐसा हो सकता है
इस मामले को संभालने के लिए, हम विभाजन को उप-विभाजित करके रीमैन योग और डार्बौक्स योग के बीच के अंतर का अनुमान लगाएंगे x0, ..., xn पर yj + 1. शब्द f(ti)(xi + 1 − xi) रीमैन राशि में दो शब्दों में विभाजित होता है:
i ∈ [yj + 1, xi + 1],
उदाहरण
मान लीजिये वह कार्य हो जो प्रत्येक बिंदु पर मान 1 लेता है। का कोई रीमैन योग f पर [0, 1] का मान 1 होगा, इसलिए रीमैन का अभिन्न अंग है f पर [0, 1] 1 है।
मान लीजिये में परिमेय संख्याओं का सूचक कार्य हो [0, 1]; वह है, परिमेय संख्याओं पर 1 और अपरिमेय संख्याओं पर 0 का मान लेता है। इस फलन में रीमैन इंटीग्रल नहीं है। इसे साबित करने के लिए, हम दिखाएंगे कि टैग किए गए विभाजन कैसे बनाए जाते हैं, जिनके रीमैन योग मनमाने ढंग से शून्य और एक दोनों के करीब हो जाते हैं।
शुरू करने के लिए, चलो x0, ..., xn और t0, ..., tn − 1 एक टैग किया गया विभाजन हो (प्रत्येक ti के बीच है xi और xi + 1). चुनना ε > 0. वह ti को पहले ही चुना जा चुका है, और हम का मान नहीं बदल सकते f उन बिंदुओं पर। किन्तु यदि हम विभाजन को प्रत्येक के चारों ओर छोटे-छोटे टुकड़ों में काटते हैं ti, हम के प्रभाव को कम कर सकते हैं ti. फिर, नए टैग्स को ध्यान से चुनकर, हम रीमैन राशि के मूल्य को अन्दर बना सकते हैं ε या तो शून्य या एक।
हमारा पहला कदम विभाजन को काटना है। वहाँ हैं n की ti, और हम चाहते हैं कि उनका कुल प्रभाव इससे कम हो ε. यदि हम उनमें से प्रत्येक को लंबाई से कम के अंतराल तक सीमित रखते हैं ε/n, फिर प्रत्येक का योगदान ti से रीमैन योग कम से कम होगा 0 · ε/n और अधिक से अधिक 1 · ε/n. इससे कुल योग कम से कम शून्य और अधिक से अधिक बनता है ε. तो चलो δ से कम धनात्मक संख्या हो ε/n. यदि ऐसा होता है कि दो ti अन्दर हैं δ एक दूसरे का, चुनें δ छोटा। यदि ऐसा होता है कि कुछ ti अन्दर है δ का कुछ xj, और ti के बराबर नहीं है xj, चुनना δ छोटा। चूंकि बहुत सारे हैं ti और xj, हम हमेशा चुन सकते हैं δ पर्याप्त रूप से छोटा।
अब हम प्रत्येक के लिए विभाजन में दो कट जोड़ते हैं ti. कटौती में से एक पर होगा ti − δ/2, और दूसरा पर होगा ti + δ/2. यदि इनमें से कोई एक अंतराल [0, 1] छोड़ता है, तो हम इसे छोड़ देते हैं। ti सबइंटरवल के अनुरूप टैग होगा
चूंकि हमने एक मनमाना विभाजन से शुरू किया और शून्य या एक के रूप में करीब के रूप में समाप्त हो गया, यह कहना गलत है कि हम अंततः किसी संख्या के पास फंस गए हैं s, इसलिए यह फलन रीमैन पूर्णांक नहीं है। हालाँकि, यह Lebesgue अभिन्न है। Lebesgue अर्थ में इसका अभिन्न शून्य है, क्योंकि फलन लगभग हर जगह शून्य है। किन्तु यह एक ऐसा तथ्य है जो रीमैन इंटीग्रल की पहुंच से परे है।
और भी बुरे उदाहरण हैं। एक रीमैन पूर्णांकीय फलन के समतुल्य है (अर्थात्, लगभग हर जगह समान है), किन्तु ऐसे गैर-रीमैन पूर्णांकीय परिबद्ध कार्य हैं जो किसी भी रीमैन पूर्णांकीय फलन के समतुल्य नहीं हैं। उदाहरण के लिए, चलो C स्मिथ-वोल्तेरा-कैंटर सेट हो, और चलो IC इसका सूचक कार्य हो। क्योंकि C जॉर्डन माप नहीं है, IC रीमैन पूर्णांक नहीं है। इसके अलावा कोई समारोह नहीं g के बराबर IC रीमैन पूर्णांक है: g, पसंद IC, सघन सेट पर शून्य होना चाहिए, इसलिए पिछले उदाहरण की तरह, किसी भी रीमैन का योग g में एक शोधन है जो अन्दर है {{mvar|ε}किसी भी सकारात्मक संख्या के लिए 0 का }ε. किन्तु यदि रीमैन का अभिन्न अंग g उपस्थित है, तो इसे Lebesgue इंटीग्रल के बराबर होना चाहिए IC, जो है 1/2. इसलिए, g रीमैन पूर्णांक नहीं है।
समान अवधारणाएँ
रीमैन इंटीग्रल को डार्बौक्स इंटीग्रल के रूप में परिभाषित करना लोकप्रिय है। ऐसा इसलिए है क्योंकि डार्बौक्स इंटीग्रल तकनीकी रूप से सरल है और क्योंकि एक फलन रीमैन-इंटीग्रेबल है यदि और केवल यदि यह डार्बौक्स-इंटीग्रेबल है।
कुछ कलन पुस्तकें सामान्य टैग किए गए विभाजनों का उपयोग नहीं करती हैं, किन्तु स्वयं को विशिष्ट प्रकार के टैग किए गए विभाजनों तक सीमित रखती हैं। यदि विभाजन का प्रकार बहुत अधिक सीमित है, तो कुछ गैर-अभिन्नीकरणीय कार्य समाकलनीय प्रतीत हो सकते हैं।
एक लोकप्रिय प्रतिबंध बाएँ और दाएँ हाथ के रीमैन योगों का उपयोग है। बाएं हाथ के रीमैन योग में, ti = xi सभी के लिए i, और दाहिनी ओर रीमैन राशि में, ti = xi + 1 सभी के लिए i. अकेले यह प्रतिबंध कोई समस्या नहीं लाता है: हम किसी भी विभाजन को इस तरह से परिशोधित कर सकते हैं जो इसे प्रत्येक पर उप-विभाजित करके बाएं हाथ या दाएं हाथ का योग बनाता है। ti. अधिक औपचारिक भाषा में, सभी टैग किए गए विभाजनों के सेट में सभी बाएं हाथ के रीमैन योगों का सेट और सभी दाएं हाथ के रीमैन योगों का सेट कोफिनल (गणित) है।
एक अन्य लोकप्रिय प्रतिबंध एक अंतराल के नियमित उपविभागों का उपयोग है। उदाहरण के लिए, द nवें नियमित उपखंड [0, 1] अंतराल के होते हैं
हालांकि, इन प्रतिबंधों का संयोजन, ताकि कोई नियमित रूप से विभाजित अंतराल पर केवल बाएं हाथ या दाएं हाथ के रीमैन रकम का उपयोग कर सके, खतरनाक है। यदि किसी फलन को पहले से ही रीमैन पूर्णांक के रूप में जाना जाता है, तो यह तकनीक समाकलन का सही मान देगी। किन्तु इन शर्तों के तहत सूचक कार्य करता है पर अभिन्न प्रतीत होगा [0, 1] एक के बराबर इंटीग्रल के साथ: हर सबइंटरवल का हर समापन बिंदु एक परिमेय संख्या होगी, इसलिए फलन का हमेशा परिमेय संख्याओं पर मूल्यांकन किया जाएगा, और इसलिए यह हमेशा एक के बराबर दिखाई देगा। इस परिभाषा के साथ समस्या तब स्पष्ट हो जाती है जब हम अभिन्न को दो भागों में विभाजित करने का प्रयास करते हैं। निम्नलिखित समीकरण धारण करना चाहिए:
जैसा कि ऊपर परिभाषित किया गया है, रीमैन इंटीग्रल एकीकृत करने से इनकार करके इस समस्या से बचा जाता है Lebesgue इंटीग्रल को इस तरह परिभाषित किया गया है कि ये सभी इंटीग्रल 0 हैं।
गुण
रैखिकता
रीमैन इंटीग्रल एक रैखिक परिवर्तन है; वह है, यदि f और g रीमैन-इंटीग्रेबल ऑन हैं [a, b] और α और β तब स्थिरांक हैं
अखंडता
कॉम्पैक्ट जगह पर एक परिबद्ध समारोह [a, b] रीमैन इंटीग्रेबल है यदि और केवल यदि यह लगभग हर जगह निरंतर कार्य करता है (लेबेस्ग्यू माप के अर्थ में इसकी असांतत्यता के वर्गीकरण का माप शून्य है)। यह हैLebesgue-Vitali theorem (रीमैन पूर्णांकीय कार्यों के लक्षण वर्णन)। यह 1907 में Giuseppe Vitali और Henri Lebesgue द्वारा स्वतंत्र रूप से सिद्ध किया गया है, और माप शून्य की धारणा का उपयोग करता है, किन्तु न तो Lebesgue के सामान्य माप या अभिन्न का उपयोग करता है।
अभिन्नता की स्थिति को विभिन्न विधियों से सिद्ध किया जा सकता है,[4][5][6][7] जिनमें से एक नीचे स्केच किया गया है।
Proof |
---|
The proof is easiest using the डार्बौक्स integral definition of integrability (formally, the Riemann condition for integrability) – a function is Riemann integrable if and only if the upper and lower sums can be made arbitrarily close by choosing an appropriate partition.
One direction can be proven using the oscillation definition of continuity:[8] For every positive ε, Let Xε be the set of points in [a, b] with oscillation of at least ε. Since every point where f is discontinuous has a positive oscillation and vice versa, the set of points in [a, b], where f is discontinuous is equal to the union over {X1/n} for all natural numbers n. If this set does not have zero Lebesgue measure, then by countable additivity of the measure there is at least one such n so that X1/n does not have a zero measure. Thus there is some positive number c such that every countable collection of open intervals covering X1/n has a total length of at least c. In particular this is also true for every such finite collection of intervals. This remains true also for X1/n less a finite number of points (as a finite number of points can always be covered by a finite collection of intervals with arbitrarily small total length). For every [[partition of an interval|partition of [a, b]]], consider the set of intervals whose interiors include points from X1/n. These interiors consist of a finite open cover of X1/n, possibly up to a finite number of points (which may fall on interval edges). Thus these intervals have a total length of at least c. Since in these points f has oscillation of at least 1/n, the infimum and supremum of f in each of these intervals differ by at least 1/n. Thus the upper and lower sums of f differ by at least c/n. Since this is true for every partition, f is not Riemann integrable. We now prove the converse direction using the sets Xε defined above.[9] For every ε, Xε is compact, as it is bounded (by a and b) and closed:
Now, suppose that f is continuous almost everywhere. Then for every ε, Xε has zero Lebesgue measure. Therefore, there is a countable collections of open intervals in [a, b] which is an open cover of Xε, such that the sum over all their lengths is arbitrarily small. [[Compact space#Open cover definition|Since Xε is compact]], there is a finite subcover – a finite collections of open intervals in [a, b] with arbitrarily small total length that together contain all points in Xε. We denote these intervals {I(ε)i}, for 1 ≤ i ≤ k, for some natural k. The complement of the union of these intervals is itself a union of a finite number of intervals, which we denote {J(ε)i} (for 1 ≤ i ≤ k − 1 and possibly for i = k, k + 1 as well). We now show that for every ε > 0, there are upper and lower sums whose difference is less than ε, from which Riemann integrability follows. To this end, we construct a [[partition of an interval|partition of [a, b]]] as follows: Denote ε1 = ε / 2(b − a) and ε2 = ε / 2(M − m), where m and M are the infimum and supremum of f on [a, b]. Since we may choose intervals {I(ε1)i} with arbitrarily small total length, we choose them to have total length smaller than ε2. Each of the intervals {J(ε1)i} has an empty intersection with Xε1, so each point in it has a neighborhood with oscillation smaller than ε1. These neighborhoods consist of an open cover of the interval, and since the interval is compact there is a finite subcover of them. This subcover is a finite collection of open intervals, which are subintervals of J(ε1)i (except for those that include an edge point, for which we only take their intersection with J(ε1)i). We take the edge points of the subintervals for all J(ε1)i − s, including the edge points of the intervals themselves, as our partition. Thus the partition divides [a, b] to two kinds of intervals:
In total, the difference between the upper and lower sums of the partition is smaller than ε, as required. |
विशेष रूप से, कोई भी सेट जो कि सबसे अधिक गणनीय सेट पर होता है, में लेबेसेग का माप शून्य होता है, और इस प्रकार एक परिबद्ध कार्य (कॉम्पैक्ट अंतराल पर) केवल परिमित या गणनीय रूप से कई विच्छिन्नताओं के साथ रीमैन पूर्णांक होता है। रीमैन इंटीग्रैबिलिटी ओवर के लिए एक और पर्याप्त मानदंड [a, b], किन्तु जिसमें माप की अवधारणा शामिल नहीं है, प्रत्येक बिंदु पर दाएं हाथ (या बाएं हाथ) की सीमा का अस्तित्व है [a, b) (या (a, b]).[10] एक बंधे हुए सेट का एक संकेतक फलन रीमैन-इंटीग्रेबल है यदि और केवल यदि सेट जॉर्डन उपाय है। रीमैन इंटीग्रल की व्याख्या माप सिद्धांत | माप-सैद्धांतिक रूप से जॉर्डन माप के संबंध में इंटीग्रल के रूप में की जा सकती है।
यदि वास्तविक-मूल्यवान फलन अंतराल पर मोनोटोन समारोह है [a, b] यह रीमैन इंटेग्रेबल है, क्योंकि इसकी अनिरंतरता का सेट सबसे अधिक गणना योग्य है, और इसलिए लेबेस्ग का माप शून्य है। यदि एक वास्तविक-मूल्यवान फलन on [a, b] रीमैन इंटीग्रेबल है, यह लेबेसेग इंटीग्रल है। अर्थात्, लेबेसेग-अभिन्नता की तुलना में रीमैन-इंटीग्रेबिलिटी एक मजबूत (अर्थात् संतुष्ट करने के लिए अधिक कठिन) स्थिति है। बातचीत पकड़ में नहीं आती; सभी Lebesgue-integrable कार्य रीमैन पूर्णांक नहीं हैं।
लेबेस्ग्यू-विटाली प्रमेय का अर्थ यह नहीं है कि सभी प्रकार की असंततताओं का बाधा पर समान भार है कि एक वास्तविक-मूल्यवान परिबद्ध फलन रीमैन पर समाकलित हो सकता है। [a, b]. वास्तव में, कुछ विच्छिन्नताओं की फलन की रीमैन इंटीग्रैबिलिटी पर बिल्कुल कोई भूमिका नहीं होती है - एक फलन के डिसकंटीन्युटीज़ के डिसकंटीन्युटीज़ के वर्गीकरण का एक परिणाम है।[citation needed]
यदि fn एक समान अभिसरण अनुक्रम है [a, b] सीमा के साथ f, फिर रीमैन सभी की पूर्णांकता fn का तात्पर्य रीमैन की पूर्णांकता से है f, और
सामान्यीकरण
यूक्लिडियन वेक्टर अंतरिक्ष में मूल्यों के साथ कार्यों के लिए रीमैन इंटीग्रल का विस्तार करना आसान है किसी के लिए n. अभिन्न को घटक-वार परिभाषित किया गया है; दूसरे शब्दों में, यदि f = (f1, ..., fn) तब
रीमैन इंटीग्रल को केवल सीमित अंतरालों पर परिभाषित किया गया है, और यह असीमित अंतरालों तक अच्छी तरह से विस्तारित नहीं होता है। सबसे सरल संभव विस्तार इस तरह के एक अभिन्न अंग को एक सीमा के रूप में परिभाषित करना है, दूसरे शब्दों में, अनुचित अभिन्न के रूप में:
दुर्भाग्य से, अनुचित रीमैन इंटीग्रल पर्याप्त शक्तिशाली नहीं है। सबसे गंभीर समस्या यह है कि कार्यों की सीमा के साथ अनुचित रीमैन इंटीग्रल को कम्यूट करने के लिए कोई व्यापक रूप से लागू प्रमेय नहीं हैं। फूरियर श्रृंखला जैसे अनुप्रयोगों में, फलन के सन्निकटन के इंटीग्रल का उपयोग करके फलन के इंटीग्रल को अनुमानित करने में सक्षम होना महत्वपूर्ण है। उचित रीमैन इंटीग्रल के लिए, एक मानक प्रमेय बताता है कि यदि fn कार्यों का एक क्रम है जो समान रूप से अभिसरण करता है f कॉम्पैक्ट सेट पर [a, b], तब
Lebesgue अभिन्न अंग के लिए रीमैन अभिन्न अंग को छोड़ना एक उत्तम मार्ग है। Lebesgue अभिन्न की परिभाषा स्पष्ट रूप से Riemann अभिन्न का सामान्यीकरण नहीं है, किन्तु यह साबित करना कठिन नहीं है कि प्रत्येक Riemann-integrable फलन Lebesgue-integrable है और दो इंटीग्रल के मान सहमत होते हैं जब भी वे दोनों परिभाषित होते हैं। इसके अलावा, एक समारोह f एक बंधे हुए अंतराल पर परिभाषित रीमैन-इंटीग्रेबल है यदि और केवल यदि यह घिरा हुआ है और बिंदुओं का सेट जहां f विच्छिन्न है लेबेस्गु का माप शून्य है।
एक इंटीग्रल जो वास्तव में रीमैन इंटीग्रल का प्रत्यक्ष सामान्यीकरण है, हेनस्टॉक-कुर्जवील इंटीग्रल है।
रीमैन इंटीग्रल को सामान्य बनाने का एक अन्य विधि कारकों को बदलना है xk + 1 − xk रीमैन योग की परिभाषा में कुछ और; मोटे तौर पर बोलना, यह एकीकरण के अंतराल को लंबाई की एक अलग धारणा देता है। यह रिमेंन-स्टील्टजेस इंटीग्रल द्वारा लिया गया दृष्टिकोण है।
बहुभिन्नरूपी कैलकुलस में, रीमैन फ़्रॉम फ़ंक्शंस के लिए इंटीग्रल करता है एकाधिक अभिन्न हैं।
एकीकरण के अन्य सिद्धांतों के साथ तुलना
रीमैन इंटीग्रल कई सैद्धांतिक उद्देश्यों के लिए अनुपयुक्त है। रीमैन एकीकरण में कुछ तकनीकी कमियों को रीमैन-स्टील्टजेस इंटीग्रल के साथ दूर किया जा सकता है, और अधिकांश लेबेसेग इंटीग्रल के साथ गायब हो जाते हैं, हालांकि बाद में अनुचित इंटीग्रल का संतोषजनक उपचार नहीं होता है। गेज अभिन्न लेबेस्ग इंटीग्रल का एक सामान्यीकरण है जो तुरंत रीमैन इंटीग्रल के करीब है। ये अधिक सामान्य सिद्धांत अधिक दांतेदार या अत्यधिक दोलन वाले कार्यों के एकीकरण की अनुमति देते हैं जिनके रीमैन इंटीग्रल उपस्थित नहीं हैं; किन्तु सिद्धांत वही मूल्य देते हैं जो रीमैन इंटीग्रल के अस्तित्व में होने पर होता है।
शैक्षिक सेटिंग्स में, डार्बौक्स इंटीग्रल एक सरल परिभाषा प्रदान करता है जिसके साथ काम करना आसान होता है; इसका उपयोग रीमैन इंटीग्रल को पेश करने के लिए किया जा सकता है। डार्बौक्स इंटीग्रल को तब परिभाषित किया जाता है जब रीमैन इंटीग्रल होता है, और हमेशा एक ही परिणाम देता है। इसके विपरीत, गेज इंटीग्रल रीमैन इंटीग्रल का एक सरल किन्तु अधिक शक्तिशाली सामान्यीकरण है और इसने कुछ शिक्षकों को इस बात की वकालत करने के लिए प्रेरित किया है कि इसे प्रारंभिक कैलकुलस पाठ्यक्रमों में रीमैन इंटीग्रल को बदलना चाहिए।[12]
यह भी देखें
- क्षेत्र
- antiderivative
- लेबेस्ग एकीकरण
टिप्पणियाँ
- ↑ The Riemann integral was introduced in Bernhard Riemann's paper "Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe" (On the representability of a function by a trigonometric series; i.e., when can a function be represented by a trigonometric series). This paper was submitted to the University of Göttingen in 1854 as Riemann's Habilitationsschrift (qualification to become an instructor). It was published in 1868 in Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen (Proceedings of the Royal Philosophical Society at Göttingen), vol. 13, pages 87-132. (Available online here.) For Riemann's definition of his integral, see section 4, "Über den Begriff eines bestimmten Integrals und den Umfang seiner Gültigkeit" (On the concept of a definite integral and the extent of its validity), pages 101–103.
- ↑ Krantz, Steven G. (2005). वास्तविक विश्लेषण और नींव. Boca Raton, Fla.: Chapman & Hall/CRC. p. 173. ISBN 1-58488-483-5. OCLC 56214595.
- ↑ Taylor, Michael E. (2006). सिद्धांत और एकीकरण को मापें. American Mathematical Society. p. 1. ISBN 9780821872468.
- ↑ Apostol 1974, pp. 169–172
- ↑ Brown, A. B. (September 1936). "रीमैन इंटिग्रेबिलिटी के लिए लेबेस्ग कंडीशन का प्रमाण". The American Mathematical Monthly. 43 (7): 396–398. doi:10.2307/2301737. ISSN 0002-9890. JSTOR 2301737.
- ↑ Basic real analysis, by Houshang H. Sohrab, section 7.3, Sets of Measure Zero and Lebesgue’s Integrability Condition, pp. 264–271
- ↑ Introduction to Real Analysis, updated April 2010, William F. Trench, 3.5 "A More Advanced Look at the Existence of the Proper Riemann Integral", pp. 171–177
- ↑ Lebesgue’s Condition, John Armstrong, December 15, 2009, The Unapologetic Mathematician
- ↑ Jordan Content Integrability Condition, John Armstrong, December 9, 2009, The Unapologetic Mathematician
- ↑ Metzler, R. C. (1971). "रीमैन इंटिग्रेबिलिटी पर". The American Mathematical Monthly. 78 (10): 1129–1131. doi:10.2307/2316325. ISSN 0002-9890. JSTOR 2316325.
- ↑ Cunningham, Frederick Jr. (1967). "अभिन्न चिह्न के तहत सीमाएं लेना". Mathematics Magazine. 40 (4): 179–186. doi:10.2307/2688673. JSTOR 2688673.
- ↑ "कैलकुलस बुक्स के लेखकों के लिए एक खुला पत्र". Retrieved 27 February 2014.
संदर्भ
- Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8.
- Apostol, Tom (1974), Mathematical Analysis, Addison-Wesley
बाहरी संबंध
- Media related to रीमैन इंटीग्रल at Wikimedia Commons
- "Riemann integral", Encyclopedia of Mathematics, EMS Press, 2001 [1994]