अघुलनशील प्रतिनिधित्व: 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> अपरिवर्तनीय अभ्यावेदन का [[प्रत्यक्ष योग]] है। अघुलनशील अभ्यावेदन हमेशा अविभाज्य होते हैं (अर्थात अभ्यावेदन के प्रत्यक्ष योग में इसे आगे विघटित नहीं किया जा सकता है), लेकिन इसका विपरीत प्रभाव नहीं हो सकता है, उदाहरण के लिए ऊपरी त्रिकोणीय [[एकशक्तिशाली]] मैट्रिक्स द्वारा कार्य करने वाली वास्तविक संख्याओं का द्वि-आयामी प्रतिनिधित्व अविभाज्य लेकिन कम करने योग्य है। | [[हिल्बर्ट स्थान]] पर प्रत्येक परिमित-आयामी [[एकात्मक प्रतिनिधित्व|ात्मक प्रतिनिधित्व]] <math>V</math> अपरिवर्तनीय अभ्यावेदन का [[प्रत्यक्ष योग]] है। अघुलनशील अभ्यावेदन हमेशा अविभाज्य होते हैं (अर्थात अभ्यावेदन के प्रत्यक्ष योग में इसे आगे विघटित नहीं किया जा सकता है), लेकिन इसका विपरीत प्रभाव नहीं हो सकता है, उदाहरण के लिए ऊपरी त्रिकोणीय [[एकशक्तिशाली|शक्तिशाली]] मैट्रिक्स द्वारा कार्य करने वाली वास्तविक संख्याओं का द्वि-आयामी प्रतिनिधित्व अविभाज्य लेकिन कम करने योग्य है। | ||
==इतिहास== | ==इतिहास== | ||
समूह प्रतिनिधित्व सिद्धांत को 1940 के दशक से [[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] देने के लिए [[ रिचर्ड ब्रौएर ]] द्वारा सामान्यीकृत किया गया था, जिसमें मैट्रिक्स ऑपरेटर | समूह प्रतिनिधित्व सिद्धांत को 1940 के दशक से [[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] देने के लिए [[ रिचर्ड ब्रौएर ]] द्वारा सामान्यीकृत किया गया था, जिसमें मैट्रिक्स ऑपरेटर क्षेत्र (गणित) पर वेक्टर स्थान पर कार्य करते हैं। <math>K</math> [[वास्तविक संख्या]]ओं के क्षेत्र में या सम्मिश्र संख्याओं के क्षेत्र में सदिश स्थान के बजाय मनमानी [[विशेषता (बीजगणित)]] का। परिणामी सिद्धांत में अपरिवर्तनीय प्रतिनिधित्व के अनुरूप संरचना [[सरल मॉड्यूल]] है।{{citation needed|date=July 2013}} | ||
==अवलोकन== | ==अवलोकन== | ||
Line 13: | Line 13: | ||
{{details|Group representation}} | {{details|Group representation}} | ||
होने देना <math>\rho</math> | होने देना <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>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''}}. ''ए'' का निरूपण इस प्रकार लिखा जाता है | ||
:<math>D(a) = \begin{pmatrix} | :<math>D(a) = \begin{pmatrix} | ||
Line 30: | Line 30: | ||
:<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|''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''}} | और इसी प्रकार समूह के अन्य सभी तत्वों के लिए भी। अंतिम दो कथन उस आवश्यकता के अनुरूप हैं {{math|''D''}} [[समूह समरूपता]] है। | ||
=== न्यूनीकरणीय और अप्रासंगिक निरूपण === | === न्यूनीकरणीय और अप्रासंगिक निरूपण === | ||
प्रतिनिधित्व कम करने योग्य है यदि इसमें गैर-तुच्छ जी-अपरिवर्तनीय उप-स्थान शामिल है, यानी, सभी मैट्रिक्स <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>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> (के-आयामी, मान लीजिए) प्रतिनिधित्व को आव्यूहों के प्रत्यक्ष योग में विघटित किया जा सकता है| {{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|''D''<sup>(''n'')</sup>(''a'')}} के लिए {{math|1=''n'' = 1, 2, ..., ''k''}}, हालांकि कुछ लेखक केवल कोष्ठक के बिना संख्यात्मक लेबल लिखते हैं। | ||
का आयाम {{math|''D''(''a'')}} ब्लॉकों के आयामों का योग है: | का आयाम {{math|''D''(''a'')}} ब्लॉकों के आयामों का योग है: | ||
Line 65: | Line 65: | ||
:<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|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>\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>, तो | *जब समूह <math>G</math> परिमित है, और इसका क्षेत्र पर प्रतिनिधित्व है <math>K</math>, अगर हमारे पास है <math>char(K)\nmid |G|</math>, तो अविभाज्य प्रतिनिधित्व अघुलनशील प्रतिनिधित्व है। | ||
==अघुलनशील अभ्यावेदन के उदाहरण== | ==अघुलनशील अभ्यावेदन के उदाहरण== | ||
===तुच्छ प्रतिनिधित्व=== | ===तुच्छ प्रतिनिधित्व=== | ||
सभी समूह <math>G</math> पहचान परिवर्तन के लिए सभी समूह तत्वों को मैप करके | सभी समूह <math>G</math> पहचान परिवर्तन के लिए सभी समूह तत्वों को मैप करके -आयामी, अघुलनशील तुच्छ प्रतिनिधित्व करें। | ||
=== | === -आयामी प्रतिनिधित्व === | ||
कोई भी | कोई भी -आयामी प्रतिनिधित्व अप्रासंगिक है क्योंकि इसमें कोई उचित गैर-तुच्छ उप-स्थान नहीं है। | ||
===अघुलनशील जटिल निरूपण=== | ===अघुलनशील जटिल निरूपण=== | ||
परिमित समूह 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>\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>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>G</math> | *होने देना <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 96: | ||
{{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}} | ||
== झूठ समूह == | == झूठ समूह == |
Revision as of 18:11, 4 December 2023
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
गणित में, विशेष रूप से क्षेत्र पर समूह (गणित) और बीजगणित के प्रतिनिधित्व सिद्धांत में, अघुलनशील प्रतिनिधित्व या बीजगणितीय संरचना का उल्लंघन गैर-शून्य प्रतिनिधित्व है जिसका कोई उचित गैर-तुच्छ उप-प्रस्तुतिकरण नहीं है , साथ की समूह कार्रवाई के तहत बंद कर दिया गया .
हिल्बर्ट स्थान पर प्रत्येक परिमित-आयामी ात्मक प्रतिनिधित्व अपरिवर्तनीय अभ्यावेदन का प्रत्यक्ष योग है। अघुलनशील अभ्यावेदन हमेशा अविभाज्य होते हैं (अर्थात अभ्यावेदन के प्रत्यक्ष योग में इसे आगे विघटित नहीं किया जा सकता है), लेकिन इसका विपरीत प्रभाव नहीं हो सकता है, उदाहरण के लिए ऊपरी त्रिकोणीय शक्तिशाली मैट्रिक्स द्वारा कार्य करने वाली वास्तविक संख्याओं का द्वि-आयामी प्रतिनिधित्व अविभाज्य लेकिन कम करने योग्य है।
इतिहास
समूह प्रतिनिधित्व सिद्धांत को 1940 के दशक से मॉड्यूलर प्रतिनिधित्व सिद्धांत देने के लिए रिचर्ड ब्रौएर द्वारा सामान्यीकृत किया गया था, जिसमें मैट्रिक्स ऑपरेटर क्षेत्र (गणित) पर वेक्टर स्थान पर कार्य करते हैं। वास्तविक संख्याओं के क्षेत्र में या सम्मिश्र संख्याओं के क्षेत्र में सदिश स्थान के बजाय मनमानी विशेषता (बीजगणित) का। परिणामी सिद्धांत में अपरिवर्तनीय प्रतिनिधित्व के अनुरूप संरचना सरल मॉड्यूल है।[citation needed]
अवलोकन
होने देना प्रतिनिधित्व हो यानी समरूपता समूह का कहाँ क्षेत्र के ऊपर सदिश स्थान है (गणित) . यदि हम कोई आधार चुनते हैं के लिए , समूह से व्युत्क्रमणीय मैट्रिक्स के सेट में फ़ंक्शन ( समरूपता) के रूप में सोचा जा सकता है और इस संदर्भ में इसे मैट्रिक्स प्रतिनिधित्व कहा जाता है। हालाँकि, अगर हम अंतरिक्ष के बारे में सोचें तो यह चीजों को बहुत सरल बना देता है बिना किसी आधार के.
रैखिक उपस्थान कहा जाता है-अपरिवर्तनीय अगर सभी के लिए और सभी . का सह-प्रतिबंध ए के सामान्य रैखिक समूह के लिए -अपरिवर्तनीय उपस्थान उपप्रतिनिधित्व के रूप में जाना जाता है। प्रतिनिधित्व इसे अप्रासंगिक कहा जाता है यदि इसमें केवल तुच्छ (गणित) उप-निरूपण हो (सभी अभ्यावेदन तुच्छ के साथ उप-निरूपण बना सकते हैं) -अपरिवर्तनीय उप-स्थान, उदा. संपूर्ण सदिश स्थान , और शून्य सदिश समष्टि|{0}). यदि कोई उचित गैर-तुच्छ अपरिवर्तनीय उप-स्थान है, कहा जाता है कि यह कम करने योग्य है।
समूह अभ्यावेदन का संकेतन और शब्दावली
समूह तत्वों को मैट्रिक्स (गणित) द्वारा दर्शाया जा सकता है, हालांकि इस संदर्भ में प्रतिनिधित्व शब्द का विशिष्ट और सटीक अर्थ है। किसी समूह का प्रतिनिधित्व समूह के तत्वों से आव्यूहों के सामान्य रैखिक समूह तक का मानचित्रण है। संकेतन के रूप में, चलो a, b, c, ... किसी समूह के तत्वों को निरूपित करें G समूह उत्पाद के साथ बिना किसी प्रतीक के दर्शाया गया है, इसलिए ab का समूह उत्पाद है a और b और का तत्व भी है G, और अभ्यावेदन द्वारा संकेत दिया जाए D. ए का निरूपण इस प्रकार लिखा जाता है
समूह अभ्यावेदन की परिभाषा के अनुसार, समूह उत्पाद का प्रतिनिधित्व अभ्यावेदन के मैट्रिक्स गुणन में अनुवादित किया जाता है:
अगर e समूह का पहचान तत्व है (इसलिए ae = ea = a, आदि), फिर D(e) पहचान मैट्रिक्स है, या पहचान मैट्रिक्स का ब्लॉक मैट्रिक्स है, क्योंकि हमारे पास होना चाहिए
और इसी प्रकार समूह के अन्य सभी तत्वों के लिए भी। अंतिम दो कथन उस आवश्यकता के अनुरूप हैं D समूह समरूपता है।
न्यूनीकरणीय और अप्रासंगिक निरूपण
प्रतिनिधित्व कम करने योग्य है यदि इसमें गैर-तुच्छ जी-अपरिवर्तनीय उप-स्थान शामिल है, यानी, सभी मैट्रिक्स उसी व्युत्क्रमणीय मैट्रिक्स द्वारा ऊपरी त्रिकोणीय ब्लॉक रूप में रखा जा सकता है . दूसरे शब्दों में, यदि कोई समानता परिवर्तन है:
जो प्रतिनिधित्व में प्रत्येक मैट्रिक्स को समान पैटर्न ऊपरी त्रिकोणीय ब्लॉकों में मैप करता है। प्रत्येक क्रमित अनुक्रम लघु ब्लॉक समूह उपप्रस्तुति है। कहने का तात्पर्य यह है कि, यदि प्रतिनिधित्व, उदाहरण के लिए, आयाम 2 का है, तो हमारे पास है:
सूचना: भले ही कोई प्रतिनिधित्व कम किया जा सके, फिर भी इसका मैट्रिक्स प्रतिनिधित्व ऊपरी त्रिकोणीय ब्लॉक रूप नहीं हो सकता है। इसका यह रूप तभी होगा जब हम उपयुक्त आधार चुनेंगे, जिसे मैट्रिक्स लागू करके प्राप्त किया जा सकता है मानक आधार से ऊपर.
विघटित और अविघटित अभ्यावेदन
यदि सभी आव्यूह हों तो प्रतिनिधित्व विघटित हो सकता है उसी व्युत्क्रमणीय मैट्रिक्स द्वारा ब्लॉक-विकर्ण रूप में रखा जा सकता है . दूसरे शब्दों में, यदि मैट्रिक्स समानता है:[1]
कौन सा मैट्रिक्स प्रतिनिधित्व में प्रत्येक मैट्रिक्स को विकर्ण मैट्रिक्स ब्लॉक मैट्रिक्स के समान पैटर्न में विकर्ण करता है। ऐसा प्रत्येक ब्लॉक दूसरों से स्वतंत्र समूह उपप्रतिनिधित्व है। अभ्यावेदन D(a) और D′(a) को समतुल्य निरूपण कहा जाता है।[2] (के-आयामी, मान लीजिए) प्रतिनिधित्व को आव्यूहों के प्रत्यक्ष योग में विघटित किया जा सकता है| k > 1 मैट्रिक्स:
इसलिए D(a) विघटित करने योग्य है, और विघटित मैट्रिक्स को कोष्ठक में सुपरस्क्रिप्ट द्वारा लेबल करने की प्रथा है, जैसा कि D(n)(a) के लिए n = 1, 2, ..., k, हालांकि कुछ लेखक केवल कोष्ठक के बिना संख्यात्मक लेबल लिखते हैं।
का आयाम 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.