रैखिक सम्मिश्र संरचना: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Mathematics concept}}
{{Short description|Mathematics concept}}
गणित में, वास्तविक सदिश समष्टि V पर [[सामान्यीकृत जटिल संरचना]], V का स्वप्रतिरूपण है जो शून्य पहचान फ़ंक्शन, -I का वर्ग है। वी पर ऐसी संरचना किसी को विहित तरीके से [[जटिल संख्या]] द्वारा गुणन को परिभाषित करने की अनुमति देती है ताकि वी को जटिल वेक्टर स्थान के रूप में माना जा सके।


प्रत्येक जटिल वेक्टर स्थान को संगत जटिल संरचना से सुसज्जित किया जा सकता है, हालांकि, सामान्य तौर पर ऐसी कोई विहित संरचना नहीं होती है। जटिल संरचनाओं का [[प्रतिनिधित्व सिद्धांत]] के साथ-साथ [[जटिल ज्यामिति]] में भी अनुप्रयोग होता है जहां वे जटिल मैनिफोल्ड के विपरीत, लगभग जटिल मैनिफोल्ड की परिभाषा में आवश्यक भूमिका निभाते हैं। जटिल संरचना शब्द अक्सर इस संरचना को कई गुना संदर्भित करता है; जब यह सदिश स्थानों पर किसी संरचना को संदर्भित करता है, तो इसे ''''रैखिक जटिल संरचना'''<nowiki/>' कहा जा सकता है।
 
गणित में एक वास्तविक सदिश समष्टि V पर एक सम्मिश्र संरचना, V का एक स्वप्रतिरूपण है जो ऋणात्मक पहचान −I का वर्ग है। जो कि V पर इस तरह की संरचना किसी को विहित विधि से सम्मिश्र अदिशों द्वारा गुणन को परिभाषित करने की अनुमति देती है जिससे V को एक सम्मिश्र सदिश समष्टि के रूप में माना जा सकता है।
 
प्रत्येक सम्मिश्र सदिश स्थान को संगत सम्मिश्र संरचना से सुसज्जित किया जा सकता है, चूँकि यह सामान्य रूप से ऐसी कोई विहित संरचना नहीं होती है। जो कि सम्मिश्र संरचनाओं का [[प्रतिनिधित्व सिद्धांत]] के साथ-साथ [[जटिल ज्यामिति|सम्मिश्र ज्यामिति]] में भी अनुप्रयोग होता है जहां वे सम्मिश्र मैनिफोल्ड के विपरीत, लगभग सम्मिश्र मैनिफोल्ड की परिभाषा में आवश्यक भूमिका निभाते हैं। सम्मिश्र संरचना शब्द अधिकांशत: इस संरचना को अधिक गुना संदर्भित करता है; जब यह सदिश स्थानों पर किसी संरचना को संदर्भित करता है, तो इसे ''''रैखिक सम्मिश्र संरचना'''<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|''V''}} जटिल सदिश समष्टि की संरचना के साथ। जटिल अदिश गुणन को परिभाषित किया जा सकता है
यहां {{math|''J''<sup>2</sup>}} का अर्थ है जो कि {{math|''J''}} स्वयं से बना है और {{math|Id<sub>''V''</sub>}} {{math|''V''}} पर पहचान मानचित्र है। अथार्त, {{math|''V''}} को दो बार लगाने का प्रभाव {{math|−1}} से गुणा करने के समान है। यह काल्पनिक इकाई द्वारा गुणन की याद दिलाता है, अर्थात यह एक सम्मिश्र संरचना किसी को 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|''V''<sub>''J''</sub>}}.
सभी वास्तविक संख्याओं {{math|''x'',''y''}} और {{math|''V''}} में सभी सदिशों {{math|''v''}} के लिए यह कोई जांच सकता है कि यह, वास्तव में, {{math|''V''}} को एक सम्मिश्र सदिश समष्टि की संरचना देता है जिसे हम {{math|''V''<sub>''J''</sub>}} को दर्शाते हैं।
 
