View source for परिबद्ध संचालिका

{{Short description|Linear transformation between topological vector spaces}}
{{Distinguish|text=[[bounded function]] (set theory)}}

[[कार्यात्मक विश्लेषण]] और [[ऑपरेटर सिद्धांत]] में, एक परिबद्ध रैखिक ऑपरेटर एक [[रैखिक परिवर्तन]] है <math>L : X \to Y</math> [[टोपोलॉजिकल वेक्टर स्पेस]] (टीवीएस) के बीच <math>X</math> और <math>Y</math> वह बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) के सबसेट को मैप करता है <math>X</math> के परिबद्ध उपसमुच्चय तक <math>Y.</math> अगर <math>X</math> और <math>Y</math> तो फिर, ये [[मानकीकृत सदिश स्थान]] (एक विशेष प्रकार का टीवीएस) हैं <math>L</math> सीमाबद्ध है यदि और केवल यदि कुछ अस्तित्व में है <math>M > 0</math> ऐसा कि सभी के लिए <math>x \in X,</math>
<math display=block>\|Lx\|_Y \leq M \|x\|_X.</math>
सबसे छोटा ऐसा <math>M</math> का [[ऑपरेटर मानदंड]] कहा जाता है <math>L</math> और द्वारा निरूपित किया गया <math>\|L\|.</math> मानक स्थानों के बीच एक परिबद्ध ऑपरेटर [[सतत रैखिक ऑपरेटर]] है और इसके विपरीत।

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

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

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

प्रत्येक बाउंडेड ऑपरेटर [[लिप्सचिट्ज़ निरंतरता]] पर है <math>0.</math>


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

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

{{math proof|title=Proof|proof=
Suppose that <math>L</math> is bounded. Then, for all vectors <math>x, h \in X</math> with <math>h</math> nonzero we have
<math display=block>\|L(x + h) - L(x)\| = \|L(h)\| \leq M\|h\|.</math>
Letting <math>h </math> go to zero shows that <math>L</math> is continuous at <math>x.</math> 
Moreover, since the constant <math>M</math> does not depend on <math>x,</math> this shows that in fact <math>L</math> is [[Uniform continuity|uniformly continuous]], and even [[Lipschitz continuous]].

Conversely, it follows from the continuity at the zero vector that there exists a <math>\delta > 0</math> such that <math>\|L(h)\| = \|L(h) - L(0)\| \leq 1</math> for all vectors <math>h \in X</math> with <math>\|h\| \leq \delta.</math> 
Thus, for all non-zero <math>x \in X,</math> one has
<math display=block>\|Lx\| = \left\Vert {\|x\| \over \delta} L\left(\delta {x \over \|x\|}\right) \right\Vert = {\|x\| \over \delta}\left\Vert L\left(\delta {x \over \|x\|}\right) \right\Vert \leq {\|x\| \over \delta} \cdot 1  = {1 \over \delta}\|x\|.</math>
This proves that <math>L</math> is bounded. [[Q.E.D.]]
}}

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

एक रैखिक संचालिका <math>F : X \to Y</math> दो टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) के बीच को कहा जाता है{{em|bounded linear operator}} या केवल{{em|bounded}}अगर जब भी <math>B \subseteq X</math> में बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) है <math>X</math> तब <math>F(B)</math> में घिरा हुआ है <math>Y.</math> टीवीएस के एक उपसमुच्चय को बाउंडेड (या अधिक सटीक रूप से, बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस)) कहा जाता है यदि मूल अवशोषण का प्रत्येक पड़ोस इसे सेट करता है।
एक मानक स्थान में (और यहां तक कि एक अर्ध-मानक स्थान में भी), एक उपसमुच्चय वॉन न्यूमैन से घिरा होता है यदि और केवल तभी जब यह मानक से घिरा हो।
इसलिए, मानक स्थानों के लिए, वॉन न्यूमैन बाउंडेड सेट की धारणा मानक-बाउंडेड उपसमुच्चय की सामान्य धारणा के समान है।

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

टीवीएस के बीच प्रत्येक [[क्रमिक रूप से निरंतर]] रैखिक ऑपरेटर एक बाध्य ऑपरेटर है।{{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}}
इस तथ्य को अक्सर यह कहकर संक्षेप में प्रस्तुत किया जाता है कि एक रैखिक ऑपरेटर जो मूल के कुछ पड़ोस पर घिरा हुआ है, आवश्यक रूप से निरंतर है।
विशेष रूप से, कोई भी रैखिक कार्यात्मक जो मूल के कुछ पड़ोस पर घिरा हुआ है, निरंतर है (भले ही इसका डोमेन एक मानक स्थान नहीं है)।

====जन्मजात स्थान====
{{Main|Bornological space}}

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

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

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

होने देना <math>F : X \to Y</math> टोपोलॉजिकल वेक्टर स्पेस के बीच एक रैखिक ऑपरेटर बनें (जरूरी नहीं कि हॉसडॉर्फ)।
निम्नलिखित समतुल्य हैं:
#<math>F</math> (स्थानीय रूप से) घिरा हुआ है;{{sfn|Narici|Beckenstein|2011|pp=441-457}}
#(परिभाषा): <math>F</math> इसके डोमेन के परिबद्ध उपसमुच्चय को इसके कोडोमेन के परिबद्ध उपसमुच्चय से मानचित्रित करता है;{{sfn|Narici|Beckenstein|2011|pp=441-457}}
#<math>F</math> किसी फ़ंक्शन की छवि के परिबद्ध उपसमुच्चय को उसके डोमेन के परिबद्ध उपसमुच्चय से मैप करता है <math>\operatorname{Im} F := F(X)</math>;{{sfn|Narici|Beckenstein|2011|pp=441-457}}
#<math>F</math> प्रत्येक अशक्त अनुक्रम को एक बंधे हुए अनुक्रम में मैप करता है;{{sfn|Narici |Beckenstein| 2011|pp=441-457}}
#* परिभाषा के अनुसार एक शून्य अनुक्रम एक अनुक्रम है जो मूल में परिवर्तित होता है।
#* इस प्रकार कोई भी रैखिक मानचित्र जो मूल बिंदु पर क्रमिक रूप से निरंतर होता है, आवश्यक रूप से एक घिरा हुआ रैखिक मानचित्र होता है।
#<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>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</math> और <math>Y</math> [[स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस]] हैं तो निम्नलिखित को इस सूची में जोड़ा जा सकता है:
<ol प्रारंभ=6>
<ली><math>F</math> मानचित्र बाउंडेड बिल्कुल उत्तल बाउंडेड डिस्क में सेट।{{sfn|Narici|Beckenstein|2011|p=444}}</li>
<ली><math>F^{-1}</math> मानचित्र [[जन्माहारी समुच्चय]] डिस्क को सेट किया <math>Y</math> बोर्निवोरस डिस्क में <math>X.</math>{{sfn|Narici|Beckenstein|2011|p=444}}</li>
</ol>

अगर <math>X</math> एक जन्मजात स्थान है और <math>Y</math> स्थानीय रूप से उत्तल है तो निम्नलिखित को इस सूची में जोड़ा जा सकता है:
<ol प्रारंभ=8>
<ली><math>F</math> अपने डोमेन के एक बिंदु पर (या समकक्ष, प्रत्येक पर) अनुक्रमिक निरंतरता है।{{sfn|Narici|Beckenstein|2011|pp=451-457}}
* दो टीवीएस के बीच [[अनुक्रमिक निरंतरता]] रेखीय मानचित्र हमेशा परिबद्ध होता है,{{sfn|Wilansky|2013|pp=47-50}} लेकिन इसके विपरीत को धारण करने के लिए अतिरिक्त धारणाओं की आवश्यकता होती है (जैसे कि डोमेन का जन्मजात होना और कोडोमेन का स्थानीय रूप से उत्तल होना)।
* यदि डोमेन <math>X</math> तो, यह भी एक [[अनुक्रमिक स्थान]] है <math>F</math> अनुक्रमिक निरंतरता है यदि और केवल यदि यह निरंतर है।</li>
<ली><math>F</math> एक बिंदु पर अनुक्रमिक निरंतरता है।</li>
</ol>

==उदाहरण==

<ul>
<li>दो परिमित-आयामी मानक स्थानों के बीच कोई भी रैखिक ऑपरेटर घिरा हुआ है, और ऐसे ऑपरेटर को कुछ निश्चित [[मैट्रिक्स (गणित)]] द्वारा गुणा के रूप में देखा जा सकता है।</li>
<li>परिमित-आयामी मानक स्थान पर परिभाषित कोई भी रैखिक ऑपरेटर परिबद्ध है।</li>
<li>[[अनुक्रम स्थान]] पर <math>c_{00}</math> वास्तविक संख्याओं के अंततः शून्य अनुक्रमों पर विचार किया गया <math>\ell^1</math> मानदंड, वास्तविक संख्याओं का रैखिक ऑपरेटर जो किसी अनुक्रम का योग लौटाता है, ऑपरेटर मानक 1 के साथ परिबद्ध होता है। यदि समान स्थान को इसके साथ माना जाता है <math>\ell^{\infty}</math> मानक, वही ऑपरेटर बाध्य नहीं है।</li>
<li>कई [[अभिन्न परिवर्तन]] परिबद्ध रैखिक ऑपरेटर हैं। उदाहरण के लिए, यदि
 <math display=block>K : [a, b] \times [c, d] \to \R</math>
एक सतत कार्य है, फिर ऑपरेटर <math>L</math> अंतरिक्ष पर परिभाषित <math>C[a, b]</math> निरंतर कार्यों का <math>[a, b]</math> समान मानदंड और अंतरिक्ष में मूल्यों से संपन्न <math>C[c, d]</math> साथ <math>L</math> सूत्र द्वारा दिया गया है
<math display=block>(Lf)(y) = \int_a^b\!K(x, y)f(x)\,dx, </math>
घिरा है। यह ऑपरेटर वास्तव में एक [[कॉम्पैक्ट ऑपरेटर]] है। कॉम्पैक्ट ऑपरेटर, बाउंडेड ऑपरेटरों का एक महत्वपूर्ण वर्ग बनाते हैं।</li>
<li>[[लाप्लास ऑपरेटर]]
 <math display=block>\Delta : H^2(\R^n) \to L^2(\R^n) \,</math>
(फ़ंक्शन का इसका डोमेन एक [[ सोबोलेव स्थान ]] है और यह वर्ग-अभिन्न फ़ंक्शंस के स्पेस में मान लेता है) घिरा हुआ है।</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> 
<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>
</ul>

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

होने देना <math>X</math> सभी [[त्रिकोणमितीय बहुपद]]ों का स्थान हो <math>[-\pi, \pi],</math> आदर्श के साथ

 <math display=block>\|P\| = \int_{-\pi}^{\pi}\!|P(x)|\,dx.</math>
परिचालक <math>L : X \to X</math> जो एक बहुपद को उसके व्युत्पन्न से मैप करता है, वह परिबद्ध नहीं है। वास्तव में, के लिए <math>v_n = e^{i n x}</math> साथ <math>n = 1, 2, \ldots,</math> अपने पास <math>\|v_n\| = 2\pi,</math> जबकि <math>\|L(v_n)\| = 2 \pi n \to \infty</math> जैसा <math>n \to \infty,</math> इसलिए <math>L</math> बाध्य नहीं है.

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

* से सभी परिबद्ध रैखिक ऑपरेटरों का स्थान <math>X</math> को <math>Y</math> द्वारा निरूपित किया जाता है <math>B(X, Y)</math> और एक मानक सदिश समष्टि है।
* अगर <math>Y</math> बनच है, तो वैसा है <math>B(X, Y).</math>
*जिससे यह निष्कर्ष निकलता है कि दोहरे स्थान बनच हैं।
* किसी के लिए <math>A \in B(X, Y),</math> का कर्नेल <math>A</math> का एक बंद रैखिक उपस्थान है <math>X.</math>
* अगर <math>B(X, Y)</math> बनच है और <math>X</math> तो यह गैर-तुच्छ है <math>Y</math> बानाच है.

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

* {{annotated link|Bounded set (topological vector space)}}
* {{annotated link|Contraction (operator theory)}}
* {{annotated link|Discontinuous linear map}}
* {{annotated link|Continuous linear operator}}
* {{annotated link|Local boundedness}}
* {{annotated link|Norm (mathematics)}}
* {{annotated link|Operator algebra}}
* {{annotated link|Operator norm}}
* {{annotated link|Operator theory}}
* {{annotated link|Seminorm}}
* {{annotated link|Unbounded operator}}

==संदर्भ==

{{reflist|group=note}}
{{reflist}}


==ग्रन्थसूची==

* {{springer|title=Bounded operator|id=p/b017420}}
* Kreyszig, Erwin: ''Introductory Functional Analysis with Applications'', Wiley, 1989
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
* {{Wilansky Modern Methods in Topological Vector Spaces}} <!-- {{sfn|Wilansky|2013|p=}} -->

{{Banach spaces}}
{{Functional Analysis}}
{{BoundednessAndBornology}}
[[Category: रैखिक संचालक]] [[Category: संचालिका सिद्धांत]] [[Category: सतत कार्यों का सिद्धांत]] 



[[Category: Machine Translated Page]]
[[Category:Created On 30/06/2023]]