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

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

'''Kuratowski और Tarski ने 1931 में दिखाया कि दूसरे क्रम के अंकगणित की भाषा में हर सूत्र का समुच्चय सामान्य रूप है, और इसलिए $$\Sigma^1_n$$ या $$\Pi^1_n$$ कुछ के लिए $$n$$. क्योंकि अर्थहीन क्वांटिफायर्स को किसी भी फॉर्मूले में जोड़ा जा सकता है,'''

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

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

Kuratowski और Tarski ने 1931 में दिखाया कि दूसरे क्रम के अंकगणित की भाषा में हर सूत्र का समुच्चय सामान्य रूप है, और इसलिए $$\Sigma^1_n$$ या $$\Pi^1_n$$ कुछ के लिए $$n$$. क्योंकि अर्थहीन क्वांटिफायर्स को किसी भी फॉर्मूले में जोड़ा जा सकता है, एक बार फॉर्मूला को वर्गीकरण दिए जाने के बाद $$\Sigma^1_n$$ या $$\Pi^1_n$$ कुछ के लिए $$n$$ इसे वर्गीकरण दिया जाएगा $$\Sigma^1_m$$ और $$\Pi^1_m$$ सभी के लिए $$m$$ से अधिक $$n$$.

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

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

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

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

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

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

उदाहरण

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

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


 * $$\Pi^1_n \subset \Sigma^1_{n+1}$$,
 * $$\Pi^1_n \subset \Pi^1_{n+1}$$,
 * $$\Sigma^1_n \subset \Pi^1_{n+1}$$,
 * $$\Sigma^1_n \subset \Sigma^1_{n+1}$$.

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

यह भी देखें

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

संदर्भ