परिबद्ध संचालिका: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 9: Line 9:
एक परिबद्ध रैखिक ऑपरेटर की अवधारणा को मानक स्थानों से लेकर सभी टोपोलॉजिकल वेक्टर स्थानों तक विस्तारित किया गया है।
एक परिबद्ध रैखिक ऑपरेटर की अवधारणा को मानक स्थानों से लेकर सभी टोपोलॉजिकल वेक्टर स्थानों तक विस्तारित किया गया है।


कार्यात्मक विश्लेषण के बाहर, जब एक फ़ंक्शन <math>f : X \to Y</math> को "बाउंडेड" कहा जाता है तो इसका सामान्यतः अर्थ होता है कि इसकी छवि <math>f(X)</math> इसके कोडोमेन का एक बाउंडेड उपसमुच्चय है। एक रेखीय मानचित्र में यह गुण केवल तभी होता है जब यह समान रूप से हो <math>0.</math> परिणाम स्वरुप कार्यात्मक विश्लेषण में, जब एक रैखिक ऑपरेटर को "परिबद्ध" कहा जाता है तो इसका अर्थ इस अमूर्त अर्थ में (एक परिबद्ध छवि होने का) कभी नहीं होता है
कार्यात्मक विश्लेषण के बाहर, जब एक फ़ंक्शन <math>f : X \to Y</math> को "बाउंडेड" कहा जाता है तो इसका सामान्यतः अर्थ होता है कि इसकी छवि <math>f(X)</math> इसके कोडोमेन का एक बाउंडेड उपसमुच्चय है। एक रेखीय मानचित्र में यह गुण केवल तभी होता है जब यह समान रूप से हो <math>0.</math> परिणाम स्वरुप कार्यात्मक विश्लेषण में, जब एक रैखिक ऑपरेटर को "परिबद्ध" कहा जाता है तो इसका अर्थ इस अमूर्त अर्थ में (एक परिबद्ध छवि होने का) कभी नहीं होता है


==मानक सदिश स्थानों में==
==मानक सदिश स्थानों में==
Line 38: Line 38:
===निरंतरता और सीमा===
===निरंतरता और सीमा===


टीवीएस के बीच प्रत्येक [[क्रमिक रूप से निरंतर]] रैखिक ऑपरेटर एक बाध्य ऑपरेटर है।{{sfn|Wilansky|2013|pp=47-50}} इसका तात्पर्य यह है कि मेट्रिज़ेबल टीवीएस के बीच प्रत्येक सतत रैखिक ऑपरेटर परिबद्ध है। चूँकि, सामान्य रूप से दो टीवीएस के बीच एक बंधे हुए रैखिक ऑपरेटर को निरंतर होने की आवश्यकता नहीं है।
टीवीएस के बीच प्रत्येक [[क्रमिक रूप से निरंतर]] रैखिक ऑपरेटर एक बाध्य ऑपरेटर है।{{sfn|Wilansky|2013|pp=47-50}} इसका तात्पर्य यह है कि मेट्रिज़ेबल टीवीएस के बीच प्रत्येक सतत रैखिक ऑपरेटर परिबद्ध है। चूँकि, सामान्य रूप से दो टीवीएस के बीच एक बंधे हुए रैखिक ऑपरेटर को निरंतर होने की आवश्यकता नहीं है।


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


यदि डोमेन एक [[जन्मजात स्थान|बोर्नोलॉजिकल स्पेस]] है (उदाहरण के लिए, एक [[मेट्रिज़ेबल टोपोलॉजिकल वेक्टर स्पेस]], एक फ़्रेचेट स्पेस, एक मानकीकृत स्पेस) तो किसी भी अन्य स्थानीय रूप से उत्तल स्थानों में एक रैखिक ऑपरेटरों को बाध्य किया जाता है यदि और केवल यदि यह निरंतर है। एलएफ रिक्त स्थान के लिए, एक अशक्त कॉनवर्स धारण करता है; [[एलएफ स्पेस]] से कोई भी घिरा हुआ रैखिक मानचित्र क्रमिक रूप से निरंतर होता है।
यदि डोमेन एक [[जन्मजात स्थान|बोर्नोलॉजिकल स्पेस]] है (उदाहरण के लिए, एक [[मेट्रिज़ेबल टोपोलॉजिकल वेक्टर स्पेस]], एक फ़्रेचेट स्पेस, एक मानकीकृत स्पेस) तो किसी भी अन्य स्थानीय रूप से उत्तल स्थानों में एक रैखिक ऑपरेटरों को बाध्य किया जाता है यदि और केवल यदि यह निरंतर है। एलएफ रिक्त स्थान के लिए, एक अशक्त कॉनवर्स धारण करता है; [[एलएफ स्पेस]] से कोई भी घिरा हुआ रैखिक मानचित्र क्रमिक रूप से निरंतर होता है।


यदि <math>F : X \to Y</math> दो टोपोलॉजिकल वेक्टर स्थानों के बीच एक रैखिक ऑपरेटर है और यदि कोई निकट उपस्थित है <math>U</math> में उत्पत्ति का <math>X</math> ऐसा है कि <math>F(U)</math> का एक परिबद्ध उपसमुच्चय है <math>Y,</math> तब <math>F</math> सतत है.{{sfn|Narici|Beckenstein|2011|pp=156-175}} इस तथ्य को अधिकांशतः यह कहकर संक्षेप में प्रस्तुत किया जाता है कि एक रैखिक ऑपरेटर जो मूल के कुछ निकट पर घिरा हुआ है, आवश्यक रूप से निरंतर है। विशेष रूप से, कोई भी रैखिक कार्यात्मक जो मूल के कुछ निकट पर घिरा हुआ है, निरंतर है (यथार्त इसका डोमेन एक मानक स्थान नहीं है)।
यदि <math>F : X \to Y</math> दो टोपोलॉजिकल वेक्टर स्थानों के बीच एक रैखिक ऑपरेटर है और यदि कोई निकट उपस्थित है <math>U</math> में उत्पत्ति का <math>X</math> ऐसा है कि <math>F(U)</math> का एक परिबद्ध उपसमुच्चय है <math>Y,</math> तब <math>F</math> सतत है.{{sfn|Narici|Beckenstein|2011|pp=156-175}} इस तथ्य को अधिकांशतः यह कहकर संक्षेप में प्रस्तुत किया जाता है कि एक रैखिक ऑपरेटर जो मूल के कुछ निकट पर घिरा हुआ है, आवश्यक रूप से निरंतर है। विशेष रूप से, कोई भी रैखिक कार्यात्मक जो मूल के कुछ निकट पर घिरा हुआ है, निरंतर है (यथार्त इसका डोमेन एक मानक स्थान नहीं है)।


====बोर्नोलॉजिकल स्पेस====
====बोर्नोलॉजिकल स्पेस====
{{Main|बोर्नोलॉजिकल स्पेस}}
{{Main|बोर्नोलॉजिकल स्पेस}}


बोर्नोलॉजिकल स्पेस वास्तव में वे स्थानीय उत्तल स्थान हैं जिनके लिए प्रत्येक स्थानीय रूप से उत्तल स्थान में घिरा रैखिक ऑपरेटर आवश्यक रूप से निरंतर होता है।वह है, स्थानीय रूप से उत्तल टीवीएस <math>X</math> यदि और केवल प्रत्येक स्थानीय उत्तल टीवीएस के लिए यह एक बोर्नोलॉजिकल स्पेस <math>Y,</math>है एक रैखिक ऑपरेटर <math>F : X \to Y</math> सतत है यदि और केवल यदि यह परिबद्ध है।{{sfn|Narici|Beckenstein|2011|pp=441-457}}
बोर्नोलॉजिकल स्पेस वास्तव में वे स्थानीय उत्तल स्थान हैं जिनके लिए प्रत्येक स्थानीय रूप से उत्तल स्थान में घिरा रैखिक ऑपरेटर आवश्यक रूप से निरंतर होता है।वह है, स्थानीय रूप से उत्तल टीवीएस <math>X</math> यदि और केवल प्रत्येक स्थानीय उत्तल टीवीएस के लिए यह एक बोर्नोलॉजिकल स्पेस <math>Y,</math>है एक रैखिक ऑपरेटर <math>F : X \to Y</math> सतत है यदि और केवल यदि यह परिबद्ध है।{{sfn|Narici|Beckenstein|2011|pp=441-457}}


प्रत्येक मानक स्थान जन्मजात होता है।
प्रत्येक मानक स्थान जन्मजात होता है।
Line 55: Line 55:
===परिबद्ध रैखिक ऑपरेटरों की विशेषताएँ===
===परिबद्ध रैखिक ऑपरेटरों की विशेषताएँ===


माना <math>F : X \to Y</math> टोपोलॉजिकल वेक्टर स्पेस के बीच एक रैखिक ऑपरेटर बनें (जरूरी नहीं कि हॉसडॉर्फ)।
माना <math>F : X \to Y</math> टोपोलॉजिकल वेक्टर स्पेस के बीच एक रैखिक ऑपरेटर बनें (जरूरी नहीं कि हॉसडॉर्फ)।


निम्नलिखित समतुल्य हैं:
निम्नलिखित समतुल्य हैं:
Line 64: Line 64:
#* परिभाषा के अनुसार एक शून्य अनुक्रम एक अनुक्रम है जो मूल में परिवर्तित होता है।
#* परिभाषा के अनुसार एक शून्य अनुक्रम एक अनुक्रम है जो मूल में परिवर्तित होता है।
#* इस प्रकार कोई भी रैखिक मानचित्र जो मूल बिंदु पर क्रमिक रूप से निरंतर होता है, आवश्यक रूप से एक घिरा हुआ रैखिक मानचित्र होता है।
#* इस प्रकार कोई भी रैखिक मानचित्र जो मूल बिंदु पर क्रमिक रूप से निरंतर होता है, आवश्यक रूप से एक घिरा हुआ रैखिक मानचित्र होता है।
#<math>F</math> प्रत्येक मैके अभिसरण शून्य अनुक्रम को <math>Y.</math> एक सीमित उपसमुच्चय में मैप करता है <ref group="note">Proof: Assume for the sake of contradiction that <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> converges to <math>0</math> but <math>F\left(x_{\bull}\right) = \left(F\left(x_i\right)\right)_{i=1}^{\infty}</math> is not bounded in <math>Y.</math> Pick an open [[Balanced set|balanced]] neighborhood <math>V</math> of the origin in <math>Y</math> such that <math>V</math> does not absorb the sequence <math>F\left(x_{\bull}\right).</math> Replacing <math>x_{\bull}</math> with a subsequence if necessary, it may be assumed without loss of generality that <math>F\left(x_i\right) \not\in i^2 V</math> for every positive integer <math>i.</math> The sequence <math>z_{\bull} := \left(x_i/i\right)_{i=1}^{\infty}</math> is Mackey convergent to the origin (since <math>\left(i z_i\right)_{i=1}^{\infty} = \left(x_i\right)_{i=1}^{\infty} \to 0</math> is bounded in <math>X</math>) so by assumption, <math>F\left(z_{\bull}\right) = \left(F\left(z_i\right)\right)_{i=1}^{\infty}</math> is bounded in <math>Y.</math> So pick a real <math>r > 1</math> such that <math>F\left(z_i\right) \in r V</math> for every integer <math>i.</math> If <math>i > r</math> is an integer then since <math>V</math> is balanced, <math>F\left(x_i\right) \in r i V \subseteq i^2 V,</math> which is a contradiction. Q.E.D. This proof readily generalizes to give even stronger characterizations of "<math>F</math> is bounded." For example, the word "such that <math>\left(r_i x_i\right)_{i=1}^{\infty}</math> is a bounded subset of <math>X.</math>" in the definition of "Mackey convergent to the origin" can be replaced with "such that <math>\left(r_i x_i\right)_{i=1}^{\infty} \to 0</math> in <math>X.</math>"</ref><!---Old proof:<ref group=note>Proof if <math>Y</math> is locally convex: Assume for the sake of contradiction that <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> converges to <math>0</math> but <math>F\left(x_{\bull}\right) = \left(F\left(x_i\right)\right)_{i=1}^{\infty}</math> is not bounded in <math>Y.</math> Then there exists a continuous seminorm <math>p</math> on <math>Y</math> such that <math>p\left(F\left(x_{\bull}\right)\right) = \left(p\left(F\left(x_i\right)\right)\right)_{i=1}^{\infty}</math> is unbounded. Let <math>r_i = \sqrt{p\left(x_i\right)}</math> for every <math>i</math> where by going to a subsequence, it can be assumed without loss of generality that <math>r_i > 0</math> for all <math>i</math> and also <math>r_i \to \infty.</math> Then <math>\left(x_i/r_i\right)_{i=1}^{\infty}</math> Mackey convergent to the origin but its image under <math>F</math> is not bounded in <math>Y.</math> <math>\blacksquare</math></ref> End: old proof --->
#<math>F</math> प्रत्येक मैके अभिसरण शून्य अनुक्रम को <math>Y.</math> एक सीमित उपसमुच्चय में मैप करता है <ref group="note">Proof: Assume for the sake of contradiction that <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> converges to <math>0</math> but <math>F\left(x_{\bull}\right) = \left(F\left(x_i\right)\right)_{i=1}^{\infty}</math> is not bounded in <math>Y.</math> Pick an open [[Balanced set|balanced]] neighborhood <math>V</math> of the origin in <math>Y</math> such that <math>V</math> does not absorb the sequence <math>F\left(x_{\bull}\right).</math> Replacing <math>x_{\bull}</math> with a subsequence if necessary, it may be assumed without loss of generality that <math>F\left(x_i\right) \not\in i^2 V</math> for every positive integer <math>i.</math> The sequence <math>z_{\bull} := \left(x_i/i\right)_{i=1}^{\infty}</math> is Mackey convergent to the origin (since <math>\left(i z_i\right)_{i=1}^{\infty} = \left(x_i\right)_{i=1}^{\infty} \to 0</math> is bounded in <math>X</math>) so by assumption, <math>F\left(z_{\bull}\right) = \left(F\left(z_i\right)\right)_{i=1}^{\infty}</math> is bounded in <math>Y.</math> So pick a real <math>r > 1</math> such that <math>F\left(z_i\right) \in r V</math> for every integer <math>i.</math> If <math>i > r</math> is an integer then since <math>V</math> is balanced, <math>F\left(x_i\right) \in r i V \subseteq i^2 V,</math> which is a contradiction. Q.E.D. This proof readily generalizes to give even stronger characterizations of "<math>F</math> is bounded." For example, the word "such that <math>\left(r_i x_i\right)_{i=1}^{\infty}</math> is a bounded subset of <math>X.</math>" in the definition of "Mackey convergent to the origin" can be replaced with "such that <math>\left(r_i x_i\right)_{i=1}^{\infty} \to 0</math> in <math>X.</math>"</ref>
#*एक अनुक्रम <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> को <math>X</math> में मूल के साथ अभिसरण मैके कहा जाता है यदि सकारात्मक वास्तविक संख्या का एक भिन्न अनुक्रम <math>r_{\bull} = \left(r_i\right)_{i=1}^{\infty} \to \infty</math> उपस्थित है जैसे कि <math>r_{\bull} = \left(r_i x_i\right)_{i=1}^{\infty}</math> <math>X.</math> का एक घिरा उपसमुच्चय है।
#*एक अनुक्रम <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> को <math>X</math> में मूल के साथ अभिसरण मैके कहा जाता है यदि सकारात्मक वास्तविक संख्या का एक भिन्न अनुक्रम <math>r_{\bull} = \left(r_i\right)_{i=1}^{\infty} \to \infty</math> उपस्थित है जैसे कि <math>r_{\bull} = \left(r_i x_i\right)_{i=1}^{\infty}</math> <math>X.</math> का एक घिरा उपसमुच्चय है।
#*
#*
Line 93: Line 93:
<li>[[लाप्लास ऑपरेटर]]
<li>[[लाप्लास ऑपरेटर]]
  <math display=block>\Delta : H^2(\R^n) \to L^2(\R^n) \,</math>
  <math display=block>\Delta : H^2(\R^n) \to L^2(\R^n) \,</math>
(फ़ंक्शन का इसका डोमेन एक [[ सोबोलेव स्थान ]] है और यह वर्ग-अभिन्न फ़ंक्शंस के स्पेस में मान लेता है) घिरा हुआ है।</li>
(फ़ंक्शन का इसका डोमेन एक [[ सोबोलेव स्थान |सोबोलेव स्थान]] है और यह वर्ग-अभिन्न फ़ंक्शंस के स्पेस में मान लेता है) घिरा हुआ है।</li>
<li>[[एलपी स्पेस]] पर [[शिफ्ट ऑपरेटर]] <math>\ell^2</math> सभी [[अनुक्रम]]ों का <math>\left(x_0, x_2, x_2, \ldots\right)</math> वास्तविक संख्याओं के साथ <math>x_0^2 + x_1^2 + x_2^2 + \cdots < \infty, \,</math>  
<li>[[एलपी स्पेस]] पर [[शिफ्ट ऑपरेटर]] <math>\ell^2</math> सभी [[अनुक्रम]]ों का <math>\left(x_0, x_2, x_2, \ldots\right)</math> वास्तविक संख्याओं के साथ <math>x_0^2 + x_1^2 + x_2^2 + \cdots < \infty, \,</math>  
<math display=block>L(x_0, x_1, x_2, \dots) = \left(0, x_0, x_1, x_2, \ldots\right) </math> घिरा है। इसका ऑपरेटर मानक आसानी से देखा जा सकता है <math>1.</math></li>
<math display=block>L(x_0, x_1, x_2, \dots) = \left(0, x_0, x_1, x_2, \ldots\right) </math> घिरा है। इसका ऑपरेटर मानक आसानी से देखा जा सकता है <math>1.</math></li>
Line 137: Line 137:
* {{springer|title=Bounded operator|id=p/b017420}}
* {{springer|title=Bounded operator|id=p/b017420}}
* Kreyszig, Erwin: ''Introductory Functional Analysis with Applications'', Wiley, 1989
* Kreyszig, Erwin: ''Introductory Functional Analysis with Applications'', Wiley, 1989
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
* {{Narici Beckenstein Topological Vector Spaces|edition=2}}
* {{Wilansky Modern Methods in Topological Vector Spaces}} <!-- {{sfn|Wilansky|2013|p=}} -->
* {{Wilansky Modern Methods in Topological Vector Spaces}}
 
{{Banach spaces}}
{{Functional Analysis}}
{{Functional Analysis}}
{{BoundednessAndBornology}}
[[Category: रैखिक संचालक]] [[Category: संचालिका सिद्धांत]] [[Category: सतत कार्यों का सिद्धांत]]  
[[Category: रैखिक संचालक]] [[Category: संचालिका सिद्धांत]] [[Category: सतत कार्यों का सिद्धांत]]  



Revision as of 12:55, 7 July 2023


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

ऐसे सबसे छोटे को का संचालिका मानदंड कहा जाता है और इसे द्वारा निरूपित किया जाता है। मानक स्थानों के बीच एक परिबद्ध संचालिका निरंतर होती है और इसके विपरीत है।

एक परिबद्ध रैखिक ऑपरेटर की अवधारणा को मानक स्थानों से लेकर सभी टोपोलॉजिकल वेक्टर स्थानों तक विस्तारित किया गया है।

कार्यात्मक विश्लेषण के बाहर, जब एक फ़ंक्शन को "बाउंडेड" कहा जाता है तो इसका सामान्यतः अर्थ होता है कि इसकी छवि इसके कोडोमेन का एक बाउंडेड उपसमुच्चय है। एक रेखीय मानचित्र में यह गुण केवल तभी होता है जब यह समान रूप से हो परिणाम स्वरुप कार्यात्मक विश्लेषण में, जब एक रैखिक ऑपरेटर को "परिबद्ध" कहा जाता है तो इसका अर्थ इस अमूर्त अर्थ में (एक परिबद्ध छवि होने का) कभी नहीं होता है

मानक सदिश स्थानों में

प्रत्येक परिबद्ध संचालिका पर निरंतर लिप्सचिट्ज़ है।


सीमा और निरंतरता की समानता

मानक स्थानों के बीच एक रैखिक ऑपरेटर परिबद्ध है यदि और केवल यदि यह सतत रैखिक ऑपरेटर है।

Proof

Suppose that is bounded. Then, for all vectors with nonzero we have

Letting go to zero shows that is continuous at Moreover, since the constant does not depend on this shows that in fact is uniformly continuous, and even Lipschitz continuous.

Conversely, it follows from the continuity at the zero vector that there exists a such that for all vectors with Thus, for all non-zero one has

This proves that is bounded. Q.E.D.

टोपोलॉजिकल वेक्टर स्पेस में

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

निरंतरता और सीमा

टीवीएस के बीच प्रत्येक क्रमिक रूप से निरंतर रैखिक ऑपरेटर एक बाध्य ऑपरेटर है।[1] इसका तात्पर्य यह है कि मेट्रिज़ेबल टीवीएस के बीच प्रत्येक सतत रैखिक ऑपरेटर परिबद्ध है। चूँकि, सामान्य रूप से दो टीवीएस के बीच एक बंधे हुए रैखिक ऑपरेटर को निरंतर होने की आवश्यकता नहीं है।

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

यदि डोमेन एक बोर्नोलॉजिकल स्पेस है (उदाहरण के लिए, एक मेट्रिज़ेबल टोपोलॉजिकल वेक्टर स्पेस, एक फ़्रेचेट स्पेस, एक मानकीकृत स्पेस) तो किसी भी अन्य स्थानीय रूप से उत्तल स्थानों में एक रैखिक ऑपरेटरों को बाध्य किया जाता है यदि और केवल यदि यह निरंतर है। एलएफ रिक्त स्थान के लिए, एक अशक्त कॉनवर्स धारण करता है; एलएफ स्पेस से कोई भी घिरा हुआ रैखिक मानचित्र क्रमिक रूप से निरंतर होता है।

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

बोर्नोलॉजिकल स्पेस

बोर्नोलॉजिकल स्पेस वास्तव में वे स्थानीय उत्तल स्थान हैं जिनके लिए प्रत्येक स्थानीय रूप से उत्तल स्थान में घिरा रैखिक ऑपरेटर आवश्यक रूप से निरंतर होता है।वह है, स्थानीय रूप से उत्तल टीवीएस यदि और केवल प्रत्येक स्थानीय उत्तल टीवीएस के लिए यह एक बोर्नोलॉजिकल स्पेस है एक रैखिक ऑपरेटर सतत है यदि और केवल यदि यह परिबद्ध है।[3]

प्रत्येक मानक स्थान जन्मजात होता है।

परिबद्ध रैखिक ऑपरेटरों की विशेषताएँ

माना टोपोलॉजिकल वेक्टर स्पेस के बीच एक रैखिक ऑपरेटर बनें (जरूरी नहीं कि हॉसडॉर्फ)।

निम्नलिखित समतुल्य हैं:

  1. (स्थानीय रूप से) घिरा हुआ है;[3]
  2. (परिभाषा): इसके डोमेन के परिबद्ध उपसमुच्चय को इसके कोडोमेन के परिबद्ध उपसमुच्चय से मानचित्रित करता है;[3]
  3. किसी फ़ंक्शन की छवि के परिबद्ध उपसमुच्चय को उसके डोमेन के परिबद्ध उपसमुच्चय से मैप करता है [3]
  4. प्रत्येक अशक्त अनुक्रम को एक बंधे हुए अनुक्रम में मैप करता है;[3]
    • परिभाषा के अनुसार एक शून्य अनुक्रम एक अनुक्रम है जो मूल में परिवर्तित होता है।
    • इस प्रकार कोई भी रैखिक मानचित्र जो मूल बिंदु पर क्रमिक रूप से निरंतर होता है, आवश्यक रूप से एक घिरा हुआ रैखिक मानचित्र होता है।
  5. प्रत्येक मैके अभिसरण शून्य अनुक्रम को एक सीमित उपसमुच्चय में मैप करता है [note 1]
    • एक अनुक्रम को में मूल के साथ अभिसरण मैके कहा जाता है यदि सकारात्मक वास्तविक संख्या का एक भिन्न अनुक्रम उपस्थित है जैसे कि का एक घिरा उपसमुच्चय है।

यदि और स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस हैं तो निम्नलिखित को इस सूची में जोड़ा जा सकता है:

    <ली> मानचित्र बाउंडेड बिल्कुल उत्तल बाउंडेड डिस्क में सेट।[4]<ली> मानचित्र जन्माहारी समुच्चय डिस्क को सेट किया बोर्निवोरस डिस्क में [4]

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

    <ली> अपने डोमेन के एक बिंदु पर (या समकक्ष, प्रत्येक पर) अनुक्रमिक निरंतरता है।[5]
    • दो टीवीएस के बीच अनुक्रमिक निरंतरता रेखीय मानचित्र हमेशा परिबद्ध होता है,[1] लेकिन इसके विपरीत को धारण करने के लिए अतिरिक्त धारणाओं की आवश्यकता होती है (जैसे कि डोमेन का जन्मजात होना और कोडोमेन का स्थानीय रूप से उत्तल होना)।
    • यदि डोमेन तो, यह भी एक अनुक्रमिक स्थान है अनुक्रमिक निरंतरता है यदि और केवल यदि यह निरंतर है।
    <ली> एक बिंदु पर अनुक्रमिक निरंतरता है।

