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

Revision as of 08:39, 21 July 2023

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

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

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

परिभाषाएँ

एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक रचनात्मक सेट स्थानीय रूप से बंद सेटों का एक सीमित संघ (सेट सिद्धांत) है। (एक सेट स्थानीय रूप से बंद होता है यदि यह एक खुले सेट और बंद सेट का प्रतिच्छेदन (सेट सिद्धांत) है।) हालाँकि, बड़ी जगहों के साथ बेहतर व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है:

परिभाषाएँ: एक उपसमुच्चय $Z$ एक टोपोलॉजिकल स्पेस का $X$ यदि रेट्रोकॉम्पैक्ट कहा जाता है $Z\cap U$ प्रत्येक कॉम्पैक्ट ओपन उपसमुच्चय के लिए सघन स्थान है $U\subset X$ . का एक उपसमुच्चय $X$ यदि यह प्रपत्र के उपसमुच्चय का एक सीमित संघ है तो रचनात्मक है $U\cap (X-V)$ दोनों कहाँ $U$ और $V$ के खुले और रेट्रोकॉम्पैक्ट उपसमुच्चय हैं $X$ . उपसमुच्चय $Z\subset X$ यदि कोई कवर (टोपोलॉजी) है तो यह स्थानीय रूप से निर्माण योग्य है $(U_{i})_{i\in I}$ का $X$ प्रत्येक की संपत्ति के साथ खुले उपसमुच्चय सम्मिलित हैं $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|एक गोडेल रचनात्मक सेट|निर्माण योग्य ब्रह्मांड}}
-[[टोपोलॉजी]] में, रचनात्मक सेट एक [[टोपोलॉजिकल स्पेस]] के सबसेट का एक वर्ग है जिसमें अपेक्षाकृत सरल संरचना होती है।
+[[टोपोलॉजी]] में, '''रचनात्मक सेट''' एक [[टोपोलॉजिकल स्पेस]] के सबसेट का एक वर्ग है जिसमें अपेक्षाकृत सरल संरचना होती है। इनका उपयोग विशेष रूप से [[बीजगणितीय ज्यामिति]] और संबंधित क्षेत्रों में किया जाता है। बीजगणितीय ज्यामिति में ''शेवेल्ली के प्रमेय'' के रूप में जाना जाने वाला एक प्रमुख परिणाम दर्शाता है कि एक रचनात्मक सेट की छवि बीजगणितीय प्रकारों (या अधिक सामान्यतः [[योजना (गणित)]]) के मैपिंग (अधिक विशेष रूप से समरूपता) के एक महत्वपूर्ण वर्ग के लिए रचनात्मक है।
-इनका उपयोग विशेष रूप से [[बीजगणितीय ज्यामिति]] और संबंधित क्षेत्रों में किया जाता है। एक प्रमुख परिणाम जिसे ''शेवेल्ली प्रमेय'' के नाम से जाना जाता है
-बीजगणितीय ज्यामिति से पता चलता है कि एक रचनात्मक सेट की छवि मानचित्र के एक महत्वपूर्ण वर्ग (गणित) के लिए रचनात्मक है
+इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) निर्माण योग्य है।
-(अधिक विशेष रूप से योजनाओं का आकारवाद) बीजगणितीय किस्मों (या अधिक सामान्यतः [[योजना (गणित)]])।
-इसके अलावा, योजनाओं, आकारिकी और शीव्स की बड़ी संख्या में स्थानीय ज्यामितीय गुण (स्थानीय रूप से) निर्माण योग्य हैं।
+बीजगणितीय ज्यामिति और [[इंटरसेक्शन कोहोमोलॉजी]] में विभिन्न प्रकार के रचनात्मक शीफ की परिभाषा में रचनात्मक सेट भी सम्मिलित होते हैं।
-बीजगणितीय ज्यामिति में विभिन्न प्रकार के रचनात्मक शीफ की परिभाषा में रचनात्मक सेट भी शामिल होते हैं
-और [[इंटरसेक्शन कोहोमोलॉजी]]।
 ==परिभाषाएँ==
@@ Line 14: / Line 12: @@
 परिभाषाएँ: एक उपसमुच्चय <math>Z</math> एक टोपोलॉजिकल स्पेस का <math>X</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>(U_i)_{i\in I}</math> का <math>X</math> प्रत्येक की संपत्ति के साथ खुले उपसमुच्चय शामिल हैं <math>Z\cap U_i</math> का एक रचनात्मक उपसमुच्चय है <math>U_i</math>.
+उपसमुच्चय <math>Z\subset X</math> यदि कोई [[कवर (टोपोलॉजी)]] है तो यह स्थानीय रूप से निर्माण योग्य है <math>(U_i)_{i\in I}</math> का <math>X</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>{{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>
@@ Line 34: / Line 32: @@
 ==रचनात्मक गुण==
-योजनाओं के आकारिकी और योजनाओं पर [[क्वासिकोहेरेंट शीफ]] की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से निर्माण योग्य उपसमुच्चय पर लागू होते हैं। ईजीए 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}</math> एक सूक्ष्म रूप से प्रस्तुत अर्ध-सुसंगत है <math>\mathcal{O}_X</math>-मॉड्यूल, फिर का सेट <math>s\in S</math> जिसके लिए <math>\mathcal{F}_s</math> स्थानीय रूप से मुफ़्त है स्थानीय रूप से निर्माण योग्य है। (प्रस्ताव (9.4.7))
@@ Line 43: / Line 41: @@
 इन रचनाशीलता परिणामों की एक महत्वपूर्ण भूमिका यह है कि ज्यादातर मामलों में प्रश्नों में रूपवाद को भी माना जाता है
-सपाट आकारवाद से यह पता चलता है कि विचाराधीन गुण वास्तव में एक खुले उपसमुच्चय में हैं। ऐसे परिणामों की एक बड़ी संख्या ईजीए IV § 12 में शामिल है।<ref>{{harvnb|Grothendieck|Dieudonné|1966|loc= Ch. '''IV''', § 12 Étude des fibres des morphismes plats de présentation finie, pp. 173-187.}}</ref>
+सपाट आकारवाद से यह पता चलता है कि विचाराधीन गुण वास्तव में एक खुले उपसमुच्चय में हैं। ऐसे परिणामों की एक बड़ी संख्या ईजीए IV § 12 में सम्मिलित है।<ref>{{harvnb|Grothendieck|Dieudonné|1966|loc= Ch. '''IV''', § 12 Étude des fibres des morphismes plats de présentation finie, pp. 173-187.}}</ref>

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 08:39, 21 July 2023

Contents

परिभाषाएँ

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

रचनात्मक गुण

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 08:39, 21 July 2023

परिभाषाएँ

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

रचनात्मक गुण

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories