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

{{Short description|Scalar-valued bilinear function}}
गणित में बिलिनियर फॉर्म [[ द्विरेखीय नक्शा ]] होता है {{math|''V'' × ''V'' → ''K''}} एक [[ सदिश स्थल ]] पर {{mvar|V}} (जिनके तत्वों को सदिश (गणित) कहा जाता है) एक [[ क्षेत्र (गणित) ]] के ऊपर (जिनके तत्वों को [[ अदिश (गणित) ]] कहा जाता है)। दूसरे शब्दों में, एक द्विरेखीय रूप एक फलन है {{math|''B'' : ''V'' × ''V'' → ''K''}} वह प्रत्येक तर्क में अलग-अलग [[ रैखिक नक्शा ]] है:
* {{math|1=''B''('''u''' + '''v''', '''w''') = ''B''('''u''', '''w''') + ''B''('''v''', '''w''')}} {{spaces|3}} और {{spaces|3}} {{math|1=''B''(''λ'''''u''', '''v''') = ''λB''('''u''', '''v''')}}
* {{math|1=''B''('''u''', '''v''' + '''w''') = ''B''('''u''', '''v''') + ''B''('''u''', '''w''')}} {{spaces|3}} और {{spaces|3}} {{math|1=''B''('''u''', ''λ'''''v''') = ''λB''('''u''', '''v''')}}
[[ डॉट उत्पाद ]] चालू <math>\R^n</math> द्विरेखीय रूप का एक उदाहरण है।<ref>{{Cite web| date=2021-01-16| title=Chapter 3. Bilinear forms — Lecture notes for MA1212| url=https://www.maths.tcd.ie/~pete/ma1212/chapter3.pdf}}</ref>
बिलिनियर फॉर्म की परिभाषा को एक रिंग (गणित) पर [[ मॉड्यूल (गणित) ]] को शामिल करने के लिए विस्तारित किया जा सकता है, जिसमें [[ मॉड्यूल समरूपता ]] द्वारा प्रतिस्थापित रैखिक मानचित्र होते हैं।

कब {{mvar|K}} [[ जटिल संख्या ]]ओं का क्षेत्र है {{math|'''C'''}}, किसी को अक्सर sesquilinear रूपों में अधिक रुचि होती है, जो बिलिनियर रूपों के समान होते हैं लेकिन एक तर्क में संयुग्मित रैखिक होते हैं।

== समन्वय प्रतिनिधित्व ==
होने देना {{math|''V''}} सेम {{mvar|n}}-आयाम (वेक्टर स्पेस) आधार के साथ वेक्टर स्पेस (रैखिक बीजगणित) {{math|{'''e'''<sub>1</sub>, …, '''e'''<sub>''n''</sub>}<nowiki/>}}. {{math|''n'' × ''n''}} }} मैट्रिक्स ए, द्वारा परिभाषित {{math|1=''A<sub>ij</sub>'' = ''B''('''e'''<sub>''i''</sub>, '''e'''<sub>''j''</sub>)}} के आधार पर द्विरेखीय रूप का आव्यूह कहलाता है {{math|{'''e'''<sub>1</sub>, …, '''e'''<sub>''n''</sub>}<nowiki/>}}.

अगर {{math|''n'' × 1}} आव्यूह {{math|''x''}} एक वेक्टर का प्रतिनिधित्व करता है {{math|'''x'''}} इस आधार के संबंध में, और इसी तरह, {{math|''y''}} दूसरे वेक्टर का प्रतिनिधित्व करता है {{math|'''y'''}}, तब:
<math display="block">B(\mathbf{x}, \mathbf{y}) = \mathbf{x}^\textsf{T} A\mathbf{y} = \sum_{i,j=1}^n x_i A_{ij} y_j. </math>
एक बिलिनियर फॉर्म में अलग-अलग आधारों पर अलग-अलग मैट्रिसेस होते हैं। हालाँकि, विभिन्न आधारों पर एक द्विरेखीय रूप के आव्यूह सभी सर्वांगसम आव्यूह होते हैं। अधिक सटीक, अगर {{math|{'''f'''<sub>1</sub>, …, '''f'''<sub>''n''</sub>}<nowiki/>}} का अन्य आधार है {{mvar|V}}, तब
<math display="block">\mathbf{f}_j=\sum_{i=1}^n S_{i,j}\mathbf{e}_i,</math>
जहां <math>S_{i,j}</math> एक व्युत्क्रमणीय मैट्रिक्स बनाएँ {{mvar|S}}. फिर, नए आधार पर बिलिनियर फॉर्म का मैट्रिक्स है {{math|''S''<sup>T</sup>''AS''}}.