उदाहरण

  • दो परिमित-आयामी मानक स्थानों के बीच कोई भी रैखिक ऑपरेटर घिरा हुआ है, और ऐसे ऑपरेटर को कुछ निश्चित मैट्रिक्स (गणित) द्वारा गुणा के रूप में देखा जा सकता है।
  • परिमित-आयामी मानक स्थान पर परिभाषित कोई भी रैखिक ऑपरेटर परिबद्ध है।
  • अनुक्रम स्थान पर वास्तविक संख्याओं के अंततः शून्य अनुक्रमों पर विचार किया गया मानदंड, वास्तविक संख्याओं का रैखिक ऑपरेटर जो किसी अनुक्रम का योग लौटाता है, ऑपरेटर मानक 1 के साथ परिबद्ध होता है। यदि समान स्थान को इसके साथ माना जाता है मानक, वही ऑपरेटर बाध्य नहीं है।
  • कई अभिन्न परिवर्तन परिबद्ध रैखिक ऑपरेटर हैं। उदाहरण के लिए, यदि
    एक सतत कार्य है, फिर ऑपरेटर अंतरिक्ष पर परिभाषित निरंतर कार्यों का समान मानदंड और अंतरिक्ष में मूल्यों से संपन्न साथ सूत्र द्वारा दिया गया है
    घिरा है। यह ऑपरेटर वास्तव में एक कॉम्पैक्ट ऑपरेटर है। कॉम्पैक्ट ऑपरेटर, बाउंडेड ऑपरेटरों का एक महत्वपूर्ण वर्ग बनाते हैं।
  • लाप्लास ऑपरेटर
    (फ़ंक्शन का इसका डोमेन एक सोबोलेव स्थान है और यह वर्ग-अभिन्न फ़ंक्शंस के स्पेस में मान लेता है) घिरा हुआ है।
  • एलपी स्पेस पर शिफ्ट ऑपरेटर सभी अनुक्रमों का वास्तविक संख्याओं के साथ
    घिरा है। इसका ऑपरेटर मानक आसानी से देखा जा सकता है

असंबद्ध रैखिक ऑपरेटर

होने देना सभी त्रिकोणमितीय बहुपदों का स्थान हो आदर्श के साथ

परिचालक जो एक बहुपद को उसके व्युत्पन्न से मैप करता है, वह परिबद्ध नहीं है। वास्तव में, के लिए साथ अपने पास जबकि जैसा इसलिए बाध्य नहीं है.

परिबद्ध रैखिक ऑपरेटरों के स्थान के गुण

  • से सभी परिबद्ध रैखिक ऑपरेटरों का स्थान को द्वारा निरूपित किया जाता है और एक मानक सदिश समष्टि है।
  • यदि बनच है, तो वैसा है
  • जिससे यह निष्कर्ष निकलता है कि दोहरे स्थान बनच हैं।
  • किसी के लिए का कर्नेल का एक बंद रैखिक उपस्थान है
  • यदि बनच है और तो यह गैर-तुच्छ है बानाच है.

यह भी देखें

संदर्भ

  1. Proof: Assume for the sake of contradiction that converges to but is not bounded in Pick an open balanced neighborhood of the origin in such that does not absorb the sequence Replacing with a subsequence if necessary, it may be assumed without loss of generality that for every positive integer The sequence is Mackey convergent to the origin (since is bounded in ) so by assumption, is bounded in So pick a real such that for every integer If is an integer then since is balanced, which is a contradiction. Q.E.D. This proof readily generalizes to give even stronger characterizations of " is bounded." For example, the word "such that is a bounded subset of " in the definition of "Mackey convergent to the origin" can be replaced with "such that in "
  1. 1.0 1.1 Wilansky 2013, pp. 47–50.
  2. Narici & Beckenstein 2011, pp. 156–175.
  3. 3.0 3.1 3.2 3.3 3.4 Narici & Beckenstein 2011, pp. 441–457.
  4. 4.0 4.1 Narici & Beckenstein 2011, p. 444.
  5. Narici & Beckenstein 2011, pp. 451–457.


ग्रन्थसूची

  • "Bounded operator", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  • Kreyszig, Erwin: Introductory Functional Analysis with Applications, Wiley, 1989
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.