अभिगृहीत सिद्धांत

गणित में, नियतत्व की अभिधारणा (संक्षिप्त रूप में AD) 1962 में जान माइसिल्स्की और ह्यूगो स्टीनहॉस द्वारा प्रस्तुत सेट सिद्धांत के लिए एक संभावित स्वयंसिद्ध है। यह लंबाई ω (क्रमिक संख्या)|ω के कुछ दो-व्यक्ति सांस्थितिक खेलों को संदर्भित करता है। AD बताता है कि निर्धारण के एक स्वयंसिद्ध का हर खेल # खेल के प्रकार जो निर्धारित होते हैं, निर्धारित खेल होते हैं; यानी, दो खिलाड़ियों में से एक के पास जीतने की रणनीति है।

AD के लिए स्टाइनहॉस जान माइसिल्स्की की प्रेरणा इसके रोचक परिणाम थे, और सुझाव दिया कि AD एक सेट सिद्धांत के सबसे छोटे प्राकृतिक मॉडलएल(R) में सत्य हो सकता है, जो पसंद के स्वयंसिद्ध (AC) के केवल एक कमजोर रूप को स्वीकार करता है, लेकिन इसमें सभी वास्तविक सम्मिलित हैं। संख्या और सभी क्रम संख्या। AD के कुछ परिणाम प्रमेय से अनुसरण करते हैं जो पहले स्टीफन बानाच और स्टैनिस्लाव मजूर और मॉर्टन डेविस द्वारा सिद्ध किए गए थे। माइसिल्स्की और स्टैनिस्लाव स्विएर्ज़कोव्स्की ने एक और योगदान दिया: AD का अर्थ है कि वास्तविक संख्याओं के सभी सेट लेबेस्ग मापने योग्य हैं। बाद में डोनाल्ड ए. मार्टिन और अन्य ने अधिक महत्वपूर्ण परिणाम सिद्ध किए, विशेष रूप से वर्णनात्मक समुच्चय सिद्धांत में। 1988 में, जॉन आर. स्टील और डब्ल्यू. ह्यूग वुडिन ने अनुसंधान की एक लंबी श्रृंखला समाप्त की। के अनुरूप कुछ बेशुमार कार्डिनल संख्याओं के अस्तित्व को मानते हुए $\aleph _{0}$, उन्होंने माइसिल्स्की और स्टाइनहॉस के मूल अनुमान को सिद्ध किया कि एल(आर) में AD सत्य है। AD के लिए स्टाइनहॉस जान माइसिल्स्की की प्रेरणा इसके रोचक परिणाम थे, और सुझाव दिया कि AD एक सेट सिद्धांत के सबसे छोटे प्राकृतिक मॉडलएल(R) में सत्य हो सकता है, जो पसंद के स्वयंसिद्ध (AC) के केवल एक कमजोर रूप को स्वीकार करता है, लेकिन इसमें सभी वास्तविक सम्मिलित हैं। संख्या और सभी क्रम संख्या। AD के कुछ परिणाम प्रमेय से अनुसरण करते हैं जो पहले स्टीफन बानाच और स्टैनिस्लाव मजूर और मॉर्टन डेविस द्वारा सिद्ध किए गए थे।

खेल के प्रकार जो निर्धारित होते हैं

नियतत्व का स्वयंसिद्ध निम्नलिखित विशिष्ट रूप के खेलों को संदर्भित करता है:

बायर स्पेस (सेट थ्योरी) ω के एक उपसमुच्चय A पर विचार करें^{प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों का ω}। दो खिलाड़ी, 'I' और 'II' बारी-बारी से प्राकृतिक संख्याएँ चुनते हैं

n₀, n₁, n₂, n₃, ...

असीम रूप से कई चालों के बाद, एक क्रम $(n_{i})_{i\in \omega }$ उत्पन्न होता है। प्लेयर I गेम जीतता है अगर और केवल अगर उत्पन्न अनुक्रम A. का एक तत्व है। नियतत्व की कसौटी यह कथन है कि ऐसे सभी खेल निर्धारित होते हैं।

सभी खेलों को निर्धारित सिद्ध करने के लिए दृढ़ संकल्प के सिद्धांत की आवश्यकता नहीं होती है। यदि समुच्चय A क्लोपेन समुच्चय है, तो खेल अनिवार्य रूप से एक परिमित खेल है, और इसलिए निर्धारित है। इसी तरह, अगर A' एक बंद सेट है, तो खेल निर्धारित किया जाता है। यह 1975 में डोनाल्ड A मार्टिन द्वारा दिखाया गया था कि खेल जिसका जीतने वाला सेट बोरेल सेट है, निर्धारित किया जाता है। यह पर्याप्त रूप से बड़े कार्डिनल्स के अस्तित्व से अनुसरण करता है कि जीतने वाले सेट के साथ सभी गेम एक प्रक्षेपण सेट निर्धारित होते हैं (प्रोजेक्टिव निर्धारणा देखें), और यह कि AD एल(आर) में है।

नियतत्व के स्वयंसिद्ध का तात्पर्य है कि वास्तविक रेखा के प्रत्येक उप-स्थान X के लिए # एक स्थलीय स्थान के रूप में, बनच-मजूर खेल बीएम(एक्स) निर्धारित किया जाता है (और इसलिए प्रत्येक सेट का रियल के पास बायर की संपत्ति है)।

पसंद के स्वयंसिद्ध के साथ निर्धारण के स्वयंसिद्ध की असंगति

पसंद के स्वयंसिद्ध की धारणा के अंतर्गत, हम निर्धारण के स्वयंसिद्ध के लिए एक प्रति-उदाहरण बनाते हैं। एक ω-गेम G में सभी प्रथम खिलाड़ी रणनीतियों के सेट S1 में वही प्रमुखता है जो कॉन्टिनम की प्रमुखता है। सभी दूसरे खिलाड़ी रणनीतियों के सेट S2 के लिए भी यही सच है। बता दें कि एसजी जी में सभी संभावित अनुक्रमों का सेट है, और ए एस जी के अनुक्रमों का सबसेट है जो पहले खिलाड़ी को जीत दिलाते हैं। पसंद के स्वयंसिद्ध के साथ हम सातत्य को अच्छी तरह से आदेश दे सकते हैं, और हम ऐसा इस तरह से कर सकते हैं कि किसी भी उचित प्रारंभिक भाग में सातत्य की तुलना में कम प्रमुखता हो। हम S1 और S2 दोनों को अनुक्रमित करने के लिए प्राप्त सुव्यवस्थित सेट J का उपयोग करते हैं, और A का निर्माण इस तरह करते हैं कि यह एक प्रति उदाहरण होगा।

हम खाली समुच्चय A और B से शुरू करते हैं। मान लीजिए α $\in$ J S1 और S2 में रणनीतियों का सूचकांक हो। हमें पहले खिलाड़ी की सभी रणनीतियों S1 = {s1(α)} और दूसरे खिलाड़ी की सभी रणनीतियों S2 = {s2(α)} पर विचार करने की आवश्यकता है ताकि यह सुनिश्चित हो सके कि प्रत्येक रणनीति के लिए दूसरे खिलाड़ी की रणनीति है जो जीतता है उसके खिलाफ। विचार किए गए खिलाड़ी की प्रत्येक रणनीति के लिए हम एक क्रम उत्पन्न करेंगे जो दूसरे खिलाड़ी को जीत दिलाएगा। मान लीजिए कि वह समय है जिसकी धुरी की लंबाई ℵ है₀ और जिसका उपयोग प्रत्येक खेल अनुक्रम के दौरान किया जाता है। हम α पर ट्रांसफिनिट रिकर्सन द्वारा काउंटर उदाहरण a बनाते हैं:

1. पहले खिलाड़ी की रणनीति s1(α) पर विचार करें।
2. इस रणनीति को ω-खेल पर प्रयुक्त करें, (पहले खिलाड़ी की रणनीति s1(α) के साथ) एक अनुक्रम {a(1), b(2), a(3), b(4),..., a(t), b(t+1),...}, जो A से संबंधित नहीं है। यह संभव है, क्योंकि {b(2), b(4), b(6) के लिए विकल्पों की संख्या, ...} में निरंतरता के समान ही प्रमुखता है, जो कि उचित प्रारंभिक भाग की प्रमुखता से बड़ी है { β $\in$ J | B $<$ J का α}।
3. इस क्रम को B में जोड़ें (यदि यह पहले से ही B में नहीं है), यह इंगित करने के लिए कि s1(α) हारता है ({b(2), b(4), b(6), ...} पर)।
4. दूसरे खिलाड़ी की रणनीति s2(α) पर विचार करें।
5. इस रणनीति को एक ω-खेल पर प्रयुक्त करें, (दूसरे खिलाड़ी की रणनीति s2(α) के साथ) एक अनुक्रम {a(1), b(2), a(3), b(4),..., उत्पन्न करें। a(t), b(t+1),...}, जो B से संबंधित नहीं है। यह संभव है, क्योंकि {a(1), a(3), a(5) के लिए विकल्पों की संख्या, ...} में निरंतरता के समान ही प्रमुखता है, जो कि उचित प्रारंभिक भाग की प्रमुखता से बड़ी है { β $\in$ J | V $\leq$ J का α}।
6. इस अनुक्रम को A में जोड़ें (यदि यह पहले से ही A में नहीं है), यह इंगित करने के लिए कि s2(α) हारता है ({a(1), a(3), a(5), ...} पर)।
7. α पर ट्रांसफिनिट इंडक्शन के साथ S1 और S2 की सभी संभावित रणनीतियों को प्रोसेस करें। उन सभी अनुक्रमों के लिए जो उसके बाद A या B में नहीं हैं, मनमाने ढंग से तय करें कि वे A के हैं या B के हैं। इसलिए B, A का पूरक है।

