परिचय GitHub Coach लॉग इन पढ़ना शुरू करें

गणित · शब्दावली

विकर्णनीय, त्रिभुजनीय क्या है?

अन्य नाम: विकर्णनीय · त्रिभुजनीय

परिभाषा 3.5 विश्वविद्यालय गणित — स्नातक वर्ष 2 · अध्याय 3 — अंतःरूपांतरणों का समानयन

uu विकर्णनीय कहलाता है जब EE का कोई आधार अभिलक्षणिक सदिशों से बना हो (आव्यूह के लिए: किसी विकर्ण आव्यूह के सदृश); और त्रिभुजनीय तब जब किसी आधार में उसका आव्यूह ऊपरी त्रिभुजाकार हो।

उदाहरण

उदाहरण 3.8 (विकर्णन काम पर)

A=I+J=(211121112)A = I + J = \left(\begin{smallmatrix}2 & 1 & 1\\ 1 & 2 & 1\\ 1 & 1 & 2\end{smallmatrix}\right), जहाँ JJ सर्व-एक आव्यूह है: Sp(J)={3,0}\operatorname{Sp}(J) = \{3, 0\} से (उदाहरण 2.19), Sp(A)={4,1}\operatorname{Sp}(A) = \{4, 1\}, और अभिलक्षणिक समष्टियाँ R(1,1,1)\R(1,1,1) तथा समतल {x+y+z=0}\{x + y + z = 0\} हैं: विमाएँ 1+2=31 + 2 = 3, अतः विकर्णनीय (प्रमेय 3.6 (2))। बिना किसी आधार-परिवर्तन आव्यूह के घातें: R(1,1,1)\R(1,1,1) पर प्रक्षेपक Π=J/3\Pi = J/3 लेने पर,

A=4Π+1(IΠ)Ak=4kΠ+(IΠ)=4k13J+I.A = 4\,\Pi + 1\cdot(I - \Pi) \quad\Longrightarrow\quad A^k = 4^k\,\Pi + (I - \Pi) = \frac{4^k - 1}{3}\,J + I .

(k=1k = 1 जाँचिए: 413J+I=A\frac{4-1}3 J + I = A।) समापन दृष्टि: जब अभिलक्षणिक समष्टियाँ दिखाई देती हों, तब वर्णक्रमीय प्रक्षेपक घातें PDP1PDP^{-1} से कहीं तेज़ी से परिकलित कर देते हैं — और सूत्र गतिकी भी दिखा देता है: AkA^k (1,1,1)(1,1,1) के अनुदिश 4k4^k की तरह बढ़ता है और लांबिक समतल पर जहाँ का तहाँ रहता है।

उदाहरण 3.10 (हाथ से त्रिभुजन)

B=(3111)B = \begin{pmatrix}3 & -1\\ 1 & 1\end{pmatrix}: χB=X24X+4=(X2)2\chi_B = X^2 - 4X + 4 = (X - 2)^2, और ker(B2I)=ker(1111)\ker(B - 2I) = \ker\left(\begin{smallmatrix}1 & -1\\ 1 & -1\end{smallmatrix}\right) e1=(1,1)e_1' = (1, 1) से फैली रेखा है: अर्थात् एक अभिलक्षणिक मान, और एक-विमीय अभिलक्षणिक समष्टिविकर्णनीय नहीं, पर त्रिभुजनीय (प्रमेय 3.9)। आधार को e2=(1,0)e_2' = (1, 0) से पूरा कीजिए और परिकलित कीजिए:

u(e1)=(2,2)=2e1,u(e2)=(3,1)=1e1+2e2,u(e_1') = (2, 2) = 2e_1', \qquad u(e_2') = (3, 1) = 1\cdot e_1' + 2\, e_2' ,

अतः आधार (e1,e2)(e_1', e_2') में आव्यूह T=(2102)T = \left(\begin{smallmatrix}2 & 1\\ 0 & 2\end{smallmatrix}\right) है। समापन दृष्टि: TT का विकर्ण बाध्य था (दोनों प्रविष्टियों को दोहरा अभिलक्षणिक मान 22 होना ही था); केवल कोने वाली प्रविष्टि e2e_2' के चुनाव पर निर्भर थी, और e2e_2' का मापन बदलकर उसे कोई भी अशून्य मान बनाया जा सकता है — अड़ियल “11” उस शून्यंभावी भाग की परछाईं है जिसे डनफ़र्ड अलग करके दिखाएगा।

उदाहरण 3.4 (एक ही χ\chi, भिन्न ज्यामिति)

आव्यूह

(2002)तथा(2102)\begin{pmatrix}2 & 0\\ 0 & 2\end{pmatrix} \qquad\text{तथा}\qquad \begin{pmatrix}2 & 1\\ 0 & 2\end{pmatrix}

का अभिलक्षणिक बहुपद (X2)2(X - 2)^2, अनुरेख, सारणिक और वर्णक्रम एक ही हैं — फिर भी वे सदृश नहीं हैं: पहले का E2E_2 विमा 22 का है (ज्यामितीय बहुलता 22), दूसरे का विमा 11 का। अभिलक्षणिक बहुपद केवल बीजीय बहुलताएँ देखता है; अभिलक्षणिक समष्टियों की विमाएँ सूक्ष्मतर अपरिवर्त्य हैं, और न्यूनतम बहुपद निर्णय करता है (X2X - 2 बनाम (X2)2(X - 2)^2)। विकर्णनीयता की हर चर्चा के लिए सार: χ\chi उम्मीदवारों की सूची बनाता है, पर मत केंद्रक डालते हैं।

अध्याय में पढ़ें →