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

Latest revision as of 14:54, 25 September 2023

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

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

अंकन $\Sigma _{0}^{1}=\Pi _{0}^{1}=\Delta _{0}^{1}$ नंबर परिमाणक के साथ दूसरे क्रम के अंकगणित की भाषा में सूत्रों के वर्ग को संकेत करता है किन्तु परिमाणक को समुच्चय नहीं करता है। इस भाषा में समुच्चय मापदंड नहीं हैं। यहां ग्रीक अक्षर लाइटफेस प्रतीक हैं, जो भाषा के इस विकल्प को संकेत करते हैं। प्रत्येक संबंधित बोल्डफेस (गणित) प्रतीक प्रत्येक वास्तविक संख्या के लिए समुच्चय मापदंड के साथ विस्तारित भाषा में सूत्रों के संबंधित वर्ग को दर्शाता है; विवरण के लिए प्रक्षेपी पदानुक्रम देखें।

दूसरे क्रम के अंकगणित की भाषा में समुच्चय सूत्र को $\Sigma _{n+1}^{1}$ परिभाषित किया गया है | यदि यह प्रपत्र $\exists X_{1}\cdots \exists X_{k}\psi$ के सूत्र के लिए तार्किक तुल्यता है | जहाँ $\psi$ $\Pi _{n}^{1}$ समुच्चय सूत्र के $\Pi _{n+1}^{1}$ रूप में परिभाषित किया गया है | यदि यह सामान्यतः फॉर्म $\forall X_{1}\cdots \forall X_{k}\psi$ के सूत्र के सामान है | जहाँ $\psi$ है $\Sigma _{n}^{1}$ .है | यह आगमनात्मक परिभाषा प्रत्येक प्राकृतिक संख्या के लिए . $\Sigma _{n}^{1}$ और $\Pi _{n}^{1}$ $n$ वर्गों को परिभाषित करती है |

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

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

प्राकृतिक संख्याओं के समुच्चय समूह को $\Sigma _{n}^{1}$ वर्गीकरण आवंटित गया है यदि यह समुच्चय $\Sigma _{n}^{1}$ द्वारा निश्चित है समुच्चय को $\Pi _{n}^{1}$ वर्गीकरण आवंटित गया है यदि यह समुच्चय $\Pi _{n}^{1}$ द्वारा निश्चित है । यदि समुच्चय $\Sigma _{n}^{1}$ और $\Pi _{n}^{1}$ दोनों है तो इसे अतिरिक्त वर्गीकरण दिया जाता है | समुच्चय $\Delta _{n}^{1}$ . $\Delta _{1}^{1}$ h> को हाइपरअरिथमेटिकल कहा जाता है। पुनरावृत्त संगणनीय कार्यों के माध्यम से इन समुच्चयों का समुच्चय वैकल्पिक वर्गीकरण हाइपरारिथमेटिकल सिद्धांत द्वारा प्रदान किया जाता है।

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

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

दूसरे क्रम के अंकगणित का सामान्य स्वयंसिद्ध समुच्चय समुच्चय-आधारित भाषा का उपयोग करता है जिसमें समुच्चय परिमाणक को स्वाभाविक रूप से कैंटर अन्तरिक्ष पर क्वांटिफाइंग के रूप में देखा जा सकता है। कैंटर अन्तरिक्ष के समुच्चय सबसमुच्चय को $\Sigma _{n}^{1}$ वर्गीकरण आवंटित गया है यदि यह $\Sigma _{n}^{1}$ सूत्र समुच्चय द्वारा निश्चित है । समुच्चय को $\Pi _{n}^{1}$ वर्गीकरण आवंटित गया है यदि यह $\Pi _{n}^{1}$ समुच्चय द्वारा निश्चित है । यदि समुच्चय $\Sigma _{n}^{1}$ और $\Pi _{n}^{1}$ दोनों है तो इसे अतिरिक्त वर्गीकरण $\Delta _{n}^{1}$ दिया जाता है |

बायर अन्तरिक्ष के समुच्चय उपसमुच्चय में मैप के अनुसार कैंटर अन्तरिक्ष का समुच्चय संबंधित उपसमुच्चय होता है जो प्रत्येक फलन $\omega$ को $\omega$ इसके ग्राफ के विशिष्ट कार्य के लिए लेता है। बेयर अन्तरिक्ष के समुच्चय सबसमुच्चय को $\Sigma _{n}^{1}$ , $\Pi _{n}^{1}$ , या $\Delta _{n}^{1}$ वर्गीकरण दिया गया है यदि और केवल यदि कैंटर अन्तरिक्ष के संबंधित उपसमुच्चय का एक ही वर्गीकरण है। बेयर अन्तरिक्ष पर विश्लेषणात्मक पदानुक्रम की समकक्ष परिभाषा दूसरे क्रम अंकगणितीय के कार्यात्मक संस्करण का उपयोग करके सूत्रों के विश्लेषणात्मक पदानुक्रम को परिभाषित करके दी गई है; फिर कैंटर अन्तरिक्ष के सबसमुच्चय पर विश्लेषणात्मक पदानुक्रम को बेयर अन्तरिक्ष पर पदानुक्रम से परिभाषित किया जा सकता है। यह वैकल्पिक परिभाषा पहली परिभाषा के समान ही वर्गीकरण देती है।

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

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

विस्तार

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

उदाहरण

$\prec$ $\mathbb {N} ^{2}$ ,पर सम्बन्ध $\prec$ कथन के लिए कथन $\mathbb {N}$ समुच्चय अच्छी व्यवस्था है | (समुच्चय $\Pi _{1}^{1}$ पर अच्छी तरह से स्थापित संबंधों के सामान्य स्थिति से भ्रमित न हों, लेवी पदानुक्रम देखें)
सभी प्राकृतिक संख्याओं का समुच्चय जो संगणनीय क्रमसूचकों का सूचक है a $\Pi _{1}^{1}$ $\Pi _{1}^{1}$ समुच्चय जो $\Sigma _{1}^{1}$ $\Sigma _{1}^{1}$ नहीं है .|
- ये समुच्चय केवल $\omega _{1}^{CK}$ $\omega$ के पुनरावर्ती-गणनीय सबसमुच्चय है | [Bar75, p. 168]
समुच्चय समारोह $f:\mathbb {N} \to \mathbb {N}$ हर्ब्रांड के 1931 के समीकरणों के सिस्टम के औपचारिकतावाद $f$ हाइपरअरिथमेटिकल द्वारा परिभाषित किया जा सकता है।^[3]
निरंतर कार्यों का समुच्चय $f:[0,1]\to \mathbb {[} 0,1]$ जिसका माध्य मान प्रमेय पदानुक्रम पर $\Delta _{2}^{1}$ से कम नहीं है।^[4]
कैंटर अन्तरिक्ष के तत्वों का समुच्चय जो अच्छी तरह से व्यवस्थित करने के विशिष्ट कार्य हैं एक $\omega$ $\Pi _{1}^{1}$ समुच्चय है समुच्चय जो $\Sigma _{1}^{1}$ नहीं है . वास्तव में, किसी तत्व $Y$ के लिए $\Sigma _{1}^{1,Y}$ बेयर अंतरिक्ष की नहीं है |
यदि निर्माणशीलता का स्वयंसिद्ध धारण करता है तो बेयर अन्तरिक्ष के उत्पाद का समुच्चय उपसमुच्चय स्वयं के साथ होता है जो $\Delta _{2}^{1}$ है और बायर अंतरिक्ष के सुव्यवस्थित क्रम का ग्राफ है। यदि स्वयंसिद्ध धारण करता है तो एक $\Delta _{2}^{1}$ कैंटर अन्तरिक्ष का अच्छा क्रम भी है।

गुण

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

\Pi _{n}^{1}\subset \Sigma _{n+1}^{1}

,

\Pi _{n}^{1}\subset \Pi _{n+1}^{1}

,

\Sigma _{n}^{1}\subset \Pi _{n+1}^{1}

,

\Sigma _{n}^{1}\subset \Sigma _{n+1}^{1}

.

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

टेबल

Lightface		Boldface
Σ⁰ ₀ = Π⁰ ₀ = Δ⁰ ₀ (sometimes the same as Δ⁰ ₁)		Σ⁰ ₀ = Π⁰ ₀ = Δ⁰ ₀ (if defined)
Δ⁰ ₁ = recursive		Δ⁰ ₁ = clopen
Σ⁰ ₁ = recursively enumerable	Π⁰ ₁ = co-recursively enumerable	Σ⁰ ₁ = G = open	Π⁰ ₁ = F = closed
Δ⁰ ₂		Δ⁰ ₂
Σ⁰ ₂	Π⁰ ₂	Σ⁰ ₂ = F_σ	Π⁰ ₂ = G_δ
Δ⁰ ₃		Δ⁰ ₃
Σ⁰ ₃	Π⁰ ₃	Σ⁰ ₃ = G_δσ	Π⁰ ₃ = F_σδ
⋮		⋮
Σ⁰ _<ω = Π⁰ _<ω = Δ⁰ _<ω = Σ¹ ₀ = Π¹ ₀ = Δ¹ ₀ = arithmetical		Σ⁰ _<ω = Π⁰ _<ω = Δ⁰ _<ω = Σ¹ ₀ = Π¹ ₀ = Δ¹ ₀ = boldface arithmetical
⋮		⋮
Δ⁰ _α (α recursive)		Δ⁰ _α (α countable)
Σ⁰ _α	Π⁰ _α	Σ⁰ _α	Π⁰ _α
⋮		⋮
Σ⁰ _ω^CK ₁ = Π⁰ _ω^CK ₁ = Δ⁰ _ω^CK ₁ = Δ¹ ₁ = hyperarithmetical		Σ⁰ _ω₁ = Π⁰ _ω₁ = Δ⁰ _ω₁ = Δ¹ ₁ = B = Borel
Σ¹ ₁ = lightface analytic	Π¹ ₁ = lightface coanalytic	Σ¹ ₁ = A = analytic	Π¹ ₁ = CA = coanalytic
Δ¹ ₂		Δ¹ ₂
Σ¹ ₂	Π¹ ₂	Σ¹ ₂ = PCA	Π¹ ₂ = CPCA
Δ¹ ₃		Δ¹ ₃
Σ¹ ₃	Π¹ ₃	Σ¹ ₃ = PCPCA	Π¹ ₃ = CPCPCA
⋮		⋮
Σ¹ _<ω = Π¹ _<ω = Δ¹ _<ω = Σ² ₀ = Π² ₀ = Δ² ₀ = analytical		Σ¹ _<ω = Π¹ _<ω = Δ¹ _<ω = Σ² ₀ = Π² ₀ = Δ² ₀ = P = projective
⋮		⋮

यह भी देखें

अंकगणितीय पदानुक्रम
लेवी पदानुक्रम

संदर्भ

↑ P. Odifreddi, Classical Recursion Theory (1989), p.378. North-Holland, 0-444-87295-7
↑ P. D. Welch, "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions" (2010 draft ver., p. 3). Accessed 31 July 2022.
↑ P. Odifreddi, Classical Recursion Theory (1989), p.33. North-Holland, 0-444-87295-7
↑ Quintanilla, M. (2022). "सेट थ्योरी के आंतरिक मॉडल में दायरे की संख्या". arXiv:2206.10754.
↑ 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).

Rogers, H. (1967). Theory of recursive functions and effective computability. McGraw-Hill.
Kechris, A. (1995). Classical Descriptive Set Theory (Graduate Texts in Mathematics 156 ed.). Springer. ISBN 0-387-94374-9.

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

[:0-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).

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
-{{otheruses4|the classification of sets|making complex decisions|Analytic hierarchy process}}
+{{otheruses4|समुच्चय का वर्गीकरण|जटिल निर्णय करना|विश्लेषणात्मक पदानुक्रम प्रक्रिया}}
-[[गणितीय तर्क]] और [[वर्णनात्मक सेट सिद्धांत]] में, विश्लेषणात्मक पदानुक्रम [[अंकगणितीय पदानुक्रम]] का एक विस्तार है। सूत्रों के विश्लेषणात्मक पदानुक्रम में दूसरे क्रम के अंकगणित की भाषा में सूत्र शामिल हैं, जिसमें [[प्राकृतिक संख्या]]ओं के दोनों सेटों पर परिमाणक हो सकते हैं, <math>\mathbb{N}</math>, और से अधिक कार्य करता है <math>\mathbb{N}</math> को <math>\mathbb{N}</math>. समुच्चयों का विश्लेषणात्मक पदानुक्रम उन सूत्रों द्वारा समुच्चयों को वर्गीकृत करता है जिनका उपयोग उन्हें परिभाषित करने के लिए किया जा सकता है; यह प्रोजेक्टिव पदानुक्रम का [[ facebook ]] संस्करण है।
+[[गणितीय तर्क]] और [[वर्णनात्मक सेट सिद्धांत|वर्णनात्मक समुच्चय सिद्धांत]] में, '''विश्लेषणात्मक पदानुक्रम''' [[अंकगणितीय पदानुक्रम]] का एक विस्तार है। सूत्रों के विश्लेषणात्मक पदानुक्रम में दूसरे क्रम के अंकगणित की भाषा में सूत्र सम्मिलित हैं, जिसमें [[प्राकृतिक संख्या]]ओं के दोनों समुच्चयों पर परिमाणक हो सकते हैं, समुच्चयों का विश्लेषणात्मक पदानुक्रम उन सूत्रों द्वारा समुच्चयों को वर्गीकृत करता है जिनका उपयोग उन्हें परिभाषित करने के लिए किया जा सकता है; यह प्रक्षेपण पदानुक्रम का [[ facebook |लाइटफेस]] संस्करण है।
-'''Kuratowski और Tarski ने 1931 में दिखाया कि दूसरे क्रम के अंकगणित की भाषा में हर सूत्र का एक सामान्य रूप है,<ref name=":0" /> और इसलिए <math>\Sigma^1_n</math> या <math>\Pi^1_n</math> कुछ के लिए <math>n</math>. क्योंकि अर्थहीन क्वांटिफायर्स को किसी भी फॉर्मूले में जोड़ा जा सकता है, एक बार फॉर्मूला को वर्गीकरण दिए जाने के बाद <math>\Sigma^1_n</math> या <math>\Pi^1_n</math> कुछ के लिए <math>n</math> इसे वर्गीकरण दिया जाएगा <math>\Sigma^1_m</math> और <math>\Pi^1_m</math> सभी के लिए <math>m</math> से अधिक <math>n</math>.'''
 == सूत्रों का विश्लेषणात्मक पदानुक्रम ==
