View source for ऑपरेटर मानदंड

{{Short description|Measure of the "size" of linear operators}}
गणित में, '''ऑपरेटर मानदंड''' प्रत्येक [[रैखिक ऑपरेटर|रैखिक ऑपरेटरों]]  के "आकार" को मापता है, प्रत्येक को एक [[वास्तविक संख्या]] निर्दिष्ट करके‚ जिसे उसका ऑपरेटर मानदंड कहा जाता है। औपचारिक रूप से, यह दो दिए गए मानक सदिश स्थानों के मध्य बंधे हुए रैखिक ऑपरेटरों के स्थान पर परिभाषित एक मानक है। अनौपचारिक रूप से, ऑपरेटर मानदंड <math>\|T\|</math> एक रेखीय मानचित्र का <math>T : X \to Y</math> वह अधिकतम कारक है जिसके द्वारा यह सदिशों को "लंबा" करता है।

==परिचय एवं परिभाषा==

दो मानक सदिश स्थान दिए गए हैं <math>V</math> और <math>W</math> (उसी आधार क्षेत्र  पर, या तब वास्तविक संख्याएँ <math>\R</math> या सम्मिश्र संख्याएँ <math>\Complex</math>), एक [[रेखीय मानचित्र]] <math>A : V \to W</math> सतत है यदि और केवल तभी जब कोई वास्तविक संख्या उपस्तिथ हो <math>c</math> इस प्रकार है कि<ref>{{Citation|last1=Kreyszig|first1=Erwin|title=Introductory functional analysis with applications|publisher=John Wiley & Sons|year=1978|isbn=9971-51-381-1|page=97}}</ref>
<math display="block">\|Av\| \leq c \|v\| \quad \mbox{ for all } v\in V.</math>
बायीं ओर का मानक अंदर वाला है <math>W</math> और दाहिनी ओर का मानदंड अंदर वाला है।

<math>V</math> सहज रूप से, सतत संचालक <math>A</math> कभी भी किसी सदिश की लंबाई को एक गुणनखंड से अधिक नहीं बढ़ाता है <math>c</math> इस प्रकार एक सतत ऑपरेटर के अनुसार  एक परिबद्ध समूह की [[छवि (गणित)]] भी परिबद्ध है। इस गुण के कारण, सतत रैखिक ऑपरेटरों को परिबद्ध ऑपरेटरों के रूप में भी जाना जाता है।

<math>A,</math> कोई अधिकतम संख्या ले सकता है <math>c</math> इस प्रकार कि उपरोक्त असमानता सभी पर प्रयुक्त होती है <math>v \in V.</math> यह संख्या अधिकतम अदिश गुणनखंड को दर्शाती है <math>A</math> सदिशों को लंबा करता है।

दूसरे शब्दों में, का "आकार"<math>A</math> इसे इस बात से मापा जाता है कि यह सबसे बड़े स्थितियों में वैक्टर को कितना "लंबा" करता है। तब हम ऑपरेटर मानदंड को परिभाषित करते हैं <math>A</math> जैसा
<math display="block">\|A\|_{op} = \inf\{ c \geq 0 : \|Av\| \leq c \|v\| \mbox{ for all } v \in V \}.</math>
ऐसे सभी के समुच्चय के रूप में अनंत को प्राप्त किया जाता है <math>c</math> नीचे से [[बंद सेट|बंद समूह]], [[खाली सेट|खाली समूह]] और [[बंधा हुआ सेट|बंधा हुआ समूह]] है।<ref>See e.g. Lemma 6.2 of {{harvtxt|Aliprantis|Border|2007}}.</ref>

यह ध्यान रखना महत्वपूर्ण है कि यह ऑपरेटर मानदंड मानक सदिश रिक्त स्थान के लिए मानदंडों की पसंद पर निर्भर करता है <math>V</math> और <math>W</math>.

== उदाहरण ==

हर वास्तविक <math>m</math>-द्वारा-<math>n</math> [[मैट्रिक्स (गणित)|आव्युह (गणित)]] से एक रेखीय मानचित्र से मेल खाती है <math>\R^n</math> को <math>\R^m.</math> वास्तविक सदिश स्थानों पर प्रयुक्त (सदिश) मानदंड (गणित) की बहुतायत की यह जोड़ी सभी के लिए एक ऑपरेटर मानदंड उत्पन्न करती है <math>m</math>-द्वारा-<math>n</math> वास्तविक संख्याओं के आव्यूह; यह प्रेरित मानदंड [[मैट्रिक्स मानदंड|आव्युह मानदंडों]] का एक उपसमूह बनाते हैं।

यदि हम विशेष रूप से दोनों पर [[यूक्लिडियन मानदंड]] चुनते हैं <math>\R^n</math> और <math>\R^m,</math> फिर आव्युह को दिया गया आव्युह मानदंड <math>A</math> आव्युह के सबसे बड़े [[eigenvalue|आइगेनवैल्यू]] का [[वर्गमूल]] है <math>A^{*} A</math> (कहाँ <math>A^{*}</math> के संयुग्म स्थानान्तरण को दर्शाता है <math>A</math>).<ref>{{Cite web|url=https://mathworld.wolfram.com/OperatorNorm.html|title=ऑपरेटर नॉर्म|last=Weisstein|first=Eric W.|authorlink = Eric W. Weisstein|website=mathworld.wolfram.com|language=en|access-date=2020-03-14}}</ref> यह का सबसे बड़ा एकवचन मान निर्दिष्ट करने के सामान्तर है <math>A.</math>

एक विशिष्ट अनंत-आयामी उदाहरण से गुजरते हुए, [[अनुक्रम स्थान]] पर विचार करें <math>\ell^2,</math> जो कि एक एलपी स्पेस है। जिसे एल<sup>पी</sup>स्पेस, द्वारा परिभाषित किया गया है
<math display="block">l^2 = \left\{ \left(a_n\right)_{n \geq 1} : \; a_n \in \Complex, \; \sum_n |a_n|^2 < \infty \right\}.</math>
इसे यूक्लिडियन अंतरिक्ष के अनंत-आयामी एनालॉग के रूप में देखा जा सकता है <math>\Complex^n.</math> अभी एक बंधे हुए अनुक्रम पर विचार करें <math>s_{\bull} = \left(s_n\right)_{n=1}^{\infty}.</math> क्रम <math>s_{\bull}</math> अंतरिक्ष का एक तत्व है <math>\ell^{\infty},</math> द्वारा दिए गए एक मानदंड के साथ
<math display="block">\left\|s_{\bull}\right\|_{\infty} = \sup _n \left|s_n\right|.</math>
एक ऑपरेटर को परिभाषित करें <math>T_s</math> बिंदुवार गुणन द्वारा:
<math display="block">\left(a_n\right)_{n=1}^{\infty} \;\stackrel{T_s}{\mapsto}\;\ \left(s_n \cdot a_n\right)_{n=1}^{\infty}.</math>
परिचालक <math>T_s</math> ऑपरेटर मानदंड से बंधा हुआ है
<math display="block">\left\|T_s\right\|_{op} = \left\|s_{\bull}\right\|_{\infty}.</math>
यह चर्चा सीधे उस स्थितियों तक फैली हुई है <math>\ell^2</math> एक जनरल द्वारा प्रतिस्थापित किया जाता है <math>L^p</math> अंतरिक्ष के साथ <math>p > 1</math> और <math>\ell^{\infty}</math> द्वारा प्रतिस्थापित <math>L^{\infty}.</math>
==समतुल्य परिभाषाएँ==

होने देना <math>A : V \to W</math> मानक स्थानों के मध्य एक रैखिक ऑपरेटर बनें। पहली चार परिभाषाएँ सदैव समतुल्य होती हैं, और यदि इसके अतिरिक्त भी हों <math>V \neq \{0\}</math> तब वह सभी समतुल्य हैं:
:<math>
\begin{alignat}{4}
\|A\|_{op} &= \inf &&\{ c \geq 0 ~&&:~ \| A v \| \leq c \| v \| ~&&~ \mbox{ for all } ~&&v \in V \} \\
&= \sup &&\{ \| Av \| ~&&:~ \| v \| \leq 1 ~&&~\mbox{ and } ~&&v \in V \} \\
&= \sup &&\{ \| Av \| ~&&:~ \| v \| < 1 ~&&~\mbox{ and } ~&&v \in V \} \\
&= \sup &&\{ \| Av \| ~&&:~ \| v \| \in \{0,1\}  ~&&~\mbox{ and } ~&&v \in V \} \\
&= \sup &&\{ \| Av \| ~&&:~ \| v \| = 1 ~&&~\mbox{ and } ~&&v \in V \}  \;\;\;\text{ this equality holds if and only if } V \neq \{ 0 \} \\
&= \sup &&\bigg\{ \frac{\| Av \|}{\| v \|} ~&&:~ v \ne 0 ~&&~\mbox{ and } ~&&v \in V \bigg\}  \;\;\;\text{ this equality holds if and only if } V \neq \{ 0 \}. \\
\end{alignat}
</math>
यदि <math>V = \{0\}</math> तब [[अंतिम]] दो पंक्तियों में समूह खाली हो जाएंगे, और परिणामस्वरूप समूह पर उनका वर्चस्व हो जाएगा <math>[-\infty, \infty]</math> सदिश होगा <math>-\infty</math> के सही मान के अतिरिक्त  <math>0.</math> यदि समूह पर सर्वोच्च अधिकार ले लिया जाए <math>[0, \infty]</math> इसके अतिरिक्त , खाली समूह का सर्वोच्च है <math>0</math> और सूत्र किसी के लिए भी मान्य हैं <math>V.</math> महत्वपूर्ण रूप से, एक रैखिक ऑपरेटर <math>A : V \to W</math> सामान्यतः, इसके मानक को प्राप्त करने की गारंटी नहीं है <math>\|A\|_{op} = \sup \{\|A v\| : \|v\| \leq 1, v \in V\}</math> बंद यूनिट बॉल पर <math>\{v \in V : \|v\| \leq 1\},</math> इसका कारण है कि कोई सदिश उपस्तिथ नहीं हो सकता है <math>u \in V</math> आदर्श का <math>\|u\| \leq 1</math> ऐसा है कि <math>\|A\|_{op} = \|A u\|</math> (यदि ऐसा कोई सदिश उपस्तिथ है और यदि <math>A \neq 0,</math> तब <math>u</math> आवश्यक रूप से इकाई मानदंड होगा <math>\|u\| = 1</math>). आर.सी. जेम्स ने 1964 में जेम्स के प्रमेय को सिद्ध किया, जिसमें कहा गया है कि एक बानाच स्थान <math>V</math> [[प्रतिवर्ती स्थान]] है यदि और केवल यदि प्रत्येक परिबद्ध रैखिक क्रियाशील हो <math>f \in V^*</math> बंद यूनिट बॉल पर अपना [[दोहरा मानदंड]] प्राप्त करता है।{{sfn|Diestel|1984|p=6}}

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

यदि <math>A : V \to W</math> तब परिबद्ध है{{sfn|Rudin|1991|pp=92-115}}
<math display="block">\|A\|_{op} = \sup \left\{\left|w^*(A v)\right| : \|v\| \leq 1, \left\|w^*\right\| \leq 1 \text{ where } v \in V, w^* \in W^*\right\}</math>
और{{sfn|Rudin|1991|pp=92-115}}
  <math display="block">\|A\|_{op} = \left\|{}^tA\right\|_{op}</math>
कहाँ <math>{}^t A : W^* \to V^*</math> के एक रेखीय मानचित्र का स्थानान्तरण है <math>A : V \to W,</math> जो रैखिक ऑपरेटर द्वारा परिभाषित है <math>w^* \,\mapsto\, w^* \circ A.</math>
== गुण ==

ऑपरेटर मानदंड वास्तव में सभी परिबद्ध ऑपरेटरों के मध्य के स्थान पर एक मानक है <math>V</math> और <math>W</math>. इसका कारण यह है
<math display="block">\|A\|_{op} \geq 0 \mbox{ and } \|A\|_{op} = 0 \mbox{ if and only if } A = 0,</math><math display="block">\|aA\|_{op} = |a| \|A\|_{op} \mbox{ for every scalar } a ,</math><math display="block">\|A + B\|_{op} \leq \|A\|_{op} + \|B\|_{op}.</math>
निम्नलिखित असमानता परिभाषा का तत्काल परिणाम है:
<math display="block">\|Av\| \leq \|A\|_{op} \|v\| \ \mbox{ for every }\ v \in V.</math>
ऑपरेटर मानदंड ऑपरेटरों की संरचना, या गुणन के साथ भी संगत है: यदि <math>V</math>, <math>W</math> और <math>X</math> एक ही आधार क्षेत्र पर तीन मानक स्थान हैं, और <math>A : V \to W</math> और <math>B : W \to X</math> यदि दो परिबद्ध संकारक हैं, तब यह एक [[उप-गुणक मानदंड]] है, अर्थात:
<math display="block">\|BA\|_{op} \leq \|B\|_{op} \|A\|_{op}.</math>
बाउंडेड ऑपरेटरों के लिए <math>V</math>, इसका तात्पर्य यह है कि ऑपरेटर गुणन संयुक्त रूप से निरंतर है।

परिभाषा से यह पता चलता है कि यदि ऑपरेटरों का अनुक्रम ऑपरेटर मानदंड में परिवर्तित होता है, तब यह बंधे हुए समूहों पर समान रूप से परिवर्तित होता है।

== सामान्य ऑपरेटर मानदंडों की तालिका ==

डोमेन के लिए भिन्न-भिन्न मानदंड चुनकर, कंप्यूटिंग में उपयोग किया जाता है <math>\|Av\|</math>, और कोडोमेन, कंप्यूटिंग में उपयोग किया जाता है <math>\|v\|</math>, हम ऑपरेटर मानदंड के लिए भिन्न-भिन्न मान प्राप्त करते हैं। कुछ सामान्य ऑपरेटर मानदंडों की गणना करना आसान है, और अन्य [[ एनपी कठिन ]] हैं।

एनपी-हार्ड मानदंडों को छोड़कर, इन सभी मानदंडों की गणना की जा सकती है <math>N^2</math> संचालन (एक के लिए) <math>N \times N</math> आव्युह), के अपवाद के साथ <math>\ell_2 - \ell_2</math> मानक (जिसकी आवश्यकता है <math>N^3</math> त्रुटिहीन उत्तर के लिए संचालन, या यदि आप इसे पावर पुनरावृत्ति या [[लैंज़ोस एल्गोरिदम]] के साथ अनुमानित करते हैं तब कम)।

{| class="wikitable" style="text-align: center; width: 500px; height: 200px;"
|+ ऑपरेटर मानदंडों की संगणना <ref>section 4.3.1, [[Joel Tropp]]'s PhD thesis, [http://users.cms.caltech.edu/~jtropp/papers/Tro04-Topics-Sparse.pdf]</ref>
|-
! colspan="2" rowspan="2" scope="col" |
! colspan="3" scope="col" | सह-डोमेन
|-
! scope="col" | <math>\ell_1</math>
! scope="col" | <math>\ell_2</math>
! scope="col" | <math>\ell_\infty</math>
|-
! rowspan="3" scope="row" | कार्यक्षेत्र
! scope="row" | <math>\ell_1</math>
| अधिकतम <math>\ell_1</math> एक कॉलम का मानदंड || अधिकतम <math>\ell_2</math> एक कॉलम का मानदंड || अधिकतम <math>\ell_{\infty}</math> एक कॉलम का मानदंड
|-
! scope="row" | <math>\ell_2</math>
| एनपी कठिन || अधिकतम एकवचन मान || अधिकतम <math>\ell_2</math> एक पंक्ति का आदर्श
|-
! scope="row" | <math>\ell_\infty</math>
| एनपी कठिन || एनपी कठिन || अधिकतम  <math>\ell_1</math> एक पंक्ति का आदर्श
|}
संयुग्म ट्रांसपोज़ या ट्रांसपोज़ के मानदंड की गणना निम्नानुसार की जा सकती है।
हमारे पास वह किसी के लिए भी है <math>p, q,</math> तब <math>\|A\|_{p\rightarrow q} = \|A^*\|_{q'\rightarrow p'}</math> कहाँ <math>p', q'</math> होल्डर की असमानताएं|होल्डर से संयुग्मित हैं <math>p, q,</math> वह है, <math>1/p + 1/p' = 1</math> और <math>1/q + 1/q' = 1.</math>
== हिल्बर्ट स्पेस पर ऑपरेटर्स ==

कल्पना करना <math>H</math> एक वास्तविक या जटिल [[हिल्बर्ट स्थान]] है। यदि <math>A : H \to H</math> एक परिबद्ध रैखिक संचालिका है, तब हमारे पास है
<math display="block">\|A\|_{op} = \left\|A^*\right\|_{op}</math>
और
<math display="block">\left\|A^* A\right\|_{op} = \|A\|_{op}^2,</math>
कहाँ <math>A^{*}</math> के सहायक संचालक को दर्शाता है <math>A</math> (जो मानक आंतरिक उत्पाद के साथ यूक्लिडियन रिक्त स्थान में आव्युह के संयुग्म स्थानान्तरण से मेल खाता है <math>A</math>).

सामान्यतः, की [[वर्णक्रमीय त्रिज्या]] <math>A</math> के ऑपरेटर मानदंड से ऊपर घिरा हुआ है <math>A</math>:
<math display="block">\rho(A) \leq \|A\|_{op}.</math>
यह देखने के लिए कि समानता सदैव कायम क्यों नहीं रह सकती, परिमित-आयामी स्थितियों में आव्युह के [[जॉर्डन विहित रूप]] पर विचार करें। क्योंकि सुपरडायगोनल पर गैर-शून्य प्रविष्टियाँ हैं, समानता का उल्लंघन हो सकता है। [[क्वासिनिलपोटेंट ऑपरेटर]]्स ऐसे उदाहरणों का एक वर्ग है। एक अशून्य क्वासिनिलपोटेंट ऑपरेटर <math>A</math> स्पेक्ट्रम है <math>\{0\}.</math> इसलिए <math>\rho(A) = 0</math> जबकि <math>\|A\|_{op} > 0.</math>

चूँकि, जब एक आव्युह <math>N</math> [[सामान्य मैट्रिक्स|सामान्य आव्युह]] है, इसका जॉर्डन विहित रूप विकर्ण (एकात्मक तुल्यता तक) है; यह [[वर्णक्रमीय प्रमेय]] है. ऐसे में यह देखना आसान है
<math display="block">\rho(N) = \|N\|_{op}.</math>
इस सूत्र का उपयोग कभी-कभी किसी दिए गए परिबद्ध ऑपरेटर के ऑपरेटर मानदंड की गणना करने के लिए किया जा सकता है <math>A</math>: [[हर्मिटियन ऑपरेटर]] को परिभाषित करें <math>B = A^{*} A,</math> इसकी वर्णक्रमीय त्रिज्या निर्धारित करें, और ऑपरेटर मानदंड प्राप्त करने के लिए [[मैट्रिक्स का वर्गमूल|आव्युह का वर्गमूल]] लें <math>A.</math>
बाउंडेड ऑपरेटरों का स्थान <math>H,</math> ऑपरेटर मानदंड से प्रेरित [[टोपोलॉजिकल स्पेस]] के साथ, भिन्न करने योग्य स्पेस नहीं है।
उदाहरण के लिए, [[एलपी स्पेस]] पर विचार करें <math>L^2[0, 1],</math> जो एक हिल्बर्ट स्थान है।
के लिए <math>0 < t \leq 1,</math> होने देना <math>\Omega_t</math> का संकेतक कार्य हो <math>[0, t],</math> और <math>P_t</math> द्वारा दिया गया गुणन संकारक हो <math>\Omega_t,</math> वह है,
<math display="block">P_t (f) = f \cdot \Omega_t.</math>
फिर प्रत्येक <math>P_t</math> ऑपरेटर मानदंड 1 और के साथ एक परिबद्ध ऑपरेटर है
<math display="block">\left\|P_t - P_s\right\|_{op} = 1 \quad \mbox{ for all } \quad t \neq s.</math>
किन्तु <math>\{P_t : 0 < t \leq 1\}</math> एक अनगिनत समुच्चय है.
इसका तात्पर्य बाउंडेड ऑपरेटरों के स्थान से है <math>L^2([0, 1])</math> ऑपरेटर मानक में, भिन्न करने योग्य नहीं है।
इसकी तुलना इस तथ्य से की जा सकती है कि अनुक्रम स्थान <math>\ell^{\infty}</math> भिन्न करने योग्य नहीं है.

हिल्बर्ट स्पेस पर सभी बंधे हुए ऑपरेटरों का सहयोगी बीजगणित, ऑपरेटर मानदंड और सहायक ऑपरेशन के साथ मिलकर, एक C*-बीजगणित उत्पन्न करता है।

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

* {{annotated link|Banach–Mazur compactum}}
* {{annotated link|Continuous linear operator}}
* {{annotated link|Contraction (operator theory)}}
* {{annotated link|Discontinuous linear map}}
* {{annotated link|Dual norm}}
* {{annotated link|Matrix norm}}
* {{annotated link|Norm (mathematics)}}
* {{annotated link|Normed space}}
* {{annotated link|Operator algebra}}
* {{annotated link|Operator theory}}
* {{annotated link|Topologies on the set of operators on a Hilbert space}}
* {{annotated link|Unbounded operator}}

==टिप्पणियाँ==

{{reflist}}


==संदर्भ==

* {{citation|last1=Aliprantis|first1=Charalambos D.|last2=Border|first2=Kim C.|title=Infinite Dimensional Analysis: A Hitchhiker's Guide|year=2007|publisher=Springer|isbn=9783540326960|page=229|url=https://books.google.com/books?id=4hIq6ExH7NoC&pg=PA229}}.
* {{Citation|last=Conway|first=John B.|authorlink=John B. Conway|year=1990|contribution=III.2 Linear Operators on Normed Spaces|title=A Course in Functional Analysis|pages=67–69|isbn=0-387-97245-5|publisher=Springer-Verlag|location=New York|url=https://books.google.com/books?id=ix4P1e6AkeIC&pg=PA67}}
* {{cite book|last=Diestel|first=Joe|title=Sequences and series in Banach spaces|publisher=Springer-Verlag|publication-place=New York|date=1984|isbn=0-387-90859-5|oclc=9556781}} <!--{{sfn|Diestel|1984|p=}}-->
* {{Rudin Walter Functional Analysis|edition=2}} <!--{{sfn|Rudin|1991|p=}}-->

{{Banach spaces}}
{{Hilbert space}}
{{Functional analysis}}
{{Duality and spaces of linear maps}}

[[Category:CS1 English-language sources (en)]]
[[Category:Collapse templates]]
[[Category:Created On 04/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:कार्यात्मक विश्लेषण]]
[[Category:मानदंड (गणित)]]
[[Category:संचालिका सिद्धांत]]