View source for रीमैन इंटीग्रल

{{Short description|Basic integral in elementary calculus}}
[[File:Integral as region under curve.svg|thumb|right|वक्र के अंतर्गत क्षेत्र के क्षेत्र के रूप में इंटीग्रल।]]
[[File:Riemann integral regular.gif|thumb|right|अंतराल के नियमित विभाजन पर रीमैन योग का क्रम। शीर्ष पर संख्या आयतों का कुल क्षेत्रफल है, जो फलन के इंटीग्रल अंग में परिवर्तित हो जाती है।]]
[[File:Riemann integral irregular.gif|thumb|right|जैसा कि यहां दिखाया गया है, विभाजन को नियमित होने की आवश्यकता नहीं है। सन्निकटन तब तक काम करता है जब तक प्रत्येक उपखंड की चौड़ाई शून्य हो जाती है।]]
{{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>
हम {{mvar|S}} के क्षेत्र को मापने में रुचि रखते है। एक बार जब हम इसे माप लेते हैं, तो हम क्षेत्र को सामान्य विधि से निरूपित करते है
<math display="block">\int_a^b f(x)\,dx.</math>
रीमैन इंटीग्रल का मूल विचार {{mvar|S}} क्षेत्र के लिए बहुत ही सरल सन्निकटन का उपयोग करना है। उत्तम से उत्तम सन्निकटन लेकर हम कह सकते हैं कि सीमा में हमें वक्र के नीचे {{mvar|S}} का क्षेत्रफल मिलता है।

जब f(x) ऋणात्मक मान ले सकता है, तो इंटीग्रल {{mvar|f}} और {{mvar|x}}-अक्ष के ग्राफ़ के बीच हस्ताक्षरित क्षेत्र के बराबर होता है: अर्थात, {{mvar|x}}-अक्ष के ऊपर का क्षेत्र {{mvar|x}}-अक्ष के नीचे के क्षेत्र को घटा देता है।

== परिभाषा ==

=== अंतराल के विभाजन ===

अंतराल का विभाजन {{math|[''a'', ''b'']}} फॉर्म की संख्याओं का परिमित अनुक्रम है
<math display="block">a = x_0 < x_1 < x_2 < \dots < x_i < \dots < x_n = b</math>
प्रत्येक {{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|''P''(''x'', ''t'')}} अंतराल का {{math|[''a'', ''b'']}} प्रत्येक उप-अंतराल के अन्दर मानक बिंदु के विकल्प के साथ विभाजन है, जो संख्या {{math|''t''<sub>0</sub>, ..., ''t''<sub>''n'' − 1</sub>}} है जिसमे प्रत्येक {{mvar|i}} के लिए {{math|''t<sub>i</sub>'' ∈ [''x<sub>i</sub>'', ''x''<sub>''i'' + 1</sub>]}} है। टैग किए गए विभाजन का मेश सामान्य विभाजन के समान होता है।

मान लीजिए कि दो विभाजन {{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|''f''(''t<sub>i</sub>'')}} और चौड़ाई {{math|''x''<sub>''i'' + 1</sub> − ''x<sub>i</sub>''}} के साथ आयत के (हस्ताक्षरित) क्षेत्र का प्रतिनिधित्व करता है। रीमैन योग सभी आयतों का (हस्ताक्षरित) क्षेत्र है।

शुद्धता से संबंधित अवधारणाएँ निम्न और ऊपरी डार्बौक्स योग हैं। ये रीमैन सम्स के समान हैं, किन्तु टैग प्रत्येक उप-अंतराल पर {{mvar|f}} के [[निम्नतम और उच्चतम]] (क्रमशः) द्वारा प्रतिस्थापित किया जाता है:
<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), \\
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>
यदि  {{mvar|f}}  निरंतर है, तो टैग न किए गए विभाजन के लिए निचले और ऊपरी डार्बौक्स योग उस विभाजन के रीमैन योग के बराबर होते हैं, जहां टैग को प्रत्येक उपअंतराल पर {{mvar|f}} का न्यूनतम या अधिकतम (क्रमशः) चुना जाता है। (जब {{mvar|f}} उपअंतराल पर विच्छिन्न होता है, तो ऐसा कोई टैग नहीं हो सकता है जो उस उपअंतराल पर न्यूनतम या उच्चतम को प्राप्त करता हो।) [[डार्बौक्स अभिन्न|डार्बौक्स इंटीग्रल]], जो रीमैन इंटीग्रल के समान है लेकिन डार्बौक्स रकम पर आधारित है, रीमैन इंटीग्रल के बराबर है।

=== रीमैन इंटीग्रल ===
अस्पष्ट रूप से बोलते हुए, रीमैन इंटीग्रल फलन के रीमैन सम की सीमा है क्योंकि विभाजन उत्तम हो जाते हैं। यदि सीमा उपस्थित है तो फलन को पूर्णांक (या अधिक विशेष रूप से रीमैन-पूर्णांक) कहा जाता है। विभाजन को पर्याप्त रूप से ठीक करके रीमैन योग को रीमैन इंटीग्रल के वांछित के रूप में बनाया जा सकता है।<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}} के बराबर है, यदि निम्नलिखित शर्त रखती है:

