वीकली कॉम्पैक्ट कार्डिनल: Difference between revisions

From Vigyanwiki
No edit summary
 
(8 intermediate revisions by 5 users not shown)
Line 1: Line 1:
गणित में, कमजोर रूप से कॉम्पैक्ट कार्डिनल एक निश्चित प्रकार का [[ बुनियादी संख्या ]] होता है जिसे पेश किया जाता है {{harvtxt|Erdős|Tarski|1961}}; कमजोर रूप से सघन कार्डिनल बड़े कार्डिनल होते हैं, जिसका अर्थ है कि उनका अस्तित्व [[ZFC]] से सिद्ध नहीं किया जा सकता है। (टार्स्की ने मूल रूप से उन्हें दृढ़ता से असंबद्ध कार्डिनल नहीं कहा था।)
गणित में, '''वीकली कॉम्पैक्ट कार्डिनल''' एक निश्चित प्रकार की[[ बुनियादी संख्या | कार्डिनल संख्या]] है जिसे {{harvtxt|एर्डो|टार्स्की|1961}} द्वारा प्रस्तुत किया गया है; अशक्त सघन कार्डिनल बड़े कार्डिनल होते हैं, जिसका अर्थ है कि उनका अस्तित्व [[ZFC|सेट सिद्धांत के मानक सिद्धांतों]] से सिद्ध नहीं किया जा सकता है। (टार्स्की ने मूल रूप से उन्हें दृढ़ता से असंबद्ध कार्डिनल नहीं कहा था।)


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


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


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


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


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


# κ कमजोर रूप से सघन है.
# κ अशक्त सघन है.
# प्रत्येक λ<κ, प्राकृत संख्या n ≥ 2, और फलन f के लिए: [κ]<sup>n</sup> → λ, कार्डिनैलिटी κ का एक सेट है जो f के लिए सजातीय (बड़ी कार्डिनल संपत्ति) है। {{harv|Drake|1974|loc=chapter 7 theorem 3.5}}
#प्रत्येक λ<κ, प्राकृत संख्या n ≥ 2, और फलन f: [κ]<sup>n</sup> → λ के लिए, कार्डिनैलिटी κ का सेट है जो f के लिए सजातीय (बड़ी कार्डिनल गुण) है। {{harv|ड्रेक|1974|loc=अध्याय 7 प्रमेय 3.5}}
# κ [[दुर्गम कार्डिनल]] है और इसमें पेड़ की संपत्ति है, यानी, ऊंचाई के प्रत्येक पेड़ (सेट सिद्धांत) में या तो आकार का स्तर κ है या आकार की एक शाखा है।
# κ [[दुर्गम कार्डिनल|अप्राप्य कार्डिनल]] है और इसमें ट्री की गुण है, अर्थात, ऊंचाई वाले प्रत्येक ट्री (सेट सिद्धांत) में या तो आकार κ का स्तर होता है या आकार κ की एक शाखा होती है।
# कार्डिनैलिटी κ के प्रत्येक रैखिक क्रम में ऑर्डर प्रकार κ का एक आरोही या अवरोही क्रम होता है।
# कार्डिनैलिटी κ के प्रत्येक रैखिक क्रम में ऑर्डर प्रकार κ का एक आरोही या अवरोही क्रम होता है।
# κ है <math>\Pi^1_1</math>-[[पूरी तरह से अवर्णनीय कार्डिनल]].
# κ <math>\Pi^1_1</math>-[[पूरी तरह से अवर्णनीय कार्डिनल|अवर्णनीय कार्डिनल]] है।
# κ में विस्तार गुण है. दूसरे शब्दों में, सभी U ⊂ V के लिए<sub>κ</sub> κ ∈ X और एक उपसमुच्चय S ⊂ X के साथ एक सकर्मक समुच्चय<sub>κ</sub>, ∈, U) (X, ∈, S) की एक [[प्रारंभिक उपसंरचना]] है। यहां, यू और एस को एकात्मक [[विधेय (गणितीय तर्क)]] के रूप में माना जाता है।
#κ में विस्तार गुण है। दूसरे शब्दों में, सभी U ⊂ V<sub>κ</sub> के लिए κ ∈ X और एक उपसमुच्चय S ⊂ X के साथ सकर्मक समुच्चय (''V''<sub>κ</sub>, ∈, ''U'') (X, ∈, S) की [[प्रारंभिक उपसंरचना]] है। यहां, U और S को एकात्मक [[विधेय (गणितीय तर्क)]] के रूप में माना जाता है।
# κ के उपसमुच्चय की कार्डिनैलिटी κ के प्रत्येक सेट S के लिए, एक गैर-तुच्छ κ-पूर्ण फ़िल्टर है जो S का निर्णय लेता है।
#κ के उपसमुच्चय की कार्डिनैलिटी κ के प्रत्येक सेट S के लिए, गैर-तुच्छ κ-पूर्ण फ़िल्टर है जो S का निर्णय लेता है।
# κ κ-[[ प्रकट करने योग्य कार्डिनल ]] है।
# κ κ-[[ प्रकट करने योग्य कार्डिनल | प्रकट करने योग्य कार्डिनल]] है।
# κ अप्राप्य है और अनन्त भाषा L<sub>κ,κ</sub> कमजोर सघनता प्रमेय को संतुष्ट करता है।
# κ अप्राप्य है और अनन्त भाषा L<sub>κ,κ</sub> कमजोर सघनता प्रमेय को संतुष्ट करता है।
# κ अप्राप्य है और अनन्त भाषा L<sub>κ,ω</sub> कमजोर सघनता प्रमेय को संतुष्ट करता है।
# κ अप्राप्य है और अनन्त भाषा L<sub>κ,ω</sub> कमजोर सघनता प्रमेय को संतुष्ट करता है।
# κ दुर्गम है और प्रत्येक सकर्मक सेट के लिए <math>M</math> कार्डिनैलिटी का κ साथ κ <math>\in M</math>, <math>{}^{<\kappa}M\subset M</math>, और ZFC के पर्याप्त बड़े टुकड़े को संतुष्ट करते हुए, एक [[प्राथमिक एम्बेडिंग]] है <math>j</math> से <math>M</math> एक सकर्मक समुच्चय के लिए <math>N</math> कार्डिनैलिटी का κ ऐसा कि <math>^{<\kappa}N\subset N</math>, [[ महत्वपूर्ण बिंदु (सेट सिद्धांत) ]] के साथ <math>crit(j)=</math>क। {{harv|Hauser|1991|loc=Theorem 1.3}}
# κ अप्राप्य है और कार्डिनैलिटी के प्रत्येक सकर्मक सेट <math>M</math> के लिए κ <math>\in M</math>, <math>{}^{<\kappa}M\subset M</math> κ साथ, और ZFC के पर्याप्त बड़े टुकड़े को संतुष्ट करने के लिए, <math>M</math> से कार्डिनैलिटी के एक सकर्मक सेट <math>N</math> में एक [[प्राथमिक एम्बेडिंग]] <math>j</math> है, जैसे कि उपसमुच्चय <math>^{<\kappa}N\subset N</math>, [[ महत्वपूर्ण बिंदु (सेट सिद्धांत) |महत्वपूर्ण बिंदु (सेट सिद्धांत)]] <math>crit(j)=</math>κ के साथ। {{harv|हौसर|1991|loc=प्रमेय 1.3}}


एक भाषा एल<sub>κ,κ</sub> ऐसा कहा जाता है कि यह कमजोर कॉम्पैक्टनेस प्रमेय को संतुष्ट करता है यदि जब भी Σ अधिकतम κ पर कार्डिनलिटी के वाक्यों का एक सेट होता है और κ से कम तत्वों वाले प्रत्येक उपसमूह में एक मॉडल होता है, तो Σ का एक मॉडल होता है। वाक्यों के सेट की कार्डिनैलिटी पर प्रतिबंध के बिना [[दृढ़ता से कॉम्पैक्ट कार्डिनल]]्स को समान तरीके से परिभाषित किया गया है।
भाषा ''L''<sub>κ,κ</sub> ऐसा कहा जाता है कि यह कमजोर सघननेस प्रमेय को संतुष्ट करता है यदि जब भी Σ अधिकतम κ पर कार्डिनलिटी के वाक्यों का सेट होता है और κ से कम तत्वों वाले प्रत्येक उपसमूह में मॉडल होता है, तो Σ का मॉडल होता है। वाक्यों के सेट की कार्डिनैलिटी पर प्रतिबंध के बिना [[दृढ़ता से कॉम्पैक्ट कार्डिनल|दृढ़ता से सघन कार्डिनल]] को समान प्रणाली से परिभाषित किया गया है।


==यह भी देखें==
==यह भी देखें==
*[[बड़ी कार्डिनल संपत्तियों की सूची]]
*[[बड़ी कार्डिनल संपत्तियों की सूची|बड़ी कार्डिनल गुणयों की सूची]]


== संदर्भ ==
== संदर्भ ==
Line 34: Line 34:
* {{citation|last=Hauser|first=Kai|year=1991|title=Indescribable Cardinals and Elementary Embeddings|journal=Journal of Symbolic Logic|volume=56|issue=2 |publisher=Association for Symbolic Logic|pages=439–457|doi=10.2307/2274692|jstor=2274692 |s2cid=288779 }}
* {{citation|last=Hauser|first=Kai|year=1991|title=Indescribable Cardinals and Elementary Embeddings|journal=Journal of Symbolic Logic|volume=56|issue=2 |publisher=Association for Symbolic Logic|pages=439–457|doi=10.2307/2274692|jstor=2274692 |s2cid=288779 }}
* {{citation|last=Kanamori|first=Akihiro|authorlink=Akihiro Kanamori|year=2003|publisher=Springer|title=The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings|title-link= The Higher Infinite |edition=2nd |isbn= 3-540-00384-3}}
* {{citation|last=Kanamori|first=Akihiro|authorlink=Akihiro Kanamori|year=2003|publisher=Springer|title=The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings|title-link= The Higher Infinite |edition=2nd |isbn= 3-540-00384-3}}
[[Category: बड़े कार्डिनल]]


[[Category: Machine Translated Page]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:बड़े कार्डिनल]]

Latest revision as of 16:47, 12 September 2023

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

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

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

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

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

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

  1. κ अशक्त सघन है.
  2. प्रत्येक λ<κ, प्राकृत संख्या n ≥ 2, और फलन f: [κ]n → λ के लिए, कार्डिनैलिटी κ का सेट है जो f के लिए सजातीय (बड़ी कार्डिनल गुण) है। (ड्रेक 1974, अध्याय 7 प्रमेय 3.5)
  3. κ अप्राप्य कार्डिनल है और इसमें ट्री की गुण है, अर्थात, ऊंचाई वाले प्रत्येक ट्री (सेट सिद्धांत) में या तो आकार κ का स्तर होता है या आकार κ की एक शाखा होती है।
  4. कार्डिनैलिटी κ के प्रत्येक रैखिक क्रम में ऑर्डर प्रकार κ का एक आरोही या अवरोही क्रम होता है।
  5. κ -अवर्णनीय कार्डिनल है।
  6. κ में विस्तार गुण है। दूसरे शब्दों में, सभी U ⊂ Vκ के लिए κ ∈ X और एक उपसमुच्चय S ⊂ X के साथ सकर्मक समुच्चय (Vκ, ∈, U) (X, ∈, S) की प्रारंभिक उपसंरचना है। यहां, U और S को एकात्मक विधेय (गणितीय तर्क) के रूप में माना जाता है।
  7. κ के उपसमुच्चय की कार्डिनैलिटी κ के प्रत्येक सेट S के लिए, गैर-तुच्छ κ-पूर्ण फ़िल्टर है जो S का निर्णय लेता है।
  8. κ κ- प्रकट करने योग्य कार्डिनल है।
  9. κ अप्राप्य है और अनन्त भाषा Lκ,κ कमजोर सघनता प्रमेय को संतुष्ट करता है।
  10. κ अप्राप्य है और अनन्त भाषा Lκ,ω कमजोर सघनता प्रमेय को संतुष्ट करता है।
  11. κ अप्राप्य है और कार्डिनैलिटी के प्रत्येक सकर्मक सेट के लिए κ , κ साथ, और ZFC के पर्याप्त बड़े टुकड़े को संतुष्ट करने के लिए, से कार्डिनैलिटी के एक सकर्मक सेट में एक प्राथमिक एम्बेडिंग है, जैसे कि उपसमुच्चय , महत्वपूर्ण बिंदु (सेट सिद्धांत) κ के साथ। (हौसर 1991, प्रमेय 1.3)

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

यह भी देखें

संदर्भ

  • 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
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=वीकली_कॉम्पैक्ट_कार्डिनल&oldid=256948’