बल (गणित)

For the use of forcing in recursion theory, see Forcing (recursion theory).

समुच्चय सिद्धान्त के गणितीय अनुशासन में, शक्तिशालीी स्थिरता और [[स्वतंत्रता (गणितीय तर्क)]] परिणाम सिद्ध करने के लिए विधि है। यह पहली बार 1963 में पॉल कोहेन (गणितज्ञ) द्वारा पसंद के स्वयंसिद्ध की स्वतंत्रता और ज़र्मेलो-फ्रेंकेल सिद्धांत सिद्धांत से सातत्य परिकल्पना को सिद्ध करने के लिए उपयोग किया गया था।

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

अंतर्ज्ञान

सहज रूप से, बल में सिद्धांत सैद्धांतिक ब्रह्मांड (गणित) का विस्तार होता है $V$ बड़े ब्रह्मांड के लिए $V^{*}$. इस बड़े ब्रह्मांड में, उदाहरण के लिए, सिद्धांत के सबसिद्धांत के साथ पहचाने जाने वाले कई नए वास्तविक नंबर हो सकते हैं $\mathbb {N}$ प्राकृतिक संख्याएँ, जो पुराने ब्रह्मांड में नहीं थीं, और इस प्रकार सातत्य परिकल्पना का उल्लंघन करती हैं।

जबकि परिमित सिद्धांत सिद्धांत (गणित) के साथ व्यवहार करना असंभव है, यह अनंत के बारे में कैंटर के विरोधाभास का सिर्फ और संस्करण है। सिद्धांत रूप में, कोई विचार कर सकता है:

$V^{*}=V\times \{0,1\},$

पहचान करना $x\in V$ साथ $(x,0)$, और फिर विस्तारित सदस्यता संबंध प्रस्तुत करें जिसमें प्रपत्र के नए सिद्धांत सम्मलित हों $(x,1)$. जबरदस्ती इस विचार का अधिक विस्तृत संस्करण है, नए सिद्धांत के अस्तित्व के विस्तार को कम करता है, और विस्तारित ब्रह्मांड के गुणों पर ठीक नियंत्रण की अनुमति देता है।

कोहेन की मूल विधि, जिसे अब शाखा मजबूर कहा जाता है, यहां बताए गए असम्बद्ध फोर्सिंग से थोड़ा अलग है। फोर्सिंग भी बूलियन-मूल्यवान प्रारूप की विधि के बराबर है, जो कुछ लोगों को वैचारिक रूप से अधिक स्वाभाविक और सहज लगता है, किन्तु सामान्यतः इसे लागू करना अधिक कठिन होता है।

जबरदस्ती पोसेट्स

एक मजबूर पोसेट आदेशित ट्रिपल है, $(\mathbb {P} ,\leq ,\mathbf {1} )$, कहाँ $\leq$ पर अग्रिम आदेश है $\mathbb {P}$ वह एटम (आदेश सिद्धांत) है, जिसका अर्थ है कि यह निम्नलिखित शर्तों को पूरा करता है:

• प्रत्येक के लिए $p\in \mathbb {P}$, वहाँ हैं $q,r\in \mathbb {P}$ ऐसा है कि $q,r\leq p$, कोई साथ $s\in \mathbb {P}$ ऐसा है कि $s\leq q,r$. का सबसे बड़ा तत्व है $\mathbb {P}$ है $\mathbf {1}$, वह है, $p\leq \mathbf {1}$ सभी के लिए $p\in \mathbb {P}$.

के सदस्यों $\mathbb {P}$ मजबूर करने की स्थिति या सिर्फ स्थिति कहा जाता है। पढ़ता है $p\leq q$ जैसा$p$ से ज्यादा शक्तिशाली है $q$. सहज रूप से, छोटी स्थिति अधिक जानकारी प्रदान करती है, जैसे कि छोटा अंतराल $[3.1415926,3.1415927]$ Pi| संख्या के बारे में अधिक जानकारी प्रदान करता हैπअंतराल की तुलना में $[3.1,3.2]$ करता है।

उपयोग में विभिन्न सम्मेलन हैं। कुछ लेखकों की आवश्यकता होती है $\leq$ प्रतिसममित संबंध भी होना चाहिए, जिससे कि संबंध आंशिक क्रम हो। कुछ वैसे भी आंशिक आदेश शब्द का उपयोग करते हैं, जो मानक शब्दावली के साथ परस्पर विरोधी हैं, जबकि कुछ शब्द प्रीऑर्डर का उपयोग करते हैं। सबसे बड़े तत्व के साथ तिरस्कृत किया जा सकता है। रिवर्स ऑर्डरिंग का भी उपयोग किया जाता है, विशेष रूप से सहारों शेलाह और उनके सह-लेखकों द्वारा।

पी-नाम

एक मजबूर पोसेट के साथ संबद्ध $\mathbb {P}$ वर्ग है (सिद्धांत सिद्धांत) $V^{(\mathbb {P} )}$ का $\mathbb {P}$-नाम। ए $\mathbb {P}$-नाम सिद्धांत है $A$ फार्म का

$A\subseteq \{(u,p)\mid u~{\text{is a}}~\mathbb {P} {\text{-name and}}~p\in \mathbb {P} \}.$

यह वास्तव में ट्रांसफिनिट रिकर्सन द्वारा परिभाषा है। साथ $\varnothing$ खाली सिद्धांत, $\alpha +1$ क्रमसूचक का उत्तराधिकारी $\alpha$, ${\mathcal {P}}$ सत्ता स्थापित | पावर-सिद्धांत ऑपरेटर, और $\lambda$ सीमा क्रमसूचक, निम्नलिखित पदानुक्रम को परिभाषित करें:

${\begin{aligned}\operatorname {Name} (\varnothing )&=\varnothing ,\\\operatorname {Name} (\alpha +1)&={\mathcal {P}}(\operatorname {Name} (\alpha )\times \mathbb {P} ),\\\operatorname {Name} (\lambda )&=\bigcup \{\operatorname {Name} (\alpha )\mid \alpha <\lambda \}.\end{aligned}}$

फिर की कक्षा $\mathbb {P}$-नाम के रूप में परिभाषित किया गया है

$V^{(\mathbb {P} )}=\bigcup \{\operatorname {Name} (\alpha )~|~\alpha ~{\text{is an ordinal}}\}.$

$\mathbb {P}$वें>-नाम, वास्तव में, वॉन न्यूमैन ब्रह्मांड का विस्तार हैं। दिया गया $x\in V$, परिभाषित करता है ${\check {x}}$ होना के लिए $\mathbb {P}$-नाम

${\check {x}}=\{({\check {y}},\mathbf {1} )\mid y\in x\}.$

दोबारा, यह वास्तव में ट्रांसफिनिट रिकर्सन द्वारा परिभाषा है।

व्याख्या

कोई उपसमुच्चय दिया गया है $G$ का $\mathbb {P}$, अगला व्याख्या या मूल्यांकन मानचित्र को परिभाषित करता है $\mathbb {P}$-नाम द्वारा

$\operatorname {val} (u,G)=\{\operatorname {val} (v,G)\mid \exists p\in G:~(v,p)\in u\}.$

यह फिर से ट्रांसफिनिट रिकर्सन द्वारा परिभाषा है। ध्यान दें कि यदि $\mathbf {1} \in G$, तब $\operatorname {val} ({\check {x}},G)=x$. तो परिभाषित करता है

${\underline {G}}=\{({\check {p}},p)\mid p\in G\}$

