हाइपरअरिथमेटिकल सिद्धांत

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

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

हाइपरअरिथमेटिकल समुच्चय और निश्चितता

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

प्राकृतिक संख्याओं के समूह को स्तर $\Sigma _{1}^{1}$ पर वर्गीकृत किया जाता है इस पदानुक्रम के यदि यह दूसरे क्रम अंकगणितीय के सूत्र द्वारा परिभाषित किया जा सकता है जिसमें केवल अस्तित्वगत समुच्चय क्वांटिफायर और कोई अन्य समुच्चय क्वांटिफायर नहीं है। समुच्चय को स्तर $\Pi _{1}^{1}$ पर वर्गीकृत किया जाता है और विश्लेषणात्मक पदानुक्रम की यदि यह केवल सार्वभौमिक समुच्चय क्वांटिफायर के साथ दूसरे क्रम अंकगणितीय के सूत्र द्वारा परिभाषित है और कोई अन्य समुच्चय क्वांटिफायर नहीं है। समुच्चय $\Delta _{1}^{1}$ है यदि यह $\Sigma _{1}^{1}$ और $\Pi _{1}^{1}$ दोनों है। हाइपरअरिथमेटिकल समुच्चय बिल्कुल $\Delta _{1}^{1}$ समुच्चय वही हैं।

हाइपरअरिथमेटिकल समुच्चय और पुनरावृत्त ट्यूरिंग जंप: हाइपरअरिथमेटिकल पदानुक्रम

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

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

क्रमसूचक संकेतन प्राकृतिक संख्या द्वारा गणनीय क्रमसूचक का प्रभावी वर्णन है। हाइपरअरिथमेटिक पदानुक्रम को परिभाषित करने के लिए क्रमिक अंकन की प्रणाली की आवश्यकता होती है। मौलिक गुण क्रमसूचक संकेतन के पास होना चाहिए कि यह प्रभावी विधि से छोटे अध्यादेशों के संदर्भ में क्रमसूचक का वर्णन करता है। निम्नलिखित आगमनात्मक परिभाषा विशिष्ट है; यह युग्मन समारोह का उपयोग करता है $\langle \cdot ,\cdot \rangle$.

• संख्या 0 क्रमसूचक 0 के लिए अंकन है।
• यदि n क्रमिक λ के लिए अंकन है तो $\langle 1,n\rangle$ λ + 1 के लिए अंकन है;
• मान लीजिए कि δ सीमा क्रमसूचक है। δ के लिए अंकन रूप $\langle 2,e\rangle$ का संख्या है, जहां e कुल गणना योग्य फ़ंक्शन $\phi _{e}$ का सूचकांक है जैसे कि प्रत्येक n के लिए, $\phi _{e}(n)$ क्रमसूचक λ_n के लिए अंकन है δ से कम और δ समुच्चय $\{\lambda _{n}\mid n\in \mathbb {N} \}$ का सर्वोच्च है.

यह सीमा क्रमसूचकों के लिए केवल अंकन के अतिरिक्त सभी स्तरों पर प्रभावी जुड़ाव लेकर भी परिभाषित किया जा सकता है।

केवल गिने-चुने क्रमसूचक संकेतन हैं, क्योंकि प्रत्येक अंकन प्राकृतिक संख्या है; इस प्रकार गणनीय क्रमसूचक है जो अंकन वाले सभी अध्यादेशों का सर्वोच्च है। इस अध्यादेश को चर्च-क्लीन क्रमसूचक के रूप में जाना जाता है और इसे $\omega _{1}^{CK}$ निरूपित किया जाता है। ध्यान दें कि यह क्रम अभी भी गणनीय है, प्रतीक केवल पहले अनंत क्रमसूचक $\omega _{1}$ के साथ सादृश्य है, और सभी प्राकृतिक संख्याओं का समुच्चय जो क्रमसूचक संकेतन हैं जिसे ${\mathcal {O}}$ निरूपित किया जाता है और क्लेन ${\mathcal {O}}$ के नाम से जाना जाता है।

पुनरावृत्त ट्यूरिंग कूदों को परिभाषित करने के लिए क्रमिक नोटेशन का उपयोग किया जाता है। पदानुक्रम को परिभाषित करने के लिए प्रयुक्त प्राकृतिक संख्याओं के समुच्चय हैं $0^{(\delta )}$ प्रत्येक के लिए $\delta <\omega _{1}^{CK}$. $0^{(\delta )}$ कभी-कभी $H(\delta )$, या $H_{e}$ अंकन के लिए $e$ के लिए $\delta$ द्वारा निरूपित भी किया जाता है. मान लीजिए कि δ का अंकन e है। इन समुच्चयों को सबसे पहले डेविस (1950) और मोस्टोव्स्की (1951) द्वारा परिभाषित किया गया था। समुच्चय $0^{(\delta )}$ e का उपयोग करके निम्नानुसार परिभाषित किया गया है।

• यदि δ = 0 तो $0^{(\delta )}=0$ खाली समुच्चय है।
• यदि δ = λ + 1 तब $0^{(\delta )}$ की ट्यूरिंग छलांग $0^{(\lambda )}$ है समुच्चय $0^{(1)}$ और $0^{(2)}$ क्रमश $0'$ और $0''$हैं।
• यदि δ सीमा क्रमसूचक है, तो $\langle \lambda _{n}\mid n\in \mathbb {N} \rangle$ संकेतन e द्वारा दिए गए δ से कम अध्यादेशों का क्रम हो। समुच्चय $0^{(\delta )}$ नियम $0^{(\delta )}=\{\langle n,i\rangle \mid i\in 0^{(\lambda _{n})}\}$ द्वारा दिया जाता है. यह समुच्चयों $0^{(\lambda _{n})}$ का प्रभावी जोड़ है।

चूंकि का निर्माण $0^{(\delta )}$ δ के लिए निश्चित अंकन होने पर निर्भर करता है, और प्रत्येक अनंत क्रमसूचक में कई अंकन होते हैं, स्पेक्टर के प्रमेय से पता चलता है कि ट्यूरिंग डिग्री डिग्री $0^{(\delta )}$ केवल δ पर निर्भर करता है, विशेष अंकन पर नहीं, और इस प्रकार $0^{(\delta )}$ ट्यूरिंग डिग्री तक अच्छी तरह से परिभाषित है।

हाइपरारिथमेटिकल पदानुक्रम को इन पुनरावृत्त ट्यूरिंग जंप से परिभाषित किया गया है। प्राकृतिक संख्याओं के समुच्चय X को $\delta <\omega _{1}^{CK}$ के लिए हाइपरारिथमेटिकल पदानुक्रम के स्तर δ पर वर्गीकृत किया गया है, यदि X $0^{(\delta )}$ के लिए ट्यूरिंग रिड्यूसिबल है। यदि कोई है तो हमेशा ऐसा कम से कम δ होगा; यह कम से कम δ है जो X की अगणनीयता के स्तर को मापता है।

हाइपरअरिथमेटिकल समुच्चय और उच्च प्रकार में रिकर्सन

हाइपरारिथमेटिकल समुच्चय का तीसरा लक्षण वर्णन, क्लेन के कारण, प्रकार सिद्धांत का उपयोग करता है। उच्च-प्रकार के कंप्यूटेबल फ़ंक्शंस। टाइप -2 कार्यात्मक ${}^{2}E\colon \mathbb {N} ^{\mathbb {N} }\to \mathbb {N}$ निम्नलिखित नियमों द्वारा परिभाषित किया गया है:

${}^{2}E(f)=1\quad$ यदि कोई ऐसा i है कि f(i) > 0,

${}^{2}E(f)=0\quad$ यदि ऐसा कोई i नहीं है कि f(i) > 0.

टाइप-2 कार्यात्मक के सापेक्ष कम्प्यूटेबिलिटी की त्रुटिहीन परिभाषा का उपयोग करते हुए, क्लेन ने दिखाया कि प्राकृतिक संख्याओं का समुच्चय हाइपरअरिथमेटिकल है यदि और केवल यदि यह ${}^{2}E$ के सापेक्ष गणना योग्य है.

उदाहरण: अंकगणित का सत्य समुच्चय

प्रत्येक अंकगणितीय समुच्चय हाइपरअरिथमेटिकल है, किन्तु कई अन्य हाइपररिथमेटिकल समुच्चय हैं। हाइपरअरिथमेटिकल, गैर-अंकगणितीय समुच्चय का उदाहरण पीनो सिद्धांतों के सूत्रों के गोडेल संख्याओं का समुच्चय है जो मानक $\mathbb {N}$ प्राकृतिक संख्याओं में सत्य हैं. समुच्चय T समुच्चय में $0^{(\omega )}$ ट्यूरिंग कमी है, और इसलिए हाइपरअरिथमेटिकल पदानुक्रम में उच्च नहीं है, चूंकि यह तर्स्की की अनिश्चितता प्रमेय द्वारा अंकगणितीय रूप से निश्चित नहीं है।

मौलिक परिणाम

हाइपरअरिथमेटिक सिद्धांत के मौलिक परिणाम बताते हैं कि ऊपर दी गई तीन परिभाषाएँ प्राकृतिक संख्याओं के समुच्चय के समान संग्रह को परिभाषित करती हैं। ये समानताएं क्लेन के कारण हैं।

पूर्णता परिणाम भी सिद्धांत के लिए मौलिक हैं। प्राकृतिक संख्याओं $\Pi _{1}^{1}$ का समुच्चय है, यदि यह स्तर $\Pi _{1}^{1}$ पर है तो पूर्ण करें। विश्लेषणात्मक पदानुक्रम और हर $\Pi _{1}^{1}$ प्राकृत संख्याओं का समुच्चय अनेक-अपचयन है | अनेक-अपचयन योग्य है। a की परिभाषा $\Pi _{1}^{1}$ बायर स्थान का पूर्ण उपसमुच्चय ($\mathbb {N} ^{\mathbb {N} }$) समान है। हाइपरअरिथमेटिक सिद्धांत से जुड़े कई समुच्चय $\Pi _{1}^{1}$ पूर्ण हैं:

• क्लेन का ${\mathcal {O}}$, प्राकृतिक संख्याओं का समुच्चय जो क्रमिक संख्याओं के लिए अंकन हैं
• प्राकृत संख्याओं का समुच्चय e ऐसा है कि संगणनीय फलन $\phi _{e}(x,y)$ प्राकृतिक संख्याओं के सुव्यवस्थित क्रम के अभिलाक्षणिक फलन की गणना करता है। ये पुनरावर्ती क्रमसूचक के सूचक हैं।
• बेयर अंतरिक्ष के तत्वों का समुच्चय जो प्राकृतिक संख्याओं के सुव्यवस्थित क्रम के विशिष्ट कार्य हैं (प्रभावी समरूपता $\mathbb {N} ^{\mathbb {N} }\cong \mathbb {N} ^{\mathbb {N} \times \mathbb {N} }$ का उपयोग करके)

इन पूर्णता परिणामों से परिणाम $\Sigma _{1}^{1}$ बाउंडिंग फॉलो के रूप में जाना जाता है। क्रमसूचक संकेतन किसी भी $\Sigma _{1}^{1}$ समुच्चय S के लिय, $\alpha <\omega _{1}^{CK}$ होता है जैसे कि S का प्रत्येक तत्व $\alpha$ क्रमसूचक से कम के लिए संकेतन होता है। किसी के लिए $\Sigma _{1}^{1}$ बायर स्पेस का सबसमुच्चय T केवल अच्छी तरह से ऑर्डरिंग के विशिष्ट कार्यों से युक्त है, $\alpha <\omega _{1}^{CK}$ है, जैसे कि T में $\alpha$ दर्शाया गया प्रत्येक क्रमांक इससे कम है.

रिलेटिवाइज़्ड हाइपरअरिथमेटिकिटी और हाइपरडिग्री

की परिभाषा ${\mathcal {O}}$ प्राकृतिक संख्याओं के समुच्चय X से सापेक्षित किया जा सकता है: क्रमसूचक संकेतन की परिभाषा में, सीमा अध्यादेशों के लिए खंड बदल दिया जाता है ताकि क्रमसूचक संकेतन के अनुक्रम की संगणनीय गणना को X को दैवज्ञ के रूप में उपयोग करने की अनुमति दी जा सके। संख्याओं का वह समूह जो X के सापेक्ष क्रमिक अंकन हैं, जिसे ${\mathcal {O}}^{X}$ द्वारा निरूपित किया जाता है ${\mathcal {O}}^{X}$ में दर्शाए गए अध्यादेशों के सर्वोच्च को $\omega _{1}^{X}$ द्वारा निरूपित किया जाता है; यह गणनीय क्रमसूचक है जो $\omega _{1}^{CK}$इससे छोटा नहीं है.

$0^{(\delta )}$ को प्राकृतिक संख्याओं के स्वैच्छिक समुच्चय $X$ से भी जोड़ा जा सकता है। परिभाषा में केवल यही परिवर्तन है कि$X^{(0)}$ खाली समुच्चय के अतिरिक्त X के रूप में परिभाषित किया गया है, ताकि $X^{(1)}=X'$ X का ट्यूरिंग जंप है, और इसी तरह आगे भी होता है। $\omega _{1}^{CK}$ पर समाप्त होने के अतिरिक्त X के सापेक्ष पदानुक्रम $\omega _{1}^{X}$ सभी अध्यादेशों से कम चलता है.

हाइपरारिथमेटिकल रिड्यूसबिलिटी को परिभाषित करने के लिए सापेक्षित हाइपरअरिथमेटिकल पदानुक्रम का उपयोग किया जाता है। दिए गए समुच्चय X और Y, हम कहते हैं $X\leq _{HYP}Y$ यदि और केवल यदि वहाँ $\delta <\omega _{1}^{Y}$ है, जैसे कि X, $Y^{(\delta )}$के लिय ट्यूरिंग रिड्यूसिबल है. यदि $X\leq _{HYP}Y$ और $Y\leq _{HYP}X$ फिर अंकन $X\equiv _{HYP}Y$ X और Y को निरुपित करने के लिए 'हाइपररिथमेटिकली समतुल्य' का प्रयोग किया जाता है। यह ट्यूरिंग रिडक्शन की तुलना में मोटे समकक्ष संबंध है; उदाहरण के लिए, प्राकृतिक संख्याओं का प्रत्येक समुच्चय हाइपरअरिथमेटिक रूप से इसके ट्यूरिंग जंप के बराबर है किन्तु ट्यूरिंग इसके ट्यूरिंग जंप के बराबर नहीं है। हाइपरअरिथमेटिकल तुल्यता के तुल्यता वर्गों को 'हाइपरडिग्री' के रूप में जाना जाता है।

वह फ़ंक्शन जो समुच्चय X को ${\mathcal {O}}^{X}$ पर ले जाता है, और उसे ट्यूरिंग जंप के अनुरूप हाइपरजंप के रूप में जाना जाता है। हाइपरजंप और हाइपरडिग्री के कई गुण स्थापित किए गए हैं। विशेष रूप से, यह ज्ञात है कि हाइपरडिग्री के लिए पोस्ट की समस्या का सकारात्मक उत्तर है: प्राकृतिक संख्याओं के प्रत्येक समुच्चय X के लिए प्राकृतिक संख्याओं का समुच्चय Y होता है जैसे कि $X<_{HYP}Y<_{HYP}{\mathcal {O}}^{X}$.

सामान्यीकरण

हाइपरअरिथमेटिकल सिद्धांत को अल्फा पुनरावर्तन सिद्धांत | α-रिकर्सन सिद्धांत द्वारा सामान्यीकृत किया जाता है, जो स्वीकार्य अध्यादेशों के निश्चित उपसमुच्चय का अध्ययन है। हाइपरारिथमेटिकल सिद्धांत विशेष स्थिति है जिसमें α $\omega _{1}^{CK}$ है.

अन्य पदानुक्रमों से संबंध

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
⋮		⋮

संदर्भ

• H. Rogers, Jr., 1967. The Theory of Recursive Functions and Effective Computability, second edition 1987, MIT Press. ISBN 0-262-68052-1 (paperback), ISBN 0-07-053522-1
• G. Sacks, 1990. Higher Recursion Theory, Springer-Verlag. ISBN 3-540-19305-7
• S. Simpson, 1999. Subsystems of Second Order Arithmetic, Springer-Verlag.
• C. J. Ash, J. F. Knight, 2000. Computable Structures and the Hyperarithmetical Hierarchy, Elsevier. ISBN 0-444-50072-3

बाहरी संबंध

• Descriptive set theory. Notes by David Marker, University of Illinois at Chicago. 2002.
• Mathematical Logic II. Notes by Dag Normann, The University of Oslo. 2005.
• Antonio Montalbán: University of California, Berkeley and YouTube content creator