Gδ समुच्चय

टोपोलॉजी के गणितीय क्षेत्र में, एक जी (Gδ ) समुच्चय एक टोपोलॉजिकल स्पेस का सबसमुच्चय है जो खुले समुच्चयों का एक गणनीय प्रतिच्छेदन (समुच्चय थ्योरी) है। नोटेशन की उत्पत्ति जर्मन में G से Gebiet ( जर्मन : क्षेत्र, या पड़ोस) के साथ हुई है, जिसका अर्थ इस मामले में खुला समुच्चय है और δ Durchschnitt ( जर्मन : चौराहा) के लिए है।

ऐतिहासिक रूप से जी (Gδ ) समुच्चय को आंतरिक सीमित समुच्चय भी कहा जाता था लेकिन वह शब्दावली अब उपयोग में नहीं है।

जी (Gδ ) समुच्चय और उनका दोहरा Fσ समुच्चय| F$\sigma$ समुच्चय, बोरेल पदानुक्रम का दूसरा स्तर हैं।

परिभाषा
एक टोपोलॉजिकल स्पेस में एक जी (Gδ ) समुच्चय खुले समुच्चयों का एक गणनीय चौराहा (समुच्चय सिद्धांत) है। जी (Gδ ) समुच्चय बिल्कुल स्तर Π$0 2$ बोरेल पदानुक्रम के समुच्चय है।

उदाहरण

 * कोई भी खुला समुच्चय तुच्छ रूप से Gδ समुच्चय होता है।
 * अपरिमेय संख्याएँ वास्तविक संख्याओं में Gδ समुच्चय होता है . $$\R$$ उन्हें खुले समुच्चय के गणनीय चौराहे के रूप में लिखा जा सकता है $$\{ q \}^{c}$$ (सुपरस्क्रिप्ट पूरक (समुच्चय सिद्धांत) को दर्शाता है) जहां $$q$$ परिमेय संख्या है।
 * परिमेय संख्याओं का समुच्चय $$\Q$$ Gδ समुच्चय नहीं है  $$\R$$ अगर $$\Q$$ खुले समुच्चयों का चौराहा था $$A_n$$ प्रत्येक $$A_n$$ घना समुच्चय होगा $$\R$$ क्योंकि $$\Q$$ में घना है $$\R$$. हालांकि ऊपर के निर्माण ने अपरिमेय संख्या को खुले घने उपसमुच्चय के एक गणनीय चौराहे के रूप में दिया। इन दोनों समुच्चयों के प्रतिच्छेदन को लेने से खाली समुच्चय को खुले घने समुच्चयों के गणनीय चौराहे के रूप में मिलता है $$\R$$, बेयर श्रेणी प्रमेय का उल्लंघन।
 * निरंतरता समुच्चय किसी भी वास्तविक मूल्यवान फ़ंक्शन के फ़ंक्शन का निरंतरता समुच्चय एक जी हैδ इसके डोमेन का सबसमुच्चय (अधिक सामान्य कथन के लिए गुण अनुभाग देखें)।
 * हर जगह अलग-अलग वास्तविक-मूल्यवान फ़ंक्शन के डेरिवेटिव (गणित) का शून्य-समुच्चय $$\R$$ एक जी Gδ  समुच्चय तय करता है। यह खाली इंटीरियर के साथ एक सघन समुच्चय हो सकता है, जैसा कि पोम्पेई व्युत्पन्न#पोम्पेई के निर्माण|पोम्पेयू के निर्माण द्वारा दिखाया गया है।
 * कार्यों का समुच्चय में $$C([0,1])$$ भीतर किसी भी बिंदु पर भिन्न नहीं $[0, 1]$ एक घना जी (G) सम्मिलित हैδ मीट्रिक स्थान का सबसमुच्चय $$C([0,1])$$. (देखना .)

गुण
जी की धारणाδ मीट्रिक स्थान (और टोपोलॉजिकल स्पेस) स्पेस में समुच्चय मेट्रिक स्पेस के पूर्ण मीट्रिक स्थान के साथ-साथ बेयर श्रेणी प्रमेय की धारणा से संबंधित है। नीचे गुणों की सूची में पूरी तरह से मेट्रिज़ेबल रिक्त स्थान के बारे में परिणाम देखें। $$\mathrm {G_\delta}$$ समुच्चय और उनके पूरक भी वास्तविक विश्लेषण में महत्वपूर्ण हैं, विशेष रूप से माप सिद्धांत।

