श्रेणीबद्ध सदिश समष्टि: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Algebraic structure decomposed into a direct sum}}
{{Short description|Algebraic structure decomposed into a direct sum}}
गणित में, '''श्रेणीबद्ध [[ सदिश स्थल |सदिश समिष्ट]]''' एक सदिश समिष्ट होता है जिसमें ''श्रेणीबद्ध (गणित)'' या ''ग्रेडेशन'' की अतिरिक्त संरचना होती है, जो सदिश समिष्ट का रैखिक उपसमिष्ट के सदिश समिष्ट के प्रत्यक्ष योग में अपघटन होता है।
गणित में, '''श्रेणीबद्ध [[ सदिश स्थल |सदिश समष्टि]]''' एक सदिश समष्टि होता है जिसमें ''श्रेणीबद्ध (गणित)'' या ''ग्रेडेशन'' की अतिरिक्त संरचना होती है, जो सदिश समष्टि का रैखिक उपसमष्टि के सदिश समष्टि के प्रत्यक्ष योग में अपघटन होता है।


== पूर्णांक उन्नयन ==
== पूर्णांक उन्नयन ==
मान लीजिए <math>\mathbb{N}</math> गैर-ऋणात्मक [[पूर्णांक]] का समुच्चय है। एक <math display="inline">\mathbb{N}</math> -श्रेणीबद्ध सदिश समिष्ट को अधिकांशतः उपसर्ग <math>\mathbb{N}</math> के बिना बस एक श्रेणीबद्ध सदिश समिष्ट कहा जाता है, यह एक सदिश समिष्ट {{math|''V''}} है जो फॉर्म के प्रत्यक्ष योग में एक अपघटन के साथ होता है
मान लीजिए <math>\mathbb{N}</math> गैर-ऋणात्मक [[पूर्णांक]] का समुच्चय है। एक <math display="inline">\mathbb{N}</math> -श्रेणीबद्ध सदिश समष्टि को अधिकांशतः उपसर्ग <math>\mathbb{N}</math> के बिना बस एक श्रेणीबद्ध सदिश समष्टि कहा जाता है, यह एक सदिश समष्टि {{math|''V''}} है जो फॉर्म के प्रत्यक्ष योग में एक अपघटन के साथ होता है


: <math>V = \bigoplus_{n \in \mathbb{N}} V_n</math>
: <math>V = \bigoplus_{n \in \mathbb{N}} V_n</math>
जहां प्रत्येक <math>V_n</math> एक सदिश समष्टि है। किसी दिए गए n के लिए <math>V_n</math> के अवयवो को डिग्री n के सजातीय अवयव कहा जाता है।
जहां प्रत्येक <math>V_n</math> एक सदिश समष्टि है। किसी दिए गए n के लिए <math>V_n</math> के अवयवो को डिग्री n के सजातीय अवयव कहा जाता है।


श्रेणीबद्ध सदिश समिष्ट सामान्य हैं। उदाहरण के लिए, या अनेक वैरीएबल वाले सभी [[बहुपद]] का समुच्चय श्रेणीबद्ध सदिश समिष्ट बनाता है, जहाँ डिग्री ''n'' के सजातीय अवयव बहुपद ''n'' की डिग्री के [[एकपद|एकपदी]] के लिए पूर्ण रूप से रैखिक संयोजन होते हैं।
श्रेणीबद्ध सदिश समष्टि सामान्य हैं। उदाहरण के लिए, या अनेक वैरीएबल वाले सभी [[बहुपद]] का समुच्चय श्रेणीबद्ध सदिश समष्टि बनाता है, जहाँ डिग्री ''n'' के सजातीय अवयव बहुपद ''n'' की डिग्री के [[एकपद|एकपदी]] के लिए पूर्ण रूप से रैखिक संयोजन होते हैं।


==सामान्य ग्रेडेशन==
==सामान्य ग्रेडेशन==
श्रेणीबद्ध सदिश समिष्ट के उप-समिष्टो को प्राकृतिक संख्याओं के समुच्चय द्वारा अनुक्रमित करने की आवश्यकता नहीं है, और किसी भी समुच्चय के अवयवो द्वारा अनुक्रमित किया जा सकता है। I-श्रेणीबद्ध सदिश समिष्ट V समुच्चय I के अवयवो i द्वारा अनुक्रमित उपसमिष्ट के प्रत्यक्ष योग में अपघटन के साथ सदिश समिष्ट है:
श्रेणीबद्ध सदिश समष्टि के उप-समष्टिो को प्राकृतिक संख्याओं के समुच्चय द्वारा अनुक्रमित करने की आवश्यकता नहीं है, और किसी भी समुच्चय के अवयवो द्वारा अनुक्रमित किया जा सकता है। I-श्रेणीबद्ध सदिश समष्टि V समुच्चय I के अवयवो i द्वारा अनुक्रमित उपसमष्टि के प्रत्यक्ष योग में अपघटन के साथ सदिश समष्टि है:
: <math>V = \bigoplus_{i \in I} V_i.</math>
: <math>V = \bigoplus_{i \in I} V_i.</math>
इसलिए, एक <math>\mathbb{N}</math> -श्रेणीबद्ध सदिश समिष्ट, जैसा कि ऊपर परिभाषित किया गया है, सिर्फ एक I-श्रेणीबद्ध सदिश समिष्ट है जहां समुच्चय I <math>\mathbb{N}</math> (प्राकृतिक संख्याओं का समुच्चय) है।
इसलिए, एक <math>\mathbb{N}</math> -श्रेणीबद्ध सदिश समष्टि, जैसा कि ऊपर परिभाषित किया गया है, सिर्फ एक I-श्रेणीबद्ध सदिश समष्टि है जहां समुच्चय I <math>\mathbb{N}</math> (प्राकृतिक संख्याओं का समुच्चय) है।


वह स्थिति जहां I वलय <math>\mathbb{Z}/2\mathbb{Z}</math> है (अवयव 0 और 1) भौतिकी में विशेष रूप से महत्वपूर्ण है। इस प्रकार <math>(\mathbb{Z}/2\mathbb{Z})</math>-श्रेणीबद्ध सदिश समिष्ट को [[ सुपरवेक्टर स्थान |सुपरवेक्टर समिष्ट]] के रूप में भी जाना जाता है।
वह स्थिति जहां I वलय <math>\mathbb{Z}/2\mathbb{Z}</math> है (अवयव 0 और 1) भौतिकी में विशेष रूप से महत्वपूर्ण है। इस प्रकार <math>(\mathbb{Z}/2\mathbb{Z})</math>-श्रेणीबद्ध सदिश समष्टि को [[ सुपरवेक्टर स्थान |सुपरवेक्टर समष्टि]] के रूप में भी जाना जाता है।


==समरूपता==
==समरूपता==
सामान्य सूचकांक समुच्चय I के लिए, दो I-वर्गीकृत सदिश समिष्टो के बीच रैखिक मानचित्र {{nowrap|''f'' : ''V'' → ''W''}} को श्रेणीबद्ध रेखीय मानचित्र कहा जाता है इस प्रकार यदि यह सजातीय अवयवो की ग्रेडिंग को संरक्षित करता है। श्रेणीबद्ध रैखिक मानचित्र को श्रेणीबद्ध सदिश समिष्टो का समरूपता (या रूपवाद) या सजातीय रैखिक मानचित्र भी कहा जाता है:
सामान्य सूचकांक समुच्चय I के लिए, दो I-वर्गीकृत सदिश समष्टिो के बीच रैखिक मानचित्र {{nowrap|''f'' : ''V'' → ''W''}} को श्रेणीबद्ध रेखीय मानचित्र कहा जाता है इस प्रकार यदि यह सजातीय अवयवो की ग्रेडिंग को संरक्षित करता है। श्रेणीबद्ध रैखिक मानचित्र को श्रेणीबद्ध सदिश समष्टिो का समरूपता (या रूपवाद) या सजातीय रैखिक मानचित्र भी कहा जाता है:


:I में सभी i के लिए <math>f(V_i)\subseteq W_i</math>
:I में सभी i के लिए <math>f(V_i)\subseteq W_i</math>


एक निश्चित क्षेत्र (गणित) और निश्चित सूचकांक समुच्चय के लिए, श्रेणीबद्ध सदिश रिक्त समिष्ट [[श्रेणी (गणित)]] बनाते हैं जिनकी आकृतियाँ श्रेणीबद्ध रैखिक मानचित्र हैं।
एक निश्चित क्षेत्र (गणित) और निश्चित सूचकांक समुच्चय के लिए, श्रेणीबद्ध सदिश रिक्त समष्टि [[श्रेणी (गणित)]] बनाते हैं जिनकी आकृतियाँ श्रेणीबद्ध रैखिक मानचित्र हैं।


जब I क्रमविनिमेय [[मोनोइड]] (जैसे कि प्राकृतिक संख्याएं) है, तो कोई सामान्यतः रैखिक मानचित्रों को परिभाषित कर सकता है जो प्रोपर्टी द्वारा I में किसी भी डिग्री के 'सजातीय' होते हैं
जब I क्रमविनिमेय [[मोनोइड]] (जैसे कि प्राकृतिक संख्याएं) है, तो कोई सामान्यतः रैखिक मानचित्रों को परिभाषित कर सकता है जो प्रोपर्टी द्वारा I में किसी भी डिग्री के 'सजातीय' होते हैं
Line 28: Line 28:
:<math>f(V_j)\subseteq W_{i+j}</math> I में सभी j के लिए,
:<math>f(V_j)\subseteq W_{i+j}</math> I में सभी j के लिए,


जहां + मोनॉइड ऑपरेशन को दर्शाता है। यदि इसके अतिरिक्त I [[रद्दीकरण संपत्ति|निराकरण प्रोपर्टी]] को संतुष्ट करता है जिससे इसे [[एबेलियन समूह]] में [[एम्बेडिंग]] किया जा सके जो इसे उत्पन्न करता है (उदाहरण के लिए पूर्णांक यदि I प्राकृतिक संख्या है), तो कोई रैखिक मानचित्र भी परिभाषित कर सकता है जो एक ही प्रोपर्टी द्वारा डिग्री I के सजातीय हैं (किन्तु अब +  में समूह संचालन A को दर्शाता है)। विशेष रूप से, I में I के लिए रेखीय मानचित्र डिग्री -i का सजातीय होगा यदि
जहां + मोनॉइड ऑपरेशन को दर्शाता है। यदि इसके अतिरिक्त [[रद्दीकरण संपत्ति|निराकरण प्रोपर्टी]] को संतुष्ट करता है जिससे इसे [[एबेलियन समूह]] में [[एम्बेडिंग]] किया जा सके जो इसे उत्पन्न करता है (उदाहरण के लिए पूर्णांक यदि I प्राकृतिक संख्या है), तो कोई रैखिक मानचित्र भी परिभाषित कर सकता है जो एक ही प्रोपर्टी द्वारा डिग्री I के सजातीय हैं (किन्तु अब +  में समूह संचालन A को दर्शाता है)। विशेष रूप से, I में I के लिए रेखीय मानचित्र डिग्री -i का सजातीय होगा यदि


:<math>f(V_{i+j})\subseteq W_j</math> I में सभी j के लिए, जबकि
:<math>f(V_{i+j})\subseteq W_j</math> I में सभी j के लिए, जबकि
:<math>f(V_j)=0\,</math> यदि {{nowrap|''j'' − ''i''}} I में नहीं है.
:<math>f(V_j)=0\,</math> यदि {{nowrap|''j'' − ''i''}} I में नहीं है.


जिस प्रकार सदिश समिष्ट से रैखिक मानचित्रों का समुच्चय अपने आप में [[साहचर्य बीजगणित]] (सदिश समिष्ट का [[एंडोमोर्फिज्म बीजगणित]]) बनाता है, उसी प्रकार समिष्ट से सजातीय रैखिक मानचित्रों का समुच्चय या तो डिग्री को I तक सीमित करता है या समूह A में किसी भी डिग्री की अनुमति देता है - उन सूचकांक समुच्चयो पर साहचर्य [[श्रेणीबद्ध बीजगणित]] बनाता है।
जिस प्रकार सदिश समष्टि से रैखिक मानचित्रों का समुच्चय अपने आप में [[साहचर्य बीजगणित]] (सदिश समष्टि का [[एंडोमोर्फिज्म बीजगणित]]) बनाता है, उसी प्रकार समष्टि से सजातीय रैखिक मानचित्रों का समुच्चय या तो डिग्री को I तक सीमित करता है या समूह A में किसी भी डिग्री की अनुमति देता है - उन सूचकांक समुच्चयो पर साहचर्य [[श्रेणीबद्ध बीजगणित]] बनाता है।


==श्रेणीबद्ध सदिश समिष्ट पर संचालन ==
==श्रेणीबद्ध सदिश समष्टि पर संचालन ==
सदिश समिष्ट पर कुछ ऑपरेशनों को श्रेणीबद्ध सदिश समिष्ट के लिए भी परिभाषित किया जा सकता है।
सदिश समष्टि पर कुछ ऑपरेशनों को श्रेणीबद्ध सदिश समष्टि के लिए भी परिभाषित किया जा सकता है।


दो I-श्रेणीबद्ध सदिश समिष्ट V और W को देखते हुए, उनके 'प्रत्यक्ष योग' में ग्रेडेशन के साथ अंतर्निहित सदिश समिष्ट V ⊕ W है
दो I-श्रेणीबद्ध सदिश समष्टि V और W को देखते हुए, उनके 'प्रत्यक्ष योग' में ग्रेडेशन के साथ अंतर्निहित सदिश समष्टि V ⊕ W है
:(V ⊕ W)<sub>''i''</sub> = V<sub>i</sub> ⊕ W<sub>i</sub>.
:(V ⊕ W)<sub>''i''</sub> = V<sub>i</sub> ⊕ W<sub>i</sub>.


यदि I एक [[अर्धसमूह]] है तो दो I-श्रेणीबद्ध सदिश समिष्ट V और W का टेंसर उत्पाद ग्रेडेशन के साथ एक और I-श्रेणीबद्ध सदिश समिष्ट <math>V \otimes W</math> है
यदि I एक [[अर्धसमूह]] है तो दो I-श्रेणीबद्ध सदिश समष्टि V और W का टेंसर उत्पाद ग्रेडेशन के साथ एक और I-श्रेणीबद्ध सदिश समष्टि <math>V \otimes W</math> है
: <math>(V \otimes W)_i = \bigoplus_{\left\{\left(j,k\right) \,:\; j+k=i\right\}} V_j \otimes W_k.</math>
: <math>(V \otimes W)_i = \bigoplus_{\left\{\left(j,k\right) \,:\; j+k=i\right\}} V_j \otimes W_k.</math>
==हिल्बर्ट-पोंकारे श्रृंखला==
==हिल्बर्ट-पोंकारे श्रृंखला==


एक <math>\N</math> -श्रेणीबद्ध सदिश समिष्ट दिया गया है जो प्रत्येक <math>n\in \N,</math> के लिए परिमित-आयामी है इसकी हिल्बर्ट-पोंकारे श्रृंखला [[औपचारिक शक्ति श्रृंखला|फॉर्मल पॉवर श्रृंखला]] है
एक <math>\N</math> -श्रेणीबद्ध सदिश समष्टि दिया गया है जो प्रत्येक <math>n\in \N,</math> के लिए परिमित-आयामी है इसकी हिल्बर्ट-पोंकारे श्रृंखला [[औपचारिक शक्ति श्रृंखला|फॉर्मल पॉवर श्रृंखला]] है


:<math>\sum_{n\in\N}\dim_K(V_n)\, t^n.</math>
:<math>\sum_{n\in\N}\dim_K(V_n)\, t^n.</math>
उपरोक्त सूत्रों से, प्रत्यक्ष योग की हिल्बर्ट-पोंकारे श्रृंखला और श्रेणीबद्ध सदिश रिक्त समिष्ट (प्रत्येक डिग्री में परिमित आयामी) के टेंसर उत्पाद क्रमशः संबंधित हिल्बर्ट-पोंकारे श्रृंखला का योग और उत्पाद हैं।
उपरोक्त सूत्रों से, प्रत्यक्ष योग की हिल्बर्ट-पोंकारे श्रृंखला और श्रेणीबद्ध सदिश रिक्त समष्टि (प्रत्येक डिग्री में परिमित आयामी) के टेंसर उत्पाद क्रमशः संबंधित हिल्बर्ट-पोंकारे श्रृंखला का योग और उत्पाद हैं।


==यह भी देखें==
==यह भी देखें==

Revision as of 15:27, 4 August 2023

गणित में, श्रेणीबद्ध सदिश समष्टि एक सदिश समष्टि होता है जिसमें श्रेणीबद्ध (गणित) या ग्रेडेशन की अतिरिक्त संरचना होती है, जो सदिश समष्टि का रैखिक उपसमष्टि के सदिश समष्टि के प्रत्यक्ष योग में अपघटन होता है।

पूर्णांक उन्नयन

मान लीजिए गैर-ऋणात्मक पूर्णांक का समुच्चय है। एक -श्रेणीबद्ध सदिश समष्टि को अधिकांशतः उपसर्ग के बिना बस एक श्रेणीबद्ध सदिश समष्टि कहा जाता है, यह एक सदिश समष्टि V है जो फॉर्म के प्रत्यक्ष योग में एक अपघटन के साथ होता है

जहां प्रत्येक एक सदिश समष्टि है। किसी दिए गए n के लिए के अवयवो को डिग्री n के सजातीय अवयव कहा जाता है।

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

सामान्य ग्रेडेशन

श्रेणीबद्ध सदिश समष्टि के उप-समष्टिो को प्राकृतिक संख्याओं के समुच्चय द्वारा अनुक्रमित करने की आवश्यकता नहीं है, और किसी भी समुच्चय के अवयवो द्वारा अनुक्रमित किया जा सकता है। I-श्रेणीबद्ध सदिश समष्टि V समुच्चय I के अवयवो i द्वारा अनुक्रमित उपसमष्टि के प्रत्यक्ष योग में अपघटन के साथ सदिश समष्टि है:

इसलिए, एक -श्रेणीबद्ध सदिश समष्टि, जैसा कि ऊपर परिभाषित किया गया है, सिर्फ एक I-श्रेणीबद्ध सदिश समष्टि है जहां समुच्चय I (प्राकृतिक संख्याओं का समुच्चय) है।

वह स्थिति जहां I वलय है (अवयव 0 और 1) भौतिकी में विशेष रूप से महत्वपूर्ण है। इस प्रकार -श्रेणीबद्ध सदिश समष्टि को सुपरवेक्टर समष्टि के रूप में भी जाना जाता है।

समरूपता

सामान्य सूचकांक समुच्चय I के लिए, दो I-वर्गीकृत सदिश समष्टिो के बीच रैखिक मानचित्र f : VW को श्रेणीबद्ध रेखीय मानचित्र कहा जाता है इस प्रकार यदि यह सजातीय अवयवो की ग्रेडिंग को संरक्षित करता है। श्रेणीबद्ध रैखिक मानचित्र को श्रेणीबद्ध सदिश समष्टिो का समरूपता (या रूपवाद) या सजातीय रैखिक मानचित्र भी कहा जाता है:

I में सभी i के लिए

एक निश्चित क्षेत्र (गणित) और निश्चित सूचकांक समुच्चय के लिए, श्रेणीबद्ध सदिश रिक्त समष्टि श्रेणी (गणित) बनाते हैं जिनकी आकृतियाँ श्रेणीबद्ध रैखिक मानचित्र हैं।

जब I क्रमविनिमेय मोनोइड (जैसे कि प्राकृतिक संख्याएं) है, तो कोई सामान्यतः रैखिक मानचित्रों को परिभाषित कर सकता है जो प्रोपर्टी द्वारा I में किसी भी डिग्री के 'सजातीय' होते हैं

I में सभी j के लिए,

जहां + मोनॉइड ऑपरेशन को दर्शाता है। यदि इसके अतिरिक्त निराकरण प्रोपर्टी को संतुष्ट करता है जिससे इसे एबेलियन समूह में एम्बेडिंग किया जा सके जो इसे उत्पन्न करता है (उदाहरण के लिए पूर्णांक यदि I प्राकृतिक संख्या है), तो कोई रैखिक मानचित्र भी परिभाषित कर सकता है जो एक ही प्रोपर्टी द्वारा डिग्री I के सजातीय हैं (किन्तु अब + में समूह संचालन A को दर्शाता है)। विशेष रूप से, I में I के लिए रेखीय मानचित्र डिग्री -i का सजातीय होगा यदि

I में सभी j के लिए, जबकि
यदि ji I में नहीं है.

जिस प्रकार सदिश समष्टि से रैखिक मानचित्रों का समुच्चय अपने आप में साहचर्य बीजगणित (सदिश समष्टि का एंडोमोर्फिज्म बीजगणित) बनाता है, उसी प्रकार समष्टि से सजातीय रैखिक मानचित्रों का समुच्चय या तो डिग्री को I तक सीमित करता है या समूह A में किसी भी डिग्री की अनुमति देता है - उन सूचकांक समुच्चयो पर साहचर्य श्रेणीबद्ध बीजगणित बनाता है।

श्रेणीबद्ध सदिश समष्टि पर संचालन

सदिश समष्टि पर कुछ ऑपरेशनों को श्रेणीबद्ध सदिश समष्टि के लिए भी परिभाषित किया जा सकता है।

दो I-श्रेणीबद्ध सदिश समष्टि V और W को देखते हुए, उनके 'प्रत्यक्ष योग' में ग्रेडेशन के साथ अंतर्निहित सदिश समष्टि V ⊕ W है

(V ⊕ W)i = Vi ⊕ Wi.

यदि I एक अर्धसमूह है तो दो I-श्रेणीबद्ध सदिश समष्टि V और W का टेंसर उत्पाद ग्रेडेशन के साथ एक और I-श्रेणीबद्ध सदिश समष्टि है

हिल्बर्ट-पोंकारे श्रृंखला

एक -श्रेणीबद्ध सदिश समष्टि दिया गया है जो प्रत्येक के लिए परिमित-आयामी है इसकी हिल्बर्ट-पोंकारे श्रृंखला फॉर्मल पॉवर श्रृंखला है

उपरोक्त सूत्रों से, प्रत्यक्ष योग की हिल्बर्ट-पोंकारे श्रृंखला और श्रेणीबद्ध सदिश रिक्त समष्टि (प्रत्येक डिग्री में परिमित आयामी) के टेंसर उत्पाद क्रमशः संबंधित हिल्बर्ट-पोंकारे श्रृंखला का योग और उत्पाद हैं।

यह भी देखें

संदर्भ

  • Bourbaki, N. (1974) Algebra I (Chapters 1-3), ISBN 978-3-540-64243-5, Chapter 2, Section 11; Chapter 3.