द्वि प्रतिनिरूपण: Difference between revisions

From Vigyanwiki
(Created page with "{{Use American English|date = March 2019}} {{Short description|Group representation}} {{about|a mathematical concept|the psychological concept|Dual representation (psychology)...")
 
No edit summary
Line 1: Line 1:
{{Use American English|date = March 2019}}
 
{{Short description|Group representation}}
{{Short description|Group representation}}
{{about|a mathematical concept|the psychological concept|Dual representation (psychology)}}
{{about|a mathematical concept|the psychological concept|Dual representation (psychology)}}
गणित में, यदि {{math|''G''}} एक समूह है (गणित) और {{math|ρ}} सदिश समष्टि पर इसका एक [[रैखिक प्रतिनिधित्व]] है {{math|''V''}}, फिर दोहरा प्रतिनिधित्व {{math|ρ*}} को दोहरे सदिश समष्टि पर परिभाषित किया गया है {{math|''V''*}} निम्नलिखित नुसार:<ref>Lecture 1 of {{Fulton-Harris}}</ref><ref>{{harvnb|Hall|2015}} Section 4.3.3</ref>
गणित में, यदि {{math|''G''}} समूह है (गणित) और {{math|ρ}} सदिश समष्टि पर इसका [[रैखिक प्रतिनिधित्व]] है {{math|''V''}}, फिर दोहरा प्रतिनिधित्व {{math|ρ*}} को दोहरे सदिश समष्टि पर परिभाषित किया गया है {{math|''V''*}} निम्नलिखित नुसार:<ref>Lecture 1 of {{Fulton-Harris}}</ref><ref>{{harvnb|Hall|2015}} Section 4.3.3</ref>
:{{math|ρ*(''g'')}} एक रेखीय मानचित्र का स्थानान्तरण है {{math|ρ(''g''<sup>−1</sup>)}}, वह है, {{math|ρ*(''g'')}} = {{math|ρ(''g''<sup>−1</sup>)<sup>T</sup>}} सभी के लिए {{math|''g'' ∈ ''G''}}.
:{{math|ρ*(''g'')}} रेखीय मानचित्र का स्थानान्तरण है {{math|ρ(''g''<sup>−1</sup>)}}, वह है, {{math|ρ*(''g'')}} = {{math|ρ(''g''<sup>−1</sup>)<sup>T</sup>}} सभी के लिए {{math|''g'' ∈ ''G''}}.
दोहरे प्रतिनिधित्व को विरोधाभासी प्रतिनिधित्व के रूप में भी जाना जाता है।
दोहरे प्रतिनिधित्व को विरोधाभासी प्रतिनिधित्व के रूप में भी जाना जाता है।
का {{math|'''g'''}} एक [[झूठ बीजगणित]] है और {{math|π}} सदिश समष्टि पर इसका प्रतिनिधित्व है {{math|''V''}}, फिर दोहरा प्रतिनिधित्व {{math|π*}} को दोहरे सदिश समष्टि पर परिभाषित किया गया है {{math|''V''*}} निम्नलिखित नुसार:<ref>Lecture 8 of {{Fulton-Harris}}</ref>
का {{math|'''g'''}} [[झूठ बीजगणित]] है और {{math|π}} सदिश समष्टि पर इसका प्रतिनिधित्व है {{math|''V''}}, फिर दोहरा प्रतिनिधित्व {{math|π*}} को दोहरे सदिश समष्टि पर परिभाषित किया गया है {{math|''V''*}} निम्नलिखित नुसार:<ref>Lecture 8 of {{Fulton-Harris}}</ref>
:{{math|π*(''X'')}} = {{math|−π(''X'')<sup>''T''</sup>}} सभी के लिए {{math|''X'' ∈ '''g'''}}.
:{{math|π*(''X'')}} = {{math|−π(''X'')<sup>''T''</sup>}} सभी के लिए {{math|''X'' ∈ '''g'''}}.


इस परिभाषा के लिए प्रेरणा यह है कि लाई समूह प्रतिनिधित्व के दोहरे से जुड़े लाई बीजगणित प्रतिनिधित्व की गणना उपरोक्त सूत्र द्वारा की जाती है। लेकिन लाई बीजगणित प्रतिनिधित्व के दोहरे की परिभाषा समझ में आती है, भले ही यह लाई समूह प्रतिनिधित्व से नहीं आती है।
इस परिभाषा के लिए प्रेरणा यह है कि लाई समूह प्रतिनिधित्व के दोहरे से जुड़े लाई बीजगणित प्रतिनिधित्व की गणना उपरोक्त सूत्र द्वारा की जाती है। लेकिन लाई बीजगणित प्रतिनिधित्व के दोहरे की परिभाषा समझ में आती है, भले ही यह लाई समूह प्रतिनिधित्व से नहीं आती है।


दोनों मामलों में, दोहरा प्रतिनिधित्व सामान्य अर्थ में एक प्रतिनिधित्व है।
दोनों मामलों में, दोहरा प्रतिनिधित्व सामान्य अर्थ में प्रतिनिधित्व है।


==गुण==
==गुण==


===इरेड्यूसिबिलिटी और दूसरा द्वैत===
===इरेड्यूसिबिलिटी और दूसरा द्वैत===
यदि एक (परिमित-आयामी) प्रतिनिधित्व अपरिवर्तनीय है, तो दोहरा प्रतिनिधित्व भी अपरिवर्तनीय है<ref>{{harvnb|Hall|2015}} Exercise 6 of Chapter 4</ref>-लेकिन जरूरी नहीं कि यह मूल प्रतिनिधित्व के समरूपी हो। दूसरी ओर, किसी भी प्रतिनिधित्व के दोहरे का द्वैत मूल प्रतिनिधित्व के लिए समरूपी है।
यदि (परिमित-आयामी) प्रतिनिधित्व अपरिवर्तनीय है, तो दोहरा प्रतिनिधित्व भी अपरिवर्तनीय है<ref>{{harvnb|Hall|2015}} Exercise 6 of Chapter 4</ref>-लेकिन जरूरी नहीं कि यह मूल प्रतिनिधित्व के समरूपी हो। दूसरी ओर, किसी भी प्रतिनिधित्व के दोहरे का द्वैत मूल प्रतिनिधित्व के लिए समरूपी है।


===एकात्मक निरूपण===
===एकात्मक निरूपण===
एकात्मक प्रतिनिधित्व पर विचार करें <math>\rho</math> एक समूह का <math>G</math>, और आइए हम ऑर्थोनॉर्मल आधार पर काम करें। इस प्रकार, <math>\rho</math> एमएपीएस <math>G</math> एकात्मक आव्यूहों के समूह में। फिर दोहरे प्रतिनिधित्व की परिभाषा में अमूर्त ट्रांसपोज़ को सामान्य मैट्रिक्स ट्रांसपोज़ के साथ पहचाना जा सकता है। चूँकि मैट्रिक्स का जोड़ स्थानान्तरण का जटिल संयुग्म है, स्थानान्तरण आसन्न का संयुग्म है। इस प्रकार, <math>\rho^\ast(g)</math> के व्युत्क्रम के जोड़ का जटिल संयुग्म है <math>\rho(g)</math>. लेकिन फिर <math>\rho(g)</math> एकात्मक, व्युत्क्रम का जोड़ माना जाता है <math>\rho(g)</math> बस है <math>\rho(g)</math>.
एकात्मक प्रतिनिधित्व पर विचार करें <math>\rho</math> समूह का <math>G</math>, और आइए हम ऑर्थोनॉर्मल आधार पर काम करें। इस प्रकार, <math>\rho</math> एमएपीएस <math>G</math> एकात्मक आव्यूहों के समूह में। फिर दोहरे प्रतिनिधित्व की परिभाषा में अमूर्त ट्रांसपोज़ को सामान्य मैट्रिक्स ट्रांसपोज़ के साथ पहचाना जा सकता है। चूँकि मैट्रिक्स का जोड़ स्थानान्तरण का जटिल संयुग्म है, स्थानान्तरण आसन्न का संयुग्म है। इस प्रकार, <math>\rho^\ast(g)</math> के व्युत्क्रम के जोड़ का जटिल संयुग्म है <math>\rho(g)</math>. लेकिन फिर <math>\rho(g)</math> एकात्मक, व्युत्क्रम का जोड़ माना जाता है <math>\rho(g)</math> बस है <math>\rho(g)</math>.


इस चर्चा का निष्कर्ष यह है कि जब एकात्मक प्रतिनिधित्व के साथ ऑर्थोनॉर्मल आधार पर काम किया जाता है, <math>\rho^*(g)</math> का जटिल संयुग्म मात्र है <math>\rho(g)</math>.
इस चर्चा का निष्कर्ष यह है कि जब एकात्मक प्रतिनिधित्व के साथ ऑर्थोनॉर्मल आधार पर काम किया जाता है, <math>\rho^*(g)</math> का जटिल संयुग्म मात्र है <math>\rho(g)</math>.
Line 27: Line 27:


===सामान्य अर्धसरल झूठ बीजगणित===
===सामान्य अर्धसरल झूठ बीजगणित===
अधिक आम तौर पर, Lie_algebra_repretation#Classifying_finite-dynamic_repretations_of_Lie_algebras (या निकट से संबंधित Compact_group#Repretation_theory_of_a_connected_compact_Lie_group) में, दोहरे प्रतिनिधित्व के वजन मूल प्रतिनिधित्व के वजन के नकारात्मक होते हैं।<ref>{{harvnb|Hall|2015}} Exercise 10 of Chapter 10</ref> (आंकड़ा देखें।) अब, किसी दिए गए बीजगणित के लिए, यदि यह ऑपरेटर होना चाहिए <math>-I</math> Semisimple_Lie_algebra#Weyl_group का एक तत्व है, तो प्रत्येक प्रतिनिधित्व का वजन स्वचालित रूप से मानचित्र के अंतर्गत अपरिवर्तनीय होता है <math>\mu\mapsto -\mu</math>. ऐसे झूठ बीजगणित के लिए, प्रत्येक अघुलनशील प्रतिनिधित्व अपने दोहरे के लिए समरूपी होगा। (यह स्थिति एसयू(2) के लिए है, जहां वेइल समूह है <math>\{I,-I\}</math>.) इस संपत्ति के साथ झूठ बीजगणित में विषम ऑर्थोगोनल झूठ बीजगणित शामिल हैं <math>\operatorname{so}(2n+1;\mathbb C)</math> (प्रकार <math>B_n</math>) और सिम्प्लेक्टिक लाई बीजगणित <math>\operatorname{sp}(n;\mathbb C)</math> (प्रकार <math>C_n</math>).
अधिक आम तौर पर, Lie_algebra_repretation#Classifying_finite-dynamic_repretations_of_Lie_algebras (या निकट से संबंधित Compact_group#Repretation_theory_of_a_connected_compact_Lie_group) में, दोहरे प्रतिनिधित्व के वजन मूल प्रतिनिधित्व के वजन के नकारात्मक होते हैं।<ref>{{harvnb|Hall|2015}} Exercise 10 of Chapter 10</ref> (आंकड़ा देखें।) अब, किसी दिए गए बीजगणित के लिए, यदि यह ऑपरेटर होना चाहिए <math>-I</math> Semisimple_Lie_algebra#Weyl_group का तत्व है, तो प्रत्येक प्रतिनिधित्व का वजन स्वचालित रूप से मानचित्र के अंतर्गत अपरिवर्तनीय होता है <math>\mu\mapsto -\mu</math>. ऐसे झूठ बीजगणित के लिए, प्रत्येक अघुलनशील प्रतिनिधित्व अपने दोहरे के लिए समरूपी होगा। (यह स्थिति एसयू(2) के लिए है, जहां वेइल समूह है <math>\{I,-I\}</math>.) इस संपत्ति के साथ झूठ बीजगणित में विषम ऑर्थोगोनल झूठ बीजगणित शामिल हैं <math>\operatorname{so}(2n+1;\mathbb C)</math> (प्रकार <math>B_n</math>) और सिम्प्लेक्टिक लाई बीजगणित <math>\operatorname{sp}(n;\mathbb C)</math> (प्रकार <math>C_n</math>).


यदि, किसी दिए गए बीजगणित के लिए, <math>-I</math> वेइल समूह में नहीं है, तो एक अप्रासंगिक प्रतिनिधित्व का द्वैत मूल रूप से मूल प्रतिनिधित्व के लिए आइसोमोर्फिक नहीं होगा। यह कैसे काम करता है यह समझने के लिए, हम ध्यान दें कि हमेशा एक Root_system#Weyl_chambers_and_the_Weyl_group होता है <math>w_0</math> मौलिक वेइल चैम्बर के नकारात्मक को मौलिक वेइल चैम्बर में मैप करना। फिर यदि हमारे पास उच्चतम भार वाला एक अघुलनशील प्रतिनिधित्व है <math>\mu</math>, दोहरे प्रतिनिधित्व का भार सबसे कम होगा <math>-\mu</math>. इसके बाद यह निष्कर्ष निकलता है कि दोहरे प्रतिनिधित्व का भार सबसे अधिक होगा <math>w_0\cdot(-\mu)\,</math>.<ref>{{harvnb|Hall|2015}} Exercise 10 of Chapter 10</ref> चूंकि हम मान रहे हैं <math>-I</math> वेइल समूह में नहीं है, <math>w_0</math> हो नहीं सकता <math>-I</math>, जिसका अर्थ है कि मानचित्र <math>\mu\mapsto w_0\cdot(-\mu)</math> पहचान नहीं है. बेशक, यह अभी भी हो सकता है कि कुछ विशेष विकल्पों के लिए <math>\mu</math>, हम कर सकते है <math>\mu=w_0\cdot(-\mu)</math>. उदाहरण के लिए, आसन्न निरूपण हमेशा अपने दोहरे से समरूपी होता है।
यदि, किसी दिए गए बीजगणित के लिए, <math>-I</math> वेइल समूह में नहीं है, तो अप्रासंगिक प्रतिनिधित्व का द्वैत मूल रूप से मूल प्रतिनिधित्व के लिए आइसोमोर्फिक नहीं होगा। यह कैसे काम करता है यह समझने के लिए, हम ध्यान दें कि हमेशा Root_system#Weyl_chambers_and_the_Weyl_group होता है <math>w_0</math> मौलिक वेइल चैम्बर के नकारात्मक को मौलिक वेइल चैम्बर में मैप करना। फिर यदि हमारे पास उच्चतम भार वाला अघुलनशील प्रतिनिधित्व है <math>\mu</math>, दोहरे प्रतिनिधित्व का भार सबसे कम होगा <math>-\mu</math>. इसके बाद यह निष्कर्ष निकलता है कि दोहरे प्रतिनिधित्व का भार सबसे अधिक होगा <math>w_0\cdot(-\mu)\,</math>.<ref>{{harvnb|Hall|2015}} Exercise 10 of Chapter 10</ref> चूंकि हम मान रहे हैं <math>-I</math> वेइल समूह में नहीं है, <math>w_0</math> हो नहीं सकता <math>-I</math>, जिसका अर्थ है कि मानचित्र <math>\mu\mapsto w_0\cdot(-\mu)</math> पहचान नहीं है. बेशक, यह अभी भी हो सकता है कि कुछ विशेष विकल्पों के लिए <math>\mu</math>, हम कर सकते है <math>\mu=w_0\cdot(-\mu)</math>. उदाहरण के लिए, आसन्न निरूपण हमेशा अपने दोहरे से समरूपी होता है।


एसयू(3) (या इसके जटिल बीजगणित) के मामले में, <math>\operatorname{sl}(3;\mathbb C)</math>), हम दो जड़ों वाला आधार चुन सकते हैं <math>\{\alpha_1,\alpha_2\}</math> 120 डिग्री के कोण पर, ताकि तीसरा धनात्मक मूल हो <math>\alpha_3=\alpha_1+\alpha_2</math>. इस मामले में, तत्व <math>w_0</math> लंबवत रेखा के बारे में प्रतिबिंब है <math>\alpha_3</math>. फिर नक्शा <math>\mu\mapsto w_0\cdot(-\mu)</math> के माध्यम से लाइन के बारे में प्रतिबिंब है <math>\alpha_3</math>.<ref>{{harvnb|Hall|2015}} Exercise 3 of Chapter 6</ref> स्व-दोहरे अभ्यावेदन तब होते हैं जो लाइन के साथ-साथ होते हैं <math>\alpha_3</math>. ये प्रपत्र के लेबल वाले अभ्यावेदन हैं <math>(m,m)</math>, जो वे निरूपण हैं जिनके भार आरेख नियमित षट्कोण हैं।
एसयू(3) (या इसके जटिल बीजगणित) के मामले में, <math>\operatorname{sl}(3;\mathbb C)</math>), हम दो जड़ों वाला आधार चुन सकते हैं <math>\{\alpha_1,\alpha_2\}</math> 120 डिग्री के कोण पर, ताकि तीसरा धनात्मक मूल हो <math>\alpha_3=\alpha_1+\alpha_2</math>. इस मामले में, तत्व <math>w_0</math> लंबवत रेखा के बारे में प्रतिबिंब है <math>\alpha_3</math>. फिर नक्शा <math>\mu\mapsto w_0\cdot(-\mu)</math> के माध्यम से लाइन के बारे में प्रतिबिंब है <math>\alpha_3</math>.<ref>{{harvnb|Hall|2015}} Exercise 3 of Chapter 6</ref> स्व-दोहरे अभ्यावेदन तब होते हैं जो लाइन के साथ-साथ होते हैं <math>\alpha_3</math>. ये प्रपत्र के लेबल वाले अभ्यावेदन हैं <math>(m,m)</math>, जो वे निरूपण हैं जिनके भार आरेख नियमित षट्कोण हैं।


==प्रेरणा==
==प्रेरणा==
प्रतिनिधित्व सिद्धांत में, दोनों सदिश {{math|''V''}} और रैखिक कार्यात्मकताएं {{math|''V''*}} को कॉलम वैक्टर के रूप में माना जाता है ताकि प्रतिनिधित्व बाईं ओर से (मैट्रिक्स गुणन द्वारा) कार्य कर सके। के लिए एक आधार दिया गया {{math|''V''}} और के लिए दोहरा आधार {{math|''V''*}}, एक रैखिक कार्यात्मक की कार्रवाई {{math|φ}} पर {{math|''v''}}, {{math|φ(v)}} मैट्रिक्स गुणन द्वारा व्यक्त किया जा सकता है,
प्रतिनिधित्व सिद्धांत में, दोनों सदिश {{math|''V''}} और रैखिक कार्यात्मकताएं {{math|''V''*}} को कॉलम वैक्टर के रूप में माना जाता है ताकि प्रतिनिधित्व बाईं ओर से (मैट्रिक्स गुणन द्वारा) कार्य कर सके। के लिए आधार दिया गया {{math|''V''}} और के लिए दोहरा आधार {{math|''V''*}}, रैखिक कार्यात्मक की कार्रवाई {{math|φ}} पर {{math|''v''}}, {{math|φ(v)}} मैट्रिक्स गुणन द्वारा व्यक्त किया जा सकता है,
:<math>\langle\varphi, v\rangle \equiv \varphi(v) = \varphi^Tv</math>,
:<math>\langle\varphi, v\rangle \equiv \varphi(v) = \varphi^Tv</math>,
जहां सुपरस्क्रिप्ट {{math|''T''}} मैट्रिक्स ट्रांसपोज़ है। संगति की आवश्यकता है
जहां सुपरस्क्रिप्ट {{math|''T''}} मैट्रिक्स ट्रांसपोज़ है। संगति की आवश्यकता है
Line 40: Line 40:
दी गई परिभाषा के साथ,
दी गई परिभाषा के साथ,
:<math>\langle{\rho}^*(g)\varphi, \rho(g)v\rangle = \langle\rho(g^{-1})^T\varphi, \rho(g)v\rangle = (\rho(g^{-1})^T\varphi)^T \rho(g)v = \varphi^T\rho(g^{-1})\rho(g)v = \varphi^Tv = \langle\varphi, v\rangle.</math>
:<math>\langle{\rho}^*(g)\varphi, \rho(g)v\rangle = \langle\rho(g^{-1})^T\varphi, \rho(g)v\rangle = (\rho(g^{-1})^T\varphi)^T \rho(g)v = \varphi^T\rho(g^{-1})\rho(g)v = \varphi^Tv = \langle\varphi, v\rangle.</math>
लाई बीजगणित प्रतिनिधित्व के लिए व्यक्ति संभावित समूह प्रतिनिधित्व के साथ एकरूपता चुनता है। आम तौर पर, अगर {{math|Π}} तो फिर एक लाई समूह का प्रतिनिधित्व है {{math|π}} द्वारा दिए गए
लाई बीजगणित प्रतिनिधित्व के लिए व्यक्ति संभावित समूह प्रतिनिधित्व के साथ एकरूपता चुनता है। आम तौर पर, अगर {{math|Π}} तो फिर लाई समूह का प्रतिनिधित्व है {{math|π}} द्वारा दिए गए
:<math>\pi(X) = \frac{d}{dt}\Pi(e^{tX})|_{t = 0}.</math>
:<math>\pi(X) = \frac{d}{dt}\Pi(e^{tX})|_{t = 0}.</math>
इसके लाई बीजगणित का प्रतिनिधित्व है। अगर {{math|Π*}} से द्वैत है {{math|Π}}, तो इसके अनुरूप झूठ बीजगणित प्रतिनिधित्व {{math|π*}} द्वारा दिया गया है
इसके लाई बीजगणित का प्रतिनिधित्व है। अगर {{math|Π*}} से द्वैत है {{math|Π}}, तो इसके अनुरूप झूठ बीजगणित प्रतिनिधित्व {{math|π*}} द्वारा दिया गया है
Line 47: Line 47:


==उदाहरण==
==उदाहरण==
समूह पर विचार करें <math>G=U(1)</math> निरपेक्ष मान की जटिल संख्याओं का 1. शूर के लेम्मा के परिणामस्वरूप, अपरिवर्तनीय निरूपण सभी एक आयामी हैं। इरेड्यूसिबल अभ्यावेदन को पूर्णांकों द्वारा मानकीकृत किया जाता है <math>n</math> और स्पष्ट रूप से दिया गया है
समूह पर विचार करें <math>G=U(1)</math> निरपेक्ष मान की जटिल संख्याओं का 1. शूर के लेम्मा के परिणामस्वरूप, अपरिवर्तनीय निरूपण सभी आयामी हैं। इरेड्यूसिबल अभ्यावेदन को पूर्णांकों द्वारा मानकीकृत किया जाता है <math>n</math> और स्पष्ट रूप से दिया गया है
:<math>\rho_n(e^{i\theta})=[e^{in\theta}].</math>
:<math>\rho_n(e^{i\theta})=[e^{in\theta}].</math>
को दोहरा प्रतिनिधित्व <math>\rho_n</math> फिर इस एक-एक-एक मैट्रिक्स के स्थानान्तरण का व्युत्क्रम है, अर्थात,
को दोहरा प्रतिनिधित्व <math>\rho_n</math> फिर इस वन बाई वन मैट्रिक्स के स्थानान्तरण का व्युत्क्रम है, अर्थात,
:<math>\rho_n^*(e^{i\theta})=[e^{-in\theta}]=\rho_{-n}(e^{i\theta}).</math>
:<math>\rho_n^*(e^{i\theta})=[e^{-in\theta}]=\rho_{-n}(e^{i\theta}).</math>
अर्थात् प्रतिनिधित्व का द्वैत <math>\rho_n</math> है <math>\rho_{-n}</math>.
अर्थात् प्रतिनिधित्व का द्वैत <math>\rho_n</math> है <math>\rho_{-n}</math>.
Line 55: Line 55:
==सामान्यीकरण==
==सामान्यीकरण==


एक सामान्य रिंग [[मॉड्यूल (गणित)]] दोहरे प्रतिनिधित्व को स्वीकार नहीं करता है। हालाँकि, [[हॉपफ बीजगणित]] के मॉड्यूल ऐसा करते हैं।
सामान्य रिंग [[मॉड्यूल (गणित)]] दोहरे प्रतिनिधित्व को स्वीकार नहीं करता है। हालाँकि, [[हॉपफ बीजगणित]] के मॉड्यूल ऐसा करते हैं।


==यह भी देखें==
==यह भी देखें==

Revision as of 22:01, 28 November 2023

गणित में, यदि G समूह है (गणित) और ρ सदिश समष्टि पर इसका रैखिक प्रतिनिधित्व है V, फिर दोहरा प्रतिनिधित्व ρ* को दोहरे सदिश समष्टि पर परिभाषित किया गया है V* निम्नलिखित नुसार:[1][2]

ρ*(g) रेखीय मानचित्र का स्थानान्तरण है ρ(g−1), वह है, ρ*(g) = ρ(g−1)T सभी के लिए gG.

दोहरे प्रतिनिधित्व को विरोधाभासी प्रतिनिधित्व के रूप में भी जाना जाता है। का g झूठ बीजगणित है और π सदिश समष्टि पर इसका प्रतिनिधित्व है V, फिर दोहरा प्रतिनिधित्व π* को दोहरे सदिश समष्टि पर परिभाषित किया गया है V* निम्नलिखित नुसार:[3]

π*(X) = −π(X)T सभी के लिए Xg.

इस परिभाषा के लिए प्रेरणा यह है कि लाई समूह प्रतिनिधित्व के दोहरे से जुड़े लाई बीजगणित प्रतिनिधित्व की गणना उपरोक्त सूत्र द्वारा की जाती है। लेकिन लाई बीजगणित प्रतिनिधित्व के दोहरे की परिभाषा समझ में आती है, भले ही यह लाई समूह प्रतिनिधित्व से नहीं आती है।

दोनों मामलों में, दोहरा प्रतिनिधित्व सामान्य अर्थ में प्रतिनिधित्व है।

गुण

इरेड्यूसिबिलिटी और दूसरा द्वैत

यदि (परिमित-आयामी) प्रतिनिधित्व अपरिवर्तनीय है, तो दोहरा प्रतिनिधित्व भी अपरिवर्तनीय है[4]-लेकिन जरूरी नहीं कि यह मूल प्रतिनिधित्व के समरूपी हो। दूसरी ओर, किसी भी प्रतिनिधित्व के दोहरे का द्वैत मूल प्रतिनिधित्व के लिए समरूपी है।

एकात्मक निरूपण

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

इस चर्चा का निष्कर्ष यह है कि जब एकात्मक प्रतिनिधित्व के साथ ऑर्थोनॉर्मल आधार पर काम किया जाता है, का जटिल संयुग्म मात्र है .

एसयू(2) और एसयू(3) मामले

एसयू(2) के प्रतिनिधित्व सिद्धांत में, प्रत्येक अपरिवर्तनीय प्रतिनिधित्व का दोहरा प्रतिनिधित्व के लिए समरूपी हो जाता है। लेकिन Lie_algebra_repretation#The_case_of_sl(3,C)|SU(3) के अभ्यावेदन के लिए, लेबल के साथ अपरिवर्तनीय प्रतिनिधित्व का दोहरा लेबल के साथ अघुलनशील प्रतिनिधित्व है .[5] विशेष रूप से, एसयू(3) का मानक त्रि-आयामी प्रतिनिधित्व (उच्चतम वजन के साथ)। ) अपने दोहरे से समरूपी नहीं है। भौतिकी साहित्य में क्वार्क_मॉडल#मेसन्स में, मानक प्रतिनिधित्व और उसके दोहरे को कहा जाता हैऔर.

उच्चतम भार (1,2) और (2,1) के साथ एसयू(3) के दो गैर-समरूपी दोहरे प्रतिनिधित्व

सामान्य अर्धसरल झूठ बीजगणित

अधिक आम तौर पर, Lie_algebra_repretation#Classifying_finite-dynamic_repretations_of_Lie_algebras (या निकट से संबंधित Compact_group#Repretation_theory_of_a_connected_compact_Lie_group) में, दोहरे प्रतिनिधित्व के वजन मूल प्रतिनिधित्व के वजन के नकारात्मक होते हैं।[6] (आंकड़ा देखें।) अब, किसी दिए गए बीजगणित के लिए, यदि यह ऑपरेटर होना चाहिए Semisimple_Lie_algebra#Weyl_group का तत्व है, तो प्रत्येक प्रतिनिधित्व का वजन स्वचालित रूप से मानचित्र के अंतर्गत अपरिवर्तनीय होता है . ऐसे झूठ बीजगणित के लिए, प्रत्येक अघुलनशील प्रतिनिधित्व अपने दोहरे के लिए समरूपी होगा। (यह स्थिति एसयू(2) के लिए है, जहां वेइल समूह है .) इस संपत्ति के साथ झूठ बीजगणित में विषम ऑर्थोगोनल झूठ बीजगणित शामिल हैं (प्रकार ) और सिम्प्लेक्टिक लाई बीजगणित (प्रकार ).

यदि, किसी दिए गए बीजगणित के लिए, वेइल समूह में नहीं है, तो अप्रासंगिक प्रतिनिधित्व का द्वैत मूल रूप से मूल प्रतिनिधित्व के लिए आइसोमोर्फिक नहीं होगा। यह कैसे काम करता है यह समझने के लिए, हम ध्यान दें कि हमेशा Root_system#Weyl_chambers_and_the_Weyl_group होता है मौलिक वेइल चैम्बर के नकारात्मक को मौलिक वेइल चैम्बर में मैप करना। फिर यदि हमारे पास उच्चतम भार वाला अघुलनशील प्रतिनिधित्व है , दोहरे प्रतिनिधित्व का भार सबसे कम होगा . इसके बाद यह निष्कर्ष निकलता है कि दोहरे प्रतिनिधित्व का भार सबसे अधिक होगा .[7] चूंकि हम मान रहे हैं वेइल समूह में नहीं है, हो नहीं सकता , जिसका अर्थ है कि मानचित्र पहचान नहीं है. बेशक, यह अभी भी हो सकता है कि कुछ विशेष विकल्पों के लिए , हम कर सकते है . उदाहरण के लिए, आसन्न निरूपण हमेशा अपने दोहरे से समरूपी होता है।

एसयू(3) (या इसके जटिल बीजगणित) के मामले में, ), हम दो जड़ों वाला आधार चुन सकते हैं 120 डिग्री के कोण पर, ताकि तीसरा धनात्मक मूल हो . इस मामले में, तत्व लंबवत रेखा के बारे में प्रतिबिंब है . फिर नक्शा के माध्यम से लाइन के बारे में प्रतिबिंब है .[8] स्व-दोहरे अभ्यावेदन तब होते हैं जो लाइन के साथ-साथ होते हैं . ये प्रपत्र के लेबल वाले अभ्यावेदन हैं , जो वे निरूपण हैं जिनके भार आरेख नियमित षट्कोण हैं।

प्रेरणा

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

,

जहां सुपरस्क्रिप्ट T मैट्रिक्स ट्रांसपोज़ है। संगति की आवश्यकता है

[9]

दी गई परिभाषा के साथ,

लाई बीजगणित प्रतिनिधित्व के लिए व्यक्ति संभावित समूह प्रतिनिधित्व के साथ एकरूपता चुनता है। आम तौर पर, अगर Π तो फिर लाई समूह का प्रतिनिधित्व है π द्वारा दिए गए

इसके लाई बीजगणित का प्रतिनिधित्व है। अगर Π* से द्वैत है Π, तो इसके अनुरूप झूठ बीजगणित प्रतिनिधित्व π* द्वारा दिया गया है

   [10]


उदाहरण

समूह पर विचार करें निरपेक्ष मान की जटिल संख्याओं का 1. शूर के लेम्मा के परिणामस्वरूप, अपरिवर्तनीय निरूपण सभी आयामी हैं। इरेड्यूसिबल अभ्यावेदन को पूर्णांकों द्वारा मानकीकृत किया जाता है और स्पष्ट रूप से दिया गया है

को दोहरा प्रतिनिधित्व फिर इस वन बाई वन मैट्रिक्स के स्थानान्तरण का व्युत्क्रम है, अर्थात,

अर्थात् प्रतिनिधित्व का द्वैत है .

सामान्यीकरण

सामान्य रिंग मॉड्यूल (गणित) दोहरे प्रतिनिधित्व को स्वीकार नहीं करता है। हालाँकि, हॉपफ बीजगणित के मॉड्यूल ऐसा करते हैं।

यह भी देखें

संदर्भ

  • Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666.
  1. Lecture 1 of Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
  2. Hall 2015 Section 4.3.3
  3. Lecture 8 of Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
  4. Hall 2015 Exercise 6 of Chapter 4
  5. Hall 2015 Exercise 3 of Chapter 6
  6. Hall 2015 Exercise 10 of Chapter 10
  7. Hall 2015 Exercise 10 of Chapter 10
  8. Hall 2015 Exercise 3 of Chapter 6
  9. Lecture 1, page 4 of Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
  10. Lecture 8, page 111 of Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.