समान अभिसरण

विश्लेषण के गणितीय क्षेत्र में, समान अभिसरण बिंदुवार अभिसरण से अधिक प्रबल फलन के अभिसरण का एक विधि है। फलन का एक क्रम $(f_{n})$ समुच्चय $E$ पर फलन डोमेन के रूप में एक सीमित फलन $f$ में समान रूप से परिवर्तित होता है, यदि कोई इच्छानुसार से छोटी धनात्मक संख्या $\epsilon$ दी गई हो, तो एक संख्या $N$ पाया जा सकता है जैसे कि प्रत्येक फलन $f_{N},f_{N+1},f_{N+2},\ldots$ $E$ में प्रत्येक बिंदु $x$ पर $f$ से $\epsilon$ से अधिक भिन्न नहीं है। अनौपचारिक विधि से वर्णित है, यदि $f_{n}$ समान रूप से $f$ में परिवर्तित होता है, तो वह दर जिस पर$f_{n}(x)$, $f(x)$ तक पहुंचता है निम्नलिखित अर्थों में अपने संपूर्ण डोमेन में "समान" है: यह दिखाने के लिए कि $f_{n}(x)$समान रूप से एक निश्चित दूरी $f(x)$के अंदर आता है, हमें प्रश्न में $\epsilon$ का मान जानने की आवश्यकता नहीं है — प्रश्न में $x\in E$ का एक ही मान पाया जा सकता है -$N=N(\epsilon )$ का एक ही मान पाया जा सकता है से स्वतंत्र, जैसे कि $n\geq N$ चुनने से यह सुनिश्चित हो जाएगा कि $f_{n}(x)$ सभी $x\in E$ के लिए $f(x)$ के $\epsilon$ के अंदर है। इसके विपरीत, $f_{n}$ से $f$ का बिंदुवार अभिसरण केवल यह आश्वासन देता है कि पहले से दिए गए किसी भी $x\in E$ के लिए, हम $N=N(\epsilon ,x)$ पा सकते हैं (अथार्त , $N$, $x$ के मान पर निर्भर हो सकता है) जैसे कि, उस विशेष $x$ के लिए,$f_{n}(x)$ $\epsilon$ के अंतर्गत आता है $f(x)$ का जब भी $n\geq N$ (एक अलग x को बिंदुवार अभिसरण के लिए एक अलग N की आवश्यकता होती है)।

कैलकुलस के इतिहास में आरंभ में समान अभिसरण और बिंदुवार अभिसरण के बीच अंतर को पूरी तरह से सराहा नहीं गया था, जिससे दोषपूर्ण तर्क के उदाहरण सामने आए है। यह अवधारणा, जिसे पहली बार कार्ल वीयरस्ट्रैस द्वारा औपचारिक रूप दिया गया था, महत्वपूर्ण है क्योंकि फलन $f_{n}$ के कई गुण, जैसे निरंतरता, रीमैन इंटीग्रेबिलिटी, और, अतिरिक्त परिकल्पनाओं के साथ, भिन्नता, अभिसरण होने पर सीमा $f$ में समष्टि हो जाते हैं एक समान है, किंतु जरूरी नहीं कि अभिसरण एक समान न हो।

इतिहास

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

एक समान अभिसरण शब्द का प्रयोग संभवत: सबसे पहले क्रिस्टोफ गुडेरमैन ने 1838 में अण्डाकार फलन पर एक पेपर में किया था, जहां उन्होंने "समान विधि से अभिसरण" वाक्यांश का प्रयोग तब किया था जब एक श्रृंखला ${\textstyle \sum _{n=1}^{\infty }f_{n}(x,\phi ,\psi )}$ का "अभिसरण का विधि " चर से स्वतंत्र होता है। $\phi$ और $\psi .$ जबकि उन्होंने सोचा कि यह एक "उल्लेखनीय तथ्य" है जब एक श्रृंखला इस तरह से मिलती है, उन्होंने कोई औपचारिक परिभाषा नहीं दी, न ही अपने किसी भी प्रमाण में संपत्ति का उपयोग किया।

बाद में गुडरमैन के शिष्य कार्ल वेइरस्ट्रैस, जिन्होंने 1839-1840 में अण्डाकार फलन पर उनके पाठ्यक्रम में भाग लिया था, ने ग्लीचमाज़िग कन्वर्जेंट (जर्मन: समान रूप से अभिसरण) शब्द गढ़ा, जिसका उपयोग उन्होंने 1894 में प्रकाशित अपने 1841 के पेपर ज़ूर थियोरी डेर पोटेंज़रेइहेन में किया। स्वतंत्र रूप से, समान अवधारणाएं थीं फिलिप लुडविग वॉन सीडेल और जॉर्ज गेब्रियल स्टोक्स द्वारा व्यक्त। जी. एच. हार्डी ने अपने पेपर "सर जॉर्ज स्टोक्स और एक समान अभिसरण की अवधारणा" में तीन परिभाषाओं की तुलना की और टिप्पणी की: "वीयरस्ट्रैस की खोज सबसे प्रारंभिक थी, और उन्होंने अकेले ही विश्लेषण के मौलिक विचारों में से एक के रूप में इसके दूरगामी महत्व को पूरी तरह से अनुभव किया।"

वीयरस्ट्रैस और बर्नहार्ड रीमैन के प्रभाव में इस अवधारणा और संबंधित प्रश्नों का 19वीं शताब्दी के अंत में हरमन हैंकेल, पॉल डू बोइस-रेमंड, यूलिसिस दीनी, सेसारे अर्ज़ेला और अन्य द्वारा गहन अध्ययन किया गया था।

परिभाषा

हम पहले वास्तविक-मूल्यवान फलन के लिए समान अभिसरण को परिभाषित करते हैं। वास्तविक-मूल्यवान फलन, चूँकि अवधारणा को मीट्रिक समष्टि और अधिक सामान्यतः एकसमान समष्टि (यूनिफ़ॉर्म कन्वर्जेंस या सामान्यीकरण देखें) के लिए फलन मैपिंग के लिए आसानी से सामान्यीकृत किया जाता है।

मान लीजिए कि $E$ एक समुच्चय है और $(f_{n})_{n\in \mathbb {N} }$ उस पर वास्तविक-मूल्यवान फलन का एक क्रम है। हम कहते हैं कि अनुक्रम $(f_{n})_{n\in \mathbb {N} }$ , $E$ पर सीमा $f:E\to \mathbb {R}$ के साथ समान रूप से अभिसरण है यदि प्रत्येक $\epsilon >0,$ के लिए, एक प्राकृतिक संख्या $N$ उपस्थित है जैसे कि सभी $n\geq N$ के लिए और सभी $x\in E$ के लिए है

$|f_{n}(x)-f(x)|<\epsilon .$

$f_{n}$ से $f$ के समान अभिसरण के लिए संकेतन अधिक मानकीकृत नहीं है और विभिन्न लेखकों ने विभिन्न प्रकार के प्रतीकों का उपयोग किया है, जिनमें (लोकप्रियता के लगभग घटते क्रम में) सम्मिलित हैं:

$f_{n}\rightrightarrows f,\quad {\underset {n\to \infty }{\mathrm {unif\ lim} }}f_{n}=f,\quad f_{n}{\overset {\mathrm {unif.} }{\longrightarrow }}f,\quad f=u-\lim _{n\to \infty }f_{n}.$

अधिकांशतः किसी विशेष प्रतीक का उपयोग नहीं किया जाता है, और लेखक बस लिखते हैं

$f_{n}\to f\quad \mathrm {uniformly}$

यह इंगित करने के लिए कि अभिसरण एक समान है। (इसके विपरीत, क्रियाविशेषण के बिना E पर अभिव्यक्ति $f_{n}\to f$ को $E$ पर बिंदुवार अभिसरण के रूप में लिया जाता है: सभी $x\in E$, $f_{n}(x)\to f(x)$ के लिए $n\to \infty$ के रूप में है।

चूँकि $\mathbb {R}$ एक पूर्ण मीट्रिक समष्टि है, कॉची मानदंड का उपयोग समान अभिसरण के लिए समकक्ष वैकल्पिक सूत्रीकरण देने के लिए किया जा सकता है: $(f_{n})_{n\in \mathbb {N} }$} $E$पर समान रूप से अभिसरण करता है (पिछले अर्थ में) यदि और केवल तभी यदि प्रत्येक $\epsilon >0$ के लिए, ऐसी कोई प्राकृतिक संख्या $N$ उपस्थित होता है

$x\in E,m,n\geq N\implies |f_{m}(x)-f_{n}(x)|<\epsilon$.

एक और समतुल्य सूत्रीकरण में, यदि हम परिभाषित करें

$d_{n}=\sup _{x\in E}|f_{n}(x)-f(x)|,$

तब $f_{n}$ में एकत्रित हो जाता है $f$ समान रूप से यदि और केवल यदि $d_{n}\to 0$ जैसा $n\to \infty$. इस प्रकार, हम एक समान अभिसरण की विशेषता बता सकते हैं $(f_{n})_{n\in \mathbb {N} }$ पर $E$ (सरल) अभिसरण के रूप में $(f_{n})_{n\in \mathbb {N} }$ फलन समष्टि में $\mathbb {R} ^{E}$ द्वारा परिभाषित समान मानदंड (जिसे सर्वोच्च मीट्रिक भी कहा जाता है) के संबंध में

$d(f,g)=\sup _{x\in E}|f(x)-g(x)|.$

प्रतीकात्मक रूप से,

$f_{n}\rightrightarrows f\iff d(f_{n},f)\to 0$.

अनुक्रम $(f_{n})_{n\in \mathbb {N} }$ को समष्टि रूप से सीमा $f$ के साथ समान रूप से अभिसरण कहा जाता है यदि $E$ एक मीट्रिक समष्टि है और $x\in E$ में प्रत्येक के लिए, एक$r>0$ उपस्थित है जैसे कि $(f_{n})$ समान रूप से $B(x,r)\cap E.$ पर अभिसरण करता है। यह स्पष्ट है कि एक समान अभिसरण का तात्पर्य समष्टि समान अभिसरण से है, जिसका तात्पर्य बिंदुवार अभिसरण से है।

टिप्पणियाँ

Intuitively, a sequence of functions $f_{n}$ converges uniformly to $f$ if, given an arbitrarily small $\epsilon >0$, we can find an $N\in \mathbb {N}$ so that the functions $f_{n}$ with $n>N$ all fall within a "tube" of width $2\epsilon$ centered around $f$ (i.e., between $f(x)-\epsilon$ and $f(x)+\epsilon$) for the entire domain of the function.

Note that interchanging the order of quantifiers in the definition of uniform convergence by moving "for all $x\in E$" in front of "there exists a natural number $N$" results in a definition of pointwise convergence of the sequence. To make this difference explicit, in the case of uniform convergence, $N=N(\epsilon )$ can only depend on $\epsilon$, and the choice of $N$ has to work for all $x\in E$, for a specific value of $\epsilon$ that is given. In contrast, in the case of pointwise convergence, $N=N(\epsilon ,x)$ may depend on both $\epsilon$ and $x$, and the choice of $N$ only has to work for the specific values of $\epsilon$ and $x$ that are given. Thus uniform convergence implies pointwise convergence, however the converse is not true, as the example in the section below illustrates.

सामान्यीकरण

कोई सीधे रूप से अवधारणा को फलन E → M तक विस्तारित कर सकता है, जहां (M, d) प्रतिस्थापित करके एक मीट्रिक समष्टि है जिसके समष्टि पर$|f_{n}(x)-f(x)|$ साथ $d(f_{n}(x),f(x))$.

सबसे सामान्य समुच्चयिंग फलन E → X, के नेट (गणित) का एक समान अभिसरण है, जहां X एक समान समष्टि है। हम कहते हैं कि नेट $(f_{\alpha })$ सीमा f : E → X के साथ समान रूप से अभिसरण होता है यदि और केवल यदि X में $\alpha _{0}$प्रत्येक प्रतिवेश (टोपोलॉजी) V के लिए एक उपस्थित है, जैसे कि E और प्रत्येक में प्रत्येक x के लिए $\alpha \geq \alpha _{0}$, $(f_{\alpha }(x),f(x))$ V में है। इस स्थिति में सतत फलनों की एकसमान सीमा सतत् बनी रहती है।

अतिवास्तविक समुच्चयिंग में परिभाषा

एकसमान अभिसरण एक अतियथार्थवादी समुच्चयिंग में एक सरलीकृत परिभाषा को स्वीकार करता है। इस प्रकार, एक अनुक्रम $f_{n}$ समान रूप से f में परिवर्तित हो जाता है यदि $f^{*}$के डोमेन में सभी x और सभी अनंत n के लिए, $f_{n}^{*}(x)$ अपरिमित रूप से $f^{*}(x)$ के समीप है (समान निरंतरता की समान परिभाषा के लिए सूक्ष्म निरंतरता देखें)।

उदाहरण

$x\in [0,1)$ के लिए, एक समान अभिसरण का एक मूल उदाहरण इस प्रकार चित्रित किया जा सकता है: अनुक्रम $(1/2)^{x+n}$समान रूप से अभिसरण करता है, जबकि $x^{n}$नहीं करता. विशेष रूप से, मान लें कि $\epsilon =1/4$ x के मान की परवाह किए बिना, $n\geq 2$ होने पर प्रत्येक फलन$(1/2)^{x+n}$ $1/4$ से कम या उसके समान होता है। दूसरी ओर,$x^{n}$$n$ के लगातार बढ़ते मानों पर केवल $1/4$ से कम या उसके समान होता है जब $x$के मानों को 1 के समीप और समीप चुना जाता है (नीचे और अधिक गहराई से समझाया गया है)।

एक टोपोलॉजिकल समष्टि

$d(f,g)=\|f-g\|_{\infty }=\sup _{x\in X}|f(x)-g(x)|.$

फिर एकसमान अभिसरण का सीधा सा अर्थ है एकसमान मानदंड टोपोलॉजी में एक अनुक्रम की सीमा:

$\lim _{n\to \infty }\|f_{n}-f\|_{\infty }=0$.

फलन का क्रम $(f_{n})$ :${\begin{cases}f_{n}:[0,1]\to [0,1]\\f_{n}(x)=x^{n}\end{cases}}$

फलन के अनुक्रम का एक उत्कृष्ट उदाहरण है जो किसी फलन $f$ में बिंदुवार रूप से परिवर्तित होता है लेकिन समान रूप से नहीं। इसे दिखाने के लिए, हम पहले देखते हैं कि $(f_{n})$ की बिंदुवार सीमा $n\to \infty$के रूप में फलन $f$ है, जो द्वारा दिया गया है

$f(x)=\lim _{n\to \infty }f_{n}(x)={\begin{cases}0,&x\in [0,1);\\1,&x=1.\end{cases}}$

बिंदुवार अभिसरण: $x=0$ और $x=1$ के लिए अभिसरण तुच्छ है, क्योंकि$f_{n}(0)=f(0)=0$ और $f_{n}(1)=f(1)=1$, सभी $n$ के लिए $x\in (0,1)$ और दिए गए $\epsilon >0$ के लिए, हम यह सुनिश्चित कर सकते हैं कि $|f_{n}(x)-f(x)|<\epsilon$ जब भी $n\geq N$ $N=\lceil \log \epsilon /\log x\rceil$ चुनकर (यहां ऊपरी वर्ग कोष्ठक गोल करने का संकेत देते हैं, सीलिंग फलन देखें)। इसलिए, सभी $x\in [0,1]$ के लिए $f_{n}\to f$ बिंदुवार। ध्यान दें कि $N$ का चुनाव $\epsilon$ और $x$ के मान पर निर्भर करता है। इसके अतिरिक्त ,$\epsilon$ की एक निश्चित पसंद के लिए, $N$ (जिसे छोटे के रूप में परिभाषित नहीं किया जा सकता है) जैसे-जैसे $x$ 1 के समीप पहुंचता है, बिना किसी सीमा के बढ़ता है। ये अवलोकन एकसमान अभिसरण की संभावना को रोकते हैं।

अभिसरण की गैर-एकरूपता: अभिसरण एक समान नहीं है, क्योंकि हम एक $\epsilon >0$ पा सकते हैं ताकि हम कितना भी बड़ा $N,$ चुनें, $x\in [0,1]$ और $n\geq N$ जैसे मान होंगे कि$|f_{n}(x)-f(x)|\geq \epsilon .$इसे देखने के लिए, पहले देखें कि चाहे $n$ कितना भी बड़ा हो जाए जो सदैव एक $x_{0}\in [0,1)$ होता है जैसे कि $f_{n}(x_{0})=1/2.$ इस प्रकार, यदि हम $\epsilon =1/4,$ चुनते हैं तो हम कभी नहीं पा सकते हैं एक $N$ ऐसा कि सभी $|f_{n}(x)-f(x)|<\epsilon$ और $n\geq N$ के लिए $x\in [0,1]$ स्पष्ट रूप से, हम $N$ के लिए जो भी उम्मीदवार चुनते हैं, वह $x_{0}=(1/2)^{1/N}$ पर $f_{N}$ के मान पर विचार करता है। तब से

$\left|f_{N}(x_{0})-f(x_{0})\right|=\left|\left[\left({\frac {1}{2}}\right)^{\frac {1}{N}}\right]^{N}-0\right|={\frac {1}{2}}>{\frac {1}{4}}=\epsilon ,$

उम्मीदवार असफल हो जाता है क्योंकि हमें इसका एक उदाहरण मिला है $x\in [0,1]$ यह प्रत्येक को सीमित करने के हमारे प्रयास से बच गया $f_{n}\ (n\geq N)$ के दायरे में $\epsilon$ का $f$ सभी के लिए $x\in [0,1]$. वास्तव में, यह देखना आसान है

$\lim _{n\to \infty }\|f_{n}-f\|_{\infty }=1,$

उस आवश्यकता के विपरीत $\|f_{n}-f\|_{\infty }\to 0$ यदि $f_{n}\rightrightarrows f$.

इस उदाहरण में कोई आसानी से देख सकता है कि बिंदुवार अभिसरण भिन्नता या निरंतरता को संरक्षित नहीं करता है। जबकि अनुक्रम का प्रत्येक फलन सुचारू है, कहने का तात्पर्य यह है कि सभी n के लिए, $f_{n}\in C^{\infty }([0,1])$, सीमा $\lim _{n\to \infty }f_{n}$ सतत भी नहीं है.

घातीय फलन

वेइरस्ट्रैस एम-टेस्ट का उपयोग करके घातीय फलन के श्रृंखला विस्तार को किसी भी परिबद्ध उपसमुच्चय $S\subset \mathbb {C}$ पर समान रूप से अभिसरण के रूप में दिखाया जा सकता है।

प्रमेय (वीयरस्ट्रैस एम-टेस्ट)। मान लीजिए $(f_{n})$ फलन का एक अनुक्रम है और मान लीजिए कि $f_{n}:E\to \mathbb {C}$ सभी $x\in E$ के लिए $M_{n}$ है, तो यह धनात्मक वास्तविक संख्याओं का एक क्रम है।और $n=1,2,3,\ldots$ में यदि ${\textstyle \sum _{n}M_{n}}$अभिसरण होता है, तो ${\textstyle \sum _{n}f_{n}}$पूर्णतः और समान रूप से $E$ पर अभिसरण होता है।

सम्मिश्र घातीय फलन को श्रृंखला के रूप में व्यक्त किया जा सकता है:

$\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}.$

कोई भी परिबद्ध उपसमुच्चय त्रिज्या $R,$ की किसी डिस्क $D_{R}$ का उपसमुच्चय है, जो सम्मिश्र तल में मूल बिंदु पर केन्द्रित है। वीयरस्ट्रैस M-परीक्षण के लिए हमें श्रृंखला की नियमो पर एक ऊपरी सीमा $M_{n}$ खोजने की आवश्यकता है, जिसमें $M_{n}$ डिस्क में स्थिति से स्वतंत्र है:

$\left|{\frac {z^{n}}{n!}}\right|\leq M_{n},\forall z\in D_{R}.$

ऐसा करने के लिए, हम नोटिस करते हैं

$\left|{\frac {z^{n}}{n!}}\right|\leq {\frac {|z|^{n}}{n!}}\leq {\frac {R^{n}}{n!}}$

और $M_{n}={\tfrac {R^{n}}{n!}}.$

यदि $\sum _{n=0}^{\infty }M_{n}$ अभिसरण है, तो एम-परीक्षण यह प्रमाणित करता है कि मूल श्रृंखला समान रूप से अभिसरण है।

अनुपात परीक्षण का उपयोग यहां किया जा सकता है:

$\lim _{n\to \infty }{\frac {M_{n+1}}{M_{n}}}=\lim _{n\to \infty }{\frac {R^{n+1}}{R^{n}}}{\frac {n!}{(n+1)!}}=\lim _{n\to \infty }{\frac {R}{n+1}}=0$

जिसका अर्थ है कि $M_{n}$ पर श्रृंखला अभिसरण है। इस प्रकार मूल श्रृंखला सभी $z\in D_{R},$ के लिए समान रूप से अभिसरण होती है और $S\subset D_{R}$ के बाद से, श्रृंखला भी $S.$ पर समान रूप से अभिसरण होती है।

गुण

• प्रत्येक समान रूप से अभिसरण अनुक्रम समष्टि रूप से समान रूप से अभिसरण होता है।
• प्रत्येक समष्टि रूप से समान रूप से अभिसरण अनुक्रम सघन रूप से अभिसरण होता है।
• समष्टि रूप से सघन समष्टिों के लिए समष्टि समान अभिसरण और सघन अभिसरण मेल खाते हैं।
• मीट्रिक रिक्त समष्टि पर निरंतर फलन का एक क्रम, छवि मीट्रिक समष्टि पूर्ण होने के साथ, समान रूप से अभिसरण होता है यदि और केवल यदि यह समान रूप से कॉची अनुक्रम है।
• यदि $S$ एक सघन समष्टि अंतराल (या सामान्यतः एक सघन टोपोलॉजिकल समष्टि) है, और $(f_{n})$ एक एकरस अनुक्रम है (अर्थ)। $f_{n}(x)\leq f_{n+1}(x)$ बिंदुवार सीमा के साथ निरंतर फलन के सभी n और x) के लिए $f$ जो निरंतर भी है, तो अभिसरण आवश्यक रूप से एक समान है (दीनी का प्रमेय)। यदि $S$ समान अभिसरण की भी आश्वासन है एक सघन अंतराल है और $(f_{n})$ एक समसंगति अनुक्रम है जो बिंदुवार परिवर्तित होता है।

अनुप्रयोग

निरंतरता के लिए

Main article: समान सीमा प्रमेय

एकसमान अभिसरण प्रमेय को प्रबल करने का प्रति उदाहरण, जिसमें एकसमान अभिसरण के अतिरिक्त बिंदुवार अभिसरण माना जाता है। सतत हरित फलन करता है $\sin ^{n}(x)$ गैर-निरंतर लाल फलन में परिवर्तित करें। ऐसा तभी हो सकता है जब अभिसरण एक समान न हो।

यदि $E$ और $M$ टोपोलॉजिकल समष्टि हैं, तो फ़ंक्शंस के निरंतर फलन (टोपोलॉजी) के बारे में बात करना समझ में आता है $f_{n},f:E\to M$. यदि हम आगे यह मान लें $M$ एक मीट्रिक समष्टि है, तो (समान) अभिसरण $f_{n}$ को $f$ भी अच्छी तरह से परिभाषित है. निम्नलिखित परिणाम बताता है कि निरंतरता एक समान अभिसरण द्वारा संरक्षित है:

Uniform limit theorem — Suppose $E$ is a topological space, $M$ is a metric space, and $(f_{n})$ is a sequence of continuous functions $f_{n}:E\to M$. If $f_{n}\rightrightarrows f$ on $E$, then $f$ is also continuous.

यह प्रमेय "ε/3 ट्रिक" द्वारा सिद्ध किया गया है, और यह इस ट्रिक का आदर्श उदाहरण है: किसी दी गई असमानता (ε) को साबित करने के लिए, कोई 3 असमानताएं (ε/3) उत्पन्न करने के लिए निरंतरता और समान अभिसरण की परिभाषाओं का उपयोग करता है। और फिर वांछित असमानता उत्पन्न करने के लिए उन्हें त्रिकोण असमानता के माध्यम से जोड़ता है।

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

अधिक स्पष्ट रूप से, यह प्रमेय बताता है कि समान रूप से निरंतर फलन की एक समान सीमा समान रूप से निरंतर होती है; समष्टि रूप से सघन समष्टि के लिए, निरंतरता समष्टि समान निरंतरता के समान है, और इस प्रकार निरंतर फलन की एक समान सीमा निरंतर है।

विभिन्नता के लिए

यदि S एक अंतराल है और सभी फलन $f_{n}$ अवकलनीय हैं और एक सीमा $f$ में परिवर्तित होते हैं, तो अनुक्रम $f'_{n}$ की सीमा लेकर व्युत्पन्न फलन $f'$ को निर्धारित करना प्रायः वांछनीय होता है। चूँकि , यह सामान्य रूप से संभव नहीं है: यथार्त अभिसरण एक समान हो, सीमा फलन को विभेदित करने की आवश्यकता नहीं है (यथार्त अनुक्रम में हर जगह-विश्लेषणात्मक फलन सम्मिलित हों, वीयरस्ट्रैस फलन देखें), और यथार्त यह विभेदक हो, का व्युत्पन्न सीमा फलन को डेरिवेटिव की सीमा के समान होना आवश्यक नहीं है। उदाहरण के लिए समान सीमा $f_{n}\rightrightarrows f\equiv 0$ के साथ $f_{n}(x)=n^{-1/2}{\sin(nx)}$ पर विचार करें। स्पष्टतः,$f'$ भी समान रूप से शून्य है। चूँकि फलन के अनुक्रम के व्युत्पन्न द्वारा दिए गए हैं $f'_{n}(x)=n^{1/2}\cos nx,$ और अनुक्रम $f'_{n}$ $f',$ या यहां तक कि किसी भी फलन में परिवर्तित नहीं होता है भिन्न-भिन्न फलन के अनुक्रम की सीमा और डेरिवेटिव के अनुक्रम की सीमा के बीच संबंध सुनिश्चित करने के लिए, डेरिवेटिव के अनुक्रम का एक समान अभिसरण और कम से कम एक बिंदु पर फलन के अनुक्रम का अभिसरण आवश्यक है:

यदि $(f_{n})$ $[a,b]$ पर भिन्न-भिन्न फलन का एक क्रम है, जैसे कि कुछ $x_{0}\in [a,b]$ के लिए $\lim _{n\to \infty }f_{n}(x_{0})$ उपस्थित है (और परिमित है) और अनुक्रम $(f'_{n})$समान रूप से $[a,b]$ पर अभिसरण करता है, फिर $f_{n}$ समान रूप से $[a,b]$ पर एक फलन $f$ में परिवर्तित हो जाता है, और $x\in [a,b]$ के लिए $f'(x)=\lim _{n\to \infty }f'_{n}(x)$ होता है

अभिन्नता के लिए

इसी तरह, कोई भी अधिकांशतः इंटीग्रल और सीमा प्रक्रियाओं का आदान-प्रदान करना चाहता है। रीमैन इंटीग्रल के लिए, यह तब किया जा सकता है जब एकसमान अभिसरण मान लिया जाए:

यदि $(f_{n})_{n=1}^{\infty }$ एक सघन अंतराल $I$ पर परिभाषित रीमैन इंटीग्रल फलन का एक क्रम है जो सीमा $f$ के साथ समान रूप से अभिसरण करता है, फिर $f$रीमैन इंटीग्रल है और इसके अभिन्न अंग की गणना इसके $f_{n}$ अभिन्नों की सीमा के रूप में की जा सकती है :

$$\int _{I}f=\lim _{n\to \infty }\int _{I}f_{n}.$$

वास्तव में, एक अंतराल पर बंधे हुए फलन के एक समान रूप से अभिसरण वर्ग के लिए, ऊपरी और निचले रीमैन इंटीग्रल्स सीमा फलन के ऊपरी और निचले रीमैन इंटीग्रल्स में परिवर्तित हो जाते हैं। ऐसा इसलिए होता है, क्योंकि पर्याप्त रूप से बड़े n के लिए, $f_{n}$ का ग्राफ़ f के ग्राफ़ के ε के अंदर होता है, और इसलिए $f_{n}$ का ऊपरी योग और निचला योग प्रत्येक $\varepsilon |I|$ के अंदर होता है। क्रमशः $f$ के ऊपरी और निचले योग के मान में परिवर्तित होता है ।

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

विश्लेषणात्मकता के लिए

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

श्रृंखला के लिए

हम ऐसा कहते हैं ${\textstyle \sum _{n=1}^{\infty }f_{n}}$ अभिसरण:

1. pointwise on E if and only if the sequence of partial sums $s_{n}(x)=\sum _{j=1}^{n}f_{j}(x)$ converges for every $x\in E$.
2. uniformly on E if and only if s_n converges uniformly as $n\to \infty$.
3. absolutely on E if and only if ${\textstyle \sum _{n=1}^{\infty }|f_{n}|}$ converges for every $x\in E$.

इस परिभाषा के साथ निम्नलिखित परिणाम आता है:

<ब्लॉककोट>

मान लीजिए x₀ समुच्चय E में समाहित है और प्रत्येक f_n x₀ पर सतत है। यदि ${\textstyle f=\sum _{n=1}^{\infty }f_{n}}$ E पर समान रूप से अभिसरण करता है तो E में x₀ पर f निरंतर है। मान लीजिए कि $E=[a,b]$ और प्रत्येक f_n E पर पूर्णांक है। यदि ${\textstyle \sum _{n=1}^{\infty }f_{n}}$ पर समान रूप से अभिसरण करता है तो f , E पर पूर्णांक है और f_n के अभिन्नों की श्रृंखला f_n की श्रृंखला के अभिन्न अंग के समान है।

लगभग एकसमान अभिसरण

यदि फलन का डोमेन एक माप समष्टि ई है तो लगभग समान अभिसरण की संबंधित धारणा को परिभाषित किया जा सकता है। हम कहते हैं कि फलन का अनुक्रम $(f_{n})$ E पर लगभग समान रूप से अभिसरण करता है यदि प्रत्येक $\delta >0$ के लिए एक मापने योग्य समुच्चय $E_{\delta }$ उपस्थित है जिसका माप $\delta$ से कम है जैसे कि फलन का अनुक्रम $(f_{n})$ $E\setminus E_{\delta }$ पर समान रूप से अभिसरण करता है। दूसरे शब्दों में, लगभग एकसमान अभिसरण का मतलब है कि इच्छानुसार से छोटे माप के समुच्चय हैं जिनके लिए फलन का क्रम उनके पूरक पर समान रूप से परिवर्तित होता है।

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

लगभग एकसमान अभिसरण का तात्पर्य लगभग हर जगह माप में अभिसरण और अभिसरण से है।

यह भी देखें

• संभावना में एकसमान अभिसरण
• अभिसरण के विधि (एनोटेटेड सूचकांक)
• दीनी का प्रमेय
• अर्ज़ेला-एस्कोली प्रमेय

संदर्भ

• Konrad Knopp, Theory and Application of Infinite Series; Blackie and Son, London, 1954, reprinted by Dover Publications, ISBN 0-486-66165-2.
• G. H. Hardy, Sir George Stokes and the concept of uniform convergence; Proceedings of the Cambridge Philosophical Society, 19, pp. 148–156 (1918)
• Bourbaki; Elements of Mathematics: General Topology. Chapters 5–10 (paperback); ISBN 0-387-19374-X
• Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw–Hill, 1976.
• Gerald Folland, Real Analysis: Modern Techniques and Their Applications, Second Edition, John Wiley & Sons, Inc., 1999, ISBN 0-471-31716-0.
• William Wade, An Introduction to Analysis, 3rd ed., Pearson, 2005

बाहरी संबंध

• "Uniform convergence", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Graphic examples of uniform convergence of Fourier series from the University of Colorado