लेब्सेग एकीकरण

सकारात्मक फलन के अभिन्न अंग को वक्र के नीचे के क्षेत्र के रूप में व्याख्या किया जा सकता है।

गणित में, एकल चर के गैर-ऋणात्मक फलन (गणित) के अभिन्न अंग को, सबसे सरल स्थितियों में, उस फलन के ग्राफ़ और फलन के बीच के क्षेत्र के रूप में माना जा सकता है। x-अक्ष। लेबेस्ग इंटीग्रल, जिसका नाम फ्रांस के गणितज्ञ हेनरी लेबेस्गुए के नाम पर रखा गया है, इंटीग्रल को फलन के बड़े वर्ग तक विस्तारित करता है। यह फलनों के कार्यक्षेत्र का भी विस्तार करता है जिस पर इन फलन को परिभाषित किया जा सकता है।

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

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

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

परिचय

धनात्मक फलन का अभिन्न अंग f सीमाओं के बीच a और b की व्याख्या ग्राफ़ के अंतर्गत आने वाले क्षेत्र के रूप में की जा सकती है f. यह बहुपद जैसे फलनों के लिए सीधा है, लेकिन अधिक अन्यस्थानीय फलनों के लिए इसका क्या अर्थ है ? सामान्यतः, किस वर्ग के फलनों के लिए वक्र के नीचे का क्षेत्र मायने रखता है? इस प्रश्न का उत्तर बहुत सैद्धांतिक और व्यावहारिक महत्व रखता है।

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

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

जबकि रीमैन इंटीग्रल एक वक्र के नीचे के क्षेत्र को ऊर्ध्वाधर आयतों से बना मानता है, लेबेस्ग्यू परिभाषा क्षैतिज स्लैब पर विचार करती है जो महत्वपूर्ण नहीं। एकमात्र आयताकार हों, और इसलिए यह अधिक लचीला है। इस कारण से, लेबेस्ग्यू परिभाषा फलनों के व्यापक वर्ग के लिए अभिन्नों की गणना करना संभव बनाती है। उदाहरण के लिए, डिरिचलेट फलन, जो 0 है जहां इसका तर्क अपरिमेय संख्या है और अन्यथा 1, में एक लेबेस्ग इंटीग्रल है, लेकिन इसमें रीमैन इंटीग्रल नहीं है। इसके अतिरिक्त, इस फलन का लेबेस्ग इंटीग्रल शून्य है, जो इस अंतर्ज्ञान से सहमत है कि इकाई अंतराल से यादृच्छिक रूप से समान रूप से वास्तविक संख्या चुनते समय, तर्कसंगत संख्या चुनने की संभावना शून्य होनी चाहिए।

लेबेस्ग्यू ने पॉल मोंटेल को लिखे पत्र में एकीकरण के प्रति अपने दृष्टिकोण का सारांश दिया:

मुझे एक निश्चित राशि का भुगतान करना होगा, जो मैंने अपनी जेब में एकत्र कर लिया है। मैं अपनी जेब से बिल और सिक्के निकालता हूं और उन्हें ऋणदाता को उसी क्रम में देता हूं जिस क्रम में मैं उन्हें पाता हूं जब तक कि मैं कुल राशि तक नहीं पहुंच जाता। यह रीमैन इंटीग्रल है। लेकिन मैं अलग ढंग से आगे बढ़ सकता हूं. अपनी जेब से सारा पैसा निकाल लेने के बाद मैं समान मूल्यों के अनुसार बिल और सिक्कों का ऑर्डर देता हूं और फिर मैं लेनदार को एक के बाद एक कई ढेर का भुगतान करता हूं। यह मेरा अभिन्न अंग है.

— Source: (Siegmund-Schultze 2008)

अंतर्दृष्टि यह है कि अभिन्न के मूल्य को संरक्षित करते हुए, किसी फलन के मूल्यों को स्वतंत्र रूप से पुनर्व्यवस्थित करने में सक्षम होना चाहिए। पुनर्व्यवस्था की यह प्रक्रिया बहुत ही पैथोलॉजिकल फ़ंक्शन को ऐसे फ़ंक्शन में परिवर्तित कर सकती है जो एकीकरण के दृष्टिकोण से "अच्छा" है, और इस प्रकार ऐसे पैथोलॉजिकल फलनों को एकीकृत किया जा सकता है।

सहजज्ञ निर्वचन

समुच्चय के साथ एक मापने योग्य फलन दिखाया गया है $\{x:f(x)>t\}$ (एक्स-अक्ष पर). लेबेस्ग इंटीग्रल को स्लाइस की चौड़ाई मापने के लिए 1-आयामी लेबेस्ग माप का उपयोग करके, y-अक्ष के साथ स्लाइस करके प्राप्त किया जाता है।

फोलैंड (1984) ने रीमैन और लेबेस्ग दृष्टिकोण के बीच अंतर को इस प्रकार सारांशित किया है: रीमैन इंटीग्रल की गणना करने के लिए f, एक कार्यक्षेत्र का विभाजन करता है [a, b] उपअंतरालों में, जबकि लेबेस्ग इंटीग्रल में, वास्तव में की सीमा को विभाजित किया जाता है f .

रीमैन इंटीग्रल के लिए, कार्यक्षेत्र को अंतरालों में विभाजित किया गया है, और ग्राफ़ की ऊंचाई को पूरा करने के लिए बार का निर्माण किया गया है। इन पट्टियों के क्षेत्रों को एक साथ जोड़ा जाता है, और यह प्रपत्र के क्षेत्रों के योग द्वारा, अभिन्न का अनुमान लगाता है $f(x)dx$ कहाँ $f(x)$ एक आयत की ऊंचाई है और $dx$ इसकी चौड़ाई है.

लेबेस्ग इंटीग्रल के लिए, रेंज को अंतरालों में विभाजित किया गया है, और इसलिए ग्राफ़ के नीचे के क्षेत्र को क्षैतिज स्लैब में विभाजित किया गया है (जो समुच्चय से जुड़े नहीं हो सकते हैं)। ऊँचाई dy के f के ग्राफ के नीचे एक लघु क्षैतिज स्लैब का क्षेत्रफल, स्लैब की चौड़ाई गुणा dy के माप के समकक्ष है:

$\mu \left(\{x\mid f(x)>y\}\right)\,dy.$

इन क्षैतिज स्लैबों के क्षेत्रों को जोड़कर लेबेस्ग इंटीग्रल को अनुचित रीमैन इंटीग्रल के माध्यम से जोड़ा जा सकता है।

सरल फलन

रीमैनियन (शीर्ष) बनाम लेब्सग्यू (नीचे) सर्बिया (ग्रीष्म-पतन 2021) से सुचारू सीओवीआईडी ​​​​-19 दैनिक स्थितियों डेटा का एकीकरण।

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

रीमैन-डारबौक्स दृष्टिकोण

कार्यक्षेत्र (समय अवधि) को अंतरालों में विभाजित करें (आठ, दाईं ओर के उदाहरण में) और ग्राफ़ से मिलने वाली ऊंचाइयों के साथ बार का निर्माण करें। संचयी गणना सभी बारों के योग से, अंतराल की चौड़ाई (दिनों में समय) और बार की ऊंचाई (प्रति दिन स्थितियों) के उत्पाद द्वारा पाई जाती है।

लेबेस्ग दृष्टिकोण

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

माप सिद्धांत

Further information: माप (गणित)

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

रीमैन इंटीग्रल लंबाई की धारणा का स्पष्ट रूप से उपयोग करता है। दरअसल, रीमैन इंटीग्रल के लिए गणना का तत्व आयत है [a, b] × [c, d], जिसका क्षेत्रफल आंका गया है (b − a)(d − c). मात्रा b − a आयत के आधार की लंबाई है और d − c आयत की ऊंचाई है. रीमैन वक्र के नीचे के क्षेत्र का अनुमान लगाने के लिए केवल समतल आयतों का उपयोग कर सकता था, क्योंकि अधिक सामान्य समुच्चय को मापने के लिए कोई पर्याप्त सिद्धांत नहीं था।

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

मापने योग्य फलन

हम माप समिष्ट से प्रारंभ करते हैं (E, X, μ) कहाँ E एक समुच्चय (गणित) है, X के उपसमुच्चय का सिग्मा-बीजगणित|σ-बीजगणित है E, और μ एक (गैर-हस्ताक्षरित माप) माप (गणित) है E के समुच्चय पर परिभाषित किया गया है X.

उदाहरण के लिए, E यूक्लिडियन समिष्ट हो सकता है|यूक्लिडियन n-अंतरिक्ष Rⁿ या कुछ लेबेस्ग इसका उपसमुच्चय मापते हैं, X सभी लेबेस्ग मापीय उपसमुच्चय का σ-बीजगणित है E, और μ लेब्सेग माप है। संभाव्यता के गणितीय सिद्धांत में, हम अपने अध्ययन को संभाव्यता माप तक सीमित रखते हैंμ, जो तुष्ट करता है μ(E) = 1.

लेबेस्ग्यू का सिद्धांत फलनों के एक वर्ग के लिए अभिन्नों को परिभाषित करता है जिन्हें मापीय फलन कहा जाता है। एक वास्तविक-मूल्यवान फलन f पर E यदि फॉर्म के प्रत्येक अंतराल की पूर्व-छवि मापी जा सकती है (t, ∞) में है X:

$\{x\,\mid \,f(x)>t\}\in X\quad \forall t\in \mathbb {R} .$

हम दिखा सकते हैं कि यह आवश्यकता के समकक्ष है कि R के किसी भी बोरेल बीजगणित उपसमुच्चय की पूर्व-छवि X में हो। मापने योग्य फलनों का समुच्चय बीजगणितीय संचालन के अनुसार अवस्र्द्ध है, लेकिन अधिक महत्वपूर्ण बात यह है कि यह विभिन्न प्रकार की सीमा श्रेष्ठ और सीमा निम्न के अनुसार संवृत है | बिंदुवार अनुक्रमिक सीमाएं:

$\sup _{k\in \mathbb {N} }f_{k},\quad \liminf _{k\in \mathbb {N} }f_{k},\quad \limsup _{k\in \mathbb {N} }f_{k}$

मूल अनुक्रम होने पर मापे जा सकते हैं (f_k), कहाँ k ∈ N, मापने योग्य फलनों से युक्त है।

मापने योग्य वास्तविक-मूल्यवान फलनों के लिए एक अभिन्न अंग को परिभाषित करने के लिए कई दृष्टिकोण हैं f पर परिभाषित किया गया E, और ऐसे अभिन्न को दर्शाने के लिए कई नोटेशन का उपयोग किया जाता है।

$\int _{E}f\,\mathrm {d} \mu =\int _{E}f(x)\,\mathrm {d} \mu (x)=\int _{E}f(x)\,\mu (\mathrm {d} x).$

क्रम के वितरण के साथ उपायों के वितरण_(गणित) में पहचान के बाद 0, या रेडॉन माप के साथ, कोई दोहरी प्रणाली नोटेशन का भी उपयोग कर सकता है और इसके संबंध में अभिन्न अंग लिख सकता है μ प्रपत्र में

$\langle \mu ,f\rangle .$

परिभाषा

लेबेस्ग इंटीग्रल के सिद्धांत के लिए इन समुच्चय पर मापने योग्य समुच्चय और मापों के सिद्धांत के साथ-साथ इन फलनों पर मापने योग्य फलनों और इंटीग्रल्स के सिद्धांत की आवश्यकता होती है।

सरल फलनों के माध्यम से

एक साधारण फलन द्वारा किसी फलन का अनुमान लगाना।

लेबेस्ग इंटीग्रल के निर्माण का तरीका तथाकथित सरल फलनों का उपयोग करना है: संकेतक फलनों के परिमित, यथार्थ रैखिक संयोजन। सरल फलन जो सीधे किसी दिए गए फलन के नीचे स्थित होते हैं f की सीमा को विभाजित करके बनाया जा सकता है f परतों की एक परिमित संख्या। के ग्राफ का प्रतिच्छेदन f एक परत के साथ के क्षेत्र में अंतराल के समुच्चय की पहचान करता है f, जिसे एक साथ मिलाकर, साधारण फलन के अनुसार, उस परत की निचली सीमा की पूर्वछवि के रूप में परिभाषित किया गया है। इस प्रकार, की सीमा का विभाजन f का तात्पर्य इसके कार्यक्षेत्र के विभाजन से है। साधारण फलन का अभिन्न अंग, कार्यक्षेत्र के इन (जरूरी नहीं कि जुड़े हुए) उपसमुच्चय पर, सरल फलन के अनुसार उपसमुच्चय और उसकी छवि के माप के उत्पाद (संबंधित परत की निचली सीमा) को जोड़कर पाया जाता है; सहज रूप से, यह उत्पाद समान ऊँचाई की सभी पट्टियों के क्षेत्रफलों का योग है। गैर-ऋणात्मक सामान्य मापनीय फलन के अभिन्न अंग को तब सरल फलनों द्वारा सन्निकटन के उचित सर्वोच्च के रूप में परिभाषित किया जाता है, और (जरूरी नहीं कि सकारात्मक) मापने योग्य फलन का अभिन्न अंग गैर-ऋणात्मक मापनीय फलनों के दो अभिन्नों का अंतर होता है।

संकेतक फलन

सूचक फलन के अभिन्न अंग के लिए एक मान निर्दिष्ट करना 1_S मापने योग्य समुच्चय का S दिए गए माप_(गणित) μ के अनुरूप, एकमात्र उचित विकल्प समुच्चय करना है:

$\int 1_{S}\,\mathrm {d} \mu =\mu (S).$

ध्यान दें कि परिणाम समकक्ष हो सकता है +∞, जब तक μ एक सीमित माप है.

सरल फलन

सूचक फलनों का एक सीमित रैखिक संयोजन

$\sum _{k}a_{k}1_{S_{k}}$

जहां गुणांक a_k वास्तविक संख्याएँ हैं और S_k असंयुक्त मापन योग्य समुच्चय हैं, जिन्हें मापन योग्य सरल फलन कहा जाता है। हम रैखिकता द्वारा अभिन्न को गैर-ऋणात्मक मापनीय सरल फलनों तक विस्तारित करते हैं। जब गुणांक a_k सकारात्मक हैं, हम समुच्चय करते हैं

$\int \left(\sum _{k}a_{k}1_{S_{k}}\right)\,\mathrm {d} \mu =\sum _{k}a_{k}\int 1_{S_{k}}\,\mathrm {d} \mu =\sum _{k}a_{k}\,\mu (S_{k})$

क्या यह योग परिमित है या +∞. एक साधारण फलन को सूचक फलनों के रैखिक संयोजन के रूप में अलग-अलग तरीकों से लिखा जा सकता है, लेकिन उपायों की योगात्मकता से अभिन्न अंग समान होगा।

अपरिभाषित अभिव्यक्ति से बचने के लिए, वास्तविक-मूल्य वाले सरल फलन के अभिन्न अंग को परिभाषित करते समय कुछ देखभाल की आवश्यकता होती है ∞ − ∞: कोई मानता है कि प्रतिनिधित्व

$f=\sum _{k}a_{k}1_{S_{k}}$

इस प्रकार कि μ(S_k) < ∞ जब कभी भी a_k ≠ 0. तब f के समाकलन के लिए उपरोक्त सूत्र समझ में आता है, और परिणाम विशेष निरूपण पर निर्भर नहीं करता है f धारणाओं को तुष्ट करना।

यदि B का एक मापने योग्य उपसमुच्चय है E और s एक मापने योग्य सरल फलन है जिसे कोई परिभाषित करता है

$\int _{B}s\,\mathrm {d} \mu =\int 1_{B}\,s\,\mathrm {d} \mu =\sum _{k}a_{k}\,\mu (S_{k}\cap B).$

गैर-ऋणात्मक फलन

होने देना f गैर-ऋणात्मक मापनीय फलन बनें E, जिसे हम मूल्य प्राप्त करने की अनुमति देते हैं +∞, दूसरे शब्दों में, f विस्तारित वास्तविक संख्या रेखा में गैर-ऋणात्मक मान लेता है। हम परिभाषित करते हैं

$\int _{E}f\,\mathrm {d} \mu =\sup \left\{\,\int _{E}s\,\mathrm {d} \mu :0\leq s\leq f,\ s\ {\text{simple}}\,\right\}.$

हमें यह दिखाने की आवश्यकता है कि यह अभिन्न अंग पिछले वाले से मेल खाता है, जिसे सरल फलनों के समुच्चय पर परिभाषित किया गया है, जब E  खंड [a,b] है। यह भी सवाल है कि क्या यह किसी भी तरह से एकीकरण की रीमैन धारणा से मेल खाता है। यह सिद्ध करना संभव है कि दोनों प्रश्नों का उत्तर हाँ है।

हमने E पर किसी भी गैर-ऋणात्मक विस्तारित वास्तविक-मूल्य मापन योग्य फलन के लिए f के अभिन्न अंग को परिभाषित किया है। कुछ फलनों के लिए, यह अभिन्न अंग ∫_E f dμ अनंत है.

सरल फलनों का एक विशेष अनुक्रम रखना अधिकांशतः उपयोगी होता है जो लेबेस्ग इंटीग्रल वेल (एक रीमैन योग के अनुरूप) का अनुमान लगाता है। गैर-ऋणात्मक मापन योग्य फलन के लिए f, होने देना $s_{n}(x)$ वह सरल फलन हो जिसका मान है $k/2^{n}$ जब कभी भी $k/2^{n}\leq f(x)<(k+1)/2^{n}$, k के लिए (कहें) से कम गैर-ऋणात्मक पूर्णांक $4^{n}$. तो यह बात सीधे तौर पर सिद्ध की जा सकती है

$\int f\,\mathrm {d} \mu =\lim _{n\to \infty }\int s_{n}\,\mathrm {d} \mu$

और दाहिनी ओर की सीमा विस्तारित वास्तविक संख्या के रूप में सम्मलित है। यह सरल फलनों का उपयोग करके लेबेस्ग इंटीग्रल के दृष्टिकोण और रेंज के विभाजन का उपयोग करके लेबेस्ग इंटीग्रल के लिए प्रेरणा के बीच संबंध को विभाजन है।

हस्ताक्षरित फलन

हस्ताक्षरित फलनों को संभालने के लिए, हमें कुछ और परिभाषाओं की आवश्यकता है। यदि f समुच्चय का मापने योग्य फलन है E वास्तविक के लिए (सहित ±∞), तो हम लिख सकते हैं

$f=f^{+}-f^{-},$

कहाँ

$f^{+}(x)={\begin{cases}f(x)&{\text{if }}f(x)>0\\0&{\text{otherwise}}\end{cases}}$

$f^{-}(x)={\begin{cases}-f(x)&{\text{if }}f(x)<0\\0&{\text{otherwise}}\end{cases}}$

ध्यान दें कि दोनों f⁺ और f⁻ गैर-ऋणात्मक मापन योग्य फलन हैं। यह भी ध्यान रखें

$|f|=f^{+}+f^{-}.\quad$

हम कहते हैं कि मापने योग्य फलन का लेबेस्ग इंटीग्रल f सम्मलित है, या परिभाषित है यदि कम से कम एक ${\textstyle \int f^{+}\,\mathrm {d} \mu }$ और ${\textstyle \int f^{-}\,\mathrm {d} \mu }$ परिमित है:

$\min \left(\int f^{+}\,\mathrm {d} \mu ,\int f^{-}\,\mathrm {d} \mu \right)<\infty .$

इस स्थितियों में हम परिभाषित करते हैं

$\int f\,\mathrm {d} \mu =\int f^{+}\,\mathrm {d} \mu -\int f^{-}\,\mathrm {d} \mu .$

यदि

$\int |f|\,\mathrm {d} \mu <\infty ,$

हम ऐसा कहते हैं f लेब्सग्यू पूर्णांक है।

यह पता चला है कि यह परिभाषा अभिन्न के वांछनीय गुण देती है।

अनुचित रीमैन इंटीग्रल के माध्यम से

ये मानते हुए $f$ फलन मापने योग्य और गैर-ऋणात्मक है

$f^{*}(t)\ {\stackrel {\text{def}}{=}}\ \mu \left(\{x\in E\mid f(x)>t\}\right).$

नीरस रूप से गैर-बढ़ती है। लेबेस्ग इंटीग्रल को तब अनुचित रीमैन इंटीग्रल के रूप में परिभाषित किया जा सकता है $f^{*}$:

$\int _{E}f\,\mathrm {d} \mu \ {\stackrel {\text{def}}{=}}\ \int _{0}^{\infty }f^{*}(t)\,\mathrm {d} t.$

यह अभिन्न अंग अनुचित है $\infty$ और (संभवतः) शून्य पर भी. यह अस्तित्व में है, इस अनुमति के साथ कि यह अनंत हो सकता है।

जैसा कि ऊपर दिया गया है, लेबेस्ग इंटीग्रेबल (जरूरी नहीं कि गैर-ऋणात्मक) फलन का अभिन्न अंग इसके सकारात्मक और ऋणात्मक भागों के अभिन्न अंग को घटाकर परिभाषित किया गया है।

समष्टि-मूल्यवान फलन

वास्तविक भाग और काल्पनिक भाग पर अलग-अलग विचार करके, समष्टि संख्या-मूल्य वाले फलनों को समान रूप से एकीकृत किया जा सकता है।

यदि वास्तविक-मूल्यवान पूर्णांकीय फलनों f, g के लिए h=f+ig है, तो h का समाकलन किसके द्वारा परिभाषित किया गया है?

$\int h\,\mathrm {d} \mu =\int f\,\mathrm {d} \mu +i\int g\,\mathrm {d} \mu .$

फलन लेब्सग्यू इंटीग्रेबल है यदि और केवल यदि इसका निरपेक्ष मान लेब्सग्यू इंटीग्रेबल है (बिल्कुल एकीकृत फलन देखें)।

उदाहरण

परिमेय संख्याओं के सूचक फलन पर विचार करें, 1_Q, जिसे डिरिचलेट फलन के रूप में भी जाना जाता है। यह फलन कहीं भी सतत नहीं है।

• $1_{\mathbf {Q} }$ रीमैन-अभिन्न नहीं है [0, 1]: कोई फर्क नहीं पड़ता कि समुच्चय कैसा है [0, 1] को उपअंतरालों में विभाजित किया गया है, प्रत्येक विभाजन में कम से कम एक परिमेय और कम से कम एक अपरिमेय संख्या होती है, क्योंकि परिमेय और अपरिमेय दोनों ही वास्तविकता में घने होते हैं। इस प्रकार ऊपरी डार्बौक्स योग सभी एक हैं, और निचले डार्बौक्स योग सभी शून्य हैं।
• $1_{\mathbf {Q} }$ लेब्सग्यू-अभिन्न पर है [0, 1] लेबेस्ग माप का उपयोग करना: वास्तव में, यह परिभाषा के अनुसार परिमेय का सूचक फलन है
  $$\int _{[0,1]}1_{\mathbf {Q} }\,\mathrm {d} \mu =\mu (\mathbf {Q} \cap [0,1])=0,$$
  क्योंकि Q गणनीय है.

एकीकरण का क्षेत्र

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

$\int _{b}^{a}f:=-\int _{a}^{b}f.$

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

$\int _{A}f\,\mathrm {d} \mu =\int _{[a,b]}f\,\mathrm {d} \mu$

एक उपसमूह पर एकीकरण को इंगित करने के लिए A. इन सामान्यीकरणों के बीच संबंध के विवरण के लिए देखें विभेदक रूप § उपायों से संबंध.

रीमैन इंटीग्रल की सीमाएं

फूरियर श्रृंखला के आगमन के साथ, इंटीग्रल्स से जुड़ी कई विश्लेषणात्मक समस्याएं सामने आईं जिनके संतोषजनक समाधान के लिए सीमा प्रक्रियाओं और इंटीग्रल संकेतों को बदलने की आवश्यकता थी। चूंकि, जिन शर्तों के अनुसार अभिन्न

$\sum _{k}\int f_{k}(x)\,\mathrm {d} x,\quad \int \left[\sum _{k}f_{k}(x)\right]\mathrm {d} x$

रीमैन ढांचे में समान रूप से काफी मायावी सिद्ध करना हुए हैं। रीमैन इंटीग्रल के साथ कुछ अन्य तकनीकी कठिनाइयाँ हैं। ये ऊपर चर्चा की गई सीमा लेने की बाधा से जुड़े हुए हैं।

एकस्वर अभिसरण की विफलता. जैसा कि ऊपर दिखाया गया है, सूचक फलन करता है 1_Qतर्कसंगत पर रीमैन पूर्णांकीय नहीं है। विशेष रूप से, मोनोटोन अभिसरण प्रमेय विफल हो जाता है। यह देखने के लिए कि क्यों, आइए {a_k} में सभी परिमेय संख्याओं की गणना करें [0, 1] (वे गणनीय हैं इसलिए यह किया जा सकता है।) तो चलिए

$g_{k}(x)={\begin{cases}1&{\text{if }}x=a_{j},j\leq k\\0&{\text{otherwise}}\end{cases}}$

कार्यक्रम g_k अंकों के सीमित समुच्चय को छोड़कर, हर जगह शून्य है। इसलिए इसका रीमैन इंटीग्रल शून्य है। प्रत्येक g_k गैर-ऋणात्मक है, और फलनों का यह क्रम नीरस रूप से बढ़ रहा है, लेकिन इसकी सीमा उतनी ही है k → ∞ है 1_Q, जो रीमैन पूर्णांकीय नहीं है।

असीमित अंतरालों के लिए अनुपयुक्तता. रीमैन इंटीग्रल केवल सीमित अंतराल पर फलनों को एकीकृत कर सकता है। चूंकि इसे सीमाएं लेकर असीमित अंतराल तक बढ़ाया जा सकता है, जब तक कि इससे कोई उत्तर न मिले ∞ − ∞.

यूक्लिडियन अंतरिक्ष के अतिरिक्त अन्य संरचनाओं पर एकीकरण। रीमैन इंटीग्रल वास्तविक रेखा की क्रम संरचना से अटूट रूप से जुड़ा हुआ है।

लेबेस्ग इंटीग्रल के मूल प्रमेय

कहा जाता है कि दो फलन लगभग हर जगह समान होते हैं ($f\ {\stackrel {\text{a.e.}}{=}}\ g$ संक्षेप में) यदि $\{x\mid f(x)\neq g(x)\}$ शून्य समुच्चय का उपसमुच्चय है।

समुच्चय की मापनीयता $\{x\mid f(x)\neq g(x)\}$ आवश्यक नहीं।

• यदि f, g गैर-ऋणात्मक मापन योग्य फलन हैं (संभवतः मान मानते हुए)। +∞) ऐसा है कि f = g तो फिर लगभग हर जगह
  $$\int f\,d\mu =\int g\,d\mu .$$
  बुद्धिमानी से, अभिन्न लगभग हर जगह समानता के समतुल्य संबंध का सम्मान करता है।
• यदि f, g ऐसे फलन हैं f = g तो फिर लगभग हर जगह f क्या लेब्सेग पूर्णांकित है यदि और केवल यदि g लेब्सग्यू पूर्णांक है, और का अभिन्न अंग है f और g यदि वे समाविष्ट हैं तो वही हैं।
• रैखिक परिवर्तन: यदि f और g लेबेस्ग इंटीग्रेबल फलनों हैं और a और b तो फिर वास्तविक संख्याएँ हैं af + bg लेब्सेग इंटीग्रेबल है और
  $$\int (af+bg)\,d\mu =a\int f\,d\mu +b\int g\,d\mu .$$
• एकरसता: यदि f ≤ g, तब
  $$\int f\,d\mu \leq \int g\,d\mu .$$
