डायमंड सिद्धांत

गणित में, और विशेष रूप से स्वयंसिद्ध समुच्चय सिद्धांत में, डायमंड सिद्धांत ◊ जेन्सन (1972) में रोनाल्ड जेन्सेन द्वारा भेंट किया गया, संयोजन सिद्धांत है जो रचनात्मक ब्रह्मांड (एल) में है और इसका तात्पर्य सातत्य परिकल्पना से है। जेन्सेन ने हीरे के सिद्धांत को अपने प्रमाण से निकाला कि निर्माण की स्वयंसिद्धता (V = L) का तात्पर्य सुस्लिन वृक्ष के अस्तित्व से है। गणित में, और विशेष रूप से स्वयंसिद्ध समुच्चय सिद्धांत में, डायमंड सिद्धांत ◊ जेन्सन (1972) में रोनाल्ड जेन्सेन द्वारा भेंट किया गया, संयोजन सिद्धांत है जो रचनात्मक ब्रह्मांड (एल) में है और इसका तात्पर्य सातत्य परिकल्पना से है। जेन्सेन ने हीरे के सिद्धांत को अपने प्रमाण से निकाला कि निर्माण की स्वयंसिद्धता (V = L) का तात्पर्य सुस्लिन वृक्ष के अस्तित्व से है।

परिभाषाएँ

डायमंड सिद्धांत ◊ का कहना हैं कि एक ◊-अनुक्रम उपस्थित है, समुच्चय का परिवार A_α ⊆ α के लिए α < ω₁ ऐसा कि किसी भी उपसमुच्चय के लिए A प्रथम अगणनीय क्रमसूचक |ω₁के समुच्चय α साथ A ∩ α = A_α में स्थिर है ω₁.

डायमंड सिद्धांत के कई समतुल्य रूप हैं। एक कहता है कि गणनीय संग्रह है A_α के उपसमुच्चय का α प्रत्येक गणनीय अध्यादेश के लिए α ऐसा कि किसी भी उपसमुच्चय के लिए A का ω₁ स्थिर उपसमुच्चय है C का ω₁ ऐसा कि सभी के लिए α में C अपने पास A ∩ α ∈ A_α और C ∩ α ∈ A_α. एक अन्य समतुल्य रूप बताता है कि समुच्चय उपस्थित हैं A_α ⊆ α के लिए α < ω₁ ऐसा कि किसी भी उपसमुच्चय के लिए A का ω₁ कम से कम एक अनंत है α साथ A ∩ α = A_α.

अधिक सामान्यतः, किसी दिए गए बुनियादी संख्या के लिए κ और स्थिर समुच्चय S ⊆ κ, कथन ◊_S (कभी-कभी लिखा जाता है ◊(S) या ◊_κ(S)) कथन है कि एक क्रम है ⟨A_α : α ∈ S⟩ ऐसा है कि

• प्रत्येक A_α ⊆ α
• हर एक के लिए A ⊆ κ, {α ∈ S : A ∩ α = A_α} में स्थिर है κ

सिद्धांत ◊_ω1 वैसा ही है जैसा कि ◊.

डायमंड-प्लस सिद्धांत ◊⁺ बताता है कि एक ◊⁺-अनुक्रम उपस्थित है, दूसरे शब्दों में गणनीय संग्रह A_α के उपसमुच्चय का α प्रत्येक गणनीय क्रमिक α के लिए जैसे कि किसी भी उपसमुच्चय के लिए A का ω₁ बंद असीमित उपसमुच्चय है C का ω₁ ऐसा कि सभी के लिए α में C अपने पास A ∩ α ∈ A_α और C ∩ α ∈ A_α.

गुण और उपस्थित

जेन्सन (1972) दिखाया कि डायमंड सिद्धांत ◊ सुस्लिन वृक्षों के अस्तित्व को दर्शाता है। उन्होंने यह भी दिखाया V = L डायमंड-प्लस सिद्धांत का तात्पर्य है, जो डायमंड सिद्धांत का तात्पर्य है, जिसका अर्थ है निरंतर परिकल्पना। विशेष रूप से डायमंड सिद्धांत और डायमंड-प्लस सिद्धांत दोनों जेडएफसी के स्वयंसिद्धों की स्वतंत्रता (गणितीय तर्क) हैं। भी ♣ + सीएच तात्पर्य ◊, बूत सहारों शेलाह गावे मॉडल्स ऑफ़ ♣ + ¬ सीएच, इसलिए ◊ और ♣ समतुल्य नहीं हैं (किंतु, ♣ से कमजोर है ◊).

डायमंड सिद्धांत ◊ कुरेपा वृक्ष के अस्तित्व का अर्थ नहीं है, किंतु मजबूत ◊⁺ सिद्धांत, ◊ सिद्धांत और कुरेपा वृक्ष के अस्तित्व दोनों को दर्शाता है।

एकमन & वीवर (2004) उपयोग किया गया ◊ सी*-बीजगणित बनाने के लिए |C*- बीजगणित नाइमार्क की समस्या के प्रति उदाहरण के रूप में कार्य करता है।

सभी कार्डिनल्स के लिए κ और स्थिर उपसमुच्चय S ⊆ κ⁺, ◊_S रचनात्मक ब्रह्मांड में रखता है। शेला (2010) के लिए सिद्ध किया κ > ℵ₀, ◊_κ⁺(S) से अनुसरण करता है 2^κ = κ⁺ स्थिर के लिए S जिसमें कोफ़िनलिटी के अध्यादेश सम्मिलित नहीं हैं κ.

शेलाह ने दिखाया कि हीरे का सिद्धांत व्हाइटहेड समस्या को हल करता है, जिसका अर्थ है कि व्हाइटहेड की हर समस्या मुक्त है।

यह भी देखें

• जेडएफसी से स्वतंत्र बयानों की सूची

संदर्भ

• Akemann, Charles; Weaver, Nik (2004). "Consistency of a counterexample to Naimark's problem". Proceedings of the National Academy of Sciences. 101 (20): 7522–7525. arXiv:math.OA/0312135. Bibcode:2004PNAS..101.7522A. doi:10.1073/pnas.0401489101. MR 2057719. PMC 419638. PMID 15131270.
• Jensen, R. Björn (1972). "The fine structure of the constructible hierarchy". Annals of Mathematical Logic. 4 (3): 229–308. doi:10.1016/0003-4843(72)90001-0. MR 0309729.
• Rinot, Assaf (2011). "Jensen's diamond principle and its relatives". Set theory and its applications. Contemporary Mathematics. Vol. 533. Providence, RI: AMS. pp. 125–156. arXiv:0911.2151. Bibcode:2009arXiv0911.2151R. ISBN 978-0-8218-4812-8. MR 2777747.
• Shelah, Saharon (1974). "Infinite Abelian groups, Whitehead problem and some constructions". Israel Journal of Mathematics. 18 (3): 243–256. doi:10.1007/BF02757281. MR 0357114. S2CID 123351674.
• Shelah, Saharon (2010). "Diamonds". Proceedings of the American Mathematical Society. 138 (6): 2151–2161. doi:10.1090/S0002-9939-10-10254-8.