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

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


समसंगति एस्कोली के प्रमेय के निर्माण में प्रकट होती है, जिसमें कहा गया है कि ''सी''(''एक्स'') का एक उपसमुच्चय, एक कॉम्पैक्ट हॉसडॉर्फ स्पेस ''एक्स'' पर निरंतर कार्यों का स्थान, कॉम्पैक्ट है यदि और केवल यदि यह बंद है, बिंदुवार घिरा हुआ है और समविराम है।
एस्कोली के प्रमेय के निर्माण में समनिरंतरता दिखाई देती है, जिसमें कहा गया है कि ''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'' संहत होता है, तो एक समुच्चय समान रूप से समनिरंतर होता है यदि और केवल यदि यह प्रत्येक बिंदु पर समनिरंतर हो, अनिवार्य रूप से उसी कारण से क्योंकि एकसमान निरंतरता और निरंतरता संहत समष्टियों पर मेल खाती है। अपने आप में प्रयुक्त, "समनिरंतरता" शब्द संदर्भ के आधार पर या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन समष्टि पर, ये धारणाएँ मेल खाती हैं।
अपने आप में इस्तेमाल किया जाने वाला, संदर्भ के आधार पर, समरूपता शब्द या तो बिंदुवार या एकसमान धारणा को संदर्भित कर सकता है। एक सघन स्थान पर, ये धारणाएँ मेल खाती हैं।


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


=== उदाहरण ===
=== उदाहरण ===


*एक सामान्य [[लिप्सचिट्ज़ स्थिरांक]] के साथ कार्यों का एक सेट (समान रूप से) समविराम है। विशेष रूप से, यह मामला है यदि सेट में समान स्थिरांक से घिरे डेरिवेटिव वाले फ़ंक्शन होते हैं।
*एक सामान्य [[लिप्सचिट्ज़ स्थिरांक]] के साथ फलनों का एक समुच्चय (समान रूप से) समनिरंतर है। विशेष रूप से, यह स्थिति है यदि समुच्चय में समान स्थिरांक से घिरे व्युत्पन्न  फलन होते हैं।
*समान सीमाबद्धता सिद्धांत निरंतर रैखिक ऑपरेटरों के एक सेट के लिए समविरंतर होने के लिए पर्याप्त शर्त देता है।
*समान सीमाबद्धता सिद्धांत निरंतर रैखिक ऑपरेटरों के एक समुच्चय के लिए समनिरंतर होने के लिए पर्याप्त परिस्थिति देता है।
*विश्लेषणात्मक फ़ंक्शन के पुनरावृत्तों का एक परिवार [[ फ़तौ सेट ]] पर समतुल्य है।<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>
*विश्लेषणात्मक फलन के पुनरावृत्तों का एक समूह[[ फ़तौ सेट | फ़तौ समुच्चय]] पर समनिरंतर है।<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) = आर्कटेन(nx), समनिरंतर नहीं है क्योंकि x<sub>0</sub>=0 पर परिभाषा का उल्लंघन होता है।
 
== सांस्थितिक समूहों में मानचित्रों मानों की समरूपता ==
 
मान लीजिए कि {{mvar|T}} एक सांस्थितिक समष्टि है और {{mvar|Y}} एक योज्य [[टोपोलॉजिकल समूह|सांस्थितिक समूह]] है (यानी एक [[समूह (बीजगणित)|समूह]] एक टोपोलॉजी से संपन्न है जो इसके संचालन को निरंतर बनाता है)। सांस्थितिक सदिश समष्टि सांस्थितिक समूहों के प्रमुख उदाहरण हैं और प्रत्येक सांस्थितिक समूह में एक संबद्ध विहित [[एकसमान स्थान|एकरूपता]] होती है।
 
:'''परिभाषा''':{{sfn | Narici|Beckenstein | 2011 | pp=133-136}} {{mvar|T}} से {{mvar|Y}} तक के मानचित्रों के एक समूह {{mvar|H}} को {{math|''t'' ∈ ''T''}}  '''पर समनिरंतर''' कहा जाता है  यदि {{mvar|Y}} में {{mvar|0}} के प्रत्येक सामीप्य {{mvar|V}} के लिए {{mvar|T}} में {{mvar|t}} के कुछ सामीप्य {{mvar|U}} निहित  जैसे कि प्रत्येक {{math|''h'' ∈ ''H''}} के लिए {{math|''h''(''U'') ⊆ ''h''(''t'') + ''V''}} है। हम कहते हैं कि {{mvar|H}} '''समनिरंतर''' है यदि यह {{mvar|T}} के प्रत्येक बिंदु पर समनिरंतर है।


ध्यान दें कि यदि {{mvar|H}} एक बिंदु पर समनिरंतर है {{mvar|H}} में प्रत्येक मानचित्र बिंदु पर सतत है। स्पष्टतः, {{mvar|T}} से {{mvar|Y}} तक सतत मानचित्रों का प्रत्येक परिमित समुच्चय समनिरंतर है।


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


*कार्यों का क्रम f<sub>n</sub>(x) = arctan(nx), समविरंतर नहीं है क्योंकि x पर परिभाषा का उल्लंघन होता है<sub>0</sub>=0.
===समनिरंतर रैखिक मानचित्रों का लक्षण वर्णन===


== टोपोलॉजिकल समूहों में मूल्यवान मानचित्रों की समरूपता ==
दो सांस्थितिक सदिश समष्टि के बीच फॉर्म <math>X \to Y</math> के मानचित्रों के एक समूह <math>H</math> को एक बिंदु <math>x \in X</math> पर समनिरंतर कहा जाता है यदि <math>Y</math> में मूल के प्रत्येक सामीप्य <math>V</math> के लिए <math>X</math> में मूल के कुछ सामीप्य <math>U</math> निहित हैं जैसे कि <math>h(x + U) \subseteq h(x) + V</math> सभी <math>h \in H</math> के लिए है।


लगता है कि {{mvar|T}} एक टोपोलॉजिकल स्पेस है और {{mvar|Y}} एक योगात्मक [[टोपोलॉजिकल समूह]] है (यानी एक [[समूह (बीजगणित)]] एक टोपोलॉजी से संपन्न है जो इसके संचालन को निरंतर बनाता है)।
यदि <math>H</math> मानचित्रों का एक समूह है और <math>U</math> एक समुच्चय है तो मान लीजिए <math>H(U) := \bigcup_{h \in H} h(U)</math> है। संकेतन के साथ, यदि  <math>U</math> और <math>V</math> तो समुच्चय हैं तो सभी <math>h \in H</math> के लिए <math>h(U) \subseteq V</math> यदि केवल <math>H(U) \subseteq V</math> है।
टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजिकल समूहों के प्रमुख उदाहरण हैं और प्रत्येक टोपोलॉजिकल समूह में एक संबद्ध कैनोनिकल [[एकसमान स्थान]] होता है।


:परिभाषा:{{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}}.
मान लीजिए कि  <math>X</math> और <math>Y</math> सांस्थितिक सदिश समष्टि (टीवीएस) हैं <math>H</math>  <math>X</math> से <math>Y</math> तक रैखिक ऑपरेटरों का एक समूह है। उसके बाद निम्न बराबर हैं:
<ol>
<li> <math>H</math> समनिरंतर है।<li>


ध्यान दें कि यदि {{mvar|H}} प्रत्येक मानचित्र की तुलना में एक बिंदु पर समसतत् है {{mvar|H}} बिंदु पर निरंतर है।
<li>  <math>H</math>, <math>X</math> के प्रत्येक बिंदु पर समनिरंतर है।<li>
स्पष्ट रूप से, सतत मानचित्रों का प्रत्येक परिमित सेट {{mvar|T}} में {{mvar|Y}} समविराम है.


==समसंतुलित रैखिक मानचित्र==
<li> <math>H</math>, <math>X</math> के किसी बिंदु पर समनिरंतर है।<li>
{{anchor|Equicontinuous linear operators}}


क्योंकि प्रत्येक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) एक टोपोलॉजिकल समूह है, इसलिए टोपोलॉजिकल समूहों के लिए दिए गए मानचित्रों के एक समविराम परिवार की परिभाषा बिना किसी बदलाव के टीवीएस में स्थानांतरित हो जाती है।
<li> <math>H</math> मूल बिंदु पर समनिरंतर है।
* अर्थात्  <math>Y</math> में मूल के प्रत्येक सामीप्य <math>V</math> के लिए के लिए, <math>X</math> में मूल के एक सामीप्य  <math>U</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}}<li>  <math>Y</math> में मूल बिंदु के प्रत्येक सामीप्य <math>V</math> के लिए <math>\bigcap_{h \in H} h^{-1}(V)</math>, <math>X</math>  में मूल बिंदु का सामीप्य है।</li>


===समसतत् रैखिक मानचित्रों का लक्षण वर्णन===
<li> <math>L_{\sigma}(X; Y)</math> में <math>H</math> का विवृत होना समनिरंतर हैl</li> 


एक परिवार <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>L_{\sigma}(X; Y)</math> बिंदु-वार अभिसरण की टोपोलॉजी से संपन्न <math>L(X; Y)</math> को दर्शाता है।                                                                                                                                                      <li> <math>H</math> का [[संतुलित सेट]] समनिरंतर है।</li>
<ol>
<ली><math>H</math> समविराम है;</li>
<ली><math>H</math> के प्रत्येक बिन्दु पर समसतत् है <math>X.</math> </li>
<ली><math>H</math> किसी बिंदु पर समविराम है <math>X.</math> </li>
<ली><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>).</li>{{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>H</math> में <math>L_{\sigma}(X; Y)</math> समविराम है.
* <math>L_{\sigma}(X; Y)</math> अर्थ है <math>L(X; Y)</math>बिंदु-वार अभिसरण की टोपोलॉजी से संपन्न।</li>
<li>का [[संतुलित सेट]] <math>H</math> समसतत् है.</li>
</ol>
</ol>


जबकि यदि <math>Y</math> [[स्थानीय रूप से उत्तल]] है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
जबकि यदि <math>Y</math> [[स्थानीय रूप से उत्तल]] है तो इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है:
<ol प्रारंभ=8>
<ol start=8>
<li>का उत्तल पतवार <math>H</math> समविराम है.{{sfn|Narici|Beckenstein|2011|pp=225-273}}</li>
<li> <math>H</math> का उत्तल सेट समनिरंतर है।{{sfn|Narici|Beckenstein|2011|pp=225-273}}</li>
<li>[[बिल्कुल उत्तल सेट]] <math>H</math> समविराम है.{{sfn|Trèves|2006|pp=335-345}}{{sfn|Narici|Beckenstein|2011|pp=225-273}}</li>
 
<li> <math>H</math> का [[बिल्कुल उत्तल सेट|संतुलित उत्तल सेट]]  समनिरंतर है।{{sfn|Trèves|2006|pp=335-345}}{{sfn|Narici|Beckenstein|2011|pp=225-273}}</li>
</ol>
</ol>


जबकि यदि <math>X</math> और <math>Y</math> स्थानीय रूप से उत्तल हैं तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
जबकि यदि <math>X</math> और <math>Y</math> स्थानीय रूप से उत्तल हैं तो इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है:
<ol प्रारंभ=10>
<ol start=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}}
 
* यहाँ, <math>q \circ h \leq p</math> मतलब कि <math>q(h(x)) \leq p(x)</math> सभी के लिए <math>x \in X.</math></li>
<li> <math>Y</math> पर प्रत्येक सतत [[ सेमिनोर्म |सेमिनोर्म]] <math>q</math> के लिए, <math>X</math> पर एक सतत सेमिनॉर्म <math>p</math> निहित है, पर जैसे कि सभी <math>h \in H</math> सभी के लिए <math>q \circ h \leq p</math> है।  {{sfn|Narici|Beckenstein|2011|pp=225-273}}  
* यहाँ, <math>q \circ h \leq p</math> का अर्थ है कि <math>x \in X</math> के लिए <math>q(h(x)) \leq p(x)</math> है।</li>
</ol>
</ol>


जबकि यदि <math>X</math> [[बैरल वाली जगह]] है और <math>Y</math> स्थानीय रूप से उत्तल है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
जबकि यदि <math>X</math> को [[बैरल वाली जगह|बैरल]] किया गया है और <math>Y</math> स्थानीय रूप से उत्तल है तो इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है:
<ol प्रारंभ=11>
<ol start="11">
<ली><math>H</math> में घिरा हुआ है <math>L_{\sigma}(X; Y)</math>;{{sfn|Trèves|2006|pp=346-350}}</li>
<li> <math>H</math>, <math>L_{\sigma}(X; Y)</math> में परिबद्ध है;{{sfn|Trèves|2006|pp=346-350}}<li>
<ली><math>H</math> में घिरा हुआ है <math>L_b(X; Y).</math> {{sfn|Trèves|2006|pp=346-350}}
<li> <math>H</math>, <math>L_b(X; Y)</math> में परिबद्ध है।  {{sfn|Trèves|2006|pp=346-350}}
* <math>L_b(X; Y)</math> अर्थ है <math>L(X; Y)</math>परिबद्ध अभिसरण की टोपोलॉजी से संपन्न (अर्थात, परिबद्ध उपसमुच्चय पर एकसमान अभिसरण) <math>X.</math></li>
* <math>L_b(X; Y)</math> परिबद्ध अभिसरण की टोपोलॉजी से संपन्न <math>L(X; Y)</math> को दर्शाता है (अर्थात, <math>X</math> के परिबद्ध अर्धसमुच्चय पर एकसमान अभिसरण)। </li>
</ol>
</ol>


जबकि यदि <math>X</math> और <math>Y</math> यदि बानाच स्थान हैं तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:
जबकि यदि <math>X</math> और <math>Y</math> यदि बानाच समष्टि हैं तो इस सूची को इसमें सम्मिलित करने के लिए बढ़ाया जा सकता है:
<ol प्रारंभ=13>
<ol start=13>
<ली><math>\sup \{\|T\| : T \in H\} < \infty</math> (वह है, <math>H</math> [[ऑपरेटर मानदंड]] में समान रूप से बंधा हुआ है)।</li>
<li> <math>\sup \{\|T\| : T \in H\} < \infty</math> (अर्थात, <math>H</math> [[ऑपरेटर मानदंड]] में समान रूप से विवृत है)।</li>
</ol>
</ol>


====समविराम रैखिक कार्यात्मकताओं का लक्षण वर्णन====
====समनिरंतर रैखिक '''समनिरंतर''' का लक्षण वर्णन====
{{anchor|Equicontinuous linear functionals}}
मान लीजिए कि <math>X</math> निरंतर दोहरी समष्टि <math>X^{\prime}</math> के साथ फ़ील्ड <math>\mathbb{F}</math> पर एक टोपोलॉजिकल सदिश समष्टि (टीवीएस) है। <math>X</math> पर रैखिक कार्यात्मकताओं के एक समूह <math>H</math> को ''एक बिंदु''  <math>x \in X</math> पर समनिरंतर कहा जाता है यदि <math>\mathbb{F}</math> में मूल के प्रत्येक सामीप्य <math>V</math> के लिए <math>X</math> में मूल के कुछ  सामीप्य <math>U</math> निहित हैं। ऐसा कि सभी <math>h \in H</math> के लिए <math>h(x + U) \subseteq h(x) + V</math> सभी के लिए है।
 
किसी भी अर्धसमुच्चय <math>H \subseteq X^{\prime}</math> के लिए, निम्नलिखित समतुल्य हैं:{{sfn|Narici|Beckenstein|2011|pp=225-273}}
<ol>
<li> <math>H</math> समनिरंतर है।</li>
<li> <math>H</math> मूल बिंदु पर समनिरंतर है।</li>
<li> <math>H</math>, <math>X</math> के किसी बिंदु पर समनिरंतर है। </li>
<li> <math>H</math>, <math>X</math> मूल के कुछ सामीप्य के [[ध्रुवीय सेट]] में समाहित है। {{sfn|Trèves|2006|pp=335-345}}</li>
<li>  <math>H</math> का (पूर्व)ध्रुवीय, <math>X</math> में मूल बिंदु का सामीप्य है। </li>
<li>  <math>X^{\prime}</math> में <math>H</math> का [[कमजोर-* टोपोलॉजी|कमजोर-*]] का विवृत होना समनिरंतर है। </li>
<li>  <math>H</math> का संतुलित सेट समनिरंतर है। </li>
<li>  <math>H</math> का उत्तल सेट समनिरंतर है।</li>
<li>  <math>H</math> का उत्तल सेट समनिरंतर है।{{sfn|Trèves|2006|pp=335-345}}</li>
</ol>


होने देना <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> को मानकीकृत किया गया है तो इस सूची को इसमें सम्मिलित करने के लिए बढ़ाया जा सकता है:
<द>
<ol start="10">
<ली><math>H</math> समसतत् है.</li>
<li> <math>H</math>, <math>X^{\prime}</math> का एक दृढ़ता से परिबद्ध अर्धसमुच्चय है। {{sfn|Trèves|2006|pp=335-345}}</li>
<ली><math>H</math> मूल पर समसतत् है।</li>
<ली><math>H</math> किसी बिंदु पर समविराम है <math>X.</math> </li>
<ली><math>H</math> मूल के कुछ पड़ोस के [[ध्रुवीय सेट]] में समाहित है <math>X</math>{{sfn|Trèves|2006|pp=335-345}}</li>
<li>ध्रुवीय सेट|(पूर्व)ध्रुवीय का <math>H</math> में मूल का पड़ोस है <math>X.</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> समविराम है.{{sfn|Trèves|2006|pp=335-345}}</li>
</ol>
</ol>


