रैखिक सम्मिश्र संरचना: Difference between revisions
(Created page with "{{Short description|Mathematics concept}} गणित में, एक वास्तविक सदिश समष्टि V पर एक सामान्यीक...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Mathematics concept}} | {{Short description|Mathematics concept}} | ||
गणित में, | गणित में, वास्तविक सदिश समष्टि V पर [[सामान्यीकृत जटिल संरचना]], V का स्वप्रतिरूपण है जो शून्य पहचान फ़ंक्शन, -I का वर्ग है। वी पर ऐसी संरचना किसी को विहित तरीके से [[जटिल संख्या]] द्वारा गुणन को परिभाषित करने की अनुमति देती है ताकि वी को जटिल वेक्टर स्थान के रूप में माना जा सके। | ||
प्रत्येक जटिल वेक्टर स्थान को | प्रत्येक जटिल वेक्टर स्थान को संगत जटिल संरचना से सुसज्जित किया जा सकता है, हालांकि, सामान्य तौर पर ऐसी कोई विहित संरचना नहीं होती है। जटिल संरचनाओं का [[प्रतिनिधित्व सिद्धांत]] के साथ-साथ [[जटिल ज्यामिति]] में भी अनुप्रयोग होता है जहां वे जटिल मैनिफोल्ड के विपरीत, लगभग जटिल मैनिफोल्ड की परिभाषा में आवश्यक भूमिका निभाते हैं। जटिल संरचना शब्द अक्सर इस संरचना को कई गुना संदर्भित करता है; जब यह सदिश स्थानों पर किसी संरचना को संदर्भित करता है, तो इसे ''''रैखिक जटिल संरचना'''<nowiki/>' कहा जा सकता है। | ||
==परिभाषा और गुण== | ==परिभाषा और गुण== | ||
वास्तविक सदिश समष्टि ''V'' पर | वास्तविक सदिश समष्टि ''V'' पर जटिल संरचना वास्तविक [[रैखिक परिवर्तन]] है | ||
<math display=block>J :V \to V</math> | <math display=block>J :V \to V</math> | ||
ऐसा है कि | ऐसा है कि | ||
<math display=block>J^2 = -\mathrm{Id}_V.</math> | <math display=block>J^2 = -\mathrm{Id}_V.</math> | ||
यहाँ {{math|''J''<sup>2</sup>}} मतलब {{math|''J''}} स्वयं के साथ फ़ंक्शन संरचना और {{math|Id<sub>''V''</sub>}} पहचान फ़ंक्शन चालू है {{math|''V''}}. यानी लगाने का असर {{math|''J''}} दो बार गुणा करने के समान है {{math|−1}}. यह काल्पनिक इकाई द्वारा गुणन की याद दिलाता है|काल्पनिक इकाई, {{math|''i''}}. | यहाँ {{math|''J''<sup>2</sup>}} मतलब {{math|''J''}} स्वयं के साथ फ़ंक्शन संरचना और {{math|Id<sub>''V''</sub>}} पहचान फ़ंक्शन चालू है {{math|''V''}}. यानी लगाने का असर {{math|''J''}} दो बार गुणा करने के समान है {{math|−1}}. यह काल्पनिक इकाई द्वारा गुणन की याद दिलाता है|काल्पनिक इकाई, {{math|''i''}}. जटिल संरचना किसी को समर्थन देने की अनुमति देती है {{math|''V''}} जटिल सदिश समष्टि की संरचना के साथ। जटिल अदिश गुणन को परिभाषित किया जा सकता है | ||
<math display=block>(x + iy)v = xv + yJ(v)</math> | <math display=block>(x + iy)v = xv + yJ(v)</math> | ||
सभी वास्तविक संख्याओं के लिए {{math|''x'',''y''}} और सभी वैक्टर {{math|''v''}} में {{math|''V''}}. कोई यह जाँच सकता है कि यह वास्तव में देता है {{math|''V''}} | सभी वास्तविक संख्याओं के लिए {{math|''x'',''y''}} और सभी वैक्टर {{math|''v''}} में {{math|''V''}}. कोई यह जाँच सकता है कि यह वास्तव में देता है {{math|''V''}} जटिल सदिश समष्टि की संरचना जिसे हम निरूपित करते हैं {{math|''V''<sub>''J''</sub>}}. | ||
दूसरी दिशा में जा रहे हैं, यदि कोई | दूसरी दिशा में जा रहे हैं, यदि कोई जटिल वेक्टर समष्टि से प्रारंभ करता है {{math|''W''}} तो कोई परिभाषित करके अंतर्निहित वास्तविक स्थान पर जटिल संरचना को परिभाषित कर सकता है {{math|1=''Jw'' = ''iw''}} सभी के लिए {{math|''w'' ∈ ''W''}}. | ||
अधिक औपचारिक रूप से, वास्तविक वेक्टर स्थान पर | अधिक औपचारिक रूप से, वास्तविक वेक्टर स्थान पर रैखिक जटिल संरचना जटिल संख्याओं का [[बीजगणित प्रतिनिधित्व]] है {{math|'''C'''}}, [[वास्तविक संख्या]]ओं पर [[साहचर्य बीजगणित]] के रूप में सोचा गया। यह बीजगणित ठोस रूप में साकार होता है | ||
<math display=block>\Complex = \Reals[x]/(x^2+1),</math> | |||
जो मेल खाता है {{math|1=''i''<sup>2</sup> = −1}}. फिर का | जो मेल खाता है {{math|1=''i''<sup>2</sup> = −1}}. फिर का प्रतिनिधित्व {{math|'''C'''}} वास्तविक सदिश समष्टि है {{math|''V''}}, की क्रिया के साथ {{math|'''C'''}} पर {{math|''V''}} (नक्षा {{math|'''C''' → End(''V'')}}). सीधे तौर पर, यह सिर्फ कार्रवाई है {{math|''i''}}, क्योंकि यह बीजगणित और प्रतिनिधित्व करने वाले ऑपरेटर को उत्पन्न करता है {{math|''i''}} (की छवि {{math|''i''}} में {{math|End(''V'')}}) बिलकुल है {{math|''J''}}. | ||
अगर {{math|''V''<sub>''J''</sub>}} जटिल आयाम है (रैखिक बीजगणित) {{math|''n''}} तब {{math|''V''}} वास्तविक आयाम होना चाहिए {{math|2''n''}}. यानी | अगर {{math|''V''<sub>''J''</sub>}} जटिल आयाम है (रैखिक बीजगणित) {{math|''n''}} तब {{math|''V''}} वास्तविक आयाम होना चाहिए {{math|2''n''}}. यानी परिमित-आयामी स्थान {{math|''V''}} किसी जटिल संरचना को तभी स्वीकार करता है जब वह सम-आयामी हो। यह देखना कठिन नहीं है कि प्रत्येक सम-आयामी वेक्टर स्थान जटिल संरचना को स्वीकार करता है। कोई परिभाषित कर सकता है {{math|''J''}} जोड़ियों पर {{math|''e'',''f''}} [[आधार (रैखिक बीजगणित)]] सदिशों द्वारा {{math|1=''Je'' = ''f''}} और {{math|1=''Jf'' = −''e''}} और फिर सभी तक [[रैखिकता द्वारा विस्तार करें]] {{math|''V''}}. अगर {{math|(''v''<sub>1</sub>, …, ''v''<sub>''n''</sub>)}} जटिल सदिश समष्टि का आधार है {{math|''V''<sub>''J''</sub>}} तब {{math|(''v''<sub>1</sub>, ''Jv''<sub>1</sub>, …, ''v''<sub>''n''</sub>, ''Jv''<sub>''n''</sub>)}} अंतर्निहित वास्तविक स्थान के लिए आधार है {{math|''V''}}. | ||
एक वास्तविक रैखिक परिवर्तन {{math|''A'' : ''V'' → ''V''}} संगत जटिल स्थान का | एक वास्तविक रैखिक परिवर्तन {{math|''A'' : ''V'' → ''V''}} संगत जटिल स्थान का जटिल रैखिक परिवर्तन है {{math|''V''<sub>''J''</sub>}} [[अगर और केवल अगर]] {{math|''A''}} के साथ आवागमन करता है {{math|''J''}}, अर्थात यदि और केवल यदि | ||
<math display=block>AJ = JA.</math> | <math display=block>AJ = JA.</math> | ||
इसी तरह, | इसी तरह, वास्तविक [[रैखिक उपस्थान]] {{math|''U''}} का {{math|''V''}} का जटिल उपस्थान है {{math|''V''<sub>''J''</sub>}} अगर और केवल अगर {{math|''J''}} संरक्षित करता है {{math|''U''}}, अर्थात यदि और केवल यदि | ||
<math display=block>JU = U.</math> | <math display=block>JU = U.</math> | ||
Line 33: | Line 33: | ||
वास्तविक क्षेत्र पर 2x2 वास्तविक आव्यूह M(2,R) का संग्रह 4-आयामी है। कोई मैट्रिक्स | वास्तविक क्षेत्र पर 2x2 वास्तविक आव्यूह M(2,R) का संग्रह 4-आयामी है। कोई मैट्रिक्स | ||
:<math>J = \begin{pmatrix}a & c \\ b & -a \end{pmatrix}</math> के साथ<sup>2</sup> + bc = -1 | :<math>J = \begin{pmatrix}a & c \\ b & -a \end{pmatrix}</math> के साथ<sup>2</sup> + bc = -1 | ||
पहचान मैट्रिक्स के ऋणात्मक के बराबर वर्ग है। एम(2,'आर') में | पहचान मैट्रिक्स के ऋणात्मक के बराबर वर्ग है। एम(2,'आर') में जटिल संरचना बनाई जा सकती है: पहचान मैट्रिक्स I के साथ, तत्व x I + y J, [[मैट्रिक्स गुणन]] के साथ जटिल संख्याएँ बनाते हैं। | ||
=== सी<sup>n</sup> === | === सी<sup>n</sup> === | ||
एक रैखिक जटिल संरचना का मूल उदाहरण 'आर' पर संरचना है<sup>2n</sup> 'सी' पर जटिल संरचना से आ रहा है<sup>n</sup>. अर्थात्, जटिल एन-आयामी स्थान 'सी'<sup>n</sup> भी | एक रैखिक जटिल संरचना का मूल उदाहरण 'आर' पर संरचना है<sup>2n</sup> 'सी' पर जटिल संरचना से आ रहा है<sup>n</sup>. अर्थात्, जटिल एन-आयामी स्थान 'सी'<sup>n</sup> भी वास्तविक 2n-आयामी स्थान है - समान वेक्टर जोड़ और वास्तविक अदिश गुणन का उपयोग करते हुए - जबकि जटिल संख्या i द्वारा गुणा न केवल अंतरिक्ष का जटिल रैखिक परिवर्तन है, जिसे जटिल वेक्टर स्थान के रूप में माना जाता है, बल्कि यह अंतरिक्ष का वास्तविक रैखिक परिवर्तन भी है, जिसे वास्तविक सदिश स्थान माना जाता है। सीधे तौर पर, इसका कारण यह है कि i द्वारा अदिश गुणन वास्तविक संख्याओं द्वारा अदिश गुणन के साथ परिवर्तित होता है <math> i (\lambda v) = (i \lambda) v = (\lambda i) v = \lambda (i v) </math> - और वेक्टर जोड़ में वितरित होता है। जटिल n×n मैट्रिक्स के रूप में, यह केवल विकर्ण पर i के साथ [[अदिश मैट्रिक्स]] है। संगत वास्तविक 2n×2n मैट्रिक्स को J दर्शाया गया है। | ||
एक आधार दिया गया <math>\left\{e_1, e_2, \dots, e_n \right\}</math> जटिल स्थान के लिए, यह सेट, इन वैक्टरों के साथ मिलकर i से गुणा किया जाता है <math>\left\{ie_1, ie_2, \dots, ie_n\right\},</math> वास्तविक स्थान के लिए | एक आधार दिया गया <math>\left\{e_1, e_2, \dots, e_n \right\}</math> जटिल स्थान के लिए, यह सेट, इन वैक्टरों के साथ मिलकर i से गुणा किया जाता है <math>\left\{ie_1, ie_2, \dots, ie_n\right\},</math> वास्तविक स्थान के लिए आधार तैयार करें। इस आधार को ऑर्डर करने के दो प्राकृतिक तरीके हैं, जो संक्षेप में इस बात से संबंधित हैं कि कोई टेंसर उत्पाद को इस रूप में लिखता है या नहीं <math>\Complex^n = \R^n \otimes_{\R} \Complex</math> या इसके बजाय के रूप में <math>\Complex^n = \Complex \otimes_{\R} \R^n.</math> | ||
यदि कोई आधार के रूप में आदेश देता है <math>\left\{e_1, ie_1, e_2, ie_2, \dots, e_n, ie_n\right\},</math> तब J के लिए मैट्रिक्स [[ब्लॉक विकर्ण]] रूप लेता है (आयाम को इंगित करने के लिए सबस्क्रिप्ट जोड़े जाते हैं): | यदि कोई आधार के रूप में आदेश देता है <math>\left\{e_1, ie_1, e_2, ie_2, \dots, e_n, ie_n\right\},</math> तब J के लिए मैट्रिक्स [[ब्लॉक विकर्ण]] रूप लेता है (आयाम को इंगित करने के लिए सबस्क्रिप्ट जोड़े जाते हैं): | ||
<math display="block">J_{2n} = \begin{bmatrix} | <math display="block">J_{2n} = \begin{bmatrix} | ||
Line 70: | Line 70: | ||
=== सीधा योग === | === सीधा योग === | ||
यदि V कोई वास्तविक सदिश समष्टि है तो सदिश समष्टि V ⊕ V के प्रत्यक्ष योग पर | यदि V कोई वास्तविक सदिश समष्टि है तो सदिश समष्टि V ⊕ V के प्रत्यक्ष योग पर विहित जटिल संरचना होती है, जो इसके द्वारा दी गई है | ||
<math display="block">J(v,w) = (-w,v).</math> | <math display="block">J(v,w) = (-w,v).</math> | ||
J का [[ब्लॉक मैट्रिक्स]] फॉर्म है | J का [[ब्लॉक मैट्रिक्स]] फॉर्म है | ||
Line 79: | Line 79: | ||
==अन्य संरचनाओं के साथ संगतता== | ==अन्य संरचनाओं के साथ संगतता== | ||
अगर {{math|''B''}} | अगर {{math|''B''}} [[द्विरेखीय रूप]] है {{math|''V''}} तो हम ऐसा कहते हैं {{math|''J''}} संरक्षित करता है {{math|''B''}} अगर | ||
<math display="block">B(Ju, Jv) = B(u, v)</math> | <math display="block">B(Ju, Jv) = B(u, v)</math> | ||
सभी के लिए {{math|''u'', ''v'' ∈ ''V''}}. | सभी के लिए {{math|''u'', ''v'' ∈ ''V''}}. समतुल्य लक्षण वर्णन वह है {{math|''J''}} के संबंध में तिरछा जोड़ है {{math|''B''}}: | ||
<math display="block"> B(Ju,v) = -B(u,Jv). </math> | <math display="block"> B(Ju,v) = -B(u,Jv). </math> | ||
अगर {{math|''g''}} | अगर {{math|''g''}} आंतरिक उत्पाद है {{math|''V''}} तब {{math|''J''}} संरक्षित करता है {{math|''g''}} अगर और केवल अगर {{math|''J''}} [[ऑर्थोगोनल परिवर्तन]] है। वैसे ही, {{math|''J''}} गैर-अपक्षयी, [[तिरछा-सममित मैट्रिक्स]] | तिरछा-सममित रूप संरक्षित करता है {{math|''ω''}} अगर और केवल अगर {{math|''J''}} सिंपलेक्टिक परिवर्तन है (अर्थात्, यदि <math display=inline> \omega(Ju,Jv) = \omega(u,v) </math>). सरलीकृत रूपों के लिए {{math|''ω''}} के बीच दिलचस्प अनुकूलता की स्थिति {{math|''J''}} और {{math|''ω''}} यह है कि | ||
<math display=block> \omega(u, Ju) > 0 </math> | <math display=block> \omega(u, Ju) > 0 </math> | ||
सभी गैर-शून्य के लिए धारण करता है {{math|''u''}} में {{math|''V''}}. यदि यह शर्त पूरी होती है तो हम ऐसा कहते हैं {{math|''J''}} वश में करना {{math|''ω''}} (पर्यायवाची: वह {{math|''ω''}} के संबंध में वश में है {{math|''J''}}; वह {{math|''J''}} के संबंध में वश में है {{math|''ω''}}; या वह जोड़ी <math display="inline">(\omega,J)</math> वश में है)। | सभी गैर-शून्य के लिए धारण करता है {{math|''u''}} में {{math|''V''}}. यदि यह शर्त पूरी होती है तो हम ऐसा कहते हैं {{math|''J''}} वश में करना {{math|''ω''}} (पर्यायवाची: वह {{math|''ω''}} के संबंध में वश में है {{math|''J''}}; वह {{math|''J''}} के संबंध में वश में है {{math|''ω''}}; या वह जोड़ी <math display="inline">(\omega,J)</math> वश में है)। | ||
एक सांकेतिक रूप दिया गया है {{math|ω}} और | एक सांकेतिक रूप दिया गया है {{math|ω}} और रैखिक जटिल संरचना {{math|''J''}} पर {{math|''V''}}, कोई संबंधित द्विरेखीय रूप को परिभाषित कर सकता है {{math|''g''<sub>''J''</sub>}} पर {{math|''V''}} द्वारा | ||
<math display=block> g_J(u, v) = \omega(u, Jv). </math> | <math display=block> g_J(u, v) = \omega(u, Jv). </math> | ||
चूँकि | चूँकि [[सरलीकृत रूप]] गैर-विक्षिप्त होता है, इसलिए उससे जुड़ा द्विरेखीय रूप भी अप्रचलित होता है। संबंधित प्रपत्र द्वारा संरक्षित है {{math|''J''}} यदि और केवल यदि सहानुभूतिपूर्ण रूप है। इसके अलावा, यदि सिंपलेक्टिक फॉर्म को संरक्षित किया जाता है {{math|''J''}}, तो संबद्ध रूप सममित है। यदि इसके अतिरिक्त {{math|''ω''}} द्वारा वश में किया जाता है {{math|''J''}}, तो संबद्ध रूप [[निश्चित द्विरेखीय रूप]] है। इस प्रकार इस मामले में {{math|''V''}} के संबंध में [[आंतरिक उत्पाद स्थान]] है {{math|''g''<sub>''J''</sub>}}. | ||
यदि सिंपलेक्टिक रूप {{math|ω}} द्वारा संरक्षित किया गया है (लेकिन जरूरी नहीं कि उसे वश में किया जाए)। {{math|''J''}}, तब {{math|''g''<sub>''J''</sub>}} [[हर्मिटियन रूप]] की जटिल संख्या है (पहले तर्क में कन्वेंशन एंटीलीनियर द्वारा) <math display=inline>h_J\colon V_J\times V_J\to\mathbb{C}</math> द्वारा परिभाषित | यदि सिंपलेक्टिक रूप {{math|ω}} द्वारा संरक्षित किया गया है (लेकिन जरूरी नहीं कि उसे वश में किया जाए)। {{math|''J''}}, तब {{math|''g''<sub>''J''</sub>}} [[हर्मिटियन रूप]] की जटिल संख्या है (पहले तर्क में कन्वेंशन एंटीलीनियर द्वारा) <math display=inline>h_J\colon V_J\times V_J\to\mathbb{C}</math> द्वारा परिभाषित | ||
Line 98: | Line 98: | ||
किसी भी वास्तविक सदिश समष्टि V को देखते हुए हम अदिशों के विस्तार द्वारा इसकी जटिलता को परिभाषित कर सकते हैं: | किसी भी वास्तविक सदिश समष्टि V को देखते हुए हम अदिशों के विस्तार द्वारा इसकी जटिलता को परिभाषित कर सकते हैं: | ||
:<math>V^{\mathbb C}=V\otimes_{\mathbb{R}}\mathbb{C}.</math> | :<math>V^{\mathbb C}=V\otimes_{\mathbb{R}}\mathbb{C}.</math> | ||
यह | यह जटिल सदिश समष्टि है जिसका जटिल आयाम V के वास्तविक आयाम के बराबर है। इसमें विहित [[जटिल संयुग्मन]] है जिसे परिभाषित किया गया है | ||
:<math>\overline{v\otimes z} = v\otimes\bar z</math> | :<math>\overline{v\otimes z} = v\otimes\bar z</math> | ||
यदि J, V पर | यदि J, V पर जटिल संरचना है, तो हम J को रैखिकता द्वारा V तक बढ़ा सकते हैं<sup>सी</sup>: | ||
:<math>J(v\otimes z) = J(v)\otimes z.</math> | :<math>J(v\otimes z) = J(v)\otimes z.</math> | ||
चूँकि C [[बीजगणितीय रूप से बंद]] है, ''J'' में [[eigenvalue]]s होने की गारंटी है जो λ को संतुष्ट करते हैं<sup>2</sup> = −1, अर्थात् λ = ±i. इस प्रकार हम लिख सकते हैं | चूँकि C [[बीजगणितीय रूप से बंद]] है, ''J'' में [[eigenvalue]]s होने की गारंटी है जो λ को संतुष्ट करते हैं<sup>2</sup> = −1, अर्थात् λ = ±i. इस प्रकार हम लिख सकते हैं | ||
Line 108: | Line 108: | ||
ताकि | ताकि | ||
:<math>V^{\pm} = \{v\otimes 1 \mp Jv\otimes i: v \in V\}.</math> | :<math>V^{\pm} = \{v\otimes 1 \mp Jv\otimes i: v \in V\}.</math> | ||
वी के बीच | वी के बीच प्राकृतिक जटिल रैखिक समरूपता है<sub>''J''</sub> और वी<sup>+</sup>, इसलिए इन सदिश स्थानों को समान माना जा सकता है, जबकि V<sup>−</sup> को V का जटिल संयुग्म सदिश समष्टि माना जा सकता है<sub>''J''</sub>. | ||
ध्यान दें कि यदि वी<sub>''J''</sub> दोनों V के बाद जटिल आयाम n है<sup>+</sup>और वी<sup>−</sup>जटिल आयाम n है जबकि V<sup>C</sup>का जटिल आयाम 2''n'' है। | ध्यान दें कि यदि वी<sub>''J''</sub> दोनों V के बाद जटिल आयाम n है<sup>+</sup>और वी<sup>−</sup>जटिल आयाम n है जबकि V<sup>C</sup>का जटिल आयाम 2''n'' है। | ||
संक्षेप में, यदि कोई | संक्षेप में, यदि कोई जटिल सदिश समष्टि ''W'' से शुरू करता है और अंतर्निहित वास्तविक स्थान की जटिलता को लेता है, तो उसे ''W'' और उसके संयुग्म के प्रत्यक्ष योग के लिए समरूपी समष्टि प्राप्त होती है: | ||
:<math>W^{\mathbb C} \cong W\oplus \overline{W}.</math> | :<math>W^{\mathbb C} \cong W\oplus \overline{W}.</math> | ||
Line 118: | Line 118: | ||
== संबंधित वेक्टर स्थानों का विस्तार == | == संबंधित वेक्टर स्थानों का विस्तार == | ||
मान लीजिए कि V | मान लीजिए कि V जटिल संरचना J के साथ वास्तविक सदिश समष्टि है। दोहरे स्थान V* में प्राकृतिक जटिल संरचना J* है जो J के दोहरे (या स्थानान्तरण) द्वारा दी गई है। दोहरे स्थान की जटिलता (V*)<sup>इसलिए C</sup>में प्राकृतिक अपघटन होता है | ||
:<math>(V^*)^\mathbb{C} = (V^*)^{+}\oplus (V^*)^-</math> | :<math>(V^*)^\mathbb{C} = (V^*)^{+}\oplus (V^*)^-</math> | ||
J* के ±i eigenspaces में। (V*) की प्राकृतिक पहचान के तहत<sup>सी</sup> के साथ (''वी''<sup>C</sup>)* कोई (''V''*) को चिह्नित कर सकता है<sup>+</sup> उन जटिल रैखिक कार्यात्मकताओं के रूप में जो V पर लुप्त हो जाती हैं<sup>−</sup>. इसी प्रकार (वी*)<sup>−</sup>में वे जटिल रैखिक क्रियाएँ शामिल हैं जो V पर लुप्त हो जाती हैं<sup>+</sup>. | J* के ±i eigenspaces में। (V*) की प्राकृतिक पहचान के तहत<sup>सी</sup> के साथ (''वी''<sup>C</sup>)* कोई (''V''*) को चिह्नित कर सकता है<sup>+</sup> उन जटिल रैखिक कार्यात्मकताओं के रूप में जो V पर लुप्त हो जाती हैं<sup>−</sup>. इसी प्रकार (वी*)<sup>−</sup>में वे जटिल रैखिक क्रियाएँ शामिल हैं जो V पर लुप्त हो जाती हैं<sup>+</sup>. | ||
वी पर (जटिल) [[टेंसर बीजगणित]], [[सममित बीजगणित]] और [[बाहरी बीजगणित]]<sup>सी</sup>विघटन को भी स्वीकार करता है। बाहरी बीजगणित शायद इस अपघटन का सबसे महत्वपूर्ण अनुप्रयोग है। सामान्य तौर पर, यदि | वी पर (जटिल) [[टेंसर बीजगणित]], [[सममित बीजगणित]] और [[बाहरी बीजगणित]]<sup>सी</sup>विघटन को भी स्वीकार करता है। बाहरी बीजगणित शायद इस अपघटन का सबसे महत्वपूर्ण अनुप्रयोग है। सामान्य तौर पर, यदि सदिश स्थान ''U'' अपघटन ''U'' = ''S'' ⊕ ''T'' को स्वीकार करता है तो ''U'' की बाहरी शक्तियों को निम्नानुसार विघटित किया जा सकता है: | ||
:<math>\Lambda^r U = \bigoplus_{p+q=r}(\Lambda^p S)\otimes(\Lambda^q T).</math> | :<math>\Lambda^r U = \bigoplus_{p+q=r}(\Lambda^p S)\otimes(\Lambda^q T).</math> | ||
इसलिए V पर | इसलिए V पर जटिल संरचना J अपघटन को प्रेरित करती है | ||
:<math>\Lambda^r\,V^\mathbb{C} = \bigoplus_{p+q=r} \Lambda^{p,q}\,V_J</math> | :<math>\Lambda^r\,V^\mathbb{C} = \bigoplus_{p+q=r} \Lambda^{p,q}\,V_J</math> | ||
कहाँ | कहाँ |
Revision as of 21:06, 4 October 2023
गणित में, वास्तविक सदिश समष्टि V पर सामान्यीकृत जटिल संरचना, V का स्वप्रतिरूपण है जो शून्य पहचान फ़ंक्शन, -I का वर्ग है। वी पर ऐसी संरचना किसी को विहित तरीके से जटिल संख्या द्वारा गुणन को परिभाषित करने की अनुमति देती है ताकि वी को जटिल वेक्टर स्थान के रूप में माना जा सके।
प्रत्येक जटिल वेक्टर स्थान को संगत जटिल संरचना से सुसज्जित किया जा सकता है, हालांकि, सामान्य तौर पर ऐसी कोई विहित संरचना नहीं होती है। जटिल संरचनाओं का प्रतिनिधित्व सिद्धांत के साथ-साथ जटिल ज्यामिति में भी अनुप्रयोग होता है जहां वे जटिल मैनिफोल्ड के विपरीत, लगभग जटिल मैनिफोल्ड की परिभाषा में आवश्यक भूमिका निभाते हैं। जटिल संरचना शब्द अक्सर इस संरचना को कई गुना संदर्भित करता है; जब यह सदिश स्थानों पर किसी संरचना को संदर्भित करता है, तो इसे 'रैखिक जटिल संरचना' कहा जा सकता है।
परिभाषा और गुण
वास्तविक सदिश समष्टि V पर जटिल संरचना वास्तविक रैखिक परिवर्तन है
दूसरी दिशा में जा रहे हैं, यदि कोई जटिल वेक्टर समष्टि से प्रारंभ करता है W तो कोई परिभाषित करके अंतर्निहित वास्तविक स्थान पर जटिल संरचना को परिभाषित कर सकता है Jw = iw सभी के लिए w ∈ W.
अधिक औपचारिक रूप से, वास्तविक वेक्टर स्थान पर रैखिक जटिल संरचना जटिल संख्याओं का बीजगणित प्रतिनिधित्व है C, वास्तविक संख्याओं पर साहचर्य बीजगणित के रूप में सोचा गया। यह बीजगणित ठोस रूप में साकार होता है
अगर VJ जटिल आयाम है (रैखिक बीजगणित) n तब V वास्तविक आयाम होना चाहिए 2n. यानी परिमित-आयामी स्थान V किसी जटिल संरचना को तभी स्वीकार करता है जब वह सम-आयामी हो। यह देखना कठिन नहीं है कि प्रत्येक सम-आयामी वेक्टर स्थान जटिल संरचना को स्वीकार करता है। कोई परिभाषित कर सकता है J जोड़ियों पर e,f आधार (रैखिक बीजगणित) सदिशों द्वारा Je = f और Jf = −e और फिर सभी तक रैखिकता द्वारा विस्तार करें V. अगर (v1, …, vn) जटिल सदिश समष्टि का आधार है VJ तब (v1, Jv1, …, vn, Jvn) अंतर्निहित वास्तविक स्थान के लिए आधार है V.
एक वास्तविक रैखिक परिवर्तन A : V → V संगत जटिल स्थान का जटिल रैखिक परिवर्तन है VJ अगर और केवल अगर A के साथ आवागमन करता है J, अर्थात यदि और केवल यदि
उदाहरण
प्रारंभिक उदाहरण
वास्तविक क्षेत्र पर 2x2 वास्तविक आव्यूह M(2,R) का संग्रह 4-आयामी है। कोई मैट्रिक्स
- के साथ2 + bc = -1
पहचान मैट्रिक्स के ऋणात्मक के बराबर वर्ग है। एम(2,'आर') में जटिल संरचना बनाई जा सकती है: पहचान मैट्रिक्स I के साथ, तत्व x I + y J, मैट्रिक्स गुणन के साथ जटिल संख्याएँ बनाते हैं।
सीn
एक रैखिक जटिल संरचना का मूल उदाहरण 'आर' पर संरचना है2n 'सी' पर जटिल संरचना से आ रहा हैn. अर्थात्, जटिल एन-आयामी स्थान 'सी'n भी वास्तविक 2n-आयामी स्थान है - समान वेक्टर जोड़ और वास्तविक अदिश गुणन का उपयोग करते हुए - जबकि जटिल संख्या i द्वारा गुणा न केवल अंतरिक्ष का जटिल रैखिक परिवर्तन है, जिसे जटिल वेक्टर स्थान के रूप में माना जाता है, बल्कि यह अंतरिक्ष का वास्तविक रैखिक परिवर्तन भी है, जिसे वास्तविक सदिश स्थान माना जाता है। सीधे तौर पर, इसका कारण यह है कि i द्वारा अदिश गुणन वास्तविक संख्याओं द्वारा अदिश गुणन के साथ परिवर्तित होता है - और वेक्टर जोड़ में वितरित होता है। जटिल n×n मैट्रिक्स के रूप में, यह केवल विकर्ण पर i के साथ अदिश मैट्रिक्स है। संगत वास्तविक 2n×2n मैट्रिक्स को J दर्शाया गया है।
एक आधार दिया गया जटिल स्थान के लिए, यह सेट, इन वैक्टरों के साथ मिलकर i से गुणा किया जाता है वास्तविक स्थान के लिए आधार तैयार करें। इस आधार को ऑर्डर करने के दो प्राकृतिक तरीके हैं, जो संक्षेप में इस बात से संबंधित हैं कि कोई टेंसर उत्पाद को इस रूप में लिखता है या नहीं या इसके बजाय के रूप में यदि कोई आधार के रूप में आदेश देता है तब J के लिए मैट्रिक्स ब्लॉक विकर्ण रूप लेता है (आयाम को इंगित करने के लिए सबस्क्रिप्ट जोड़े जाते हैं):
वास्तविक वेक्टर स्पेस और J मैट्रिक्स का डेटा बिल्कुल जटिल वेक्टर स्पेस के डेटा के समान है, क्योंकि J मैट्रिक्स जटिल गुणन को परिभाषित करने की अनुमति देता है। लाई बीजगणित और लाई समूहों के स्तर पर, यह gl(2n,'R') में gl(n,'C') को शामिल करने से मेल खाता है (झूठ बीजगणित - मैट्रिक्स, जरूरी नहीं कि उलटा हो) और GL(n,C) |GL(n,'C') GL(2n,'R' में):
समावेशन जटिल संरचना को भूलने (और केवल वास्तविक रखने) से मेल खाता है, जबकि उपसमूह जीएल (एन, 'सी') को जे के साथ आने वाले मैट्रिक्स के रूप में चित्रित किया जा सकता है (समीकरणों में दिया गया है):
सीधा योग
यदि V कोई वास्तविक सदिश समष्टि है तो सदिश समष्टि V ⊕ V के प्रत्यक्ष योग पर विहित जटिल संरचना होती है, जो इसके द्वारा दी गई है
अन्य संरचनाओं के साथ संगतता
अगर B द्विरेखीय रूप है V तो हम ऐसा कहते हैं J संरक्षित करता है B अगर
एक सांकेतिक रूप दिया गया है ω और रैखिक जटिल संरचना J पर V, कोई संबंधित द्विरेखीय रूप को परिभाषित कर सकता है gJ पर V द्वारा
यदि सिंपलेक्टिक रूप ω द्वारा संरक्षित किया गया है (लेकिन जरूरी नहीं कि उसे वश में किया जाए)। J, तब gJ हर्मिटियन रूप की जटिल संख्या है (पहले तर्क में कन्वेंशन एंटीलीनियर द्वारा) द्वारा परिभाषित
जटिलताओं से संबंध
किसी भी वास्तविक सदिश समष्टि V को देखते हुए हम अदिशों के विस्तार द्वारा इसकी जटिलता को परिभाषित कर सकते हैं:
यह जटिल सदिश समष्टि है जिसका जटिल आयाम V के वास्तविक आयाम के बराबर है। इसमें विहित जटिल संयुग्मन है जिसे परिभाषित किया गया है
यदि J, V पर जटिल संरचना है, तो हम J को रैखिकता द्वारा V तक बढ़ा सकते हैंसी:
चूँकि C बीजगणितीय रूप से बंद है, J में eigenvalues होने की गारंटी है जो λ को संतुष्ट करते हैं2 = −1, अर्थात् λ = ±i. इस प्रकार हम लिख सकते हैं
जहां वी+और वी− क्रमशः +i और −i के eigenspaces हैं। जटिल संयुग्मन इंटरचेंज वी+और वी−. वी पर प्रक्षेपण मानचित्र± eigenspaces द्वारा दिए गए हैं
ताकि
वी के बीच प्राकृतिक जटिल रैखिक समरूपता हैJ और वी+, इसलिए इन सदिश स्थानों को समान माना जा सकता है, जबकि V− को V का जटिल संयुग्म सदिश समष्टि माना जा सकता हैJ.
ध्यान दें कि यदि वीJ दोनों V के बाद जटिल आयाम n है+और वी−जटिल आयाम n है जबकि VCका जटिल आयाम 2n है।
संक्षेप में, यदि कोई जटिल सदिश समष्टि W से शुरू करता है और अंतर्निहित वास्तविक स्थान की जटिलता को लेता है, तो उसे W और उसके संयुग्म के प्रत्यक्ष योग के लिए समरूपी समष्टि प्राप्त होती है:
संबंधित वेक्टर स्थानों का विस्तार
मान लीजिए कि V जटिल संरचना J के साथ वास्तविक सदिश समष्टि है। दोहरे स्थान V* में प्राकृतिक जटिल संरचना J* है जो J के दोहरे (या स्थानान्तरण) द्वारा दी गई है। दोहरे स्थान की जटिलता (V*)इसलिए Cमें प्राकृतिक अपघटन होता है
J* के ±i eigenspaces में। (V*) की प्राकृतिक पहचान के तहतसी के साथ (वीC)* कोई (V*) को चिह्नित कर सकता है+ उन जटिल रैखिक कार्यात्मकताओं के रूप में जो V पर लुप्त हो जाती हैं−. इसी प्रकार (वी*)−में वे जटिल रैखिक क्रियाएँ शामिल हैं जो V पर लुप्त हो जाती हैं+.
वी पर (जटिल) टेंसर बीजगणित, सममित बीजगणित और बाहरी बीजगणितसीविघटन को भी स्वीकार करता है। बाहरी बीजगणित शायद इस अपघटन का सबसे महत्वपूर्ण अनुप्रयोग है। सामान्य तौर पर, यदि सदिश स्थान U अपघटन U = S ⊕ T को स्वीकार करता है तो U की बाहरी शक्तियों को निम्नानुसार विघटित किया जा सकता है:
इसलिए V पर जटिल संरचना J अपघटन को प्रेरित करती है
कहाँ
सभी बाहरी शक्तियों को सम्मिश्र संख्याओं पर ले लिया जाता है। तो अगर वीJ तो इसका जटिल आयाम n (वास्तविक आयाम 2n) है
वेंडरमोंडे की पहचान के परिणामस्वरूप आयाम सही ढंग से जुड़ते हैं।
(p,q)- का स्थान Λ बनाता हैपी, क्यू वीJ* V पर (जटिल) बहुरेखीय रूपों का स्थान हैसी जो सजातीय तत्वों पर गायब हो जाता है जब तक कि पी वी से न हो+ और q, V से हैं−. Λ का सम्मान करना भी संभव हैपी, क्यू वीJ* वी से वास्तविक बहुरेखीय मानचित्रों के स्थान के रूप मेंJ से C जो p पदों में जटिल रैखिक हैं और q पदों में संयुग्म-रैखिक हैं।
इन विचारों के अनुप्रयोगों के लिए जटिल विभेदक रूप और लगभग जटिल मैनिफोल्ड देखें।
यह भी देखें
- लगभग जटिल विविधता
- जटिल कई गुना
- जटिल विभेदक रूप
- जटिल संयुग्म वेक्टर स्थान
- हर्मिटियन संरचना
- वास्तविक संरचना
संदर्भ
- Kobayashi S. and Nomizu K., Foundations of Differential Geometry, John Wiley & Sons, 1969. ISBN 0-470-49648-7. (complex structures are discussed in Volume II, Chapter IX, section 1).
- Budinich, P. and Trautman, A. The Spinorial Chessboard, Springer-Verlag, 1988. ISBN 0-387-19078-3. (complex structures are discussed in section 3.1).
- Goldberg S.I., Curvature and Homology, Dover Publications, 1982. ISBN 0-486-64314-X. (complex structures and almost complex manifolds are discussed in section 5.2).