अपरिवर्तनीय सिद्धांत: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Mathematical study of invariants under symmetries
{{Short description|Mathematical study of invariants under symmetries
}}
}}
अपरिवर्तनीय सिद्धांत सार बीजगणित की एक शाखा है जो कार्यों पर उनके प्रभाव के दृष्टिकोण से बीजगणितीय किस्मों, जैसे वेक्टर रिक्त स्थान पर [[समूह (गणित)]] के कार्यों से निपटती है। शास्त्रीय रूप से, सिद्धांत बहुपद कार्यों के स्पष्ट विवरण के प्रश्न से संबंधित है जो किसी दिए गए [[रैखिक समूह]] से परिवर्तनों के तहत बदलते नहीं हैं, या अपरिवर्तनीय हैं। उदाहरण के लिए, यदि हम विशेष रेखीय समूह <math>SLn</math> की क्रिया को n के स्थान पर n मेट्रिसेस द्वारा बाएँ गुणन द्वारा मानते हैं, तो निर्धारक इस क्रिया का एक अपरिवर्तनीय है क्योंकि AX का निर्धारक X के निर्धारक के बराबर होता है, जब A में <math>SLn</math> होता है।
अपरिवर्तनीय सिद्धांत सार बीजगणित की शाखा है जो कार्यों पर उनके प्रभाव के दृष्टिकोण से बीजगणितीय किस्मों, जैसे सदिश समष्टि पर [[समूह (गणित)]] के कार्यों से निपटती है। मौलिक रूप से, सिद्धांत बहुपद कार्यों के स्पष्ट विवरण के प्रश्न से संबंधित है, जो किसी दिए गए [[रैखिक समूह]] से परिवर्तनों के अनुसार बदलते नहीं हैं, या अपरिवर्तनीय हैं। इसी प्रकार उदाहरण के लिए, यदि हम विशेष रेखीय समूह <math>SLn</math> की क्रिया को n के समष्टि पर n मेट्रिसेस द्वारा बाएँ गुणन द्वारा मानते हैं, तो निर्धारक इस क्रिया का अपरिवर्तनीय है क्योंकि AX का निर्धारक X के निर्धारक के बराबर होता है, जब A में <math>SLn</math> होता है।


== परिचय ==
== परिचय ==
होने देना <math>G</math> एक समूह (गणित) हो, और <math>V</math> एक [[क्षेत्र (गणित)]] पर एक परिमित आयामी सदिश स्थान <math>k</math> (जो शास्त्रीय अपरिवर्तनीय सिद्धांत में आमतौर पर [[जटिल संख्या]] माना जाता था)। का एक [[समूह प्रतिनिधित्व]] <math>G</math> में <math>V</math> एक [[समूह समरूपता]] है <math>\pi:G \to GL(V)</math>, जो एक समूह क्रिया (गणित) को प्रेरित करता है <math>G</math> पर <math>V</math>. अगर <math>k[V]</math> बहुपद फलन का वलय है | बहुपद फलन का स्थान चालू है <math>V</math>, फिर समूह की कार्रवाई <math>G</math> पर <math>V</math> पर क्रिया उत्पन्न करता है <math>k[V]</math> निम्नलिखित सूत्र द्वारा:
इसी प्रकार मान लीजिये <math>G</math> एक समूह है, और <math>V</math> एक [[क्षेत्र (गणित)]] <math>k</math> पर एक परिमित-आयामी सदिश समष्टि है (जो मौलिक अपरिवर्तनीय सिद्धांत में सामान्यतः [[जटिल संख्या]] माना जाता था)। <math>V</math> में <math>G</math> का [[समूह प्रतिनिधित्व]] एक [[समूह समरूपता]] है, <math>\pi:G \to GL(V)</math> जो <math>V</math> पर <math>G</math> की समूह क्रिया को प्रेरित करता है। इसी प्रकार यदि <math>k[V]</math> पर बहुपद कार्यों की समष्टि है, तो <math>V</math> पर <math>G</math> की समूह क्रिया निम्न सूत्र द्वारा <math>k[V]</math> पर एक क्रिया उत्पन्न करती है:
:<math>(g \cdot f)(x) := f(g^{-1} (x)) \qquad \forall x \in V, g \in G, f\in k[V]. </math> इस क्रिया के साथ सभी बहुपद कार्यों के उप-स्थान पर विचार करना स्वाभाविक है जो इस समूह क्रिया के तहत अपरिवर्तनीय हैं, दूसरे शब्दों में बहुपदों का सेट जैसे कि <math>g\cdot f = f</math> सभी के लिए <math>g\in G</math>. अपरिवर्तनीय बहुपदों के इस स्थान को निरूपित किया जाता है <math>k[V]^G</math>.
:<math>(g \cdot f)(x) := f(g^{-1} (x)) \qquad \forall x \in V, g \in G, f\in k[V] </math>


अपरिवर्तनीय सिद्धांत की पहली समस्या:<ref>{{cite book|last1=Borel|first1=Armand|author-link = Armand Borel|title=झूठ समूहों और बीजगणितीय समूहों के इतिहास में निबंध|date=2001|publisher=American mathematical society and London mathematical society|volume=History of Mathematics, Vol. 21|ISBN=978-0821802885}}</ref> है <math>k[V]^G</math> एक [[अंतिम रूप से उत्पन्न बीजगणित]] <math>k</math>?
इस क्रिया के साथ सभी बहुपद कार्यों के उप-समष्टि पर विचार करना स्वाभाविक है जो इस समूह क्रिया के अनुसार अपरिवर्तनीय हैं, दूसरे शब्दों में बहुपदों का सेट जैसे कि <math>g\cdot f = f</math> सभी के लिए <math>g\in G</math>, अपरिवर्तनीय बहुपदों के इस समष्टि को <math>k[V]^G</math> दर्शाया गया है।


उदाहरण के लिए, अगर <math>G=SL_n</math> और <math>V=M_n</math> वर्ग मैट्रिसेस का स्थान, और की क्रिया <math>G</math> पर <math>V</math> बाएं गुणन द्वारा दिया जाता है, तब <math>k[V]^G</math> निर्धारक द्वारा उत्पन्न एक चर में एक बहुपद अंगूठी के लिए आइसोमोर्फिक है। दूसरे शब्दों में, इस मामले में, प्रत्येक अपरिवर्तनीय बहुपद निर्धारक बहुपद की शक्तियों का एक रैखिक संयोजन है। तो इस मामले में, <math>k[V]^G</math> अंततः उत्पन्न होता है <math>k</math>.
अपरिवर्तनीय सिद्धांत की पहली समस्या:<ref>{{cite book|last1=Borel|first1=Armand|author-link = Armand Borel|title=झूठ समूहों और बीजगणितीय समूहों के इतिहास में निबंध|date=2001|publisher=American mathematical society and London mathematical society|volume=History of Mathematics, Vol. 21|ISBN=978-0821802885}}</ref> क्या <math>k[V]^G</math>, <math>k</math> पर एक [[अंतिम रूप से उत्पन्न बीजगणित]] है?


यदि उत्तर हां है, तो अगला प्रश्न एक न्यूनतम आधार खोजना है, और पूछना है कि क्या आधार तत्वों के बीच बहुपद संबंधों का मॉड्यूल (जिसे सिजीजी (गणित) के रूप में जाना जाता है) अंतिम रूप से उत्पन्न होता है <math>k[V]</math>.
इसी प्रकार उदाहरण के लिए, यदि <math>G=SL_n</math> और<math>V=M_n</math> वर्ग आव्यूहों का समष्टि, और <math>V</math> पर <math>G</math> की क्रिया बाएँ गुणन द्वारा दी गई है, तो <math>k[V]^G</math> निर्धारक द्वारा उत्पन्न एक चर में एक बहुपद बीजगणित के लिए समरूप है। दूसरे शब्दों में, इस स्थिति में, प्रत्येक अपरिवर्तनीय बहुपद निर्धारक बहुपद की शक्तियों का एक रैखिक संयोजन है। तो इस प्रकार इस स्थिति में, <math>k[V]^G</math> अंतिम रूप से <math>k</math> पर उत्पन्न होता है।


[[परिमित समूह]]ों के अपरिवर्तनीय सिद्धांत का गैलोज़ सिद्धांत के साथ घनिष्ठ संबंध है। पहले प्रमुख परिणामों में से एक सममित कार्यों पर मुख्य प्रमेय था जो [[सममित समूह]] के आक्रमणकारियों का वर्णन करता था <math>S_n</math> बहुपद अंगूठी पर कार्य करना <math>R[x_1, \ldots, x_n</math>] चरों के क्रम[[परिवर्तन]] द्वारा। अधिक आम तौर पर, शेवेलली-शेफर्ड-टॉड प्रमेय उन परिमित समूहों को दर्शाता है जिनके इनवेरिएंट्स का बीजगणित एक बहुपद अंगूठी है। परिमित समूहों के अपरिवर्तनीय सिद्धांत में आधुनिक शोध प्रभावी परिणामों पर जोर देता है, जैसे जनरेटर की डिग्री पर स्पष्ट सीमाएं। सकारात्मक [[विशेषता (बीजगणित)]] का मामला, वैचारिक रूप से मॉड्यूलर [[प्रतिनिधित्व सिद्धांत]] के करीब, बीजीय टोपोलॉजी के लिंक के साथ सक्रिय अध्ययन का एक क्षेत्र है।
यदि उत्तर हाँ है, तो अगला प्रश्न एक न्यूनतम आधार खोजने का है, और पूछें कि क्या आधार तत्वों के बीच बहुपद संबंधों का मॉड्यूल (सिग्गिस के रूप में जाना जाता है) अंतिम रूप से <math>k[V]</math> पर उत्पन्न होता है।


[[अनंत समूह]]ों का अपरिवर्तनीय सिद्धांत रेखीय बीजगणित के विकास के साथ विशेष रूप से जुड़ा हुआ है, विशेष रूप से, [[द्विघात रूप]]ों और निर्धारकों के सिद्धांत। मजबूत परस्पर प्रभाव वाला एक अन्य विषय [[प्रक्षेपी ज्यामिति]] था, जहां सामग्री को व्यवस्थित करने में अपरिवर्तनीय सिद्धांत की प्रमुख भूमिका निभाने की उम्मीद थी। इस संबंध का एक मुख्य आकर्षण प्रतीकात्मक पद्धति है। अर्ध-सरल लाई समूहों के प्रतिनिधित्व सिद्धांत की जड़ें अपरिवर्तनीय सिद्धांत में हैं।
[[परिमित समूह|परिमित समूहों]] के अपरिवर्तनीय सिद्धांत का गैलोज़ सिद्धांत के साथ घनिष्ठ संबंध है। पहले प्रमुख परिणामों में से सममित कार्यों पर मुख्य प्रमेय था जो [[सममित समूह]] के आक्रमणकारियों का वर्णन करता था <math>S_n</math> बहुपद रिंग पर कार्य करना <math>R[x_1, \ldots, x_n</math>] चरों के क्रम[[परिवर्तन]] द्वारा अधिक सामान्यतः चेवेली-शेफर्ड-टॉड प्रमेय उन परिमित समूहों को दर्शाता है जिनके अपरिवर्तनीय का बीजगणित बहुपद रिंग है। इसी प्रकार परिमित समूहों के अपरिवर्तनीय सिद्धांत में आधुनिक शोध प्रभावी परिणामों पर जोर देता है, जैसे जनरेटर की घात पर स्पष्ट सीमाएं सकारात्मक [[विशेषता (बीजगणित)]] का स्थिति, वैचारिक रूप से मॉड्यूलर [[प्रतिनिधित्व सिद्धांत]] के निकट, बीजीय टोपोलॉजी के लिंक के साथ सक्रिय अध्ययन का क्षेत्र है।


आक्रमणकारियों (1890) के बीजगणित की परिमित पीढ़ी के सवाल पर [[डेविड हिल्बर्ट]] के काम के परिणामस्वरूप एक नया गणितीय अनुशासन, अमूर्त बीजगणित का निर्माण हुआ। हिल्बर्ट (1893) के एक बाद के पेपर ने अधिक रचनात्मक और ज्यामितीय तरीकों से समान प्रश्नों को निपटाया, लेकिन [[डेविड ममफोर्ड]] ने 1960 के दशक में इन विचारों को जीवन में वापस लाने तक वस्तुतः अज्ञात बने रहे, अपने ज्यामितीय आविष्कार में काफी अधिक सामान्य और आधुनिक रूप में लिखित। ममफोर्ड के प्रभाव के कारण बड़े पैमाने पर, अपरिवर्तनीय सिद्धांत का विषय रेखीय बीजगणितीय समूहों के कार्यों के सिद्धांत को शामिल करने के लिए देखा जाता है, जो कि विविधता और प्रक्षेप्य विविधता किस्मों पर होता है। उन्नीसवीं शताब्दी के शास्त्रीय रचनात्मक और संयोजी तरीकों पर वापस जाने के लिए अपरिवर्तनीय सिद्धांत का एक अलग किनारा, [[जियान-कार्लो रोटा]] और उनके स्कूल द्वारा विकसित किया गया है। विचारों के इस चक्र का एक प्रमुख उदाहरण [[मानक मोनोमियल]]्स के सिद्धांत द्वारा दिया गया है।
[[अनंत समूह|अनंत]] [[परिमित समूह|समूहों]] का अपरिवर्तनीय सिद्धांत रेखीय बीजगणित के विकास के साथ विशेष रूप से जुड़ा हुआ है, विशेष रूप से, [[द्विघात रूपों]] और निर्धारकों के सिद्धांत। मजबूत परस्पर प्रभाव वाला अन्य विषय [[प्रक्षेपी ज्यामिति]] था, जहां सामग्री को व्यवस्थित करने में अपरिवर्तनीय सिद्धांत की प्रमुख भूमिका निभाने की अपेक्षा थी। इस संबंध का मुख्य आकर्षण प्रतीकात्मक पद्धति है। इसी प्रकार अर्ध-सरल लाई समूहों के प्रतिनिधित्व सिद्धांत की जड़ें अपरिवर्तनीय सिद्धांत में हैं।
 
आक्रमणकारियों (1890) के बीजगणित की परिमित पीढ़ी के सवाल पर [[डेविड हिल्बर्ट]] के काम के परिणामस्वरूप नवीनतम गणितीय अनुशासन, अमूर्त बीजगणित का निर्माण हुआ था। हिल्बर्ट (1893) के बाद के पेपर ने अधिक रचनात्मक और ज्यामितीय विधियों से समान प्रश्नों को निपटाया, लेकिन [[डेविड ममफोर्ड]] ने 1960 के दशक में इन विचारों को जीवन में वापस लाने तक वस्तुतः अज्ञात बने रहे, अपने ज्यामितीय आविष्कार में बहुत अधिक सामान्य और आधुनिक रूप में लिखित ममफोर्ड के प्रभाव के कारण बड़े पैमाने पर, अपरिवर्तनीय सिद्धांत का विषय रेखीय बीजगणितीय समूहों के कार्यों के सिद्धांत को सम्मलित करने के लिए देखा जाता है, जो कि विविधता और प्रक्षेप्य विविधता किस्मों पर होता है। उन्नीसवीं शताब्दी के मौलिक रचनात्मक और संयोजी विधियों पर वापस जाने के लिए अपरिवर्तनीय सिद्धांत का भिन्न किनारा, [[जियान-कार्लो रोटा]] और उनके स्कूल द्वारा विकसित किया गया है। इसी प्रकार विचारों के इस चक्र का प्रमुख उदाहरण [[मानक मोनोमियल]]्स के सिद्धांत द्वारा दिया गया है।


