सेसक्विलिनियर फॉर्म: Difference between revisions
No edit summary |
No edit summary |
||
(5 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}} | ||
गणित में, सेस्क्वीरैखिक रूप द्विरेखीय रूप का सामान्यीकरण है, जो इसके स्थान पर, [[ यूक्लिडियन स्थान |यूक्लिडियन समष्टि]] के [[डॉट उत्पाद|बिंदु गुणनफल]] की अवधारणा का सामान्यीकरण है। [[द्विरेखीय रूप]] अपने प्रत्येक तर्क में रैखिक प्रतिचित्र होता है, परन्तु सेस्क्वीरैखिक रूप तर्क को अर्धरेखीय प्रतिचित्र रूप से विकृत करने की अनुमति देता है, इस प्रकार नाम; जो लैटिन [[संख्यात्मक उपसर्ग]]''सेस्क्वी-'' से उत्पन्न हुआ है जिसका अर्थ है डेढ़। बिंदु गुणनफल की मूल अवधारणा - सदिश के युग्म से अदिश (गणित) का गुणनफलन - अदिश मानों की विस्तृत श्रृंखला की अनुमति देकर और, संभवतः साथ, सदिश की परिभाषा को चौड़ा करके सामान्यीकृत किया जा सकता है। | गणित में, '''सेस्क्वीरैखिक रूप''' द्विरेखीय रूप का सामान्यीकरण है, जो इसके स्थान पर, [[ यूक्लिडियन स्थान |यूक्लिडियन समष्टि]] के [[डॉट उत्पाद|बिंदु गुणनफल]] की अवधारणा का सामान्यीकरण है। [[द्विरेखीय रूप]] अपने प्रत्येक तर्क में रैखिक प्रतिचित्र होता है, परन्तु सेस्क्वीरैखिक रूप तर्क को अर्धरेखीय प्रतिचित्र रूप से विकृत करने की अनुमति देता है, इस प्रकार नाम; जो लैटिन [[संख्यात्मक उपसर्ग]]''सेस्क्वी-'' से उत्पन्न हुआ है जिसका अर्थ है डेढ़। बिंदु गुणनफल की मूल अवधारणा - सदिश के युग्म से अदिश (गणित) का गुणनफलन - अदिश मानों की विस्तृत श्रृंखला की अनुमति देकर और, संभवतः साथ, सदिश की परिभाषा को चौड़ा करके सामान्यीकृत किया जा सकता है। | ||
एक प्रेरक विशेष स्थिति मिश्रित सदिश समष्टि, {{math|''V''}} पर सेस्क्वीरैखिक रूप है। यह प्रतिचित्र है {{math|''V'' × ''V'' → '''C'''}} है, जो तर्क में रैखिक है और मिश्रित संयुग्मी द्वारा दूसरे तर्क की रैखिकता को विकृत कर देता है (दूसरे तर्क में इसे [[प्रतिरेखीय]] कहा जाता है)। यह स्थिति गणितीय भौतिकी अनुप्रयोगों में स्वाभाविक रूप से उठता है। अन्य महत्वपूर्ण स्थिति अदिश को किसी भी क्षेत्र (गणित) से आने की अनुमति देता है और विकृत क्षेत्र स्वसमाकृतिकता द्वारा प्रदान किया जाता है। | एक प्रेरक विशेष स्थिति मिश्रित सदिश समष्टि, {{math|''V''}} पर सेस्क्वीरैखिक रूप है। यह प्रतिचित्र है {{math|''V'' × ''V'' → '''C'''}} है, जो तर्क में रैखिक है और मिश्रित संयुग्मी द्वारा दूसरे तर्क की रैखिकता को विकृत कर देता है (दूसरे तर्क में इसे [[प्रतिरेखीय]] कहा जाता है)। यह स्थिति गणितीय भौतिकी अनुप्रयोगों में स्वाभाविक रूप से उठता है। अन्य महत्वपूर्ण स्थिति अदिश को किसी भी क्षेत्र (गणित) से आने की अनुमति देता है और विकृत क्षेत्र स्वसमाकृतिकता द्वारा प्रदान किया जाता है। | ||
[[प्रक्षेप्य ज्यामिति]] में अनुप्रयोग के लिए आवश्यक है कि अदिश विभाजन वलय (तिरछा क्षेत्र), {{math|''K''}} से आएं, और इसका अर्थ है कि "सदिश" को {{math|''K''}}- | इस प्रकार से [[प्रक्षेप्य ज्यामिति]] में अनुप्रयोग के लिए आवश्यक है कि अदिश विभाजन वलय (तिरछा क्षेत्र), {{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> और [[क्वांटम यांत्रिकी]] में पॉल डिरैक के ब्रा-केट संकेतन से उत्पन्न हुआ है। | ||
अधिक सामान्य गैर विनिमेय समायोजन में, दाएं | इस प्रकार से अधिक सामान्य गैर विनिमेय समायोजन में, दाएं मापांक के साथ हम दूसरे तर्क को रैखिक मानते हैं और बाएं मापांक के साथ हम पूर्व तर्क को रैखिक मानते हैं। | ||
==संमिश्र सदिश समष्टि == | ==संमिश्र सदिश समष्टि == | ||
{{See also|प्रतिद्वंदी समष्टि|द्वैत पद्धति}} | {{See also|प्रतिद्वंदी समष्टि|द्वैत पद्धति}} | ||
:धारणा: इस खंड में, सेस्क्वीरैखिक रूप अपने पूर्व तर्क में प्रतिरेखीय प्रतिचित्र और दूसरे में रैखिक प्रतिचित्र हैं। | :'''धारणा''': इस खंड में, सेस्क्वीरैखिक रूप अपने पूर्व तर्क में प्रतिरेखीय प्रतिचित्र और दूसरे में रैखिक प्रतिचित्र हैं। | ||
एक मिश्रित सदिश समष्टि <math>V</math> पर प्रतिचित्र <math>\varphi : V \times V \to \Complex</math> सेस्क्वीरैखिक होता है यदि | एक मिश्रित सदिश समष्टि <math>V</math> पर प्रतिचित्र <math>\varphi : V \times V \to \Complex</math> सेस्क्वीरैखिक होता है यदि | ||
Line 25: | Line 25: | ||
&\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 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>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>\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>\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> को तिरछा-हर्मिटियन कहा जाता है। प्रत्येक सेस्क्वीरैखिक रूप को हर्मिटियन रूप और स्क्यू-हर्मिटियन रूप के योग के रूप में लिखा जा सकता है। | ||
=== आव्यूह प्रतिनिधित्व === | === आव्यूह प्रतिनिधित्व === | ||
Line 35: | Line 35: | ||
यदि <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>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>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> द्वारा दिया गया है। | ||
अधिक सामान्यतः, किसी भी मिश्रित हिल्बर्ट समष्टि पर आंतरिक गुणनफल हर्मिटियन रूप है। | अतः अधिक सामान्यतः, किसी भी मिश्रित हिल्बर्ट समष्टि पर आंतरिक गुणनफल हर्मिटियन रूप है। | ||
समूह SU(1,1) को परिभाषित करने के लिए हर्मिटियन रूप <math>w w^* - z z^*</math> में ऋण चिह्न प्रस्तुत किया गया है। | इस प्रकार से समूह '''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> के लिए वास्तविक हो। | ||
Line 53: | Line 53: | ||
=== तिरछा-हर्मिटियन रूप === | === तिरछा-हर्मिटियन रूप === | ||
एक मिश्रित तिरछा-हर्मिटियन रूप (जिसे | इस प्रकार से एक मिश्रित '''तिरछा-हर्मिटियन रूप''' (जिसे '''प्रतिसममित सेस्क्वीरैखिक रूप''' भी कहा जाता है), '''मिश्रित सेस्क्वीरैखिक रूप''' <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|''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>\varphi(x \alpha, y \beta) = \sigma(\alpha) \, \varphi(x, y) \, \beta </math> में सभी {{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>W^{\perp}=\{\mathbf{v} \in M \mid \varphi (\mathbf{v}, \mathbf{w})=0,\ \forall \mathbf{w}\in W\} </math> है। | ||
इसी प्रकार, | इसी प्रकार, '''''x ∈ M, φ''''' के संबंध में '''''y ∈ M''''' का लांबिक है, जिसे '''''x ⊥φ y''''' लिखा जाता है (या मात्र '''''x ⊥ y''''' यदि φ संदर्भ से अनुमान लगाया जा सकता है), जब '''''φ(x, y) = 0'''''। इस [[द्विआधारी संबंध]] को [[सममित संबंध]] होने की आवश्यकता नहीं है, अर्थात '''''{{math|''x'' ⊥ ''y''}}''''' का अर्थ y ⊥ x नहीं है (परन्तु नीचे {{section link||प्रतिबिम्बता}} देखें)। | ||
===प्रतिबिम्बता=== | ===प्रतिबिम्बता=== | ||
इस प्रकार से यदि {{math|''M''}} में सभी {{math|''x'', ''y''}} के लिए | |||
:<math>\varphi(x, y) = 0</math> तात्पर्य <math>\varphi(y, x) = 0 | :<math>\varphi(x, y) = 0</math> का तात्पर्य <math>\varphi(y, x) = 0</math> से है तो एक सेस्क्वीरैखिक रूप {{math|''φ''}} प्रतिवर्ती है। | ||
अर्थात्, सेस्क्वीरैखिक रूप ठीक उसी समय | अर्थात्, सेस्क्वीरैखिक रूप ठीक उसी समय प्रतिवर्ती होता है जब व्युत्पन्न '''लंबिकता''' संबंध सममित होता है। | ||
===हर्मिटियन विविधताएं=== | ===हर्मिटियन विविधताएं=== | ||
अतः एक {{math|''σ''}}-सेस्क्वीरैखिक रूप {{math|''φ''}} को '''{{math|(''σ'', ''ε'')}}-हर्मिटियन''' कहा जाता है यदि {{math|''K''}} में {{math|''ε''}} स्थित है, जैसे कि, {{math|''M''}}, | |||
:<math>\varphi(x, y) = \sigma ( \varphi (y, x)) \, \varepsilon | :<math>\varphi(x, y) = \sigma ( \varphi (y, x)) \, \varepsilon </math> में सभी {{math|''x'', ''y''}} के लिए। | ||
यदि {{math|1=''ε'' = 1}}, रूप | यदि {{math|1=''ε'' = 1}}, ते रूप को {{math|''σ''}}-हर्मिटियन कहा जाता है, और यदि {{math|1=''ε'' = −1}}, तो इसे σ-प्रति-हर्मिटियन कहा जाता है। (जब {{math|''σ''}} का अर्थ क्रमशः हर्मिटियन या प्रति-हर्मिटियन होता है।) | ||
एक शून्येतर | इस प्रकार से एक शून्येतर {{math|(''σ'', ''ε'')}}-हर्मिटियन रूप के लिए, यह इस प्रकार है कि {{math|''K''}}, | ||
:<math> \sigma ( \varepsilon ) = \varepsilon^{-1} </math> | :<math> \sigma ( \varepsilon ) = \varepsilon^{-1} </math> | ||
:<math> \sigma ( \sigma ( \alpha ) ) = \varepsilon \alpha \varepsilon^{-1} | :<math> \sigma ( \sigma ( \alpha ) ) = \varepsilon \alpha \varepsilon^{-1} </math> में सभी {{math|''α''}} के लिए। | ||
यह | इससे यह भी पता चलता है कि {{math|''φ''(''x'', ''x'')}} प्रतिचित्र {{math|''α'' ↦ ''σ''(''α'')''ε''}} का [[निश्चित बिंदु (गणित)]] है। इस प्रतिचित्र के निश्चित बिंदु {{math|''K''}} के [[योगात्मक समूह]] का [[उपसमूह]] बनाते हैं। | ||
अतः एक {{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 96: | 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|''φ'' : ''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|''R''}} सभी {{math|''c'', ''d''}} के लिए हैं। | |||
यदि φ(x, y) = 0 है तो एक अवयव x सेस्क्वीरैखिक रोप φ (लिखित x ⊥ y) के संबंध में दूसरे अवयव y के लिए लाम्बिक है। इस संबंध को सममित होने की आवश्यकता नहीं है, अर्थात x ⊥ y का अर्थ y ⊥ x नहीं है। | |||
एक सेस्क्वीरैखिक रूप {{math|''φ'' : ''V'' × ''V'' → ''R''}} | एक सेस्क्वीरैखिक रूप '''{{math|''φ'' : ''V'' × ''V'' → ''R''}}''' प्रतिवर्ती (या ''ऑर्थोसममित'') है यदि '''''φ(x, y) = 0''''' का तात्पर्य वी में सभी '''''x, y''''' के लिए '''''φ(y, x) = 0''''' है। | ||
एक सेस्क्वीरैखिक रूप {{math|''φ'' : ''V'' × ''V'' → ''R''}} | एक सेस्क्वीरैखिक रूप {{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|''σ''}} प्रत्यावर्तन (गणित) है (अर्थात् 2 का क्रम)। | |||
चूंकि प्रतिस्वसमाकृतिकता | चूंकि प्रतिस्वसमाकृतिकता {{math|''σ''}} के लिए हमारे निकट सभी s के लिए '''''σ(st) = σ(t)σ(s)''''' है, R में t, यदि '''''σ = id''''' है, तो '''''R''''' को क्रमविनिमेय होना चाहिए और φ एक द्विरेखीय रूप है। विशेषकर, यदि, इस स्थिति में, R एक तिरछा क्षेत्र है, तो R एक क्षेत्र है और V एक द्विरेखीय रूप वाला एक सदिश समष्टि है। | ||
एक प्रतिस्वसमाकृतिकता {{math|''σ'' : ''R'' → ''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''}} के रूप में देखा जा सकता है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
* [[*-अँगूठी]] | * [[*-अँगूठी|*-वलय]] | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
Line 133: | Line 132: | ||
{{Hilbert space}} | {{Hilbert space}} | ||
[[Category: | [[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 × V → C है, जो तर्क में रैखिक है और मिश्रित संयुग्मी द्वारा दूसरे तर्क की रैखिकता को विकृत कर देता है (दूसरे तर्क में इसे प्रतिरेखीय कहा जाता है)। यह स्थिति गणितीय भौतिकी अनुप्रयोगों में स्वाभाविक रूप से उठता है। अन्य महत्वपूर्ण स्थिति अदिश को किसी भी क्षेत्र (गणित) से आने की अनुमति देता है और विकृत क्षेत्र स्वसमाकृतिकता द्वारा प्रदान किया जाता है।
इस प्रकार से प्रक्षेप्य ज्यामिति में अनुप्रयोग के लिए आवश्यक है कि अदिश विभाजन वलय (तिरछा क्षेत्र), K से आएं, और इसका अर्थ है कि "सदिश" को K-मापांक के अवयवों द्वारा प्रतिस्थापित किया जाना चाहिए। बहुत ही सामान्य समायोजन में, सेस्क्वीरैखिक रूपों यादृच्छिक वलयों Rके लिए R-मापांक पर परिभाषित किया जा सकता है।
अनौपचारिक परिचय
सेस्क्वीरैखिक मिश्रित सदिश समष्टि पर हर्मिटियन रूप की मूल धारणा को अमूर्त और सामान्यीकृत करता है। अतः हर्मिटियन रूपों को सामान्यतः भौतिकी में मिश्रित हिल्बर्ट समष्टि पर आंतरिक गुणनफल के रूप में देखा जाता है। ऐसी स्थितियों में, Cn पर मानक हर्मिटियन रूप
- द्वारा दिया जाता है।
जहाँ , के मिश्रित संयुग्मी को दर्शाता है। इस गुणनफल को उन स्थितियों के लिए सामान्यीकृत किया जा सकता है जहां कोई Cn के लिए प्रसामान्य लांबिक आधार या यहां तक कि किसी भी आधार पर कार्य नहीं कर रहा है। गुणनफल में का एक अतिरिक्त कारक डालने से, व्यक्ति को तिरछा-हर्मिटियन रूप प्राप्त होता है, जिसे निम्न अधिक यथार्थ रूप से परिभाषित किया गया है। परिभाषा को सम्मिश्र संख्याओं तक सीमित रखने का कोई विशेष कारण नहीं है; इसे यादृच्छिक वलय (गणित) के लिए परिभाषित किया जा सकता है, जिसमें प्रतिस्वसमाकृतिकता होता है, जिसे अनौपचारिक रूप से वलय के लिए मिश्रित संयुग्मन की सामान्यीकृत अवधारणा के रूप में समझा जाता है।
संकेतन
इस प्रकार से कौन सा तर्क रैखिक होना चाहिए, इसे लेकर परंपराएं अलग-अलग हैं। क्रमविनिमेय स्थिति में, हम पूर्व को रैखिक मानेंगे, जैसा कि गणितीय साहित्य में सामान्य है, मिश्रित सदिश स्थानों पर सेस्क्वीरैखिक रूपों को समर्पित अनुभाग को छोड़कर। वहां हम दूसरी परिपाटी का उपयोग करते हैं और प्रथम तर्क संयुग्म-रैखिक (अर्थात प्रतिरैखिक) मानते हैं और दूसरा तर्क रैखिक मानते हैं। यह वह संकेतन है जिसका उपयोग अधिकतर भौतिकविदों द्वारा उपयोग किया जाता है[1] और क्वांटम यांत्रिकी में पॉल डिरैक के ब्रा-केट संकेतन से उत्पन्न हुआ है।
इस प्रकार से अधिक सामान्य गैर विनिमेय समायोजन में, दाएं मापांक के साथ हम दूसरे तर्क को रैखिक मानते हैं और बाएं मापांक के साथ हम पूर्व तर्क को रैखिक मानते हैं।
संमिश्र सदिश समष्टि
- धारणा: इस खंड में, सेस्क्वीरैखिक रूप अपने पूर्व तर्क में प्रतिरेखीय प्रतिचित्र और दूसरे में रैखिक प्रतिचित्र हैं।
एक मिश्रित सदिश समष्टि पर प्रतिचित्र सेस्क्वीरैखिक होता है यदि
सभी और सभी के लिए हो। यहाँ, अदिश राशि का मिश्रित संयुग्मी है। इस प्रकार से एक मिश्रित सेस्क्वीरैखिक रूप को मिश्रित द्विरेखीय प्रतिचित्र
एक निश्चित के लिए प्रतिचित्र पर रैखिक कार्यात्मक है (अर्थात दोहरे समष्टि का अवयव)। इसी प्रकार, प्रतिचित्र , पर संयुग्म-रैखिक कार्यात्मक (गणित) है।
पर किसी भी मिश्रित सेस्क्वीरैखिक रूप को देखते हुए हम संयुग्मी स्थानान्तरण के माध्यम से एक दूसरे मिश्रित सेस्क्वीरैखिक रूप को परिभाषित कर सकते हैं:
आव्यूह प्रतिनिधित्व
यदि परिमित-आयामी मिश्रित सदिश समष्टि है, तो के किसी भी आधार (रैखिक बीजगणित) के सापेक्ष सेस्क्वीरैखिक रूप को आव्यूह (गणित) द्वारा दर्शाया जाता है, और
इस प्रकार से जहाँ संयुग्मी स्थानान्तरण है। आव्यूह के घटक द्वारा दिए गए हैं।
हर्मिटियन रूप
- शब्द 'हर्मिटियन रूप' निम्न बताई गई अवधारणा से भिन्न अवधारणा को भी संदर्भित कर सकता है: यह हर्मिटियन मैनिफोल्ड पर निश्चित अंतर रूप को संदर्भित कर सकता है।
इस प्रकार से एक मिश्रित 'हर्मिटियन रूप' (जिसे 'सममित सेस्क्वीरैखिक रूप' भी कहा जाता है), सेस्क्वीरैखिक रूप है, जैसे कि
इस प्रकार से समूह SU(1,1) को परिभाषित करने के लिए हर्मिटियन रूप में ऋण चिह्न प्रस्तुत किया गया है।
हर्मिटियन रूप वाले सदिश समष्टि को हर्मिटियन समष्टि कहा जाता है।
एक मिश्रित हर्मिटियन रूप का आव्यूह प्रतिनिधित्व हर्मिटियन आव्यूह है।
एकल सदिश
तिरछा-हर्मिटियन रूप
इस प्रकार से एक मिश्रित तिरछा-हर्मिटियन रूप (जिसे प्रतिसममित सेस्क्वीरैखिक रूप भी कहा जाता है), मिश्रित सेस्क्वीरैखिक रूप है जैसे कि
इस प्रकार से एक मिश्रित तिरछा-हर्मिटियन रूप का आव्यूह प्रतिनिधित्व तिरछा-हर्मिटियन आव्यूह है।
अतः एकल सदिश पर
विभाजन वलय के ऊपर
इस प्रकार से जब विभाजन वलय K क्रमविनिमेय वलय होता है तो यह खंड अपरिवर्तित लागू होता है। अधिक विशिष्ट शब्दावली तब भी लागू होती है: विभाजन वलय क्षेत्र है, प्रति-स्वसमाकृतिकता भी स्वसमाकृतिकता है, और उचित मापांक सदिश समष्टि है। निम्नलिखित भावों के उपयुक्त पुनर्क्रमण के साथ बाएं मापांक पर लागू होता है।
परिभाषा
अतः दाएं K-मापांक M पर σ-सेस्क्वीरैखिक रूप द्वि-योगात्मक प्रतिचित्र φ : M × M → K है, जो विभाजन वलय K के संबद्ध स्वप्रतिरोधी σ के साथ है, जैसे कि, M में सभी x, y और K,
- में सभी α, β के लिए।
इस प्रकार से किसी भी गैर-शून्य सेस्क्वीरैखिक रूप φ के लिए संबंधित प्रति-स्वसमाकृतिकता σ विशिष्ट रूप से φ द्वारा निर्धारित किया जाता है।
लंबिकता
मापांक M और M के उपसमष्टि (उपमापांक) W पर सेस्क्वीरैखिक रूप φ दिया गया है, φ के संबंध में W का लांबिक पूरक
- है।
इसी प्रकार, x ∈ M, φ के संबंध में y ∈ M का लांबिक है, जिसे x ⊥φ y लिखा जाता है (या मात्र x ⊥ y यदि φ संदर्भ से अनुमान लगाया जा सकता है), जब φ(x, y) = 0। इस द्विआधारी संबंध को सममित संबंध होने की आवश्यकता नहीं है, अर्थात x ⊥ y का अर्थ 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 × V → R σ-सेस्क्वीरैखिक है यदि V में सभी x, y, z, w के लिए
और R सभी c, d के लिए हैं।
यदि φ(x, y) = 0 है तो एक अवयव x सेस्क्वीरैखिक रोप φ (लिखित x ⊥ y) के संबंध में दूसरे अवयव y के लिए लाम्बिक है। इस संबंध को सममित होने की आवश्यकता नहीं है, अर्थात x ⊥ y का अर्थ y ⊥ x नहीं है।
एक सेस्क्वीरैखिक रूप φ : V × V → R प्रतिवर्ती (या ऑर्थोसममित) है यदि φ(x, y) = 0 का तात्पर्य वी में सभी x, y के लिए φ(y, x) = 0 है।
एक सेस्क्वीरैखिक रूप φ : V × V → R हर्मिटियन है यदि σ स्थित है जैसे कि V में सभी x, y के लिए[7]: 325
- ।
इस प्रकार से हर्मिटियन रूप आवश्यक रूप से प्रतिवर्ती है, और यदि यह गैर-शून्य है, तो संबंधित प्रतिस्वसमाकृतिकता है σ प्रत्यावर्तन (गणित) है (अर्थात् 2 का क्रम)।
चूंकि प्रतिस्वसमाकृतिकता σ के लिए हमारे निकट सभी s के लिए σ(st) = σ(t)σ(s) है, R में t, यदि σ = id है, तो R को क्रमविनिमेय होना चाहिए और φ एक द्विरेखीय रूप है। विशेषकर, यदि, इस स्थिति में, R एक तिरछा क्षेत्र है, तो R एक क्षेत्र है और V एक द्विरेखीय रूप वाला एक सदिश समष्टि है।
अतः एक प्रतिस्वसमाकृतिकता σ : R → R को R → Rop वलय समरूपता के रूप में भी देखा जा सकता है, जहाँ Rop R का विपरीत वलय है, जिसमें समान अंतर्निहित समूह और समान योग है, परन्तु जिसका गुणन संक्रिया (∗), a ∗ b = ba द्वारा परिभाषित किया गया है, जहां दाहिनी ओर का गुणनफल R का गुणनफल है। इससे यह निष्कर्ष निकलता है कि दाएँ (बाएँ) R-मापांक V को बाएँ (दाएँ) Rop-मापांक, Vo में बदला जा सकता है।[8] इस प्रकार, सेस्क्वीरैखिक रूप φ : V × V → R को द्विरेखीय रूप φ′ : V × Vo → R के रूप में देखा जा सकता है।
यह भी देखें
टिप्पणियाँ
- ↑ footnote 1 in Anthony Knapp Basic Algebra (2007) pg. 255
- ↑ "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]
- ↑ Sesquilinear form at EOM
- ↑ Simeon Ball (2015), Finite Geometry and Combinatorial Applications, Cambridge University Press, p. 28 – [2]
- ↑ Dembowski 1968, p. 42
- ↑ 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.
- ↑ Faure, Claude-Alain; Frölicher, Alfred (2000), Modern Projective Geometry, Kluwer Academic Publishers
- ↑ Jacobson 2009, p. 164
संदर्भ
- Dembowski, Peter (1968), Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Berlin, New York: Springer-Verlag, ISBN 3-540-61786-8, MR 0233275
- Gruenberg, K.W.; Weir, A.J. (1977), Linear Geometry (2nd ed.), Springer, ISBN 0-387-90227-9
- Jacobson, Nathan J. (2009) [1985], Basic Algebra I (2nd ed.), Dover, ISBN 978-0-486-47189-1
बाहरी संबंध
- "Sesquilinear form", Encyclopedia of Mathematics, EMS Press, 2001 [1994]