यह दूसरी दिशा में जाने पर, यदि कोई सम्मिश्र सदिश समष्टि {{math|''W''}} से प्रारंभ करता है तो वह सभी {{math|''w'' ∈ ''W''}} के लिए {{math|1=''Jw'' = ''iw''}} को परिभाषित करके अंतर्निहित वास्तविक स्थान पर एक सम्मिश्र संरचना को परिभाषित कर सकता है।
 
 
अधिक औपचारिक रूप से, एक वास्तविक सदिश स्थान पर एक रैखिक सम्मिश्र संरचना सम्मिश्र संख्याओं {{math|'''C'''}} का बीजगणित प्रतिनिधित्व है, जिसे वास्तविक संख्याओं पर एक सहयोगी बीजगणित के रूप में माना जाता है। यह बीजगणित ठोस रूप में साकार होता है
<math display="block">\Complex = \Reals[x]/(x^2+1),</math>


दूसरी दिशा में जा रहे हैं, यदि कोई जटिल वेक्टर समष्टि से प्रारंभ करता है {{math|''W''}} तो कोई परिभाषित करके अंतर्निहित वास्तविक स्थान पर जटिल संरचना को परिभाषित कर सकता है {{math|1=''Jw'' = ''iw''}} सभी के लिए {{math|''w'' ∈ ''W''}}.


अधिक औपचारिक रूप से, वास्तविक वेक्टर स्थान पर रैखिक जटिल संरचना जटिल संख्याओं का [[बीजगणित प्रतिनिधित्व]] है {{math|'''C'''}}, [[वास्तविक संख्या]]ओं पर [[साहचर्य बीजगणित]] के रूप में सोचा गया। यह बीजगणित ठोस रूप में साकार होता है
जो {{math|1=''i''<sup>2</sup> = −1}} से मेल खाता है। फिर {{math|'''C'''}} का प्रतिनिधित्व एक वास्तविक सदिश समष्टि {{math|''V''}} है, इसके साथ में {{math|''V''}} पर {{math|'''C'''}} की क्रिया (एक मानचित्र {{math|'''C''' → End(''V'')}} भी है। जो कि समान्य रूप से, यह केवल {{math|''i''}} की एक क्रिया है, क्योंकि यह बीजगणित उत्पन्न करता है, और यह {{math|''i''}} ({{math|End(''V'')}} में {{math|''i''}} की छवि) का प्रतिनिधित्व करने वाला ऑपरेटर बिल्कुल {{math|''J''}} है।
<math display=block>\Complex = \Reals[x]/(x^2+1),</math>
जो मेल खाता है {{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''}} किसी जटिल संरचना को तभी स्वीकार करता है जब वह सम-आयामी हो। यह देखना कठिन नहीं है कि प्रत्येक सम-आयामी वेक्टर स्थान जटिल संरचना को स्वीकार करता है। कोई परिभाषित कर सकता है {{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|''V''<sub>''J''</sub>}} का सम्मिश्र आयाम {{math|''n''}} है तो {{math|''V''}} का वास्तविक आयाम {{math|2''n''}} होना चाहिए। अर्थात्, एक परिमित-आयामी स्थान {{math|''V''}} एक सम्मिश्र संरचना को तभी स्वीकार करता है जब वह सम-आयामी हो। यह देखना कठिन नहीं है कि प्रत्येक सम-आयामी सदिश स्थान एक सम्मिश्र संरचना को स्वीकार करता है। कोई व्यक्ति {{math|1=''Je'' = ''f''}} और {{math|1=''Jf'' = −''e''}} द्वारा आधार सदिश के जोड़े {{math|''e'',''f''}} पर {{math|''J''}} को परिभाषित कर सकता है और फिर सभी {{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|''V''<sub>''J''</sub>}} [[अगर और केवल अगर]] {{math|''A''}} के साथ आवागमन करता है {{math|''J''}}, अर्थात यदि और केवल यदि
एक वास्तविक रैखिक परिवर्तन {{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|''V''}} का एक वास्तविक उप-स्थान {{math|''U''}}, {{math|''V''<sub>''J''</sub>}} का एक सम्मिश्र उप-स्थान है यदि और केवल यदि {{math|''J''}}, {{math|''U''}} को संरक्षित करता है, अर्थात यदि और केवल यदि
<math display=block>JU = U.</math>
<math display="block">JU = U.</math>




Line 31: Line 36:


===प्रारंभिक उदाहरण===
===प्रारंभिक उदाहरण===
वास्तविक क्षेत्र पर 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,'आर') में जटिल संरचना बनाई जा सकती है: पहचान मैट्रिक्स I के साथ, तत्व x I + y J, [[मैट्रिक्स गुणन]] के साथ जटिल संख्याएँ बनाते हैं।
पहचान मैट्रिक्स के ऋणात्मक के बराबर वर्ग है। एम(2,'आर') में सम्मिश्र संरचना बनाई जा सकती है: पहचान मैट्रिक्स I के साथ, तत्व x I + y J, [[मैट्रिक्स गुणन]] के साथ सम्मिश्र संख्याएँ बनाते हैं।


=== सी<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 दर्शाया गया है।
एक रैखिक सम्मिश्र संरचना का मूल उदाहरण 'आर' पर संरचना है<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>\Complex^n = \R^n \otimes_{\R} \Complex</math> या इसके बजाय के रूप में <math>\Complex^n = \Complex \otimes_{\R} \R^n.</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 57: Line 62:
   &    &        & J_2
   &    &        & J_2
\end{bmatrix}.</math>
\end{bmatrix}.</math>
इस क्रम का लाभ यह है कि यह जटिल वेक्टर रिक्त स्थान के प्रत्यक्ष योग का सम्मान करता है, जिसका अर्थ यहां आधार है <math>\Complex^m \oplus \Complex^n</math> के लिए वैसा ही है <math>\Complex^{m+n}.</math>
इस क्रम का लाभ यह है कि यह सम्मिश्र सदिश रिक्त स्थान के प्रत्यक्ष योग का सम्मान करता है, जिसका अर्थ यहां आधार है <math>\Complex^m \oplus \Complex^n</math> के लिए वैसा ही है <math>\Complex^{m+n}.</math>
दूसरी ओर, यदि कोई आधार का आदेश देता है <math>\left\{e_1,e_2,\dots,e_n, ie_1, ie_2, \dots, ie_n\right\}</math>, तो J के लिए मैट्रिक्स ब्लॉक-एंटीडायगोनल है:
दूसरी ओर, यदि कोई आधार का आदेश देता है <math>\left\{e_1,e_2,\dots,e_n, ie_1, ie_2, \dots, ie_n\right\}</math>, तो J के लिए मैट्रिक्स ब्लॉक-एंटीडायगोनल है:
<math display="block">J_{2n} = \begin{bmatrix}0 & -I_n \\ I_n & 0\end{bmatrix}.</math>
<math display="block">J_{2n} = \begin{bmatrix}0 & -I_n \\ I_n & 0\end{bmatrix}.</math>
यह क्रम अधिक स्वाभाविक है यदि कोई जटिल स्थान को वास्तविक स्थानों के प्रत्यक्ष योग के रूप में सोचता है, जैसा कि नीचे चर्चा की गई है।
यह क्रम अधिक स्वाभाविक है यदि कोई सम्मिश्र स्थान को वास्तविक स्थानों के प्रत्यक्ष योग के रूप में सोचता है, जैसा कि नीचे चर्चा की गई है।


वास्तविक वेक्टर स्पेस और J मैट्रिक्स का डेटा बिल्कुल जटिल वेक्टर स्पेस के डेटा के समान है, क्योंकि J मैट्रिक्स जटिल गुणन को परिभाषित करने की अनुमति देता है। लाई बीजगणित और लाई समूहों के स्तर पर, यह gl(2n,'R') में gl(n,'C') को शामिल करने से मेल खाता है ([[झूठ बीजगणित]] - मैट्रिक्स, जरूरी नहीं कि उलटा हो) और GL(n,C) |GL(n,'C') GL(2n,'R' में):
वास्तविक सदिश स्थान और J मैट्रिक्स का डेटा बिल्कुल सम्मिश्र सदिश स्थान के डेटा के समान है, क्योंकि J मैट्रिक्स सम्मिश्र गुणन को परिभाषित करने की अनुमति देता है। लाई बीजगणित और लाई समूहों के स्तर पर, यह gl(2n,'R') में gl(n,'C') को शामिल करने से मेल खाता है ([[झूठ बीजगणित]] - मैट्रिक्स, जरूरी नहीं कि उलटा हो) और GL(n,C) |GL(n,'C') GL(2n,'R' में):
{{block indent | em = 1.5 | text = gl(''n'','''C''') <  gl(''2n'','''R''') and GL(''n'','''C''') <  GL(''2n'','''R''').}}
{{block indent | em = 1.5 | text = gl(''n'','''C''') <  gl(''2n'','''R''') and GL(''n'','''C''') <  GL(''2n'','''R''').}}
समावेशन जटिल संरचना को भूलने (और केवल वास्तविक रखने) से मेल खाता है, जबकि उपसमूह जीएल (एन, 'सी') को जे के साथ आने वाले मैट्रिक्स के रूप में चित्रित किया जा सकता है (समीकरणों में दिया गया है):
समावेशन सम्मिश्र संरचना को भूलने (और केवल वास्तविक रखने) से मेल खाता है, जबकि उपसमूह जीएल (एन, 'सी') को जे के साथ आने वाले मैट्रिक्स के रूप में चित्रित किया जा सकता है (समीकरणों में दिया गया है):
<math display="block">\mathrm{GL}(n, \Complex) = \left\{ A \in \mathrm{GL}(2n,\R) \mid AJ = JA \right\}.</math>
<math display="block">\mathrm{GL}(n, \Complex) = \left\{ A \in \mathrm{GL}(2n,\R) \mid AJ = JA \right\}.</math>
ली बीजगणित के बारे में संगत कथन यह है कि जटिल आव्यूहों के उपबीजगणित gl(n,'C') वे हैं जिनका J के साथ झूठ कोष्ठक लुप्त हो जाता है, जिसका अर्थ है <math>[J,A] = 0;</math> दूसरे शब्दों में, जे के साथ ब्रैकेटिंग के मानचित्र के कर्नेल के रूप में, <math>[J,-].</math>
ली बीजगणित के बारे में संगत कथन यह है कि सम्मिश्र आव्यूहों के उपबीजगणित gl(n,'C') वे हैं जिनका J के साथ झूठ कोष्ठक लुप्त हो जाता है, जिसका अर्थ है <math>[J,A] = 0;</math> दूसरे शब्दों में, जे के साथ ब्रैकेटिंग के मानचित्र के कर्नेल के रूप में, <math>[J,-].</math>
ध्यान दें कि इन कथनों के लिए परिभाषित समीकरण समान हैं <math>AJ = JA</math> वैसा ही है जैसा कि <math>AJ - JA = 0,</math> जो वैसा ही है <math>[A,J] = 0,</math> हालाँकि लेट ब्रैकेट के लुप्त होने का अर्थ ज्यामितीय रूप से आने-जाने के अर्थ से कम तात्कालिक है।
ध्यान दें कि इन कथनों के लिए परिभाषित समीकरण समान हैं <math>AJ = JA</math> वैसा ही है जैसा कि <math>AJ - JA = 0,</math> जो वैसा ही है <math>[A,J] = 0,</math> हालाँकि लेट ब्रैकेट के लुप्त होने का अर्थ ज्यामितीय रूप से आने-जाने के अर्थ से कम तात्कालिक है।


=== सीधा योग ===
=== सीधा योग ===
यदि 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 का [[ब्लॉक मैट्रिक्स]] फॉर्म है
<math display="block">J = \begin{bmatrix}0 & -I_V \\ I_V & 0\end{bmatrix}</math>
<math display="block">J = \begin{bmatrix}0 & -I_V \\ I_V & 0\end{bmatrix}</math>
कहाँ <math>I_V</math> वी पर पहचान मानचित्र है। यह टेंसर उत्पाद पर जटिल संरचना से मेल खाता है <math>\Complex \otimes_{\R} V.</math>
कहाँ <math>I_V</math> वी पर पहचान मानचित्र है। यह टेंसर उत्पाद पर सम्मिश्र संरचना से मेल खाता है <math>\Complex \otimes_{\R} V.</math>




==अन्य संरचनाओं के साथ संगतता==
==अन्य संरचनाओं के साथ संगतता==


