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

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

द्विघात रूप क्या है?

अन्य नाम: ध्रुवण सर्वसमिका · सर्वांगसम आव्यूह

परिभाषा 12.1 विश्वविद्यालय गणित — स्नातक वर्ष 2 · अध्याय 12 — द्विघात रूप

किसी वास्तविक सदिश समष्टि EE पर सममित द्विरैखिक रूप ऐसा द्विरैखिक φ ⁣:E×ER\varphi \colon E \times E \to \R है जिसके लिए φ(x,y)=φ(y,x)\varphi(x, y) = \varphi(y, x); और उससे जुड़ा द्विघात रूप q(x)=φ(x,x)q(x) = \varphi(x, x) है। qq से φ\varphi ध्रुवण द्वारा पुनः प्राप्त होता है:

φ(x,y)=12(q(x+y)q(x)q(y)).\varphi(x, y) = \tfrac12\bigl(q(x + y) - q(x) - q(y)\bigr).

किसी आधार (ei)(e_i) में φ\varphi का आव्यूह सममित B=(φ(ei,ej))B = (\varphi(e_i, e_j)) है, जहाँ q(x)=XTBXq(x) = X^{\mathsf T} B X; और आव्यूह PP वाले आधार-परिवर्तन से BB के स्थान पर PTBPP^{\mathsf T} B P आ जाता है (सर्वांगसमता — सादृश्यता नहीं!)। qq की कोटि rkB\operatorname{rk} B है (जो अपरिवर्त्य है: सर्वांगसमता प्रतिलोमनीय आव्यूहों से गुणा करती है)।

उदाहरण

उदाहरण 12.3 (सर्वांगसमता क्रिया में)

q(x,y)=x2+4xy+y2q(x, y) = x^2 + 4xy + y^2 (आव्यूह B=(1221)B = \begin{pmatrix} 1 & 2\\ 2 & 1\end{pmatrix}) और नया आधार e1=(1,1)e_1' = (1, 1), e2=(1,1)e_2' = (1, -1) लीजिए, अर्थात् P=(1111)P = \begin{pmatrix} 1 & 1\\ 1 & -1\end{pmatrix}। तब

PTBP=(1111)(1221)(1111)=(6002):P^{\mathsf T}BP = \begin{pmatrix} 1 & 1\\ 1 & -1\end{pmatrix} \begin{pmatrix} 1 & 2\\ 2 & 1\end{pmatrix} \begin{pmatrix} 1 & 1\\ 1 & -1\end{pmatrix} = \begin{pmatrix} 6 & 0\\ 0 & -2\end{pmatrix} :

और नए आधार के अनुदिश निर्देशांकों (u,v)(u, v) में q=6u22v2q = 6u^2 - 2v^2 — जाँचिए: x=u+vx = u + v, y=uvy = u - v सीधे x2+4xy+y2=6u22v2x^2 + 4xy + y^2 = 6u^2 - 2v^2 देता है। ध्यान दीजिए कि नई विकर्ण प्रविष्टियाँ 6,26, -2 BB के अभिलक्षणिक मान 3,13, -1 नहीं हैं: सर्वांगसमता मापन बदल देती है, केवल सादृश्यता वर्णक्रम सुरक्षित रखती है — परंतु चिह्न मेल खाते हैं, जैसा सिल्वेस्टर की प्रमेय माँगती है। (यहाँ आधार लांबिक तो है पर प्रसामान्य नहीं; 12\frac{1}{\sqrt2} से उसे सामान्यीकृत करने पर विकर्ण 22 से विभाजित हो जाता और अभिलक्षणिक मान लौट आते।)

उदाहरण 12.4 (ग्राम सारणिक क्षेत्रफल मापते हैं)

किसी यूक्लिडीय समष्टि में v1,v2v_1, v_2 के लिए ग्राम आव्यूह G=(vi,vj)G = \bigl(\langle v_i, v_j\rangle\bigr) लंबाइयाँ और कोण समेट लेता है; और उसका सारणिक क्षेत्रफल समेटता है:

detG=v12v22v1,v22=v12v22(1cos2θ)=(v1v2sinθ)2,\det G = \norm{v_1}^2\norm{v_2}^2 - \langle v_1, v_2\rangle^2 = \norm{v_1}^2\norm{v_2}^2\bigl(1 - \cos^2\theta\bigr) = \bigl(\norm{v_1}\,\norm{v_2}\sin\theta\bigr)^2 ,

अर्थात् v1,v2v_1, v_2 पर बने समांतर चतुर्भुज के क्षेत्रफल का वर्ग — और कोशी–श्वार्ज़ ठीक यही कथन है कि detG0\det G \geq 0। किया हुआ उदाहरण: R3\R^3 में v1=(1,2,2)v_1 = (1, 2, 2), v2=(2,1,2)v_2 = (2, 1, -2):

G=(9009),detG=81:G = \begin{pmatrix} 9 & 0\\ 0 & 9 \end{pmatrix}, \qquad \det G = 81 :

अर्थात् सदिश लंबाई 33 के लांबिक सदिश हैं, जो क्षेत्रफल 81=9\sqrt{81} = 9 वाला समांतर चतुर्भुज (यहाँ वर्ग) घेरते हैं। समापन दृष्टि: यहाँ न कोई सदिश गुणनफल प्रयुक्त हुआ न विमा-33 वाला कोई जादू — detG\sqrt{\det G} किसी भी विमा में kk-विमीय आयतन मापता है, और यही सप्ताहांत समस्या के भाग I का तथा इसी खंड के आगे आने वाले पृष्ठ-क्षेत्रफल समाकलों का आरंभ-बिंदु है।

उदाहरण 12.16

A=(2112)A = \begin{pmatrix} 2 & 1\\ 1 & 2 \end{pmatrix}: अभिलक्षणिक मान 33 (अभिलक्षणिक सदिश 12(1,1)\frac{1}{\sqrt2}(1,1)) और 11 (12(1,1)\frac{1}{\sqrt2}(1,-1))। द्विघात रूप 2x2+2xy+2y22x^2 + 2xy + 2y^2 घूर्णित प्रसामान्य लांबिक निर्देश-तंत्र में 3X2+Y23X^2 + Y^2 बन जाता है: अर्थात् किसी दीर्घवृत्त के मुख्य अक्ष, परिकलित। गाउस समानयन भी किसी विकर्ण रूप तक पहुँच जाता है, पर वर्णक्रमीय प्रमेय ही उस तक लंबाइयाँ विकृत किए बिना पहुँचती है।

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