रीमैन इंटीग्रल

एक वक्र के अंतर्गत एक क्षेत्र के क्षेत्र के रूप में समाकल।

एक अंतराल के एक नियमित विभाजन पर रीमैन योग का एक क्रम। शीर्ष पर संख्या आयतों का कुल क्षेत्रफल है, जो फ़ंक्शन के अभिन्न अंग में परिवर्तित हो जाती है।

जैसा कि यहां दिखाया गया है, विभाजन को नियमित होने की आवश्यकता नहीं है। सन्निकटन तब तक काम करता है जब तक प्रत्येक उपखंड की चौड़ाई शून्य हो जाती है।

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

सिंहावलोकन

होने देना f अंतराल पर एक गैर-नकारात्मक वास्तविक संख्या-मूल्यवान फ़ंक्शन हो [a, b], और जाने S फ़ंक्शन के ग्राफ़ के अंतर्गत समतल का क्षेत्र हो f और अंतराल के ऊपर [a, b]. शीर्ष दाईं ओर आकृति देखें। इस क्षेत्र को सेट-बिल्डर नोटेशन के रूप में व्यक्त किया जा सकता है

$$S=\left\{(x,y)\,:\,a\leq x\leq b\,,\,0<y<f(x)\right\}.$$

हम के क्षेत्र को मापने में रुचि रखते हैं S. एक बार जब हम इसे माप लेते हैं, तो हम क्षेत्र को सामान्य तरीके से निरूपित करेंगे

$$\int _{a}^{b}f(x)\,dx.$$

रीमैन इंटीग्रल का मूल विचार क्षेत्र के लिए बहुत ही सरल सन्निकटन का उपयोग करना है S. बेहतर से बेहतर सन्निकटन लेकर हम कह सकते हैं कि सीमा में हमें ठीक-ठीक क्षेत्रफल प्राप्त होता है S वक्र के नीचे।

कब f(x) नकारात्मक मान ले सकता है, इंटीग्रल के ग्राफ के बीच हस्ताक्षरित क्षेत्र के बराबर है f और यह x-अक्ष: अर्थात ऊपर का क्षेत्र x-अक्ष ऋण के नीचे का क्षेत्र x-एक्सिस।

परिभाषा

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

एक अंतराल का एक विभाजन [a, b] फॉर्म की संख्याओं का एक परिमित अनुक्रम है

$$a=x_{0}<x_{1}<x_{2}<\dots <x_{i}<\dots <x_{n}=b$$

प्रत्येक [x_i, x_{i + 1}] को विभाजन का उप-अंतराल कहा जाता है। एक विभाजन के जाल या मानदंड को सबसे लंबे उप-अंतराल की लंबाई के रूप में परिभाषित किया गया है, अर्थात,

$$\max \left(x_{i+1}-x_{i}\right),\quad i\in [0,n-1].$$

एक टैग किया गया विभाजन P(x, t) एक अंतराल का [a, b] प्रत्येक उप-अंतराल के भीतर एक नमूना बिंदु के विकल्प के साथ एक विभाजन है: अर्थात, संख्याएँ t₀, ..., t_{n − 1} साथ t_i ∈ [x_i, x_{i + 1}] प्रत्येक के लिए i. टैग किए गए विभाजन का जाल सामान्य विभाजन के समान होता है।

मान लीजिए कि दो विभाजन P(x, t) और Q(y, s) अंतराल के दोनों विभाजन हैं [a, b]. हम कहते हैं Q(y, s) का शोधन है P(x, t) यदि प्रत्येक पूर्णांक के लिए i, साथ i ∈ [0, n], एक पूर्णांक मौजूद है r(i) ऐसा है कि x_i = y_r(i) और ऐसा है t_i = s_j कुछ के लिए j साथ j ∈ [r(i), r(i + 1)]. यही है, एक टैग किया गया विभाजन कुछ उप-अंतरालों को तोड़ता है और जहां आवश्यक हो, विभाजन की सटीकता को परिष्कृत करते हुए नमूना बिंदु जोड़ता है।

हम सभी टैग किए गए विभाजनों के सेट को यह कहकर निर्देशित सेट में बदल सकते हैं कि एक टैग किया गया विभाजन दूसरे से अधिक या उसके बराबर है यदि पूर्व उत्तरार्द्ध का परिशोधन है।

रीमैन राशि

होने देना f अंतराल पर परिभाषित एक वास्तविक-मूल्यवान कार्य हो [a, b]. रीमैन का योग f टैग किए गए विभाजन के संबंध में x₀, ..., x_n के साथ साथ t₀, ..., t_{n − 1} है

$$\sum _{i=0}^{n-1}f(t_{i})\left(x_{i+1}-x_{i}\right).$$

योग में प्रत्येक शब्द किसी दिए गए बिंदु पर फ़ंक्शन के मान और अंतराल की लंबाई का गुणनफल है। नतीजतन, प्रत्येक शब्द ऊंचाई के साथ आयत के (हस्ताक्षरित) क्षेत्र का प्रतिनिधित्व करता है f(t_i) और चौड़ाई x_{i + 1} − x_i. रीमैन योग सभी आयतों का (हस्ताक्षरित) क्षेत्र है।

बारीकी से संबंधित अवधारणाएँ निम्न और ऊपरी डार्बौक्स योग हैं। ये रीमैन सम्स के समान हैं, लेकिन टैग्स को निम्नतम और उच्चतम (क्रमशः) द्वारा प्रतिस्थापित किया जाता है f प्रत्येक उप-अंतराल पर:

$${\begin{aligned}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{aligned}}$$

अगर f निरंतर है, तो टैग न किए गए विभाजन के लिए निचले और ऊपरी Darboux योग उस विभाजन के रीमैन योग के बराबर होते हैं, जहां टैग का न्यूनतम या अधिकतम (क्रमशः) चयन किया जाता है f प्रत्येक उपअंतराल पर। (कब f एक सबइंटरवल पर असतत है, ऐसा कोई टैग नहीं हो सकता है जो उस सबइंटरवल पर इन्फिनिमम या सुप्रीमम को प्राप्त करता हो।) डार्बौक्स अभिन्न, जो रीमैन इंटीग्रल के समान है लेकिन डार्बौक्स रकम पर आधारित है, रीमैन इंटीग्रल के बराबर है।

रीमैन इंटीग्रल

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

<ब्लॉककोट>सभी के लिए ε > 0, वहां मौजूद δ > 0 जैसे कि किसी भी Partition_of_an_interval के लिए x₀, ..., x_n और t₀, ..., t_{n − 1} जिसकी जाली से कम है δ, अपने पास

$$\left|\left(\sum _{i=0}^{n-1}f(t_{i})(x_{i+1}-x_{i})\right)-s\right|<\varepsilon .$$

</ब्लॉककोट>

दुर्भाग्य से, इस परिभाषा का उपयोग करना बहुत कठिन है। यह रीमैन इंटीग्रल की एक समतुल्य परिभाषा विकसित करने में मदद करेगा, जिसके साथ काम करना आसान है। हम इस परिभाषा को अब तुल्यता के प्रमाण के साथ विकसित करते हैं। हमारी नई परिभाषा कहती है कि रीमैन का अभिन्न अंग f बराबर है s यदि निम्न स्थिति होती है:

<ब्लॉककोट>सभी के लिए ε > 0, एक टैग किया गया विभाजन मौजूद है y₀, ..., y_m और r₀, ..., r_{m − 1} जैसे कि किसी भी टैग किए गए विभाजन के लिए x₀, ..., x_n और t₀, ..., t_{n − 1} जो का शोधन है y₀, ..., y_m और r₀, ..., r_{m − 1}, अपने पास

$$\left|\left(\sum _{i=0}^{n-1}f(t_{i})(x_{i+1}-x_{i})\right)-s\right|<\varepsilon .$$

</ब्लॉककोट>

इन दोनों का अर्थ है कि अंततः, रीमैन का योग f के संबंध में कोई विभाजन के करीब फंस जाता है s. चूंकि यह सच है, चाहे हम कितनी भी मांग करें कि राशि फँसी हुई है, हम कहते हैं कि रीमैन राशियाँ अभिसरण करती हैं s. ये परिभाषाएँ वास्तव में एक अधिक सामान्य अवधारणा, एक जाल (गणित) का एक विशेष मामला हैं।

जैसा कि हमने पहले कहा, ये दो परिभाषाएँ समतुल्य हैं। दूसरे शब्दों में, s पहली परिभाषा में काम करता है अगर और केवल अगर s दूसरी परिभाषा में काम करता है। यह दिखाने के लिए कि पहली परिभाषा का तात्पर्य दूसरी से है, एक से शुरू करें ε, और एक चुनें δ जो शर्त को पूरा करता है। किसी भी टैग किए गए विभाजन को चुनें जिसका मेश इससे कम हो δ. इसका रीमैन योग भीतर है ε का s, और इस विभाजन के किसी भी परिशोधन में मेश से भी कम होगा δ, इसलिए शोधन का रीमैन योग भी भीतर होगा ε का s.

यह दिखाने के लिए कि दूसरी परिभाषा का तात्पर्य पहले से है, डार्बौक्स इंटीग्रल का उपयोग करना सबसे आसान है। सबसे पहले, एक दिखाता है कि दूसरी परिभाषा डार्बौक्स इंटीग्रल की परिभाषा के बराबर है; इसके लिए डार्बौक्स इंटीग्रल लेख देखें। अब हम दिखाएंगे कि एक डार्बौक्स इंटीग्रेबल फ़ंक्शन पहली परिभाषा को संतुष्ट करता है। हल करना ε, और एक विभाजन चुनें y₀, ..., y_m जैसे कि इस विभाजन के संबंध में निचले और ऊपरी डार्बौक्स योग भीतर हैं ε/2 मूल्य का s डार्बौक्स इंटीग्रल का। होने देना

$$r=2\sup _{x\in [a,b]}|f(x)|.$$

अगर r = 0, तब f शून्य फ़ंक्शन है, जो स्पष्ट रूप से डार्बौक्स और रीमैन दोनों अभिन्न शून्य के साथ पूर्णांक है। इसलिए, हम यह मानेंगे r > 0. अगर m > 1, फिर हम चुनते हैं δ ऐसा है कि

$$\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\}$$

अगर m = 1, फिर हम चुनते हैं δ एक से कम होना। एक टैग किया गया विभाजन चुनें x₀, ..., x_n और t₀, ..., t_{n − 1} से छोटे जाल के साथ δ. हमें यह दिखाना होगा कि रीमैन योग भीतर है ε का s.

इसे देखने के लिए, एक अंतराल चुनें [x_i, x_{i + 1}]. यदि यह अंतराल कुछ के भीतर समाहित है [y_j, y_{j + 1}], तब

$$m_{j}<f(t_{i})<M_{j}$$

कहाँ m_j और M_j क्रमशः, अनंत और च पर सर्वोच्च हैं [y_j, y_{j + 1}]. यदि सभी अंतरालों में यह संपत्ति होती है, तो यह उपपत्ति को समाप्त कर देगा, क्योंकि रीमैन योग में प्रत्येक पद डार्बौक्स योग में संबंधित पद से घिरा होगा, और हमने डार्बौक्स योग को निकट होने के लिए चुना s. यह तब की बात है जब m = 1, तो उस मामले में सबूत खत्म हो गया है।

इसलिए हम यह मान सकते हैं m > 1. इस मामले में, यह संभव है कि इनमें से एक [x_i, x_{i + 1}] किसी में निहित नहीं है [y_j, y_{j + 1}]. इसके बजाय, यह द्वारा निर्धारित दो अंतरालों में फैल सकता है y₀, ..., y_m. (यह तीन अंतरालों को पूरा नहीं कर सकता क्योंकि δ को किसी एक अंतराल की लंबाई से छोटा माना जाता है।) प्रतीकों में, ऐसा हो सकता है

$$y_{j}<x_{i}<y_{j+1}<x_{i+1}<y_{j+2}.$$

(हम मान सकते हैं कि सभी असमानताएं सख्त हैं क्योंकि अन्यथा हम पिछले मामले में लंबाई पर अपनी धारणा से हैं δ.) ऐसा ज्यादा से ज्यादा हो सकता है m − 1 बार।

इस मामले को संभालने के लिए, हम विभाजन को उप-विभाजित करके रीमैन योग और डार्बौक्स योग के बीच के अंतर का अनुमान लगाएंगे x₀, ..., x_n पर y_{j + 1}. शब्द f(t_i)(x_{i + 1} − x_i) रीमैन राशि में दो शब्दों में विभाजित होता है:

$$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).$$

मान लीजिए, सामान्यता के नुकसान के बिना, कि t_i ∈ [y_j, y_{j + 1}]. तब

$$m_{j}<f(t_{i})<M_{j},$$

इसलिए यह शब्द डार्बौक्स योग में इसी पद से घिरा है y_j. दूसरे टर्म को बाउंड करने के लिए, ध्यान दें

$$x_{i+1}-y_{j+1}<\delta <{\frac {\varepsilon }{2r(m-1)}},$$

यह इस प्रकार है कि, कुछ के लिए (वास्तव में कोई भी) t^*
_i ∈ [y_{j + 1}, x_{i + 1}],

$$\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)}}.$$

चूंकि ऐसा सबसे ज्यादा होता है m − 1 बार, रीमैन योग और डार्बौक्स योग के बीच की दूरी अधिकतम होती है ε/2. इसलिए, रीमैन योग और के बीच की दूरी s ज्यादा से ज्यादा हैε.

उदाहरण

होने देना $f:[0,1]\to \mathbb {R}$ वह कार्य हो जो प्रत्येक बिंदु पर मान 1 लेता है। का कोई रीमैन योग f पर [0, 1] का मान 1 होगा, इसलिए रीमैन का अभिन्न अंग है f पर [0, 1] 1 है।

होने देना $I_{\mathbb {Q} }:[0,1]\to \mathbb {R}$ में परिमेय संख्याओं का सूचक कार्य हो [0, 1]; वह है, $I_{\mathbb {Q} }$ परिमेय संख्याओं पर 1 और अपरिमेय संख्याओं पर 0 का मान लेता है। इस फ़ंक्शन में रीमैन इंटीग्रल नहीं है। इसे साबित करने के लिए, हम दिखाएंगे कि टैग किए गए विभाजन कैसे बनाए जाते हैं, जिनके रीमैन योग मनमाने ढंग से शून्य और एक दोनों के करीब हो जाते हैं।

शुरू करने के लिए, चलो x₀, ..., x_n और t₀, ..., t_{n − 1} एक टैग किया गया विभाजन हो (प्रत्येक t_i के बीच है x_i और x_{i + 1}). चुनना ε > 0. वह t_i को पहले ही चुना जा चुका है, और हम का मान नहीं बदल सकते f उन बिंदुओं पर। लेकिन अगर हम विभाजन को प्रत्येक के चारों ओर छोटे-छोटे टुकड़ों में काटते हैं t_i, हम के प्रभाव को कम कर सकते हैं t_i. फिर, नए टैग्स को ध्यान से चुनकर, हम रीमैन राशि के मूल्य को भीतर बना सकते हैं ε या तो शून्य या एक।

हमारा पहला कदम विभाजन को काटना है। वहाँ हैं n की t_i, और हम चाहते हैं कि उनका कुल प्रभाव इससे कम हो ε. यदि हम उनमें से प्रत्येक को लंबाई से कम के अंतराल तक सीमित रखते हैं ε/n, फिर प्रत्येक का योगदान t_i से रीमैन योग कम से कम होगा 0 · ε/n और अधिक से अधिक 1 · ε/n. इससे कुल योग कम से कम शून्य और अधिक से अधिक बनता है ε. तो चलो δ से कम धनात्मक संख्या हो ε/n. अगर ऐसा होता है कि दो t_i भीतर हैं δ एक दूसरे का, चुनें δ छोटा। अगर ऐसा होता है कि कुछ t_i भीतर है δ का कुछ x_j, और t_i के बराबर नहीं है x_j, चुनना δ छोटा। चूंकि बहुत सारे हैं t_i और x_j, हम हमेशा चुन सकते हैं δ पर्याप्त रूप से छोटा।

अब हम प्रत्येक के लिए विभाजन में दो कट जोड़ते हैं t_i. कटौती में से एक पर होगा t_i − δ/2, और दूसरा पर होगा t_i + δ/2. यदि इनमें से कोई एक अंतराल [0, 1] छोड़ता है, तो हम इसे छोड़ देते हैं। t_i सबइंटरवल के अनुरूप टैग होगा

$$\left[t_{i}-{\frac {\delta }{2}},t_{i}+{\frac {\delta }{2}}\right].$$

अगर t_i इनमें से किसी एक के ठीक ऊपर है x_j, तो हम करते हैं t_i दोनों अंतरालों के लिए टैग बनें:

$$\left[t_{i}-{\frac {\delta }{2}},x_{j}\right],\quad {\text{and}}\quad \left[x_{j},t_{i}+{\frac {\delta }{2}}\right].$$

हमें अभी भी अन्य उपअंतरालों के लिए टैग चुनना है। हम उन्हें दो अलग-अलग तरीकों से चुनेंगे। पहला तरीका हमेशा एक परिमेय बिंदु चुनना है, ताकि रीमैन का योग जितना संभव हो उतना बड़ा हो। यह कम से कम रीमैन योग का मूल्य बना देगा 1 − ε. दूसरा तरीका हमेशा एक अपरिमेय बिंदु चुनना है, ताकि रीमैन योग जितना संभव हो उतना छोटा हो। यह रीमैन योग का मूल्य अधिक से अधिक बना देगा ε.

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

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

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

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

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

एक लोकप्रिय प्रतिबंध बाएँ और दाएँ हाथ के रीमैन योगों का उपयोग है। बाएं हाथ के रीमैन योग में, t_i = x_i सभी के लिए i, और दाहिनी ओर रीमैन राशि में, t_i = x_{i + 1} सभी के लिए i. अकेले यह प्रतिबंध कोई समस्या नहीं लाता है: हम किसी भी विभाजन को इस तरह से परिशोधित कर सकते हैं जो इसे प्रत्येक पर उप-विभाजित करके बाएं हाथ या दाएं हाथ का योग बनाता है। t_i. अधिक औपचारिक भाषा में, सभी टैग किए गए विभाजनों के सेट में सभी बाएं हाथ के रीमैन योगों का सेट और सभी दाएं हाथ के रीमैन योगों का सेट कोफिनल (गणित) है।

एक अन्य लोकप्रिय प्रतिबंध एक अंतराल के नियमित उपविभागों का उपयोग है। उदाहरण के लिए, द nवें नियमित उपखंड [0, 1] अंतराल के होते हैं

$$\left[0,{\frac {1}{n}}\right],\left[{\frac {1}{n}},{\frac {2}{n}}\right],\ldots ,\left[{\frac {n-1}{n}},1\right].$$

दोबारा, अकेले यह प्रतिबंध कोई समस्या नहीं लगाता है, लेकिन इस तथ्य को देखने के लिए आवश्यक तर्क बाएं हाथ और दाएं हाथ के रीमैन रकम के मामले में अधिक कठिन है।

हालांकि, इन प्रतिबंधों का संयोजन, ताकि कोई नियमित रूप से विभाजित अंतराल पर केवल बाएं हाथ या दाएं हाथ के रीमैन रकम का उपयोग कर सके, खतरनाक है। यदि किसी फलन को पहले से ही रीमैन पूर्णांक के रूप में जाना जाता है, तो यह तकनीक समाकलन का सही मान देगी। लेकिन इन शर्तों के तहत सूचक कार्य करता है $I_{\mathbb {Q} }$ पर अभिन्न प्रतीत होगा [0, 1] एक के बराबर इंटीग्रल के साथ: हर सबइंटरवल का हर समापन बिंदु एक परिमेय संख्या होगी, इसलिए फ़ंक्शन का हमेशा परिमेय संख्याओं पर मूल्यांकन किया जाएगा, और इसलिए यह हमेशा एक के बराबर दिखाई देगा। इस परिभाषा के साथ समस्या तब स्पष्ट हो जाती है जब हम अभिन्न को दो भागों में विभाजित करने का प्रयास करते हैं। निम्नलिखित समीकरण धारण करना चाहिए:

$$\int _{0}^{{\sqrt {2}}-1}I_{\mathbb {Q} }(x)\,dx+\int _{{\sqrt {2}}-1}^{1}I_{\mathbb {Q} }(x)\,dx=\int _{0}^{1}I_{\mathbb {Q} }(x)\,dx.$$

यदि हम नियमित उपविभाजनों और बाएँ हाथ या दाएँ हाथ के रीमैन योग का उपयोग करते हैं, तो बाईं ओर के दो पद शून्य के बराबर हैं, क्योंकि 0 और 1 को छोड़कर प्रत्येक समापन बिंदु अपरिमेय होगा, लेकिन जैसा कि हमने दाईं ओर का शब्द देखा है बराबर 1.

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

गुण

रैखिकता

रीमैन इंटीग्रल एक रैखिक परिवर्तन है; वह है, अगर f और g रीमैन-इंटीग्रेबल ऑन हैं [a, b] और α और β तब स्थिरांक हैं

$$\int _{a}^{b}(\alpha f(x)+\beta g(x))\,dx=\alpha \int _{a}^{b}f(x)\,dx+\beta \int _{a}^{b}g(x)\,dx.$$

क्योंकि किसी फ़ंक्शन का रीमैन इंटीग्रल एक संख्या है, यह रीमैन इंटीग्रल को रीमैन-इंटीग्रेबल फ़ंक्शंस के सदिश स्थल पर एक रैखिक रूप बनाता है।

अखंडता

कॉम्पैक्ट जगह पर एक परिबद्ध समारोह [a, b] रीमैन इंटीग्रेबल है अगर और केवल अगर यह लगभग हर जगह निरंतर कार्य करता है (लेबेस्ग्यू माप के अर्थ में इसकी असांतत्यता के वर्गीकरण का माप शून्य है)। यह हैLebesgue-Vitali theorem (रीमैन पूर्णांकीय कार्यों के लक्षण वर्णन)। यह 1907 में Giuseppe Vitali और Henri Lebesgue द्वारा स्वतंत्र रूप से सिद्ध किया गया है, और माप शून्य की धारणा का उपयोग करता है, लेकिन न तो Lebesgue के सामान्य माप या अभिन्न का उपयोग करता है।

