रेखीय बीजगणित में, एक सामान्यीकृत ईजेनवेक्टर आव्यूह (गणित) सदिश (गणित और भौतिकी) है जो कुछ मानदंडों को पूर्ण करता है जो एक (साधारण) वेक्टर की समानता में अधिक आराम से हैं।[1]
होने देना सेम -आयामी सदिश अंतरिक्ष और चलो रेखीय मानचित्र बनें एक रेखीय मानचित्र के उदाहरण को कुछ आदेशित आधार (रैखिक बीजगणित) के संबंध में।
सदैव का पूर्ण सेट उपस्थित नहीं हो सकता है रैखिक स्वतंत्रता के ईजेनसदिश के लिए पूर्ण आधार बनाता है . अर्थात आव्यूह विकर्णीय आव्यूह नहीं हो सकता है।[2][3] यह तब होता है जब कम से कम एक आइगनमान की बीजगणितीय बहुलता इसकी ज्यामितीय बहुलता से अधिक है (कर्नेल (रैखिक बीजगणित) आव्यूह के आव्यूह गुणन के रूप में प्रतिनिधित्व , या इसके कर्नेल (रैखिक बीजगणित) का आयाम (सदिश स्थान)। इस स्थितिमें, एक दोषपूर्ण सामान्यीकृत मोडल आव्यूहकहा जाता है और दोषपूर्ण आव्यूह कहा जाता है।[4]
एक सामान्यीकृत ईजेनसदिश तदनुसार , आव्यूह के साथ रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों की एक जॉर्डन श्रृंखला उत्पन्न करें जो एक अपरिवर्तनीय उप-स्थान के लिए आधार बनाती हैं .[5][6][7]
सामान्यीकृत ईगेनसदिश्स का उपयोग करना, के रैखिक रूप से स्वतंत्र इगेनसदिश्स का एक सेट के लिए, यदि आवश्यक हो, पूर्ण आधार पर बढ़ाया जा सकता है .[8] इस आधार का उपयोग अधिकतर विकर्ण आव्यूह को निर्धारित करने के लिए किया जा सकता है जॉर्डन सामान्य रूप में, करने के लिए आव्यूह समानता, जो कुछ आव्यूह कार्यों की गणना करने में उपयोगी है .[9] गणित का सवाल साधारण अवकल समीकरण ODE की प्रणाली को हल करने में भी उपयोगी है जहाँ विकर्ण होने की आवश्यकता नहीं है।[10][11]
किसी दिए गए ईगेनवैल्यू के अनुरूप सामान्यीकृत आइगेनस्पेस का आयाम की बीजगणितीय बहुलता है .[12]
एक साधारण ईजेनसदिश को परिभाषित करने के कई समतुल्य विधि हैं।[13][14][15][16][17][18][19][20] हमारे उद्देश्यों के लिए, एक ईजेनसदिश एक eigenvalue से जुड़ा हुआ है की एक × आव्यूह जिसके लिए अशून्य सदिश है , जहाँ है × पहचान आव्यूह और लंबाई का शून्य सदिश है .[21] वह है, रैखिक परिवर्तन के कर्नेल (रैखिक बीजगणित) में है . यदि है रैखिक रूप से स्वतंत्र ईजेनसदिश, फिर विकर्ण आव्यूह के समान है . अर्थात्, एक व्युत्क्रमणीय आव्यूह उपस्थित है ऐसा है कि समानता परिवर्तन के माध्यम से विकर्ण है .[22][23] गणित का सवाल के लिए वर्णक्रमीय आव्यूह कहा जाता है . गणित का सवाल के लिए एक मोडल आव्यूह कहा जाता है .[24] विकर्णीय मेट्रिसेस विशेष रुचि रखते हैं क्योंकि उनके आव्यूह फ़ंक्शंस की आसानी से गणना की जा सकती है।[25]
वहीं दूसरी ओर यदि नहीं है इसके साथ जुड़े रैखिक रूप से स्वतंत्र ईगेनसदिश्स विकर्णीय नहीं है।[26][27]
परिभाषा: एक सदिश आव्यूह के रैंक m का सामान्यीकृत ईजेनसदिश है और ईगेनलैंड्स के अनुरूप यदि
स्पष्ट रूप से, रैंक 1 का सामान्यीकृत ईजेनसदिश एक साधारण ईजेनसदिश है।[29] प्रत्येक × आव्यूह है इसके साथ जुड़े रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश और इसे अधिकतर विकर्ण आव्यूह के समान दिखाया जा सकता है जॉर्डन में सामान्य रूप।[30] अर्थात्, एक व्युत्क्रमणीय आव्यूह उपस्थित है ऐसा है कि .[31] गणित का सवाल इस स्थितिमें सामान्यीकृत मोडल आव्यूह कहा जाता है .[32] यदि बीजगणितीय बहुलता का आइगेनमान है , तब होगा इसके अनुरूप रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश .[33] ये परिणाम, बदले में, के कुछ आव्यूह कार्यों की गणना के लिए एक सीधी विधि प्रदान करते हैं .[34]
ध्यान दें: एक के लिए आव्यूह क्षेत्र पर (गणित) जॉर्डन सामान्य रूप में अभिव्यक्त करने के लिए, के सभी ईगेनलैंड्स में होना चाहिए . अर्थात्, विशेषता बहुपद पूरी प्रकार से रैखिक कारकों में कारक होना चाहिए। उदाहरण के लिए, यदि वास्तविक संख्या | वास्तविक-मूल्यवान तत्व हैं, तो यह आवश्यक हो सकता है कि ईगेनलैंड्स और ईगेनसदिश्स के घटकों के पास जटिल संख्या हो।[35][36][37] किसी दिए गए के लिए सभी सामान्यीकृत ईगेनसदिश्स द्वारा सेट लीनियर स्पैन परिभाषा के लिए सामान्यीकृत आइगेनस्पेस बनाता है .[38]
उदाहरण
सामान्यीकृत ईजेनसदिशों की अवधारणा को स्पष्ट करने के लिए यहां कुछ उदाहरण दिए गए हैं। कुछ विवरणों का वर्णन बाद में किया जाएगा।
उदाहरण 1
यह उदाहरण सरल है किन्तुस्पष्ट रूप से बात को दर्शाता है। पाठ्यपुस्तकों में इस प्रकार के आव्यूह का प्रयोग अधिकांशतः किया जाता है।[39][40][41]
कल्पना करना
तब एकमात्र एक आइगेनवैल्यू होता है, , और इसकी बीजगणितीय बहुलता है .
ध्यान दें कि यह आव्यूह जॉर्डन सामान्य रूप में है किन्तुविकर्ण आव्यूह नहीं है। इसलिए, यह आव्यूह विकर्णीय नहीं है। चूँकि सुपरडायगोनल प्रविष्टि है, वहाँ 1 से अधिक रैंक का एक सामान्यीकृत ईजेनसदिश होगा (या कोई यह नोट कर सकता है कि सदिश स्पेस आयाम 2 का है, इसलिए रैंक 1 से अधिक का एक सामान्यीकृत ईजेनसदिश हो सकता है)। वैकल्पिक रूप से, कोई रिक्त स्थान के आयाम की गणना कर सकता है होना , और इस प्रकार वहाँ हैं 1 से अधिक रैंक के सामान्यीकृत ईजेनसदिश।
साधारण ईजेनसदिश सदैव की प्रकार गणना की जाती है (उदाहरण के लिए आइगेनवैल्यूज़ और ईजेनसदिश गणना पृष्ठ देखें)। इस ईगेनसदिश्स का उपयोग करके, हम सामान्यीकृत ईगेनसदिश्स की गणना करते हैं हल करके
मान लिखना:
यह करने के लिए सरल करता है
तत्व कोई प्रतिबंध नहीं है। रैंक 2 का सामान्यीकृत ईजेनसदिश तब है , जहाँ a का कोई भी अदिश मान हो सकता है। a = 0 का चुनाव सामान्यतः सबसे सरल होता है।
ध्यान दें कि
जिससे एक सामान्यीकृत ईजेनसदिश है,
जिससे एक साधारण ईजेनसदिश है, और वह और रैखिक रूप से स्वतंत्र हैं और इसलिए सदिश समष्टि के लिए एक आधार का निर्माण करते हैं .
उदाहरण 2
यह उदाहरण सामान्यीकृत ईजेनसदिश उदाहरण 1 की समानता में अधिक जटिल है। दुर्भाग्य से, निम्न क्रम का एक रोचक उदाहरण बनाना थोड़ा कठिन है।[42] गणित का सवाल
ईगेनवेल्यूज हैं और बीजगणितीय गुणकों के साथ और , किन्तु ज्यामितीय गुणक और .
के सामान्यीकृत ईगेंस्पेसेस नीचे गणना की जाती है।
से जुड़ा साधारण ईजेनसदिश है .
से जुड़ा एक सामान्यीकृत ईजेनसदिश है .
से जुड़ा साधारण ईजेनसदिश है .
और से जुड़े सामान्यीकृत ईजेनसदिश हैं .
इसका परिणाम प्रत्येक के सामान्यीकृत ईजेनस्पेस के लिए एक आधार के रूप में होता है .
साथ में सामान्यीकृत ईजेनसदिशों की दो श्रृंखलाएं सभी 5-आयामी स्तंभ वैक्टरों के स्थान को फैलाती हैं।
एक अधिकतर विकर्ण आव्यूह जॉर्डन में सामान्य रूप, के समान निम्नानुसार प्राप्त किया जाता है:
जहाँ के लिए एक सामान्यीकृत मोडल आव्यूह है , के स्तंभ एक कैननिकल आधार हैं#रैखिक बीजगणित के लिए , और .[43]
जॉर्डन चेन
परिभाषा: चलो आव्यूह के अनुरूप रैंक m का सामान्यीकृत ईजेनसदिश बनें और eigenvalue . द्वारा उत्पन्न श्रृंखला वैक्टर का एक सेट है द्वारा दिए गए
(1)
इस प्रकार, सामान्यतः,
(2)
सदिश , द्वारा दिए गए (2), ईगेंस्पेस के अनुरूप रैंक j का एक सामान्यीकृत ईजेनसदिश है . एक श्रृंखला वैक्टर का एक रैखिक रूप से स्वतंत्र सेट है।[44]
परिभाषा: 'एन' का एक सेट रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश एक विहित आधार है यदि यह पूरी प्रकार से जॉर्डन श्रृंखलाओं से बना है।
इस प्रकार, एक बार जब हम यह निर्धारित कर लेते हैं कि m रैंक का एक सामान्यीकृत ईजेनसदिश एक विहित आधार पर है, तो यह अनुसरण करता है कि m - 1 वैक्टर जो कि जॉर्डन श्रृंखला द्वारा उत्पन्न हैं विहित आधार पर भी हैं।[45]
होने देना का आइगेनवैल्यू हो बीजगणितीय बहुलता का . सबसे पहले, मैट्रिसेस की रैंक (रैखिक बीजगणित) (आव्यूह रैंक) खोजें . पूर्णांक जिसके लिए पहला पूर्णांक निर्धारित किया जाता है रैंक है (n पंक्तियों या स्तंभों की संख्या होने के नाते , वह है, एन × एन है)।
अब परिभाषित करें
चर ईगेनलैंड् के अनुरूप रैंक k के रैखिक रूप से स्वतंत्र सामान्यीकृत ईगेनसदिश्सकी संख्या को निर्दिष्ट करता है के लिए एक विहित आधार में दिखाई देगा . ध्यान दें कि
पूर्व अनुभागों में हमने प्राप्त करने की तकनीकों को देखा है सदिश स्थान के लिए एक विहित आधार के रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश एक के साथ जुड़ा हुआ है आव्यूह . इन तकनीकों को एक प्रक्रिया में जोड़ा जा सकता है:
के अभिलाक्षणिक बहुपद को हल कीजिए आइगेनवैल्यू के लिए और उनकी बीजगणितीय बहुलताएं ;
प्रत्येक के लिए
ठानना ;
ठानना ;
ठानना के लिए ;
प्रत्येक जॉर्डन श्रृंखला के लिए निर्धारित करें ;
उदाहरण 3
गणित का सवाल
एक आइगेनवैल्यू है बीजगणितीय बहुलता का और एक ईगेनलैंड् बीजगणितीय बहुलता का . हमारे पास भी है . के लिए अपने पास .
पहला पूर्णांक जिसके लिए रैंक है है .
अब हम परिभाषित करते हैं
परिणाम स्वरुप , तीन रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश होंगे; प्रत्येक रैंक 3, 2 और 1 में से एक। चूंकि तीन रैखिक रूप से स्वतंत्र सामान्यीकृत ईगेनलैंड्स की एक श्रृंखला से मेल खाती है, हम जानते हैं कि एक सामान्यीकृत ईगेनसदिश्स है रैंक 3 के अनुरूप ऐसा है कि
इस प्रकार, शर्तों को पूर्ण करने के लिए (3) और (4), हमारे पास यह होना चाहिए और . पर कोई प्रतिबंध नहीं लगाया गया है और . चुनने के द्वारा , हमने प्राप्त
रैंक 3 के सामान्यीकृत ईजेनसदिश के अनुरूप . ध्यान दें कि विभिन्न मानों को चुनकर रैंक 3 के असीम रूप से कई अन्य सामान्यीकृत ईजेनसदिश प्राप्त करना संभव है , और , साथ . चूँकि, हमारी पहली पसंद सबसे सरल है।[47]
अब समीकरणों का प्रयोग (1), हमने प्राप्त और क्रमशः रैंक 2 और 1 के सामान्यीकृत ईजेनसदिश के रूप में, जहां
और
सरल ईगेनवैल्यू ईगेनलैंड्स और ईगेनसदिश्स गणना का उपयोग करके निपटा जा सकता है और एक साधारण ईगेनसदिश्स है
के लिए एक विहित आधार है
और से जुड़े सामान्यीकृत ईजेनसदिश हैं , चूँकि से जुड़ा साधारण ईजेनसदिश है .
यह अधिक सरल उदाहरण है। सामान्यतः, संख्याएँ रैंक के रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों की सदैव समान नहीं रहेगा। अर्थात्, एक विशेष ईजेनवेल्यू के अनुरूप विभिन्न लंबाई की कई श्रृंखलाएं हो सकती हैं।[48]
होने देना एक n × n आव्यूह बनें। एक 'सामान्यीकृत मोडल आव्यूह' के लिए एक n × n आव्यूह है जिसके स्तंभ, जिन्हें वैक्टर माना जाता है, के लिए एक विहित आधार बनाते हैं और में दिखाई देते हैं निम्नलिखित नियमों के अनुसार:
एक सदिश (अर्थात् लंबाई में एक सदिश) से बनी सभी जॉर्डन शृंखलाएं के पहले कॉलम में दिखाई देती हैं .
एक श्रृंखला के सभी सदिश एक साथ के आसन्न स्तंभों में दिखाई देते हैं .
प्रत्येक श्रृंखला में प्रकट होता है रैंक बढ़ाने के क्रम में (अर्थात, रैंक 1 का सामान्यीकृत ईजेनसदिश उसी श्रृंखला के रैंक 2 के सामान्यीकृत ईजेनसदिश से पहले प्रकट होता है, जो उसी श्रृंखला के रैंक 3 के सामान्यीकृत ईजेनसदिश से पहले प्रकट होता है, आदि)।[49]
जॉर्डन सामान्य रूप
जॉर्डन सामान्य रूप में आव्यूह का एक उदाहरण। ग्रे ब्लॉक को जॉर्डन ब्लॉक कहा जाता है।
एक n-डायमेंशनल सदिश स्पेस बनें; में एक रेखीय नक्शा हो L(V), से सभी रैखिक मानचित्रों का सेट अपने आप में; और जाने का आव्यूह प्रतिनिधित्व हो कुछ आदेशित आधार के संबंध में। यह दिखाया जा सकता है कि यदि विशेषता बहुपद का रैखिक कारकों में कारक, जिससे रूप है
जहाँ के विशिष्ट इगनवैल्यूज़ हैं , फिर प्रत्येक इसके संगत आइगेनमान की बीजगणितीय बहुलता है और आव्यूह के समान है जॉर्डन में सामान्य रूप, जहां प्रत्येक दिखाई पड़ना विकर्ण पर लगातार बार, और सीधे प्रत्येक के ऊपर प्रवेश (अर्थात, सुपरडायगोनल पर) या तो 0 या 1 है। अन्य सभी प्रविष्टियाँ (अर्थात, विकर्ण और सुपरडायगोनल से दूर) 0 हैं। अधिक त्रुटिहीन रूप से, एक जॉर्डन आव्यूह है जिसका जॉर्डन ब्लॉक एक ही ईजेनवैल्यू के अनुरूप है, एक साथ समूहीकृत किया जाता है (किन्तु आइगेनवैल्यू के बीच कोई ऑर्डर नहीं लगाया जाता है, न ही किसी दिए गए ईजेनवेल्यू के लिए ब्लॉक के बीच)। गणित का सवाल उतना ही निकट है जितना कोई एक विकर्णीकरण के लिए आ सकता है . यदि विकर्ण योग्य है, तो विकर्ण के ऊपर की सभी प्रविष्टियाँ शून्य हैं।[50] ध्यान दें कि कुछ पाठ्यपुस्तकों में वे सबडायगोनल होते हैं, जो सुपरडायगोनल के अतिरिक्त मुख्य विकर्ण के ठीक नीचे होते हैं। इगनवैल्यूज़ अभी भी मुख्य विकर्ण पर हैं।[51][52]
हर n × n आव्यूह आव्यूह के समान है जॉर्डन में सामान्य रूप, समानता परिवर्तन के माध्यम से प्राप्त किया , जहाँ के लिए एक सामान्यीकृत मोडल आव्यूह है .[53] (ऊपर नोट देखें।)
उदाहरण 4
जॉर्डन सामान्य रूप में एक आव्यूह खोजें जो समान हो
समाधान: का अभिलाक्षणिक समीकरण है , इसलिए , एक बीजगणित समत्वता त्रिविधता घातांक है। पूर्व खंडों के प्रक्रियाओं का पालन करते हुए, हम पाते हैं कि
और
इस प्रकार, और , होता है, जिससे यह स्पष्ट होता है कि के लिए एक कैननिकल आधार श्रेणी 2 की एक असंख्यात विशिष्ट एजेंसदिश और श्रेणी 1 की दो असंख्यात विशिष्ट एजेंसदिशों का योग होगा, या समकक्ष रूप में, दो सदिशों की एक श्रेणी और सदिश की एक श्रेणी . होगी। , नामित करके, हम पाते हैं कि:
और
जहाँ के लिए एक सामान्यीकृत मोडल आव्यूह है, की स्तंभ मात्राएँ के लिए एक कैननिकल आधार हैं, और होता है।[54] ध्यान दें कि क्योंकि साधारित एजेंसदिश स्वयं में अद्वितीय नहीं होते हैं, और क्योंकि और की कुछ स्तंभ मात्राएँ परस्पर बदला जा सकता हैं, इसलिए यह अनुसरण होता है कि और दोनों अद्वितीय नहीं होते हैं।[55]
उदाहरण 5
उदाहरण 3 में, हमने एक आव्यूह के लिए रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों का एक विहित आधार पाया . के लिए एक सामान्यीकृत मोडल आव्यूह है
स्क्वायर आव्यूह पर किए जा सकने वाले तीन महत्वपूर्ण परिचालन हैं मात्रिका जोड़ना, एक स्केलर द्वारा गुणा करना, और मात्रिका गुणा हैं।[56] ये वास्तव में वे संक्रियाएँ हैं जो एक n × n आव्यूह के बहुपद फलन को परिभाषित करने के लिए आवश्यक हैं।[57] यदि हम प्राथमिक कलन से समझते हैं कि कई फ़ंक्शनों को मैकलॉरिन श्रृंखला के रूप में लिखा जा सकता है, तो हम आसानी से मात्रिकाओं के अधिक सामान्य फ़ंक्शनों की परिभाषा कर सकते हैं।[58] यदि विकर्णीय है, अर्थात्
साथ
तब
और यद्यपि के फ़ंक्शनों के लिए मैकलॉरिन श्रृंखला का मूल्यांकन काफ़ी सरल हो जाता है।[59] उदाहरण के लिए, की कोई घात k प्राप्त करने के लिए , हमें एकमात्र की गणना करनी होगी, इसे से पूर्व गुणन करें, और परिणाम को , द्वारा पूर्व गुणित करें, और द्वारा पश्चात गुणित करें।[60]
सामान्यीकृत ऐजेन्सदिश्स का उपयोग करके, हम जॉर्डन सामान्य रूप प्राप्त कर सकते हैं और इन परिणामों को नॉनडायगोनलाइज़ेबल मेट्रिसेस के कार्यों की गणना के लिए एक सीधी विधि के लिए सामान्यीकृत किया जा सकता है।[61] (आव्यूह फ़ंक्शन जॉर्डन अपघटन देखें।)
रैखिक साधारण अंतर समीकरणों की प्रणाली को हल करने की समस्या पर विचार करें
(5)
जहाँ
और
यदि आव्यूह एक विकर्ण आव्यूह है जिसके लिए होता है जब , तो प्रणाली (5) को n समीकरणों की प्रणाली में संक्षेपित किया जा सकता है जो इस प्रारूप में होती हैं:
(6)
इस स्थिति में, सामान्य समाधान द्वारा दिया गया है
सामान्य स्थिति में, हम विकर्ण को विस्तारयुक्त करने और प्रणाली (5) को (6) जैसी एक प्रणाली में संक्षेपित करने की कोशिश करते हैं। यदि विकर्णीय होता है, तो हमें के लिए जैसा होगा, जहाँ के लिए एक मॉडल आव्यूह है। इसके प्रयोग से, समीकरण(5) का प्रारूप इस प्रकार होगा , या
(5) की समाधान उपयोग करके प्राप्त किया जाता है जिसमें सम्बंध (8) का उपयोग होता है।[62]
वहीं दूसरी ओर यदि विस्तारयुक्त नहीं है, तो हम के लिए एक साधारित मोडल मात्रिका चुनते हैं, जिसके लिए जॉर्डन साधारित प्रारूप होता है। प्रणाली का प्रारूप होता है।
(9)
जहां के मुख्य विकर्ण से आइगेनमान हैं और के सुपरडाइगोनल से से 0 और 1 हैं। . प्रणाली (9) सामान्यतः (5) से आसानी से हल होती है। (9) में अंतिम समीकरण को , प्राप्त करना . इसके बाद हम इस समाधान को प्रतिस्थापित करते हैं । फिर हम इस समाधान को के लिए (9) में पूर्व से दूसरे समीकरण में उपयोग करते हैं और उसे हल करते हैं। इस प्रक्रिया को जारी रखते हुए हम (9) में अंत से पहले समीकरण तक काम करते हैं, जिससे हम पूरी प्रणाली को के लिए हल करते हैं। अंतिम उत्तर का प्राप्त होता है जिसका सम्बंध (8) से होता है।[63]
लेम्मा: लंबाई r के सामान्यीकृत ईजेनसदिश की निम्नलिखित श्रृंखला को देखते हुए: