सघनता प्रमेय

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

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

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

इतिहास

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

अनुप्रयोग

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

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

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

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

$$1+1\neq 0,\;\;1+1+1\neq 0,\;\ldots$$

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

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

एक परिणाम X-ग्रोथेंडिक थ्योरम का निम्नलिखित विशेष मामला है: सभी इंजेक्शन मानचित्र सम्मिश्र संख्या बहुपद $\mathbb {C} ^{n}\to \mathbb {C} ^{n}$ प्रक्षेपात्मक मानचित्र हैं (वास्तव में, यह भी दिखाया जा सकता है कि इसका व्युत्क्रम भी एक बहुपद होगा)। वास्तव में, किसी भी विशेषण बहुपद के लिए प्रक्षेप्यता निष्कर्ष सत्य रहता है $F^{n}\to F^{n}$ कहाँ $F$ एक परिमित क्षेत्र या ऐसे क्षेत्र का बीजगणितीय समापन है।

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

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

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

कॉम्पैक्टनेस थ्योरम का तीसरा अनुप्रयोग वास्तविक संख्याओं के गैर-मानक विश्लेषण का निर्माण है, अर्थात, वास्तविक संख्याओं के सिद्धांत का लगातार विस्तार जिसमें अनंत संख्याएँ होती हैं। इसे देखने के लिए आइए $\Sigma$ वास्तविक संख्याओं के सिद्धांत का प्रथम-क्रम स्वयंसिद्धीकरण बनें। एक नया अचर प्रतीक जोड़कर प्राप्त सिद्धांत पर विचार करें $\varepsilon$ भाषा से और उससे समीप हुए $\Sigma$ स्वयंसिद्ध $\varepsilon >0$ और स्वयंसिद्ध $\varepsilon <{\tfrac {1}{n}}$ सभी धनात्मक पूर्णांकों के लिए $n.$ स्पष्टतः, मानक वास्तविक संख्याएँ $\mathbb {R}$ इन स्वयंसिद्धों के प्रत्येक परिमित उपसमुच्चय के लिए एक मॉडल हैं, क्योंकि वास्तविक संख्याएँ हर विषय को संतुष्ट करती हैं $\Sigma$