हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद: Difference between revisions
Line 59: | Line 59: | ||
=== योज्यता === | === योज्यता === | ||
हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद अपेक्षाकृत | हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद अपेक्षाकृत त्रुटिहीन अनुक्रमों के लिए योगात्मक होता हैं। अधिक त्रुटिहीन, यदि | ||
:<math>0 \;\rightarrow\; A\;\rightarrow\; B\;\rightarrow\; C \;\rightarrow\; 0</math> | :<math>0 \;\rightarrow\; A\;\rightarrow\; B\;\rightarrow\; C \;\rightarrow\; 0</math> | ||
वर्गीकृत या फ़िल्टर किए गए गुणांक का एक त्रुटिहीन क्रम होता है, | वर्गीकृत या फ़िल्टर किए गए गुणांक का एक त्रुटिहीन क्रम होता है, जो हमारे पास है | ||
:<math>HS_B=HS_A+HS_C</math> और | :<math>HS_B=HS_A+HS_C</math> और | ||
:<math>HP_B=HP_A+HP_C.</math> | :<math>HP_B=HP_A+HP_C.</math> | ||
यह | यह सदिश समष्टि स्थान के आयाम के लिए उसी संपत्ति से तुरंत अनुसरण करता है। | ||
=== एक गैर-शून्य भाजक === द्वारा भागफल | === एक गैर-शून्य भाजक === द्वारा भागफल | ||
Line 70: | Line 70: | ||
होने देना {{math|''A''}} एक वर्गीकृत बीजगणित हो और {{math|''f''}} डिग्री का एक समरूप तत्व {{math|''d''}} में {{math|''A''}} जो [[शून्य भाजक]] नहीं है। तो हमारे पास हैं | होने देना {{math|''A''}} एक वर्गीकृत बीजगणित हो और {{math|''f''}} डिग्री का एक समरूप तत्व {{math|''d''}} में {{math|''A''}} जो [[शून्य भाजक]] नहीं है। तो हमारे पास हैं | ||
:<math>HS_{A/(f)}(t)=(1-t^d)\,HS_A(t)\,.</math> | :<math>HS_{A/(f)}(t)=(1-t^d)\,HS_A(t)\,.</math> | ||
यह | यह त्रुटिहीन क्रम पर योगात्मकता से अनुसरण करता है | ||
:<math>0 \;\rightarrow\; A^{[d]}\; \xrightarrow{f}\; A \;\rightarrow\; A/f\rightarrow\; 0\,,</math> | :<math>0 \;\rightarrow\; A^{[d]}\; \xrightarrow{f}\; A \;\rightarrow\; A/f\rightarrow\; 0\,,</math> | ||
जहां | जहां {{math|''f''}} अंकित वाला चिह्न है {{math|''f''}} द्वारा गुणा है, और <math>A^{[d]}</math> ग्रेडेड गुणांक है जो जो {{math|''A''}} प्राप्त किया जाता है डिग्रियों को स्थानांतरित करके {{math|''d''}}, जिससे गुणा किया जा सके {{math|''f''}} की डिग्री 0 है। इसका तात्पर्य है कि <math>HS_{A^{[d]}}(t)=t^d\,HS_A(t)\,.</math> | ||
Line 104: | Line 104: | ||
इस खंड में, किसी को बीजगणितीय सेटों की इरेड्यूसबिलिटी की आवश्यकता नहीं है और न ही आदर्शों की प्रधानता की। इसके अतिरिक्त, हिल्बर्ट श्रृंखला को गुणांक के क्षेत्र, क्षेत्र का विस्तार करके नहीं बदला जाता है {{mvar|k}} को, व्यापकता की हानि के बिना, बीजगणितीय रूप से संवृत होना माना जाता है। | इस खंड में, किसी को बीजगणितीय सेटों की इरेड्यूसबिलिटी की आवश्यकता नहीं है और न ही आदर्शों की प्रधानता की। इसके अतिरिक्त, हिल्बर्ट श्रृंखला को गुणांक के क्षेत्र, क्षेत्र का विस्तार करके नहीं बदला जाता है {{mvar|k}} को, व्यापकता की हानि के बिना, बीजगणितीय रूप से संवृत होना माना जाता है। | ||
आयाम {{mvar|d}} का {{mvar|V}} क्रुल डायमेंशन माइनस एक के बराबर है {{mvar|R}}, और की डिग्री {{mvar|V}} चौराहों के बिंदुओं की संख्या है, जिन्हें गुणकों के साथ गिना जाता है {{mvar|V}} के चौराहे के साथ <math>d</math> [[सामान्य स्थिति]] में हाइपरप्लेन। इसका तात्पर्य अस्तित्व में है {{mvar|R}}, एक [[नियमित अनुक्रम]] का <math>h_0, \ldots, h_{d}</math> का {{math|''d'' + 1}} डिग्री एक के समरूप बहुपद। एक नियमित अनुक्रम की परिभाषा का तात्पर्य | आयाम {{mvar|d}} का {{mvar|V}} क्रुल डायमेंशन माइनस एक के बराबर है {{mvar|R}}, और की डिग्री {{mvar|V}} चौराहों के बिंदुओं की संख्या है, जिन्हें गुणकों के साथ गिना जाता है {{mvar|V}} के चौराहे के साथ <math>d</math> [[सामान्य स्थिति]] में हाइपरप्लेन। इसका तात्पर्य अस्तित्व में है {{mvar|R}}, एक [[नियमित अनुक्रम]] का <math>h_0, \ldots, h_{d}</math> का {{math|''d'' + 1}} डिग्री एक के समरूप बहुपद। एक नियमित अनुक्रम की परिभाषा का तात्पर्य त्रुटिहीन अनुक्रमों के अस्तित्व से है | ||
:<math>0 \longrightarrow \left(R/\langle h_0,\ldots, h_{k-1}\rangle \right)^{[1]} \stackrel{h_k}{\longrightarrow} R/\langle h_1,\ldots, h_{k-1}\rangle \longrightarrow R/\langle h_1,\ldots, h_k \rangle \longrightarrow 0,</math> | :<math>0 \longrightarrow \left(R/\langle h_0,\ldots, h_{k-1}\rangle \right)^{[1]} \stackrel{h_k}{\longrightarrow} R/\langle h_1,\ldots, h_{k-1}\rangle \longrightarrow R/\langle h_1,\ldots, h_k \rangle \longrightarrow 0,</math> | ||
के लिए <math>k=0, \ldots, d.</math> इसका अर्थ यह है कि | के लिए <math>k=0, \ldots, d.</math> इसका अर्थ यह है कि | ||
Line 110: | Line 110: | ||
जहाँ <math> P(t)</math> की हिल्बर्ट श्रृंखला का अंश है {{mvar|R}}. | जहाँ <math> P(t)</math> की हिल्बर्ट श्रृंखला का अंश है {{mvar|R}}. | ||
अंगूठी <math>R_1=R/\langle h_0, \ldots, h_{d-1}\rangle</math> क्रुल आयाम एक है, और एक प्रोजेक्टिव बीजगणितीय सेट के नियमित कार्यों की अंगूठी है <math>V_0</math> आयाम 0 में अंकों की एक परिमित संख्या होती है, जो कई बिंदु हो सकते हैं। जैसा <math>h_d</math> एक नियमित अनुक्रम से संबंधित है, इनमें से कोई भी बिंदु समीकरण के हाइपरप्लेन से संबंधित नहीं है <math>h_d=0.</math> इस हाइपरप्लेन का पूरक एक [[affine अंतरिक्ष]] है जिसमें शामिल है <math>V_0.</math> यह बनाता है <math>V_0</math> एक [[affine बीजगणितीय सेट]], जिसमें है <math>R_0 = R_1/\langle h_d-1\rangle</math> इसके नियमित कार्यों की अंगूठी के रूप में। रैखिक बहुपद <math>h_d-1</math> में शून्य भाजक नहीं है <math>R_1,</math> और इस प्रकार एक | अंगूठी <math>R_1=R/\langle h_0, \ldots, h_{d-1}\rangle</math> क्रुल आयाम एक है, और एक प्रोजेक्टिव बीजगणितीय सेट के नियमित कार्यों की अंगूठी है <math>V_0</math> आयाम 0 में अंकों की एक परिमित संख्या होती है, जो कई बिंदु हो सकते हैं। जैसा <math>h_d</math> एक नियमित अनुक्रम से संबंधित है, इनमें से कोई भी बिंदु समीकरण के हाइपरप्लेन से संबंधित नहीं है <math>h_d=0.</math> इस हाइपरप्लेन का पूरक एक [[affine अंतरिक्ष]] है जिसमें शामिल है <math>V_0.</math> यह बनाता है <math>V_0</math> एक [[affine बीजगणितीय सेट]], जिसमें है <math>R_0 = R_1/\langle h_d-1\rangle</math> इसके नियमित कार्यों की अंगूठी के रूप में। रैखिक बहुपद <math>h_d-1</math> में शून्य भाजक नहीं है <math>R_1,</math> और इस प्रकार एक त्रुटिहीन अनुक्रम होता है | ||
:<math>0 \longrightarrow R_1 \stackrel{h_d-1}{\longrightarrow} R_1 \longrightarrow R_0 \longrightarrow 0,</math> | :<math>0 \longrightarrow R_1 \stackrel{h_d-1}{\longrightarrow} R_1 \longrightarrow R_0 \longrightarrow 0,</math> | ||
जिसका तात्पर्य है | जिसका तात्पर्य है | ||
Line 118: | Line 118: | ||
इस प्रकार <math>R_0</math> एक [[आर्टिनियन रिंग]] है, जो कि ए है {{mvar|k}}-आयाम का सदिश स्थान {{math|''P''(1)}}, और जॉर्डन-होल्डर प्रमेय को साबित करने के लिए इस्तेमाल किया जा सकता है {{math|''P''(1)}} बीजगणितीय सेट की डिग्री है {{mvar|V}}. वास्तव में, एक बिंदु की बहुलता एक [[रचना श्रृंखला]] में संबंधित अधिकतम आदर्श की घटनाओं की संख्या है। | इस प्रकार <math>R_0</math> एक [[आर्टिनियन रिंग]] है, जो कि ए है {{mvar|k}}-आयाम का सदिश स्थान {{math|''P''(1)}}, और जॉर्डन-होल्डर प्रमेय को साबित करने के लिए इस्तेमाल किया जा सकता है {{math|''P''(1)}} बीजगणितीय सेट की डिग्री है {{mvar|V}}. वास्तव में, एक बिंदु की बहुलता एक [[रचना श्रृंखला]] में संबंधित अधिकतम आदर्श की घटनाओं की संख्या है। | ||
बेज़ाउट के प्रमेय को सिद्ध करने के लिए, इसी तरह आगे बढ़ सकते हैं। यदि <math>f</math> डिग्री का एक समरूप बहुपद है <math>\delta</math>, जो शून्य भाजक नहीं है {{mvar|R}}, | बेज़ाउट के प्रमेय को सिद्ध करने के लिए, इसी तरह आगे बढ़ सकते हैं। यदि <math>f</math> डिग्री का एक समरूप बहुपद है <math>\delta</math>, जो शून्य भाजक नहीं है {{mvar|R}}, त्रुटिहीन अनुक्रम | ||
:<math>0 \longrightarrow R^{[\delta]} \stackrel{f}{\longrightarrow} R \longrightarrow R/\langle f\rangle \longrightarrow 0,</math> | :<math>0 \longrightarrow R^{[\delta]} \stackrel{f}{\longrightarrow} R \longrightarrow R/\langle f\rangle \longrightarrow 0,</math> | ||
पता चलता है कि | पता चलता है कि | ||
Line 134: | Line 134: | ||
एक अनुमानित बीजगणितीय सेट एक पूर्ण चौराहे है यदि इसका परिभाषित आदर्श नियमित अनुक्रम द्वारा उत्पन्न होता है। इस स्थिति में, हिल्बर्ट श्रृंखला के लिए एक सरल स्पष्ट सूत्र है। | एक अनुमानित बीजगणितीय सेट एक पूर्ण चौराहे है यदि इसका परिभाषित आदर्श नियमित अनुक्रम द्वारा उत्पन्न होता है। इस स्थिति में, हिल्बर्ट श्रृंखला के लिए एक सरल स्पष्ट सूत्र है। | ||
होने देना <math>f_1, \ldots, f_k</math> होना {{math|''k''}} में समरूप बहुपद <math>R=K[x_1, \ldots, x_n]</math>, संबंधित डिग्री के <math>\delta_1, \ldots, \delta_k.</math> सेटिंग <math>R_i=R/\langle f_1, \ldots, f_i\rangle,</math> one में निम्नलिखित | होने देना <math>f_1, \ldots, f_k</math> होना {{math|''k''}} में समरूप बहुपद <math>R=K[x_1, \ldots, x_n]</math>, संबंधित डिग्री के <math>\delta_1, \ldots, \delta_k.</math> सेटिंग <math>R_i=R/\langle f_1, \ldots, f_i\rangle,</math> one में निम्नलिखित त्रुटिहीन क्रम हैं | ||
:<math>0 \;\rightarrow\; R_{i-1}^{[\delta_i]}\; \xrightarrow{f_i}\; R_{i-1} \;\rightarrow\; R_i\; \rightarrow\; 0\,.</math> | :<math>0 \;\rightarrow\; R_{i-1}^{[\delta_i]}\; \xrightarrow{f_i}\; R_{i-1} \;\rightarrow\; R_i\; \rightarrow\; 0\,.</math> | ||
हिल्बर्ट श्रृंखला की योज्यता का तात्पर्य इस प्रकार है | हिल्बर्ट श्रृंखला की योज्यता का तात्पर्य इस प्रकार है | ||
Line 143: | Line 143: | ||
== मुक्त संकल्पों से सम्बन्ध == | == मुक्त संकल्पों से सम्बन्ध == | ||
हर वर्गीकृत गुणांक {{math|''M''}} एक श्रेणीबद्ध नियमित रिंग पर {{math|''R''}} हिल्बर्ट के सिज़ीजी प्रमेय के कारण एक वर्गीकृत मुक्त रिज़ॉल्यूशन है, जिसका अर्थ है कि एक | हर वर्गीकृत गुणांक {{math|''M''}} एक श्रेणीबद्ध नियमित रिंग पर {{math|''R''}} हिल्बर्ट के सिज़ीजी प्रमेय के कारण एक वर्गीकृत मुक्त रिज़ॉल्यूशन है, जिसका अर्थ है कि एक त्रुटिहीन अनुक्रम मौजूद है | ||
:<math> 0 \to L_k \to \cdots \to L_1 \to M \to 0,</math> | :<math> 0 \to L_k \to \cdots \to L_1 \to M \to 0,</math> | ||
जहां <math>L_i</math> मुक्त गुणांक वर्गीकृत हैं, और तीर डिग्री शून्य के रैखिक मानचित्र हैं। | जहां <math>L_i</math> मुक्त गुणांक वर्गीकृत हैं, और तीर डिग्री शून्य के रैखिक मानचित्र हैं। |
Revision as of 00:52, 8 May 2023
कम्यूटेटिव बीजगणित में, हिल्बर्ट फलन, हिल्बर्ट बहुपद, और एक श्रेणीबद्ध क्रमविनिमेय बीजगणित की हिल्बर्ट श्रृंखला एक क्षेत्र पर सूक्ष्म रूप से उत्पन्न तीन दृढ़ता से संबंधित धारणाएं हैं जो बीजगणित के समरूप घटकों के आयाम के विकास को मापती हैं।
इन धारणाओं को फ़िल्टर किए गए बीजगणितों तक बढ़ा दिया गया है, और इन बीजगणितों पर वर्गीकृत या फ़िल्टर किए गए गुणांक (गणित) के साथ-साथ प्रोजेक्टिव योजनाओं पर सुसंगत ढेरों के लिए भी बढ़ाया गया है।
जिन विशिष्ट स्थितियों में इन धारणाओं का उपयोग किया जाता है, वे निम्नलिखित हैं:
- एक बहुभिन्नरूपी बहुपद वलय के समरूप आदर्श (रिंग थ्योरी) द्वारा भागफल, कुल डिग्री द्वारा वर्गीकृत।
- एक बहुभिन्नरूपी बहुपद वलय के एक आदर्श द्वारा भागफल, कुल डिग्री द्वारा फ़िल्टर किया गया।
- अपने उच्चतम अनुकूल क्षमता द्वारा एक स्थानीय वलय का निस्पंदन करता है। इस स्थिति में हिल्बर्ट बहुपद को हिल्बर्ट-सैमुअल बहुपद कहा जाता है।
बीजगणित या एक गुणांक की डेविड हिल्बर्ट श्रृंखला ग्रेडेड वेक्टर स्पेस की हिल्बर्ट-पोंकेयर श्रृंखला की विशेष स्थिति होती है।
कम्प्यूटेशनल बीजगणितीय ज्यामिति में हिल्बर्ट बहुपद और हिल्बर्ट श्रृंखला महत्वपूर्ण हैं, क्योंकि वे स्पष्ट बहुपद समीकरणों द्वारा परिभाषित आयाम और बीजगणितीय विविधता की डिग्री की गणना के लिए सबसे आसान ज्ञात विधि होती हैं। इसके अतिरिक्त, वे बीजगणितीय बहुरूपताों के श्रेणीयों के लिए उपयोगी आविष्कार प्रदान करते हैं क्योंकि एक समतल श्रेणी में किसी भी बंद बिंदु पर एक ही हिल्बर्ट बहुपद होते है . इसका उपयोग हिल्बर्ट योजना और उद्धरण योजना के निर्माण में किया जाता है।
परिभाषाएं और मुख्य गुण
एक क्षेत्र K पर सूक्ष्म रूप से उत्पन्न क्रम विनिमय बीजगणित S पर विचार करें, जो सकारात्मक डिग्री के तत्वों द्वारा अंतिम रूप से उत्पन्न होता है। इस का मतलब है कि
ओर वो .
हिल्बर्ट फलन
K-सदिश स्थल Sn के आयाम के लिए पूर्णांक n को मानचित्र करता है। हिल्बर्ट श्रृंखला, जिसे ग्रेडेड सदिश समष्टि स्थान की अधिक सामान्य सेटिंग में हिल्बर्ट-पोंकेयर श्रृंखला कहा जाता है, औपचारिक श्रृंखला होती है
यदि S सकारात्मक डिग्री के द्वारा h सदृश तत्वों द्वारा उत्पन्न होता है , तो हिल्बर्ट श्रृंखला का योग एक परिमेय भिन्न होता है
जहाँ Q पूर्णांक गुणांकों वाला एक बहुपद है।
यदि S डिग्री 1 के तत्वों द्वारा उत्पन्न होता है तो हिल्बर्ट श्रृंखला के योग को फिर से लिखा जा सकता है
जहाँ P पूर्णांक गुणांक वाला बहुपद है, और S का क्रुल आयाम होता है। इस स्थिति में इस तर्कसंगत अंश का श्रृंखला विस्तार होता है
जहाँ
- के लिए द्विपद गुणांक है और 0 अन्यथा है।
यदि
का गुणांक में इस प्रकार है
के लिए इस योग में सूचकांक i का पद n डिग्री का एक बहुपद है प्रमुख गुणांक के साथ यह दर्शाता है कि एक अद्वितीय बहुपद सम्मलित है तर्कसंगत गुणांक के साथ जो के बराबर होता है बहुत पर्याप्त n के लिए। यह बहुपद हिल्बर्ट बहुपद है, और इसका रूप है
कम से कम n0 ऐसा है कि के लिए n ≥ n0 के लिए हिल्बर्ट नियमितता कहलाती है। डिग्री से कम हो सकता है .
हिल्बर्ट बहुपद एक संख्यात्मक बहुपद है, क्योंकि आयाम पूर्णांक हैं, किन्तु बहुपद में लगभग कभी भी पूर्णांक गुणांक नहीं होते हैं (Schenck 2003, pp. 41) .
इन सभी परिभाषाओं को S पर सूक्ष्म रूप से उत्पन्न श्रेणीकृत गुणांक तक बढ़ाया जा सकता है, एकमात्र अंतर के साथ tm हिल्बर्ट श्रृंखला में दिखाई देता है, जहाँ m गुणांक के जनित्र की न्यूनतम डिग्री होती है, जो नकारात्मक हो सकती है।
हिल्बर्ट फलन, हिल्बर्ट श्रृंखला और फ़िल्टर किए गए बीजगणित के हिल्बर्ट बहुपद संबद्ध ग्रेडेड बीजगणित के होते हैं।
Pn में प्रक्षेपीय बहुरूपता V के हिल्बर्ट बहुपद को V के समरूप समन्वय वलय के हिल्बर्ट बहुपद के रूप में परिभाषित किया गया है।
वर्गीकृत बीजगणित और बहुपद के वलय
समरूप आदर्शों द्वारा बहुपद वलय और उनके भागफल विशिष्ट श्रेणीबद्ध बीजगणित हैं। इसके विपरीत यदि S वर्गीकृत बीजगणित है जो क्षेत्र K द्वारा n समरूप तत्व g1, ..., gn डिग्री 1 द्वारा उत्पन्न होता है, फिर मानचित्र जो Xiको gi पर भेजता है, श्रेणीबद्ध वलय के समरूपता को परिभाषित करता है पर S. इसका कर्नेल (बीजगणित) एक समरूप आदर्श I होते है और यह बीच में वर्गीकृत बीजगणित के एक समरूपता को परिभाषित करता है और S.
इस प्रकार, डिग्री 1 के तत्वों द्वारा उत्पन्न वर्गीकृत बीजगणित समरूप आदर्शों द्वारा बहुपद के वलय के भागफल, एक समरूपता तक बिल्कुल होता हैं। इसलिए, इस लेख का शेष भाग आदर्शों द्वारा बहुपद वलयों के भागफल तक ही सीमित रहेगा।
हिल्बर्ट श्रृंखला के गुण
योज्यता
हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद अपेक्षाकृत त्रुटिहीन अनुक्रमों के लिए योगात्मक होता हैं। अधिक त्रुटिहीन, यदि
वर्गीकृत या फ़िल्टर किए गए गुणांक का एक त्रुटिहीन क्रम होता है, जो हमारे पास है
- और
यह सदिश समष्टि स्थान के आयाम के लिए उसी संपत्ति से तुरंत अनुसरण करता है।
=== एक गैर-शून्य भाजक === द्वारा भागफल
होने देना A एक वर्गीकृत बीजगणित हो और f डिग्री का एक समरूप तत्व d में A जो शून्य भाजक नहीं है। तो हमारे पास हैं
यह त्रुटिहीन क्रम पर योगात्मकता से अनुसरण करता है
जहां f अंकित वाला चिह्न है f द्वारा गुणा है, और ग्रेडेड गुणांक है जो जो A प्राप्त किया जाता है डिग्रियों को स्थानांतरित करके d, जिससे गुणा किया जा सके f की डिग्री 0 है। इसका तात्पर्य है कि
एक बहुपद वलय की हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद
बहुपद वलय की हिल्बर्ट श्रृंखला में अनिश्चित है
यह इस प्रकार है कि हिल्बर्ट बहुपद है
सबूत है कि हिल्बर्ट श्रृंखला में यह सरल रूप है, एक गैर शून्य विभाजक द्वारा भागफल के लिए पिछले सूत्र को पुनरावर्ती रूप से लागू करके प्राप्त किया जाता है ) और उस पर टिप्पणी करना
हिल्बर्ट श्रृंखला का आकार और आयाम
एक वर्गीकृत बीजगणित A डिग्री 1 के समरूप तत्वों द्वारा उत्पन्न क्रुल आयाम शून्य है यदि अधिकतम समरूप आदर्श, जो कि डिग्री 1 के समरूप तत्वों द्वारा उत्पन्न आदर्श है, नीलपोटेंट आदर्श है। इसका तात्पर्य है कि का आयाम A के तौर पर K-सदिश स्थान परिमित है और हिल्बर्ट श्रृंखला की A एक बहुपद है P(t) ऐसा है कि P(1) के आयाम के बराबर है A के तौर पर K-सदिश स्थल।
यदि क्रुल का आयाम A सकारात्मक है, एक समरूप तत्व है f घात एक का जो शून्य भाजक नहीं है (वास्तव में घात एक के लगभग सभी तत्वों में यह गुण होता है)। का क्रुल आयाम A/(f) का क्रुल आयाम है A शून्य से एक कम।
हिल्बर्ट श्रृंखला की योगात्मकता यह दर्शाती है . के क्रुल आयाम के बराबर इसे कई बार दोहराना A, हमें अंततः आयाम 0 का एक बीजगणित मिलता है जिसकी हिल्बर्ट श्रृंखला एक बहुपद है P(t). यह दिखाता है कि हिल्बर्ट श्रृंखला की A है
जहां बहुपद P(t) इस प्रकार कि P(1) ≠ 0 और d का क्रुल आयाम है A.
हिल्बर्ट श्रृंखला के लिए यह सूत्र बताता है कि हिल्बर्ट बहुपद की डिग्री है d, और इसका अग्रणी गुणांक है .
प्रक्षेपी बहुरूपता की डिग्री और बेज़ाउट की प्रमेय
हिल्बर्ट श्रृंखला हमें हिल्बर्ट श्रृंखला के अंश के 1 पर मान के रूप में एक बीजगणितीय विविधता की डिग्री की गणना करने की अनुमति देती है। यह बेज़ाउट के प्रमेय का अपेक्षाकृत सरल प्रमाण भी प्रदान करता है।
प्रोजेक्टिव बीजगणितीय सेट और हिल्बर्ट श्रृंखला की डिग्री के बीच संबंध दिखाने के लिए, प्रोजेक्टिव बीजगणितीय सेट पर विचार करें V, एक समरूप आदर्श के शून्य के सेट के रूप में परिभाषित , जहाँ k एक फ़ील्ड है, और चलो बीजगणितीय सेट पर नियमित कार्यों की अंगूठी बनें।
इस खंड में, किसी को बीजगणितीय सेटों की इरेड्यूसबिलिटी की आवश्यकता नहीं है और न ही आदर्शों की प्रधानता की। इसके अतिरिक्त, हिल्बर्ट श्रृंखला को गुणांक के क्षेत्र, क्षेत्र का विस्तार करके नहीं बदला जाता है k को, व्यापकता की हानि के बिना, बीजगणितीय रूप से संवृत होना माना जाता है।
आयाम d का V क्रुल डायमेंशन माइनस एक के बराबर है R, और की डिग्री V चौराहों के बिंदुओं की संख्या है, जिन्हें गुणकों के साथ गिना जाता है V के चौराहे के साथ सामान्य स्थिति में हाइपरप्लेन। इसका तात्पर्य अस्तित्व में है R, एक नियमित अनुक्रम का का d + 1 डिग्री एक के समरूप बहुपद। एक नियमित अनुक्रम की परिभाषा का तात्पर्य त्रुटिहीन अनुक्रमों के अस्तित्व से है
के लिए इसका अर्थ यह है कि
जहाँ की हिल्बर्ट श्रृंखला का अंश है R.
अंगूठी क्रुल आयाम एक है, और एक प्रोजेक्टिव बीजगणितीय सेट के नियमित कार्यों की अंगूठी है आयाम 0 में अंकों की एक परिमित संख्या होती है, जो कई बिंदु हो सकते हैं। जैसा एक नियमित अनुक्रम से संबंधित है, इनमें से कोई भी बिंदु समीकरण के हाइपरप्लेन से संबंधित नहीं है इस हाइपरप्लेन का पूरक एक affine अंतरिक्ष है जिसमें शामिल है यह बनाता है एक affine बीजगणितीय सेट, जिसमें है इसके नियमित कार्यों की अंगूठी के रूप में। रैखिक बहुपद में शून्य भाजक नहीं है और इस प्रकार एक त्रुटिहीन अनुक्रम होता है
जिसका तात्पर्य है
यहां हम #filtered का उपयोग कर रहे हैं, और तथ्य यह है कि ग्रेडेड बीजगणित की हिल्बर्ट श्रृंखला फ़िल्टर्ड बीजगणित के रूप में इसकी हिल्बर्ट श्रृंखला भी है।
इस प्रकार एक आर्टिनियन रिंग है, जो कि ए है k-आयाम का सदिश स्थान P(1), और जॉर्डन-होल्डर प्रमेय को साबित करने के लिए इस्तेमाल किया जा सकता है P(1) बीजगणितीय सेट की डिग्री है V. वास्तव में, एक बिंदु की बहुलता एक रचना श्रृंखला में संबंधित अधिकतम आदर्श की घटनाओं की संख्या है।
बेज़ाउट के प्रमेय को सिद्ध करने के लिए, इसी तरह आगे बढ़ सकते हैं। यदि डिग्री का एक समरूप बहुपद है , जो शून्य भाजक नहीं है R, त्रुटिहीन अनुक्रम
पता चलता है कि
अंशों को देखते हुए यह बेज़ाउट के प्रमेय के निम्नलिखित सामान्यीकरण को सिद्ध करता है:
- प्रमेय - यदि f डिग्री का एक समरूप बहुपद है , जो शून्य भाजक नहीं है R, फिर के प्रतिच्छेदन की डिग्री V द्वारा परिभाषित हाइपरसफेस के साथ की डिग्री का उत्पाद है V द्वारा
अधिक ज्यामितीय रूप में, इसे इस प्रकार दोहराया जा सकता है:
- प्रमेय - यदि डिग्री की एक प्रक्षेपी हाइपरसफेस d में डिग्री के बीजगणितीय सेट का कोई अलघुकरणीय घटक नहीं होता है δ, तो उनके प्रतिच्छेदन की डिग्री है dδ.
सामान्य बेज़ाउट के प्रमेय को आसानी से एक हाइपरसफेस से शुरू करके, और इसके साथ प्रतिच्छेद करके निकाला जाता है n − 1 अन्य हाइपरसर्फ्स, एक के बाद एक।
पूरा चौराहा
एक अनुमानित बीजगणितीय सेट एक पूर्ण चौराहे है यदि इसका परिभाषित आदर्श नियमित अनुक्रम द्वारा उत्पन्न होता है। इस स्थिति में, हिल्बर्ट श्रृंखला के लिए एक सरल स्पष्ट सूत्र है।
होने देना होना k में समरूप बहुपद , संबंधित डिग्री के सेटिंग one में निम्नलिखित त्रुटिहीन क्रम हैं
हिल्बर्ट श्रृंखला की योज्यता का तात्पर्य इस प्रकार है
एक साधारण रिकर्सन देता है
इससे पता चलता है कि पूर्ण चौराहा एक नियमित अनुक्रम द्वारा परिभाषित किया गया है k बहुपद का कोडिमेंशन होता है k, और इसकी डिग्री अनुक्रम में बहुपदों की डिग्री का गुणनफल है।
मुक्त संकल्पों से सम्बन्ध
हर वर्गीकृत गुणांक M एक श्रेणीबद्ध नियमित रिंग पर R हिल्बर्ट के सिज़ीजी प्रमेय के कारण एक वर्गीकृत मुक्त रिज़ॉल्यूशन है, जिसका अर्थ है कि एक त्रुटिहीन अनुक्रम मौजूद है
जहां मुक्त गुणांक वर्गीकृत हैं, और तीर डिग्री शून्य के रैखिक मानचित्र हैं।
हिल्बर्ट श्रृंखला की योगात्मकता का तात्पर्य है
यदि एक बहुपद वलय है, और यदि कोई आधार तत्वों की डिग्री जानता है तो पूर्ववर्ती वर्गों के सूत्र कटौती की अनुमति देते हैं से वास्तव में, इन सूत्रों का अर्थ है कि, यदि एक श्रेणीबद्ध मुक्त गुणांक L का आधार है h डिग्री के समरूप तत्व तो इसकी हिल्बर्ट श्रृंखला है
हिल्बर्ट श्रृंखला की गणना के लिए इन सूत्रों को एक तरीके के रूप में देखा जा सकता है। यह शायद ही कभी मामला है, जैसा कि ज्ञात एल्गोरिदम के साथ, हिल्बर्ट श्रृंखला की गणना और एक मुक्त संकल्प की गणना उसी ग्रोबनेर आधार से शुरू होती है, जिससे हिल्बर्ट श्रृंखला सीधे एक कम्प्यूटेशनल जटिलता के साथ गणना की जा सकती है जो उच्चतर नहीं है इससे मुक्त संकल्प की गणना की जटिलता