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

From Vigyanwiki
(Text)
Line 59: Line 59:
<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> के प्रत्येक बिंदु पर समसतत् है।<li>


<li> <math>H</math> <math>X</math> के किसी बिंदु पर समसतत् है।<li>
<li> <math>H</math>, <math>X</math> के किसी बिंदु पर समसतत् है।<li>


<li> <math>H</math> मूल बिंदु पर समसतत् है।<li>
<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>
* अर्थ-ात् <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>   
<li> <math>L_{\sigma}(X; Y)</math> में <math>H</math> का बंद होना समसतत् हैl</li>   
Line 76: Line 73:
जबकि यदि <math>Y</math> [[स्थानीय रूप से उत्तल]] है तो इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है:
जबकि यदि <math>Y</math> [[स्थानीय रूप से उत्तल]] है तो इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है:
<ol start=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>


Line 84: Line 81:
<ol start=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}}  
<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>
* यहाँ, <math>q \circ h \leq p</math> मतलब कि <math>q(h(x)) \leq p(x)</math> सभी के लिए <math>x \in X.</math></li>
</ol>
</ol>


जबकि यदि <math>X</math> [[बैरल वाली जगह]] है और <math>Y</math> स्थानीय रूप से उत्तल है तो इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है:
जबकि यदि <math>X</math> को [[बैरल वाली जगह|बैरल]] किया गया है और <math>Y</math> स्थानीय रूप से उत्तल है तो इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है:
<ol start="11">
<ol start="11">
<li> <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>
<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 start=13>
<ol start=13>
<li> <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>


====समनिरंतर रैखिक कार्यात्मकताओं का लक्षण वर्णन====
====समनिरंतर रैखिक '''समसतत्''' का लक्षण वर्णन====
होने देना <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>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}}
'''''किसी भी उपसमुच्चय''''' के लिए <math>H \subseteq X^{\prime},</math> निम्नलिखित समतुल्य हैं:{{sfn|Narici|Beckenstein|2011|pp=225-273}}
<ol>
<ol>
<li> <math>H</math> समसतत् है.</li>
<li> <math>H</math> समसतत् है.</li>

Revision as of 17:17, 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) = आर्कटेन(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. ,