बुनियादी गुण

 * जी का पूरक (समुच्चय सिद्धांत)।δ समुच्चय एक Fσ समुच्चय है|Fσसमुच्चय और इसके विपरीत।
 * गिने-चुने कई जी का प्रतिच्छेदनδ समुच्चय एक जी Gδ तय करना।
 * का संघ कई जीδ समुच्चय एक जी Gδ तय करना।
 * जी का एक गणनीय संघδ समुच्चय (जिसे जी कहा जाएगाδσ समुच्चय) जी नहीं हैδ सामान्य रूप से समुच्चय करें। उदाहरण के लिए, परिमेय संख्याएँ $$\Q$$ जी मत बनाओδ शुरु होना $$\R$$.
 * एक टोपोलॉजिकल स्पेस में, प्रत्येक वास्तविक मूल्यवान निरंतर कार्य का शून्य समुच्चय $$f$$ एक (बंद) जी Gδ समुच्चय, के बाद से $$f^{-1}(0)$$ खुले समुच्चयों का चौराहा है $$\{x \in X : -1/n < f(x) < 1/n\}$$, $$(n = 1, 2, \ldots)$$.
 * metrizable स्पेस में, प्रत्येक बंद समुच्चय एक जी हैδ समुच्चय और, दो तरह से, हर खुला समुच्चय एक एफ हैσ तय करना। दरअसल, एक बंद समुच्चय $$F \subseteq X$$ निरंतर कार्य का शून्य समुच्चय है $$f(x) = d(x, F)$$, कहाँ $$d$$ एक समुच्चय की दूरी को इंगित करता है। स्यूडोमेट्रिजेबल स्पेस में भी ऐसा ही होता है।
 * पहले गणनीय T1 स्थान में|T1 अंतरिक्ष, हर सिंगलटन (गणित) एक जी हैδ समुच्चय।
 * पूरी तरह से मेट्रिजेबल स्पेस का एक टोपोलॉजिकल सबस्पेस $$X$$ अगर और केवल अगर यह एक G है तो यह खुद पूरी तरह से मेट्रिजेबल हैδ शुरु होना $$X$$.
 * पोलिश अंतरिक्ष का एक उप-स्थान $$X$$ स्वयं पोलिश है यदि और केवल यदि वह Gδ शुरु होना $$X$$. यह पिछले परिणाम से पूरी तरह से मेट्रिजेबल सबस्पेस के बारे में है और तथ्य यह है कि एक वियोज्य मीट्रिक स्पेस के प्रत्येक सबस्पेस वियोज्य है।
 * एक टोपोलॉजिकल स्पेस $$X$$ पोलिश है अगर और केवल अगर यह जी के लिए होमियोमॉर्फिक हैδ कॉम्पैक्ट जगह मेट्रिक स्पेस का सबसमुच्चय।

वास्तविक मूल्यवान कार्यों का निरंतरता समुच्चय
उन बिंदुओं का समूह जहां एक फ़ंक्शन होता है $$f$$ टोपोलॉजिकल स्पेस से मेट्रिक स्पेस तक निरंतर कार्य होता है $$\mathrm {G_\delta}$$ तय करना। ऐसा इसलिए है क्योंकि एक बिंदु पर निरंतरता $$p$$ द्वारा परिभाषित किया जा सकता है $$\Pi^0_2$$ सूत्र, अर्थात् सभी सकारात्मक पूर्णांकों के लिए $$n,$$ एक खुला समुच्चय है $$U$$ युक्त $$p$$ ऐसा है कि $$d(f(x), f(y)) < 1/n$$ सबके लिए $$x, y$$ में $$U$$. यदि इसका मान $$n$$ तय है, का समुच्चय $$p$$ जिसके लिए इस तरह का एक समान खुला $$U$$ अपने आप में एक खुला समुच्चय है (खुले समुच्चयों का एक संघ होने के नाते), और सार्वभौमिक क्वांटिफायर चालू है $$n$$ इन समुच्चयों के (गणनीय) चौराहे से मेल खाती है। परिणामस्वरूप, जबकि अपरिमेय के लिए एक फ़ंक्शन के निरंतरता बिंदुओं का समुच्चय होना संभव है (पॉपकॉर्न समारोह देखें), एक फ़ंक्शन का निर्माण करना असंभव है जो केवल परिमेय संख्याओं पर निरंतर हो।

वास्तविक रेखा में विलोम भी धारण करता है कि किसी भी जी Gδ सबसमुच्चय के लिए $$A$$ वास्तविक रेखा का एक कार्य है $$f : \R \to \R$$ यह बिल्कुल बिंदुओं पर निरंतर है $$A$$.

जीδ अंतरिक्ष
जी (Gδ ) अंतरिक्ष एक टोपोलॉजिकल स्पेस है जिसमें हर बंद समुच्चय एक जी Gδ समुच्चय है। एक सामान्य स्थान जो कि Gδ अंतरिक्ष को बिल्कुल सामान्य स्थान कहा जाता है। उदाहरण के लिए प्रत्येक मेट्रिजेबल स्पेस पूरी तरह से सामान्य है।

यह भी देखें

 * एफσ समुच्चय | एफσ समुच्चय, द्वैत (गणित) अवधारणा; ध्यान दें कि G जर्मन है (विकट:Gebiet#जर्मन) और F फ्रेंच है (विकट:fermé#French|fermé)।
 * पी-स्पेस | पी-स्पेस, कोई भी स्पेस जिसमें संपत्ति है कि हर जीδ समुच्चय खुला है