लेब्सेग एकीकरण: Difference between revisions
(Created page with "{{Short description|Method of integration}} {{More footnotes needed|date=September 2021}}File:Integral-area-under-curve.svg|thumb|एक सकारात्मक फ़...") |
No edit summary |
||
Line 5: | Line 5: | ||
गणित में, एक एकल चर के एक गैर-नकारात्मक [[फ़ंक्शन (गणित)]] के [[अभिन्न]] अंग को, सबसे सरल मामले में, उस फ़ंक्शन के फ़ंक्शन के ग्राफ़ और के बीच के [[क्षेत्र]] के रूप में माना जा सकता है। {{math|''x''}}-एक्सिस। लेबेस्ग इंटीग्रल, जिसका नाम [[फ्रांस]] के गणितज्ञ [[ हेनरी लेबेस्गुए ]] के नाम पर रखा गया है, इंटीग्रल को कार्यों के एक बड़े वर्ग तक विस्तारित करता है। यह फ़ंक्शंस के डोमेन का भी विस्तार करता है जिस पर इन फ़ंक्शंस को परिभाषित किया जा सकता है। | गणित में, एक एकल चर के एक गैर-नकारात्मक [[फ़ंक्शन (गणित)]] के [[अभिन्न]] अंग को, सबसे सरल मामले में, उस फ़ंक्शन के फ़ंक्शन के ग्राफ़ और के बीच के [[क्षेत्र]] के रूप में माना जा सकता है। {{math|''x''}}-एक्सिस। लेबेस्ग इंटीग्रल, जिसका नाम [[फ्रांस]] के गणितज्ञ [[ हेनरी लेबेस्गुए ]] के नाम पर रखा गया है, इंटीग्रल को कार्यों के एक बड़े वर्ग तक विस्तारित करता है। यह फ़ंक्शंस के डोमेन का भी विस्तार करता है जिस पर इन फ़ंक्शंस को परिभाषित किया जा सकता है। | ||
20वीं शताब्दी से बहुत पहले, गणितज्ञों ने पहले ही समझ लिया था कि [[सुचारू कार्य]] के साथ गैर-नकारात्मक कार्यों के लिए पर्याप्त ग्राफ़ - जैसे कि [[बंद सेट]] [[बंधा हुआ सेट]] [[अंतराल (गणित)]] पर निरंतर फ़ंक्शन - ''वक्र के नीचे का क्षेत्र'' के रूप में परिभाषित किया जा सकता है अभिन्न, और [[बहुभुज]] द्वारा क्षेत्र पर सन्निकटन तकनीकों का उपयोग करके गणना की गई। | 20वीं शताब्दी से बहुत पहले, गणितज्ञों ने पहले ही समझ लिया था कि [[सुचारू कार्य]] के साथ गैर-नकारात्मक कार्यों के लिए पर्याप्त ग्राफ़ - जैसे कि [[बंद सेट]] [[बंधा हुआ सेट]] [[अंतराल (गणित)]] पर निरंतर फ़ंक्शन - ''वक्र के नीचे का क्षेत्र'' के रूप में परिभाषित किया जा सकता है अभिन्न, और [[बहुभुज]] द्वारा क्षेत्र पर सन्निकटन तकनीकों का उपयोग करके गणना की गई। चूंकि, जैसे-जैसे अधिक अनियमित कार्यों पर विचार करने की आवश्यकता उत्पन्न हुई - उदाहरण के लिए, [[गणितीय विश्लेषण]] की फ़ंक्शन प्रक्रियाओं की सीमा और संभाव्यता के गणितीय सिद्धांत के परिणामस्वरूप - यह स्पष्ट हो गया कि उपयुक्त अभिन्न को परिभाषित करने के लिए अधिक सावधानीपूर्वक सन्निकटन तकनीकों की आवश्यकता थी। इसके अलावा, कोई व्यक्ति वास्तविक रेखा से अधिक सामान्य स्थानों को एकीकृत करना चाह सकता है। लेबेस्ग इंटीग्रल इसके लिए आवश्यक सार-संक्षेप प्रदान करता है। | ||
लेबेस्ग इंटीग्रल संभाव्यता सिद्धांत, [[वास्तविक विश्लेषण]] और गणित के कई अन्य क्षेत्रों में एक महत्वपूर्ण भूमिका निभाता है। इसका नाम हेनरी लेब्सग्यू (1875-1941) के नाम पर रखा गया है, जिन्होंने इंटीग्रल की शुरुआत की थी {{harv|Lebesgue|1904}}. यह संभाव्यता के स्वयंसिद्ध सिद्धांत का भी एक महत्वपूर्ण हिस्सा है। | लेबेस्ग इंटीग्रल संभाव्यता सिद्धांत, [[वास्तविक विश्लेषण]] और गणित के कई अन्य क्षेत्रों में एक महत्वपूर्ण भूमिका निभाता है। इसका नाम हेनरी लेब्सग्यू (1875-1941) के नाम पर रखा गया है, जिन्होंने इंटीग्रल की शुरुआत की थी {{harv|Lebesgue|1904}}. यह संभाव्यता के स्वयंसिद्ध सिद्धांत का भी एक महत्वपूर्ण हिस्सा है। | ||
लेबेस्ग एकीकरण शब्द का अर्थ या तो सामान्य [[माप (गणित)]] के संबंध में किसी फ़ंक्शन के एकीकरण का सामान्य सिद्धांत हो सकता है, जैसा कि लेबेस्गु द्वारा प्रस्तुत किया गया है, या वास्तविक लाइन के उप-डोमेन पर परिभाषित फ़ंक्शन के एकीकरण का विशिष्ट | लेबेस्ग एकीकरण शब्द का अर्थ या तो सामान्य [[माप (गणित)]] के संबंध में किसी फ़ंक्शन के एकीकरण का सामान्य सिद्धांत हो सकता है, जैसा कि लेबेस्गु द्वारा प्रस्तुत किया गया है, या वास्तविक लाइन के उप-डोमेन पर परिभाषित फ़ंक्शन के एकीकरण का विशिष्ट स्थिति हो सकता है। लेब्सगेग उपाय के प्रति सम्मान। | ||
== परिचय == | == परिचय == | ||
Line 16: | Line 16: | ||
उन्नीसवीं सदी में गणित में [[गणितीय कठोरता]] की ओर एक सामान्य आंदोलन के हिस्से के रूप में, गणितज्ञों ने इंटीग्रल कैलकुलस को एक मजबूत आधार पर रखने का प्रयास किया। [[बर्नहार्ड रीमैन]] (1826-1866) द्वारा प्रस्तावित [[ रीमैन अभिन्न ]] - ऐसी नींव प्रदान करने का एक व्यापक रूप से सफल प्रयास है। रीमैन की परिभाषा आसानी से गणना किए गए क्षेत्रों के अनुक्रम के निर्माण से शुरू होती है जो किसी दिए गए फ़ंक्शन के अभिन्न अंग में परिवर्तित होते हैं। यह परिभाषा इस अर्थ में सफल है कि यह पहले से ही हल हो चुकी कई समस्याओं के लिए अपेक्षित उत्तर देती है, और कई अन्य समस्याओं के लिए उपयोगी परिणाम देती है। | उन्नीसवीं सदी में गणित में [[गणितीय कठोरता]] की ओर एक सामान्य आंदोलन के हिस्से के रूप में, गणितज्ञों ने इंटीग्रल कैलकुलस को एक मजबूत आधार पर रखने का प्रयास किया। [[बर्नहार्ड रीमैन]] (1826-1866) द्वारा प्रस्तावित [[ रीमैन अभिन्न ]] - ऐसी नींव प्रदान करने का एक व्यापक रूप से सफल प्रयास है। रीमैन की परिभाषा आसानी से गणना किए गए क्षेत्रों के अनुक्रम के निर्माण से शुरू होती है जो किसी दिए गए फ़ंक्शन के अभिन्न अंग में परिवर्तित होते हैं। यह परिभाषा इस अर्थ में सफल है कि यह पहले से ही हल हो चुकी कई समस्याओं के लिए अपेक्षित उत्तर देती है, और कई अन्य समस्याओं के लिए उपयोगी परिणाम देती है। | ||
चूंकि, रीमैन एकीकरण कार्यों के अनुक्रमों की सीमा लेने के साथ अच्छी तरह से बातचीत नहीं करता है, जिससे ऐसी सीमित प्रक्रियाओं का विश्लेषण करना मुश्किल हो जाता है। उदाहरण के लिए, फूरियर श्रृंखला, [[फूरियर रूपांतरण]] और अन्य विषयों के अध्ययन में यह महत्वपूर्ण है। लेबेस्ग इंटीग्रल यह वर्णन करने में बेहतर ढंग से सक्षम है कि इंटीग्रल साइन के अनुसार सीमाएं कब और कैसे लेना संभव है ([[मोनोटोन अभिसरण प्रमेय]] और [[प्रभुत्व अभिसरण प्रमेय]] के माध्यम से)। | |||
जबकि रीमैन इंटीग्रल एक वक्र के नीचे के क्षेत्र को ऊर्ध्वाधर आयतों से बना मानता है, लेबेस्ग्यू परिभाषा क्षैतिज स्लैब पर विचार करती है जो जरूरी नहीं कि सिर्फ आयताकार हों, और इसलिए यह अधिक लचीला है। इस कारण से, लेबेस्ग्यू परिभाषा कार्यों के व्यापक वर्ग के लिए अभिन्नों की गणना करना संभव बनाती है। उदाहरण के लिए, [[डिरिचलेट फ़ंक्शन]], जो 0 है जहां इसका तर्क [[अपरिमेय संख्या]] है और अन्यथा 1, में एक लेबेस्ग इंटीग्रल है, लेकिन इसमें रीमैन इंटीग्रल नहीं है। इसके अलावा, इस फ़ंक्शन का लेबेस्ग इंटीग्रल शून्य है, जो इस अंतर्ज्ञान से सहमत है कि इकाई अंतराल से यादृच्छिक रूप से समान रूप से वास्तविक संख्या चुनते समय, एक तर्कसंगत संख्या चुनने की संभावना शून्य होनी चाहिए। | जबकि रीमैन इंटीग्रल एक वक्र के नीचे के क्षेत्र को ऊर्ध्वाधर आयतों से बना मानता है, लेबेस्ग्यू परिभाषा क्षैतिज स्लैब पर विचार करती है जो जरूरी नहीं कि सिर्फ आयताकार हों, और इसलिए यह अधिक लचीला है। इस कारण से, लेबेस्ग्यू परिभाषा कार्यों के व्यापक वर्ग के लिए अभिन्नों की गणना करना संभव बनाती है। उदाहरण के लिए, [[डिरिचलेट फ़ंक्शन]], जो 0 है जहां इसका तर्क [[अपरिमेय संख्या]] है और अन्यथा 1, में एक लेबेस्ग इंटीग्रल है, लेकिन इसमें रीमैन इंटीग्रल नहीं है। इसके अलावा, इस फ़ंक्शन का लेबेस्ग इंटीग्रल शून्य है, जो इस अंतर्ज्ञान से सहमत है कि इकाई अंतराल से यादृच्छिक रूप से समान रूप से वास्तविक संख्या चुनते समय, एक तर्कसंगत संख्या चुनने की संभावना शून्य होनी चाहिए। | ||
Line 34: | Line 34: | ||
====सरल कार्य==== | ====सरल कार्य==== | ||
[[File:Riemann vs lebesgue integration of serbian covid case data.svg|thumb|रीमैनियन (शीर्ष) बनाम लेब्सग्यू (नीचे) सर्बिया (ग्रीष्म-पतन 2021) से सुचारू सीओवीआईडी -19 दैनिक मामले डेटा का एकीकरण।]]लेबेस्ग इंटीग्रल को पेश करने का एक समकक्ष तरीका तथाकथित #Via सरल कार्यों का उपयोग करना है, जो रीमैन एकीकरण के चरण कार्यों को सामान्यीकृत करता है। उदाहरण के लिए, सुचारू नए दैनिक | [[File:Riemann vs lebesgue integration of serbian covid case data.svg|thumb|रीमैनियन (शीर्ष) बनाम लेब्सग्यू (नीचे) सर्बिया (ग्रीष्म-पतन 2021) से सुचारू सीओवीआईडी -19 दैनिक मामले डेटा का एकीकरण।]]लेबेस्ग इंटीग्रल को पेश करने का एक समकक्ष तरीका तथाकथित #Via सरल कार्यों का उपयोग करना है, जो रीमैन एकीकरण के चरण कार्यों को सामान्यीकृत करता है। उदाहरण के लिए, सुचारू नए दैनिक स्थितियों (दाएं) के ग्राफ से संचयी COVID-19 मामले की संख्या निर्धारित करने पर विचार करें। | ||
;रीमैन-डारबौक्स दृष्टिकोण: डोमेन (समय अवधि) को अंतरालों में विभाजित करें (आठ, दाईं ओर के उदाहरण में) और ग्राफ़ से मिलने वाली ऊंचाइयों के साथ बार का निर्माण करें। संचयी गणना सभी बारों के योग से, अंतराल की चौड़ाई (दिनों में समय) और बार की ऊंचाई (प्रति दिन मामले) के उत्पाद द्वारा पाई जाती है। | ;रीमैन-डारबौक्स दृष्टिकोण: डोमेन (समय अवधि) को अंतरालों में विभाजित करें (आठ, दाईं ओर के उदाहरण में) और ग्राफ़ से मिलने वाली ऊंचाइयों के साथ बार का निर्माण करें। संचयी गणना सभी बारों के योग से, अंतराल की चौड़ाई (दिनों में समय) और बार की ऊंचाई (प्रति दिन मामले) के उत्पाद द्वारा पाई जाती है। | ||
;लेबेस्ग दृष्टिकोण: फ़ंक्शन की सीमा में लक्ष्य मानों की एक सीमित संख्या (उदाहरण में आठ) चुनें। इन मानों के बराबर ऊंचाई वाले बार का निर्माण करके, लेकिन फ़ंक्शन के नीचे, वे डोमेन को समान संख्या में सबसेट में विभाजित करते हैं (उदाहरण में रंग द्वारा इंगित सबसेट को कनेक्ट करने की आवश्यकता नहीं है)। यह एक सरल कार्य है, जैसा कि नीचे बताया गया है। संचयी गणना डोमेन के सभी उपसमूहों, उस उपसमूह पर माप के उत्पाद (दिनों में कुल समय) और बार ऊंचाई (प्रति दिन | ;लेबेस्ग दृष्टिकोण: फ़ंक्शन की सीमा में लक्ष्य मानों की एक सीमित संख्या (उदाहरण में आठ) चुनें। इन मानों के बराबर ऊंचाई वाले बार का निर्माण करके, लेकिन फ़ंक्शन के नीचे, वे डोमेन को समान संख्या में सबसेट में विभाजित करते हैं (उदाहरण में रंग द्वारा इंगित सबसेट को कनेक्ट करने की आवश्यकता नहीं है)। यह एक सरल कार्य है, जैसा कि नीचे बताया गया है। संचयी गणना डोमेन के सभी उपसमूहों, उस उपसमूह पर माप के उत्पाद (दिनों में कुल समय) और बार ऊंचाई (प्रति दिन स्थितियों) के योग से पाई जाती है। | ||
=== माप सिद्धांत === | === माप सिद्धांत === | ||
Line 46: | Line 46: | ||
रीमैन इंटीग्रल लंबाई की धारणा का स्पष्ट रूप से उपयोग करता है। दरअसल, रीमैन इंटीग्रल के लिए गणना का तत्व आयत है {{math|[''a'', ''b''] × [''c'', ''d'']}}, जिसका क्षेत्रफल आंका गया है {{math|(''b'' − ''a'')(''d'' − ''c'')}}. मात्रा {{math|''b'' − ''a''}} आयत के आधार की लंबाई है और {{math|''d'' − ''c''}} आयत की ऊंचाई है. रीमैन वक्र के नीचे के क्षेत्र का अनुमान लगाने के लिए केवल समतल आयतों का उपयोग कर सकता था, क्योंकि अधिक सामान्य सेटों को मापने के लिए कोई पर्याप्त सिद्धांत नहीं था। | रीमैन इंटीग्रल लंबाई की धारणा का स्पष्ट रूप से उपयोग करता है। दरअसल, रीमैन इंटीग्रल के लिए गणना का तत्व आयत है {{math|[''a'', ''b''] × [''c'', ''d'']}}, जिसका क्षेत्रफल आंका गया है {{math|(''b'' − ''a'')(''d'' − ''c'')}}. मात्रा {{math|''b'' − ''a''}} आयत के आधार की लंबाई है और {{math|''d'' − ''c''}} आयत की ऊंचाई है. रीमैन वक्र के नीचे के क्षेत्र का अनुमान लगाने के लिए केवल समतल आयतों का उपयोग कर सकता था, क्योंकि अधिक सामान्य सेटों को मापने के लिए कोई पर्याप्त सिद्धांत नहीं था। | ||
अधिकांश आधुनिक पाठ्यपुस्तकों (1950 के बाद) में सिद्धांत के विकास में, माप और एकीकरण का दृष्टिकोण स्वयंसिद्ध है। इसका मतलब यह है कि एक माप एक निश्चित वर्ग पर परिभाषित कोई फ़ंक्शन μ है {{math|''X''}} एक समुच्चय के उपसमुच्चय का {{math|''E''}}, जो संपत्तियों की एक निश्चित सूची को संतुष्ट करता है। इन संपत्तियों को कई अलग-अलग | अधिकांश आधुनिक पाठ्यपुस्तकों (1950 के बाद) में सिद्धांत के विकास में, माप और एकीकरण का दृष्टिकोण स्वयंसिद्ध है। इसका मतलब यह है कि एक माप एक निश्चित वर्ग पर परिभाषित कोई फ़ंक्शन μ है {{math|''X''}} एक समुच्चय के उपसमुच्चय का {{math|''E''}}, जो संपत्तियों की एक निश्चित सूची को संतुष्ट करता है। इन संपत्तियों को कई अलग-अलग स्थितियों में धारण करके दिखाया जा सकता है। | ||
=== मापने योग्य कार्य === | === मापने योग्य कार्य === | ||
Line 56: | Line 56: | ||
:<math> \{x\,\mid\,f(x) > t\} \in X\quad \forall t\in\mathbb{R}. </math> | :<math> \{x\,\mid\,f(x) > t\} \in X\quad \forall t\in\mathbb{R}. </math> | ||
हम दिखा सकते हैं कि यह आवश्यकता के बराबर है कि आर के किसी भी [[बोरेल बीजगणित]] उपसमुच्चय की पूर्व-छवि अंदर हो {{math|''X''}}. मापने योग्य कार्यों का सेट बीजगणितीय संचालन के | हम दिखा सकते हैं कि यह आवश्यकता के बराबर है कि आर के किसी भी [[बोरेल बीजगणित]] उपसमुच्चय की पूर्व-छवि अंदर हो {{math|''X''}}. मापने योग्य कार्यों का सेट बीजगणितीय संचालन के अनुसार बंद है, लेकिन अधिक महत्वपूर्ण बात यह है कि यह विभिन्न प्रकार की सीमा श्रेष्ठ और सीमा निम्न के अनुसार बंद है | बिंदुवार अनुक्रमिक सीमाएं: | ||
: <math> \sup_{k \in \N} f_k, \quad \liminf_{k \in \N} f_k, \quad \limsup_{k \in \N} f_k </math> | : <math> \sup_{k \in \N} f_k, \quad \liminf_{k \in \N} f_k, \quad \limsup_{k \in \N} f_k </math> | ||
Line 73: | Line 73: | ||
===सरल कार्यों के माध्यम से=== | ===सरल कार्यों के माध्यम से=== | ||
[[File:Lebesgueintegralsimplefunctions finer-dotted.svg|right|thumb|एक साधारण फ़ंक्शन द्वारा किसी फ़ंक्शन का अनुमान लगाना।]]लेबेस्ग इंटीग्रल के निर्माण का एक तरीका तथाकथित सरल कार्यों का उपयोग करना है: संकेतक कार्यों के परिमित, वास्तविक रैखिक संयोजन। सरल फ़ंक्शन जो सीधे किसी दिए गए फ़ंक्शन के नीचे स्थित होते हैं {{math|''f''}} की सीमा को विभाजित करके बनाया जा सकता है {{math|''f''}} परतों की एक सीमित संख्या में। के ग्राफ का प्रतिच्छेदन {{math|''f''}} एक परत के साथ के क्षेत्र में अंतराल के एक सेट की पहचान करता है {{math|''f''}}, जिसे एक साथ मिलाकर, साधारण फ़ंक्शन के | [[File:Lebesgueintegralsimplefunctions finer-dotted.svg|right|thumb|एक साधारण फ़ंक्शन द्वारा किसी फ़ंक्शन का अनुमान लगाना।]]लेबेस्ग इंटीग्रल के निर्माण का एक तरीका तथाकथित सरल कार्यों का उपयोग करना है: संकेतक कार्यों के परिमित, वास्तविक रैखिक संयोजन। सरल फ़ंक्शन जो सीधे किसी दिए गए फ़ंक्शन के नीचे स्थित होते हैं {{math|''f''}} की सीमा को विभाजित करके बनाया जा सकता है {{math|''f''}} परतों की एक सीमित संख्या में। के ग्राफ का प्रतिच्छेदन {{math|''f''}} एक परत के साथ के क्षेत्र में अंतराल के एक सेट की पहचान करता है {{math|''f''}}, जिसे एक साथ मिलाकर, साधारण फ़ंक्शन के अनुसार, उस परत की निचली सीमा की पूर्वछवि के रूप में परिभाषित किया गया है। इस प्रकार, की सीमा का विभाजन {{math|''f''}} का तात्पर्य इसके डोमेन के विभाजन से है। एक साधारण फ़ंक्शन का अभिन्न अंग, डोमेन के इन (जरूरी नहीं कि जुड़े हुए) उपसमुच्चय पर, सरल फ़ंक्शन के अनुसार उपसमुच्चय और उसकी छवि के माप के उत्पाद (संबंधित परत की निचली सीमा) को जोड़कर पाया जाता है; सहज रूप से, यह उत्पाद समान ऊँचाई की सभी पट्टियों के क्षेत्रफलों का योग है। एक गैर-नकारात्मक सामान्य मापनीय फ़ंक्शन के अभिन्न अंग को तब सरल कार्यों द्वारा सन्निकटन के उचित सर्वोच्च के रूप में परिभाषित किया जाता है, और एक (जरूरी नहीं कि सकारात्मक) मापने योग्य फ़ंक्शन का अभिन्न अंग गैर-नकारात्मक मापनीय कार्यों के दो अभिन्नों का अंतर होता है। | ||
==== संकेतक कार्य ==== | ==== संकेतक कार्य ==== | ||
Line 95: | Line 95: | ||
इस प्रकार कि {{math|μ(''S''<sub>''k''</sub>) < ∞}} जब कभी भी {{math|''a''<sub>''k''</sub> ≠ 0}}. तब f के समाकलन के लिए उपरोक्त सूत्र समझ में आता है, और परिणाम विशेष निरूपण पर निर्भर नहीं करता है {{math|''f''}} धारणाओं को संतुष्ट करना। | इस प्रकार कि {{math|μ(''S''<sub>''k''</sub>) < ∞}} जब कभी भी {{math|''a''<sub>''k''</sub> ≠ 0}}. तब f के समाकलन के लिए उपरोक्त सूत्र समझ में आता है, और परिणाम विशेष निरूपण पर निर्भर नहीं करता है {{math|''f''}} धारणाओं को संतुष्ट करना। | ||
यदि {{math|''B''}} का एक मापने योग्य उपसमुच्चय है {{math|''E''}} और {{math|''s''}} एक मापने योग्य सरल कार्य है जिसे कोई परिभाषित करता है | |||
:<math> \int_B s \,\mathrm{d}\mu = \int 1_B \, s \,\mathrm{d}\mu = \sum_k a_k \, \mu(S_k \cap B). </math> | :<math> \int_B s \,\mathrm{d}\mu = \int 1_B \, s \,\mathrm{d}\mu = \sum_k a_k \, \mu(S_k \cap B). </math> | ||
Line 108: | Line 108: | ||
हमने ई पर किसी भी गैर-नकारात्मक विस्तारित वास्तविक-मूल्य मापन योग्य फ़ंक्शन के लिए एफ के अभिन्न अंग को परिभाषित किया है। कुछ कार्यों के लिए, यह अभिन्न अंग{{math|∫<sub>''E''</sub> ''f'' d''μ''}} अनंत है. | हमने ई पर किसी भी गैर-नकारात्मक विस्तारित वास्तविक-मूल्य मापन योग्य फ़ंक्शन के लिए एफ के अभिन्न अंग को परिभाषित किया है। कुछ कार्यों के लिए, यह अभिन्न अंग{{math|∫<sub>''E''</sub> ''f'' d''μ''}} अनंत है. | ||
सरल कार्यों का एक विशेष अनुक्रम रखना | सरल कार्यों का एक विशेष अनुक्रम रखना अधिकांशतः उपयोगी होता है जो लेबेस्ग इंटीग्रल वेल (एक रीमैन योग के अनुरूप) का अनुमान लगाता है। एक गैर-नकारात्मक मापन योग्य फ़ंक्शन के लिए {{math|''f''}}, होने देना <math>s_n(x)</math> वह सरल फलन हो जिसका मान है <math>k/2^n</math> जब कभी भी <math>k/2^n\le f(x)<(k+1)/2^n</math>, k के लिए (कहें) से कम एक गैर-नकारात्मक पूर्णांक <math>4^n</math>. तो यह बात सीधे तौर पर सिद्ध की जा सकती है | ||
:<math>\int f\,\mathrm d\mu = \lim_{n\to\infty} \int s_n\,\mathrm d\mu</math> | :<math>\int f\,\mathrm d\mu = \lim_{n\to\infty} \int s_n\,\mathrm d\mu</math> | ||
और दाहिनी ओर की सीमा एक विस्तारित वास्तविक संख्या के रूप में | और दाहिनी ओर की सीमा एक विस्तारित वास्तविक संख्या के रूप में सम्मलित है। यह सरल कार्यों का उपयोग करके लेबेस्ग इंटीग्रल के दृष्टिकोण और रेंज के विभाजन का उपयोग करके लेबेस्ग इंटीग्रल के लिए प्रेरणा के बीच संबंध को पाटता है। | ||
==== हस्ताक्षरित कार्य ==== | ==== हस्ताक्षरित कार्य ==== | ||
हस्ताक्षरित कार्यों को संभालने के लिए, हमें कुछ और परिभाषाओं की आवश्यकता है। | हस्ताक्षरित कार्यों को संभालने के लिए, हमें कुछ और परिभाषाओं की आवश्यकता है। यदि {{math|''f''}} सेट का एक मापने योग्य कार्य है {{math|''E''}} वास्तविक के लिए (सहित {{math|±∞}}), तो हम लिख सकते हैं | ||
:<math> f = f^+ - f^-, </math> | :<math> f = f^+ - f^-, </math> | ||
Line 123: | Line 123: | ||
:<math> |f| = f^+ + f^-. \quad </math> | :<math> |f| = f^+ + f^-. \quad </math> | ||
हम कहते हैं कि मापने योग्य फ़ंक्शन का लेबेस्ग इंटीग्रल {{math|''f''}} | हम कहते हैं कि मापने योग्य फ़ंक्शन का लेबेस्ग इंटीग्रल {{math|''f''}} सम्मलित है, या परिभाषित है यदि कम से कम एक <math display="inline"> \int f^+ \,\mathrm d\mu </math> और <math display="inline"> \int f^- \,\mathrm d\mu </math> परिमित है: | ||
:<math> \min\left(\int f^+ \,\mathrm d \mu, \int f^- \,\mathrm d \mu\right) < \infty. </math> | :<math> \min\left(\int f^+ \,\mathrm d \mu, \int f^- \,\mathrm d \mu\right) < \infty. </math> | ||
Line 129: | Line 129: | ||
:<math> \int f \,\mathrm d \mu = \int f^+ \,\mathrm d\mu - \int f^- \,\mathrm d\mu. </math> | :<math> \int f \,\mathrm d \mu = \int f^+ \,\mathrm d\mu - \int f^- \,\mathrm d\mu. </math> | ||
यदि | |||
:<math> \int |f| \,\mathrm{d}\mu < \infty, </math> | :<math> \int |f| \,\mathrm{d}\mu < \infty, </math> | ||
Line 166: | Line 166: | ||
== रीमैन इंटीग्रल की सीमाएं == | == रीमैन इंटीग्रल की सीमाएं == | ||
फूरियर श्रृंखला के आगमन के साथ, इंटीग्रल्स से जुड़ी कई विश्लेषणात्मक समस्याएं सामने आईं जिनके संतोषजनक समाधान के लिए सीमा प्रक्रियाओं और इंटीग्रल संकेतों को बदलने की आवश्यकता थी। | फूरियर श्रृंखला के आगमन के साथ, इंटीग्रल्स से जुड़ी कई विश्लेषणात्मक समस्याएं सामने आईं जिनके संतोषजनक समाधान के लिए सीमा प्रक्रियाओं और इंटीग्रल संकेतों को बदलने की आवश्यकता थी। चूंकि, जिन शर्तों के अनुसार अभिन्न | ||
: <math> \sum_k \int f_k(x) \,\mathrm dx, \quad \int \left[\sum_k f_k(x) \right] \mathrm dx </math> | : <math> \sum_k \int f_k(x) \,\mathrm dx, \quad \int \left[\sum_k f_k(x) \right] \mathrm dx </math> | ||
रीमैन ढांचे में समान रूप से काफी मायावी | रीमैन ढांचे में समान रूप से काफी मायावी सिद्ध करना हुए हैं। रीमैन इंटीग्रल के साथ कुछ अन्य तकनीकी कठिनाइयाँ हैं। ये ऊपर चर्चा की गई सीमा लेने की कठिनाई से जुड़े हुए हैं। | ||
एकस्वर अभिसरण की विफलता. जैसा कि ऊपर दिखाया गया है, सूचक कार्य करता है {{math|1<sub>'''Q'''</sub>}}तर्कसंगत पर रीमैन पूर्णांकीय नहीं है। विशेष रूप से, मोनोटोन अभिसरण प्रमेय विफल हो जाता है। यह देखने के लिए कि क्यों, आइए {{math|{{mset|''a''<sub>''k''</sub>}}}} में सभी परिमेय संख्याओं की गणना करें {{closed-closed|0, 1}} (वे गणनीय हैं इसलिए यह किया जा सकता है।) तो चलिए | एकस्वर अभिसरण की विफलता. जैसा कि ऊपर दिखाया गया है, सूचक कार्य करता है {{math|1<sub>'''Q'''</sub>}}तर्कसंगत पर रीमैन पूर्णांकीय नहीं है। विशेष रूप से, मोनोटोन अभिसरण प्रमेय विफल हो जाता है। यह देखने के लिए कि क्यों, आइए {{math|{{mset|''a''<sub>''k''</sub>}}}} में सभी परिमेय संख्याओं की गणना करें {{closed-closed|0, 1}} (वे गणनीय हैं इसलिए यह किया जा सकता है।) तो चलिए | ||
Line 175: | Line 175: | ||
कार्यक्रम {{math|''g''<sub>''k''</sub>}}अंकों के एक सीमित सेट को छोड़कर, हर जगह शून्य है। इसलिए इसका रीमैन इंटीग्रल शून्य है। प्रत्येक {{math|''g''<sub>''k''</sub>}} गैर-नकारात्मक है, और कार्यों का यह क्रम नीरस रूप से बढ़ रहा है, लेकिन इसकी सीमा उतनी ही है {{math|''k'' → ∞}} है {{math|1<sub>'''Q'''</sub>}}, जो रीमैन पूर्णांकीय नहीं है। | कार्यक्रम {{math|''g''<sub>''k''</sub>}}अंकों के एक सीमित सेट को छोड़कर, हर जगह शून्य है। इसलिए इसका रीमैन इंटीग्रल शून्य है। प्रत्येक {{math|''g''<sub>''k''</sub>}} गैर-नकारात्मक है, और कार्यों का यह क्रम नीरस रूप से बढ़ रहा है, लेकिन इसकी सीमा उतनी ही है {{math|''k'' → ∞}} है {{math|1<sub>'''Q'''</sub>}}, जो रीमैन पूर्णांकीय नहीं है। | ||
असीमित अंतरालों के लिए अनुपयुक्तता. रीमैन इंटीग्रल केवल एक सीमित अंतराल पर कार्यों को एकीकृत कर सकता है। | असीमित अंतरालों के लिए अनुपयुक्तता. रीमैन इंटीग्रल केवल एक सीमित अंतराल पर कार्यों को एकीकृत कर सकता है। चूंकि इसे सीमाएं लेकर असीमित अंतराल तक बढ़ाया जा सकता है, जब तक कि इससे कोई उत्तर न मिले {{math|∞ − ∞}}. | ||
यूक्लिडियन अंतरिक्ष के | यूक्लिडियन अंतरिक्ष के अतिरिक्त अन्य संरचनाओं पर एकीकरण। रीमैन इंटीग्रल वास्तविक रेखा की क्रम संरचना से अटूट रूप से जुड़ा हुआ है। | ||
== लेबेस्ग इंटीग्रल के मूल प्रमेय == | == लेबेस्ग इंटीग्रल के मूल प्रमेय == | ||
Line 184: | Line 184: | ||
सेट की मापनीयता <math>\{x \mid f(x) \neq g(x)\}</math> आवश्यक नहीं। | सेट की मापनीयता <math>\{x \mid f(x) \neq g(x)\}</math> आवश्यक नहीं। | ||
* | * यदि {{math|''f'', ''g''}} गैर-नकारात्मक मापन योग्य कार्य हैं (संभवतः मान मानते हुए)। {{math|+∞}}) ऐसा है कि {{math|1=''f'' = ''g''}} तो फिर लगभग हर जगह <math display="block"> \int f \, d \mu = \int g \, d \mu. </math> बुद्धिमानी से, अभिन्न लगभग हर जगह समानता के समतुल्य संबंध का सम्मान करता है। | ||
* | * यदि {{math|''f'', ''g''}} ऐसे कार्य हैं {{math|1=''f'' = ''g''}} तो फिर लगभग हर जगह {{math|''f''}} क्या लेब्सेग पूर्णांकित है यदि और केवल यदि {{math|''g''}} लेब्सग्यू पूर्णांक है, और का अभिन्न अंग है {{math|''f''}} और {{math|''g''}} यदि वे सम्मलित हैं तो वही हैं। | ||
* [[रैखिक परिवर्तन]]: यदि {{math|''f''}} और {{math|''g''}} लेबेस्ग इंटीग्रेबल फ़ंक्शंस हैं और {{math|''a''}} और {{math|''b''}} तो फिर वास्तविक संख्याएँ हैं {{math|''af'' + ''bg''}} लेब्सेग इंटीग्रेबल है और <math display="block"> \int (a f + bg) \, d \mu = a \int f \, d\mu + b \int g \, d\mu. </math> | * [[रैखिक परिवर्तन]]: यदि {{math|''f''}} और {{math|''g''}} लेबेस्ग इंटीग्रेबल फ़ंक्शंस हैं और {{math|''a''}} और {{math|''b''}} तो फिर वास्तविक संख्याएँ हैं {{math|''af'' + ''bg''}} लेब्सेग इंटीग्रेबल है और <math display="block"> \int (a f + bg) \, d \mu = a \int f \, d\mu + b \int g \, d\mu. </math> | ||
* एकरसता: यदि {{math|''f'' ≤ ''g''}}, तब <math display="block"> \int f \, d \mu \leq \int g \, d \mu. </math> | * एकरसता: यदि {{math|''f'' ≤ ''g''}}, तब <math display="block"> \int f \, d \mu \leq \int g \, d \mu. </math> | ||
* होने देना <math>(\Omega,\Sigma,\mu)</math> एक माप स्थान बनें. निरूपित <math> \operatorname{\mathcal B}_{\R_{\geq 0}} </math> <math>\sigma</math>- बोरेल का बीजगणित चालू होता है <math>[0,+\infty]</math>. (परिभाषा से, <math>\operatorname{\mathcal B}_{\R_{\geq 0}}</math> सेट | * होने देना <math>(\Omega,\Sigma,\mu)</math> एक माप स्थान बनें. निरूपित <math> \operatorname{\mathcal B}_{\R_{\geq 0}} </math> <math>\sigma</math>- बोरेल का बीजगणित चालू होता है <math>[0,+\infty]</math>. (परिभाषा से, <math>\operatorname{\mathcal B}_{\R_{\geq 0}}</math> सेट सम्मलित है <math>\{+\infty\}</math> और सभी बोरेल उपसमुच्चय <math>\R_{\geq 0}</math>.) एक पर विचार करें <math>(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})</math>-मापने योग्य गैर-नकारात्मक कार्य <math>s:\Omega\to [0,+\infty]</math>. एक सेट के लिए <math>S\in\Sigma</math>, परिभाषित करना <math display="block">\nu(S)=\int_Ss\,d\mu.</math> तब <math>\nu</math> पर एक लेब्सग्यू माप है <math>(\Omega,\Sigma)</math>.{{Dubious|reason=Take s=0, then nu([a,b])=0, while the Lebesgue measure of [a,b] is b-a.|date=January 2023}}{{Citation needed|date=January 2023}} | ||
* लेबेस्ग्यू का मोनोटोन अभिसरण प्रमेय: मान लीजिए {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} गैर-नकारात्मक मापन योग्य कार्यों का एक क्रम है जैसे कि <math display="block"> f_k(x) \leq f_{k+1}(x) \quad \forall k\in \mathbb{N}, \, \forall x \in E. </math> फिर, बिंदुवार सीमा {{math|''f''}} का {{math|''f''<sub>''k''</sub>}} लेबेस्ग मापने योग्य है और <math display="block"> \lim_k \int f_k \, d\mu = \int f \, d \mu. </math> किसी भी अभिन्न अंग का मान अनंत होने की अनुमति है। | * लेबेस्ग्यू का मोनोटोन अभिसरण प्रमेय: मान लीजिए {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} गैर-नकारात्मक मापन योग्य कार्यों का एक क्रम है जैसे कि <math display="block"> f_k(x) \leq f_{k+1}(x) \quad \forall k\in \mathbb{N}, \, \forall x \in E. </math> फिर, बिंदुवार सीमा {{math|''f''}} का {{math|''f''<sub>''k''</sub>}} लेबेस्ग मापने योग्य है और <math display="block"> \lim_k \int f_k \, d\mu = \int f \, d \mu. </math> किसी भी अभिन्न अंग का मान अनंत होने की अनुमति है। | ||
* फ़तौ की लेम्मा: यदि {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} तो, गैर-नकारात्मक मापनीय कार्यों का एक क्रम है <math display="block"> \int \liminf_k f_k \, d \mu \leq \liminf_k \int f_k \, d \mu.</math> पुनः, किसी भी अभिन्न का मान अनंत हो सकता है। | * फ़तौ की लेम्मा: यदि {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} तो, गैर-नकारात्मक मापनीय कार्यों का एक क्रम है <math display="block"> \int \liminf_k f_k \, d \mu \leq \liminf_k \int f_k \, d \mu.</math> पुनः, किसी भी अभिन्न का मान अनंत हो सकता है। | ||
Line 198: | Line 198: | ||
माप सिद्धांत की पूरी मशीनरी पर भरोसा किए बिना लेबेस्ग माप के संबंध में अभिन्न अंग विकसित करना संभव है। ऐसा ही एक दृष्टिकोण [[ डेनियल अभिन्न ]] द्वारा प्रदान किया गया है। | माप सिद्धांत की पूरी मशीनरी पर भरोसा किए बिना लेबेस्ग माप के संबंध में अभिन्न अंग विकसित करना संभव है। ऐसा ही एक दृष्टिकोण [[ डेनियल अभिन्न ]] द्वारा प्रदान किया गया है। | ||
[[कार्यात्मक विश्लेषण]] के तरीकों के माध्यम से एकीकरण के सिद्धांत को विकसित करने का एक वैकल्पिक दृष्टिकोण भी है। रीमैन इंटीग्रल किसी भी निरंतर कार्य के लिए | [[कार्यात्मक विश्लेषण]] के तरीकों के माध्यम से एकीकरण के सिद्धांत को विकसित करने का एक वैकल्पिक दृष्टिकोण भी है। रीमैन इंटीग्रल किसी भी निरंतर कार्य के लिए सम्मलित है {{math|''f''}}[[ सघन स्थान ]] सपोर्ट (गणित) पर परिभाषित {{math|'''R'''<sup>''n''</sup>}} (या एक निश्चित खुला उपसमुच्चय)। इन समाकलनों से आरंभ करके अधिक सामान्य कार्यों के समाकलन बनाए जा सकते हैं। | ||
होने देना {{math|''C<sub>c</sub>''}} आर के सभी वास्तविक-मूल्यवान कॉम्पैक्ट रूप से समर्थित निरंतर कार्यों का स्थान बनें। पर एक मानदंड परिभाषित करें {{math|''C<sub>c</sub>''}} द्वारा | होने देना {{math|''C<sub>c</sub>''}} आर के सभी वास्तविक-मूल्यवान कॉम्पैक्ट रूप से समर्थित निरंतर कार्यों का स्थान बनें। पर एक मानदंड परिभाषित करें {{math|''C<sub>c</sub>''}} द्वारा | ||
Line 204: | Line 204: | ||
तब {{math|''C<sub>c</sub>''}} एक मानक वेक्टर स्पेस है (और विशेष रूप से, यह एक मीट्रिक स्पेस है।) सभी मीट्रिक स्पेस में पूर्ण स्पेस होता है, इसलिए चलो {{math|''L''<sup>1</sup>}} इसकी पूर्णता हो. यह स्थान इंटीग्रल शून्य के साथ कार्यों के उप-स्थान मॉड्यूलो लेबेस्ग इंटीग्रेबल फ़ंक्शंस के स्थान के लिए आइसोमोर्फिक है। इसके अलावा, रीमैन इंटीग्रल {{math|∫}} मानक के संबंध में एक [[समान रूप से निरंतर]] कार्यात्मक है {{math|''C<sub>c</sub>''}}, जो सघन है {{math|''L''<sup>1</sup>}}. इस तरह {{math|∫}} का सभी के लिए एक अद्वितीय विस्तार है {{math|''L''<sup>1</sup>}}. यह इंटीग्रल बिल्कुल लेब्सगेग इंटीग्रल है। | तब {{math|''C<sub>c</sub>''}} एक मानक वेक्टर स्पेस है (और विशेष रूप से, यह एक मीट्रिक स्पेस है।) सभी मीट्रिक स्पेस में पूर्ण स्पेस होता है, इसलिए चलो {{math|''L''<sup>1</sup>}} इसकी पूर्णता हो. यह स्थान इंटीग्रल शून्य के साथ कार्यों के उप-स्थान मॉड्यूलो लेबेस्ग इंटीग्रेबल फ़ंक्शंस के स्थान के लिए आइसोमोर्फिक है। इसके अलावा, रीमैन इंटीग्रल {{math|∫}} मानक के संबंध में एक [[समान रूप से निरंतर]] कार्यात्मक है {{math|''C<sub>c</sub>''}}, जो सघन है {{math|''L''<sup>1</sup>}}. इस तरह {{math|∫}} का सभी के लिए एक अद्वितीय विस्तार है {{math|''L''<sup>1</sup>}}. यह इंटीग्रल बिल्कुल लेब्सगेग इंटीग्रल है। | ||
अधिक | अधिक सामान्यतः, जब माप स्थान जिस पर कार्यों को परिभाषित किया जाता है, वह स्थानीय रूप [[स्थानीय रूप से सघन स्थान]] [[टोपोलॉजिकल स्पेस]] भी होता है (जैसा कि वास्तविक संख्या आर के मामले में होता है), एक उपयुक्त अर्थ में टोपोलॉजी के साथ संगत उपाय (रेडॉन उपाय, जिनमें से लेब्सग्यू माप एक उदाहरण है) उनके संबंध में एक अभिन्न अंग को उसी तरीके से परिभाषित किया जा सकता है, जो [[कॉम्पैक्ट समर्थन]] के साथ निरंतर कार्यों के अभिन्न अंग से शुरू होता है। अधिक सटीक रूप से, कॉम्पैक्ट रूप से समर्थित फ़ंक्शन एक [[ सदिश स्थल ]] बनाते हैं जो प्राकृतिक टोपोलॉजिकल स्पेस को वहन करता है, और (रेडॉन) माप को इस स्पेस पर एक सतत रैखिक मानचित्र कार्यात्मक के रूप में परिभाषित किया गया है। एक सघन रूप से समर्थित फ़ंक्शन पर माप का मान तब परिभाषा के अनुसार फ़ंक्शन का अभिन्न अंग भी होता है। फिर कोई निरंतरता द्वारा माप (अभिन्न) को अधिक सामान्य कार्यों तक विस्तारित करने के लिए आगे बढ़ता है, और एक सेट के माप को उसके संकेतक फ़ंक्शन के अभिन्न अंग के रूप में परिभाषित करता है। यही दृष्टिकोण अपनाया गया है {{Harvtxt|Bourbaki|2004}} और अन्य लेखकों की एक निश्चित संख्या। विवरण के लिए देखें रैडॉन माप#रेडॉन स्थानीय रूप से कॉम्पैक्ट स्थानों पर मापता है। | ||
== लेबेस्ग इंटीग्रल की सीमाएँ == | == लेबेस्ग इंटीग्रल की सीमाएँ == | ||
लेबेस्ग इंटीग्रल का मुख्य उद्देश्य एक इंटीग्रल धारणा प्रदान करना है जहां इंटीग्रल्स की सीमाएं हल्की धारणाओं के अंतर्गत होती हैं। इस बात की कोई गारंटी नहीं है कि प्रत्येक फ़ंक्शन लेब्सग्यू इंटीग्रेबल है। लेकिन ऐसा हो सकता है कि उन फ़ंक्शंस के लिए अनुचित इंटीग्रल | लेबेस्ग इंटीग्रल का मुख्य उद्देश्य एक इंटीग्रल धारणा प्रदान करना है जहां इंटीग्रल्स की सीमाएं हल्की धारणाओं के अंतर्गत होती हैं। इस बात की कोई गारंटी नहीं है कि प्रत्येक फ़ंक्शन लेब्सग्यू इंटीग्रेबल है। लेकिन ऐसा हो सकता है कि उन फ़ंक्शंस के लिए अनुचित इंटीग्रल सम्मलित हों जो लेबेसेग इंटीग्रेबल नहीं हैं। एक उदाहरण sync फ़ंक्शन होगा: | ||
<math display="block">\frac{\sin(x)}{x}</math> | <math display="block">\frac{\sin(x)}{x}</math> | ||
संपूर्ण वास्तविक रेखा पर. यह फ़ंक्शन लेब्सग्यू इंटीग्रेबल नहीं है, जैसे | संपूर्ण वास्तविक रेखा पर. यह फ़ंक्शन लेब्सग्यू इंटीग्रेबल नहीं है, जैसे | ||
<math display="block"> \int_{-\infty}^\infty \left|\frac{\sin(x)}{x}\right| \mathrm d x = \infty.</math> | <math display="block"> \int_{-\infty}^\infty \left|\frac{\sin(x)}{x}\right| \mathrm d x = \infty.</math> | ||
वहीं दूसरी ओर, <math display="inline"> \int_{-\infty}^\infty\frac{\sin(x)}{x} \,\mathrm dx</math> एक अनुचित अभिन्न अंग के रूप में | वहीं दूसरी ओर, <math display="inline"> \int_{-\infty}^\infty\frac{\sin(x)}{x} \,\mathrm dx</math> एक अनुचित अभिन्न अंग के रूप में सम्मलित है और इसे सीमित माना जा सकता है; यह [[डिरिचलेट इंटीग्रल]] से दोगुना और इसके बराबर है <math>\pi</math>. | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 20:11, 7 July 2023
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (September 2021) (Learn how and when to remove this template message) |
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
गणित में, एक एकल चर के एक गैर-नकारात्मक फ़ंक्शन (गणित) के अभिन्न अंग को, सबसे सरल मामले में, उस फ़ंक्शन के फ़ंक्शन के ग्राफ़ और के बीच के क्षेत्र के रूप में माना जा सकता है। x-एक्सिस। लेबेस्ग इंटीग्रल, जिसका नाम फ्रांस के गणितज्ञ हेनरी लेबेस्गुए के नाम पर रखा गया है, इंटीग्रल को कार्यों के एक बड़े वर्ग तक विस्तारित करता है। यह फ़ंक्शंस के डोमेन का भी विस्तार करता है जिस पर इन फ़ंक्शंस को परिभाषित किया जा सकता है।
20वीं शताब्दी से बहुत पहले, गणितज्ञों ने पहले ही समझ लिया था कि सुचारू कार्य के साथ गैर-नकारात्मक कार्यों के लिए पर्याप्त ग्राफ़ - जैसे कि बंद सेट बंधा हुआ सेट अंतराल (गणित) पर निरंतर फ़ंक्शन - वक्र के नीचे का क्षेत्र के रूप में परिभाषित किया जा सकता है अभिन्न, और बहुभुज द्वारा क्षेत्र पर सन्निकटन तकनीकों का उपयोग करके गणना की गई। चूंकि, जैसे-जैसे अधिक अनियमित कार्यों पर विचार करने की आवश्यकता उत्पन्न हुई - उदाहरण के लिए, गणितीय विश्लेषण की फ़ंक्शन प्रक्रियाओं की सीमा और संभाव्यता के गणितीय सिद्धांत के परिणामस्वरूप - यह स्पष्ट हो गया कि उपयुक्त अभिन्न को परिभाषित करने के लिए अधिक सावधानीपूर्वक सन्निकटन तकनीकों की आवश्यकता थी। इसके अलावा, कोई व्यक्ति वास्तविक रेखा से अधिक सामान्य स्थानों को एकीकृत करना चाह सकता है। लेबेस्ग इंटीग्रल इसके लिए आवश्यक सार-संक्षेप प्रदान करता है।
लेबेस्ग इंटीग्रल संभाव्यता सिद्धांत, वास्तविक विश्लेषण और गणित के कई अन्य क्षेत्रों में एक महत्वपूर्ण भूमिका निभाता है। इसका नाम हेनरी लेब्सग्यू (1875-1941) के नाम पर रखा गया है, जिन्होंने इंटीग्रल की शुरुआत की थी (Lebesgue 1904). यह संभाव्यता के स्वयंसिद्ध सिद्धांत का भी एक महत्वपूर्ण हिस्सा है।
लेबेस्ग एकीकरण शब्द का अर्थ या तो सामान्य माप (गणित) के संबंध में किसी फ़ंक्शन के एकीकरण का सामान्य सिद्धांत हो सकता है, जैसा कि लेबेस्गु द्वारा प्रस्तुत किया गया है, या वास्तविक लाइन के उप-डोमेन पर परिभाषित फ़ंक्शन के एकीकरण का विशिष्ट स्थिति हो सकता है। लेब्सगेग उपाय के प्रति सम्मान।
परिचय
एक सकारात्मक कार्य का अभिन्न अंग f सीमाओं के बीच a और b की व्याख्या ग्राफ़ के अंतर्गत आने वाले क्षेत्र के रूप में की जा सकती है f. यह बहुपद जैसे कार्यों के लिए सीधा है, लेकिन अधिक विदेशी कार्यों के लिए इसका क्या मतलब है? सामान्यतः, किस वर्ग के कार्यों के लिए वक्र के नीचे का क्षेत्र मायने रखता है? इस प्रश्न का उत्तर बहुत सैद्धांतिक और व्यावहारिक महत्व रखता है।
उन्नीसवीं सदी में गणित में गणितीय कठोरता की ओर एक सामान्य आंदोलन के हिस्से के रूप में, गणितज्ञों ने इंटीग्रल कैलकुलस को एक मजबूत आधार पर रखने का प्रयास किया। बर्नहार्ड रीमैन (1826-1866) द्वारा प्रस्तावित रीमैन अभिन्न - ऐसी नींव प्रदान करने का एक व्यापक रूप से सफल प्रयास है। रीमैन की परिभाषा आसानी से गणना किए गए क्षेत्रों के अनुक्रम के निर्माण से शुरू होती है जो किसी दिए गए फ़ंक्शन के अभिन्न अंग में परिवर्तित होते हैं। यह परिभाषा इस अर्थ में सफल है कि यह पहले से ही हल हो चुकी कई समस्याओं के लिए अपेक्षित उत्तर देती है, और कई अन्य समस्याओं के लिए उपयोगी परिणाम देती है।
चूंकि, रीमैन एकीकरण कार्यों के अनुक्रमों की सीमा लेने के साथ अच्छी तरह से बातचीत नहीं करता है, जिससे ऐसी सीमित प्रक्रियाओं का विश्लेषण करना मुश्किल हो जाता है। उदाहरण के लिए, फूरियर श्रृंखला, फूरियर रूपांतरण और अन्य विषयों के अध्ययन में यह महत्वपूर्ण है। लेबेस्ग इंटीग्रल यह वर्णन करने में बेहतर ढंग से सक्षम है कि इंटीग्रल साइन के अनुसार सीमाएं कब और कैसे लेना संभव है (मोनोटोन अभिसरण प्रमेय और प्रभुत्व अभिसरण प्रमेय के माध्यम से)।
जबकि रीमैन इंटीग्रल एक वक्र के नीचे के क्षेत्र को ऊर्ध्वाधर आयतों से बना मानता है, लेबेस्ग्यू परिभाषा क्षैतिज स्लैब पर विचार करती है जो जरूरी नहीं कि सिर्फ आयताकार हों, और इसलिए यह अधिक लचीला है। इस कारण से, लेबेस्ग्यू परिभाषा कार्यों के व्यापक वर्ग के लिए अभिन्नों की गणना करना संभव बनाती है। उदाहरण के लिए, डिरिचलेट फ़ंक्शन, जो 0 है जहां इसका तर्क अपरिमेय संख्या है और अन्यथा 1, में एक लेबेस्ग इंटीग्रल है, लेकिन इसमें रीमैन इंटीग्रल नहीं है। इसके अलावा, इस फ़ंक्शन का लेबेस्ग इंटीग्रल शून्य है, जो इस अंतर्ज्ञान से सहमत है कि इकाई अंतराल से यादृच्छिक रूप से समान रूप से वास्तविक संख्या चुनते समय, एक तर्कसंगत संख्या चुनने की संभावना शून्य होनी चाहिए।
लेबेस्ग्यू ने पॉल मोंटेल को लिखे एक पत्र में एकीकरण के प्रति अपने दृष्टिकोण का सारांश दिया:
I have to pay a certain sum, which I have collected in my pocket. I take the bills and coins out of my pocket and give them to the creditor in the order I find them until I have reached the total sum. This is the Riemann integral. But I can proceed differently. After I have taken all the money out of my pocket I order the bills and coins according to identical values and then I pay the several heaps one after the other to the creditor. This is my integral.
— Source: (Siegmund-Schultze 2008)
अंतर्दृष्टि यह है कि व्यक्ति को इंटीग्रल के मान को संरक्षित करते हुए किसी फ़ंक्शन के मानों को स्वतंत्र रूप से पुनर्व्यवस्थित करने में सक्षम होना चाहिए। पुनर्व्यवस्था की यह प्रक्रिया एक बहुत ही पैथोलॉजिकल (गणित) को एकीकरण के दृष्टिकोण से अच्छे में बदल सकती है, और इस प्रकार ऐसे पैथोलॉजिकल कार्यों को एकीकृत किया जा सकता है।
सहज व्याख्या
फोलैंड (1984) ने रीमैन और लेबेस्ग दृष्टिकोण के बीच अंतर को इस प्रकार सारांशित किया है: रीमैन इंटीग्रल की गणना करने के लिए f, एक डोमेन का विभाजन करता है [a, b] उपअंतरालों में, जबकि लेबेस्ग इंटीग्रल में, वास्तव में एक की सीमा को विभाजित किया जाता है f.[1]
रीमैन इंटीग्रल के लिए, डोमेन को अंतरालों में विभाजित किया गया है, और ग्राफ़ की ऊंचाई को पूरा करने के लिए बार का निर्माण किया गया है। इन पट्टियों के क्षेत्रों को एक साथ जोड़ा जाता है, और यह प्रपत्र के क्षेत्रों के योग द्वारा, अभिन्न का अनुमान लगाता है कहाँ एक आयत की ऊंचाई है और इसकी चौड़ाई है.
लेबेस्ग इंटीग्रल के लिए, रेंज को अंतरालों में विभाजित किया गया है, और इसलिए ग्राफ़ के नीचे के क्षेत्र को क्षैतिज स्लैब में विभाजित किया गया है (जो सेट से जुड़े नहीं हो सकते हैं)। ऊँचाई dy के f के ग्राफ के नीचे एक छोटे क्षैतिज स्लैब का क्षेत्रफल, स्लैब की चौड़ाई गुणा dy के माप के बराबर है:
इन क्षैतिज स्लैबों के क्षेत्रों को जोड़कर लेबेस्ग इंटीग्रल को #अनुचित रीमैन इंटीग्रल के माध्यम से जोड़ा जा सकता है।
सरल कार्य
लेबेस्ग इंटीग्रल को पेश करने का एक समकक्ष तरीका तथाकथित #Via सरल कार्यों का उपयोग करना है, जो रीमैन एकीकरण के चरण कार्यों को सामान्यीकृत करता है। उदाहरण के लिए, सुचारू नए दैनिक स्थितियों (दाएं) के ग्राफ से संचयी COVID-19 मामले की संख्या निर्धारित करने पर विचार करें।
- रीमैन-डारबौक्स दृष्टिकोण
- डोमेन (समय अवधि) को अंतरालों में विभाजित करें (आठ, दाईं ओर के उदाहरण में) और ग्राफ़ से मिलने वाली ऊंचाइयों के साथ बार का निर्माण करें। संचयी गणना सभी बारों के योग से, अंतराल की चौड़ाई (दिनों में समय) और बार की ऊंचाई (प्रति दिन मामले) के उत्पाद द्वारा पाई जाती है।
- लेबेस्ग दृष्टिकोण
- फ़ंक्शन की सीमा में लक्ष्य मानों की एक सीमित संख्या (उदाहरण में आठ) चुनें। इन मानों के बराबर ऊंचाई वाले बार का निर्माण करके, लेकिन फ़ंक्शन के नीचे, वे डोमेन को समान संख्या में सबसेट में विभाजित करते हैं (उदाहरण में रंग द्वारा इंगित सबसेट को कनेक्ट करने की आवश्यकता नहीं है)। यह एक सरल कार्य है, जैसा कि नीचे बताया गया है। संचयी गणना डोमेन के सभी उपसमूहों, उस उपसमूह पर माप के उत्पाद (दिनों में कुल समय) और बार ऊंचाई (प्रति दिन स्थितियों) के योग से पाई जाती है।
माप सिद्धांत
माप सिद्धांत शुरू में वास्तविक रेखा के उपसमुच्चय की लंबाई की धारणा का एक उपयोगी सार प्रदान करने के लिए बनाया गया था - और, अधिक सामान्यतः, यूक्लिडियन रिक्त स्थान के उपसमुच्चय का क्षेत्रफल और आयतन। विशेष रूप से, इसने इस प्रश्न का एक व्यवस्थित उत्तर प्रदान किया कि किस उपसमूह का 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-अंतरिक्ष Rn या कुछ लेबेस्ग इसका उपसमुच्चय मापते हैं, X सभी लेबेस्ग मापनयोग्य उपसमुच्चय का σ-बीजगणित है E, और μ लेब्सेग माप है। संभाव्यता के गणितीय सिद्धांत में, हम अपने अध्ययन को संभाव्यता माप तक सीमित रखते हैंμ, जो संतुष्ट करता है μ(E) = 1.
लेबेस्ग्यू का सिद्धांत कार्यों के एक वर्ग के लिए अभिन्नों को परिभाषित करता है जिन्हें मापने योग्य कार्य कहा जाता है। एक वास्तविक-मूल्यवान कार्य f पर E यदि फॉर्म के प्रत्येक अंतराल की पूर्व-छवि मापी जा सकती है (t, ∞) में है X:
हम दिखा सकते हैं कि यह आवश्यकता के बराबर है कि आर के किसी भी बोरेल बीजगणित उपसमुच्चय की पूर्व-छवि अंदर हो X. मापने योग्य कार्यों का सेट बीजगणितीय संचालन के अनुसार बंद है, लेकिन अधिक महत्वपूर्ण बात यह है कि यह विभिन्न प्रकार की सीमा श्रेष्ठ और सीमा निम्न के अनुसार बंद है | बिंदुवार अनुक्रमिक सीमाएं:
मूल अनुक्रम होने पर मापे जा सकते हैं (fk), कहाँ k ∈ N, मापने योग्य कार्यों से युक्त है।
मापने योग्य वास्तविक-मूल्यवान कार्यों के लिए एक अभिन्न अंग को परिभाषित करने के लिए कई दृष्टिकोण हैं f पर परिभाषित किया गया E, और ऐसे अभिन्न को दर्शाने के लिए कई नोटेशन का उपयोग किया जाता है।
क्रम के वितरण के साथ उपायों के वितरण_(गणित) में पहचान के बाद 0, या रेडॉन माप के साथ, कोई दोहरी प्रणाली नोटेशन का भी उपयोग कर सकता है और इसके संबंध में अभिन्न अंग लिख सकता है μ प्रपत्र में
परिभाषा
लेबेस्ग इंटीग्रल के सिद्धांत के लिए इन सेटों पर मापने योग्य सेटों और मापों के सिद्धांत के साथ-साथ इन कार्यों पर मापने योग्य कार्यों और इंटीग्रल्स के सिद्धांत की आवश्यकता होती है।
सरल कार्यों के माध्यम से
लेबेस्ग इंटीग्रल के निर्माण का एक तरीका तथाकथित सरल कार्यों का उपयोग करना है: संकेतक कार्यों के परिमित, वास्तविक रैखिक संयोजन। सरल फ़ंक्शन जो सीधे किसी दिए गए फ़ंक्शन के नीचे स्थित होते हैं f की सीमा को विभाजित करके बनाया जा सकता है f परतों की एक सीमित संख्या में। के ग्राफ का प्रतिच्छेदन f एक परत के साथ के क्षेत्र में अंतराल के एक सेट की पहचान करता है f, जिसे एक साथ मिलाकर, साधारण फ़ंक्शन के अनुसार, उस परत की निचली सीमा की पूर्वछवि के रूप में परिभाषित किया गया है। इस प्रकार, की सीमा का विभाजन f का तात्पर्य इसके डोमेन के विभाजन से है। एक साधारण फ़ंक्शन का अभिन्न अंग, डोमेन के इन (जरूरी नहीं कि जुड़े हुए) उपसमुच्चय पर, सरल फ़ंक्शन के अनुसार उपसमुच्चय और उसकी छवि के माप के उत्पाद (संबंधित परत की निचली सीमा) को जोड़कर पाया जाता है; सहज रूप से, यह उत्पाद समान ऊँचाई की सभी पट्टियों के क्षेत्रफलों का योग है। एक गैर-नकारात्मक सामान्य मापनीय फ़ंक्शन के अभिन्न अंग को तब सरल कार्यों द्वारा सन्निकटन के उचित सर्वोच्च के रूप में परिभाषित किया जाता है, और एक (जरूरी नहीं कि सकारात्मक) मापने योग्य फ़ंक्शन का अभिन्न अंग गैर-नकारात्मक मापनीय कार्यों के दो अभिन्नों का अंतर होता है।
संकेतक कार्य
सूचक फ़ंक्शन के अभिन्न अंग के लिए एक मान निर्दिष्ट करना 1S एक मापने योग्य सेट का S दिए गए माप_(गणित) μ के अनुरूप, एकमात्र उचित विकल्प सेट करना है:
ध्यान दें कि परिणाम बराबर हो सकता है +∞, जब तक μ एक सीमित माप है.
सरल कार्य
सूचक कार्यों का एक सीमित रैखिक संयोजन
जहां गुणांक ak वास्तविक संख्याएँ हैं और Sk असंयुक्त मापन योग्य समुच्चय हैं, जिन्हें मापन योग्य सरल फलन कहा जाता है। हम रैखिकता द्वारा अभिन्न को गैर-नकारात्मक मापनीय सरल कार्यों तक विस्तारित करते हैं। जब गुणांक ak सकारात्मक हैं, हम सेट करते हैं
क्या यह योग परिमित है या +∞. एक साधारण फ़ंक्शन को सूचक कार्यों के रैखिक संयोजन के रूप में अलग-अलग तरीकों से लिखा जा सकता है, लेकिन उपायों की योगात्मकता से अभिन्न अंग समान होगा।
अपरिभाषित अभिव्यक्ति से बचने के लिए, वास्तविक-मूल्य वाले सरल फ़ंक्शन के अभिन्न अंग को परिभाषित करते समय कुछ देखभाल की आवश्यकता होती है ∞ − ∞: कोई मानता है कि प्रतिनिधित्व
इस प्रकार कि μ(Sk) < ∞ जब कभी भी ak ≠ 0. तब f के समाकलन के लिए उपरोक्त सूत्र समझ में आता है, और परिणाम विशेष निरूपण पर निर्भर नहीं करता है f धारणाओं को संतुष्ट करना।
यदि B का एक मापने योग्य उपसमुच्चय है E और s एक मापने योग्य सरल कार्य है जिसे कोई परिभाषित करता है
गैर-नकारात्मक कार्य
होने देना f एक गैर-नकारात्मक मापनीय फ़ंक्शन बनें E, जिसे हम मूल्य प्राप्त करने की अनुमति देते हैं +∞, दूसरे शब्दों में, f विस्तारित वास्तविक संख्या रेखा में गैर-नकारात्मक मान लेता है। हम परिभाषित करते हैं
हमें यह दिखाने की ज़रूरत है कि यह अभिन्न अंग पिछले वाले से मेल खाता है, जिसे सरल कार्यों के सेट पर परिभाषित किया गया है, जब E एक खंड [a,b] है। यह भी सवाल है कि क्या यह किसी भी तरह से एकीकरण की रीमैन धारणा से मेल खाता है। यह सिद्ध करना संभव है कि दोनों प्रश्नों का उत्तर हाँ है।
हमने ई पर किसी भी गैर-नकारात्मक विस्तारित वास्तविक-मूल्य मापन योग्य फ़ंक्शन के लिए एफ के अभिन्न अंग को परिभाषित किया है। कुछ कार्यों के लिए, यह अभिन्न अंग∫E f dμ अनंत है.
सरल कार्यों का एक विशेष अनुक्रम रखना अधिकांशतः उपयोगी होता है जो लेबेस्ग इंटीग्रल वेल (एक रीमैन योग के अनुरूप) का अनुमान लगाता है। एक गैर-नकारात्मक मापन योग्य फ़ंक्शन के लिए f, होने देना वह सरल फलन हो जिसका मान है जब कभी भी , k के लिए (कहें) से कम एक गैर-नकारात्मक पूर्णांक . तो यह बात सीधे तौर पर सिद्ध की जा सकती है
और दाहिनी ओर की सीमा एक विस्तारित वास्तविक संख्या के रूप में सम्मलित है। यह सरल कार्यों का उपयोग करके लेबेस्ग इंटीग्रल के दृष्टिकोण और रेंज के विभाजन का उपयोग करके लेबेस्ग इंटीग्रल के लिए प्रेरणा के बीच संबंध को पाटता है।
हस्ताक्षरित कार्य
हस्ताक्षरित कार्यों को संभालने के लिए, हमें कुछ और परिभाषाओं की आवश्यकता है। यदि f सेट का एक मापने योग्य कार्य है E वास्तविक के लिए (सहित ±∞), तो हम लिख सकते हैं
कहाँ
ध्यान दें कि दोनों f+ और f− गैर-नकारात्मक मापन योग्य कार्य हैं। यह भी ध्यान रखें
हम कहते हैं कि मापने योग्य फ़ंक्शन का लेबेस्ग इंटीग्रल f सम्मलित है, या परिभाषित है यदि कम से कम एक और परिमित है:
इस मामले में हम परिभाषित करते हैं
यदि
हम ऐसा कहते हैं f लेब्सग्यू पूर्णांक है।
यह पता चला है कि यह परिभाषा अभिन्न के वांछनीय गुण देती है।
अनुचित रीमैन इंटीग्रल के माध्यम से
ये मानते हुए फ़ंक्शन मापने योग्य और गैर-नकारात्मक है
नीरस रूप से गैर-बढ़ती है। लेबेस्ग इंटीग्रल को तब अनुचित रीमैन इंटीग्रल के रूप में परिभाषित किया जा सकता है :[2]
यह अभिन्न अंग अनुचित है और (संभवतः) शून्य पर भी. यह अस्तित्व में है, इस अनुमति के साथ कि यह अनंत हो सकता है।[3][4] जैसा कि ऊपर दिया गया है, एक लेबेस्ग इंटीग्रेबल (जरूरी नहीं कि गैर-नकारात्मक) फ़ंक्शन का अभिन्न अंग इसके सकारात्मक और नकारात्मक भागों के अभिन्न अंग को घटाकर परिभाषित किया गया है।
जटिल-मूल्यवान कार्य
वास्तविक भाग और काल्पनिक भाग पर अलग-अलग विचार करके, जटिल संख्या-मूल्य वाले कार्यों को समान रूप से एकीकृत किया जा सकता है।
यदि वास्तविक-मूल्यवान पूर्णांकीय फलनों f, g के लिए h=f+ig है, तो h का समाकलन किसके द्वारा परिभाषित किया गया है?
फ़ंक्शन लेब्सग्यू इंटीग्रेबल है यदि और केवल यदि इसका निरपेक्ष मान लेब्सग्यू इंटीग्रेबल है (बिल्कुल एकीकृत कार्य देखें)।
उदाहरण
परिमेय संख्याओं के सूचक फलन पर विचार करें, 1Q, जिसे डिरिचलेट फ़ंक्शन के रूप में भी जाना जाता है। यह कार्य कहीं भी सतत नहीं है।
- रीमैन-अभिन्न नहीं है [0, 1]: कोई फर्क नहीं पड़ता कि सेट कैसा है [0, 1] को उपअंतरालों में विभाजित किया गया है, प्रत्येक विभाजन में कम से कम एक परिमेय और कम से कम एक अपरिमेय संख्या होती है, क्योंकि परिमेय और अपरिमेय दोनों ही वास्तविकता में घने होते हैं। इस प्रकार ऊपरी डार्बौक्स योग सभी एक हैं, और निचले डार्बौक्स योग सभी शून्य हैं।
- लेब्सग्यू-अभिन्न पर है [0, 1] लेबेस्ग माप का उपयोग करना: वास्तव में, यह परिभाषा के अनुसार परिमेय का सूचक कार्य है क्योंकि Q गणनीय है.
एकीकरण का क्षेत्र
लेबेस्ग एकीकरण में एक तकनीकी मुद्दा यह है कि एकीकरण के डोमेन को एक सेट (माप स्थान का एक उपसमूह) के रूप में परिभाषित किया गया है, जिसमें अभिविन्यास की कोई धारणा नहीं है। प्राथमिक कलन में, एकीकरण को एक अभिविन्यास (कई गुना) के संबंध में परिभाषित किया जाता है:
इसे उच्च आयामों में सामान्यीकृत करने से विभेदक रूपों का एकीकरण प्राप्त होता है। इसके विपरीत, लेबेस्ग एकीकरण एक वैकल्पिक सामान्यीकरण प्रदान करता है, जो एक माप के संबंध में सबसेट पर एकीकरण करता है; इसे इस प्रकार नोट किया जा सकता है
एक उपसमूह पर एकीकरण को इंगित करने के लिए A. इन सामान्यीकरणों के बीच संबंध के विवरण के लिए देखें Differential form § Relation with measures.
रीमैन इंटीग्रल की सीमाएं
फूरियर श्रृंखला के आगमन के साथ, इंटीग्रल्स से जुड़ी कई विश्लेषणात्मक समस्याएं सामने आईं जिनके संतोषजनक समाधान के लिए सीमा प्रक्रियाओं और इंटीग्रल संकेतों को बदलने की आवश्यकता थी। चूंकि, जिन शर्तों के अनुसार अभिन्न
रीमैन ढांचे में समान रूप से काफी मायावी सिद्ध करना हुए हैं। रीमैन इंटीग्रल के साथ कुछ अन्य तकनीकी कठिनाइयाँ हैं। ये ऊपर चर्चा की गई सीमा लेने की कठिनाई से जुड़े हुए हैं।
एकस्वर अभिसरण की विफलता. जैसा कि ऊपर दिखाया गया है, सूचक कार्य करता है 1Qतर्कसंगत पर रीमैन पूर्णांकीय नहीं है। विशेष रूप से, मोनोटोन अभिसरण प्रमेय विफल हो जाता है। यह देखने के लिए कि क्यों, आइए {ak} में सभी परिमेय संख्याओं की गणना करें [0, 1] (वे गणनीय हैं इसलिए यह किया जा सकता है।) तो चलिए
कार्यक्रम gkअंकों के एक सीमित सेट को छोड़कर, हर जगह शून्य है। इसलिए इसका रीमैन इंटीग्रल शून्य है। प्रत्येक gk गैर-नकारात्मक है, और कार्यों का यह क्रम नीरस रूप से बढ़ रहा है, लेकिन इसकी सीमा उतनी ही है k → ∞ है 1Q, जो रीमैन पूर्णांकीय नहीं है।
असीमित अंतरालों के लिए अनुपयुक्तता. रीमैन इंटीग्रल केवल एक सीमित अंतराल पर कार्यों को एकीकृत कर सकता है। चूंकि इसे सीमाएं लेकर असीमित अंतराल तक बढ़ाया जा सकता है, जब तक कि इससे कोई उत्तर न मिले ∞ − ∞.
यूक्लिडियन अंतरिक्ष के अतिरिक्त अन्य संरचनाओं पर एकीकरण। रीमैन इंटीग्रल वास्तविक रेखा की क्रम संरचना से अटूट रूप से जुड़ा हुआ है।
लेबेस्ग इंटीग्रल के मूल प्रमेय
कहा जाता है कि दो कार्य लगभग हर जगह समान होते हैं ( संक्षेप में) यदि शून्य समुच्चय का उपसमुच्चय है।
सेट की मापनीयता आवश्यक नहीं।
- यदि f, g गैर-नकारात्मक मापन योग्य कार्य हैं (संभवतः मान मानते हुए)। +∞) ऐसा है कि f = g तो फिर लगभग हर जगह बुद्धिमानी से, अभिन्न लगभग हर जगह समानता के समतुल्य संबंध का सम्मान करता है।
- यदि f, g ऐसे कार्य हैं f = g तो फिर लगभग हर जगह f क्या लेब्सेग पूर्णांकित है यदि और केवल यदि g लेब्सग्यू पूर्णांक है, और का अभिन्न अंग है f और g यदि वे सम्मलित हैं तो वही हैं।
- रैखिक परिवर्तन: यदि f और g लेबेस्ग इंटीग्रेबल फ़ंक्शंस हैं और a और b तो फिर वास्तविक संख्याएँ हैं af + bg लेब्सेग इंटीग्रेबल है और
- एकरसता: यदि f ≤ g, तब
- होने देना एक माप स्थान बनें. निरूपित - बोरेल का बीजगणित चालू होता है . (परिभाषा से, सेट सम्मलित है और सभी बोरेल उपसमुच्चय .) एक पर विचार करें -मापने योग्य गैर-नकारात्मक कार्य . एक सेट के लिए , परिभाषित करना तब पर एक लेब्सग्यू माप है .[dubious ][citation needed]
- लेबेस्ग्यू का मोनोटोन अभिसरण प्रमेय: मान लीजिए { fk}k ∈ N गैर-नकारात्मक मापन योग्य कार्यों का एक क्रम है जैसे कि फिर, बिंदुवार सीमा f का fk लेबेस्ग मापने योग्य है औरकिसी भी अभिन्न अंग का मान अनंत होने की अनुमति है।
- फ़तौ की लेम्मा: यदि { fk}k ∈ N तो, गैर-नकारात्मक मापनीय कार्यों का एक क्रम है पुनः, किसी भी अभिन्न का मान अनंत हो सकता है।
- प्रभुत्व अभिसरण प्रमेय: मान लीजिए {fk}k ∈ N बिंदुवार सीमा के साथ जटिल मापने योग्य कार्यों का एक क्रम है f, और एक लेब्सग्यू इंटीग्रेबल फ़ंक्शन है g (अर्थात।, g का है space L1) ऐसा है कि | fk | ≤ g सभी के लिए k. तब, f लेब्सेग इंटीग्रेबल है और
वैकल्पिक सूत्रीकरण
माप सिद्धांत की पूरी मशीनरी पर भरोसा किए बिना लेबेस्ग माप के संबंध में अभिन्न अंग विकसित करना संभव है। ऐसा ही एक दृष्टिकोण डेनियल अभिन्न द्वारा प्रदान किया गया है।
कार्यात्मक विश्लेषण के तरीकों के माध्यम से एकीकरण के सिद्धांत को विकसित करने का एक वैकल्पिक दृष्टिकोण भी है। रीमैन इंटीग्रल किसी भी निरंतर कार्य के लिए सम्मलित है fसघन स्थान सपोर्ट (गणित) पर परिभाषित Rn (या एक निश्चित खुला उपसमुच्चय)। इन समाकलनों से आरंभ करके अधिक सामान्य कार्यों के समाकलन बनाए जा सकते हैं।
होने देना Cc आर के सभी वास्तविक-मूल्यवान कॉम्पैक्ट रूप से समर्थित निरंतर कार्यों का स्थान बनें। पर एक मानदंड परिभाषित करें Cc द्वारा
अधिक सामान्यतः, जब माप स्थान जिस पर कार्यों को परिभाषित किया जाता है, वह स्थानीय रूप स्थानीय रूप से सघन स्थान टोपोलॉजिकल स्पेस भी होता है (जैसा कि वास्तविक संख्या आर के मामले में होता है), एक उपयुक्त अर्थ में टोपोलॉजी के साथ संगत उपाय (रेडॉन उपाय, जिनमें से लेब्सग्यू माप एक उदाहरण है) उनके संबंध में एक अभिन्न अंग को उसी तरीके से परिभाषित किया जा सकता है, जो कॉम्पैक्ट समर्थन के साथ निरंतर कार्यों के अभिन्न अंग से शुरू होता है। अधिक सटीक रूप से, कॉम्पैक्ट रूप से समर्थित फ़ंक्शन एक सदिश स्थल बनाते हैं जो प्राकृतिक टोपोलॉजिकल स्पेस को वहन करता है, और (रेडॉन) माप को इस स्पेस पर एक सतत रैखिक मानचित्र कार्यात्मक के रूप में परिभाषित किया गया है। एक सघन रूप से समर्थित फ़ंक्शन पर माप का मान तब परिभाषा के अनुसार फ़ंक्शन का अभिन्न अंग भी होता है। फिर कोई निरंतरता द्वारा माप (अभिन्न) को अधिक सामान्य कार्यों तक विस्तारित करने के लिए आगे बढ़ता है, और एक सेट के माप को उसके संकेतक फ़ंक्शन के अभिन्न अंग के रूप में परिभाषित करता है। यही दृष्टिकोण अपनाया गया है Bourbaki (2004) और अन्य लेखकों की एक निश्चित संख्या। विवरण के लिए देखें रैडॉन माप#रेडॉन स्थानीय रूप से कॉम्पैक्ट स्थानों पर मापता है।
लेबेस्ग इंटीग्रल की सीमाएँ
लेबेस्ग इंटीग्रल का मुख्य उद्देश्य एक इंटीग्रल धारणा प्रदान करना है जहां इंटीग्रल्स की सीमाएं हल्की धारणाओं के अंतर्गत होती हैं। इस बात की कोई गारंटी नहीं है कि प्रत्येक फ़ंक्शन लेब्सग्यू इंटीग्रेबल है। लेकिन ऐसा हो सकता है कि उन फ़ंक्शंस के लिए अनुचित इंटीग्रल सम्मलित हों जो लेबेसेग इंटीग्रेबल नहीं हैं। एक उदाहरण sync फ़ंक्शन होगा:
यह भी देखें
- हेनरी लेब्सग्यू#लेब्सग्यू का एकीकरण का सिद्धांत, लेब्सग्यू एकीकरण के गैर-तकनीकी विवरण के लिए
- शून्य सेट
- अभिन्न
- माप (गणित)
- सिग्मा-बीजगणित
- लेब्सेग स्पेस (बहुविकल्पी)
- लेबेस्गुए-स्टिल्टजेस एकीकरण
- रीमैन इंटीग्रल
- हेनस्टॉक-कुर्जवील इंटीग्रल
टिप्पणियाँ
- ↑ Folland, Gerald B. (1984). Real Analysis: Modern Techniques and Their Applications. Wiley. p. 56. ISBN 9780471809586.
- ↑ Lieb & Loss 2001
- ↑ If is infinite at an interior point of the domain, then the integral must be taken to be infinity. Otherwise is finite everywhere on and hence bounded on every finite interval where Therefore the improper Riemann integral (whether finite or infinite) is well defined.
- ↑ Equivalently, one could have defined since for almost all
संदर्भ
- 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
(help). English translation by Laurence Chisholm Young, with two additional notes by Stefan Banach.|series=
- 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.