एक बार यह हो जाने के बाद, एक ω-खेल G के लिए तैयारी करें। यदि आप मुझे पहले खिलाड़ी की रणनीति s1 देते हैं, तो एक α होता है $\in$ J ऐसा है कि s1 = s1(α), और हमने A का निर्माण ऐसा किया है कि s1(α) विफल हो जाता है (दूसरे खिलाड़ी के कुछ विकल्पों {b(2), b(4), b(6), ...} पर) . इसलिए s1 विफल रहता है। इसी तरह, किसी भी खिलाड़ी की कोई अन्य रणनीति विफल हो जाती है। इसलिए नियतत्व का स्वयंसिद्ध और पसंद का स्वयंसिद्ध असंगत है।

असीम तर्क और नियतत्व का स्वयंसिद्ध

20वीं सदी के अंत में इन्फिनिटरी तर्क के कई अलग-अलग संस्करण प्रस्तावित किए गए थे। नियतत्व के स्वयंसिद्ध में विश्वास करने का एक कारण यह है कि इसे इस प्रकार लिखा जा सकता है (अनंत तर्क के एक संस्करण में):

$\forall G\subseteq Seq(S):$

$\forall a\in S:\exists a'\in S:\forall b\in S:\exists b'\in S:\forall c\in S:\exists c'\in S...:(a,a',b,b',c,c'...)\in G$ या

$\exists a\in S:\forall a'\in S:\exists b\in S:\forall b'\in S:\exists c\in S:\forall c'\in S...:(a,a',b,b',c,c'...)\notin G$

नोट: Seq(S) सभी का समुच्चय है $\omega$ s के अनुक्रम। यहां वाक्य परिमाणक (तर्क)तर्क) की एक अनगिनत अनंत सूची के साथ असीम रूप से लंबे हैं जहां दीर्घवृत्त दिखाई देते हैं।

बड़े कार्डिनल और नियतत्व का स्वयंसिद्ध

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

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

प्रोजेक्टिव ऑर्डिनल्स

मॉस्कोवाकिस ने अध्यादेश पेश किया $\delta _{n}^{1}$, जो की लंबाई की ऊपरी सीमा है ${\boldsymbol {\Delta }}_{n}^{1}$-नॉर्म्स (इंजेक्शन ए ${\boldsymbol {\Delta }}_{n}^{1}$ अध्यादेशों में सेट करें), जहां ${\boldsymbol {\Delta }}_{n}^{1}$ प्रोजेक्टिव पदानुक्रम का एक स्तर है। एडी मानते हुए, सभी $\delta _{n}^{1}$ प्रारंभिक क्रमिक हैं, और हमारे पास है $\delta _{2n+2}^{1}=(\delta _{2n+1}^{1})^{+}$, और के लिए $n<\omega$ $2n$वें सुस्लिन कार्डिनल के बराबर है $\delta _{2n-1}^{1}$.

यह भी देखें

• वास्तविक निश्चयात्मकता का अभिगृहीत (ई_R)
• बोरेल निर्धारक प्रमेय
• मार्टिन उपाय
• सामयिक खेल

संदर्भ

• Mycielski, Jan; Steinhaus, Hugo (1962). "A mathematical axiom contradicting the axiom of choice". Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques. 10: 1–3. ISSN 0001-4117. MR 0140430.
• Mycielski, Jan; Świerczkowski, Stanisław (1964). "On the Lebesgue measurability and the axiom of determinateness". Fund. Math. 54: 67–71. doi:10.4064/fm-54-1-67-71.
• Woodin, W. Hugh (1988). "Supercompact cardinals, sets of reals, and weakly homogeneous trees". Proceedings of the National Academy of Sciences of the United States of America. 85 (18): 6587–6591. Bibcode:1988PNAS...85.6587W. doi:10.1073/pnas.85.18.6587. PMC 282022. PMID 16593979.
• Martin, Donald A.; Steel, John R. (Jan 1989). "A Proof of Projective Determinacy". Journal of the American Mathematical Society. 2 (1): 71–125. doi:10.2307/1990913. JSTOR 1990913.
• Jech, Thomas (2002). Set theory, third millennium edition (revised and expanded). Springer. ISBN 978-3-540-44085-7.
• Kanamori, Akihiro (2008). The Higher Infinite (2nd ed.). Springer Science & Business Media. ISBN 978-3-540-88866-6.
• Moschovakis, Yiannis N. (2009). Descriptive set theory (PDF) (2nd ed.). Providence, R.I.: American Mathematical Society. ISBN 978-0-8218-4813-5. Archived from the original on 2014-11-12.{{cite book}}: CS1 maint: bot: original URL status unknown (link)

अग्रिम पठन

• Philipp Rohde, On Extensions of the Axiom of Determinacy, Thesis, Department of Mathematics, University of Bonn, Germany, 2001
• Telgársky, R.J. Topological Games: On the 50th Anniversary of the Banach-Mazur Game, Rocky Mountain J. Math. 17 (1987), pp. 227–276. (3.19 MB)
• "Large Cardinals and Determinacy" at the Stanford Encyclopedia of Philosophy