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

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Topic in mathematics}}
{{Short description|Topic in mathematics}}
{{for|एक वास्तविक लाइ समूह की जटिलता|जटिलता (लाइ समूह)}}
{{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> एक वास्तविक सदिश स्थान बनें।{{em|{{visible anchor|complexification}}}} का {{math|''V''}} का [[टेंसर उत्पाद]] लेकर परिभाषित किया गया है <math>V</math> जटिल संख्याओं के साथ (वास्तविकता से अधिक 2-आयामी वेक्टर स्थान के रूप में माना जाता है):
होने देना <math>V</math> वास्तविक सदिश स्थान बनें।{{em|{{visible anchor|complexification}}}} का {{math|''V''}} का [[टेंसर उत्पाद]] लेकर परिभाषित किया गया है <math>V</math> जटिल संख्याओं के साथ (वास्तविकता से अधिक 2-आयामी वेक्टर स्थान के रूप में माना जाता है):


:<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|decomplexification}}}} (या कभी-कभी{{em|{{visible anchor|realification}}}} ). एक जटिल सदिश स्थान का अपघटन <math>V</math> आधार के साथ <math>e_{\mu}</math> स्केलर्स के जटिल गुणन की संभावना को हटा देता है, इस प्रकार एक वास्तविक सदिश स्थान प्रदान करता है <math>W_{\R}</math> आधार के साथ दो गुना आयाम <math>\{e_{\mu}, ie_{\mu}\}.</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|decomplexification}}}} (या कभी-कभी{{em|{{visible anchor|realification}}}} ). जटिल सदिश स्थान का अपघटन <math>V</math> आधार के साथ <math>e_{\mu}</math> स्केलर्स के जटिल गुणन की संभावना को हटा देता है, इस प्रकार वास्तविक सदिश स्थान प्रदान करता है <math>W_{\R}</math> आधार के साथ दो गुना आयाम <math>\{e_{\mu}, ie_{\mu}\}.</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 20: Line 20:
टेंसर उत्पाद की प्रकृति से, प्रत्येक वेक्टर {{math|''v''}} में {{math|''V''{{i sup|'''C'''}}}} के रूप में विशिष्ट रूप से लिखा जा सकता है
टेंसर उत्पाद की प्रकृति से, प्रत्येक वेक्टर {{math|''v''}} में {{math|''V''{{i sup|'''C'''}}}} के रूप में विशिष्ट रूप से लिखा जा सकता है
:<math>v = v_1\otimes 1 + v_2\otimes i</math>
:<math>v = v_1\otimes 1 + v_2\otimes i</math>
कहाँ {{math|''v''<sub>1</sub>}} और {{math|''v''<sub>2</sub>}} में सदिश हैं {{math|''V''}}. टेंसर उत्पाद प्रतीक को छोड़ना और लिखना एक आम बात है
कहाँ {{math|''v''<sub>1</sub>}} और {{math|''v''<sub>2</sub>}} में सदिश हैं {{math|''V''}}. टेंसर उत्पाद प्रतीक को छोड़ना और लिखना आम बात है
:<math>v = v_1 + iv_2.\,</math>
:<math>v = v_1 + iv_2.\,</math>
जटिल संख्या से गुणा {{math|''a'' + ''i b''}} तब सामान्य नियम द्वारा दिया जाता है
जटिल संख्या से गुणा {{math|''a'' + ''i b''}} तब सामान्य नियम द्वारा दिया जाता है
Line 30: Line 30:
का स्वाभाविक बन्धन है {{math|''V''}} में {{math|''V''{{i sup|'''C'''}}}} द्वारा दिए गए
का स्वाभाविक बन्धन है {{math|''V''}} में {{math|''V''{{i sup|'''C'''}}}} द्वारा दिए गए
:<math>v\mapsto v\otimes 1.</math>
:<math>v\mapsto v\otimes 1.</math>
वेक्टर स्थान {{math|''V''}} को तब की एक वास्तविक रैखिक उपसमष्टि के रूप में माना जा सकता है {{math|''V''{{i sup|'''C'''}}}}. अगर {{math|''V''}} का एक आधार है (रैखिक बीजगणित) {{math|{{mset| ''e''<sub>''i''</sub> }}}} (मैदान के ऊपर {{math|'''R'''}}) तो के लिए एक इसी आधार {{math|''V''{{i sup|'''C'''}}}} द्वारा दिया गया है {{math|{ ''e''<sub>''i''</sub> ⊗ 1 } }} मैदान के ऊपर {{math|'''C'''}}. का जटिल [[आयाम (रैखिक बीजगणित)]]। {{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|{ ''e''<sub>''i''</sub> ⊗ 1 } }} मैदान के ऊपर {{math|'''C'''}}. का जटिल [[आयाम (रैखिक बीजगणित)]]। {{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''}} के रूप में परिभाषित <math>J(v,w) := (-w,v),</math> कहाँ {{math|''J''}} "द्वारा गुणन" के संचालन को कूटबद्ध करता है {{mvar|i}}”। मैट्रिक्स रूप में, {{math|''J''}} द्वारा दिया गया है:
कहाँ <math>V^{\Complex}</math> ऑपरेटर द्वारा [[रैखिक जटिल संरचना]] दी जाती है {{math|''J''}} के रूप में परिभाषित <math>J(v,w) := (-w,v),</math> कहाँ {{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''}} पहले सीधे योग के साथ। यह दृष्टिकोण अधिक ठोस है, और इसमें तकनीकी रूप से शामिल टेंसर उत्पाद के उपयोग से बचने का लाभ है, लेकिन यह तदर्थ है।


== उदाहरण ==
== उदाहरण ==
Line 45: Line 45:
== डिकसन दोहरीकरण ==
== डिकसन दोहरीकरण ==
{{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|'''C'''}} मानदंड के साथ {{math|''a''<sup>2</sup> + ''b''<sup>2</sup>}}.
अंत में, दोगुने सेट को मानदंड दिया जाता है {{math|1=''N''(''z'') = ''z* z''}}. से शुरू करते समय {{math|'''R'''}} पहचान शामिल होने के साथ, दोगुना सेट है {{math|'''C'''}} मानदंड के साथ {{math|''a''<sup>2</sup> + ''b''<sup>2</sup>}}.
अगर कोई दोगुना हो जाता है {{math|'''C'''}}, और संयुग्मन (ए, बी) * = (ए *, -बी) का उपयोग करता है, निर्माण उपज चतुष्कोणीय है। दोहरीकरण फिर से [[ऑक्टोनियन]] पैदा करता है, जिसे केली नंबर भी कहा जाता है। यह इस बिंदु पर था कि 1919 में डिक्सन ने बीजगणितीय संरचना को उजागर करने में योगदान दिया।
अगर कोई दोगुना हो जाता है {{math|'''C'''}}, और संयुग्मन (ए, बी) * = (ए *, -बी) का उपयोग करता है, निर्माण उपज चतुष्कोणीय है। दोहरीकरण फिर से [[ऑक्टोनियन]] पैदा करता है, जिसे केली नंबर भी कहा जाता है। यह इस बिंदु पर था कि 1919 में डिक्सन ने बीजगणितीय संरचना को उजागर करने में योगदान दिया।


Line 55: Line 55:


== जटिल संयुग्मन ==
== जटिल संयुग्मन ==
जटिल वेक्टर स्थान {{math|''V''{{i sup|'''C'''}}}} में सामान्य जटिल सदिश स्थान की तुलना में अधिक संरचना होती है। यह एक विहित रूप जटिल संयुग्मन मानचित्र के साथ आता है:
जटिल वेक्टर स्थान {{math|''V''{{i sup|'''C'''}}}} में सामान्य जटिल सदिश स्थान की तुलना में अधिक संरचना होती है। यह विहित रूप जटिल संयुग्मन मानचित्र के साथ आता है:
:<math>\chi : V^{\Complex} \to \overline{V^{\Complex}}</math>
:<math>\chi : V^{\Complex} \to \overline{V^{\Complex}}</math>
द्वारा परिभाषित
द्वारा परिभाषित
:<math>\chi(v\otimes z) = v\otimes \bar z.</math> वो नक्शा {{mvar|χ}} को या तो संयुग्म-रैखिक मानचित्र के रूप में माना जा सकता है {{math|''V''{{i sup|'''C'''}}}} खुद से या एक जटिल रेखीय समरूपता के रूप में {{math|''V''{{i sup|'''C'''}}}} इसके जटिल संयुग्मित सदिश स्थान के लिए <math>\overline {V^{\Complex}}</math>.
:<math>\chi(v\otimes z) = v\otimes \bar z.</math> वो नक्शा {{mvar|χ}} को या तो संयुग्म-रैखिक मानचित्र के रूप में माना जा सकता है {{math|''V''{{i sup|'''C'''}}}} खुद से या जटिल रेखीय समरूपता के रूप में {{math|''V''{{i sup|'''C'''}}}} इसके जटिल संयुग्मित सदिश स्थान के लिए <math>\overline {V^{\Complex}}</math>.


इसके विपरीत, एक जटिल सदिश स्थान दिया गया है {{math|''W''}} एक जटिल संयुग्मन के साथ {{mvar|χ}}, {{math|''W''}} जटिलता के लिए एक जटिल सदिश स्थान के रूप में आइसोमॉर्फिक है {{math|''V''{{i sup|'''C'''}}}} वास्तविक उप-स्थान का
इसके विपरीत, जटिल सदिश स्थान दिया गया है {{math|''W''}} जटिल संयुग्मन के साथ {{mvar|χ}}, {{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>}} मानक जटिल संयुग्मन के साथ
Line 69: Line 69:


== [[रैखिक परिवर्तन]] ==
== [[रैखिक परिवर्तन]] ==
एक वास्तविक रैखिक परिवर्तन को देखते हुए {{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>
द्वारा दिए गए
द्वारा दिए गए
Line 78: Line 78:
*<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|''V''}} को {{math|'''R'''}}. की जटिलता {{math|''V''*}} स्वाभाविक रूप से सभी वास्तविक रैखिक मानचित्रों के स्थान के रूप में सोचा जा सकता है {{math|''V''}} को {{math|'''C'''}} (निरूपित {{math|Hom<sub>'''R'''</sub>(''V'','''C''')}}). वह है,
वास्तविक सदिश स्थान का दोहरा स्थान {{math|''V''}} स्थान है {{math|''V''*}} सभी वास्तविक रेखीय मानचित्रों से {{math|''V''}} को {{math|'''R'''}}. की जटिलता {{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>
समरूपता किसके द्वारा दी जाती है
समरूपता किसके द्वारा दी जाती है
Line 92: Line 92:
कहाँ {{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>
ध्यान दें कि बाएं हाथ के टेंसर उत्पाद को वास्तविक पर ले लिया जाता है जबकि दाएं हाथ वाले को परिसरों पर ले लिया जाता है। सामान्य तौर पर यही पैटर्न सही है। उदाहरण के लिए, किसी के पास है
ध्यान दें कि बाएं हाथ के टेंसर उत्पाद को वास्तविक पर ले लिया जाता है जबकि दाएं हाथ वाले को परिसरों पर ले लिया जाता है। सामान्य तौर पर यही पैटर्न सही है। उदाहरण के लिए, किसी के पास है

Revision as of 06:44, 24 April 2023

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

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

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

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

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

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

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


मूल गुण

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

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

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

हम तब सम्मान कर सकते हैं VC की दो प्रतियों के सदिश स्थानों के प्रत्यक्ष योग के रूप में V:

सम्मिश्र संख्याओं से गुणन के लिए उपरोक्त नियम के साथ।

का स्वाभाविक बन्धन है V में VC द्वारा दिए गए

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

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

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

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

उदाहरण

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

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

अंत में, दोगुने सेट को मानदंड दिया जाता है N(z) = z* z. से शुरू करते समय R पहचान शामिल होने के साथ, दोगुना सेट है C मानदंड के साथ a2 + b2. अगर कोई दोगुना हो जाता है C, और संयुग्मन (ए, बी) * = (ए *, -बी) का उपयोग करता है, निर्माण उपज चतुष्कोणीय है। दोहरीकरण फिर से ऑक्टोनियन पैदा करता है, जिसे केली नंबर भी कहा जाता है। यह इस बिंदु पर था कि 1919 में डिक्सन ने बीजगणितीय संरचना को उजागर करने में योगदान दिया।

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


जटिल संयुग्मन

जटिल वेक्टर स्थान VC में सामान्य जटिल सदिश स्थान की तुलना में अधिक संरचना होती है। यह विहित रूप जटिल संयुग्मन मानचित्र के साथ आता है:

द्वारा परिभाषित

वो नक्शा χ को या तो संयुग्म-रैखिक मानचित्र के रूप में माना जा सकता है VC खुद से या जटिल रेखीय समरूपता के रूप में VC इसके जटिल संयुग्मित सदिश स्थान के लिए .

इसके विपरीत, जटिल सदिश स्थान दिया गया है W जटिल संयुग्मन के साथ χ, W जटिलता के लिए जटिल सदिश स्थान के रूप में आइसोमॉर्फिक है VC वास्तविक उप-स्थान का

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

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

अपरिवर्तनीय उप-स्थान V केवल वास्तविक उपस्थान है Rn.

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

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

द्वारा दिए गए

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

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

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

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

दोहरे स्थान और टेंसर उत्पाद

वास्तविक सदिश स्थान का दोहरा स्थान V स्थान है V* सभी वास्तविक रेखीय मानचित्रों से V को R. की जटिलता 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.