विकर्णीय आव्यूह
रैखिक बीजगणित में, एक वर्ग मैट्रिक्स इसे विकर्णीय या गैर-दोषपूर्ण कहा जाता है यदि यह एक विकर्ण मैट्रिक्स के लिए मैट्रिक्स समानता है, यानी, यदि कोई उलटा मैट्रिक्स मौजूद है और एक विकर्ण मैट्रिक्स ऐसा है कि , या समकक्ष . (ऐसा , अद्वितीय नहीं हैं।) एक आयाम (वेक्टर समष्टि)|परिमित-आयामी सदिश समष्टि के लिए , एक रेखीय मानचित्र यदि कोई आधार (रैखिक बीजगणित) मौजूद है तो इसे विकर्णीय कहा जाता है#क्रमबद्ध आधार और निर्देशांक के eigenvectors से मिलकर बना है . ये परिभाषाएँ समतुल्य हैं: यदि एक मैट्रिक्स (गणित) प्रतिनिधित्व है जैसा कि ऊपर है, फिर कॉलम वैक्टर के eigenvectors से मिलकर एक आधार बनाएं , और की विकर्ण प्रविष्टियाँ के संगत eigenvalues हैं ; इस eigenvector आधार के संबंध में, द्वारा प्रतिनिधित्व किया जाता है . विकर्णीकरण उपरोक्त को खोजने की प्रक्रिया है और .
विकर्णीय मैट्रिक्स और मानचित्र गणना के लिए विशेष रूप से आसान होते हैं, एक बार जब उनके आइगेनवैल्यू और आइजेनवेक्टर ज्ञात हो जाते हैं। कोई एक विकर्ण मैट्रिक्स बढ़ा सकता है किसी घात को केवल विकर्ण प्रविष्टियों को उस घात तक बढ़ाकर, और एक विकर्ण मैट्रिक्स का निर्धारक बस सभी विकर्ण प्रविष्टियों का उत्पाद है; ऐसी गणनाएँ आसानी से सामान्यीकृत हो जाती हैं . ज्यामितीय रूप से, एक विकर्ण मैट्रिक्स एक अमानवीय फैलाव (या अनिसोट्रोपिक स्केलिंग) है - यह अंतरिक्ष को स्केलिंग (ज्यामिति) करता है, जैसा कि एक सजातीय फैलाव होता है, लेकिन प्रत्येक ईजेनवेक्टर अक्ष के साथ एक अलग कारक द्वारा, कारक संगत eigenvalue द्वारा दिया गया।
एक वर्ग मैट्रिक्स जो विकर्णीय नहीं है उसे दोषपूर्ण मैट्रिक्स कहा जाता है। ऐसा हो सकता है कि एक मैट्रिक्स वास्तविक संख्या प्रविष्टियों के साथ वास्तविक संख्याओं की तुलना में दोषपूर्ण है, जिसका अर्थ है किसी भी व्युत्क्रमणीय के लिए असंभव है और विकर्ण वास्तविक प्रविष्टियों के साथ, लेकिन सम्मिश्र संख्या प्रविष्टियों के साथ यह संभव है, ताकि सम्मिश्र संख्याओं पर विकर्णीय है। उदाहरण के लिए, यह सामान्य रोटेशन मैट्रिक्स का मामला है।
विकर्णीय मैट्रिक्स के लिए कई परिणाम केवल बीजगणितीय रूप से बंद फ़ील्ड (जैसे जटिल संख्या) पर टिके होते हैं। इस मामले में, विकर्णीय मैट्रिक्स सभी मैट्रिक्स के स्थान में घने सेट होते हैं, जिसका अर्थ है कि किसी भी दोषपूर्ण मैट्रिक्स को एक छोटे गड़बड़ी सिद्धांत द्वारा विकर्ण मैट्रिक्स में विकृत किया जा सकता है; और जॉर्डन सामान्य रूप प्रमेय बताता है कि कोई भी मैट्रिक्स विशिष्ट रूप से एक विकर्ण मैट्रिक्स और एक निलपोटेंट मैट्रिक्स का योग है। बीजगणितीय रूप से बंद क्षेत्र में, विकर्णीय आव्यूह अर्ध-सरलता#अर्ध-सरल आव्यूह|अर्ध-सरल आव्यूह के समतुल्य होते हैं।
परिभाषा
एक वर्ग आव्यूह, , एक क्षेत्र में प्रविष्टियों के साथ (गणित) यदि कोई मौजूद है तो इसे विकर्णीय या गैर-दोषपूर्ण कहा जाता है उलटा मैट्रिक्स (यानी सामान्य रैखिक समूह जीएल का एक तत्वn(एफ)), , ऐसा है कि एक विकर्ण मैट्रिक्स है. औपचारिक रूप से,
लक्षण वर्णन
विकर्ण मानचित्रों और आव्यूहों के बारे में मूलभूत तथ्य निम्नलिखित द्वारा व्यक्त किया गया है:
- एक आव्यूह एक मैदान के ऊपर विकर्णीय है यदि और केवल यदि इसके आइगेनस्पेस के आयाम (रैखिक बीजगणित) का योग बराबर है , जो कि मामला है यदि और केवल यदि इसका कोई आधार (रैखिक बीजगणित) मौजूद है के eigenvectors से मिलकर बना है . यदि ऐसा कोई आधार मिल गया है, तो कोई मैट्रिक्स बना सकता है इन आधार सदिशों को स्तंभों के रूप में रखना, और एक विकर्ण मैट्रिक्स होगा जिसकी विकर्ण प्रविष्टियाँ eigenvalues हैं . गणित का सवाल के लिए एक मोडल मैट्रिक्स के रूप में जाना जाता है .
- एक रेखीय मानचित्र विकर्णीय है यदि और केवल यदि इसके आइगेनस्पेस के आयाम (रैखिक बीजगणित) का योग बराबर है , जो कि मामला है यदि और केवल यदि इसका कोई आधार मौजूद है के eigenvectors से मिलकर बना है . ऐसे आधार के संबंध में, एक विकर्ण मैट्रिक्स द्वारा दर्शाया जाएगा। इस मैट्रिक्स की विकर्ण प्रविष्टियाँ eigenvalues हैं .
निम्नलिखित पर्याप्त (लेकिन आवश्यक नहीं) स्थिति अक्सर उपयोगी होती है।
- एक आव्यूह क्षेत्र पर विकर्णीय है अगर यह है में विशिष्ट eigenvalues , अर्थात यदि इसका अभिलक्षणिक बहुपद है में विशिष्ट जड़ें ; हालाँकि, इसका विपरीत गलत हो सकता है। विचार करना जिसके eigenvalues 1, 2, 2 (सभी अलग-अलग नहीं) हैं और विकर्ण रूप (समान (रैखिक बीजगणित) के साथ विकर्ण है) )और आधार का परिवर्तन :बातचीत तब विफल हो जाती है जब 1 से अधिक आयाम का eigenspace है। इस उदाहरण में, का eigenspace eigenvalue 2 से संबद्ध आयाम 2 है।
- एक रेखीय मानचित्र साथ यदि है तो विकर्णीय है विशिष्ट eigenvalues, अर्थात यदि इसकी विशेषता बहुपद है में विशिष्ट जड़ें .
होने देना एक मैट्रिक्स खत्म हो जाओ . अगर विकर्णीय है, तो इसकी कोई भी शक्ति विकर्णीय है। इसके विपरीत, यदि उलटा है, बीजगणितीय रूप से बंद है, और कुछ के लिए विकर्णीय है यह की विशेषता का पूर्णांक गुणज नहीं है , तब विकर्णीय है. प्रमाण: यदि तो, विकर्णीय है किसी बहुपद द्वारा नष्ट कर दिया जाता है , जिसका कोई एकाधिक मूल नहीं है (चूंकि ) और के न्यूनतम बहुपद से विभाजित किया जाता है .
सम्मिश्र संख्याओं पर , लगभग हर मैट्रिक्स विकर्णीय है। अधिक सटीक रूप से: जटिल का सेट वे आव्यूह जो विकर्णीय नहीं हैं , का एक उपसमुच्चय माना जाता है , में लेब्सग का माप शून्य है। कोई यह भी कह सकता है कि विकर्णीय आव्यूह ज़ारिस्की टोपोलॉजी के संबंध में एक सघन उपसमुच्चय बनाते हैं: गैर-विकर्ण आव्यूह विशेषता बहुपद के विभेदक की बीजगणितीय विविधता के अंदर स्थित होते हैं, जो एक ऊनविम पृष्ठ है। इससे एक मानक (गणित) द्वारा दी गई सामान्य (मजबूत) टोपोलॉजी में घनत्व का भी पता चलता है। यह भी सच नहीं है .
जॉर्डन-चेवेल्ली अपघटन एक ऑपरेटर को उसके अर्धसरल (यानी, विकर्ण) भाग और उसके शून्य-शक्तिशाली भाग के योग के रूप में व्यक्त करता है। इसलिए, एक मैट्रिक्स विकर्णीय होता है यदि और केवल तभी जब इसका शून्य-शक्तिशाली भाग शून्य हो। दूसरे तरीके से कहें तो, एक मैट्रिक्स विकर्णीय होता है यदि उसके जॉर्डन रूप में प्रत्येक ब्लॉक में कोई शून्य-शक्तिशाली भाग नहीं होता है; यानी, प्रत्येक ब्लॉक एक-एक-एक मैट्रिक्स है।
विकर्णीकरण
यदि एक मैट्रिक्स विकर्ण किया जा सकता है, अर्थात,
तब:
लिखना इसके कॉलम वैक्टर के ब्लॉक मैट्रिक्स के रूप में
उपरोक्त समीकरण को इस प्रकार पुनः लिखा जा सकता है
तो के स्तंभ सदिश के सही eigenvectors हैं , और संगत विकर्ण प्रविष्टि संगत eigenvalue है। की उलटापन यह भी पता चलता है कि eigenvectors रैखिक रूप से स्वतंत्र हैं और इसका आधार बनाते हैं . विकर्णीकरण और विकर्णीकरण के विहित दृष्टिकोण के लिए यह आवश्यक और पर्याप्त शर्त है। की पंक्ति सदिश के बाएँ eigenvectors हैं .
जब एक जटिल मैट्रिक्स एक हर्मिटियन मैट्रिक्स (या अधिक सामान्यतः एक सामान्य मैट्रिक्स) है, के eigenvectors का लम्बवत आधार बनाने के लिए चुना जा सकता है , और एकात्मक मैट्रिक्स के रूप में चुना जा सकता है। यदि इसके अतिरिक्त, एक वास्तविक सममित मैट्रिक्स है, तो इसके eigenvectors को ऑर्थोनॉर्मल आधार के रूप में चुना जा सकता है और एक ऑर्थोगोनल मैट्रिक्स के रूप में चुना जा सकता है।
अधिकांश व्यावहारिक कार्यों के लिए मैट्रिक्स को कंप्यूटर सॉफ़्टवेयर का उपयोग करके संख्यात्मक रूप से विकर्ण किया जाता है। इसे पूरा करने के लिए eigenvalue एल्गोरिदम मौजूद है।
एक साथ विकर्णीकरण
यदि एकल व्युत्क्रमणीय मैट्रिक्स मौजूद है तो मैट्रिक्स के एक सेट को एक साथ विकर्णीय कहा जाता है ऐसा है कि प्रत्येक के लिए एक विकर्ण मैट्रिक्स है सेट में. निम्नलिखित प्रमेय एक साथ विकर्णीय मैट्रिक्स की विशेषता बताता है: विकर्ण आवागमन मैट्रिसेस का एक सेट यदि और केवल यदि सेट एक साथ विकर्ण योग्य है।[1]: p. 64
सबका सेट विकर्णीय मैट्रिक्स (ओवर)। ) साथ एक साथ विकर्णीय नहीं है। उदाहरण के लिए, मैट्रिक्स
विकर्णीय हैं लेकिन एक साथ विकर्णीय नहीं हैं क्योंकि वे गति नहीं करते हैं।
एक सेट में सामान्य मैट्रिक्स को कम्यूट करना शामिल होता है यदि और केवल तभी जब यह एक एकात्मक मैट्रिक्स द्वारा एक साथ विकर्ण योग्य हो; अर्थात्, एक एकात्मक मैट्रिक्स मौजूद है ऐसा है कि प्रत्येक के लिए विकर्ण है सेट में.
लाई सिद्धांत की भाषा में, एक साथ विकर्ण मैट्रिक्स का एक सेट एक टोरल लाई बीजगणित उत्पन्न करता है।
उदाहरण
विकर्णीय आव्यूह
- इनवोल्यूशन (गणित) वास्तविक (और वास्तव में 2 नहीं बल्कि विशेषता वाले किसी भी क्षेत्र) पर विकर्णीय है, विकर्ण पर ±1 के साथ।
- परिमित क्रम एंडोमोर्फिज्म विकर्णीय हैं (या कोई भी बीजगणितीय रूप से बंद क्षेत्र जहां क्षेत्र की विशेषता एंडोमोर्फिज्म के क्रम को विभाजित नहीं करती है) विकर्ण पर एकता की जड़ों के साथ। यह इस प्रकार है क्योंकि न्यूनतम बहुपद वियोज्य बहुपद है, क्योंकि एकता की जड़ें अलग-अलग हैं।
- प्रक्षेपण (रैखिक बीजगणित) विकर्णीय हैं, विकर्ण पर 0s और 1s हैं।
- वास्तविक सममित मैट्रिक्स ऑर्थोगोनल मैट्रिक्स द्वारा विकर्ण योग्य होते हैं; यानी, एक वास्तविक सममित मैट्रिक्स दिया गया है , कुछ ऑर्थोगोनल मैट्रिक्स के लिए विकर्ण है . अधिक सामान्यतः, आव्यूह एकात्मक आव्यूह द्वारा विकर्णीय होते हैं यदि और केवल यदि वे सामान्य आव्यूह हों। वास्तविक सममित मैट्रिक्स के मामले में, हम इसे देखते हैं , इतना स्पष्ट रूप से धारण करता है. सामान्य मैट्रिक्स के उदाहरण वास्तविक सममित (या तिरछा-सममित मैट्रिक्स | तिरछा-सममित) मैट्रिक्स (जैसे सहप्रसरण मैट्रिक्स) और हर्मिटियन मैट्रिक्स (या तिरछा-हर्मिटियन मैट्रिक्स) हैं। अनंत-आयामी वेक्टर स्थानों के सामान्यीकरण के लिए वर्णक्रमीय प्रमेय देखें।
आव्यूह जो विकर्णीय नहीं हैं
सामान्य तौर पर, एक रोटेशन मैट्रिक्स वास्तविक पर विकर्णीय नहीं होता है, लेकिन सभी रोटेशन मैट्रिक्स # स्वतंत्र विमान जटिल क्षेत्र पर विकर्ण होते हैं। यहां तक कि अगर कोई मैट्रिक्स विकर्णीय नहीं है, तो सबसे अच्छा करना हमेशा संभव होता है, और समान गुणों वाला एक मैट्रिक्स ढूंढना होता है जिसमें अग्रणी विकर्ण पर आइगेनवैल्यू होते हैं, और सुपरडायगोनल पर या तो एक या शून्य होते हैं - जिसे जॉर्डन सामान्य रूप के रूप में जाना जाता है।
कुछ मैट्रिक्स किसी भी क्षेत्र में विकर्णीय नहीं होते हैं, विशेष रूप से गैर-शून्य निलपोटेंट मैट्रिक्स। यह आम तौर पर तब होता है जब किसी आइगेनवैल्यू के आइजेनवैल्यू और आइजेनवेक्टर#बीजगणितीय बहुलता मेल नहीं खाते। उदाहरण के लिए, विचार करें
यह मैट्रिक्स विकर्णीय नहीं है: कोई मैट्रिक्स नहीं है ऐसा है कि एक विकर्ण मैट्रिक्स है. वास्तव में, इसका एक eigenvalue (अर्थात् शून्य) है और इस eigenvalue में बीजगणितीय बहुलता 2 और ज्यामितीय बहुलता 1 है।
कुछ वास्तविक मैट्रिक्स वास्तविक पर विकर्णीय नहीं होते हैं। उदाहरण के लिए मैट्रिक्स पर विचार करें
गणित का सवाल इसका कोई वास्तविक eigenvalues नहीं है, इसलिए कोई वास्तविक मैट्रिक्स नहीं है ऐसा है कि एक विकर्ण मैट्रिक्स है. हालाँकि, हम विकर्णीकरण कर सकते हैं यदि हम सम्मिश्र संख्याओं की अनुमति देते हैं। दरअसल, अगर हम लेते हैं
तब विकर्ण है. उसे ढूंढना आसान है रोटेशन मैट्रिक्स है जो कोण द्वारा वामावर्त घूमता है ध्यान दें कि उपरोक्त उदाहरण दर्शाते हैं कि विकर्णीय आव्यूहों का योग विकर्णीय होने की आवश्यकता नहीं है।
मैट्रिक्स को विकर्ण कैसे करें
किसी मैट्रिक्स को विकर्णित करना उसके आइगेनवैल्यूज़ एवं आइगेनवेक्टर्स को खोजने जैसी ही प्रक्रिया है, उस स्थिति में जब आइजेनवेक्टर एक आधार बनाते हैं। उदाहरण के लिए, मैट्रिक्स पर विचार करें
विशेषता बहुपद की जड़ें eigenvalues हैं .रेखीय प्रणाली को हल करना eigenvectors देता है और , जबकि देता है ; वह है, के लिए . ये वैक्टर एक आधार बनाते हैं , इसलिए हम उन्हें चेंज ऑफ बेसिस | चेंज-ऑफ-बेस मैट्रिक्स के कॉलम वैक्टर के रूप में इकट्ठा कर सकते हैं पाने के लिए और:
ध्यान दें कि इसमें eigenvectors का कोई पसंदीदा क्रम नहीं है ; में eigenvectors का क्रम बदलना बस विकर्ण रूप में eigenvalues के क्रम को बदलता है .[2]
मैट्रिक्स फ़ंक्शंस का अनुप्रयोग
विकर्णीकरण का उपयोग मैट्रिक्स की शक्तियों की कुशलतापूर्वक गणना करने के लिए किया जा सकता है :
और उत्तरार्द्ध की गणना करना आसान है क्योंकि इसमें केवल विकर्ण मैट्रिक्स की शक्तियां शामिल हैं। उदाहरण के लिए, मैट्रिक्स के लिए eigenvalues के साथ उपरोक्त उदाहरण में हम गणना करते हैं:
इस दृष्टिकोण को मैट्रिक्स घातांक और अन्य मैट्रिक्स फ़ंक्शन के लिए सामान्यीकृत किया जा सकता है जिन्हें पावर श्रृंखला के रूप में परिभाषित किया जा सकता है। उदाहरण के लिए, परिभाषित करना , अपने पास:
यह रैखिक पुनरावर्ती अनुक्रमों जैसे फाइबोनैचि संख्या#मैट्रिक्स फॉर्म के लिए बंद फॉर्म अभिव्यक्ति खोजने में विशेष रूप से उपयोगी है।
विशेष अनुप्रयोग
उदाहरण के लिए, निम्नलिखित मैट्रिक्स पर विचार करें:
की विभिन्न शक्तियों की गणना एक आश्चर्यजनक पैटर्न का पता चलता है:
उपरोक्त घटना को विकर्ण करके समझाया जा सकता है . इसे पूरा करने के लिए, हमें एक आधार की आवश्यकता है के eigenvectors से मिलकर बना है . ऐसा ही एक eigenvector आधार दिया गया है
कहां ईi R के मानक आधार को दर्शाता हैn. आधार का विपरीत परिवर्तन किसके द्वारा दिया गया है?
सीधी गणनाएँ यह दर्शाती हैं
इस प्रकार, ए और बी क्रमशः 'यू' और 'वी' के अनुरूप आइगेनवैल्यू हैं। मैट्रिक्स गुणन की रैखिकता से, हमारे पास वह है
मानक आधार पर वापस लौटते हुए, हमारे पास है
पूर्ववर्ती संबंध, मैट्रिक्स रूप में व्यक्त किए गए हैं
जिससे उपरोक्त घटना की व्याख्या हो सके।
क्वांटम यांत्रिक अनुप्रयोग
क्वांटम यांत्रिकी और क्वांटम रसायन शास्त्र गणना में मैट्रिक्स विकर्णीकरण सबसे अधिक बार लागू संख्यात्मक प्रक्रियाओं में से एक है। मूल कारण यह है कि समय-स्वतंत्र श्रोडिंगर समीकरण एक आइगेनवैल्यू समीकरण है, यद्यपि अधिकांश भौतिक स्थितियों में अनंत आयामी स्थान (एक हिल्बर्ट स्थान) पर होता है।
हिल्बर्ट स्पेस को सीमित आयाम तक छोटा करना एक बहुत ही सामान्य सन्निकटन है, जिसके बाद श्रोडिंगर समीकरण को वास्तविक सममित, या जटिल हर्मिटियन मैट्रिक्स की एक स्वदेशी समस्या के रूप में तैयार किया जा सकता है। औपचारिक रूप से यह सन्निकटन परिवर्तनशील सिद्धांत पर आधारित है, जो नीचे से बंधे हैमिल्टनवासियों के लिए मान्य है।
गड़बड़ी सिद्धांत (क्वांटम यांत्रिकी)#प्रथम क्रम सुधार|प्रथम-क्रम गड़बड़ी सिद्धांत भी पतित राज्यों के लिए मैट्रिक्स आइगेनवैल्यू समस्या की ओर ले जाता है।
यह भी देखें
- दोषपूर्ण मैट्रिक्स
- स्केलिंग (ज्यामिति)
- त्रिकोणीय मैट्रिक्स
- अर्धसरल ऑपरेटर
- विकर्णीय समूह
- जॉर्डन सामान्य रूप
- वजन मापांक - साहचर्य बीजगणित सामान्यीकरण
- ऑर्थोगोनल विकर्णीकरण
टिप्पणियाँ
संदर्भ
- ↑ Horn, Roger A.; Johnson, Charles R. (2013). मैट्रिक्स विश्लेषण, दूसरा संस्करण. Cambridge University Press. ISBN 9780521839402.
- ↑ Anton, H.; Rorres, C. (22 Feb 2000). प्राथमिक रैखिक बीजगणित (अनुप्रयोग संस्करण) (8th ed.). John Wiley & Sons. ISBN 978-0-471-17052-5.