फलन क्षेत्र (योजना सिद्धांत): Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[योजना]] के तर्कसंगत कार्यों का K<sub>X</sub> शीफ (गणित) X मौलिक [[बीजगणितीय ज्यामिति]] में [[बीजगणितीय विविधता|बीजगणितीय विविधता के कार्य क्षेत्र]] की धारणा के [[योजना (गणित)|योजना सिद्धांत]] का सामान्यीकरण है। विविधताओं की स्थितियों में, इस प्रकार का पुलिंदा प्रत्येक विवृत समुच्चय U को उस विवृत समुच्चय पर सभी [[तर्कसंगत कार्य]] के [[अंगूठी | [[योजना]] के तर्कसंगत कार्यों का K<sub>X</sub> शीफ (गणित) X मौलिक [[बीजगणितीय ज्यामिति]] में [[बीजगणितीय विविधता|बीजगणितीय विविधता के कार्य क्षेत्र]] की धारणा के [[योजना (गणित)|योजना सिद्धांत]] का सामान्यीकरण है। विविधताओं की स्थितियों में, इस प्रकार का पुलिंदा प्रत्येक विवृत समुच्चय U को उस विवृत समुच्चय पर सभी [[तर्कसंगत कार्य]] के [[अंगूठी (गणित)]] से जोड़ता है, दूसरे शब्दों में, K<sub>X</sub>(U), U पर नियमित कार्यों के अंशों का समुच्चय है। इसके नाम के अतिरिक्त, K<sub>X</sub> सामान्य योजना X के लिए सदैव कोई [[क्षेत्र (गणित)]] नहीं देता है। | ||
== साधारण स्थितियां == | == साधारण स्थितियां == | ||
| Line 5: | Line 5: | ||
सरलतम स्थितियों में, K<sub>X</sub> की परिभाषा सीधी है। यदि X (अलघुकरणीय) संबद्ध [[बीजगणितीय किस्म|बीजगणितीय]] [[बीजगणितीय विविधता|विविधता]] है और यदि U, X का विवृत उपसमुच्चय है, तो K<sub>X</sub>(U), U पर नियमित कार्यों की अंगूठी के [[अंशों का क्षेत्र]] होगा। चूंकि X संबद्ध है, U पर नियमित कार्यों की अंगूठी X के वैश्विक वर्गों का स्थानीयकरण होगा और इसके परिणामस्वरूप ''K<sub>X</sub>'' [[निरंतर (गणित)|निरंतर शीफ]] होगा जिसका मान X के वैश्विक खंडों का अंश क्षेत्र है। | सरलतम स्थितियों में, K<sub>X</sub> की परिभाषा सीधी है। यदि X (अलघुकरणीय) संबद्ध [[बीजगणितीय किस्म|बीजगणितीय]] [[बीजगणितीय विविधता|विविधता]] है और यदि U, X का विवृत उपसमुच्चय है, तो K<sub>X</sub>(U), U पर नियमित कार्यों की अंगूठी के [[अंशों का क्षेत्र]] होगा। चूंकि X संबद्ध है, U पर नियमित कार्यों की अंगूठी X के वैश्विक वर्गों का स्थानीयकरण होगा और इसके परिणामस्वरूप ''K<sub>X</sub>'' [[निरंतर (गणित)|निरंतर शीफ]] होगा जिसका मान X के वैश्विक खंडों का अंश क्षेत्र है। | ||
यदि X [[अभिन्न]] की शब्दावली है, किन्तु संबद्ध नहीं है, तो कोई भी गैर-खाली संबद्ध विवृत समुच्चय X में [[ घना सेट |घना]] समुच्चय होगा। इसका अर्थ है कि U के बाहर कुछ भी रोचक करने के लिए नियमित कार्य के लिए पर्याप्त जगह नहीं है और इसके परिणामस्वरूप U पर तर्कसंगत कार्यों का व्यवहार X पर तर्कसंगत कार्यों के व्यवहार को निर्धारित करना चाहिए। वास्तव में, किसी भी विवृत समुच्चय पर नियमित कार्यों के छल्ले के अंश क्षेत्र समान होंगे, इसलिए हम परिभाषित करते हैं, किसी भी | यदि X [[अभिन्न]] की शब्दावली है, किन्तु संबद्ध नहीं है, तो कोई भी गैर-खाली संबद्ध विवृत समुच्चय X में [[ घना सेट |घना]] समुच्चय होगा। इसका अर्थ है कि U के बाहर कुछ भी रोचक करने के लिए नियमित कार्य के लिए पर्याप्त जगह नहीं है और इसके परिणामस्वरूप U पर तर्कसंगत कार्यों का व्यवहार X पर तर्कसंगत कार्यों के व्यवहार को निर्धारित करना चाहिए। वास्तव में, किसी भी विवृत समुच्चय पर नियमित कार्यों के छल्ले के अंश क्षेत्र समान होंगे, इसलिए हम परिभाषित करते हैं, किसी भी U, के लिए K<sub>X</sub>(U), X के किसी भी विवृत संबंध उप-समूचय पर नियमित कार्यों के किसी भी अंगूठी का सामान्य अंश क्षेत्र होना। वैकल्पिक रूप से, इस स्थितियों में [[सामान्य बिंदु]] के स्थानीय अंगूठी होने के लिए कार्य क्षेत्र को परिभाषित किया जा सकता है। | ||
== सामान्य मामला == | == सामान्य मामला == | ||
| Line 13: | Line 13: | ||
सही समाधान इस प्रकार आगे बढ़ना है: | सही समाधान इस प्रकार आगे बढ़ना है: | ||
: प्रत्येक विवृत समुच्चय U के लिए, मान लीजिए S<sub>U</sub>Γ( | : प्रत्येक विवृत समुच्चय U के लिए, मान लीजिए S<sub>U</sub>Γ(U, ओ.) में सभी तत्वों का समुच्चय हो<sub>X</sub>) जो किसी डंठल O में शून्य विभाजक नहीं हैं<sub>X,x</sub>. चलो ''K<sub>X</sub>''<sup>pre</sup> presheaf हो जिसके U पर खंड अंगूठी S का स्थानीयकरण हैं<sub>U</sub><sup>−1</sup>Γ(U, ओ<sub>X</sub>) और जिनके प्रतिबंध मानचित्र O के प्रतिबंध मानचित्रों से प्रेरित हैं<sub>X</sub>स्थानीयकरण की सार्वभौमिक संपत्ति द्वारा। तब ''K<sub>X</sub>'' प्रीशेफ K से संबंधित पूला है<sub>X</sub><sup>प्री</sup>. | ||
==आगे के मुद्दे == | ==आगे के मुद्दे == | ||
Revision as of 15:35, 2 May 2023
योजना के तर्कसंगत कार्यों का KX शीफ (गणित) X मौलिक बीजगणितीय ज्यामिति में बीजगणितीय विविधता के कार्य क्षेत्र की धारणा के योजना सिद्धांत का सामान्यीकरण है। विविधताओं की स्थितियों में, इस प्रकार का पुलिंदा प्रत्येक विवृत समुच्चय U को उस विवृत समुच्चय पर सभी तर्कसंगत कार्य के अंगूठी (गणित) से जोड़ता है, दूसरे शब्दों में, KX(U), U पर नियमित कार्यों के अंशों का समुच्चय है। इसके नाम के अतिरिक्त, KX सामान्य योजना X के लिए सदैव कोई क्षेत्र (गणित) नहीं देता है।
साधारण स्थितियां
सरलतम स्थितियों में, KX की परिभाषा सीधी है। यदि X (अलघुकरणीय) संबद्ध बीजगणितीय विविधता है और यदि U, X का विवृत उपसमुच्चय है, तो KX(U), U पर नियमित कार्यों की अंगूठी के अंशों का क्षेत्र होगा। चूंकि X संबद्ध है, U पर नियमित कार्यों की अंगूठी X के वैश्विक वर्गों का स्थानीयकरण होगा और इसके परिणामस्वरूप KX निरंतर शीफ होगा जिसका मान X के वैश्विक खंडों का अंश क्षेत्र है।
यदि X अभिन्न की शब्दावली है, किन्तु संबद्ध नहीं है, तो कोई भी गैर-खाली संबद्ध विवृत समुच्चय X में घना समुच्चय होगा। इसका अर्थ है कि U के बाहर कुछ भी रोचक करने के लिए नियमित कार्य के लिए पर्याप्त जगह नहीं है और इसके परिणामस्वरूप U पर तर्कसंगत कार्यों का व्यवहार X पर तर्कसंगत कार्यों के व्यवहार को निर्धारित करना चाहिए। वास्तव में, किसी भी विवृत समुच्चय पर नियमित कार्यों के छल्ले के अंश क्षेत्र समान होंगे, इसलिए हम परिभाषित करते हैं, किसी भी U, के लिए KX(U), X के किसी भी विवृत संबंध उप-समूचय पर नियमित कार्यों के किसी भी अंगूठी का सामान्य अंश क्षेत्र होना। वैकल्पिक रूप से, इस स्थितियों में सामान्य बिंदु के स्थानीय अंगूठी होने के लिए कार्य क्षेत्र को परिभाषित किया जा सकता है।
सामान्य मामला
समस्या तब शुरू होती है जब X अभिन्न नहीं रह जाता है। फिर नियमित कार्यों की अंगूठी में शून्य विभाजक होना संभव है, और परिणामस्वरूप अंश क्षेत्र मौजूद नहीं है। भोली समाधान अंश क्षेत्र को कुल भागफल वलय द्वारा प्रतिस्थापित करना है, अर्थात प्रत्येक तत्व को उलटना है जो शून्य भाजक नहीं है। दुर्भाग्य से, सामान्य तौर पर, कुल भागफल वलय शीफ की तुलना में प्रीशेफ का उत्पादन नहीं करता है। ग्रंथ सूची में सूचीबद्ध क्लेमन का प्रसिद्ध लेख ऐसा उदाहरण देता है।
सही समाधान इस प्रकार आगे बढ़ना है:
- प्रत्येक विवृत समुच्चय U के लिए, मान लीजिए SUΓ(U, ओ.) में सभी तत्वों का समुच्चय होX) जो किसी डंठल O में शून्य विभाजक नहीं हैंX,x. चलो KXpre presheaf हो जिसके U पर खंड अंगूठी S का स्थानीयकरण हैंU−1Γ(U, ओX) और जिनके प्रतिबंध मानचित्र O के प्रतिबंध मानचित्रों से प्रेरित हैंXस्थानीयकरण की सार्वभौमिक संपत्ति द्वारा। तब KX प्रीशेफ K से संबंधित पूला हैXप्री.
आगे के मुद्दे
बार KX परिभाषित है, तो X के गुणों का अध्ययन करना संभव है जो केवल K पर निर्भर करते हैंX. यह द्विभाजित ज्यामिति का विषय है।
यदि X क्षेत्र k पर बीजगणितीय विविधता है, तो प्रत्येक विवृत समुच्चय U पर हमारे पास क्षेत्र एक्सटेंशन K हैX(U) के के। U का आयाम इस क्षेत्र विस्तार की श्रेष्ठता की डिग्री के बराबर होगा। कश्मीर के सभी परिमित पारगमन डिग्री क्षेत्र विस्तार कुछ प्रकार के तर्कसंगत कार्य क्षेत्र के अनुरूप हैं।
बीजगणितीय वक्र C के विशेष स्थितियों में, अर्थात, आयाम 1, यह अनुसरण करता है कि C पर कोई भी दो गैर-निरंतर कार्य F और G बहुपद समीकरण P(F, G) = 0 को संतुष्ट करते हैं।
ग्रन्थसूची
- Kleiman, S., "Misconceptions about KX", Enseign. Math. 25 (1979), 203–206, available at https://www.e-periodica.ch/cntmng?pid=ens-001:1979:25::101
