सेसक्विलिनियर फॉर्म: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Generalization of a bilinear form}}
{{Short description|Generalization of a bilinear form}}
गणित में, सेसक्विलिनियर फॉर्म बिलिनियर फॉर्म का सामान्यीकरण है, जो बदले में, [[ यूक्लिडियन स्थान ]] के [[डॉट उत्पाद]] की अवधारणा का सामान्यीकरण है। [[द्विरेखीय रूप]] अपने प्रत्येक तर्क में रैखिक मानचित्र होता है, लेकिन सेसक्विलिनियर रूप तर्क को सेमीलिनियर मानचित्र तरीके से मोड़ने की अनुमति देता है, इस प्रकार नाम; जो लैटिन [[संख्यात्मक उपसर्ग]] Wiktionary:sesqui-|''sesqui-'' से उत्पन्न हुआ है जिसका अर्थ है डेढ़। डॉट उत्पाद की मूल अवधारणा - वैक्टर की जोड़ी से स्केलर (गणित) का उत्पादन - स्केलर मानों की विस्तृत श्रृंखला की अनुमति देकर और, शायद साथ, वेक्टर की परिभाषा को चौड़ा करके सामान्यीकृत किया जा सकता है।
गणित में, '''सेस्क्‍वीरैखिक रूप''' द्विरेखीय रूप का सामान्यीकरण है, जो इसके स्थान पर, [[ यूक्लिडियन स्थान |यूक्लिडियन समष्टि]] के [[डॉट उत्पाद|बिंदु गुणनफल]] की अवधारणा का सामान्यीकरण है। [[द्विरेखीय रूप]] अपने प्रत्येक तर्क में रैखिक प्रतिचित्र होता है, परन्तु सेस्क्‍वीरैखिक रूप तर्क को अर्धरेखीय प्रतिचित्र रूप से विकृत करने की अनुमति देता है, इस प्रकार नाम; जो लैटिन [[संख्यात्मक उपसर्ग]]''सेस्क्‍वी-'' से उत्पन्न हुआ है जिसका अर्थ है डेढ़। बिंदु गुणनफल की मूल अवधारणा - सदिश के युग्म से अदिश (गणित) का गुणनफलन - अदिश मानों की विस्तृत श्रृंखला की अनुमति देकर और, संभवतः साथ, सदिश की परिभाषा को चौड़ा करके सामान्यीकृत किया जा सकता है।


एक प्रेरक विशेष मामला जटिल सदिश समष्टि पर सेसक्विलिनियर रूप है, {{math|''V''}}. यह नक्शा है {{math|''V'' × ''V'' → '''C'''}} जो तर्क में रैखिक है और जटिल संयुग्म द्वारा दूसरे तर्क की रैखिकता को मोड़ देता है (दूसरे तर्क में इसे [[प्रतिरेखीय]] कहा जाता है)। यह मामला गणितीय भौतिकी अनुप्रयोगों में स्वाभाविक रूप से उठता है। अन्य महत्वपूर्ण मामला अदिश को किसी भी क्षेत्र (गणित) से आने की अनुमति देता है और मोड़ क्षेत्र ऑटोमोर्फिज्म द्वारा प्रदान किया जाता है।
एक प्रेरक विशेष स्थिति मिश्रित सदिश समष्टि, {{math|''V''}} पर सेस्क्‍वीरैखिक रूप है। यह प्रतिचित्र है {{math|''V'' × ''V'' → '''C'''}} है, जो तर्क में रैखिक है और मिश्रित संयुग्मी द्वारा दूसरे तर्क की रैखिकता को विकृत कर देता है (दूसरे तर्क में इसे [[प्रतिरेखीय]] कहा जाता है)। यह स्थिति गणितीय भौतिकी अनुप्रयोगों में स्वाभाविक रूप से उठता है। अन्य महत्वपूर्ण स्थिति अदिश को किसी भी क्षेत्र (गणित) से आने की अनुमति देता है और विकृत क्षेत्र स्वसमाकृतिकता द्वारा प्रदान किया जाता है।


[[प्रक्षेप्य ज्यामिति]] में अनुप्रयोग के लिए आवश्यक है कि अदिश विभाजन वलय (तिरछा क्षेत्र) से आएं, {{math|''K''}}, और इसका मतलब है कि वैक्टर को आर-मॉड्यूल के तत्वों द्वारा प्रतिस्थापित किया जाना चाहिए{{math|''K''}}-मापांक। बहुत ही सामान्य सेटिंग में, सेसक्विलिनियर रूपों को परिभाषित किया जा सकता है {{math|''R''}}-मनमानी रिंग के लिए मॉड्यूल (गणित) {{math|''R''}}.
इस प्रकार से [[प्रक्षेप्य ज्यामिति]] में अनुप्रयोग के लिए आवश्यक है कि अदिश विभाजन वलय (तिरछा क्षेत्र), {{math|''K''}} से आएं, और इसका अर्थ है कि "सदिश" को {{math|''K''}}-मापांक के अवयवों द्वारा प्रतिस्थापित किया जाना चाहिए। बहुत ही सामान्य समायोजन में, सेस्क्‍वीरैखिक रूपों यादृच्छिक वलयों {{math|''R''}}के लिए {{math|''R''}}-मापांक पर परिभाषित किया जा सकता है।
==अनौपचारिक परिचय==
==अनौपचारिक परिचय==
सेसक्विलिनियर जटिल वेक्टर स्पेस पर हर्मिटियन फॉर्म की मूल धारणा को अमूर्त और सामान्यीकृत करता है। हर्मिटियन रूपों को आमतौर पर भौतिकी में जटिल [[हिल्बर्ट स्थान]] पर आंतरिक उत्पाद के रूप में देखा जाता है। ऐसे मामलों में, मानक हर्मिटियन फॉर्म चालू होता है {{math|'''C'''<sup>''n''</sup>}} द्वारा दिया गया है
सेस्क्‍वीरैखिक मिश्रित सदिश समष्टि पर हर्मिटियन रूप की मूल धारणा को अमूर्त और सामान्यीकृत करता है। अतः '''हर्मिटियन रूपों''' को सामान्यतः भौतिकी में मिश्रित [[हिल्बर्ट स्थान|हिल्बर्ट समष्टि]] पर आंतरिक गुणनफल के रूप में देखा जाता है। ऐसी स्थितियों में, {{math|'''C'''<sup>''n''</sup>}} पर मानक हर्मिटियन रूप
:<math>\langle w,z \rangle = \sum_{i=1}^n \overline{w}_i z_i.</math>
:<math>\langle w,z \rangle = \sum_{i=1}^n \overline{w}_i z_i</math> द्वारा दिया जाता है।
कहाँ <math>\overline{w}_i</math> के जटिल संयुग्म को दर्शाता है <math>w_i ~.</math> इस उत्पाद को उन स्थितियों के लिए सामान्यीकृत किया जा सकता है जहां कोई ऑर्थोनॉर्मल आधार के साथ काम नहीं कर रहा है {{math|'''C'''<sup>''n''</sup>}}, या यहां तक ​​कि कोई भी आधार। का अतिरिक्त गुणनखंड डालकर <math>i</math> उत्पाद में, व्यक्ति को तिरछा-हर्मिटियन रूप प्राप्त होता है, जिसे नीचे अधिक सटीक रूप से परिभाषित किया गया है। परिभाषा को सम्मिश्र संख्याओं तक सीमित रखने का कोई विशेष कारण नहीं है; इसे मनमाना रिंग (गणित) के लिए परिभाषित किया जा सकता है, जिसमें [[एंटीऑटोमोर्फिज्म]] होता है, जिसे अनौपचारिक रूप से रिंग के लिए जटिल संयुग्मन की सामान्यीकृत अवधारणा के रूप में समझा जाता है।
जहाँ <math>\overline{w}_i</math>, <math>w_i ~</math> के मिश्रित संयुग्मी को दर्शाता है। इस गुणनफल को उन स्थितियों के लिए सामान्यीकृत किया जा सकता है जहां कोई {{math|'''C'''<sup>''n''</sup>}} के लिए प्रसामान्य लांबिक आधार या यहां तक ​​कि किसी भी आधार पर कार्य नहीं कर रहा है। गुणनफल में <math>i</math> का एक अतिरिक्त कारक डालने से, व्यक्ति को '''तिरछा-हर्मिटियन रूप''' प्राप्त होता है, जिसे निम्न अधिक यथार्थ रूप से परिभाषित किया गया है। परिभाषा को सम्मिश्र संख्याओं तक सीमित रखने का कोई विशेष कारण नहीं है; इसे यादृच्छिक वलय (गणित) के लिए परिभाषित किया जा सकता है, जिसमें [[एंटीऑटोमोर्फिज्म|प्रतिस्वसमाकृतिकता]] होता है, जिसे अनौपचारिक रूप से वलय के लिए मिश्रित संयुग्मन की सामान्यीकृत अवधारणा के रूप में समझा जाता है।


==सम्मेलन==
==संकेतन==
कौन सा तर्क रैखिक होना चाहिए, इसे लेकर परंपराएं अलग-अलग हैं। क्रमविनिमेय मामले में, हम पहले को रैखिक मानेंगे, जैसा कि गणितीय साहित्य में आम है, जटिल वेक्टर स्थानों पर सेसक्विलिनियर रूपों को समर्पित अनुभाग को छोड़कर। वहां हम दूसरी परिपाटी का उपयोग करते हैं और पहला तर्क संयुग्म-रैखिक (अर्थात एंटीलाइनियर) मानते हैं और दूसरा तर्क रैखिक मानते हैं। यह वह सम्मेलन है जिसका उपयोग अधिकतर भौतिक विज्ञानी करते हैं<ref>footnote 1 in [https://books.google.com/books?id=NSXCaGSVaX4C&dq=sesquilinear+forms+over+general+fields&pg=PA255  Anthony Knapp ''Basic Algebra'' (2007) pg. 255]</ref> और [[क्वांटम यांत्रिकी]] में पॉल डिराक|डिराक के ब्रा-केट नोटेशन से उत्पन्न हुआ है।
इस प्रकार से कौन सा तर्क रैखिक होना चाहिए, इसे लेकर परंपराएं अलग-अलग हैं। क्रमविनिमेय स्थिति में, हम पूर्व को रैखिक मानेंगे, जैसा कि गणितीय साहित्य में सामान्य है, मिश्रित सदिश स्थानों पर सेस्क्‍वीरैखिक रूपों को समर्पित अनुभाग को छोड़कर। वहां हम दूसरी परिपाटी का उपयोग करते हैं और प्रथम तर्क संयुग्म-रैखिक (अर्थात प्रतिरैखिक) मानते हैं और दूसरा तर्क रैखिक मानते हैं। यह वह संकेतन है जिसका उपयोग अधिकतर भौतिकविदों द्वारा उपयोग किया जाता है<ref>footnote 1 in [https://books.google.com/books?id=NSXCaGSVaX4C&dq=sesquilinear+forms+over+general+fields&pg=PA255  Anthony Knapp ''Basic Algebra'' (2007) pg. 255]</ref> और [[क्वांटम यांत्रिकी]] में पॉल डिरैक के ब्रा-केट संकेतन से उत्पन्न हुआ है।


अधिक सामान्य नॉनकम्यूटेटिव सेटिंग में, दाएं मॉड्यूल के साथ हम दूसरे तर्क को रैखिक मानते हैं और बाएं मॉड्यूल के साथ हम पहले तर्क को रैखिक मानते हैं।
इस प्रकार से अधिक सामान्य गैर विनिमेय समायोजन में, दाएं मापांक के साथ हम दूसरे तर्क को रैखिक मानते हैं और बाएं मापांक के साथ हम पूर्व तर्क को रैखिक मानते हैं।


==संमिश्र सदिश समष्टि ==
==संमिश्र सदिश समष्टि ==
{{See also|Antidual space|Dual system}}
{{See also|प्रतिद्वंदी समष्टि|द्वैत पद्धति}}


:धारणा: इस खंड में, सेसक्विलिनियर रूप अपने पहले तर्क में एंटीलीनियर मानचित्र और दूसरे में रैखिक मानचित्र हैं।
:'''धारणा''': इस खंड में, सेस्क्‍वीरैखिक रूप अपने पूर्व तर्क में प्रतिरेखीय प्रतिचित्र और दूसरे में रैखिक प्रतिचित्र हैं।


एक जटिल सदिश समष्टि पर <math>V</math> नक्षा <math>\varphi : V \times V \to \Complex</math> यदि यह सेसक्विलिनियर है
एक मिश्रित सदिश समष्टि <math>V</math> पर प्रतिचित्र <math>\varphi : V \times V \to \Complex</math> सेस्क्‍वीरैखिक होता है यदि
:<math>\begin{align}
:<math>\begin{align}
&\varphi(x + y, z + w) = \varphi(x, z) + \varphi(x, w) + \varphi(y, z) + \varphi(y, w)\\
&\varphi(x + y, z + w) = \varphi(x, z) + \varphi(x, w) + \varphi(y, z) + \varphi(y, w)\\
&\varphi(a x, b y) = \overline{a}b\,\varphi(x,y)\end{align}</math>
&\varphi(a x, b y) = \overline{a}b\,\varphi(x,y)\end{align}</math>
सभी के लिए <math>x, y, z, w \in V</math> और सभी <math>a, b \in \Complex.</math> यहाँ, <math>\overline{a}</math> अदिश राशि का जटिल संयुग्म है <math>a.</math>
सभी <math>x, y, z, w \in V</math> और सभी <math>a, b \in \Complex</math> के लिए हो। यहाँ, <math>\overline{a}</math> अदिश राशि का <math>a</math> मिश्रित संयुग्मी है।
एक जटिल सेसक्विलिनियर फॉर्म को जटिल बिलिनियर मानचित्र के रूप में भी देखा जा सकता है<math display="block">\overline{V} \times V \to \Complex</math>कहाँ <math>\overline{V}</math> का जटिल संयुग्म सदिश समष्टि है <math>V.</math> [[टेंसर उत्पाद]]ों की [[सार्वभौमिक संपत्ति]] के अनुसार ये जटिल रैखिक मानचित्रों के साथ एक-से-एक पत्राचार में हैं<math display="block">\overline{V} \otimes V \to \Complex.</math>एक निश्चित के लिए <math>z \in V</math> वो नक्शा <math>w \mapsto \varphi(z, w)</math> पर [[रैखिक कार्यात्मक]] है <math>V</math> (अर्थात दोहरे स्थान का तत्व <math>V^*</math>). इसी प्रकार, मानचित्र <math>w \mapsto \varphi(w, z)</math> [[संयुग्म-रैखिक]] [[कार्यात्मक (गणित)]] पर है <math>V.</math>
इस प्रकार से एक मिश्रित सेस्क्‍वीरैखिक रूप को मिश्रित द्विरेखीय प्रतिचित्र<math display="block">\overline{V} \times V \to \Complex</math>के रूप में भी देखा जा सकता है जहां <math>\overline{V}</math> <math>V</math> के लिए मिश्रित संयुग्मी सदिश समष्टि है। [[टेंसर उत्पाद|टेंसर गुणनफलों]] की [[सार्वभौमिक संपत्ति|सार्वभौमिक गुण]] के अनुसार ये मिश्रित रैखिक प्रतिचित्र<math display="block">\overline{V} \otimes V \to \Complex</math> के साथ एक-से-एक पत्राचार में हैं।
किसी भी जटिल सेसक्विलिनियर रूप को देखते हुए <math>\varphi</math> पर <math>V</math> हम दूसरे जटिल सेसक्विलिनियर रूप को परिभाषित कर सकते हैं <math>\psi</math> संयुग्म स्थानान्तरण के माध्यम से:<math display="block">\psi(w,z) = \overline{\varphi(z,w)}.</math>सामान्य रूप में, <math>\psi</math> और <math>\varphi</math> अलग होगा. यदि वे वही हैं तो <math>\varphi</math> बताया गया {{em|Hermitian}}. यदि वे एक-दूसरे के प्रति नकारात्मक हैं, तो <math>\varphi</math> बताया गया {{em|skew-Hermitian}}. प्रत्येक सेसक्विलिनियर फॉर्म को हर्मिटियन फॉर्म और स्क्यू-हर्मिटियन फॉर्म के योग के रूप में लिखा जा सकता है।


=== मैट्रिक्स प्रतिनिधित्व ===
एक निश्चित <math>z \in V</math> के लिए प्रतिचित्र <math>w \mapsto \varphi(z, w)</math> <math>V</math> पर [[रैखिक कार्यात्मक]] है (अर्थात दोहरे समष्टि <math>V^*</math> का अवयव)। इसी प्रकार, प्रतिचित्र <math>w \mapsto \varphi(w, z)</math>, <math>V</math> पर [[संयुग्म-रैखिक]] [[कार्यात्मक (गणित)]] है।


अगर <math>V</math> परिमित-आयामी जटिल वेक्टर स्थान है, फिर किसी भी [[आधार (रैखिक बीजगणित)]] के सापेक्ष <math>\left\{ e_i \right\}_i</math> का <math>V,</math> सेसक्विलिनियर फॉर्म को [[मैट्रिक्स (गणित)]] द्वारा दर्शाया जाता है <math>A,</math> और द्वारा दिया गया<math display="block">\varphi(w,z) = \varphi \left(\sum_i w_i e_i, \sum_j z_j e_j \right) = \sum_i \sum_j \overline{w_i} z_j \varphi\left(e_i, e_j\right) = w^\dagger A z .</math>कहाँ <math>w^\dagger</math> संयुग्मी स्थानान्तरण है। मैट्रिक्स के घटक <math>A</math> द्वारा दिए गए हैं <math>A_{ij} := \varphi\left(e_i, e_j\right).</math>
<math>V</math> पर किसी भी मिश्रित सेस्क्‍वीरैखिक रूप <math>\varphi</math> को देखते हुए हम संयुग्मी स्थानान्तरण के माध्यम से एक दूसरे मिश्रित सेस्क्‍वीरैखिक रूप <math>\psi</math> को परिभाषित कर सकते हैं:<math display="block">\psi(w,z) = \overline{\varphi(z,w)}.</math>अतः सामान्य रूप में, <math>\psi</math> और <math>\varphi</math> अलग-अलग होंगे। यदि वे समान हैं तो <math>\varphi</math> को हर्मिटियन कहा जाता है। यदि वे एक-दूसरे के प्रति ऋणात्मक हैं, तो <math>\varphi</math> को तिरछा-हर्मिटियन कहा जाता है। प्रत्येक सेस्क्‍वीरैखिक रूप को हर्मिटियन रूप और स्क्यू-हर्मिटियन रूप के योग के रूप में लिखा जा सकता है।
 
=== आव्यूह प्रतिनिधित्व ===
 
यदि <math>V</math> परिमित-आयामी मिश्रित सदिश समष्टि है, तो <math>V,</math> के किसी भी [[आधार (रैखिक बीजगणित)]] <math>\left\{ e_i \right\}_i</math> के सापेक्ष सेस्क्‍वीरैखिक रूप को [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] <math>A</math> द्वारा दर्शाया जाता है, और<math display="block">\varphi(w,z) = \varphi \left(\sum_i w_i e_i, \sum_j z_j e_j \right) = \sum_i \sum_j \overline{w_i} z_j \varphi\left(e_i, e_j\right) = w^\dagger A z </math> द्वारा दिया जाता है।
 
इस प्रकार से जहाँ <math>w^\dagger</math> संयुग्मी स्थानान्तरण है। आव्यूह <math>A</math> के घटक <math>A_{ij} := \varphi\left(e_i, e_j\right)</math> द्वारा दिए गए हैं।


=== हर्मिटियन रूप ===
=== हर्मिटियन रूप ===
:शब्द 'हर्मिटियन फॉर्म' नीचे बताई गई अवधारणा से भिन्न अवधारणा को भी संदर्भित कर सकता है: यह [[हर्मिटियन मैनिफोल्ड]] पर निश्चित अंतर रूप को संदर्भित कर सकता है।
:शब्द 'हर्मिटियन रूप' निम्न बताई गई अवधारणा से भिन्न अवधारणा को भी संदर्भित कर सकता है: यह [[हर्मिटियन मैनिफोल्ड]] पर निश्चित अंतर रूप को संदर्भित कर सकता है।
 
एक जटिल 'हर्मिटियन रूप' (जिसे 'सममित सेसक्विलिनियर फॉर्म' भी कहा जाता है), सेसक्विलिनियर रूप है <math>h : V \times V \to \Complex</math> ऐसा है कि<math display="block">h(w,z) = \overline{h(z, w)}.</math>मानक हर्मिटियन फॉर्म पर <math>\Complex^n</math> (फिर से, दूसरे में रैखिकता और पहले चर में संयुग्मित रैखिकता के भौतिकी सम्मेलन का उपयोग करके) दिया गया है<math display="block">\langle w,z \rangle = \sum_{i=1}^n \overline{w}_i z_i.</math>अधिक सामान्यतः, किसी भी जटिल हिल्बर्ट स्थान पर आंतरिक उत्पाद हर्मिटियन रूप है।


इस प्रकार से एक मिश्रित 'हर्मिटियन रूप' (जिसे 'सममित सेस्क्‍वीरैखिक रूप' भी कहा जाता है), सेस्क्‍वीरैखिक रूप <math>h : V \times V \to \Complex</math> है, जैसे कि<math display="block">h(w,z) = \overline{h(z, w)}.</math><math>\Complex^n</math> पर मानक हर्मिटियन रूप (फिर से, दूसरे में रैखिकता और पहले चर में संयुग्मित रैखिकता के "भौतिकी" संकेतन का उपयोग करके)<math display="block">\langle w,z \rangle = \sum_{i=1}^n \overline{w}_i z_i</math> द्वारा दिया गया है।
अतः अधिक सामान्यतः, किसी भी मिश्रित हिल्बर्ट समष्टि पर आंतरिक गुणनफल हर्मिटियन रूप है।


हर्मिटियन रूप में ऋण चिह्न प्रस्तुत किया गया है <math>w w^* - z z^*</math> समूह SU(1,1) को परिभाषित करने के लिए।
इस प्रकार से समूह '''SU(1,1)''' को परिभाषित करने के लिए हर्मिटियन रूप '''<math>w w^* - z z^*</math>''' में ऋण चिह्न प्रस्तुत किया गया है।


हर्मिटियन रूप वाला सदिश स्थान <math>(V, h)</math> हर्मिटियन स्पेस कहा जाता है।
हर्मिटियन रूप <math>(V, h)</math> वाले सदिश समष्टि को '''हर्मिटियन समष्टि''' कहा जाता है।


एक जटिल हर्मिटियन रूप का मैट्रिक्स प्रतिनिधित्व [[हर्मिटियन मैट्रिक्स]] है।
एक मिश्रित हर्मिटियन रूप का आव्यूह प्रतिनिधित्व [[हर्मिटियन मैट्रिक्स|'''हर्मिटियन आव्यूह''']] है।


एक एकल वेक्टर पर लागू जटिल हर्मिटियन फॉर्म<math display="block">|z|_h = h(z, z)</math>हमेशा [[वास्तविक संख्या]] होती है. कोई यह दिखा सकता है कि जटिल सेसक्विलिनियर रूप हर्मिटियन है यदि और केवल तभी जब संबंधित [[द्विघात रूप]] सभी के लिए वास्तविक हो <math>z \in V.</math>
एकल सदिश<math display="block">|z|_h = h(z, z)</math>पर लागू किया गया मिश्रित हर्मिटियन रूप सदैव एक [[वास्तविक संख्या]] होती है। कोई यह दिखा सकता है कि मिश्रित सेस्क्‍वीरैखिक रूप हर्मिटियन है यदि और मात्र तभी जब संबंधित [[द्विघात रूप]] सभी <math>z \in V</math> के लिए वास्तविक हो।


=== तिरछा-हर्मिटियन रूप ===
=== तिरछा-हर्मिटियन रूप ===


एक जटिल तिरछा-हर्मिटियन रूप (जिसे एंटीसिमेट्रिक सेसक्विलिनियर फॉर्म भी कहा जाता है), जटिल सेसक्विलिनियर रूप है <math>s : V \times V \to \Complex</math> ऐसा है कि<math display="block">s(w,z) = -\overline{s(z, w)}.</math>प्रत्येक जटिल तिरछा-हर्मिटियन रूप को [[काल्पनिक इकाई]] के रूप में लिखा जा सकता है <math>i := \sqrt{-1}</math> कई बार हर्मिटियन रूप।
इस प्रकार से एक मिश्रित '''तिरछा-हर्मिटियन रूप''' (जिसे '''प्रतिसममित सेस्क्‍वीरैखिक रूप''' भी कहा जाता है), '''मिश्रित सेस्क्‍वीरैखिक रूप''' <math>s : V \times V \to \Complex</math> है जैसे कि<math display="block">s(w,z) = -\overline{s(z, w)}.</math>अतः प्रत्येक मिश्रित तिरछा-हर्मिटियन रूप को हर्मिटियन रूप की [[काल्पनिक इकाई]] <math>i := \sqrt{-1}</math> गुना के रूप में लिखा जा सकता है।


इस प्रकार से एक मिश्रित तिरछा-हर्मिटियन रूप का आव्यूह प्रतिनिधित्व [[तिरछा-हर्मिटियन मैट्रिक्स|तिरछा-हर्मिटियन आव्यूह]] है।


एक जटिल तिरछा-हर्मिटियन रूप का मैट्रिक्स प्रतिनिधित्व [[तिरछा-हर्मिटियन मैट्रिक्स]] है।
अतः एकल सदिश पर<math display="block">|z|_s = s(z, z)</math>पर लागू किया गया एक मिश्रित तिरछा-हर्मिटियन रूप सदैव पूर्णतः [[काल्पनिक संख्या]] होती है।


एक एकल वेक्टर पर लागू जटिल तिरछा-हर्मिटियन रूप<math display="block">|z|_s = s(z, z)</math>हमेशा पूर्णतः [[काल्पनिक संख्या]] होती है.
==विभाजन वलय के ऊपर==
 
इस प्रकार से जब विभाजन वलय {{math|''K''}} [[क्रमविनिमेय वलय]] होता है तो यह खंड अपरिवर्तित लागू होता है। अधिक विशिष्ट शब्दावली तब भी लागू होती है: विभाजन वलय क्षेत्र है, प्रति-स्वसमाकृतिकता भी स्वसमाकृतिकता है, और उचित मापांक सदिश समष्टि है। निम्नलिखित भावों के उपयुक्त पुनर्क्रमण के साथ बाएं मापांक पर लागू होता है।
==डिवीजन रिंग के ऊपर==
विभाजन बजने पर यह धारा अपरिवर्तित लागू होती है {{math|''K''}} [[क्रमविनिमेय वलय]] है। अधिक विशिष्ट शब्दावली तब भी लागू होती है: डिवीजन रिंग फ़ील्ड है, एंटी-ऑटोमोर्फिज्म भी ऑटोमोर्फिज्म है, और सही मॉड्यूल वेक्टर स्पेस है। निम्नलिखित भावों के उपयुक्त पुनर्क्रमण के साथ बाएं मॉड्यूल पर लागू होता है।


===परिभाषा===
===परिभाषा===
{{math|''σ''}}-दाईं ओर सेसक्विलिनियर फॉर्म {{math|''K''}}-मापांक {{math|''M''}} [[द्वि-योगात्मक मानचित्र]] है {{math|''φ'' : ''M'' × ''M'' → ''K''}} संबद्ध [[स्वप्रतिरोधी]] के साथ {{math|''σ''}} विभाजन वलय का {{math|''K''}} ऐसा कि, सबके लिए {{math|''x'', ''y''}} में {{math|''M''}} और सभी {{math|''α'', ''β''}} में {{math|''K''}},
अतः दाएं {{math|''K''}}-मापांक {{math|''M''}} पर '''{{math|''σ''}}-सेस्क्‍वीरैखिक रूप''' [[द्वि-योगात्मक मानचित्र|द्वि-योगात्मक प्रतिचित्र]] {{math|''φ'' : ''M'' × ''M'' → ''K''}} है, जो विभाजन वलय {{math|''K''}} के संबद्ध [[स्वप्रतिरोधी]] {{math|''σ''}} के साथ है, जैसे कि, {{math|''M''}} में सभी {{math|''x'', ''y''}} और {{math|''K''}},
:<math>\varphi(x \alpha, y \beta) = \sigma(\alpha) \, \varphi(x, y) \, \beta .</math>
:<math>\varphi(x \alpha, y \beta) = \sigma(\alpha) \, \varphi(x, y) \, \beta </math> में सभी {{math|''α'', ''β''}} के लिए।
संबद्ध एंटी-ऑटोमोर्फिज्म {{math|''σ''}} किसी भी शून्येतर सेसक्विलिनियर रूप के लिए {{math|''φ''}} विशिष्ट रूप से निर्धारित होता है {{math|''φ''}}.
इस प्रकार से किसी भी गैर-शून्य सेस्क्‍वीरैखिक रूप φ के लिए संबंधित प्रति-स्वसमाकृतिकता σ विशिष्ट रूप से φ द्वारा निर्धारित किया जाता है।


===रूढ़िवादिता===
===लंबिकता===
एक sesquilinear रूप दिया गया है {{math|''φ''}} मॉड्यूल पर {{math|''M''}} और उपस्थान ([[सबमॉड्यूल]]) {{math|''W''}} का {{math|''M''}}, का ओर्थोगोनल पूरक {{math|''W''}} इसके संबंध में {{math|''φ''}} है
मापांक {{math|''M''}} और {{math|''M''}} के उपसमष्टि ([[सबमॉड्यूल|उपमापांक]]) {{math|''W''}} पर सेस्क्‍वीरैखिक रूप {{math|''φ''}} दिया गया है, {{math|''φ''}} के संबंध में {{math|''W''}} का '''लांबिक पूरक'''
:<math>W^{\perp}=\{\mathbf{v} \in M \mid \varphi (\mathbf{v}, \mathbf{w})=0,\ \forall \mathbf{w}\in W\} . </math>
:<math>W^{\perp}=\{\mathbf{v} \in M \mid \varphi (\mathbf{v}, \mathbf{w})=0,\ \forall \mathbf{w}\in W\} </math> है।
इसी प्रकार, {{math|''x'' ∈ ''M''}} ऑर्थोगोनल है {{math|''y'' ''M''}} इसके संबंध में {{math|''φ''}}, लिखा हुआ {{math|''x'' ⊥<sub>''φ''</sub> ''y''}} (या केवल {{math|''x'' ⊥ ''y''}} अगर {{math|''φ''}}संदर्भ से अनुमान लगाया जा सकता है), कब {{math|1=''φ''(''x'', ''y'') = 0}}. इस [[द्विआधारी संबंध]] को [[सममित संबंध]] होने की आवश्यकता नहीं है, अर्थात। {{math|''x'' ⊥ ''y''}} का तात्पर्य नहीं है {{math|''y'' ⊥ ''x''}} (लेकिन देखें{{section link||Reflexivity}} नीचे)।
इसी प्रकार, '''''x M, φ''''' के संबंध में '''''y ∈ M''''' का लांबिक है, जिसे '''''x ⊥φ y''''' लिखा जाता है (या मात्र '''''x y''''' यदि φ संदर्भ से अनुमान लगाया जा सकता है), जब '''''φ(x, y) = 0'''''इस [[द्विआधारी संबंध]] को [[सममित संबंध]] होने की आवश्यकता नहीं है, अर्थात '''''{{math|''x'' ⊥ ''y''}}''''' का अर्थ y ⊥ x नहीं है (परन्तु नीचे {{section link||प्रतिबिम्बता}} देखें)।


===प्रतिबिम्बता===
===प्रतिबिम्बता===
एक sesquilinear रूप {{math|''φ''}} प्रतिवर्ती है यदि, सभी के लिए {{math|''x'', ''y''}} में {{math|''M''}},
इस प्रकार से यदि {{math|''M''}} में सभी {{math|''x'', ''y''}} के लिए
:<math>\varphi(x, y) = 0</math> तात्पर्य <math>\varphi(y, x) = 0.</math>
:<math>\varphi(x, y) = 0</math> का तात्पर्य <math>\varphi(y, x) = 0</math> से है तो एक सेस्क्‍वीरैखिक रूप {{math|''φ''}} प्रतिवर्ती है।
अर्थात्, सेसक्विलिनियर रूप ठीक उसी समय रिफ्लेक्सिव होता है जब व्युत्पन्न ऑर्थोगोनैलिटी संबंध सममित होता है।
अर्थात्, सेस्क्‍वीरैखिक रूप ठीक उसी समय प्रतिवर्ती होता है जब व्युत्पन्न '''लंबिकता''' संबंध सममित होता है।


===हर्मिटियन विविधताएं===
===हर्मिटियन विविधताएं===
{{math|''σ''}}-सेसक्विलिनियर फॉर्म {{math|''φ''}} कहा जाता है{{math|(''σ'', ''ε'')}}-हर्मिटियन यदि मौजूद है {{math|''ε''}} में {{math|''K''}} ऐसा कि, सबके लिए {{math|''x'', ''y''}} में {{math|''M''}},
अतः एक {{math|''σ''}}-सेस्क्‍वीरैखिक रूप {{math|''φ''}} को '''{{math|(''σ'', ''ε'')}}-हर्मिटियन''' कहा जाता है यदि {{math|''K''}} में {{math|''ε''}} स्थित है, जैसे कि, {{math|''M''}},
:<math>\varphi(x, y) = \sigma ( \varphi (y, x)) \, \varepsilon .</math>
:<math>\varphi(x, y) = \sigma ( \varphi (y, x)) \, \varepsilon </math> में सभी {{math|''x'', ''y''}} के लिए।
अगर {{math|1=''ε'' = 1}}, फॉर्म कहा जाता है {{math|''σ''}}-हर्मिटियन, और यदि {{math|1=''ε'' = −1}}, यह कहा जाता है {{math|''σ''}}-एंटी-हर्मिटियन। (कब {{math|''σ''}} निहित है, क्रमशः केवल हर्मिटियन या एंटी-हर्मिटियन।)
यदि {{math|1=''ε'' = 1}}, ते रूप को {{math|''σ''}}-हर्मिटियन कहा जाता है, और यदि {{math|1=''ε'' = −1}}, तो इसे σ-प्रति-हर्मिटियन कहा जाता है। (जब {{math|''σ''}} का अर्थ क्रमशः हर्मिटियन या प्रति-हर्मिटियन होता है।)


एक शून्येतर के लिए {{math|(''σ'', ''ε'')}}-हर्मिटियन रूप, यह सभी के लिए इसका अनुसरण करता है {{math|''α''}} में {{math|''K''}},
इस प्रकार से एक शून्येतर {{math|(''σ'', ''ε'')}}-हर्मिटियन रूप के लिए, यह इस प्रकार है कि {{math|''K''}},
:<math> \sigma ( \varepsilon ) = \varepsilon^{-1} </math>
:<math> \sigma ( \varepsilon ) = \varepsilon^{-1} </math>
:<math> \sigma ( \sigma ( \alpha ) ) = \varepsilon \alpha \varepsilon^{-1} .</math>
:<math> \sigma ( \sigma ( \alpha ) ) = \varepsilon \alpha \varepsilon^{-1} </math> में सभी {{math|''α''}} के लिए।
यह उसका अनुसरण भी करता है {{math|''φ''(''x'', ''x'')}} मानचित्र का [[निश्चित बिंदु (गणित)]] है {{math|''α'' ↦ ''σ''(''α'')''ε''}}. इस मानचित्र के निश्चित बिंदु [[योगात्मक समूह]] का [[उपसमूह]] बनाते हैं {{math|''K''}}.
इससे यह भी पता चलता है कि {{math|''φ''(''x'', ''x'')}} प्रतिचित्र {{math|''α'' ↦ ''σ''(''α'')''ε''}} का [[निश्चित बिंदु (गणित)]] है। इस प्रतिचित्र के निश्चित बिंदु {{math|''K''}} के [[योगात्मक समूह]] का [[उपसमूह]] बनाते हैं।


{{math|(''σ'', ''ε'')}}-हर्मिटियन रूप प्रतिवर्ती है, और प्रत्येक प्रतिवर्ती है {{math|''σ''}}-सेसक्विलिनियर फॉर्म है {{math|(''σ'', ''ε'')}}-कुछ के लिए हर्मिटियन {{math|''ε''}}.<ref>
अतः एक {{math|(''σ'', ''ε'')}}-हर्मिटियन रूप प्रतिवर्ती है, और प्रत्येक प्रतिवर्ती {{math|''σ''}}-सेस्क्‍वीरैखिक रूप कुछ {{math|''ε''}} के लिए {{math|(''σ'', ''ε'')}}-हर्मिटियन है।<ref>
{{citation|year=1975|title=Combinatorics|journal=Proceedings of the NATO Advanced Study Institute, Held at Nijenrode Castle, Breukelen, the Netherlands, 8–20 July 1974|publisher=[[D. Reidel]]|pages=456–457}} – [https://books.google.com/books?id=S9q8uKabV60C&pg=PA456]
{{citation|year=1975|title=Combinatorics|journal=Proceedings of the NATO Advanced Study Institute, Held at Nijenrode Castle, Breukelen, the Netherlands, 8–20 July 1974|publisher=[[D. Reidel]]|pages=456–457}} – [https://books.google.com/books?id=S9q8uKabV60C&pg=PA456]
</ref><ref>
</ref><ref>
Line 90: Line 94:
{{harvnb|Dembowski|1968|page=42}}
{{harvnb|Dembowski|1968|page=42}}
</ref>
</ref>
विशेष मामले में वह {{math|''σ''}} [[पहचान मानचित्र]] है (अर्थात्, {{math|1=''σ'' = id}}), {{math|''K''}} क्रमविनिमेय है, {{math|''φ''}} द्विरेखीय रूप है और {{math|1=''ε''<sup>2</sup> = 1}}. फिर के लिए {{math|1=''ε'' = 1}} द्विरेखीय रूप को सममित कहा जाता है, और के लिए {{math|1=''ε'' = −1}} को तिरछा-सममितीय कहा जाता है।<ref>When {{math|1=[[Characteristic (algebra)|char]] ''K'' = 2}}, skew-symmetric and symmetric bilinear forms coincide since then {{math|1=1 = −1}}.  In all cases, alternating bilinear forms are a subset of skew-symmetric bilinear forms, and need not be considered separately.</ref>
== मनमाने छल्ले पर ==
स्क्यूफील्ड्स के लिए उपरोक्त अनुभाग की विशेषज्ञता प्रक्षेप्य ज्यामिति के अनुप्रयोग का परिणाम थी, और सेसक्विलिनियर रूपों की प्रकृति के लिए आंतरिक नहीं थी। गुणन की गैर-अनुक्रमणात्मकता को ध्यान में रखने के लिए केवल छोटे संशोधनों की आवश्यकता होती है, जो परिभाषा के मनमाने क्षेत्र संस्करण को मनमाने छल्ले में सामान्यीकृत करने के लिए आवश्यक हैं।


होने देना {{math|''R''}} अंगूठी बनें (गणित), {{math|''V''}} {{math|''R''}}-[[मॉड्यूल (गणित)]] और {{math|''σ''}} का एंटीऑटोमोर्फिज्म {{math|''R''}}.
विशेष स्थिति में कि {{math|''σ''}} [[पहचान मानचित्र|पहचान प्रतिचित्र]] है (अर्थात्, {{math|1=''σ'' = id}}), {{math|''K''}} क्रमविनिमेय है, {{math|''φ''}} द्विरेखीय रूप है और {{math|1=''ε''<sup>2</sup> = 1}} है। फिर {{math|1=''ε'' = 1}} के लिए द्विरेखीय रूप को सममित कहा जाता है, और {{math|1=''ε'' = −1}} के लिए तिरछा-सममितीय कहा जाता है।<ref>When {{math|1=[[Characteristic (algebra)|char]] ''K'' = 2}}, skew-symmetric and symmetric bilinear forms coincide since then {{math|1=1 = −1}}.  In all cases, alternating bilinear forms are a subset of skew-symmetric bilinear forms, and need not be considered separately.</ref>
== यादृच्छिक वलय पर ==
इस प्रकार से तिरछे क्षेत्र के लिए उपरोक्त अनुभाग की विशेषज्ञता प्रक्षेप्य ज्यामिति के अनुप्रयोग का परिणाम थी, और सेस्क्‍वीरैखिक रूपों की प्रकृति के लिए आंतरिक नहीं थी। अतः गुणन की गैर-अनुक्रमणात्मकता को ध्यान में रखने के लिए मात्र छोटे संशोधनों की आवश्यकता होती है, जो परिभाषा के यादृच्छिक क्षेत्र संस्करण को यादृच्छिक वलय में सामान्यीकृत करने के लिए आवश्यक हैं।
 
इस प्रकार से मान लीजिए {{math|''R''}} वलय (गणित) है,, {{math|''V''}} एक {{math|''R''}}-[[मॉड्यूल (गणित)|मापांक (गणित)]] है और {{math|''σ''}} {{math|''R''}} का प्रतिस्वसमाकृतिकता है।


नक्षा {{math|''φ'' : ''V'' × ''V'' → ''R''}} है{{math|''σ''}}-सेसक्विलिनियर यदि
प्रतिचित्र {{math|''φ'' : ''V'' × ''V'' → ''R''}} {{math|''σ''}}-सेस्क्‍वीरैखिक है यदि {{math|''V''}} में सभी {{math|''x'', ''y'', ''z'', ''w''}} के लिए
:<math>\varphi(x + y, z + w) = \varphi(x, z) + \varphi(x, w) + \varphi(y, z) + \varphi(y, w)</math>
:<math>\varphi(x + y, z + w) = \varphi(x, z) + \varphi(x, w) + \varphi(y, z) + \varphi(y, w)</math>
:<math>\varphi(c x, d y) = c \, \varphi(x,y) \, \sigma(d)</math>
:<math>\varphi(c x, d y) = c \, \varphi(x,y) \, \sigma(d)</math>
सभी के लिए {{math|''x'', ''y'', ''z'', ''w''}} में {{math|''V''}} और सभी {{math|''c'', ''d''}} में {{math|''R''}}.
और {{math|''R''}} सभी {{math|''c'', ''d''}} के लिए हैं।


तत्व {{math|''x''}} किसी अन्य तत्व के लिए ओर्थोगोनल है {{math|''y''}} सेसक्विलिनियर फॉर्म के संबंध में {{math|''φ''}} (लिखा हुआ {{math|''x'' ⊥ ''y''}}) अगर {{math|1=''φ''(''x'', ''y'') = 0}}. इस संबंध को सममित होने की आवश्यकता नहीं है, अर्थात। {{math|''x'' ''y''}} का तात्पर्य नहीं है {{math|''y'' ''x''}}.
यदि φ(x, y) = 0 है तो एक अवयव x सेस्क्‍वीरैखिक रोप φ (लिखित x y) के संबंध में दूसरे अवयव y के लिए लाम्बिक है। इस संबंध को सममित होने की आवश्यकता नहीं है, अर्थात x ⊥ y का अर्थ y ⊥ x नहीं है।


एक sesquilinear रूप {{math|''φ'' : ''V'' × ''V'' → ''R''}} रिफ्लेक्सिव (या ''ऑर्थोसिमेट्रिक'') है यदि {{math|1=''φ''(''x'', ''y'') = 0}} तात्पर्य {{math|1=''φ''(''y'', ''x'') = 0}} सभी के लिए {{math|''x'', ''y''}} में {{math|''V''}}.
एक सेस्क्‍वीरैखिक रूप '''{{math|''φ'' : ''V'' × ''V'' → ''R''}}''' प्रतिवर्ती (या ''ऑर्थोसममित'') है यदि ''''(x, y) = 0''''' का तात्पर्य वी में सभी '''''x, y''''' के लिए '''''φ(y, x) = 0''''' है।


एक sesquilinear रूप {{math|''φ'' : ''V'' × ''V'' → ''R''}} यदि मौजूद है तो हर्मिटियन है {{math|''σ''}} ऐसा है कि<ref>{{citation|last1=Faure|first1=Claude-Alain|last2=Frölicher|first2=Alfred|year=2000|title=Modern Projective Geometry|publisher=[[Kluwer Academic Publishers]]}}</ref>{{rp|325}}
एक सेस्क्‍वीरैखिक रूप {{math|''φ'' : ''V'' × ''V'' → ''R''}} हर्मिटियन है यदि σ स्थित है जैसे कि V में सभी x, y के लिए<ref>{{citation|last1=Faure|first1=Claude-Alain|last2=Frölicher|first2=Alfred|year=2000|title=Modern Projective Geometry|publisher=[[Kluwer Academic Publishers]]}}</ref>{{rp|325}}
:<math>\varphi(x, y) = \sigma(\varphi(y, x))</math>
:<math>\varphi(x, y) = \sigma(\varphi(y, x))</math>
सभी के लिए {{math|''x'', ''y''}} में {{math|''V''}}. हर्मिटियन रूप आवश्यक रूप से प्रतिवर्ती है, और यदि यह गैर-शून्य है, तो संबंधित एंटीऑटोमोर्फिज्म है {{math|''σ''}} इनवोलुशन (गणित) है (अर्थात् क्रम 2 का)।
इस प्रकार से हर्मिटियन रूप आवश्यक रूप से प्रतिवर्ती है, और यदि यह गैर-शून्य है, तो संबंधित प्रतिस्वसमाकृतिकता है {{math|''σ''}} प्रत्यावर्तन (गणित) है (अर्थात् 2 का क्रम)।


चूंकि एंटीऑटोमोर्फिज्म के लिए {{math|''σ''}} अपने पास {{math|1=''σ''(''st'') = ''σ''(''t'')''σ''(''s'')}} सभी के लिए {{math|''s'', ''t''}} में {{math|''R''}}, अगर {{math|1=''σ'' = id}}, तब {{math|''R''}} क्रमविनिमेय होना चाहिए और {{math|''φ''}} द्विरेखीय रूप है। विशेषकर, यदि, इस मामले में, {{math|''R''}} तो फिर स्क्यूफ़ील्ड है {{math|''R''}} फ़ील्ड है और {{math|''V''}} द्विरेखीय रूप वाला सदिश समष्टि है।
चूंकि प्रतिस्वसमाकृतिकता {{math|''σ''}} के लिए हमारे निकट सभी s के लिए '''''σ(st) = σ(t)σ(s)''''' है, R में t, यदि '''''σ = id''''' है, तो '''''R''''' को क्रमविनिमेय होना चाहिए और φ एक द्विरेखीय रूप है। विशेषकर, यदि, इस स्थिति में, R एक तिरछा क्षेत्र है, तो R एक क्षेत्र है और V एक द्विरेखीय रूप वाला एक सदिश समष्टि है।


एक एंटीऑटोमोर्फिज्म {{math|''σ'' : ''R'' → ''R''}} को रिंग समरूपता के रूप में भी देखा जा सकता है {{math|''R'' → ''R''<sup>op</sup>}}, कहाँ {{math|''R''<sup>op</sup>}} का विपरीत वलय है {{math|''R''}}, जिसमें समान अंतर्निहित सेट और समान जोड़ है, लेकिन जिसका गुणन संक्रिया ({{math|∗}}) द्वारा परिभाषित किया गया है {{math|1=''a'' ∗ ''b'' = ''ba''}}, जहां दाहिनी ओर का उत्पाद अंदर का उत्पाद है {{math|''R''}}. इससे यह निष्कर्ष निकलता है कि दाएँ (बाएँ) {{math|''R''}}-मापांक {{math|''V''}} को बाएँ (दाएँ) में बदला जा सकता है {{math|''R''<sup>op</sup>}}-मापांक, {{math|''V''<sup>o</sup>}}.<ref>{{harvnb|Jacobson|2009|page=164}}</ref> इस प्रकार, सेसक्विलिनियर रूप {{math|''φ'' : ''V'' × ''V'' → ''R''}} को द्विरेखीय रूप के रूप में देखा जा सकता है {{math|''φ''′ : ''V'' × ''V''<sup>o</sup> → ''R''}}.
अतः एक प्रतिस्वसमाकृतिकता {{math|''σ'' : ''R'' → ''R''}} को {{math|''R'' → ''R''<sup>op</sup>}} वलय समरूपता के रूप में भी देखा जा सकता है, जहाँ {{math|''R''<sup>op</sup>}} {{math|''R''}} का विपरीत वलय है, जिसमें समान अंतर्निहित समूह और समान योग है, परन्तु जिसका गुणन संक्रिया ('''{{math|∗}}'''), '''{{math|1=''a'' ∗ ''b'' = ''ba''}}''' द्वारा परिभाषित किया गया है, जहां दाहिनी ओर का गुणनफल {{math|''R''}} का गुणनफल है। इससे यह निष्कर्ष निकलता है कि दाएँ (बाएँ) {{math|''R''}}-मापांक {{math|''V''}} को बाएँ (दाएँ) {{math|''R''<sup>op</sup>}}-मापांक, {{math|''V''<sup>o</sup>}} में बदला जा सकता है।<ref>{{harvnb|Jacobson|2009|page=164}}</ref> इस प्रकार, सेस्क्‍वीरैखिक रूप {{math|''φ'' : ''V'' × ''V'' → ''R''}} को द्विरेखीय रूप {{math|''φ''′ : ''V'' × ''V''<sup>o</sup> → ''R''}} के रूप में देखा जा सकता है।


==यह भी देखें==
==यह भी देखें==
* [[*-अँगूठी]]
* [[*-अँगूठी|*-वलय]]


==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}
{{reflist}}
==संदर्भ==
==संदर्भ==
* {{Citation | last1=Dembowski | first1=Peter | title=Finite geometries | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]], Band 44 | mr=0233275 | year=1968 | isbn=3-540-61786-8 | url-access=registration | url=https://archive.org/details/finitegeometries0000demb }}
* {{Citation | last1=Dembowski | first1=Peter | title=Finite geometries | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]], Band 44 | mr=0233275 | year=1968 | isbn=3-540-61786-8 | url-access=registration | url=https://archive.org/details/finitegeometries0000demb }}
* {{citation|first1=K.W.|last1=Gruenberg|first2=A.J.|last2=Weir|year=1977|title=Linear Geometry|edition=2nd|publisher=Springer|isbn= 0-387-90227-9}}
* {{citation|first1=K.W.|last1=Gruenberg|first2=A.J.|last2=Weir|year=1977|title=Linear Geometry|edition=2nd|publisher=Springer|isbn= 0-387-90227-9}}
* {{citation|first=Nathan J.|last=Jacobson|title=Basic Algebra I|edition=2nd|year=2009|orig-year=1985|publisher=Dover|isbn=978-0-486-47189-1}}
* {{citation|first=Nathan J.|last=Jacobson|title=Basic Algebra I|edition=2nd|year=2009|orig-year=1985|publisher=Dover|isbn=978-0-486-47189-1}}
==बाहरी संबंध==
==बाहरी संबंध==


Line 131: Line 132:


{{Hilbert space}}
{{Hilbert space}}
[[Category: कार्यात्मक विश्लेषण]] [[Category: लीनियर अलजेब्रा]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 06/07/2023]]
[[Category:Created On 06/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:कार्यात्मक विश्लेषण]]
[[Category:लीनियर अलजेब्रा]]

Latest revision as of 17:10, 16 July 2023

गणित में, सेस्क्‍वीरैखिक रूप द्विरेखीय रूप का सामान्यीकरण है, जो इसके स्थान पर, यूक्लिडियन समष्टि के बिंदु गुणनफल की अवधारणा का सामान्यीकरण है। द्विरेखीय रूप अपने प्रत्येक तर्क में रैखिक प्रतिचित्र होता है, परन्तु सेस्क्‍वीरैखिक रूप तर्क को अर्धरेखीय प्रतिचित्र रूप से विकृत करने की अनुमति देता है, इस प्रकार नाम; जो लैटिन संख्यात्मक उपसर्गसेस्क्‍वी- से उत्पन्न हुआ है जिसका अर्थ है डेढ़। बिंदु गुणनफल की मूल अवधारणा - सदिश के युग्म से अदिश (गणित) का गुणनफलन - अदिश मानों की विस्तृत श्रृंखला की अनुमति देकर और, संभवतः साथ, सदिश की परिभाषा को चौड़ा करके सामान्यीकृत किया जा सकता है।

एक प्रेरक विशेष स्थिति मिश्रित सदिश समष्टि, V पर सेस्क्‍वीरैखिक रूप है। यह प्रतिचित्र है V × VC है, जो तर्क में रैखिक है और मिश्रित संयुग्मी द्वारा दूसरे तर्क की रैखिकता को विकृत कर देता है (दूसरे तर्क में इसे प्रतिरेखीय कहा जाता है)। यह स्थिति गणितीय भौतिकी अनुप्रयोगों में स्वाभाविक रूप से उठता है। अन्य महत्वपूर्ण स्थिति अदिश को किसी भी क्षेत्र (गणित) से आने की अनुमति देता है और विकृत क्षेत्र स्वसमाकृतिकता द्वारा प्रदान किया जाता है।

इस प्रकार से प्रक्षेप्य ज्यामिति में अनुप्रयोग के लिए आवश्यक है कि अदिश विभाजन वलय (तिरछा क्षेत्र), K से आएं, और इसका अर्थ है कि "सदिश" को K-मापांक के अवयवों द्वारा प्रतिस्थापित किया जाना चाहिए। बहुत ही सामान्य समायोजन में, सेस्क्‍वीरैखिक रूपों यादृच्छिक वलयों Rके लिए R-मापांक पर परिभाषित किया जा सकता है।

अनौपचारिक परिचय

सेस्क्‍वीरैखिक मिश्रित सदिश समष्टि पर हर्मिटियन रूप की मूल धारणा को अमूर्त और सामान्यीकृत करता है। अतः हर्मिटियन रूपों को सामान्यतः भौतिकी में मिश्रित हिल्बर्ट समष्टि पर आंतरिक गुणनफल के रूप में देखा जाता है। ऐसी स्थितियों में, Cn पर मानक हर्मिटियन रूप

द्वारा दिया जाता है।

जहाँ , के मिश्रित संयुग्मी को दर्शाता है। इस गुणनफल को उन स्थितियों के लिए सामान्यीकृत किया जा सकता है जहां कोई Cn के लिए प्रसामान्य लांबिक आधार या यहां तक ​​कि किसी भी आधार पर कार्य नहीं कर रहा है। गुणनफल में का एक अतिरिक्त कारक डालने से, व्यक्ति को तिरछा-हर्मिटियन रूप प्राप्त होता है, जिसे निम्न अधिक यथार्थ रूप से परिभाषित किया गया है। परिभाषा को सम्मिश्र संख्याओं तक सीमित रखने का कोई विशेष कारण नहीं है; इसे यादृच्छिक वलय (गणित) के लिए परिभाषित किया जा सकता है, जिसमें प्रतिस्वसमाकृतिकता होता है, जिसे अनौपचारिक रूप से वलय के लिए मिश्रित संयुग्मन की सामान्यीकृत अवधारणा के रूप में समझा जाता है।

संकेतन

इस प्रकार से कौन सा तर्क रैखिक होना चाहिए, इसे लेकर परंपराएं अलग-अलग हैं। क्रमविनिमेय स्थिति में, हम पूर्व को रैखिक मानेंगे, जैसा कि गणितीय साहित्य में सामान्य है, मिश्रित सदिश स्थानों पर सेस्क्‍वीरैखिक रूपों को समर्पित अनुभाग को छोड़कर। वहां हम दूसरी परिपाटी का उपयोग करते हैं और प्रथम तर्क संयुग्म-रैखिक (अर्थात प्रतिरैखिक) मानते हैं और दूसरा तर्क रैखिक मानते हैं। यह वह संकेतन है जिसका उपयोग अधिकतर भौतिकविदों द्वारा उपयोग किया जाता है[1] और क्वांटम यांत्रिकी में पॉल डिरैक के ब्रा-केट संकेतन से उत्पन्न हुआ है।

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

संमिश्र सदिश समष्टि

धारणा: इस खंड में, सेस्क्‍वीरैखिक रूप अपने पूर्व तर्क में प्रतिरेखीय प्रतिचित्र और दूसरे में रैखिक प्रतिचित्र हैं।

एक मिश्रित सदिश समष्टि पर प्रतिचित्र सेस्क्‍वीरैखिक होता है यदि

सभी और सभी के लिए हो। यहाँ, अदिश राशि का मिश्रित संयुग्मी है। इस प्रकार से एक मिश्रित सेस्क्‍वीरैखिक रूप को मिश्रित द्विरेखीय प्रतिचित्र

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

एक निश्चित के लिए प्रतिचित्र पर रैखिक कार्यात्मक है (अर्थात दोहरे समष्टि का अवयव)। इसी प्रकार, प्रतिचित्र , पर संयुग्म-रैखिक कार्यात्मक (गणित) है।

पर किसी भी मिश्रित सेस्क्‍वीरैखिक रूप को देखते हुए हम संयुग्मी स्थानान्तरण के माध्यम से एक दूसरे मिश्रित सेस्क्‍वीरैखिक रूप को परिभाषित कर सकते हैं:

अतः सामान्य रूप में, और अलग-अलग होंगे। यदि वे समान हैं तो को हर्मिटियन कहा जाता है। यदि वे एक-दूसरे के प्रति ऋणात्मक हैं, तो को तिरछा-हर्मिटियन कहा जाता है। प्रत्येक सेस्क्‍वीरैखिक रूप को हर्मिटियन रूप और स्क्यू-हर्मिटियन रूप के योग के रूप में लिखा जा सकता है।

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

यदि परिमित-आयामी मिश्रित सदिश समष्टि है, तो के किसी भी आधार (रैखिक बीजगणित) के सापेक्ष सेस्क्‍वीरैखिक रूप को आव्यूह (गणित) द्वारा दर्शाया जाता है, और

द्वारा दिया जाता है।

इस प्रकार से जहाँ संयुग्मी स्थानान्तरण है। आव्यूह के घटक द्वारा दिए गए हैं।

हर्मिटियन रूप

शब्द 'हर्मिटियन रूप' निम्न बताई गई अवधारणा से भिन्न अवधारणा को भी संदर्भित कर सकता है: यह हर्मिटियन मैनिफोल्ड पर निश्चित अंतर रूप को संदर्भित कर सकता है।

इस प्रकार से एक मिश्रित 'हर्मिटियन रूप' (जिसे 'सममित सेस्क्‍वीरैखिक रूप' भी कहा जाता है), सेस्क्‍वीरैखिक रूप है, जैसे कि

पर मानक हर्मिटियन रूप (फिर से, दूसरे में रैखिकता और पहले चर में संयुग्मित रैखिकता के "भौतिकी" संकेतन का उपयोग करके)
द्वारा दिया गया है। अतः अधिक सामान्यतः, किसी भी मिश्रित हिल्बर्ट समष्टि पर आंतरिक गुणनफल हर्मिटियन रूप है।

इस प्रकार से समूह SU(1,1) को परिभाषित करने के लिए हर्मिटियन रूप में ऋण चिह्न प्रस्तुत किया गया है।

हर्मिटियन रूप वाले सदिश समष्टि को हर्मिटियन समष्टि कहा जाता है।

एक मिश्रित हर्मिटियन रूप का आव्यूह प्रतिनिधित्व हर्मिटियन आव्यूह है।

एकल सदिश

पर लागू किया गया मिश्रित हर्मिटियन रूप सदैव एक वास्तविक संख्या होती है। कोई यह दिखा सकता है कि मिश्रित सेस्क्‍वीरैखिक रूप हर्मिटियन है यदि और मात्र तभी जब संबंधित द्विघात रूप सभी के लिए वास्तविक हो।

तिरछा-हर्मिटियन रूप

इस प्रकार से एक मिश्रित तिरछा-हर्मिटियन रूप (जिसे प्रतिसममित सेस्क्‍वीरैखिक रूप भी कहा जाता है), मिश्रित सेस्क्‍वीरैखिक रूप है जैसे कि

अतः प्रत्येक मिश्रित तिरछा-हर्मिटियन रूप को हर्मिटियन रूप की काल्पनिक इकाई गुना के रूप में लिखा जा सकता है।

इस प्रकार से एक मिश्रित तिरछा-हर्मिटियन रूप का आव्यूह प्रतिनिधित्व तिरछा-हर्मिटियन आव्यूह है।

अतः एकल सदिश पर

पर लागू किया गया एक मिश्रित तिरछा-हर्मिटियन रूप सदैव पूर्णतः काल्पनिक संख्या होती है।

विभाजन वलय के ऊपर

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

परिभाषा

अतः दाएं K-मापांक M पर σ-सेस्क्‍वीरैखिक रूप द्वि-योगात्मक प्रतिचित्र φ : M × MK है, जो विभाजन वलय K के संबद्ध स्वप्रतिरोधी σ के साथ है, जैसे कि, M में सभी x, y और K,

में सभी α, β के लिए।

इस प्रकार से किसी भी गैर-शून्य सेस्क्‍वीरैखिक रूप φ के लिए संबंधित प्रति-स्वसमाकृतिकता σ विशिष्ट रूप से φ द्वारा निर्धारित किया जाता है।

लंबिकता

मापांक M और M के उपसमष्टि (उपमापांक) W पर सेस्क्‍वीरैखिक रूप φ दिया गया है, φ के संबंध में W का लांबिक पूरक

है।

इसी प्रकार, x ∈ M, φ के संबंध में y ∈ M का लांबिक है, जिसे x ⊥φ y लिखा जाता है (या मात्र x ⊥ y यदि φ संदर्भ से अनुमान लगाया जा सकता है), जब φ(x, y) = 0। इस द्विआधारी संबंध को सममित संबंध होने की आवश्यकता नहीं है, अर्थात xy का अर्थ y ⊥ x नहीं है (परन्तु नीचे § प्रतिबिम्बता देखें)।

प्रतिबिम्बता

इस प्रकार से यदि M में सभी x, y के लिए

का तात्पर्य से है तो एक सेस्क्‍वीरैखिक रूप φ प्रतिवर्ती है।

अर्थात्, सेस्क्‍वीरैखिक रूप ठीक उसी समय प्रतिवर्ती होता है जब व्युत्पन्न लंबिकता संबंध सममित होता है।

हर्मिटियन विविधताएं

अतः एक σ-सेस्क्‍वीरैखिक रूप φ को (σ, ε)-हर्मिटियन कहा जाता है यदि K में ε स्थित है, जैसे कि, M,

में सभी x, y के लिए।

यदि ε = 1, ते रूप को σ-हर्मिटियन कहा जाता है, और यदि ε = −1, तो इसे σ-प्रति-हर्मिटियन कहा जाता है। (जब σ का अर्थ क्रमशः हर्मिटियन या प्रति-हर्मिटियन होता है।)

इस प्रकार से एक शून्येतर (σ, ε)-हर्मिटियन रूप के लिए, यह इस प्रकार है कि K,

में सभी α के लिए।

इससे यह भी पता चलता है कि φ(x, x) प्रतिचित्र ασ(α)ε का निश्चित बिंदु (गणित) है। इस प्रतिचित्र के निश्चित बिंदु K के योगात्मक समूह का उपसमूह बनाते हैं।

अतः एक (σ, ε)-हर्मिटियन रूप प्रतिवर्ती है, और प्रत्येक प्रतिवर्ती σ-सेस्क्‍वीरैखिक रूप कुछ ε के लिए (σ, ε)-हर्मिटियन है।[2][3][4][5]

विशेष स्थिति में कि σ पहचान प्रतिचित्र है (अर्थात्, σ = id), K क्रमविनिमेय है, φ द्विरेखीय रूप है और ε2 = 1 है। फिर ε = 1 के लिए द्विरेखीय रूप को सममित कहा जाता है, और ε = −1 के लिए तिरछा-सममितीय कहा जाता है।[6]

यादृच्छिक वलय पर

इस प्रकार से तिरछे क्षेत्र के लिए उपरोक्त अनुभाग की विशेषज्ञता प्रक्षेप्य ज्यामिति के अनुप्रयोग का परिणाम थी, और सेस्क्‍वीरैखिक रूपों की प्रकृति के लिए आंतरिक नहीं थी। अतः गुणन की गैर-अनुक्रमणात्मकता को ध्यान में रखने के लिए मात्र छोटे संशोधनों की आवश्यकता होती है, जो परिभाषा के यादृच्छिक क्षेत्र संस्करण को यादृच्छिक वलय में सामान्यीकृत करने के लिए आवश्यक हैं।

इस प्रकार से मान लीजिए R वलय (गणित) है,, V एक R-मापांक (गणित) है और σ R का प्रतिस्वसमाकृतिकता है।

प्रतिचित्र φ : V × VR σ-सेस्क्‍वीरैखिक है यदि V में सभी x, y, z, w के लिए

और R सभी c, d के लिए हैं।

यदि φ(x, y) = 0 है तो एक अवयव x सेस्क्‍वीरैखिक रोप φ (लिखित x ⊥ y) के संबंध में दूसरे अवयव y के लिए लाम्बिक है। इस संबंध को सममित होने की आवश्यकता नहीं है, अर्थात x ⊥ y का अर्थ y ⊥ x नहीं है।

एक सेस्क्‍वीरैखिक रूप φ : V × VR प्रतिवर्ती (या ऑर्थोसममित) है यदि φ(x, y) = 0 का तात्पर्य वी में सभी x, y के लिए φ(y, x) = 0 है।

एक सेस्क्‍वीरैखिक रूप φ : V × VR हर्मिटियन है यदि σ स्थित है जैसे कि V में सभी x, y के लिए[7]: 325 

इस प्रकार से हर्मिटियन रूप आवश्यक रूप से प्रतिवर्ती है, और यदि यह गैर-शून्य है, तो संबंधित प्रतिस्वसमाकृतिकता है σ प्रत्यावर्तन (गणित) है (अर्थात् 2 का क्रम)।

चूंकि प्रतिस्वसमाकृतिकता σ के लिए हमारे निकट सभी s के लिए σ(st) = σ(t)σ(s) है, R में t, यदि σ = id है, तो R को क्रमविनिमेय होना चाहिए और φ एक द्विरेखीय रूप है। विशेषकर, यदि, इस स्थिति में, R एक तिरछा क्षेत्र है, तो R एक क्षेत्र है और V एक द्विरेखीय रूप वाला एक सदिश समष्टि है।

अतः एक प्रतिस्वसमाकृतिकता σ : RR को RRop वलय समरूपता के रूप में भी देखा जा सकता है, जहाँ Rop R का विपरीत वलय है, जिसमें समान अंतर्निहित समूह और समान योग है, परन्तु जिसका गुणन संक्रिया (), ab = ba द्वारा परिभाषित किया गया है, जहां दाहिनी ओर का गुणनफल R का गुणनफल है। इससे यह निष्कर्ष निकलता है कि दाएँ (बाएँ) R-मापांक V को बाएँ (दाएँ) Rop-मापांक, Vo में बदला जा सकता है।[8] इस प्रकार, सेस्क्‍वीरैखिक रूप φ : V × VR को द्विरेखीय रूप φ′ : V × VoR के रूप में देखा जा सकता है।

यह भी देखें

टिप्पणियाँ

  1. footnote 1 in Anthony Knapp Basic Algebra (2007) pg. 255
  2. "Combinatorics", Proceedings of the NATO Advanced Study Institute, Held at Nijenrode Castle, Breukelen, the Netherlands, 8–20 July 1974, D. Reidel: 456–457, 1975[1]
  3. Sesquilinear form at EOM
  4. Simeon Ball (2015), Finite Geometry and Combinatorial Applications, Cambridge University Press, p. 28[2]
  5. Dembowski 1968, p. 42
  6. When char K = 2, skew-symmetric and symmetric bilinear forms coincide since then 1 = −1. In all cases, alternating bilinear forms are a subset of skew-symmetric bilinear forms, and need not be considered separately.
  7. Faure, Claude-Alain; Frölicher, Alfred (2000), Modern Projective Geometry, Kluwer Academic Publishers
  8. Jacobson 2009, p. 164

संदर्भ

बाहरी संबंध