वर्णनात्मक सेट सिद्धांत
गणितीय तर्क में, वर्णनात्मक सेट सिद्धांत (डीएसटी) वास्तविक रेखा और अन्य पोलिश स्थानों के अच्छे व्यवहार वाले सेट (गणित) के कुछ वर्गों का अध्ययन है। साथ ही सेट सिद्धांत में अनुसंधान के प्राथमिक क्षेत्रों में से एक होने के नाते, इसमें गणित के अन्य क्षेत्रों जैसे कि कार्यात्मक विश्लेषण, एर्गोडिक सिद्धांत, ऑपरेटर बीजगणित का अध्ययन और समूह क्रिया (गणित), और गणितीय तर्क के लिए अनुप्रयोग हैं।
पोलिश रिक्त स्थान
वर्णनात्मक सेट सिद्धांत पोलिश रिक्त स्थान और उनके बोरेल सेट के अध्ययन से शुरू होता है।
एक पोलिश स्थान एक दूसरा गणनीय स्थलीय स्थान है जो एक पूर्ण मीट्रिक के साथ metrizable है। हेरिस्टिक रूप से, यह एक पूर्ण वियोज्य मीट्रिक स्थान है जिसका मीट्रिक भुला दिया गया है। उदाहरणों में वास्तविक रेखा शामिल है , बेयर स्पेस (सेट थ्योरी) , कैंटर स्पेस , और हिल्बर्ट क्यूब .
सार्वभौमिकता गुण
पोलिश रिक्त स्थान के वर्ग में कई सार्वभौमिक गुण हैं, जो दिखाते हैं कि कुछ प्रतिबंधित रूपों के पोलिश रिक्त स्थान पर विचार करने में सामान्यता का कोई नुकसान नहीं है।
- प्रत्येक पोलिश स्थान G के लिए होमियोमॉर्फिक हैδ हिल्बर्ट क्यूब की उप-अंतरिक्ष टोपोलॉजी, और प्रत्येक Gδ हिल्बर्ट क्यूब का उपस्थान पोलिश है।
- प्रत्येक पोलिश स्थान को बायर स्थान की एक सतत छवि के रूप में प्राप्त किया जाता है; वास्तव में प्रत्येक पोलिश स्थान बायर स्थान के एक बंद उपसमुच्चय पर परिभाषित निरंतर आक्षेप की छवि है। इसी तरह, हर कॉम्पैक्ट पोलिश स्पेस कैंटर स्पेस की एक सतत छवि है।
इन सार्वभौम गुणों के कारण, और बायर स्थान के कारण सुविधाजनक संपत्ति है कि यह होमोमोर्फिक है वर्णनात्मक समुच्चय सिद्धांत में कई परिणाम अकेले बेयर स्पेस के संदर्भ में सिद्ध होते हैं।
बोरेल सेट
एक टोपोलॉजिकल स्पेस X के बोरेल सेट की श्रेणी में सबसे छोटे सिग्मा-बीजगणित के सभी सेट होते हैं|σ-बीजगणित में X के खुले सेट होते हैं। इसका मतलब यह है कि एक्स के बोरेल सेट ऐसे सेटों का सबसे छोटा संग्रह हैं:
- X का प्रत्येक खुला उपसमुच्चय एक बोरेल समुच्चय है।
- यदि ए बोरेल सेट है, तो है . अर्थात्, बोरेल सेट की श्रेणी पूरकता के तहत बंद है।
- यदि एकn प्रत्येक प्राकृतिक संख्या n के लिए एक बोरेल सेट है, फिर संघ बोरेल सेट है। यानी बोरेल सेट काउंटेबल यूनियनों के तहत बंद हैं।
एक मौलिक परिणाम से पता चलता है कि कोई भी दो बेशुमार पोलिश स्थान X और Y बोरेल समरूपतावाद हैं: X से Y तक एक आक्षेप है जैसे कि किसी भी बोरेल सेट की पूर्व छवि बोरेल है, और किसी भी बोरेल सेट की छवि बोरेल है। यह बेयर स्पेस और कैंटर स्पेस पर ध्यान देने के अभ्यास को अतिरिक्त औचित्य देता है, क्योंकि ये और अन्य पोलिश रिक्त स्थान बोरेल सेट के स्तर पर सभी आइसोमोर्फिक हैं।
बोरेल पदानुक्रम
एक पोलिश स्थान के प्रत्येक बोरेल सेट को बोरेल पदानुक्रम में वर्गीकृत किया गया है, जिसके आधार पर गणनीय संघ और पूरकता के संचालन का उपयोग सेट को प्राप्त करने के लिए किया जाना चाहिए, जो खुले सेट से शुरू होता है। वर्गीकरण गणनीय सेट क्रमिक संख्याओं के संदर्भ में है। प्रत्येक अशून्य गणनीय क्रमिक α के लिए वर्ग हैं , , और .
- हर खुले सेट को घोषित किया जाता है .
- एक सेट घोषित किया जाता है यदि और केवल यदि इसका पूरक है .
- एक सेट ए घोषित किया जाता है , δ> 1, यदि कोई अनुक्रम है, तो एi 〉 सेट के, जिनमें से प्रत्येक है कुछ λ (i) < δ के लिए, जैसे कि .
- एक सेट है अगर और केवल अगर यह दोनों है और .
एक प्रमेय से पता चलता है कि कोई भी सेट जो है या है , और कोई भी सेट दोनों है और सभी α > β के लिए। इस प्रकार पदानुक्रम में निम्नलिखित संरचना होती है, जहाँ तीर समावेशन का संकेत देते हैं।
बोरेल सेट के नियमितता गुण
शास्त्रीय वर्णनात्मक सेट सिद्धांत में बोरेल सेट के नियमित गुणों का अध्ययन शामिल है। उदाहरण के लिए, पोलिश स्थान के सभी बोरेल सेटों में बेयर की संपत्ति और सही सेट संपत्ति होती है। आधुनिक वर्णनात्मक सेट सिद्धांत में उन तरीकों का अध्ययन शामिल है जिनमें ये परिणाम पोलिश रिक्त स्थान के उपसमुच्चय के अन्य वर्गों के सामान्यीकरण, या सामान्यीकरण करने में विफल होते हैं।
विश्लेषणात्मक और [[सहविश्लेषणात्मक सेट]]
जटिलता में बोरेल सेटों के ठीक परे विश्लेषणात्मक सेट और कोनालिटिक सेट हैं। पोलिश स्थान X का एक उपसमुच्चय 'विश्लेषणात्मक' है यदि यह किसी अन्य पोलिश स्थान के बोरेल उपसमुच्चय की निरंतर छवि है। हालांकि बोरेल सेट का कोई भी निरंतर प्रीइमेज बोरेल है, लेकिन सभी विश्लेषणात्मक सेट बोरेल सेट नहीं हैं। एक सेट 'कोएनालिटिक' है यदि इसका पूरक विश्लेषणात्मक है।
प्रोजेक्टिव सेट और वैज डिग्री
वर्णनात्मक समुच्चय सिद्धांत में कई प्रश्न अंततः समुच्चय सिद्धांत | समुच्चय-सैद्धांतिक विचार और क्रमवाचक संख्या और कार्डिनल संख्याओं के गुणों पर निर्भर करते हैं। यह घटना विशेष रूप से प्रक्षेप्य सेट में स्पष्ट है। इन्हें पोलिश स्पेस X पर प्रोजेक्टिव पदानुक्रम के माध्यम से परिभाषित किया गया है:
- एक सेट घोषित किया जाता है अगर यह विश्लेषणात्मक है।
- एक सेट है अगर यह कोनालिटिक है।
- समुच्चय A है अगर वहां एक है का सबसेट बी ऐसा है कि ए पहले समन्वय के लिए बी का प्रक्षेपण है।
- समुच्चय A है अगर वहां एक है का सबसेट बी ऐसा है कि ए पहले समन्वय के लिए बी का प्रक्षेपण है।
- एक सेट है अगर यह दोनों है और .
बोरेल पदानुक्रम के साथ, प्रत्येक एन के लिए, कोई भी सेट दोनों है और प्रोजेक्टिव सेट के गुण ZFC द्वारा पूरी तरह से निर्धारित नहीं किए गए हैं। निर्माण की स्वयंसिद्ध धारणा के तहत | वी = एल, सभी प्रोजेक्टिव सेटों में सही सेट संपत्ति या बेयर की संपत्ति नहीं होती है। हालांकि, अनुमानित निर्धारण की धारणा के तहत, सभी प्रोजेक्टिव सेटों में सही सेट संपत्ति और बायर की संपत्ति दोनों होती है। यह इस तथ्य से संबंधित है कि ZFC बोरेल निर्धारणा को सिद्ध करता है, लेकिन प्रक्षेपी निर्धारण नहीं।
अधिक आम तौर पर, पोलिश स्पेस एक्स के तत्वों के सेट का पूरा संग्रह समतुल्य वर्गों में बांटा जा सकता है, जिसे वैज डिग्री के रूप में जाना जाता है, जो प्रोजेक्टिव पदानुक्रम को सामान्यीकृत करता है। इन डिग्रियों को वैज पदानुक्रम में क्रमबद्ध किया गया है। निर्धारकता के स्वयंसिद्ध का तात्पर्य है कि किसी भी पोलिश स्थान पर वैज पदानुक्रम अच्छी तरह से स्थापित है और लंबाई Θ (सेट सिद्धांत) | Θ है, जिसमें प्रोजेक्टिव पदानुक्रम का विस्तार किया गया है।
बोरेल तुल्यता संबंध
वर्णनात्मक सेट सिद्धांत में अनुसंधान का एक समकालीन क्षेत्र बोरेल तुल्यता संबंधों का अध्ययन करता है। पोलिश स्पेस X पर एक बोरेल तुल्यता संबंध एक बोरेल उपसमुच्चय है यह X पर एक तुल्यता संबंध है।
प्रभावी वर्णनात्मक सेट सिद्धांत
प्रभावी वर्णनात्मक सेट सिद्धांत का क्षेत्र सामान्यीकृत पुनरावर्तन सिद्धांत (विशेष रूप से हाइपररिथमेटिकल सिद्धांत) के साथ वर्णनात्मक सेट सिद्धांत के तरीकों को जोड़ता है। विशेष रूप से, यह शास्त्रीय वर्णनात्मक सेट सिद्धांत के पदानुक्रमों के facebook एनालॉग्स पर केंद्रित है। इस प्रकार बोरेल पदानुक्रम के बजाय हाइपरअरिथमेटिक पदानुक्रम का अध्ययन किया जाता है, और प्रोजेक्टिव पदानुक्रम के बजाय विश्लेषणात्मक पदानुक्रम। यह शोध सेट थ्योरी के कमजोर संस्करणों से संबंधित है जैसे कि क्रिपके-प्लेटेक सेट थ्योरी और दूसरे क्रम के अंकगणित।
टेबल
Lightface | Boldface | ||
---|---|---|---|
Σ0 0 = Π0 0 = Δ0 0 (sometimes the same as Δ0 1) |
Σ0 0 = Π0 0 = Δ0 0 (if defined) | ||
Δ0 1 = recursive |
Δ0 1 = clopen | ||
Σ0 1 = recursively enumerable |
Π0 1 = co-recursively enumerable |
Σ0 1 = G = open |
Π0 1 = F = closed |
Δ0 2 |
Δ0 2 | ||
Σ0 2 |
Π0 2 |
Σ0 2 = Fσ |
Π0 2 = Gδ |
Δ0 3 |
Δ0 3 | ||
Σ0 3 |
Π0 3 |
Σ0 3 = Gδσ |
Π0 3 = Fσδ |
⋮ | ⋮ | ||
Σ0 <ω = Π0 <ω = Δ0 <ω = Σ1 0 = Π1 0 = Δ1 0 = arithmetical |
Σ0 <ω = Π0 <ω = Δ0 <ω = Σ1 0 = Π1 0 = Δ1 0 = boldface arithmetical | ||
⋮ | ⋮ | ||
Δ0 α (α recursive) |
Δ0 α (α countable) | ||
Σ0 α |
Π0 α |
Σ0 α |
Π0 α |
⋮ | ⋮ | ||
Σ0 ωCK 1 = Π0 ωCK 1 = Δ0 ωCK 1 = Δ1 1 = hyperarithmetical |
Σ0 ω1 = Π0 ω1 = Δ0 ω1 = Δ1 1 = B = Borel | ||
Σ1 1 = lightface analytic |
Π1 1 = lightface coanalytic |
Σ1 1 = A = analytic |
Π1 1 = CA = coanalytic |
Δ1 2 |
Δ1 2 | ||
Σ1 2 |
Π1 2 |
Σ1 2 = PCA |
Π1 2 = CPCA |
Δ1 3 |
Δ1 3 | ||
Σ1 3 |
Π1 3 |
Σ1 3 = PCPCA |
Π1 3 = CPCPCA |
⋮ | ⋮ | ||
Σ1 <ω = Π1 <ω = Δ1 <ω = Σ2 0 = Π2 0 = Δ2 0 = analytical |
Σ1 <ω = Π1 <ω = Δ1 <ω = Σ2 0 = Π2 0 = Δ2 0 = P = projective | ||
⋮ | ⋮ |
यह भी देखें
- बिंदु वर्ग
- पूर्व आदेश देना
- स्केल संपत्ति
संदर्भ
- Kechris, Alexander S. (1994). Classical Descriptive Set Theory. Springer-Verlag. ISBN 0-387-94374-9.
- Moschovakis, Yiannis N. (1980). Descriptive Set Theory. North Holland. p. 2. ISBN 0-444-70199-0.
बाहरी कड़ियाँ
- Descriptive set theory, David Marker, 2002. Lecture notes.