मोनोटोन अभिसरण प्रमेय

From Vigyanwiki
Revision as of 17:48, 1 August 2023 by alpha>Ajays

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

वास्तविक संख्याओं के मोनोटोन अनुक्रम का अभिसरण

लेम्मा 1

यदि वास्तविक संख्याओं का अनुक्रम बढ़ रहा है और ऊपर से घिरा हुआ है, तो इसकी सर्वोच्च सीमा है।

प्रमाण

होने देना ऐसा क्रम हो, और चलो की शर्तों का सेट हो . अनुमान से, गैर-रिक्त है और ऊपर से घिरा हुआ है। वास्तविक संख्याओं की न्यूनतम-ऊपरी-सीमा वाली संपत्ति द्वारा, अस्तित्व में है और सीमित है। अब, प्रत्येक के लिए , वहां मौजूद ऐसा है कि , अन्यथा से की ऊपरी सीमा है , जो की परिभाषा के विपरीत है . तब से बढ़ रहा है, और प्रत्येक के लिए इसकी ऊपरी सीमा है , अपने पास . इसलिए, परिभाषा के अनुसार, की सीमा है

लेम्मा 2

यदि वास्तविक संख्याओं का कोई क्रम घट रहा हो और नीचे परिबद्ध हो, तो उसकी न्यूनतम सीमा होती है।

प्रमाण

प्रमाण उस मामले के प्रमाण के समान है जब अनुक्रम बढ़ रहा है और ऊपर से घिरा हुआ है।

प्रमेय

अगर वास्तविक संख्याओं का मोनोटोन अनुक्रम है (अर्थात्, यदि an≤एn+1 प्रत्येक n ≥ 1 या a के लिएn≥एn+1 प्रत्येक n ≥ 1) के लिए, तो इस अनुक्रम की सीमित सीमा होती है यदि और केवल यदि अनुक्रम परिबद्ध अनुक्रम है।[1]

प्रमाण

  • यदि -दिशा: प्रमाण सीधे लेम्मास से आता है।
  • केवल यदि -दिशा: (ε, δ) द्वारा - सीमा की परिभाषा, प्रत्येक अनुक्रम सीमित सीमा के साथ आवश्यक रूप से परिबद्ध है।

एक मोनोटोन श्रृंखला का अभिसरण

प्रमेय

यदि सभी प्राकृत संख्याओं j और k के लिए, aj,k गैर-नकारात्मक वास्तविक संख्या है और aj,k≤ एj+1,k, तब[2]: 168 

प्रमेय कहता है कि यदि आपके पास गैर-नकारात्मक वास्तविक संख्याओं का अनंत मैट्रिक्स है

  1. कॉलम कमजोर रूप से बढ़ रहे हैं और बंधे हुए हैं, और
  2. प्रत्येक पंक्ति के लिए, श्रृंखला (गणित) जिसके पद इस पंक्ति द्वारा दिए गए हैं, का अभिसरण योग है,

तो पंक्तियों के योग की सीमा उस श्रृंखला के योग के बराबर होती है जिसका पद k स्तंभ k की सीमा द्वारा दिया जाता है (जो इसका सर्वोच्च भी है)। श्रृंखला में अभिसरण योग होता है यदि और केवल यदि पंक्ति योगों का (कमजोर रूप से बढ़ता हुआ) क्रम परिबद्ध है और इसलिए अभिसरण है।

उदाहरण के तौर पर, पंक्तियों की अनंत श्रृंखला पर विचार करें

जहां n अनंत तक पहुंचता है (इस श्रृंखला की सीमा e (गणितीय स्थिरांक) है)। यहां पंक्ति n और कॉलम k में मैट्रिक्स प्रविष्टि है

कॉलम (निश्चित k) वास्तव में n के साथ कमजोर रूप से बढ़ रहे हैं और (1/k से!) बंधे हुए हैं, जबकि पंक्तियों में केवल सीमित रूप से कई गैर-शून्य पद हैं, इसलिए शर्त 2 संतुष्ट है; प्रमेय अब कहता है कि आप पंक्ति योग की सीमा की गणना कर सकते हैं अर्थात्, स्तंभ सीमाओं का योग लेकर.

बेप्पो लेवी की लेम्मा

निम्नलिखित परिणाम बेप्पो लेवी के कारण है, जिन्होंने 1906 में हेनरी लेबेस्गुए द्वारा पहले के परिणाम का थोड़ा सा सामान्यीकरण साबित किया था।[3] जो आगे हुआ, को दर्शाता है - बोरेल का बीजगणित चालू होता है . परिभाषा से, सेट शामिल है और सभी बोरेल उपसमुच्चय

प्रमेय

होने देना माप हो (गणित), और . बिंदुवार गैर-घटते क्रम पर विचार करें का -मापने योग्य कार्य गैर-नकारात्मक कार्य , अर्थात, प्रत्येक के लिए और हर ,

अनुक्रम की बिन्दुवार सीमा निर्धारित करें होना . यानी हर किसी के लिए ,

तब है -मापने योग्य और

टिप्पणी 1. अभिन्न अंग परिमित या अनंत हो सकते हैं।

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

और

उसे उपलब्ध कराया है -मापने योग्य.[4]: section 21.38  (ये समानताएं गैर-नकारात्मक फ़ंक्शन के लिए लेबेस्ग इंटीग्रल की परिभाषा से सीधे अनुसरण करती हैं)।

टिप्पणी 3. प्रमेय की मान्यताओं के तहत,

(ध्यान दें कि समानता की दूसरी श्रृंखला टिप्पणी 5 से अनुसरण करती है)।

टिप्पणी 4. नीचे दिया गया प्रमाण यहां स्थापित किए गए को छोड़कर लेबेस्ग इंटीग्रल के किसी भी गुण का उपयोग नहीं करता है। इस प्रकार, प्रमेय का उपयोग लेबेस्ग एकीकरण से संबंधित अन्य बुनियादी गुणों, जैसे कि रैखिकता, को साबित करने के लिए किया जा सकता है।

टिप्पणी 5 (लेबेस्ग इंटीग्रल की एकरसता)। नीचे दिए गए प्रमाण में, हम लेबेस्ग इंटीग्रल के मोनोटोनिक गुण को केवल गैर-नकारात्मक कार्यों पर लागू करते हैं। विशेष रूप से (टिप्पणी 4 देखें), कार्य करें होना -मापने योग्य.

  • अगर हर जगह पर तब
  • अगर और तब

सबूत। निरूपित सरल का सेट -मापने योग्य कार्य ऐसा है कि हर जगह पर 1. चूँकि अपने पास

लेबेस्ग इंटीग्रल की परिभाषा और सुप्रीमम के गुणों के अनुसार,

2. चलो सेट का सूचक कार्य हो इसका अनुमान लेबेस्ग इंटीग्रल की परिभाषा से लगाया जा सकता है

यदि हम उस पर ध्यान दें, प्रत्येक के लिए के बाहर पिछली संपत्ति के साथ संयुक्त, असमानता तात्पर्य

प्रमाण

यह प्रमाण फ़तौ की प्रमेयिका पर निर्भर नहीं करता है; हालाँकि, हम बताते हैं कि उस लेम्मा का उपयोग कैसे किया जा सकता है। जो लोग प्रमाण की इस स्वतंत्रता में रुचि नहीं रखते हैं वे नीचे दिए गए मध्यवर्ती परिणामों को छोड़ सकते हैं।

मध्यवर्ती परिणाम

लेब्सग्यू माप के रूप में अभिन्न

लेम्मा 1. चलो मापने योग्य स्थान बनें. सरल पर विचार करें -मापने योग्य गैर-नकारात्मक कार्य . उपसमुच्चय के लिए , परिभाषित करना

तब पर उपाय है .

प्रमाण

एकरसता टिप्पणी 5 से आती है। यहां, हम केवल गणनीय योगात्मकता सिद्ध करेंगे, बाकी पाठक पर छोड़ देंगे। होने देना , जहां सभी सेट जोड़ीवार असंयुक्त हैं. सरलता के कारण,

कुछ परिमित गैर-ऋणात्मक स्थिरांकों के लिए और जोड़ीवार असंयुक्त सेट ऐसा है कि . लेब्सेग इंटीग्रल की परिभाषा के अनुसार,

चूंकि सभी सेट जोड़ीवार असंयुक्त हैं, गणनीय योगात्मकता हमें देता है

चूँकि सभी सारांश गैर-ऋणात्मक हैं, श्रृंखला का योग, चाहे यह योग परिमित हो या अनंत, यदि योग क्रम बदलता है तो नहीं बदल सकता। इसी कारणवश,

आवश्यकता अनुसार।

नीचे से निरंतरता

निम्नलिखित संपत्ति माप की परिभाषा का प्रत्यक्ष परिणाम है।

लेम्मा 2. चलो उपाय हो, और , कहाँ

अपने सभी सेटों के साथ गैर-घटती हुई श्रृंखला है -मापने योग्य. तब

प्रमेय का प्रमाण

चरण 1. हम इसे दिखाकर शुरुआत करते हैं है -मापने योग्य.[4]: section 21.3 

टिप्पणी। यदि हम फ़तौ की लेम्मा का उपयोग कर रहे थे, तो मापनीयता टिप्पणी 3(ए) से आसानी से अनुसरण करेगी।

फ़तौ के लेम्मा का उपयोग किए बिना ऐसा करने के लिए, यह दिखाना पर्याप्त है कि अंतराल की उलटी छवि अंतर्गत सिग्मा-बीजगणित का तत्व है पर , क्योंकि (बंद) अंतराल वास्तविक पर बोरेल सिग्मा बीजगणित उत्पन्न करते हैं। तब से बंद अंतराल है, और, प्रत्येक के लिए , ,

इस प्रकार,

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

स्टेप 2. हम सबसे पहले वो दिखाएंगे की परिभाषा और की एकरसता इसका मतलब यह है , हरएक के लिए और हर . लेबेस्ग इंटीग्रल की एकरसता (या, अधिक सटीक रूप से, रिमार्क 5 में स्थापित इसका संकीर्ण संस्करण; रिमार्क 4 भी देखें) द्वारा,

और

ध्यान दें कि दाईं ओर की सीमा मौजूद है (सीमित या अनंत) क्योंकि, एकरसता के कारण (टिप्पणी 5 और टिप्पणी 4 देखें), अनुक्रम गैर-घटता नहीं है।

चरण 2 का अंत.

अब हम विपरीत असमानता को सिद्ध करते हैं। हम यह दिखाना चाहते हैं

.

फ़तौ की लेम्मा का उपयोग करके प्रमाण। टिप्पणी 3 के अनुसार, जिस असमानता को हम सिद्ध करना चाहते हैं वह इसके समतुल्य है

लेकिन बाद वाला फ़तौ की लेम्मा से तुरंत अनुसरण करता है, और प्रमाण पूरा हो गया है।

स्वतंत्र प्रमाण. फ़तौ की लेम्मा का उपयोग किए बिना असमानता को साबित करने के लिए, हमें कुछ अतिरिक्त मशीनरी की आवश्यकता है। निरूपित सरल का सेट -मापने योग्य कार्य ऐसा है कि पर .

चरण 3. सरल कार्य दिया गया है और वास्तविक संख्या , परिभाषित करना

तब , , और .

चरण 3ए. पहले दावे को साबित करने के लिए आइए , जोड़ीवार असंयुक्त मापन योग्य सेटों के कुछ सीमित संग्रह के लिए ऐसा है कि , कुछ (परिमित) गैर-नकारात्मक स्थिरांक , और सेट के सूचक फ़ंक्शन को दर्शाते हुए .

हरएक के लिए यदि और केवल यदि धारण करता है यह देखते हुए कि सेट जोड़ीवार असंयुक्त हैं,

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

चरण 3बी. दूसरे दावे को साबित करने के लिए, प्रत्येक के लिए उस पर ध्यान दें और हर , चरण 3सी. तीसरे दावे को साबित करने के लिए हम उसे दिखाते हैं .

वास्तव में, यदि, इसके विपरीत, , फिर तत्व

ऐसा मौजूद है , हरएक के लिए . सीमा मान कर , हम पाते हैं

लेकिन प्रारंभिक धारणा से, . यह विरोधाभास है.

चरण 4. हर सरल के लिए -मापने योग्य गैर-नकारात्मक कार्य ,

इसे सिद्ध करने के लिए परिभाषित करें . लेम्मा 1 द्वारा, पर उपाय है . नीचे से निरंतरता द्वारा (लेम्मा 2),

आवश्यकता अनुसार।

चरण 5. अब हम इसे प्रत्येक के लिए सिद्ध करते हैं ,

दरअसल, की परिभाषा का उपयोग करते हुए , की गैर-नकारात्मकता , और लेबेस्ग इंटीग्रल की एकरसता (टिप्पणी 5 और रिमार्क 4 देखें), हमारे पास है

हरएक के लिए . चरण 4 के अनुसार, जैसे , असमानता हो जाती है

सीमा मान कर पैदावार

आवश्यकता अनुसार।

चरण 6. अब हम विपरीत असमानता को सिद्ध करने में सक्षम हैं, अर्थात।

दरअसल, गैर-नकारात्मकता से, और नीचे दी गई गणना के लिए, की गैर-नकारात्मकता जरूरी है। लेबेस्ग इंटीग्रल की परिभाषा और चरण 5 में स्थापित असमानता को लागू करने पर, हमारे पास है

सबूत पूरा है.

यह भी देखें

टिप्पणियाँ

  1. A generalisation of this theorem was given by Bibby, John (1974). "Axiomatisations of the average and a further generalisation of monotonic sequences". Glasgow Mathematical Journal. 15 (1): 63–65. doi:10.1017/S0017089500002135.
  2. See for instance Yeh, J. (2006). Real Analysis: Theory of Measure and Integration. Hackensack, NJ: World Scientific. ISBN 981-256-653-8.
  3. Schappacher, Norbert; Schoof, René (1996), "Beppo Levi and the arithmetic of elliptic curves" (PDF), The Mathematical Intelligencer, 18 (1): 60, doi:10.1007/bf03024818, MR 1381581, S2CID 125072148, Zbl 0849.01036
  4. 4.0 4.1 See for instance Schechter, Erik (1997). Handbook of Analysis and Its Foundations. San Diego: Academic Press. ISBN 0-12-622760-8.

[[it:Passaggio al limite sotto segno di integrale#Integrale di Lebesg