बलपूर्वक और स्वतंत्रता

बलपूर्वक (Forcing) समुच्चय सिद्धांत के एक मॉडल का विस्तार करने की एक तकनीक है, जिसमें सावधानी से चुनी गई एक सामान्य वस्तु को जोड़ा जाता है, और यह इस बात को सिद्ध करने की प्रमुख विधि है कि कथन मानक अभिगृहीतों से स्वतंत्र हैं।

Definition

बलपूर्वक एक ऐसी विधि है जो समुच्चय सिद्धांत के एक मॉडल और उसके भीतर एक आंशिक क्रम से शुरू होकर, एक सामान्य फिल्टर युक्त एक बड़ा मॉडल बनाती है; आंशिक क्रम को नियंत्रित करके यह व्यवस्था की जाती है कि निर्धारित कथन विस्तार में मान्य हों या विफल हों, जिससे उनकी संगति या स्वतंत्रता सिद्ध होती है।

Scope

यह विषय बलपूर्वक की विधि, आंशिक क्रम और सामान्य फिल्टर, बलपूर्वक संबंध और सामान्य विस्तारों का निर्माण, श्रृंखला स्थितियों के माध्यम से कार्डिनलों का संरक्षण, और सातत्य परिकल्पना और पसंद के अभिगृहीत के लिए विहित स्वतंत्रता परिणाम, साथ ही गोडेल के पूरक रचनात्मक ब्रह्मांड को शामिल करता है।

Core questions

• एक सामान्य फिल्टर को जोड़ने से समुच्चय सिद्धांत का एक नया मॉडल कैसे बनता है?
• सामान्य विस्तार में सत्य को ग्राउंड मॉडल के भीतर बलपूर्वक संबंध द्वारा कैसे नियंत्रित किया जाता है?
• बलपूर्वक पोसेट के कौन से संयोजनात्मक गुण कार्डिनलों और सह-अंतिमताओं को संरक्षित करते हैं?
• बलपूर्वक और रचनात्मक ब्रह्मांड मिलकर सातत्य परिकल्पना की स्वतंत्रता को कैसे स्थापित करते हैं?

Key theories

सामान्य विस्तार और बलपूर्वक प्रमेय

एक आंशिक क्रम पर एक सामान्य फिल्टर को देखते हुए, परिणामी विस्तार में प्रत्येक सत्य कथन किसी शर्त द्वारा बलपूर्वक होता है, और यह बलपूर्वक संबंध ग्राउंड मॉडल में परिभाषित होता है, जिससे विस्तार का भीतर से विश्लेषण किया जा सकता है।

रचनात्मक ब्रह्मांड और CH की संगति

रचनात्मक समुच्चयों का गोडेल का आंतरिक मॉडल पसंद के अभिगृहीत और सामान्यीकृत सातत्य परिकल्पना को संतुष्ट करता है, यह दर्शाता है कि ये अन्य अभिगृहीतों के साथ संगत हैं।

सातत्य परिकल्पना की स्वतंत्रता

कोहेन ने एक मॉडल में कई वास्तविक संख्याओं को जोड़ने के लिए बलपूर्वक का उपयोग किया ताकि सातत्य परिकल्पना विफल हो जाए, जो गोडेल के परिणाम के साथ मिलकर यह दर्शाता है कि परिकल्पना ZFC से स्वतंत्र है।

Clinical relevance

बलपूर्वक समकालीन समुच्चय सिद्धांत का केंद्रीय उपकरण है: इसका उपयोग विश्लेषण, टोपोलॉजी और बीजगणित में कथनों की एक विस्तृत श्रृंखला की स्वतंत्रता को सिद्ध करने के लिए किया जाता है, और संयोजनात्मक सिद्धांतों की शक्ति को कैलिब्रेट करने के लिए किया जाता है, जिससे यह पता चलता है कि मानक अभिगृहीत किन गणितीय प्रश्नों को हल नहीं कर सकते हैं।

History

गोडेल ने 1938 में सातत्य परिकल्पना और पसंद के अभिगृहीत की संगति को सिद्ध करने के लिए रचनात्मक ब्रह्मांड की शुरुआत की। 1963 में कोहेन ने उनकी स्वतंत्रता को सिद्ध करने के लिए बलपूर्वक का आविष्कार किया, जिसके लिए उन्हें फील्ड्स मेडल मिला; स्कॉट, सोलोवे और अन्य ने बूलियन-मूल्यवान मॉडल के माध्यम से बलपूर्वक को फिर से तैयार किया और इसे क्षेत्र के मानक उपकरण के रूप में विकसित किया।

Key figures

• Paul Cohen
• Kurt Goedel
• Dana Scott
• Robert Solovay

Seminal works

• kunen2011
• cohen1963
• godel1940

Frequently asked questions

सहज रूप से एक सामान्य फिल्टर क्या है?

यह एक आदर्श वस्तु है जिसे ग्राउंड मॉडल में परिभाषित प्रत्येक आवश्यकता को पूरा करने के लिए चुना जाता है, ताकि यह वहां किसी भी एकल परिभाषा द्वारा पकड़े जाने से बचने के लिए पर्याप्त रूप से सामान्य हो। इसे जोड़ने से समुच्चयों के ब्रह्मांड का एक नियंत्रित विस्तार होता है।

क्या बलपूर्वक समुच्चय सिद्धांत के अभिगृहीतों की सत्यता को बदलता है?

नहीं। ZFC के एक मॉडल का एक सामान्य विस्तार फिर से ZFC का एक मॉडल है; बलपूर्वक केवल अभिगृहीतों द्वारा अनिर्धारित कथनों के सत्य मान को बदलता है, जैसे कि सातत्य परिकल्पना, जो ठीक वही है जो इसे स्वतंत्रता प्रमाणों के लिए एक उपकरण बनाता है।