सम्मिश्रता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
{{Short description|Topic in mathematics}}
{{Short description|Topic in mathematics}}
{{for|एक वास्तविक लाइ समूह की जटिलता|जटिलता (लाइ समूह)}}
गणित में वास्तविक संख्या (एक "वास्तविक सदिश समष्टि") के क्षेत्र में सदिश समष्टि {{math|''V''}} का '''सम्मिश्रता''' सम्मिश्र संख्या क्षेत्र (गणित) पर एक सदिश समष्टि {{math|''V''{{i sup|'''C'''}}}} उत्पन्न करता है, जो औपचारिक रूप से [[जटिल संख्या|सम्मिश्र संख्याओं]] द्वारा उनके स्केलिंग (गुणन) को सम्मिलित करने के लिए वास्तविक संख्याओं द्वारा सदिशों के स्केलिंग का विस्तार करके प्राप्त किया जाता है। {{math|''V''}} के लिए कोई आधार (रैखिक बीजगणित) (वास्तविक संख्याओं पर एक समष्टि) सम्मिश्र संख्याओं पर {{math|''V''{{i sup|'''C'''}}}} के आधार के रूप में भी काम कर सकता है।
गणित में वास्तविक संख्या (एक "वास्तविक सदिश स्पेस") के क्षेत्र में सदिश स्पेस {{math|''V''}} का '''जटिलीकरण''' सम्मिश्र संख्या [[क्षेत्र (गणित)]] पर एक सदिश स्पेस {{math|''V''{{i sup|'''C'''}}}} उत्पन्न करता है, जो औपचारिक रूप से [[जटिल संख्या|सम्मिश्र संख्याओं]] द्वारा उनके स्केलिंग (गुणन) को सम्मिलित करने के लिए वास्तविक संख्याओं द्वारा सदिशों के स्केलिंग का विस्तार करके प्राप्त किया जाता है। {{math|''V''}} के लिए कोई [[आधार (रैखिक बीजगणित)]] (वास्तविक संख्याओं पर एक स्पेस) सम्मिश्र संख्याओं पर {{math|''V''{{i sup|'''C'''}}}} के आधार के रूप में भी काम कर सकता है।


== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==
मान लीजिए कि <math>V</math> एक वास्तविक सदिश समष्टि है। {{math|''V''}} की {{em|{{visible anchor|जटिलता}}}} को जटिल संख्याओं (वास्तविकताओं पर 2-आयामी सदिश स्पेस के रूप में माना जाता है) के साथ <math>V</math> के [[टेंसर उत्पाद]] को ले कर परिभाषित किया गया है:
मान लीजिए कि <math>V</math> एक वास्तविक सदिश समष्टि है। {{math|''V''}} की {{em|{{visible anchor|सम्मिश्रता}}}} को सम्मिश्र संख्याओं (वास्तविकताओं पर 2-आयामी सदिश समष्टि के रूप में माना जाता है) के साथ <math>V</math> के [[टेंसर उत्पाद]] को ले कर परिभाषित किया गया है:


:<math>V^{\Complex} = V\otimes_{\R} \Complex\,.</math>
:<math>V^{\Complex} = V\otimes_{\R} \Complex\,.</math>
टेंसर उत्पाद पर सबस्क्रिप्ट, <math>\R</math> निरुपित करता है कि टेंसर उत्पाद को वास्तविक संख्याओं (चूंकि <math>V</math> वास्तविक सदिश स्पेस है वैसे भी यह एकमात्र समझदार विकल्प है, इसलिए सबस्क्रिप्ट को सुरक्षित रूप से छोड़ा जा सकता है) पर ले लिया गया है। जैसा यह प्रतीक होता है, <math>V^{\Complex}</math> केवल वास्तविक सदिश स्पेस है। चूँकि, हम जटिल गुणन को निम्नानुसार परिभाषित करके <math>V^{\Complex}</math> को एक जटिल सदिश स्पेस बना सकते हैं:
टेंसर उत्पाद पर सबस्क्रिप्ट, <math>\R</math> निरुपित करता है कि टेंसर उत्पाद को वास्तविक संख्याओं (चूंकि <math>V</math> वास्तविक सदिश समष्टि है वैसे भी यह एकमात्र समझदार विकल्प है, इसलिए सबस्क्रिप्ट को सुरक्षित रूप से छोड़ा जा सकता है) पर ले लिया गया है। जैसा यह प्रतीक होता है, <math>V^{\Complex}</math> केवल वास्तविक सदिश समष्टि है। चूँकि, हम सम्मिश्र गुणन को निम्नानुसार परिभाषित करके <math>V^{\Complex}</math> को एक सम्मिश्र सदिश समष्टि बना सकते हैं:


:<math>\alpha(v \otimes \beta) = v\otimes(\alpha\beta)\qquad\mbox{ for all } v\in V \mbox{ and }\alpha,\beta \in \Complex.</math>
:<math>\alpha(v \otimes \beta) = v\otimes(\alpha\beta)\qquad\mbox{ for all } v\in V \mbox{ and }\alpha,\beta \in \Complex.</math>
सामान्यतः, जटिलीकरण अदिशों के विस्तार का उदाहरण है - जो अदिशों को वास्तविक संख्याओं से सम्मिश्र संख्याओं तक विस्तारित करता है - जो कि किसी भी क्षेत्र विस्तार के लिए किया जा सकता है, या वास्तव में वलयों के किसी भी आकारिकी के लिए किया जा सकता है।
सामान्यतः, सम्मिश्रता अदिशों के विस्तार का उदाहरण है - जो अदिशों को वास्तविक संख्याओं से सम्मिश्र संख्याओं तक विस्तारित करता है - जो कि किसी भी क्षेत्र विस्तार के लिए किया जा सकता है, या वास्तव में वलयों के किसी भी आकारिकी के लिए किया जा सकता है।


औपचारिक रूप से, जटिलता वास्तविक सदिश रिक्त स्पेस की श्रेणी से जटिल सदिश रिक्त स्पेस की श्रेणी में एक कार्यात्मक {{math|Vect<sub>'''R'''</sub> → Vect<sub>'''C'''</sub>}} है। यह आसन्न फ़ैक्टर है - विशेष रूप से बाएं आसन्न - फॉरगेटफुल फ़ैक्टर {{math|Vect<sub>'''C'''</sub> → Vect<sub>'''R'''</sub>}} के लिए जो जटिल संरचना को भूल जाता है।
औपचारिक रूप से, सम्मिश्रता वास्तविक सदिश रिक्त समष्टि की श्रेणी से सम्मिश्र सदिश रिक्त समष्टि की श्रेणी में एक कार्यात्मक {{math|Vect<sub>'''R'''</sub> → Vect<sub>'''C'''</sub>}} है। यह आसन्न फ़ैक्टर है - विशेष रूप से बाएं आसन्न - फॉरगेटफुल फ़ैक्टर {{math|Vect<sub>'''C'''</sub> → Vect<sub>'''R'''</sub>}} के लिए जो सम्मिश्र संरचना को भूल जाता है।


एक जटिल सदिश स्पेस <math>V</math> की जटिल संरचना को भूल जाने को {{em|{{visible anchor|विसंकुलीकरण}}}} (या कभी-कभी "{{em|{{visible anchor|प्राप्ति}}}}") कहा जाता है। आधार <math>e_{\mu}</math> के साथ एक जटिल सदिश स्पेस <math>V</math> का अपघटन, अदिशों के जटिल गुणन की संभावना को हटा देता है, इस प्रकार आधार <math>\{e_{\mu}, ie_{\mu}\}</math> के साथ दो बार आयाम का एक वास्तविक सदिश स्पेस <math>W_{\R}</math> उत्पन्न करता है।<ref>{{cite book|last1=Kostrikin|first1=Alexei I.|last2=Manin|first2=Yu I.|title=रेखीय बीजगणित और ज्यामिति|date=July 14, 1989|publisher=CRC Press|isbn=978-2881246838|page=75}}</ref>
एक सम्मिश्र सदिश समष्टि <math>V</math> की सम्मिश्र संरचना को भूल जाने को {{em|{{visible anchor|विसंकुलीकरण}}}} (या कभी-कभी "{{em|{{visible anchor|प्राप्ति}}}}") कहा जाता है। आधार <math>e_{\mu}</math> के साथ एक सम्मिश्र सदिश समष्टि <math>V</math> का अपघटन, अदिशों के सम्मिश्र गुणन की संभावना को हटा देता है, इस प्रकार आधार <math>\{e_{\mu}, ie_{\mu}\}</math> के साथ दो बार आयाम का एक वास्तविक सदिश समष्टि <math>W_{\R}</math> उत्पन्न करता है।<ref>{{cite book|last1=Kostrikin|first1=Alexei I.|last2=Manin|first2=Yu I.|title=रेखीय बीजगणित और ज्यामिति|date=July 14, 1989|publisher=CRC Press|isbn=978-2881246838|page=75}}</ref>




Line 26: Line 25:
इसके बाद हम {{math|''V''{{i sup|'''C'''}}}} को {{math|''V''}}:
इसके बाद हम {{math|''V''{{i sup|'''C'''}}}} को {{math|''V''}}:
:<math>V^{\Complex} \cong V \oplus i V</math>
:<math>V^{\Complex} \cong V \oplus i V</math>
की दो प्रतियों के प्रत्यक्ष योग के रूप में जटिल संख्याओं से गुणा करने के उपरोक्त नियम के साथ मान सकते हैं।
की दो प्रतियों के प्रत्यक्ष योग के रूप में सम्मिश्र संख्याओं से गुणा करने के उपरोक्त नियम के साथ मान सकते हैं।


<math>v\mapsto v\otimes 1</math> द्वारा दिए गए {{math|''V''{{i sup|'''C'''}}}} में {{math|''V''}} का एक प्राकृतिक एम्बेडिंग है।  
<math>v\mapsto v\otimes 1</math> द्वारा दिए गए {{math|''V''{{i sup|'''C'''}}}} में {{math|''V''}} का एक प्राकृतिक एम्बेडिंग है।  


सदिश स्पेस {{math|''V''}} को तब {{math|''V''{{i sup|'''C'''}}}} की वास्तविक रैखिक उपसमष्टि के रूप में माना जा सकता है। यदि {{math|''V''}} का आधार {{math|{{mset| ''e''<sub>''i''</sub> }}}} (क्षेत्र {{math|'''R'''}} पर) है तो {{math|''V''{{i sup|'''C'''}}}} के लिए संबंधित आधार क्षेत्र {{math|'''C'''}} पर {{math|{ ''e''<sub>''i''</sub> ⊗ 1 } }}द्वारा दिया जाता है। इसलिए {{math|''V''{{i sup|'''C'''}}}} का जटिल [[आयाम (रैखिक बीजगणित)]] {{math|''V''}} के वास्तविक आयाम के बराबर है:
सदिश समष्टि {{math|''V''}} को तब {{math|''V''{{i sup|'''C'''}}}} की वास्तविक रैखिक उपसमष्टि के रूप में माना जा सकता है। यदि {{math|''V''}} का आधार {{math|{{mset| ''e''<sub>''i''</sub> }}}} (क्षेत्र {{math|'''R'''}} पर) है तो {{math|''V''{{i sup|'''C'''}}}} के लिए संबंधित आधार क्षेत्र {{math|'''C'''}} पर {{math|{ ''e''<sub>''i''</sub> ⊗ 1 } }}द्वारा दिया जाता है। इसलिए {{math|''V''{{i sup|'''C'''}}}} का सम्मिश्र आयाम (रैखिक बीजगणित) {{math|''V''}} के वास्तविक आयाम के बराबर है:


:<math>\dim_{\Complex} V^{\Complex} = \dim_{\R} V.</math>
:<math>\dim_{\Complex} V^{\Complex} = \dim_{\R} V.</math>
वैकल्पिक रूप से, टेंसर उत्पादों का उपयोग करने के अतिरिक्त, इस प्रत्यक्ष योग का उपयोग जटिलता की परिभाषा के रूप में किया जा सकता है:
वैकल्पिक रूप से, टेंसर उत्पादों का उपयोग करने के अतिरिक्त, इस प्रत्यक्ष योग का उपयोग सम्मिश्रता की परिभाषा के रूप में किया जा सकता है:
:<math>V^{\Complex} := V \oplus V,</math>
:<math>V^{\Complex} := V \oplus V,</math>
जहाँ <math>V^{\Complex}</math> को <math>J(v,w) := (-w,v),</math> के रूप में परिभाषित ऑपरेटर {{math|''J''}} द्वारा एक [[रैखिक जटिल संरचना]] दी गई है, जहाँ {{math|''J''}} "गुणन {{mvar|i}} द्वारा" के संचालन को कूटबद्ध करता है। आव्यूह रूप में, {{math|''J''}} द्वारा दिया गया है:
जहाँ <math>V^{\Complex}</math> को <math>J(v,w) := (-w,v),</math> के रूप में परिभाषित ऑपरेटर {{math|''J''}} द्वारा एक रैखिक सम्मिश्र संरचना दी गई है, जहाँ {{math|''J''}} "गुणन {{mvar|i}} द्वारा" के संचालन को कूटबद्ध करता है। आव्यूह रूप में, {{math|''J''}} द्वारा दिया गया है:
:<math>J = \begin{bmatrix}0 & -I_V \\ I_V & 0\end{bmatrix}.</math>
:<math>J = \begin{bmatrix}0 & -I_V \\ I_V & 0\end{bmatrix}.</math>
यह समान स्पेस उत्पन्न करता है - रैखिक जटिल संरचना वाला वास्तविक सदिश स्पेस जटिल सदिश स्पेस के समान डेटा है - चूंकि यह अंतरिक्ष को अलग विधि से बनाता है। इसलिए, <math>V^{\Complex}</math> को <math>V \oplus JV</math> या <math>V \oplus i V</math> के रूप में लिखा जा सकता है जो {{math|''V''}} को पहले प्रत्यक्ष योग के साथ पहचानता है। यह दृष्टिकोण अधिक ठोस है, और इसमें तकनीकी रूप से सम्मिलित टेंसर उत्पाद के उपयोग से बचने का लाभ है, किन्तु यह तदर्थ है।
यह समान समष्टि उत्पन्न करता है - रैखिक सम्मिश्र संरचना वाला वास्तविक सदिश समष्टि सम्मिश्र सदिश समष्टि के समान डेटा है - चूंकि यह अंतरिक्ष को अलग विधि से बनाता है। इसलिए, <math>V^{\Complex}</math> को <math>V \oplus JV</math> या <math>V \oplus i V</math> के रूप में लिखा जा सकता है जो {{math|''V''}} को पहले प्रत्यक्ष योग के साथ पहचानता है। यह दृष्टिकोण अधिक ठोस है, और इसमें तकनीकी रूप से सम्मिलित टेंसर उत्पाद के उपयोग से बचने का लाभ है, किन्तु यह तदर्थ है।


== उदाहरण ==
== उदाहरण ==
*[[वास्तविक समन्वय स्थान|वास्तविक समन्वय स्पेस]] {{math|'''R'''<sup>''n''</sup>}} की जटिलता जटिल समन्वय स्पेस {{math|'''C'''<sup>''n''</sup>}} है।
*[[वास्तविक समन्वय स्थान|वास्तविक समन्वय समष्टि]] {{math|'''R'''<sup>''n''</sup>}} की सम्मिश्रता सम्मिश्र समन्वय समष्टि {{math|'''C'''<sup>''n''</sup>}} है।
* इसी प्रकार, यदि {{math|''V''}} में वास्तविक प्रविष्टियों के साथ {{math|''m''×''n''}} [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] होते हैं, तो {{math|''V''{{i sup|'''C'''}}}} में जटिल प्रविष्टियों के साथ {{math|''m''×''n''}} आव्यूह सम्मिलित होंगे।
* इसी प्रकार, यदि {{math|''V''}} में वास्तविक प्रविष्टियों के साथ {{math|''m''×''n''}} आव्यूह (गणित) होते हैं, तो {{math|''V''{{i sup|'''C'''}}}} में सम्मिश्र प्रविष्टियों के साथ {{math|''m''×''n''}} आव्यूह सम्मिलित होंगे।


== डिकसन दोहरीकरण ==
== डिकसन दोहरीकरण ==
{{Main|केली-डिक्सन निर्माण}}
{{Main|केली-डिक्सन निर्माण}}
[[लियोनार्ड डिक्सन]] सहित बीसवीं शताब्दी के गणितज्ञों द्वारा {{math|'''R'''}} को {{math|'''C'''}} तक जाने की जटिलता की प्रक्रिया को सारगर्भित किया गया था। एक [[ पहचान मानचित्रण |पहचान क्षेत्रण]] {{math|1=''x''* = ''x''}} को {{math|'''R'''}} पर एक तुच्छ इनवोल्यूशन के रूप में उपयोग करने के साथ प्रारंभ होता है। R की अगली दो प्रतियों का उपयोग {{math|1=''z'' = (''a , b'')}} बनाने के लिए किया जाता है, जिसमें इनवोल्यूशन {{math|1=''z''* = (''a'', −''b'')}} के रूप में प्रस्तुत [[जटिल संयुग्मन]] होता है। दो तत्व {{mvar|w}} और {{mvar|z}} दोगुने सेट में से गुणा करें
 
[[लियोनार्ड डिक्सन]] सहित बीसवीं शताब्दी के गणितज्ञों द्वारा {{math|'''R'''}} को {{math|'''C'''}} तक जाने की सम्मिश्रता की प्रक्रिया को सारगर्भित किया गया था। एक [[ पहचान मानचित्रण |पहचान क्षेत्रण]] {{math|1=''x''* = ''x''}} को {{math|'''R'''}} पर एक तुच्छ इनवोल्यूशन के रूप में उपयोग करने के साथ प्रारंभ होता है। R की अगली दो प्रतियों का उपयोग {{math|1=''z'' = (''a , b'')}} बनाने के लिए किया जाता है, जिसमें इनवोल्यूशन {{math|1=''z''* = (''a'', −''b'')}} के रूप में प्रस्तुत [[जटिल संयुग्मन|सम्मिश्र संयुग्मन]] होता है। दो तत्व {{mvar|w}} और {{mvar|z}} दोगुने सेट में से गुणा करें
:<math>w z = (a,b) \times (c,d) = (ac\ - \ d^*b,\ da \ + \ b c^*).</math>
:<math>w z = (a,b) \times (c,d) = (ac\ - \ d^*b,\ da \ + \ b c^*).</math>
अंत में, दोगुने सेट को मानदंड {{math|1=''N''(''z'') = ''z* z''}} दिया जाता है। पहचान इन्वॉल्वमेंट के साथ {{math|'''R'''}} से प्रारंभ करते समय, दोगुना सेट मानदंड {{math|''a''<sup>2</sup> + ''b''<sup>2</sup>}} के साथ {{math|'''C'''}} होता है।  
अंत में, दोगुने सेट को मानदंड {{math|1=''N''(''z'') = ''z* z''}} दिया जाता है। पहचान इन्वॉल्वमेंट के साथ {{math|'''R'''}} से प्रारंभ करते समय, दोगुना सेट मानदंड {{math|''a''<sup>2</sup> + ''b''<sup>2</sup>}} के साथ {{math|'''C'''}} होता है।  
Line 55: Line 55:




== जटिल संयुग्मन ==
== सम्मिश्र संयुग्मन ==
जटिल सदिश स्पेस {{math|''V''{{i sup|'''C'''}}}} में सामान्य जटिल सदिश स्पेस की तुलना में अधिक संरचना होती है। यह
सम्मिश्र सदिश समष्टि {{math|''V''{{i sup|'''C'''}}}} में सामान्य सम्मिश्र सदिश समष्टि की तुलना में अधिक संरचना होती है। यह


<math>\chi(v\otimes z) = v\otimes \bar z.</math>  
<math>\chi(v\otimes z) = v\otimes \bar z.</math>  


द्वारा परिभाषित एक विहित जटिल संयुग्मन माप  
द्वारा परिभाषित एक विहित सम्मिश्र संयुग्मन माप  


<math>\chi : V^{\Complex} \to \overline{V^{\Complex}}</math>  
<math>\chi : V^{\Complex} \to \overline{V^{\Complex}}</math>  


के साथ आता है।
के साथ आता है।
:माप {{mvar|χ}} या तो {{math|''V''{{i sup|'''C'''}}}} से स्वयं के संयुग्म-रैखिक क्षेत्र के रूप में माना जा सकता है या {{math|''V''{{i sup|'''C'''}}}} से जटिल संयुग्मित <math>\overline {V^{\Complex}}</math> के जटिल रैखिक समरूपता के रूप में माना जा सकता है।  
:माप {{mvar|χ}} या तो {{math|''V''{{i sup|'''C'''}}}} से स्वयं के संयुग्म-रैखिक क्षेत्र के रूप में माना जा सकता है या {{math|''V''{{i sup|'''C'''}}}} से सम्मिश्र संयुग्मित <math>\overline {V^{\Complex}}</math> के सम्मिश्र रैखिक समरूपता के रूप में माना जा सकता है।


इसके विपरीत, जटिल संयुग्मन {{mvar|χ}} के साथ एक जटिल सदिश स्थान {{math|''W''}} दिया गया है, {{math|''W''}} वास्तविक उपस्थान के जटिल {{math|''V''{{i sup|'''C'''}}}} के लिए एक जटिल सदिश स्थान के रूप में समरूपता है।
इसके विपरीत, सम्मिश्र संयुग्मन {{mvar|χ}} के साथ एक सम्मिश्र सदिश स्थान {{math|''W''}} दिया गया है, {{math|''W''}} वास्तविक उपस्थान के सम्मिश्र {{math|''V''{{i sup|'''C'''}}}} के लिए एक सम्मिश्र सदिश स्थान के रूप में समरूपता है।
:<math>V = \{ w \in W : \chi(w) = w \}.</math>
:<math>V = \{ w \in W : \chi(w) = w \}.</math>
दूसरे शब्दों में, जटिल संयुग्मन के साथ सभी जटिल सदिश स्पेस वास्तविक सदिश स्पेस की जटिलता हैं।
दूसरे शब्दों में, सम्मिश्र संयुग्मन के साथ सभी सम्मिश्र सदिश समष्टि वास्तविक सदिश समष्टि की सम्मिश्रता हैं।


उदाहरण के लिए, कब {{math|1=''W'' = '''C'''<sup>''n''</sup>}} मानक जटिल संयुग्मन के साथ
उदाहरण के लिए, कब {{math|1=''W'' = '''C'''<sup>''n''</sup>}} मानक सम्मिश्र संयुग्मन के साथ
:<math>\chi(z_1,\ldots,z_n) = (\bar z_1,\ldots,\bar z_n)</math>
:<math>\chi(z_1,\ldots,z_n) = (\bar z_1,\ldots,\bar z_n)</math>
अपरिवर्तनीय उप-स्पेस {{math|''V''}} केवल वास्तविक उपस्पेस {{math|'''R'''<sup>''n''</sup>}} हैं।
अपरिवर्तनीय उप-समष्टि {{math|''V''}} केवल वास्तविक उपसमष्टि {{math|'''R'''<sup>''n''</sup>}} हैं।


== [[रैखिक परिवर्तन]] ==
== [[रैखिक परिवर्तन]] ==
वास्तविक रैखिक परिवर्तन को देखते हुए {{math|''f'' : ''V'' → ''W''}} दो वास्तविक सदिश रिक्त स्पेस के बीच प्राकृतिक जटिल रैखिक परिवर्तन होता है
वास्तविक रैखिक परिवर्तन को देखते हुए {{math|''f'' : ''V'' → ''W''}} दो वास्तविक सदिश रिक्त समष्टि के बीच प्राकृतिक सम्मिश्र रैखिक परिवर्तन होता है
:<math>f^{\Complex} : V^{\Complex} \to W^{\Complex}</math>
:<math>f^{\Complex} : V^{\Complex} \to W^{\Complex}</math>
द्वारा दिए गए
द्वारा दिए गए
:<math>f^{\Complex}(v\otimes z) = f(v)\otimes z.</math>
:<math>f^{\Complex}(v\otimes z) = f(v)\otimes z.</math>
वो माप <math>f^{\Complex}</math> 'एफ' की जटिलता कहलाती है। रैखिक परिवर्तनों की जटिलता निम्नलिखित गुणों को संतुष्ट करती है
वो माप <math>f^{\Complex}</math> 'एफ' की सम्मिश्रता कहलाती है। रैखिक परिवर्तनों की सम्मिश्रता निम्नलिखित गुणों को संतुष्ट करती है
*<math>(\mathrm{id}_V)^{\Complex} = \mathrm{id}_{V^{\Complex}}</math>
*<math>(\mathrm{id}_V)^{\Complex} = \mathrm{id}_{V^{\Complex}}</math>
*<math>(f \circ g)^{\Complex} = f^{\Complex} \circ g^{\Complex}</math>
*<math>(f \circ g)^{\Complex} = f^{\Complex} \circ g^{\Complex}</math>
*<math>(f+g)^{\Complex} = f^{\Complex} + g^{\Complex}</math>
*<math>(f+g)^{\Complex} = f^{\Complex} + g^{\Complex}</math>
*<math>(a f)^{\Complex} = a f^{\Complex} \quad \forall a \in \R</math>
*<math>(a f)^{\Complex} = a f^{\Complex} \quad \forall a \in \R</math>
[[श्रेणी सिद्धांत]] की भाषा में कोई कहता है कि जटिल [[वेक्टर रिक्त स्थान की श्रेणी|सदिश रिक्त स्पेस की श्रेणी]] से जटिल सदिश रिक्त स्पेस की श्रेणी में ([[योगात्मक कारक]]) फ़ंक्टर को परिभाषित करता है।
[[श्रेणी सिद्धांत]] की भाषा में कोई कहता है कि सम्मिश्र [[वेक्टर रिक्त स्थान की श्रेणी|सदिश रिक्त समष्टि की श्रेणी]] से सम्मिश्र सदिश रिक्त समष्टि की श्रेणी में ([[योगात्मक कारक]]) फ़ंक्टर को परिभाषित करता है।


वो माप {{math|''f''{{i sup|'''C'''}}}} संयुग्मन के साथ संचार करता है और इसलिए V{{i sup|'''C'''}} के वास्तविक उप-स्थान को {{math|''W''{{i sup|'''C'''}}}} के वास्तविक उप-क्षेत्र (क्षेत्र {{math|''f''}} के माध्यम से) में मैप करता है। इसके अतिरिक्त, जटिल रैखिक माप {{math|''g'' : ''V''{{i sup|'''C'''}} → ''W''{{i sup|'''C'''}}}} वास्तविक रेखीय क्षेत्र की जटिलता है यदि और केवल यदि यह संयुग्मन के साथ प्रारंभ होता है।
वो माप {{math|''f''{{i sup|'''C'''}}}} संयुग्मन के साथ संचार करता है और इसलिए V{{i sup|'''C'''}} के वास्तविक उप-स्थान को {{math|''W''{{i sup|'''C'''}}}} के वास्तविक उप-क्षेत्र (क्षेत्र {{math|''f''}} के माध्यम से) में मैप करता है। इसके अतिरिक्त, सम्मिश्र रैखिक माप {{math|''g'' : ''V''{{i sup|'''C'''}} → ''W''{{i sup|'''C'''}}}} वास्तविक रेखीय क्षेत्र की सम्मिश्रता है यदि और केवल यदि यह संयुग्मन के साथ प्रारंभ होता है।


उदाहरण के रूप से {{math|'''R'''<sup>''n''</sup>}} को {{math|'''R'''<sup>''m''</sup>}} तक एक रैखिक परिवर्तन पर विचार करें जिसे {{math|''m''×''n''}} आव्यूह (गणित) के रूप में माना जाता है। उस परिवर्तन की जटिलता बिल्कुल ही आव्यूह है, किन्तु अब इसे {{math|'''C'''<sup>''n''</sup>}} से {{math|'''C'''<sup>''m''</sup>}} तक रेखीय क्षेत्र के रूप में माना जाता है.
उदाहरण के रूप से {{math|'''R'''<sup>''n''</sup>}} को {{math|'''R'''<sup>''m''</sup>}} तक एक रैखिक परिवर्तन पर विचार करें जिसे {{math|''m''×''n''}} आव्यूह (गणित) के रूप में माना जाता है। उस परिवर्तन की सम्मिश्रता बिल्कुल ही आव्यूह है, किन्तु अब इसे {{math|'''C'''<sup>''n''</sup>}} से {{math|'''C'''<sup>''m''</sup>}} तक रेखीय क्षेत्र के रूप में माना जाता है.


== दोहरे स्पेस और टेंसर उत्पाद ==
== दोहरे समष्टि और टेंसर उत्पाद ==


एक वास्तविक सदिश समष्टि {{math|''V''}} का दोहरा {{math|''V''}} को {{math|'''R'''}} तक के सभी वास्तविक रेखीय नक्शों का स्थान {{math|''V''*}} है। {{math|''V''*}} की जटिलता को स्वाभाविक रूप से {{math|''V''}} को {{math|'''C'''}} ({{math|Hom<sub>'''R'''</sub>(''V'','''C''')}} निरुपित से सभी वास्तविक रैखिक मानचित्रों के स्थान के रूप में सोचा जा सकता है। वह है,
एक वास्तविक सदिश समष्टि {{math|''V''}} का दोहरा {{math|''V''}} को {{math|'''R'''}} तक के सभी वास्तविक रेखीय नक्शों का स्थान {{math|''V''*}} है। {{math|''V''*}} की सम्मिश्रता को स्वाभाविक रूप से {{math|''V''}} को {{math|'''C'''}} ({{math|Hom<sub>'''R'''</sub>(''V'','''C''')}} निरुपित से सभी वास्तविक रैखिक मानचित्रों के स्थान के रूप में सोचा जा सकता है। वह है,
<math display=block>(V^*)^{\Complex} = V^*\otimes \Complex \cong \mathrm{Hom}_{\Reals}(V,\Complex).</math>
<math display=block>(V^*)^{\Complex} = V^*\otimes \Complex \cong \mathrm{Hom}_{\Reals}(V,\Complex).</math>
समरूपता किसके द्वारा दी जाती है
समरूपता किसके द्वारा दी जाती है
<math display=block>(\varphi_1\otimes 1 + \varphi_2\otimes i) \leftrightarrow \varphi_1 + i \varphi_2</math>
<math display=block>(\varphi_1\otimes 1 + \varphi_2\otimes i) \leftrightarrow \varphi_1 + i \varphi_2</math>
जहाँ {{math|''φ''<sub>1</sub>}} और {{math|''φ''<sub>2</sub>}} {{math|''V''*}} के तत्व है। जटिल संयुग्मन तब सामान्य ऑपरेशन द्वारा दिया जाता है
जहाँ {{math|''φ''<sub>1</sub>}} और {{math|''φ''<sub>2</sub>}} {{math|''V''*}} के तत्व है। सम्मिश्र संयुग्मन तब सामान्य ऑपरेशन द्वारा दिया जाता है
<math display=block>\overline{\varphi_1 + i\varphi_2} = \varphi_1 - i \varphi_2.</math>
<math display=block>\overline{\varphi_1 + i\varphi_2} = \varphi_1 - i \varphi_2.</math>
वास्तविक रेखीय माप {{math|''φ'' : ''V'' → '''C'''}} दिया हम जटिल रेखीय क्षेत्र प्राप्त करने के लिए रैखिकता {{math|''φ'' : ''V''{{i sup|'''C'''}} → '''C'''}} द्वारा विस्तार कर सकते है। वह है,
वास्तविक रेखीय माप {{math|''φ'' : ''V'' → '''C'''}} दिया हम सम्मिश्र रेखीय क्षेत्र प्राप्त करने के लिए रैखिकता {{math|''φ'' : ''V''{{i sup|'''C'''}} → '''C'''}} द्वारा विस्तार कर सकते है। वह है,
<math display=block>\varphi(v\otimes z) = z\varphi(v).</math>
<math display=block>\varphi(v\otimes z) = z\varphi(v).</math>
यह विस्तार {{math|Hom<sub>'''R'''</sub>(''V'','''C''')}} से {{math|Hom<sub>'''C'''</sub>(''V''{{i sup|'''C'''}},'''C''')}} तक एक समरूपता देता है। उत्तरार्द्ध {{math|''V''{{i sup|'''C'''}}}} के लिए जटिल दोहरी स्थान है, इसलिए हमारे पास [[प्राकृतिक समरूपता]] है:
यह विस्तार {{math|Hom<sub>'''R'''</sub>(''V'','''C''')}} से {{math|Hom<sub>'''C'''</sub>(''V''{{i sup|'''C'''}},'''C''')}} तक एक समरूपता देता है। उत्तरार्द्ध {{math|''V''{{i sup|'''C'''}}}} के लिए सम्मिश्र दोहरी स्थान है, इसलिए हमारे पास [[प्राकृतिक समरूपता]] है:
<math display=block>(V^*)^{\Complex} \cong (V^{\Complex})^*.</math>
<math display=block>(V^*)^{\Complex} \cong (V^{\Complex})^*.</math>
अधिक सामान्यतः, वास्तविक सदिश रिक्त स्पेस {{math|''V''}} और {{math|''W''}} दिए जाने पर एक प्राकृतिक समरूपता होती है
अधिक सामान्यतः, वास्तविक सदिश रिक्त समष्टि {{math|''V''}} और {{math|''W''}} दिए जाने पर एक प्राकृतिक समरूपता होती है
<math display=block>\mathrm{Hom}_{\Reals}(V,W)^{\Complex} \cong \mathrm{Hom}_{\Complex}(V^{\Complex},W^{\Complex}).</math>
<math display=block>\mathrm{Hom}_{\Reals}(V,W)^{\Complex} \cong \mathrm{Hom}_{\Complex}(V^{\Complex},W^{\Complex}).</math>
टेंसर उत्पादों, [[बाहरी शक्ति|बाहरी शक्तियों]] और [[सममित शक्ति|सममित शक्तियों]] को लेने के संचालन के साथ जटिलता भी प्रारंभ होती है। उदाहरण के लिए, यदि {{math|''V''}} और {{math|''W''}} वास्तविक सदिश समष्टियाँ हैं तो एक प्राकृतिक तुल्याकारिता होती है
टेंसर उत्पादों, [[बाहरी शक्ति|बाहरी शक्तियों]] और [[सममित शक्ति|सममित शक्तियों]] को लेने के संचालन के साथ सम्मिश्रता भी प्रारंभ होती है। उदाहरण के लिए, यदि {{math|''V''}} और {{math|''W''}} वास्तविक सदिश समष्टियाँ हैं तो एक प्राकृतिक तुल्याकारिता होती है
<math display=block>(V \otimes_{\Reals} W)^{\Complex} \cong V^{\Complex} \otimes_{\Complex} W^{\Complex}\,.</math>
<math display=block>(V \otimes_{\Reals} W)^{\Complex} \cong V^{\Complex} \otimes_{\Complex} W^{\Complex}\,.</math>
ध्यान दें कि बाएं हाथ के टेंसर उत्पाद को वास्तविक पर ले लिया जाता है जबकि दाएं हाथ वाले को परिसरों पर ले लिया जाता है। सामान्यतः यही प्रारूप सही है। उदाहरण के लिए, किसी के पास है
ध्यान दें कि बाएं हाथ के टेंसर उत्पाद को वास्तविक पर ले लिया जाता है जबकि दाएं हाथ वाले को परिसरों पर ले लिया जाता है। सामान्यतः यही प्रारूप सही है। उदाहरण के लिए, किसी के पास है
Line 113: Line 113:
== यह भी देखें ==
== यह भी देखें ==
*अदिशों का विस्तार - सामान्य प्रक्रिया
*अदिशों का विस्तार - सामान्य प्रक्रिया
* रैखिक जटिल संरचना
* रैखिक सम्मिश्र संरचना
*बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
*बेकर-कैंपबेल-हॉसडॉर्फ सूत्र



Latest revision as of 12:42, 18 September 2023

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

औपचारिक परिभाषा

मान लीजिए कि एक वास्तविक सदिश समष्टि है। V की सम्मिश्रता को सम्मिश्र संख्याओं (वास्तविकताओं पर 2-आयामी सदिश समष्टि के रूप में माना जाता है) के साथ के टेंसर उत्पाद को ले कर परिभाषित किया गया है:

टेंसर उत्पाद पर सबस्क्रिप्ट, निरुपित करता है कि टेंसर उत्पाद को वास्तविक संख्याओं (चूंकि वास्तविक सदिश समष्टि है वैसे भी यह एकमात्र समझदार विकल्प है, इसलिए सबस्क्रिप्ट को सुरक्षित रूप से छोड़ा जा सकता है) पर ले लिया गया है। जैसा यह प्रतीक होता है, केवल वास्तविक सदिश समष्टि है। चूँकि, हम सम्मिश्र गुणन को निम्नानुसार परिभाषित करके को एक सम्मिश्र सदिश समष्टि बना सकते हैं:

सामान्यतः, सम्मिश्रता अदिशों के विस्तार का उदाहरण है - जो अदिशों को वास्तविक संख्याओं से सम्मिश्र संख्याओं तक विस्तारित करता है - जो कि किसी भी क्षेत्र विस्तार के लिए किया जा सकता है, या वास्तव में वलयों के किसी भी आकारिकी के लिए किया जा सकता है।

औपचारिक रूप से, सम्मिश्रता वास्तविक सदिश रिक्त समष्टि की श्रेणी से सम्मिश्र सदिश रिक्त समष्टि की श्रेणी में एक कार्यात्मक VectR → VectC है। यह आसन्न फ़ैक्टर है - विशेष रूप से बाएं आसन्न - फॉरगेटफुल फ़ैक्टर VectC → VectR के लिए जो सम्मिश्र संरचना को भूल जाता है।

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


मूल गुण

टेंसर उत्पाद की प्रकृति से, VC में प्रत्येक सदिश v को विशिष्ट रूप से

के रूप में लिखा जा सकता है जहां v1 और v2 V में सदिश हैं। टेंसर उत्पाद प्रतीक को छोड़ना और लिखना सामान्य बात है

सम्मिश्र संख्या से गुणा a + i b तब सामान्य नियम द्वारा दिया जाता है

इसके बाद हम VC को V:

की दो प्रतियों के प्रत्यक्ष योग के रूप में सम्मिश्र संख्याओं से गुणा करने के उपरोक्त नियम के साथ मान सकते हैं।

द्वारा दिए गए VC में V का एक प्राकृतिक एम्बेडिंग है।

सदिश समष्टि V को तब VC की वास्तविक रैखिक उपसमष्टि के रूप में माना जा सकता है। यदि V का आधार { ei } (क्षेत्र R पर) है तो VC के लिए संबंधित आधार क्षेत्र C पर { ei ⊗ 1 } द्वारा दिया जाता है। इसलिए VC का सम्मिश्र आयाम (रैखिक बीजगणित) V के वास्तविक आयाम के बराबर है:

वैकल्पिक रूप से, टेंसर उत्पादों का उपयोग करने के अतिरिक्त, इस प्रत्यक्ष योग का उपयोग सम्मिश्रता की परिभाषा के रूप में किया जा सकता है:

जहाँ को के रूप में परिभाषित ऑपरेटर J द्वारा एक रैखिक सम्मिश्र संरचना दी गई है, जहाँ J "गुणन i द्वारा" के संचालन को कूटबद्ध करता है। आव्यूह रूप में, J द्वारा दिया गया है:

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

उदाहरण

  • वास्तविक समन्वय समष्टि Rn की सम्मिश्रता सम्मिश्र समन्वय समष्टि Cn है।
  • इसी प्रकार, यदि V में वास्तविक प्रविष्टियों के साथ m×n आव्यूह (गणित) होते हैं, तो VC में सम्मिश्र प्रविष्टियों के साथ m×n आव्यूह सम्मिलित होंगे।

डिकसन दोहरीकरण

लियोनार्ड डिक्सन सहित बीसवीं शताब्दी के गणितज्ञों द्वारा R को C तक जाने की सम्मिश्रता की प्रक्रिया को सारगर्भित किया गया था। एक पहचान क्षेत्रण x* = x को R पर एक तुच्छ इनवोल्यूशन के रूप में उपयोग करने के साथ प्रारंभ होता है। R की अगली दो प्रतियों का उपयोग z = (a , b) बनाने के लिए किया जाता है, जिसमें इनवोल्यूशन z* = (a, −b) के रूप में प्रस्तुत सम्मिश्र संयुग्मन होता है। दो तत्व w और z दोगुने सेट में से गुणा करें

अंत में, दोगुने सेट को मानदंड N(z) = z* z दिया जाता है। पहचान इन्वॉल्वमेंट के साथ R से प्रारंभ करते समय, दोगुना सेट मानदंड a2 + b2 के साथ C होता है।

यदि कोई C को दोगुना करता है, और संयुग्मन (a,b)* = (a*, -b) का उपयोग करता है, तो निर्माण चतुर्भुज उत्पन्न करता है। दोहरीकरण फिर से ऑक्टोनियन उत्पन्न करता है, जिसे केली संख्या भी कहा जाता है। यह इस बिंदु पर था कि 1919 में डिक्सन ने बीजगणितीय संरचना को प्रकाशित करने में योगदान दिया था।

इस प्रक्रिया को C और छोटे इनवोल्यूशन z* = z से भी प्रारंभ किया जा सकता है। R को दोगुना करके C की पीढ़ी के विपरीत, उत्पादित मानदंड केवल z2 है। जब इस C को दोगुना किया जाता है, तो यह द्विसम्मिश्र संख्या उत्पन्न करता है, और दोहरीकरण जो द्विभाजितता उत्पन्न करता है, और फिर से दोगुना करने से बायोक्टनियन उत्पन्न होते हैं। जब आधार बीजगणित सहयोगी होता है, तो इस केली-डिक्सन निर्माण द्वारा निर्मित बीजगणित को एक संरचना बीजगणित कहा जाता है क्योंकि यह दिखाया जा सकता है कि इसकी गुण है।


सम्मिश्र संयुग्मन

सम्मिश्र सदिश समष्टि VC में सामान्य सम्मिश्र सदिश समष्टि की तुलना में अधिक संरचना होती है। यह

द्वारा परिभाषित एक विहित सम्मिश्र संयुग्मन माप

के साथ आता है।

माप χ या तो VC से स्वयं के संयुग्म-रैखिक क्षेत्र के रूप में माना जा सकता है या VC से सम्मिश्र संयुग्मित के सम्मिश्र रैखिक समरूपता के रूप में माना जा सकता है।

इसके विपरीत, सम्मिश्र संयुग्मन χ के साथ एक सम्मिश्र सदिश स्थान W दिया गया है, W वास्तविक उपस्थान के सम्मिश्र VC के लिए एक सम्मिश्र सदिश स्थान के रूप में समरूपता है।

दूसरे शब्दों में, सम्मिश्र संयुग्मन के साथ सभी सम्मिश्र सदिश समष्टि वास्तविक सदिश समष्टि की सम्मिश्रता हैं।

उदाहरण के लिए, कब W = Cn मानक सम्मिश्र संयुग्मन के साथ

अपरिवर्तनीय उप-समष्टि V केवल वास्तविक उपसमष्टि Rn हैं।

रैखिक परिवर्तन

वास्तविक रैखिक परिवर्तन को देखते हुए f : VW दो वास्तविक सदिश रिक्त समष्टि के बीच प्राकृतिक सम्मिश्र रैखिक परिवर्तन होता है

द्वारा दिए गए

वो माप 'एफ' की सम्मिश्रता कहलाती है। रैखिक परिवर्तनों की सम्मिश्रता निम्नलिखित गुणों को संतुष्ट करती है

श्रेणी सिद्धांत की भाषा में कोई कहता है कि सम्मिश्र सदिश रिक्त समष्टि की श्रेणी से सम्मिश्र सदिश रिक्त समष्टि की श्रेणी में (योगात्मक कारक) फ़ंक्टर को परिभाषित करता है।

वो माप fC संयुग्मन के साथ संचार करता है और इसलिए VC के वास्तविक उप-स्थान को WC के वास्तविक उप-क्षेत्र (क्षेत्र f के माध्यम से) में मैप करता है। इसके अतिरिक्त, सम्मिश्र रैखिक माप g : VCWC वास्तविक रेखीय क्षेत्र की सम्मिश्रता है यदि और केवल यदि यह संयुग्मन के साथ प्रारंभ होता है।

उदाहरण के रूप से Rn को Rm तक एक रैखिक परिवर्तन पर विचार करें जिसे m×n आव्यूह (गणित) के रूप में माना जाता है। उस परिवर्तन की सम्मिश्रता बिल्कुल ही आव्यूह है, किन्तु अब इसे Cn से Cm तक रेखीय क्षेत्र के रूप में माना जाता है.

दोहरे समष्टि और टेंसर उत्पाद

एक वास्तविक सदिश समष्टि V का दोहरा V को R तक के सभी वास्तविक रेखीय नक्शों का स्थान V* है। V* की सम्मिश्रता को स्वाभाविक रूप से V को C (HomR(V,C) निरुपित से सभी वास्तविक रैखिक मानचित्रों के स्थान के रूप में सोचा जा सकता है। वह है,

समरूपता किसके द्वारा दी जाती है
जहाँ φ1 और φ2 V* के तत्व है। सम्मिश्र संयुग्मन तब सामान्य ऑपरेशन द्वारा दिया जाता है
वास्तविक रेखीय माप φ : VC दिया हम सम्मिश्र रेखीय क्षेत्र प्राप्त करने के लिए रैखिकता φ : VCC द्वारा विस्तार कर सकते है। वह है,
यह विस्तार HomR(V,C) से HomC(VC,C) तक एक समरूपता देता है। उत्तरार्द्ध VC के लिए सम्मिश्र दोहरी स्थान है, इसलिए हमारे पास प्राकृतिक समरूपता है:
अधिक सामान्यतः, वास्तविक सदिश रिक्त समष्टि V और W दिए जाने पर एक प्राकृतिक समरूपता होती है
टेंसर उत्पादों, बाहरी शक्तियों और सममित शक्तियों को लेने के संचालन के साथ सम्मिश्रता भी प्रारंभ होती है। उदाहरण के लिए, यदि V और W वास्तविक सदिश समष्टियाँ हैं तो एक प्राकृतिक तुल्याकारिता होती है
ध्यान दें कि बाएं हाथ के टेंसर उत्पाद को वास्तविक पर ले लिया जाता है जबकि दाएं हाथ वाले को परिसरों पर ले लिया जाता है। सामान्यतः यही प्रारूप सही है। उदाहरण के लिए, किसी के पास है
सभी स्थितियों में, समरूपताएं "स्पष्ट" होती हैं।

यह भी देखें

  • अदिशों का विस्तार - सामान्य प्रक्रिया
  • रैखिक सम्मिश्र संरचना
  • बेकर-कैंपबेल-हॉसडॉर्फ सूत्र

संदर्भ

  1. Kostrikin, Alexei I.; Manin, Yu I. (July 14, 1989). रेखीय बीजगणित और ज्यामिति. CRC Press. p. 75. ISBN 978-2881246838.