समनिरंतरता: Difference between revisions

From Vigyanwiki
No edit summary
(Text)
Line 1: Line 1:
{{Short description|Relation among continuous functions}}
{{Short description|Relation among continuous functions}}
[[गणितीय विश्लेषण]] में, यदि सभी फलन निरंतर फलन हैं और यहां वर्णित सटीक अर्थ में, किसी दिए गए [[पड़ोस (गणित)|सामीप्य]] पर उनमें समान भिन्नता है, तो फलनों का एक परिवार '''समनिरंतर''' होता है।विशेष रूप से, यह अवधारणा गणनीय सेट परिवारों और इस प्रकार फलनों के ''अनुक्रमों'' पर अनप्रयुक्‍त होती है।
[[गणितीय विश्लेषण]] में, यदि सभी फलन सतत फलन हैं और यहां वर्णित सटीक अर्थ में, किसी दिए गए [[पड़ोस (गणित)|सामीप्य]] पर उनमें समान भिन्नता है, तो फलनों का एक परिवार '''समनिरंतर''' होता है।विशेष रूप से, यह अवधारणा गणनीय सेट परिवारों और इस प्रकार फलनों के ''अनुक्रमों'' पर अनप्रयुक्‍त होती है।


एस्कोली के प्रमेय के निर्माण में समनिरंतरता दिखाई देती है, जिसमें कहा गया है कि ''C''(''X'') का एक उपसमुच्चय, एक सघन हॉसडॉर्फ स्पेस ''एक्स'' पर निरंतर फलनों का स्थान, सघन है यदि और केवल यदि यह बंद है, बिंदुवार घिरा हुआ है और समनिरंतर है।
एस्कोली के प्रमेय के निर्माण में समनिरंतरता दिखाई देती है, जिसमें कहा गया है कि ''C''(''X'') का एक उपसमुच्चय, एक सघन हॉसडॉर्फ स्पेस ''X'' पर सतत फलनों का स्थान, सघन है यदि और केवल यदि यह बंद है, बिंदुवार घिरा हुआ है और समनिरंतर है। एक उपप्रमेय के रूप में, ''C''(''X'') में एक अनुक्रम समान रूप से अभिसरण होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार रूप से एक फलन में अभिसरण करता है (जरूरी नहीं कि संतत एक-प्राथमिकता हो)। विशेष रूप से, मीट्रिक स्थान पर या स्थानीय रूप से सतत स्थान पर<ref>More generally, on any [[compactly generated space]]; e.g., a [[first-countable space]].</ref> सतत फलनों ''f<sub>n</sub>'' के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा या तो सतत है। यदि, इसके अतिरिक्त, ''f<sub>n</sub>''[[ होलोमार्फिक | होलोमार्फिक]] हैं, तो सीमा भी होलोमोर्फिक है।
एक परिणाम के रूप में, ''सी''(''एक्स'') में एक अनुक्रम समान रूप से अभिसरण होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार एक फलन में अभिसरण करता है (जरूरी नहीं कि निरंतर ए-प्राथमिकता हो)।
विशेष रूप से, निरंतर फलनों के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा '' एफ<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}}
एकसमान सीमाबद्धता सिद्धांत बताता है कि बानाच स्थानों के बीच सतत रैखिक ऑपरेटरों का एक बिंदुवार बंधा हुआ परिवार समनिरंतर है।{{sfn|Rudin|1991|p=44 §2.5}}


==[[मीट्रिक स्थान]]ों के बीच समनिरंतरता ==
==[[मीट्रिक स्थान|मीट्रिक स्थानों]] के बीच समनिरंतरता ==


मान लीजिए कि
मान लीजिए कि ''X'' और ''Y'' दो मीट्रिक स्थान हैं, और ''F, X'' से ''Y'' तक फलनों का एक परिवार है। हम इन स्थानों के संबंधित मैट्रिक्स को ''d'' द्वारा निरूपित करेंगे।


परिवार 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 'समान रूप से समनिरंतर' है यदि प्रत्येक ε > 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>.
परिवार F '''समान रूप से समनिरंतर''' है यदि प्रत्येक ε > 0 के लिए, एक δ > 0 निहित है जैसे कि d(ƒ(x)<sub>1</sub>), ''ƒ''(x<sub>2</sub>)) < ε सभी ƒ ∈ F और सभी x<sub>1</sub>, x<sub>2</sub>के लिए,∈ X जैसे कि d(x<sub>1</sub>, x<sub>2</sub>) <δ है।<ref>{{harvtxt|Reed|Simon|1980}}, p. 29</ref>
* [[एकसमान निरंतरता]] के लिए, δ ε और ƒ पर निर्भर हो सकता है।
* बिंदुवार समनिरंतरता के लिए, δ ε और x पर निर्भर हो सकता है<sub>0</sub>.
* एकसमान समनिरंतरता के लिए, δ केवल ε पर निर्भर हो सकता है।


अधिक आम तौर पर, जब<sub>x</sub>ऐसा है कि
तुलना के लिए, कथन ''F'' में सभी फलन सतत हैं' का अर्थ है कि प्रत्येक ε > 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'' एक सांस्थितिक स्पेस होता है, तो ''X'' से ''Y'' तक के फलनों के एक समुच्चय ''F'' को ''x'' पर समनिरंतर कहा जाता है यदि प्रत्येक ε > 0 के लिए, ''x'' में एक निकटवर्ती ''U<sub>x</sub>'' होता है जैसे कि  
: <math>d_Y(f(y), f(x)) < \epsilon </math>
: <math>d_Y(f(y), f(x)) < \epsilon </math>
सभी के लिए {{nowrap|''y'' ∈ ''U<sub>x</sub>''}} और ∈F. यह परिभाषा आमतौर पर [[टोपोलॉजिकल वेक्टर स्पेस]] के संदर्भ में दिखाई देती है।
सभी {{nowrap|''y'' ∈ ''U<sub>x</sub>''}} और ∈F के लिए है। यह परिभाषा प्रायः [[टोपोलॉजिकल वेक्टर स्पेस|सांस्थितिक वेक्टर स्पेस]] के संदर्भ में दिखाई देती है।


जब
जब ''X'' संहत होता है, तो एक समुच्चय समान रूप से समनिरंतर होता है यदि और केवल यदि यह प्रत्येक बिंदु पर समनिरंतर हो, अनिवार्य रूप से उसी कारण से क्योंकि एकसमान निरंतरता और निरंतरता संहत स्थानों पर मेल खाती है। अपने आप में इस्तेमाल किया जाने वाला, संदर्भ के आधार पर, समरूपता शब्द या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन स्थान पर, ये धारणाएँ मेल खाती हैं।
अपने आप में इस्तेमाल किया जाने वाला, संदर्भ के आधार पर, समरूपता शब्द या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन स्थान पर, ये धारणाएँ मेल खाती हैं।


कुछ बुनियादी गुण परिभाषा से तुरंत अनुसरण करते हैं। सतत फलनों का प्रत्येक परिमित समुच्चय समसतत् है। एक समनिरंतर समुच्चय का समापन पुनः समनिरंतर है।
कुछ बुनियादी गुण परिभाषा से तुरंत अनुसरण करते हैं। सतत फलनों का प्रत्येक परिमित समुच्चय समसतत् है। एक समनिरंतर समुच्चय का समापन पुनः समनिरंतर है। अपने आप में प्रयुक्त, "समनिरंतरता" शब्द संदर्भ के आधार पर या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन स्थान पर, ये धारणाएँ मेल खाती हैं।
फलनों के समान रूप से समनिरंतर सेट का प्रत्येक सदस्य [[समान रूप से निरंतर]] है, और समान रूप से निरंतर फलनों का प्रत्येक परिमित सेट समान रूप से समनिरंतर है।


=== उदाहरण ===
=== उदाहरण ===
Line 48: Line 45:
टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजिकल समूहों के प्रमुख उदाहरण हैं और प्रत्येक टोपोलॉजिकल समूह में एक संबद्ध कैनोनिकल [[एकसमान स्थान]] होता है।
टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजिकल समूहों के प्रमुख उदाहरण हैं और प्रत्येक टोपोलॉजिकल समूह में एक संबद्ध कैनोनिकल [[एकसमान स्थान]] होता है।


:परिभाषा:{{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}}.
:परिभाषा:{{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}} बिंदु पर निरंतर है।
Line 60: Line 57:
===समसतत् रैखिक मानचित्रों का लक्षण वर्णन===
===समसतत् रैखिक मानचित्रों का लक्षण वर्णन===


