वुडिन कार्डिनल: Difference between revisions

Revision as of 13:24, 27 May 2023

समुच्चय सिद्धांत में, एक वुडिन कार्डिनल (डब्ल्यू. ह्यूग वुडिन के नाम पर) एक कार्डिनल संख्या $\lambda$ जो कि सभी फलनों के लिए है

f:\lambda \to \lambda

एक कार्डिनल $\kappa <\lambda$ निहित है

\{f(\beta )\mid \beta <\kappa \}\subseteq \kappa

और एक प्राथमिक एम्बेडिंग

j:V\to M

वॉन न्यूमैन ब्रह्मांड $V$ से एक सकर्मक आंतरिक मॉडल $M$ में महत्वपूर्ण बिंदु $\kappa$ और

V_{j(f)(\kappa )}\subseteq M

के साथ है।

एक समतुल्य परिभाषा यह है: $\lambda$ वुडिन है अगर और केवल अगर $\lambda$ दुर्गम कार्डिनल है और सभी $A\subseteq V_{\lambda }$ के लिए एक $\lambda _{A}<\lambda$ निहित है जो $<\lambda$ - $A$ -मज़बूत है।

$\lambda _{A}$ $<\lambda$ - $A$ -मजबूत होने का मतलब है कि सभी क्रमिक संख्याओं के लिए $\alpha <\lambda$ , वहाँ एक $j:V\to M$ निहित है जो महत्वपूर्ण बिंदु $\lambda _{A}$ , $j(\lambda _{A})>\alpha$ , $V_{\alpha }\subseteq M$ और $j(A)\cap V_{\alpha }=A\cap V_{\alpha }$ के साथ एक प्राथमिक एम्बेडिंग है। (मजबूत कार्डिनल भी देखें।)

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

परिणाम

वर्णनात्मक सेट सिद्धांत में वुडिन कार्डिनल्स महत्वपूर्ण हैं। डोनाल्ड ए. मार्टिन और जॉन आर. स्टील के परिणाम से^[1], असीमित रूप से कई वुडिन कार्डिनल्स का अस्तित्व प्रोजेक्टिव निर्धारणा का तात्पर्य है, जिसका अर्थ है कि प्रत्येक प्रोजेक्टिव सेट लेबेसेग औसत दर्जे का है, बेयर संपत्ति है (एक अल्प सेट द्वारा एक खुले सेट से अलग है, जो है) , एक सेट जो कहीं भी घने सेटों का एक गणनीय संघ नहीं है), और सही सेट संपत्ति (या तो गणनीय है या एक बिल्कुल सही सेट सबसेट है)।

दृढ़ संकल्प परिकल्पनाओं का उपयोग करके वुडिन कार्डिनल्स के अस्तित्व की स्थिरता साबित की जा सकती है। ज़र्मेलो-फ्रेंकेल सेट थ्योरी में कार्य करना + नियतत्व का स्वयंसिद्ध + निर्भर विकल्प का स्वयंसिद्ध सिद्ध कर सकता है कि $\Theta _{0}$ वुडिन आनुवंशिक रूप से क्रमिक-निश्चित सेटों की कक्षा में है। $\Theta _{0}$ पहला क्रमसूचक है जिस पर क्रमसूचक-परिभाषा अनुमान द्वारा सातत्य को प्रतिचित्रित नहीं किया जा सकता है (देखें Θ (सेट सिद्धांत))।

मिशेल और स्टील ने दिखाया कि एक वुडिन कार्डिनल निहित है, एक वुडिन कार्डिनल युक्त एक आंतरिक मॉडल है जिसमें एक है $\Delta _{4}^{1}$ -वास्तविकता का क्रम, हीरा सिद्धांत|◊ धारण करता है, और सामान्यीकृत सातत्य परिकल्पना धारण करता है।^[2] सहारों शेलाह ने साबित किया कि यदि वुडिन कार्डिनल का अस्तित्व सुसंगत है तो यह सुसंगत है कि गैर-स्थिर आदर्श $\omega _{1}$ है $\aleph _{2}$ -संतृप्त। वुडिन ने असीम रूप से कई वुडिन कार्डिनल्स के अस्तित्व और एक के अस्तित्व की समानता को भी साबित किया $\aleph _{1}$ -सघन आदर्श ओवर $\aleph _{1}$ .

हाइपर-वुडिन कार्डिनल्स

एक कार्डिनल संख्या $\kappa$ हाइपर-वुडिन कहा जाता है यदि कोई सामान्य उपाय निहित हो $U$ पर $\kappa$ ऐसा कि हर सेट के लिए $S$ , सेट

\{\lambda <\kappa \mid \lambda

है

<\kappa

-

S

-मजबूत कार्डिनल

\}

में है $U$ .

$\lambda$ है $<\kappa$ - $S$ -मजबूत अगर और केवल अगर प्रत्येक के लिए $\delta <\kappa$ एक सकर्मक वर्ग है $N$ और एक प्राथमिक एम्बेडिंग

j:V\to N

साथ

\lambda ={\text{crit}}(j),

j(\lambda )\geq \delta

, और

j(S)\cap H_{\delta }=S\cap H_{\delta }

.

यह नाम शास्त्रीय परिणाम की ओर इशारा करता है कि एक कार्डिनल वुडिन है अगर और केवल अगर हर सेट के लिए $S$ , सेट

\{\lambda <\kappa \mid \lambda

है

<\kappa

-

S

-मजबूत कार्डिनल

\}

एक स्थिर सेट है।

पैमाना $U$ नीचे सभी शेलाह कार्डिनल्स का सेट होगा $\kappa$ .

कमजोर हाइपर-वुडिन कार्डिनल्स

एक कार्डिनल संख्या $\kappa$ प्रत्येक सेट के लिए कमजोर रूप से हाइपर-वुडिन कहा जाता है $S$ एक सामान्य उपाय निहित है $U$ पर $\kappa$ ऐसा सेट $\{\lambda <\kappa \mid \lambda$ है $<\kappa$ - $S$ -मजबूत कार्डिनल $\}$ में है $U$ . $\lambda$ है $<\kappa$ - $S$ -मजबूत अगर और केवल अगर प्रत्येक के लिए $\delta <\kappa$ एक सकर्मक वर्ग है $N$ और एक प्राथमिक एम्बेडिंग $j:V\to N$ साथ $\lambda ={\text{crit}}(j)$ , $j(\lambda )\geq \delta$ , और $j(S)\cap H_{\delta }=S\cap H_{\delta }.$ यह नाम क्लासिक परिणाम की ओर इशारा करता है कि हर सेट के लिए एक कार्डिनल वुडिन है $S$ , सेट $\{\lambda <\kappa \mid \lambda$ है $<\kappa$ - $S$ -मजबूत कार्डिनल $\}$ स्थिर है।

हाइपर-वुडिन कार्डिनल्स और कमजोर हाइपर-वुडिन कार्डिनल्स के बीच का अंतर यह है कि किसकी पसंद है $U$ सेट की पसंद पर निर्भर नहीं करता है $S$ हाइपर-वुडिन कार्डिनल्स के लिए।

नोट्स और संदर्भ

↑ A Proof of Projective Determinacy
↑ W. Mitchell, Inner models for large cardinals (2012, p.32). Accessed 2022-12-08.

अग्रिम पठन

Kanamori, Akihiro (2003). The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (2nd ed.). Springer. ISBN 3-540-00384-3.
For proofs of the two results listed in consequences see Handbook of Set Theory (Eds. Foreman, Kanamori, Magidor) (to appear). Drafts of some chapters are available.
Ernest Schimmerling, Woodin cardinals, Shelah cardinals and the Mitchell-Steel core model, Proceedings of the American Mathematical Society 130/11, pp. 3385–3391, 2002, online
Steel, John R. (October 2007). "What is a Woodin Cardinal?" (PDF). Notices of the American Mathematical Society. 54 (9): 1146–7. Retrieved 2008-01-15.

[1] A Proof of Projective Determinacy

[2] W. Mitchell, Inner models for large cardinals (2012, p.32). Accessed 2022-12-08.

[1]

[2]

@@ Line 1: / Line 1: @@
-{{Technical|date=February 2023}}
+{{Technical|date=फ़रवरी 2023}}
-समुच्चय सिद्धांत में, एक वुडिन [[बुनियादी संख्या]]डब्ल्यू. ह्यूग वुडिन के नाम पर) एक कार्डिनल संख्या है <math>\lambda</math> ऐसा कि सभी कार्यों के लिए
+समुच्चय सिद्धांत में, एक वुडिन [[बुनियादी संख्या|कार्डिनल]] (डब्ल्यू. ह्यूग वुडिन के नाम पर) एक कार्डिनल संख्या <math>\lambda</math> जो कि सभी फलनों के लिए है
 :<math>f : \lambda \to \lambda</math>
-एक कार्डिनल मौजूद है <math>\kappa < \lambda</math> साथ
+एक कार्डिनल <math>\kappa < \lambda</math> निहित है
 : <math>\{f(\beta) \mid \beta < \kappa \} \subseteq \kappa</math>
@@ Line 10: / Line 10: @@
 :<math>j : V \to M</math>
-वॉन न्यूमैन ब्रह्मांड से <math>V</math> एक सकर्मक [[आंतरिक मॉडल]] में <math>M</math> [[महत्वपूर्ण बिंदु (सेट सिद्धांत)]] के साथ <math>\kappa</math> और
+वॉन न्यूमैन ब्रह्मांड <math>V</math> से एक सकर्मक [[आंतरिक मॉडल]] <math>M</math> में [[महत्वपूर्ण बिंदु (सेट सिद्धांत)|महत्वपूर्ण बिंदु]] <math>\kappa</math> और
-:<math>V_{j(f)(\kappa)} \subseteq M.</math>
+:<math>V_{j(f)(\kappa)} \subseteq M</math> के साथ है।
-एक समतुल्य परिभाषा यह है: <math>\lambda</math> वुडिन है [[अगर और केवल अगर]] <math>\lambda</math> [[दुर्गम कार्डिनल]] है और सभी के लिए <math>A \subseteq V_\lambda</math> एक मौजूद है <math>\lambda_A < \lambda</math> जो है <math><\lambda</math>-<math>A</math>-मज़बूत।
+एक समतुल्य परिभाषा यह है: <math>\lambda</math> वुडिन है [[अगर और केवल अगर]] <math>\lambda</math> [[दुर्गम कार्डिनल]] है और सभी <math>A \subseteq V_\lambda</math> के लिए एक <math>\lambda_A < \lambda</math> निहित है जो <math><\lambda</math>-<math>A</math>-मज़बूत है।
-<math>\lambda _A</math> प्राणी <math><\lambda</math>-<math>A</math>-मजबूत का मतलब है कि सभी क्रमिक संख्या के लिए <math>\alpha < \lambda </math>, वहाँ एक मौजूद है <math>j: V \to M</math> जो महत्वपूर्ण बिंदु (सेट सिद्धांत) के साथ एक प्राथमिक एम्बेडिंग है <math>\lambda _A</math>, <math>j(\lambda _A) > \alpha</math>, <math>V_\alpha \subseteq M</math> और <math>j(A) \cap V_\alpha = A \cap V_\alpha</math>. ([[मजबूत कार्डिनल]] भी देखें।)
+<math>\lambda _A</math>  <math><\lambda</math>-<math>A</math>-मजबूत होने का मतलब है कि सभी क्रमिक संख्याओं के लिए  <math>\alpha < \lambda </math>, वहाँ एक <math>j: V \to M</math>  निहित है जो महत्वपूर्ण बिंदु <math>\lambda _A</math>, <math>j(\lambda _A) > \alpha</math>, <math>V_\alpha \subseteq M</math> और <math>j(A) \cap V_\alpha = A \cap V_\alpha</math> के साथ एक प्राथमिक एम्बेडिंग है। ([[मजबूत कार्डिनल]] भी देखें।)
-एक वुडिन कार्डिनल [[मापने योग्य कार्डिनल]]्स के एक [[स्थिर सेट]] से पहले होता है, और इस प्रकार यह एक [[कार्डिनल आंखें]] है। हालांकि, पहला वुडिन कार्डिनल कमजोर रूप [[कमजोर कॉम्पैक्ट कार्डिनल]] भी नहीं है।
+एक वुडिन कार्डिनल [[मापने योग्य कार्डिनल|मापने योग्य कार्डिनल्स]] के एक [[स्थिर सेट]] से पहले होता है, और इस प्रकार यह एक [[कार्डिनल आंखें|महलो कार्डिनल]] है। हालांकि, पहला वुडिन कार्डिनल कमजोर रूप [[कमजोर कॉम्पैक्ट कार्डिनल|सघन]] भी नहीं है।
 == परिणाम ==
-[[वर्णनात्मक सेट सिद्धांत]] में वुडिन कार्डिनल्स महत्वपूर्ण हैं। परिणाम से<ref>[https://www.jstor.org/stable/1990913 A Proof of Projective Determinacy]</ref> डोनाल्ड ए. मार्टिन और जॉन आर. स्टील की, असीम रूप से कई वुडिन कार्डिनल्स का अस्तित्व प्रोजेक्टिव निर्धारणा का तात्पर्य है, जिसका अर्थ है कि प्रत्येक प्रोजेक्टिव सेट लेबेसेग औसत दर्जे का है, बेयर संपत्ति है (एक [[अल्प सेट]] द्वारा एक खुले सेट से अलग है, जो है) , एक सेट जो कहीं भी घने सेटों का एक गणनीय संघ नहीं है), और [[सही सेट संपत्ति]] (या तो गणनीय है या एक [[बिल्कुल सही सेट]] सबसेट है)।
+[[वर्णनात्मक सेट सिद्धांत]] में वुडिन कार्डिनल्स महत्वपूर्ण हैं। डोनाल्ड ए. मार्टिन और जॉन आर. स्टील के परिणाम से<ref>[https://www.jstor.org/stable/1990913 A Proof of Projective Determinacy]</ref>, असीमित रूप से कई वुडिन कार्डिनल्स का अस्तित्व प्रोजेक्टिव निर्धारणा का तात्पर्य है, '''जिसका अर्थ है''' कि प्रत्येक प्रोजेक्टिव सेट लेबेसेग औसत दर्जे का है, बेयर संपत्ति है (एक [[अल्प सेट]] द्वारा एक खुले सेट से अलग है, जो है) , एक सेट जो कहीं भी घने सेटों का एक गणनीय संघ नहीं है), और [[सही सेट संपत्ति]] (या तो गणनीय है या एक [[बिल्कुल सही सेट]] सबसेट है)।
 दृढ़ संकल्प परिकल्पनाओं का उपयोग करके वुडिन कार्डिनल्स के अस्तित्व की स्थिरता साबित की जा सकती है। ज़र्मेलो-फ्रेंकेल सेट थ्योरी में कार्य करना + नियतत्व का स्वयंसिद्ध + निर्भर विकल्प का स्वयंसिद्ध सिद्ध कर सकता है कि <math>\Theta _0</math> वुडिन आनुवंशिक रूप से क्रमिक-निश्चित सेटों की कक्षा में है। <math>\Theta _0</math> पहला क्रमसूचक है जिस पर क्रमसूचक-परिभाषा अनुमान द्वारा सातत्य को प्रतिचित्रित नहीं किया जा सकता है (देखें Θ (सेट सिद्धांत))।
-मिशेल और स्टील ने दिखाया कि एक वुडिन कार्डिनल मौजूद है, एक वुडिन कार्डिनल युक्त एक आंतरिक मॉडल है जिसमें एक है <math>\Delta_4^1</math>-वास्तविकता का क्रम, हीरा सिद्धांत|◊ धारण करता है, और [[सामान्यीकृत सातत्य परिकल्पना]] धारण करता है।<ref>W. Mitchell, [https://www.semanticscholar.org/paper/Inner-Models-for-Large-Cardinals-Mitchell/ecf7380a4468e233a23282157b318e20156e3a1a Inner models for large cardinals] (2012, p.32). Accessed 2022-12-08.</ref>
+मिशेल और स्टील ने दिखाया कि एक वुडिन कार्डिनल निहित है, एक वुडिन कार्डिनल युक्त एक आंतरिक मॉडल है जिसमें एक है <math>\Delta_4^1</math>-वास्तविकता का क्रम, हीरा सिद्धांत|◊ धारण करता है, और [[सामान्यीकृत सातत्य परिकल्पना]] धारण करता है।<ref>W. Mitchell, [https://www.semanticscholar.org/paper/Inner-Models-for-Large-Cardinals-Mitchell/ecf7380a4468e233a23282157b318e20156e3a1a Inner models for large cardinals] (2012, p.32). Accessed 2022-12-08.</ref>
 [[सहारों शेलाह]] ने साबित किया कि यदि वुडिन कार्डिनल का अस्तित्व सुसंगत है तो यह सुसंगत है कि गैर-स्थिर आदर्श <math>\omega_1</math> है <math>\aleph_2</math>-संतृप्त।
 वुडिन ने असीम रूप से कई वुडिन कार्डिनल्स के अस्तित्व और एक के अस्तित्व की समानता को भी साबित किया <math>\aleph_1</math>-सघन आदर्श ओवर <math>\aleph_1</math>.
 == हाइपर-वुडिन कार्डिनल्स ==
-एक कार्डिनल संख्या <math>\kappa</math> हाइपर-वुडिन कहा जाता है यदि कोई [[सामान्य उपाय]] मौजूद हो <math>U</math> पर <math>\kappa</math> ऐसा कि हर सेट के लिए <math>S</math>, सेट
+एक कार्डिनल संख्या <math>\kappa</math> हाइपर-वुडिन कहा जाता है यदि कोई [[सामान्य उपाय]] निहित हो <math>U</math> पर <math>\kappa</math> ऐसा कि हर सेट के लिए <math>S</math>, सेट
 :<math>\{\lambda < \kappa \mid \lambda</math> है <math>< \kappa</math>-<math>S</math>-मजबूत कार्डिनल<math>\}</math>
@@ Line 53: / Line 53: @@
 == कमजोर हाइपर-वुडिन कार्डिनल्स ==
-एक कार्डिनल संख्या <math>\kappa</math> प्रत्येक सेट के लिए कमजोर रूप से हाइपर-वुडिन कहा जाता है <math>S</math> एक सामान्य उपाय मौजूद है <math>U</math> पर <math>\kappa</math> ऐसा सेट <math>\{\lambda < \kappa \mid \lambda</math> है <math>< \kappa</math>-<math>S</math>-मजबूत कार्डिनल<math>\}</math> में है <math>U</math>. <math>\lambda</math> है <math><\kappa</math>-<math>S</math>-मजबूत अगर और केवल अगर प्रत्येक के लिए <math>\delta < \kappa</math> एक सकर्मक वर्ग है <math>N</math> और एक प्राथमिक
+एक कार्डिनल संख्या <math>\kappa</math> प्रत्येक सेट के लिए कमजोर रूप से हाइपर-वुडिन कहा जाता है <math>S</math> एक सामान्य उपाय निहित है <math>U</math> पर <math>\kappa</math> ऐसा सेट <math>\{\lambda < \kappa \mid \lambda</math> है <math>< \kappa</math>-<math>S</math>-मजबूत कार्डिनल<math>\}</math> में है <math>U</math>. <math>\lambda</math> है <math><\kappa</math>-<math>S</math>-मजबूत अगर और केवल अगर प्रत्येक के लिए <math>\delta < \kappa</math> एक सकर्मक वर्ग है <math>N</math> और एक प्राथमिक
 एम्बेडिंग <math>j : V \to N</math> साथ <math>\lambda = \text{crit}(j)</math>, <math>j(\lambda) \geq \delta</math>, और <math>j(S) \cap H_\delta = S \cap H_\delta.</math>
 यह नाम क्लासिक परिणाम की ओर इशारा करता है कि हर सेट के लिए एक कार्डिनल वुडिन है <math>S</math>, सेट <math>\{\lambda < \kappa \mid \lambda</math> है <math>< \kappa</math>-<math>S</math>-मजबूत कार्डिनल<math>\}</math> स्थिर है।

Anonymous

Search

वुडिन कार्डिनल: Difference between revisions

Namespaces

More

Page actions

Revision as of 13:24, 27 May 2023

Contents

परिणाम

हाइपर-वुडिन कार्डिनल्स

कमजोर हाइपर-वुडिन कार्डिनल्स

नोट्स और संदर्भ

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

वुडिन कार्डिनल: Difference between revisions

Revision as of 13:24, 27 May 2023

परिणाम

हाइपर-वुडिन कार्डिनल्स

कमजोर हाइपर-वुडिन कार्डिनल्स

नोट्स और संदर्भ

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories