परिमित-रैंक संक्रियक: Difference between revisions

From Vigyanwiki
(minor changes)
(Work done)
Line 1: Line 1:
[[कार्यात्मक विश्लेषण|फंक्शनल विश्लेषण]] में, गणित की एक शाखा, एक '''परिमित-रैंक ऑपरेटर''' बनच रिक्त स्थान के बीच एक सीमित रैखिक ऑपरेटर है जिसकी [[छवि (गणित)|सीमा]] परिमित-आयामी है।<ref>{{cite web|url=https://www.sciencedirect.com/topics/mathematics/finite-rank-operator|title=परिमित रैंक ऑपरेटर - एक सिंहावलोकन|date=2004}}</ref>
[[कार्यात्मक विश्लेषण|फंक्शनल विश्लेषण]] में, जो गणित की एक शाखा, एक '''परिमित-रैंक संक्रियक''' बानाख (बनच) -समष्‍टि के बीच परिबद्ध रैखिक संक्रियक होता है जिसकी [[छवि (गणित)|सीमा]] परिमित-विमीय है।<ref>{{cite web|url=https://www.sciencedirect.com/topics/mathematics/finite-rank-operator|title=परिमित रैंक ऑपरेटर - एक सिंहावलोकन|date=2004}}</ref>
==हिल्बर्ट स्थान पर परिमित-रैंक ऑपरेटर==
==हिल्बर्ट समष्‍टि पर परिमित-रैंक संक्रियक==


=== एक विहित रूप ===
=== कैनॉनिकल प्रारूप ===


सीमित-श्रेणी ऑपरेटर अनंत-आयामी परिस्थितियों में परिवर्तित किए गए संख्यात्मक मैट्रिक्स होते हैं (सीमित आकार के)। इस तरह, इन ऑपरेटरों को रैखिक बीजगणित तकनीकों के माध्यम से वर्णित किया जा सकता है।
परिमित-रैंक संक्रियक अनंत-विमीय परिस्थितियों में परिवर्तित किए गए संख्यात्मक मैट्रिक्स होते हैं (सीमित आकार के)। इस तरह, इन संक्रियकों को रैखिक बीजगणित तकनीकों के माध्यम से वर्णित किया जा सकता है।


रैखिक बीजगणित से, हम जानते हैं कि एक आयताकार मैट्रिक्स, जटिल प्रविष्टियों के साथ, <math> M \in \mathbb{C}^{n \times m} </math> की रैंक <math>1</math> होती है यदि और केवल यदि <math>M</math> निम्न के रूप में हो
रैखिक बीजगणित से, हम जानते हैं कि एक आयताकार मैट्रिक्स, जटिल प्रविष्टियों के साथ, <math> M \in \mathbb{C}^{n \times m} </math> की रैंक <math>1</math> होती है यदि और केवल यदि <math>M</math> निम्न के रूप में हो


:<math>M = \alpha \cdot u v^*, \quad \mbox{where} \quad \|u \| = \|v\| = 1 \quad \mbox{and} \quad \alpha \geq 0 .</math>
:<math>M = \alpha \cdot u v^*, \quad \mbox{where} \quad \|u \| = \|v\| = 1 \quad \mbox{and} \quad \alpha \geq 0 .</math>
यदि एक हिलबर्ट अंतर्वाल <math>H</math> पर एक ऑपरेटर <math>T</math> की श्रेणी <math>1</math> है, तो समान्य तरीके से यह साबित करता है कि:
यदि एक हिलबर्ट अंतर्वाल <math>H</math> पर एक संक्रियक <math>T</math> की रैंक <math>1</math> है, तो समान्य तरीके से यह साबित करता है कि:


:<math>T h = \alpha \langle h, v\rangle u \quad \mbox{for all}  \quad h \in H ,</math>
:<math>T h = \alpha \langle h, v\rangle u \quad \mbox{for all}  \quad h \in H ,</math>
जहां <math> \alpha, u, v </math> पर स्थितियाँ परिमित आयामी मामले के समान हैं।
जहां <math> \alpha, u, v </math> पर स्थितियाँ परिमित विमीय स्थितियों के समान हैं।


इसलिए, प्रेरण द्वारा, परिमित रैंक <math>n</math> का एक ऑपरेटर <math>T</math> फॉर्म लेता है
इसलिए, प्रेरण द्वारा, परिमित रैंक <math>n</math> का एक संक्रियक <math>T</math> फॉर्म लेता है
:<math>T h =  \sum _{i = 1}  ^n \alpha_i \langle h, v_i\rangle u_i \quad \mbox{for all} \quad h \in H ,</math>
:<math>T h =  \sum _{i = 1}  ^n \alpha_i \langle h, v_i\rangle u_i \quad \mbox{for all} \quad h \in H ,</math>
जहां <math>\{ u_i \}</math> और <math>\{v_i\}</math> अर्थोनॉर्मल आधार हैं। ध्यान दें कि यह मूलतः एक सिंगुलर मूल्य विघटन का पुनर्वक्तव्य है। इसे सीमित-श्रेणी ऑपरेटरों के कैनोनिक रूप के रूप में कहा जा सकता है।
जहां <math>\{ u_i \}</math> और <math>\{v_i\}</math> अर्थोनॉर्मल आधार हैं। ध्यान दें कि यह मूलतः एक सिंगुलर मूल्य विघटन का पुनर्वक्तव्य है। इसे परिमित-रैंक संक्रियकों के कैनोनिक रूप के रूप में कहा जा सकता है।


स्वयं एक सामान्यीकरण करते हुए, यदि ऑपरेटर <math>n</math> अब गणनीय अनंत अंतराली है और सकारात्मक संख्याओं की श्रेणी <math>\{ \alpha_i \} </math> केवल <math>0</math> पर [[सीमा बिंदु|समग्र]] होती है, तो ऑपरेटर <math>T</math> एक संक्षेपित ऑपरेटर बन जाता है, और इस मामले में, संक्षेपित ऑपरेटरों के लिए कैनोनिक रूप होता है।
स्वयं एक सामान्यीकरण करते हुए, यदि संक्रियक <math>n</math> अब गणनीय अनंत अंतराली है और सकारात्मक संख्याओं की श्रेणी <math>\{ \alpha_i \} </math> केवल <math>0</math> पर [[सीमा बिंदु|समग्र]] होती है, तो संक्रियक <math>T</math> एक संक्षेपित संक्रियक बन जाता है, और इस स्थिति में, संक्षेपित संक्रियकों के लिए कैनोनिक रूप होता है।


यदि श्रेणी <math> \sum _i \alpha _i </math> कनवर्जेंट है, तो <math>T</math> एक [[ट्रेस क्लास]] ऑपरेटर है।
यदि श्रेणी <math> \sum _i \alpha _i </math> कनवर्जेंट है, तो <math>T</math> एक [[ट्रेस क्लास]] संक्रियक है।


===बीजगणितीय गुण===
===बीजगणितीय प्रगुण===
हिलबर्ट स्पेस <math>H</math> पर सीमित-श्रेणी ऑपरेटर <math>F(H)</math> का परिवार <math>L(H)</math> में दो-तरफी *-आदेश बनाता है, जो <math>H</math> पर बाउंडेड ऑपरेटरों का एल्जेब्रा है। वास्तव में यह ऐसे आदर्शों के बीच न्यूनतम तत्व है, यानी, <math>L(H)</math> में से किसी भी दो-तरफा *-आदर्श <math>I</math> में परिमित-रैंक ऑपरेटर शामिल होना चाहिए। इसे साबित करना मुश्किल नहीं है। किसी भी गैर-शून्य ऑपरेटर <math>T\in I</math> को लें, तब <math>f, g \neq 0</math> के लिए कुछ <math>Tf = g</math> होगा। यह पर्याप्त है कि किसी भी <math>h, k\in H</math> के लिए, श्रेणी-1 ऑपरेटर <math> S_{h, k} </math> जो <math>h</math> को <math>k</math> में अभिविन्यस्त करता है, <math>I</math> में स्थित होता है। <math> S_{h, f} </math> को उस श्रेणी-1 ऑपरेटर के रूप में परिभाषित करें जो <math>h</math> को <math>f</math> में अभिविन्यस्त करता है, और <math> S_{g,k}</math> को भी तदनुसार।
हिल्बर्ट समष्‍टि <math>H</math> पर परिमित-रैंक संक्रियक <math>F(H)</math> का परिवार <math>L(H)</math> में उभय पक्षीय *-आदेश बनाता है, जो <math>H</math> पर परिबद्ध संक्रियकों की बीजगणित है। वास्तव में यह ऐसे आदर्शों के बीच न्यूनतम तत्व है, अर्थात, <math>L(H)</math> में से किसी भी दो-तरफा *-आदर्श <math>I</math> में परिमित-रैंक संक्रियक शामिल होना चाहिए। इसे साबित करना मुश्किल नहीं है। किसी भी गैर-शून्य संक्रियक <math>T\in I</math> को लें, तब <math>f, g \neq 0</math> के लिए कुछ <math>Tf = g</math> होगा। यह पर्याप्त है कि किसी भी <math>h, k\in H</math> के लिए, श्रेणी-1 संक्रियक <math> S_{h, k} </math> जो <math>h</math> को <math>k</math> में अभिविन्यस्त करता है, <math>I</math> में स्थित होता है। <math> S_{h, f} </math> को उस श्रेणी-1 संक्रियक के रूप में परिभाषित करें जो <math>h</math> को <math>f</math> में अभिविन्यस्त करता है, और <math> S_{g,k}</math> को भी तदनुसार।


:<math>S_{h,k} = S_{g,k} T S_{h,f}, \,</math>
:<math>S_{h,k} = S_{g,k} T S_{h,f}, \,</math>
जिसका अर्थ है कि <math>I</math> में <math> S_{h, k} </math> है और यह दावे की पुष्टि करता है।
जिसका अर्थ है कि <math>I</math> में <math> S_{h, k} </math> है और यह दावे की पुष्टि करता है।


<math> L(H) </math> में दो-तरफा *-आइडियल्स के कुछ उदाहरण [[ ट्रेस-वर्ग |ट्रेस-क्लास]], हिल्बर्ट-श्मिट ऑपरेटर्स और [[कॉम्पैक्ट ऑपरेटर]] हैं। <math> F(H)</math> इन तीनों आदर्शों में, उनके संबंधित मानदंडों में सघन है।
<math> L(H) </math> में दो-तरफा *-आइडियल्स के कुछ उदाहरण [[ ट्रेस-वर्ग |ट्रेस-क्लास]], हिल्बर्ट-श्मिट संक्रियक्स और [[कॉम्पैक्ट ऑपरेटर|कॉम्पैक्ट संक्रियक]] हैं। <math> F(H)</math> इन तीनों आदर्शों में, उनके संबंधित मानदंडों में सघन है।


चूंकि <math> L(H)</math> में किसी भी दो-तरफा आदर्श में <math> F(H)</math> होना चाहिए, बीजगणित <math> L(H)</math> [[सरल बीजगणित|सरल]] है और केवल तभी जब यह परिमित आयामी है।
चूंकि <math> L(H)</math> में किसी भी दो-तरफा आदर्श में <math> F(H)</math> होना चाहिए, बीजगणित <math> L(H)</math> [[सरल बीजगणित|सरल]] है और केवल तभी जब यह परिमित विमीय है।


==बनैच स्पेस पर परिमित-रैंक ऑपरेटर==
==बानाख समष्‍टि पर परिमित-रैंक संक्रियक==
एक बैनाख अंतर्वालों के बीच एक सीमित-श्रेणी ऑपरेटर <math>T:U\to V</math> एक बाउंडेड ऑपरेटर है, जिसकी चेतना (रेंज) सीमित आयामी है। हिलबर्ट अंतर्वालों के मामले की तरह, इसे निम्नलिखित रूप में लिखा जा सकता है:
बानाख समष्टियों के बीच एक परिमित-रैंक संक्रियक <math>T:U\to V</math> परिबद्ध संक्रियक है, जिसकी चेतना (रेंज) सीमित विमीय है। हिलबर्ट समष्टियों के स्थिति की तरह, इसे निम्नलिखित रूप में लिखा जा सकता है:


:<math>T h =  \sum _{i = 1}  ^n \langle u_i, h\rangle v_i \quad \mbox{for all} \quad h \in U ,</math>
:<math>T h =  \sum _{i = 1}  ^n \langle u_i, h\rangle v_i \quad \mbox{for all} \quad h \in U ,</math>
जहां अब <math>v_i\in V</math>, और <math>u_i\in U'</math> अंतरिक्ष <math>U</math> पर बंधे हुए रैखिक कार्यात्मक हैं।
जहां अब <math>v_i\in V</math>, और <math>u_i\in U'</math> समष्‍टि  <math>U</math> पर बंधे हुए रैखिक कार्यात्मक हैं।


एक बाउंडेड रैखिक संवाहक एक सीमित-श्रेणी ऑपरेटर का एक विशेष प्रकार है, जो एक श्रेणी-एक है।
एक परिबद्ध रैखिक संवाहक एक परिमित-रैंक संक्रियक का एक विशेष प्रकार है, जो एक रैंक-एक है।


==संदर्भ==
==संदर्भ==

Revision as of 15:31, 2 August 2023

फंक्शनल विश्लेषण में, जो गणित की एक शाखा, एक परिमित-रैंक संक्रियक बानाख (बनच) -समष्‍टि के बीच परिबद्ध रैखिक संक्रियक होता है जिसकी सीमा परिमित-विमीय है।[1]

हिल्बर्ट समष्‍टि पर परिमित-रैंक संक्रियक

कैनॉनिकल प्रारूप

परिमित-रैंक संक्रियक अनंत-विमीय परिस्थितियों में परिवर्तित किए गए संख्यात्मक मैट्रिक्स होते हैं (सीमित आकार के)। इस तरह, इन संक्रियकों को रैखिक बीजगणित तकनीकों के माध्यम से वर्णित किया जा सकता है।

रैखिक बीजगणित से, हम जानते हैं कि एक आयताकार मैट्रिक्स, जटिल प्रविष्टियों के साथ, की रैंक होती है यदि और केवल यदि निम्न के रूप में हो

यदि एक हिलबर्ट अंतर्वाल पर एक संक्रियक की रैंक है, तो समान्य तरीके से यह साबित करता है कि:

जहां पर स्थितियाँ परिमित विमीय स्थितियों के समान हैं।

इसलिए, प्रेरण द्वारा, परिमित रैंक का एक संक्रियक फॉर्म लेता है

जहां और अर्थोनॉर्मल आधार हैं। ध्यान दें कि यह मूलतः एक सिंगुलर मूल्य विघटन का पुनर्वक्तव्य है। इसे परिमित-रैंक संक्रियकों के कैनोनिक रूप के रूप में कहा जा सकता है।

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

यदि श्रेणी कनवर्जेंट है, तो एक ट्रेस क्लास संक्रियक है।

बीजगणितीय प्रगुण

हिल्बर्ट समष्‍टि पर परिमित-रैंक संक्रियक का परिवार में उभय पक्षीय *-आदेश बनाता है, जो पर परिबद्ध संक्रियकों की बीजगणित है। वास्तव में यह ऐसे आदर्शों के बीच न्यूनतम तत्व है, अर्थात, में से किसी भी दो-तरफा *-आदर्श में परिमित-रैंक संक्रियक शामिल होना चाहिए। इसे साबित करना मुश्किल नहीं है। किसी भी गैर-शून्य संक्रियक को लें, तब के लिए कुछ होगा। यह पर्याप्त है कि किसी भी के लिए, श्रेणी-1 संक्रियक जो को में अभिविन्यस्त करता है, में स्थित होता है। को उस श्रेणी-1 संक्रियक के रूप में परिभाषित करें जो को में अभिविन्यस्त करता है, और को भी तदनुसार।

जिसका अर्थ है कि में है और यह दावे की पुष्टि करता है।

में दो-तरफा *-आइडियल्स के कुछ उदाहरण ट्रेस-क्लास, हिल्बर्ट-श्मिट संक्रियक्स और कॉम्पैक्ट संक्रियक हैं। इन तीनों आदर्शों में, उनके संबंधित मानदंडों में सघन है।

चूंकि में किसी भी दो-तरफा आदर्श में होना चाहिए, बीजगणित सरल है और केवल तभी जब यह परिमित विमीय है।

बानाख समष्‍टि पर परिमित-रैंक संक्रियक

बानाख समष्टियों के बीच एक परिमित-रैंक संक्रियक परिबद्ध संक्रियक है, जिसकी चेतना (रेंज) सीमित विमीय है। हिलबर्ट समष्टियों के स्थिति की तरह, इसे निम्नलिखित रूप में लिखा जा सकता है:

जहां अब , और समष्‍टि पर बंधे हुए रैखिक कार्यात्मक हैं।

एक परिबद्ध रैखिक संवाहक एक परिमित-रैंक संक्रियक का एक विशेष प्रकार है, जो एक रैंक-एक है।

संदर्भ

  1. "परिमित रैंक ऑपरेटर - एक सिंहावलोकन". 2004.