View source for Gδ समुच्चय

{{Short description|Countable intersection of open sets}}
{{DISPLAYTITLE:G<sub>δ</sub> set}}
[[टोपोलॉजी]] के गणितीय क्षेत्र में, एक 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> समुच्चय को आंतरिक सीमित समुच्चय भी कहा जाता था<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> समुच्चय और उनका दोहरा  Fσ समुच्चय, [[बोरेल पदानुक्रम]] का दूसरा स्तर हैं।

== परिभाषा ==

एक टोपोलॉजिकल स्थान  में एक 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> 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> बेयर श्रेणी प्रमेय का उल्लंघन करता है।
* किसी वास्तविक मूल्यवान कार्य  का निरंतरता एक G<sub>δ</sub> समुच्चय इसके डोमेन का उपसमुच्चय है (अधिक सामान्य कथन के लिए गुण अनुभाग देखें)।
* हर जगह अलग-अलग वास्तविक-मूल्यवान कार्य  के व्युत्पन्न (गणित) का शून्य-समुच्चय <math>\R</math> एक G<sub>δ</sub> समुच्चय तय करता है। यह खाली आंतरिक भाग के साथ एक सघन समुच्चय हो सकता है, जैसा कि पोम्पेयू के निर्माण द्वारा दिखाया गया है।
* कार्यों का समुच्चय  <math>C([0,1])</math> के भीतर किसी भी बिंदु पर अलग नहीं किया जा सकता है जिसमे मीट्रिक स्थान का एक सघन G<sub>δ</sub> समुच्चय होता <math>C([0,1])</math> है। 

== गुण ==

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

=== बुनियादी गुण ===
* एक G <sub>δ</sub> समुच्चय का पूरक एक F σ समुच्चय होता है। 
* गिने-चुने कई G<sub>δ</sub> समुच्चयों का प्रतिच्छेदन एक G<sub>δ</sub> समुच्चय होता है।
* बहुत से G<sub>δ</sub> समुच्चयों का संघ एक G<sub>δ</sub> समुच्चय होता है।
* G<sub>δ</sub> समुच्चय का एक गणनीय संघ (जिसे G<sub>δσ</sub> समुच्चय कहा जाएगा) सामान्य रूप से G<sub>δ</sub> समुच्चय नहीं है। उदाहरण के लिए, परिमेय संख्याएँ <math>\Q</math> और  <math>\R</math> है।
* एक टोपोलॉजिकल स्थान में प्रत्येक वास्तविक मूल्यवान निरंतर कार्य का [[शून्य सेट|शून्य समुच्चय]] <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>.
* [[पूरी तरह से मेट्रिजेबल|मेट्रिजेबल]] स्थान में प्रत्येक [[बंद सेट|बंद समुच्चय]] एक G<sub>δ</sub> समुच्चय है और दो तरह से हर खुला समुच्चय एक Fσ समुच्चय है।<ref>Willard, 15C, p. 105</ref> दरअसल एक बंद समुच्चय <math>F \subseteq X</math> निरंतर कार्य का शून्य समुच्चय है <math>f(x) = d(x, F)</math>, जहाँ <math>d</math>  [[एक सेट की दूरी|एक समुच्चय की दूरी]] को इंगित करता है। [[स्यूडोमेट्रिजेबल]] स्थान में भी ऐसा ही होता है।
* पहले गणनीय T1 स्थान में प्रत्येक सिंगलटन एक G <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> समुच्चय है तो यह स्वयं पूरी तरह से मेट्रिज़ेबल है।<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> पोलिश है अगर यह [[कॉम्पैक्ट जगह|ठोस]] मेट्रिक स्थान का G<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>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> उपसमुच्चय के लिए <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>
== जी G<sub>δ</sub> अंतरिक्ष ==

G<sub>δ</sub> अंतरिक्ष<ref>Steen & Seebach, p. 162</ref> एक टोपोलॉजिकल स्थान है जिसमें हर बंद समुच्चय एक G<sub>δ</sub> समुच्चय {{harv|जॉनसन |1970}} है। एक [[सामान्य स्थान]] जो कि G<sub>δ</sub> अंतरिक्ष को [[बिल्कुल सामान्य स्थान]] कहा जाता है। उदाहरण के लिए प्रत्येक मेट्रिजेबल स्थान पूरी तरह से सामान्य है।


== यह भी देखें ==

* F<sub>σ</sub> समुच्चय, दोहरी अवधारणा; ध्यान दें कि "जी" जर्मन (गेबिएट) है और "एफ" फ्रेंच (फर्मे) है।
* P -स्थान, कोई भी स्थान जिसमें संपत्ति है कि हर Gδ समुच्चय खुला है

==टिप्पणियाँ==

{{reflist}}


==संदर्भ==

* {{cite book|last=Engelking|first=Ryszard| author-link=Ryszard Engelking|title=General Topology|publisher=Heldermann Verlag, Berlin|year=1989| isbn=3-88538-006-4}}
* {{cite book |author-link=John L. Kelley |first=John L. |last=Kelley |title=General topology |url=https://archive.org/details/generaltopology00kell |url-access=registration |publisher=[[Van Nostrand Reinhold|van Nostrand]] |year=1955 |page=[https://archive.org/details/generaltopology00kell/page/134 134] }}
* {{Cite book | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=Counterexamples in Topology | title-link=Counterexamples in Topology | orig-year=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=[[Dover Publications|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 | mr=507446  | year=1995 }}
* {{Cite book | last=Fremlin | first=D.H. | title=Measure Theory, Volume 4 | orig-year=2003 | publisher=Digital Books Logostics | location=Petersburg, England | isbn=0-9538129-4-4 | year=2003 | url=http://www.essex.ac.uk/maths/people/fremlin/mt.htm | access-date=1 April 2011 | chapter=4, General Topology | archive-url=https://web.archive.org/web/20101101220236/http://www.essex.ac.uk/maths/people/fremlin/mt.htm | archive-date=1 November 2010 | url-status=dead }}
* {{Citation | last=Willard | first=Stephen | title=General Topology | orig-year=1970 | publisher=Addison-Wesley | edition=[[Dover Publications|Dover]] reprint of 1970 | year=2004}}
* {{cite journal |first=Roy A. |last=Johnson |year=1970 |title=A Compact Non-Metrizable Space Such That Every Closed Subset is a G-Delta |journal=The American Mathematical Monthly |volume=77 |issue=2 |pages=172–176 |jstor=2317335 |doi=10.2307/2317335}}

{{DEFAULTSORT:G Set}}[[Category: सामान्य टोपोलॉजी]] [[Category: वर्णनात्मक सेट सिद्धांत]] 



[[Category: Machine Translated Page]]
[[Category:Created On 03/02/2023]]