View source for सघन रूप से परिभाषित ऑपरेटर

{{short description|Function that is defined almost everywhere (mathematics)}}
गणित में- विशेष रूप से, [[ऑपरेटर सिद्धांत]] में- '''सघन रूप से परिभाषित ऑपरेटर''' या आंशिक रूप से परिभाषित ऑपरेटर विशेष प्रकार का आंशिक रूप से परिभाषित [[फ़ंक्शन (गणित)|फलन (गणित)]] है। [[टोपोलॉजी]] के अर्थ में, यह [[रैखिक ऑपरेटर]] है जिसे लगभग प्रत्येक स्थान पर परिभाषित किया जाता है। सघन रूप से परिभाषित ऑपरेटर प्रायः [[कार्यात्मक विश्लेषण]] में उन ऑपरेशनों के रूप में सामने आते हैं जिन्हें कोई उन वस्तुओं की तुलना में वस्तुओं के बड़े वर्ग पर प्रारम्भ किया जाता है जिनके लिए वे प्राथमिक रूप से "समझ में आते हैं"।

==परिभाषा==

सघन रूप से परिभाषित रैखिक संचालिका <math>T</math> [[टोपोलॉजिकल वेक्टर स्पेस]] से, <math>X,</math> दूसरे को, <math>Y,</math>  रैखिक संचालिका है जिसे [[सघन सेट|सघन समुच्चय]] रैखिक उप-स्थान पर परिभाषित किया गया है <math>\operatorname{dom}(T)</math> का <math>X</math> मान लेता है <math>Y,</math> लिखा हुआ <math>T : \operatorname{dom}(T) \subseteq X \to Y.</math> कभी-कभी इसे इस प्रकार संक्षिप्त किया जाता है <math>T : X \to Y</math> कि जब सन्दर्भ यह स्पष्ट करता है <math>X</math> किसी फलन का समुच्चय-सैद्धांतिक डोमेन <math>T.</math> नहीं हो सकता है। 

== उदाहरण ==

स्थान पर विचार करें <math>C^0([0, 1]; \R)</math> इकाई अंतराल पर परिभाषित सभी [[वास्तविक संख्या]], निरंतर कार्यों के <math>C^1([0, 1]; \R)</math> मान लीजिये, सभी [[सुचारू कार्य|निरंतर]] भिन्न-भिन्न कार्यों से युक्त उप-स्थान को दर्शाता है। लैस <math>C^0([0, 1]; \R)</math> सर्वोच्च पैरामीटर के साथ <math>\|\,\cdot\,\|_\infty</math>; यह बनाता है <math>C^0([0, 1]; \R)</math> वास्तविक [[बनच स्थान|बानाच स्थान]] में[[ विभेदक संचालिका ]]<math>D</math> द्वारा दिया गया:<math display=block>(\mathrm{D} u)(x) = u'(x)</math>सघन रूप से परिभाषित ऑपरेटर <math>C^0([0, 1]; \R)</math> है, स्वयं के लिए, घने उप-स्थान पर परिभाषित <math>C^1([0, 1]; \R).</math> परिचालक <math>\mathrm{D}</math> चूंकि, यह असीमित रैखिक संचालिका का उदाहरण है:<math display="block">u_n (x) = e^{- n x} \quad \text{ has } \quad \frac{\left\|\mathrm{D} u_n\right\|_{\infty}}{\left\|u_n\right\|_\infty} = n.</math>यदि कोई किसी प्रकार विभेदन संचालिका का निरंतर विस्तार करना चाहता है तो यह असीमितता समस्याएँ उत्पन्न करती है <math>D</math> संपूर्णता <math>C^0([0, 1]; \R).</math> है। 

दूसरी ओर, पैली-वीनर इंटीग्रल, सघन रूप से परिभाषित ऑपरेटर के [[निरंतर विस्तार]] का उदाहरण है। किसी अमूर्त वीनर स्थान में <math>i : H \to E</math> ऑपरेटर के सहायक के साथ <math>j := i^* : E^* \to H,</math> प्राकृतिक निरंतर रैखिक ऑपरेटर (वास्तव में यह समावेशन है, और [[आइसोमेट्री]] है) से <math>j\left(E^*\right)</math> को <math>L^2(E, \gamma; \R),</math> जिसके अंतर्गत <math>j(f) \in j\left(E^*\right) \subseteq H</math> समतुल्य वर्ग में जाता है <math>[f]</math> का <math>f</math> में <math>L^2(E, \gamma; \R).</math> ऐसा दिखाया जा सकता है <math>j\left(E^*\right)</math> में सघन है <math>H.</math> चूंकि उपरोक्त समावेशन निरंतर है, इसलिए अद्वितीय निरंतर रैखिक विस्तार है <math>I : H \to L^2(E, \gamma; \R)</math> समावेशन का <math>j\left(E^*\right) \to L^2(E, \gamma; \R)</math> संपूर्ण का <math>H.</math> यह विस्तार पैली-वीनर मानचित्र है। 
==यह भी देखें==

* {{annotated link|ब्लमबर्ग प्रमेय}}
* {{annotated link|बंद ग्राफ़ प्रमेय (कार्यात्मक विश्लेषण)}}
* {{annotated link|रैखिक विस्तार (रैखिक बीजगणित)}}
* {{annotated link|आंशिक फलन}}

== संदर्भ ==
{{reflist}}

* {{cite book
| last = Renardy
| first = Michael
|author2=Rogers, Robert C.
| title = An introduction to partial differential equations
| series = Texts in Applied Mathematics 13
| edition = Second
| publisher = Springer-Verlag
| location = New York
| year = 2004
| pages = xiv+434
| isbn = 0-387-00444-0
| mr = 2028503
}}

{{Hilbert space}}
{{Banach spaces}}
{{Functional analysis}}

{{DEFAULTSORT:Densely-Defined Operator}}

[[Category:Collapse templates|Densely-Defined Operator]]
[[Category:Created On 30/06/2023|Densely-Defined Operator]]
[[Category:Machine Translated Page|Densely-Defined Operator]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Densely-Defined Operator]]
[[Category:Pages with script errors|Densely-Defined Operator]]
[[Category:Short description with empty Wikidata description|Densely-Defined Operator]]
[[Category:Sidebars with styles needing conversion|Densely-Defined Operator]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Densely-Defined Operator]]
[[Category:Vigyan Ready]]