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

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

अभिलक्षणिक मान क्या है?

अन्य नाम: वर्णक्रम

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

λK\lambda \in K uu का अभिलक्षणिक मान कहलाता है जब किसी x0x \neq 0 (जिसे अभिलक्षणिक सदिश कहते हैं) के लिए u(x)=λxu(x) = \lambda x हो; अभिलक्षणिक समष्टि Eλ(u)=ker(uλid)E_\lambda(u) = \ker(u - \lambda\,\mathrm{id}) है। अभिलक्षणिक मानों का समुच्चय वर्णक्रम Sp(u)\operatorname{Sp}(u) कहलाता है। कोई उपसमष्टि FF स्थायी कहलाती है जब u(F)Fu(F) \subseteq F हो; अभिलक्षणिक समष्टियाँ स्थायी होती हैं, और स्थायी उपसमष्टियाँ प्रेरित अंतःरूपांतरण uFu|_F देती हैं।

आव्यूह A = psmallmatrix2 & 1\\ 1 & 2 psmallmatrix समतल पर क्रिया करते हुए: सामान्य सदिश e_1 अपनी रेखा से हट जाता है, परंतु अभिलक्षणिक दिशाएँ v_1 = (1,1) और v_2 = (1,-1) केवल खिंचती हैं — 3 से और 1 से (अतः Av_2 = v_2: बिंदुकित प्रतिबिंब v_2 से मेल खाता है)। विकर्णन आधार (v_1, v_2) पर जाना है, जहाँ A diag(3, 1) बन जाता है।
आव्यूह A=(2112)A = \left(\begin{smallmatrix}2 & 1\\ 1 & 2\end{smallmatrix}\right) समतल पर क्रिया करते हुए: सामान्य सदिश e1e_1 अपनी रेखा से हट जाता है, परंतु अभिलक्षणिक दिशाएँ v1=(1,1)v_1 = (1,1) और v2=(1,1)v_2 = (1,-1) केवल खिंचती हैं — 33 से और 11 से (अतः Av2=v2Av_2 = v_2: बिंदुकित प्रतिबिंब v2v_2 से मेल खाता है)। विकर्णन आधार (v1,v2)(v_1, v_2) पर जाना है, जहाँ AA diag(3,1)\operatorname{diag}(3, 1) बन जाता है।

उदाहरण

उदाहरण 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 उम्मीदवारों की सूची बनाता है, पर मत केंद्रक डालते हैं।

उदाहरण 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” उस शून्यंभावी भाग की परछाईं है जिसे डनफ़र्ड अलग करके दिखाएगा।

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