निर्माण योग्य सेट (टोपोलॉजी): Difference between revisions

Latest revision as of 08:40, 26 July 2023

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

इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) कंस्ट्रकटिब्ल है।

बीजगणितीय ज्यामिति और इंटरसेक्शन कोहोमोलॉजी में विभिन्न प्रकार के कंस्ट्रकटिब्ल शीफ की परिभाषा में कंस्ट्रकटिब्ल समुच्चय भी सम्मिलित होते हैं।

परिभाषाएँ

एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक कंस्ट्रकटिब्ल समुच्चय स्थानीय रूप से संवृत समुच्चयों का एक सीमित संघ (समुच्चय सिद्धांत) है। (एक समुच्चय स्थानीय रूप से संवृत होता है यदि यह एक विवृत समुच्चय और संवृत समुच्चय का प्रतिच्छेदन (समुच्चय सिद्धांत) है।)

चूँकि, बड़े स्थानों के साथ उत्तम व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है:

परिभाषाएँ: टोपोलॉजिकल स्पेस $X$ के उपसमुच्चय $Z$ को रेट्रोकॉम्पैक्ट कहा जाता है यदि $Z\cap U$ प्रत्येक कॉम्पैक्ट ओपन उपसमुच्चय $U\subset X$ के लिए कॉम्पैक्ट है। $X$ का एक उपसमुच्चय कंस्ट्रकटिब्ल है यदि यह $U\cap (X-V)$ के उपसमुच्चय का एक सीमित संघ है जहां $U$ और $V$ दोनों $X$ के खुले और रेट्रोकॉम्पैक्ट उपसमुच्चय हैं।

एक उपसमुच्चय $Z\subset X$ स्थानीय रूप से कंस्ट्रकटिब्ल है यदि $X$ का एक कवर (टोपोलॉजी) $(U_{i})_{i\in I}$ है जिसमें खुले उपसमुच्चय सम्मिलित हैं, इस संपत्ति के साथ कि प्रत्येक $Z\cap U_{i}$ $U_{i}$ का एक कंस्ट्रकटिब्ल उपसमुच्चय है।^[1]^[2]

समान रूप से टोपोलॉजिकल स्पेस के कंस्ट्रकटिब्ल उपसमुच्चय $X$ सबसे छोटा संग्रह हैं ${\mathfrak {C}}$ के उपसमुच्चय $X$ इसमें (i) सभी विवृत रेट्रोकॉम्पैक्ट उपसमुच्चय सम्मिलित हैं और (ii) इसमें समुच्चय के सभी पूरक (समुच्चय सिद्धांत) और परिमित संघ (और इसलिए परिमित प्रतिच्छेदन भी) सम्मिलित हैं। दूसरे शब्दों में, कंस्ट्रकटिब्ल समुच्चय रेट्रोकॉम्पैक्ट ओपन सबसमुच्चय द्वारा उत्पन्न बूलियन बीजगणित हैं।

स्थानीय रूप से नोथेरियन टोपोलॉजिकल स्पेस में, सभी उपसमुच्चय रेट्रोकॉम्पैक्ट हैं,^[3] और इसलिए ऐसे स्थानों के लिए ऊपर दी गई सरलीकृत परिभाषा अधिक विस्तृत के बराबर है। बीजगणितीय ज्यामिति (सभी बीजगणितीय विविधता सहित) में सामान्यतः मिलने वाली अधिकांश योजनाएं स्थानीय रूप से नोथेरियन हैं, किन्तु ऐसे महत्वपूर्ण निर्माण हैं जो अधिक सामान्य योजनाओं की ओर ले जाते हैं।

किसी भी (आवश्यक नहीं कि नोथेरियन स्थान) टोपोलॉजिकल स्पेस में, प्रत्येक कंस्ट्रकटिब्ल समुच्चय में इसके संवृत होने का एक सघन समुच्चय विवृत उपसमुच्चय होता है।^[4]

शब्दावली: यहां दी गई परिभाषा एलिमेंट्स डी जियोमेट्री अल्जेब्रिक और शीफ परियोजना के पहले संस्करण में उपयोग की गई है। ईजीए के दूसरे संस्करण में कंस्ट्रकटिब्ल समुच्चय (उपरोक्त परिभाषा के अनुसार) को वैश्विक रूप से कंस्ट्रकटिब्ल कहा जाता है जबकि कंस्ट्रकटिब्ल शब्द उपरोक्त स्थानीय रूप से कंस्ट्रकटिब्ल कहे जाने वाले के लिए आरक्षित है। ^[5]

शेवेल्ली का प्रमेय

बीजगणितीय ज्यामिति में कंस्ट्रकटिब्ल समुच्चयों के महत्व का एक प्रमुख कारण यह है कि (स्थानीय रूप से) कंस्ट्रकटिब्ल समुच्चय की छवि (गणित) मानचित्रों (या समरूपता) के एक बड़े वर्ग के लिए भी (स्थानीय रूप से) कंस्ट्रकटिब्ल होती है। मुख्य परिणाम यह है:

शेवेल्ली का प्रमेय- यदि $f:X\to Y$ योजनाओं का एक सीमित रूप से प्रस्तुत रूपवाद है और $Z\subset X$ एक स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय है, तो $f(Z)$ भी $Y$ में स्थानीय रूप से कंस्ट्रकटिब्ल है।^[6]^[7]^[8]

विशेष रूप से, बीजगणितीय विविधता की छवि को विविधता की आवश्यकता नहीं है, किन्तु (धारणाओं के तहत) सदैव एक कंस्ट्रकटिब्ल समुच्चय होता है। उदाहरण के लिए, मानचित्र $\mathbf {A} ^{2}\rightarrow \mathbf {A} ^{2}$ वह भेजता है $(x,y)$ को $(x,xy)$ छवि समुच्चय $\{x\neq 0\}\cup \{x=y=0\}$ है, जो विविधता नहीं है, किन्तु कंस्ट्रकटिब्ल है।

यदि कंस्ट्रकटिब्ल समुच्चयों की सरलीकृत परिभाषा (परिभाषा में रेट्रोकॉम्पैक्ट ओपन समुच्चयों को प्रतिबंधित किए बिना) का उपयोग किया गया तो ऊपर बताई गई व्यापकता में शेवेल्ली का प्रमेय विफल हो जाएगा।^[9]

कंस्ट्रकटिब्ल गुण

योजनाओं के समरूपता और योजनाओं पर क्वासिकोहेरेंट शीफ की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय पर लागू होते हैं। ईजीए IV § 9^[10] इसमें बड़ी संख्या में ऐसी गुण सम्मिलित हैं। नीचे कुछ उदाहरण दिए गए हैं (जहां सभी संदर्भ ईजीए IV की ओर संकेत करते हैं):

यदि $f\colon X\rightarrow S$ योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और ${\mathcal {F}}'\rightarrow {\mathcal {F}}\rightarrow {\mathcal {F}}''$ परिमित रूप से प्रस्तुत कासी-कोहेरेंट ${\mathcal {O}}_{X}$ -मॉड्यूल का एक क्रम है, फिर का समुच्चय $s\in S$ जिसके लिए ${\mathcal {F}}'_{s}\rightarrow {\mathcal {F}}_{s}\rightarrow {\mathcal {F}}''_{s}$ सटीक स्थानीय रूप से कंस्ट्रकटिब्ल है। (प्रस्ताव (9.4.4))
यदि $f\colon X\rightarrow S$ योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और ${\mathcal {F}}$ एक सूक्ष्म रूप से प्रस्तुत कासी-कोहेरेंट ${\mathcal {O}}_{X}$ -मॉड्यूल है, फिर का समुच्चय $s\in S$ जिसके लिए ${\mathcal {F}}_{s}$ स्थानीय रूप से मुफ़्त है स्थानीय रूप से कंस्ट्रकटिब्ल है। (प्रस्ताव (9.4.7))
यदि $f\colon X\rightarrow S$ योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और $Z\subset X$ एक स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय है, फिर का समुच्चय $s\in S$ जिसके लिए $f^{-1}(s)\cap Z$ में संवृत (या विवृत) है $f^{-1}(s)$ स्थानीय रूप से कंस्ट्रकटिब्ल है। (परिणाम (9.5.4))
मान लीजिए $S$ एक योजना होऔर $f\colon X\rightarrow Y$ , $S$ -योजनाओं का एक रूप है। समुच्चय पर विचार करें $P\subset S$ का $s\in S$ जिसके लिए प्रेरित रूपवाद $f_{s}\colon X_{s}\rightarrow Y_{s}$ फाइबर का ओवर $s$ कुछ गुण $\mathbf {P}$ है। तब $P$ यदि स्थानीय रूप से कंस्ट्रकटिब्ल है $\mathbf {P}$ निम्नलिखित गुणों में से कोई एक है: विशेषण, उचित, परिमित, विसर्जन, संवृत विसर्जन, विवृत विसर्जन, समरूपता। (प्रस्ताव (9.6.1))
मान लीजिए $f\colon X\rightarrow S$ योजनाओं का एक परिमित रूप से प्रस्तुत रूपवाद हैं और $P\subset S$ का $s\in S$ समुच्चय पर विचार करें जिसके लिए फाइबर $f^{-1}(s)$ एक गुण $\mathbf {P}$ है। तब $P$ यदि स्थानीय रूप से कंस्ट्रकटिब्ल है $\mathbf {P}$ निम्नलिखित गुणों में से कोई एक है: ज्यामितीय रूप से अपरिवर्तनीय, ज्यामितीय रूप से जुड़ा हुआ, ज्यामितीय रूप से कम किया हुआ। (प्रमेय (9.7.7))
मान लीजिए $f\colon X\rightarrow S$ योजनाओं का स्थानीय रूप से अंतिम रूप से प्रस्तुत रूपवाद बनें और समुच्चय पर विचार करें $P\subset X$ का $x\in X$ जिसके लिए फाइबर $f^{-1}(f(x))$ एक संपत्ति $\mathbf {P}$ है। तब $P$ यदि स्थानीय रूप से कंस्ट्रकटिब्ल है यदि $\mathbf {P}$ निम्नलिखित गुणों में से कोई एक है: ज्यामितीय रूप से नियमित, ज्यामितीय रूप से सामान्य, ज्यामितीय रूप से कम। (प्रस्ताव (9.9.4))

इन रचनाशीलता परिणामों की एक महत्वपूर्ण भूमिका यह है कि अधिकांश स्थितियों में प्रश्नों में रूपवाद को भी माना जाता है।

सपाट आकारवाद से यह पता चलता है कि विचाराधीन गुण वास्तव में एक विवृत उपसमुच्चय में हैं। ऐसे परिणामों की एक बड़ी संख्या ईजीए IV § 12 में सम्मिलित है।^[11]

यह भी देखें

कंस्ट्रकटिब्ल टोपोलॉजी
कंस्ट्रकटिब्ल शीफ

↑ Grothendieck & Dieudonné 1961, Ch. 0_III, 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. 0_III, 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. 0_I, 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)

[1] Grothendieck & Dieudonné 1961, Ch. 0_III, Définitions (9.1.1), (9.1.2) and (9.1.11), pp. 12-14

[2] "Definition 5.15.1 (tag 005G)". stacks.math.columbia.edu. Retrieved 2022-10-04.

[3] Grothendieck & Dieudonné 1961, Ch. 0_III, Sect. (9.1), p. 12

[4] Jinpeng An (2012). "Rigid geometric structures, isometric actions, and algebraic quotients". Geom. Dedicata 157: 153–185.

[5] Grothendieck & Dieudonné 1971, Ch. 0_I, Définitions (2.3.1), (2.3.2) and (2.3.10), pp. 55-57

[6] Grothendieck & Dieudonné 1964, Ch. I, Théorème (1.8.4), p. 239.

[7] "Theorem 29.22.3 (Chevalley's Theorem) (tag 054K)". stacks.math.columbia.edu. Retrieved 2022-10-04.

[8] Grothendieck & Dieudonné 1971, Ch. I, Théorème (7.1.4), p. 329.

[9] "Section 109.24 Images of locally closed subsets (tag 0GZL)". stacks.math.columbia.edu. Retrieved 2022-10-04.

[10] Grothendieck & Dieudonné 1966, Ch. IV, § 9 Propriétés constructibles, pp. 54-94.

[11] Grothendieck & Dieudonné 1966, Ch. IV, § 12 Étude des fibres des morphismes plats de présentation finie, pp. 173-187.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 1: / Line 1: @@
 {{For|एक गोडेल रचनात्मक सेट|निर्माण योग्य ब्रह्मांड}}
-[[टोपोलॉजी]] में, '''रचनात्मक सेट''' एक [[टोपोलॉजिकल स्पेस]] के सबसेट का एक वर्ग है जिसमें अपेक्षाकृत सरल संरचना होती है। इनका उपयोग विशेष रूप से [[बीजगणितीय ज्यामिति]] और संबंधित क्षेत्रों में किया जाता है। बीजगणितीय ज्यामिति में ''शेवेल्ली के प्रमेय'' के रूप में जाना जाने वाला एक प्रमुख परिणाम दर्शाता है कि एक रचनात्मक सेट की छवि बीजगणितीय प्रकारों (या अधिक सामान्यतः [[योजना (गणित)]]) के मैपिंग (अधिक विशेष रूप से समरूपता) के एक महत्वपूर्ण वर्ग के लिए रचनात्मक है।
+[[टोपोलॉजी]] में, '''कंस्ट्रकटिब्ल समुच्चय''' एक [[टोपोलॉजिकल स्पेस]] के सबसमुच्चय का एक वर्ग है जिसमें अपेक्षाकृत सरल संरचना होती है। इनका उपयोग विशेष रूप से [[बीजगणितीय ज्यामिति]] और संबंधित क्षेत्रों में किया जाता है। बीजगणितीय ज्यामिति में ''शेवेल्ली के प्रमेय'' के रूप में जाना जाने वाला एक प्रमुख परिणाम दर्शाता है कि एक कंस्ट्रकटिब्ल समुच्चय की छवि बीजगणितीय प्रकारों (या अधिक सामान्यतः [[योजना (गणित)]]) के मैपिंग (अधिक विशेष रूप से समरूपता) के एक महत्वपूर्ण वर्ग के लिए कंस्ट्रकटिब्ल है।
-इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) निर्माण योग्य है।
+इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) कंस्ट्रकटिब्ल है।
-बीजगणितीय ज्यामिति और [[इंटरसेक्शन कोहोमोलॉजी]] में विभिन्न प्रकार के रचनात्मक शीफ की परिभाषा में रचनात्मक सेट भी सम्मिलित होते हैं।
+बीजगणितीय ज्यामिति और [[इंटरसेक्शन कोहोमोलॉजी]] में विभिन्न प्रकार के कंस्ट्रकटिब्ल शीफ की परिभाषा में कंस्ट्रकटिब्ल समुच्चय भी सम्मिलित होते हैं।
 ==परिभाषाएँ==
-एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक रचनात्मक सेट स्थानीय रूप से [[बंद सेट|संवृत सेटों]] का एक सीमित [[संघ (सेट सिद्धांत)]] है। (एक सेट स्थानीय रूप से संवृत होता है यदि यह एक विवृत सेट और संवृत सेट का [[प्रतिच्छेदन (सेट सिद्धांत)]] है।)
+एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक कंस्ट्रकटिब्ल समुच्चय स्थानीय रूप से [[बंद सेट|संवृत समुच्चयों]] का एक सीमित [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]] है। (एक समुच्चय स्थानीय रूप से संवृत होता है यदि यह एक विवृत समुच्चय और संवृत समुच्चय का [[प्रतिच्छेदन (सेट सिद्धांत)|प्रतिच्छेदन (समुच्चय सिद्धांत)]] है।)
 चूँकि, बड़े स्थानों के साथ उत्तम व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है:
-'''परिभाषाएँ''': टोपोलॉजिकल स्पेस <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>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>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>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) इसमें सेट के सभी [[पूरक (सेट सिद्धांत)]] और परिमित संघ (और इसलिए परिमित प्रतिच्छेदन भी) सम्मिलित हैं। दूसरे शब्दों में, रचनात्मक सेट रेट्रोकॉम्पैक्ट ओपन सबसेट द्वारा उत्पन्न बूलियन बीजगणित हैं।
+समान रूप से टोपोलॉजिकल स्पेस के कंस्ट्रकटिब्ल उपसमुच्चय <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>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>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>
+शब्दावली: यहां दी गई परिभाषा एलिमेंट्स डी जियोमेट्री अल्जेब्रिक और [[ ढेर परियोजना |शीफ परियोजना]] के पहले संस्करण में उपयोग की गई है। ईजीए के दूसरे संस्करण में कंस्ट्रकटिब्ल समुच्चय (उपरोक्त परिभाषा के अनुसार) को वैश्विक रूप से कंस्ट्रकटिब्ल कहा जाता है जबकि कंस्ट्रकटिब्ल शब्द उपरोक्त स्थानीय रूप से कंस्ट्रकटिब्ल कहे जाने वाले के लिए आरक्षित है। <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(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>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> है, जो विविधता नहीं है, किन्तु रचनात्मक है।
+विशेष रूप से, बीजगणितीय विविधता की छवि को विविधता की आवश्यकता नहीं है, किन्तु (धारणाओं के तहत) सदैव एक कंस्ट्रकटिब्ल समुच्चय होता है। उदाहरण के लिए, मानचित्र <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>
+यदि कंस्ट्रकटिब्ल समुच्चयों की सरलीकृत परिभाषा (परिभाषा में रेट्रोकॉम्पैक्ट ओपन समुच्चयों को प्रतिबंधित किए बिना) का उपयोग किया गया तो ऊपर बताई गई व्यापकता में शेवेल्ली का प्रमेय विफल हो जाएगा।<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 की ओर संकेत करते हैं):
+योजनाओं के समरूपता और योजनाओं पर [[क्वासिकोहेरेंट शीफ]] की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से कंस्ट्रकटिब्ल उपसमुच्चय पर लागू होते हैं। ईजीए 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> सटीक स्थानीय रूप से निर्माण योग्य है। (प्रस्ताव (9.4.4))
+* यदि <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> स्थानीय रूप से मुफ़्त है स्थानीय रूप से निर्माण योग्य है। (प्रस्ताव (9.4.7))
+* यदि <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>s\in S</math> जिसके लिए <math>f^{-1}(s)\cap Z</math> में संवृत (या खुला) है <math>f^{-1}(s)</math> स्थानीय रूप से निर्माण योग्य है। (परिणाम (9.5.4))
+* यदि <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>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> विशेषण, उचित, परिमित, विसर्जन, संवृत विसर्जन, खुला विसर्जन, समरूपता। (प्रस्ताव (9.6.1))
+*मान लीजिए <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>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> ज्यामितीय रूप से अपरिवर्तनीय, ज्यामितीय रूप से जुड़ा हुआ, ज्यामितीय रूप से कम किया हुआ। (प्रमेय (9.7.7))
+* मान लीजिए <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>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> ज्यामितीय रूप से नियमित, ज्यामितीय रूप से सामान्य, ज्यामितीय रूप से कम। (प्रस्ताव (9.9.4))
+*मान लीजिए <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: @@
 == यह भी देखें ==
-*रचनात्मक टोपोलॉजी
+*कंस्ट्रकटिब्ल टोपोलॉजी
-*निर्माण योग्य शीफ
+*कंस्ट्रकटिब्ल शीफ
 ==टिप्पणियाँ==
@@ Line 75: / Line 75: @@
 {{Authority control}}
-[[Category: टोपोलॉजी]] [[Category: बीजगणितीय ज्यामिति]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:CS1 français-language sources (fr)]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 10/07/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:टोपोलॉजी]]
+[[Category:बीजगणितीय ज्यामिति]]

Anonymous

Search

निर्माण योग्य सेट (टोपोलॉजी): Difference between revisions

Namespaces

More

Page actions

Latest revision as of 08:40, 26 July 2023

Contents

परिभाषाएँ

शेवेल्ली का प्रमेय

कंस्ट्रकटिब्ल गुण

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

निर्माण योग्य सेट (टोपोलॉजी): Difference between revisions

Latest revision as of 08:40, 26 July 2023

परिभाषाएँ

शेवेल्ली का प्रमेय

कंस्ट्रकटिब्ल गुण

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories