सममित मैट्रिक्स

From alpha
Jump to navigation Jump to search

5×5 मैट्रिक्स की समरूपता

रेखीय बीजगणित में, एक सममित मैट्रिक्स एक वर्ग मैट्रिक्स है जो इसके स्थानान्तरण के बराबर है। औपचारिक रूप से,

क्योंकि समान आव्यूहों के समान आयाम होते हैं, केवल वर्ग आव्यूह ही सममित हो सकते हैं।

एक सममित मैट्रिक्स की प्रविष्टियाँ मुख्य विकर्ण के संबंध में सममित हैं। तो यदि में प्रवेश दर्शाता है वीं पंक्ति और वें स्तंभ तब

सभी सूचकांकों के लिए और प्रत्येक वर्ग विकर्ण मैट्रिक्स सममित है, क्योंकि सभी ऑफ-विकर्ण तत्व शून्य हैं। इसी तरह विशेषता (बीजगणित) में 2 से भिन्न, तिरछा-सममित मैट्रिक्स का प्रत्येक विकर्ण तत्व शून्य होना चाहिए, क्योंकि प्रत्येक का अपना नकारात्मक है।

रैखिक बीजगणित में, एक वास्तविक संख्या सममित मैट्रिक्स एक स्व-संलग्न ऑपरेटर का प्रतिनिधित्व करता है[1] एक वास्तविक संख्या आंतरिक उत्पाद स्थान पर एक ऑर्थोनॉर्मल आधार पर प्रतिनिधित्व किया। एक जटिल संख्या आंतरिक उत्पाद स्थान के लिए संबंधित वस्तु जटिल-मूल्यवान प्रविष्टियों के साथ एक हर्मिटियन मैट्रिक्स है, जो इसके संयुग्मित स्थानान्तरण के बराबर है। इसलिए, जटिल संख्याओं पर रैखिक बीजगणित में, यह अक्सर माना जाता है कि एक सममित मैट्रिक्स एक को संदर्भित करता है जिसमें वास्तविक-मूल्यवान प्रविष्टियां होती हैं। सममित मैट्रिसेस विभिन्न प्रकार के अनुप्रयोगों में स्वाभाविक रूप से दिखाई देते हैं, और विशिष्ट संख्यात्मक रैखिक बीजगणित सॉफ्टवेयर उनके लिए विशेष स्थान बनाता है।

उदाहरण

निम्नलिखित मैट्रिक्स सममित है:


गुण

मूल गुण

  • दो सममित आव्यूहों का योग और अंतर सममित होता है।
  • यह मैट्रिक्स गुणन के लिए हमेशा सही नहीं होता है: दिए गए सममित मैट्रिक्स और , तब सममित है अगर और केवल अगर और कम्यूटेटिविटी, यानी, अगर .
  • किसी भी पूर्णांक के लिए , सममित है अगर सममित है।
  • यदि मौजूद है, यह सममित है अगर और केवल अगर सममित है।
  • एक सममित मैट्रिक्स की रैंक के गैर-शून्य eigenvalues ​​​​की संख्या के बराबर है .

=== सममित और तिरछा-सममित === में अपघटन किसी भी वर्ग मैट्रिक्स को विशिष्ट रूप से एक सममित और तिरछा-सममित मैट्रिक्स के योग के रूप में लिखा जा सकता है। इस अपघटन को टोप्लिट्ज अपघटन के रूप में जाना जाता है। होने देना के स्थान को निरूपित करें मैट्रिक्स। यदि के स्थान को दर्शाता है सममित matrices और का स्थान तिरछा-सममित मैट्रिक्स तब और , अर्थात।

कहां मॉड्यूल के प्रत्यक्ष योग को दर्शाता है। होने देना तब
नोटिस जो और . यह हर वर्ग मैट्रिक्स के लिए सही है किसी भी क्षेत्र (गणित) की प्रविष्टियों के साथ जिसकी विशेषता (बीजगणित) 2 से भिन्न है।

एक सममित मैट्रिक्स द्वारा निर्धारित किया जाता है स्केलर्स (मुख्य विकर्ण पर या उसके ऊपर की प्रविष्टियों की संख्या)। इसी तरह, एक तिरछा-सममित मैट्रिक्स द्वारा निर्धारित किया जाता है स्केलर्स (मुख्य विकर्ण के ऊपर प्रविष्टियों की संख्या)।

=== एक सममित मैट्रिक्स === के अनुरूप मैट्रिक्स सममित मैट्रिक्स के लिए कोई भी मैट्रिक्स मैट्रिक्स समरूपता फिर से सममित है: यदि एक सममित मैट्रिक्स है, तो ऐसा है किसी भी मैट्रिक्स के लिए .

=== समरूपता का तात्पर्य सामान्यता === से है ए (वास्तविक-मूल्यवान) सममित मैट्रिक्स आवश्यक रूप से एक सामान्य मैट्रिक्स है।

वास्तविक सममित मैट्रिक्स

द्वारा निरूपित करें मानक आंतरिक उत्पाद पर . असली आव्यूह सममित है अगर और केवल अगर

चूंकि यह परिभाषा आधार (रैखिक बीजगणित) की पसंद से स्वतंत्र है, समरूपता एक संपत्ति है जो केवल रैखिक ऑपरेटर ए और आंतरिक उत्पाद की पसंद पर निर्भर करती है। समरूपता का यह लक्षण वर्णन उपयोगी है, उदाहरण के लिए, विभेदक ज्यामिति में, प्रत्येक स्पर्शरेखा स्थान के लिए कई गुना एक आंतरिक उत्पाद के साथ संपन्न हो सकता है, जिसे रिमेंनियन मैनिफोल्ड कहा जाता है। एक अन्य क्षेत्र जहां इस फॉर्मूलेशन का उपयोग किया जाता है वह हिल्बर्ट रिक्त स्थान में है।

परिमित-आयामी वर्णक्रमीय प्रमेय कहता है कि कोई भी सममित मैट्रिक्स जिसकी प्रविष्टियाँ वास्तविक संख्या हैं, एक ओर्थोगोनल मैट्रिक्स द्वारा विकर्ण मैट्रिक्स हो सकता है। अधिक स्पष्ट रूप से: प्रत्येक वास्तविक सममित मैट्रिक्स के लिए एक वास्तविक ऑर्थोगोनल मैट्रिक्स मौजूद है ऐसा है कि एक विकर्ण मैट्रिक्स है। प्रत्येक वास्तविक सममित मैट्रिक्स इस प्रकार, एक ऑर्थोनॉर्मल आधार, एक विकर्ण मैट्रिक्स की पसंद तक है।

यदि और हैं वास्तविक सममित मेट्रिसेस जो यात्रा करते हैं, फिर उन्हें एक साथ विकर्ण किया जा सकता है: इसका एक आधार मौजूद है जैसे कि आधार का प्रत्येक तत्व दोनों के लिए एक ईजेनवेक्टर है और .

हर वास्तविक सममित मैट्रिक्स हर्मिटियन मैट्रिक्स है, और इसलिए इसके सभी आइगेनवैल्यू वास्तविक हैं। (वास्तव में, eigenvalues ​​​​विकर्ण मैट्रिक्स में प्रविष्टियां हैं (ऊपर), और इसलिए द्वारा विशिष्ट रूप से निर्धारित किया जाता है इसकी प्रविष्टियों के क्रम तक।) अनिवार्य रूप से, वास्तविक मैट्रिसेस के लिए सममित होने की संपत्ति जटिल मैट्रिसेस के लिए हर्मिटियन होने की संपत्ति से मेल खाती है।

जटिल सममित मैट्रिक्स