जबकि यदि <math>X</math> [[सामान्य स्थान]] है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:
जबकि यदि <math>X</math> एक बैरल वाली समष्टि है तो इस सूची को इसमें सम्मिलित करने के लिए बढ़ाया जा सकता है:
<ol प्रारंभ=10>
<ol start="11">
<ली><math>H</math> का एक दृढ़ता से घिरा हुआ उपसमुच्चय है <math>X^{\prime}.</math>{{sfn|Trèves|2006|pp=335-345}}</li>
<li>  <math>X^{\prime}</math> [[कमज़ोर* टोपोलॉजी]] में <math>H</math> अपेक्षाकृत सघन है। {{sfn|Trèves|2006|pp=346-350}}</li>
<li> <math>H</math> कमजोर* परिबद्ध है (अर्थात्, <math>H</math>, <math>\sigma\left(X^{\prime}, X\right)-</math><math>X^{\prime}</math> में परिबद्ध है।)</li>{{sfn|Trèves|2006|pp=346-350}}
<li> <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}}</li>
</ol>
</ol>


जबकि यदि <math>X</math> यदि यह एक बैरल वाली जगह है तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:
<ol प्रारंभ=11>
<ली><math>H</math> कमजोर[[कमज़ोर* टोपोलॉजी]] में अपेक्षाकृत कॉम्पैक्ट है <math>X^{\prime}.</math>{{sfn|Trèves|2006|pp=346-350}}</li>
<ली><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}}</li>
<ली><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}}</li>
</al>


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


एकसमान सीमा सिद्धांत (जिसे बानाच-स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है) बताता है कि एक सेट <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^{\prime}_{\sigma}</math> समविराम है.{{sfn|Schaefer|Wolff|1999|pp=123–128}}


{{Math theorem|name=Theorem|math_statement=
 
 
 
 
 
===समनिरंतर रैखिक मानचित्रों के गुण===
 
एकसमान सीमा सिद्धांत (जिसे बानाच-स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है) में कहा गया है कि बानाच समष्टियों के बीच रैखिक मानचित्रों का एक सेट <math>H</math> समनिरंतर है यदि यह बिंदुवार घिरा हुआ है; अर्थात्, प्रत्येक <math>x \in X</math> के लिए <math>\sup_{h \in H} \|h(x)\| < \infty</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^{\prime}_{\sigma}</math> का प्रत्येक परिबद्ध अर्धसमुच्चय समनिरंतर हो।{{sfn|Schaefer|Wolff|1999|pp=123–128}}
 
{{Math theorem|name=प्रमेय|math_statement=
Suppose that <math>X</math> is a [[Separable space|separable]] TVS. Then every closed equicontinuous subset of <math>X^{\prime}_{\sigma}</math> is a compact metrizable space (under the subspace topology). If in addition <math>X</math> is metrizable then <math>X^{\prime}_{\sigma}</math> is separable.{{sfn|Schaefer|Wolff|1999|pp=123–128}}  
Suppose that <math>X</math> is a [[Separable space|separable]] TVS. Then every closed equicontinuous subset of <math>X^{\prime}_{\sigma}</math> is a compact metrizable space (under the subspace topology). If in addition <math>X</math> is metrizable then <math>X^{\prime}_{\sigma}</math> is separable.{{sfn|Schaefer|Wolff|1999|pp=123–128}}  
}}
}}


==समान निरंतरता और एकसमान अभिसरण==
==समान निरंतरता और एकसमान अभिसरण==


मान लीजिए कि फिर अर्ज़ेला-एस्कोली प्रमेय बताता है कि C(X) का एक उपसमुच्चय सघन है यदि और केवल तभी जब वह बंद हो, समान रूप से घिरा हुआ हो और समविरंतर हो। {{sfn|Rudin|1991|p=394 Appendix A5}}
मान लीजिए कि फिर अर्ज़ेला-एस्कोली प्रमेय बताता है कि C(X) का एक अर्धसमुच्चय सघन है यदि और केवल तभी जब वह विवृत हो, जब समान रूप से घिरा हुआ हो और समनिरंतर हो। {{sfn|Rudin|1991|p=394 Appendix A5}} यह हेइन-बोरेल प्रमेय के अनुरूप है, जो बताता है कि '''R'''<sup>''n''</sup> के अर्धसमुच्चय संहत होते हैं यदि और केवल तभी जब वे विवृत और परिबद्ध हों।{{sfn|Rudin|1991|p=18 Theorem 1.23}} परिणाम के रूप में, C(X) में प्रत्येक समान रूप से बंधे समनिरंतर अनुक्रम में एक अनुवर्ती होता है जो X पर एक निरंतर फलन में समान रूप से परिवर्तित होता है।
यह हेइन-बोरेल प्रमेय के अनुरूप है, जो बताता है कि आर के उपसमुच्चय<sup>n</sup>संहत हैं यदि और केवल तभी जब वे बंद और परिबद्ध हों।{{sfn|Rudin|1991|p=18 Theorem 1.23}}
परिणाम के रूप में, C(X) में प्रत्येक समान रूप से बंधे समविराम अनुक्रम में एक अनुवर्ती होता है जो X पर एक निरंतर कार्य में समान रूप से परिवर्तित होता है।


अर्ज़ेला-एस्कोली प्रमेय के मद्देनजर, सी(एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि और केवल यदि यह समविराम है और बिंदुवार रूप से परिवर्तित होता है। कथन की परिकल्पना को थोड़ा कमजोर किया जा सकता है: सी (एक्स) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि यह समवर्ती है और एक्स पर कुछ फ़ंक्शन के घने उपसमुच्चय पर बिंदुवार परिवर्तित होता है (निरंतर नहीं माना जाता है)।
अर्ज़ेला-एस्कोली प्रमेय दृष्टिकोण से, ''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 180:
}}
}}


इस कमजोर संस्करण का उपयोग आमतौर पर अलग-अलग कॉम्पैक्ट स्थानों के लिए अर्ज़ेला-एस्कोली प्रमेय को साबित करने के लिए किया जाता है। एक और परिणाम यह है कि एक मीट्रिक स्थान पर, या स्थानीय रूप से कॉम्पैक्ट स्थान पर निरंतर कार्यों के एक समविराम बिंदुवार अभिसरण अनुक्रम की सीमा निरंतर है। (उदाहरण के लिए नीचे देखें।)
इस कमजोर संस्करण का उपयोग प्रायः अलग-अलग सघन समष्टि के लिए अर्ज़ेला-एस्कोली प्रमेय को प्रमाणित करने के लिए किया जाता है। एक और परिणाम यह है कि एक मीट्रिक समष्टि पर, या स्थानीय रूप से सघन समष्टि पर निरंतर फलनों के एक समनिरंतर बिंदुवार अभिसरण अनुक्रम की सीमा निरंतर है। (उदाहरण के लिए नीचे देखें।) उपरोक्त में, X  की सघनता की परिकल्पना को शिथिल नहीं किया जा सकता है। यह देखने के लिए, '''R''' पर g(0)= 1 के साथ एक सघन रूप से समर्थित निरंतर फलन g पर विचार करें, और फ़ंक्शंस के समनिरंतर अनुक्रम पर विचार करें, और ƒ<sub>''n''</sub>(x)= {{nowrap|''g''(''x'' − ''n'')}} द्वारा परिभाषित '''R''' पर फलन {{mset|''ƒ''<sub>''n''</sub>}} के समनिरंतर अनुक्रम पर विचार करें। फिर, ƒ<sub>''n''</sub> बिंदुवार 0 पर परिवर्तित होता है लेकिन समान रूप से 0 पर परिवर्तित नहीं होता है।
उपरोक्त में, X  की सघनता की परिकल्पना को शिथिल नहीं किया जा सकता है।
यह देखने के लिए, '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''&thinsp;''x''}} असंतुलित [[साइन फ़ंक्शन]] के गुणक में परिवर्तित हो जाता है।
एकसमान अभिसरण का यह मानदंड प्रायः वास्तविक और जटिल विश्लेषण में उपयोगी होता है। मान लीजिए कि हमें निरंतर फलनों का एक क्रम दिया गया है जो '''R'''<sup>''n''</sup> के कुछ संवृत अर्धसमुच्चय ''G'' पर बिंदुवार परिवर्तित होता है। जैसा कि ऊपर उल्लेख किया गया है, यह सचमुच में ''G'' के एक सघन अर्धसमुच्चय पर समान रूप से परिवर्तित होता है यदि यह सघन सेट पर समान है। व्यवहार में, सम-निरंतरता दिखाना प्रायः इतना कठिन नहीं होता है। उदाहरण के लिए, यदि अनुक्रम में कुछ नियमितता के साथ अलग-अलग फलन या फलन सम्मिलित हैं (उदाहरण के लिए, फलन एक अंतर समीकरण के समाधान हैं), तो अनुक्रम को समतुल्य दिखाने के लिए औसत मूल्य प्रमेय या कुछ अन्य प्रकार के अनुमानों का उपयोग किया जा सकता है। इसके बाद यह निष्कर्ष निकलता है कि अनुक्रम की सीमा G के प्रत्येक सघन अर्धसमुच्चय पर निरंतर है; इस प्रकार, G पर निरंतर है। एक समान तर्क तब दिया जा सकता है जब फलन पूर्णसममितिक हों। उदाहरण के लिए, कोई समसंगति (संक्षिप्त अर्धसमुच्चय पर) दिखाने के लिए कॉची के अनुमान का उपयोग कर सकता है और यह निष्कर्ष निकाल सकता है कि सीमा पूर्णसममितिक है। ध्यान दें कि यहां समनिरंतरता आवश्यक है। उदाहरण के लिए, ''ƒ<sub>n</sub>''(''x'') = {{nowrap|आर्कटैन ''n''&thinsp;''x''}} असंतत [[साइन फ़ंक्शन|चिह्न फलन]] के गुणक में परिवर्तित हो जाता है।


==सामान्यीकरण==
==सामान्यीकरण==


===सामयिक स्थानों में समसामयिकता===
===टोपोलॉजिकल सामयिक समष्टियों में समनिरंतरता===


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


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


:दो एकसमान स्थानों
:दो एकसमान समष्टियों ''X'' और ''Y''  के बीच निरंतर फलनों का एक सेट ''A'' '''समान रूप से''' '''समनिरंतर''' है यदि ''Y'' पर एकरूपता के प्रत्येक तत्व W के लिए, सेट
::{{mset| (''u,v'') ∈ ''X × X'': for all ''f'' ∈ ''A''. (''f''(''u''),''f''(''v'')) ∈ ''W'' }}
::{{mset| (''u,v'') ∈ ''X × X'': for all ''f'' ∈ ''A''. (''f''(''u''),''f''(''v'')) ∈ ''W'' }}
:एक्स पर एकरूपता का सदस्य है
:''X'' पर एकरूपता का सदस्य है


;समान स्थानों का परिचय
;समान समष्टि का परिचय
{{Main|Uniform space}}
{{Main|एकसमान समष्टि}}


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


एकरूपता {{mvar|𝒱}} के उपसमुच्चय का एक गैर-रिक्त संग्रह है {{math|''Y'' &times; ''Y''}} जहां, कई अन्य संपत्तियों के बीच, प्रत्येक {{math|''V'' &isin; 𝒱}}, {{mvar|V}} का विकर्ण शामिल है {{mvar|Y}} (अर्थात {{math|{{(}}(''y'', ''y'') &isin; ''Y''{{)}}}}).
एकरूपता {{mvar|𝒱}} {{math|''Y'' &times; ''Y''}} के अर्धसमुच्चय का एक गैर-रिक्त संग्रह है, जहां, कई अन्य गुणों के बीच, प्रत्येक {{math|''V'' &isin; 𝒱}}, {{mvar|V}} में {{mvar|Y}} विकर्ण होता है (अर्थात {{math|{{(}}(''y'', ''y'') &isin; ''Y''{{)}}}}){{mvar|𝒱}}का प्रत्येक तत्व को प्रतिवेश कहा जाता है।
का प्रत्येक तत्व {{mvar|𝒱}} को प्रतिवेश कहा जाता है.


एकरूपताएं उन बिंदुओं के विचार ([[मीट्रिक रिक्त स्थान]] से ली गई) को सामान्यीकृत करती हैं{{mvar|r}}-बंद करें (के लिए {{math|''r'' > 0}}), जिसका अर्थ है कि उनकी दूरी < है {{mvar|r}}.
एकरूपताएं उन बिंदुओं के विचार ([[मीट्रिक रिक्त स्थान|मीट्रिक समष्टि]] से ली गई) को सामान्यीकृत करती हैं <nowiki>''</nowiki>{{mvar|r}}-क्लोज़<nowiki>''</nowiki> करें ({{math|''r'' > 0}}के लिए ), जिसका अर्थ है कि उनकी दूरी <{{mvar|r}} है।  इसे स्पष्ट करने के लिए मान लीजिये {{math|(''Y'', ''d'')}} एक मीट्रिक समष्टि है (इसलिए {{mvar|Y}} इसका विकर्ण सेट है {{math|{{(}}(''y'', ''z'') &isin; ''Y'' &times; ''Y'' : ''d''(''y'', ''z'') {{=}} 0{{)}}}}) किसी भी {{math|''r'' > 0}} के लिए है, मान लीजिए
इसे स्पष्ट करने के लिए मान लीजिये {{math|(''Y'', ''d'')}} एक मीट्रिक स्थान है (इसलिए इसका विकर्ण {{mvar|Y}} सेट है {{math|{{(}}(''y'', ''z'') &isin; ''Y'' &times; ''Y'' : ''d''(''y'', ''z'') {{=}} 0{{)}}}})
किसी के लिए {{math|''r'' > 0}}, होने देना
:{{math|''U''{{sub|''r''}} {{=}} {{(}}(''y'', ''z'') &isin; ''Y'' &times; ''Y'' : ''d''(''y'', ''z'') < ''r''{{)}}}}
:{{math|''U''{{sub|''r''}} {{=}} {{(}}(''y'', ''z'') &isin; ''Y'' &times; ''Y'' : ''d''(''y'', ''z'') < ''r''{{)}}}}
बिंदुओं के सभी युग्मों के समुच्चय को निरूपित करें {{mvar|r}}-बंद करना।
बिंदुओं के सभी युग्मों के समुच्चय को निरूपित करें {{mvar|r}}-विवृत हैं। ध्यान दें कि अगर हम यह "भूल" जाएं कि  {{mvar|d}} तब अस्तित्व में था, तो किसी भी {{math|''r'' > 0}} के लिए, हम अभी भी केवल सेट {{math|''U''{{sub|''r''}}}} का उपयोग करके यह निर्धारित करने में सक्षम होंगे कि {{mvar|Y}}  के दो बिंदु {{mvar|r}}-विवृत हैं या नहीं। इस तरह, सेट {{math|''U''{{sub|''r''}}}} किसी भी मीट्रिक समष्टि की आवश्यकता के बिना समान निरंतरता और समान अभिसरण जैसी चीजों को परिभाषित करने के लिए आवश्यक सभी जानकारी को समाहित करता है।इन सेटों के सबसे बुनियादी गुणों को स्वयंसिद्ध करने से एकरूपता की परिभाषा प्राप्त होती है। दरअसल, सेट {{math|''U''{{sub|''r''}}}} एकरूपता उत्पन्न करता है जो कि मीट्रिक समष्टि {{math|(''Y'', ''d'')}} के साथ प्रामाणिक रूप से जुड़ा हुआ है।
ध्यान दें कि अगर हमें यह भूलना है {{mvar|d}} तब अस्तित्व में था, किसी के लिए भी {{math|''r'' > 0}}, हम अभी भी यह निर्धारित करने में सक्षम होंगे कि दो बिंदु हैं या नहीं {{mvar|Y}} हैं {{mvar|r}}-केवल सेट का उपयोग करके बंद करें {{math|''U''{{sub|''r''}}}}.
इस प्रकार, सेट {{math|''U''{{sub|''r''}}}} किसी भी मीट्रिक की आवश्यकता के बिना समान निरंतरता और समान अभिसरण जैसी चीजों को परिभाषित करने के लिए आवश्यक सभी जानकारी को समाहित करें।
इन सेटों के सबसे बुनियादी गुणों को स्वयंसिद्ध करने से एक समान स्थान की परिभाषा प्राप्त होती है।
दरअसल, सेट {{math|''U''{{sub|''r''}}}} एकरूपता उत्पन्न करें जो मीट्रिक स्थान के साथ प्रामाणिक रूप से जुड़ी हुई है {{math|(''Y'', ''d'')}}.


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


;एक कमजोर अवधारणा सम निरंतरता की है:
;एक सम निरंतरता की कमजोर अवधारणा  है:


: दो टोपोलॉजिकल स्थानों f[U] ⊆ O जब भी f(x) ∈ V. यह 'x पर समान रूप से निरंतर' है यदि यह प्रत्येक y ∈ Y के लिए x और y पर समान रूप से निरंतर है, और 'समान रूप से निरंतर' है यदि यह x पर समान रूप से निरंतर है प्रत्येक x ∈ X.
: दो सांस्थितिक समष्टियों ''X'' और के बीच निरंतर फलनों के एक सेट ''A'' को x ∈ X और ''y ∈ Y'' पर '''समान रूप से निरंतर''' कहा जाता है यदि कोई संवृत सेट O दिया गया है जिसमें y है तो ''x'' के पड़ोस U और y के V इस प्रकार हैं कि f[U] ⊆ O जब भी f(x) ∈ V हैं। यदि यह प्रत्येक y ∈ Y के लिए x और y पर '''समान रूप से निरंतर''' है, और यदि यह प्रत्येक x ∈ X के लिए  x पर '''समान रूप से निरंतर''' है, तो यह समान रूप से निरंतर है।


===स्टोकेस्टिक समसामयिकता===
===स्टोकेस्टिक समनिरंतरता===
{{Main|Stochastic equicontinuity}}
{{Main|स्टोकेस्टिक समनिरंतरता}}


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




==यह भी देखें==
==यह भी देखें==


* {{annotated link|Absolute continuity}}
* पूर्ण निरंतरता - फलनों के लिए निरंतरता का रूप}}
* {{annotated link|Classification of discontinuities}}
* असंततताओं का वर्गीकरण - असंतत बिंदुओं का गणितीय विश्लेषण}}
* {{annotated link|Coarse function}}
* स्थूल फलन}}
* {{annotated link|Continuous function}}
* निरंतर फलन (सेट सिद्धांत) - क्रमसूचकों का अनुक्रम, जैसे कि सीमा चरणों में ग्रहण किए गए मान पिछले चरणों में सभी मूल्यों की सीमाएं (सीमा उच्च और सीमा निम्नतम) हैं}}
* {{annotated link|Continuous function (set theory)}}
* सतत स्टोकेस्टिक प्रक्रिया - स्टोकेस्टिक प्रक्रिया जो समय या सूचकांक पैरामीटर का एक सतत फलन है}}
* {{annotated link|Continuous stochastic process}}
* दीनी निरंतरता}}
* {{annotated link|Dini continuity}}
* दिशा-संरक्षण फलन- अलग-अलग समष्टियों में निरंतर फलन का एक एनालॉग।
* {{annotated link|Direction-preserving function}} - असतत स्थानों में एक सतत फ़ंक्शन का एक एनालॉग।
* सूक्ष्म निरंतरता - गणितीय शब्द}}
* {{annotated link|Microcontinuity}}
* सामान्य फलन- गणित में क्रमसूचकों का फलन}}
* {{annotated link|Normal function}}
* <nowiki>खंडशः - कई अर्ध-फलनों द्वारा परिभाषित फलन}}</nowiki>
* {{annotated link|Piecewise}}
* एकसमान निरंतरता - फलनों में परिवर्तन का}}
* {{annotated link|Symmetrically continuous function}}
 
* {{annotated link|Uniform continuity}}
 
 
 
 
 
 
 
 
 
 


==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist|30em}}
{{reflist|30em}}
==संदर्भ==
==संदर्भ==


* {{springer|title=Equicontinuity|id=p/e035990}}
* {{springer|title=Equicontinuity|id=p/e035990}}
* {{Citation | last1=Reed | first1=Michael | last2=Simon | first2=Barry | author2-link=Barry Simon | title=Functional Analysis | publisher=[[Academic Press]] | location=Boston, MA | edition=revised and enlarged | isbn=978-0-12-585050-6 | year=1980}}.
* {{Citation | last1=Reed | first1=Michael | last2=Simon | first2=Barry | author2-link=Barry Simon | title=Functional Analysis | publisher=[[Academic Press]] | location=Boston, MA | edition=revised and enlarged | isbn=978-0-12-585050-6 | year=1980}}.
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn | Narici | 2011 | p=}} -->  
* {{Narici Beckenstein Topological Vector Spaces|edition=2}}<!-- {{sfn | Narici | 2011 | p=}} -->


* {{Rudin Walter Functional Analysis|edition=2}} <!-- {{sfn|Rudin|1991|p=}} -->
* {{Rudin Walter Functional Analysis|edition=2}}<!-- {{sfn|Rudin|1991|p=}} -->


* {{Citation | last1=Rudin | first1=Walter | author1-link=Walter Rudin | title=Real and Complex Analysis | publisher=[[McGraw-Hill]] | location=New York | edition=3rd | year=1987}}.
* {{Citation | last1=Rudin | first1=Walter | author1-link=Walter Rudin | title=Real and Complex Analysis | publisher=[[McGraw-Hill]] | location=New York | edition=3rd | year=1987}}.
Line 251: Line 266:
  | isbn =
  | isbn =
}}
}}
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn | Schaefer|Wolff| 1999 | p=}} -->  
* {{Schaefer Wolff Topological Vector Spaces|edition=2}}<!-- {{sfn | Schaefer|Wolff| 1999 | p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn | Treves | 2006 | p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}}  
[[Category: सतत कार्यों का सिद्धांत]] [[Category: गणितीय विश्लेषण]]
 
 
 
 
 
 




<ol प्रारंभ="11"><!-- {{sfn | Treves | 2006 | p=}} -->


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Harv and Sfn no-target errors]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Template documentation pages|Short description/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:गणितीय विश्लेषण]]
[[Category:सतत कार्यों का सिद्धांत]]

Latest revision as of 16:39, 29 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) = आर्कटेन(nx), समनिरंतर नहीं है क्योंकि x0=0 पर परिभाषा का उल्लंघन होता है।

सांस्थितिक समूहों में मानचित्रों मानों की समरूपता

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

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

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

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

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

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

दो सांस्थितिक सदिश समष्टि के बीच फॉर्म के मानचित्रों के एक समूह को एक बिंदु पर समनिरंतर कहा जाता है यदि में मूल के प्रत्येक सामीप्य के लिए में मूल के कुछ सामीप्य निहित हैं जैसे कि सभी के लिए है।

