विश्लेषणात्मक पदानुक्रम

From Vigyanwiki

गणितीय तर्क और वर्णनात्मक समुच्चय सिद्धांत में, विश्लेषणात्मक पदानुक्रम अंकगणितीय पदानुक्रम का एक विस्तार है। सूत्रों के विश्लेषणात्मक पदानुक्रम में दूसरे क्रम के अंकगणित की भाषा में सूत्र सम्मिलित हैं, जिसमें प्राकृतिक संख्याओं के दोनों समुच्चयों पर परिमाणक हो सकते हैं, समुच्चयों का विश्लेषणात्मक पदानुक्रम उन सूत्रों द्वारा समुच्चयों को वर्गीकृत करता है जिनका उपयोग उन्हें परिभाषित करने के लिए किया जा सकता है; यह प्रक्षेपण पदानुक्रम का लाइटफेस संस्करण है।

सूत्रों का विश्लेषणात्मक पदानुक्रम

अंकन नंबर परिमाणक के साथ दूसरे क्रम के अंकगणित की भाषा में सूत्रों के वर्ग को संकेत करता है किन्तु परिमाणक को समुच्चय नहीं करता है। इस भाषा में समुच्चय मापदंड नहीं हैं। यहां ग्रीक अक्षर लाइटफेस प्रतीक हैं, जो भाषा के इस विकल्प को संकेत करते हैं। प्रत्येक संबंधित बोल्डफेस (गणित) प्रतीक प्रत्येक वास्तविक संख्या के लिए समुच्चय मापदंड के साथ विस्तारित भाषा में सूत्रों के संबंधित वर्ग को दर्शाता है; विवरण के लिए प्रक्षेपी पदानुक्रम देखें।

दूसरे क्रम के अंकगणित की भाषा में समुच्चय सूत्र को परिभाषित किया गया है | यदि यह प्रपत्र के सूत्र के लिए तार्किक तुल्यता है | जहाँ समुच्चय सूत्र के रूप में परिभाषित किया गया है | यदि यह सामान्यतः फॉर्म के सूत्र के सामान है | जहाँ है .है | यह आगमनात्मक परिभाषा प्रत्येक प्राकृतिक संख्या के लिए . और वर्गों को परिभाषित करती है |

कुराटोव्स्की और टारस्की ने 1931 में दिखाया कि दूसरे क्रम के अंकगणित की भाषा में हर सूत्र का समुच्चय सामान्य रूप है,[1] और इसलिए या कुछ के लिए . क्योंकि अर्थहीन परिमाणक्स को किसी भी सूत्र में जोड़ा जा सकता है, एक बार सूत्र को वर्गीकरण दिए जाने के बाद या कुछ के लिए इसे वर्गीकरण और दिया जाएगा से बड़े सभी के लिए होता है | .

प्राकृतिक संख्याओं के समुच्चय का विश्लेषणात्मक पदानुक्रम

प्राकृतिक संख्याओं के समुच्चय समूह को वर्गीकरण आवंटित गया है यदि यह समुच्चय द्वारा निश्चित है समुच्चय को वर्गीकरण आवंटित गया है यदि यह समुच्चय द्वारा निश्चित है । यदि समुच्चय और दोनों है तो इसे अतिरिक्त वर्गीकरण दिया जाता है | समुच्चय . h> को हाइपरअरिथमेटिकल कहा जाता है। पुनरावृत्त संगणनीय कार्यों के माध्यम से इन समुच्चयों का समुच्चय वैकल्पिक वर्गीकरण हाइपरारिथमेटिकल सिद्धांत द्वारा प्रदान किया जाता है।

कैंटर और बेयर अन्तरिक्ष के सबसमुच्चय पर विश्लेषणात्मक पदानुक्रम

विश्लेषणात्मक पदानुक्रम को किसी भी प्रभावी पोलिश स्थान पर परिभाषित किया जा सकता है; कैंटर और बेयर अन्तरिक्ष के लिए परिभाषा विशेष रूप से सरल है क्योंकि वे साधारण दूसरे क्रम के अंकगणित की भाषा के साथ सही होते हैं। कैंटर अन्तरिक्ष 0s और 1s के सभी अनंत अनुक्रमों का समुच्चय है; बायर अन्तरिक्ष (समुच्चय सिद्धांत) प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों का समुच्चय है। ये दोनों पोलिश स्थान हैं।

दूसरे क्रम के अंकगणित का सामान्य स्वयंसिद्ध समुच्चय समुच्चय-आधारित भाषा का उपयोग करता है जिसमें समुच्चय परिमाणक को स्वाभाविक रूप से कैंटर अन्तरिक्ष पर क्वांटिफाइंग के रूप में देखा जा सकता है। कैंटर अन्तरिक्ष के समुच्चय सबसमुच्चय को वर्गीकरण आवंटित गया है यदि यह सूत्र समुच्चय द्वारा निश्चित है । समुच्चय को वर्गीकरण आवंटित गया है यदि यह समुच्चय द्वारा निश्चित है । यदि समुच्चय और दोनों है तो इसे अतिरिक्त वर्गीकरण दिया जाता है |

बायर अन्तरिक्ष के समुच्चय उपसमुच्चय में मैप के अनुसार कैंटर अन्तरिक्ष का समुच्चय संबंधित उपसमुच्चय होता है जो प्रत्येक फलन को इसके ग्राफ के विशिष्ट कार्य के लिए लेता है। बेयर अन्तरिक्ष के समुच्चय सबसमुच्चय को , , या वर्गीकरण दिया गया है यदि और केवल यदि कैंटर अन्तरिक्ष के संबंधित उपसमुच्चय का एक ही वर्गीकरण है। बेयर अन्तरिक्ष पर विश्लेषणात्मक पदानुक्रम की समकक्ष परिभाषा दूसरे क्रम अंकगणितीय के कार्यात्मक संस्करण का उपयोग करके सूत्रों के विश्लेषणात्मक पदानुक्रम को परिभाषित करके दी गई है; फिर कैंटर अन्तरिक्ष के सबसमुच्चय पर विश्लेषणात्मक पदानुक्रम को बेयर अन्तरिक्ष पर पदानुक्रम से परिभाषित किया जा सकता है। यह वैकल्पिक परिभाषा पहली परिभाषा के समान ही वर्गीकरण देती है।

क्योंकि कैंटर अन्तरिक्ष स्वयं की किसी भी परिमित कार्टेशियन शक्ति के लिए होमियोमॉर्फिक है, और बायर अन्तरिक्ष स्वयं की किसी भी परिमित कार्टेशियन शक्ति के लिए होमियोमॉर्फिक है, विश्लेषणात्मक पदानुक्रम इन स्थानों में से किसी एक के कार्टेशियन शक्ति को परिमित करने के लिए समान रूप से अच्छी तरह से प्रयुक्त होता है।

गणनीय शक्तियों और कैंटर अन्तरिक्ष की शक्तियों और बेयर अन्तरिक्ष की शक्तियों के उत्पादों के लिए समुच्चय समान विस्तार संभव है।

विस्तार

अंकगणितीय पदानुक्रम के स्थिति में, विश्लेषणात्मक पदानुक्रम के सापेक्ष संस्करण को परिभाषित किया जा सकता है। समुच्चय स्थिर समुच्चय प्रतीक A को जोड़ने के लिए भाषा का विस्तार किया गया है। विस्तारित भाषा में समुच्चय सूत्र को या आगमनात्मक रूप से परिभाषित किया गया है | उपरोक्त के समान आगमनात्मक परिभाषा का उपयोग करना है। समुच्चय दिया गया है |, समुच्चय के रूप में परिभाषित किया गया है यदि यह समुच्चय सूत्र द्वारा निश्चित है जिसमें प्रतीक की व्याख्या के रूप में समझा जाता है; और के लिए समान परिभाषाएँ प्रयुक्त होती है । किसी भी मापदंड वाई के लिए जो समुच्चय हैं या है | प्रक्षेपण पदानुक्रम में वर्गीकृत किया जाता है, और अधिकांशतः मापदंड के उपयोग को संकेत करने के लिए बोल्डफेस ग्रीक अक्षरों द्वारा चिह्नित किया जाता है।[2]

उदाहरण

  • ,पर सम्बन्ध कथन के लिए कथन समुच्चय अच्छी व्यवस्था है | (समुच्चय पर अच्छी तरह से स्थापित संबंधों के सामान्य स्थिति से भ्रमित न हों, लेवी पदानुक्रम देखें)
  • सभी प्राकृतिक संख्याओं का समुच्चय जो संगणनीय क्रमसूचकों का सूचक है a समुच्चय जो नहीं है .|
    • ये समुच्चय केवल के पुनरावर्ती-गणनीय सबसमुच्चय है | [Bar75, p. 168]
  • समुच्चय समारोह हर्ब्रांड के 1931 के समीकरणों के सिस्टम के औपचारिकतावाद हाइपरअरिथमेटिकल द्वारा परिभाषित किया जा सकता है।[3]
  • निरंतर कार्यों का समुच्चय जिसका माध्य मान प्रमेय पदानुक्रम पर से कम नहीं है।[4]
  • कैंटर अन्तरिक्ष के तत्वों का समुच्चय जो अच्छी तरह से व्यवस्थित करने के विशिष्ट कार्य हैं एक समुच्चय है समुच्चय जो नहीं है . वास्तव में, किसी तत्व के लिए बेयर अंतरिक्ष की नहीं है |
  • यदि निर्माणशीलता का स्वयंसिद्ध धारण करता है तो बेयर अन्तरिक्ष के उत्पाद का समुच्चय उपसमुच्चय स्वयं के साथ होता है जो है और बायर अंतरिक्ष के सुव्यवस्थित क्रम का ग्राफ है। यदि स्वयंसिद्ध धारण करता है तो एक कैंटर अन्तरिक्ष का अच्छा क्रम भी है।

गुण

प्रत्येक के लिए हमारे पास निम्नलिखित सख्त नियंत्रण हैं:

,
,
,
.

समुच्चय समुच्चय जो अंदर है कुछ के लिए n को 'विश्लेषणात्मक' कहा जाता है। इस उपयोग को विश्लेषणात्मक समुच्चय शब्द से अलग करने के लिए देखभाल की आवश्यकता है जिसका एक अलग अर्थ है, अर्थात् है |.[5]

टेबल

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


यह भी देखें

संदर्भ

  1. P. Odifreddi, Classical Recursion Theory (1989), p.378. North-Holland, 0-444-87295-7
  2. P. D. Welch, "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions" (2010 draft ver., p. 3). Accessed 31 July 2022.
  3. P. Odifreddi, Classical Recursion Theory (1989), p.33. North-Holland, 0-444-87295-7
  4. Quintanilla, M. (2022). "सेट थ्योरी के आंतरिक मॉडल में दायरे की संख्या". arXiv:2206.10754.
  5. T. Jech, "The Brave New World of Determinacy" (PDF download). Book review, Bulletin of the American Mathematical Society, vol. 5, number 3, November 1981 (pp.339--349).