Gδ समुच्चय: Difference between revisions
From Vigyanwiki
No edit summary |
(→उदाहरण) |
||
| Line 1: | Line 1: | ||
{{Short description|Countable intersection of open sets}} | {{Short description|Countable intersection of open sets}} | ||
{{DISPLAYTITLE:G<sub>δ</sub> set}} | {{DISPLAYTITLE:G<sub>δ</sub> set}} | ||
[[टोपोलॉजी]] के गणितीय क्षेत्र में, एक जी (G<sub>δ</sub> ) | [[टोपोलॉजी]] के गणितीय क्षेत्र में, एक जी (G<sub>δ</sub> ) समुच्चय एक [[टोपोलॉजिकल स्पेस]] का [[सबसेट|सबसमुच्चय]] है जो खुले समुच्चयों का एक [[गणनीय]] प्रतिच्छेदन (समुच्चय थ्योरी) है। नोटेशन की उत्पत्ति जर्मन में ''G'' से ''Gebiet'' ( ''जर्मन'' : क्षेत्र, या पड़ोस) के साथ हुई है, जिसका अर्थ इस मामले में खुला समुच्चय है और δ ''Durchschnitt'' ( ''जर्मन'' : चौराहा) के लिए है।<ref name="ramtihs">{{citation|title=Real Analysis: Measure Theory, Integration, and Hilbert Spaces|first1=Elias M.|last1=Stein|first2=Rami|last2=Shakarchi|publisher=[[Princeton University Press]]|year=2009|isbn=9781400835560|page=23|url=https://books.google.com/books?id=2Sg3Vug65AsC&pg=PA23}}.</ref> | ||
ऐतिहासिक रूप से जी (G<sub>δ</sub> ) | ऐतिहासिक रूप से जी (G<sub>δ</sub> ) समुच्चय को आंतरिक सीमित समुच्चय भी कहा जाता था<ref>{{citation|url=https://archive.org/stream/theoryofsetsofpo00youniala#page/n3/mode/2up|title=Theory of Sets of Points|last1=Young|first1=William|last2=Young|first2=Grace Chisholm|publisher=Cambridge University Press|year=1906|author-link=William Henry Young|author-link2=Grace Chisholm Young}}</ref> लेकिन वह शब्दावली अब उपयोग में नहीं है। | ||
जी (G<sub>δ</sub> ) समुच्चय | जी (G<sub>δ</sub> ) समुच्चय और उनका दोहरा Fσ समुच्चय| F<sub>{{sigma}}</sub> समुच्चय, [[बोरेल पदानुक्रम]] का दूसरा स्तर हैं। | ||
== परिभाषा == | == परिभाषा == | ||
एक टोपोलॉजिकल स्पेस में एक जी (G<sub>δ</sub> ) | एक टोपोलॉजिकल स्पेस में एक जी (G<sub>δ</sub> ) समुच्चय खुले समुच्चयों का एक गणनीय चौराहा (समुच्चय सिद्धांत) है। जी (G<sub>δ</sub> ) समुच्चय बिल्कुल स्तर Π{{su|p=0|b=2}} बोरेल पदानुक्रम के समुच्चय है। | ||
== उदाहरण == | == उदाहरण == | ||
* कोई भी खुला | * कोई भी खुला समुच्चय तुच्छ रूप से G<sub>δ</sub> समुच्चय होता है। | ||
* अपरिमेय संख्याएँ | * अपरिमेय संख्याएँ वास्तविक संख्याओं में Gδ समुच्चय होता है . <math>\R</math> उन्हें खुले समुच्चय के गणनीय चौराहे के रूप में लिखा जा सकता है <math>\{ q \}^{c}</math> (सुपरस्क्रिप्ट [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]] को दर्शाता है) जहां <math>q</math> परिमेय संख्या है। | ||
* परिमेय संख्याओं का समुच्चय <math>\Q</math> | * परिमेय संख्याओं का समुच्चय <math>\Q</math> G<sub>δ</sub> समुच्चय नहीं है <math>\R</math> अगर <math>\Q</math> खुले समुच्चयों का चौराहा था <math>A_n</math> प्रत्येक <math>A_n</math> [[घना सेट|घना समुच्चय]] होगा <math>\R</math> क्योंकि <math>\Q</math> में घना है <math>\R</math>. हालांकि ऊपर के निर्माण ने अपरिमेय संख्या को खुले घने उपसमुच्चय के एक गणनीय चौराहे के रूप में दिया। इन दोनों समुच्चयों के प्रतिच्छेदन को लेने से [[खाली सेट|खाली समुच्चय]] को खुले घने समुच्चयों के गणनीय चौराहे के रूप में मिलता है <math>\R</math>, बेयर श्रेणी प्रमेय का उल्लंघन। | ||
* निरंतरता | * निरंतरता समुच्चय किसी भी वास्तविक मूल्यवान फ़ंक्शन के फ़ंक्शन का निरंतरता समुच्चय एक जी है<sub>δ</sub> इसके डोमेन का सबसमुच्चय (अधिक सामान्य कथन के लिए गुण अनुभाग देखें)। | ||
* हर जगह अलग-अलग वास्तविक-मूल्यवान फ़ंक्शन के डेरिवेटिव (गणित) का शून्य- | * हर जगह अलग-अलग वास्तविक-मूल्यवान फ़ंक्शन के डेरिवेटिव (गणित) का शून्य-समुच्चय <math>\R</math> एक जी G<sub>δ</sub> समुच्चय तय करता है। यह खाली इंटीरियर के साथ एक सघन समुच्चय हो सकता है, जैसा कि पोम्पेई व्युत्पन्न#पोम्पेई के निर्माण|पोम्पेयू के निर्माण द्वारा दिखाया गया है। | ||
* कार्यों का | * कार्यों का समुच्चय में <math>C([0,1])</math> भीतर किसी भी बिंदु पर भिन्न नहीं {{closed-closed|0, 1}} एक घना जी (G) सम्मिलित है<sub>δ</sub> मीट्रिक स्थान का सबसमुच्चय <math>C([0,1])</math>. (देखना {{section link|Weierstrass function|Density of nowhere-differentiable functions}}.) | ||
== गुण == | == गुण == | ||
जी की धारणा<sub>δ</sub> [[मीट्रिक स्थान]] (और टोपोलॉजिकल स्पेस) स्पेस में | जी की धारणा<sub>δ</sub> [[मीट्रिक स्थान]] (और टोपोलॉजिकल स्पेस) स्पेस में समुच्चय मेट्रिक स्पेस के [[पूर्ण मीट्रिक स्थान]] के साथ-साथ बेयर श्रेणी प्रमेय की धारणा से संबंधित है। नीचे गुणों की सूची में पूरी तरह से मेट्रिज़ेबल रिक्त स्थान के बारे में परिणाम देखें। <math>\mathrm {G_\delta}</math> समुच्चय और उनके पूरक भी [[वास्तविक विश्लेषण]] में महत्वपूर्ण हैं, विशेष रूप से [[माप सिद्धांत]]। | ||
=== बुनियादी गुण === | === बुनियादी गुण === | ||
* जी का पूरक ( | * जी का पूरक (समुच्चय सिद्धांत)।<sub>δ</sub> समुच्चय एक Fσ समुच्चय है|F<sub>σ</sub>समुच्चय और इसके विपरीत। | ||
* गिने-चुने कई जी का प्रतिच्छेदन<sub>δ</sub> | * गिने-चुने कई जी का प्रतिच्छेदन<sub>δ</sub> समुच्चय एक जी G<sub>δ</sub> तय करना। | ||
* का संघ {{em|finitely}} कई जी<sub>δ</sub> | * का संघ {{em|finitely}} कई जी<sub>δ</sub> समुच्चय एक जी G<sub>δ</sub> तय करना। | ||
* जी का एक गणनीय संघ<sub>δ</sub> | * जी का एक गणनीय संघ<sub>δ</sub> समुच्चय (जिसे जी कहा जाएगा<sub>δσ</sub> समुच्चय) जी नहीं है<sub>δ</sub> सामान्य रूप से समुच्चय करें। उदाहरण के लिए, परिमेय संख्याएँ <math>\Q</math> जी मत बनाओ<sub>δ</sub> शुरु होना <math>\R</math>. | ||
* एक टोपोलॉजिकल स्पेस में, प्रत्येक वास्तविक मूल्यवान निरंतर कार्य का [[शून्य सेट]] <math>f</math> एक (बंद) जी G<sub>δ</sub> | * एक टोपोलॉजिकल स्पेस में, प्रत्येक वास्तविक मूल्यवान निरंतर कार्य का [[शून्य सेट|शून्य समुच्चय]] <math>f</math> एक (बंद) जी G<sub>δ</sub> समुच्चय, के बाद से <math>f^{-1}(0)</math> खुले समुच्चयों का चौराहा है <math>\{x \in X : -1/n < f(x) < 1/n\}</math>, <math>(n = 1, 2, \ldots)</math>. | ||
* [[metrizable]] स्पेस में, प्रत्येक [[बंद सेट]] एक जी है<sub>δ</sub> | * [[metrizable]] स्पेस में, प्रत्येक [[बंद सेट|बंद समुच्चय]] एक जी है<sub>δ</sub> समुच्चय और, दो तरह से, हर खुला समुच्चय एक एफ है<sub>σ</sub> तय करना।<ref>Willard, 15C, p. 105</ref> दरअसल, एक बंद समुच्चय <math>F \subseteq X</math> निरंतर कार्य का शून्य समुच्चय है <math>f(x) = d(x, F)</math>, कहाँ <math>d</math> [[एक सेट की दूरी|एक समुच्चय की दूरी]] को इंगित करता है। [[स्यूडोमेट्रिजेबल]] स्पेस में भी ऐसा ही होता है। | ||
* पहले गणनीय T1 स्थान में|T<sub>1</sub> अंतरिक्ष, हर [[सिंगलटन (गणित)]] एक जी है<sub>δ</sub> | * पहले गणनीय T1 स्थान में|T<sub>1</sub> अंतरिक्ष, हर [[सिंगलटन (गणित)]] एक जी है<sub>δ</sub> समुच्चय।<ref>{{Cite web|url=https://math.stackexchange.com/questions/1882733|title=General topology - when are singletons $G_\delta$?}}</ref> | ||
* [[पूरी तरह से मेट्रिजेबल]] स्पेस का एक [[टोपोलॉजिकल सबस्पेस]] <math>X</math> अगर और केवल अगर यह एक G है तो यह खुद पूरी तरह से मेट्रिजेबल है<sub>δ</sub> शुरु होना <math>X</math>.<ref>Willard, theorem 24.12, p. 179</ref><ref>Engelking, theorems 4.3.23 and 4.3.24 on p. 274. From the historical notes on p. 276, the forward implication was shown in a special case by S. Mazurkiewicz and in the general case by M. Lavrentieff; the reverse implication was shown in a special case by P. Alexandroff and in the general case by F. Hausdorff.</ref> | * [[पूरी तरह से मेट्रिजेबल]] स्पेस का एक [[टोपोलॉजिकल सबस्पेस]] <math>X</math> अगर और केवल अगर यह एक G है तो यह खुद पूरी तरह से मेट्रिजेबल है<sub>δ</sub> शुरु होना <math>X</math>.<ref>Willard, theorem 24.12, p. 179</ref><ref>Engelking, theorems 4.3.23 and 4.3.24 on p. 274. From the historical notes on p. 276, the forward implication was shown in a special case by S. Mazurkiewicz and in the general case by M. Lavrentieff; the reverse implication was shown in a special case by P. Alexandroff and in the general case by F. Hausdorff.</ref> | ||
* पोलिश अंतरिक्ष का एक उप-स्थान <math>X</math> स्वयं पोलिश है यदि और केवल यदि वह G<sub>δ</sub> शुरु होना <math>X</math>. यह पिछले परिणाम से पूरी तरह से मेट्रिजेबल सबस्पेस के बारे में है और तथ्य यह है कि एक वियोज्य मीट्रिक स्पेस के प्रत्येक सबस्पेस वियोज्य है। | * पोलिश अंतरिक्ष का एक उप-स्थान <math>X</math> स्वयं पोलिश है यदि और केवल यदि वह G<sub>δ</sub> शुरु होना <math>X</math>. यह पिछले परिणाम से पूरी तरह से मेट्रिजेबल सबस्पेस के बारे में है और तथ्य यह है कि एक वियोज्य मीट्रिक स्पेस के प्रत्येक सबस्पेस वियोज्य है। | ||
* एक टोपोलॉजिकल स्पेस <math>X</math> पोलिश है अगर और केवल अगर यह जी के लिए [[होमियोमॉर्फिक]] है<sub>δ</sub> [[कॉम्पैक्ट जगह]] मेट्रिक स्पेस का | * एक टोपोलॉजिकल स्पेस <math>X</math> पोलिश है अगर और केवल अगर यह जी के लिए [[होमियोमॉर्फिक]] है<sub>δ</sub> [[कॉम्पैक्ट जगह]] मेट्रिक स्पेस का सबसमुच्चय।<ref>Fremlin, p. 334</ref><ref>The sufficiency of the condition uses the fact that every compact metric space is separable and complete, and hence Polish.</ref> | ||
=== वास्तविक मूल्यवान कार्यों का निरंतरता | === वास्तविक मूल्यवान कार्यों का निरंतरता समुच्चय === | ||
उन बिंदुओं का समूह जहां एक फ़ंक्शन होता है <math>f</math> टोपोलॉजिकल स्पेस से मेट्रिक स्पेस तक [[निरंतर कार्य]] होता है <math>\mathrm {G_\delta}</math> तय करना। ऐसा इसलिए है क्योंकि एक बिंदु पर निरंतरता <math>p</math> द्वारा परिभाषित किया जा सकता है <math>\Pi^0_2</math> सूत्र, अर्थात् सभी सकारात्मक पूर्णांकों के लिए <math>n,</math> एक खुला | उन बिंदुओं का समूह जहां एक फ़ंक्शन होता है <math>f</math> टोपोलॉजिकल स्पेस से मेट्रिक स्पेस तक [[निरंतर कार्य]] होता है <math>\mathrm {G_\delta}</math> तय करना। ऐसा इसलिए है क्योंकि एक बिंदु पर निरंतरता <math>p</math> द्वारा परिभाषित किया जा सकता है <math>\Pi^0_2</math> सूत्र, अर्थात् सभी सकारात्मक पूर्णांकों के लिए <math>n,</math> एक खुला समुच्चय है <math>U</math> युक्त <math>p</math> ऐसा है कि <math>d(f(x), f(y)) < 1/n</math> सबके लिए <math>x, y</math> में <math>U</math>. यदि इसका मान <math>n</math> तय है, का समुच्चय <math>p</math> जिसके लिए इस तरह का एक समान खुला <math>U</math> अपने आप में एक खुला समुच्चय है (खुले समुच्चयों का एक संघ होने के नाते), और सार्वभौमिक क्वांटिफायर चालू है <math>n</math> इन समुच्चयों के (गणनीय) चौराहे से मेल खाती है। परिणामस्वरूप, जबकि अपरिमेय के लिए एक फ़ंक्शन के निरंतरता बिंदुओं का समुच्चय होना संभव है ([[पॉपकॉर्न समारोह]] देखें), एक फ़ंक्शन का निर्माण करना असंभव है जो केवल परिमेय संख्याओं पर निरंतर हो। | ||
वास्तविक रेखा में विलोम भी धारण करता है कि किसी भी जी G<sub>δ</sub> | वास्तविक रेखा में विलोम भी धारण करता है कि किसी भी जी G<sub>δ</sub> सबसमुच्चय के लिए <math>A</math> वास्तविक रेखा का एक कार्य है <math>f : \R \to \R</math> यह बिल्कुल बिंदुओं पर निरंतर है <math>A</math>.<ref>{{cite web |last1=Saito |first1=Shingo |title=Properties of G<sub>δ</sub> subsets of <math>\mathbb{R}</math> |url=http://www.artsci.kyushu-u.ac.jp/~ssaito/eng/maths/Gdelta.pdf}}</ref> | ||
== जी<sub>δ</sub> अंतरिक्ष == | == जी<sub>δ</sub> अंतरिक्ष == | ||
जी (G<sub>δ</sub> ) अंतरिक्ष<ref>Steen & Seebach, p. 162</ref> एक टोपोलॉजिकल स्पेस है जिसमें हर बंद | जी (G<sub>δ</sub> ) अंतरिक्ष<ref>Steen & Seebach, p. 162</ref> एक टोपोलॉजिकल स्पेस है जिसमें हर बंद समुच्चय एक जी G<sub>δ</sub> समुच्चय {{harv|Johnson|1970}} है। एक [[सामान्य स्थान]] जो कि G<sub>δ</sub> अंतरिक्ष को [[बिल्कुल सामान्य स्थान]] कहा जाता है। उदाहरण के लिए प्रत्येक मेट्रिजेबल स्पेस पूरी तरह से सामान्य है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* एफσ | * एफσ समुच्चय | एफ<sub>σ</sub> समुच्चय, [[द्वैत (गणित)]] अवधारणा; ध्यान दें कि G जर्मन है (विकट:Gebiet#जर्मन) और F फ्रेंच है (विकट:fermé#French|fermé)। | ||
* पी-स्पेस | पी-स्पेस, कोई भी स्पेस जिसमें संपत्ति है कि हर जी<sub>δ</sub> | * पी-स्पेस | पी-स्पेस, कोई भी स्पेस जिसमें संपत्ति है कि हर जी<sub>δ</sub> समुच्चय खुला है | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
Revision as of 13:38, 8 February 2023
टोपोलॉजी के गणितीय क्षेत्र में, एक जी (Gδ ) समुच्चय एक टोपोलॉजिकल स्पेस का सबसमुच्चय है जो खुले समुच्चयों का एक गणनीय प्रतिच्छेदन (समुच्चय थ्योरी) है। नोटेशन की उत्पत्ति जर्मन में G से Gebiet ( जर्मन : क्षेत्र, या पड़ोस) के साथ हुई है, जिसका अर्थ इस मामले में खुला समुच्चय है और δ Durchschnitt ( जर्मन : चौराहा) के लिए है।[1]
ऐतिहासिक रूप से जी (Gδ ) समुच्चय को आंतरिक सीमित समुच्चय भी कहा जाता था[2] लेकिन वह शब्दावली अब उपयोग में नहीं है।
जी (Gδ ) समुच्चय और उनका दोहरा Fσ समुच्चय| F𝜎 समुच्चय, बोरेल पदानुक्रम का दूसरा स्तर हैं।
परिभाषा
एक टोपोलॉजिकल स्पेस में एक जी (Gδ ) समुच्चय खुले समुच्चयों का एक गणनीय चौराहा (समुच्चय सिद्धांत) है। जी (Gδ ) समुच्चय बिल्कुल स्तर Π0
2 बोरेल पदानुक्रम के समुच्चय है।
उदाहरण
- कोई भी खुला समुच्चय तुच्छ रूप से Gδ समुच्चय होता है।
- अपरिमेय संख्याएँ वास्तविक संख्याओं में Gδ समुच्चय होता है . उन्हें खुले समुच्चय के गणनीय चौराहे के रूप में लिखा जा सकता है (सुपरस्क्रिप्ट पूरक (समुच्चय सिद्धांत) को दर्शाता है) जहां परिमेय संख्या है।
- परिमेय संख्याओं का समुच्चय Gδ समुच्चय नहीं है अगर खुले समुच्चयों का चौराहा था प्रत्येक घना समुच्चय होगा क्योंकि में घना है . हालांकि ऊपर के निर्माण ने अपरिमेय संख्या को खुले घने उपसमुच्चय के एक गणनीय चौराहे के रूप में दिया। इन दोनों समुच्चयों के प्रतिच्छेदन को लेने से खाली समुच्चय को खुले घने समुच्चयों के गणनीय चौराहे के रूप में मिलता है , बेयर श्रेणी प्रमेय का उल्लंघन।
- निरंतरता समुच्चय किसी भी वास्तविक मूल्यवान फ़ंक्शन के फ़ंक्शन का निरंतरता समुच्चय एक जी हैδ इसके डोमेन का सबसमुच्चय (अधिक सामान्य कथन के लिए गुण अनुभाग देखें)।
- हर जगह अलग-अलग वास्तविक-मूल्यवान फ़ंक्शन के डेरिवेटिव (गणित) का शून्य-समुच्चय एक जी Gδ समुच्चय तय करता है। यह खाली इंटीरियर के साथ एक सघन समुच्चय हो सकता है, जैसा कि पोम्पेई व्युत्पन्न#पोम्पेई के निर्माण|पोम्पेयू के निर्माण द्वारा दिखाया गया है।
- कार्यों का समुच्चय में भीतर किसी भी बिंदु पर भिन्न नहीं [0, 1] एक घना जी (G) सम्मिलित हैδ मीट्रिक स्थान का सबसमुच्चय . (देखना Weierstrass function § Density of nowhere-differentiable functions.)
गुण
जी की धारणाδ मीट्रिक स्थान (और टोपोलॉजिकल स्पेस) स्पेस में समुच्चय मेट्रिक स्पेस के पूर्ण मीट्रिक स्थान के साथ-साथ बेयर श्रेणी प्रमेय की धारणा से संबंधित है। नीचे गुणों की सूची में पूरी तरह से मेट्रिज़ेबल रिक्त स्थान के बारे में परिणाम देखें। समुच्चय और उनके पूरक भी वास्तविक विश्लेषण में महत्वपूर्ण हैं, विशेष रूप से माप सिद्धांत।
बुनियादी गुण
- जी का पूरक (समुच्चय सिद्धांत)।δ समुच्चय एक Fσ समुच्चय है|Fσसमुच्चय और इसके विपरीत।
- गिने-चुने कई जी का प्रतिच्छेदनδ समुच्चय एक जी Gδ तय करना।
- का संघ finitely कई जीδ समुच्चय एक जी Gδ तय करना।
- जी का एक गणनीय संघδ समुच्चय (जिसे जी कहा जाएगाδσ समुच्चय) जी नहीं हैδ सामान्य रूप से समुच्चय करें। उदाहरण के लिए, परिमेय संख्याएँ जी मत बनाओδ शुरु होना .
- एक टोपोलॉजिकल स्पेस में, प्रत्येक वास्तविक मूल्यवान निरंतर कार्य का शून्य समुच्चय एक (बंद) जी Gδ समुच्चय, के बाद से खुले समुच्चयों का चौराहा है , .
- metrizable स्पेस में, प्रत्येक बंद समुच्चय एक जी हैδ समुच्चय और, दो तरह से, हर खुला समुच्चय एक एफ हैσ तय करना।[3] दरअसल, एक बंद समुच्चय निरंतर कार्य का शून्य समुच्चय है , कहाँ एक समुच्चय की दूरी को इंगित करता है। स्यूडोमेट्रिजेबल स्पेस में भी ऐसा ही होता है।
- पहले गणनीय T1 स्थान में|T1 अंतरिक्ष, हर सिंगलटन (गणित) एक जी हैδ समुच्चय।[4]
- पूरी तरह से मेट्रिजेबल स्पेस का एक टोपोलॉजिकल सबस्पेस अगर और केवल अगर यह एक G है तो यह खुद पूरी तरह से मेट्रिजेबल हैδ शुरु होना .[5][6]
- पोलिश अंतरिक्ष का एक उप-स्थान स्वयं पोलिश है यदि और केवल यदि वह Gδ शुरु होना . यह पिछले परिणाम से पूरी तरह से मेट्रिजेबल सबस्पेस के बारे में है और तथ्य यह है कि एक वियोज्य मीट्रिक स्पेस के प्रत्येक सबस्पेस वियोज्य है।
- एक टोपोलॉजिकल स्पेस पोलिश है अगर और केवल अगर यह जी के लिए होमियोमॉर्फिक हैδ कॉम्पैक्ट जगह मेट्रिक स्पेस का सबसमुच्चय।[7][8]
वास्तविक मूल्यवान कार्यों का निरंतरता समुच्चय
उन बिंदुओं का समूह जहां एक फ़ंक्शन होता है टोपोलॉजिकल स्पेस से मेट्रिक स्पेस तक निरंतर कार्य होता है तय करना। ऐसा इसलिए है क्योंकि एक बिंदु पर निरंतरता द्वारा परिभाषित किया जा सकता है सूत्र, अर्थात् सभी सकारात्मक पूर्णांकों के लिए एक खुला समुच्चय है युक्त ऐसा है कि सबके लिए में . यदि इसका मान तय है, का समुच्चय जिसके लिए इस तरह का एक समान खुला अपने आप में एक खुला समुच्चय है (खुले समुच्चयों का एक संघ होने के नाते), और सार्वभौमिक क्वांटिफायर चालू है इन समुच्चयों के (गणनीय) चौराहे से मेल खाती है। परिणामस्वरूप, जबकि अपरिमेय के लिए एक फ़ंक्शन के निरंतरता बिंदुओं का समुच्चय होना संभव है (पॉपकॉर्न समारोह देखें), एक फ़ंक्शन का निर्माण करना असंभव है जो केवल परिमेय संख्याओं पर निरंतर हो।
वास्तविक रेखा में विलोम भी धारण करता है कि किसी भी जी Gδ सबसमुच्चय के लिए वास्तविक रेखा का एक कार्य है यह बिल्कुल बिंदुओं पर निरंतर है .[9]
जीδ अंतरिक्ष
जी (Gδ ) अंतरिक्ष[10] एक टोपोलॉजिकल स्पेस है जिसमें हर बंद समुच्चय एक जी Gδ समुच्चय (Johnson 1970) है। एक सामान्य स्थान जो कि Gδ अंतरिक्ष को बिल्कुल सामान्य स्थान कहा जाता है। उदाहरण के लिए प्रत्येक मेट्रिजेबल स्पेस पूरी तरह से सामान्य है।
यह भी देखें
- एफσ समुच्चय | एफσ समुच्चय, द्वैत (गणित) अवधारणा; ध्यान दें कि G जर्मन है (विकट:Gebiet#जर्मन) और F फ्रेंच है (विकट:fermé#French|fermé)।
- पी-स्पेस | पी-स्पेस, कोई भी स्पेस जिसमें संपत्ति है कि हर जीδ समुच्चय खुला है
टिप्पणियाँ
- ↑ Stein, Elias M.; Shakarchi, Rami (2009), Real Analysis: Measure Theory, Integration, and Hilbert Spaces, Princeton University Press, p. 23, ISBN 9781400835560.
- ↑ Young, William; Young, Grace Chisholm (1906), Theory of Sets of Points, Cambridge University Press
- ↑ Willard, 15C, p. 105
- ↑ "General topology - when are singletons $G_\delta$?".
- ↑ Willard, theorem 24.12, p. 179
- ↑ Engelking, theorems 4.3.23 and 4.3.24 on p. 274. From the historical notes on p. 276, the forward implication was shown in a special case by S. Mazurkiewicz and in the general case by M. Lavrentieff; the reverse implication was shown in a special case by P. Alexandroff and in the general case by F. Hausdorff.
- ↑ Fremlin, p. 334
- ↑ The sufficiency of the condition uses the fact that every compact metric space is separable and complete, and hence Polish.
- ↑ Saito, Shingo. "Properties of Gδ subsets of " (PDF).
- ↑ Steen & Seebach, p. 162
संदर्भ
- Engelking, Ryszard (1989). General Topology. Heldermann Verlag, Berlin. ISBN 3-88538-006-4.
- Kelley, John L. (1955). General topology. van Nostrand. p. 134.
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology (Dover reprint of 1978 ed.). Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3. MR 0507446.
- Fremlin, D.H. (2003) [2003]. "4, General Topology". Measure Theory, Volume 4. Petersburg, England: Digital Books Logostics. ISBN 0-9538129-4-4. Archived from the original on 1 November 2010. Retrieved 1 April 2011.
- Willard, Stephen (2004) [1970], General Topology (Dover reprint of 1970 ed.), Addison-Wesley
- Johnson, Roy A. (1970). "A Compact Non-Metrizable Space Such That Every Closed Subset is a G-Delta". The American Mathematical Monthly. 77 (2): 172–176. doi:10.2307/2317335. JSTOR 2317335.
