समान अभिसरण: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (8 intermediate revisions by 5 users not shown) | |||
| Line 2: | Line 2: | ||
कैलकुलस के इतिहास में आरंभ में समान अभिसरण और बिंदुवार अभिसरण के बीच अंतर को पूरी तरह से सराहा नहीं गया था, जिससे दोषपूर्ण तर्क के उदाहरण सामने | विश्लेषण के गणितीय क्षेत्र में, '''समान अभिसरण''' बिंदुवार अभिसरण से अधिक प्रबल फलन के अभिसरण का एक विधि है। फलन का एक क्रम <math>(f_n)</math> समुच्चय <math>E</math> पर फलन डोमेन के रूप में एक सीमित फलन <math>f</math> में समान रूप से परिवर्तित होता है, यदि कोई इच्छानुसार से छोटी धनात्मक संख्या <math>\epsilon</math> दी गई हो, तो एक संख्या <math>N</math> पाया जा सकता है जैसे कि प्रत्येक फलन <math>f_N, f_{N+1},f_{N+2},\ldots</math> <math>E</math> में प्रत्येक बिंदु <math>x</math> पर <math>f</math> से <math>\epsilon</math> से अधिक भिन्न नहीं है। अनौपचारिक विधि से वर्णित है, यदि <math>f_n</math> समान रूप से <math>f</math> में परिवर्तित होता है, तो वह दर जिस पर<math>f_n(x)</math>, <math>f(x)</math> तक पहुंचता है निम्नलिखित अर्थों में अपने संपूर्ण डोमेन में "समान" है: यह दिखाने के लिए कि <math>f_n(x)</math>समान रूप से एक निश्चित दूरी <math>f(x)</math>के अंदर आता है, हमें प्रश्न में <math>\epsilon</math> का मान जानने की आवश्यकता नहीं है — प्रश्न में <math>x\in E</math> का एक ही मान पाया जा सकता है -<math>N=N(\epsilon)</math> का एक ही मान पाया जा सकता है से स्वतंत्र, जैसे कि <math>n\geq N</math> चुनने से यह सुनिश्चित हो जाएगा कि <math>f_n(x)</math> सभी <math>x\in E</math> के लिए <math>f(x)</math> के <math>\epsilon</math> के अंदर है। इसके विपरीत, <math>f_n</math> से <math>f</math> का बिंदुवार अभिसरण केवल यह आश्वासन देता है कि पहले से दिए गए किसी भी <math>x\in E</math> के लिए, हम <math>N=N(\epsilon, x)</math> पा सकते हैं (अथार्त , <math>N</math>, <math>x</math> के मान पर निर्भर हो सकता है) जैसे कि, उस विशेष <math>x</math> के लिए,<math>f_n(x)</math> <math>\epsilon</math> के अंतर्गत आता है <math>f(x)</math> का जब भी <math>n\geq N</math> (एक अलग x को बिंदुवार अभिसरण के लिए एक अलग N की आवश्यकता होती है)। | ||
कैलकुलस के इतिहास में आरंभ में समान अभिसरण और बिंदुवार अभिसरण के बीच अंतर को पूरी तरह से सराहा नहीं गया था, जिससे दोषपूर्ण तर्क के उदाहरण सामने आए है। यह अवधारणा, जिसे पहली बार कार्ल वीयरस्ट्रैस द्वारा औपचारिक रूप दिया गया था, महत्वपूर्ण है क्योंकि फलन <math>f_n</math> के कई गुण, जैसे निरंतरता, रीमैन इंटीग्रेबिलिटी, और, अतिरिक्त परिकल्पनाओं के साथ, भिन्नता, अभिसरण होने पर सीमा <math>f</math> में समष्टि हो जाते हैं एक समान है, किंतु जरूरी नहीं कि अभिसरण एक समान न हो। | |||
== इतिहास == | == इतिहास == | ||
1821 में [[ऑगस्टिन-लुई कॉची]] ने एक प्रमाण प्रकाशित किया कि निरंतर | 1821 में [[ऑगस्टिन-लुई कॉची]] ने एक प्रमाण प्रकाशित किया कि निरंतर फलन का एक अभिसरण योग सदैव निरंतर होता है, जिसके लिए 1826 में [[नील्स हेनरिक एबेल]] ने फूरियर श्रृंखला के संदर्भ में कथित प्रति-उदाहरण पाए, यह तर्क देते हुए कि कॉची का प्रमाण गलत होना चाहिए। उस समय अभिसरण की पूरी तरह से मानक धारणाएं उपस्थित नहीं थीं, और कॉची ने अनंत विधियों का उपयोग करके अभिसरण को संभाला जाता है। आधुनिक भाषा में कहें तो, कॉची ने जो सिद्ध किया वह यह है कि निरंतर फलन के एक समान रूप से अभिसरण अनुक्रम की एक निरंतर सीमा होती है। निरंतर फलन को एक सतत फलन में परिवर्तित करने के लिए केवल बिंदुवार-अभिसरण सीमा की विफलता फलन के अनुक्रमों को संभालते समय विभिन्न प्रकार के अभिसरण के बीच अंतर करने के महत्व को दर्शाती है।<ref>{{cite journal | doi=10.1016/j.hm.2004.11.010 | volume=32 | issue=4 | title=Exceptions and counterexamples: Understanding Abel's comment on Cauchy's Theorem | journal=Historia Mathematica | pages=453–480| year=2005 | last1=Sørensen | first1=Henrik Kragh | doi-access=free }}</ref> | ||
एक समान अभिसरण शब्द का प्रयोग संभवत: सबसे पहले क्रिस्टोफ गुडेरमैन ने 1838 में अण्डाकार फलन पर एक पेपर में किया था, जहां उन्होंने "समान विधि से अभिसरण" वाक्यांश का प्रयोग तब किया था जब एक श्रृंखला <math display="inline">\sum_{n=1}^\infty f_n(x,\phi,\psi)</math> का "अभिसरण का विधि " चर से स्वतंत्र होता है। <math>\phi</math> और <math>\psi.</math> जबकि उन्होंने सोचा कि यह एक "उल्लेखनीय तथ्य" है जब एक श्रृंखला इस तरह से मिलती है, उन्होंने कोई औपचारिक परिभाषा नहीं दी, न ही अपने किसी भी प्रमाण में संपत्ति का उपयोग किया।<ref>{{Cite book | |||
|title=A history of analysis | |title=A history of analysis | ||
|first=Hans Niels | |first=Hans Niels | ||
| Line 23: | Line 24: | ||
}}</ref> | }}</ref> | ||
बाद में गुडरमैन के शिष्य कार्ल वेइरस्ट्रैस, जिन्होंने 1839-1840 में अण्डाकार | बाद में गुडरमैन के शिष्य कार्ल वेइरस्ट्रैस, जिन्होंने 1839-1840 में अण्डाकार फलन पर उनके पाठ्यक्रम में भाग लिया था, ने ग्लीचमाज़िग कन्वर्जेंट (जर्मन: समान रूप से अभिसरण) शब्द गढ़ा, जिसका उपयोग उन्होंने 1894 में प्रकाशित अपने 1841 के पेपर ज़ूर थियोरी डेर पोटेंज़रेइहेन में किया। स्वतंत्र रूप से, समान अवधारणाएं थीं फिलिप लुडविग वॉन सीडेल<ref>{{cite book |last=Lakatos |first=Imre |author-link=Imre Lakatos |title=प्रमाण एवं खण्डन|year=1976|publisher=Cambridge University Press |pages=[https://archive.org/details/proofsrefutation0000laka/page/141 141] |isbn=978-0-521-21078-2|title-link=प्रमाण एवं खण्डन }}</ref> और जॉर्ज गेब्रियल स्टोक्स द्वारा व्यक्त। जी. एच. हार्डी ने अपने पेपर "सर जॉर्ज स्टोक्स और एक समान अभिसरण की अवधारणा" में तीन परिभाषाओं की तुलना की और टिप्पणी की: "वीयरस्ट्रैस की खोज सबसे प्रारंभिक थी, और उन्होंने अकेले ही विश्लेषण के मौलिक विचारों में से एक के रूप में इसके दूरगामी महत्व को पूरी तरह से अनुभव किया।" | ||
वीयरस्ट्रैस और [[बर्नहार्ड रीमैन]] के प्रभाव में इस अवधारणा और संबंधित प्रश्नों का 19वीं शताब्दी के अंत में [[हरमन हैंकेल]], [[पॉल डू बोइस-रेमंड]], [[यूलिसिस दीनी]], सेसारे अर्ज़ेला और अन्य द्वारा गहन अध्ययन किया गया था। | वीयरस्ट्रैस और [[बर्नहार्ड रीमैन]] के प्रभाव में इस अवधारणा और संबंधित प्रश्नों का 19वीं शताब्दी के अंत में [[हरमन हैंकेल]], [[पॉल डू बोइस-रेमंड]], [[यूलिसिस दीनी]], सेसारे अर्ज़ेला और अन्य द्वारा गहन अध्ययन किया गया था। | ||
| Line 29: | Line 30: | ||
== परिभाषा == | == परिभाषा == | ||
हम पहले वास्तविक-मूल्यवान | हम पहले वास्तविक-मूल्यवान फलन के लिए समान अभिसरण को परिभाषित करते हैं। वास्तविक-मूल्यवान फलन, चूँकि अवधारणा को [[मीट्रिक समष्टि]] और अधिक सामान्यतः [[एकसमान समष्टि]] (यूनिफ़ॉर्म कन्वर्जेंस या सामान्यीकरण देखें) के लिए फलन मैपिंग के लिए आसानी से सामान्यीकृत किया जाता है। | ||
मान लीजिए कि <math>E</math> एक समुच्चय है और <math>(f_n)_{n \in \N}</math> उस पर वास्तविक-मूल्यवान | मान लीजिए कि <math>E</math> एक समुच्चय है और <math>(f_n)_{n \in \N}</math> उस पर वास्तविक-मूल्यवान फलन का एक क्रम है। हम कहते हैं कि अनुक्रम <math>(f_n)_{n \in \N}</math> , <math>E</math> पर सीमा <math>f: E \to \R</math> के साथ समान रूप से अभिसरण है यदि प्रत्येक <math>\epsilon > 0,</math> के लिए, एक प्राकृतिक संख्या <math>N</math> उपस्थित है जैसे कि सभी <math>n \geq N</math> के लिए और सभी <math>x \in E</math> के लिए है | ||
:<math>|f_n(x)-f(x)|<\epsilon.</math> | :<math>|f_n(x)-f(x)|<\epsilon.</math> | ||
| Line 42: | Line 43: | ||
:यह इंगित करने के लिए कि अभिसरण एक समान है। (इसके विपरीत, क्रियाविशेषण के बिना E पर अभिव्यक्ति <math>f_n\to f</math> को <math>E</math> पर बिंदुवार अभिसरण के रूप में लिया जाता है: सभी <math> x \in E </math>, <math>f_n(x)\to f(x)</math> के लिए <math>n\to\infty</math> के रूप में है। | :यह इंगित करने के लिए कि अभिसरण एक समान है। (इसके विपरीत, क्रियाविशेषण के बिना E पर अभिव्यक्ति <math>f_n\to f</math> को <math>E</math> पर बिंदुवार अभिसरण के रूप में लिया जाता है: सभी <math> x \in E </math>, <math>f_n(x)\to f(x)</math> के लिए <math>n\to\infty</math> के रूप में है। | ||
चूँकि <math>\R</math> एक पूर्ण मीट्रिक | चूँकि <math>\R</math> एक पूर्ण मीट्रिक समष्टि है, कॉची मानदंड का उपयोग समान अभिसरण के लिए समकक्ष वैकल्पिक सूत्रीकरण देने के लिए किया जा सकता है: <math>(f_n)_{n\in\N}</math>} <math>E</math>पर समान रूप से अभिसरण करता है (पिछले अर्थ में) यदि और केवल तभी यदि प्रत्येक <math> \epsilon > 0 </math> के लिए, ऐसी कोई प्राकृतिक संख्या <math>N</math> उपस्थित होता है | ||
:<math>x\in E, m,n\geq N \implies |f_m(x)-f_n(x)|<\epsilon</math>. | :<math>x\in E, m,n\geq N \implies |f_m(x)-f_n(x)|<\epsilon</math>. | ||
| Line 49: | Line 50: | ||
:<math> d_n = \sup_{x\in E} |f_n(x) - f(x) |,</math> | :<math> d_n = \sup_{x\in E} |f_n(x) - f(x) |,</math> | ||
तब <math> f_n </math> में एकत्रित हो जाता है <math>f</math> समान रूप से यदि और केवल यदि <math>d_n\to 0</math> जैसा <math>n\to\infty</math>. इस प्रकार, हम एक समान अभिसरण की विशेषता बता सकते हैं <math>(f_n)_{n \in \N}</math> पर <math>E</math> (सरल) अभिसरण के रूप में <math>(f_n)_{n \in \N}</math> [[ | तब <math> f_n </math> में एकत्रित हो जाता है <math>f</math> समान रूप से यदि और केवल यदि <math>d_n\to 0</math> जैसा <math>n\to\infty</math>. इस प्रकार, हम एक समान अभिसरण की विशेषता बता सकते हैं <math>(f_n)_{n \in \N}</math> पर <math>E</math> (सरल) अभिसरण के रूप में <math>(f_n)_{n \in \N}</math> [[फलन समष्टि]] में <math>\R^E</math> द्वारा परिभाषित समान मानदंड (जिसे सर्वोच्च मीट्रिक भी कहा जाता है) के संबंध में | ||
:<math>d(f,g)=\sup_{x\in E} |f(x)-g(x)|.</math> | :<math>d(f,g)=\sup_{x\in E} |f(x)-g(x)|.</math> | ||
| Line 56: | Line 57: | ||
:<math>f_n\rightrightarrows f\iff d(f_n,f) \to 0</math>. | :<math>f_n\rightrightarrows f\iff d(f_n,f) \to 0</math>. | ||
अनुक्रम <math>(f_n)_{n \in \N}</math> को | अनुक्रम <math>(f_n)_{n \in \N}</math> को समष्टि रूप से सीमा <math>f</math> के साथ समान रूप से अभिसरण कहा जाता है यदि <math>E </math> एक मीट्रिक समष्टि है और <math>x\in E</math> में प्रत्येक के लिए, एक<math>r > 0</math> उपस्थित है जैसे कि <math>(f_n)</math> समान रूप से <math>B(x,r)\cap E.</math> पर अभिसरण करता है। यह स्पष्ट है कि एक समान अभिसरण का तात्पर्य समष्टि समान अभिसरण से है, जिसका तात्पर्य बिंदुवार अभिसरण से है। | ||
=== टिप्पणियाँ === | === टिप्पणियाँ === | ||
| Line 67: | Line 68: | ||
=== सामान्यीकरण === | === सामान्यीकरण === | ||
कोई सीधे रूप से अवधारणा को | कोई सीधे रूप से अवधारणा को फलन E → M तक विस्तारित कर सकता है, जहां (M, d) प्रतिस्थापित करके एक मीट्रिक समष्टि है जिसके समष्टि पर<math>|f_n(x)-f(x)|</math> साथ <math>d(f_n(x),f(x))</math>. | ||
सबसे सामान्य | सबसे सामान्य समुच्चयिंग फलन ''E'' → ''X'', के [[नेट (गणित)]] का एक समान अभिसरण है, जहां ''X'' एक समान समष्टि है। हम कहते हैं कि नेट <math>(f_\alpha)</math> सीमा f : E → X के साथ समान रूप से अभिसरण होता है यदि और केवल यदि X में <math>\alpha_0</math>प्रत्येक [[प्रतिवेश (टोपोलॉजी)]] V के लिए एक उपस्थित है, जैसे कि E और प्रत्येक में प्रत्येक x के लिए <math>\alpha\geq \alpha_0</math>, <math>(f_\alpha(x),f(x))</math> V में है। इस स्थिति में सतत फलनों की एकसमान सीमा सतत् बनी रहती है। | ||
===अतिवास्तविक | ===अतिवास्तविक समुच्चयिंग में परिभाषा=== | ||
एकसमान अभिसरण एक अतियथार्थवादी | एकसमान अभिसरण एक अतियथार्थवादी समुच्चयिंग में एक सरलीकृत परिभाषा को स्वीकार करता है। इस प्रकार, एक अनुक्रम <math>f_n</math> समान रूप से f में परिवर्तित हो जाता है यदि <math>f^*</math>के डोमेन में सभी x और सभी अनंत n के लिए, <math>f_n^*(x)</math> अपरिमित रूप से <math>f^*(x)</math> के समीप है (समान निरंतरता की समान परिभाषा के लिए सूक्ष्म निरंतरता देखें)। | ||
== उदाहरण == | == उदाहरण == | ||
<math>x \in [0,1)</math> के लिए, एक समान अभिसरण का एक मूल उदाहरण इस प्रकार चित्रित किया जा सकता है: अनुक्रम <math>(1/2)^{x+n}</math>समान रूप से अभिसरण करता है, जबकि <math>x^n</math>नहीं करता. विशेष रूप से, मान लें कि <math>\epsilon=1/4</math> | <math>x \in [0,1)</math> के लिए, एक समान अभिसरण का एक मूल उदाहरण इस प्रकार चित्रित किया जा सकता है: अनुक्रम <math>(1/2)^{x+n}</math>समान रूप से अभिसरण करता है, जबकि <math>x^n</math>नहीं करता. विशेष रूप से, मान लें कि <math>\epsilon=1/4</math> x के मान की परवाह किए बिना, <math>n \geq 2</math> होने पर प्रत्येक फलन<math>(1/2)^{x+n}</math> <math>1/4</math> से कम या उसके समान होता है। दूसरी ओर,<math>x^n</math><math>n</math> के लगातार बढ़ते मानों पर केवल <math>1/4</math> से कम या उसके समान होता है जब <math>x</math>के मानों को 1 के समीप और समीप चुना जाता है (नीचे और अधिक गहराई से समझाया गया है)। | ||
एक [[टोपोलॉजिकल | एक [[टोपोलॉजिकल समष्टि]] | ||
:<math>d(f,g)=\|f-g\|_{\infty}=\sup_{x\in X} |f(x)-g(x)|.</math> | :<math>d(f,g)=\|f-g\|_{\infty}=\sup_{x\in X} |f(x)-g(x)|.</math> | ||
| Line 84: | Line 85: | ||
:<math>\lim_{n\to\infty}\|f_n-f\|_{\infty}=0</math>. | :<math>\lim_{n\to\infty}\|f_n-f\|_{\infty}=0</math>. | ||
फलन का क्रम <math>(f_n)</math> :<math>\begin{cases} f_n:[0,1]\to [0,1] \\ f_n(x)=x^n \end{cases}</math> | |||
फलन के अनुक्रम का एक उत्कृष्ट उदाहरण है जो किसी फलन <math>f</math> में बिंदुवार रूप से परिवर्तित होता है लेकिन समान रूप से नहीं। इसे दिखाने के लिए, हम पहले देखते हैं कि <math>(f_n)</math> की बिंदुवार सीमा <math>n\to\infty</math>के रूप में फलन <math>f</math> है, जो द्वारा दिया गया है | |||
: <math>f(x) = \lim_{n\to \infty} f_n(x) = \begin{cases} 0, & x \in [0,1); \\ 1, & x=1. \end{cases} </math> | : <math>f(x) = \lim_{n\to \infty} f_n(x) = \begin{cases} 0, & x \in [0,1); \\ 1, & x=1. \end{cases} </math> | ||
बिंदुवार अभिसरण: <math>x=0</math> और <math>x=1</math> के लिए अभिसरण तुच्छ है, क्योंकि<math>f_n(0)=f(0)=0</math> और <math>f_n(1)=f(1)=1</math>, सभी <math>n</math> के लिए <math>x \in (0,1)</math> और दिए गए <math>\epsilon>0</math> के लिए, हम यह सुनिश्चित कर सकते हैं कि <math>|f_n(x)-f(x)|<\epsilon</math> जब भी <math>n\geq N</math> <math>N = \lceil\log\epsilon/\log x\rceil</math> चुनकर (यहां ऊपरी वर्ग कोष्ठक गोल करने का संकेत देते हैं, सीलिंग | बिंदुवार अभिसरण: <math>x=0</math> और <math>x=1</math> के लिए अभिसरण तुच्छ है, क्योंकि<math>f_n(0)=f(0)=0</math> और <math>f_n(1)=f(1)=1</math>, सभी <math>n</math> के लिए <math>x \in (0,1)</math> और दिए गए <math>\epsilon>0</math> के लिए, हम यह सुनिश्चित कर सकते हैं कि <math>|f_n(x)-f(x)|<\epsilon</math> जब भी <math>n\geq N</math> <math>N = \lceil\log\epsilon/\log x\rceil</math> चुनकर (यहां ऊपरी वर्ग कोष्ठक गोल करने का संकेत देते हैं, सीलिंग फलन देखें)। इसलिए, सभी <math>x\in[0,1]</math> के लिए <math>f_n\to f</math> बिंदुवार। ध्यान दें कि <math>N</math> का चुनाव <math>\epsilon</math> और <math>x</math> के मान पर निर्भर करता है। इसके अतिरिक्त ,<math>\epsilon</math> की एक निश्चित पसंद के लिए, <math>N</math> (जिसे छोटे के रूप में परिभाषित नहीं किया जा सकता है) जैसे-जैसे <math>x</math> 1 के समीप पहुंचता है, बिना किसी सीमा के बढ़ता है। ये अवलोकन एकसमान अभिसरण की संभावना को रोकते हैं। | ||
अभिसरण की गैर-एकरूपता: अभिसरण एक समान नहीं है, क्योंकि हम एक <math>\epsilon>0</math> पा सकते हैं ताकि हम कितना भी बड़ा <math>N,</math> चुनें, <math>x \in [0,1]</math> और <math>n \geq N</math> जैसे मान होंगे कि<math>|f_n(x)-f(x)|\geq\epsilon.</math>इसे देखने के लिए, पहले देखें कि चाहे <math>n</math> कितना भी बड़ा हो जाए जो सदैव एक <math>x_0 \in [0,1)</math> होता है जैसे कि <math>f_n(x_0)=1/2.</math> इस प्रकार, यदि हम <math>\epsilon = 1/4,</math> चुनते हैं तो हम कभी नहीं पा सकते हैं एक <math>N</math> ऐसा कि सभी <math>|f_n(x)-f(x)|<\epsilon</math> और <math>n\geq N</math> के लिए <math>x\in[0,1]</math> स्पष्ट रूप से, हम <math>N</math> के लिए जो भी उम्मीदवार चुनते हैं, वह <math>x_0 = (1/2)^{1/N}</math> पर <math>f_N</math> के मान पर विचार करता है। तब से | अभिसरण की गैर-एकरूपता: अभिसरण एक समान नहीं है, क्योंकि हम एक <math>\epsilon>0</math> पा सकते हैं ताकि हम कितना भी बड़ा <math>N,</math> चुनें, <math>x \in [0,1]</math> और <math>n \geq N</math> जैसे मान होंगे कि<math>|f_n(x)-f(x)|\geq\epsilon.</math>इसे देखने के लिए, पहले देखें कि चाहे <math>n</math> कितना भी बड़ा हो जाए जो सदैव एक <math>x_0 \in [0,1)</math> होता है जैसे कि <math>f_n(x_0)=1/2.</math> इस प्रकार, यदि हम <math>\epsilon = 1/4,</math> चुनते हैं तो हम कभी नहीं पा सकते हैं एक <math>N</math> ऐसा कि सभी <math>|f_n(x)-f(x)|<\epsilon</math> और <math>n\geq N</math> के लिए <math>x\in[0,1]</math> स्पष्ट रूप से, हम <math>N</math> के लिए जो भी उम्मीदवार चुनते हैं, वह <math>x_0 = (1/2)^{1/N}</math> पर <math>f_N</math> के मान पर विचार करता है। तब से | ||
| Line 99: | Line 100: | ||
उस आवश्यकता के विपरीत <math>\|f_n-f\|_{\infty}\to 0</math> यदि <math>f_n \rightrightarrows f</math>. | उस आवश्यकता के विपरीत <math>\|f_n-f\|_{\infty}\to 0</math> यदि <math>f_n \rightrightarrows f</math>. | ||
इस उदाहरण में कोई आसानी से देख सकता है कि बिंदुवार अभिसरण भिन्नता या निरंतरता को संरक्षित नहीं करता है। जबकि अनुक्रम का प्रत्येक | इस उदाहरण में कोई आसानी से देख सकता है कि बिंदुवार अभिसरण भिन्नता या निरंतरता को संरक्षित नहीं करता है। जबकि अनुक्रम का प्रत्येक फलन सुचारू है, कहने का तात्पर्य यह है कि सभी n के लिए, <math>f_n\in C^{\infty}([0,1])</math>, सीमा <math>\lim_{n\to \infty}f_n</math> सतत भी नहीं है. | ||
=== घातीय फलन === | === घातीय फलन === | ||
वेइरस्ट्रैस एम-टेस्ट का उपयोग करके घातीय | वेइरस्ट्रैस एम-टेस्ट का उपयोग करके घातीय फलन के श्रृंखला विस्तार को किसी भी परिबद्ध उपसमुच्चय <math>S \subset \C</math> पर समान रूप से अभिसरण के रूप में दिखाया जा सकता है। | ||
प्रमेय (वीयरस्ट्रैस एम-टेस्ट)। मान लीजिए ''<math>(f_n)</math>'' | प्रमेय (वीयरस्ट्रैस एम-टेस्ट)। मान लीजिए ''<math>(f_n)</math>'' फलन का एक अनुक्रम है और मान लीजिए कि ''<math>f_n:E\to \C</math>'' सभी ''<math>x\in E</math>'' के लिए ''<math>M_n </math>'' है, तो यह धनात्मक वास्तविक संख्याओं का एक क्रम है।और ''<math>n=1,2, 3, \ldots</math>'' में यदि ''<math display="inline">\sum_n M_n</math>''अभिसरण होता है, तो ''<math display="inline">\sum_n f_n</math>''पूर्णतः और समान रूप से ''<math>E</math>'' पर अभिसरण होता है। | ||
सम्मिश्र घातीय फलन को श्रृंखला के रूप में व्यक्त किया जा सकता है: | |||
:<math>\sum_{n=0}^{\infty}\frac{z^n}{n!}.</math> | :<math>\sum_{n=0}^{\infty}\frac{z^n}{n!}.</math> | ||
कोई भी परिबद्ध उपसमुच्चय त्रिज्या <math>R,</math> की किसी डिस्क <math>D_R</math> का उपसमुच्चय है, जो | कोई भी परिबद्ध उपसमुच्चय त्रिज्या <math>R,</math> की किसी डिस्क <math>D_R</math> का उपसमुच्चय है, जो सम्मिश्र तल में मूल बिंदु पर केन्द्रित है। वीयरस्ट्रैस M-परीक्षण के लिए हमें श्रृंखला की नियमो पर एक ऊपरी सीमा <math>M_n</math> खोजने की आवश्यकता है, जिसमें <math>M_n</math> डिस्क में स्थिति से स्वतंत्र है: | ||
:<math>\left| \frac{z^n}{n!} \right|\le M_n, \forall z\in D_R.</math> | :<math>\left| \frac{z^n}{n!} \right|\le M_n, \forall z\in D_R.</math> | ||
| Line 115: | Line 116: | ||
:<math>\left| \frac{z^n}{n!}\right| \le \frac{|z|^n}{n!} \le \frac{R^n}{n!}</math> | :<math>\left| \frac{z^n}{n!}\right| \le \frac{|z|^n}{n!} \le \frac{R^n}{n!}</math> | ||
और | और <math>M_n=\tfrac{R^n}{n!}.</math> | ||
यदि <math>\sum_{n=0}^{\infty}M_n</math> अभिसरण है, तो एम-परीक्षण यह प्रमाणित करता है कि मूल श्रृंखला समान रूप से अभिसरण है। | यदि <math>\sum_{n=0}^{\infty}M_n</math> अभिसरण है, तो एम-परीक्षण यह प्रमाणित करता है कि मूल श्रृंखला समान रूप से अभिसरण है। | ||
| Line 126: | Line 127: | ||
== गुण == | == गुण == | ||
* प्रत्येक समान रूप से अभिसरण अनुक्रम | * प्रत्येक समान रूप से अभिसरण अनुक्रम समष्टि रूप से समान रूप से अभिसरण होता है। | ||
* प्रत्येक | * प्रत्येक समष्टि रूप से समान रूप से अभिसरण अनुक्रम [[सघन रूप से अभिसरण]] होता है। | ||
* | * समष्टि रूप से सघन समष्टिों के लिए समष्टि समान अभिसरण और सघन अभिसरण मेल खाते हैं। | ||
* मीट्रिक रिक्त | * मीट्रिक रिक्त समष्टि पर निरंतर फलन का एक क्रम, छवि मीट्रिक समष्टि पूर्ण होने के साथ, समान रूप से अभिसरण होता है यदि और केवल यदि यह [[समान रूप से कॉची अनुक्रम]] है। | ||
* यदि <math>S</math> एक [[ सघन | * यदि <math>S</math> एक [[ सघन समष्टि |सघन समष्टि]] अंतराल (या सामान्यतः एक सघन टोपोलॉजिकल समष्टि) है, और <math> (f_n)</math> एक [[ एकरस |एकरस]] अनुक्रम है (अर्थ)। <math> f_n(x) \leq f_{n+1}(x)</math> बिंदुवार सीमा के साथ निरंतर फलन के सभी n और x) के लिए <math> f</math> जो निरंतर भी है, तो अभिसरण आवश्यक रूप से एक समान है (दीनी का प्रमेय)। यदि <math> S</math> समान अभिसरण की भी आश्वासन है एक सघन अंतराल है और <math>(f_n)</math> एक समसंगति अनुक्रम है जो बिंदुवार परिवर्तित होता है। | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
| Line 136: | Line 137: | ||
===निरंतरता के लिए=== | ===निरंतरता के लिए=== | ||
{{Main|समान सीमा प्रमेय}} | {{Main|समान सीमा प्रमेय}} | ||
[[Image:Drini nonuniformconvergence SVG.svg|thumb|350px|right|एकसमान अभिसरण प्रमेय को प्रबल करने का प्रति उदाहरण, जिसमें एकसमान अभिसरण के अतिरिक्त बिंदुवार अभिसरण माना जाता है। सतत हरित | [[Image:Drini nonuniformconvergence SVG.svg|thumb|350px|right|एकसमान अभिसरण प्रमेय को प्रबल करने का प्रति उदाहरण, जिसमें एकसमान अभिसरण के अतिरिक्त बिंदुवार अभिसरण माना जाता है। सतत हरित फलन करता है <math>\sin^n(x)</math> गैर-निरंतर लाल फलन में परिवर्तित करें। ऐसा तभी हो सकता है जब अभिसरण एक समान न हो।]]यदि <math>E</math> और <math>M</math> टोपोलॉजिकल समष्टि हैं, तो फ़ंक्शंस के निरंतर फलन (टोपोलॉजी) के बारे में बात करना समझ में आता है <math>f_n,f:E\to M</math>. यदि हम आगे यह मान लें <math>M</math> एक मीट्रिक समष्टि है, तो (समान) अभिसरण <math>f_n</math> को <math>f</math> भी अच्छी तरह से परिभाषित है. निम्नलिखित परिणाम बताता है कि निरंतरता एक समान अभिसरण द्वारा संरक्षित है: | ||
{{math theorem | name = Uniform limit theorem | math_statement = Suppose <math>E</math> is a topological space, <math>M</math> is a metric space, and <math>(f_n)</math> is a sequence of continuous functions <math>f_n:E\to M</math>. If <math>f_n \rightrightarrows f</math> on <math>E</math>, then <math>f</math> is also continuous.}} | {{math theorem | name = Uniform limit theorem | math_statement = Suppose <math>E</math> is a topological space, <math>M</math> is a metric space, and <math>(f_n)</math> is a sequence of continuous functions <math>f_n:E\to M</math>. If <math>f_n \rightrightarrows f</math> on <math>E</math>, then <math>f</math> is also continuous.}} | ||
| Line 143: | Line 144: | ||
यह प्रमेय "{{math|ε/3}} ट्रिक" द्वारा सिद्ध किया गया है, और यह इस ट्रिक का आदर्श उदाहरण है: किसी दी गई असमानता (ε) को साबित करने के लिए, कोई 3 असमानताएं ({{math|ε/3}}) उत्पन्न करने के लिए निरंतरता और समान अभिसरण की परिभाषाओं का उपयोग करता है। और फिर वांछित असमानता उत्पन्न करने के लिए उन्हें त्रिकोण असमानता के माध्यम से जोड़ता है। | यह प्रमेय "{{math|ε/3}} ट्रिक" द्वारा सिद्ध किया गया है, और यह इस ट्रिक का आदर्श उदाहरण है: किसी दी गई असमानता (ε) को साबित करने के लिए, कोई 3 असमानताएं ({{math|ε/3}}) उत्पन्न करने के लिए निरंतरता और समान अभिसरण की परिभाषाओं का उपयोग करता है। और फिर वांछित असमानता उत्पन्न करने के लिए उन्हें त्रिकोण असमानता के माध्यम से जोड़ता है। | ||
यह प्रमेय वास्तविक और फूरियर विश्लेषण के इतिहास में एक महत्वपूर्ण है, क्योंकि 18वीं सदी के कई गणितज्ञों की सहज समझ थी कि निरंतर | |||