जिससे कि $\operatorname {val} ({\underline {G}},G)=\{\operatorname {val} ({\check {p}},G)\mid p\in G\}=G$.

उदाहरण

फोर्सिंग पोसेट का अच्छा उदाहरण है $(\operatorname {Bor} (I),\subseteq ,I)$, कहाँ $I=[0,1]$ और $\operatorname {Bor} (I)$ के बोरेल उपसमूहों का संग्रह है $I$ गैर-शून्य Lebesgue माप होना। इस स्थिति में, परिस्थितियों के बारे में संभावनाओं के रूप में बात की जा सकती है, और ए $\operatorname {Bor} (I)$-नाम संभाव्य अर्थ में सदस्यता प्रदान करता है। तैयार अंतर्ज्ञान के कारण यह उदाहरण प्रदान कर सकता है, संभाव्य भाषा का प्रयोग कभी-कभी अन्य अलग-अलग मजबूर पॉसिद्धांत्स के साथ किया जाता है।

गणनीय सकर्मक प्रारूप और सामान्य फ़िल्टर

बाध्य करने में मुख्य चरण दिया गया है a ${\mathsf {ZFC}}$ ब्रह्मांड $V$, उपयुक्त वस्तु खोजने के लिए $G$ अंदर नही $V$. की सभी व्याख्याओं का परिणामी वर्ग $\mathbb {P}$-नाम का प्रारूप होगा ${\mathsf {ZFC}}$ जो मूल रूप से मूल का विस्तार करता है $V$ (तब से $G\notin V$).

के साथ कार्य करने के अतिरिक्त $V$, गणनीय सकर्मक प्रारूप पर विचार करना उपयोगी है $M$ साथ $(\mathbb {P} ,\leq ,\mathbf {1} )\in M$. प्रारूप सिद्धांत थ्योरी के प्रारूप को संदर्भित करता है, या तो सभी में से ${\mathsf {ZFC}}$, या बड़े किन्तु परिमित उपसमुच्चय का प्रारूप ${\mathsf {ZFC}}$, या उसका कोई संस्करण। सकर्मकता का अर्थ है कि यदि $x\in y\in M$, तब $x\in M$. मोस्टोव्स्की पतन लेमो में कहा गया है कि सदस्यता संबंध अच्छी प्रकार से स्थापित होने पर यह माना जा सकता है। सकर्मकता का प्रभाव यह है कि सदस्यता और अन्य प्राथमिक धारणाओं को सहजता से नियंत्रित किया जा सकता है। प्रारूप की गणना लोवेनहेम-स्कोलेम प्रमेय पर निर्भर करती है।

जैसा $M$ सिद्धांत है, इसमें सिद्धांत नहीं हैं $M$ - यह रसेल के विरोधाभास से आता है। उपयुक्त सिद्धांत $G$ चुनना और जोड़ना $M$ सामान्य फ़िल्टर चालू है $\mathbb {P}$. फ़िल्टर स्थिति का अर्थ है कि:

• $G\subseteq \mathbb {P} ;$
• $\mathbf {1} \in G;$
• यदि $p\geq q\in G$, तब $p\in G;$
• यदि $p,q\in G$, तो वहाँ सम्मलित है $r\in G$ ऐसा है कि $r\leq p,q.$

के लिए $G$ सामान्य होने का अर्थ है:

• यदि $D\in M$ का सघन उपसमुच्चय है $\mathbb {P}$ (अर्ताथ, प्रत्येक के लिए $p\in \mathbb {P}$, वहाँ सम्मलित है $q\in D$ ऐसा है कि $q\leq p$), तब $G\cap D\neq \varnothing$.

एक सामान्य फ़िल्टर का अस्तित्व $G$ रसिओवा-सिकोर्स्की लेम्मा से आता है। वास्तव में, थोड़ा और सत्य है: शर्त दी गई है $p\in \mathbb {P}$, कोई सामान्य फ़िल्टर पा सकता है $G$ ऐसा है कि $p\in G$. बंटवारे की स्थिति के कारण $\mathbb {P}$ (ऊपर 'एटमलेस' कहा जा रहा है), यदि $G$ फिल्टर है, फिर $\mathbb {P} \setminus G$ घना है। यदि $G\in M$, तब $\mathbb {P} \setminus G\in M$ क्योंकि $M$ का प्रारूप है ${\mathsf {ZFC}}$. इस कारण से, सामान्य फ़िल्टर कभी नहीं होता है $M$.

जबरदस्ती

एक सामान्य फ़िल्टर दिया गया $G\subseteq \mathbb {P}$, निम्नानुसार आगे बढ़ता है। का उपवर्ग $\mathbb {P}$-नामों में $M$ निरूपित किया जाता है $M^{(\mathbb {P} )}$. होने देना

$M[G]=\left\{\operatorname {val} (u,G)~{\Big |}~u\in M^{(\mathbb {P} )}\right\}.$

के सिद्धांत सिद्धांत के अध्ययन को कम करने के लिए $M[G]$ उसके वहां के लिए $M$, जबरदस्ती भाषा के साथ कार्य करता है, जो बाइनरी रिलेशन के रूप में सदस्यता के साथ सामान्य प्रथम-क्रम तर्क की प्रकार निर्मित होता है और सभी $\mathbb {P}$-नाम स्थिरांक के रूप में।

परिभाषित करना $p\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})$ (के रूप में पढ़ने के लिए$p$ ताकतों $\varphi$ प्रारूप में $M$ पोसेट के साथ $\mathbb {P}$), कहाँ $p$ शर्त है, $\varphi$ जबरदस्ती भाषा में सूत्र है, और $u_{i}$के हैं $\mathbb {P}$-नाम, इसका अर्थ है कि यदि $G$ सामान्य फ़िल्टर युक्त है $p$, तब $M[G]\models \varphi (\operatorname {val} (u_{1},G),\ldots ,\operatorname {val} (u_{n},G))$. विशेष स्थिति $\mathbf {1} \Vdash _{M,\mathbb {P} }\varphi$ प्रायः के रूप में लिखा जाता है$\mathbb {P} \Vdash _{M,\mathbb {P} }\varphi$या केवल$\Vdash _{M,\mathbb {P} }\varphi$. में ऐसे कथन सत्य हैं $M[G]$, कोई बात नहीं क्या $G$ है।

महत्वपूर्ण बात यह है कि यह जबरदस्ती संबंध की बाहरी परिभाषा है $p\Vdash _{M,\mathbb {P} }\varphi$ भीतर आंतरिक परिभाषा के बराबर है $M$, पार परिमित प्रेरण द्वारा परिभाषित किया गया है $\mathbb {P}$-नाम के उदाहरणों पर $u\in v$ और $u=v$, और फिर सूत्रों की जटिलता पर साधारण प्रेरण द्वारा। इसका प्रभाव यह है कि के सभी गुण $M[G]$ के गुण हैं $M$, और का सत्यापन ${\mathsf {ZFC}}$ में $M[G]$ सीधा हो जाता है। इसे सामान्यतः निम्नलिखित तीन प्रमुख गुणों के रूप में संक्षेपित किया जाता है:

• सच: $M[G]\models \varphi (\operatorname {val} (u_{1},G),\ldots ,\operatorname {val} (u_{n},G))$ यदि और केवल यदि इसके द्वारा मजबूर किया जाता है $G$अर्ताथ कुछ शर्तों के लिए $p\in G$, अपने पास $p\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})$.
• निश्चितता: कथन$p\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})$में निश्चित है $M$.
• सुसंगतता: $p\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})\land q\leq p\implies q\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})$.

हम जबरदस्ती संबंध को परिभाषित करते हैं $\Vdash _{M,\mathbb {P} }$ में $M$ सूत्रों की जटिलता पर प्रेरण द्वारा, जिसमें हम पहले परमाणु सूत्रों के संबंध को परिभाषित करते हैं $\in$-इंडक्शन और फिर इसे मनमाने फॉर्मूलों के लिए उनकी जटिलता पर इंडक्शन द्वारा परिभाषित करें।

हम पहले परमाणु सूत्रों पर बल संबंध को परिभाषित करते हैं, ऐसा दोनों प्रकार के सूत्रों के लिए करते हैं, $x\in y$ और $x=y$, इसके साथ ही। इसका अर्थ है कि हम संबंध को परिभाषित करते हैं $R(p,a,b,t,\mathbb {P} )$ कहाँ $t$ सूत्र के प्रकार को निम्नानुसार दर्शाता है:

1. $R(p,a,b,0,\mathbb {P} )$ साधन $p\Vdash _{\mathbb {P} }a\in b$.
2. $R(p,a,b,1,\mathbb {P} )$ साधन $p\Vdash _{\mathbb {P} }a=b$.
3. $R(p,a,b,2,\mathbb {P} )$ साधन $p\Vdash _{\mathbb {P} }a\subseteq b$.

यहाँ $p$ शर्त है और $a$ और $b$ हैं $\mathbb {P}$-नाम। होने देना $R(p,a,b,t,\mathbb {P} )$ द्वारा परिभाषित सूत्र हो $\in$-प्रवेश:

आर 1। $R(p,a,b,0,\mathbb {P} )$ यदि और केवल यदि $(\forall q\leq p)(\exists r\leq q)(\exists (c,s)\in b)(r\leq s\,\land \,R(r,a,c,1,\mathbb {P} ))$.

देखना। $R(p,a,b,1,\mathbb {P} )$ यदि और केवल यदि $R(r,a,b,2,\mathbb {P} )\,\land \,R(r,b,a,2,\mathbb {P} )$पी 3 $R(p,a,b,2,\mathbb {P} )$ यदि और केवल यदि $(\forall (c,s)\in a)(\forall q\leq p)(\exists r\leq q)(r\leq s\,\Rightarrow \,R(r,c,b,0,\mathbb {P} ))$.

अधिक औपचारिक रूप से, हम निम्नलिखित द्विआधारी संबंध का उपयोग करते हैं $\mathbb {P}$-नाम: चलो $S(a,b)$ नामों के लिए रखता है $a$ और $b$ यदि और केवल यदि $(a,p)\in b$ कम से कम शर्त के लिए $p$. यह संबंध अच्छी प्रकार से स्थापित है, जिसका अर्थ है कि किसी भी नाम के लिए $a$ सभी नामों का वर्ग $b$, ऐसा है कि $S(a,b)$ धारण करता है, समुच्चय है और कोई फलन नहीं है $f:\omega \longrightarrow {\text{Names}}$ ऐसा है कि $(\forall n\in \omega )S(f(n+1),f(n))$.

सामान्य तौर पर अच्छी प्रकार से स्थापित संबंध पूर्व-आदेश नहीं है, क्योंकि यह सकर्मक नहीं हो सकता है। किन्तु, यदि हम इसे क्रम के रूप में मानते हैं, तो यह अनंत घटते क्रम के बिना संबंध है और जहां किसी भी तत्व के लिए उसके नीचे के तत्वों का वर्ग सिद्धांत है।

ट्रांज़िटिविटी के लिए किसी भी बाइनरी रिलेशन को बंद करना सरल है। नामों के लिए $a$ और $b$, $a<b$ धारण करता है यदि कम से कम परिमित अनुक्रम है $c_{0},\dots ,c_{n}$ (डोमेन के साथ मानचित्र के रूप में $\{0,\dots ,n\}$) कुछ के लिए $n>0$ ऐसा है कि $c_{0}=a$, $c_{n}=b$ और किसी के लिए $i<n$, $S(c_{i-1},c_{i})$ रखती है। इस प्रकार का आदेश भी अच्छी प्रकार से स्थापित है।

हम नामों के जोड़े पर निम्नलिखित सुपरिभाषित क्रम को परिभाषित करते हैं: $T((a,b),(c,d))$ यदि निम्न में से कोई धारण करता है:

1. $\max\{a,b\}<\max\{c,d\},$
2. $\max\{a,b\}=\max\{c,d\}$ और $\min\{a,b\}<\min\{c,d\},$
3. $\max\{a,b\}=\max\{c,d\}$ और $\min\{a,b\}=\min\{c,d\}$ और $a<c.$

रिश्ता $R(p,a,b,t,\mathbb {P} )$ जोड़े पर रिकर्सन द्वारा परिभाषित किया गया है $(a,b)$ नामों का। किसी भी जोड़ी के लिए यह सरल जोड़े पर समान संबंध द्वारा परिभाषित किया गया है। दरअसल, पुनरावर्तन प्रमेय द्वारा सूत्र है $R(p,a,b,t,\mathbb {P} )$ जैसे कि R1, R2 और R3 प्रमेय हैं क्योंकि किसी बिंदु पर इसका सत्य मान इसके सत्य मानों द्वारा छोटे बिंदुओं में परिभाषित किया जाता है, जो कि कुछ अच्छी प्रकार से स्थापित संबंधों के सापेक्ष होता है, जो आदेश के रूप में उपयोग किया जाता है। अब, हम बल संबंध को परिभाषित करने के लिए तैयार हैं:

1. $p\Vdash _{\mathbb {P} }a\in b$ साधन $a,b\in {\text{Name}}\,\land \,R(p,a,b,0,\mathbb {P} ).$
2. $p\Vdash _{\mathbb {P} }a=b$ साधन $a,b\in {\text{Name}}\,\land \,R(p,a,b,1,\mathbb {P} ).$
3. $p\Vdash _{\mathbb {P} }\lnot f(a_{1},\dots ,a_{n})$ साधन $a_{1},\dots ,a_{n}\in {\text{Name}}\,\land \,\lnot (\exists q\leq p)q\Vdash _{\mathbb {P} }f(a_{1},\dots ,a_{n}).$
4. $p\Vdash _{\mathbb {P} }(f(a_{1},\dots ,a_{n})\land g(a_{1},\dots ,a_{n}))$ साधन $a_{1},\dots ,a_{n}\in {\text{Name}}\,\land \,(p\Vdash _{\mathbb {P} }f(a_{1},\dots ,a_{n}))\land (p\Vdash _{\mathbb {P} }g(a_{1},\dots ,a_{n})).$
5. $p\Vdash _{\mathbb {P} }(\forall x)f(a_{1},\dots ,a_{n},x)$ साधन $a_{1},\dots ,a_{n}\in {\text{Name}}\,\land \,(\forall b\in {\text{Names}})p\Vdash _{\mathbb {P} }f(a_{1},\dots ,a_{n},b).$

दरअसल, यह मनमाने फार्मूले का रूपांतरण है $f(x_{1},\dots ,x_{n})$ सूत्र के लिए $p\Vdash _{\mathbb {P} }f(x_{1},\dots ,x_{n})$ कहाँ $p$ और $\mathbb {P}$ अतिरिक्त चर हैं। यह ब्रह्मांड में जबरदस्ती संबंध की परिभाषा है $V$ किसी भी गणनीय सकर्मक प्रारूप की परवाह किए बिना सभी समुच्चयों की। चूंकि, बल के इस वाक्यात्मक सूत्रीकरण और कुछ गणनीय सकर्मक प्रारूप पर बल के शब्दार्थ सूत्रीकरण के बीच संबंध है $M$.

1. किसी भी सूत्र के लिए $f(x_{1},\dots ,x_{n})$ प्रमेय है $T$ सिद्धांत का ${\mathsf {ZFC}}$ (उदाहरण के लिए स्वयंसिद्धों की परिमित संख्या का संयोजन) जैसे कि किसी भी गणनीय सकर्मक प्रारूप के लिए $M$ ऐसा है कि $M\models T$ और कोई परमाणु रहित आंशिक क्रम $\mathbb {P} \in M$ और कोई भी $\mathbb {P}$-सामान्य फिल्टर $G$ ऊपर $M$
   $$(\forall a_{1},\ldots ,a_{n}\in M^{\mathbb {P} })(\forall p\in \mathbb {P} )(p\Vdash _{M,\mathbb {P} }f(a_{1},\dots ,a_{n})\,\Leftrightarrow \,M\models p\Vdash _{\mathbb {P} }f(a_{1},\dots ,a_{n})).$$

इसे जबरदस्ती संबंध की निश्चितता का गुण कहा जाता है।

संगति

ऊपर की चर्चा को मौलिक स्थिरता परिणाम द्वारा संक्षेपित किया जा सकता है, जो कि जबरदस्त पोसेट दिया गया है $\mathbb {P}$, हम सामान्य फ़िल्टर के अस्तित्व को मान सकते हैं $G$, ब्रह्मांड से संबंधित नहीं $V$, ऐसा है कि $V[G]$ फिर से सिद्धांत-सैद्धांतिक ब्रह्मांड है जो प्रारूप करता है ${\mathsf {ZFC}}$. इसके अतिरिक्त, सभी सत्य $V[G]$ में सत्य को कम किया जा सकता है $V$ जबरदस्ती संबंध सम्मलित है।

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

कोहेन मजबूर

सबसे सरल गैर-तुच्छ फोर्सिंग पोसेट है $(\operatorname {Fin} (\omega ,2),\supseteq ,0)$, परिमित आंशिक कार्य से $\omega$ को $2~{\stackrel {\text{df}}{=}}~\{0,1\}$ रिवर्स समावेशन के अनुसार। अर्ताथ शर्त $p$ अनिवार्य रूप से दो असंयुक्त परिमित उपसमुच्चय हैं ${p^{-1}}[1]$ और ${p^{-1}}[0]$ का $\omega$, हां और नहीं के हिस्से के रूप में सोचा जाना चाहिए $p$, के डोमेन के बाहर मूल्यों पर कोई जानकारी प्रदान नहीं की गई है $p$.$q$ से ज्यादा शक्तिशाली है $p$अर्थ कि $q\supseteq p$, दूसरे शब्दों में, हां और ना के हिस्से $q$ हां और नहीं के हिस्से के सुपरसिद्धांत हैं $p$, और उस अर्थ में, अधिक जानकारी प्रदान करें।

होने देना $G$ इस पॉसिद्धांत के लिए सामान्य फ़िल्टर बनें। यदि $p$ और $q$ दोनों में हैं $G$, तब $p\cup q$ शर्त है क्योंकि $G$ फिल्टर है। इस का अर्थ है कि $g=\bigcup G$ से अच्छी प्रकार से परिभाषित आंशिक कार्य है $\omega$ को $2$ क्योंकि किन्हीं दो स्थितियों में $G$ उनके सामान्य डोमेन पर सहमत हैं।

वास्तव में, $g$ कुल कार्य है। दिया गया $n\in \omega$, होने देना $D_{n}=\{p\mid p(n)~{\text{is defined}}\}$. तब $D_{n}$ घना है। (कोई दिया गया $p$, यदि $n$ इसमें नहीं है $p$का डोमेन, के लिए मान संलग्न करें $n$-परिणाम आ गया है $D_{n}$।) शर्त $p\in G\cap D_{n}$ है $n$ इसके डोमेन में, और उसके बाद से $p\subseteq g$, हम पाते हैं $g(n)$ परिभाषित किया गया।

होने देना $X={g^{-1}}[1]$, सामान्य स्थितियों के सभी हाँ सदस्यों का सिद्धांत। के लिए नाम देना संभव है $X$ सीधे। होने देना

${\underline {X}}=\left\{\left({\check {n}},p\right)\mid p(n)=1\right\}.$

तब $\operatorname {val} ({\underline {X}},G)=X.$ अब मान लीजिए $A\subseteq \omega$ में $V$. हम यह दावा करते हैं $X\neq A$. होने देना

$D_{A}=\{p\mid (\exists n)(n\in \operatorname {Dom} (p)\land (p(n)=1\iff n\notin A))\}.$

तब $D_{A}$ घना है। (कोई दिया गया $p$, पाना $n$ जो इसके डोमेन में नहीं है, और इसके लिए मान संलग्न करें $n$ की स्थिति के विपरीत$n\in A$।) फिर कोई $p\in G\cap D_{A}$ गवाहों $X\neq A$. संक्षेप में, $X$ का नया उपसमुच्चय है $\omega$, अनिवार्य रूप से अनंत।

की जगह $\omega$ साथ $\omega \times \omega _{2}$, अर्थात्, परिमित आंशिक कार्यों पर विचार करें जिनके इनपुट फॉर्म के हैं $(n,\alpha )$, साथ $n<\omega$ और $\alpha <\omega _{2}$, और जिनके आउटपुट हैं $0$ या $1$, मिलता है $\omega _{2}$ के नए उपसमुच्चय $\omega$. घनत्व तर्क द्वारा वे सभी अलग हैं: दिया गया $\alpha <\beta <\omega _{2}$, होने देना

$D_{\alpha ,\beta }=\{p\mid (\exists n)(p(n,\alpha )\neq p(n,\beta ))\},$ फिर प्रत्येक $D_{\alpha ,\beta }$ सघन है, और इसमें सामान्य स्थिति यह सिद्ध करती है कि αth नया सिद्धांत कहीं से असहमत है $\beta$वें नया सिद्धांत।

यह अभी तक सातत्य परिकल्पना का मिथ्याकरण नहीं है। किसी को यह सिद्ध करना होगा कि कौन सा नक्शा कोई नया नक्शा प्रस्तुत नहीं किया गया है $\omega$ पर $\omega _{1}$, या $\omega _{1}$ पर $\omega _{2}$. उदाहरण के लिए, यदि कोई इसके अतिरिक्त विचार करता है $\operatorname {Fin} (\omega ,\omega _{1})$, परिमित आंशिक कार्य $\omega$ को $\omega _{1}$, पहला बेशुमार क्रमसूचक, अंदर आता है $V[G]$ से आपत्ति $\omega$ को $\omega _{1}$. दूसरे शब्दों में, $\omega _{1}$ ढह गया है, और जबरदस्ती विस्तार में, गणनीय क्रमसूचक है।

सातत्य परिकल्पना की स्वतंत्रता दिखाने में अंतिम चरण, तब, यह दिखाना है कि कोहेन फोर्सिंग कार्डिनल्स को नहीं गिराती है। इसके लिए, पर्याप्त दहनशील संपत्ति यह है कि फोर्सिंग पोसेट के सभी antichain्स गणनीय हैं।

गणनीय श्रृंखला की स्थिति

Main article: Countable chain condition

एक शक्तिशाली एंटीचैन | (शक्तिशाली) एंटीचैन $A$ का $\mathbb {P}$ उपसमुच्चय है जैसे कि यदि $p,q\in A$, तब $p$ और $q$ असंगत हैं (लिखित $p\perp q$), अर्थ नहीं है $r$ में $\mathbb {P}$ ऐसा है कि $r\leq p$ और $r\leq q$. बोरेल सिद्धांत के उदाहरण में, असंगति का अर्थ है कि $p\cap q$ शून्य माप है। परिमित आंशिक कार्यों के उदाहरण में, असंगति का अर्थ है कि $p\cup q$ कार्य नहीं है, दूसरे शब्दों में, $p$ और $q$ कुछ डोमेन इनपुट के लिए अलग-अलग मान असाइन करें।

$\mathbb {P}$ गणनीय श्रृंखला की स्थिति (c.c.c.) को संतुष्ट करता है यदि और केवल यदि हर एंटीचैन में $\mathbb {P}$ गणनीय है। (नाम, जो स्पष्ट रूप से अनुपयुक्त है, पुरानी शब्दावली से लिया गया है। कुछ गणितज्ञ c.a.c. गणनीय एंटीचेन स्थिति के लिए लिखते हैं।)

इसे देखना सरल है $\operatorname {Bor} (I)$ c.c.c को संतुष्ट करता है क्योंकि उपायों का योग अधिकतम होता है $1$. भी, $\operatorname {Fin} (E,2)$ c.c.c. को संतुष्ट करता है, किन्तु प्रमाण अधिक कठिन है।

एक बेशुमार उपपरिवार दिया $W\subseteq \operatorname {Fin} (E,2)$, सिकुड़ना $W$ बेशुमार उपपरिवार के लिए $W_{0}$ आकार के सिद्धांत के $n$, कुछ के लिए $n<\omega$. यदि $p(e_{1})=b_{1}$ अनगिनत के लिए $p\in W_{0}$, इसे बेशुमार उपपरिवार में सिकोड़ें $W_{1}$ और दोहराएँ, परिमित समुच्चय प्राप्त करें $\{(e_{1},b_{1}),\ldots ,(e_{k},b_{k})\}$ और बेशुमार परिवार $W_{k}$ आकार की असंगत स्थितियों का $n-k$ ऐसा है कि हर $e$ में है $\operatorname {Dom} (p)$ अधिक से अधिक गणनीय कई के लिए $p\in W_{k}$. अब, मनमाना चुनें $p\in W_{k}$, और से चुनें $W_{k}$ कोई $q$ यह उन गिने-चुने सदस्यों में से नहीं है जिनके साथ डोमेन सदस्य उभयनिष्ठ है $p$. तब $p\cup \{(e_{1},b_{1}),\ldots ,(e_{k},b_{k})\}$ और $q\cup \{(e_{1},b_{1}),\ldots ,(e_{k},b_{k})\}$ संगत हैं, इसलिए $W$ एंटीचैन नहीं है। दूसरे शब्दों में, $\operatorname {Fin} (E,2)$-एंटीचेन्स गणनीय हैं।

फोर्सिंग में एंटीचेन्स का महत्व यह है कि अधिकांश उद्देश्यों के लिए, घने सिद्धांत और अधिकतम एंटीचेन्स समकक्ष हैं। अधिकतम एंटीचैन $A$ ऐसा है जिसे बड़े एंटीचैन तक नहीं बढ़ाया जा सकता है। इसका अर्थ है कि हर तत्व $p\in \mathbb {P}$ के कुछ सदस्यों के साथ संगत है $A$. अधिकतम एंटीचेन का अस्तित्व ज़ोर्न के लेम्मा से आता है | ज़ोर्न की लेम्मा। अधिकतम एंटीचैन दिया गया $A$, होने देना

$D=\left\{p\in \mathbb {P} \mid (\exists q\in A)(p\leq q)\right\}.$

तब $D$ घना है, और $G\cap D\neq \varnothing$ यदि और केवल यदि $G\cap A\neq \varnothing$. इसके विपरीत, घना सिद्धांत दिया $D$, ज़ोर्न का लेम्मा दर्शाता है कि अधिकतम एंटीचेन सम्मलित है $A\subseteq D$, और तब $G\cap D\neq \varnothing$ यदि और केवल यदि $G\cap A\neq \varnothing$.

ये मान लीजिए $\mathbb {P}$ c.c.c को संतुष्ट करता है दिया गया $x,y\in V$, साथ $f:x\to y$ में समारोह $V[G]$, अनुमान लगाया जा सकता है $f$ अंदर $V$ निम्नलिखित नुसार। होने देना $u$ के लिए नाम हो $f$ (की परिभाषा के अनुसार $V[G]$) और जाने $p$ ऐसी स्थिति हो जो मजबूर करे $u$ से समारोह होना $x$ को $y$. समारोह परिभाषित करें $F$, जिसका डोमेन है $x$, द्वारा

$F(a){\stackrel {\text{df}}{=}}\left\{b\left|(\exists q\in \mathbb {P} )\left[(q\leq p)\land \left(q\Vdash ~u\left({\check {a}}\right)={\check {b}}\right)\right]\right\}.\right.$ जबरदस्ती की निश्चितता से, यह परिभाषा समझ में आती है $V$. जबरदस्ती के सामंजस्य से, अलग $b$ असंगत से आते हैं $p$. सी.सी.सी. द्वारा, $F(a)$ गणनीय है।

सारांश, $f$ में अज्ञात है $V$ जैसा कि यह निर्भर करता है $G$, किन्तु यह सी.सी.सी.-फोर्सिंग के लिए बेतहाशा अज्ञात नहीं है। के मूल्य के लिए अनुमानों के गणनीय सिद्धांत की पहचान कर सकते हैं $f$ से स्वतंत्र किसी भी इनपुट पर है $G$.

इसके निम्नलिखित बहुत महत्वपूर्ण परिणाम हैं। मैं फ़िन $V[G]$, $f:\alpha \to \beta$ अनंत क्रमवाचक से दूसरे पर अनुमान है, तो अनुमान है $g:\omega \times \alpha \to \beta$ में $V$, और फलस्वरूप, अनुमान $h:\alpha \to \beta$ में $V$. विशेष रूप से, कार्डिनल्स पतन नहीं कर सकते। निष्कर्ष यह है $2^{\aleph _{0}}\geq \aleph _{2}$ में $V[G]$.

ईस्टन फोर्सिंग

उपरोक्त कोहेन प्रारूप में सातत्य का सटीक मूल्य, और जैसे वेरिएंट $\operatorname {Fin} (\omega \times \kappa ,2)$ कार्डिनल्स के लिए $\kappa$ सामान्य तौर पर, रॉबर्ट एम. सोलोवे द्वारा कार्य किया गया था, जिन्होंने यह भी पता लगाया था कि उल्लंघन कैसे किया जाए ${\mathsf {GCH}}$ (सातत्य परिकल्पना#सामान्यीकृत सातत्य परिकल्पना), केवल नियमित कार्डिनल्स के लिए, सीमित संख्या में बार। उदाहरण के लिए, उपरोक्त कोहेन प्रारूप में, यदि ${\mathsf {CH}}$ में रखता है $V$, तब $2^{\aleph _{0}}=\aleph _{2}$ में रखता है $V[G]$.

विलियम बिगेलो ईस्टन|विलियम बी. ईस्टन ने उल्लंघन करने के लिए उचित वर्ग संस्करण तैयार किया ${\mathsf {GCH}}$ नियमित कार्डिनल्स के लिए, मूल रूप से दिखा रहा है कि ज्ञात प्रतिबंध, (एकरसता, कैंटर का प्रमेय | कैंटर का प्रमेय | कैंटर का प्रमेय और कोनिग का प्रमेय (सिद्धांत सिद्धांत) | कोनिग का प्रमेय), केवल ${\mathsf {ZFC}}$-साध्य प्रतिबंध (देखें ईस्टन का प्रमेय | ईस्टन का प्रमेय)।

ईस्टन का कार्य इस मायने में उल्लेखनीय था कि इसमें परिस्थितियों के उचित वर्ग के साथ जबरदस्ती करना सम्मलित था। सामान्य तौर पर, परिस्थितियों के उचित वर्ग के साथ बल देने की विधि का प्रारूप देने में विफल रहती है ${\mathsf {ZFC}}$. उदाहरण के लिए, जबरदस्ती करना $\operatorname {Fin} (\omega \times \mathbf {On} ,2)$, कहाँ $\mathbf {On}$ सभी अध्यादेशों का उचित वर्ग है, सातत्य को उचित वर्ग बनाता है। दूसरी ओर, साथ जबरदस्ती $\operatorname {Fin} (\omega ,\mathbf {On} )$ अध्यादेशों की गणनीय गणना प्रस्तुत करता है। दोनों ही स्थितियों में, परिणामी $V[G]$ का आदर्श नहीं है ${\mathsf {ZFC}}$.

एक समय में, यह सोचा गया था कि अधिक परिष्कृत बल भी नियमित कार्डिनल्स की शक्तियों में मनमाने ढंग से बदलाव की अनुमति देगा। चूंकि, यह कठिन, सूक्ष्म और यहाँ तक कि आश्चर्यजनक समस्या बन गई है, जिसमें कई और PCF सिद्धांत सम्मलित हैं ${\mathsf {ZFC}}$ और विभिन्न बड़े कार्डिनल | बड़े-कार्डिनल गुणों की स्थिरता के आधार पर मजबूर प्रारूप के साथ। कई खुली समस्याएं बनी हुई हैं।

रैंडम रीलों

Main article: Random algebra

रैंडम फोर्सिंग को सिद्धांत पर फोर्सिंग के रूप में परिभाषित किया जा सकता है $P$ के सभी कॉम्पैक्ट उपसमुच्चय $[0,1]$ संबंध द्वारा आदेशित सकारात्मक उपाय $\subseteq$ (सम्मलित करने के संदर्भ में छोटा सिद्धांत क्रम में छोटा सिद्धांत है और अधिक जानकारी के साथ स्थिति का प्रतिनिधित्व करता है)। दो प्रकार के महत्वपूर्ण सघन सिद्धांत हैं:

1. किसी भी सकारात्मक पूर्णांक के लिए $n$ सिद्धांत
   $$D_{n}=\left\{p\in P:\operatorname {diam} (p)<{\frac {1}{n}}\right\}$$
   घना है, कहाँ है $\operatorname {diam} (p)$ सिद्धांत का व्यास है $p$.
2. किसी भी बोरेल सबसिद्धांत के लिए $B\subseteq [0,1]$ माप 1 का, सिद्धांत
   $$D_{B}=\{p\in P:p\subseteq B\}$$
   घना है।

किसी भी फिल्टर के लिए $G$ और किसी भी निश्चित रूप से कई तत्वों के लिए $p_{1},\ldots ,p_{n}\in G$ वहाँ है $q\in G$ ऐसा जो धारण करता है $q\leq p_{1},\ldots ,p_{n}$. इस आदेश के स्थिति में, इसका अर्थ है कि कोई भी फ़िल्टर परिमित चौराहे की संपत्ति के साथ कॉम्पैक्ट सिद्धांत का सिद्धांत है। इस कारण से, किसी भी फ़िल्टर के सभी तत्वों का प्रतिच्छेदन खाली नहीं है। यदि $G$ सघन समुच्चय को प्रतिच्छेद करने वाला फिल्टर है $D_{n}$ किसी भी सकारात्मक पूर्णांक के लिए $n$, फिर फ़िल्टर करें $G$ मनमाने ढंग से छोटे सकारात्मक व्यास की शर्तें सम्मलित हैं। इसलिए, से सभी स्थितियों का प्रतिच्छेदन $G$ व्यास 0 है। किन्तु व्यास 0 के केवल गैर-रिक्त सिद्धांत सिंगलटन हैं। अतः ठीक वास्तविक संख्या है $r_{G}$ ऐसा है कि $r_{G}\in \bigcap G$.

होने देना $B\subseteq [0,1]$ माप का कोई भी बोरेल सिद्धांत हो 1. यदि $G$ काटती है $D_{B}$, तब $r_{G}\in B$.

चूंकि, गणनीय सकर्मक प्रारूप पर सामान्य फ़िल्टर $V$ इसमें नहीं है $V$. असली $r_{G}$ द्वारा परिभाषित $G$ का अंग नहीं है $V$. समस्या यह है कि यदि $p\in P$, तब $V\models$ $p$ कॉम्पैक्ट है, किन्तु कुछ बड़े ब्रह्मांड के दृष्टिकोण से $U\supset V$, $p$ गैर-कॉम्पैक्ट हो सकता है और सामान्य फ़िल्टर से सभी स्थितियों का प्रतिच्छेदन हो सकता है $G$ वास्तव में खाली है। इस कारण से, हम सिद्धांत पर विचार करते हैं $C=\{{\bar {p}}:p\in G\}$ जी से शर्तों के सांस्थितिक बंद होने की। की वजह से ${\bar {p}}\supseteq p$ और परिमित चौराहे की संपत्ति $G$, सिद्धांत $C$ परिमित चौराहा संपत्ति भी है। सिद्धांत के तत्व $C$ परिबद्ध संवृत समुच्चय परिबद्ध समुच्चय के संवरक के रूप में होते हैं। इसलिए, $C$ कॉम्पैक्ट सिद्धांत का सिद्धांत है परिमित चौराहा संपत्ति के साथ और इस प्रकार गैर-खाली चौराहा है। तब से $\operatorname {diam} ({\bar {p}})=\operatorname {diam} (p)$ और ग्राउंड प्रारूप $V$ ब्रह्मांड से मीट्रिक प्राप्त करता है $U$, सिद्धांत $C$ मनमाने ढंग से छोटे व्यास के तत्व हैं। अंत में, वास्तव में वास्तविक है जो सिद्धांत के सभी सदस्यों से संबंधित है $C$. सामान्य फ़िल्टर $G$ से पुनर्निर्माण किया जा सकता है $r_{G}$ जैसा $G=\{p\in P:r_{G}\in {\bar {p}}\}$.

यदि $a$ का नाम है $r_{G}$, और के लिए $B\in V$ रखती है $V\models$ $B$ माप 1 का बोरेल सिद्धांत है, फिर होल्ड करता है

$V[G]\models \left(p\Vdash _{\mathbb {P} }a\in {\check {B}}\right)$ कुछ के लिए $p\in G$. नाम है $a$ ऐसा कि किसी भी सामान्य फ़िल्टर के लिए $G$ रखती है

$\operatorname {val} (a,G)\in \bigcup _{p\in G}{\bar {p}}.$ तब

$V[G]\models \left(p\Vdash _{\mathbb {P} }a\in {\check {B}}\right)$ किसी भी शर्त के लिए रखता है $p$.

हर बोरेल सिद्धांत, गैर-विशिष्ट रूप से, बनाया जा सकता है, तर्कसंगत समापन बिंदुओं के साथ अंतराल से प्रारंभ होता है और पूरक और गणनीय यूनियनों के संचालन को लागू करता है, कई बार। ऐसे निर्माण के रिकॉर्ड को बोरेल कोड कहा जाता है। बोरेल सिद्धांत दिया $B$ में $V$, बोरेल कोड पुनर्प्राप्त करता है, और फिर उसी निर्माण अनुक्रम को लागू करता है $V[G]$, बोरेल सिद्धांत प्राप्त करना $B^{*}$. यह सिद्ध किया जा सकता है कि ही सिद्धांत के निर्माण से स्वतंत्र हो जाता है $B$, और वह मूल गुण संरक्षित हैं। उदाहरण के लिए, यदि $B\subseteq C$, तब $B^{*}\subseteq C^{*}$. यदि $B$ माप शून्य है, फिर $B^{*}$ माप शून्य है। यह मैपिंग $B\mapsto B^{*}$ इंजेक्शन है।

किसी भी सिद्धांत के लिए $B\subseteq [0,1]$ ऐसा है कि $B\in V$ और $V\models$ $B$ माप 1 का बोरेल सिद्धांत है $r\in B^{*}$.

इस का अर्थ है कि $r$ के दृष्टिकोण से 0s और 1s का अनंत यादृच्छिक क्रम है $V$, जिसका अर्थ है कि यह जमीनी प्रारूप से सभी सांख्यिकीय परीक्षणों को पूरा करता है $V$.

तो दिया $r$, यादृच्छिक वास्तविक, कोई यह दिखा सकता है

$G=\left\{B~({\text{in }}V)\mid r\in B^{*}~({\text{in }}V[G])\right\}.$

के बीच पारस्परिक अंतर-निश्चितता के कारण $r$ और $G$, सामान्यतः लिखता है $V[r]$ के लिए $V[G]$.

में वास्तविक की अलग व्याख्या $V[G]$ दाना स्कॉट द्वारा प्रदान किया गया था। में तर्कसंगत संख्या $V[G]$ ऐसे नाम हैं जो गिनती के अनुरूप हैं - कई अलग-अलग तर्कसंगत मूल्यों को बोरेल सिद्धांत के अधिकतम एंटीचैन को सौंपा गया है - दूसरे शब्दों में, निश्चित तर्कसंगत-मूल्यवान कार्य $I=[0,1]$. में वास्तविक संख्याएँ $V[G]$ फिर ऐसे कार्यों के डेडेकाइंड कट के अनुरूप है, जो औसत दर्जे का कार्य है।

बूलियन-मूल्यवान प्रारूप

Main article: Boolean-valued model

शायद अधिक स्पष्ट रूप से, विधि को बूलियन-मूल्यवान प्रारूप के संदर्भ में समझाया जा सकता है। इनमें, किसी भी कथन को केवल सत्य/असत्य मान के अतिरिक्त कुछ पूर्ण परमाणु रहित बूलियन बीजगणित (संरचना) से सत्य मान निर्दिष्ट किया जाता है। फिर इस बूलियन बीजगणित में ultrafilter चुना जाता है, जो हमारे सिद्धांत के कथनों को सही/गलत मान प्रदान करता है। मुद्दा यह है कि परिणामी सिद्धांत में प्रारूप होता है जिसमें यह अल्ट्राफिल्टर होता है, जिसे पुराने प्रारूप को इस अल्ट्राफिल्टर के साथ विस्तारित करके प्राप्त नए प्रारूप के रूप में समझा जा सकता है। बूलियन-मूल्यवान प्रारूप को उचित तरीके से चुनकर, हम वांछित संपत्ति वाला प्रारूप प्राप्त कर सकते हैं। इसमें, केवल कथन जो सत्य होना चाहिए (सत्य होने के लिए मजबूर किया जाता है) अर्थ में सत्य होगा (क्योंकि इसमें यह विस्तार/न्यूनतम संपत्ति है)।

मेटा-गणितीय स्पष्टीकरण

मजबूर करने में, हम सामान्यतः यह दिखाना चाहते हैं कि कुछ वाक्य (गणितीय तर्क) के साथ संगति प्रमाण है ${\mathsf {ZFC}}$ (या वैकल्पिक रूप से कुछ विस्तार ${\mathsf {ZFC}}$). तर्क की व्याख्या करने का विधि यह मान लेना है ${\mathsf {ZFC}}$ सुसंगत है और फिर उसे सिद्ध कीजिए ${\mathsf {ZFC}}$ नए वाक्य के साथ संयुक्त (गणितीय तर्क) भी सुसंगत है।

प्रत्येक स्थिति सूचना का परिमित टुकड़ा है - विचार यह है कि केवल परिमित टुकड़े ही संगति के लिए प्रासंगिक हैं, क्योंकि, कॉम्पैक्टनेस प्रमेय द्वारा, सिद्धांत संतोषजनक है यदि और केवल यदि इसके स्वयंसिद्धों का प्रत्येक परिमित उपसमुच्चय संतोषजनक है। तब हम अपने प्रारूप का विस्तार करने के लिए निरंतर स्थितियों का अनंत सिद्धांत चुन सकते हैं। इसलिए, की निरंतरता मानते हुए ${\mathsf {ZFC}}$, हम की निरंतरता सिद्ध करते हैं ${\mathsf {ZFC}}$ इस अनंत सिद्धांत द्वारा विस्तारित।

तार्किक व्याख्या

गोडेल की दूसरी अपूर्णता प्रमेय द्वारा, कोई भी पर्याप्त रूप से शक्तिशाली औपचारिक सिद्धांत की निरंतरता को सिद्ध नहीं कर सकता है, जैसे कि ${\mathsf {ZFC}}$, सिद्धांत के केवल स्वयंसिद्धों का उपयोग करते हुए, जब तक कि सिद्धांत असंगत न हो। परिणामस्वरूप, गणितज्ञ निरंतरता को सिद्ध करने का प्रयास नहीं करते हैं ${\mathsf {ZFC}}$ के केवल अभिगृहीतों का उपयोग करना ${\mathsf {ZFC}}$, या यह सिद्ध करने के लिए ${\mathsf {ZFC}}+H$ किसी भी परिकल्पना के अनुरूप है $H$ केवल उपयोग करना ${\mathsf {ZFC}}+H$. इस कारण से, संगति प्रमाण का उद्देश्य की संगति को सिद्ध करना है ${\mathsf {ZFC}}+H$ की संगति के सापेक्ष ${\mathsf {ZFC}}$. ऐसी समस्याओं को सापेक्ष संगति की समस्याओं के रूप में जाना जाता है, जिनमें से सिद्ध होती है

$${\mathsf {ZFC}}\vdash \operatorname {Con} ({\mathsf {ZFC}})\rightarrow \operatorname {Con} ({\mathsf {ZFC}}+H).$$

(⁎)

सापेक्ष संगति प्रमाणों की सामान्य स्कीमा इस प्रकार है। जैसा कि कोई भी प्रमाण परिमित है, यह केवल स्वयंसिद्धों की सीमित संख्या का उपयोग करता है:

${\mathsf {ZFC}}+\lnot \operatorname {Con} ({\mathsf {ZFC}}+H)\vdash (\exists T)(\operatorname {Fin} (T)\land T\subseteq {\mathsf {ZFC}}\land (T\vdash \lnot H)).$

किसी दिए गए प्रमाण के लिए, ${\mathsf {ZFC}}$ इस प्रमाण की वैधता को सत्यापित कर सकते हैं। यह प्रमाण की लंबाई पर प्रेरण द्वारा सिद्ध होता है।

${\mathsf {ZFC}}\vdash (\forall T)((T\vdash \lnot H)\rightarrow ({\mathsf {ZFC}}\vdash (T\vdash \lnot H))).$

फिर संकल्प करें

${\mathsf {ZFC}}+\lnot \operatorname {Con} ({\mathsf {ZFC}}+H)\vdash (\exists T)(\operatorname {Fin} (T)\land T\subseteq {\mathsf {ZFC}}\land ({\mathsf {ZFC}}\vdash (T\vdash \lnot H))).$

निम्नलिखित को सिद्ध करके

$${\mathsf {ZFC}}\vdash (\forall T)(\operatorname {Fin} (T)\land T\subseteq {\mathsf {ZFC}}\rightarrow ({\mathsf {ZFC}}\vdash \operatorname {Con} (T+H))),$$

(⁎⁎)

यह निष्कर्ष निकाला जा सकता है

${\mathsf {ZFC}}+\lnot \operatorname {Con} ({\mathsf {ZFC}}+H)\vdash (\exists T)(\operatorname {Fin} (T)\land T\subseteq {\mathsf {ZFC}}\land ({\mathsf {ZFC}}\vdash (T\vdash \lnot H))\land ({\mathsf {ZFC}}\vdash \operatorname {Con} (T+H))),$

जो बराबर है

${\mathsf {ZFC}}+\lnot \operatorname {Con} ({\mathsf {ZFC}}+H)\vdash \lnot \operatorname {Con} ({\mathsf {ZFC}}),$

जो देता है (*)। सापेक्ष संगति प्रमाण का मूल प्रमाण (**) है। ए ${\mathsf {ZFC}}$ का सबूत $\operatorname {Con} (T+H)$ किसी भी परिमित उपसमुच्चय के लिए बनाया जा सकता है $T$ की ${\mathsf {ZFC}}$ सिद्धांत (द्वारा ${\mathsf {ZFC}}$ बेशक उपकरण)। (इसका कोई सार्वभौमिक प्रमाण नहीं है $\operatorname {Con} (T+H)$ बिल्कुल।)

में ${\mathsf {ZFC}}$, यह सिद्ध है कि किसी भी स्थिति के लिए $p$, सूत्रों का सिद्धांत (नामों द्वारा मूल्यांकन) द्वारा मजबूर किया गया $p$ कटौती से बंद है। इसके अतिरिक्त, किसी के लिए ${\mathsf {ZFC}}$ स्वयंसिद्ध, ${\mathsf {ZFC}}$ सिद्ध करता है कि इस स्वयंसिद्ध द्वारा मजबूर किया गया है $\mathbf {1}$. फिर यह सिद्ध करने के लिए पर्याप्त है कि कम से कम शर्त है जो बल देती है $H$.

बूलियन-वैल्यू फोर्सिंग के स्थिति में, प्रक्रिया समान है: यह सिद्ध करना कि बूलियन मान $H$ क्या नहीं है $\mathbf {0}$.

एक अन्य दृष्टिकोण परावर्तन प्रमेय का उपयोग करता है। के किसी भी परिमित सिद्धांत के लिए ${\mathsf {ZFC}}$ स्वयंसिद्ध, है ${\mathsf {ZFC}}$ सबूत है कि स्वयंसिद्धों के इस सिद्धांत में गणनीय सकर्मक प्रारूप है। किसी दिए गए परिमित समुच्चय के लिए $T$ का ${\mathsf {ZFC}}$ अभिगृहीत, परिमित समुच्चय है $T'$ का ${\mathsf {ZFC}}$ सिद्धांत ऐसे हैं ${\mathsf {ZFC}}$ सिद्ध करता है कि यदि गणनीय सकर्मक प्रारूप $M$ संतुष्ट $T'$, तब $M[G]$ संतुष्ट $T$. सिद्ध करके कि परिमित समुच्चय है $T''$ का ${\mathsf {ZFC}}$ स्वयंसिद्ध ऐसे हैं कि यदि गणनीय सकर्मक प्रारूप $M$ संतुष्ट $T''$, तब $M[G]$ परिकल्पना को संतुष्ट करता है $H$. फिर, किसी दिए गए परिमित समुच्चय के लिए $T$ का ${\mathsf {ZFC}}$ स्वयंसिद्ध, ${\mathsf {ZFC}}$ को सिद्ध करता $\operatorname {Con} (T+H)$.

कभी-कभी (**) में, शक्तिशाली सिद्धांत $S$ अतिरिक्त ${\mathsf {ZFC}}$ सिद्ध करने के लिए प्रयोग किया जाता है $\operatorname {Con} (T+H)$. तब हमारे पास निरंतरता का प्रमाण है ${\mathsf {ZFC}}+H$ की संगति के सापेक्ष $S$. ध्यान दें कि ${\mathsf {ZFC}}\vdash \operatorname {Con} ({\mathsf {ZFC}})\leftrightarrow \operatorname {Con} ({\mathsf {ZFL}})$, कहाँ ${\mathsf {ZFL}}$ है ${\mathsf {ZF}}+V=L$ (रचनात्मकता का स्वयंसिद्ध)।

यह भी देखें

• जबरन धारणाओं की सूची
• अच्छा नाम

संदर्भ

• Bell, J. L. (1985). Boolean-Valued Models and Independence Proofs in Set Theory, Oxford. ISBN 0-19-853241-5
• Cohen, P. J. (1966). Set theory and the continuum hypothesis. Addison–Wesley. ISBN 978-0-8053-2327-6.
• Grishin, V. N. (2001) [1994], "Forcing Method", Encyclopedia of Mathematics, EMS Press
• Kunen, K. (1980). Set Theory: An Introduction to Independence Proofs. North-Holland. ISBN 978-0-444-85401-8.
• Jech, Thomas (2002). Set Theory: The Third Millennium Edition. Spring-Verlag. ISBN 3-540-44085-2.

बाहरी संबंध

• Gunther, E.; Pagano, M.; Sánchez Terraf, P. Formalization of Forcing in Isabelle/ZF (Formal Proof Development, Archive of Formal Proofs)
• Nik Weaver's book Forcing for Mathematicians was written for mathematicians who want to learn the basic machinery of forcing. No background in logic is assumed, beyond the facility with formal syntax which should be second nature to any well-trained mathematician.
• Timothy Chow's article A Beginner's Guide to Forcing is a good introduction to the concepts of forcing that avoids a lot of technical detail. This paper grew out of Chow's newsgroup article Forcing for dummies Archived 2009-05-06 at archive.today. In addition to improved exposition, the Beginner's Guide includes a section on Boolean-valued models.
• See also Kenny Easwaran's article A Cheerful Introduction to Forcing and the Continuum Hypothesis, which is also aimed at the beginner but includes more technical details than Chow's article.
• Cohen, P. J. The Independence of the Continuum Hypothesis, Proceedings of the National Academy of Sciences of the United States of America, Vol. 50, No. 6. (Dec. 15, 1963), pp. 1143–1148.
• Cohen, P. J. The Independence of the Continuum Hypothesis, II, Proceedings of the National Academy of Sciences of the United States of America, Vol. 51, No. 1. (Jan. 15, 1964), pp. 105–110.
• Paul Cohen gave a historical lecture The Discovery of Forcing (Rocky Mountain J. Math. Volume 32, Number 4 (2002), 1071–1100) about how he developed his independence proof. The linked page has a download link for an open access PDF but your browser must send a referer header from the linked page to retrieve it.
• Akihiro Kanamori: Set theory from Cantor to Cohen
• Weisstein, Eric W. "Forcing". MathWorld.