निर्माण योग्य सेट (टोपोलॉजी): Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{For|एक गोडेल रचनात्मक सेट|निर्माण योग्य ब्रह्मांड}} | {{For|एक गोडेल रचनात्मक सेट|निर्माण योग्य ब्रह्मांड}} | ||
[[टोपोलॉजी]] में, ''' | [[टोपोलॉजी]] में, '''कंस्ट्रकटिब्ल समुच्चय''' एक [[टोपोलॉजिकल स्पेस]] के सबसमुच्चय का एक वर्ग है जिसमें अपेक्षाकृत सरल संरचना होती है। इनका उपयोग विशेष रूप से [[बीजगणितीय ज्यामिति]] और संबंधित क्षेत्रों में किया जाता है। बीजगणितीय ज्यामिति में ''शेवेल्ली के प्रमेय'' के रूप में जाना जाने वाला एक प्रमुख परिणाम दर्शाता है कि एक कंस्ट्रकटिब्ल समुच्चय की छवि बीजगणितीय प्रकारों (या अधिक सामान्यतः [[योजना (गणित)]]) के मैपिंग (अधिक विशेष रूप से समरूपता) के एक महत्वपूर्ण वर्ग के लिए कंस्ट्रकटिब्ल है। | ||
इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) | इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) कंस्ट्रकटिब्ल है। | ||
बीजगणितीय ज्यामिति और [[इंटरसेक्शन कोहोमोलॉजी]] में विभिन्न प्रकार के | बीजगणितीय ज्यामिति और [[इंटरसेक्शन कोहोमोलॉजी]] में विभिन्न प्रकार के कंस्ट्रकटिब्ल शीफ की परिभाषा में कंस्ट्रकटिब्ल समुच्चय भी सम्मिलित होते हैं। | ||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक | एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक कंस्ट्रकटिब्ल समुच्चय स्थानीय रूप से [[बंद सेट|संवृत समुच्चयों]] का एक सीमित [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]] है। (एक समुच्चय स्थानीय रूप से संवृत होता है यदि यह एक विवृत समुच्चय और संवृत समुच्चय का [[प्रतिच्छेदन (सेट सिद्धांत)|प्रतिच्छेदन (समुच्चय सिद्धांत)]] है।) | ||
चूँकि, बड़े स्थानों के साथ उत्तम व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है: | चूँकि, बड़े स्थानों के साथ उत्तम व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है: | ||
'''परिभाषाएँ''': टोपोलॉजिकल स्पेस <math>X</math> के उपसमुच्चय <math>Z</math> को रेट्रोकॉम्पैक्ट कहा जाता है यदि <math>Z\cap U</math> प्रत्येक कॉम्पैक्ट ओपन उपसमुच्चय <math>U\subset X</math> के लिए [[ सघन स्थान |कॉम्पैक्ट]] है। <math>X</math> का एक उपसमुच्चय | '''परिभाषाएँ''': टोपोलॉजिकल स्पेस <math>X</math> के उपसमुच्चय <math>Z</math> को रेट्रोकॉम्पैक्ट कहा जाता है यदि <math>Z\cap U</math> प्रत्येक कॉम्पैक्ट ओपन उपसमुच्चय <math>U\subset X</math> के लिए [[ सघन स्थान |कॉम्पैक्ट]] है। <math>X</math> का एक उपसमुच्चय कंस्ट्रकटिब्ल है यदि यह <math>U\cap (X - V)</math> के उपसमुच्चय का एक सीमित संघ है जहां <math>U</math> और <math>V</math> दोनों <math>X</math> के खुले और रेट्रोकॉम्पैक्ट उपसमुच्चय हैं। | ||
एक उपसमुच्चय <math>Z\subset X</math> स्थानीय रूप से | एक उपसमुच्चय <math>Z\subset X</math> स्थानीय रूप से कंस्ट्रकटिब्ल है यदि <math>X</math> का एक [[कवर (टोपोलॉजी)]] <math>(U_i)_{i\in I}</math> है जिसमें खुले उपसमुच्चय सम्मिलित हैं, इस संपत्ति के साथ कि प्रत्येक <math>Z\cap U_i</math> <math>U_i</math> का एक कंस्ट्रकटिब्ल उपसमुच्चय है।<ref>{{harvnb|Grothendieck|Dieudonné|1961|loc= Ch. '''0'''<sub>III</sub>, Définitions (9.1.1), (9.1.2) and (9.1.11), pp. 12-14}}</ref><ref>{{Cite web|title=Definition 5.15.1 (tag 005G)|url=https://stacks.math.columbia.edu/tag/005G|access-date=2022-10-04|website=stacks.math.columbia.edu}}</ref> | ||
समान रूप से टोपोलॉजिकल स्पेस के | समान रूप से टोपोलॉजिकल स्पेस के कंस्ट्रकटिब्ल उपसमुच्चय <math>X</math> सबसे छोटा संग्रह हैं <math>\mathfrak{C}</math> के उपसमुच्चय <math>X</math> इसमें (i) सभी विवृत रेट्रोकॉम्पैक्ट उपसमुच्चय सम्मिलित हैं और (ii) इसमें समुच्चय के सभी [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]] और परिमित संघ (और इसलिए परिमित प्रतिच्छेदन भी) सम्मिलित हैं। दूसरे शब्दों में, कंस्ट्रकटिब्ल समुच्चय रेट्रोकॉम्पैक्ट ओपन सबसमुच्चय द्वारा उत्पन्न बूलियन बीजगणित हैं। | ||
[[स्थानीय रूप से नोथेरियन टोपोलॉजिकल स्पेस]] में, सभी उपसमुच्चय रेट्रोकॉम्पैक्ट हैं,<ref>{{harvnb|Grothendieck|Dieudonné|1961|loc= Ch. '''0'''<sub>III</sub>, Sect. (9.1), p. 12}}</ref> और इसलिए ऐसे स्थानों के लिए ऊपर दी गई सरलीकृत परिभाषा अधिक विस्तृत के बराबर है। बीजगणितीय ज्यामिति (सभी [[बीजगणितीय विविधता]] सहित) में सामान्यतः मिलने वाली अधिकांश योजनाएं स्थानीय रूप से नोथेरियन हैं, किन्तु ऐसे महत्वपूर्ण निर्माण हैं जो अधिक सामान्य योजनाओं की ओर ले जाते हैं। | [[स्थानीय रूप से नोथेरियन टोपोलॉजिकल स्पेस]] में, सभी उपसमुच्चय रेट्रोकॉम्पैक्ट हैं,<ref>{{harvnb|Grothendieck|Dieudonné|1961|loc= Ch. '''0'''<sub>III</sub>, Sect. (9.1), p. 12}}</ref> और इसलिए ऐसे स्थानों के लिए ऊपर दी गई सरलीकृत परिभाषा अधिक विस्तृत के बराबर है। बीजगणितीय ज्यामिति (सभी [[बीजगणितीय विविधता]] सहित) में सामान्यतः मिलने वाली अधिकांश योजनाएं स्थानीय रूप से नोथेरियन हैं, किन्तु ऐसे महत्वपूर्ण निर्माण हैं जो अधिक सामान्य योजनाओं की ओर ले जाते हैं। | ||
किसी भी (आवश्यक नहीं कि [[नोथेरियन स्थान]]) टोपोलॉजिकल स्पेस में, प्रत्येक | किसी भी (आवश्यक नहीं कि [[नोथेरियन स्थान]]) टोपोलॉजिकल स्पेस में, प्रत्येक कंस्ट्रकटिब्ल समुच्चय में इसके संवृत होने का एक सघन समुच्चय विवृत उपसमुच्चय होता है।<ref>Jinpeng An (2012). [https://doi.org/10.1007%2Fs10711-011-9603-2 "Rigid geometric structures, isometric actions, and algebraic quotients"]. Geom. Dedicata '''157''': 153–185.</ref> | ||
शब्दावली: यहां दी गई परिभाषा एलिमेंट्स डी जियोमेट्री अल्जेब्रिक और [[ ढेर परियोजना |शीफ परियोजना]] के पहले संस्करण में उपयोग की गई है। ईजीए के दूसरे संस्करण में | शब्दावली: यहां दी गई परिभाषा एलिमेंट्स डी जियोमेट्री अल्जेब्रिक और [[ ढेर परियोजना |शीफ परियोजना]] के पहले संस्करण में उपयोग की गई है। ईजीए के दूसरे संस्करण में कंस्ट्रकटिब्ल समुच्चय (उपरोक्त परिभाषा के अनुसार) को वैश्विक रूप से कंस्ट्रकटिब्ल कहा जाता है जबकि कंस्ट्रकटिब्ल शब्द उपरोक्त स्थानीय रूप से कंस्ट्रकटिब्ल कहे जाने वाले के लिए आरक्षित है। <ref>{{harvnb|Grothendieck|Dieudonné|1971|loc= Ch. '''0'''<sub>I</sub>, Définitions (2.3.1), (2.3.2) and (2.3.10), pp. 55-57}}</ref> | ||
==शेवेल्ली का प्रमेय== | ==शेवेल्ली का प्रमेय== | ||
बीजगणितीय ज्यामिति में | बीजगणितीय ज्यामिति में कंस्ट्रकटिब्ल समुच्चयों के महत्व का एक प्रमुख कारण यह है कि (स्थानीय रूप से) कंस्ट्रकटिब्ल समुच्चय की [[छवि (गणित)]] मानचित्रों (या समरूपता) के एक बड़े वर्ग के लिए भी (स्थानीय रूप से) कंस्ट्रकटिब्ल होती है। मुख्य परिणाम यह है: | ||
'''शेवेल्ली का प्रमेय-''' यदि <math>f: X \to Y</math> योजनाओं का एक सीमित रूप से प्रस्तुत रूपवाद है और <math>Z\subset X</math> एक स्थानीय रूप से | '''शेवेल्ली का प्रमेय-''' यदि <math>f: X \to Y</math> योजनाओं का एक सीमित रूप से प्रस्तुत रूपवाद है और <math>Z\subset X</math> एक स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय है, तो <math>f(Z)</math> भी <math>Y</math> में स्थानीय रूप से कंस्ट्रकटिब्ल है।<ref>{{harvnb|Grothendieck|Dieudonné|1964|loc= Ch. '''I''', Théorème (1.8.4), p. 239.}}</ref><ref>{{Cite web|title=Theorem 29.22.3 (Chevalley's Theorem) (tag 054K) | url=https://stacks.math.columbia.edu/tag/054K|access-date=2022-10-04|website=stacks.math.columbia.edu}}</ref><ref>{{harvnb|Grothendieck|Dieudonné|1971|loc= Ch. '''I''', Théorème (7.1.4), p. 329.}}</ref> | ||
विशेष रूप से, बीजगणितीय विविधता की छवि को विविधता की आवश्यकता नहीं है, किन्तु (धारणाओं के तहत) सदैव एक | विशेष रूप से, बीजगणितीय विविधता की छवि को विविधता की आवश्यकता नहीं है, किन्तु (धारणाओं के तहत) सदैव एक कंस्ट्रकटिब्ल समुच्चय होता है। उदाहरण के लिए, मानचित्र <math>\mathbf A^2 \rightarrow \mathbf A^2</math> वह भेजता है <math>(x,y)</math> को <math>(x,xy)</math> छवि समुच्चय <math>\{ x \neq 0 \} \cup \{ x=y=0 \}</math> है, जो विविधता नहीं है, किन्तु कंस्ट्रकटिब्ल है। | ||
यदि | यदि कंस्ट्रकटिब्ल समुच्चयों की सरलीकृत परिभाषा (परिभाषा में रेट्रोकॉम्पैक्ट ओपन समुच्चयों को प्रतिबंधित किए बिना) का उपयोग किया गया तो ऊपर बताई गई व्यापकता में शेवेल्ली का प्रमेय विफल हो जाएगा।<ref>{{Cite web|title= Section 109.24 Images of locally closed subsets (tag 0GZL) | url=https://stacks.math.columbia.edu/tag/0GZL | access-date=2022-10-04 | website=stacks.math.columbia.edu}}</ref> | ||
== | ==कंस्ट्रकटिब्ल गुण== | ||
योजनाओं के समरूपता और योजनाओं पर [[क्वासिकोहेरेंट शीफ]] की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से | योजनाओं के समरूपता और योजनाओं पर [[क्वासिकोहेरेंट शीफ]] की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय पर लागू होते हैं। ईजीए IV § 9<ref>{{harvnb|Grothendieck|Dieudonné|1966|loc= Ch. '''IV''', § 9 Propriétés constructibles, pp. 54-94.}}</ref> इसमें बड़ी संख्या में ऐसी गुण सम्मिलित हैं। नीचे कुछ उदाहरण दिए गए हैं (जहां सभी संदर्भ ईजीए IV की ओर संकेत करते हैं): | ||
* यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>\mathcal{F}'\rightarrow\mathcal{F}\rightarrow\mathcal{F}''</math> परिमित रूप से प्रस्तुत कासी-कोहेरेंट <math>\mathcal{O}_X</math>-मॉड्यूल का एक क्रम है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>\mathcal{F}'_s\rightarrow\mathcal{F}_s\rightarrow\mathcal{F}''_s</math> सटीक स्थानीय रूप से | * यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>\mathcal{F}'\rightarrow\mathcal{F}\rightarrow\mathcal{F}''</math> परिमित रूप से प्रस्तुत कासी-कोहेरेंट <math>\mathcal{O}_X</math>-मॉड्यूल का एक क्रम है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>\mathcal{F}'_s\rightarrow\mathcal{F}_s\rightarrow\mathcal{F}''_s</math> सटीक स्थानीय रूप से कंस्ट्रकटिब्ल है। (प्रस्ताव (9.4.4)) | ||
* यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>\mathcal{F}</math> एक सूक्ष्म रूप से प्रस्तुत कासी-कोहेरेंट <math>\mathcal{O}_X</math>-मॉड्यूल है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>\mathcal{F}_s</math> स्थानीय रूप से मुफ़्त है स्थानीय रूप से | * यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>\mathcal{F}</math> एक सूक्ष्म रूप से प्रस्तुत कासी-कोहेरेंट <math>\mathcal{O}_X</math>-मॉड्यूल है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>\mathcal{F}_s</math> स्थानीय रूप से मुफ़्त है स्थानीय रूप से कंस्ट्रकटिब्ल है। (प्रस्ताव (9.4.7)) | ||
* यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>Z\subset X</math> एक स्थानीय रूप से | * यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>Z\subset X</math> एक स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>f^{-1}(s)\cap Z</math> में संवृत (या विवृत) है <math>f^{-1}(s)</math> स्थानीय रूप से कंस्ट्रकटिब्ल है। (परिणाम (9.5.4)) | ||
*मान लीजिए <math>S</math> एक योजना होऔर <math>f \colon X \rightarrow Y</math>, <math>S</math>-योजनाओं का एक रूप है। समुच्चय पर विचार करें <math>P\subset S</math> का <math>s\in S</math> जिसके लिए प्रेरित रूपवाद <math>f_s\colon X_s\rightarrow Y_s</math> फाइबर का ओवर <math>s</math> कुछ गुण <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से | *मान लीजिए <math>S</math> एक योजना होऔर <math>f \colon X \rightarrow Y</math>, <math>S</math>-योजनाओं का एक रूप है। समुच्चय पर विचार करें <math>P\subset S</math> का <math>s\in S</math> जिसके लिए प्रेरित रूपवाद <math>f_s\colon X_s\rightarrow Y_s</math> फाइबर का ओवर <math>s</math> कुछ गुण <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से कंस्ट्रकटिब्ल है <math>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> विशेषण, उचित, परिमित, विसर्जन, संवृत विसर्जन, विवृत विसर्जन, समरूपता। (प्रस्ताव (9.6.1)) | ||
* मान लीजिए <math>f \colon X \rightarrow S</math> योजनाओं का एक परिमित रूप से प्रस्तुत रूपवाद हैं और <math>P\subset S</math> का <math>s\in S</math> समुच्चय पर विचार करें जिसके लिए फाइबर <math>f^{-1}(s)</math> एक गुण <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से | * मान लीजिए <math>f \colon X \rightarrow S</math> योजनाओं का एक परिमित रूप से प्रस्तुत रूपवाद हैं और <math>P\subset S</math> का <math>s\in S</math> समुच्चय पर विचार करें जिसके लिए फाइबर <math>f^{-1}(s)</math> एक गुण <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से कंस्ट्रकटिब्ल है <math>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> ज्यामितीय रूप से अपरिवर्तनीय, ज्यामितीय रूप से जुड़ा हुआ, ज्यामितीय रूप से कम किया हुआ। (प्रमेय (9.7.7)) | ||
*मान लीजिए <math>f \colon X \rightarrow S</math> योजनाओं का स्थानीय रूप से अंतिम रूप से प्रस्तुत रूपवाद बनें और समुच्चय पर विचार करें <math>P\subset X</math> का <math>x\in X</math> जिसके लिए फाइबर <math>f^{-1}(f(x))</math> एक संपत्ति <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से | *मान लीजिए <math>f \colon X \rightarrow S</math> योजनाओं का स्थानीय रूप से अंतिम रूप से प्रस्तुत रूपवाद बनें और समुच्चय पर विचार करें <math>P\subset X</math> का <math>x\in X</math> जिसके लिए फाइबर <math>f^{-1}(f(x))</math> एक संपत्ति <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से कंस्ट्रकटिब्ल है यदि <math>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> ज्यामितीय रूप से नियमित, ज्यामितीय रूप से सामान्य, ज्यामितीय रूप से कम। (प्रस्ताव (9.9.4)) | ||
इन रचनाशीलता परिणामों की एक महत्वपूर्ण भूमिका यह है कि अधिकांश स्थितियों में प्रश्नों में रूपवाद को भी माना जाता है। | इन रचनाशीलता परिणामों की एक महत्वपूर्ण भूमिका यह है कि अधिकांश स्थितियों में प्रश्नों में रूपवाद को भी माना जाता है। | ||
Line 52: | Line 52: | ||
== यह भी देखें == | == यह भी देखें == | ||
* | *कंस्ट्रकटिब्ल टोपोलॉजी | ||
* | *कंस्ट्रकटिब्ल शीफ | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 12:28, 21 July 2023
टोपोलॉजी में, कंस्ट्रकटिब्ल समुच्चय एक टोपोलॉजिकल स्पेस के सबसमुच्चय का एक वर्ग है जिसमें अपेक्षाकृत सरल संरचना होती है। इनका उपयोग विशेष रूप से बीजगणितीय ज्यामिति और संबंधित क्षेत्रों में किया जाता है। बीजगणितीय ज्यामिति में शेवेल्ली के प्रमेय के रूप में जाना जाने वाला एक प्रमुख परिणाम दर्शाता है कि एक कंस्ट्रकटिब्ल समुच्चय की छवि बीजगणितीय प्रकारों (या अधिक सामान्यतः योजना (गणित)) के मैपिंग (अधिक विशेष रूप से समरूपता) के एक महत्वपूर्ण वर्ग के लिए कंस्ट्रकटिब्ल है।
इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) कंस्ट्रकटिब्ल है।
बीजगणितीय ज्यामिति और इंटरसेक्शन कोहोमोलॉजी में विभिन्न प्रकार के कंस्ट्रकटिब्ल शीफ की परिभाषा में कंस्ट्रकटिब्ल समुच्चय भी सम्मिलित होते हैं।
परिभाषाएँ
एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक कंस्ट्रकटिब्ल समुच्चय स्थानीय रूप से संवृत समुच्चयों का एक सीमित संघ (समुच्चय सिद्धांत) है। (एक समुच्चय स्थानीय रूप से संवृत होता है यदि यह एक विवृत समुच्चय और संवृत समुच्चय का प्रतिच्छेदन (समुच्चय सिद्धांत) है।)
चूँकि, बड़े स्थानों के साथ उत्तम व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है:
परिभाषाएँ: टोपोलॉजिकल स्पेस के उपसमुच्चय को रेट्रोकॉम्पैक्ट कहा जाता है यदि प्रत्येक कॉम्पैक्ट ओपन उपसमुच्चय के लिए कॉम्पैक्ट है। का एक उपसमुच्चय कंस्ट्रकटिब्ल है यदि यह के उपसमुच्चय का एक सीमित संघ है जहां और दोनों के खुले और रेट्रोकॉम्पैक्ट उपसमुच्चय हैं।
एक उपसमुच्चय स्थानीय रूप से कंस्ट्रकटिब्ल है यदि का एक कवर (टोपोलॉजी) है जिसमें खुले उपसमुच्चय सम्मिलित हैं, इस संपत्ति के साथ कि प्रत्येक का एक कंस्ट्रकटिब्ल उपसमुच्चय है।[1][2]
समान रूप से टोपोलॉजिकल स्पेस के कंस्ट्रकटिब्ल उपसमुच्चय सबसे छोटा संग्रह हैं के उपसमुच्चय इसमें (i) सभी विवृत रेट्रोकॉम्पैक्ट उपसमुच्चय सम्मिलित हैं और (ii) इसमें समुच्चय के सभी पूरक (समुच्चय सिद्धांत) और परिमित संघ (और इसलिए परिमित प्रतिच्छेदन भी) सम्मिलित हैं। दूसरे शब्दों में, कंस्ट्रकटिब्ल समुच्चय रेट्रोकॉम्पैक्ट ओपन सबसमुच्चय द्वारा उत्पन्न बूलियन बीजगणित हैं।
स्थानीय रूप से नोथेरियन टोपोलॉजिकल स्पेस में, सभी उपसमुच्चय रेट्रोकॉम्पैक्ट हैं,[3] और इसलिए ऐसे स्थानों के लिए ऊपर दी गई सरलीकृत परिभाषा अधिक विस्तृत के बराबर है। बीजगणितीय ज्यामिति (सभी बीजगणितीय विविधता सहित) में सामान्यतः मिलने वाली अधिकांश योजनाएं स्थानीय रूप से नोथेरियन हैं, किन्तु ऐसे महत्वपूर्ण निर्माण हैं जो अधिक सामान्य योजनाओं की ओर ले जाते हैं।
किसी भी (आवश्यक नहीं कि नोथेरियन स्थान) टोपोलॉजिकल स्पेस में, प्रत्येक कंस्ट्रकटिब्ल समुच्चय में इसके संवृत होने का एक सघन समुच्चय विवृत उपसमुच्चय होता है।[4]
शब्दावली: यहां दी गई परिभाषा एलिमेंट्स डी जियोमेट्री अल्जेब्रिक और शीफ परियोजना के पहले संस्करण में उपयोग की गई है। ईजीए के दूसरे संस्करण में कंस्ट्रकटिब्ल समुच्चय (उपरोक्त परिभाषा के अनुसार) को वैश्विक रूप से कंस्ट्रकटिब्ल कहा जाता है जबकि कंस्ट्रकटिब्ल शब्द उपरोक्त स्थानीय रूप से कंस्ट्रकटिब्ल कहे जाने वाले के लिए आरक्षित है। [5]
शेवेल्ली का प्रमेय
बीजगणितीय ज्यामिति में कंस्ट्रकटिब्ल समुच्चयों के महत्व का एक प्रमुख कारण यह है कि (स्थानीय रूप से) कंस्ट्रकटिब्ल समुच्चय की छवि (गणित) मानचित्रों (या समरूपता) के एक बड़े वर्ग के लिए भी (स्थानीय रूप से) कंस्ट्रकटिब्ल होती है। मुख्य परिणाम यह है:
शेवेल्ली का प्रमेय- यदि योजनाओं का एक सीमित रूप से प्रस्तुत रूपवाद है और एक स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय है, तो भी में स्थानीय रूप से कंस्ट्रकटिब्ल है।[6][7][8]
विशेष रूप से, बीजगणितीय विविधता की छवि को विविधता की आवश्यकता नहीं है, किन्तु (धारणाओं के तहत) सदैव एक कंस्ट्रकटिब्ल समुच्चय होता है। उदाहरण के लिए, मानचित्र वह भेजता है को छवि समुच्चय है, जो विविधता नहीं है, किन्तु कंस्ट्रकटिब्ल है।
यदि कंस्ट्रकटिब्ल समुच्चयों की सरलीकृत परिभाषा (परिभाषा में रेट्रोकॉम्पैक्ट ओपन समुच्चयों को प्रतिबंधित किए बिना) का उपयोग किया गया तो ऊपर बताई गई व्यापकता में शेवेल्ली का प्रमेय विफल हो जाएगा।[9]
कंस्ट्रकटिब्ल गुण
योजनाओं के समरूपता और योजनाओं पर क्वासिकोहेरेंट शीफ की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय पर लागू होते हैं। ईजीए IV § 9[10] इसमें बड़ी संख्या में ऐसी गुण सम्मिलित हैं। नीचे कुछ उदाहरण दिए गए हैं (जहां सभी संदर्भ ईजीए IV की ओर संकेत करते हैं):
- यदि योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और परिमित रूप से प्रस्तुत कासी-कोहेरेंट -मॉड्यूल का एक क्रम है, फिर का समुच्चय जिसके लिए सटीक स्थानीय रूप से कंस्ट्रकटिब्ल है। (प्रस्ताव (9.4.4))
- यदि योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और एक सूक्ष्म रूप से प्रस्तुत कासी-कोहेरेंट -मॉड्यूल है, फिर का समुच्चय जिसके लिए स्थानीय रूप से मुफ़्त है स्थानीय रूप से कंस्ट्रकटिब्ल है। (प्रस्ताव (9.4.7))
- यदि योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और एक स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय है, फिर का समुच्चय जिसके लिए में संवृत (या विवृत) है स्थानीय रूप से कंस्ट्रकटिब्ल है। (परिणाम (9.5.4))
- मान लीजिए एक योजना होऔर , -योजनाओं का एक रूप है। समुच्चय पर विचार करें का जिसके लिए प्रेरित रूपवाद फाइबर का ओवर कुछ गुण है। तब यदि स्थानीय रूप से कंस्ट्रकटिब्ल है निम्नलिखित गुणों में से कोई एक है: विशेषण, उचित, परिमित, विसर्जन, संवृत विसर्जन, विवृत विसर्जन, समरूपता। (प्रस्ताव (9.6.1))
- मान लीजिए योजनाओं का एक परिमित रूप से प्रस्तुत रूपवाद हैं और का समुच्चय पर विचार करें जिसके लिए फाइबर एक गुण है। तब यदि स्थानीय रूप से कंस्ट्रकटिब्ल है निम्नलिखित गुणों में से कोई एक है: ज्यामितीय रूप से अपरिवर्तनीय, ज्यामितीय रूप से जुड़ा हुआ, ज्यामितीय रूप से कम किया हुआ। (प्रमेय (9.7.7))
- मान लीजिए योजनाओं का स्थानीय रूप से अंतिम रूप से प्रस्तुत रूपवाद बनें और समुच्चय पर विचार करें का जिसके लिए फाइबर एक संपत्ति है। तब यदि स्थानीय रूप से कंस्ट्रकटिब्ल है यदि निम्नलिखित गुणों में से कोई एक है: ज्यामितीय रूप से नियमित, ज्यामितीय रूप से सामान्य, ज्यामितीय रूप से कम। (प्रस्ताव (9.9.4))
इन रचनाशीलता परिणामों की एक महत्वपूर्ण भूमिका यह है कि अधिकांश स्थितियों में प्रश्नों में रूपवाद को भी माना जाता है।
सपाट आकारवाद से यह पता चलता है कि विचाराधीन गुण वास्तव में एक विवृत उपसमुच्चय में हैं। ऐसे परिणामों की एक बड़ी संख्या ईजीए IV § 12 में सम्मिलित है।[11]
यह भी देखें
- कंस्ट्रकटिब्ल टोपोलॉजी
- कंस्ट्रकटिब्ल शीफ
टिप्पणियाँ
- ↑ Grothendieck & Dieudonné 1961, Ch. 0III, Définitions (9.1.1), (9.1.2) and (9.1.11), pp. 12-14
- ↑ "Definition 5.15.1 (tag 005G)". stacks.math.columbia.edu. Retrieved 2022-10-04.
- ↑ Grothendieck & Dieudonné 1961, Ch. 0III, Sect. (9.1), p. 12
- ↑ Jinpeng An (2012). "Rigid geometric structures, isometric actions, and algebraic quotients". Geom. Dedicata 157: 153–185.
- ↑ Grothendieck & Dieudonné 1971, Ch. 0I, Définitions (2.3.1), (2.3.2) and (2.3.10), pp. 55-57
- ↑ Grothendieck & Dieudonné 1964, Ch. I, Théorème (1.8.4), p. 239.
- ↑ "Theorem 29.22.3 (Chevalley's Theorem) (tag 054K)". stacks.math.columbia.edu. Retrieved 2022-10-04.
- ↑ Grothendieck & Dieudonné 1971, Ch. I, Théorème (7.1.4), p. 329.
- ↑ "Section 109.24 Images of locally closed subsets (tag 0GZL)". stacks.math.columbia.edu. Retrieved 2022-10-04.
- ↑ Grothendieck & Dieudonné 1966, Ch. IV, § 9 Propriétés constructibles, pp. 54-94.
- ↑ Grothendieck & Dieudonné 1966, Ch. IV, § 12 Étude des fibres des morphismes plats de présentation finie, pp. 173-187.
संदर्भ
- Allouche, Jean Paul. Note on the constructible sets of a topological space.
- Andradas, Carlos; Bröcker, Ludwig; Ruiz, Jesús M. (1996). Constructible sets in real geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) --- Results in Mathematics and Related Areas (3). Vol. 33. Berlin: Springer-Verlag. pp. x+270. ISBN 3-540-60451-0. MR 1393194.
- Borel, Armand. Linear algebraic groups.
- Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". Publications Mathématiques de l'IHÉS. 11. doi:10.1007/bf02684274. MR 0217085.
- Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.
- Grothendieck, Alexandre; Dieudonné, Jean (1966). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie". Publications Mathématiques de l'IHÉS. 28. doi:10.1007/bf02684343. MR 0217086.
- Grothendieck, Alexandre; Dieudonné, Jean (1971). Éléments de géométrie algébrique: I. Le langage des schémas. Grundlehren der Mathematischen Wissenschaften (in français). Vol. 166 (2nd ed.). Berlin; New York: Springer-Verlag. ISBN 978-3-540-05113-8.
- Mostowski, A. (1969). Constructible sets with applications. Studies in Logic and the Foundations of Mathematics. Amsterdam --- Warsaw: North-Holland Publishing Co. ---- PWN-Polish Scientific Publishers. pp. ix+269. MR 0255390.
बाहरी संबंध
- https://stacks.math.columbia.edu/tag/04ZC Topological definition of (local) constructibility
- https://stacks.math.columbia.edu/tag/054H Constructibility properties of morphisms of schemes (incl. Chevalley's theorem)