समनिरंतरता: Difference between revisions
(Created page with "{{Short description|Relation among continuous functions}} गणितीय विश्लेषण में, यदि सभी फ़ंक्शन निरंत...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Relation among continuous functions}} | {{Short description|Relation among continuous functions}} | ||
[[गणितीय विश्लेषण]] में, यदि सभी | [[गणितीय विश्लेषण]] में, यदि सभी फलन निरंतर फलन हैं और यहां वर्णित सटीक अर्थ में, किसी दिए गए [[पड़ोस (गणित)|सामीप्य]] पर उनमें समान भिन्नता है, तो फलनों का एक परिवार '''समनिरंतर''' होता है।विशेष रूप से, यह अवधारणा गणनीय सेट परिवारों और इस प्रकार फलनों के ''अनुक्रमों'' पर अनप्रयुक्त होती है। | ||
एस्कोली के प्रमेय के निर्माण में समनिरंतरता दिखाई देती है, जिसमें कहा गया है कि ''C''(''X'') का एक उपसमुच्चय, एक सघन हॉसडॉर्फ स्पेस ''एक्स'' पर निरंतर फलनों का स्थान, सघन है यदि और केवल यदि यह बंद है, बिंदुवार घिरा हुआ है और समनिरंतर है। | |||
एक परिणाम के रूप में, ''सी''(''एक्स'') में एक अनुक्रम समान रूप से अभिसरण होता है यदि और केवल यदि यह | एक परिणाम के रूप में, ''सी''(''एक्स'') में एक अनुक्रम समान रूप से अभिसरण होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार एक फलन में अभिसरण करता है (जरूरी नहीं कि निरंतर ए-प्राथमिकता हो)। | ||
विशेष रूप से, निरंतर | विशेष रूप से, निरंतर फलनों के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा '' एफ<sub>n</sub>या तो मीट्रिक स्थान पर या स्थानीय रूप से सघन स्थान पर<ref>More generally, on any [[compactly generated space]]; e.g., a [[first-countable space]].</ref> सतत है. यदि, इसके अतिरिक्त, एफ<sub>n</sub>[[ होलोमार्फिक ]] हैं, तो सीमा भी होलोमोर्फिक है।'' | ||
एकसमान सीमाबद्धता सिद्धांत बताता है कि बानाच स्थानों के बीच निरंतर रैखिक ऑपरेटरों का एक बिंदुवार बंधा हुआ परिवार | एकसमान सीमाबद्धता सिद्धांत बताता है कि बानाच स्थानों के बीच निरंतर रैखिक ऑपरेटरों का एक बिंदुवार बंधा हुआ परिवार समनिरंतर है।{{sfn|Rudin|1991|p=44 §2.5}} | ||
==[[मीट्रिक स्थान]]ों के बीच | ==[[मीट्रिक स्थान]]ों के बीच समनिरंतरता == | ||
मान लीजिए कि | मान लीजिए कि | ||
Line 15: | Line 14: | ||
परिवार F 'एक बिंदु पर समसंतत' x है<sub>0</sub>∈ X यदि प्रत्येक ε > 0 के लिए, एक δ > 0 मौजूद है जैसे कि d(ƒ(x)<sub>0</sub>), उंचा (x)) < ε सभी उंचा ∈ F और सभी x के लिए जैसे कि d(x)<sub>0</sub>, x) < δ. | परिवार F 'एक बिंदु पर समसंतत' x है<sub>0</sub>∈ X यदि प्रत्येक ε > 0 के लिए, एक δ > 0 मौजूद है जैसे कि d(ƒ(x)<sub>0</sub>), उंचा (x)) < ε सभी उंचा ∈ F और सभी x के लिए जैसे कि d(x)<sub>0</sub>, x) < δ. | ||
यदि परिवार X के प्रत्येक बिंदु पर समसंतत है, तो वह 'बिंदुवार समसंतत' है।<ref name=RS29>{{harvtxt|Reed|Simon|1980}}, p. 29; {{harvtxt|Rudin|1987}}, p. 245</ref> | यदि परिवार X के प्रत्येक बिंदु पर समसंतत है, तो वह 'बिंदुवार समसंतत' है।<ref name=RS29>{{harvtxt|Reed|Simon|1980}}, p. 29; {{harvtxt|Rudin|1987}}, p. 245</ref> | ||
परिवार F 'समान रूप से | परिवार F 'समान रूप से समनिरंतर' है यदि प्रत्येक ε > 0 के लिए, एक δ > 0 मौजूद है जैसे कि d(ƒ(x)<sub>1</sub>), (x<sub>2</sub>)) < ε सभी ƒ ∈ F और सभी x के लिए<sub>1</sub>, एक्स<sub>2</sub>∈ X ऐसे कि d(x<sub>1</sub>, एक्स<sub>2</sub>) <डी.<ref>{{harvtxt|Reed|Simon|1980}}, p. 29</ref> | ||
तुलना के लिए, कथन 'एफ में सभी | तुलना के लिए, कथन 'एफ में सभी फलन निरंतर हैं' का अर्थ है कि प्रत्येक ε > 0, प्रत्येक ∈ F, और प्रत्येक x के लिए<sub>0</sub>∈ X, वहाँ एक δ > 0 मौजूद है जैसे कि d(ƒ(x<sub>0</sub>), ƒ(x)) < ε सभी x ∈X के लिए जैसे कि d(x<sub>0</sub>, x) < δ. | ||
* सतत कार्य के लिए, δ, ε, , और x पर निर्भर हो सकता है<sub>0</sub>. | * सतत कार्य के लिए, δ, ε, , और x पर निर्भर हो सकता है<sub>0</sub>. | ||
* [[एकसमान निरंतरता]] के लिए, δ ε और ƒ पर निर्भर हो सकता है। | * [[एकसमान निरंतरता]] के लिए, δ ε और ƒ पर निर्भर हो सकता है। | ||
* बिंदुवार | * बिंदुवार समनिरंतरता के लिए, δ ε और x पर निर्भर हो सकता है<sub>0</sub>. | ||
* एकसमान | * एकसमान समनिरंतरता के लिए, δ केवल ε पर निर्भर हो सकता है। | ||
अधिक आम तौर पर, जब<sub>x</sub>ऐसा है कि | अधिक आम तौर पर, जब<sub>x</sub>ऐसा है कि | ||
Line 30: | Line 29: | ||
अपने आप में इस्तेमाल किया जाने वाला, संदर्भ के आधार पर, समरूपता शब्द या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन स्थान पर, ये धारणाएँ मेल खाती हैं। | अपने आप में इस्तेमाल किया जाने वाला, संदर्भ के आधार पर, समरूपता शब्द या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन स्थान पर, ये धारणाएँ मेल खाती हैं। | ||
कुछ बुनियादी गुण परिभाषा से तुरंत अनुसरण करते हैं। सतत | कुछ बुनियादी गुण परिभाषा से तुरंत अनुसरण करते हैं। सतत फलनों का प्रत्येक परिमित समुच्चय समसतत् है। एक समनिरंतर समुच्चय का समापन पुनः समनिरंतर है। | ||
फलनों के समान रूप से समनिरंतर सेट का प्रत्येक सदस्य [[समान रूप से निरंतर]] है, और समान रूप से निरंतर फलनों का प्रत्येक परिमित सेट समान रूप से समनिरंतर है। | |||
=== उदाहरण === | === उदाहरण === | ||
*एक सामान्य [[लिप्सचिट्ज़ स्थिरांक]] के साथ | *एक सामान्य [[लिप्सचिट्ज़ स्थिरांक]] के साथ फलनों का एक सेट (समान रूप से) समनिरंतर है। विशेष रूप से, यह मामला है यदि सेट में समान स्थिरांक से घिरे डेरिवेटिव वाले फलन होते हैं। | ||
*समान सीमाबद्धता सिद्धांत निरंतर रैखिक ऑपरेटरों के एक सेट के लिए समविरंतर होने के लिए पर्याप्त शर्त देता है। | *समान सीमाबद्धता सिद्धांत निरंतर रैखिक ऑपरेटरों के एक सेट के लिए समविरंतर होने के लिए पर्याप्त शर्त देता है। | ||
*विश्लेषणात्मक | *विश्लेषणात्मक फलन के पुनरावृत्तों का एक परिवार [[ फ़तौ सेट ]] पर समतुल्य है।<ref>Alan F. Beardon, S. Axler, F.W. Gehring, K.A. Ribet : Iteration of Rational Functions: Complex Analytic Dynamical Systems. Springer, 2000; {{ISBN|0-387-95151-2}}, {{ISBN|978-0-387-95151-5}}; page 49</ref><ref>Joseph H. Silverman : The arithmetic of dynamical systems. Springer, 2007. {{ISBN|0-387-69903-1}}, {{ISBN|978-0-387-69903-5}}; page 22</ref> | ||
===प्रतिउदाहरण === | ===प्रतिउदाहरण === | ||
* | *फलनों का क्रम f<sub>n</sub>(x) = arctan(nx), समविरंतर नहीं है क्योंकि x पर परिभाषा का उल्लंघन होता है<sub>0</sub>=0. | ||
== टोपोलॉजिकल समूहों में मूल्यवान मानचित्रों की समरूपता == | == टोपोलॉजिकल समूहों में मूल्यवान मानचित्रों की समरूपता == | ||
Line 49: | Line 48: | ||
टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजिकल समूहों के प्रमुख उदाहरण हैं और प्रत्येक टोपोलॉजिकल समूह में एक संबद्ध कैनोनिकल [[एकसमान स्थान]] होता है। | टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजिकल समूहों के प्रमुख उदाहरण हैं और प्रत्येक टोपोलॉजिकल समूह में एक संबद्ध कैनोनिकल [[एकसमान स्थान]] होता है। | ||
:परिभाषा:{{sfn | Narici|Beckenstein | 2011 | pp=133-136}} एक परिवार {{mvar|H}} से मानचित्रों का {{mvar|T}} में {{mvar|Y}} को समसतत् कहा जाता है {{math|''t'' ∈ ''T''}} यदि प्रत्येक | :परिभाषा:{{sfn | Narici|Beckenstein | 2011 | pp=133-136}} एक परिवार {{mvar|H}} से मानचित्रों का {{mvar|T}} में {{mvar|Y}} को समसतत् कहा जाता है {{math|''t'' ∈ ''T''}} यदि प्रत्येक सामीप्य के लिए {{mvar|V}} का {{mvar|0}} में {{mvar|Y}}, वहां कुछ सामीप्य मौजूद है {{mvar|U}} का {{mvar|t}} में {{mvar|T}} ऐसा है कि {{math|''h''(''U'') ⊆ ''h''(''t'') + ''V''}} हरएक के लिए {{math|''h'' ∈ ''H''}}. हम ऐसा कहते हैं {{mvar|H}} समसतत् है यदि यह प्रत्येक बिंदु पर समसतत् है {{mvar|T}}. | ||
ध्यान दें कि यदि {{mvar|H}} प्रत्येक मानचित्र की तुलना में एक बिंदु पर समसतत् है {{mvar|H}} बिंदु पर निरंतर है। | ध्यान दें कि यदि {{mvar|H}} प्रत्येक मानचित्र की तुलना में एक बिंदु पर समसतत् है {{mvar|H}} बिंदु पर निरंतर है। | ||
स्पष्ट रूप से, सतत मानचित्रों का प्रत्येक परिमित सेट {{mvar|T}} में {{mvar|Y}} | स्पष्ट रूप से, सतत मानचित्रों का प्रत्येक परिमित सेट {{mvar|T}} में {{mvar|Y}} समनिरंतर है. | ||
==समसंतुलित रैखिक मानचित्र== | ==समसंतुलित रैखिक मानचित्र== | ||
{{anchor|Equicontinuous linear operators}} | {{anchor|Equicontinuous linear operators}} | ||
क्योंकि प्रत्येक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) एक टोपोलॉजिकल समूह है, इसलिए टोपोलॉजिकल समूहों के लिए दिए गए मानचित्रों के एक | क्योंकि प्रत्येक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) एक टोपोलॉजिकल समूह है, इसलिए टोपोलॉजिकल समूहों के लिए दिए गए मानचित्रों के एक समनिरंतर परिवार की परिभाषा बिना किसी बदलाव के टीवीएस में स्थानांतरित हो जाती है। | ||
===समसतत् रैखिक मानचित्रों का लक्षण वर्णन=== | ===समसतत् रैखिक मानचित्रों का लक्षण वर्णन=== | ||
एक परिवार <math>H</math> प्रपत्र के मानचित्रों का <math>X \to Y</math> दो टोपोलॉजिकल वेक्टर स्पेस के बीच कहा जाता है {{em|equicontinuous at a point}} <math>x \in X</math> यदि प्रत्येक | एक परिवार <math>H</math> प्रपत्र के मानचित्रों का <math>X \to Y</math> दो टोपोलॉजिकल वेक्टर स्पेस के बीच कहा जाता है {{em|equicontinuous at a point}} <math>x \in X</math> यदि प्रत्येक सामीप्य के लिए <math>V</math> में उत्पत्ति का <math>Y</math> वहाँ कुछ सामीप्य मौजूद है <math>U</math> में उत्पत्ति का <math>X</math> ऐसा है कि <math>h(x + U) \subseteq h(x) + V</math> सभी के लिए <math>h \in H.</math> अगर <math>H</math> मानचित्रों का एक परिवार है और <math>U</math> एक समुच्चय है तो चलो <math>H(U) := \bigcup_{h \in H} h(U).</math> अंकन के साथ, यदि <math>U</math> और <math>V</math> तो सेट हैं <math>h(U) \subseteq V</math> सभी के लिए <math>h \in H</math> अगर और केवल अगर <math>H(U) \subseteq V.</math> होने देना <math>X</math> और <math>Y</math> टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) बनें और <math>H</math> से रैखिक ऑपरेटरों का एक परिवार बनें <math>X</math> में <math>Y.</math> उसके बाद निम्न बराबर हैं: | ||
<ol> | <ol> | ||
<ली><math>H</math> | <ली><math>H</math> समनिरंतर है; | ||
<ली><math>H</math> के प्रत्येक बिन्दु पर समसतत् है <math>X.</math | <ली><math>H</math> के प्रत्येक बिन्दु पर समसतत् है <math>X.</math> | ||
<ली><math>H</math> किसी बिंदु पर | <ली><math>H</math> किसी बिंदु पर समनिरंतर है <math>X.</math> | ||
<ली><math>H</math> मूल पर समसतत् है। | <ली><math>H</math> मूल पर समसतत् है। | ||
*अर्थात् प्रत्येक मोहल्ले के लिए <math>V</math> में उत्पत्ति का <math>Y,</math> वहाँ एक | *अर्थात् प्रत्येक मोहल्ले के लिए <math>V</math> में उत्पत्ति का <math>Y,</math> वहाँ एक सामीप्य मौजूद है <math>U</math> में उत्पत्ति का <math>X</math> ऐसा है कि <math>H(U) \subseteq V</math> (या समकक्ष, <math>h(U) \subseteq V</math>हरएक के लिए <math>h \in H</math>). | ||
<li>प्रत्येक | {{sfn|Rudin|1991|p=44 Theorem 2.4}} | ||
<li>का समापन <math>H</math> में <math>L_{\sigma}(X; Y)</math> | <li>प्रत्येक सामीप्य के लिए <math>V</math> में उत्पत्ति का <math>Y,</math> <math>\bigcap_{h \in H} h^{-1}(V)</math> में मूल का सामीप्य है <math>X.</math> </li> | ||
<li>का समापन <math>H</math> में <math>L_{\sigma}(X; Y)</math> समनिरंतर है. | |||
* <math>L_{\sigma}(X; Y)</math> अर्थ है <math>L(X; Y)</math>बिंदु-वार अभिसरण की टोपोलॉजी से संपन्न।</li> | * <math>L_{\sigma}(X; Y)</math> अर्थ है <math>L(X; Y)</math>बिंदु-वार अभिसरण की टोपोलॉजी से संपन्न।</li> | ||
<li>का [[संतुलित सेट]] <math>H</math> समसतत् है.</li> | <li>का [[संतुलित सेट]] <math>H</math> समसतत् है.</li> | ||
Line 76: | Line 76: | ||
जबकि यदि <math>Y</math> [[स्थानीय रूप से उत्तल]] है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है: | जबकि यदि <math>Y</math> [[स्थानीय रूप से उत्तल]] है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है: | ||
<ol प्रारंभ=8> | <ol प्रारंभ=8> | ||
<li>का उत्तल पतवार <math>H</math> | <li>का उत्तल पतवार <math>H</math> समनिरंतर है.{{sfn|Narici|Beckenstein|2011|pp=225-273}}</li> | ||
<li>[[बिल्कुल उत्तल सेट]] <math>H</math> | <li>[[बिल्कुल उत्तल सेट]] <math>H</math> समनिरंतर है.{{sfn|Trèves|2006|pp=335-345}}{{sfn|Narici|Beckenstein|2011|pp=225-273}}</li> | ||
</ol> | </ol> | ||
Line 95: | Line 95: | ||
जबकि यदि <math>X</math> और <math>Y</math> यदि बानाच स्थान हैं तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है: | जबकि यदि <math>X</math> और <math>Y</math> यदि बानाच स्थान हैं तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है: | ||
<ol प्रारंभ=13> | <ol प्रारंभ=13> | ||
<ली><math>\sup \{\|T\| : T \in H\} < \infty</math> (वह है, <math>H</math> [[ऑपरेटर मानदंड]] में समान रूप से बंधा हुआ है)। | <ली><math>\sup \{\|T\| : T \in H\} < \infty</math> (वह है, <math>H</math> [[ऑपरेटर मानदंड]] में समान रूप से बंधा हुआ है)। | ||
</ol> | </ol> | ||
==== | ====समनिरंतर रैखिक कार्यात्मकताओं का लक्षण वर्णन==== | ||
{{anchor|Equicontinuous linear functionals}} | {{anchor|Equicontinuous linear functionals}} | ||
होने देना <math>X</math> क्षेत्र के ऊपर एक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) बनें <math>\mathbb{F}</math> निरंतर दोहरे स्थान के साथ <math>X^{\prime}.</math> एक परिवार <math>H</math> रैखिक कार्यात्मकताओं पर <math>X</math> बताया गया {{em|equicontinuous at a point}} <math>x \in X</math> यदि प्रत्येक | होने देना <math>X</math> क्षेत्र के ऊपर एक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) बनें <math>\mathbb{F}</math> निरंतर दोहरे स्थान के साथ <math>X^{\prime}.</math> एक परिवार <math>H</math> रैखिक कार्यात्मकताओं पर <math>X</math> बताया गया {{em|equicontinuous at a point}} <math>x \in X</math> यदि प्रत्येक सामीप्य के लिए <math>V</math> में उत्पत्ति का <math>\mathbb{F}</math> वहाँ कुछ सामीप्य मौजूद है <math>U</math> में उत्पत्ति का <math>X</math> ऐसा है कि <math>h(x + U) \subseteq h(x) + V</math> सभी के लिए <math>h \in H.</math> किसी भी उपसमुच्चय के लिए <math>H \subseteq X^{\prime},</math> निम्नलिखित समतुल्य हैं:{{sfn|Narici|Beckenstein|2011|pp=225-273}} | ||
<द> | <द> | ||
<ली><math>H</math> समसतत् है. | <ली><math>H</math> समसतत् है. | ||
<ली><math>H</math> मूल पर समसतत् है। | <ली><math>H</math> मूल पर समसतत् है। | ||
<ली><math>H</math> किसी बिंदु पर | <ली><math>H</math> किसी बिंदु पर समनिरंतर है <math>X.</math> | ||
<ली><math>H</math> मूल के कुछ | <ली><math>H</math> मूल के कुछ सामीप्य के [[ध्रुवीय सेट]] में समाहित है <math>X</math>{{sfn|Trèves|2006|pp=335-345}} | ||
<li>ध्रुवीय सेट|(पूर्व)ध्रुवीय का <math>H</math> में मूल का | <li>ध्रुवीय सेट|(पूर्व)ध्रुवीय का <math>H</math> में मूल का सामीप्य है <math>X.</math> </li> | ||
<li>[[कमजोर-* टोपोलॉजी]]|कमजोर* का बंद होना <math>H</math> में <math>X^{\prime}</math> समसतत् है.</li> | <li>[[कमजोर-* टोपोलॉजी]]|कमजोर* का बंद होना <math>H</math> में <math>X^{\prime}</math> समसतत् है.</li> | ||
<li>का संतुलित सेट <math>H</math> समसतत् है.</li> | <li>का संतुलित सेट <math>H</math> समसतत् है.</li> | ||
<li>का उत्तल पतवार <math>H</math> समसतत् है.</li> | <li>का उत्तल पतवार <math>H</math> समसतत् है.</li> | ||
<li>बिल्कुल उत्तल सेट <math>H</math> | <li>बिल्कुल उत्तल सेट <math>H</math> समनिरंतर है.{{sfn|Trèves|2006|pp=335-345}}</li> | ||
जबकि यदि <math>X</math> [[सामान्य स्थान]] है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है: | जबकि यदि <math>X</math> [[सामान्य स्थान]] है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है: | ||
Line 120: | Line 119: | ||
जबकि यदि <math>X</math> यदि यह एक बैरल वाली जगह है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है: | जबकि यदि <math>X</math> यदि यह एक बैरल वाली जगह है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है: | ||
<ol प्रारंभ=11> | <ol प्रारंभ="11"> | ||
<ली><math>H</math> कमजोर[[कमज़ोर* टोपोलॉजी]] में अपेक्षाकृत | <ली><math>H</math> कमजोर[[कमज़ोर* टोपोलॉजी]] में अपेक्षाकृत सघन है <math>X^{\prime}.</math>{{sfn|Trèves|2006|pp=346-350}} | ||
<ली><math>H</math> कमजोर* टोपोलॉजी है| कमजोर* घिरा हुआ है (अर्थात्, <math>H</math> है <math>\sigma\left(X^{\prime}, X\right)-</math>में घिरा हुआ <math>X^{\prime}</math>).{{sfn|Trèves|2006|pp=346-350}} | <ली><math>H</math> कमजोर* टोपोलॉजी है| कमजोर* घिरा हुआ है (अर्थात्, <math>H</math> है <math>\sigma\left(X^{\prime}, X\right)-</math>में घिरा हुआ <math>X^{\prime}</math>).{{sfn|Trèves|2006|pp=346-350}} | ||
<ली><math>H</math> परिबद्ध अभिसरण की टोपोलॉजी में बंधा हुआ है (अर्थात्, <math>H</math> है <math>b\left(X^{\prime}, X\right)-</math>में घिरा हुआ <math>X^{\prime}</math>).{{sfn|Trèves|2006|pp=346-350}} | <ली><math>H</math> परिबद्ध अभिसरण की टोपोलॉजी में बंधा हुआ है (अर्थात्, <math>H</math> है <math>b\left(X^{\prime}, X\right)-</math>में घिरा हुआ <math>X^{\prime}</math>).{{sfn|Trèves|2006|pp=346-350}} | ||
</al> | </al> | ||
===समसतत् रैखिक मानचित्रों के गुण=== | ===समसतत् रैखिक मानचित्रों के गुण=== | ||
एकसमान सीमा सिद्धांत (जिसे बानाच-स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है) बताता है कि एक सेट <math>H</math> बानाच स्थानों के बीच रेखीय मानचित्रों का | एकसमान सीमा सिद्धांत (जिसे बानाच-स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है) बताता है कि एक सेट <math>H</math> बानाच स्थानों के बीच रेखीय मानचित्रों का समनिरंतर है यदि यह बिंदुवार घिरा हुआ है; वह है, <math>\sup_{h \in H} \|h(x)\| < \infty</math> प्रत्येक के लिए <math>x \in X.</math> परिणाम को किसी मामले में सामान्यीकृत किया जा सकता है <math>Y</math> स्थानीय रूप से उत्तल है और <math>X</math> एक बैरल वाली जगह है.{{sfn|Schaefer|1966|loc= Theorem 4.2}} | ||
====समसतत् रैखिक कार्यात्मकताओं के गुण==== | ====समसतत् रैखिक कार्यात्मकताओं के गुण==== | ||
अलाओग्लू के प्रमेय का तात्पर्य है कि कमजोर-* एक | अलाओग्लू के प्रमेय का तात्पर्य है कि कमजोर-* एक समनिरंतर उपसमुच्चय का बंद होना <math>X^{\prime}</math> कमज़ोर है-* सघन; इस प्रकार प्रत्येक समनिरंतर उपसमुच्चय कमजोर-* अपेक्षाकृत सघन होता है।{{sfn|Schaefer|1966|loc= Corollary 4.3}}{{sfn|Narici|Beckenstein|2011|pp=225-273}} | ||
अगर <math>X</math> यदि कोई स्थानीय रूप से उत्तल टीवीएस है, तो सभी बैरल वाले स्थानों का परिवार <math>X</math> और सभी उपसमूहों का परिवार <math>X^{\prime}</math> जो उत्तल, संतुलित, बंद और घिरे हुए हैं <math>X^{\prime}_{\sigma},</math> ध्रुवता द्वारा एक दूसरे से मेल खाते हैं (के संबंध में)। <math>\left\langle X, X^{\#} \right\rangle</math>).{{sfn|Schaefer|Wolff|1999|pp=123–128}} | अगर <math>X</math> यदि कोई स्थानीय रूप से उत्तल टीवीएस है, तो सभी बैरल वाले स्थानों का परिवार <math>X</math> और सभी उपसमूहों का परिवार <math>X^{\prime}</math> जो उत्तल, संतुलित, बंद और घिरे हुए हैं <math>X^{\prime}_{\sigma},</math> ध्रुवता द्वारा एक दूसरे से मेल खाते हैं (के संबंध में)। <math>\left\langle X, X^{\#} \right\rangle</math>).{{sfn|Schaefer|Wolff|1999|pp=123–128}} | ||
यह इस प्रकार है कि एक स्थानीय रूप से उत्तल टी.वी.एस <math>X</math> वर्जित है यदि और केवल यदि प्रत्येक परिबद्ध उपसमुच्चय <math>X^{\prime}_{\sigma}</math> | यह इस प्रकार है कि एक स्थानीय रूप से उत्तल टी.वी.एस <math>X</math> वर्जित है यदि और केवल यदि प्रत्येक परिबद्ध उपसमुच्चय <math>X^{\prime}_{\sigma}</math> समनिरंतर है.{{sfn|Schaefer|Wolff|1999|pp=123–128}} | ||
{{Math theorem|name=Theorem|math_statement= | {{Math theorem|name=Theorem|math_statement= | ||
Line 145: | Line 144: | ||
मान लीजिए कि फिर अर्ज़ेला-एस्कोली प्रमेय बताता है कि C(X) का एक उपसमुच्चय सघन है यदि और केवल तभी जब वह बंद हो, समान रूप से घिरा हुआ हो और समविरंतर हो। {{sfn|Rudin|1991|p=394 Appendix A5}} | मान लीजिए कि फिर अर्ज़ेला-एस्कोली प्रमेय बताता है कि C(X) का एक उपसमुच्चय सघन है यदि और केवल तभी जब वह बंद हो, समान रूप से घिरा हुआ हो और समविरंतर हो। {{sfn|Rudin|1991|p=394 Appendix A5}} | ||
यह हेइन-बोरेल प्रमेय के अनुरूप है, जो बताता है कि आर के उपसमुच्चय<sup>n</sup>संहत हैं यदि और केवल तभी जब वे बंद और परिबद्ध हों।{{sfn|Rudin|1991|p=18 Theorem 1.23}} | यह हेइन-बोरेल प्रमेय के अनुरूप है, जो बताता है कि आर के उपसमुच्चय<sup>n</sup>संहत हैं यदि और केवल तभी जब वे बंद और परिबद्ध हों।{{sfn|Rudin|1991|p=18 Theorem 1.23}} | ||
परिणाम के रूप में, C(X) में प्रत्येक समान रूप से बंधे | परिणाम के रूप में, C(X) में प्रत्येक समान रूप से बंधे समनिरंतर अनुक्रम में एक अनुवर्ती होता है जो X पर एक निरंतर कार्य में समान रूप से परिवर्तित होता है। | ||
अर्ज़ेला-एस्कोली प्रमेय के मद्देनजर, सी(एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि और केवल यदि यह | अर्ज़ेला-एस्कोली प्रमेय के मद्देनजर, सी(एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार रूप से परिवर्तित होता है। कथन की परिकल्पना को थोड़ा कमजोर किया जा सकता है: सी (एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि यह समवर्ती है और एक्स पर कुछ फलन के घने उपसमुच्चय पर बिंदुवार परिवर्तित होता है (निरंतर नहीं माना जाता है)। | ||
{{Math proof|drop=hidden|proof= | {{Math proof|drop=hidden|proof= | ||
Suppose ''f''<sub>''j''</sub> is an equicontinuous sequence of continuous functions on a dense subset ''D'' of ''X''. | Suppose ''f''<sub>''j''</sub> is an equicontinuous sequence of continuous functions on a dense subset ''D'' of ''X''. | ||
Line 162: | Line 161: | ||
}} | }} | ||
इस कमजोर संस्करण का उपयोग आमतौर पर अलग-अलग | इस कमजोर संस्करण का उपयोग आमतौर पर अलग-अलग सघन स्थानों के लिए अर्ज़ेला-एस्कोली प्रमेय को साबित करने के लिए किया जाता है। एक और परिणाम यह है कि एक मीट्रिक स्थान पर, या स्थानीय रूप से सघन स्थान पर निरंतर फलनों के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा निरंतर है। (उदाहरण के लिए नीचे देखें।) | ||
उपरोक्त में, X की सघनता की परिकल्पना को शिथिल नहीं किया जा सकता है। | उपरोक्त में, X की सघनता की परिकल्पना को शिथिल नहीं किया जा सकता है। | ||
यह देखने के लिए, 'R' पर g(0)= 1 के साथ एक सघन रूप से समर्थित निरंतर | यह देखने के लिए, 'R' पर g(0)= 1 के साथ एक सघन रूप से समर्थित निरंतर फलन g पर विचार करें, और फ़ंक्शंस के समनिरंतर अनुक्रम पर विचार करें {{mset|''ƒ''<sub>''n''</sub>}}'''' द्वारा परिभाषित आर पर<sub>''n''</sub>(x)= {{nowrap|''g''(''x'' − ''n'')}}. फिर,<sub>''n''</sub> बिंदुवार 0 पर अभिसरित होता है लेकिन समान रूप से 0 पर अभिसरित नहीं होता। | ||
एकसमान अभिसरण का यह मानदंड अक्सर वास्तविक और जटिल विश्लेषण में उपयोगी होता है। मान लीजिए कि हमें निरंतर | एकसमान अभिसरण का यह मानदंड अक्सर वास्तविक और जटिल विश्लेषण में उपयोगी होता है। मान लीजिए कि हमें निरंतर फलनों का एक क्रम दिया गया है जो 'आर' के कुछ खुले उपसमुच्चय जी पर बिंदुवार परिवर्तित होता है।<sup>n</sup>. जैसा कि ऊपर उल्लेख किया गया है, यह वास्तव में जी के एक सघन उपसमुच्चय पर समान रूप से परिवर्तित होता है यदि यह सघन सेट पर समान है। व्यवहार में, सम-निरंतरता दिखाना अक्सर इतना कठिन नहीं होता है। उदाहरण के लिए, यदि अनुक्रम में कुछ नियमितता के साथ अलग-अलग फलन या फलन शामिल हैं (उदाहरण के लिए, फलन एक अंतर समीकरण के समाधान हैं), तो अनुक्रम को समतुल्य दिखाने के लिए औसत मूल्य प्रमेय या कुछ अन्य प्रकार के अनुमानों का उपयोग किया जा सकता है। इसके बाद यह निष्कर्ष निकलता है कि अनुक्रम की सीमा G के प्रत्येक सघन उपसमुच्चय पर निरंतर है; इस प्रकार, जी पर निरंतर। एक समान तर्क तब दिया जा सकता है जब फलन होलोमोर्फिक हों। उदाहरण के लिए, कोई समसंगति (संक्षिप्त उपसमुच्चय पर) दिखाने के लिए कॉची के अनुमान का उपयोग कर सकता है और यह निष्कर्ष निकाल सकता है कि सीमा होलोमोर्फिक है। ध्यान दें कि यहां समनिरंतरता आवश्यक है। उदाहरण के लिए,<sub>''n''</sub>(x)= {{nowrap|arctan ''n'' ''x''}} असंतुलित [[साइन फ़ंक्शन|साइन फलन]] के गुणक में परिवर्तित हो जाता है। | ||
==सामान्यीकरण== | ==सामान्यीकरण== | ||
===सामयिक स्थानों में | ===सामयिक स्थानों में समनिरंतरता=== | ||
सबसे सामान्य परिदृश्य जिसमें समरूपता को परिभाषित किया जा सकता है, वह टोपोलॉजिकल रिक्त स्थान के लिए है, जबकि समान समरूपता के लिए एक बिंदु के | सबसे सामान्य परिदृश्य जिसमें समरूपता को परिभाषित किया जा सकता है, वह टोपोलॉजिकल रिक्त स्थान के लिए है, जबकि समान समरूपता के लिए एक बिंदु के सामीप्य के [[फ़िल्टर (सेट सिद्धांत)]] की आवश्यकता होती है, जो किसी अन्य बिंदु के सामीप्य के फ़िल्टर के साथ तुलनीय हो। उत्तरार्द्ध आमतौर पर एक समान संरचना के माध्यम से किया जाता है, जिससे एक समान स्थान मिलता है। इन मामलों में उपयुक्त परिभाषाएँ इस प्रकार हैं: | ||
: दो [[टोपोलॉजिकल स्पेस]] एक्स और वाई के बीच निरंतर | : दो [[टोपोलॉजिकल स्पेस]] एक्स और वाई के बीच निरंतर फलनों का एक सेट 'एक्स ∈ एक्स और वाई ∈ वाई' बिंदुओं पर टोपोलॉजिकल रूप से समनिरंतर है यदि वाई के बारे में किसी भी खुले सेट ओ के लिए, एक्स के सामीप्य यू और वाई के वी हैं जैसे कि प्रत्येक f ∈ A के लिए, यदि f[U] और V का प्रतिच्छेदन गैर-रिक्त है, f[U] ⊆ O. तब A को 'x ∈ प्रत्येक y ∈ Y. अंत में, A 'समनिरंतर' है यदि यह सभी बिंदुओं x ∈ X के लिए x पर समनिरंतर है। | ||
:दो एकसमान स्थानों | :दो एकसमान स्थानों | ||
Line 205: | Line 204: | ||
: दो टोपोलॉजिकल स्थानों f[U] ⊆ O जब भी f(x) ∈ V. यह 'x पर समान रूप से निरंतर' है यदि यह प्रत्येक y ∈ Y के लिए x और y पर समान रूप से निरंतर है, और 'समान रूप से निरंतर' है यदि यह x पर समान रूप से निरंतर है प्रत्येक x ∈ X. | : दो टोपोलॉजिकल स्थानों f[U] ⊆ O जब भी f(x) ∈ V. यह 'x पर समान रूप से निरंतर' है यदि यह प्रत्येक y ∈ Y के लिए x और y पर समान रूप से निरंतर है, और 'समान रूप से निरंतर' है यदि यह x पर समान रूप से निरंतर है प्रत्येक x ∈ X. | ||
===स्टोकेस्टिक | ===स्टोकेस्टिक समनिरंतरता=== | ||
{{Main|Stochastic equicontinuity}} | {{Main|Stochastic equicontinuity}} | ||
स्टोकेस्टिक इक्विकंटिनिटी, इक्विकंटिनिटी का एक संस्करण है जिसका उपयोग [[यादृच्छिक चर]] के | स्टोकेस्टिक इक्विकंटिनिटी, इक्विकंटिनिटी का एक संस्करण है जिसका उपयोग [[यादृच्छिक चर]] के फलनों के अनुक्रम और यादृच्छिक चर के उनके अभिसरण के संदर्भ में किया जाता है।<ref>{{cite book |first=Robert M. |last=de Jong |chapter=Stochastic Equicontinuity for Mixing Processes |title=अर्थमिति में पैरामीटर स्पेस विधियों और डेटा निर्भरता के विस्तार का स्पर्शोन्मुख सिद्धांत|location=Amsterdam |year=1993 |isbn=90-5170-227-2 |pages=53–72 }}</ref> | ||
Line 220: | Line 219: | ||
* {{annotated link|Continuous stochastic process}} | * {{annotated link|Continuous stochastic process}} | ||
* {{annotated link|Dini continuity}} | * {{annotated link|Dini continuity}} | ||
* {{annotated link|Direction-preserving function}} - असतत स्थानों में एक सतत | * {{annotated link|Direction-preserving function}} - असतत स्थानों में एक सतत फलन का एक एनालॉग। | ||
* {{annotated link|Microcontinuity}} | * {{annotated link|Microcontinuity}} | ||
* {{annotated link|Normal function}} | * {{annotated link|Normal function}} |
Revision as of 00:35, 13 July 2023
गणितीय विश्लेषण में, यदि सभी फलन निरंतर फलन हैं और यहां वर्णित सटीक अर्थ में, किसी दिए गए सामीप्य पर उनमें समान भिन्नता है, तो फलनों का एक परिवार समनिरंतर होता है।विशेष रूप से, यह अवधारणा गणनीय सेट परिवारों और इस प्रकार फलनों के अनुक्रमों पर अनप्रयुक्त होती है।
एस्कोली के प्रमेय के निर्माण में समनिरंतरता दिखाई देती है, जिसमें कहा गया है कि C(X) का एक उपसमुच्चय, एक सघन हॉसडॉर्फ स्पेस एक्स पर निरंतर फलनों का स्थान, सघन है यदि और केवल यदि यह बंद है, बिंदुवार घिरा हुआ है और समनिरंतर है। एक परिणाम के रूप में, सी(एक्स) में एक अनुक्रम समान रूप से अभिसरण होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार एक फलन में अभिसरण करता है (जरूरी नहीं कि निरंतर ए-प्राथमिकता हो)। विशेष रूप से, निरंतर फलनों के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा एफnया तो मीट्रिक स्थान पर या स्थानीय रूप से सघन स्थान पर[1] सतत है. यदि, इसके अतिरिक्त, एफnहोलोमार्फिक हैं, तो सीमा भी होलोमोर्फिक है।
एकसमान सीमाबद्धता सिद्धांत बताता है कि बानाच स्थानों के बीच निरंतर रैखिक ऑपरेटरों का एक बिंदुवार बंधा हुआ परिवार समनिरंतर है।[2]
मीट्रिक स्थानों के बीच समनिरंतरता
मान लीजिए कि
परिवार F 'एक बिंदु पर समसंतत' x है0∈ X यदि प्रत्येक ε > 0 के लिए, एक δ > 0 मौजूद है जैसे कि d(ƒ(x)0), उंचा (x)) < ε सभी उंचा ∈ F और सभी x के लिए जैसे कि d(x)0, x) < δ. यदि परिवार X के प्रत्येक बिंदु पर समसंतत है, तो वह 'बिंदुवार समसंतत' है।[3] परिवार F 'समान रूप से समनिरंतर' है यदि प्रत्येक ε > 0 के लिए, एक δ > 0 मौजूद है जैसे कि d(ƒ(x)1), (x2)) < ε सभी ƒ ∈ F और सभी x के लिए1, एक्स2∈ X ऐसे कि d(x1, एक्स2) <डी.[4] तुलना के लिए, कथन 'एफ में सभी फलन निरंतर हैं' का अर्थ है कि प्रत्येक ε > 0, प्रत्येक ∈ F, और प्रत्येक x के लिए0∈ X, वहाँ एक δ > 0 मौजूद है जैसे कि d(ƒ(x0), ƒ(x)) < ε सभी x ∈X के लिए जैसे कि d(x0, x) < δ.
- सतत कार्य के लिए, δ, ε, , और x पर निर्भर हो सकता है0.
- एकसमान निरंतरता के लिए, δ ε और ƒ पर निर्भर हो सकता है।
- बिंदुवार समनिरंतरता के लिए, δ ε और x पर निर्भर हो सकता है0.
- एकसमान समनिरंतरता के लिए, δ केवल ε पर निर्भर हो सकता है।
अधिक आम तौर पर, जबxऐसा है कि
सभी के लिए y ∈ Ux और ∈F. यह परिभाषा आमतौर पर टोपोलॉजिकल वेक्टर स्पेस के संदर्भ में दिखाई देती है।
जब अपने आप में इस्तेमाल किया जाने वाला, संदर्भ के आधार पर, समरूपता शब्द या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन स्थान पर, ये धारणाएँ मेल खाती हैं।
कुछ बुनियादी गुण परिभाषा से तुरंत अनुसरण करते हैं। सतत फलनों का प्रत्येक परिमित समुच्चय समसतत् है। एक समनिरंतर समुच्चय का समापन पुनः समनिरंतर है। फलनों के समान रूप से समनिरंतर सेट का प्रत्येक सदस्य समान रूप से निरंतर है, और समान रूप से निरंतर फलनों का प्रत्येक परिमित सेट समान रूप से समनिरंतर है।
उदाहरण
- एक सामान्य लिप्सचिट्ज़ स्थिरांक के साथ फलनों का एक सेट (समान रूप से) समनिरंतर है। विशेष रूप से, यह मामला है यदि सेट में समान स्थिरांक से घिरे डेरिवेटिव वाले फलन होते हैं।
- समान सीमाबद्धता सिद्धांत निरंतर रैखिक ऑपरेटरों के एक सेट के लिए समविरंतर होने के लिए पर्याप्त शर्त देता है।
- विश्लेषणात्मक फलन के पुनरावृत्तों का एक परिवार फ़तौ सेट पर समतुल्य है।[5][6]
प्रतिउदाहरण
- फलनों का क्रम fn(x) = arctan(nx), समविरंतर नहीं है क्योंकि x पर परिभाषा का उल्लंघन होता है0=0.
टोपोलॉजिकल समूहों में मूल्यवान मानचित्रों की समरूपता
लगता है कि T एक टोपोलॉजिकल स्पेस है और Y एक योगात्मक टोपोलॉजिकल समूह है (यानी एक समूह (बीजगणित) एक टोपोलॉजी से संपन्न है जो इसके संचालन को निरंतर बनाता है)। टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजिकल समूहों के प्रमुख उदाहरण हैं और प्रत्येक टोपोलॉजिकल समूह में एक संबद्ध कैनोनिकल एकसमान स्थान होता है।
- परिभाषा:[7] एक परिवार H से मानचित्रों का T में Y को समसतत् कहा जाता है t ∈ T यदि प्रत्येक सामीप्य के लिए V का 0 में Y, वहां कुछ सामीप्य मौजूद है U का t में T ऐसा है कि h(U) ⊆ h(t) + V हरएक के लिए h ∈ H. हम ऐसा कहते हैं H समसतत् है यदि यह प्रत्येक बिंदु पर समसतत् है T.
ध्यान दें कि यदि H प्रत्येक मानचित्र की तुलना में एक बिंदु पर समसतत् है H बिंदु पर निरंतर है। स्पष्ट रूप से, सतत मानचित्रों का प्रत्येक परिमित सेट T में Y समनिरंतर है.
समसंतुलित रैखिक मानचित्र
क्योंकि प्रत्येक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) एक टोपोलॉजिकल समूह है, इसलिए टोपोलॉजिकल समूहों के लिए दिए गए मानचित्रों के एक समनिरंतर परिवार की परिभाषा बिना किसी बदलाव के टीवीएस में स्थानांतरित हो जाती है।
समसतत् रैखिक मानचित्रों का लक्षण वर्णन
एक परिवार प्रपत्र के मानचित्रों का दो टोपोलॉजिकल वेक्टर स्पेस के बीच कहा जाता है equicontinuous at a point यदि प्रत्येक सामीप्य के लिए में उत्पत्ति का वहाँ कुछ सामीप्य मौजूद है में उत्पत्ति का ऐसा है कि सभी के लिए अगर मानचित्रों का एक परिवार है और एक समुच्चय है तो चलो अंकन के साथ, यदि और तो सेट हैं सभी के लिए अगर और केवल अगर होने देना और टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) बनें और से रैखिक ऑपरेटरों का एक परिवार बनें में उसके बाद निम्न बराबर हैं:
-
<ली> समनिरंतर है;
<ली> के प्रत्येक बिन्दु पर समसतत् है
<ली> किसी बिंदु पर समनिरंतर है
<ली> मूल पर समसतत् है।
- अर्थात् प्रत्येक मोहल्ले के लिए में उत्पत्ति का वहाँ एक सामीप्य मौजूद है में उत्पत्ति का ऐसा है कि (या समकक्ष, हरएक के लिए ).
- प्रत्येक सामीप्य के लिए में उत्पत्ति का में मूल का सामीप्य है
- का समापन में समनिरंतर है.
- अर्थ है बिंदु-वार अभिसरण की टोपोलॉजी से संपन्न।
- का संतुलित सेट समसतत् है.
जबकि यदि स्थानीय रूप से उत्तल है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
- का उत्तल पतवार समनिरंतर है.[9]
- बिल्कुल उत्तल सेट समनिरंतर है.[10][9]
जबकि यदि और स्थानीय रूप से उत्तल हैं तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
- प्रत्येक सतत सेमिनोर्म के लिए पर वहाँ एक सतत सेमिनोर्म मौजूद है पर ऐसा है कि सभी के लिए [9]
- यहाँ, मतलब कि सभी के लिए
जबकि यदि बैरल वाली जगह है और स्थानीय रूप से उत्तल है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
-
<ली> में घिरा हुआ है ;[11]
<ली> में घिरा हुआ है [11]
- अर्थ है परिबद्ध अभिसरण की टोपोलॉजी से संपन्न (अर्थात, परिबद्ध उपसमुच्चय पर एकसमान अभिसरण)
जबकि यदि और यदि बानाच स्थान हैं तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:
-
<ली> (वह है, ऑपरेटर मानदंड में समान रूप से बंधा हुआ है)।
समनिरंतर रैखिक कार्यात्मकताओं का लक्षण वर्णन
होने देना क्षेत्र के ऊपर एक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) बनें निरंतर दोहरे स्थान के साथ एक परिवार रैखिक कार्यात्मकताओं पर बताया गया equicontinuous at a point यदि प्रत्येक सामीप्य के लिए में उत्पत्ति का वहाँ कुछ सामीप्य मौजूद है में उत्पत्ति का ऐसा है कि सभी के लिए किसी भी उपसमुच्चय के लिए निम्नलिखित समतुल्य हैं:[9] <द> <ली> समसतत् है. <ली> मूल पर समसतत् है। <ली> किसी बिंदु पर समनिरंतर है <ली> मूल के कुछ सामीप्य के ध्रुवीय सेट में समाहित है [10]
जबकि यदि सामान्य स्थान है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:
-
<ली> का एक दृढ़ता से घिरा हुआ उपसमुच्चय है [10]
जबकि यदि यदि यह एक बैरल वाली जगह है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:
-
<ली> कमजोरकमज़ोर* टोपोलॉजी में अपेक्षाकृत सघन है [11]
<ली> कमजोर* टोपोलॉजी है| कमजोर* घिरा हुआ है (अर्थात्, है में घिरा हुआ ).[11]
<ली> परिबद्ध अभिसरण की टोपोलॉजी में बंधा हुआ है (अर्थात्, है में घिरा हुआ ).[11]
</al>
- .
- दो टोपोलॉजिकल स्पेस एक्स और वाई के बीच निरंतर फलनों का एक सेट 'एक्स ∈ एक्स और वाई ∈ वाई' बिंदुओं पर टोपोलॉजिकल रूप से समनिरंतर है यदि वाई के बारे में किसी भी खुले सेट ओ के लिए, एक्स के सामीप्य यू और वाई के वी हैं जैसे कि प्रत्येक f ∈ A के लिए, यदि f[U] और V का प्रतिच्छेदन गैर-रिक्त है, f[U] ⊆ O. तब A को 'x ∈ प्रत्येक y ∈ Y. अंत में, A 'समनिरंतर' है यदि यह सभी बिंदुओं x ∈ X के लिए x पर समनिरंतर है।
- दो एकसमान स्थानों
- { (u,v) ∈ X × X: for all f ∈ A. (f(u),f(v)) ∈ W }
- एक्स पर एकरूपता का सदस्य है
- समान स्थानों का परिचय
- Ur = {(y, z) ∈ Y × Y : d(y, z) < r}
- एक कमजोर अवधारणा सम निरंतरता की है
- दो टोपोलॉजिकल स्थानों f[U] ⊆ O जब भी f(x) ∈ V. यह 'x पर समान रूप से निरंतर' है यदि यह प्रत्येक y ∈ Y के लिए x और y पर समान रूप से निरंतर है, और 'समान रूप से निरंतर' है यदि यह x पर समान रूप से निरंतर है प्रत्येक x ∈ X.
- Absolute continuity
- Classification of discontinuities
- Coarse function
- Continuous function
- Continuous function (set theory)
- Continuous stochastic process
- Dini continuity
- Direction-preserving function - असतत स्थानों में एक सतत फलन का एक एनालॉग।
- Microcontinuity
- Normal function
- Piecewise
- Symmetrically continuous function
- Uniform continuity
- ↑ More generally, on any compactly generated space; e.g., a first-countable space.
- ↑ Rudin 1991, p. 44 §2.5.
- ↑ Reed & Simon (1980), p. 29; Rudin (1987), p. 245
- ↑ Reed & Simon (1980), p. 29
- ↑ Alan F. Beardon, S. Axler, F.W. Gehring, K.A. Ribet : Iteration of Rational Functions: Complex Analytic Dynamical Systems. Springer, 2000; ISBN 0-387-95151-2, ISBN 978-0-387-95151-5; page 49
- ↑ Joseph H. Silverman : The arithmetic of dynamical systems. Springer, 2007. ISBN 0-387-69903-1, ISBN 978-0-387-69903-5; page 22
- ↑ Narici & Beckenstein 2011, pp. 133–136.
- ↑ Rudin 1991, p. 44 Theorem 2.4.
- ↑ 9.0 9.1 9.2 9.3 9.4 Narici & Beckenstein 2011, pp. 225–273.
- ↑ 10.0 10.1 10.2 10.3 Trèves 2006, pp. 335–345.
- ↑ 11.0 11.1 11.2 11.3 11.4 Trèves 2006, pp. 346–350.
- ↑ Schaefer 1966, Theorem 4.2.
- ↑ Schaefer 1966, Corollary 4.3.
- ↑ 14.0 14.1 14.2 Schaefer & Wolff 1999, pp. 123–128.
- ↑ Rudin 1991, p. 394 Appendix A5.
- ↑ Rudin 1991, p. 18 Theorem 1.23.
- ↑ de Jong, Robert M. (1993). "Stochastic Equicontinuity for Mixing Processes". अर्थमिति में पैरामीटर स्पेस विधियों और डेटा निर्भरता के विस्तार का स्पर्शोन्मुख सिद्धांत. Amsterdam. pp. 53–72. ISBN 90-5170-227-2.
{{cite book}}
: CS1 maint: location missing publisher (link) - "Equicontinuity", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Reed, Michael; Simon, Barry (1980), Functional Analysis (revised and enlarged ed.), Boston, MA: Academic Press, ISBN 978-0-12-585050-6.
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
- Rudin, Walter (1987), Real and Complex Analysis (3rd ed.), New York: McGraw-Hill.
- Schaefer, Helmut H. (1966), Topological vector spaces, New York: The Macmillan Company
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
समसतत् रैखिक मानचित्रों के गुण
एकसमान सीमा सिद्धांत (जिसे बानाच-स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है) बताता है कि एक सेट बानाच स्थानों के बीच रेखीय मानचित्रों का समनिरंतर है यदि यह बिंदुवार घिरा हुआ है; वह है, प्रत्येक के लिए परिणाम को किसी मामले में सामान्यीकृत किया जा सकता है स्थानीय रूप से उत्तल है और एक बैरल वाली जगह है.[12]
समसतत् रैखिक कार्यात्मकताओं के गुण
अलाओग्लू के प्रमेय का तात्पर्य है कि कमजोर-* एक समनिरंतर उपसमुच्चय का बंद होना कमज़ोर है-* सघन; इस प्रकार प्रत्येक समनिरंतर उपसमुच्चय कमजोर-* अपेक्षाकृत सघन होता है।[13][9]
अगर यदि कोई स्थानीय रूप से उत्तल टीवीएस है, तो सभी बैरल वाले स्थानों का परिवार और सभी उपसमूहों का परिवार जो उत्तल, संतुलित, बंद और घिरे हुए हैं ध्रुवता द्वारा एक दूसरे से मेल खाते हैं (के संबंध में)। ).[14] यह इस प्रकार है कि एक स्थानीय रूप से उत्तल टी.वी.एस वर्जित है यदि और केवल यदि प्रत्येक परिबद्ध उपसमुच्चय समनिरंतर है.[14]
Theorem — Suppose that is a separable TVS. Then every closed equicontinuous subset of is a compact metrizable space (under the subspace topology). If in addition is metrizable then is separable.[14]
समान निरंतरता और एकसमान अभिसरण
मान लीजिए कि फिर अर्ज़ेला-एस्कोली प्रमेय बताता है कि C(X) का एक उपसमुच्चय सघन है यदि और केवल तभी जब वह बंद हो, समान रूप से घिरा हुआ हो और समविरंतर हो। [15] यह हेइन-बोरेल प्रमेय के अनुरूप है, जो बताता है कि आर के उपसमुच्चयnसंहत हैं यदि और केवल तभी जब वे बंद और परिबद्ध हों।[16] परिणाम के रूप में, C(X) में प्रत्येक समान रूप से बंधे समनिरंतर अनुक्रम में एक अनुवर्ती होता है जो X पर एक निरंतर कार्य में समान रूप से परिवर्तित होता है।
अर्ज़ेला-एस्कोली प्रमेय के मद्देनजर, सी(एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार रूप से परिवर्तित होता है। कथन की परिकल्पना को थोड़ा कमजोर किया जा सकता है: सी (एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि यह समवर्ती है और एक्स पर कुछ फलन के घने उपसमुच्चय पर बिंदुवार परिवर्तित होता है (निरंतर नहीं माना जाता है)।
Suppose fj is an equicontinuous sequence of continuous functions on a dense subset D of X. Let ε > 0 be given. By equicontinuity, for each z ∈ D, there exists a neighborhood Uz of z such that
for all j and x ∈ Uz. By denseness and compactness, we can find a finite subset D′ ⊂ D such that X is the union of Uz over z ∈ D′. Since fj converges pointwise on D′, there exists N > 0 such that
whenever z ∈ D′ and j, k > N. It follows that
for all j, k > N. In fact, if x ∈ X, then x ∈ Uz for some z ∈ D′ and so we get:
Hence, fj is Cauchy in C(X) and thus converges by completeness.
इस कमजोर संस्करण का उपयोग आमतौर पर अलग-अलग सघन स्थानों के लिए अर्ज़ेला-एस्कोली प्रमेय को साबित करने के लिए किया जाता है। एक और परिणाम यह है कि एक मीट्रिक स्थान पर, या स्थानीय रूप से सघन स्थान पर निरंतर फलनों के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा निरंतर है। (उदाहरण के लिए नीचे देखें।) उपरोक्त में, X की सघनता की परिकल्पना को शिथिल नहीं किया जा सकता है। यह देखने के लिए, 'R' पर g(0)= 1 के साथ एक सघन रूप से समर्थित निरंतर फलन g पर विचार करें, और फ़ंक्शंस के समनिरंतर अनुक्रम पर विचार करें {ƒn}' द्वारा परिभाषित आर परn(x)= g(x − n). फिर,n बिंदुवार 0 पर अभिसरित होता है लेकिन समान रूप से 0 पर अभिसरित नहीं होता।
एकसमान अभिसरण का यह मानदंड अक्सर वास्तविक और जटिल विश्लेषण में उपयोगी होता है। मान लीजिए कि हमें निरंतर फलनों का एक क्रम दिया गया है जो 'आर' के कुछ खुले उपसमुच्चय जी पर बिंदुवार परिवर्तित होता है।n. जैसा कि ऊपर उल्लेख किया गया है, यह वास्तव में जी के एक सघन उपसमुच्चय पर समान रूप से परिवर्तित होता है यदि यह सघन सेट पर समान है। व्यवहार में, सम-निरंतरता दिखाना अक्सर इतना कठिन नहीं होता है। उदाहरण के लिए, यदि अनुक्रम में कुछ नियमितता के साथ अलग-अलग फलन या फलन शामिल हैं (उदाहरण के लिए, फलन एक अंतर समीकरण के समाधान हैं), तो अनुक्रम को समतुल्य दिखाने के लिए औसत मूल्य प्रमेय या कुछ अन्य प्रकार के अनुमानों का उपयोग किया जा सकता है। इसके बाद यह निष्कर्ष निकलता है कि अनुक्रम की सीमा G के प्रत्येक सघन उपसमुच्चय पर निरंतर है; इस प्रकार, जी पर निरंतर। एक समान तर्क तब दिया जा सकता है जब फलन होलोमोर्फिक हों। उदाहरण के लिए, कोई समसंगति (संक्षिप्त उपसमुच्चय पर) दिखाने के लिए कॉची के अनुमान का उपयोग कर सकता है और यह निष्कर्ष निकाल सकता है कि सीमा होलोमोर्फिक है। ध्यान दें कि यहां समनिरंतरता आवश्यक है। उदाहरण के लिए,n(x)= arctan n x असंतुलित साइन फलन के गुणक में परिवर्तित हो जाता है।
सामान्यीकरण
सामयिक स्थानों में समनिरंतरता
सबसे सामान्य परिदृश्य जिसमें समरूपता को परिभाषित किया जा सकता है, वह टोपोलॉजिकल रिक्त स्थान के लिए है, जबकि समान समरूपता के लिए एक बिंदु के सामीप्य के फ़िल्टर (सेट सिद्धांत) की आवश्यकता होती है, जो किसी अन्य बिंदु के सामीप्य के फ़िल्टर के साथ तुलनीय हो। उत्तरार्द्ध आमतौर पर एक समान संरचना के माध्यम से किया जाता है, जिससे एक समान स्थान मिलता है। इन मामलों में उपयुक्त परिभाषाएँ इस प्रकार हैं:
अब हम एकरूपता में अंतर्निहित मूल विचार का संक्षेप में वर्णन करते हैं।
एकरूपता 𝒱 के उपसमुच्चय का एक गैर-रिक्त संग्रह है Y × Y जहां, कई अन्य संपत्तियों के बीच, प्रत्येक V ∈ 𝒱, V का विकर्ण शामिल है Y (अर्थात {(y, y) ∈ Y}). का प्रत्येक तत्व 𝒱 को प्रतिवेश कहा जाता है.
एकरूपताएं उन बिंदुओं के विचार (मीट्रिक रिक्त स्थान से ली गई) को सामान्यीकृत करती हैंr-बंद करें (के लिए r > 0), जिसका अर्थ है कि उनकी दूरी < है r. इसे स्पष्ट करने के लिए मान लीजिये (Y, d) एक मीट्रिक स्थान है (इसलिए इसका विकर्ण Y सेट है {(y, z) ∈ Y × Y : d(y, z) = 0}) किसी के लिए r > 0, होने देना
बिंदुओं के सभी युग्मों के समुच्चय को निरूपित करें r-बंद करना। ध्यान दें कि अगर हमें यह भूलना है d तब अस्तित्व में था, किसी के लिए भी r > 0, हम अभी भी यह निर्धारित करने में सक्षम होंगे कि दो बिंदु हैं या नहीं Y हैं r-केवल सेट का उपयोग करके बंद करें Ur. इस प्रकार, सेट Ur किसी भी मीट्रिक की आवश्यकता के बिना समान निरंतरता और समान अभिसरण जैसी चीजों को परिभाषित करने के लिए आवश्यक सभी जानकारी को समाहित करें। इन सेटों के सबसे बुनियादी गुणों को स्वयंसिद्ध करने से एक समान स्थान की परिभाषा प्राप्त होती है। दरअसल, सेट Ur एकरूपता उत्पन्न करें जो मीट्रिक स्थान के साथ प्रामाणिक रूप से जुड़ी हुई है (Y, d).
इस सामान्यीकरण का लाभ यह है कि अब हम कुछ महत्वपूर्ण परिभाषाओं का विस्तार कर सकते हैं जो मीट्रिक रिक्त स्थान (उदाहरण के लिए पूर्ण मीट्रिक स्थान) के लिए टोपोलॉजिकल रिक्त स्थान की व्यापक श्रेणी के लिए समझ में आते हैं। विशेष रूप से, टोपोलॉजिकल समूहों और टोपोलॉजिकल वेक्टर स्पेस के लिए।
स्टोकेस्टिक समनिरंतरता
स्टोकेस्टिक इक्विकंटिनिटी, इक्विकंटिनिटी का एक संस्करण है जिसका उपयोग यादृच्छिक चर के फलनों के अनुक्रम और यादृच्छिक चर के उनके अभिसरण के संदर्भ में किया जाता है।[17]
यह भी देखें
टिप्पणियाँ