अनबाउंड ऑपरेटर

गणित में, विशेष रूप से कार्यात्मक विश्लेषण और संचालिका सिद्धांत में, परिबद्ध संचालिका की धारणा अवकल संचालक, क्वांटम यांत्रिकी में असीमित वेधशालाओं और अन्य स्तिथियों से निपटने के लिए अमूर्त रूपरेखा प्रदान करती है।

चूंकि असीमित संचालिका शब्द भ्रामक हो सकता है।

• असीमित को कभी-कभी यह समझा जाना चाहिए कि आवश्यक रूप से बाध्य नहीं है;
• संचालिका को रैखिक संचालिका के रूप में समझा जाना चाहिए (जैसा कि परिबद्ध संचालिका के स्तिथि में होता है);
• संचालिका का कार्यक्षेत्र रैखिक उप-समष्टि है, आवश्यक नहीं कि संपूर्ण समष्टि हो;
• यह रैखिक उपसमष्टि आवश्यक रूप से संवृत समुच्चय नहीं है; अधिकांशतः (किन्तु सदैव नहीं) इसे सघन (सांस्थितिक) माना जाता है;
• एक परिबद्ध संचालिका के विशेष स्तिथि में, फिर भी, कार्यक्षेत्र को सामान्यतः संपूर्ण समष्टि माना जाता है।

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

संचालिका शब्द का अर्थ अधिकांशतः परिबद्ध रेखीय संचालिका होता है, किन्तु इस लेख के संदर्भ में इसका अर्थ ऊपर दिए गए आरक्षणों के साथ, असीमित संचालिका है। और दिया गया समष्टि हिल्बर्ट समष्टि माना जाता है। बनच समष्टि और अधिक सामान्य संसमष्टििक सदिश समष्टि के लिए कुछ सामान्यीकरण संभव हैं।

संक्षिप्त इतिहास

हिल्बर्ट समष्टि क्वांटम यांत्रिकी के लिए कठोर गणितीय रूप विकसित करने के भाग के रूप में असीमित संचालक का सिद्धांत 1920 के दशक के अंत और 1930 के दशक की आरंभ में विकसित हुआ। किन्तु सिद्धांत का विकास जॉन वॉन न्यूमैन और मार्शल स्टोन के कारण हुआ है। वॉन न्यूमैन ने 1932 में असीमित संचालक का विश्लेषण करने के लिए फलन के ग्राफ़ का उपयोग प्रारंभ किया।

परिभाषाएँ और मूलभूत गुण

मान लीजिए कि X, Y बनच समष्टि हैं। असीमित संचालिका (या बस संचालिका) T : D(T) → Y रेखीय मानचित्र T है जो एक रैखिक उपसमष्टि से D(T) ⊆ X—का कार्यक्षेत्र T—समष्टि Y तक है। सामान्य परिपाटी के विपरीत, T को संपूर्ण समष्टि X पर परिभाषित नहीं किया जा सकता है।

एक संचालिका T को संवृत संचालिका कहा जाता है यदि इसका फलन ग्राफ़ Γ(T) एक संवृत समुच्चय है. (यहाँ, ग्राफ Γ(T) के प्रत्यक्ष योग X ⊕ Y हिल्बर्ट रिक्त समष्टि के प्रत्यक्ष योग का रैखिक उपसमष्टि है जिसे, सभी जोड़ियों (x, Tx) के समुच्चय के रूप में परिभाषित , जहाँ x, T के कार्यक्षेत्र पर चलता है.) स्पष्ट रूप से, इसका अर्थ यह है कि T प्रत्येक अनुक्रम {x_n} के लिए कार्यक्षेत्र इस प्रकार है कि x_n → x और Tx_n → y, यह उसे धारण करता है की x, T और Tx = y के कार्यक्षेत्र के अंतर्गत आता है. क्लोजनेस को ग्राफ मानदंड के संदर्भ में भी तैयार किया जा सकता है: संचालिका T संवृत है यदि और केवल यदि इसका कार्यक्षेत्र D(T) मानक के संबंध में पूर्ण समष्टि है:

$\|x\|_{T}={\sqrt {\|x\|^{2}+\|Tx\|^{2}}}.$

एक संचालिका T को सघन रूप से परिभाषित संचालिका कहा जाता है यदि इसका कार्यक्षेत्र X सघन रूप से समुच्चय है . इसमें संपूर्ण समष्टि X पर परिभाषित संचालिका भी सम्मिलित हैं , चूंकि संपूर्ण समष्टि अपने आप में सघन है। कार्यक्षेत्र की सघनता सहायक के अस्तित्व के लिए आवश्यक और पर्याप्त है (यदि X और Y हिल्बर्ट रिक्त समष्टि हैं) और समष्टिान्तरण; नीचे अनुभाग देखें.

यदि T : X → Y अपने कार्यक्षेत्र पर संवृत, सघन रूप से परिभाषित और निरंतर संचालिका है, तो इसका कार्यक्षेत्र संपूर्ण X है.

हिल्बर्ट समष्टि H पर सघन रूप से परिभाषित संचालिका T को नीचे से परिबद्ध हुआ कहा जाता है यदि T + a किसी वास्तविक संख्या a के लिए धनात्मक संकारक है। अर्थात्, T के कार्यक्षेत्र में सभी x के लिए ⟨Tx|x⟩ ≥ −a ||x||² के क्षेत्र में (या वैकल्पिक रूप से ⟨Tx|x⟩ ≥ a ||x||² चूँकि से a मनमाना है)। यदि दोनों T और −T फिर नीचे से बाध्य हैं तो T परिबद्ध है।

उदाहरण

मान लीजिए कि C([0, 1]) इकाई अंतराल पर निरंतर कार्यों के समष्टि को निरूपित करें, और C¹([0, 1]) निरंतर भिन्न-भिन्न कार्यों के समष्टि को निरूपित करें। हम $C([0,1])$ सर्वोच्च मानदंड $\|\cdot \|_{\infty }$ के साथ, सुसज्जित करते हैं, इसे बानाच समष्टि बना रहा है। मौलिक विभेदीकरण संचालिका को d/dx : C¹([0, 1]) → C([0, 1]) सामान्य सूत्र द्वारा परिभाषित करें :

$\left({\frac {d}{dx}}f\right)(x)=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}},\qquad \forall x\in [0,1].$

प्रत्येक अवकलनीय फलन सतत है, इसलिए C¹([0, 1]) ⊆ C([0, 1]). हम इसका प्रभुत्व करते हैं,कि d/dx : C([0, 1]) → C([0, 1]) कार्यक्षेत्र C¹([0, 1]) के साथ अच्छी तरह से परिभाषित असीमित संचालिका है . इसके लिए हमें वो दिखाना होगा कि ${\frac {d}{dx}}$ रैखिक है और फिर, उदाहरण के लिए, कुछ $\{f_{n}\}_{n}\subset C^{1}([0,1])$ को इस प्रकार प्रदर्शित करें कि $\|f_{n}\|_{\infty }=1$ और $\sup _{n}\|{\frac {d}{dx}}f_{n}\|_{\infty }=+\infty$.

यह एक रैखिक संचालिका है, क्योंकि दो निरंतर अवकलनीय फलनों  f , g का एक रैखिक संयोजन a f  + bg भी निरंतर अवकलनीय है, और

$\left({\tfrac {d}{dx}}\right)(af+bg)=a\left({\tfrac {d}{dx}}f\right)+b\left({\tfrac {d}{dx}}g\right).$

संचालिका बाध्य नहीं है. उदाहरण के लिए,

${\begin{cases}f_{n}:[0,1]\to [-1,1]\\f_{n}(x)=\sin(2\pi nx)\end{cases}}$

संतुष्ट

$\left\|f_{n}\right\|_{\infty }=1,$

किन्तु

$\left\|\left({\tfrac {d}{dx}}f_{n}\right)\right\|_{\infty }=2\pi n\to \infty$

जैसा $n\to \infty$.

संचालिका सघन रूप से परिभाषित और संवृत है।

एक ही संचालिका को बनच समष्टि Z के कई विकल्पों के लिए संचालिका Z → Z के रूप में माना जा सकता है और उनमें से किसी के बीच सीमित नहीं किया जा सकता है। साथ ही, इसे बानाच समष्टिों X → Y के अन्य जोड़े के लिए,संचालिका X, Y के रूप में भी Z → Z कुछ संसमष्टििक सदिश समष्टि के लिए Z संचालिका के रूप में भी बाध्य किया जा सकता है। उदाहरण के रूप से आइए I ⊂ R विवृत अंतराल बनें और विचार करें

${\frac {d}{dx}}:\left(C^{1}(I),\|\cdot \|_{C^{1}}\right)\to \left(C(I),\|\cdot \|_{\infty }\right),$

जहाँ:

$\|f\|_{C^{1}}=\|f\|_{\infty }+\|f'\|_{\infty }.$

संयुक्त

एक असीमित संचालिका के एडजॉइंट को दो समान विधियों से परिभाषित किया जा सकता है। मान लीजिए कि $T:D(T)\subseteq H_{1}\to H_{2}$ हिल्बर्ट समष्टिों के बीच असीमित संचालिका बनें।

सबसे पहले, इस प्रकार से परिभाषित किया जा सकता है जैसे कोई बंधे हुए संचालिका के जोड़ को कैसे परिभाषित करता है। अर्थात्, जोड़ $T^{*}:D\left(T^{*}\right)\subseteq H_{2}\to H_{1}$ का T को गुण वाले संचालिका के रूप में परिभाषित किया गया है:

$$\langle Tx\mid y\rangle _{2}=\left\langle x\mid T^{*}y\right\rangle _{1},\qquad x\in D(T).$$

अधिक स्पष्ट रूप से, $T^{*}y$ निम्नलिखित प्रकार से परिभाषित किया गया है। यदि $y\in H_{2}$ इस प्रकार कि $x\mapsto \langle Tx\mid y\rangle$ ,T के क्षेत्र पर सतत रैखिक कार्यात्मक है , तब $y$ को $D\left(T^{*}\right),$ का अवयव घोषित किया गया है और हैन-बानाच प्रमेय के माध्यम से पूरे समष्टि में रैखिक कार्यात्मकता का विस्तार करने के बाद, कुछ खोजना संभव है $z$ में $H_{1}$ ऐसा है कि

$$\langle Tx\mid y\rangle _{2}=\langle x\mid z\rangle _{1},\qquad x\in D(T),$$

चूँकि रिज़्ज़ प्रतिनिधित्व प्रमेय हिल्बर्ट समष्टि $H_{1}$ के निरंतर दोहरेपन की अनुमति देता है आंतरिक उत्पाद द्वारा दिए गए रैखिक कार्यात्मकताओं के समुच्चय से पहचानने की अनुमति देता है। यह सदिश $z$ द्वारा विशिष्ट रूप से $y$ निर्धारित किया जाता है यदि और केवल यदि रैखिक कार्यात्मक $x\mapsto \langle Tx\mid y\rangle$ सघन रूप से परिभाषित है; या समकक्ष, यदि T सघन रूप से परिभाषित है। अंत में, $T^{*}y=z$ को $T^{*},$ का निर्माण पूरा करता है जो आवश्यक रूप से रेखीय मानचित्र है। संयुक्त $T^{*}y$ अस्तित्व में है यदि और केवल यदि T सघन रूप से परिभाषित किया गया है।

परिभाषा के अनुसार, $T^{*}$का कार्यक्षेत्र $H_{2}$ में अवयवों $y$ से मिलकर बनता है में ऐसा है कि $x\mapsto \langle Tx\mid y\rangle$ , T के क्षेत्र में निरंतर है . नतीजतन,$T^{*}$ का कार्यक्षेत्र कुछ भी हो सकता है; यह तुच्छ हो सकता है (अर्थात इसमें केवल शून्य होता है)। ऐसा हो सकता है कि $T^{*}$ का कार्यक्षेत्र संवृत हाइपरप्लेन है और $T^{*}$ कार्यक्षेत्र पर सभी समष्टि गायब हो जाता है। इस प्रकार, की सीमा इसके कार्यक्षेत्र $T^{*}$ की सीमा T का तात्पर्य नहीं है. दूसरी ओर, यदि $T^{*}$ तब संपूर्ण समष्टि पर परिभाषित किया गया है तो T अपने कार्यक्षेत्र पर घिरा हुआ है और इसलिए इसे संपूर्ण समष्टि पर बंधे हुए संचालिका तक निरंतरता द्वारा बढ़ाया जा सकता है। यदि का कार्यक्षेत्र $T^{*}$ घना है, तो उसका निकटवर्ती $T^{**}.$ है एक संवृत सघन रूप से परिभाषित संचालिका T परिबद्ध है यदि और केवल यदि $T^{*}$परिबद्ध है।

योजक की अन्य समकक्ष परिभाषा सामान्य तथ्य पर ध्यान देकर प्राप्त की जा सकती है। रैखिक संचालिका $J$ को निम्नलिखित नुसार परिभाषित करें :

$${\begin{cases}J:H_{1}\oplus H_{2}\to H_{2}\oplus H_{1}\\J(x\oplus y)=-y\oplus x\end{cases}}$$

तब से $J$ सममितीय अनुमान है, यह एकात्मक है। इस तरह: $J(\Gamma (T))^{\bot }$ कुछ संचालिका $S$ का ग्राफ़ है यदि और केवल यदि T सघन रूप से परिभाषित है। साधारण गणना से पता चलता है कि यह कुछ$S$ है संतुष्ट करता है:

$$\langle Tx\mid y\rangle _{2}=\langle x\mid Sy\rangle _{1},$$

T के कार्यक्षेत्र में प्रत्येक x के लिए। इस प्रकार $S$, T का जोड़ है।

उपरोक्त परिभाषा से यह तुरंत पता चलता है कि जोड़ $T^{*}$ बन्द है। विशेष रूप से, स्व-सहायक संचालिका (अर्थ $T=T^{*}$) बन्द है। संचालिका T संवृत है और सघन रूप से परिभाषितयदि और केवल यदि $T^{**}=T.$ है:

परिबद्ध संचालक के लिए कुछ प्रसिद्ध गुण संवृत सघन रूप से परिभाषित संचालक के लिए सामान्यीकरण करते हैं। संवृत संचालिका का कर्नेल संवृत है। इसके अतिरिक्त, संवृत सघन रूप से परिभाषित संचालिका $T:H_{1}\to H_{2}$ का कर्नेल जोड़ की सीमा के ऑर्थोगोनल पूरक के साथ मेल खाता है। वह है,

$$\operatorname {ker} (T)=\operatorname {ran} (T^{*})^{\bot }.$$

वॉन न्यूमैन का प्रमेय यह बताता है कि $T^{*}T$ और $TT^{*}$ स्व-सहायक हैं, और वह $I+T^{*}T$ और $I+TT^{*}$ दोनों में सीमित व्युत्क्रम हैं। यदि $T^{*}$ इसमें तुच्छ कर्नेल है, तो T की सघन सीमा है (उपरोक्त पहचान के अनुसार।) इसके अतिरिक्त:

T विशेषण है यदि और केवल यदि कोई $K>0$ ऐसा है कि सभी $f$ के लिए $\|f\|_{2}\leq K\left\|T^{*}f\right\|_{1}$ में $D\left(T^{*}\right).$ है (यह अनिवार्य रूप से तथाकथित संवृत सीमा प्रमेय का प्रकार है।) विशेष रूप से, T ने यदि और केवल यदि $T^{*}$ की सीमा संवृत कर दी है संवृत सीमा है.

परिबद्ध स्तिथि के विपरीत, यह आवश्यक नहीं है चूँकि $(TS)^{*}=S^{*}T^{*},$ उदाहरण के लिए, यह भी संभव है कि $(TS)^{*}$ अस्तित्व में न हो। चूँकि, यह स्तिथि है, उदाहरण के लिए, T घिरा है।

एक सघन रूप से परिभाषित, संवृत संचालिका T को सामान्य संचालिका कहा जाता है यदि यह निम्नलिखित समकक्ष नियमो को पूरा करता है:

• $T^{*}T=TT^{*}$;
• T का कार्यक्षेत्र इस कार्यक्षेत्र में प्रत्येक x के लिए $T^{*},$ और $\|Tx\|=\left\|T^{*}x\right\|$ के कार्यक्षेत्र के सामान्य है;
• स्व-सहायक संचालिका $A,B$ उपस्तिथ हैं कि T के क्षेत्र में प्रत्येक x के लिए $T=A+iB,$$T^{*}=A-iB,$ और $\|Tx\|^{2}=\|Ax\|^{2}+\|Bx\|^{2}$ हैं।

प्रत्येक स्व-सहायक संचालिका सामान्य है।

समष्टिांतरण

See also: एक रेखीय मानचित्र का स्थानांतरण

मान लीजिए कि $T:B_{1}\to B_{2}$ बनच समष्टिों के बीच संचालिका बनें। फिर समष्टिान्तरण (या दोहरा) ${}^{t}T:{B_{2}}^{*}\to {B_{1}}^{*}$ का $T$ क्या रैखिक संचालिका संतोषजनक है:

$$\langle Tx,y'\rangle =\langle x,\left({}^{t}T\right)y'\rangle$$

सभी के लिए $x\in B_{1}$ और $y\in B_{2}^{*}.$ यहां, हमने संकेतन $\langle x,x'\rangle =x'(x).$ का उपयोग किया है:

$T$ के समष्टिान्तरण के अस्तित्व के लिए आवश्यक और पर्याप्त नियम यह है कि $T$ सघन रूप से परिभाषित किया गया है (अनिवार्य रूप से उसी कारण से जो जोड़ों के लिए है, जैसा कि ऊपर चर्चा की गई है।)

किसी भी हिल्बर्ट समष्टि $H,$ के लिए वहाँ विरोधी रेखीय समरूपता है:

$$J:H^{*}\to H$$

द्वारा दिए गए $Jf=y$ जहाँ $f(x)=\langle x\mid y\rangle _{H},(x\in H).$ इस समरूपता के माध्यम से, समष्टिान्तरण ${}^{t}T$ जोड़ $T^{*}$से संबंधित है इस अनुसार:

$$T^{*}=J_{1}\left({}^{t}T\right)J_{2}^{-1},$$

जहाँ $J_{j}:H_{j}^{*}\to H_{j}$. (परिमित-आयामी स्तिथि के लिए, यह इस तथ्य से मेल खाता है कि आव्यूह का जोड़ इसका संयुग्म समष्टिान्तरण है।) ध्यान दें कि यह समष्टिान्तरण के संदर्भ में जोड़ की परिभाषा देता है।

संवृत रैखिक संचालिका

Main article: संवृत रैखिक संचालिका

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

मान लीजिए कि X, Y दो बनच समष्टि हों। एक रेखीय परिवर्तन A : D(A) ⊆ X → Y {x_n} संवृत है यदि प्रत्येक अनुक्रम के लिए x में D(A) किसी अनुक्रम की सीमा Ax_n → y ∈ Y में X ऐसा है जैसा n → ∞ किसी के पास x ∈ D(A) और Ax = y.समान रूप से, A संवृत है यदि इसका फलन ग्राफ़ बनच रिक्त समष्टि के प्रत्यक्ष योग X ⊕ Y में संवृत समुच्चय है .

एक रैखिक संचालिका A दी गई है , आवश्यक नहीं कि संवृत हो, यदि X ⊕ Y इसके ग्राफ को संवृत किया जाए किसी संचालिका का ग्राफ होता है, उस संचालिका A को संवृत ऑफ कहा जाता है , और हम ऐसा कहते हैं कि A संवृत करने योग्य है. A को A द्वारा संवृत करने को निरूपित करें। इससे पता चलता है कि A,A से D(A) तक का प्रतिबंध है।

एक संवृत करने योग्य संचालिका का कोर (या आवश्यक कार्यक्षेत्र) D(A) का एक उपसमुच्चय C है, जैसे कि A को C प्रतिबंध का समापन है .

उदाहरण

व्युत्पन्न संचालिका A = d/dx पर विचार करें जहाँ X = Y = C([a, b]) अंतराल [a, b] पर सभी निरंतर कार्यों का बानाच समष्टि है (गणित) .यदि कोई इसका कार्यक्षेत्र D(A) को C¹([a, b]) मानता है , तब A संवृत संचालिका है जो बाध्य नहीं है। दूसरी ओर यदि D(A) = C^∞([a, b]), तब A अब संवृत नहीं होगा, किन्तु यह संवृत होने योग्य C¹([a, b]) होगा, संवृत होने पर इसका विस्तार परिभाषित किया जाएगा. .

सममित संचालिका और स्व-सहायक संचालिका

Main article: स्व-सहायक संचालिका

हिल्बर्ट समष्टि पर संचालिका T सममित है यदि और केवल यदि T के कार्यक्षेत्र में प्रत्येक x और y के लिए हमारे पास $\langle Tx\mid y\rangle =\langle x\mid Ty\rangle$ है . सघन रूप से परिभाषित संचालिका T सममित है यदि और केवल यदि यह अपने निकटवर्ती T∗ से सहमत है जो T के कार्यक्षेत्र तक ही सीमित है, दूसरे शब्दों में जब T^∗ T का विस्तार है।

सामान्य रूप पर, यदि T सघन रूप से परिभाषित और सममित है, तो आसन्न T^∗ का कार्यक्षेत्र को T के कार्यक्षेत्र के सामान्य होने की आवश्यकता नहीं है। यदि T सममित है और T का कार्यक्षेत्र और एडजॉइंट का कार्यक्षेत्र मेल खाता है, तो हम कहते हैं कि T स्व-सहायक है। ध्यान दें कि, जब T स्वयं-सहायक है, तो सहायक के अस्तित्व का अर्थ है कि T सघन रूप से परिभाषित है और चूँकि T^∗ आवश्यक रूप से संवृत है, T संवृत है।

एक सघन रूप से परिभाषित संचालिका T सममित है, यदि उप-समष्टि Γ(T) (पिछले अनुभाग में परिभाषित) J के अंतर्गत इसकी छवि J(Γ(T)) के लिए ऑर्थोगोनल है (जहाँ J(x,y):=(y,-x))।

समान रूप से, संचालिका T स्व-सहायक है यदि यह सघन रूप से परिभाषित, संवृत, सममित है, और चौथी नियम को संतुष्ट करता है: दोनों संचालिका T – i, T + i विशेषण हैं, अर्थात, T के कार्यक्षेत्र को संपूर्ण समष्टि H पर मैप करें। दूसरे शब्दों में: H में प्रत्येक x के लिए T के कार्यक्षेत्र में y और z जैसे कि Ty – iy = x और Tz + iz = x. उपस्तिथ हैं:

यदि संचालिका T स्व-सहायक है दो उपसमष्टि Γ(T), J(Γ(T)) ऑर्थोगोनल हैं और उनका योग संपूर्ण समष्टि $H\oplus H.$ है।

यह दृष्टिकोण गैर-सघन रूप से परिभाषित संवृत संचालक को कवर नहीं करता है। गैर-घनत्व परिभाषित सममित संचालक को सीधे या ग्राफ़ के माध्यम से परिभाषित किया जा सकता है, किन्तु सहायक संचालक के माध्यम से नहीं।

एक सममित संचालिका का अध्ययन अधिकांशतः इसके केली परिवर्तन के माध्यम से किया जाता है।

सम्मिश्र हिल्बर्ट समष्टि पर संचालिका T सममित है यदि और केवल यदि इसका द्विघात रूप वास्तविक है, अर्थात संख्या $\langle Tx\mid x\rangle$ T के कार्यक्षेत्र में सभी x के लिए वास्तविक है।

एक सघन रूप से परिभाषित संवृत सममित संचालिका T स्व-सहायक है यदि और केवल यदि T^∗सममित है। ऐसा हो सकता है कि ऐसा न हो.

सघन रूप से परिभाषित संकारक T को धनात्मक कहा जाता है (या गैर-नकारात्मक) यदि इसका द्विघात रूप अऋणात्मक है, अर्थात, $\langle Tx\mid x\rangle \geq 0$ T के कार्यक्षेत्र में सभी x के लिए ऐसा संचालिका आवश्यक रूप से सममित है।

प्रत्येक सघन रूप से परिभाषित, संवृत टी के लिए संचालक T^∗T स्व-सहायक है और सकारात्मक है।

स्वयं-संयुक्त संचालिका वर्णक्रमीय प्रमेय स्वयं-संयुक्त संचालिका्स पर प्रयुक्त होता है और इसके अतिरिक्त, सामान्य संचालक के लिए, किन्तु सामान्य रूप पर सघन रूप से परिभाषित, संवृत संचालक के लिए नहीं, क्योंकि इस स्तिथि में वर्णक्रम रिक्त हो सकता है।

सभी समष्टि परिभाषित सममित संचालिका संवृत है, इसलिए घिरा हुआ है,जो हेलिंगर-टोएप्लिट्ज़ प्रमेय है।

विस्तार-संबंधी

See also: सममित संचालकों का विस्तार

परिभाषा के अनुसार, संचालिका T, संचालिका S का विस्तार है यदि Γ(S) ⊆ Γ(T). समतुल्य प्रत्यक्ष परिभाषा: S के कार्यक्षेत्र में प्रत्येक x के लिए, x, T के Sx = Tx कार्यक्षेत्र से संबंधित है .

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

एक संचालिका T को संवृत करने योग्य कहा जाता है यदि यह निम्नलिखित समकक्ष नियमो को पूरा करता है:

• T का संवृत विस्तार है;
• T के ग्राफ का संवृत होना किसी संचालिका का ग्राफ है;
• T के डोमेन से बिंदुओं के प्रत्येक अनुक्रम (x_n) के लिए, जैसे कि x_n → 0 और Tx_n → y भी यह मानता है कि y = 0 है।

सभी संचालिका संवृत करने योग्य नहीं हैं.

एक संवृत करने योग्य संचालिका T का संवृत विस्तार ${\overline {T}}$ सबसे कम है इसे T का समापन कहा जाता है। T के ग्राफ़ का समापन ${\overline {T}}.$, के ग्राफ़ के सामान्य है अन्य, गैर-न्यूनतम संवृत विस्तार उपस्तिथ हो सकते हैं।

सघन रूप से परिभाषित संचालिका T संवृत हो सकता है यदि और केवल यदि T^∗ सघन रूप से परिभाषित है। इस स्तिथि में ${\overline {T}}=T^{**}$ और $({\overline {T}})^{*}=T^{*}.$

यदि S सघन रूप से परिभाषित है और T, S का विस्तार है तो S^∗ T का विस्तार है^∗.

प्रत्येक सममित संचालिका संवृत करने योग्य है।

एक सममित संचालिका को अधिकतम सममित कहा जाता है यदि उसके पास स्वयं को छोड़कर कोई सममित विस्तार नहीं है। प्रत्येक स्व-सहायक संचालिका अधिकतम सममित है।विपरीत असत्य है.

एक संचालिका को अनिवार्य रूप से स्व-सहायक कहा जाता है यदि उसका समापन स्व-सहायक है। एक संचालिका अनिवार्य रूप से स्व-सहायक होता है यदि और केवल तभी जब उसके पास और केवल स्व-सहायक विस्तार हो।

एक सममित संचालिका के पास से अधिक स्व-सहायक विस्तार और यहां तक ​​कि उनका सातत्य भी हो सकता है।

एक सघन रूप से परिभाषित, सममित संचालिका T अनिवार्य रूप से स्व-सहायक है यदि और केवल यदि दोनों संचालिका हों T – i, T + i सघन सीमा है।

मान लीजिए T सघन रूप से परिभाषित संचालिका है। संबंध "T, S का विस्तार है" को S ⊂ T (Γ(S) ⊆ Γ(T) के लिए पारंपरिक संक्षिप्त नाम) निम्नलिखित है।