सभी {{math|''ε'' > 0}} के लिए, {{math|''δ'' > 0}} उपस्थित है जैसे कि किसी भी टैग किए गए विभाजन के लिए {{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>दुर्भाग्य से, इस परिभाषा का उपयोग करना बहुत कठिन है। यह रीमैन इंटीग्रल की समतुल्य परिभाषा विकसित करने में सहायता करता हैं, जिसके साथ काम करना आसान है। हम इस परिभाषा को अब तुल्यता के प्रमाण के साथ विकसित करते हैं। हमारी नई परिभाषा कहती है कि {{mvar|f}} का रीमैन इंटीग्रल {{mvar|s}} के बराबर है, यदि निम्नलिखित शर्तें रखती हैं:

सभी {{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>इन दोनों का अर्थ है कि अंततः, किसी भी विभाजन के संबंध में {{mvar|f}} का रीमैन योग {{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|s}} के {{math|''ε''/2}} के अंदर हों। मान लीजिये
<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|''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|[''y<sub>j</sub>'', ''y''<sub>''j'' + 1</sub>]}} के अन्दर समाहित है, तब
<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>]}} पर f का निम्नतम और सर्वोच्च है। यदि सभी अंतरालों में यह गुण होती है, तो यह प्रमाण को समाप्त कर देगा, क्योंकि रीमैन राशि में प्रत्येक शब्द डार्बौक्स रकम में संबंधित शब्द से घिरा होगा, और हमने डार्बौक्स रकम को {{mvar|s}} के पास चुना है। यह वह स्थिति है जब {{math|''m'' {{=}} 1}}, तो उस स्थिति में उपपत्ति समाप्त हो जाती है।

इसलिए हम यह मान सकते हैं कि {{math|''m'' > 1}} है। इस स्थिति में, यह संभव है कि {{math|[''x<sub>i</sub>'', ''x''<sub>''i'' + 1</sub>]}} में से कोई {{math|[''y<sub>j</sub>'', ''y''<sub>''j'' + 1</sub>]}}. में निहित नहीं है। इसके अतिरिक्त, यह {{math|''y''<sub>0</sub>, ..., ''y<sub>m</sub>''}}. द्वारा निर्धारित दो अंतरालों में फैल सकता है। (यह तीन अंतरालों को पूरा नहीं कर सकता क्योंकि {{mvar|δ}} को किसी अंतराल की लंबाई से छोटा माना जाता है।) प्रतीकों में, ऐसा हो सकता है
<math display="block">y_j < x_i < y_{j+1} < x_{i+1} < y_{j+2}.</math>
(हम मान सकते हैं कि सभी असमानताएँ सख्त हैं क्योंकि अन्यथा हम पिछले स्थिति में {{mvar|δ}} की लंबाई पर अपनी धारणा से हैं।) यह अधिकतम {{math|''m'' − 1}} बार हो सकता है।

इस स्थिति को संभालने के लिए, हम विभाजन {{math|''x''<sub>0</sub>, ..., ''x<sub>n</sub>''}} पर {{math|''y''<sub>''j'' + 1</sub>}} पर उप-विभाजित करके रीमैन योग और डार्बौक्स योग के बीच अंतर का अनुमान लगाएंगे। शब्द {{math|''f''(''t<sub>i</sub>'')(''x''<sub>''i'' + 1</sub> − ''x<sub>i</sub>'')}} रीमैन में योग दो शब्दों में विभाजित होता है:<math display="block">f\left(t_i\right)\left(x_{i+1}-x_i\right) = f\left(t_i\right)\left(x_{i+1}-y_{j+1}\right)+f\left(t_i\right)\left(y_{j+1}-x_i\right).</math>
मान लीजिए, सामान्यता के नुकसान के बिना, कि {{math|''t<sub>i</sub>'' ∈ [''y<sub>j</sub>'', ''y''<sub>''j'' + 1</sub>]}}. तब
<math display="block">m_j < f(t_i) < M_j,</math>
इसलिए यह शब्द {{mvar|y<sub>j</sub>}} के लिए डार्बौक्स योग में संबंधित शब्द से घिरा है। दूसरे टर्म को बाउंड करने के लिए, ध्यान दें
<math display="block">x_{i+1}-y_{j+1} < \delta < \frac{\varepsilon}{2r(m-1)},</math>
यह इस प्रकार है कि, कुछ के लिए (वास्तविक में कोई भी) {{math|''t''{{su|b=''i''|p=*}} ∈ [''y''<sub>''j'' + 1</sub>, ''x''<sub>''i'' + 1</sub>]}},
<math display="block">\left|f\left(t_i\right)-f\left(t_i^*\right)\right|\left(x_{i+1}-y_{j+1}\right) < \frac{\varepsilon}{2(m-1)}.</math>
चूंकि ऐसा अधिकतम {{math|''m'' − 1}} बार होता है, रीमैन योग और डार्बौक्स योग के बीच की दूरी अधिकतम {{math|''ε''/2}} होती है। इसलिए, रीमैन योग और {{mvar|s}} के बीच की दूरी अधिक से अधिक {{mvar|ε}} है।

== उदाहरण ==
मान लीजिये <math>f:[0,1]\to\R</math> ऐसा फलन है जो प्रत्येक बिंदु पर मान 1 लेता है। {{math|[0, 1]}} पर {{mvar|f}}  के किसी भी रीमैन योग का मान 1 होगा, इसलिए {{math|[0, 1]}} रीमैन पर {{mvar|f}}  का रीमैन इंटीग्रल 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}} का मान नहीं बदल सकते। लेकिन अगर हम विभाजन को प्रत्येक {{mvar|t<sub>i</sub>}} के चारों ओर छोटे-छोटे टुकड़ों में काट दें, तो हम {{mvar|t<sub>i</sub>}} के प्रभाव को कम कर सकते हैं। फिर, नए टैग्स को ध्यान से चुनकर, हम रीमैन योग का मान शून्य या के {{mvar|ε}} के अन्दर कर सकते हैं।

हमारा पहला कदम विभाजन को काटना है। वहाँ हैं {{mvar|t<sub>i</sub>}} के {{mvar|n}} हैं, और हम चाहते हैं कि उनका कुल प्रभाव {{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|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>}} सबइंटरवल के अनुरूप टैग होगा
<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|1 − ''ε''}} हो जाएगा। दूसरी विधि सदैव अपरिमेय बिंदु चुनना है, जिससे रीमैन योग जितना संभव हो उतना छोटा हो। यह रीमैन योग का मान अधिकतम {{mvar|ε}} बना देगा।

चूंकि हमने मनमाना विभाजन से प्रारंभ किया और शून्य या के रूप में निकट के रूप में समाप्त हो गया, यह कहना गलत है कि हम अंततः किसी संख्या {{mvar|s}} के पास फंस गए हैं, इसलिए यह फलन रीमैन पूर्णांक नहीं है। चूँकि, यह लेबेस्ग पूर्णांक है। लेबेस्ग अर्थ में इसका इंटीग्रल शून्य है, क्योंकि फलन [[लगभग हर जगह]] शून्य है। किन्तु यह ऐसा तथ्य है जो रीमैन इंटीग्रल की पहुंच से बढ़कर है।

और भी बुरे उदाहरण हैं। <math>I_{\Q}</math> रीमैन पूर्णांकीय फलन के समतुल्य (अर्थात्, लगभग हर जगह समान है) है, किन्तु ऐसे गैर-रीमैन पूर्णांकीय परिबद्ध फलन हैं जो किसी भी रीमैन पूर्णांकीय फलन के समतुल्य नहीं हैं। उदाहरण के लिए, मान लीजिये {{mvar|C}} स्मिथ-वोल्तेरा-कैंटर समुच्चय हो, और मान लीजिये {{math|''I<sub>C</sub>''}} को इसका सूचक फलन हो। क्योंकि {{mvar|C}} [[जॉर्डन माप]] नहीं है, {{math|''I<sub>C</sub>''}} रीमैन पूर्णांक नहीं है। इसके अतिरिक्त {{math|''I<sub>C</sub>''}} के समतुल्य कोई भी फ़ंक्शन {{mvar|g}} रीमैन पूर्णांक नहीं है: {{mvar|g}}, {{math|''I<sub>C</sub>''}}, की तरह, घने समुच्चय पर शून्य होना चाहिए, इसलिए पिछले उदाहरण में, {{mvar|g}} के किसी भी रीमैन योग में शोधन है जो किसी भी धनात्मक संख्या के लिए {{mvar|ε}} के अन्दर है। किन्तु यदि रीमैन का इंटीग्रल अंग {{mvar|g}} उपस्थित है, तो इसे {{math|''I<sub>C</sub>''}}, के लेबेस्ग इंटीग्रल के बराबर होना चाहिए, जो कि {{math|1/2}} है। इसलिए, जी रीमैन पूर्णांक नहीं है।

== समान अवधारणाएँ ==

रीमैन इंटीग्रल को डार्बौक्स इंटीग्रल के रूप में परिभाषित करना लोकप्रिय है। ऐसा इसलिए है क्योंकि डार्बौक्स इंटीग्रल तकनीकी रूप से सरल है और क्योंकि फलन रीमैन-इंटीग्रेबल है यदि और केवल यदि यह डार्बौक्स-इंटीग्रेबल है।

कुछ कलन पुस्तकें सामान्य टैग किए गए विभाजनों का उपयोग नहीं करती हैं, किन्तु स्वयं को विशिष्ट प्रकार के टैग किए गए विभाजनों तक सीमित रखती हैं। यदि विभाजन का प्रकार बहुत अधिक सीमित है, तो कुछ गैर-इंटीग्रेबल फलन इंटीग्रलीय प्रतीत हो सकते हैं।



लोकप्रिय प्रतिबंध बाएँ और दाएँ हाथ के रीमैन योगों का उपयोग है। बाएं हाथ के रीमैन योग में, {{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>}} बनाता है। अधिक औपचारिक भाषा में, सभी टैग किए गए विभाजनों के समुच्चय में सभी बाएं हाथ के रीमैन योगों का समुच्चय और सभी दाएं हाथ के रीमैन योगों का समुच्चय [[कोफिनल (गणित)]] है।

अन्य लोकप्रिय प्रतिबंध अंतराल के नियमित उपविभागों का उपयोग है। उदाहरण के लिए, द {{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>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>
यदि हम नियमित उपविभाजनों और बाएँ हाथ या दाएँ हाथ के रीमैन योग का उपयोग करते हैं, तो बाईं ओर के दो पद शून्य के बराबर हैं क्योंकि 0 और 1 को छोड़कर प्रत्येक समापन बिंदु अपरिमेय होगा लेकिन जैसा कि हमने देखा है कि दाईं ओर का शब्द 1 के बराबर होगा .

जैसा कि ऊपर परिभाषित किया गया है, रीमैन इंटीग्रल <math>I_{\Q}</math> एकीकृत करने से इनकार करके इस समस्या से बचा जाता है। लेबेस्ग इंटीग्रल को इस तरह परिभाषित किया गया है कि ये सभी इंटीग्रल 0 हैं।

== गुण ==

=== रैखिकता ===
रीमैन इंटीग्रल रैखिक परिवर्तन है; वह है, यदि {{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|[''a'', ''b'']}} रीमैन इंटीग्रेबल है यदि और केवल यदि यह लगभग हर जगह [[निरंतर कार्य|निरंतर फलन]] (लेबेस्ग्यू माप के अर्थ में इसकी असांतत्यता के वर्गीकरण का माप शून्य है) करता है। यह {{visible anchor|लेबेसेग-विटाली प्रमेय|लेबेस्ग इंटीग्रेबिलिटी स्थिति}} (रीमैन पूर्णांकीय फलनों के लक्षण वर्णन) है। यह 1907 में [[Giuseppe Vitali|ग्यूसेप विटाली]] और [[Henri 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"
!प्रमाण
|-
|The proof is easiest using the [[Darboux integral|डार्बौक्स integral]] definition of integrability (formally, the रीमैन condition for integrability) – a function is रीमैन 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}}.

If this set does not have zero [[Lebesgue measure|लेबेस्ग measure]], then by [[countable additivity]] of the measure there is at least one such {{mvar|n}} so that {{math|''X''<sub>1/''n''</sub>}} does not have a zero measure. Thus there is some positive number {{mvar|c}} such that every [[countable]] collection of open intervals [[cover (topology)|covering]] {{math|''X''<sub>1/''n''</sub>}} has a total length of at least {{mvar|c}}. In particular this is also true for every such finite collection of intervals. This remains true also for {{math|''X''<sub>1/''n''</sub>}} 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 {{math|[''a'', ''b'']}}]], consider the set of intervals whose interiors include points from {{math|''X''<sub>1/''n''</sub>}}. These interiors consist of a finite open cover of {{math|''X''<sub>1/''n''</sub>}}, possibly up to a finite number of points (which may fall on interval edges). Thus these intervals have a total length of at least {{mvar|c}}. Since in these points {{mvar|f}} has oscillation of at least {{math|1/''n''}}, the [[infimum and supremum]] of {{mvar|f}} in each of these intervals differ by at least {{math|1/''n''}}. Thus the upper and lower sums of {{mvar|f}} differ by at least {{math|''c''/''n''}}. Since this is true for every partition, {{mvar|f}} is not रीमैन integrable.

We now prove the converse direction using the sets {{math|''X''<sub>''ε''</sub>}} defined above.<ref>[http://unapologetic.wordpress.com/2009/12/09/jordan-content-integrability-condition/ Jordan Content Integrability Condition], John Armstrong, December 9, 2009, The Unapologetic Mathematician</ref> For every {{mvar|ε}}, {{math|''X''<sub>''ε''</sub>}} is [[compact space|compact]], as it is bounded (by {{mvar|a}} and {{mvar|b}}) and closed:

*For every series of points in {{math|''X''<sub>''ε''</sub>}} that is converging in {{math|[''a'', ''b'']}}, its limit is in {{math|''X''<sub>''ε''</sub>}} as well. This is because every neighborhood of the limit point is also a neighborhood of some point in {{math|''X''<sub>''ε''</sub>}}, and thus {{mvar|f}} has an oscillation of at least {{mvar|ε}} on it. Hence the limit point is in {{math|''X''<sub>''ε''</sub>}}.

Now, suppose that {{mvar|f}} is continuous [[almost everywhere]]. Then for every {{mvar|ε}}, {{math|''X''<sub>''ε''</sub>}} has zero [[Lebesgue measure|लेबेस्ग measure]]. Therefore, there is a countable collections of open intervals in {{math|[''a'', ''b'']}} which is an [[open cover]] of {{math|''X''<sub>''ε''</sub>}}, such that the sum over all their lengths is arbitrarily small. [[Compact space#Open cover definition|Since {{math|''X''<sub>''ε''</sub>}} is compact]], there is a finite [[subcover]] – a finite collections of open intervals in {{math|[''a'', ''b'']}} with arbitrarily small total length that together contain all points in {{math|''X''<sub>''ε''</sub>}}. We denote these intervals {{math|{''I''(''ε'')<sub>''i''</sub>}}}, for {{math|1 ≤ ''i'' ≤ ''k''}}, for some natural {{mvar|k}}.

The [[complement (set theory)|complement]] of the union of these intervals is itself a union of a finite number of intervals, which we denote {{math|{''J''(''ε'')<sub>''i''</sub>}}} (for {{math|1 ≤ ''i'' ≤ ''k'' − 1}} and possibly for {{math|1=''i'' = ''k'', ''k'' + 1}} as well).

We now show that for every {{math|''ε'' > 0}}, there are [[Darboux integral#Darboux sums|upper and lower sums]] whose difference is less than {{mvar|ε}}, from which रीमैन integrability follows. To this end, we construct a [[partition of an interval|partition of {{math|[''a'', ''b'']}}]] as follows:

Denote {{math|1=''ε''<sub>1</sub> = ''ε'' / 2(''b'' − ''a'')}} and {{math|1=''ε''<sub>2</sub> = ''ε'' / 2(''M'' − ''m'')}}, where {{mvar|m}} and {{mvar|M}} are the [[infimum and supremum]] of {{mvar|f}} on {{math|[''a'', ''b'']}}. Since we may choose intervals {{math|{''I''(''ε''<sub>1</sub>)<sub>''i''</sub>}}} with arbitrarily small total length, we choose them to have total length smaller than {{math|''ε''<sub>2</sub>}}.

Each of the intervals {{math|{''J''(''ε''<sub>1</sub>)<sub>''i''</sub>}}} has an empty intersection with {{math|''X''<sub>''ε''<sub>1</sub></sub>}}, so each point in it has a neighborhood with oscillation smaller than {{math|''ε''<sub>1</sub>}}. 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 {{math|''J''(''ε''<sub>1</sub>)<sub>''i''</sub>}} (except for those that include an edge point, for which we only take their intersection with {{math|''J''(''ε''<sub>1</sub>)<sub>''i''</sub>)}}. We take the edge points of the subintervals for all {{math|''J''(''ε''<sub>1</sub>)<sub>''i''</sub> − ''s''}}, including the edge points of the intervals themselves, as our partition.

Thus the partition divides {{math|[''a'', ''b'']}} to two kinds of intervals:

*Intervals of the latter kind (themselves subintervals of some {{math|''J''(''ε''<sub>1</sub>)<sub>''i''</sub>}}). In each of these, {{mvar|f}} oscillates by less than {{math|''ε''<sub>1</sub>}}. Since the total length of these is not larger than {{math|''b'' − ''a''}}, they together contribute at most {{math|1=''ε''{{su|b=1|p=∗}}(''b'' − ''a'') = ''ε''/2}} to the difference between the upper and lower sums of the partition.
*The intervals {{math|{''I''(''ε'')<sub>''i''</sub>}}}. These have total length smaller than {{math|''ε''<sub>2</sub>}}, and {{mvar|f}} oscillates on them by no more than {{math|''M'' − ''m''}}. Thus together they contribute less than {{math|1=''ε''{{su|b=2|p=∗}}(''M'' − ''m'') = ''ε''/2}} to the difference between the upper and lower sums of the partition.

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'']}}) प्रत्येक बिंदु पर दाएं हाथ (या बाएं हाथ) की सीमा का अस्तित्व है।<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'']}} वास्तविक में, कुछ विच्छिन्नताओं की फलन की रीमैन इंटीग्रैबिलिटी पर बिल्कुल कोई भूमिका नहीं होती है - फलन के विच्छिन्नताएँ के वर्गीकरण का परिणाम है।

यदि {{math|''f''<sub>''n''</sub>}} सीमा {{mvar|f}} के साथ {{math|[''a'', ''b'']}} पर समान रूप से अभिसारी अनुक्रम है, तो सभी {{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>
चूँकि, [[लेबेस्ग मोनोटोन अभिसरण प्रमेय]] (मोनोटोन बिंदुवार सीमा पर) रीमैन इंटीग्रल के लिए नहीं है। इस प्रकार, रीमैन एकीकरण में, इंटीग्रल चिह्न के तहत सीमा लेना लेबेसेग एकीकरण की तुलना में तार्किक रूप से उचित ठहराना कहीं अधिक कठिन है।<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>


== सामान्यीकरण ==
यूक्लिडियन वेक्टर अंतरिक्ष में मूल्यों के साथ फलनों के लिए रीमैन इंटीग्रल का विस्तार करना आसान है <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_{-\infty}^\infty f(x)\,dx = \lim_{a \to -\infty \atop b \to \infty}\int_a^b f(x)\,dx.</math>
यह परिभाषा इसके साथ कुछ सूक्ष्मताएं रखती है, जैसे तथ्य यह है कि यह [[कॉची प्रिंसिपल वैल्यू|कॉची प्रिंसिपल मान]] की गणना करने के लिए सदैव समतुल्य नहीं है
<math display="block">\lim_{a\to\infty} \int_{-a}^a f(x)\,dx.</math>
उदाहरण के लिए, [[साइन समारोह|साइन फलन]]  {{math|''f''(''x'') {{=}} sgn(''x'')}} पर विचार करें जो {{math|''x'' {{=}} 0}} पर 0 है , {{math|''x'' > 0}} के लिए 1, और {{math|''x'' < 0}} के लिए −1 है। सममिति द्वारा,
<math display="block">\int_{-a}^a f(x)\,dx = 0</math>
सदैव, {{mvar|a}} का ध्यान दिये बिना. किन्तु वास्तविकिक रेखा को भरने के लिए एकीकरण के अंतराल के विस्तार के कई विधि हैं, और अन्य विधि अलग-अलग परिणाम उत्पन्न कर सकते हैं; दूसरे शब्दों में, बहुभिन्नरूपी सीमा सदैव उपस्थित नहीं होती है। हम गणना कर सकते हैं
<math display="block">\begin{align}
\int_{-a}^{2a} f(x)\,dx &= a, \\
\int_{-2a}^a f(x)\,dx &= -a.
\end{align}</math>
सामान्यतः, यह अनुचित रीमैन इंटीग्रल अपरिभाषित है। यहां तक कि अंतराल के लिए वास्तविकिक रेखा तक पहुंचने का विधि मानकीकृत करना भी काम नहीं करता है क्योंकि यह परेशान करने वाले प्रतिकूल परिणामों की ओर जाता है। यदि हम सहमत हैं (उदाहरण के लिए) कि अनुचित इंटीग्रल सदैव होना चाहिए
<math display="block">\lim_{a\to\infty} \int_{-a}^a f(x)\,dx,</math>
फिर अनुवाद का इंटीग्रल अंग {{math|''f''(''x'' − 1)}} -2 है, इसलिए यह परिभाषा बदलाव के तहत अपरिवर्तनीय नहीं है, बेहद अवांछनीय गुण है। वास्तविक में, न केवल इस फलन में अनुचित रीमैन इंटीग्रल नहीं है, इसका लेबेसेग इंटीग्रल भी अपरिभाषित है (यह बराबर {{math|∞ − ∞}} है).

दुर्भाग्य से, अनुचित रीमैन इंटीग्रल पर्याप्त शक्तिशाली नहीं है। सबसे गंभीर समस्या यह है कि फलनों की सीमा के साथ अनुचित रीमैन इंटीग्रल को कम्यूट करने के लिए कोई व्यापक रूप से लागू प्रमेय नहीं हैं। फूरियर श्रृंखला जैसे अनुप्रयोगों में, फलन के सन्निकटन के इंटीग्रल का उपयोग करके फलन के इंटीग्रल को अनुमानित करने में सक्षम होना महत्वपूर्ण है। उचित रीमैन इंटीग्रल के लिए, मानक प्रमेय कहता है कि यदि {{math|''f<sub>n</sub>''}} कार्यों का क्रम है जो कॉम्पैक्ट समुच्चय {{math|[''a'', ''b'']}} पर समान रूप से {{mvar|f}} में परिवर्तित होता है, तो
<math display="block">\lim_{n\to\infty} \int_a^b f_n(x)\,dx = \int_a^b f(x)\,dx.</math>
वास्तविकिक रेखा जैसे गैर-कॉम्पैक्ट अंतराल पर, यह गलत है। उदाहरण के लिए, {{math|[0, ''n'']}} पर {{math|''f<sub>n</sub>''(''x'')}} को {{math|''n''<sup>−1</sup>}} और कहीं और शून्य लें। सभी {{mvar|n}} के लिए हमारे पास है:
<math display="block">\int_{-\infty}^\infty f_n\,dx = 1.</math>
क्रम {{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>
यह दर्शाता है कि असीम अंतरालों पर इंटीग्रल के लिए, फलन का एकसमान अभिसरण इतना मजबूत नहीं है कि इंटीग्रल चिह्न के माध्यम से सीमा को पारित करने की अनुमति दे सके। यह रीमैन इंटीग्रल को अनुप्रयोगों में अव्यवहारिक (चाहे रीमैन इंटीग्रल दोनों पक्षों को सही मान प्रदान करता है) बनाता है, क्योंकि सीमा और रीमैन इंटीग्रल के आदान-प्रदान के लिए कोई अन्य सामान्य मानदंड नहीं है, और इस तरह की मानदंड के बिना उनके इंटीग्रैंड्स का अनुमान लगाकर इंटीग्रल्स को अनुमानित करना कठिन है।

लेबेस्ग इंटीग्रल अंग के लिए रीमैन इंटीग्रल अंग को छोड़ना उत्तम मार्ग है। लेबेस्ग इंटीग्रल की परिभाषा स्पष्ट रूप से रीमैन इंटीग्रल का सामान्यीकरण नहीं है, किन्तु यह सिद्ध करना कठिन नहीं है कि प्रत्येक रीमैन इंटीग्रल फलन लेबेस्ग-इंटीग्रलीय है और दो इंटीग्रल के मान सहमत होते हैं जब भी वे दोनों परिभाषित होते हैं। इसके अतिरिक्त, फलन {{mvar|f}} बंधे हुए अंतराल पर परिभाषित रीमैन-इंटीग्रेबल है यदि और केवल यदि यह घिरा हुआ है और बिंदुओं का समुच्चय जहां {{mvar|f}}  विच्छिन्न है लेबेस्गु का माप शून्य है।

इंटीग्रल जो वास्तविक में रीमैन इंटीग्रल का प्रत्यक्ष सामान्यीकरण है, हेनस्टॉक-कुर्जवील इंटीग्रल है।

रीमैन इंटीग्रल को सामान्य बनाने का अन्य विधि कारकों को बदलना है {{math|''x''<sub>''k'' + 1</sub> − ''x''<sub>''k''</sub>}} रीमैन योग की परिभाषा में कुछ और; मोटे तौर पर बोलना, यह एकीकरण के अंतराल को लंबाई की अलग धारणा देता है। यह रिमेंन-स्टील्टजेस इंटीग्रल द्वारा लिया गया दृष्टिकोण है।

[[बहुभिन्नरूपी कैलकुलस]] में, रीमैन फ़्रॉम फ़ंक्शंस के लिए इंटीग्रल करता है <math>\R^n\to\R</math> [[एकाधिक अभिन्न|एकाधिक इंटीग्रल]] हैं।

== एकीकरण के अन्य सिद्धांतों के साथ तुलना ==
रीमैन इंटीग्रल कई सैद्धांतिक उद्देश्यों के लिए अनुपयुक्त है। रीमैन एकीकरण में कुछ तकनीकी कमियों को रीमैन-स्टील्टजेस इंटीग्रल के साथ दूर किया जा सकता है, और अधिकांश लेबेसेग इंटीग्रल के साथ गायब हो जाते हैं, चूँकि बाद में अनुचित इंटीग्रल का संतोषजनक उपचार नहीं होता है। [[गेज अभिन्न|गेज इंटीग्रल]] लेबेस्ग इंटीग्रल का सामान्यीकरण है जो तुरंत रीमैन इंटीग्रल के निकट है।

ये अधिक सामान्य सिद्धांत अधिक दांतेदार या अत्यधिक दोलन वाले फलनों के एकीकरण की अनुमति देते हैं जिनके रीमैन इंटीग्रल उपस्थित नहीं हैं; किन्तु सिद्धांत वही मूल्य देते हैं जो रीमैन इंटीग्रल के अस्तित्व में होने पर होता है।

शैक्षिक समुच्चयिंग्स में, डार्बौक्स इंटीग्रल सरल परिभाषा प्रदान करता है जिसके साथ काम करना आसान होता है; इसका उपयोग रीमैन इंटीग्रल को पेश करने के लिए किया जा सकता है। डार्बौक्स इंटीग्रल को तब परिभाषित किया जाता है जब रीमैन इंटीग्रल होता है, और सदैव ही परिणाम देता है। इसके विपरीत, गेज इंटीग्रल रीमैन इंटीग्रल का सरल किन्तु अधिक शक्तिशाली सामान्यीकरण है और इसने कुछ शिक्षकों को इस बात की वकालत करने के लिए प्रेरित किया है कि इसे प्रारंभिक कैलकुलस पाठ्यक्रमों में रीमैन इंटीग्रल को बदलना चाहिए।<ref>{{cite web|title=कैलकुलस बुक्स के लेखकों के लिए एक खुला पत्र|url=https://math.vanderbilt.edu/schectex/ccc/gauge/letter/|access-date=27 February 2014}}</ref>


== यह भी देखें ==
* [[क्षेत्र]]
* [[ antiderivative ]]
* लेबेस्ग एकीकरण

==टिप्पणियाँ==
{{Reflist|30em}}


== संदर्भ ==
* 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}}.
* {{citation|first=Tom|last=Apostol|author-link=Tom Apostol|title=Mathematical Analysis|year=1974|publisher=Addison-Wesley}}


==बाहरी संबंध==
*{{Commons category inline}}
* {{springer|title=Riemann integral|id=p/r081950}}

{{integral}}
{{Bernhard Riemann}}

[[Category:Collapse templates]]
[[Category:Created On 24/03/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using sidebar with the child parameter]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:गणितीय एकीकरण की परिभाषाएँ]]
[[Category:बर्नहार्ड रीमैन]]