-अंकन <math>\Sigma^1_0 = \Pi^1_0 = \Delta^1_0</math>
+अंकन <math>\Sigma^1_0 = \Pi^1_0 = \Delta^1_0</math> नंबर परिमाणक के साथ दूसरे क्रम के अंकगणित की भाषा में सूत्रों के वर्ग को संकेत करता है किन्तु परिमाणक को समुच्चय नहीं करता है। इस भाषा में समुच्चय मापदंड नहीं हैं। यहां ग्रीक अक्षर लाइटफेस प्रतीक हैं, जो भाषा के इस विकल्प को संकेत करते हैं। प्रत्येक संबंधित [[बोल्डफेस (गणित)]] प्रतीक प्रत्येक [[वास्तविक संख्या]] के लिए समुच्चय मापदंड के साथ विस्तारित भाषा में सूत्रों के संबंधित वर्ग को दर्शाता है; विवरण के लिए प्रक्षेपी पदानुक्रम देखें।
-नंबर क्वांटिफायर के साथ दूसरे क्रम के अंकगणित की भाषा में सूत्रों के वर्ग को इंगित करता है लेकिन क्वांटिफायर को सेट नहीं करता है। इस भाषा में सेट पैरामीटर नहीं हैं। यहां ग्रीक अक्षर लाइटफेस प्रतीक हैं, जो भाषा के इस विकल्प को इंगित करते हैं। प्रत्येक संबंधित [[बोल्डफेस (गणित)]] प्रतीक प्रत्येक [[वास्तविक संख्या]] के लिए एक पैरामीटर के साथ विस्तारित भाषा में सूत्रों के संबंधित वर्ग को दर्शाता है; विवरण के लिए प्रक्षेपी पदानुक्रम देखें।
-दूसरे क्रम के अंकगणित की भाषा में एक सूत्र को परिभाषित किया गया है <math>\Sigma^1_{n+1}</math> यदि यह प्रपत्र के सूत्र के लिए तार्किक तुल्यता है <math>\exists X_1\cdots \exists X_k \psi</math> कहाँ <math>\psi</math> है <math>\Pi^1_{n}</math>. एक सूत्र के रूप में परिभाषित किया गया है <math>\Pi^1_{n+1}</math> यदि यह तार्किक रूप से फॉर्म के सूत्र के बराबर है <math>\forall X_1\cdots \forall X_k \psi</math> कहाँ <math>\psi</math> है <math>\Sigma^1_{n}</math>. यह आगमनात्मक परिभाषा वर्गों को परिभाषित करती है <math>\Sigma^1_n</math> और <math>\Pi^1_n</math> प्रत्येक प्राकृतिक संख्या के लिए <math>n</math>.
-Kuratowski और Tarski ने 1931 में दिखाया कि दूसरे क्रम के अंकगणित की भाषा में हर सूत्र का एक सामान्य रूप है,<ref name=":0">P. Odifreddi, ''Classical Recursion Theory'' (1989), p.378. North-Holland, 0-444-87295-7</ref> और इसलिए <math>\Sigma^1_n</math> या <math>\Pi^1_n</math> कुछ के लिए <math>n</math>. क्योंकि अर्थहीन क्वांटिफायर्स को किसी भी फॉर्मूले में जोड़ा जा सकता है, एक बार फॉर्मूला को वर्गीकरण दिए जाने के बाद <math>\Sigma^1_n</math> या <math>\Pi^1_n</math> कुछ के लिए <math>n</math> इसे वर्गीकरण दिया जाएगा <math>\Sigma^1_m</math> और <math>\Pi^1_m</math> सभी के लिए <math>m</math> से अधिक <math>n</math>.
+दूसरे क्रम के अंकगणित की भाषा में समुच्चय सूत्र को <math>\Sigma^1_{n+1}</math> परिभाषित किया गया है | यदि यह प्रपत्र <math>\exists X_1\cdots \exists X_k \psi</math> के सूत्र के लिए तार्किक तुल्यता है | जहाँ <math>\psi</math> <math>\Pi^1_{n}</math> समुच्चय सूत्र के <math>\Pi^1_{n+1}</math> रूप में परिभाषित किया गया है | यदि यह सामान्यतः फॉर्म <math>\forall X_1\cdots \forall X_k \psi</math> के सूत्र के सामान है | जहाँ <math>\psi</math> है <math>\Sigma^1_{n}</math>.है | यह आगमनात्मक परिभाषा प्रत्येक प्राकृतिक संख्या के लिए . <math>\Sigma^1_n</math> और <math>\Pi^1_n</math> <math>n</math> वर्गों को परिभाषित करती है |
-== प्राकृतिक संख्याओं के सेट का विश्लेषणात्मक पदानुक्रम ==
+कुराटोव्स्की और टारस्की ने 1931 में दिखाया कि दूसरे क्रम के अंकगणित की भाषा में हर सूत्र का समुच्चय सामान्य रूप है,<ref name=":0">P. Odifreddi, ''Classical Recursion Theory'' (1989), p.378. North-Holland, 0-444-87295-7</ref> और इसलिए <math>\Sigma^1_n</math> या <math>\Pi^1_n</math> कुछ के लिए <math>n</math>. क्योंकि अर्थहीन परिमाणक्स को किसी भी सूत्र में जोड़ा जा सकता है, एक बार सूत्र को वर्गीकरण दिए जाने के बाद <math>\Sigma^1_n</math> या <math>\Pi^1_n</math> कुछ के लिए <math>n</math> इसे वर्गीकरण <math>\Sigma^1_m</math> और <math>\Pi^1_m</math> दिया जाएगा <math>n</math> से बड़े सभी <math>m</math> के लिए होता है | .
-प्राकृतिक संख्याओं के एक समूह को वर्गीकरण सौंपा गया है <math>\Sigma^1_n</math> अगर यह एक द्वारा निश्चित है <math>\Sigma^1_n</math> सूत्र। सेट को वर्गीकरण सौंपा गया है <math>\Pi^1_n</math> अगर यह एक द्वारा निश्चित है <math>\Pi^1_n</math> सूत्र। अगर सेट दोनों है <math>\Sigma^1_n</math> और <math>\Pi^1_n</math> तो इसे अतिरिक्त वर्गीकरण दिया जाता है <math>\Delta^1_n</math>. <math>\Delta^1_1</math> h> सेट को हाइपरअरिथमेटिकल कहा जाता है। पुनरावृत्त संगणनीय कार्यों के माध्यम से इन सेटों का एक वैकल्पिक वर्गीकरण [[हाइपरारिथमेटिकल सिद्धांत]] द्वारा प्रदान किया जाता है।
-== कैंटर और बेयर स्पेस के सबसेट पर विश्लेषणात्मक पदानुक्रम ==
+== प्राकृतिक संख्याओं के समुच्चय का विश्लेषणात्मक पदानुक्रम ==
-विश्लेषणात्मक पदानुक्रम को किसी भी प्रभावी [[पोलिश स्थान]] पर परिभाषित किया जा सकता है; कैंटर और बेयर स्पेस के लिए परिभाषा विशेष रूप से सरल है क्योंकि वे साधारण दूसरे क्रम के अंकगणित की भाषा के साथ फिट होते हैं। [[कैंटर स्पेस]] 0s और 1s के सभी अनंत अनुक्रमों का समुच्चय है; बायर स्पेस (समुच्चय सिद्धांत) प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों का समुच्चय है। ये दोनों पोलिश स्थान हैं।
+प्राकृतिक संख्याओं के समुच्चय समूह को <math>\Sigma^1_n</math> वर्गीकरण आवंटित गया है यदि यह समुच्चय <math>\Sigma^1_n</math> द्वारा निश्चित है समुच्चय को <math>\Pi^1_n</math> वर्गीकरण आवंटित गया है यदि यह समुच्चय <math>\Pi^1_n</math> द्वारा निश्चित है । यदि समुच्चय <math>\Sigma^1_n</math> और <math>\Pi^1_n</math>दोनों है तो इसे अतिरिक्त वर्गीकरण दिया जाता है | समुच्चय <math>\Delta^1_n</math>. <math>\Delta^1_1</math> h> को हाइपरअरिथमेटिकल कहा जाता है। पुनरावृत्त संगणनीय कार्यों के माध्यम से इन समुच्चयों का समुच्चय वैकल्पिक वर्गीकरण [[हाइपरारिथमेटिकल सिद्धांत]] द्वारा प्रदान किया जाता है।
-दूसरे क्रम के अंकगणित का सामान्य स्वयंसिद्ध एक सेट-आधारित भाषा का उपयोग करता है जिसमें सेट क्वांटिफायर को स्वाभाविक रूप से कैंटर स्पेस पर क्वांटिफाइंग के रूप में देखा जा सकता है। कैंटर स्पेस के एक सबसेट को वर्गीकरण सौंपा गया है <math>\Sigma^1_n</math> अगर यह एक द्वारा निश्चित है <math>\Sigma^1_n</math> सूत्र। सेट को वर्गीकरण सौंपा गया है <math>\Pi^1_n</math> अगर यह एक द्वारा निश्चित है <math>\Pi^1_n</math> सूत्र। अगर सेट दोनों है <math>\Sigma^1_n</math> और <math>\Pi^1_n</math> तो इसे अतिरिक्त वर्गीकरण दिया जाता है <math>\Delta^1_n</math>.
+== कैंटर और बेयर अन्तरिक्ष के सबसमुच्चय पर विश्लेषणात्मक पदानुक्रम ==
+विश्लेषणात्मक पदानुक्रम को किसी भी प्रभावी [[पोलिश स्थान]] पर परिभाषित किया जा सकता है; कैंटर और बेयर अन्तरिक्ष के लिए परिभाषा विशेष रूप से सरल है क्योंकि वे साधारण दूसरे क्रम के अंकगणित की भाषा के साथ सही होते हैं। [[कैंटर स्पेस|कैंटर अन्तरिक्ष]] 0s और 1s के सभी अनंत अनुक्रमों का समुच्चय है; बायर अन्तरिक्ष (समुच्चय सिद्धांत) प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों का समुच्चय है। ये दोनों पोलिश स्थान हैं।
-बायर स्पेस के एक उपसमुच्चय में मैप के तहत कैंटर स्पेस का एक संबंधित उपसमुच्चय होता है जो प्रत्येक फ़ंक्शन से लेता है <math>\omega</math> को <math>\omega</math> इसके ग्राफ के विशिष्ट कार्य के लिए। बेयर स्पेस के एक सबसेट को वर्गीकरण दिया गया है <math>\Sigma^1_n</math>, <math>\Pi^1_n</math>, या <math>\Delta^1_n</math> अगर और केवल अगर कैंटर स्पेस के संबंधित उपसमुच्चय का एक ही वर्गीकरण है। बेयर स्पेस पर विश्लेषणात्मक पदानुक्रम की समकक्ष परिभाषा दूसरे क्रम अंकगणितीय के कार्यात्मक संस्करण का उपयोग करके सूत्रों के विश्लेषणात्मक पदानुक्रम को परिभाषित करके दी गई है; फिर कैंटर स्पेस के सबसेट पर विश्लेषणात्मक पदानुक्रम को बेयर स्पेस पर पदानुक्रम से परिभाषित किया जा सकता है। यह वैकल्पिक परिभाषा पहली परिभाषा के समान ही वर्गीकरण देती है।
+दूसरे क्रम के अंकगणित का सामान्य स्वयंसिद्ध समुच्चय समुच्चय-आधारित भाषा का उपयोग करता है जिसमें समुच्चय परिमाणक को स्वाभाविक रूप से कैंटर अन्तरिक्ष पर क्वांटिफाइंग के रूप में देखा जा सकता है। कैंटर अन्तरिक्ष के समुच्चय सबसमुच्चय को <math>\Sigma^1_n</math> वर्गीकरण आवंटित गया है यदि यह <math>\Sigma^1_n</math> सूत्र समुच्चय द्वारा निश्चित है । समुच्चय को <math>\Pi^1_n</math> वर्गीकरण आवंटित गया है यदि यह <math>\Pi^1_n</math> समुच्चय द्वारा निश्चित है । यदि समुच्चय <math>\Sigma^1_n</math> और <math>\Pi^1_n</math> दोनों है तो इसे अतिरिक्त वर्गीकरण <math>\Delta^1_n</math> दिया जाता है |
-क्योंकि कैंटर स्पेस स्वयं की किसी भी परिमित कार्टेशियन शक्ति के लिए होमियोमॉर्फिक है, और बायर स्पेस स्वयं की किसी भी परिमित कार्टेशियन शक्ति के लिए होमियोमॉर्फिक है, विश्लेषणात्मक पदानुक्रम इन स्थानों में से किसी एक के कार्टेशियन शक्ति को परिमित करने के लिए समान रूप से अच्छी तरह से लागू होता है।
+बायर अन्तरिक्ष के समुच्चय उपसमुच्चय में मैप के अनुसार कैंटर अन्तरिक्ष का समुच्चय संबंधित उपसमुच्चय होता है जो प्रत्येक फलन <math>\omega</math> को <math>\omega</math> इसके ग्राफ के विशिष्ट कार्य के लिए लेता है। बेयर अन्तरिक्ष के समुच्चय सबसमुच्चय को <math>\Sigma^1_n</math>, <math>\Pi^1_n</math>, या <math>\Delta^1_n</math> वर्गीकरण दिया गया है यदि और केवल यदि कैंटर अन्तरिक्ष के संबंधित उपसमुच्चय का एक ही वर्गीकरण है। बेयर अन्तरिक्ष पर विश्लेषणात्मक पदानुक्रम की समकक्ष परिभाषा दूसरे क्रम अंकगणितीय के कार्यात्मक संस्करण का उपयोग करके सूत्रों के विश्लेषणात्मक पदानुक्रम को परिभाषित करके दी गई है; फिर कैंटर अन्तरिक्ष के सबसमुच्चय पर विश्लेषणात्मक पदानुक्रम को बेयर अन्तरिक्ष पर पदानुक्रम से परिभाषित किया जा सकता है। यह वैकल्पिक परिभाषा पहली परिभाषा के समान ही वर्गीकरण देती है।
-गणनीय शक्तियों और कैंटर स्पेस की शक्तियों और बेयर स्पेस की शक्तियों के उत्पादों के लिए एक समान विस्तार संभव है।
-== एक्सटेंशन ==
+क्योंकि कैंटर अन्तरिक्ष स्वयं की किसी भी परिमित कार्टेशियन शक्ति के लिए होमियोमॉर्फिक है, और बायर अन्तरिक्ष स्वयं की किसी भी परिमित कार्टेशियन शक्ति के लिए होमियोमॉर्फिक है, विश्लेषणात्मक पदानुक्रम इन स्थानों में से किसी एक के कार्टेशियन शक्ति को परिमित करने के लिए समान रूप से अच्छी तरह से प्रयुक्त होता है।
-अंकगणितीय पदानुक्रम के मामले में, विश्लेषणात्मक पदानुक्रम के सापेक्ष संस्करण को परिभाषित किया जा सकता है। एक स्थिर सेट प्रतीक A को जोड़ने के लिए भाषा का विस्तार किया गया है। विस्तारित भाषा में एक सूत्र को आगमनात्मक रूप से परिभाषित किया गया है <math>\Sigma^{1,A}_n</math> या <math>\Pi^{1,A}_n</math> उपरोक्त के समान आगमनात्मक परिभाषा का उपयोग करना। एक सेट दिया <math>Y</math>, एक सेट के रूप में परिभाषित किया गया है <math>\Sigma^{1,Y}_n</math> अगर यह एक द्वारा निश्चित है <math>\Sigma^{1,A}_n</math> सूत्र जिसमें प्रतीक <math>A</math> के रूप में समझा जाता है <math>Y</math>; के लिए समान परिभाषाएँ <math>\Pi^{1,Y}_n</math> और <math>\Delta^{1,Y}_n</math> आवेदन करना। जो सेट हैं <math>\Sigma^{1,Y}_n</math> या <math>\Pi^{1,Y}_n</math>, किसी भी पैरामीटर वाई के लिए, प्रोजेक्टिव पदानुक्रम में वर्गीकृत किया जाता है, और अक्सर पैरामीटर के उपयोग को इंगित करने के लिए बोल्डफेस ग्रीक अक्षरों द्वारा चिह्नित किया जाता है।<ref>P. D. Welch, [https://people.maths.bris.ac.uk/~mapdw/det17.pdf "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions"] (2010 draft ver., p. 3). Accessed 31 July 2022.</ref>
+गणनीय शक्तियों और कैंटर अन्तरिक्ष की शक्तियों और बेयर अन्तरिक्ष की शक्तियों के उत्पादों के लिए समुच्चय समान विस्तार संभव है।
+== विस्तार ==
+अंकगणितीय पदानुक्रम के स्थिति में, विश्लेषणात्मक पदानुक्रम के सापेक्ष संस्करण को परिभाषित किया जा सकता है। समुच्चय स्थिर समुच्चय प्रतीक A को जोड़ने के लिए भाषा का विस्तार किया गया है। विस्तारित भाषा में समुच्चय सूत्र को <math>\Sigma^{1,A}_n</math> या <math>\Pi^{1,A}_n</math> आगमनात्मक रूप से परिभाषित किया गया है | उपरोक्त के समान आगमनात्मक परिभाषा का उपयोग करना है। समुच्चय <math>Y</math> दिया गया है |, समुच्चय <math>\Sigma^{1,Y}_n</math> के रूप में परिभाषित किया गया है यदि यह समुच्चय <math>\Sigma^{1,A}_n</math> सूत्र द्वारा निश्चित है जिसमें प्रतीक <math>A</math> की व्याख्या के रूप में समझा जाता है; <math>\Pi^{1,Y}_n</math> और <math>\Delta^{1,Y}_n</math> के लिए समान परिभाषाएँ प्रयुक्त होती है । किसी भी मापदंड वाई के लिए जो समुच्चय हैं <math>\Sigma^{1,Y}_n</math> या <math>\Pi^{1,Y}_n</math>है | प्रक्षेपण पदानुक्रम में वर्गीकृत किया जाता है, और अधिकांशतः मापदंड के उपयोग को संकेत करने के लिए बोल्डफेस ग्रीक अक्षरों द्वारा चिह्नित किया जाता है।<ref>P. D. Welch, [https://people.maths.bris.ac.uk/~mapdw/det17.pdf "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions"] (2010 draft ver., p. 3). Accessed 31 July 2022.</ref>
 == उदाहरण ==
-*रिश्ते के लिए* <math>\prec</math> पर <math>\mathbb N^2</math>, कथन<math>\prec</math> एक अच्छी व्यवस्था है <math>\mathbb N</math>है <math>\Pi_1^1</math>. (सेट पर अच्छी तरह से स्थापित संबंधों के सामान्य मामले से भ्रमित न हों, लेवी पदानुक्रम देखें)
+*<math>\prec</math> <math>\mathbb N^2</math>,पर सम्बन्ध <math>\prec</math> कथन के लिए कथन <math>\mathbb N</math> समुच्चय अच्छी व्यवस्था है | (समुच्चय <math>\Pi_1^1</math> पर अच्छी तरह से स्थापित संबंधों के सामान्य स्थिति से भ्रमित न हों, लेवी पदानुक्रम देखें)
-* सभी प्राकृतिक संख्याओं का समुच्चय जो संगणनीय क्रमसूचकों का सूचक है a <math>\Pi^1_1</math> सेट जो नहीं है <math>\Sigma^1_1</math>.
+* सभी प्राकृतिक संख्याओं का समुच्चय जो संगणनीय क्रमसूचकों का सूचक है a <math>\Pi^1_1</math> समुच्चय जो <math>\Sigma^1_1</math> नहीं है .|
-**ये सेट बिल्कुल अल्फ़ा पुनरावर्तन सिद्धांत हैं<math>\omega_1^{CK}</math>-पुनरावर्ती-गणनीय सबसेट <math>\omega</math>... ... <nowiki>[</nowiki>Bar75, p. 168]
+**ये समुच्चय केवल <math>\omega_1^{CK}</math><math>\omega</math> के पुनरावर्ती-गणनीय सबसमुच्चय है | <nowiki>[</nowiki>Bar75, p. 168]
-* एक समारोह <math>f:\mathbb N\to\mathbb N</math> हर्ब्रांड के 1931 के समीकरणों के सिस्टम के औपचारिकतावाद द्वारा परिभाषित किया जा सकता है <math>f</math> हाइपरअरिथमेटिकल है।<ref>P. Odifreddi, ''Classical Recursion Theory'' (1989), p.33. North-Holland, 0-444-87295-7</ref>
+* समुच्चय समारोह <math>f:\mathbb N\to\mathbb N</math> हर्ब्रांड के 1931 के समीकरणों के सिस्टम के औपचारिकतावाद <math>f</math> हाइपरअरिथमेटिकल द्वारा परिभाषित किया जा सकता है।<ref>P. Odifreddi, ''Classical Recursion Theory'' (1989), p.33. North-Holland, 0-444-87295-7</ref>
-* निरंतर कार्यों का सेट <math>f:[0,1]\to\mathbb [0,1]</math> जिसका माध्य मान प्रमेय से कम नहीं है <math>\Delta_2^1</math> पदानुक्रम पर।<ref>{{Cite arXiv|last=Quintanilla|first=M.|eprint=2206.10754|title=सेट थ्योरी के आंतरिक मॉडल में दायरे की संख्या|date=2022}}</ref>
+* निरंतर कार्यों का समुच्चय <math>f:[0,1]\to\mathbb [0,1]</math> जिसका माध्य मान प्रमेय पदानुक्रम पर <math>\Delta_2^1</math> से कम नहीं है।<ref>{{Cite arXiv|last=Quintanilla|first=M.|eprint=2206.10754|title=सेट थ्योरी के आंतरिक मॉडल में दायरे की संख्या|date=2022}}</ref>
-* कैंटर स्पेस के तत्वों का सेट जो अच्छी तरह से व्यवस्थित करने के विशिष्ट कार्य हैं <math>\omega</math> एक है <math>\Pi^1_1</math> सेट जो नहीं है <math>\Sigma^1_1</math>. वास्तव में, यह सेट नहीं है <math>\Sigma^{1,Y}_1</math> किसी तत्व के लिए <math>Y</math> बेयर अंतरिक्ष की।
+* कैंटर अन्तरिक्ष के तत्वों का समुच्चय जो अच्छी तरह से व्यवस्थित करने के विशिष्ट कार्य हैं एक <math>\omega</math><math>\Pi^1_1</math> समुच्चय है समुच्चय जो <math>\Sigma^1_1</math> नहीं है . वास्तव में, किसी तत्व <math>Y</math> के लिए <math>\Sigma^{1,Y}_1</math> बेयर अंतरिक्ष की नहीं है |
-* यदि निर्माणशीलता का स्वयंसिद्ध धारण करता है तो बेयर स्पेस के उत्पाद का एक उपसमुच्चय स्वयं के साथ होता है जो है <math>\Delta^1_2</math> और बायर अंतरिक्ष के सुव्यवस्थित क्रम का ग्राफ है। यदि स्वयंसिद्ध धारण करता है तो एक भी है <math>\Delta^1_2</math> कैंटर स्पेस का अच्छा क्रम।
+* यदि निर्माणशीलता का स्वयंसिद्ध धारण करता है तो बेयर अन्तरिक्ष के उत्पाद का समुच्चय उपसमुच्चय स्वयं के साथ होता है जो <math>\Delta^1_2</math> है और बायर अंतरिक्ष के सुव्यवस्थित क्रम का ग्राफ है। यदि स्वयंसिद्ध धारण करता है तो एक <math>\Delta^1_2</math> कैंटर अन्तरिक्ष का अच्छा क्रम भी है।
 == गुण ==
@@ Line 46: / Line 41: @@
 :<math>\Sigma^1_n \subset \Sigma^1_{n+1}</math>.
-एक सेट जो अंदर है <math>\Sigma^1_n</math> कुछ के लिए n को 'विश्लेषणात्मक' कहा जाता है। इस उपयोग को [[विश्लेषणात्मक सेट]] शब्द से अलग करने के लिए देखभाल की आवश्यकता है जिसका एक अलग अर्थ है, अर्थात् <math>\boldsymbol\Sigma_1^1</math>.<ref>T. Jech, "[https://projecteuclid.org/journalArticle/Download?urlid=bams%2F1183548432 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).</ref>
+समुच्चय समुच्चय जो <math>\Sigma^1_n</math> अंदर है कुछ के लिए n को 'विश्लेषणात्मक' कहा जाता है। इस उपयोग को [[विश्लेषणात्मक सेट|विश्लेषणात्मक समुच्चय]] शब्द से अलग करने के लिए देखभाल की आवश्यकता है जिसका एक अलग अर्थ है, अर्थात् <math>\boldsymbol\Sigma_1^1</math> है |.<ref>T. Jech, "[https://projecteuclid.org/journalArticle/Download?urlid=bams%2F1183548432 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).</ref>
 == टेबल ==
 {{pointclasses}}
@@ Line 64: / Line 57: @@
 *{{planetmath| urlname=analytichierarchy}}
-[[Category: संगणनीयता सिद्धांत]] [[Category: प्रभावी वर्णनात्मक सेट सिद्धांत]] [[Category: पदानुक्रम]] [[Category: गणितीय तर्क पदानुक्रम]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
 [[Category:Created On 19/04/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:गणितीय तर्क पदानुक्रम]]
+[[Category:पदानुक्रम]]
+[[Category:प्रभावी वर्णनात्मक सेट सिद्धांत]]
+[[Category:संगणनीयता सिद्धांत]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 14:54, 25 September 2023

Contents

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

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

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

विस्तार

उदाहरण

गुण

टेबल

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Latest revision as of 14:54, 25 September 2023

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

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

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

विस्तार

उदाहरण

गुण

टेबल

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories