सममित द्विरेखीय रूप

गणित में, सदिश समष्टि पर सममित द्विरेखीय रूप, में समष्टि की दो प्रतियों से अदिश (गणित) के क्षेत्र (गणित) तक द्विरेखीय मानचित्र होता है, जिसमें दो सदिशों का क्रम मानचित्र के मान को प्रभावित नहीं करता है। दूसरे शब्दों में, यह द्विरेखीय मानचित्र फलन है, $B$ जो प्रत्येक जोड़ी को मैप करता है, $(u,v)$ सदिश समष्टि के तत्वों की $V$ अंतर्निहित क्षेत्र के लिए जैसे कि $B(u,v)=B(v,u)$ हर के लिए $u$ और $v$ में $V$ है। जब बिलिनियर को समझा जाता है तो उन्हें अधिक संक्षेप में मात्र सममित के रूप में संदर्भित किया जाता है।

परिमित-आयामी सदिश रिक्त समष्टि पर सममित द्विरेखीय रूप में सममित आव्यूह के अनुरूप होते हैं, जिन्हें 'V' के लिए आधार (रैखिक बीजगणित) दिया जाता है। द्विरेखीय रूपों में, सममित महत्वपूर्ण होते हैं क्योंकि सदिश समष्टि विशेष रूप से सरल प्रकार के आधार को स्वीकार करता है, जिसे ऑर्थोगोनल के रूप में जाना जाता है आधार (कम से कम जब क्षेत्र की विशेषता (बीजगणित) 2 नहीं है)।

सममित द्विरेखीय रूप में B'' दिया गया है, फलन q(x) = B(x, x) सदिश समष्टि पर संबद्ध द्विघात रूप है। इसके अतिरिक्त, यदि क्षेत्र की विशेषता 2 नहीं है, तो B,q से जुड़ा अद्वितीय सममित द्विरेखीय रूप है।

औपचारिक परिभाषा

मान लीजिए कि V क्षेत्र K पर आयाम n का सदिश समष्टि है। फलन (गणित) $B:V\times V\rightarrow K$ समष्टि पर सममित द्विरेखीय रूप है यदि:

• $B(u,v)=B(v,u)\ \quad \forall u,v\in V$
• $B(u+v,w)=B(u,w)+B(v,w)\ \quad \forall u,v,w\in V$
• $B(\lambda v,w)=\lambda B(v,w)\ \quad \forall \lambda \in K,\forall v,w\in V$

अंतिम दो मात्र पूर्वे तर्क में रैखिकता स्थापित करते हैं, किन्तु पूर्वे स्वयं सिद्ध (समरूपता) का तात्पर्य दूसरे तर्क में भी रैखिकता से है।

उदाहरण

मान लीजिए V = Rⁿ, n विमीय वास्तविक सदिश समष्टि है। फिर मानक डॉट उत्पाद सममित द्विरेखीय रूप है, जो B(x, y) = x ⋅ y है। मानक आधार पर इस बिलिनियर फॉर्म (नीचे देखें) से संबंधित आव्यूह है।

V कोई सदिश स्पेस (संभवतः अनंत-आयामी सहित) है, और मान T V से क्षेत्र तक रैखिक कार्य है। तब B(x, y) = T(x)T(y) परिभाषित फलन सममित बिलिनियर का रूप है।

V का निरंतर एकल-चर वास्तविक कार्यों का सदिश समष्टि है। जो $f,g\in V$ परिभाषित कर सकता है जो $\textstyle B(f,g)=\int _{0}^{1}f(t)g(t)dt$ है। अभिन्न के गुणों से, यह V पर सममित द्विरेखीय रूप को परिभाषित करता है। यह सममित द्विरेखीय रूप का उदाहरण है जो किसी भी सममित आव्यूह से जुड़ा नहीं है (चूंकि सदिश समष्टि अनंत-आयामी है)।

आव्यूह प्रतिनिधित्व

मान लीजिये $C=\{e_{1},\ldots ,e_{n}\}$ V के लिए आधार है। n × n आव्यूह A परिभाषित के द्वारा $A_{ij}=B(e_{i},e_{j})$ है। आव्यूह A बिलिनियर रूप की समरूपता के कारण सममित आव्यूह है। यदि हम n×1 आव्यूह x को इस आधार के संबंध में सदिश v का प्रतिनिधित्व करते हैं, और इसी प्रकार n×1 आव्यूह y को सदिश w का प्रतिनिधित्व करते हैं, तो $B(v,w)$ द्वारा दिया गया है:

$x^{\mathsf {T}}Ay=y^{\mathsf {T}}Ax.$

मान लीजिए C' V का आधार है, जिसमें

जो निम्नलिखित है ${\begin{bmatrix}e'_{1}&\cdots &e'_{n}\end{bmatrix}}={\begin{bmatrix}e_{1}&\cdots &e_{n}\end{bmatrix}}S$

S के साथ व्युत्क्रमणीय n×n आव्यूह है।

सममित द्विरेखीय रूप के लिए नवीन आव्यूह प्रतिनिधित्व द्वारा दिया गया है

$A'=S^{\mathsf {T}}AS.$

ओर्थोगोनालिटी और विलक्षणता

दो सदिश v और w को बिलिनियर फॉर्म B के संबंध में ऑर्थोगोनल के रूप में परिभाषित किया गया है यदि B(v, w) = 0, जो सममित बिलिनियर फॉर्म के लिए, B(w, v) = 0 के समतुल्य है।

द्विरेखीय रूप B का मूलांक V में प्रत्येक सदिश के साथ सदिश ओर्थोगोनल का समुच्चय है। यह V की उपसमष्टि है, इसके प्रत्येक तर्क में B की रैखिकता से अनुसरण करती है। निश्चित आधार के संबंध में आव्यूह प्रतिनिधित्व A के साथ कार्य करते समय, v, x, द्वारा प्रतिनिधित्व किया जाता है, यदि

$Ax=0\Longleftrightarrow x^{\mathsf {T}}A=0.$

आव्यूह A है यदि कट्टरपंथी गैर-तुच्छ है।

यदि W, V का उपसमुच्चय है, तो इसका लांबिक पूरक W^⊥ V में सभी सदिशों का समुच्चय है जो W के प्रत्येक सदिश के लिए लम्बवत हैं; यह V का एक उप-समष्टि है। जब B गैर-पतित होता है, तो B का रेडिकल तुच्छ होता है और W का ^⊥ का आयाम dim(W^⊥) = dim(V) − dim(W) होता है।

ऑर्थोगोनल आधार

आधार $C=\{e_{1},\ldots ,e_{n}\}$ B के संबंध में ऑर्थोगोनल है यदि

$B(e_{i},e_{j})=0\ \forall i\neq j.$

जब क्षेत्र की विशेषता (बीजगणित) दो नहीं होती है, तो V का हमेशा लंबकोणीय आधार होता है। यह गणितीय प्रेरण द्वारा सिद्ध किया जा सकता है।

आधार C ऑर्थोगोनल है यदि आव्यूह प्रतिनिधित्व A विकर्ण आव्यूह है।

सिगनेचर और सिल्वेस्टर का जड़त्व का नियम

सामान्य रूप में, सिल्वेस्टर का जड़त्व का नियम कहता है कि, आदेशित क्षेत्र पर कार्य करते समय, आव्यूह के विकर्ण रूप में विकर्ण तत्वों की संख्या जो क्रमशः सकारात्मक, नकारात्मक और शून्य हैं, ऑर्थोगोनल आधार से स्वतंत्र हैं। ये तीन अंक द्विरेखीय रूप के सिगनेचर (द्विघात रूप) बनाते हैं।

रियल स्थिति

वास्तविक समष्टि पर कार्य करते समय, व्यक्ति थोड़ा और आगे जा सकता है। मान लीजिये $C=\{e_{1},\ldots ,e_{n}\}$ ऑर्थोगोनल आधार बनें।

हम नवीन आधार परिभाषित करते हैं $C'=\{e'_{1},\ldots ,e'_{n}\}$

$e'_{i}={\begin{cases}e_{i}&{\text{if }}B(e_{i},e_{i})=0\\{\frac {e_{i}}{\sqrt {B(e_{i},e_{i})}}}&{\text{if }}B(e_{i},e_{i})>0\\{\frac {e_{i}}{\sqrt {-B(e_{i},e_{i})}}}&{\text{if }}B(e_{i},e_{i})<0\end{cases}}$

अब, नवीन आव्यूह प्रतिनिधित्व A विकर्ण परमात्र 0, 1 और -1 के साथ विकर्ण आव्यूह होगा। शून्य प्रकट होगा यदि रेडिकल गैर-तुच्छ है।

जटिल स्तिथि

जटिल संख्याओं पर किसी समष्टि पर कार्य करते समय, व्यक्ति आगे भी जा सकता है और यह और भी सरल है।

मान लीजिये $C=\{e_{1},\ldots ,e_{n}\}$ ऑर्थोगोनल आधार बनें।

हम नवीन आधार परिभाषित करते हैं $C'=\{e'_{1},\ldots ,e'_{n}\}$

$e'_{i}={\begin{cases}e_{i}&{\text{if }}\;B(e_{i},e_{i})=0\\e_{i}/{\sqrt {B(e_{i},e_{i})}}&{\text{if }}\;B(e_{i},e_{i})\neq 0\\\end{cases}}$

अब नवीन आव्यूह प्रतिनिधित्व A विकर्ण पर मात्र 0 और 1 के साथ विकर्ण आव्यूह होगा। शून्य प्रकट होगा यदि रेडिकल गैर-तुच्छ है।

ऑर्थोगोनल ध्रुवताएं

मान लीजिये B सममित द्विरेखीय रूप है, जो समष्टि V क्षेत्र में विशेषता (बीजगणित) के साथ नहीं है। D(V) से मानचित्र परिभाषित कर सकता है, जो V के सभी उप-समष्टि का समुच्चय है:

$\alpha :D(V)\rightarrow D(V):W\mapsto W^{\perp }.$

यह मानचित्र प्रक्षेपण समष्टि PG(W) पर ऑर्थोगोनल पोलरिटी है। इसके विपरीत, कोई यह प्रमाणित कर सकता है कि सभी ऑर्थोगोनल ध्रुवीकरण इस प्रकार से प्रेरित होते हैं, और यह कि दो सममित द्विरेखीय रूपों के साथ तुच्छ मूलक ही ध्रुवीयता को प्रेरित करते हैं यद्यपि वे अदिश गुणन के समान हैं।

संदर्भ

• Adkins, William A.; Weintraub, Steven H. (1992). Algebra: An Approach via Module Theory. Graduate Texts in Mathematics. Vol. 136. Springer-Verlag. ISBN 3-540-97839-9. Zbl 0768.00003.
• Milnor, J.; Husemoller, D. (1973). Symmetric Bilinear Forms. Ergebnisse der Mathematik und ihrer Grenzgebiete. Vol. 73. Springer-Verlag. ISBN 3-540-06009-X. Zbl 0292.10016.
• Weisstein, Eric W. "Symmetric Bilinear Form". MathWorld.