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

From Vigyanwiki
Revision as of 15:35, 30 June 2023 by alpha>Indicwiki (Created page with "{{Short description|Linear transformation between topological vector spaces}} {{Distinguish|text=bounded function (set theory)}} कार्यात्मक वि...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

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

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

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

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

प्रत्येक बाउंडेड ऑपरेटर लिप्सचिट्ज़ निरंतरता पर है


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

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

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.

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

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

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

टीवीएस के बीच प्रत्येक क्रमिक रूप से निरंतर रैखिक ऑपरेटर एक बाध्य ऑपरेटर है।[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.

Template:BoundednessAndBornology