अगर {{math|''B''}} [[द्विरेखीय रूप]] है {{math|''V''}} तो हम ऐसा कहते हैं {{math|''J''}} संरक्षित करता है {{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|''J''}} के संबंध में तिरछा जोड़ है {{math|''B''}}:
सभी के लिए {{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|''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|''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|''J''}} पर {{math|''V''}}, कोई संबंधित द्विरेखीय रूप को परिभाषित कर सकता है {{math|''g''<sub>''J''</sub>}} पर {{math|''V''}} द्वारा
एक सांकेतिक रूप दिया गया है {{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|''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> द्वारा परिभाषित
<math display=block> h_J(u,v) = g_J(u,v) + ig_J(Ju,v) = \omega(u,Jv) +i\omega(u,v). </math>
<math display=block> h_J(u,v) = g_J(u,v) + ig_J(Ju,v) = \omega(u,Jv) +i\omega(u,v). </math>


Line 98: Line 103:
किसी भी वास्तविक सदिश समष्टि 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 के वास्तविक आयाम के बराबर है। इसमें विहित [[जटिल संयुग्मन]] है जिसे परिभाषित किया गया है
यह सम्मिश्र सदिश समष्टि है जिसका सम्मिश्र आयाम 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 तक बढ़ा सकते हैं<sup>सी</sup>:
यदि 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. इस प्रकार हम लिख सकते हैं
:<math>V^{\mathbb C}= V^{+}\oplus V^{-}</math>
:<math>V^{\mathbb C}= V^{+}\oplus V^{-}</math>
जहां वी<sup>+</sup>और वी<sup>−</sup> क्रमशः +i और −i के [[eigenspace]]s हैं। जटिल संयुग्मन इंटरचेंज वी<sup>+</sup>और वी<sup>−</sup>. वी पर प्रक्षेपण मानचित्र<sup>±</sup> eigenspaces द्वारा दिए गए हैं
जहां वी<sup>+</sup>और वी<sup>−</sup> क्रमशः +i और −i के [[eigenspace]]s हैं। सम्मिश्र संयुग्मन इंटरचेंज वी<sup>+</sup>और वी<sup>−</sup>. वी पर प्रक्षेपण मानचित्र<sup>±</sup> eigenspaces द्वारा दिए गए हैं
:<math>\mathcal P^{\pm} = {1\over 2}(1\mp iJ).</math>
:<math>\mathcal P^{\pm} = {1\over 2}(1\mp iJ).</math>
ताकि
ताकि
:<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> और वी<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'' और उसके संयुग्म के प्रत्यक्ष योग के लिए समरूपी समष्टि प्राप्त होती है:
संक्षेप में, यदि कोई सम्मिश्र सदिश समष्टि ''W'' से प्रारंभ करता है और अंतर्निहित वास्तविक स्थान की जटिलता को लेता है, तो उसे ''W'' और उसके संयुग्म के प्रत्यक्ष योग के लिए समरूपी समष्टि प्राप्त होती है:
:<math>W^{\mathbb C} \cong W\oplus \overline{W}.</math>
:<math>W^{\mathbb C} \cong W\oplus \overline{W}.</math>




== संबंधित वेक्टर स्थानों का विस्तार ==
== संबंधित सदिश स्थानों का विस्तार ==


मान लीजिए कि V जटिल संरचना J के साथ वास्तविक सदिश समष्टि है। दोहरे स्थान V* में प्राकृतिक जटिल संरचना J* है जो J के दोहरे (या स्थानान्तरण) द्वारा दी गई है। दोहरे स्थान की जटिलता (V*)<sup>इसलिए C</sup>में प्राकृतिक अपघटन होता है
मान लीजिए कि 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>विघटन को भी स्वीकार करता है। बाहरी बीजगणित शायद इस अपघटन का सबसे महत्वपूर्ण अनुप्रयोग है। सामान्य तौर पर, यदि सदिश स्थान ''U'' अपघटन ''U'' = ''S'' ⊕ ''T'' को स्वीकार करता है तो ''U'' की बाहरी शक्तियों को निम्नानुसार विघटित किया जा सकता है:
वी पर (जटिल) [[टेंसर बीजगणित]], [[सममित बीजगणित]] और [[बाहरी बीजगणित]]<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 पर जटिल संरचना J अपघटन को प्रेरित करती है
इसलिए 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>
कहाँ
कहाँ
:<math>\Lambda^{p,q}\,V_J\;\stackrel{\mathrm{def}}{=}\, (\Lambda^p\,V^+)\otimes(\Lambda^q\,V^-).</math>
:<math>\Lambda^{p,q}\,V_J\;\stackrel{\mathrm{def}}{=}\, (\Lambda^p\,V^+)\otimes(\Lambda^q\,V^-).</math>
सभी बाहरी शक्तियों को सम्मिश्र संख्याओं पर ले लिया जाता है। तो अगर वी<sub>''J''</sub> तो इसका जटिल आयाम n (वास्तविक आयाम 2n) है
सभी बाहरी शक्तियों को सम्मिश्र संख्याओं पर ले लिया जाता है। तो यदि वी<sub>''J''</sub> तो इसका सम्मिश्र आयाम n (वास्तविक आयाम 2n) है


:<math>\dim_{\mathbb C}\Lambda^{r}\,V^{\mathbb C} = {2n\choose r}\qquad \dim_{\mathbb C}\Lambda^{p,q}\,V_J = {n \choose p}{n \choose q}.</math>
:<math>\dim_{\mathbb C}\Lambda^{r}\,V^{\mathbb C} = {2n\choose r}\qquad \dim_{\mathbb C}\Lambda^{p,q}\,V_J = {n \choose p}{n \choose q}.</math>
वेंडरमोंडे की पहचान के परिणामस्वरूप आयाम सही ढंग से जुड़ते हैं।
वेंडरमोंडे की पहचान के परिणामस्वरूप आयाम सही ढंग से जुड़ते हैं।


(p,q)- का स्थान Λ बनाता है<sup>पी, क्यू</sup> वी<sub>''J''</sub>* V पर (जटिल) [[बहुरेखीय रूप]]ों का स्थान है<sup>सी</sup> जो सजातीय तत्वों पर गायब हो जाता है जब तक कि ''पी'' ''वी'' से न हो<sup>+</sup> और q, V से हैं<sup>−</sup>. Λ का सम्मान करना भी संभव है<sup>पी, क्यू</sup> वी<sub>''J''</sub>* वी से वास्तविक [[बहुरेखीय मानचित्र]]ों के स्थान के रूप में<sub>''J''</sub> से C जो ''p'' पदों में जटिल रैखिक हैं और ''q'' पदों में [[संयुग्म-रैखिक]] हैं।
(p,q)- का स्थान Λ बनाता है<sup>पी, क्यू</sup> वी<sub>''J''</sub>* V पर (जटिल) [[बहुरेखीय रूप]]ों का स्थान है<sup>सी</sup> जो सजातीय तत्वों पर गायब हो जाता है जब तक कि ''पी'' ''वी'' से न हो<sup>+</sup> और q, V से हैं<sup>−</sup>. Λ का सम्मान करना भी संभव है<sup>पी, क्यू</sup> वी<sub>''J''</sub>* वी से वास्तविक [[बहुरेखीय मानचित्र]]ों के स्थान के रूप में<sub>''J''</sub> से C जो ''p'' पदों में सम्मिश्र रैखिक हैं और ''q'' पदों में [[संयुग्म-रैखिक]] हैं।


इन विचारों के अनुप्रयोगों के लिए [[जटिल विभेदक रूप]] और लगभग जटिल मैनिफोल्ड देखें।
इन विचारों के अनुप्रयोगों के लिए [[जटिल विभेदक रूप|सम्मिश्र विभेदक रूप]] और लगभग सम्मिश्र मैनिफोल्ड देखें।


==यह भी देखें==
==यह भी देखें==
* लगभग जटिल विविधता
* लगभग सम्मिश्र विविधता
* जटिल कई गुना
* सम्मिश्र अनेक गुना
* जटिल विभेदक रूप
* सम्मिश्र विभेदक रूप
* जटिल संयुग्म वेक्टर स्थान
* सम्मिश्र संयुग्म सदिश स्थान
*[[हर्मिटियन संरचना]]
*[[हर्मिटियन संरचना]]
* [[वास्तविक संरचना]]
* [[वास्तविक संरचना]]

Revision as of 21:36, 4 October 2023


गणित में एक वास्तविक सदिश समष्टि V पर एक सम्मिश्र संरचना, V का एक स्वप्रतिरूपण है जो ऋणात्मक पहचान −I का वर्ग है। जो कि V पर इस तरह की संरचना किसी को विहित विधि से सम्मिश्र अदिशों द्वारा गुणन को परिभाषित करने की अनुमति देती है जिससे V को एक सम्मिश्र सदिश समष्टि के रूप में माना जा सकता है।

प्रत्येक सम्मिश्र सदिश स्थान को संगत सम्मिश्र संरचना से सुसज्जित किया जा सकता है, चूँकि यह सामान्य रूप से ऐसी कोई विहित संरचना नहीं होती है। जो कि सम्मिश्र संरचनाओं का प्रतिनिधित्व सिद्धांत के साथ-साथ सम्मिश्र ज्यामिति में भी अनुप्रयोग होता है जहां वे सम्मिश्र मैनिफोल्ड के विपरीत, लगभग सम्मिश्र मैनिफोल्ड की परिभाषा में आवश्यक भूमिका निभाते हैं। सम्मिश्र संरचना शब्द अधिकांशत: इस संरचना को अधिक गुना संदर्भित करता है; जब यह सदिश स्थानों पर किसी संरचना को संदर्भित करता है, तो इसे 'रैखिक सम्मिश्र संरचना' कहा जा सकता है।

परिभाषा और गुण

वास्तविक सदिश समष्टि V पर सम्मिश्र संरचना वास्तविक रैखिक परिवर्तन है

ऐसा है कि
यहां J2 का अर्थ है जो कि J स्वयं से बना है और IdV V पर पहचान मानचित्र है। अथार्त, V को दो बार लगाने का प्रभाव −1 से गुणा करने के समान है। यह काल्पनिक इकाई द्वारा गुणन की याद दिलाता है, अर्थात यह एक सम्मिश्र संरचना किसी को V को एक सम्मिश्र सदिश स्थान की संरचना प्रदान करने की अनुमति देती है। सम्मिश्र अदिश गुणन को परिभाषित किया जा सकता है
सभी वास्तविक संख्याओं x,y और V में सभी सदिशों v के लिए यह कोई जांच सकता है कि यह, वास्तव में, V को एक सम्मिश्र सदिश समष्टि की संरचना देता है जिसे हम VJ को दर्शाते हैं।

यह दूसरी दिशा में जाने पर, यदि कोई सम्मिश्र सदिश समष्टि W से प्रारंभ करता है तो वह सभी wW के लिए Jw = iw को परिभाषित करके अंतर्निहित वास्तविक स्थान पर एक सम्मिश्र संरचना को परिभाषित कर सकता है।


अधिक औपचारिक रूप से, एक वास्तविक सदिश स्थान पर एक रैखिक सम्मिश्र संरचना सम्मिश्र संख्याओं C का बीजगणित प्रतिनिधित्व है, जिसे वास्तविक संख्याओं पर एक सहयोगी बीजगणित के रूप में माना जाता है। यह बीजगणित ठोस रूप में साकार होता है


जो i2 = −1 से मेल खाता है। फिर C का प्रतिनिधित्व एक वास्तविक सदिश समष्टि V है, इसके साथ में V पर C की क्रिया (एक मानचित्र C → End(V) भी है। जो कि समान्य रूप से, यह केवल i की एक क्रिया है, क्योंकि यह बीजगणित उत्पन्न करता है, और यह i (End(V) में i की छवि) का प्रतिनिधित्व करने वाला ऑपरेटर बिल्कुल J है।

यदि VJ का सम्मिश्र आयाम n है तो V का वास्तविक आयाम 2n होना चाहिए। अर्थात्, एक परिमित-आयामी स्थान V एक सम्मिश्र संरचना को तभी स्वीकार करता है जब वह सम-आयामी हो। यह देखना कठिन नहीं है कि प्रत्येक सम-आयामी सदिश स्थान एक सम्मिश्र संरचना को स्वीकार करता है। कोई व्यक्ति Je = f और Jf = −e द्वारा आधार सदिश के जोड़े e,f पर J को परिभाषित कर सकता है और फिर सभी V तक रैखिकता द्वारा विस्तारित कर सकता है। यदि (v1, …, vn) सम्मिश्र सदिश स्थान VJ के लिए एक आधार है तो (v1, Jv1, …, vn, Jvn) अंतर्निहित वास्तविक स्थान V का आधार है।

एक वास्तविक रैखिक परिवर्तन A : VV संगत सम्मिश्र स्थान VJ का सम्मिश्र रैखिक परिवर्तन है यदि और केवल यदि A J के साथ आवागमन करता है , अर्थात यदि और केवल यदि

इसी तरह, V का एक वास्तविक उप-स्थान U, VJ का एक सम्मिश्र उप-स्थान है यदि और केवल यदि J, U को संरक्षित करता है, अर्थात यदि और केवल यदि


उदाहरण

प्रारंभिक उदाहरण

वास्तविक क्षेत्र पर 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 मैट्रिक्स का डेटा बिल्कुल सम्मिश्र सदिश स्थान के डेटा के समान है, क्योंकि J मैट्रिक्स सम्मिश्र गुणन को परिभाषित करने की अनुमति देता है। लाई बीजगणित और लाई समूहों के स्तर पर, यह gl(2n,'R') में gl(n,'C') को शामिल करने से मेल खाता है (झूठ बीजगणित - मैट्रिक्स, जरूरी नहीं कि उलटा हो) और GL(n,C) |GL(n,'C') GL(2n,'R' में):

gl(n,C) < gl(2n,R) and GL(n,C) < GL(2n,R).

समावेशन सम्मिश्र संरचना को भूलने (और केवल वास्तविक रखने) से मेल खाता है, जबकि उपसमूह जीएल (एन, 'सी') को जे के साथ आने वाले मैट्रिक्स के रूप में चित्रित किया जा सकता है (समीकरणों में दिया गया है):

ली बीजगणित के बारे में संगत कथन यह है कि सम्मिश्र आव्यूहों के उपबीजगणित gl(n,'C') वे हैं जिनका J के साथ झूठ कोष्ठक लुप्त हो जाता है, जिसका अर्थ है दूसरे शब्दों में, जे के साथ ब्रैकेटिंग के मानचित्र के कर्नेल के रूप में, ध्यान दें कि इन कथनों के लिए परिभाषित समीकरण समान हैं वैसा ही है जैसा कि जो वैसा ही है हालाँकि लेट ब्रैकेट के लुप्त होने का अर्थ ज्यामितीय रूप से आने-जाने के अर्थ से कम तात्कालिक है।

सीधा योग

यदि V कोई वास्तविक सदिश समष्टि है तो सदिश समष्टि V ⊕ V के प्रत्यक्ष योग पर विहित सम्मिश्र संरचना होती है, जो इसके द्वारा दी गई है

J का ब्लॉक मैट्रिक्स फॉर्म है
कहाँ वी पर पहचान मानचित्र है। यह टेंसर उत्पाद पर सम्मिश्र संरचना से मेल खाता है


अन्य संरचनाओं के साथ संगतता

यदि B द्विरेखीय रूप है V तो हम ऐसा कहते हैं J संरक्षित करता है B अगर

सभी के लिए u, vV. समतुल्य लक्षण वर्णन वह है J के संबंध में तिरछा जोड़ है B:
यदि g आंतरिक उत्पाद है V तब J संरक्षित करता है g यदि और केवल यदि J ऑर्थोगोनल परिवर्तन है। वैसे ही, J गैर-अपक्षयी, तिरछा-सममित मैट्रिक्स | तिरछा-सममित रूप संरक्षित करता है ω यदि और केवल यदि J सिंपलेक्टिक परिवर्तन है (अर्थात्, यदि ). सरलीकृत रूपों के लिए ω के बीच दिलचस्प अनुकूलता की स्थिति J और ω यह है कि
सभी गैर-शून्य के लिए धारण करता है u में V. यदि यह शर्त पूरी होती है तो हम ऐसा कहते हैं J वश में करना ω (पर्यायवाची: वह ω के संबंध में वश में है J; वह J के संबंध में वश में है ω; या वह जोड़ी वश में है)।

एक सांकेतिक रूप दिया गया है ω और रैखिक सम्मिश्र संरचना J पर V, कोई संबंधित द्विरेखीय रूप को परिभाषित कर सकता है gJ पर V द्वारा

चूँकि सरलीकृत रूप गैर-विक्षिप्त होता है, इसलिए उससे जुड़ा द्विरेखीय रूप भी अप्रचलित होता है। संबंधित प्रपत्र द्वारा संरक्षित है J यदि और केवल यदि सहानुभूतिपूर्ण रूप है। इसके अलावा, यदि सिंपलेक्टिक फॉर्म को संरक्षित किया जाता है J, तो संबद्ध रूप सममित है। यदि इसके अतिरिक्त ω द्वारा वश में किया जाता है J, तो संबद्ध रूप निश्चित द्विरेखीय रूप है। इस प्रकार इस मामले में V के संबंध में आंतरिक उत्पाद स्थान है gJ.

यदि सिंपलेक्टिक रूप ω द्वारा संरक्षित किया गया है (लेकिन जरूरी नहीं कि उसे वश में किया जाए)। 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 = ST को स्वीकार करता है तो 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).