यदि मानचित्रों का एक समूह है और एक समुच्चय है तो मान लीजिए है। संकेतन के साथ, यदि और तो समुच्चय हैं तो सभी के लिए यदि केवल है।

मान लीजिए कि और सांस्थितिक सदिश समष्टि (टीवीएस) हैं से तक रैखिक ऑपरेटरों का एक समूह है। उसके बाद निम्न बराबर हैं:

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

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

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

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

  1. पर प्रत्येक सतत सेमिनोर्म के लिए, पर एक सतत सेमिनॉर्म निहित है, पर जैसे कि सभी सभी के लिए है। [9]
    • यहाँ, का अर्थ है कि के लिए है।

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

  1. , में परिबद्ध है;[11]
  2. , में परिबद्ध है। [11]
    • परिबद्ध अभिसरण की टोपोलॉजी से संपन्न को दर्शाता है (अर्थात, के परिबद्ध अर्धसमुच्चय पर एकसमान अभिसरण)।

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

  1. (अर्थात, ऑपरेटर मानदंड में समान रूप से विवृत है)।

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

मान लीजिए कि निरंतर दोहरी समष्टि के साथ फ़ील्ड पर एक टोपोलॉजिकल सदिश समष्टि (टीवीएस) है। पर रैखिक कार्यात्मकताओं के एक समूह को एक बिंदु पर समनिरंतर कहा जाता है यदि में मूल के प्रत्येक सामीप्य के लिए में मूल के कुछ सामीप्य निहित हैं। ऐसा कि सभी के लिए सभी के लिए है।

किसी भी अर्धसमुच्चय के लिए, निम्नलिखित समतुल्य हैं:[9]

  1. समनिरंतर है।
  2. मूल बिंदु पर समनिरंतर है।
  3. , के किसी बिंदु पर समनिरंतर है।
  4. , मूल के कुछ सामीप्य के ध्रुवीय सेट में समाहित है। [10]
  5. का (पूर्व)ध्रुवीय, में मूल बिंदु का सामीप्य है।
  6. में का कमजोर-* का विवृत होना समनिरंतर है।
  7. का संतुलित सेट समनिरंतर है।
  8. का उत्तल सेट समनिरंतर है।
  9. का उत्तल सेट समनिरंतर है।[10]

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

  1. , का एक दृढ़ता से परिबद्ध अर्धसमुच्चय है। [10]

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

  1. कमज़ोर* टोपोलॉजी में अपेक्षाकृत सघन है। [11]
  2. कमजोर* परिबद्ध है (अर्थात्, , में परिबद्ध है।)
  3. [11]
  4. परिबद्ध अभिसरण की टोपोलॉजी में परिबद्ध है (अर्थात्, में परिबद्ध है।)[11]







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

एकसमान सीमा सिद्धांत (जिसे बानाच-स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है) में कहा गया है कि बानाच समष्टियों के बीच रैखिक मानचित्रों का एक सेट समनिरंतर है यदि यह बिंदुवार घिरा हुआ है; अर्थात्, प्रत्येक के लिए है। परिणाम को ऐसे स्थिति में सामान्यीकृत किया जा सकता है जब स्थानीय रूप से उत्तल हो और एक बैरल वाली समष्टि हो।[12]

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

अलाओग्लू के प्रमेय का तात्पर्य है कि के एक समनिरंतर अर्धसमुच्चय का कमजोर-* विवृत होना कमज़ोर है-* सघन है; इस प्रकार प्रत्येक समनिरंतर अर्धसमुच्चय कमजोर-* अपेक्षाकृत सघन होता है।[13][9]

यदि कोई स्थानीय रूप से उत्तल टीवीएस है, तो सभी बैरल वाले समष्टियों का समूह और सभी अर्धसमुच्चय का समूह जो उत्तल, संतुलित, विवृत और में घिरा हुआ हैं, ध्रुवता द्वारा एक दूसरे के अनुरूप हैं (के संबंध में) )।[14] इसका तात्पर्य यह है कि स्थानीय रूप से उत्तल टी.वी.एस को तभी बैरल किया जाता है जब का प्रत्येक परिबद्ध अर्धसमुच्चय समनिरंतर हो।[14]

प्रमेय — 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] यह हेइन-बोरेल प्रमेय के अनुरूप है, जो बताता है कि Rn के अर्धसमुच्चय संहत होते हैं यदि और केवल तभी जब वे विवृत और परिबद्ध हों।[16] परिणाम के रूप में, C(X) में प्रत्येक समान रूप से बंधे समनिरंतर अनुक्रम में एक अनुवर्ती होता है जो X पर एक निरंतर फलन में समान रूप से परिवर्तित होता है।

अर्ज़ेला-एस्कोली प्रमेय दृष्टिकोण से, C(X) में एक अनुक्रम समान रूप से परिवर्तित होता है यदि और केवल यदि यह समनिरंतर है और बिंदुवार रूप से परिवर्तित होता है। कथन की परिकल्पना को थोड़ा कमजोर किया जा सकता है: 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(x)= g(xn) द्वारा परिभाषित R पर फलन {ƒn} के समनिरंतर अनुक्रम पर विचार करें। फिर, ƒn बिंदुवार 0 पर परिवर्तित होता है लेकिन समान रूप से 0 पर परिवर्तित नहीं होता है।

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

सामान्यीकरण

टोपोलॉजिकल सामयिक समष्टियों में समनिरंतरता

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

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

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

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

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

एक सम निरंतरता की कमजोर अवधारणा है
दो सांस्थितिक समष्टियों X और के बीच निरंतर फलनों के एक सेट A को x ∈ X और y ∈ Y पर समान रूप से निरंतर कहा जाता है यदि कोई संवृत सेट O दिया गया है जिसमें y है तो x के पड़ोस U और y के V इस प्रकार हैं कि f[U] ⊆ O जब भी f(x) ∈ V हैं। यदि यह प्रत्येक 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)

संदर्भ