सघनता प्रमेय: Difference between revisions

From Vigyanwiki
m (8 revisions imported from alpha:सघनता_प्रमेय)
No edit summary
 
Line 84: Line 84:


{{Mathematical logic}}
{{Mathematical logic}}
[[Category: गणितीय तर्क]] [[Category: मेटाथ्योरम]] [[Category: मॉडल सिद्धांत]] [[Category: गणित की नींव में प्रमेय]]


 
[[Category:Collapse templates]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Vigyan Ready]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:गणित की नींव में प्रमेय]]
[[Category:गणितीय तर्क]]
[[Category:मेटाथ्योरम]]
[[Category:मॉडल सिद्धांत]]

Latest revision as of 16:59, 29 July 2023

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

प्रोपोज़िशनल कैलकुलस के लिए कॉम्पैक्टनेस थ्योरम टाइकोनोफ़ के थ्योरम का परिणाम है (जो कहता है कि सघन समष्टि (कॉम्पैक्ट स्पेस) का उत्पाद कॉम्पैक्ट है) कॉम्पैक्ट स्टोन समष्टि पर लागू होता है,[1] इसलिए थ्योरम का नाम है। इसी तरह, यह टोपोलॉजिकल समष्टि में कॉम्पैक्टनेस के परिमित प्रतिच्छेदन गुण लक्षण वर्णन के अनुरूप है: एक कॉम्पैक्ट समष्टि में संवृत समुच्चयों के संग्रह में एक गैर-रिक्त प्रतिच्छेदन होता है यदि प्रत्येक परिमित उपसंग्रह में एक गैर-रिक्त प्रतिच्छेदन होता है।

कॉम्पैक्टनेस थ्योरम दो प्रमुख गुणों में से एक है, साथ ही डाउनवर्ड लोवेनहेम-स्कोलेम थ्योरम के साथ, जिसका उपयोग लिंडस्ट्रॉम के थ्योरम में प्रथम-क्रम तर्क को चित्रित करने के लिए किया जाता है। यद्यपि गैर-प्रथम-क्रम तर्कों के लिए कॉम्पैक्टनेस थ्योरम के कुछ सामान्यीकरण हैं, लेकिन बहुत सीमित संख्या में उदाहरणों को छोड़कर, कॉम्पैक्टनेस थ्योरम स्वयं उनमें सम्मिलित नहीं है।[2]

इतिहास

कर्ट गोडेल ने 1930 में गणनीय सघनता थ्योरम को सिद्ध किया था। अनातोली माल्टसेव ने 1936 में अगणनीय मामले को सिद्ध किया था।[3][4]

अनुप्रयोग

कॉम्पैक्टनेस थ्योरम के मॉडल सिद्धांत में कई अनुप्रयोग हैं; कुछ विशिष्ट परिणाम यहां दर्शाए गए हैं।

रॉबिन्सन का सिद्धांत

कॉम्पैक्टनेस थ्योरम निम्नलिखित परिणाम को दर्शाता है, जिसे अब्राहम रॉबिन्सन ने अपने 1949 के शोध प्रबंध में कहा था।

रॉबिन्सन का सिद्धांत:[5][6] यदि प्रथम क्रम का वाक्य विशेषता (बीजगणित) के प्रत्येक क्षेत्र (गणित) में शून्य रखता है, तो वहां एक स्थिरांक उपस्थित होता है इस प्रकार कि यह वाक्य विशेषता के प्रत्येक क्षेत्र के लिए बड़ा है इसे इस प्रकार देखा जा सकता है: मान लीजिए एक ऐसा वाक्य है जो प्रत्येक क्षेत्र में विशेषता शून्य रखता है। फिर उसका निषेध क्षेत्र स्वयंसिद्धों और वाक्यों के अनंत अनुक्रम के साथ

संतुष्टि प्रदता नहीं है (क्योंकि इसमें विशेषता 0 का कोई क्षेत्र नहीं है)। धारण करता है, और वाक्यों का अनंत क्रम यह सुनिश्चित करता है कि कोई भी मॉडल विशेषता 0 का क्षेत्र होगा)। इसलिए, एक परिमित उपसमुच्चय है इन वाक्यों का जो संतोषजनक नहीं है। सम्मिलित होना चाहिए क्योंकि अन्यथा यह संतोषजनक होगा। क्योंकि इसमें और वाक्य जोड़ रहे हैं असंतोषजनकता नहीं बदलती, ऐसा हम मान सकते हैं कुछ के लिए फ़ील्ड स्वयंसिद्ध और, सम्मिलित हैं पहला प्रपत्र के वाक्य होने देना के सभी वाक्य सम्मिलित हैं के अलावा फिर कोई भी क्षेत्र जिसकी विशेषता इससे अधिक हो का एक मॉडल है और के साथ साथ संतुष्ट करने योग्य नहीं है. इस का मतलब है कि के प्रत्येक मॉडल में होना चाहिए जिसका मतलब बिल्कुल यही है विशेषता के प्रत्येक क्षेत्र में श्रेष्ठता रखता है इससे प्रमाण पूर्ण हो जाता है।

लेफ्शेट्ज़ सिद्धांत, समष्टिांतरण सिद्धांत के पहले उदाहरणों में से एक, इस परिणाम का विस्तार करता है। प्रथम कोटि का वाक्य वलय (रिंग गणित) की भाषा में सत्य है some (या समकक्ष, में every) विशेषता 0 का बीजगणितीय रूप से संवृत क्षेत्र (जैसे कि उदाहरण के लिए सम्मिश्र संख्याएं) यदि और केवल तभी जब अनंत रूप से कई अभाज्य संख्याएँ उपस्थित हों जिसके लिए में सच है some विशेषता का बीजगणितीय रूप से संवृत क्षेत्र किस स्थिति में में सच है allपर्याप्त रूप से बड़े गैर-0 विशेषता वाले बीजगणितीय रूप से संवृत फ़ील्ड है। [5]

एक परिणाम X-ग्रोथेंडिक थ्योरम का निम्नलिखित विशेष मामला है: सभी इंजेक्शन मानचित्र सम्मिश्र संख्या बहुपद प्रक्षेपात्मक मानचित्र हैं[5] (वास्तव में, यह भी दिखाया जा सकता है कि इसका व्युत्क्रम भी एक बहुपद होगा)।[7] वास्तव में, किसी भी विशेषण बहुपद के लिए प्रक्षेप्यता निष्कर्ष सत्य रहता है कहाँ एक परिमित क्षेत्र या ऐसे क्षेत्र का बीजगणितीय समापन है।[7]


अपवर्ड लोवेनहेम-स्कोलेम थ्योरम

कॉम्पैक्टनेस थ्योरम के दूसरे अनुप्रयोग से पता चलता है कि कोई भी सिद्धांत जिसमें स्वेच्छया से बड़े परिमित मॉडल या एकल अनंत मॉडल होते हैं, उसमें स्वेच्छया से बड़ी प्रमुखता के मॉडल होते हैं (यह अपवर्ड लोवेनहेम-स्कोलेम थ्योरम है)। उदाहरण के लिए, पीनो अंकगणित के गैर-मानक मॉडल हैं जिनमें अनगिनत 'प्राकृतिक संख्याएँ' हैं। इसे हासिल करने के लिए आइए प्रारंभिक सिद्धांत हो और चलो कोई भी कार्डिनल संख्या हो. की भाषा में जोड़ें के प्रत्येक तत्व के लिए एक स्थिर प्रतीक फिर जोड़ें वाक्यों का एक संग्रह जो कहता है कि नए संग्रह से किन्हीं दो अलग-अलग स्थिर प्रतीकों द्वारा दर्शाई गई वस्तुएं अलग-अलग हैं (यह एक संग्रह है) वाक्य) है। चूंकि प्रत्येक परिमित (फिनिट) इस नए सिद्धांत का उपसमुच्चय पर्याप्त रूप से बड़े परिमित मॉडल द्वारा संतुष्ट है या किसी अनंत मॉडल द्वारा, संपूर्ण विस्तारित सिद्धांत संतोषजनक है। लेकिन विस्तारित सिद्धांत के किसी भी मॉडल में कम से कम प्रमुखता होती है .

गैर-मानक विश्लेषण

कॉम्पैक्टनेस थ्योरम का तीसरा अनुप्रयोग वास्तविक संख्याओं के गैर-मानक विश्लेषण का निर्माण है, अर्थात, वास्तविक संख्याओं के सिद्धांत का लगातार विस्तार जिसमें अनंत संख्याएँ होती हैं। इसे देखने के लिए आइए वास्तविक संख्याओं के सिद्धांत का प्रथम-क्रम स्वयंसिद्धीकरण बनें। एक नया अचर प्रतीक जोड़कर प्राप्त सिद्धांत पर विचार करें भाषा से और उससे समीप हुए स्वयंसिद्ध और स्वयंसिद्ध सभी धनात्मक पूर्णांकों के लिए स्पष्टतः, मानक वास्तविक संख्याएँ इन स्वयंसिद्धों के प्रत्येक परिमित उपसमुच्चय के लिए एक मॉडल हैं, क्योंकि वास्तविक संख्याएँ हर विषय को संतुष्ट करती हैं और, उपयुक्त विकल्प द्वारा के बारे में सिद्धांतों के किसी भी सीमित उपसमुच्चय को संतुष्ट करने के लिए बनाया जा सकता है सघनता थ्योरम के अनुसार, एक मॉडल है जो संतुष्ट करता है और इसमें एक अतिसूक्ष्म तत्व भी सम्मिलित है इसी तरह का एक तर्क, इस बार स्वयंसिद्धों से जुड़ा हुआ है आदि से पता चलता है कि असीम रूप से बड़े परिमाण वाली संख्याओं के अस्तित्व को वास्तविकताओं के किसी भी स्वयंसिद्धीकरण द्वारा अस्वीकृत नहीं किया जा सकता है[8]

यह दिखाया जा सकता है कि अतियथार्थवादी संख्याएँ समष्टिांतरण सिद्धांत को संतुष्ट करें:[9] प्रथम-क्रम वाक्य सत्य है यदि और केवल यदि यह सत्य है


प्रमाण

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

गोडेल ने मूल रूप से कॉम्पैक्टनेस थ्योरम को इसी तरह से सिद्ध किया था, लेकिन बाद में कॉम्पैक्टनेस थ्योरम के कुछ विशुद्ध अर्थ संबंधी प्रमाण पाए गए; अर्थात्, ऐसे प्रमाण जो संदर्भित करते हैं truth लेकिन नहीं provability. उन प्रमाणों में से एक निम्नानुसार पसंद के सिद्धांत पर निर्भर अल्ट्राप्रोडक्ट्स पर निर्भर करता है:

प्रमाण:

प्रथम-क्रम की भाषा ठीक करें और जाने -वाक्यों का एक संग्रह बनें जैसे कि प्रत्येक परिमित उपसंग्रह -वाक्य, इसका एक मॉडल है चलो भी संरचनाओं का प्रत्यक्ष उत्पाद बनें और के परिमित उपसमुच्चय का संग्रह हो प्रत्येक के लिए होने देना इन सभी का परिवार समुच्चय है एक उचित फ़िल्टर (समुच्चय सिद्धांत) उत्पन्न करता है, इसलिए एक अल्ट्राफ़िल्टर (समुच्चय सिद्धांत) है जिसमें फॉर्म के सभी समुच्चय सम्मिलित हैं

अब किसी भी सूत्र के लिए में

  • समुच्चय में है
  • जब कभी भी तब इस तरह में रखता है
  • सभी का समुच्चय उस संपत्ति के साथ में रखता है का एक सुपरसमुच्चय है इसलिए में भी

थ्योरम Łoś's थ्योरम अब इसका तात्पर्य है अल्ट्राप्रोडक्ट में रहता है इसलिए यह अल्ट्राप्रोडक्ट सभी फॉर्मूलों को पूरा करता है


यह भी देखें

टिप्पणियाँ

  1. See Truss (1997).
  2. J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985) [1], in particular, Makowsky, J. A. Chapter XVIII: Compactness, Embeddings and Definability. 645--716, see Theorems 4.5.9, 4.6.12 and Proposition 4.6.9. For compact logics for an extended notion of model see Ziegler, M. Chapter XV: Topological Model Theory. 557--577. For logics without the relativization property it is possible to have simultaneously compactness and interpolation, while the problem is still open for logics with relativization. See Xavier Caicedo, A Simple Solution to Friedman's Fourth Problem, J. Symbolic Logic, Volume 51, Issue 3 (1986), 778-784.doi:10.2307/2274031 JSTOR 2274031
  3. Vaught, Robert L.: "Alfred Tarski's work in model theory". Journal of Symbolic Logic 51 (1986), no. 4, 869–882
  4. Robinson, A.: Non-standard analysis. North-Holland Publishing Co., Amsterdam 1966. page 48.
  5. 5.0 5.1 5.2 Marker 2002, pp. 40–43.
  6. Gowers, Barrow-Green & Leader 2008, pp. 639–643.
  7. 7.0 7.1 Terence, Tao (7 March 2009). "अनंत क्षेत्र, परिमित क्षेत्र, और एक्स-ग्रोथेंडिक प्रमेय".
  8. Goldblatt 1998, pp. 10–11.
  9. Goldblatt 1998, p. 11.
  10. See Hodges (1993).


संदर्भ


बाहरी संबंध