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

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

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

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

== औपचारिक परिभाषा ==
मान लीजिए कि V क्षेत्र K पर आयाम n का एक सदिश स्थान है। एक फलन (गणित) <math>B : V\times V\rightarrow K</math> अंतरिक्ष पर एक सममित द्विरेखीय रूप है यदि:
* <math>B(u,v)=B(v,u)\ \quad \forall u,v \in V</math>
* <math>B(u+v,w)=B(u,w)+B(v,w)\ \quad \forall u,v,w \in V</math>
* <math>B(\lambda v,w)=\lambda B(v,w)\ \quad \forall \lambda \in K,\forall v,w \in V</math>
अंतिम दो स्वयंसिद्ध केवल पहले तर्क में रैखिकता स्थापित करते हैं, लेकिन पहले स्वयंसिद्ध (समरूपता) का तात्पर्य दूसरे तर्क में भी रैखिकता से है।

== उदाहरण ==

होने देना {{nowrap|1=''V'' = '''R'''<sup>''n''</sup>}}, n विमीय वास्तविक सदिश स्थान। फिर मानक [[डॉट उत्पाद]] एक सममित द्विरेखीय रूप है, {{nowrap|1=''B''(''x'', ''y'') = ''x'' ⋅ ''y''}}. [[मानक आधार]] पर इस बिलिनियर फॉर्म (नीचे देखें) से संबंधित मैट्रिक्स पहचान मैट्रिक्स है।

वी को कोई वेक्टर स्पेस (संभवतः अनंत-आयामी सहित) होने दें, और मान लें कि टी वी से क्षेत्र तक एक रैखिक कार्य है। फिर फ़ंक्शन द्वारा परिभाषित किया गया {{nowrap|1=''B''(''x'', ''y'') = ''T''(''x'')''T''(''y'')}} एक सममित द्विरेखीय रूप है।

V को निरंतर एकल-चर वास्तविक कार्यों का वेक्टर स्थान होने दें। के लिए <math>f,g \in V</math> कोई परिभाषित कर सकता है <math>\textstyle B(f,g)=\int_0^1 f(t)g(t) dt</math>. [[ अभिन्न ]] के गुणों से, यह वी पर एक सममित द्विरेखीय रूप को परिभाषित करता है। यह एक सममित द्विरेखीय रूप का एक उदाहरण है जो किसी भी सममित मैट्रिक्स से जुड़ा नहीं है (चूंकि वेक्टर स्थान अनंत-आयामी है)।

== मैट्रिक्स प्रतिनिधित्व ==
होने देना <math>C=\{e_{1},\ldots,e_{n}\}</math> वी के लिए एक आधार बनें। परिभाषित करें {{nowrap|''n'' × ''n''}} मैट्रिक्स ए द्वारा <math>A_{ij}=B(e_{i},e_{j})</math>. मैट्रिक्स ए बिलिनियर रूप की समरूपता के कारण एक सममित मैट्रिक्स है। यदि हम n×1 मैट्रिक्स x को इस आधार के संबंध में वेक्टर v का प्रतिनिधित्व करते हैं, और इसी तरह n×1 मैट्रिक्स y को वेक्टर w का प्रतिनिधित्व करते हैं, तो <math>B(v,w)</math> द्वारा दिया गया है :

:<math>x^\mathsf{T} A y=y^\mathsf{T} A x.</math>
मान लीजिए C' V का एक और आधार है, जिसमें :
<math>\begin{bmatrix}e'_{1} & \cdots & e'_{n}\end{bmatrix} = \begin{bmatrix}e_{1} & \cdots & e_{n}\end{bmatrix}S</math>
S एक व्युत्क्रमणीय n×n मैट्रिक्स के साथ।
अब सममित द्विरेखीय रूप के लिए नया मैट्रिक्स प्रतिनिधित्व द्वारा दिया गया है

:<math>A' =S^\mathsf{T} A S .</math>


== रूढ़िवादिता और विलक्षणता ==
दो वैक्टर v और w को बिलिनियर फॉर्म B के संबंध में ऑर्थोगोनल के रूप में परिभाषित किया गया है {{nowrap|1=''B''(''v'', ''w'') = 0}}, जो एक सममित द्विरेखीय रूप के लिए, के समतुल्य है {{nowrap|1=''B''(''w'', ''v'') = 0}}.

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

:<math>A x = 0 \Longleftrightarrow x^\mathsf{T} A = 0 .</math>
मैट्रिक्स ए एकवचन है अगर और केवल अगर कट्टरपंथी गैर-तुच्छ है।

यदि W, V का एक उपसमुच्चय है, तो इसका लांबिक पूरक W है<sup>⊥</sup> V में सभी सदिशों का समुच्चय है जो W के प्रत्येक सदिश के लिए ओर्थोगोनल हैं; यह V की एक उपसमष्टि है। जब B गैर-पतित होता है, तो B का रेडिकल तुच्छ होता है और W का आयाम<sup>⊥</sup> है {{nowrap|1=dim(''W''<sup>⊥</sup>) = dim(''V'') − dim(''W'')}}.

==ऑर्थोगोनल आधार==
एक आधार <math>C=\{e_{1},\ldots,e_{n}\}</math> बी के संबंध में ऑर्थोगोनल है अगर और केवल अगर :

:<math>B(e_{i},e_{j}) = 0\ \forall i \neq j.</math>
जब क्षेत्र की विशेषता (बीजगणित) दो नहीं होती है, तो V का हमेशा एक लंबकोणीय आधार होता है। यह [[गणितीय प्रेरण]] द्वारा सिद्ध किया जा सकता है।

एक आधार सी ऑर्थोगोनल है अगर और केवल अगर मैट्रिक्स प्रतिनिधित्व ए एक [[विकर्ण मैट्रिक्स]] है।

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

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

हम एक नया आधार परिभाषित करते हैं <math>C'=\{e'_1,\ldots,e'_n\}</math>
:<math>
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}
</math>
अब, नया मैट्रिक्स प्रतिनिधित्व ए विकर्ण पर केवल 0, 1 और -1 के साथ एक विकर्ण मैट्रिक्स होगा। ज़ीरो प्रकट होगा यदि और केवल यदि रेडिकल गैर-तुच्छ है।

=== जटिल मामला ===
जटिल संख्याओं पर किसी स्थान पर काम करते समय, व्यक्ति आगे भी जा सकता है और यह और भी आसान है।
होने देना <math>C=\{e_1,\ldots,e_n\}</math> एक ऑर्थोगोनल आधार बनें।

हम एक नया आधार परिभाषित करते हैं <math>C'=\{e'_1,\ldots,e'_n\}</math> :

:<math>
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}
</math>
अब नया मैट्रिक्स प्रतिनिधित्व ए विकर्ण पर केवल 0 और 1 के साथ एक विकर्ण मैट्रिक्स होगा। ज़ीरो प्रकट होगा यदि और केवल यदि रेडिकल गैर-तुच्छ है।

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

:<math>\alpha:D(V)\rightarrow D(V) :W\mapsto W^{\perp}.</math>
यह नक्शा [[ प्रक्षेपण स्थान ]] पीजी (''डब्ल्यू'') पर एक ऑर्थोगोनल पोलरिटी है। इसके विपरीत, कोई यह साबित कर सकता है कि सभी ऑर्थोगोनल ध्रुवीकरण इस तरह से प्रेरित होते हैं, और यह कि दो सममित द्विरेखीय रूपों के साथ तुच्छ मूलक एक ही ध्रुवीयता को प्रेरित करते हैं यदि और केवल अगर वे स्केलर गुणन के बराबर हैं।

==संदर्भ==
* {{cite book | last1=Adkins | first1=William A. | last2=Weintraub | first2=Steven H. | title=Algebra: An Approach via Module Theory | series=[[Graduate Texts in Mathematics]] | volume=136 | publisher=[[Springer-Verlag]] | year=1992 | isbn=3-540-97839-9 | zbl=0768.00003  }}
* {{cite book | first1=J. | last1=Milnor | author1-link=John Milnor| first2=D. | last2=Husemoller | title=Symmetric Bilinear Forms | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]] | volume=73 | publisher=[[Springer-Verlag]] | year=1973 | isbn=3-540-06009-X | zbl=0292.10016 }}
* {{MathWorld|title=Symmetric Bilinear Form|urlname=SymmetricBilinearForm}}

{{DEFAULTSORT:Symmetric Bilinear Form}}[[Category: द्विरेखीय रूप]] 



[[Category: Machine Translated Page]]
[[Category:Created On 05/04/2023]]