अभिन्नता की स्थिति को विभिन्न तरीकों से सिद्ध किया जा सकता है, जिनमें से एक नीचे स्केच किया गया है।

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: 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. For every ε, Xε is compact, as it is bounded (by a and b) and closed: For every series of points in Xε that is converging in [a, b], its limit is in Xε as well. This is because every neighborhood of the limit point is also a neighborhood of some point in Xε, and thus f has an oscillation of at least ε on it. Hence the limit point is in Xε. 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: Intervals of the latter kind (themselves subintervals of some J(ε1)i). In each of these, f oscillates by less than ε1. Since the total length of these is not larger than b − a, they together contribute at most ε∗ 1(b − a) = ε/2 to the difference between the upper and lower sums of the partition. The intervals {I(ε)i}. These have total length smaller than ε2, and f oscillates on them by no more than M − m. Thus together they contribute less than ε∗ 2(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 ε, as required.

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

यदि वास्तविक-मूल्यवान फ़ंक्शन अंतराल पर मोनोटोन समारोह है [a, b] यह रीमैन इंटेग्रेबल है, क्योंकि इसकी अनिरंतरता का सेट सबसे अधिक गणना योग्य है, और इसलिए लेबेस्ग का माप शून्य है। यदि एक वास्तविक-मूल्यवान फ़ंक्शन on [a, b] रीमैन इंटीग्रेबल है, यह लेबेसेग इंटीग्रल है। अर्थात्, लेबेसेग-अभिन्नता की तुलना में रीमैन-इंटीग्रेबिलिटी एक मजबूत (अर्थात् संतुष्ट करने के लिए अधिक कठिन) स्थिति है। बातचीत पकड़ में नहीं आती; सभी Lebesgue-integrable कार्य रीमैन पूर्णांक नहीं हैं।

लेबेस्ग्यू-विटाली प्रमेय का अर्थ यह नहीं है कि सभी प्रकार की असंततताओं का बाधा पर समान भार है कि एक वास्तविक-मूल्यवान परिबद्ध फलन रीमैन पर समाकलित हो सकता है। [a, b]. वास्तव में, कुछ विच्छिन्नताओं की फ़ंक्शन की रीमैन इंटीग्रैबिलिटी पर बिल्कुल कोई भूमिका नहीं होती है - एक फ़ंक्शन के डिसकंटीन्युटीज़ के डिसकंटीन्युटीज़ के वर्गीकरण का एक परिणाम है।

अगर f_n एक समान अभिसरण अनुक्रम है [a, b] सीमा के साथ f, फिर रीमैन सभी की पूर्णांकता f_n का तात्पर्य रीमैन की पूर्णांकता से है f, और

$$\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.$$

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

सामान्यीकरण

यूक्लिडियन वेक्टर अंतरिक्ष में मूल्यों के साथ कार्यों के लिए रीमैन इंटीग्रल का विस्तार करना आसान है $\mathbb {R} ^{n}$ किसी के लिए n. अभिन्न को घटक-वार परिभाषित किया गया है; दूसरे शब्दों में, अगर f = (f₁, ..., f_n) तब

$$\int \mathbf {f} =\left(\int f_{1},\,\dots ,\int f_{n}\right).$$

विशेष रूप से, चूंकि सम्मिश्र संख्याएं एक वास्तविक सदिश स्थान हैं, यह जटिल मूल्यवान कार्यों के एकीकरण की अनुमति देता है।

रीमैन इंटीग्रल को केवल सीमित अंतरालों पर परिभाषित किया गया है, और यह असीमित अंतरालों तक अच्छी तरह से विस्तारित नहीं होता है। सबसे सरल संभव विस्तार इस तरह के एक अभिन्न अंग को एक सीमा के रूप में परिभाषित करना है, दूसरे शब्दों में, अनुचित अभिन्न के रूप में:

$$\int _{-\infty }^{\infty }f(x)\,dx=\lim _{a\to -\infty \atop b\to \infty }\int _{a}^{b}f(x)\,dx.$$

यह परिभाषा इसके साथ कुछ सूक्ष्मताएं रखती है, जैसे तथ्य यह है कि यह कॉची प्रिंसिपल वैल्यू की गणना करने के लिए हमेशा समतुल्य नहीं है

$$\lim _{a\to \infty }\int _{-a}^{a}f(x)\,dx.$$

उदाहरण के लिए, साइन समारोह पर विचार करें f(x) = sgn(x) जो 0 पर है x = 0, 1 के लिए x > 0, और -1 के लिए x < 0. समरूपता से,

$$\int _{-a}^{a}f(x)\,dx=0$$

हमेशा, परवाह किए बिना a. लेकिन वास्तविक रेखा को भरने के लिए एकीकरण के अंतराल के विस्तार के कई तरीके हैं, और अन्य तरीके अलग-अलग परिणाम उत्पन्न कर सकते हैं; दूसरे शब्दों में, बहुभिन्नरूपी सीमा हमेशा मौजूद नहीं होती है। हम गणना कर सकते हैं

$${\begin{aligned}\int _{-a}^{2a}f(x)\,dx&=a,\\\int _{-2a}^{a}f(x)\,dx&=-a.\end{aligned}}$$

सामान्य तौर पर, यह अनुचित रीमैन इंटीग्रल अपरिभाषित है। यहां तक ​​कि अंतराल के लिए वास्तविक रेखा तक पहुंचने का एक तरीका मानकीकृत करना भी काम नहीं करता है क्योंकि यह परेशान करने वाले प्रतिकूल परिणामों की ओर जाता है। अगर हम सहमत हैं (उदाहरण के लिए) कि अनुचित अभिन्न हमेशा होना चाहिए

$$\lim _{a\to \infty }\int _{-a}^{a}f(x)\,dx,$$

फिर अनुवाद का अभिन्न अंग f(x − 1) -2 है, इसलिए यह परिभाषा बदलाव के तहत अपरिवर्तनीय नहीं है, एक बेहद अवांछनीय संपत्ति है। वास्तव में, न केवल इस फ़ंक्शन में एक अनुचित रीमैन इंटीग्रल नहीं है, इसका लेबेसेग इंटीग्रल भी अपरिभाषित है (यह बराबर है) ∞ − ∞).

दुर्भाग्य से, अनुचित रीमैन इंटीग्रल पर्याप्त शक्तिशाली नहीं है। सबसे गंभीर समस्या यह है कि कार्यों की सीमा के साथ अनुचित रीमैन इंटीग्रल को कम्यूट करने के लिए कोई व्यापक रूप से लागू प्रमेय नहीं हैं। फूरियर श्रृंखला जैसे अनुप्रयोगों में, फ़ंक्शन के सन्निकटन के इंटीग्रल का उपयोग करके फ़ंक्शन के इंटीग्रल को अनुमानित करने में सक्षम होना महत्वपूर्ण है। उचित रीमैन इंटीग्रल के लिए, एक मानक प्रमेय बताता है कि यदि f_n कार्यों का एक क्रम है जो समान रूप से अभिसरण करता है f कॉम्पैक्ट सेट पर [a, b], तब

$$\lim _{n\to \infty }\int _{a}^{b}f_{n}(x)\,dx=\int _{a}^{b}f(x)\,dx.$$

वास्तविक रेखा जैसे गैर-कॉम्पैक्ट अंतराल पर, यह गलत है। उदाहरण के लिए, ले लो f_n(x) होना n⁻¹ पर [0, n] और शून्य कहीं और। सभी के लिए n अपने पास:

$$\int _{-\infty }^{\infty }f_{n}\,dx=1.$$

क्रम (f_n) समान रूप से शून्य फ़ंक्शन में परिवर्तित हो जाता है, और स्पष्ट रूप से शून्य फ़ंक्शन का अभिन्न अंग शून्य होता है। फलस्वरूप,

$$\int _{-\infty }^{\infty }f\,dx\neq \lim _{n\to \infty }\int _{-\infty }^{\infty }f_{n}\,dx.$$

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

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

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

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

बहुभिन्नरूपी कैलकुलस में, रीमैन फ़्रॉम फ़ंक्शंस के लिए इंटीग्रल करता है $\mathbb {R} ^{n}\to \mathbb {R}$ एकाधिक अभिन्न हैं।

एकीकरण के अन्य सिद्धांतों के साथ तुलना

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

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

यह भी देखें

• क्षेत्र
• antiderivative
• लेबेस्ग एकीकरण

संदर्भ

• 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]