एकात्मक मैट्रिक्स का उपयोग करके एक जटिल सममित मैट्रिक्स को 'विकर्ण' किया जा सकता है: इस प्रकार यदि एक जटिल सममित मैट्रिक्स है, एक एकात्मक मैट्रिक्स है ऐसा है कि गैर-नकारात्मक प्रविष्टियों वाला एक वास्तविक विकर्ण मैट्रिक्स है। इस परिणाम को Autonne-Takagi गुणनखंड कहा जाता है। यह मूल रूप से लियोन ऑटोन (1915) और तीजी ताकगी (1925) द्वारा सिद्ध किया गया था और कई अन्य गणितज्ञों द्वारा अलग-अलग प्रमाणों के साथ फिर से खोजा गया था।[2][3] वास्तव में, मैट्रिक्स एक मैट्रिक्स की हर्मिटियन और निश्चितता है | सकारात्मक अर्ध-निश्चित, इसलिए एक एकात्मक मैट्रिक्स है ऐसा है कि गैर-ऋणात्मक वास्तविक प्रविष्टियों के साथ विकर्ण है। इस प्रकार के साथ जटिल सममित है वास्तविक। लिखना साथ और वास्तविक सममित मैट्रिसेस, . इस प्रकार . तब से और यात्रा, एक वास्तविक ऑर्थोगोनल मैट्रिक्स है ऐसा कि दोनों और विकर्ण हैं। स्थापना (एकात्मक मैट्रिक्स), मैट्रिक्स जटिल विकर्ण है। पूर्व गुणन एक उपयुक्त विकर्ण एकात्मक मैट्रिक्स द्वारा (जो एकता को बरकरार रखता है ), की विकर्ण प्रविष्टियाँ वांछित के रूप में वास्तविक और गैर-नकारात्मक बनाया जा सकता है। इस मैट्रिक्स का निर्माण करने के लिए, हम विकर्ण मैट्रिक्स को व्यक्त करते हैं . हम जिस मैट्रिक्स की तलाश कर रहे हैं, वह बस द्वारा दी गई है . स्पष्ट रूप से इच्छानुसार, इसलिए हम संशोधन करते हैं . चूंकि उनके वर्ग के eigenvalues ​​​​हैं , वे के विलक्षण मूल्यों के साथ मेल खाते हैं . (ध्यान दें, एक जटिल सममित मैट्रिक्स के ईजन-अपघटन के बारे में , जॉर्डन का सामान्य रूप विकर्ण नहीं हो सकता है, इसलिए किसी भी समानता परिवर्तन द्वारा विकर्ण नहीं किया जा सकता है।)

अपघटन

जॉर्डन सामान्य रूप का उपयोग करके, कोई यह साबित कर सकता है कि प्रत्येक वर्ग वास्तविक मैट्रिक्स को दो वास्तविक सममित मैट्रिक्स के उत्पाद के रूप में लिखा जा सकता है, और प्रत्येक वर्ग जटिल मैट्रिक्स को दो जटिल सममित मैट्रिक्स के उत्पाद के रूप में लिखा जा सकता है।[4] प्रत्येक वास्तविक गैर-एकवचन मैट्रिक्स को ऑर्थोगोनल मैट्रिक्स और एक सममित सकारात्मक निश्चित मैट्रिक्स के उत्पाद के रूप में विशिष्ट रूप से कारक बनाया जा सकता है, जिसे ध्रुवीय अपघटन कहा जाता है। एकवचन आव्यूहों का गुणनखंडन भी किया जा सकता है, लेकिन विशिष्ट रूप से नहीं।

Cholesky अपघटन बताता है कि प्रत्येक वास्तविक सकारात्मक-निश्चित सममित मैट्रिक्स निम्न-त्रिकोणीय मैट्रिक्स का एक उत्पाद है और इसका स्थानान्तरण,

यदि मैट्रिक्स सममित अनिश्चित है, तो इसे अभी भी विघटित किया जा सकता है कहां एक क्रमपरिवर्तन मैट्रिक्स है (पिवट तत्व की आवश्यकता से उत्पन्न), एक निचली इकाई त्रिकोणीय मैट्रिक्स, और [relevant?] सममित का प्रत्यक्ष योग है और ब्लॉक, जिसे बंच-कॉफ़मैन अपघटन कहा जाता है [5] एक सामान्य (जटिल) सममित मैट्रिक्स दोषपूर्ण मैट्रिक्स हो सकता है और इस प्रकार विकर्ण नहीं हो सकता है। यदि विकर्णीय है इसे इस रूप में विघटित किया जा सकता है
कहां एक ऑर्थोगोनल मैट्रिक्स है , और के eigenvalues ​​​​का एक विकर्ण मैट्रिक्स है . विशेष मामले में कि वास्तविक सममित है, तब और वास्तविक भी हैं। रूढ़िवादिता देखने के लिए, मान लीजिए और अलग-अलग eigenvalues ​​​​के अनुरूप eigenvectors हैं , . फिर
तब से और विशिष्ट हैं, हमारे पास है .

हेसियन

सममित वास्तविक फलन के आव्यूह दो अवकलनीय फलन के हेस्सियन आव्यूह के रूप में प्रकट होते हैं वास्तविक चर (दूसरे व्युत्पन्न की निरंतरता की आवश्यकता नहीं है, इसके विपरीत आम धारणा के बावजूद[6]).

प्रत्येक द्विघात रूप पर रूप में विशिष्ट रूप से लिखा जा सकता है एक सममित के साथ आव्यूह . उपरोक्त वर्णक्रमीय प्रमेय के कारण, तब कोई यह कह सकता है कि प्रत्येक द्विघात रूप, ऑर्थोनॉर्मल आधार की पसंद तक , की तरह लगता है

वास्तविक संख्या के साथ . यह द्विघात रूपों के अध्ययन के साथ-साथ स्तर सेट के अध्ययन को काफी सरल करता है जो शंकु वर्गों के सामान्यीकरण हैं।

यह आंशिक रूप से महत्वपूर्ण है क्योंकि प्रत्येक सुचारू बहु-चर फ़ंक्शन के दूसरे क्रम के व्यवहार को फ़ंक्शन के हेस्सियन से संबंधित द्विघात रूप द्वारा वर्णित किया गया है; यह टेलर के प्रमेय का परिणाम है।

सममित मैट्रिक्स

एक आव्यूह सममित कहा जाता है यदि कोई व्युत्क्रमणीय विकर्ण मैट्रिक्स मौजूद है और सममित मैट्रिक्स ऐसा है कि एक सममित मैट्रिक्स का स्थानान्तरण सममित है, क्योंकि और सममित है। एक मैट्रिक्स सममित है अगर और केवल अगर निम्नलिखित शर्तें पूरी होती हैं:

  1. तात्पर्य सबके लिए
  2. किसी भी परिमित क्रम के लिए


यह भी देखें

स्क्वायर मैट्रिसेस में अन्य प्रकार की समरूपता या पैटर्न के विशेष नाम हैं; उदाहरण के लिए देखें:

  • तिरछा-सममित मैट्रिक्स (जिसे एंटीसिमेट्रिक या एंटीमेट्रिक भी कहा जाता है)
  • सेंट्रोसिमेट्रिक मैट्रिक्स
  • सर्कुलेंट मैट्रिक्स
  • सहप्रसरण आव्यूह
  • कॉक्सेटर मैट्रिक्स
  • जीसीडी मैट्रिक्स
  • हैंकेल मैट्रिक्स
  • हिल्बर्ट मैट्रिक्स
  • पर्सिमेट्रिक मैट्रिक्स
  • सिल्वेस्टर का जड़त्व का नियम
  • टोप्लिट्ज मैट्रिक्स
  • ट्रांसपोजिशन मैट्रिक्स

गणित में समरूपता भी देखें।

टिप्पणियाँ

  1. Jesús Rojo García (1986). Álgebra lineal (in español) (2nd ed.). Editorial AC. ISBN 84-7288-120-2.
  2. Horn, R.A.; Johnson, C.R. (2013). Matrix analysis (2nd ed.). Cambridge University Press. pp. 263, 278. MR 2978290.
  3. See:
    • Autonne, L. (1915), "Sur les matrices hypohermitiennes et sur les matrices unitaires", Ann. Univ. Lyon, 38: 1–77
    • Takagi, T. (1925), "On an algebraic problem related to an analytic theorem of Carathéodory and Fejér and on an allied theorem of Landau", Jpn. J. Math., 1: 83–93, doi:10.4099/jjm1924.1.0_83
    • Siegel, Carl Ludwig (1943), "Symplectic Geometry", American Journal of Mathematics, 65 (1): 1–86, doi:10.2307/2371774, JSTOR 2371774, Lemma 1, page 12
    • Hua, L.-K. (1944), "On the theory of automorphic functions of a matrix variable I–geometric basis", Amer. J. Math., 66 (3): 470–488, doi:10.2307/2371910, JSTOR 2371910
    • Schur, I. (1945), "Ein Satz über quadratische Formen mit komplexen Koeffizienten", Amer. J. Math., 67 (4): 472–480, doi:10.2307/2371974, JSTOR 2371974
    • Benedetti, R.; Cragnolini, P. (1984), "On simultaneous diagonalization of one Hermitian and one symmetric form", Linear Algebra Appl., 57: 215–226, doi:10.1016/0024-3795(84)90189-7
  4. Bosch, A. J. (1986). "The factorization of a square matrix into two symmetric matrices". American Mathematical Monthly. 93 (6): 462–464. doi:10.2307/2323471. JSTOR 2323471.
  5. G.H. Golub, C.F. van Loan. (1996). Matrix Computations. The Johns Hopkins University Press, Baltimore, London.
  6. Dieudonné, Jean A. (1969). Foundations of Modern Analysis (Enlarged and Corrected printing ed.). Academic Press. pp. Theorem (8.12.2), p. 180. ISBN 978-1443724265.


संदर्भ

  • Horn, Roger A.; Johnson, Charles R. (2013), Matrix analysis (2nd ed.), Cambridge University Press, ISBN 978-0-521-54823-6


बाहरी कड़ियाँ