== उदाहरण ==
== उदाहरण ==
अपरिवर्तनीय सिद्धांत के सरल उदाहरण एक समूह क्रिया से अपरिवर्तनीय [[ एकपद ]]्स की गणना से आते हैं। उदाहरण के लिए, पर विचार करें <math>\mathbb{Z}/2\mathbb{Z}</math>-कार्रवाई चालू <math>\mathbb{C}[x,y]</math> भेजना
अपरिवर्तनीय सिद्धांत के सरल उदाहरण एक समूह क्रिया से अपरिवर्तनीय [[एकपदीयों]] की गणना से आते हैं। उदाहरण के लिए, <math>\mathbb{C}[x,y]</math> भेजने पर <math>\mathbb{Z}/2\mathbb{Z}</math> -क्रिया पर विचार करें
:<math>
:<math>
\begin{align}
\begin{align}
Line 26: Line 28:
\end{align}
\end{align}
</math>
</math>
तब से <math>x^2,xy,y^2</math> निम्नतम कोटि के एकपदी हैं जो अपरिवर्तनीय हैं, हमारे पास वह है
फिर, चूँकि <math>x^2,xy,y^2</math> निम्नतम कोटि के एकपदी हैं जो अपरिवर्तनीय हैं, हमारे पास वह है
:<math>\mathbb{C}[x,y]^{\mathbb{Z}/2\mathbb{Z}} \cong \mathbb{C}[x^2,xy,y^2] \cong \frac{\mathbb{C}[a,b,c]}{(ac - b^2)}</math>
:<math>\mathbb{C}[x,y]^{\mathbb{Z}/2\mathbb{Z}} \cong \mathbb{C}[x^2,xy,y^2] \cong \frac{\mathbb{C}[a,b,c]}{(ac - b^2)}</math>
यह उदाहरण कई संगणनाओं को करने का आधार बनता है।
यह उदाहरण कई संगणनाओं को करने का आधार बनता है।
Line 37: Line 39:
|source={{harvtxt|Weyl|1939b|loc=p.489}}
|source={{harvtxt|Weyl|1939b|loc=p.489}}
}}
}}
केली ने पहली बार अपने ऑन द थ्योरी ऑफ लीनियर ट्रांसफॉर्मेशन (1845) में अपरिवर्तनीय सिद्धांत की स्थापना की। अपने पेपर के उद्घाटन में, केली ने [[जॉर्ज बूले]] के 1841 के पेपर का श्रेय दिया, उसी विषय पर एक बहुत ही सुरुचिपूर्ण पेपर द्वारा जांच का सुझाव दिया गया था ... श्री बोले द्वारा। (बूले का शोध पत्र लीनियर ट्रांसफ़ॉर्मेशन के एक सामान्य सिद्धांत की प्रदर्शनी था, कैम्ब्रिज मैथमैटिकल जर्नल।) <रेफरी नाम = वोल्फसन 2008 पीपी। 37-46>{{cite journal | last=Wolfson | first=Paul R. | title=जॉर्ज बोले और अपरिवर्तनीय सिद्धांत की उत्पत्ति| journal=Historia Mathematica | publisher=Elsevier BV | volume=35 | issue=1 | year=2008 | issn=0315-0860 | doi=10.1016/j.hm.2007.06.004 | pages=37–46| doi-access=free }}</ref>
केली ने पहली बार अपने "ऑन द थ्योरी ऑफ लीनियर ट्रांसफॉर्मेशन" (1845) में अपरिवर्तनीय सिद्धांत की स्थापना की थी। अपने पेपर के उद्घाटन में, केली ने जॉर्ज बोले के 1841 के एक पेपर का श्रेय दिया, "मुझे उसी विषय पर एक बहुत ही सुरुचिपूर्ण पेपर द्वारा ... श्री बोले द्वारा जांच का सुझाव दिया गया था।" (बोले का शोधपत्र रैखिक परिवर्तनों के एक सामान्य सिद्धांत की प्रदर्शनी, कैम्ब्रिज मैथमैटिकल जर्नल था।)


शास्त्रीय रूप से, अपरिवर्तनीय सिद्धांत शब्द [[रैखिक परिवर्तन]]ों के समूह क्रिया (गणित) के लिए परिवर्तनीय [[बीजगणितीय रूप]]ों (समतुल्य, [[सममित टेंसर]]) के अध्ययन को संदर्भित करता है। उन्नीसवीं शताब्दी के उत्तरार्ध में यह अध्ययन का एक प्रमुख क्षेत्र था। सममित समूह और सममित कार्यों से संबंधित वर्तमान सिद्धांत, [[क्रमविनिमेय बीजगणित]], मॉड्यूलि रिक्त स्थान और झूठ समूहों के प्रतिनिधित्व इस क्षेत्र में निहित हैं।
मौलिक रूप से, अपरिवर्तनीय सिद्धांत शब्द [[रैखिक परिवर्तन|रैखिक परिवर्तनों]] के समूह क्रिया (गणित) के लिए परिवर्तनीय [[बीजगणितीय रूप|बीजगणितीय रूपों]] (समतुल्य, [[सममित टेंसर]]) के अध्ययन को संदर्भित करता है। उन्नीसवीं शताब्दी के उत्तरार्ध में यह अध्ययन का प्रमुख क्षेत्र था। सममित समूह और सममित कार्यों से संबंधित वर्तमान सिद्धांत, [[क्रमविनिमेय बीजगणित]], मॉड्यूलि रिक्त समष्टि और झूठ समूहों के प्रतिनिधित्व इस क्षेत्र में निहित हैं।


अधिक विस्तार में, आयाम n के परिमित-विम सदिश समष्टि V दिए जाने पर हम [[सममित बीजगणित]] S(S) पर विचार कर सकते हैं।<sup>r</sup>(V)) V पर घात r वाले बहुपदों का और GL(V) की उस पर क्रिया। जीएल (वी), या एसएल (वी) के प्रतिनिधित्व के सापेक्ष इनवेरिएंट्स पर विचार करना वास्तव में अधिक सटीक है, अगर हम इनवेरिएंट्स के बारे में बात करने जा रहे हैं: ऐसा इसलिए है क्योंकि पहचान का एक स्केलर मल्टीपल रैंक आर के टेंसर पर कार्य करेगा। S(V) में अदिश की r-वें शक्ति 'वजन' के माध्यम से। बिंदु तब इनवेरिएंट I (एस) के सबलजेब्रा को परिभाषित करने के लिए है<sup>r</sup>(V)) कार्रवाई के लिए। शास्त्रीय भाषा में, हम n-आरी r-ics के अपरिवर्तनीयों को देख रहे हैं, जहां n, V का आयाम है। (यह S(V) पर GL(V) के आविष्कारों को खोजने के समान नहीं है); यह एक दिलचस्प नहीं है समस्या के रूप में केवल ऐसे अपरिवर्तनीय स्थिरांक हैं।) जिस मामले का सबसे अधिक अध्ययन किया गया था वह बाइनरी रूपों के अपरिवर्तनीय था जहां n = 2।
अधिक विस्तार में, आयाम n के एक परिमित-आयामी सदिश अंतरिक्ष V दिए जाने पर हम V पर घात r के बहुपदों के [[सममित बीजगणित]] ''S''(''S<sup>r</sup>''(''V'')) और GL(V) की कार्रवाई पर विचार कर सकते हैं। जीएल (वी), या एसएल (वी) के प्रतिनिधित्व के सापेक्ष अपरिवर्तनीय पर विचार करना वास्तव में अधिक उपयुक्त है, यदि हम अपरिवर्तनीय के बारे में बात करने जा रहे हैं: ऐसा इसलिए है क्योंकि पहचान का एक स्केलर मल्टीपल रैंक आर के टेंसर पर कार्य करेगा। S(V) में अदिश की r-वें शक्ति 'वजन' के माध्यम से, बिंदु तब कार्रवाई के लिए अपरिवर्तनीय (Sr(V)) के सबलजेब्रा को परिभाषित करने के लिए है। हम मौलिक भाषा में, n-ary r-ics के अपरिवर्तनों को देख रहे हैं, जहाँ n, V का आयाम है। (यह एस (वी) पर जीएल (वी) के अपरिवर्तनीय खोजने जैसा नहीं है; यह एक रोचक समस्या है क्योंकि केवल ऐसे अपरिवर्तनीय स्थिरांक हैं।) जिस स्थिति का सबसे अधिक अध्ययन किया गया जहां n = 2 था, वह द्विआधारी रूपों का अपरिवर्तनीय था।


अन्य कार्यों में [[फेलिक्स क्लेन]] का परिमित समूह क्रियाओं के अपरिवर्तनीय छल्ले की गणना करना शामिल था <math>\mathbf{C}^2</math> ([[बाइनरी पॉलीहेड्रल समूह]], [[एडीई वर्गीकरण]] द्वारा वर्गीकृत); ये [[डु वैल विलक्षणता]] के निर्देशांक वलय हैं।
अन्य कार्यों में [[फेलिक्स क्लेन]] का <math>\mathbf{C}^2</math> ([[बाइनरी पॉलीहेड्रल समूह]], [[एडीई वर्गीकरण]] द्वारा वर्गीकृत) पर परिमित समूह क्रियाओं के अपरिवर्तनीय रिंगों की गणना करना सम्मलित है; ये [[डु वैल विलक्षणता]] के निर्देशांक वलय हैं।


{{quote box
{{quote box
Line 51: Line 53:
|source={{harvtxt|Kung|Rota|1984|loc=p.27}}
|source={{harvtxt|Kung|Rota|1984|loc=p.27}}
}}
}}
डेविड हिल्बर्ट का काम, यह साबित करते हुए कि I(V) को कई मामलों में सूक्ष्म रूप से प्रस्तुत किया गया था, लगभग कई दशकों तक शास्त्रीय अपरिवर्तनीय सिद्धांत को समाप्त कर दिया, हालांकि इस विषय में शास्त्रीय युग [[अल्फ्रेड यंग (गणितज्ञ)]] के अंतिम प्रकाशनों तक जारी रहा। 50 से अधिक वर्षों के बाद। विशेष उद्देश्यों के लिए स्पष्ट गणना आधुनिक समय में ज्ञात हैं (उदाहरण के लिए शियोडा, बाइनरी ऑक्टेविक्स के साथ)
डेविड हिल्बर्ट का काम, यह सिद्ध करते हुए कि I(V) को कई स्थितियों में सूक्ष्म रूप से प्रस्तुत किया गया था, इसी प्रकार लगभग कई दशकों तक मौलिक अपरिवर्तनीय सिद्धांत को समाप्त कर दिया, चूंकि इस विषय में मौलिक युग 50 से अधिक [[अल्फ्रेड यंग (गणितज्ञ)]] के अंतिम प्रकाशनों तक जारी रहा सालों बाद, विशेष उद्देश्यों के लिए (उदाहरण के लिए शियोडा, बाइनरी ऑक्टेविक्स के साथ) स्पष्ट गणना आधुनिक समय में ज्ञात हैं।


== हिल्बर्ट के प्रमेय ==
== हिल्बर्ट के प्रमेय ==


{{harvtxt|Hilbert|1890}} ने सिद्ध किया कि यदि V जटिल बीजगणितीय समूह G = SL का एक परिमित-आयामी प्रतिनिधित्व है<sub>''n''</sub>(सी) तो बहुपद आर = एस (वी) की अंगूठी पर अभिनय करने वाले जी के इनवेरिएंट की अंगूठी अंततः उत्पन्न होती है। उनके सबूत ने [[रेनॉल्ड्स ऑपरेटर]] ρ को आर से आर तक इस्तेमाल किया<sup>जी</sup> गुणों के साथ
{{harvtxt|हिल्बर्ट|1890}} ने सिद्ध किया कि यदि V जटिल बीजगणितीय समूह G = SLn(C) का एक परिमित-आयामी प्रतिनिधित्व है, तो बहुपदों R = S(V) के वलय पर कार्य करने वाले G के अपरिवर्तकों का वलय सूक्ष्म रूप से उत्पन्न होता है। उनके प्रमाण ने गुणों के साथ [[रेनॉल्ड्स ऑपरेटर]] ρ को R से ''R<sup>G</sup>'' तक उपयोग किया गया,
* ρ(1) = 1
* ρ(ए + बी) = ρ(ए) + ρ(बी)
*ρ(ab) = a ρ(b) जब भी a एक अपरिवर्तनीय हो।
हिल्बर्ट ने स्पष्ट रूप से केली की ओमेगा प्रक्रिया Ω का उपयोग करते हुए रेनॉल्ड्स ऑपरेटर का निर्माण किया, हालांकि अब अप्रत्यक्ष रूप से ρ का निर्माण करना अधिक सामान्य है: कॉम्पैक्ट समूह जी के लिए, रेनॉल्ड्स ऑपरेटर को जी पर औसत लेकर दिया जाता है, और गैर-कॉम्पैक्ट रिडक्टिव समूह हो सकते हैं Weyl की [[ एकात्मक चाल ]] का उपयोग करके कॉम्पैक्ट समूहों के मामले में कम किया गया।


रेनॉल्ड्स ऑपरेटर को देखते हुए, हिल्बर्ट का प्रमेय निम्नानुसार सिद्ध होता है। वलय R एक बहुपद वलय है इसलिए अंशों द्वारा वर्गीकृत किया जाता है, और आदर्श I को धनात्मक अंशों के सजातीय आक्रमणकारियों द्वारा उत्पन्न आदर्श के रूप में परिभाषित किया गया है। हिल्बर्ट के आधार प्रमेय द्वारा आदर्श I सूक्ष्म रूप से उत्पन्न होता है (एक आदर्श के रूप में)। इसलिए, मैं जी के अंतिम रूप से कई अपरिवर्तनीयों द्वारा उत्पन्न होता हूं (क्योंकि अगर हमें कोई भी - संभवतः अनंत - सबसेट एस दिया जाता है जो एक अंतिम रूप से उत्पन्न आदर्श I उत्पन्न करता है, तो मैं पहले से ही एस के कुछ परिमित उपसमुच्चय द्वारा उत्पन्न होता है)। चलो मैं<sub>1</sub>,...,मैं<sub>''n''</sub> G जनरेटिंग I (एक आदर्श के रूप में) के आक्रमणकारियों का एक परिमित सेट हो। मुख्य विचार यह दिखाना है कि ये वलय R उत्पन्न करते हैं<sup>G</sup> invariants का। मान लीजिए कि x डिग्री d > 0 का कुछ सजातीय अपरिवर्तनीय है। तब
* ''ρ''(1) = 1
: एक्स = ए<sub>1</sub>i<sub>1</sub> + ... + ए<sub>n</sub>i<sub>n</sub>
* ''ρ''(''a'' + ''b'') = ''ρ''(''a'') + ''ρ''(''b'')
कुछ के लिए ए<sub>''j''</sub> वलय R में क्योंकि x आदर्श I में है। हम मान सकते हैं कि a<sub>''j''</sub> डिग्री d − deg i का सजातीय है<sub>''j''</sub> प्रत्येक जे के लिए (अन्यथा, हम ए को प्रतिस्थापित करते हैं<sub>''j''</sub> डिग्री डी - डिग्री आई के अपने सजातीय घटक द्वारा<sub>''j''</sub>; यदि हम प्रत्येक j के लिए ऐसा करते हैं, तो समीकरण x = a<sub>1</sub>i<sub>1</sub> + ... + ए<sub>''n''</sub>i<sub>n</sub> मान्य रहेगा)। अब, रेनॉल्ड्स ऑपरेटर को x = a पर लागू करना<sub>1</sub>i<sub>1</sub> + ... + ए<sub>''n''</sub>i<sub>n</sub> देता है
* ''ρ''(''ab'') = ''a'' ''ρ''(''b'') जब भी a एक अपरिवर्तनीय है।
: एक्स = ρ (ए<sub>1</sub>)मैं<sub>1</sub> + ... + पी(ए<sub>''n''</sub>)मैं<sub>''n''</sub>
अब हम यह दिखाने जा रहे हैं कि x i द्वारा उत्पन्न R-बीजगणित में स्थित है<sub>1</sub>,...,मैं<sub>''n''</sub>.


सबसे पहले, हम इसे उस स्थिति में करते हैं जब तत्व ρ(a<sub>''k''</sub>) सभी के पास d से कम डिग्री है। इस मामले में, वे सभी i द्वारा उत्पन्न आर-बीजगणित में हैं<sub>1</sub>,...,मैं<sub>''n''</sub> (हमारी प्रेरण धारणा द्वारा)। इसलिए, x इस R-बीजगणित में भी है (क्योंकि x = ρ(a<sub>1</sub>)मैं<sub>1</sub> + ... + पी(ए<sub>n</sub>)मैं<sub>n</sub>).
हिल्बर्ट ने स्पष्ट रूप से केली की ओमेगा प्रक्रिया Ω का उपयोग करते हुए रेनॉल्ड्स ऑपरेटर का निर्माण किया, चूंकि अब अप्रत्यक्ष रूप से ρ का निर्माण करना अधिक सामान्य है: कॉम्पैक्ट समूह G के लिए, रेनॉल्ड्स ऑपरेटर को जी पर औसत लेकर दिया जाता है, और गैर-कॉम्पैक्ट रिडक्टिव समूह हो सकते हैं वेल की [[ एकात्मक चाल |एकात्मक]] [[ट्रिक]] का उपयोग करके कॉम्पैक्ट समूहों के स्थिति में कम किया गया है।


सामान्य स्थिति में, हम यह सुनिश्चित नहीं कर सकते कि तत्व ρ(a<sub>''k''</sub>) सभी के पास d से कम डिग्री है। लेकिन हम प्रत्येक ρ(a<sub>''k''</sub>) डिग्री d - डिग्री i के अपने सजातीय घटक द्वारा<sub>''j''</sub>. परिणामस्वरूप, ये संशोधित ρ(a<sub>''k''</sub>) अभी भी जी-इनवेरिएंट हैं (क्योंकि जी-इनवेरिएंट का प्रत्येक सजातीय घटक एक जी-इनवेरिएंट है) और डिग्री डी से कम है (डिग्री i के बाद से)<sub>''k''</sub> > 0). समीकरण x = ρ(ए<sub>1</sub>)मैं<sub>1</sub> + ... + पी(ए<sub>n</sub>)मैं<sub>n</sub> हमारे संशोधित ρ(a<sub>''k''</sub>), तो हम फिर से यह निष्कर्ष निकाल सकते हैं कि x i द्वारा उत्पन्न R-बीजगणित में निहित है<sub>1</sub>,...,मैं<sub>''n''</sub>.
रेनॉल्ड्स ऑपरेटर को देखते हुए, हिल्बर्ट का प्रमेय निम्नानुसार सिद्ध होता है। वलय R एक बहुपद वलय है इसलिए अंशों द्वारा वर्गीकृत किया जाता है, और आदर्श को धनात्मक अंशों के सजातीय आक्रमणकारियों द्वारा उत्पन्न आदर्श के रूप में परिभाषित किया गया है। हिल्बर्ट के आधार प्रमेय द्वारा आदर्श सूक्ष्म रूप से (एक आदर्श के रूप में) उत्पन्न होता है। इसलिए, मैं G के अंतिम रूप से कई अपरिवर्तनीयों द्वारा उत्पन्न होते है (क्योंकि यदि हमें कोई भी - संभवतः अनंत - सबसेट एस दिया जाता है, जो एक अंतिम रूप से उत्पन्न आदर्श उत्पन्न करता है, तो मैं पहले से ही एस के कुछ परिमित उपसमुच्चय द्वारा उत्पन्न होते है)। मान लीजिये i1,...,in G उत्पन्न करने वाले (एक आदर्श के रूप में) के अपरिवर्तनीय सेट होने दें, मुख्य विचार यह दिखाना है कि ये अपरिवर्तनीय के रिंग ''R<sup>G</sup>'' उत्पन्न करते हैं। मान लीजिए कि x घात d> 0 का कुछ सजातीय अपरिवर्तनीय है। तब,
: ''x'' = ''a''<sub>1</sub>''i''<sub>1</sub> + ... + ''a''<sub>n</sub>''i''<sub>n</sub>
वलय R में कुछ ''a<sub>j</sub>'' के लिए क्योंकि x आदर्श I में है। हम मान सकते हैं कि aj प्रत्येक j के लिए घात ''d'' − deg ''i<sub>j</sub>'' का सजातीय है (अन्यथा, हम ''a<sub>j</sub>'' को घात ''d'' − deg ''i<sub>j</sub>'' के समरूप घटक से प्रतिस्थापित करते हैं; यदि हम प्रत्येक j के लिए ऐसा करते हैं, तो समीकरण ''x'' = ''a''<sub>1</sub>''i''<sub>1</sub> + ... + ''a<sub>n</sub>i''<sub>n</sub> ऐन वैध रहेगा), अब रेनॉल्ड्स संकारक को ''x'' = ''a''<sub>1</sub>''i''<sub>1</sub> + ... + ''a<sub>n</sub>i''<sub>n</sub> पर लागू करने पर प्राप्त होता है,
: ''x'' = ρ(''a''<sub>1</sub>)''i''<sub>1</sub> + ... + ''ρ''(''a<sub>n</sub>'')''i<sub>n</sub>''
अब हम यह दिखाने जा रहे हैं कि ''i''<sub>1</sub>,...,''i<sub>n</sub>'' द्वारा उत्पन्न R-बीजगणित में स्थित है।


इसलिए, डिग्री पर प्रेरण द्वारा, आर के सभी तत्व<sup>G</sup> i द्वारा उत्पन्न R-बीजगणित में हैं<sub>1</sub>,...,मैं<sub>''n''</sub>.
इसी प्रकार सबसे पहले, हम इसे उस स्थिति में करते हैं जब सभी तत्वों ρ(a<sub>''k''</sub>) की घात d से कम होती है। इस स्थिति में, वे सभी i1,...,in (हमारी प्रेरण धारणा) द्वारा उत्पन्न आर-बीजगणित में हैं। इसलिए, x इस R-बीजगणित में भी (क्योंकि x = ρ(a1)i1 + ... + ρ(an)in) है।
 
सामान्य स्थिति में, हम यह सुनिश्चित नहीं कर सकते हैं कि सभी तत्वों ρ(a<sub>''k''</sub>) की घात d से कम है। लेकिन हम प्रत्येक ρ(a<sub>''k''</sub>) को घात ''d'' − deg ''i<sub>j</sub>'' के समरूप घटक से बदल सकते हैं। परिणाम स्वरुप, ये संशोधित ρ (एके) अभी भी ''G''-अपरिवर्तनीय हैं (क्योंकि ''G''-अपरिवर्तनीय का प्रत्येक सजातीय घटक एक जी-अपरिवर्तनीय है) और d से कम घात (deg ''i<sub>k</sub>'' > 0 के बाद से) है। समीकरण ''x'' = ρ(''a''<sub>1</sub>)''i''<sub>1</sub> + ... + ρ(''a''<sub>n</sub>)''i''<sub>n</sub> अभी भी हमारे संशोधित ρ(''a<sub>k</sub>'') के लिए मान्य है, इसलिए हम फिर से यह निष्कर्ष निकाल सकते हैं कि x i1,...,in द्वारा उत्पन्न R-बीजगणित में निहित है।
 
इसलिए, इसी प्रकार घात पर प्रेरण द्वारा, ''R<sup>G</sup>'' के सभी तत्व i1,...,in द्वारा उत्पन्न आर-बीजगणित में हैं।


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


एक प्रेरणा [[बीजगणितीय ज्यामिति]] में मॉड्यूलि रिक्त स्थान का निर्माण करना था, जो चिह्नित वस्तुओं को पैरामीट्रिज करने वाली योजनाओं के भागफल के रूप में था। 1970 और 1980 के दशक में सिद्धांत विकसित हुआ
एक प्रेरणा [[बीजगणितीय ज्यामिति]] में मॉड्यूलि रिक्त स्थान का निर्माण करना था, जो चिह्नित वस्तुओं को पैरामीट्रिज करने वाली योजनाओं के भागफल के रूप में था। 1970 और 1980 के दशक में इस सिद्धांत ने [[सिम्पलेक्टिक ज्यामिति]] और इक्विवेरिएंट टोपोलॉजी के साथ अंतःक्रियाओं को विकसित किया, और इन्स्टैन्टॉन और [[मोनोपोल (गणित)]] जैसे [[अंतर ज्यामिति]] में वस्तुओं के मॉडुलि स्पेस बनाने के लिए उपयोग किया गया था।
[[सहानुभूतिपूर्ण ज्यामिति]] और इक्विवैरिएंट टोपोलॉजी के साथ इंटरैक्शन, और [[अंतर ज्यामिति]] में ऑब्जेक्ट्स के मॉडुली स्पेस बनाने के लिए इस्तेमाल किया गया था, जैसे कि [[ एक पल ]] और [[मोनोपोल (गणित)]]।


== यह भी देखें ==
== यह भी देखें ==
Line 99: Line 102:
*{{Citation | last1=Hilbert | first1=David | author1-link=David Hilbert | title=Ueber die Theorie der algebraischen Formen | doi=10.1007/BF01208503 | year=1890 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=36 | issue=4 | pages=473–534 | url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0036&DMDID=DMDLOG_0045}}
*{{Citation | last1=Hilbert | first1=David | author1-link=David Hilbert | title=Ueber die Theorie der algebraischen Formen | doi=10.1007/BF01208503 | year=1890 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=36 | issue=4 | pages=473–534 | url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0036&DMDID=DMDLOG_0045}}
*{{citation|last=Hilbert|first=D.|title=Über die vollen Invariantensysteme (On Full Invariant Systems)|journal=Math. Annalen|volume=42|issue=3|page=313|year=1893|doi=10.1007/BF01444162 | url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0042&DMDID=DMDLOG_0034}}
*{{citation|last=Hilbert|first=D.|title=Über die vollen Invariantensysteme (On Full Invariant Systems)|journal=Math. Annalen|volume=42|issue=3|page=313|year=1893|doi=10.1007/BF01444162 | url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0042&DMDID=DMDLOG_0034}}
*{{Citation |author1=Neusel, Mara D. |author2=Smith, Larry | title=Invariant Theory of Finite Groups | location=Providence, RI | publisher=American Mathematical Society | year=2002 | isbn=0-8218-2916-5}} A recent resource for learning about modular invariants of finite groups.
*{{Citation |author1=Neusel, Mara D. |author2=Smith, Larry | title=Invariant Theory of Finite Groups | location=Providence, RI | publisher=American Mathematical Society | year=2002 | isbn=0-8218-2916-5}} A recent resource for learning about modular invariants of finite groups.
*{{Citation | author=Olver, Peter J. |author-link=Peter J. Olver | title=Classical invariant theory | location=Cambridge | publisher=Cambridge University Press | year=1999 | isbn=0-521-55821-2}} An undergraduate level introduction to the classical theory of invariants of binary forms, including the [[Omega process]] starting at page 87.
*{{Citation | author=Olver, Peter J. |author-link=Peter J. Olver | title=Classical invariant theory | location=Cambridge | publisher=Cambridge University Press | year=1999 | isbn=0-521-55821-2}} An undergraduate level introduction to the classical theory of invariants of binary forms, including the [[Omega process]] starting at page 87.
*{{springer|id=i/i052350|title=Invariants, theory of|first=V.L. |last=Popov}}
*{{springer|id=i/i052350|title=Invariants, theory of|first=V.L. |last=Popov}}
*{{Citation | author=Springer, T. A. | title=Invariant Theory | location=New York | publisher=Springer | year=1977 | isbn=0-387-08242-5}} An older but still useful survey.
*{{Citation | author=Springer, T. A. | title=Invariant Theory | location=New York | publisher=Springer | year=1977 | isbn=0-387-08242-5}} An older but still useful survey.
*{{Citation | author=Sturmfels, Bernd | author-link=Bernd Sturmfels | title=Algorithms in Invariant Theory | location=New York | publisher=Springer | year=1993 | isbn=0-387-82445-6}} A beautiful introduction to the theory of invariants of finite groups and techniques for computing them using Gröbner bases.
*{{Citation | author=Sturmfels, Bernd | author-link=Bernd Sturmfels | title=Algorithms in Invariant Theory | location=New York | publisher=Springer | year=1993 | isbn=0-387-82445-6}} A beautiful introduction to the theory of invariants of finite groups and techniques for computing them using Gröbner bases.
*{{Citation | last1=Weyl | first1=Hermann | author1-link=Hermann Weyl | title=The Classical Groups. Their Invariants and Representations | url=https://books.google.com/books?isbn=0691057567 | publisher=[[Princeton University Press]] | isbn=978-0-691-05756-9 | year=1939 | mr=0000255}}
*{{Citation | last1=Weyl | first1=Hermann | author1-link=Hermann Weyl | title=The Classical Groups. Their Invariants and Representations | url=https://books.google.com/books?isbn=0691057567 | publisher=[[Princeton University Press]] | isbn=978-0-691-05756-9 | year=1939 | mr=0000255}}
*{{Citation | last1=Weyl | first1=Hermann | author1-link=Hermann Weyl | title=Invariants | url=http://projecteuclid.org/euclid.dmj/1077491405 | year=1939b | journal=[[Duke Mathematical Journal]] | issn=0012-7094 | volume=5 | pages=489–502 | mr=0000030 | doi=10.1215/S0012-7094-39-00540-5 | issue=3}}
*{{Citation | last1=Weyl | first1=Hermann | author1-link=Hermann Weyl | title=Invariants | url=http://projecteuclid.org/euclid.dmj/1077491405 | year=1939b | journal=[[Duke Mathematical Journal]] | issn=0012-7094 | volume=5 | pages=489–502 | mr=0000030 | doi=10.1215/S0012-7094-39-00540-5 | issue=3}}
Line 111: Line 114:
*H. Kraft, C. Procesi, [http://www.math.iitb.ac.in/~shripad/Wilberd/KP-Primer.pdf Classical Invariant Theory, a Primer]
*H. Kraft, C. Procesi, [http://www.math.iitb.ac.in/~shripad/Wilberd/KP-Primer.pdf Classical Invariant Theory, a Primer]
* V. L. Popov, E. B. Vinberg, ``Invariant Theory", in ''Algebraic geometry''. IV. Encyclopaedia of Mathematical Sciences, 55 (translated from 1989 Russian edition) Springer-Verlag, Berlin, 1994; vi+284 pp.; {{ISBN|3-540-54682-0}}
* V. L. Popov, E. B. Vinberg, ``Invariant Theory", in ''Algebraic geometry''. IV. Encyclopaedia of Mathematical Sciences, 55 (translated from 1989 Russian edition) Springer-Verlag, Berlin, 1994; vi+284 pp.; {{ISBN|3-540-54682-0}}
[[Category: अपरिवर्तनीय सिद्धांत | अपरिवर्तनीय सिद्धांत ]]


[[Category: Machine Translated Page]]
[[Category:CS1]]
[[Category:Created On 26/04/2023]]
[[Category:Created On 26/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Multi-column templates]]
[[Category:Pages using div col with small parameter]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:अपरिवर्तनीय सिद्धांत| अपरिवर्तनीय सिद्धांत ]]

Latest revision as of 17:45, 17 May 2023

अपरिवर्तनीय सिद्धांत सार बीजगणित की शाखा है जो कार्यों पर उनके प्रभाव के दृष्टिकोण से बीजगणितीय किस्मों, जैसे सदिश समष्टि पर समूह (गणित) के कार्यों से निपटती है। मौलिक रूप से, सिद्धांत बहुपद कार्यों के स्पष्ट विवरण के प्रश्न से संबंधित है, जो किसी दिए गए रैखिक समूह से परिवर्तनों के अनुसार बदलते नहीं हैं, या अपरिवर्तनीय हैं। इसी प्रकार उदाहरण के लिए, यदि हम विशेष रेखीय समूह की क्रिया को n के समष्टि पर n मेट्रिसेस द्वारा बाएँ गुणन द्वारा मानते हैं, तो निर्धारक इस क्रिया का अपरिवर्तनीय है क्योंकि AX का निर्धारक X के निर्धारक के बराबर होता है, जब A में होता है।

परिचय

इसी प्रकार मान लीजिये एक समूह है, और एक क्षेत्र (गणित) पर एक परिमित-आयामी सदिश समष्टि है (जो मौलिक अपरिवर्तनीय सिद्धांत में सामान्यतः जटिल संख्या माना जाता था)। में का समूह प्रतिनिधित्व एक समूह समरूपता है, जो पर की समूह क्रिया को प्रेरित करता है। इसी प्रकार यदि पर बहुपद कार्यों की समष्टि है, तो पर की समूह क्रिया निम्न सूत्र द्वारा पर एक क्रिया उत्पन्न करती है:

इस क्रिया के साथ सभी बहुपद कार्यों के उप-समष्टि पर विचार करना स्वाभाविक है जो इस समूह क्रिया के अनुसार अपरिवर्तनीय हैं, दूसरे शब्दों में बहुपदों का सेट जैसे कि सभी के लिए , अपरिवर्तनीय बहुपदों के इस समष्टि को दर्शाया गया है।

अपरिवर्तनीय सिद्धांत की पहली समस्या:[1] क्या , पर एक अंतिम रूप से उत्पन्न बीजगणित है?

इसी प्रकार उदाहरण के लिए, यदि और वर्ग आव्यूहों का समष्टि, और पर की क्रिया बाएँ गुणन द्वारा दी गई है, तो निर्धारक द्वारा उत्पन्न एक चर में एक बहुपद बीजगणित के लिए समरूप है। दूसरे शब्दों में, इस स्थिति में, प्रत्येक अपरिवर्तनीय बहुपद निर्धारक बहुपद की शक्तियों का एक रैखिक संयोजन है। तो इस प्रकार इस स्थिति में, अंतिम रूप से पर उत्पन्न होता है।

यदि उत्तर हाँ है, तो अगला प्रश्न एक न्यूनतम आधार खोजने का है, और पूछें कि क्या आधार तत्वों के बीच बहुपद संबंधों का मॉड्यूल (सिग्गिस के रूप में जाना जाता है) अंतिम रूप से पर उत्पन्न होता है।

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

अनंत समूहों का अपरिवर्तनीय सिद्धांत रेखीय बीजगणित के विकास के साथ विशेष रूप से जुड़ा हुआ है, विशेष रूप से, द्विघात रूपों और निर्धारकों के सिद्धांत। मजबूत परस्पर प्रभाव वाला अन्य विषय प्रक्षेपी ज्यामिति था, जहां सामग्री को व्यवस्थित करने में अपरिवर्तनीय सिद्धांत की प्रमुख भूमिका निभाने की अपेक्षा थी। इस संबंध का मुख्य आकर्षण प्रतीकात्मक पद्धति है। इसी प्रकार अर्ध-सरल लाई समूहों के प्रतिनिधित्व सिद्धांत की जड़ें अपरिवर्तनीय सिद्धांत में हैं।

आक्रमणकारियों (1890) के बीजगणित की परिमित पीढ़ी के सवाल पर डेविड हिल्बर्ट के काम के परिणामस्वरूप नवीनतम गणितीय अनुशासन, अमूर्त बीजगणित का निर्माण हुआ था। हिल्बर्ट (1893) के बाद के पेपर ने अधिक रचनात्मक और ज्यामितीय विधियों से समान प्रश्नों को निपटाया, लेकिन डेविड ममफोर्ड ने 1960 के दशक में इन विचारों को जीवन में वापस लाने तक वस्तुतः अज्ञात बने रहे, अपने ज्यामितीय आविष्कार में बहुत अधिक सामान्य और आधुनिक रूप में लिखित ममफोर्ड के प्रभाव के कारण बड़े पैमाने पर, अपरिवर्तनीय सिद्धांत का विषय रेखीय बीजगणितीय समूहों के कार्यों के सिद्धांत को सम्मलित करने के लिए देखा जाता है, जो कि विविधता और प्रक्षेप्य विविधता किस्मों पर होता है। उन्नीसवीं शताब्दी के मौलिक रचनात्मक और संयोजी विधियों पर वापस जाने के लिए अपरिवर्तनीय सिद्धांत का भिन्न किनारा, जियान-कार्लो रोटा और उनके स्कूल द्वारा विकसित किया गया है। इसी प्रकार विचारों के इस चक्र का प्रमुख उदाहरण मानक मोनोमियल्स के सिद्धांत द्वारा दिया गया है।

उदाहरण

अपरिवर्तनीय सिद्धांत के सरल उदाहरण एक समूह क्रिया से अपरिवर्तनीय एकपदीयों की गणना से आते हैं। उदाहरण के लिए, भेजने पर -क्रिया पर विचार करें

फिर, चूँकि निम्नतम कोटि के एकपदी हैं जो अपरिवर्तनीय हैं, हमारे पास वह है

यह उदाहरण कई संगणनाओं को करने का आधार बनता है।

उन्नीसवीं सदी की उत्पत्ति

The theory of invariants came into existence about the middle of the nineteenth century somewhat like Minerva: a grown-up virgin, mailed in the shining armor of algebra, she sprang forth from Cayley's Jovian head.

Weyl (1939b, p.489)

केली ने पहली बार अपने "ऑन द थ्योरी ऑफ लीनियर ट्रांसफॉर्मेशन" (1845) में अपरिवर्तनीय सिद्धांत की स्थापना की थी। अपने पेपर के उद्घाटन में, केली ने जॉर्ज बोले के 1841 के एक पेपर का श्रेय दिया, "मुझे उसी विषय पर एक बहुत ही सुरुचिपूर्ण पेपर द्वारा ... श्री बोले द्वारा जांच का सुझाव दिया गया था।" (बोले का शोधपत्र रैखिक परिवर्तनों के एक सामान्य सिद्धांत की प्रदर्शनी, कैम्ब्रिज मैथमैटिकल जर्नल था।)

मौलिक रूप से, अपरिवर्तनीय सिद्धांत शब्द रैखिक परिवर्तनों के समूह क्रिया (गणित) के लिए परिवर्तनीय बीजगणितीय रूपों (समतुल्य, सममित टेंसर) के अध्ययन को संदर्भित करता है। उन्नीसवीं शताब्दी के उत्तरार्ध में यह अध्ययन का प्रमुख क्षेत्र था। सममित समूह और सममित कार्यों से संबंधित वर्तमान सिद्धांत, क्रमविनिमेय बीजगणित, मॉड्यूलि रिक्त समष्टि और झूठ समूहों के प्रतिनिधित्व इस क्षेत्र में निहित हैं।

अधिक विस्तार में, आयाम n के एक परिमित-आयामी सदिश अंतरिक्ष V दिए जाने पर हम V पर घात r के बहुपदों के सममित बीजगणित S(Sr(V)) और GL(V) की कार्रवाई पर विचार कर सकते हैं। जीएल (वी), या एसएल (वी) के प्रतिनिधित्व के सापेक्ष अपरिवर्तनीय पर विचार करना वास्तव में अधिक उपयुक्त है, यदि हम अपरिवर्तनीय के बारे में बात करने जा रहे हैं: ऐसा इसलिए है क्योंकि पहचान का एक स्केलर मल्टीपल रैंक आर के टेंसर पर कार्य करेगा। S(V) में अदिश की r-वें शक्ति 'वजन' के माध्यम से, बिंदु तब कार्रवाई के लिए अपरिवर्तनीय (Sr(V)) के सबलजेब्रा को परिभाषित करने के लिए है। हम मौलिक भाषा में, n-ary r-ics के अपरिवर्तनों को देख रहे हैं, जहाँ n, V का आयाम है। (यह एस (वी) पर जीएल (वी) के अपरिवर्तनीय खोजने जैसा नहीं है; यह एक रोचक समस्या है क्योंकि केवल ऐसे अपरिवर्तनीय स्थिरांक हैं।) जिस स्थिति का सबसे अधिक अध्ययन किया गया जहां n = 2 था, वह द्विआधारी रूपों का अपरिवर्तनीय था।

अन्य कार्यों में फेलिक्स क्लेन का (बाइनरी पॉलीहेड्रल समूह, एडीई वर्गीकरण द्वारा वर्गीकृत) पर परिमित समूह क्रियाओं के अपरिवर्तनीय रिंगों की गणना करना सम्मलित है; ये डु वैल विलक्षणता के निर्देशांक वलय हैं।

Like the Arabian phoenix rising out of its ashes, the theory of invariants, pronounced dead at the turn of the century, is once again at the forefront of mathematics.

Kung & Rota (1984, p.27)

डेविड हिल्बर्ट का काम, यह सिद्ध करते हुए कि I(V) को कई स्थितियों में सूक्ष्म रूप से प्रस्तुत किया गया था, इसी प्रकार लगभग कई दशकों तक मौलिक अपरिवर्तनीय सिद्धांत को समाप्त कर दिया, चूंकि इस विषय में मौलिक युग 50 से अधिक अल्फ्रेड यंग (गणितज्ञ) के अंतिम प्रकाशनों तक जारी रहा सालों बाद, विशेष उद्देश्यों के लिए (उदाहरण के लिए शियोडा, बाइनरी ऑक्टेविक्स के साथ) स्पष्ट गणना आधुनिक समय में ज्ञात हैं।

हिल्बर्ट के प्रमेय

हिल्बर्ट (1890) ने सिद्ध किया कि यदि V जटिल बीजगणितीय समूह G = SLn(C) का एक परिमित-आयामी प्रतिनिधित्व है, तो बहुपदों R = S(V) के वलय पर कार्य करने वाले G के अपरिवर्तकों का वलय सूक्ष्म रूप से उत्पन्न होता है। उनके प्रमाण ने गुणों के साथ रेनॉल्ड्स ऑपरेटर ρ को R से RG तक उपयोग किया गया,

  • ρ(1) = 1
  • ρ(a + b) = ρ(a) + ρ(b)
  • ρ(ab) = a ρ(b) जब भी a एक अपरिवर्तनीय है।

हिल्बर्ट ने स्पष्ट रूप से केली की ओमेगा प्रक्रिया Ω का उपयोग करते हुए रेनॉल्ड्स ऑपरेटर का निर्माण किया, चूंकि अब अप्रत्यक्ष रूप से ρ का निर्माण करना अधिक सामान्य है: कॉम्पैक्ट समूह G के लिए, रेनॉल्ड्स ऑपरेटर को जी पर औसत लेकर दिया जाता है, और गैर-कॉम्पैक्ट रिडक्टिव समूह हो सकते हैं वेल की एकात्मक ट्रिक का उपयोग करके कॉम्पैक्ट समूहों के स्थिति में कम किया गया है।

रेनॉल्ड्स ऑपरेटर को देखते हुए, हिल्बर्ट का प्रमेय निम्नानुसार सिद्ध होता है। वलय R एक बहुपद वलय है इसलिए अंशों द्वारा वर्गीकृत किया जाता है, और आदर्श को धनात्मक अंशों के सजातीय आक्रमणकारियों द्वारा उत्पन्न आदर्श के रूप में परिभाषित किया गया है। हिल्बर्ट के आधार प्रमेय द्वारा आदर्श सूक्ष्म रूप से (एक आदर्श के रूप में) उत्पन्न होता है। इसलिए, मैं G के अंतिम रूप से कई अपरिवर्तनीयों द्वारा उत्पन्न होते है (क्योंकि यदि हमें कोई भी - संभवतः अनंत - सबसेट एस दिया जाता है, जो एक अंतिम रूप से उत्पन्न आदर्श उत्पन्न करता है, तो मैं पहले से ही एस के कुछ परिमित उपसमुच्चय द्वारा उत्पन्न होते है)। मान लीजिये i1,...,in G उत्पन्न करने वाले (एक आदर्श के रूप में) के अपरिवर्तनीय सेट होने दें, मुख्य विचार यह दिखाना है कि ये अपरिवर्तनीय के रिंग RG उत्पन्न करते हैं। मान लीजिए कि x घात d> 0 का कुछ सजातीय अपरिवर्तनीय है। तब,

x = a1i1 + ... + anin

वलय R में कुछ aj के लिए क्योंकि x आदर्श I में है। हम मान सकते हैं कि aj प्रत्येक j के लिए घात d − deg ij का सजातीय है (अन्यथा, हम aj को घात d − deg ij के समरूप घटक से प्रतिस्थापित करते हैं; यदि हम प्रत्येक j के लिए ऐसा करते हैं, तो समीकरण x = a1i1 + ... + anin ऐन वैध रहेगा), अब रेनॉल्ड्स संकारक को x = a1i1 + ... + anin पर लागू करने पर प्राप्त होता है,

x = ρ(a1)i1 + ... + ρ(an)in

अब हम यह दिखाने जा रहे हैं कि i1,...,in द्वारा उत्पन्न R-बीजगणित में स्थित है।

इसी प्रकार सबसे पहले, हम इसे उस स्थिति में करते हैं जब सभी तत्वों ρ(ak) की घात d से कम होती है। इस स्थिति में, वे सभी i1,...,in (हमारी प्रेरण धारणा) द्वारा उत्पन्न आर-बीजगणित में हैं। इसलिए, x इस R-बीजगणित में भी (क्योंकि x = ρ(a1)i1 + ... + ρ(an)in) है।

सामान्य स्थिति में, हम यह सुनिश्चित नहीं कर सकते हैं कि सभी तत्वों ρ(ak) की घात d से कम है। लेकिन हम प्रत्येक ρ(ak) को घात d − deg ij के समरूप घटक से बदल सकते हैं। परिणाम स्वरुप, ये संशोधित ρ (एके) अभी भी G-अपरिवर्तनीय हैं (क्योंकि G-अपरिवर्तनीय का प्रत्येक सजातीय घटक एक जी-अपरिवर्तनीय है) और d से कम घात (deg ik > 0 के बाद से) है। समीकरण x = ρ(a1)i1 + ... + ρ(an)in अभी भी हमारे संशोधित ρ(ak) के लिए मान्य है, इसलिए हम फिर से यह निष्कर्ष निकाल सकते हैं कि x i1,...,in द्वारा उत्पन्न R-बीजगणित में निहित है।

इसलिए, इसी प्रकार घात पर प्रेरण द्वारा, RG के सभी तत्व i1,...,in द्वारा उत्पन्न आर-बीजगणित में हैं।

ज्यामितीय अपरिवर्तनीय सिद्धांत

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

एक प्रेरणा बीजगणितीय ज्यामिति में मॉड्यूलि रिक्त स्थान का निर्माण करना था, जो चिह्नित वस्तुओं को पैरामीट्रिज करने वाली योजनाओं के भागफल के रूप में था। 1970 और 1980 के दशक में इस सिद्धांत ने सिम्पलेक्टिक ज्यामिति और इक्विवेरिएंट टोपोलॉजी के साथ अंतःक्रियाओं को विकसित किया, और इन्स्टैन्टॉन और मोनोपोल (गणित) जैसे अंतर ज्यामिति में वस्तुओं के मॉडुलि स्पेस बनाने के लिए उपयोग किया गया था।

यह भी देखें

संदर्भ

  1. Borel, Armand (2001). झूठ समूहों और बीजगणितीय समूहों के इतिहास में निबंध. Vol. History of Mathematics, Vol. 21. American mathematical society and London mathematical society. ISBN 978-0821802885.


बाहरी संबंध

  • H. Kraft, C. Procesi, Classical Invariant Theory, a Primer
  • V. L. Popov, E. B. Vinberg, ``Invariant Theory", in Algebraic geometry. IV. Encyclopaedia of Mathematical Sciences, 55 (translated from 1989 Russian edition) Springer-Verlag, Berlin, 1994; vi+284 pp.; ISBN 3-540-54682-0