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

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
{{Short description|Group representation}}
{{Short description|Group representation}}
{{about|एक गणितीय अवधारणा|मनोवैज्ञानिक अवधारणा|दोहरा प्रतिनिधित्व (मनोविज्ञान)}}
{{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 41:
दी गई परिभाषा के साथ,
दी गई परिभाषा के साथ,
:<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>


Line 50: Line 50:
इस प्रकार निरपेक्ष मान <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 56: Line 56:
==सामान्यीकरण==
==सामान्यीकरण==


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


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

Revision as of 22:58, 28 November 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.