एक परिवार <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> उसके बाद निम्न बराबर हैं:
एक परिवार <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> समनिरंतर है;
Line 66: Line 63:
<ली><math>H</math> किसी बिंदु पर समनिरंतर है <math>X.</math>  
<ली><math>H</math> किसी बिंदु पर समनिरंतर है <math>X.</math>  
<ली><math>H</math> मूल पर समसतत् है।
<ली><math>H</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>).
*अर्थात् प्रत्येक मोहल्ले के लिए <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>).
{{sfn|Rudin|1991|p=44 Theorem 2.4}}
{{sfn|Rudin|1991|p=44 Theorem 2.4}}
<li>प्रत्येक सामीप्य के लिए <math>V</math> में उत्पत्ति का <math>Y,</math> <math>\bigcap_{h \in H} h^{-1}(V)</math> में मूल का सामीप्य है <math>X.</math> </li>
<li>प्रत्येक सामीप्य के लिए <math>V</math> में उत्पत्ति का <math>Y,</math> <math>\bigcap_{h \in H} h^{-1}(V)</math> में मूल का सामीप्य है <math>X.</math> </li>
Line 82: Line 79:
जबकि यदि <math>X</math> और <math>Y</math> स्थानीय रूप से उत्तल हैं तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
जबकि यदि <math>X</math> और <math>Y</math> स्थानीय रूप से उत्तल हैं तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
<ol प्रारंभ=10>
<ol प्रारंभ=10>
<li>प्रत्येक सतत [[ सेमिनोर्म ]] के लिए <math>q</math> पर <math>Y,</math> वहाँ एक सतत सेमिनोर्म मौजूद है <math>p</math> पर <math>X</math> ऐसा है कि <math>q \circ h \leq p</math> सभी के लिए <math>h \in H.</math> {{sfn|Narici|Beckenstein|2011|pp=225-273}}
<li>प्रत्येक सतत [[ सेमिनोर्म ]] के लिए <math>q</math> पर <math>Y,</math> वहाँ एक सतत सेमिनोर्म निहित है <math>p</math> पर <math>X</math> ऐसा है कि <math>q \circ h \leq p</math> सभी के लिए <math>h \in H.</math> {{sfn|Narici|Beckenstein|2011|pp=225-273}}
* यहाँ, <math>q \circ h \leq p</math> मतलब कि <math>q(h(x)) \leq p(x)</math> सभी के लिए <math>x \in X.</math></li>
* यहाँ, <math>q \circ h \leq p</math> मतलब कि <math>q(h(x)) \leq p(x)</math> सभी के लिए <math>x \in X.</math></li>
</ol>
</ol>
Line 101: Line 98:
{{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>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>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> समसतत् है.
Line 161: Line 158:
}}
}}


इस कमजोर संस्करण का उपयोग आमतौर पर अलग-अलग सघन स्थानों के लिए अर्ज़ेला-एस्कोली प्रमेय को साबित करने के लिए किया जाता है। एक और परिणाम यह है कि एक मीट्रिक स्थान पर, या स्थानीय रूप से सघन स्थान पर निरंतर फलनों के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा निरंतर है। (उदाहरण के लिए नीचे देखें।)
इस कमजोर संस्करण का उपयोग प्रायः अलग-अलग सघन स्थानों के लिए अर्ज़ेला-एस्कोली प्रमेय को साबित करने के लिए किया जाता है। एक और परिणाम यह है कि एक मीट्रिक स्थान पर, या स्थानीय रूप से सघन स्थान पर निरंतर फलनों के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा निरंतर है। (उदाहरण के लिए नीचे देखें।)
उपरोक्त में, X  की सघनता की परिकल्पना को शिथिल नहीं किया जा सकता है।
उपरोक्त में, X  की सघनता की परिकल्पना को शिथिल नहीं किया जा सकता है।
यह देखने के लिए, 'R' पर g(0)= 1 के साथ एक सघन रूप से समर्थित निरंतर फलन g पर विचार करें, और फ़ंक्शंस के समनिरंतर अनुक्रम पर विचार करें {{mset|''ƒ''<sub>''n''</sub>}}'''' द्वारा परिभाषित आर पर<sub>''n''</sub>(x)= {{nowrap|''g''(''x'' − ''n'')}}. फिर,<sub>''n''</sub> बिंदुवार 0 पर अभिसरित होता है लेकिन समान रूप से 0 पर अभिसरित नहीं होता।
यह देखने के लिए, 'R' पर g(0)= 1 के साथ एक सघन रूप से समर्थित निरंतर फलन g पर विचार करें, और फ़ंक्शंस के समनिरंतर अनुक्रम पर विचार करें {{mset|''ƒ''<sub>''n''</sub>}}'''' द्वारा परिभाषित आर पर<sub>''n''</sub>(x)= {{nowrap|''g''(''x'' − ''n'')}}. फिर,<sub>''n''</sub> बिंदुवार 0 पर अभिसरित होता है लेकिन समान रूप से 0 पर अभिसरित नहीं होता।
Line 171: Line 168:
===सामयिक स्थानों में समनिरंतरता===
===सामयिक स्थानों में समनिरंतरता===


सबसे सामान्य परिदृश्य जिसमें समरूपता को परिभाषित किया जा सकता है, वह टोपोलॉजिकल रिक्त स्थान के लिए है, जबकि समान समरूपता के लिए एक बिंदु के सामीप्य के [[फ़िल्टर (सेट सिद्धांत)]] की आवश्यकता होती है, जो किसी अन्य बिंदु के सामीप्य के फ़िल्टर के साथ तुलनीय हो। उत्तरार्द्ध आमतौर पर एक समान संरचना के माध्यम से किया जाता है, जिससे एक समान स्थान मिलता है। इन मामलों में उपयुक्त परिभाषाएँ इस प्रकार हैं:
सबसे सामान्य परिदृश्य जिसमें समरूपता को परिभाषित किया जा सकता है, वह टोपोलॉजिकल रिक्त स्थान के लिए है, जबकि समान समरूपता के लिए एक बिंदु के सामीप्य के [[फ़िल्टर (सेट सिद्धांत)]] की आवश्यकता होती है, जो किसी अन्य बिंदु के सामीप्य के फ़िल्टर के साथ तुलनीय हो। उत्तरार्द्ध प्रायः एक समान संरचना के माध्यम से किया जाता है, जिससे एक समान स्थान मिलता है। इन मामलों में उपयुक्त परिभाषाएँ इस प्रकार हैं:


: दो [[टोपोलॉजिकल स्पेस]] एक्स और वाई के बीच निरंतर फलनों का एक सेट 'एक्स ∈ एक्स और वाई ∈ वाई' बिंदुओं पर टोपोलॉजिकल रूप से समनिरंतर है यदि वाई के बारे में किसी भी खुले सेट ओ के लिए, एक्स के सामीप्य यू और वाई के वी हैं जैसे कि प्रत्येक f ∈ A के लिए, यदि f[U] और V का प्रतिच्छेदन गैर-रिक्त है, f[U] ⊆ O. तब A को 'x ∈ प्रत्येक y ∈ Y. अंत में, A 'समनिरंतर' है यदि यह सभी बिंदुओं x ∈ X के लिए x पर समनिरंतर है।
: दो [[टोपोलॉजिकल स्पेस]] एक्स और वाई के बीच निरंतर फलनों का एक सेट 'एक्स ∈ एक्स और वाई ∈ वाई' बिंदुओं पर टोपोलॉजिकल रूप से समनिरंतर है यदि वाई के बारे में किसी भी खुले सेट ओ के लिए, एक्स के सामीप्य यू और वाई के वी हैं जैसे कि प्रत्येक f ∈ A के लिए, यदि f[U] और V का प्रतिच्छेदन गैर-रिक्त है, f[U] ⊆ O. तब A को 'x ∈ प्रत्येक y ∈ Y. अंत में, A 'समनिरंतर' है यदि यह सभी बिंदुओं x ∈ X के लिए x पर समनिरंतर है।

Revision as of 01:39, 13 July 2023

गणितीय विश्लेषण में, यदि सभी फलन सतत फलन हैं और यहां वर्णित सटीक अर्थ में, किसी दिए गए सामीप्य पर उनमें समान भिन्नता है, तो फलनों का एक परिवार समनिरंतर होता है।विशेष रूप से, यह अवधारणा गणनीय सेट परिवारों और इस प्रकार फलनों के अनुक्रमों पर अनप्रयुक्‍त होती है।

एस्कोली के प्रमेय के निर्माण में समनिरंतरता दिखाई देती है, जिसमें कहा गया है कि C(X) का एक उपसमुच्चय, एक सघन हॉसडॉर्फ स्पेस X पर सतत फलनों का स्थान, सघन है यदि और केवल यदि यह बंद है, बिंदुवार घिरा हुआ है और समनिरंतर है। एक उपप्रमेय के रूप में, C(X) में एक अनुक्रम समान रूप से अभिसरण होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार रूप से एक फलन में अभिसरण करता है (जरूरी नहीं कि संतत एक-प्राथमिकता हो)। विशेष रूप से, मीट्रिक स्थान पर या स्थानीय रूप से सतत स्थान पर[1] सतत फलनों fn के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा या तो सतत है। यदि, इसके अतिरिक्त, fn होलोमार्फिक हैं, तो सीमा भी होलोमोर्फिक है।

एकसमान सीमाबद्धता सिद्धांत बताता है कि बानाच स्थानों के बीच सतत रैखिक ऑपरेटरों का एक बिंदुवार बंधा हुआ परिवार समनिरंतर है।[2]

मीट्रिक स्थानों के बीच समनिरंतरता

मान लीजिए कि X और Y दो मीट्रिक स्थान हैं, और F, X से Y तक फलनों का एक परिवार है। हम इन स्थानों के संबंधित मैट्रिक्स को d द्वारा निरूपित करेंगे।

परिवार F एक x0∈ X बिंदु पर समसतत् है यदि प्रत्येक ε > 0 के लिए, एक δ > 0 निहित है जैसे कि d(ƒ(x)0), ƒ(x)) < ε सभी ƒ ∈ F के लिए और सभी x जैसे कि d(x)0, x) < δ है। यदि परिवार X के प्रत्येक बिंदु पर समसंतत है, तो वह बिंदुवार समसंतत है।[3]

परिवार F समान रूप से समनिरंतर है यदि प्रत्येक ε > 0 के लिए, एक δ > 0 निहित है जैसे कि d(ƒ(x)1), ƒ(x2)) < ε सभी ƒ ∈ F और सभी x1, x2के लिए,∈ X जैसे कि d(x1, x2) <δ है।[4]

तुलना के लिए, कथन F में सभी फलन सतत हैं' का अर्थ है कि प्रत्येक ε > 0, प्रत्येक ƒ ∈ F, और प्रत्येक x0 ∈ X के लिए, वहाँ एक δ > 0 निहित है जैसे कि d(ƒ(x0), ƒ(x)) < ε सभी x ∈ X के लिए जैसे कि d(x0, x) < δ है।

  • निरंतरता के लिए, δ ε, ƒ, और x0 पर निर्भर हो सकता है.
  • एकसमान निरंतरता के लिए, δ ε और ƒ पर निर्भर हो सकता है।
  • बिंदुवार समनिरंतरता के लिए, δ ε और x पर निर्भर हो सकता है0.
  • एकसमान समनिरंतरता के लिए, δ केवल ε पर निर्भर हो सकता है।

अधिक प्रायः, जब X एक सांस्थितिक स्पेस होता है, तो X से Y तक के फलनों के एक समुच्चय F को x पर समनिरंतर कहा जाता है यदि प्रत्येक ε > 0 के लिए, x में एक निकटवर्ती Ux होता है जैसे कि

सभी yUx और ∈F के लिए है। यह परिभाषा प्रायः सांस्थितिक वेक्टर स्पेस के संदर्भ में दिखाई देती है।

जब X संहत होता है, तो एक समुच्चय समान रूप से समनिरंतर होता है यदि और केवल यदि यह प्रत्येक बिंदु पर समनिरंतर हो, अनिवार्य रूप से उसी कारण से क्योंकि एकसमान निरंतरता और निरंतरता संहत स्थानों पर मेल खाती है। अपने आप में इस्तेमाल किया जाने वाला, संदर्भ के आधार पर, समरूपता शब्द या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन स्थान पर, ये धारणाएँ मेल खाती हैं।

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

उदाहरण

  • एक सामान्य लिप्सचिट्ज़ स्थिरांक के साथ फलनों का एक सेट (समान रूप से) समनिरंतर है। विशेष रूप से, यह मामला है यदि सेट में समान स्थिरांक से घिरे डेरिवेटिव वाले फलन होते हैं।
  • समान सीमाबद्धता सिद्धांत निरंतर रैखिक ऑपरेटरों के एक सेट के लिए समविरंतर होने के लिए पर्याप्त शर्त देता है।
  • विश्लेषणात्मक फलन के पुनरावृत्तों का एक परिवार फ़तौ सेट पर समतुल्य है।[5][6]


प्रतिउदाहरण

  • फलनों का क्रम fn(x) = arctan(nx), समविरंतर नहीं है क्योंकि x पर परिभाषा का उल्लंघन होता है0=0.

टोपोलॉजिकल समूहों में मूल्यवान मानचित्रों की समरूपता

लगता है कि T एक टोपोलॉजिकल स्पेस है और Y एक योगात्मक टोपोलॉजिकल समूह है (यानी एक समूह (बीजगणित) एक टोपोलॉजी से संपन्न है जो इसके संचालन को निरंतर बनाता है)। टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजिकल समूहों के प्रमुख उदाहरण हैं और प्रत्येक टोपोलॉजिकल समूह में एक संबद्ध कैनोनिकल एकसमान स्थान होता है।

परिभाषा:[7] एक परिवार H से मानचित्रों का T में Y को समसतत् कहा जाता है tT यदि प्रत्येक सामीप्य के लिए V का 0 में Y, वहां कुछ सामीप्य निहित है U का t में T ऐसा है कि h(U) ⊆ h(t) + V हरएक के लिए hH. हम ऐसा कहते हैं H समसतत् है यदि यह प्रत्येक बिंदु पर समसतत् है T.

ध्यान दें कि यदि H प्रत्येक मानचित्र की तुलना में एक बिंदु पर समसतत् है H बिंदु पर निरंतर है। स्पष्ट रूप से, सतत मानचित्रों का प्रत्येक परिमित सेट T में Y समनिरंतर है.

समसंतुलित रैखिक मानचित्र

क्योंकि प्रत्येक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) एक टोपोलॉजिकल समूह है, इसलिए टोपोलॉजिकल समूहों के लिए दिए गए मानचित्रों के एक समनिरंतर परिवार की परिभाषा बिना किसी बदलाव के टीवीएस में स्थानांतरित हो जाती है।

समसतत् रैखिक मानचित्रों का लक्षण वर्णन

एक परिवार प्रपत्र के मानचित्रों का दो टोपोलॉजिकल वेक्टर स्पेस के बीच कहा जाता है equicontinuous at a point यदि प्रत्येक सामीप्य के लिए में उत्पत्ति का वहाँ कुछ सामीप्य निहित है में उत्पत्ति का ऐसा है कि सभी के लिए अगर मानचित्रों का एक परिवार है और एक समुच्चय है तो चलो अंकन के साथ, यदि और तो सेट हैं सभी के लिए अगर और केवल अगर होने देना और टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) बनें और से रैखिक ऑपरेटरों का एक परिवार बनें में उसके बाद निम्न बराबर हैं:

    <ली> समनिरंतर है; <ली> के प्रत्येक बिन्दु पर समसतत् है <ली> किसी बिंदु पर समनिरंतर है <ली> मूल पर समसतत् है।
    • अर्थात् प्रत्येक मोहल्ले के लिए में उत्पत्ति का वहाँ एक सामीप्य निहित है में उत्पत्ति का ऐसा है कि (या समकक्ष, हरएक के लिए ).
    [8]
  1. प्रत्येक सामीप्य के लिए में उत्पत्ति का में मूल का सामीप्य है
  2. का समापन में समनिरंतर है.
    • अर्थ है बिंदु-वार अभिसरण की टोपोलॉजी से संपन्न।
  3. का संतुलित सेट समसतत् है.

जबकि यदि स्थानीय रूप से उत्तल है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:

  1. का उत्तल पतवार समनिरंतर है.[9]
  2. बिल्कुल उत्तल सेट समनिरंतर है.[10][9]

जबकि यदि और स्थानीय रूप से उत्तल हैं तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:

  1. प्रत्येक सतत सेमिनोर्म के लिए पर वहाँ एक सतत सेमिनोर्म निहित है पर ऐसा है कि सभी के लिए [9]
    • यहाँ, मतलब कि सभी के लिए

जबकि यदि बैरल वाली जगह है और स्थानीय रूप से उत्तल है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:

    <ली> में घिरा हुआ है ;[11] <ली> में घिरा हुआ है [11]
    • अर्थ है परिबद्ध अभिसरण की टोपोलॉजी से संपन्न (अर्थात, परिबद्ध उपसमुच्चय पर एकसमान अभिसरण)

जबकि यदि और यदि बानाच स्थान हैं तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:

    <ली> (वह है, ऑपरेटर मानदंड में समान रूप से बंधा हुआ है)।

समनिरंतर रैखिक कार्यात्मकताओं का लक्षण वर्णन

होने देना क्षेत्र के ऊपर एक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) बनें निरंतर दोहरे स्थान के साथ एक परिवार रैखिक कार्यात्मकताओं पर बताया गया equicontinuous at a point यदि प्रत्येक सामीप्य के लिए में उत्पत्ति का वहाँ कुछ सामीप्य निहित है में उत्पत्ति का ऐसा है कि सभी के लिए किसी भी उपसमुच्चय के लिए निम्नलिखित समतुल्य हैं:[9] <द> <ली> समसतत् है. <ली> मूल पर समसतत् है। <ली> किसी बिंदु पर समनिरंतर है <ली> मूल के कुछ सामीप्य के ध्रुवीय सेट में समाहित है [10]

  • ध्रुवीय सेट|(पूर्व)ध्रुवीय का में मूल का सामीप्य है
  • कमजोर-* टोपोलॉजी|कमजोर* का बंद होना में समसतत् है.
  • का संतुलित सेट समसतत् है.
  • का उत्तल पतवार समसतत् है.
  • बिल्कुल उत्तल सेट समनिरंतर है.[10]
  • जबकि यदि सामान्य स्थान है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:

      <ली> का एक दृढ़ता से घिरा हुआ उपसमुच्चय है [10]

    जबकि यदि यदि यह एक बैरल वाली जगह है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:

      <ली> कमजोरकमज़ोर* टोपोलॉजी में अपेक्षाकृत सघन है [11] <ली> कमजोर* टोपोलॉजी है| कमजोर* घिरा हुआ है (अर्थात्, है में घिरा हुआ ).[11] <ली> परिबद्ध अभिसरण की टोपोलॉजी में बंधा हुआ है (अर्थात्, है में घिरा हुआ ).[11] </al>

      समसतत् रैखिक मानचित्रों के गुण

      एकसमान सीमा सिद्धांत (जिसे बानाच-स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है) बताता है कि एक सेट बानाच स्थानों के बीच रेखीय मानचित्रों का समनिरंतर है यदि यह बिंदुवार घिरा हुआ है; वह है, प्रत्येक के लिए परिणाम को किसी मामले में सामान्यीकृत किया जा सकता है स्थानीय रूप से उत्तल है और एक बैरल वाली जगह है.[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 पर एक निरंतर कार्य में समान रूप से परिवर्तित होता है।

      अर्ज़ेला-एस्कोली प्रमेय के मद्देनजर, सी(एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार रूप से परिवर्तित होता है। कथन की परिकल्पना को थोड़ा कमजोर किया जा सकता है: सी (एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि यह समवर्ती है और एक्स पर कुछ फलन के घने उपसमुच्चय पर बिंदुवार परिवर्तित होता है (निरंतर नहीं माना जाता है)।

      Proof

      Suppose fj is an equicontinuous sequence of continuous functions on a dense subset D of X. Let ε > 0 be given. By equicontinuity, for each zD, there exists a neighborhood Uz of z such that

      for all j and xUz. By denseness and compactness, we can find a finite subset D′D such that X is the union of Uz over zD′. Since fj converges pointwise on D′, there exists N > 0 such that

      whenever zD′ and j, k > N. It follows that

      for all j, k > N. In fact, if xX, then xUz for some zD′ 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(xn). फिर,n बिंदुवार 0 पर अभिसरित होता है लेकिन समान रूप से 0 पर अभिसरित नहीं होता।

      एकसमान अभिसरण का यह मानदंड अक्सर वास्तविक और जटिल विश्लेषण में उपयोगी होता है। मान लीजिए कि हमें निरंतर फलनों का एक क्रम दिया गया है जो 'आर' के कुछ खुले उपसमुच्चय जी पर बिंदुवार परिवर्तित होता है।n. जैसा कि ऊपर उल्लेख किया गया है, यह वास्तव में जी के एक सघन उपसमुच्चय पर समान रूप से परिवर्तित होता है यदि यह सघन सेट पर समान है। व्यवहार में, सम-निरंतरता दिखाना अक्सर इतना कठिन नहीं होता है। उदाहरण के लिए, यदि अनुक्रम में कुछ नियमितता के साथ अलग-अलग फलन या फलन शामिल हैं (उदाहरण के लिए, फलन एक अंतर समीकरण के समाधान हैं), तो अनुक्रम को समतुल्य दिखाने के लिए औसत मूल्य प्रमेय या कुछ अन्य प्रकार के अनुमानों का उपयोग किया जा सकता है। इसके बाद यह निष्कर्ष निकलता है कि अनुक्रम की सीमा G के प्रत्येक सघन उपसमुच्चय पर निरंतर है; इस प्रकार, जी पर निरंतर। एक समान तर्क तब दिया जा सकता है जब फलन होलोमोर्फिक हों। उदाहरण के लिए, कोई समसंगति (संक्षिप्त उपसमुच्चय पर) दिखाने के लिए कॉची के अनुमान का उपयोग कर सकता है और यह निष्कर्ष निकाल सकता है कि सीमा होलोमोर्फिक है। ध्यान दें कि यहां समनिरंतरता आवश्यक है। उदाहरण के लिए,n(x)= arctan nx असंतुलित साइन फलन के गुणक में परिवर्तित हो जाता है।

      सामान्यीकरण

      सामयिक स्थानों में समनिरंतरता

      सबसे सामान्य परिदृश्य जिसमें समरूपता को परिभाषित किया जा सकता है, वह टोपोलॉजिकल रिक्त स्थान के लिए है, जबकि समान समरूपता के लिए एक बिंदु के सामीप्य के फ़िल्टर (सेट सिद्धांत) की आवश्यकता होती है, जो किसी अन्य बिंदु के सामीप्य के फ़िल्टर के साथ तुलनीय हो। उत्तरार्द्ध प्रायः एक समान संरचना के माध्यम से किया जाता है, जिससे एक समान स्थान मिलता है। इन मामलों में उपयुक्त परिभाषाएँ इस प्रकार हैं:

      दो टोपोलॉजिकल स्पेस एक्स और वाई के बीच निरंतर फलनों का एक सेट 'एक्स ∈ एक्स और वाई ∈ वाई' बिंदुओं पर टोपोलॉजिकल रूप से समनिरंतर है यदि वाई के बारे में किसी भी खुले सेट ओ के लिए, एक्स के सामीप्य यू और वाई के वी हैं जैसे कि प्रत्येक f ∈ A के लिए, यदि f[U] और V का प्रतिच्छेदन गैर-रिक्त है, f[U] ⊆ O. तब A को 'x ∈ प्रत्येक y ∈ Y. अंत में, A 'समनिरंतर' है यदि यह सभी बिंदुओं x ∈ X के लिए x पर समनिरंतर है।
      दो एकसमान स्थानों
      { (u,v) ∈ X × X: for all fA. (f(u),f(v)) ∈ W }
      एक्स पर एकरूपता का सदस्य है
      समान स्थानों का परिचय

      अब हम एकरूपता में अंतर्निहित मूल विचार का संक्षेप में वर्णन करते हैं।

      एकरूपता 𝒱 के उपसमुच्चय का एक गैर-रिक्त संग्रह है 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, होने देना

      Ur = {(y, z) ∈ Y × Y : d(y, z) < r}

      बिंदुओं के सभी युग्मों के समुच्चय को निरूपित करें r-बंद करना। ध्यान दें कि अगर हमें यह भूलना है d तब अस्तित्व में था, किसी के लिए भी r > 0, हम अभी भी यह निर्धारित करने में सक्षम होंगे कि दो बिंदु हैं या नहीं Y हैं r-केवल सेट का उपयोग करके बंद करें Ur. इस प्रकार, सेट Ur किसी भी मीट्रिक की आवश्यकता के बिना समान निरंतरता और समान अभिसरण जैसी चीजों को परिभाषित करने के लिए आवश्यक सभी जानकारी को समाहित करें। इन सेटों के सबसे बुनियादी गुणों को स्वयंसिद्ध करने से एक समान स्थान की परिभाषा प्राप्त होती है। दरअसल, सेट Ur एकरूपता उत्पन्न करें जो मीट्रिक स्थान के साथ प्रामाणिक रूप से जुड़ी हुई है (Y, d).

      इस सामान्यीकरण का लाभ यह है कि अब हम कुछ महत्वपूर्ण परिभाषाओं का विस्तार कर सकते हैं जो मीट्रिक रिक्त स्थान (उदाहरण के लिए पूर्ण मीट्रिक स्थान) के लिए टोपोलॉजिकल रिक्त स्थान की व्यापक श्रेणी के लिए समझ में आते हैं। विशेष रूप से, टोपोलॉजिकल समूहों और टोपोलॉजिकल वेक्टर स्पेस के लिए।

      एक कमजोर अवधारणा सम निरंतरता की है
      दो टोपोलॉजिकल स्थानों f[U] ⊆ O जब भी f(x) ∈ V. यह 'x पर समान रूप से निरंतर' है यदि यह प्रत्येक y ∈ Y के लिए x और y पर समान रूप से निरंतर है, और 'समान रूप से निरंतर' है यदि यह x पर समान रूप से निरंतर है प्रत्येक x ∈ X.

      स्टोकेस्टिक समनिरंतरता

      स्टोकेस्टिक इक्विकंटिनिटी, इक्विकंटिनिटी का एक संस्करण है जिसका उपयोग यादृच्छिक चर के फलनों के अनुक्रम और यादृच्छिक चर के उनके अभिसरण के संदर्भ में किया जाता है।[17]


      यह भी देखें

      टिप्पणियाँ

      1. More generally, on any compactly generated space; e.g., a first-countable space.
      2. Rudin 1991, p. 44 §2.5.
      3. Reed & Simon (1980), p. 29; Rudin (1987), p. 245
      4. Reed & Simon (1980), p. 29
      5. 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
      6. Joseph H. Silverman : The arithmetic of dynamical systems. Springer, 2007. ISBN 0-387-69903-1, ISBN 978-0-387-69903-5; page 22
      7. Narici & Beckenstein 2011, pp. 133–136.
      8. Rudin 1991, p. 44 Theorem 2.4.
      9. 9.0 9.1 9.2 9.3 9.4 Narici & Beckenstein 2011, pp. 225–273.
      10. 10.0 10.1 10.2 10.3 Trèves 2006, pp. 335–345.
      11. 11.0 11.1 11.2 11.3 11.4 Trèves 2006, pp. 346–350.
      12. Schaefer 1966, Theorem 4.2.
      13. Schaefer 1966, Corollary 4.3.
      14. 14.0 14.1 14.2 Schaefer & Wolff 1999, pp. 123–128.
      15. Rudin 1991, p. 394 Appendix A5.
      16. Rudin 1991, p. 18 Theorem 1.23.
      17. 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)


      संदर्भ