Gδ समुच्चय: Difference between revisions
No edit summary |
|||
(6 intermediate revisions by 4 users not shown) | |||
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'' से ''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> | * परिमेय संख्याओं का समुच्चय <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> एक | * हर जगह अलग-अलग वास्तविक-मूल्यवान कार्य के व्युत्पन्न (गणित) का शून्य-समुच्चय <math>\R</math> एक G<sub>δ</sub> समुच्चय तय करता है। यह खाली आंतरिक भाग के साथ एक सघन समुच्चय हो सकता है, जैसा कि पोम्पेयू के निर्माण द्वारा दिखाया गया है। | ||
* कार्यों का समुच्चय <math>C([0,1])</math> के भीतर किसी भी बिंदु पर अलग नहीं किया जा सकता है जिसमे मीट्रिक स्थान का एक सघन | * कार्यों का समुच्चय <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> एक (बंद) | * एक टोपोलॉजिकल स्थान में प्रत्येक वास्तविक मूल्यवान निरंतर कार्य का [[शून्य सेट|शून्य समुच्चय]] <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 स्थान में प्रत्येक सिंगलटन एक | * पहले गणनीय 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> है अगर यह एक | * [[पूरी तरह से मेट्रिजेबल]] स्थान का एक [[टोपोलॉजिकल सबस्पेस|टोपोलॉजिकल]] उप-स्थान <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> स्वयं पोलिश है यदि यह | * पोलिश अंतरिक्ष का एक उप-स्थान <math>X</math> स्वयं पोलिश है यदि यह G<sub>δ</sub> समुच्चय है। यह पिछले परिणाम से पूरी तरह से मेट्रिजेबल उप-स्थान के बारे में है और तथ्य यह है कि एक वियोज्य मीट्रिक स्थान के प्रत्येक उप-स्थान वियोज्य है। | ||
* एक टोपोलॉजिकल स्थान <math>X</math> पोलिश है अगर यह [[कॉम्पैक्ट जगह|ठोस]] मेट्रिक स्थान का | * एक टोपोलॉजिकल स्थान <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> | ||
=== वास्तविक मूल्यवान कार्यों का निरंतरता समुच्चय === | === वास्तविक मूल्यवान कार्यों का निरंतरता समुच्चय === | ||
Line 40: | Line 40: | ||
== जी G<sub>δ</sub> अंतरिक्ष == | == जी 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δ समुच्चय खुला है | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
Line 62: | Line 62: | ||
* {{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}} | * {{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}} | {{DEFAULTSORT:G Set}} | ||
[[Category:Created On 03/02/2023|G Set]] | |||
[[Category:Lua-based templates|G Set]] | |||
[[Category: Machine Translated Page]] | [[Category:Machine Translated Page|G Set]] | ||
[[Category: | [[Category:Pages with ignored display titles]] | ||
[[Category:Pages with script errors|G Set]] | |||
[[Category:Short description with empty Wikidata description|G Set]] | |||
[[Category:Templates Vigyan Ready|G Set]] | |||
[[Category:Templates that add a tracking category|G Set]] | |||
[[Category:Templates that generate short descriptions|G Set]] | |||
[[Category:Templates using TemplateData|G Set]] | |||
[[Category:वर्णनात्मक सेट सिद्धांत|G Set]] | |||
[[Category:सामान्य टोपोलॉजी|G Set]] |
Latest revision as of 19:29, 9 February 2023
टोपोलॉजी के गणितीय क्षेत्र में, एक Gδ समुच्चय टोपोलॉजिकल स्थान का उपसमुच्चय है जो खुले समुच्चयों का एक गणनीय प्रतिच्छेदन (समुच्चय थ्योरी) है। नोटेशन की उत्पत्ति जर्मन में G से Gebiet ( जर्मन : क्षेत्र, या पड़ोस) के साथ हुई है, जिसका अर्थ इस मामले में खुला समुच्चय है और δ Durchschnitt ( जर्मन : प्रतिच्छेदन) के लिए है।[1]
ऐतिहासिक रूप से Gδ समुच्चय को आंतरिक सीमित समुच्चय भी कहा जाता था[2] लेकिन वह शब्दावली अब उपयोग में नहीं है।
Gδ समुच्चय और उनका दोहरा Fσ समुच्चय, बोरेल पदानुक्रम का दूसरा स्तर हैं।
परिभाषा
एक टोपोलॉजिकल स्थान में एक Gδ समुच्चय खुले समुच्चयों का एक गणनीय प्रतिच्छेदन(समुच्चय सिद्धांत) है। Gδ समुच्चय बिल्कुल स्तर Π0
2 बोरेल पदानुक्रम के समुच्चय है।
उदाहरण
- कोई भी खुला समुच्चय तुच्छ रूप से Gδ समुच्चय होता है।
- अपरिमेय संख्याएँ वास्तविक संख्याओं में Gδ समुच्चय होता है। उन्हें खुले समुच्चय के गणनीय प्रतिच्छेदन के रूप में लिखा जा सकता है (सुपरस्क्रिप्ट पूरक (समुच्चय सिद्धांत) को दर्शाता है) जहां परिमेय संख्या है।
- परिमेय संख्याओं का समुच्चय Gδ समुच्चय नहीं है। अगर खुले समुच्चयों का प्रतिच्छेदनथा प्रत्येक घना समुच्चय होगा क्योंकि में घना है . हालांकि ऊपर के निर्माण ने अपरिमेय संख्या को खुले घने उपसमुच्चय के एक गणनीय प्रतिच्छेदन के रूप में दिया। इन दोनों समुच्चयों के प्रतिच्छेदन को लेने से खाली समुच्चय को खुले घने समुच्चयों के गणनीय प्रतिच्छेदन के रूप में मिलता है और बेयर श्रेणी प्रमेय का उल्लंघन करता है।
- किसी वास्तविक मूल्यवान कार्य का निरंतरता एक Gδ समुच्चय इसके डोमेन का उपसमुच्चय है (अधिक सामान्य कथन के लिए गुण अनुभाग देखें)।
- हर जगह अलग-अलग वास्तविक-मूल्यवान कार्य के व्युत्पन्न (गणित) का शून्य-समुच्चय एक Gδ समुच्चय तय करता है। यह खाली आंतरिक भाग के साथ एक सघन समुच्चय हो सकता है, जैसा कि पोम्पेयू के निर्माण द्वारा दिखाया गया है।
- कार्यों का समुच्चय के भीतर किसी भी बिंदु पर अलग नहीं किया जा सकता है जिसमे मीट्रिक स्थान का एक सघन Gδ समुच्चय होता है।
गुण
मीट्रिक (और टोपोलॉजिकल) रिक्त स्थान में Gδ समुच्चय पूर्ण मीट्रिक स्थान के साथ-साथ बेयर श्रेणी प्रमेय की धारणा से संबंधित है। नीचे गुणों की सूची में पूरी तरह से मेट्रिज़ेबल रिक्त स्थान के बारे में परिणाम देखें। समुच्चय और उनके पूरक भी वास्तविक विश्लेषण में महत्वपूर्ण हैं और विशेष रूप से माप सिद्धांत है।
बुनियादी गुण
- एक G δ समुच्चय का पूरक एक F σ समुच्चय होता है।
- गिने-चुने कई Gδ समुच्चयों का प्रतिच्छेदन एक Gδ समुच्चय होता है।
- बहुत से Gδ समुच्चयों का संघ एक Gδ समुच्चय होता है।
- Gδ समुच्चय का एक गणनीय संघ (जिसे Gδσ समुच्चय कहा जाएगा) सामान्य रूप से Gδ समुच्चय नहीं है। उदाहरण के लिए, परिमेय संख्याएँ और है।
- एक टोपोलॉजिकल स्थान में प्रत्येक वास्तविक मूल्यवान निरंतर कार्य का शून्य समुच्चय एक (बंद) Gδ समुच्चय के बाद से खुले समुच्चयों का प्रतिच्छेदनहै। , .
- मेट्रिजेबल स्थान में प्रत्येक बंद समुच्चय एक Gδ समुच्चय है और दो तरह से हर खुला समुच्चय एक Fσ समुच्चय है।[3] दरअसल एक बंद समुच्चय निरंतर कार्य का शून्य समुच्चय है , जहाँ एक समुच्चय की दूरी को इंगित करता है। स्यूडोमेट्रिजेबल स्थान में भी ऐसा ही होता है।
- पहले गणनीय T1 स्थान में प्रत्येक सिंगलटन एक G δ समुच्चय होता है।[4]
- पूरी तरह से मेट्रिजेबल स्थान का एक टोपोलॉजिकल उप-स्थान है अगर यह एक Gδ समुच्चय है तो यह स्वयं पूरी तरह से मेट्रिज़ेबल है।[5][6]
- पोलिश अंतरिक्ष का एक उप-स्थान स्वयं पोलिश है यदि यह Gδ समुच्चय है। यह पिछले परिणाम से पूरी तरह से मेट्रिजेबल उप-स्थान के बारे में है और तथ्य यह है कि एक वियोज्य मीट्रिक स्थान के प्रत्येक उप-स्थान वियोज्य है।
- एक टोपोलॉजिकल स्थान पोलिश है अगर यह ठोस मेट्रिक स्थान का Gδ उपसमुच्चय के लिए होमियोमॉर्फिक है।[7][8]
वास्तविक मूल्यवान कार्यों का निरंतरता समुच्चय
उन बिंदुओं का समूह जहां एक कार्य होता है टोपोलॉजिकल स्थान से मेट्रिक स्थान तक निरंतर कार्य तय करना। ऐसा इसलिए है क्योंकि एक बिंदु पर निरंतरता सूत्र द्वारा परिभाषित किया जा सकता है अर्थात् सभी सही पूर्णांकों के लिए एक खुला समुच्चय है युक्त ऐसा है कि सबके लिए में है। यदि इसका मान तय है, तो समुच्चय जिसके लिए इस तरह का एक समान खुला अपने आप में एक खुला समुच्चय है और सार्वभौमिक परिमाणक चालू है। इन समुच्चयों के (गणनीय) प्रतिच्छेदन से मेल खाती है। परिणामस्वरूप जबकि अपरिमेय के लिए एक कार्य के निरंतरता बिंदुओं का समुच्चय होना संभव है और एक कार्य का निर्माण करना असंभव है जो केवल परिमेय संख्याओं पर निरंतर हो। वास्तविक रेखा में विलोम भी धारण करता है कि किसी भी जी Gδ उपसमुच्चय के लिए वास्तविक रेखा का एक कार्य यह बिल्कुल बिंदुओं पर निरंतर है .[9]
जी Gδ अंतरिक्ष
Gδ अंतरिक्ष[10] एक टोपोलॉजिकल स्थान है जिसमें हर बंद समुच्चय एक Gδ समुच्चय (जॉनसन 1970) है। एक सामान्य स्थान जो कि Gδ अंतरिक्ष को बिल्कुल सामान्य स्थान कहा जाता है। उदाहरण के लिए प्रत्येक मेट्रिजेबल स्थान पूरी तरह से सामान्य है।
यह भी देखें
- Fσ समुच्चय, दोहरी अवधारणा; ध्यान दें कि "जी" जर्मन (गेबिएट) है और "एफ" फ्रेंच (फर्मे) है।
- P -स्थान, कोई भी स्थान जिसमें संपत्ति है कि हर Gδ समुच्चय खुला है
टिप्पणियाँ
- ↑ 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.