अघुलनशील प्रतिनिधित्व: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Type of group and algebra representation}} | {{Short description|Type of group and algebra representation}} | ||
{{Group theory sidebar}} | {{Group theory sidebar}} | ||
गणित में, विशेष रूप से | गणित में, विशेष रूप से [[समूह (गणित)|समूहों (गणित)]] और बीजगणित के [[प्रतिनिधित्व सिद्धांत]] में, '''अघुलनशील प्रतिनिधित्व''' <math>(\rho, V)</math> या बीजगणितीय संरचना का उल्लंघन <math>A</math> अशून्य प्रतिनिधित्व है जिसमें कोई उचित गैर-तुच्छ उप-प्रतिनिधित्व नहीं है <math>(\rho|_W,W)</math>, के साथ <math>W \subset V</math> की एक्शन के अंतर्गत <math>\{ \rho(a) : a\in A \}</math> संवृत कर दिया गया। | ||
[[हिल्बर्ट स्थान]] पर प्रत्येक परिमित-आयामी [[एकात्मक | [[हिल्बर्ट स्थान]] पर प्रत्येक परिमित-आयामी [[एकात्मक प्रतिनिधित्व]] <math>V</math> अपरिवर्तनीय अभ्यावेदन का [[प्रत्यक्ष योग]] है। अघुलनशील अभ्यावेदन सदैव अविभाज्य होते हैं (अर्थात अभ्यावेदन के प्रत्यक्ष योग में इसे आगे विघटित नहीं किया जा सकता है), किंतु इसका विपरीत प्रभाव नहीं हो सकता है, उदाहरण के लिए ऊपरी त्रिकोणीय [[एकशक्तिशाली|यूनीपोटेंट]] आव्यूह द्वारा कार्य करने वाली वास्तविक संख्याओं का द्वि-आयामी प्रतिनिधित्व अविभाज्य किंतु कम करने योग्य है। | ||
==इतिहास== | ==इतिहास== | ||
[[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] देने के लिए 1940 के दशक में [[ रिचर्ड ब्रौएर |रिचर्ड ब्रौएर]] द्वारा समूह प्रतिनिधित्व सिद्धांत को सामान्यीकृत किया गया था, जिसमें आव्यूह ऑपरेटर क्षेत्र (गणित) पर सदिश समष्टि पर कार्य करते हैं। [[वास्तविक संख्या|वास्तविक संख्याओं]] के क्षेत्र में या सम्मिश्र संख्याओं के क्षेत्र में सदिश स्थान के अतिरिक्त स्वेछानुसार [[विशेषता (बीजगणित)]] <math>K</math> का परिणामी सिद्धांत में अपरिवर्तनीय प्रतिनिधित्व के अनुरूप संरचना का [[सरल मॉड्यूल]] है। | |||
==अवलोकन== | ==अवलोकन== | ||
{{details| | {{details|समूह प्रतिनिधित्व}} | ||
मान लीजिये <math>\rho</math> प्रतिनिधित्व अर्थात [[समरूपता]] <math>\rho: G \to GL(V)</math> समूह का <math>G</math> जहाँ <math>V</math> क्षेत्र के ऊपर सदिश समष्टि है, यदि हम कोई आधार <math>F</math> का चयन करते हैं तो <math>B</math> के लिए <math>V</math>, <math>\rho</math> को समूह से व्युत्क्रमणीय आव्यूह के सेट में फलन ( समरूपता) के रूप में सोचा जा सकता है और इस संदर्भ में इसे आव्यूह प्रतिनिधित्व कहा जाता है। चूँकि, यदि हम बिना किसी आधार <math>V</math> के समष्टि के बारे में सोचें तो यह चीजों को अधिक सरल बना देता है। | |||
[[रैखिक उपस्थान]] <math>W\subset V</math> कहा जाता | [[रैखिक उपस्थान|रैखिक उपसमष्टि]] <math>W\subset V</math> को कहा जाता है। <math>G</math>-अपरिवर्तनीय यदि <math>\rho(g)w\in W</math> सभी के लिए <math>g\in G</math> और सभी <math> w\in W</math> का सह-प्रतिबंध <math>\rho</math> के सामान्य रैखिक समूह के लिए <math>G</math>-अपरिवर्तनीय उपसमष्टि <math>W\subset V</math> को उपनिरूपण के रूप में जाना जाता है। प्रतिनिधित्व <math>\rho: G \to GL(V)</math> इसे अलघुकरणीय कहा जाता है यदि इसमें केवल [[तुच्छ (गणित)]] उप-निरूपण हो (सभी अभ्यावेदन तुच्छ के साथ उप-निरूपण बना सकते हैं) <math>G</math>-अपरिवर्तनीय उप-समष्टि, उदा. संपूर्ण सदिश समष्टि <math>V</math>, और शून्य सदिश समष्टि {0} यदि कोई उचित गैर-तुच्छ अपरिवर्तनीय उप-समष्टि है, तो <math>\rho</math> को कम करने योग्य कहा जाता है। | ||
===समूह अभ्यावेदन का संकेतन और शब्दावली=== | ===समूह अभ्यावेदन का संकेतन और शब्दावली=== | ||
समूह तत्वों को [[मैट्रिक्स (गणित)]] द्वारा दर्शाया जा सकता है, | समूह तत्वों को [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] द्वारा दर्शाया जा सकता है, चूँकि इस संदर्भ में प्रतिनिधित्व शब्द का विशिष्ट और त्रुटिहीन अर्थ है। किसी समूह का प्रतिनिधित्व समूह के तत्वों से आव्यूहों के [[सामान्य रैखिक समूह]] तक का मानचित्रण है। संकेतन के रूप में, मान लें कि {{math|''a'', ''b'', ''c'', ...}} समूह {{math|''G''}} के तत्वों को बिना किसी प्रतीक के समूह उत्पाद के साथ दर्शाते हैं, इसलिए {{math|''ab''}}, {{math|''a''}} और {{math|''b''}} का समूह उत्पाद है और {{math|''G''}}, का तत्व भी है, और प्रतिनिधित्व को दर्शाया जाना चाहिए। {{math|''D''}} द्वारा a का निरूपण इस प्रकार लिखा जाता है: | ||
:<math>D(a) = \begin{pmatrix} | :<math>D(a) = \begin{pmatrix} | ||
Line 27: | Line 27: | ||
D(a)_{n1} & D(a)_{n2} & \cdots & D(a)_{nn} \\ | D(a)_{n1} & D(a)_{n2} & \cdots & D(a)_{nn} \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
समूह अभ्यावेदन की परिभाषा के अनुसार, समूह उत्पाद का प्रतिनिधित्व अभ्यावेदन के [[मैट्रिक्स गुणन]] में अनुवादित किया जाता है: | समूह अभ्यावेदन की परिभाषा के अनुसार, समूह उत्पाद का प्रतिनिधित्व अभ्यावेदन के [[मैट्रिक्स गुणन|आव्यूह गुणन]] में अनुवादित किया जाता है: | ||
:<math>D(ab) = D(a)D(b) </math> | :<math>D(ab) = D(a)D(b) </math> | ||
यदि {{math|''e''}} समूह का [[पहचान तत्व]] है (इसलिए {{math|1=''ae'' = ''ea'' = ''a''}}, आदि), फिर {{math|''D''(''e'')}} पहचान आव्यूह है, या पहचान आव्यूह का ब्लॉक आव्यूह है, क्योंकि हमारे पास होना चाहिए: | |||
:<math>D(ea) = D(ae) = D(a)D(e) = D(e)D(a) = D(a)</math> | :<math>D(ea) = D(ae) = D(a)D(e) = D(e)D(a) = D(a)</math> | ||
और इसी प्रकार समूह के अन्य सभी तत्वों के लिए | और इसी प्रकार समूह के अन्य सभी तत्वों के लिए भी अंतिम दो कथन उस आवश्यकता के अनुरूप हैं कि {{math|''D''}} [[समूह समरूपता]] है। | ||
=== न्यूनीकरणीय और | === न्यूनीकरणीय और अपरिवर्तनीय प्रतिनिधित्व === | ||
प्रतिनिधित्व | प्रतिनिधित्व न्यूनीकरणीय है यदि इसमें गैर-तुच्छ G-अपरिवर्तनीय उप-समष्टि सम्मिलित है, अर्थात, सभी आव्यूह <math>D(a)</math> को उसी व्युत्क्रमणीय आव्यूह द्वारा ऊपरी त्रिकोणीय ब्लॉक रूप में रखा जा सकता है दूसरे शब्दों में <math>P</math>, यदि कोई समानता परिवर्तन है: | ||
:<math> D'(a) \equiv P^{-1} D(a) P,</math> | :<math> D'(a) \equiv P^{-1} D(a) P,</math> | ||
जो प्रतिनिधित्व में प्रत्येक | जो प्रतिनिधित्व में प्रत्येक आव्यूह को समान पैटर्न ऊपरी त्रिकोणीय ब्लॉकों में मैप करता है। प्रत्येक क्रमित अनुक्रम लघु ब्लॉक समूह उपप्रस्तुति है। कहने का तात्पर्य यह है कि, यदि प्रतिनिधित्व, उदाहरण के लिए, आयाम 2 का है, तो हमारे पास है: | ||
<math display="block">D'(a) = P^{-1} D(a) P = \begin{pmatrix} | <math display="block">D'(a) = P^{-1} D(a) P = \begin{pmatrix} | ||
D^{(11)}(a) & D^{(12)}(a) \\ | D^{(11)}(a) & D^{(12)}(a) \\ | ||
0 & D^{(22)}(a) | 0 & D^{(22)}(a) | ||
\end{pmatrix}, </math> | \end{pmatrix}, </math> | ||
जहाँ <math>D^{(11)}(a)</math> गैरतुच्छ उपप्रतिनिधित्व है, यदि हम आव्यूह का परीक्षण करने में सक्षम हैं तो <math>P </math> बनाता है कि <math>D^{(12)}(a) = 0</math> फिर भी <math>D(a)</math> न केवल अपचयनीय है किंतु विघटित भी है। | |||
सूचना: भले ही कोई प्रतिनिधित्व कम किया जा सके, फिर भी इसका | सूचना: भले ही कोई प्रतिनिधित्व कम किया जा सके, फिर भी इसका आव्यूह प्रतिनिधित्व ऊपरी त्रिकोणीय ब्लॉक रूप नहीं हो सकता है। इसका यह रूप तभी होगा जब हम उपयुक्त आधार का चयन करेंगे, जिसे आव्यूह <math>P^{-1}</math> मानक आधार से ऊपर प्रारम्भ करके प्राप्त किया जा सकता है। | ||
===विघटित और अविघटित अभ्यावेदन=== | ===विघटित और अविघटित अभ्यावेदन=== | ||
यदि सभी आव्यूह हों तो | यदि सभी आव्यूह हों तो प्रतिनिधित्व विघटित हो सकता है <math>D(a)</math> को उसी व्युत्क्रमणीय आव्यूह द्वारा ब्लॉक-विकर्ण के रूप में रखा जा सकता है। दूसरे शब्दों में, <math>P</math> यदि [[मैट्रिक्स समानता|आव्यूह समानता]] है:<ref name="Wigner p 73">{{cite book |author=E. P. Wigner |title=समूह सिद्धांत और परमाणु स्पेक्ट्रा के क्वांटम यांत्रिकी में इसका अनुप्रयोग|year=1959 |series=Pure and applied physics |page=73 |publisher=Academic press }}</ref> | ||
:<math> D'(a) \equiv P^{-1} D(a) P,</math> | :<math> D'(a) \equiv P^{-1} D(a) P,</math> | ||
जो प्रतिनिधित्व में प्रत्येक आव्यूह को [[विकर्ण मैट्रिक्स|विकर्ण]] [[ब्लॉक मैट्रिक्स|ब्लॉक]] के समान पैटर्न में विकर्णित करता है। ऐसा प्रत्येक ब्लॉक दूसरों से स्वतंत्र समूह उपप्रतिनिधित्व है। अभ्यावेदन {{math|''D''(''a'')}} और {{math|''D′''(''a'')}} को समतुल्य निरूपण कहा जाता है।<ref>{{cite book |author= W. K. Tung |title=भौतिकी में समूह सिद्धांत|page=32 |publisher=World Scientific |year=1985 |url=https://books.google.com/books?id=O89tgpOBO04C&q=group+theory+in+physics |isbn=978-997-1966-560}}</ref> (k-आयामी, मान लीजिए) प्रतिनिधित्व को {{math|''k'' > 1}} आव्यूहों के प्रत्यक्ष योग में विघटित किया जा सकता है: | |||
:<math>D'(a) = P^{-1} D(a) P = \begin{pmatrix} | :<math>D'(a) = P^{-1} D(a) P = \begin{pmatrix} | ||
Line 59: | Line 59: | ||
0 & 0 & \cdots & D^{(k)}(a) \\ | 0 & 0 & \cdots & D^{(k)}(a) \\ | ||
\end{pmatrix} = D^{(1)}(a) \oplus D^{(2)}(a) \oplus \cdots \oplus D^{(k)}(a),</math> | \end{pmatrix} = D^{(1)}(a) \oplus D^{(2)}(a) \oplus \cdots \oplus D^{(k)}(a),</math> | ||
इसलिए {{math|''D''(''a'')}} विघटित | इसलिए {{math|''D''(''a'')}} विघटित हो सकता है, और कोष्ठक में सुपरस्क्रिप्ट द्वारा विघटित आव्यूह को लेबल करने की प्रथा है, जैसे कि {{math|1=''n'' = 1, 2, ..., ''k''}} के लिए {{math|''D''<sup>(''n'')</sup>(''a'')}} में, चूँकि कुछ लेखक केवल कोष्ठक के बिना संख्यात्मक लेबल लिखते हैं। | ||
{{math|''D''(''a'')}} का आयाम ब्लॉकों के आयामों का योग है: | |||
:<math>\dim[D(a)] = \dim[D^{(1)}(a)] + \dim[D^{(2)}(a)] + \cdots + \dim[D^{(k)}(a)].</math> | :<math>\dim[D(a)] = \dim[D^{(1)}(a)] + \dim[D^{(2)}(a)] + \cdots + \dim[D^{(k)}(a)].</math> | ||
यदि यह संभव नहीं है, | यदि यह संभव नहीं है, अर्थात {{math|1=''k'' = 1}}, तो प्रतिनिधित्व अविभाज्य है।<ref name="Wigner p 73"/><ref name="Tung 33">{{cite book |author= W. K. Tung |title=भौतिकी में समूह सिद्धांत|page=33 |publisher=World Scientific |year=1985 |url=https://books.google.com/books?id=O89tgpOBO04C&q=group+theory+in+physics |isbn=978-997-1966-560}}</ref> | ||
'''सूचना''': भले ही कोई प्रतिनिधित्व विघटित हो, उसका आव्यूह प्रतिनिधित्व विकर्ण ब्लॉक रूप नहीं हो सकता है। इसका यह रूप तभी होगा जब हम उपयुक्त आधार का चयन करेंगे, जिसे आव्यूह <math>P^{-1}</math>मानक आधार से ऊपर प्रारम्भ करके प्राप्त किया जा सकता है। | |||
=== अघुलनशील प्रतिनिधित्व और अविभाज्य प्रतिनिधित्व के मध्य संबंध === | |||
अघुलनशील प्रतिनिधित्व स्वभाव से अविभाज्य प्रतिनिधित्व है। चूँकि, कन्वर्से विफल हो सकता है। | |||
*जब समूह <math>G</math> परिमित है, और इसका क्षेत्र पर प्रतिनिधित्व है <math>\Complex</math> | किंतु कुछ नियमों के अंतर्गत, हमारे पास अविभाज्य प्रतिनिधित्व है जो अघुलनशील प्रतिनिधित्व है। | ||
*जब समूह <math>G</math> परिमित है, और इसका क्षेत्र पर प्रतिनिधित्व है <math>K</math> | |||
*जब समूह <math>G</math> परिमित है, और इसका क्षेत्र पर प्रतिनिधित्व है, तो <math>\Complex</math> अविभाज्य प्रतिनिधित्व अघुलनशील प्रतिनिधित्व है। <ref>{{Cite book|last=Artin|first=Michael|title=बीजगणित|publisher=Pearson| year=2011| edition=2nd |isbn=978-0132413770|pages=295}}</ref> | |||
*जब समूह <math>G</math> परिमित है, और इसका क्षेत्र पर प्रतिनिधित्व है, यदि हमारे पास <math>K</math> है तो <math>char(K)\nmid |G|</math> अविभाज्य प्रतिनिधित्व अघुलनशील प्रतिनिधित्व है। | |||
==अघुलनशील अभ्यावेदन के उदाहरण== | ==अघुलनशील अभ्यावेदन के उदाहरण== | ||
Line 86: | Line 87: | ||
परिमित समूह G के अघुलनशील जटिल निरूपण को [[चरित्र सिद्धांत]] के परिणामों का उपयोग करके चित्रित किया जा सकता है। विशेष रूप से, सभी जटिल निरूपण इरेप्स के प्रत्यक्ष योग और इरेप्स की संख्या के रूप में विघटित होते हैं <math>G</math> के संयुग्मी वर्गों की संख्या के बराबर है <math>G</math>.<ref name="Serre">{{cite book| author-link=Jean-Pierre Serre| first=Jean-Pierre| last= Serre| title=परिमित समूहों का रैखिक निरूपण| url=https://archive.org/details/linearrepresenta1977serr| url-access=registration| publisher=Springer-Verlag | year=1977 | isbn=978-0-387-90190-9}}</ref> | परिमित समूह G के अघुलनशील जटिल निरूपण को [[चरित्र सिद्धांत]] के परिणामों का उपयोग करके चित्रित किया जा सकता है। विशेष रूप से, सभी जटिल निरूपण इरेप्स के प्रत्यक्ष योग और इरेप्स की संख्या के रूप में विघटित होते हैं <math>G</math> के संयुग्मी वर्गों की संख्या के बराबर है <math>G</math>.<ref name="Serre">{{cite book| author-link=Jean-Pierre Serre| first=Jean-Pierre| last= Serre| title=परिमित समूहों का रैखिक निरूपण| url=https://archive.org/details/linearrepresenta1977serr| url-access=registration| publisher=Springer-Verlag | year=1977 | isbn=978-0-387-90190-9}}</ref> | ||
* का अप्रासंगिक जटिल निरूपण <math>\Z / n\Z</math> बिल्कुल मानचित्रों द्वारा दिए गए हैं <math>1 \mapsto \gamma</math>, | * का अप्रासंगिक जटिल निरूपण <math>\Z / n\Z</math> बिल्कुल मानचित्रों द्वारा दिए गए हैं <math>1 \mapsto \gamma</math>, जहाँ <math>\gamma</math> <math>n</math>[[एकता की जड़|ता की जड़]]. | ||
* होने देना <math>V</math> सेम <math>n</math>-आयामी जटिल प्रतिनिधित्व <math>S_n</math> आधार के साथ <math>\{v_i\}^n_{i=1}</math>. तब <math>V</math> इरेप्स के प्रत्यक्ष योग के रूप में विघटित होता है <math display="block">V_\text{triv} = \Complex \left ( \sum^n_{i=1} v_i \right )</math> और ओर्थोगोनल उप-स्थान द्वारा दिया गया है <math display="block">V_\text{std} = \left \{ \sum^n_{i=1} a_i v_i : a_i \in \Complex, \sum^n_{i=1} a_i = 0 \right \}.</math> पूर्व इररेप -आयामी और तुच्छ प्रतिनिधित्व के लिए आइसोमोर्फिक है <math>S_n</math>. उत्तरार्द्ध है <math>n-1</math> आयामी और के मानक प्रतिनिधित्व के रूप में जाना जाता है <math>S_n</math>.<ref name="Serre"/>* होने देना <math>G</math> समूह बनें. का [[नियमित प्रतिनिधित्व]] <math>G</math> आधार पर मुक्त सम्मिश्र सदिश समष्टि है <math>\{e_g\}_{g \in G}</math> समूह क्रिया के साथ <math>g \cdot e_{g'} = e_{gg'}</math>, निरूपित <math>\Complex G.</math> के सभी अघुलनशील प्रतिनिधित्व <math>G</math> के विघटन में प्रकट होते हैं <math>\Complex G</math> इर्रेप्स के प्रत्यक्ष योग के रूप में। | * होने देना <math>V</math> सेम <math>n</math>-आयामी जटिल प्रतिनिधित्व <math>S_n</math> आधार के साथ <math>\{v_i\}^n_{i=1}</math>. तब <math>V</math> इरेप्स के प्रत्यक्ष योग के रूप में विघटित होता है <math display="block">V_\text{triv} = \Complex \left ( \sum^n_{i=1} v_i \right )</math> और ओर्थोगोनल उप-स्थान द्वारा दिया गया है <math display="block">V_\text{std} = \left \{ \sum^n_{i=1} a_i v_i : a_i \in \Complex, \sum^n_{i=1} a_i = 0 \right \}.</math> पूर्व इररेप -आयामी और तुच्छ प्रतिनिधित्व के लिए आइसोमोर्फिक है <math>S_n</math>. उत्तरार्द्ध है <math>n-1</math> आयामी और के मानक प्रतिनिधित्व के रूप में जाना जाता है <math>S_n</math>.<ref name="Serre"/>* होने देना <math>G</math> समूह बनें. का [[नियमित प्रतिनिधित्व]] <math>G</math> आधार पर मुक्त सम्मिश्र सदिश समष्टि है <math>\{e_g\}_{g \in G}</math> समूह क्रिया के साथ <math>g \cdot e_{g'} = e_{gg'}</math>, निरूपित <math>\Complex G.</math> के सभी अघुलनशील प्रतिनिधित्व <math>G</math> के विघटन में प्रकट होते हैं <math>\Complex G</math> इर्रेप्स के प्रत्यक्ष योग के रूप में। | ||
===अघुलनशील प्रतिनिधित्व का उदाहरण {{math|'''F'''<sub>''p''</sub>}}=== | ===अघुलनशील प्रतिनिधित्व का उदाहरण {{math|'''F'''<sub>''p''</sub>}}=== | ||
*होने देना <math>G</math> हो <math>p</math> समूह और <math>V = \mathbb{F}_p^{n}</math> G का परिमित आयामी अघुलनशील प्रतिनिधित्व बनें <math>\mathbb{F}_p</math>. कक्षा-स्थिरीकरण प्रमेय द्वारा, प्रत्येक की कक्षा <math>V</math> तत्व द्वारा कार्य किया गया <math>p</math> समूह <math>G</math> आकार की शक्ति है <math>p</math>. चूँकि इन सभी कक्षाओं के आकार का योग होता है <math>G</math>, और <math>0 \in V</math> आकार 1 की कक्षा में केवल स्वयं ही समाहित है, योग के मिलान के लिए आकार 1 की अन्य कक्षाएँ भी होनी चाहिए। | *होने देना <math>G</math> हो <math>p</math> समूह और <math>V = \mathbb{F}_p^{n}</math> G का परिमित आयामी अघुलनशील प्रतिनिधित्व बनें <math>\mathbb{F}_p</math>. कक्षा-स्थिरीकरण प्रमेय द्वारा, प्रत्येक की कक्षा <math>V</math> तत्व द्वारा कार्य किया गया <math>p</math> समूह <math>G</math> आकार की शक्ति है <math>p</math>. चूँकि इन सभी कक्षाओं के आकार का योग होता है <math>G</math>, और <math>0 \in V</math> आकार 1 की कक्षा में केवल स्वयं ही समाहित है, योग के मिलान के लिए आकार 1 की अन्य कक्षाएँ भी होनी चाहिए। अर्थात कुछ मौजूद है <math>v\in V</math> ऐसा है कि <math>gv = v</math> सभी के लिए <math>g \in G</math>. यह प्रत्येक अघुलनशील प्रतिनिधित्व को बाध्य करता है <math>p</math> समूह खत्म <math> \mathbb{F}_p</math> आयामी होना. | ||
==सैद्धांतिक भौतिकी और रसायन विज्ञान में अनुप्रयोग== | ==सैद्धांतिक भौतिकी और रसायन विज्ञान में अनुप्रयोग== | ||
Line 96: | Line 97: | ||
{{see also|Symmetry in quantum mechanics|Molecular symmetry|Jahn–Teller effect}} | {{see also|Symmetry in quantum mechanics|Molecular symmetry|Jahn–Teller effect}} | ||
[[क्वांटम भौतिकी]] और क्वांटम रसायन विज्ञान में, [[हैमिल्टनियन ऑपरेटर]] के डीजेनरेट ऊर्जा स्तरों के प्रत्येक सेट में वेक्टर स्थान | [[क्वांटम भौतिकी]] और क्वांटम रसायन विज्ञान में, [[हैमिल्टनियन ऑपरेटर]] के डीजेनरेट ऊर्जा स्तरों के प्रत्येक सेट में वेक्टर स्थान सम्मिलित होता है {{mvar|V}} हैमिल्टनियन के समरूपता समूह के प्रतिनिधित्व के लिए, मल्टीप्लेट, जिसका सबसे अच्छा अध्ययन इसके अपरिवर्तनीय भागों में कमी के माध्यम से किया गया है। अत: अप्रासंगिक अभ्यावेदन की पहचान करने से किसी को राज्यों को लेबल करने की अनुमति मिलती है, यह अनुमान लगाया जा सकता है कि गड़बड़ी के अंतर्गत वे ऊर्जा स्तर को कैसे विभाजित करेंगे; या अन्य राज्यों में संक्रमण {{mvar|V}}. इस प्रकार, क्वांटम यांत्रिकी में, सिस्टम के समरूपता समूह के अघुलनशील प्रतिनिधित्व आंशिक रूप से या पूरी तरह से सिस्टम के ऊर्जा स्तर को लेबल करते हैं, जिससे [[चयन नियम]]ों को निर्धारित करने की अनुमति मिलती है।<ref>{{cite web|publisher=Oxford Dictionary of Chemistry|title=रसायन शास्त्र का एक शब्दकोश, उत्तर.कॉम| edition=6th |url= http://www.answers.com/topic/irreducible-representation}}</ref>{{better source needed|date=August 2022}} | ||
== झूठ समूह == | == झूठ समूह == | ||
Line 105: | Line 106: | ||
{{main|Representation theory of the Lorentz group}} | {{main|Representation theory of the Lorentz group}} | ||
के इर्रेप्स {{math|''D''('''K''')}} और {{math|''D''('''J''')}}, | के इर्रेप्स {{math|''D''('''K''')}} और {{math|''D''('''J''')}}, जहाँ {{math|'''J'''}} घूर्णन का जनक है और {{math|'''K'''}} बूस्ट के जनरेटर का उपयोग लोरेंत्ज़ समूह के स्पिन अभ्यावेदन के निर्माण के लिए किया जा सकता है, क्योंकि वे क्वांटम यांत्रिकी के स्पिन आव्यूह से संबंधित हैं। यह उन्हें [[सापेक्ष तरंग समीकरण]] प्राप्त करने की अनुमति देता है।<ref>{{cite journal |author1=T. Jaroszewicz |author2=P. S. Kurzepa |year = 1992 |title = घूमते कणों के अंतरिक्ष-समय प्रसार की ज्यामिति|journal = Annals of Physics |doi = 10.1016/0003-4916(92)90176-M |volume=216 |issue=2 |pages=226–267 |bibcode=1992AnPhy.216..226J}}</ref> | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 19:07, 4 December 2023
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
गणित में, विशेष रूप से समूहों (गणित) और बीजगणित के प्रतिनिधित्व सिद्धांत में, अघुलनशील प्रतिनिधित्व या बीजगणितीय संरचना का उल्लंघन अशून्य प्रतिनिधित्व है जिसमें कोई उचित गैर-तुच्छ उप-प्रतिनिधित्व नहीं है , के साथ की एक्शन के अंतर्गत संवृत कर दिया गया।
हिल्बर्ट स्थान पर प्रत्येक परिमित-आयामी एकात्मक प्रतिनिधित्व अपरिवर्तनीय अभ्यावेदन का प्रत्यक्ष योग है। अघुलनशील अभ्यावेदन सदैव अविभाज्य होते हैं (अर्थात अभ्यावेदन के प्रत्यक्ष योग में इसे आगे विघटित नहीं किया जा सकता है), किंतु इसका विपरीत प्रभाव नहीं हो सकता है, उदाहरण के लिए ऊपरी त्रिकोणीय यूनीपोटेंट आव्यूह द्वारा कार्य करने वाली वास्तविक संख्याओं का द्वि-आयामी प्रतिनिधित्व अविभाज्य किंतु कम करने योग्य है।
इतिहास
मॉड्यूलर प्रतिनिधित्व सिद्धांत देने के लिए 1940 के दशक में रिचर्ड ब्रौएर द्वारा समूह प्रतिनिधित्व सिद्धांत को सामान्यीकृत किया गया था, जिसमें आव्यूह ऑपरेटर क्षेत्र (गणित) पर सदिश समष्टि पर कार्य करते हैं। वास्तविक संख्याओं के क्षेत्र में या सम्मिश्र संख्याओं के क्षेत्र में सदिश स्थान के अतिरिक्त स्वेछानुसार विशेषता (बीजगणित) का परिणामी सिद्धांत में अपरिवर्तनीय प्रतिनिधित्व के अनुरूप संरचना का सरल मॉड्यूल है।
अवलोकन
मान लीजिये प्रतिनिधित्व अर्थात समरूपता समूह का जहाँ क्षेत्र के ऊपर सदिश समष्टि है, यदि हम कोई आधार का चयन करते हैं तो के लिए , को समूह से व्युत्क्रमणीय आव्यूह के सेट में फलन ( समरूपता) के रूप में सोचा जा सकता है और इस संदर्भ में इसे आव्यूह प्रतिनिधित्व कहा जाता है। चूँकि, यदि हम बिना किसी आधार के समष्टि के बारे में सोचें तो यह चीजों को अधिक सरल बना देता है।
रैखिक उपसमष्टि को कहा जाता है। -अपरिवर्तनीय यदि सभी के लिए और सभी का सह-प्रतिबंध के सामान्य रैखिक समूह के लिए -अपरिवर्तनीय उपसमष्टि को उपनिरूपण के रूप में जाना जाता है। प्रतिनिधित्व इसे अलघुकरणीय कहा जाता है यदि इसमें केवल तुच्छ (गणित) उप-निरूपण हो (सभी अभ्यावेदन तुच्छ के साथ उप-निरूपण बना सकते हैं) -अपरिवर्तनीय उप-समष्टि, उदा. संपूर्ण सदिश समष्टि , और शून्य सदिश समष्टि {0} यदि कोई उचित गैर-तुच्छ अपरिवर्तनीय उप-समष्टि है, तो को कम करने योग्य कहा जाता है।
समूह अभ्यावेदन का संकेतन और शब्दावली
समूह तत्वों को आव्यूह (गणित) द्वारा दर्शाया जा सकता है, चूँकि इस संदर्भ में प्रतिनिधित्व शब्द का विशिष्ट और त्रुटिहीन अर्थ है। किसी समूह का प्रतिनिधित्व समूह के तत्वों से आव्यूहों के सामान्य रैखिक समूह तक का मानचित्रण है। संकेतन के रूप में, मान लें कि a, b, c, ... समूह G के तत्वों को बिना किसी प्रतीक के समूह उत्पाद के साथ दर्शाते हैं, इसलिए ab, a और b का समूह उत्पाद है और G, का तत्व भी है, और प्रतिनिधित्व को दर्शाया जाना चाहिए। D द्वारा a का निरूपण इस प्रकार लिखा जाता है:
समूह अभ्यावेदन की परिभाषा के अनुसार, समूह उत्पाद का प्रतिनिधित्व अभ्यावेदन के आव्यूह गुणन में अनुवादित किया जाता है:
यदि e समूह का पहचान तत्व है (इसलिए ae = ea = a, आदि), फिर D(e) पहचान आव्यूह है, या पहचान आव्यूह का ब्लॉक आव्यूह है, क्योंकि हमारे पास होना चाहिए:
और इसी प्रकार समूह के अन्य सभी तत्वों के लिए भी अंतिम दो कथन उस आवश्यकता के अनुरूप हैं कि D समूह समरूपता है।
न्यूनीकरणीय और अपरिवर्तनीय प्रतिनिधित्व
प्रतिनिधित्व न्यूनीकरणीय है यदि इसमें गैर-तुच्छ G-अपरिवर्तनीय उप-समष्टि सम्मिलित है, अर्थात, सभी आव्यूह को उसी व्युत्क्रमणीय आव्यूह द्वारा ऊपरी त्रिकोणीय ब्लॉक रूप में रखा जा सकता है दूसरे शब्दों में , यदि कोई समानता परिवर्तन है:
जो प्रतिनिधित्व में प्रत्येक आव्यूह को समान पैटर्न ऊपरी त्रिकोणीय ब्लॉकों में मैप करता है। प्रत्येक क्रमित अनुक्रम लघु ब्लॉक समूह उपप्रस्तुति है। कहने का तात्पर्य यह है कि, यदि प्रतिनिधित्व, उदाहरण के लिए, आयाम 2 का है, तो हमारे पास है:
सूचना: भले ही कोई प्रतिनिधित्व कम किया जा सके, फिर भी इसका आव्यूह प्रतिनिधित्व ऊपरी त्रिकोणीय ब्लॉक रूप नहीं हो सकता है। इसका यह रूप तभी होगा जब हम उपयुक्त आधार का चयन करेंगे, जिसे आव्यूह मानक आधार से ऊपर प्रारम्भ करके प्राप्त किया जा सकता है।
विघटित और अविघटित अभ्यावेदन
यदि सभी आव्यूह हों तो प्रतिनिधित्व विघटित हो सकता है को उसी व्युत्क्रमणीय आव्यूह द्वारा ब्लॉक-विकर्ण के रूप में रखा जा सकता है। दूसरे शब्दों में, यदि आव्यूह समानता है:[1]
जो प्रतिनिधित्व में प्रत्येक आव्यूह को विकर्ण ब्लॉक के समान पैटर्न में विकर्णित करता है। ऐसा प्रत्येक ब्लॉक दूसरों से स्वतंत्र समूह उपप्रतिनिधित्व है। अभ्यावेदन D(a) और D′(a) को समतुल्य निरूपण कहा जाता है।[2] (k-आयामी, मान लीजिए) प्रतिनिधित्व को k > 1 आव्यूहों के प्रत्यक्ष योग में विघटित किया जा सकता है:
इसलिए D(a) विघटित हो सकता है, और कोष्ठक में सुपरस्क्रिप्ट द्वारा विघटित आव्यूह को लेबल करने की प्रथा है, जैसे कि n = 1, 2, ..., k के लिए D(n)(a) में, चूँकि कुछ लेखक केवल कोष्ठक के बिना संख्यात्मक लेबल लिखते हैं।
D(a) का आयाम ब्लॉकों के आयामों का योग है:
यदि यह संभव नहीं है, अर्थात k = 1, तो प्रतिनिधित्व अविभाज्य है।[1][3]
सूचना: भले ही कोई प्रतिनिधित्व विघटित हो, उसका आव्यूह प्रतिनिधित्व विकर्ण ब्लॉक रूप नहीं हो सकता है। इसका यह रूप तभी होगा जब हम उपयुक्त आधार का चयन करेंगे, जिसे आव्यूह मानक आधार से ऊपर प्रारम्भ करके प्राप्त किया जा सकता है।
अघुलनशील प्रतिनिधित्व और अविभाज्य प्रतिनिधित्व के मध्य संबंध
अघुलनशील प्रतिनिधित्व स्वभाव से अविभाज्य प्रतिनिधित्व है। चूँकि, कन्वर्से विफल हो सकता है।
किंतु कुछ नियमों के अंतर्गत, हमारे पास अविभाज्य प्रतिनिधित्व है जो अघुलनशील प्रतिनिधित्व है।
- जब समूह परिमित है, और इसका क्षेत्र पर प्रतिनिधित्व है, तो अविभाज्य प्रतिनिधित्व अघुलनशील प्रतिनिधित्व है। [4]
- जब समूह परिमित है, और इसका क्षेत्र पर प्रतिनिधित्व है, यदि हमारे पास है तो अविभाज्य प्रतिनिधित्व अघुलनशील प्रतिनिधित्व है।
अघुलनशील अभ्यावेदन के उदाहरण
तुच्छ प्रतिनिधित्व
सभी समूह पहचान परिवर्तन के लिए सभी समूह तत्वों को मैप करके -आयामी, अघुलनशील तुच्छ प्रतिनिधित्व करें।
-आयामी प्रतिनिधित्व
कोई भी -आयामी प्रतिनिधित्व अप्रासंगिक है क्योंकि इसमें कोई उचित गैर-तुच्छ उप-स्थान नहीं है।
अघुलनशील जटिल निरूपण
परिमित समूह G के अघुलनशील जटिल निरूपण को चरित्र सिद्धांत के परिणामों का उपयोग करके चित्रित किया जा सकता है। विशेष रूप से, सभी जटिल निरूपण इरेप्स के प्रत्यक्ष योग और इरेप्स की संख्या के रूप में विघटित होते हैं के संयुग्मी वर्गों की संख्या के बराबर है .[5]
- का अप्रासंगिक जटिल निरूपण बिल्कुल मानचित्रों द्वारा दिए गए हैं , जहाँ ता की जड़.
- होने देना सेम -आयामी जटिल प्रतिनिधित्व आधार के साथ . तब इरेप्स के प्रत्यक्ष योग के रूप में विघटित होता है और ओर्थोगोनल उप-स्थान द्वारा दिया गया हैपूर्व इररेप -आयामी और तुच्छ प्रतिनिधित्व के लिए आइसोमोर्फिक है . उत्तरार्द्ध है आयामी और के मानक प्रतिनिधित्व के रूप में जाना जाता है .[5]* होने देना समूह बनें. का नियमित प्रतिनिधित्व आधार पर मुक्त सम्मिश्र सदिश समष्टि है समूह क्रिया के साथ , निरूपित के सभी अघुलनशील प्रतिनिधित्व के विघटन में प्रकट होते हैं इर्रेप्स के प्रत्यक्ष योग के रूप में।
अघुलनशील प्रतिनिधित्व का उदाहरण Fp
- होने देना हो समूह और G का परिमित आयामी अघुलनशील प्रतिनिधित्व बनें . कक्षा-स्थिरीकरण प्रमेय द्वारा, प्रत्येक की कक्षा तत्व द्वारा कार्य किया गया समूह आकार की शक्ति है . चूँकि इन सभी कक्षाओं के आकार का योग होता है , और आकार 1 की कक्षा में केवल स्वयं ही समाहित है, योग के मिलान के लिए आकार 1 की अन्य कक्षाएँ भी होनी चाहिए। अर्थात कुछ मौजूद है ऐसा है कि सभी के लिए . यह प्रत्येक अघुलनशील प्रतिनिधित्व को बाध्य करता है समूह खत्म आयामी होना.
सैद्धांतिक भौतिकी और रसायन विज्ञान में अनुप्रयोग
क्वांटम भौतिकी और क्वांटम रसायन विज्ञान में, हैमिल्टनियन ऑपरेटर के डीजेनरेट ऊर्जा स्तरों के प्रत्येक सेट में वेक्टर स्थान सम्मिलित होता है V हैमिल्टनियन के समरूपता समूह के प्रतिनिधित्व के लिए, मल्टीप्लेट, जिसका सबसे अच्छा अध्ययन इसके अपरिवर्तनीय भागों में कमी के माध्यम से किया गया है। अत: अप्रासंगिक अभ्यावेदन की पहचान करने से किसी को राज्यों को लेबल करने की अनुमति मिलती है, यह अनुमान लगाया जा सकता है कि गड़बड़ी के अंतर्गत वे ऊर्जा स्तर को कैसे विभाजित करेंगे; या अन्य राज्यों में संक्रमण V. इस प्रकार, क्वांटम यांत्रिकी में, सिस्टम के समरूपता समूह के अघुलनशील प्रतिनिधित्व आंशिक रूप से या पूरी तरह से सिस्टम के ऊर्जा स्तर को लेबल करते हैं, जिससे चयन नियमों को निर्धारित करने की अनुमति मिलती है।[6][better source needed]
झूठ समूह
लोरेंत्ज़ समूह
के इर्रेप्स D(K) और D(J), जहाँ J घूर्णन का जनक है और K बूस्ट के जनरेटर का उपयोग लोरेंत्ज़ समूह के स्पिन अभ्यावेदन के निर्माण के लिए किया जा सकता है, क्योंकि वे क्वांटम यांत्रिकी के स्पिन आव्यूह से संबंधित हैं। यह उन्हें सापेक्ष तरंग समीकरण प्राप्त करने की अनुमति देता है।[7]
यह भी देखें
साहचर्य बीजगणित
- सरल मॉड्यूल
- अविघटनीय मॉड्यूल
- साहचर्य बीजगणित का प्रतिनिधित्व
झूठ समूह
- झूठ बीजगणित का प्रतिनिधित्व सिद्धांत
- एसयू(2) का प्रतिनिधित्व सिद्धांत
- SL2(R) का प्रतिनिधित्व सिद्धांत
- गैलीलियन समूह का प्रतिनिधित्व सिद्धांत
- भिन्नता समूहों का प्रतिनिधित्व सिद्धांत
- पोंकारे समूह का प्रतिनिधित्व सिद्धांत
- उच्चतम भार का प्रमेय
संदर्भ
- ↑ 1.0 1.1 E. P. Wigner (1959). समूह सिद्धांत और परमाणु स्पेक्ट्रा के क्वांटम यांत्रिकी में इसका अनुप्रयोग. Pure and applied physics. Academic press. p. 73.
- ↑ W. K. Tung (1985). भौतिकी में समूह सिद्धांत. World Scientific. p. 32. ISBN 978-997-1966-560.
- ↑ W. K. Tung (1985). भौतिकी में समूह सिद्धांत. World Scientific. p. 33. ISBN 978-997-1966-560.
- ↑ Artin, Michael (2011). बीजगणित (2nd ed.). Pearson. p. 295. ISBN 978-0132413770.
- ↑ 5.0 5.1 Serre, Jean-Pierre (1977). परिमित समूहों का रैखिक निरूपण. Springer-Verlag. ISBN 978-0-387-90190-9.
- ↑ "रसायन शास्त्र का एक शब्दकोश, उत्तर.कॉम" (6th ed.). Oxford Dictionary of Chemistry.
- ↑ T. Jaroszewicz; P. S. Kurzepa (1992). "घूमते कणों के अंतरिक्ष-समय प्रसार की ज्यामिति". Annals of Physics. 216 (2): 226–267. Bibcode:1992AnPhy.216..226J. doi:10.1016/0003-4916(92)90176-M.
किताबें
- H. Weyl (1950). समूहों और क्वांटम यांत्रिकी का सिद्धांत. Courier Dover Publications. p. 203. ISBN 978-0-486-60269-1.
सापेक्षतावादी क्वांटम यांत्रिकी में चुंबकीय क्षण।
- P. R. Bunker; Per Jensen (2004). आणविक समरूपता के मूल सिद्धांत. CRC Press. ISBN 0-7503-0941-5.[हत्तपः://ववव.रूटलेज.कॉम/फंडामेंटल्स-ऑफ़-मॉलिक्यूलर-सिमिट्री/बंकर-जेन्सेन/प/बुक/9780750309417]
- A. D. Boardman; D. E. O'Conner; P. A. Young (1973). समरूपता और विज्ञान में इसके अनुप्रयोग. McGraw Hill. ISBN 978-0-07-084011-9.
- V. Heine (2007). क्वांटम यांत्रिकी में समूह सिद्धांत: इसके वर्तमान उपयोग का परिचय. Dover. ISBN 978-0-07-084011-9.
- V. Heine (1993). क्वांटम यांत्रिकी में समूह सिद्धांत: इसके वर्तमान उपयोग का एक परिचय. Courier Dover Publications. ISBN 978-048-6675-855.
- E. Abers (2004). क्वांटम यांत्रिकी. Addison Wesley. p. 425. ISBN 978-0-13-146100-0.
- B. R. Martin, G.Shaw (3 December 2008). कण भौतिकी (3rd ed.). Manchester Physics Series, John Wiley & Sons. p. 3. ISBN 978-0-470-03294-7.
- Weinberg, S. (1995), The Quantum Theory of Fields, vol. 1, Cambridge university press, pp. 230–231, ISBN 978-0-521-55001-7
- Weinberg, S. (1996), The Quantum Theory of Fields, vol. 2, Cambridge university press, ISBN 978-0-521-55002-4
- Weinberg, S. (2000), The Quantum Theory of Fields, vol. 3, Cambridge university press, ISBN 978-0-521-66000-6
- R. Penrose (2007). वास्तविकता की राह. Vintage books. ISBN 978-0-679-77631-4.
- P. W. Atkins (1970). आणविक क्वांटम यांत्रिकी (भाग 1 और 2): क्वांटम रसायन विज्ञान का परिचय. Vol. 1. Oxford University Press. pp. 125–126. ISBN 978-0-19-855129-4.
लेख
- Bargmann, V.; Wigner, E. P. (1948). "सापेक्षतावादी तरंग समीकरणों की समूह सैद्धांतिक चर्चा". Proc. Natl. Acad. Sci. U.S.A. 34 (5): 211–23. Bibcode:1948PNAS...34..211B. doi:10.1073/pnas.34.5.211. PMC 1079095. PMID 16578292.
- E. Wigner (1937). "अमानवीय लोरेंत्ज़ समूह के एकात्मक प्रतिनिधित्व पर" (PDF). Annals of Mathematics. 40 (1): 149–204. Bibcode:1939AnMat..40..149W. doi:10.2307/1968551. JSTOR 1968551. MR 1503456. S2CID 121773411. Archived from the original (PDF) on 2015-10-04. Retrieved 2013-07-07.
अग्रिम पठन
- Artin, Michael (1999). "Noncommutative Rings" (PDF). Chapter V.