• होने देना $(\Omega ,\Sigma ,\mu )$ माप समिष्ट बनें. निरूपित $\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}}$ $\sigma$- बोरेल का बीजगणित प्रारंभ होता है $[0,+\infty ]$. (परिभाषा से, $\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}}$ समुच्चय सम्मलित है $\{+\infty \}$ और सभी बोरेल उपसमुच्चय $\mathbb {R} _{\geq 0}$.) एक पर विचार करें $(\Sigma ,\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}})$-मापने योग्य गैर-ऋणात्मक फलन $s:\Omega \to [0,+\infty ]$. एक समुच्चय के लिए $S\in \Sigma$, परिभाषित करना
  $$\nu (S)=\int _{S}s\,d\mu .$$
  तब $\nu$ पर एक लेब्सग्यू माप है $(\Omega ,\Sigma )$.
• लेबेस्ग्यू का मोनोटोन अभिसरण प्रमेय: मान लीजिए { f_k}_{k ∈ N} गैर-ऋणात्मक मापन योग्य फलनों का एक क्रम है जैसे कि
  $$f_{k}(x)\leq f_{k+1}(x)\quad \forall k\in \mathbb {N} ,\,\forall x\in E.$$
  फिर, बिंदुवार सीमा f का f_k लेबेस्ग मापने योग्य है और
  $$\lim _{k}\int f_{k}\,d\mu =\int f\,d\mu .$$
  किसी भी अभिन्न अंग का मान अनंत होने की अनुमति है।
• फ़तौ की लेम्मा: यदि { f_k}_{k ∈ N} तो, गैर-ऋणात्मक मापनीय फलनों का एक क्रम है
  $$\int \liminf _{k}f_{k}\,d\mu \leq \liminf _{k}\int f_{k}\,d\mu .$$
  पुनः, किसी भी अभिन्न का मान अनंत हो सकता है।
• प्रभुत्व अभिसरण प्रमेय: मान लीजिए {f_k}_{k ∈ N} बिंदुवार सीमा के साथ समष्टि मापने योग्य फलनों का एक क्रम है f, और एक लेब्सग्यू इंटीग्रेबल कार्य है g (अर्थात।, g का है space L¹) ऐसा है कि | f_k | ≤ g सभी के लिए k.
  तब, f लेब्सेग इंटीग्रेबल है और
  $$\lim _{k}\int f_{k}\,d\mu =\int f\,d\mu .$$

वैकल्पिक सूत्रीकरण

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

कार्यात्मक विश्लेषण के तरीकों के माध्यम से एकीकरण के सिद्धांत को विकसित करने का एक वैकल्पिक दृष्टिकोण भी है। रीमैन इंटीग्रल किसी भी निरंतर फलन के लिए सम्मलित है f सघन समिष्ट सपोर्ट (गणित) पर परिभाषित Rⁿ (या एक निश्चित विवृत उपसमुच्चय)। इन समाकलनों से आरंभ करके अधिक सामान्य फलनों के समाकलन बनाए जा सकते हैं।

होने देना C_c आर के सभी वास्तविक-मूल्यवान कॉम्पैक्ट रूप से समर्थित निरंतर फलनों का समिष्ट बनें। पर एक मानदंड परिभाषित करें C_c द्वारा

$$\left\|f\right\|=\int |f(x)|\,\mathrm {d} x.$$

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

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

लेबेस्ग इंटीग्रल की सीमाएँ

लेबेस्ग इंटीग्रल का मुख्य उद्देश्य इंटीग्रल धारणा प्रदान करना है जहां इंटीग्रल्स की सीमाएं हल्की धारणाओं के अंतर्गत होती हैं। इस बात की कोई गारंटी नहीं है कि प्रत्येक फलन लेब्सग्यू इंटीग्रेबल है। लेकिन ऐसा हो सकता है कि उन फलनों के लिए अनुचित इंटीग्रल सम्मलित हों जो लेबेसेग इंटीग्रेबल नहीं हैं। एक उदाहरण साथ-साथ करना फलन होगा।

$${\frac {\sin(x)}{x}}$$

संपूर्ण वास्तविक रेखा पर. यह फलन लेब्सग्यू इंटीग्रेबल नहीं है, जैसे

$$\int _{-\infty }^{\infty }\left|{\frac {\sin(x)}{x}}\right|\mathrm {d} x=\infty .$$

वहीं दूसरी ओर, ${\textstyle \int _{-\infty }^{\infty }{\frac {\sin(x)}{x}}\,\mathrm {d} x}$ एक अनुचित अभिन्न अंग के रूप में सम्मलित है और इसे सीमित माना जा सकता है; यह डिरिचलेट इंटीग्रल से दोगुना और इसके समकक्ष है $\pi$.

यह भी देखें

• हेनरी लेब्सग्यू लेब्सग्यू का एकीकरण का सिद्धांत, लेब्सग्यू एकीकरण के गैर-तकनीकी विवरण के लिए
• शून्य समुच्चय
• अभिन्न
• माप (गणित)
• सिग्मा-बीजगणित
• लेब्सेग समिष्ट (बहुविकल्पी)
• लेबेस्गुए-स्टिल्टजेस एकीकरण
• रीमैन इंटीग्रल
• हेनस्टॉक-कुर्जवील इंटीग्रल

संदर्भ

• Bartle, Robert G. (1995). The elements of integration and Lebesgue measure. Wiley Classics Library. New York: John Wiley & Sons Inc. xii+179. ISBN 0-471-04222-6. MR 1312157.
• Bauer, Heinz (2001). Measure and Integration Theory. De Gruyter Studies in Mathematics 26. Berlin: De Gruyter. 236. ISBN 978-3-11-016719-1.
• Bourbaki, Nicolas (2004). Integration. I. Chapters 1–6. Translated from the 1959, 1965 and 1967 French originals by Sterling K. Berberian. Elements of Mathematics (Berlin). Berlin: Springer-Verlag. xvi+472. ISBN 3-540-41129-1. MR 2018901.
• Dudley, Richard M. (1989). Real analysis and probability. The Wadsworth & Brooks/Cole Mathematics Series. Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software. xii+436. ISBN 0-534-10050-3. MR 0982264. Very thorough treatment, particularly for probabilists with good notes and historical references.
• Folland, Gerald B. (1999). Real analysis: Modern techniques and their applications. Pure and Applied Mathematics (New York) (Second ed.). New York: John Wiley & Sons Inc. xvi+386. ISBN 0-471-31716-0. MR 1681462.
• Halmos, Paul R. (1950). Measure Theory. New York, N. Y.: D. Van Nostrand Company, Inc. pp. xi+304. MR 0033869. A classic, though somewhat dated presentation.
• "Lebesgue integral", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Lebesgue, Henri (1904). "Leçons sur l'intégration et la recherche des fonctions primitives". Paris: Gauthier-Villars. {{cite journal}}: Cite journal requires |journal= (help)
• Lebesgue, Henri (1972). Oeuvres scientifiques (en cinq volumes) (in français). Geneva: Institut de Mathématiques de l'Université de Genève. p. 405. MR 0389523.
• Lieb, Elliott; Loss, Michael (2001). Analysis. Graduate Studies in Mathematics. Vol. 14 (2nd ed.). American Mathematical Society. ISBN 978-0821827833.
• Loomis, Lynn H. (1953). An introduction to abstract harmonic analysis. Toronto-New York-London: D. Van Nostrand Company, Inc. pp. x+190. MR 0054173. Includes a presentation of the Daniell integral.
• Marsden (1974), Elementary classical analysis, W. H. Freeman.
• Munroe, M. E. (1953). Introduction to measure and integration. Cambridge, Mass.: Addison-Wesley Publishing Company Inc. pp. x+310. MR 0053186. Good treatment of the theory of outer measures.
• Royden, H. L. (1988). Real analysis (Third ed.). New York: Macmillan Publishing Company. pp. xx+444. ISBN 0-02-404151-3. MR 1013117.
• Rudin, Walter (1976). Principles of mathematical analysis. International Series in Pure and Applied Mathematics (Third ed.). New York: McGraw-Hill Book Co. pp. x+342. MR 0385023. Known as Little Rudin, contains the basics of the Lebesgue theory, but does not treat material such as Fubini's theorem.
• Rudin, Walter (1966). Real and complex analysis. New York: McGraw-Hill Book Co. pp. xi+412. MR 0210528. Known as Big Rudin. A complete and careful presentation of the theory. Good presentation of the Riesz extension theorems. However, there is a minor flaw (in the first edition) in the proof of one of the extension theorems, the discovery of which constitutes exercise 21 of Chapter 2.
• Saks, Stanisław (1937). Theory of the Integral. Monografie Matematyczne. Vol. 7 (2nd ed.). Warszawa-Lwów: G.E. Stechert & Co. JFM 63.0183.05. Zbl 0017.30004. {{cite book}}: External link in |series= (help). English translation by Laurence Chisholm Young, with two additional notes by Stefan Banach.
• Shilov, G. E.; Gurevich, B. L. (1977). Integral, measure and derivative: a unified approach. Translated from the Russian and edited by Richard A. Silverman. Dover Books on Advanced Mathematics. New York: Dover Publications Inc. xiv+233. ISBN 0-486-63519-8. MR 0466463. Emphasizes the Daniell integral.
• Siegmund-Schultze, Reinhard (2008), "Henri Lebesgue", in Timothy Gowers; June Barrow-Green; Imre Leader (eds.), Princeton Companion to Mathematics, Princeton University Press.
• Teschl, Gerald. Topics in Real and Functional Analysis. (lecture notes).
• Yeh, James (2006). Real Analysis: Theory of Measure and Integral 2nd. Edition Paperback. Singapore: World Scientific Publishing Company Pte. Ltd. p. 760. ISBN 978-981-256-6.