== दोहरे स्थान के लिए मानचित्र ==
प्रत्येक द्विरेखीय रूप {{math|''B''}} पर {{mvar|V}} से रैखिक मानचित्रों की एक जोड़ी को परिभाषित करता है {{mvar|V}} इसके दोहरे स्थान के लिए {{math|''V''<sup>∗</sup>}}. परिभाषित करना {{math|''B''<sub>1</sub>, ''B''<sub>2</sub>: ''V'' → ''V''<sup>∗</sup>}} द्वारा
{{block indent|left=1.6|text={{math|1=''B''<sub>1</sub>('''v''')('''w''') = ''B''('''v''', '''w''')}}}}
{{block indent|left=1.6|text={{math|1=''B''<sub>2</sub>('''v''')('''w''') = ''B''('''w''', '''v''')}}}}
इसे अक्सर के रूप में दर्शाया जाता है
{{block indent|left=1.6|text={{math|1=''B''<sub>1</sub>('''v''') = ''B''('''v''', ⋅)}}}}
{{block indent|left=1.6|text={{math|1=''B''<sub>2</sub>('''v''') = ''B''(⋅, '''v''')}}}}
जहां बिंदु ( ⋅ ) उस खांचे को इंगित करता है जिसमें परिणामी रैखिक प्रकार्यात्मक के लिए तर्क को रखा जाना है ([[ Currying ]] देखें)।

एक परिमित-आयामी वेक्टर अंतरिक्ष के लिए {{mvar|V}}, यदि कोई हो {{math|''B''<sub>1</sub>}} या {{math|''B''<sub>2</sub>}} एक समरूपता है, तो दोनों हैं, और द्विरेखीय रूप {{math|''B''}} [[ पतित रूप ]] कहा जाता है। अधिक ठोस रूप से, एक परिमित-आयामी वेक्टर अंतरिक्ष के लिए, गैर-पतित का अर्थ है कि प्रत्येक गैर-शून्य तत्व जोड़े गैर-तुच्छ रूप से किसी अन्य तत्व के साथ:
:<math>B(x,y)=0 </math> सबके लिए <math>y \in V</math> इसका आशय है {{math|1=''x'' = 0}} और
:<math>B(x,y)=0 </math> सबके लिए <math>x \in V</math> इसका आशय है {{math|1=''y'' = 0}}.

क्रमविनिमेय वलय पर एक मॉड्यूल के लिए संबंधित धारणा यह है कि एक द्विरेखीय रूप है{{visible anchor|unimodular}}यदि {{math|''V'' → ''V''<sup>∗</sup>}} एक समरूपता है। एक कम्यूटेटिव रिंग पर एक सूक्ष्म रूप से उत्पन्न मॉड्यूल को देखते हुए, जोड़ी इंजेक्टिव हो सकती है (इसलिए उपरोक्त अर्थों में नॉनडिजेनरेट) लेकिन यूनिमॉड्यूलर नहीं। उदाहरण के लिए, पूर्णांकों पर, युग्मन {{math|1=''B''(''x'', ''y'') = 2''xy''}} से प्रेरित मानचित्र के रूप में गैर-अपसंस्कृति है, लेकिन एक-मॉड्यूलर नहीं है {{math|1=''V'' = '''Z'''}} को {{math|1=''V''<sup>∗</sup> = '''Z'''}} 2 से गुणा है।

यदि {{mvar|V}} परिमित-आयामी है तो कोई पहचान सकता है {{mvar|V}} इसके दोहरे दोहरे के साथ {{math|''V''<sup>∗∗</sup>}}. तभी कोई दिखा सकता है {{math|''B''<sub>2</sub>}} रैखिक मानचित्र के [[ एक रेखीय मानचित्र का स्थानान्तरण ]] है {{math|''B''<sub>1</sub>}} (यदि {{mvar|V}} तब अनंत-आयामी है {{math|''B''<sub>2</sub>}} का स्थानान्तरण है {{math|''B''<sub>1</sub>}} की छवि तक ही सीमित है {{mvar|V}} में {{math|1=''V''<sup>∗∗</sup>}}). दिया गया {{math|''B''}} कोई के स्थानान्तरण को परिभाषित कर सकता है {{math|''B''}} द्वारा दिया गया द्विरेखीय रूप होना
{{block indent|left=1.6|text=<sup>t</sup>''B''('''v''', '''w''') = ''B''('''w''', '''v''').}}
प्रपत्र के बाएँ मूलांक और दाएँ मूलांक {{math|''B''}} के कर्नेल (बीजगणित) हैं {{math|''B''<sub>1</sub>}} और {{math|''B''<sub>2</sub>}} क्रमश;{{sfn|Jacobson|2009|page=346}} वे बाईं ओर और दाईं ओर पूरे स्थान के लिए वैक्टर ऑर्थोगोनल हैं।{{sfn|Zhelobenko|2006|page=11}}
यदि {{mvar|V}} परिमित-विमीय है तो कोटि (रैखिक बीजगणित)। {{math|''B''<sub>1</sub>}} के पद के बराबर है {{math|''B''<sub>2</sub>}}. यदि यह संख्या के बराबर है {{math|dim(''V'')}} तब {{math|''B''<sub>1</sub>}} और {{math|''B''<sub>2</sub>}} से रैखिक समरूपता हैं {{mvar|V}} को {{math|''V''<sup>∗</sup>}}. इस मामले में {{math|''B''}} अविकृत है। रैंक-शून्यता प्रमेय के अनुसार, यह इस शर्त के बराबर है कि बाएँ और समान रूप से दाएँ रेडिकल तुच्छ हों। परिमित-आयामी रिक्त स्थान के लिए, इसे अक्सर गैर-अपघटन की परिभाषा के रूप में लिया जाता है:
{{block indent|left=1.6|text= '''Definition:''' ''B'' is '''nondegenerate''' if {{math|1=''B''('''v''', '''w''') = 0}} for all '''w''' implies {{math|1='''v''' = '''0'''}}.}}
किसी भी रेखीय मानचित्र को देखते हुए {{math|1=''A'' : ''V'' → ''V''<sup>∗</sup>}} वी के माध्यम से एक बिलिनियर फॉर्म बी प्राप्त कर सकते हैं
{{block indent|left=1.6|text=''B''('''v''', '''w''') = ''A''('''v''')('''w''').}}
यह फॉर्म गैर-डीजेनरेट होगा अगर और केवल अगर {{math|''A''}} एक समरूपता है।

यदि {{mvar|V}} परिमित-आयामी है, तो कुछ आधार (रैखिक बीजगणित) के सापेक्ष {{mvar|V}}, एक द्विरेखीय रूप पतित होता है यदि और केवल यदि संबंधित मैट्रिक्स का निर्धारक शून्य है। इसी तरह, एक गैर-डीजेनरेट फॉर्म वह है जिसके लिए संबंधित मैट्रिक्स का निर्धारक गैर-शून्य है (मैट्रिक्स [[ गैर-एकवचन मैट्रिक्स ]] है। गैर-एकवचन)। ये कथन चुने हुए आधार से स्वतंत्र हैं। एक कम्यूटेटिव रिंग पर एक मॉड्यूल के लिए, एक यूनिमॉड्यूलर फॉर्म वह है जिसके लिए एसोसिएट मैट्रिक्स का निर्धारक एक [[ यूनिट (रिंग थ्योरी) ]] है (उदाहरण के लिए 1), इसलिए शब्द; ध्यान दें कि एक रूप जिसका मैट्रिक्स निर्धारक गैर-शून्य है, लेकिन एक इकाई नहीं है, उदाहरण के लिए गैर-अपघटित होगा लेकिन एकरूप नहीं होगा {{math|1=''B''(''x'', ''y'') = 2''xy''}} पूर्णांकों पर।

== सममित, तिरछा-सममित और वैकल्पिक रूप ==
हम एक द्विरेखीय रूप को परिभाषित करते हैं
* [[ सममित द्विरेखीय रूप ]] यदि {{math|1=''B''('''v''', '''w''') = ''B''('''w''', '''v''')}} सबके लिए {{math|'''v'''}}, {{math|'''w'''}} में {{mvar|V}};
* [[ वैकल्पिक रूप ]] अगर {{math|1= ''B''('''v''', '''v''') = 0}} सबके लिए {{math|'''v'''}} में {{mvar|V}};
*{{visible anchor|skew-symmetric bilinear form|text=skew-symmetric}}या{{visible anchor|antisymmetric bilinear form|text=antisymmetric}}यदि {{math|1=''B''('''v''', '''w''') = −''B''('''w''', '''v''')}} सबके लिए {{math|'''v'''}}, {{math|'''w'''}} में {{mvar|V}};
*; प्रस्ताव: प्रत्येक वैकल्पिक रूप तिरछा-सममित है।
*; प्रमाण: इसे फैलाकर देखा जा सकता है {{math|''B''('''v''' + '''w''', '''v''' + '''w''')}}.

यदि की [[ विशेषता (बीजगणित) ]]। {{mvar|K}} 2 नहीं है तो विलोम भी सत्य है: प्रत्येक तिरछा-सममित रूप वैकल्पिक है। जो कुछ भी हो, {{math|1=char(''K'') = 2}} तब एक तिरछा-सममित रूप एक सममित रूप के समान होता है और वहाँ सममित/तिरछा-सममित रूप मौजूद होते हैं जो वैकल्पिक नहीं होते हैं।

एक द्विरेखीय रूप सममित (क्रमशः तिरछा-सममित) है यदि और केवल यदि इसका समन्वय मैट्रिक्स (किसी भी आधार के सापेक्ष) [[ सममित मैट्रिक्स ]] (क्रमशः [[ तिरछा-सममित मैट्रिक्स ]] | तिरछा-सममित) है। एक द्विरेखीय रूप प्रत्यावर्ती है यदि और केवल यदि इसका निर्देशांक मैट्रिक्स तिरछा-सममित है और विकर्ण प्रविष्टियाँ सभी शून्य हैं (जो तिरछा-समरूपता से अनुसरण करता है जब {{math|char(''K'') ≠ 2}}).

एक द्विरेखीय रूप सममित है अगर और केवल अगर नक्शे {{math|''B''<sub>1</sub>, ''B''<sub>2</sub>: ''V'' → ''V''<sup>∗</sup>}} समान हैं, और विषम-सममित हैं यदि और केवल यदि वे एक दूसरे के ऋणात्मक हैं। यदि {{math|char(''K'') ≠ 2}} तो कोई एक द्विरेखीय रूप को एक सममित और एक तिरछा-सममित भाग में निम्नानुसार विघटित कर सकता है
<math display="block">B^{+} = \tfrac{1}{2} (B + {}^{\text{t}}B)  \qquad  B^{-} = \tfrac{1}{2} (B - {}^{\text{t}}B) ,</math>
कहां {{math|<sup>t</sup>''B''}} का स्थानान्तरण है {{math|''B''}} (ऊपर परिभाषित)।

== व्युत्पन्न द्विघात रूप ==

किसी भी द्विरेखीय रूप के लिए {{math|''B'' : ''V'' × ''V'' → ''K''}}, एक संबद्ध [[ द्विघात रूप ]] मौजूद है {{math|''Q'' : ''V'' → ''K''}} द्वारा परिभाषित {{math|''Q'' : ''V'' → ''K'' : '''v''' ↦ ''B''('''v''', '''v''')}}.

कब {{math|char(''K'') ≠ 2}}, द्विघात रूप Q बिलिनियर फॉर्म B के सममित भाग द्वारा निर्धारित किया जाता है और एंटीसिमेट्रिक भाग से स्वतंत्र होता है। इस मामले में द्विरेखीय रूप के सममित भाग और द्विघात रूप के बीच एक-से-एक पत्राचार होता है, और द्विघात रूप से जुड़े सममित द्विरेखीय रूप की बात करना समझ में आता है।

कब {{math|1=char(''K'') = 2}} और {{math|dim ''V'' > 1}}, द्विघात रूपों और सममित द्विरेखीय रूपों के बीच यह पत्राचार टूट जाता है।

== रिफ्लेक्सिविटी और ऑर्थोगोनलिटी ==
{{block indent|left=1| '''Definition:''' A bilinear form {{math|''B'' : ''V'' × ''V'' → ''K''}} is called '''reflexive''' if {{math|1=''B''('''v''', '''w''') = 0}} implies {{math|1=''B''('''w''', '''v''') = 0}} for all '''v''', '''w''' in ''V''.}}
{{block indent|left=1| '''Definition:''' Let {{math|''B'' : ''V'' × ''V'' → ''K''}} be a reflexive bilinear form. '''v''', '''w''' in ''V'' are '''orthogonal with respect to ''B''''' if {{math|1=''B''('''v''', '''w''') = 0}}.}}
एक द्विरेखीय रूप {{math|''B''}} रिफ्लेक्सिव है अगर और केवल अगर यह सममित या वैकल्पिक है।{{sfn|Grove|1997}} रिफ्लेक्सिविटी के अभाव में हमें बाएँ और दाएँ ओर्थोगोनलिटी में अंतर करना होगा। एक रिफ्लेक्टिव स्पेस में बाएं और दाएं रेडिकल्स सहमत होते हैं और उन्हें कर्नेल या बिलिनियर फॉर्म का रेडिकल कहा जाता है: सभी वैक्टर के सबस्पेस हर दूसरे वेक्टर के साथ ऑर्थोगोनल। एक सदिश {{math|'''v'''}}, मैट्रिक्स प्रतिनिधित्व के साथ {{math|''x''}}, मैट्रिक्स प्रतिनिधित्व के साथ एक द्विरेखीय रूप के मूल में है {{math|''A''}}, अगर और केवल अगर {{math|1=''Ax'' = 0 ⇔ ''x''<sup>T</sup>''A'' = 0}}. रेडिकल हमेशा एक उप-समष्टि है {{math|''V''}}. यह छोटा है अगर और केवल अगर मैट्रिक्स {{math|''A''}} निरर्थक है, और इस प्रकार यदि और केवल यदि द्विरेखीय रूप अप्राप्य है।

मान लीजिए {{mvar|W}} एक उपक्षेत्र है। [[ ऑर्थोगोनल पूरक ]] को परिभाषित करें{{sfn|Adkins|Weintraub|1992|page=359}}
<math display="block"> W^{\perp} = \left\{\mathbf{v} \mid B(\mathbf{v}, \mathbf{w}) = 0 \text{ for all } \mathbf{w} \in W\right\} .</math>
परिमित-आयामी स्थान पर एक गैर-पतित रूप के लिए, map {{math|''V/W'' → ''W''<sup>⊥</sup>}} विशेषण है, और का आयाम {{math|''W''<sup>⊥</sup>}} है {{math|dim(''V'') − dim(''W'')}}.

== विभिन्न स्थान ==
अधिकांश सिद्धांत एक ही आधार क्षेत्र पर दो वेक्टर रिक्त स्थान से उस क्षेत्र में [[ बिलिनियर मैपिंग ]] के लिए उपलब्ध हैं
{{block indent|left=1.6|text={{math|''B'' : ''V'' × ''W'' → ''K''}}.}}
यहां हमने अभी भी लीनियर मैपिंग को प्रेरित किया है {{mvar|V}} को {{math|''W''<sup>∗</sup>}}, और यहां ये {{mvar|W}} को {{math|''V''<sup>∗</sup>}}. ऐसा हो सकता है कि ये मानचित्रण समरूपता हों; परिमित आयामों को मानते हुए, यदि एक तुल्याकारिता है, तो दूसरी तुल्याकारिता होनी चाहिए। जब ऐसा होता है, तो B को 'परफेक्ट पेयरिंग' कहा जाता है।

परिमित आयामों में, यह गैर-डीजेनरेट होने वाली जोड़ी के बराबर है (रिक्त स्थान आवश्यक रूप से समान आयाम वाले हैं)। मॉड्यूल के लिए (वेक्टर रिक्त स्थान के बजाय), जिस तरह एक गैर-डीजेनेरेट फॉर्म एक यूनिमॉड्यूलर फॉर्म की तुलना में कमजोर है, एक नॉनडीजेनरेट पेयरिंग एक आदर्श पेयरिंग की तुलना में एक कमजोर धारणा है। उदाहरण के लिए, एक जोड़ी एक आदर्श जोड़ी के बिना गैर-डीजेनरेट हो सकती है {{math|'''Z''' × '''Z''' → '''Z'''}} के जरिए {{math|(''x'', ''y'') ↦ 2''xy''}} अविकृत है, लेकिन मानचित्र पर 2 से गुणन को प्रेरित करता है {{math|'''Z''' → '''Z'''<sup>∗</sup>}}.

बिलिनियर रूपों के कवरेज में शब्दावली भिन्न होती है। उदाहरण के लिए, एफ. रीज़ हार्वे आठ प्रकार के आंतरिक उत्पाद पर चर्चा करता है।{{sfn|Harvey|1990|page=22}} उन्हें परिभाषित करने के लिए वह विकर्ण आव्यूह A का उपयोग करता है<sub>ij</sub>गैर-शून्य तत्वों के लिए केवल +1 या -1 होना। कुछ आंतरिक उत्पाद [[ सहानुभूतिपूर्ण वेक्टर स्थान ]] हैं और कुछ सेस्क्विलिनियर फॉर्म या सेस्क्विलिनियर फॉर्म # हर्मिटियन फॉर्म हैं। एक सामान्य क्षेत्र के बजाय {{mvar|K}}, वास्तविक संख्या वाले उदाहरण {{math|'''R'''}}, जटिल आंकड़े {{math|'''C'''}}, और चतुष्कोण {{math|'''H'''}} बतलाये गये हैं। द्विरेखीय रूप
<math display="block">\sum_{k=1}^p x_k y_k - \sum_{k=p+1}^n  x_k y_k </math>
वास्तविक सममित मामला कहा जाता है और लेबल किया जाता है {{math|'''R'''(''p'', ''q'')}}, कहां {{math|1=''p'' + ''q'' = ''n''}}. फिर वह पारंपरिक शब्दावली के संबंध को स्पष्ट करता है:{{sfn|Harvey|1990|page=23}}
{{quote|
Some of the real symmetric cases are very important. The positive definite case {{nowrap|'''R'''(''n'', 0)}} is called ''Euclidean space'', while the case of a single minus, {{nowrap|'''R'''(''n''−1, 1)}} is called ''Lorentzian space''. If {{nowrap|1=''n'' = 4}}, then Lorentzian space is also called ''[[Minkowski space]]'' or ''Minkowski spacetime''. The special case {{nowrap|'''R'''(''p'', ''p'')}} will be referred to as the ''split-case''.
}}


== [[ टेंसर उत्पाद ]]ों से संबंध ==
टेंसर उत्पाद की [[ सार्वभौमिक संपत्ति ]] के अनुसार, बिलिनियर रूपों के बीच एक विहित पत्राचार होता है {{mvar|V}} और रैखिक नक्शे {{math|''V'' ⊗ ''V'' → ''K''}}. यदि {{math|''B''}} पर द्विरेखीय रूप है {{mvar|V}} इसी रेखीय मानचित्र द्वारा दिया गया है
{{block indent|left=1.6|text= {{math|'''v''' ⊗ '''w''' ↦ ''B''('''v''', '''w''')}}}}
दूसरी दिशा में यदि {{math|''F'' : ''V'' ⊗ ''V'' → ''K''}} एक रेखीय मानचित्र है, बिलिनियर मानचित्र के साथ F की रचना करके संबंधित बिलिनियर रूप दिया गया है {{math|''V'' × ''V'' → ''V'' ⊗ ''V''}} जो भेजता है {{math|('''v''', '''w''')}} को {{math|'''v'''⊗'''w'''}}.

सभी रैखिक मानचित्रों का सेट {{math|''V'' ⊗ ''V'' → ''K''}} का दोहरा स्थान है {{math|''V'' ⊗ ''V''}}, इसलिए द्विरेखीय रूपों को के तत्वों के रूप में माना जा सकता है {{math|(''V'' ⊗ ''V'')<sup>∗</sup>}} जो (जब {{mvar|V}} परिमित-आयामी है) कैनोनिक रूप से आइसोमोर्फिक है {{math|''V''<sup>∗</sup> ⊗ ''V''<sup>∗</sup>}}.

इसी तरह, सममित द्विरेखीय रूपों को के तत्वों के रूप में सोचा जा सकता है {{math|Sym<sup>2</sup>(''V''<sup>∗</sup>)}} (दूसरी [[ सममित शक्ति ]] {{math|''V''<sup>∗</sup>}}), और बारी-बारी से बिलिनियर रूपों के तत्वों के रूप में {{math|Λ<sup>2</sup>''V''<sup>∗</sup>}} (की दूसरी [[ बाहरी शक्ति ]] {{math|''V''<sup>∗</sup>}}).

== मानक वेक्टर रिक्त स्थान पर ==
परिभाषा: एक मानक सदिश स्थान पर एक द्विरेखीय रूप  {{math|(''V'', ‖⋅‖)}} परिबद्ध है, यदि कोई स्थिरांक है {{math|''C''}} ऐसा कि सभी के लिए {{math|'''u''', '''v''' ∈ ''V''}},
<math display="block"> B ( \mathbf{u} , \mathbf{v}) \le C \left\| \mathbf{u} \right\| \left\|\mathbf{v} \right\| .</math>
परिभाषा: एक मानक सदिश स्थान पर एक द्विरेखीय रूप {{math|(''V'', ‖⋅‖)}} अण्डाकार है, या जबरदस्ती कार्य # जबरदस्ती संचालक और रूप, यदि कोई स्थिरांक है {{math|''c'' > 0}} ऐसा कि सभी के लिए {{math|'''u''' ∈ ''V''}},
<math display="block"> B ( \mathbf{u} , \mathbf{u}) \ge c \left\| \mathbf{u} \right\| ^2 .</math>


== मॉड्यूल के लिए सामान्यीकरण ==
एक अंगूठी दी (गणित) {{mvar|R}} और एक सही मॉड्यूल (गणित) |{{mvar|R}}-मापांक {{math|''M''}} और इसका दोहरा मॉड्यूल {{math|''M''<sup>∗</sup>}}, एक मानचित्रण {{math|''B'' : ''M''<sup>∗</sup> × ''M'' → ''R''}} एक द्विरेखीय रूप कहा जाता है यदि
{{block indent|left=1.6|text={{math|1=''B''(''u'' + ''v'', ''x'') = ''B''(''u'', ''x'') + ''B''(''v'', ''x'')}}}}
{{block indent|left=1.6|text={{math|1=''B''(''u'', ''x'' + ''y'') = ''B''(''u'', ''x'') + ''B''(''u'', ''y'')}}}}
{{block indent|left=1.6|text={{math|1=''B''(''αu'', ''xβ'') = ''αB''(''u'', ''x'')''β''}}}}
सबके लिए {{math|''u'', ''v'' ∈ ''M''<sup>∗</sup>}}, सब {{math|''x'', ''y'' ∈ ''M''}} और सभी {{math|''α'', ''β'' ∈ ''R''}}.

मानचित्रण {{math|⟨⋅,⋅⟩ : ''M''<sup>∗</sup> × ''M'' → ''R'' : (''u'', ''x'') ↦ ''u''(''x'')}} प्राकृतिक युग्मन के रूप में जाना जाता है, जिसे कैनोनिकल बिलिनियर फॉर्म ऑन भी कहा जाता है {{math|''M''<sup>∗</sup> × ''M''}}.{{sfn|Bourbaki|1970|page=233}}
एक रेखीय नक्शा {{math|''S'' : ''M''<sup>∗</sup> → ''M''<sup>∗</sup> : ''u'' ↦ ''S''(''u'')}} द्विरेखीय रूप को प्रेरित करता है {{math|''B'' : ''M''<sup>∗</sup> × ''M'' → ''R'' : (''u'', ''x'') ↦ ⟨''S''(''u''), ''x''⟩}}, और एक रेखीय नक्शा {{math|''T'' : ''M'' → ''M'' : ''x'' ↦ ''T''(''x'')}} द्विरेखीय रूप को प्रेरित करता है {{math|''B'' : ''M''<sup>∗</sup> × ''M'' → ''R'' : (''u'', ''x'') ↦ ⟨''u'', ''T''(''x'')⟩}}.

इसके विपरीत, एक द्विरेखीय रूप {{math|''B'' : ''M''<sup>∗</sup> × ''M'' → ''R''}} आर-रैखिक मानचित्रों को प्रेरित करता है {{math|''S'' : ''M''<sup>∗</sup> → ''M''<sup>∗</sup> : ''u'' ↦ (''x'' ↦ ''B''(''u'', ''x''))}} और {{math|''T''′ : ''M'' → ''M''<sup>∗∗</sup> : ''x'' ↦ (''u'' ↦ ''B''(''u'', ''x''))}}. यहां, {{math|''M''<sup>∗∗</sup>}} के दोहरे दोहरे को दर्शाता है {{math|''M''}}.

== यह भी देखें ==
{{cmn|colwidth=20em|
*[[Bilinear map]]
*[[:Category:Bilinear maps]]
*[[Inner product space]]
*[[Linear form]]
*[[Multilinear form]]
*[[Polar space]]
*[[Quadratic form]]
*[[Sesquilinear form]]
*[[System of bilinear equations]]
}}


==उद्धरण==
{{reflist}}


==संदर्भ==
* {{citation | last1=Adkins | first1=William A. | last2=Weintraub | first2=Steven H. | year=1992 | title=Algebra: An Approach via Module Theory | series=[[Graduate Texts in Mathematics]] | volume=136 | publisher=[[Springer-Verlag]] | isbn=3-540-97839-9 | zbl=0768.00003  }}
* {{citation | last=Bourbaki | first=N. | year=1970 | title=Algebra | publisher=Springer |author-link=Nicolas Bourbaki}}
* {{citation | last=Cooperstein | first=Bruce | year=2010 | title=Advanced Linear Algebra | chapter=Ch 8: Bilinear Forms and Maps | pages=249–88 | publisher=[[CRC Press]] | isbn=978-1-4398-2966-0 }}
* {{citation | last=Grove | first=Larry C. | year=1997 | title=Groups and characters | publisher=Wiley-Interscience | isbn=978-0-471-16340-4}}
* {{citation | last1=Halmos | first1=Paul R. | author1-link=Paul R. Halmos | year=1974 | title=Finite-dimensional vector spaces | series=[[Undergraduate Texts in Mathematics]] | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90093-3 | zbl=0288.15002 }}
* {{citation | last1=Harvey | first1=F. Reese | year=1990 | title=Spinors and calibrations | chapter=Chapter 2: The Eight Types of Inner Product Spaces | pages=19–40 | publisher=[[Academic Press]] | isbn=0-12-329650-1 }}
* {{citation | last = Popov | first = V. L. | editor=Hazewinkel, M. | year=1987 | title = Bilinear form | url= https://www.encyclopediaofmath.org/index.php/Bilinear_form |encyclopedia=[[Encyclopedia of Mathematics]] | volume=1 | pages=390–392 | publisher=[[Kluwer Academic Publishers]]}}. Also: {{Google books|RVr5BwAAQBAJ|page=390}}
* {{citation | last=Jacobson | first=Nathan | year=2009 | title=Basic Algebra | volume=I | edition=2nd | isbn=978-0-486-47189-1 }}
* {{citation | last1=Milnor | first1=J. | author1-link=John Milnor| first2=D. | last2=Husemoller | year=1973 | title=Symmetric Bilinear Forms | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]] | volume=73 | publisher=[[Springer-Verlag]] | isbn=3-540-06009-X | zbl=0292.10016 }}
* {{citation | last=Porteous | first=Ian R. | author-link=Ian R. Porteous | year=1995 | title=Clifford Algebras and the Classical Groups | series=Cambridge Studies in Advanced Mathematics | volume=50 | publisher=[[Cambridge University Press]] | isbn=978-0-521-55177-9 }}
* {{citation | last=Shafarevich  | first=I. R. | author-link=Igor Shafarevich | author2=A. O. Remizov | year=2012 | title = Linear Algebra and Geometry | publisher=[[Springer Science+Business Media|Springer]] | url=https://www.springer.com/mathematics/algebra/book/978-3-642-30993-9 | isbn=978-3-642-30993-9}}
* {{citation | last=Shilov | first=Georgi E. | title=Linear Algebra | editor-last=Silverman | editor-first=Richard A. | year=1977 | publisher=Dover | isbn=0-486-63518-X}}
* {{citation | last=Zhelobenko | first=Dmitriĭ Petrovich | year=2006 | title=Principal Structures and Methods of Representation Theory | series=Translations of Mathematical Monographs | publisher=[[American Mathematical Society]] | isbn=0-8218-3731-1 }}


==बाहरी कड़ियाँ==
{{Commonscat|Bilinear forms}}
*{{springer|title=Bilinear form|id=p/b016250}}
*{{planetmath reference|urlname=BilinearForm|title=Bilinear form}}

{{Functional Analysis}}
{{PlanetMath attribution|id=7553|title=Unimodular}}
[[Category:सार बीजगणित]][[श्रेणी: बिलिनियर रूप| बिलिनियर रूप]][[श्रेणी: रेखीय बीजगणित]][[श्रेणी: बहुरेखीय बीजगणित]]


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