रीमैन इंटीग्रल: Difference between revisions
(Created page with "{{Short description|Basic integral in elementary calculus}} File:Integral as region under curve.svg|thumb|right|एक वक्र के अंतर्गत एक क...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Basic integral in elementary calculus}} | {{Short description|Basic integral in elementary calculus}} | ||
[[File:Integral as region under curve.svg|thumb|right|एक वक्र के अंतर्गत एक क्षेत्र के क्षेत्र के रूप में समाकल।]] | [[File:Integral as region under curve.svg|thumb|right|एक वक्र के अंतर्गत एक क्षेत्र के क्षेत्र के रूप में समाकल।]] | ||
[[File:Riemann integral regular.gif|thumb|right|एक अंतराल के एक नियमित विभाजन पर रीमैन योग का एक क्रम। शीर्ष पर संख्या आयतों का कुल क्षेत्रफल है, जो | [[File:Riemann integral regular.gif|thumb|right|एक अंतराल के एक नियमित विभाजन पर रीमैन योग का एक क्रम। शीर्ष पर संख्या आयतों का कुल क्षेत्रफल है, जो फलन के अभिन्न अंग में परिवर्तित हो जाती है।]] | ||
[[File:Riemann integral irregular.gif|thumb|right|जैसा कि यहां दिखाया गया है, विभाजन को नियमित होने की आवश्यकता नहीं है। सन्निकटन तब तक काम करता है जब तक प्रत्येक उपखंड की चौड़ाई शून्य हो जाती है।]] | [[File:Riemann integral irregular.gif|thumb|right|जैसा कि यहां दिखाया गया है, विभाजन को नियमित होने की आवश्यकता नहीं है। सन्निकटन तब तक काम करता है जब तक प्रत्येक उपखंड की चौड़ाई शून्य हो जाती है।]] | ||
{{Calculus|Integral}} | {{Calculus|Integral}} | ||
[[वास्तविक विश्लेषण]] के रूप में जानी जाने वाली गणित की शाखा में, [[बर्नहार्ड रीमैन]] द्वारा बनाई गई रीमैन [[ अभिन्न ]], एक [[अंतराल (गणित)]] पर एक | [[वास्तविक विश्लेषण]] के रूप में जानी जाने वाली गणित की शाखा में, [[बर्नहार्ड रीमैन]] द्वारा बनाई गई रीमैन [[ अभिन्न ]], एक [[अंतराल (गणित)]] पर एक फलन (गणित) के इंटीग्रल की पहली कठोर परिभाषा थी। यह 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'']}} के ऊपर समतल का क्षेत्र होने दें। शीर्ष दाईं ओर आकृति देखें। इस क्षेत्र को [[सेट-बिल्डर नोटेशन|सेट-बिल्डर]] संकेतन के रूप में व्यक्त किया जा सकता है | |||
<math display="block">S = \left \{ (x, y)\,: \,a \leq x \leq b\,,\, 0 < y < f(x) \right \}.</math> | <math display="block">S = \left \{ (x, y)\,: \,a \leq x \leq b\,,\, 0 < y < f(x) \right \}.</math> | ||
हम के क्षेत्र को मापने में रुचि रखते | हम {{mvar|S}} के क्षेत्र को मापने में रुचि रखते है। एक बार जब हम इसे माप लेते हैं, तो हम क्षेत्र को सामान्य विधि से निरूपित करेंगे | ||
<math display="block">\int_a^b f(x)\,dx.</math> | <math display="block">\int_a^b f(x)\,dx.</math> | ||
रीमैन इंटीग्रल का मूल विचार क्षेत्र के लिए बहुत ही सरल सन्निकटन का उपयोग करना | रीमैन इंटीग्रल का मूल विचार {{mvar|S}} क्षेत्र के लिए बहुत ही सरल सन्निकटन का उपयोग करना है। उत्तम से उत्तम सन्निकटन लेकर हम कह सकते हैं कि सीमा में हमें वक्र के नीचे {{mvar|S}} का क्षेत्रफल मिलता है। | ||
जब f(x) ऋणात्मक मान ले सकता है, तो समाकलन {{mvar|f}} और {{mvar|x}}-अक्ष के ग्राफ़ के बीच हस्ताक्षरित क्षेत्र के बराबर होता है: अर्थात, {{mvar|x}}-अक्ष के ऊपर का क्षेत्र {{mvar|x}}-अक्ष के नीचे के क्षेत्र को घटा देता है। | |||
== परिभाषा == | == परिभाषा == | ||
Line 34: | Line 34: | ||
होने देना {{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> | होने देना {{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}} निरंतर है, तो टैग न किए गए विभाजन के लिए निचले और ऊपरी Darboux योग उस विभाजन के रीमैन योग के बराबर होते हैं, जहां टैग का न्यूनतम या अधिकतम (क्रमशः) चयन किया जाता है {{mvar|f}} प्रत्येक उपअंतराल पर। (कब {{mvar|f}} एक सबइंटरवल पर असतत है, ऐसा कोई टैग नहीं हो सकता है जो उस सबइंटरवल पर इन्फिनिमम या सुप्रीमम को प्राप्त करता हो।) [[डार्बौक्स अभिन्न]], जो रीमैन इंटीग्रल के समान है | अगर {{mvar|f}} निरंतर है, तो टैग न किए गए विभाजन के लिए निचले और ऊपरी Darboux योग उस विभाजन के रीमैन योग के बराबर होते हैं, जहां टैग का न्यूनतम या अधिकतम (क्रमशः) चयन किया जाता है {{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}} यदि निम्न स्थिति होती है: | ||
Line 59: | Line 59: | ||
जैसा कि हमने पहले कहा, ये दो परिभाषाएँ समतुल्य हैं। दूसरे शब्दों में, {{mvar|s}} पहली परिभाषा में काम करता है अगर और केवल अगर {{mvar|s}} दूसरी परिभाषा में काम करता है। यह दिखाने के लिए कि पहली परिभाषा का तात्पर्य दूसरी से है, एक से शुरू करें {{mvar|ε}}, और एक चुनें {{mvar|δ}} जो शर्त को पूरा करता है। किसी भी टैग किए गए विभाजन को चुनें जिसका मेश इससे कम हो {{mvar|δ}}. इसका रीमैन योग भीतर है {{mvar|ε}} का {{mvar|s}}, और इस विभाजन के किसी भी परिशोधन में मेश से भी कम होगा {{mvar|δ}}, इसलिए शोधन का रीमैन योग भी भीतर होगा {{mvar|ε}} का {{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>''}} जैसे कि इस विभाजन के संबंध में निचले और ऊपरी डार्बौक्स योग भीतर हैं {{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}}, तब {{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|''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}}. | ||
Line 86: | Line 86: | ||
होने देना <math>f:[0,1]\to\R</math> वह कार्य हो जो प्रत्येक बिंदु पर मान 1 लेता है। का कोई रीमैन योग {{mvar|f}} पर {{math|[0, 1]}} का मान 1 होगा, इसलिए रीमैन का अभिन्न अंग है {{mvar|f}} पर {{math|[0, 1]}} 1 है। | होने देना <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>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|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|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|δ}} पर्याप्त रूप से छोटा। | ||
Line 96: | Line 96: | ||
अगर {{mvar|t<sub>i</sub>}} इनमें से किसी एक के ठीक ऊपर है {{mvar|x<sub>j</sub>}}, तो हम करते हैं {{mvar|t<sub>i</sub>}} दोनों अंतरालों के लिए टैग बनें: | अगर {{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|ε}}. | ||
चूंकि हमने एक मनमाना विभाजन से शुरू किया और शून्य या एक के रूप में करीब के रूप में समाप्त हो गया, यह कहना गलत है कि हम अंततः किसी संख्या के पास फंस गए हैं {{mvar|s}}, इसलिए यह | चूंकि हमने एक मनमाना विभाजन से शुरू किया और शून्य या एक के रूप में करीब के रूप में समाप्त हो गया, यह कहना गलत है कि हम अंततः किसी संख्या के पास फंस गए हैं {{mvar|s}}, इसलिए यह फलन रीमैन पूर्णांक नहीं है। हालाँकि, यह Lebesgue अभिन्न है। Lebesgue अर्थ में इसका अभिन्न शून्य है, क्योंकि फलन [[लगभग हर जगह]] शून्य है। किन्तु यह एक ऐसा तथ्य है जो रीमैन इंटीग्रल की पहुंच से परे है। | ||
और भी बुरे उदाहरण हैं। <math>I_{\Q}</math> एक रीमैन पूर्णांकीय फलन के समतुल्य है (अर्थात्, लगभग हर जगह समान है), | और भी बुरे उदाहरण हैं। <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}} में एक शोधन है जो भीतर है {{mvar|ε}किसी भी सकारात्मक संख्या के लिए 0 का }{{mvar|ε}}. किन्तु अगर रीमैन का अभिन्न अंग {{mvar|g}} मौजूद है, तो इसे Lebesgue इंटीग्रल के बराबर होना चाहिए {{math|''I<sub>C</sub>''}}, जो है {{math|1/2}}. इसलिए, {{mvar|g}} रीमैन पूर्णांक नहीं है। | ||
== समान अवधारणाएँ == | == समान अवधारणाएँ == | ||
रीमैन इंटीग्रल को डार्बौक्स इंटीग्रल के रूप में परिभाषित करना लोकप्रिय है। ऐसा इसलिए है क्योंकि डार्बौक्स इंटीग्रल तकनीकी रूप से सरल है और क्योंकि एक | रीमैन इंटीग्रल को डार्बौक्स इंटीग्रल के रूप में परिभाषित करना लोकप्रिय है। ऐसा इसलिए है क्योंकि डार्बौक्स इंटीग्रल तकनीकी रूप से सरल है और क्योंकि एक फलन रीमैन-इंटीग्रेबल है अगर और केवल अगर यह डार्बौक्स-इंटीग्रेबल है। | ||
कुछ कलन पुस्तकें सामान्य टैग किए गए विभाजनों का उपयोग नहीं करती हैं, | कुछ कलन पुस्तकें सामान्य टैग किए गए विभाजनों का उपयोग नहीं करती हैं, किन्तु स्वयं को विशिष्ट प्रकार के टैग किए गए विभाजनों तक सीमित रखती हैं। यदि विभाजन का प्रकार बहुत अधिक सीमित है, तो कुछ गैर-अभिन्नीकरणीय कार्य समाकलनीय प्रतीत हो सकते हैं। | ||
एक लोकप्रिय प्रतिबंध बाएँ और दाएँ हाथ के रीमैन योगों का उपयोग है। बाएं हाथ के रीमैन योग में, {{math|''t<sub>i</sub>'' {{=}} ''x<sub>i</sub>''}} सभी के लिए {{mvar|i}}, और दाहिनी ओर रीमैन राशि में, {{math|''t<sub>i</sub>'' {{=}} ''x''<sub>''i'' + 1</sub>}} सभी के लिए {{mvar|i}}. अकेले यह प्रतिबंध कोई समस्या नहीं लाता है: हम किसी भी विभाजन को इस तरह से परिशोधित कर सकते हैं जो इसे प्रत्येक पर उप-विभाजित करके बाएं हाथ या दाएं हाथ का योग बनाता है। {{mvar|t<sub>i</sub>}}. अधिक औपचारिक भाषा में, सभी टैग किए गए विभाजनों के सेट में सभी बाएं हाथ के रीमैन योगों का सेट और सभी दाएं हाथ के रीमैन योगों का सेट [[कोफिनल (गणित)]] है। | एक लोकप्रिय प्रतिबंध बाएँ और दाएँ हाथ के रीमैन योगों का उपयोग है। बाएं हाथ के रीमैन योग में, {{math|''t<sub>i</sub>'' {{=}} ''x<sub>i</sub>''}} सभी के लिए {{mvar|i}}, और दाहिनी ओर रीमैन राशि में, {{math|''t<sub>i</sub>'' {{=}} ''x''<sub>''i'' + 1</sub>}} सभी के लिए {{mvar|i}}. अकेले यह प्रतिबंध कोई समस्या नहीं लाता है: हम किसी भी विभाजन को इस तरह से परिशोधित कर सकते हैं जो इसे प्रत्येक पर उप-विभाजित करके बाएं हाथ या दाएं हाथ का योग बनाता है। {{mvar|t<sub>i</sub>}}. अधिक औपचारिक भाषा में, सभी टैग किए गए विभाजनों के सेट में सभी बाएं हाथ के रीमैन योगों का सेट और सभी दाएं हाथ के रीमैन योगों का सेट [[कोफिनल (गणित)]] है। | ||
Line 112: | Line 112: | ||
एक अन्य लोकप्रिय प्रतिबंध एक अंतराल के नियमित उपविभागों का उपयोग है। उदाहरण के लिए, द {{mvar|n}}वें नियमित उपखंड {{math|[0, 1]}} अंतराल के होते हैं | एक अन्य लोकप्रिय प्रतिबंध एक अंतराल के नियमित उपविभागों का उपयोग है। उदाहरण के लिए, द {{mvar|n}}वें नियमित उपखंड {{math|[0, 1]}} अंतराल के होते हैं | ||
<math display="block">\left [0, \frac{1}{n} \right], \left [\frac{1}{n}, \frac{2}{n} \right], \ldots, \left[\frac{n-1}{n}, 1 \right].</math> | <math display="block">\left [0, \frac{1}{n} \right], \left [\frac{1}{n}, \frac{2}{n} \right], \ldots, \left[\frac{n-1}{n}, 1 \right].</math> | ||
दोबारा, अकेले यह प्रतिबंध कोई समस्या नहीं लगाता है, | दोबारा, अकेले यह प्रतिबंध कोई समस्या नहीं लगाता है, किन्तु इस तथ्य को देखने के लिए आवश्यक तर्क बाएं हाथ और दाएं हाथ के रीमैन रकम के मामले में अधिक कठिन है। | ||
हालांकि, इन प्रतिबंधों का संयोजन, ताकि कोई नियमित रूप से विभाजित अंतराल पर केवल बाएं हाथ या दाएं हाथ के रीमैन रकम का उपयोग कर सके, खतरनाक है। यदि किसी फलन को पहले से ही रीमैन पूर्णांक के रूप में जाना जाता है, तो यह तकनीक समाकलन का सही मान देगी। | हालांकि, इन प्रतिबंधों का संयोजन, ताकि कोई नियमित रूप से विभाजित अंतराल पर केवल बाएं हाथ या दाएं हाथ के रीमैन रकम का उपयोग कर सके, खतरनाक है। यदि किसी फलन को पहले से ही रीमैन पूर्णांक के रूप में जाना जाता है, तो यह तकनीक समाकलन का सही मान देगी। किन्तु इन शर्तों के तहत सूचक कार्य करता है <math>I_{\Q}</math> पर अभिन्न प्रतीत होगा {{math|[0, 1]}} एक के बराबर इंटीग्रल के साथ: हर सबइंटरवल का हर समापन बिंदु एक परिमेय संख्या होगी, इसलिए फलन का हमेशा परिमेय संख्याओं पर मूल्यांकन किया जाएगा, और इसलिए यह हमेशा एक के बराबर दिखाई देगा। इस परिभाषा के साथ समस्या तब स्पष्ट हो जाती है जब हम अभिन्न को दो भागों में विभाजित करने का प्रयास करते हैं। निम्नलिखित समीकरण धारण करना चाहिए: | ||
<math display="block">\int_0^{\sqrt{2}-1} I_\Q(x) \,dx + \int_{\sqrt{2}-1}^1 I_\Q(x) \,dx = \int_0^1 I_\Q(x) \,dx.</math> | <math display="block">\int_0^{\sqrt{2}-1} I_\Q(x) \,dx + \int_{\sqrt{2}-1}^1 I_\Q(x) \,dx = \int_0^1 I_\Q(x) \,dx.</math> | ||
यदि हम नियमित उपविभाजनों और बाएँ हाथ या दाएँ हाथ के रीमैन योग का उपयोग करते हैं, तो बाईं ओर के दो पद शून्य के बराबर हैं, क्योंकि 0 और 1 को छोड़कर प्रत्येक समापन बिंदु अपरिमेय होगा, | यदि हम नियमित उपविभाजनों और बाएँ हाथ या दाएँ हाथ के रीमैन योग का उपयोग करते हैं, तो बाईं ओर के दो पद शून्य के बराबर हैं, क्योंकि 0 और 1 को छोड़कर प्रत्येक समापन बिंदु अपरिमेय होगा, किन्तु जैसा कि हमने दाईं ओर का शब्द देखा है बराबर 1. | ||
जैसा कि ऊपर परिभाषित किया गया है, रीमैन इंटीग्रल एकीकृत करने से इनकार करके इस समस्या से बचा जाता है <math>I_{\Q}.</math> Lebesgue इंटीग्रल को इस तरह परिभाषित किया गया है कि ये सभी इंटीग्रल 0 हैं। | जैसा कि ऊपर परिभाषित किया गया है, रीमैन इंटीग्रल एकीकृत करने से इनकार करके इस समस्या से बचा जाता है <math>I_{\Q}.</math> Lebesgue इंटीग्रल को इस तरह परिभाषित किया गया है कि ये सभी इंटीग्रल 0 हैं। | ||
Line 125: | Line 125: | ||
रीमैन इंटीग्रल एक रैखिक परिवर्तन है; वह है, अगर {{mvar|f}} और {{mvar|g}} रीमैन-इंटीग्रेबल ऑन हैं {{math|[''a'', ''b'']}} और {{mvar|α}} और {{mvar|β}} तब स्थिरांक हैं | रीमैन इंटीग्रल एक रैखिक परिवर्तन है; वह है, अगर {{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'']}} रीमैन इंटीग्रेबल है अगर और केवल अगर यह लगभग हर जगह [[निरंतर कार्य]] करता है (लेबेस्ग्यू माप के अर्थ में इसकी असांतत्यता के वर्गीकरण का माप शून्य है)। यह है{{visible anchor|Lebesgue-Vitali theorem|Lebesgue integrability condition}} (रीमैन पूर्णांकीय कार्यों के लक्षण वर्णन)। यह 1907 में [[Giuseppe Vitali]] और [[Henri Lebesgue]] द्वारा स्वतंत्र रूप से सिद्ध किया गया है, और माप शून्य की धारणा का उपयोग करता है, | [[ कॉम्पैक्ट जगह ]] पर एक [[ परिबद्ध समारोह ]] {{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> जिनमें से एक नीचे स्केच किया गया है। | ||
{| class="toccolours collapsible collapsed" width="90%" style="text-align:left" | {| class="toccolours collapsible collapsed" width="90%" style="text-align:left" | ||
Line 164: | Line 164: | ||
In total, the difference between the upper and lower sums of the partition is smaller than {{mvar|ε}}, as required. | In total, the difference between the upper and lower sums of the partition is smaller than {{mvar|ε}}, as required. | ||
|} | |} | ||
विशेष रूप से, कोई भी सेट जो कि सबसे अधिक [[गणनीय सेट]] पर होता है, में लेबेसेग का माप शून्य होता है, और इस प्रकार एक परिबद्ध कार्य (कॉम्पैक्ट अंतराल पर) केवल परिमित या गणनीय रूप से कई विच्छिन्नताओं के साथ रीमैन पूर्णांक होता है। रीमैन इंटीग्रैबिलिटी ओवर के लिए एक और पर्याप्त मानदंड {{math|[''a'', ''b'']}}, | विशेष रूप से, कोई भी सेट जो कि सबसे अधिक [[गणनीय सेट]] पर होता है, में लेबेसेग का माप शून्य होता है, और इस प्रकार एक परिबद्ध कार्य (कॉम्पैक्ट अंतराल पर) केवल परिमित या गणनीय रूप से कई विच्छिन्नताओं के साथ रीमैन पूर्णांक होता है। रीमैन इंटीग्रैबिलिटी ओवर के लिए एक और पर्याप्त मानदंड {{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'']}}. वास्तव में, कुछ विच्छिन्नताओं की | लेबेस्ग्यू-विटाली प्रमेय का अर्थ यह नहीं है कि सभी प्रकार की असंततताओं का बाधा पर समान भार है कि एक वास्तविक-मूल्यवान परिबद्ध फलन रीमैन पर समाकलित हो सकता है। {{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|''f''<sub>''n''</sub>}} एक समान अभिसरण अनुक्रम है {{math|[''a'', ''b'']}} सीमा के साथ {{mvar|f}}, फिर रीमैन सभी की पूर्णांकता {{math|''f''<sub>''n''</sub>}} का तात्पर्य रीमैन की पूर्णांकता से है {{mvar|f}}, और | ||
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|''f''(''x'' − 1)}} -2 है, इसलिए यह परिभाषा बदलाव के तहत अपरिवर्तनीय नहीं है, एक बेहद अवांछनीय संपत्ति है। वास्तव में, न केवल इस फलन में एक अनुचित रीमैन इंटीग्रल नहीं है, इसका लेबेसेग इंटीग्रल भी अपरिभाषित है (यह बराबर है) {{math|∞ − ∞}}). | ||
दुर्भाग्य से, अनुचित रीमैन इंटीग्रल पर्याप्त शक्तिशाली नहीं है। सबसे गंभीर समस्या यह है कि कार्यों की सीमा के साथ अनुचित रीमैन इंटीग्रल को कम्यूट करने के लिए कोई व्यापक रूप से लागू प्रमेय नहीं हैं। फूरियर श्रृंखला जैसे अनुप्रयोगों में, | दुर्भाग्य से, अनुचित रीमैन इंटीग्रल पर्याप्त शक्तिशाली नहीं है। सबसे गंभीर समस्या यह है कि कार्यों की सीमा के साथ अनुचित रीमैन इंटीग्रल को कम्यूट करने के लिए कोई व्यापक रूप से लागू प्रमेय नहीं हैं। फूरियर श्रृंखला जैसे अनुप्रयोगों में, फलन के सन्निकटन के इंटीग्रल का उपयोग करके फलन के इंटीग्रल को अनुमानित करने में सक्षम होना महत्वपूर्ण है। उचित रीमैन इंटीग्रल के लिए, एक मानक प्रमेय बताता है कि यदि {{math|''f<sub>n</sub>''}} कार्यों का एक क्रम है जो समान रूप से अभिसरण करता है {{mvar|f}} कॉम्पैक्ट सेट पर {{math|[''a'', ''b'']}}, तब | ||
<math display="block">\lim_{n\to\infty} \int_a^b f_n(x)\,dx = \int_a^b f(x)\,dx.</math> | <math display="block">\lim_{n\to\infty} \int_a^b f_n(x)\,dx = \int_a^b f(x)\,dx.</math> | ||
वास्तविक रेखा जैसे गैर-कॉम्पैक्ट अंतराल पर, यह गलत है। उदाहरण के लिए, ले लो {{math|''f<sub>n</sub>''(''x'')}} होना {{math|''n''<sup>−1</sup>}} पर {{math|[0, ''n'']}} और शून्य कहीं और। सभी के लिए {{mvar|n}} अपने पास: | वास्तविक रेखा जैसे गैर-कॉम्पैक्ट अंतराल पर, यह गलत है। उदाहरण के लिए, ले लो {{math|''f<sub>n</sub>''(''x'')}} होना {{math|''n''<sup>−1</sup>}} पर {{math|[0, ''n'']}} और शून्य कहीं और। सभी के लिए {{mvar|n}} अपने पास: | ||
<math display="block">\int_{-\infty}^\infty f_n\,dx = 1.</math> | <math display="block">\int_{-\infty}^\infty f_n\,dx = 1.</math> | ||
क्रम {{math|(''f<sub>n</sub>'')}} समान रूप से शून्य | क्रम {{math|(''f<sub>n</sub>'')}} समान रूप से शून्य फलन में परिवर्तित हो जाता है, और स्पष्ट रूप से शून्य फलन का अभिन्न अंग शून्य होता है। फलस्वरूप, | ||
<math display="block">\int_{-\infty}^\infty f\,dx \neq \lim_{n\to\infty}\int_{-\infty}^\infty f_n\,dx.</math> | <math display="block">\int_{-\infty}^\infty f\,dx \neq \lim_{n\to\infty}\int_{-\infty}^\infty f_n\,dx.</math> | ||
यह दर्शाता है कि असीम अंतरालों पर समाकलों के लिए, एक फलन का एकसमान अभिसरण इतना मजबूत नहीं है कि एक समाकल चिह्न के माध्यम से एक सीमा को पारित करने की अनुमति दे सके। यह रीमैन इंटीग्रल को अनुप्रयोगों में अव्यवहारिक बनाता है (भले ही रीमैन इंटीग्रल दोनों पक्षों को सही मान प्रदान करता है), क्योंकि सीमा और रीमैन इंटीग्रल के आदान-प्रदान के लिए कोई अन्य सामान्य मानदंड नहीं है, और इस तरह के मानदंड के बिना इंटीग्रल का अनुमान लगाना मुश्किल है उनके पूर्णांक का अनुमान लगाना। | यह दर्शाता है कि असीम अंतरालों पर समाकलों के लिए, एक फलन का एकसमान अभिसरण इतना मजबूत नहीं है कि एक समाकल चिह्न के माध्यम से एक सीमा को पारित करने की अनुमति दे सके। यह रीमैन इंटीग्रल को अनुप्रयोगों में अव्यवहारिक बनाता है (भले ही रीमैन इंटीग्रल दोनों पक्षों को सही मान प्रदान करता है), क्योंकि सीमा और रीमैन इंटीग्रल के आदान-प्रदान के लिए कोई अन्य सामान्य मानदंड नहीं है, और इस तरह के मानदंड के बिना इंटीग्रल का अनुमान लगाना मुश्किल है उनके पूर्णांक का अनुमान लगाना। | ||
Lebesgue अभिन्न अंग के लिए रीमैन अभिन्न अंग को छोड़ना एक | Lebesgue अभिन्न अंग के लिए रीमैन अभिन्न अंग को छोड़ना एक उत्तम मार्ग है। Lebesgue अभिन्न की परिभाषा स्पष्ट रूप से Riemann अभिन्न का सामान्यीकरण नहीं है, किन्तु यह साबित करना कठिन नहीं है कि प्रत्येक Riemann-integrable फलन Lebesgue-integrable है और दो इंटीग्रल के मान सहमत होते हैं जब भी वे दोनों परिभाषित होते हैं। इसके अलावा, एक समारोह {{mvar|f}} एक बंधे हुए अंतराल पर परिभाषित रीमैन-इंटीग्रेबल है अगर और केवल अगर यह घिरा हुआ है और बिंदुओं का सेट जहां {{mvar|f}} विच्छिन्न है लेबेस्गु का माप शून्य है। | ||
एक इंटीग्रल जो वास्तव में रीमैन इंटीग्रल का प्रत्यक्ष सामान्यीकरण है, हेनस्टॉक-कुर्जवील इंटीग्रल है। | एक इंटीग्रल जो वास्तव में रीमैन इंटीग्रल का प्रत्यक्ष सामान्यीकरण है, हेनस्टॉक-कुर्जवील इंटीग्रल है। | ||
रीमैन इंटीग्रल को सामान्य बनाने का एक अन्य | रीमैन इंटीग्रल को सामान्य बनाने का एक अन्य विधि कारकों को बदलना है {{math|''x''<sub>''k'' + 1</sub> − ''x''<sub>''k''</sub>}} रीमैन योग की परिभाषा में कुछ और; मोटे तौर पर बोलना, यह एकीकरण के अंतराल को लंबाई की एक अलग धारणा देता है। यह रिमेंन-स्टील्टजेस इंटीग्रल द्वारा लिया गया दृष्टिकोण है। | ||
[[बहुभिन्नरूपी कैलकुलस]] में, रीमैन फ़्रॉम फ़ंक्शंस के लिए इंटीग्रल करता है <math>\R^n\to\R</math> [[एकाधिक अभिन्न]] हैं। | [[बहुभिन्नरूपी कैलकुलस]] में, रीमैन फ़्रॉम फ़ंक्शंस के लिए इंटीग्रल करता है <math>\R^n\to\R</math> [[एकाधिक अभिन्न]] हैं। | ||
Line 214: | Line 214: | ||
== एकीकरण के अन्य सिद्धांतों के साथ तुलना == | == एकीकरण के अन्य सिद्धांतों के साथ तुलना == | ||
रीमैन इंटीग्रल कई सैद्धांतिक उद्देश्यों के लिए अनुपयुक्त है। रीमैन एकीकरण में कुछ तकनीकी कमियों को रीमैन-स्टील्टजेस इंटीग्रल के साथ दूर किया जा सकता है, और अधिकांश लेबेसेग इंटीग्रल के साथ गायब हो जाते हैं, हालांकि बाद में अनुचित इंटीग्रल का संतोषजनक उपचार नहीं होता है। [[गेज अभिन्न]] लेबेस्ग इंटीग्रल का एक सामान्यीकरण है जो तुरंत रीमैन इंटीग्रल के करीब है। | रीमैन इंटीग्रल कई सैद्धांतिक उद्देश्यों के लिए अनुपयुक्त है। रीमैन एकीकरण में कुछ तकनीकी कमियों को रीमैन-स्टील्टजेस इंटीग्रल के साथ दूर किया जा सकता है, और अधिकांश लेबेसेग इंटीग्रल के साथ गायब हो जाते हैं, हालांकि बाद में अनुचित इंटीग्रल का संतोषजनक उपचार नहीं होता है। [[गेज अभिन्न]] लेबेस्ग इंटीग्रल का एक सामान्यीकरण है जो तुरंत रीमैन इंटीग्रल के करीब है। | ||
ये अधिक सामान्य सिद्धांत अधिक दांतेदार या अत्यधिक दोलन वाले कार्यों के एकीकरण की अनुमति देते हैं जिनके रीमैन इंटीग्रल मौजूद नहीं हैं; | ये अधिक सामान्य सिद्धांत अधिक दांतेदार या अत्यधिक दोलन वाले कार्यों के एकीकरण की अनुमति देते हैं जिनके रीमैन इंटीग्रल मौजूद नहीं हैं; किन्तु सिद्धांत वही मूल्य देते हैं जो रीमैन इंटीग्रल के अस्तित्व में होने पर होता है। | ||
शैक्षिक सेटिंग्स में, डार्बौक्स इंटीग्रल एक सरल परिभाषा प्रदान करता है जिसके साथ काम करना आसान होता है; इसका उपयोग रीमैन इंटीग्रल को पेश करने के लिए किया जा सकता है। डार्बौक्स इंटीग्रल को तब परिभाषित किया जाता है जब रीमैन इंटीग्रल होता है, और हमेशा एक ही परिणाम देता है। इसके विपरीत, गेज इंटीग्रल रीमैन इंटीग्रल का एक सरल | शैक्षिक सेटिंग्स में, डार्बौक्स इंटीग्रल एक सरल परिभाषा प्रदान करता है जिसके साथ काम करना आसान होता है; इसका उपयोग रीमैन इंटीग्रल को पेश करने के लिए किया जा सकता है। डार्बौक्स इंटीग्रल को तब परिभाषित किया जाता है जब रीमैन इंटीग्रल होता है, और हमेशा एक ही परिणाम देता है। इसके विपरीत, गेज इंटीग्रल रीमैन इंटीग्रल का एक सरल किन्तु अधिक शक्तिशाली सामान्यीकरण है और इसने कुछ शिक्षकों को इस बात की वकालत करने के लिए प्रेरित किया है कि इसे प्रारंभिक कैलकुलस पाठ्यक्रमों में रीमैन इंटीग्रल को बदलना चाहिए।<ref>{{cite web|title=कैलकुलस बुक्स के लेखकों के लिए एक खुला पत्र|url=https://math.vanderbilt.edu/schectex/ccc/gauge/letter/|access-date=27 February 2014}}</ref> | ||
Revision as of 05:04, 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) और ऐसा है ti = sj कुछ के लिए j साथ j ∈ [r(i), r(i + 1)]. यही है, एक टैग किया गया विभाजन कुछ उप-अंतरालों को तोड़ता है और जहां आवश्यक हो, विभाजन की सटीकता को परिष्कृत करते हुए नमूना बिंदु जोड़ता है।
हम सभी टैग किए गए विभाजनों के सेट को यह कहकर निर्देशित सेट में बदल सकते हैं कि एक टैग किया गया विभाजन दूसरे से अधिक या उसके बराबर है यदि पूर्व उत्तरार्द्ध का परिशोधन है।
रीमैन राशि
होने देना 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 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.
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]