परिमित-रैंक संक्रियक: Difference between revisions
(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> | ||
==हिल्बर्ट | ==हिल्बर्ट समष्टि पर परिमित-रैंक संक्रियक== | ||
=== | === कैनॉनिकल प्रारूप === | ||
परिमित-रैंक संक्रियक अनंत-विमीय परिस्थितियों में परिवर्तित किए गए संख्यात्मक मैट्रिक्स होते हैं (सीमित आकार के)। इस तरह, इन संक्रियकों को रैखिक बीजगणित तकनीकों के माध्यम से वर्णित किया जा सकता है। | |||
रैखिक बीजगणित से, हम जानते हैं कि एक आयताकार मैट्रिक्स, जटिल प्रविष्टियों के साथ, <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>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>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> \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>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> 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 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>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 संक्रियक के रूप में परिभाषित करें जो को में अभिविन्यस्त करता है, और को भी तदनुसार।
जिसका अर्थ है कि में है और यह दावे की पुष्टि करता है।
में दो-तरफा *-आइडियल्स के कुछ उदाहरण ट्रेस-क्लास, हिल्बर्ट-श्मिट संक्रियक्स और कॉम्पैक्ट संक्रियक हैं। इन तीनों आदर्शों में, उनके संबंधित मानदंडों में सघन है।
चूंकि में किसी भी दो-तरफा आदर्श में होना चाहिए, बीजगणित सरल है और केवल तभी जब यह परिमित विमीय है।
बानाख समष्टि पर परिमित-रैंक संक्रियक
बानाख समष्टियों के बीच एक परिमित-रैंक संक्रियक परिबद्ध संक्रियक है, जिसकी चेतना (रेंज) सीमित विमीय है। हिलबर्ट समष्टियों के स्थिति की तरह, इसे निम्नलिखित रूप में लिखा जा सकता है:
जहां अब , और समष्टि पर बंधे हुए रैखिक कार्यात्मक हैं।
एक परिबद्ध रैखिक संवाहक एक परिमित-रैंक संक्रियक का एक विशेष प्रकार है, जो एक रैंक-एक है।