वुडिन कार्डिनल: Difference between revisions
(Created page with "{{Technical|date=February 2023}} समुच्चय सिद्धांत में, एक वुडिन बुनियादी संख्याडब्ल...") |
m (Deepak moved page वुड का कार्डिनल to वुडिन कार्डिनल without leaving a redirect) |
||
(11 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
समुच्चय सिद्धांत में, एक वुडिन [[बुनियादी संख्या|कार्डिनल]] (डब्ल्यू. ह्यूग वुडिन के नाम पर) एक कार्डिनल संख्या <math>\lambda</math> जो कि सभी फलनों के लिए है | |||
समुच्चय सिद्धांत में, एक वुडिन [[बुनियादी संख्या]]डब्ल्यू. ह्यूग वुडिन के नाम पर) एक कार्डिनल संख्या | |||
:<math>f : \lambda \to \lambda</math> | :<math>f : \lambda \to \lambda</math> | ||
एक कार्डिनल | एक कार्डिनल <math>\kappa < \lambda</math> निहित है | ||
: <math>\{f(\beta) \mid \beta < \kappa \} \subseteq \kappa</math> | : <math>\{f(\beta) \mid \beta < \kappa \} \subseteq \kappa</math> | ||
Line 10: | Line 8: | ||
:<math>j : V \to M</math> | :<math>j : V \to M</math> | ||
वॉन न्यूमैन ब्रह्मांड | वॉन न्यूमैन ब्रह्मांड <math>V</math> से एक सकर्मक [[आंतरिक मॉडल]] <math>M</math> में [[महत्वपूर्ण बिंदु (सेट सिद्धांत)|महत्वपूर्ण बिंदु]] <math>\kappa</math> और | ||
:<math>V_{j(f)(\kappa)} \subseteq M | :<math>V_{j(f)(\kappa)} \subseteq M</math> के साथ है। | ||
एक समतुल्य परिभाषा यह है: <math>\lambda</math> वुडिन है [[अगर और केवल अगर]] <math>\lambda</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 _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>, असीमित रूप से कई वुडिन कार्डिनल्स का अस्तित्व प्रोजेक्टिव निर्धारणा से तात्पर्य है, जिसका अर्थ है कि प्रत्येक प्रोजेक्टिव समुच्चय लेबेस्ग औसत दर्जे का है, बेयर गुणधर्म है (एक खुले समुच्चय से [[अल्प सेट|अल्प समुच्चय]] भिन्न होता है, जो कि एक समुच्चय है जो कहीं भी घने समुच्चयों का एक गणनीय संघ नहीं है), और [[सही सेट संपत्ति|सही समुच्चय गुणधर्म]] (या तो गणनीय है या एक [[बिल्कुल सही सेट|पूर्ण]] उपसमुच्चय है)। | ||
दृढ़ संकल्प परिकल्पनाओं का उपयोग करके वुडिन कार्डिनल्स के अस्तित्व की स्थिरता | दृढ़ संकल्प परिकल्पनाओं का उपयोग करके वुडिन कार्डिनल्स के अस्तित्व की स्थिरता सिद्ध की जा सकती है। ZF+AD+DCमें काम करना सिद्ध कर सकता है कि <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>\omega_1</math> पर गैर-स्थिर आदर्श <math>\aleph_2</math>-संतृप्त है। वुडिन ने असीम रूप से कई वुडिन कार्डिनल्स के अस्तित्व और <math>\aleph_1</math>के ऊपर एक <math>\aleph_1</math>-सघन आदर्श अस्तित्व की समानता को भी सिद्ध किया। | ||
== हाइपर-वुडिन कार्डिनल्स == | == हाइपर-वुडिन कार्डिनल्स == | ||
एक कार्डिनल संख्या <math>\kappa</math> हाइपर-वुडिन कहा जाता है यदि | एक कार्डिनल संख्या <math>\kappa</math> हाइपर-वुडिन कहा जाता है यदि <math>\kappa</math> पर एक सामान्य माप <math>U</math> निहित है जैसे कि प्रत्येक समुच्चय <math>S</math> के लिए, समुच्चय | ||
:<math>\{\lambda < \kappa \mid \lambda</math> है <math>< \kappa</math>-<math>S</math>-मजबूत कार्डिनल<math>\}</math> | :<math>\{\lambda < \kappa \mid \lambda</math> है <math>< \kappa</math>-<math>S</math>-मजबूत कार्डिनल<math>\}</math> | ||
<math>U</math> में है। | |||
<math>\lambda</math> | <math>\lambda</math> <math><\kappa</math>-<math>S</math>-मजबूत है अगर और केवल अगर प्रत्येक <math>\delta < \kappa</math> के लिए एक [[सकर्मक वर्ग|सकर्मक वर्ग <math>N</math>]] और एक प्राथमिक एम्बेडिंग है | ||
:<math>j : V \to N</math> | :<math>j : V \to N</math> | ||
Line 45: | Line 43: | ||
:<math>j(S) \cap H_\delta = S \cap H_\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> | :<math>\{\lambda < \kappa \mid \lambda</math> है <math>< \kappa</math>-<math>S</math>-मजबूत कार्डिनल<math>\}</math> | ||
एक स्थिर | एक स्थिर समुच्चय है। | ||
माप <math>U</math> में <math>\kappa</math> के नीचे सभी [[शेलाह कार्डिनल|शेलाह कार्डिनल्स]] का समुच्चय होगा। | |||
== कमजोर हाइपर-वुडिन कार्डिनल्स == | == कमजोर हाइपर-वुडिन कार्डिनल्स == | ||
एक कार्डिनल | एक कार्डिनल <math>\kappa</math> को हाइपर-वुडिन कहा जाता है यदि प्रत्येक समुच्चय <math>S</math> के लिए <math>\kappa</math> पर एक सामान्य उपाय माप <math>U</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>j : V \to N</math> | |||
हाइपर-वुडिन कार्डिनल्स और कमजोर हाइपर-वुडिन कार्डिनल्स के बीच का अंतर यह है कि | यह नाम चिर प्रतिष्ठित परिणाम की ओर संकेत करता है कि एक कार्डिनल वुडिन है यदि प्रत्येक समुच्चय <math>S</math> के लिए, समुच्चय <math>\{\lambda < \kappa \mid \lambda</math> है <math>< \kappa</math>-<math>S</math>-मजबूत कार्डिनल<math>\}</math> स्थिर है। | ||
हाइपर-वुडिन कार्डिनल्स और कमजोर हाइपर-वुडिन कार्डिनल्स के बीच का अंतर यह है कि <math>U</math> की पसंद हाइपर-वुडिन कार्डिनल्स और कमजोर हाइपर-वुडिन कार्डिनल्स के बीच का अंतर यह है कि हाइपर-वुडिन कार्डिनल्स के लिए <math>S</math> समुच्चय की पसंद पर निर्भर करता है। | |||
== नोट्स और संदर्भ == | == नोट्स और संदर्भ == | ||
Line 69: | Line 67: | ||
* {{cite journal | last = Steel | first = John R. | authorlink = John R. Steel |date=October 2007 | title = What is a Woodin Cardinal? | journal = [[Notices of the American Mathematical Society]] | volume = 54 | issue = 9 | pages = 1146–7 | url = http://www.ams.org/notices/200709/tx070901146p.pdf | accessdate = 2008-01-15 }} | * {{cite journal | last = Steel | first = John R. | authorlink = John R. Steel |date=October 2007 | title = What is a Woodin Cardinal? | journal = [[Notices of the American Mathematical Society]] | volume = 54 | issue = 9 | pages = 1146–7 | url = http://www.ams.org/notices/200709/tx070901146p.pdf | accessdate = 2008-01-15 }} | ||
{{DEFAULTSORT:Woodin Cardinal}} | {{DEFAULTSORT:Woodin Cardinal}} | ||
[[Category: Machine Translated Page]] | [[Category:Created On 25/05/2023|Woodin Cardinal]] | ||
[[Category: | [[Category:Machine Translated Page|Woodin Cardinal]] | ||
[[Category:Templates Vigyan Ready|Woodin Cardinal]] | |||
[[Category:निश्चय|Woodin Cardinal]] | |||
[[Category:बड़े कार्डिनल्स|Woodin Cardinal]] |
Latest revision as of 13:01, 14 September 2023
समुच्चय सिद्धांत में, एक वुडिन कार्डिनल (डब्ल्यू. ह्यूग वुडिन के नाम पर) एक कार्डिनल संख्या जो कि सभी फलनों के लिए है
एक कार्डिनल निहित है
और एक प्राथमिक एम्बेडिंग
वॉन न्यूमैन ब्रह्मांड से एक सकर्मक आंतरिक मॉडल में महत्वपूर्ण बिंदु और
- के साथ है।
एक समतुल्य परिभाषा यह है: वुडिन है अगर और केवल अगर दुर्गम कार्डिनल है और सभी के लिए एक निहित है जो --मज़बूत है।
--मजबूत होने का मतलब है कि सभी क्रमिक संख्याओं के लिए , वहाँ एक निहित है जो महत्वपूर्ण बिंदु , , और के साथ एक प्राथमिक एम्बेडिंग है। (मजबूत कार्डिनल भी देखें।)
एक वुडिन कार्डिनल मापने योग्य कार्डिनल्स के एक स्थिर समुच्चय से पहले होता है, और इस प्रकार यह एक महलो कार्डिनल है। हालांकि, पहला वुडिन कार्डिनल कमजोर रूप सघन भी नहीं है।
परिणाम
वर्णनात्मक समुच्चय सिद्धांत में वुडिन कार्डिनल्स महत्वपूर्ण हैं। डोनाल्ड ए. मार्टिन और जॉन आर. स्टील के परिणाम से[1], असीमित रूप से कई वुडिन कार्डिनल्स का अस्तित्व प्रोजेक्टिव निर्धारणा से तात्पर्य है, जिसका अर्थ है कि प्रत्येक प्रोजेक्टिव समुच्चय लेबेस्ग औसत दर्जे का है, बेयर गुणधर्म है (एक खुले समुच्चय से अल्प समुच्चय भिन्न होता है, जो कि एक समुच्चय है जो कहीं भी घने समुच्चयों का एक गणनीय संघ नहीं है), और सही समुच्चय गुणधर्म (या तो गणनीय है या एक पूर्ण उपसमुच्चय है)।
दृढ़ संकल्प परिकल्पनाओं का उपयोग करके वुडिन कार्डिनल्स के अस्तित्व की स्थिरता सिद्ध की जा सकती है। ZF+AD+DCमें काम करना सिद्ध कर सकता है कि आनुवंशिक रूप से क्रमिक-निश्चित समुच्चयों की कक्षा में वुडिन है। पहला क्रमसूचक है जिस पर क्रमसूचक-परिभाषा अनुमान द्वारा निरंतरता को प्रतिचित्रित नहीं किया जा सकता है (देखें Θ (समुच्चय सिद्धांत))।
मिशेल और स्टील ने दिखाया कि एक वुडिन कार्डिनल निहित है, एक वुडिन कार्डिनल युक्त एक आंतरिक मॉडल है जिसमें वास्तविकता का -क्रम है, जो ◊ होल्ड करता है, और सामान्यीकृत सातत्य परिकल्पना धारण करता है।[2]
शेलाह ने सिद्ध किया कि यदि वुडिन कार्डिनल का अस्तित्व सुसंगत है तो यह सुसंगत है कि पर गैर-स्थिर आदर्श -संतृप्त है। वुडिन ने असीम रूप से कई वुडिन कार्डिनल्स के अस्तित्व और के ऊपर एक -सघन आदर्श अस्तित्व की समानता को भी सिद्ध किया।
हाइपर-वुडिन कार्डिनल्स
एक कार्डिनल संख्या हाइपर-वुडिन कहा जाता है यदि पर एक सामान्य माप निहित है जैसे कि प्रत्येक समुच्चय के लिए, समुच्चय
- है --मजबूत कार्डिनल
में है।
--मजबूत है अगर और केवल अगर प्रत्येक के लिए एक सकर्मक वर्ग और एक प्राथमिक एम्बेडिंग है
साथ
- , और
- .
यह नाम चिर प्रतिष्ठित परिणाम की ओर संकेत करता है कि एक कार्डिनल वुडिन है अगर और केवल अगर हर समुच्चय के लिए, समुच्चय
- है --मजबूत कार्डिनल
एक स्थिर समुच्चय है।
माप में के नीचे सभी शेलाह कार्डिनल्स का समुच्चय होगा।
कमजोर हाइपर-वुडिन कार्डिनल्स
एक कार्डिनल को हाइपर-वुडिन कहा जाता है यदि प्रत्येक समुच्चय के लिए पर एक सामान्य उपाय माप निहित है जैसे कि समुच्चय है --मजबूत कार्डिनल में है। --मजबूत है अगर और केवल अगर प्रत्येक के लिए में एक सकर्मक वर्ग और एक प्राथमिक एम्बेडिंग है जिसमें , , और है।
यह नाम चिर प्रतिष्ठित परिणाम की ओर संकेत करता है कि एक कार्डिनल वुडिन है यदि प्रत्येक समुच्चय के लिए, समुच्चय है --मजबूत कार्डिनल स्थिर है।
हाइपर-वुडिन कार्डिनल्स और कमजोर हाइपर-वुडिन कार्डिनल्स के बीच का अंतर यह है कि की पसंद हाइपर-वुडिन कार्डिनल्स और कमजोर हाइपर-वुडिन कार्डिनल्स के बीच का अंतर यह है कि हाइपर-वुडिन कार्डिनल्स के लिए समुच्चय की पसंद पर निर्भर करता है।
नोट्स और संदर्भ
- ↑ 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.