वीकली कॉम्पैक्ट कार्डिनल

गणित में, कमजोर रूप से कॉम्पैक्ट कार्डिनल एक निश्चित प्रकार का बुनियादी संख्या होता है जिसे पेश किया जाता है Erdős & Tarski (1961); कमजोर रूप से सघन कार्डिनल बड़े कार्डिनल होते हैं, जिसका अर्थ है कि उनका अस्तित्व ZFC से सिद्ध नहीं किया जा सकता है। (टार्स्की ने मूल रूप से उन्हें दृढ़ता से असंबद्ध कार्डिनल नहीं कहा था।)

औपचारिक रूप से, एक कार्डिनल κ को कमजोर रूप से कॉम्पैक्ट के रूप में परिभाषित किया जाता है यदि यह बेशुमार है और प्रत्येक फ़ंक्शन f के लिए: [κ] ² → {0, 1} प्रमुखता κ का एक सेट (गणित) है जो एफ के लिए सजातीय (बड़ी कार्डिनल संपत्ति) है। इस संदर्भ में, [κ] ² का अर्थ है κ के 2-तत्व उपसमुच्चय का सेट, और κ का एक उपसमुच्चय S, f के लिए सजातीय है यदि और केवल यदि या तो सभी [S]² 0 पर मैप करता है या इसके सभी मैप 1 पर मैप करता है।

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

प्रत्येक कमजोर रूप से संकुचित कार्डिनल एक प्रतिबिंबित कार्डिनल है, और प्रतिबिंबित कार्डिनल्स की एक सीमा भी है। इसका मतलब यह भी है कि कमजोर रूप से कॉम्पैक्ट कार्डिनल्स कार्डिनल आँखें हैं, और किसी दिए गए कमजोर कॉम्पैक्ट कार्डिनल से कम महलो कार्डिनल्स का सेट स्थिर सेट है।

समतुल्य सूत्रीकरण

किसी भी बेशुमार कार्डिनल κ के लिए निम्नलिखित समतुल्य हैं:

1. κ कमजोर रूप से सघन है.
2. प्रत्येक λ<κ, प्राकृत संख्या n ≥ 2, और फलन f के लिए: [κ]ⁿ → λ, कार्डिनैलिटी κ का एक सेट है जो f के लिए सजातीय (बड़ी कार्डिनल संपत्ति) है। (Drake 1974, chapter 7 theorem 3.5)
3. κ दुर्गम कार्डिनल है और इसमें पेड़ की संपत्ति है, यानी, ऊंचाई के प्रत्येक पेड़ (सेट सिद्धांत) में या तो आकार का स्तर κ है या आकार की एक शाखा है।
4. कार्डिनैलिटी κ के प्रत्येक रैखिक क्रम में ऑर्डर प्रकार κ का एक आरोही या अवरोही क्रम होता है।
5. κ है $\Pi _{1}^{1}$-पूरी तरह से अवर्णनीय कार्डिनल.
6. κ में विस्तार गुण है. दूसरे शब्दों में, सभी U ⊂ V के लिए_κ κ ∈ X और एक उपसमुच्चय S ⊂ X के साथ एक सकर्मक समुच्चय_κ, ∈, U) (X, ∈, S) की एक प्रारंभिक उपसंरचना है। यहां, यू और एस को एकात्मक विधेय (गणितीय तर्क) के रूप में माना जाता है।
7. κ के उपसमुच्चय की कार्डिनैलिटी κ के प्रत्येक सेट S के लिए, एक गैर-तुच्छ κ-पूर्ण फ़िल्टर है जो S का निर्णय लेता है।
8. κ κ-प्रकट करने योग्य कार्डिनल है।
9. κ अप्राप्य है और अनन्त भाषा L_κ,κ कमजोर सघनता प्रमेय को संतुष्ट करता है।
10. κ अप्राप्य है और अनन्त भाषा L_κ,ω कमजोर सघनता प्रमेय को संतुष्ट करता है।
11. κ दुर्गम है और प्रत्येक सकर्मक सेट के लिए $M$ कार्डिनैलिटी का κ साथ κ $\in M$, ${}^{<\kappa }M\subset M$, और ZFC के पर्याप्त बड़े टुकड़े को संतुष्ट करते हुए, एक प्राथमिक एम्बेडिंग है $j$ से $M$ एक सकर्मक समुच्चय के लिए $N$ कार्डिनैलिटी का κ ऐसा कि $^{<\kappa }N\subset N$, महत्वपूर्ण बिंदु (सेट सिद्धांत) के साथ $crit(j)=$क। (Hauser 1991, Theorem 1.3)

एक भाषा एल_κ,κ ऐसा कहा जाता है कि यह कमजोर कॉम्पैक्टनेस प्रमेय को संतुष्ट करता है यदि जब भी Σ अधिकतम κ पर कार्डिनलिटी के वाक्यों का एक सेट होता है और κ से कम तत्वों वाले प्रत्येक उपसमूह में एक मॉडल होता है, तो Σ का एक मॉडल होता है। वाक्यों के सेट की कार्डिनैलिटी पर प्रतिबंध के बिना दृढ़ता से कॉम्पैक्ट कार्डिनल्स को समान तरीके से परिभाषित किया गया है।

यह भी देखें

• बड़ी कार्डिनल संपत्तियों की सूची

संदर्भ

• Drake, F. R. (1974), Set Theory: An Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics, vol. 76, Elsevier Science Ltd, ISBN 0-444-10535-2
• Erdős, Paul; Tarski, Alfred (1961), "On some problems involving inaccessible cardinals", Essays on the foundations of mathematics, Jerusalem: Magnes Press, Hebrew Univ., pp. 50–82, MR 0167422
• Hauser, Kai (1991), "Indescribable Cardinals and Elementary Embeddings", Journal of Symbolic Logic, Association for Symbolic Logic, 56 (2): 439–457, doi:10.2307/2274692, JSTOR 2274692, S2CID 288779
• Kanamori, Akihiro (2003), The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (2nd ed.), Springer, ISBN 3-540-00384-3