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

विश्लेषण के गणितीय क्षेत्र में, समान अभिसरण बिंदुवार अभिसरण से अधिक प्रबल कार्यों के अभिसरण का एक विधि है। कार्य का एक क्रम $(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