• यदि T सममित है तो T ⊂ T∗∗ ⊂ T∗।
• यदि T बंद और सममित है तो T = T∗∗ ⊂ T∗.
• यदि T स्व-संयुक्त है तो T = T∗∗ = T∗.
• यदि T अनिवार्य रूप से स्व-संयुक्त है तो T ⊂ T∗∗ = T∗।

स्वयं-सहायक संचालक का महत्व

गणितीय भौतिकी में स्व-सहायक संचालकों का वर्ग विशेष रूप से महत्वपूर्ण है। प्रत्येक स्व-सहायक संचालिका सघन रूप से परिभाषित, संवृत और सममित है। यह वार्तालाप परिबद्ध हुए संचालक के लिए है किन्तु सामान्य रूप पर विफल रहती है। स्व-संयुक्तता इन तीन गुणों की तुलना में अधिक सीमा तक अधिक प्रतिबंधित है। प्रसिद्ध स्वयं-संयुक्त संचालिका वर्णक्रमीय प्रमेय स्वयं-संयुक्त संचालक के लिए प्रयुक्त है। एक-पैरामीटर एकात्मक समूहों पर स्टोन के प्रमेय के साथ संयोजन में यह पता चलता है कि स्व-सहायक संचालिका दृढ़ता से निरंतर एक-पैरामीटर एकात्मक समूहों के असीम रूप से छोटे जनरेटर हैं, स्व-सहायक संचालिका § क्वांटम यांत्रिकी में स्व-सहायक विस्तार देखें। ऐसे एकात्मक समूह मौलिक और क्वांटम यांत्रिकी में समय विकास का वर्णन करने के लिए विशेष रूप से महत्वपूर्ण हैं।

यह भी देखें

• हिल्बर्ट स्थान § असंबद्ध संचालक
• स्टोन-वॉन न्यूमैन प्रमेय
• परिबद्ध संचालिका

संदर्भ

ग्रन्थसूची

• Berezansky, Y.M.; Sheftel, Z.G.; Us, G.F. (1996), Functional analysis, vol. II, Birkhäuser (see Chapter 12 "General theory of unbounded operators in Hilbert spaces").
• Brezis, Haïm (1983), Analyse fonctionnelle — Théorie et applications (in français), Paris: Mason
• "Unbounded operator", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Hall, B.C. (2013), "Chapter 9. Unbounded Self-adjoint Operators", Quantum Theory for Mathematicians, Graduate Texts in Mathematics, vol. 267, Springer, ISBN 978-1461471158
• Kato, Tosio (1995), "Chapter 5. Operators in Hilbert Space", Perturbation theory for linear operators, Classics in Mathematics, Springer-Verlag, ISBN 3-540-58661-X
• Kreyszig, Erwin (1978). Introductory Functional Analysis With Applications. USA: John Wiley & Sons. Inc. ISBN 0-471-50731-8.
• Pedersen, Gert K. (1989), Analysis now, Springer (see Chapter 5 "Unbounded operators").
• Reed, Michael; Simon, Barry (1980), Methods of Modern Mathematical Physics, vol. 1: Functional Analysis (revised and enlarged ed.), Academic Press (see Chapter 8 "Unbounded operators").
• Stone, Marshall Harvey (1932). Linear Transformations in Hilbert Space and Their Applications to Analysis. Reprint of the 1932 Ed. American Mathematical Society. ISBN 978-0-8218-7452-3.
• Teschl, Gerald (2009). Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators. Providence: American Mathematical Society. ISBN 978-0-8218-4660-5.
• von Neumann, J. (1930), "Allgemeine Eigenwerttheorie Hermitescher Functionaloperatoren (General Eigenvalue Theory of Hermitian Functional Operators)", Mathematische Annalen, 102 (1), doi:10.1007/BF01782338, S2CID 121249803
• von Neumann, J. (1932), "Über Adjungierte Funktionaloperatore (On Adjoint Functional Operators)", Annals of Mathematics, Second Series, 33 (2), doi:10.2307/1968331, JSTOR 1968331
• Yoshida, Kôsaku (1980), Functional Analysis (sixth ed.), Springer

This article incorporates material from Closed operator on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.