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

Revision as of 11:45, 13 July 2023

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

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

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

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

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

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

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

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

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

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

d_{Y}(f(y),f(x))<\epsilon

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

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

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

उदाहरण

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

प्रतिउदाहरण

फलनों का अनुक्रम f_n(x) = आर्कटेन(nx), समनिरंतर नहीं है क्योंकि x₀=0 पर परिभाषा का उल्लंघन होता है।

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

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

परिभाषा:^[7]

T

से

Y

तक के मानचित्रों के एक परिवार

H

को

t \in T

पर समसतत् कहा जाता है यदि

Y

में

0

के प्रत्येक सामीप्य

V

के लिए

T

में

t

के कुछ सामीप्य

U

निहित जैसे कि प्रत्येक

h \in H

के लिए

h (U) \subseteq h (t) + V

है। हम कहते हैं कि

H

समसतत् है यदि यह

T

के प्रत्येक बिंदु पर समसतत् है।

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

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

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

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

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

यदि $H$ मानचित्रों का एक परिवार है और $U$ एक समुच्चय है तो मान लीजिए $H(U):=\bigcup _{h\in H}h(U)$ है। संकेतन के साथ, यदि $U$ और $V$ तो समुच्चय हैं तो सभी $h\in H$ के लिए $h(U)\subseteq V$ यदि केवल $H(U)\subseteq V$ है।

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

H

H

X.

H

X.

H

अर्थात् प्रत्येक मोहल्ले के लिए $V$ में उत्पत्ति का $Y,$ वहाँ एक सामीप्य निहित है $U$ में उत्पत्ति का $X$ ऐसा है कि $H(U)\subseteq V$ (या समकक्ष, $h$

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 55: / Line 55: @@
 ===समसतत् रैखिक मानचित्रों का लक्षण वर्णन===
-'''एक परिवार''' <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>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> के लिए है।
+यदि <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> है।
+मान लीजिए कि  <math>X</math> और <math>Y</math> सांस्थितिक वेक्टर स्पेस (टीवीएस) हैं <math>H</math>  <math>X</math> से <math>Y</math> तक रैखिक ऑपरेटरों का एक परिवार है। उसके बाद निम्न बराबर हैं:
 <ol>
 <ली><math>H</math> समनिरंतर है;
@@ Line 70: / Line 74: @@
 जबकि यदि <math>Y</math> [[स्थानीय रूप से उत्तल]] है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
-<ol प्रारंभ=8>
+<ol प्रारंभ="8">
 <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>
@@ Line 76: / Line 80: @@
 जबकि यदि <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>
 </ol>
 जबकि यदि <math>X</math> [[बैरल वाली जगह]] है और <math>Y</math> स्थानीय रूप से उत्तल है तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
-<ol प्रारंभ=11>
+<ol प्रारंभ="11">
-<ली><math>H</math> में घिरा हुआ है <math>L_{\sigma}(X; Y)</math>;{{sfn|Trèves|2006|pp=346-350}}</li>
+<ली><math>H</math> में घिरा हुआ है <math>L_{\sigma}(X; Y)</math>;{{sfn|Trèves|2006|pp=346-350}}
 <ली><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>
 </ol>
 जबकि यदि <math>X</math> और <math>Y</math> यदि बानाच स्थान हैं तो इस सूची को इसमें शामिल करने के लिए बढ़ाया जा सकता है:
-<ol प्रारंभ=13>
+<ol प्रारंभ="13">
 <ली><math>\sup \{\|T\| : T \in H\} < \infty</math> (वह है, <math>H</math> [[ऑपरेटर मानदंड]] में समान रूप से बंधा हुआ है)।
 </ol>

Anonymous

Search

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

Namespaces

More

Page actions