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

From Vigyanwiki
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:


{{Short description|Group representation}}
{{Short description|Group representation}}
{{about|एक गणितीय अवधारणा|मनोवैज्ञानिक अवधारणा|दोहरा प्रतिनिधित्व (मनोविज्ञान)}}
गणित में, यदि {{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'' ∈ ''G''}} के लिए {{math|ρ*(''g'')}} = {{math|ρ(''g''<sup>−1</sup>)<sup>T</sup>}} है।
:{{math|ρ*(''g'')}} {{math|ρ(''g''<sup>−1</sup>)}} का स्थानान्तरण है, अर्थात सभी {{math|''g'' ∈ ''G''}} के लिए {{math|ρ*(''g'')}} = {{math|ρ(''g''<sup>−1</sup>)<sup>T</sup>}} है।
इस प्रकार दोहरे प्रतिनिधित्व को विरोधाभासी प्रतिनिधित्व के रूप में भी जाना जाता है।  
इस प्रकार द्वि प्रतिनिरूपण को विरोधाभासी प्रतिनिरूपण के रूप में भी जाना जाता है।  


यदि {{math|'''g'''}} एक लाई बीजगणित है और π सदिश समष्टि {{math|''V''}} पर इसका प्रतिनिधित्व करता है, तो दोहरे निरूपण {{math|π*}} को दोहरे सदिश समष्टि {{math|''V''*}} पर इस प्रकार परिभाषित किया गया है:<ref>Lecture 8 of {{Fulton-Harris}}</ref>
यदि {{math|'''g'''}} एक लाई बीजगणित है और π सदिश समष्टि {{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>G</math> के एकात्मक निरूपण <math>\rho</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>G</math> के एकात्मक प्रतिनिरूपण <math>\rho</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> का सम्मिश्र संयुग्म होता है


===SU(2) और SU(3) स्थिति===
===SU(2) और SU(3) स्थिति===
इस प्रकार SU(2) के प्रतिनिधित्व सिद्धांत में, प्रत्येक अपरिवर्तनीय प्रतिनिधित्व का दोहरा प्रतिनिधित्व के लिए समरूपी हो जाता है। किन्तु SU(3) के अभ्यावेदन के लिए, लेबल के साथ इरेड्यूसेबल प्रतिनिधित्व का दोहरा, लेबल <math>(m_1,m_2)</math> के साथ इरेड्यूसेबल प्रतिनिधित्व का दोहरा है। <ref>{{harvnb|Hall|2015}} Exercise 3 of Chapter 6</ref> विशेष रूप से, SU(3) का मानक त्रि-आयामी प्रतिनिधित्व (उच्चतम वजन <math>(1,0)</math> के साथ) इसके दोहरे के लिए आइसोमोर्फिक नहीं है। इस प्रकार भौतिकी साहित्य में क्वार्क के सिद्धांत में, मानक प्रतिनिधित्व और इसके दोहरे को <math>3</math> और <math>\bar 3</math> कहा जाता है
इस प्रकार SU(2) के प्रतिनिरूपण सिद्धांत में, प्रत्येक अपरिवर्तनीय प्रतिनिरूपण का दोहरा प्रतिनिरूपण के लिए समरूपी हो जाता है। किन्तु SU(3) के अभ्यावेदन के लिए, लेबल के साथ इरेड्यूसेबल प्रतिनिरूपण का दोहरा, लेबल <math>(m_1,m_2)</math> के साथ इरेड्यूसेबल प्रतिनिरूपण का दोहरा है। <ref>{{harvnb|Hall|2015}} Exercise 3 of Chapter 6</ref> विशेष रूप से, SU(3) का मानक त्रि-आयामी प्रतिनिरूपण (उच्चतम वजन <math>(1,0)</math> के साथ) इसके द्वि के लिए आइसोमोर्फिक नहीं है। इस प्रकार भौतिकी साहित्य में क्वार्क के सिद्धांत में, मानक प्रतिनिरूपण और इसके द्वि को <math>3</math> और <math>\bar 3</math> कहा जाता है
[[File:Dual_representations_of_SU(3).png|thumb|right|उच्चतम भार (1,2) और (2,1) के साथ su(3) के दो गैर-समरूपी दोहरे प्रतिनिधित्व]]
[[File:Dual_representations_of_SU(3).png|thumb|right|उच्चतम भार (1,2) और (2,1) के साथ su(3) के दो गैर-समरूपी द्वि प्रतिनिरूपण]]


===सामान्य अर्धसरल लाई बीजगणित===
===सामान्य अर्धसरल लाई बीजगणित===
अधिक सामान्यतः, अर्धसरल लाई बीजगणित (या कॉम्पैक्ट लाई समूहों के निकट से संबंधित प्रतिनिधित्व सिद्धांत) के प्रतिनिधित्व सिद्धांत में, दोहरे प्रतिनिधित्व के वजन मूल प्रतिनिधित्व के वजन के ऋणात्मक होते हैं। <ref>{{harvnb|Hall|2015}} Exercise 10 of Chapter 10</ref> (आंकड़ा देखें।) अब, किसी दिए गए बीजगणित के लिए, यदि ऐसा होना चाहिए कि ऑपरेटर <math>-I</math> वेइल समूह का एक अवयव है, तो मानचित्र के अंतर्गत प्रत्येक प्रतिनिधित्व का भार स्वचालित रूप से अपरिवर्तनीय है। इस प्रकार <math>\mu\mapsto -\mu</math> ऐसे लाई बीजगणित के लिए, प्रत्येक अघुलनशील प्रतिनिधित्व अपने दोहरे के लिए समरूपी होगा। (यह su (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>) है
अधिक सामान्यतः, अर्धसरल लाई बीजगणित (या कॉम्पैक्ट लाई समूहों के निकट से संबंधित प्रतिनिरूपण सिद्धांत) के प्रतिनिरूपण सिद्धांत में, द्वि प्रतिनिरूपण के वजन मूल प्रतिनिरूपण के वजन के ऋणात्मक होते हैं। <ref>{{harvnb|Hall|2015}} Exercise 10 of Chapter 10</ref> (आंकड़ा देखें।) अब, किसी दिए गए बीजगणित के लिए, यदि ऐसा होना चाहिए कि ऑपरेटर <math>-I</math> वेइल समूह का एक अवयव है, तो मानचित्र के अंतर्गत प्रत्येक प्रतिनिरूपण का भार स्वचालित रूप से अपरिवर्तनीय है। इस प्रकार <math>\mu\mapsto -\mu</math> ऐसे लाई बीजगणित के लिए, प्रत्येक अघुलनशील प्रतिनिरूपण अपने द्वि के लिए समरूपी होगा। (यह su (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> वेइल समूह में नहीं है, तो एक अपरिवर्तनीय प्रतिनिधित्व का दोहरा मूल रूप से मूल प्रतिनिधित्व के लिए आइसोमोर्फिक नहीं होगा। यह समझने के लिए कि यह कैसे काम करता है, हम ध्यान दें कि सदैव एक अद्वितीय वेइल समूह अवयव <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> चूँकि हम मान रहे हैं कि -I वेइल समूह में नहीं है, <math>\mu\mapsto w_0\cdot(-\mu)</math> नहीं हो सकता है, जिसका अर्थ है कि मानचित्र <math>w_0\cdot(-\mu)\,</math> पहचान नहीं है . निःसंदेह, यह अभी भी हो सकता है कि <math>-\mu</math> के कुछ विशेष विकल्पों के लिए, हमारे पास <math>\mu=w_0\cdot(-\mu)</math> हो सकता है। उदाहरण के लिए, आसन्न निरूपण सदैव अपने दोहरे से समरूपी होता है।
यदि, किसी दिए गए बीजगणित के लिए, <math>-I</math> वेइल समूह में नहीं है, तो एक अपरिवर्तनीय प्रतिनिरूपण का दोहरा मूल रूप से मूल प्रतिनिरूपण के लिए आइसोमोर्फिक नहीं होगा। यह समझने के लिए कि यह कैसे काम करता है, हम ध्यान दें कि सदैव एक अद्वितीय वेइल समूह अवयव <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> चूँकि हम मान रहे हैं कि -I वेइल समूह में नहीं है, <math>\mu\mapsto w_0\cdot(-\mu)</math> नहीं हो सकता है, जिसका अर्थ है कि मानचित्र <math>w_0\cdot(-\mu)\,</math> पहचान नहीं है . निःसंदेह, यह अभी भी हो सकता है कि <math>-\mu</math> के कुछ विशेष विकल्पों के लिए, हमारे पास <math>\mu=w_0\cdot(-\mu)</math> हो सकता है। उदाहरण के लिए, आसन्न प्रतिनिरूपण सदैव अपने द्वि से समरूपी होता है।


इस प्रकार su (3) (या इसके सम्मिश्र बीजगणित, <math>\operatorname{sl}(3;\mathbb C)</math>) के स्थिति में, हम दो जड़ों से युक्त आधार चुन सकते हैं। <math>\{\alpha_1,\alpha_2\}</math><nowiki> 120 डिग्री के कोण पर, जिससे तीसरा धनात्मक मूल हो 2}}. इस स्थिति में, अवयव </nowiki><math>\alpha_3=\alpha_1+\alpha_2</math> के लंबवत रेखा के बारे में प्रतिबिंब है। तब मानचित्र <math>\mu\mapsto w_0\cdot(-\mu)</math> से होकर जाने वाली रेखा के बारे में प्रतिबिंब है।<ref>{{harvnb|Hall|2015}} Exercise 3 of Chapter 6</ref> इस प्रकार तब स्व-दोहरे निरूपण वे होते हैं जो <math>\alpha_3</math> से होकर निकलने वाली रेखा के साथ स्थित होते हैं। यह <math>(m,m)</math> फॉर्म के लेबल वाले निरूपण हैं, जो ऐसे निरूपण हैं जिनके वजन आरेख नियमित षट्भुज हैं।
इस प्रकार su (3) (या इसके सम्मिश्र बीजगणित, <math>\operatorname{sl}(3;\mathbb C)</math>) के स्थिति में, हम दो जड़ों से युक्त आधार चुन सकते हैं। <math>\{\alpha_1,\alpha_2\}</math><nowiki> 120 डिग्री के कोण पर, जिससे तीसरा धनात्मक मूल हो 2}}. इस स्थिति में, अवयव </nowiki><math>\alpha_3=\alpha_1+\alpha_2</math> के लंबवत रेखा के बारे में प्रतिबिंब है। तब मानचित्र <math>\mu\mapsto w_0\cdot(-\mu)</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 41: 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|π*}} द्वारा दिया जाता है
:<math>\pi^*(X) = \frac{d}{dt}\Pi^*(e^{tX})|_{t = 0} = \frac{d}{dt}\Pi(e^{-tX})^T|_{t = 0} = -\pi(X)^T.</math>   <ref>Lecture 8, page 111 of {{Fulton-Harris}}</ref>
:<math>\pi^*(X) = \frac{d}{dt}\Pi^*(e^{tX})|_{t = 0} = \frac{d}{dt}\Pi(e^{-tX})^T|_{t = 0} = -\pi(X)^T.</math>   <ref>Lecture 8, page 111 of {{Fulton-Harris}}</ref>




==उदाहरण==
==उदाहरण==
इस प्रकार निरपेक्ष मान <math>G=U(1)</math> की सम्मिश्र संख्याओं के समूह पर विचार करें। शूर के लेम्मा के परिणामस्वरूप, अप्रासंगिक निरूपण सभी एक आयामी हैं। इस प्रकार इरेड्यूसिबल अभ्यावेदन को पूर्णांक <math>n</math> द्वारा मानकीकृत किया जाता है और स्पष्ट रूप से दिया जाता है
इस प्रकार निरपेक्ष मान <math>G=U(1)</math> की सम्मिश्र संख्याओं के समूह पर विचार करें। शूर के लेम्मा के परिणामस्वरूप, अप्रासंगिक प्रतिनिरूपण सभी एक आयामी हैं। इस प्रकार इरेड्यूसिबल अभ्यावेदन को पूर्णांक <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 72: Line 71:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 17/11/2023]]
[[Category:Created On 17/11/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 10:00, 1 December 2023

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

ρ*(g) ρ(g−1) का स्थानान्तरण है, अर्थात सभी gG के लिए ρ*(g) = ρ(g−1)T है।

इस प्रकार द्वि प्रतिनिरूपण को विरोधाभासी प्रतिनिरूपण के रूप में भी जाना जाता है।

यदि g एक लाई बीजगणित है और π सदिश समष्टि V पर इसका प्रतिनिरूपण करता है, तो द्वि प्रतिनिरूपण π* को द्वि सदिश समष्टि V* पर इस प्रकार परिभाषित किया गया है:[3]

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

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

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

गुण

इरेड्यूसिबिलिटी और सेकंड ड्यूल

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

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

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

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

SU(2) और SU(3) स्थिति

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

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

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

अधिक सामान्यतः, अर्धसरल लाई बीजगणित (या कॉम्पैक्ट लाई समूहों के निकट से संबंधित प्रतिनिरूपण सिद्धांत) के प्रतिनिरूपण सिद्धांत में, द्वि प्रतिनिरूपण के वजन मूल प्रतिनिरूपण के वजन के ऋणात्मक होते हैं। [6] (आंकड़ा देखें।) अब, किसी दिए गए बीजगणित के लिए, यदि ऐसा होना चाहिए कि ऑपरेटर वेइल समूह का एक अवयव है, तो मानचित्र के अंतर्गत प्रत्येक प्रतिनिरूपण का भार स्वचालित रूप से अपरिवर्तनीय है। इस प्रकार ऐसे लाई बीजगणित के लिए, प्रत्येक अघुलनशील प्रतिनिरूपण अपने द्वि के लिए समरूपी होगा। (यह su (2) के लिए स्थिति है, जहां वेइल समूह है।) इस प्रोपर्टी के साथ लाई बीजगणित में विषम ऑर्थोगोनल लाई बीजगणित सम्मिलित हैं (प्रकार और सिम्प्लेक्टिक लाई बीजगणित (प्रकार ) है

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

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

प्रेरणा

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

,

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

[9]

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

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

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

   [10]


उदाहरण

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

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

तात्पर्य यह है कि, प्रतिनिरूपण का द्वैत है

सामान्यीकरण

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

यह भी देखें

संदर्भ

  • 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.