ब्रह्मांड का निर्माण

Not to be confused with गोडेल मीट्रिक.

गणित में, सेट सिद्धांत में, रचनात्मक ब्रह्मांड (या गोडेल का रचनात्मक ब्रह्मांड), जिसे L द्वारा दर्शाया गया है, सेटों (गणित) का एक विशेष वर्ग (सेट सिद्धांत) है जिसे पूरी तरह से सरल सेटों के संदर्भ में वर्णित किया जा सकता है। L रचनात्मक पदानुक्रम का L_α संघ है। इसे कर्ट गोडेल ने अपने 1938 के पेपर "द कंसिस्टेंसी ऑफ द एक्सिओम ऑफ चॉइस एंड ऑफ द जनरलाइज्ड कॉन्टिनम-हाइपोथिसिस" में पेश किया था। इस पेपर में, उन्होंने साबित किया कि रचनात्मक ब्रह्मांड ZF सेट सिद्धांत का एक आंतरिक मॉडल है (अर्थात, ज़र्मेलो-फ्रेंकेल सेट सिद्धांत जिसमें पसंद के सिद्धांत को बाहर रखा गया है), और यह भी कि रचनात्मक ब्रह्मांड में पसंद के सिद्धांत और सामान्यीकृत सातत्य परिकल्पना सत्य हैं। इससे पता चलता है कि दोनों प्रस्ताव सेट सिद्धांत के मूल सिद्धांतों के अनुरूप हैं, यदि ZF स्वयं सुसंगत है। चूँकि कई अन्य प्रमेय केवल उन प्रणालियों में मान्य होते हैं जिनमें एक या दोनों प्रस्ताव सत्य होते हैं, उनकी स्थिरता एक महत्वपूर्ण परिणाम है।

क्या L है

L को वॉन न्यूमैन ब्रह्मांड, V के निर्माण के समान "चरणों" में बनाया गया माना जा सकता है। चरणों को क्रमसूचकों द्वारा अनुक्रमित किया जाता है। वॉन न्यूमैन के ब्रह्मांड में, उत्तराधिकारी चरण में, कोई V_α+1 को पिछले चरण, V_α के सभी सबसेट का सेट मानता है। इसके विपरीत, गोडेल के रचनात्मक ब्रह्मांड L में, कोई पिछले चरण के केवल उन सबसेट का उपयोग करता है जो हैं:

• सेट सिद्धांत की औपचारिक भाषा में एक सूत्र (गणितीय तर्क) द्वारा परिभाषित,
• पिछले चरण के मापदंडों के साथ और,
• क्वांटिफायर (तर्क) की व्याख्या पिछले चरण की सीमा के अनुसार की गई है।

अपने आप को केवल पहले से निर्मित किए गए सेटों के संदर्भ में परिभाषित सेटों तक सीमित करके, यह सुनिश्चित किया जाता है कि परिणामी सेटों का निर्माण इस तरह से किया जाएगा जो सेट सिद्धांत के आसपास के मॉडल की विशिष्टताओं से स्वतंत्र है और ऐसे किसी भी मॉडल में निहित है।

डीईएफ़ ऑपरेटर को परिभाषित करें:

$\operatorname {Def} (X):={\Bigl \{}\{y\mid y\in X{\text{ and }}(X,\in )\models \Phi (y,z_{1},\ldots ,z_{n})\}~{\Big |}~\Phi {\text{ is a first-order formula and }}z_{1},\ldots ,z_{n}\in X{\Bigr \}}.$

एल को ट्रांसफ़िनिट रिकर्सन द्वारा निम्नानुसार परिभाषित किया गया है:

• $L_{0}:=\varnothing .$
• $L_{\alpha +1}:=\operatorname {Def} (L_{\alpha }).$ * अगर $\lambda$ तो फिर, यह एक सीमा क्रमसूचक है $L_{\lambda }:=\bigcup _{\alpha <\lambda }L_{\alpha }.$ यहाँ $\alpha <\lambda$ साधन $\alpha$ क्रमसूचक संख्या#उत्तराधिकारी और सीमा क्रमवाचक $\lambda$.
• $L:=\bigcup _{\alpha \in \mathbf {Ord} }L_{\alpha }.$ यहां ऑर्ड सभी ऑर्डिनल्स के वर्ग (सेट सिद्धांत) को दर्शाता है।

अगर $z$ का एक तत्व है $L_{\alpha }$, तब $z=\{y\in L_{\alpha }\ {\text{and}}\ y\in z\}\in {\textrm {Def}}(L_{\alpha })=L_{\alpha +1}$. इसलिए $L_{\alpha }$ का एक उपसमुच्चय है $L_{\alpha +1}$, जो कि सत्ता स्थापित का एक उपसमुच्चय है L_α. नतीजतन, यह नेस्टेड सकर्मक समुच्चय का एक टावर है। लेकिन L स्वयं एक वर्ग (सेट सिद्धांत) है।

के तत्व L रचनात्मक समुच्चय कहलाते हैं; और Lस्वयं रचनात्मक ब्रह्मांड है। रचनाशीलता का सिद्धांत, उर्फV = L , कहता है कि प्रत्येक सेट (का V) रचनात्मक है, अर्थात् L.

सेट के बारे में अतिरिक्त तथ्य L_α

के लिए एक समतुल्य परिभाषा L_α है:

For any ordinal α, $L_{\alpha }=\bigcup _{\beta <\alpha }\operatorname {Def} (L_{\beta })\!$.

किसी भी परिमित क्रम के लिए n, सेट L_n और V_n वही हैं (चाहे V बराबर है L या नहीं), और इस प्रकार L_ω = V_ω: उनके तत्व बिल्कुल आनुवंशिक रूप से सीमित सेट हैं। इस बिंदु से आगे समानता नहीं टिकती। यहां तक ​​कि ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के मॉडल में भी V बराबर है L, L_ω+1 का एक उचित उपसमुच्चय है V_ω+1, और उसके बाद L_α+1 के पावर सेट का एक उचित उपसमुच्चय है L_α सभी के लिए α > ω. वहीं दूसरी ओर, V = L इसका तात्पर्य यह है V_α बराबर है L_α अगर α = ω_α, उदाहरण के लिए यदि α अप्राप्य है. आम तौर पर अधिक, V = L का तात्पर्य वंशानुगत गणनीय समुच्चय से है|H_α = L_α सभी अनंत कार्डिनल्स के लिए α.

अगर α एक अनंत क्रमसूचक है तो बीच में एक आक्षेप है L_α और α, और आक्षेप रचनात्मक है। तो ये सेट सेट सिद्धांत के किसी भी मॉडल में समतुल्य हैं जिसमें ये शामिल हैं।

जैसा कि ऊपर बताया गया है, Def(X) के उपसमुच्चय का समुच्चय है X Δ द्वारा परिभाषित₀ सूत्र (लेवी पदानुक्रम के संबंध में, यानी, सेट सिद्धांत के सूत्र जिसमें केवल बंधे हुए क्वांटिफायर होते हैं) जो केवल पैरामीटर के रूप में उपयोग करते हैं X और उसके तत्व। गोडेल के कारण एक और परिभाषा, प्रत्येक की विशेषता बताती है L_α+1 की शक्ति सेट के प्रतिच्छेदन के रूप में L_α के बंद होने के साथ $L_{\alpha }\cup \{L_{\alpha }\}$ गोडेल संचालन के समान, नौ स्पष्ट कार्यों के संग्रह के तहत। यह परिभाषा निश्चितता का कोई संदर्भ नहीं देती है।

के सभी अंकगणितीय पदानुक्रम उपसमुच्चय ω और संबंध चालू ω के संबंधित L_ω+1 (क्योंकि अंकगणितीय परिभाषा एक देती है L_ω+1). इसके विपरीत, का कोई उपसमुच्चय ω से संबंधित L_ω+1 अंकगणितीय है (क्योंकि के तत्व L_ω को प्राकृतिक संख्याओं द्वारा इस तरह से कोडित किया जा सकता है कि ∈ निश्चित है, यानी, अंकगणित)। वहीं दूसरी ओर, L_ω+2 में पहले से ही कुछ गैर-अंकगणितीय उपसमुच्चय शामिल हैं ω, जैसे कि (प्राकृतिक संख्या कोडिंग) सही अंकगणितीय कथनों का सेट (इसे इससे परिभाषित किया जा सकता है L_ω+1 तो यह अंदर है L_ω+2).

के सभी हाइपर अंकगणितीय पदानुक्रम उपसमुच्चय ω और संबंध चालू ω के संबंधित $L_{\omega _{1}^{\mathrm {CK} }}$ (कहाँ $\omega _{1}^{\mathrm {CK} }$ चर्च-क्लीन ऑर्डिनल के लिए खड़ा है), और इसके विपरीत किसी भी उपसमुच्चय के लिए ω वह का है $L_{\omega _{1}^{\mathrm {CK} }}$ अति अंकगणितीय है.

== L ZFC == का एक मानक आंतरिक मॉडल है $(L,\in )$ एक मानक मॉडल है, यानी एल एक संक्रमणीय वर्ग है और व्याख्या वास्तविक तत्व संबंध का उपयोग करती है, इसलिए यह अच्छी तरह से स्थापित संबंध है|अच्छी तरह से स्थापित है। L एक आंतरिक मॉडल है, यानी इसमें सभी क्रमिक संख्याएं शामिल हैं V और इसमें इनके अलावा कोई अतिरिक्त सेट नहीं है V. हालाँकि L एक उचित उपवर्ग हो सकता है V. L ज़र्मेलो-फ्रेंकेल सेट सिद्धांत का एक मॉडल है, जिसका अर्थ है कि यह निम्नलिखित सिद्धांतों को संतुष्ट करता है:

• नियमितता का सिद्धांत: प्रत्येक गैर-रिक्त सेट x में कुछ तत्व शामिल हैं y ऐसा है कि x और y असंयुक्त समुच्चय हैं।

(L,∈) की एक उपसंरचना हैV,∈), जो अच्छी तरह से स्थापित है, इसलिए L अच्छी तरह से स्थापित है. विशेषकर, यदि y ∈ x ∈ L, फिर की परिवर्तनशीलता द्वारा L, y ∈ L. अगर हम इसी का उपयोग करते हैं y के रूप में V, तो यह अभी भी असंयुक्त है x क्योंकि हम समान तत्व संबंध का उपयोग कर रहे हैं और कोई नया सेट नहीं जोड़ा गया है।

• विस्तारात्मकता का सिद्धांत: दो सेट समान हैं यदि उनके तत्व समान हैं।

अगर x और y में हैं L और उनमें समान तत्व हैं L, तब तक L की परिवर्तनशीलता, उनके पास समान तत्व हैं (में V). अत: वे बराबर (में) हैं V और इस प्रकार में L).

• रिक्त समुच्चय का अभिगृहीत: {} एक समुच्चय है।

$\{\}=L_{0}=\{y\mid y\in L_{0}\land y=y\}$, जो इसमें है $L_{1}$. इसलिए $\{\}\in L$. चूँकि तत्व संबंध समान है और कोई नया तत्व नहीं जोड़ा गया है, यह खाली सेट है $L$.

• युग्म का अभिगृहीत: यदि $x$, $y$ तो, सेट हैं $\{x,y\}$ एक सेट है.

अगर $x\in L$ और $y\in L$, फिर कुछ क्रम है $\alpha$ ऐसा है कि $x\in L_{\alpha }$ और $y\in L_{\alpha }$. फिर {x,y} = {<नोविकी/>s | s ∈ L_α और (s = x या s = y)} ∈ L_α+1. इस प्रकार {x,y} ∈ L और इसका वही अर्थ है L से संबंधित V.

• मिलन का अभिगृहीत: किसी भी समुच्चय के लिए x एक सेट है y जिनके तत्व बिल्कुल तत्वों के तत्व हैं x.

अगर $x\in L_{\alpha }$, तो उसके तत्व अंदर हैं $L_{\alpha }$ और उनके तत्व भी अंदर हैं $L_{\alpha }$. इसलिए $y$ का एक उपसमुच्चय है $L_{\alpha }$. y = {<नोविकी/>s | s ∈ L_α और वहाँ मौजूद है z ∈ x ऐसा है कि s ∈ z} ∈ L_α+1. इस प्रकार $y\in L$.

• अनंत का अभिगृहीत: एक समुच्चय मौजूद है $x$ ऐसा है कि $\varnothing$ में है $x$ और जब भी $y$ में है $x$, तो संघ है $y\cup \{y\}$.

प्रत्येक क्रमसूचक को दिखाने के लिए ट्रांसफिनिट इंडक्शन का उपयोग किया जा सकता है α ∈ L_α+1. विशेष रूप से, ω ∈ L_ω+1 और इस तरह ω ∈ L.

• पृथक्करण का अभिगृहीत: किसी भी समुच्चय को देखते हुए S और कोई भी प्रस्ताव P(x,z₁,...,z_n), {<नोविकी/>x | x ∈ S और P(x,z₁,...,z_n)} एक समुच्चय है.

के उपसूत्रों पर प्रेरण द्वारा P, कोई दिखा सकता है कि वहाँ एक है α ऐसा है कि L_α रोकना S और z₁,...,z_n और (P में सत्य है L_α अगर और केवल अगर $P$ में सच है $L$), बाद वाले को प्रतिबिंब सिद्धांत कहा जाता है)। तो {x | x ∈ S and P(x,z₁,...,z_n) holds in L} = {<नोविकी/>x | x ∈ L_α और x ∈ S और P(x,z₁,...,z_n) धारण करता है L_α} ∈ L_α+1. इस प्रकार उपसमुच्चय अंदर है L.

• प्रतिस्थापन का सिद्धांत: कोई भी सेट दिया गया S और कोई भी मानचित्रण (औपचारिक रूप से एक प्रस्ताव के रूप में परिभाषित किया गया है P(x,y) कहाँ P(x,y) और पी(x,z) तात्पर्य y = z), {<नोविकी/>y | वहां मौजूद x ∈ S ऐसा है कि P(x,y)} एक सेट है.

होने देना Q(x,y) वह सूत्र हो जो सापेक्ष बनाता है P को L, यानी सभी क्वांटिफायर P तक सीमित हैं L. Q की तुलना में कहीं अधिक जटिल सूत्र है P, लेकिन यह अभी भी एक सीमित सूत्र है, और तब से P एक मैपिंग ओवर था L, Q एक मैपिंग ओवर होना चाहिए V; इस प्रकार हम इसमें प्रतिस्थापन लागू कर सकते हैं V को Q. तो {y | y ∈ L और वहाँ मौजूद है x ∈ S ऐसा है कि P(x,y) धारण करता है L<नोविकी/>} = {<नोविकी/>y | वहां मौजूद x ∈ S ऐसा है कि Q(x,y)} एक सेट है V और का एक उपवर्ग L. फिर से प्रतिस्थापन के सिद्धांत का उपयोग करना V, हम दिखा सकते हैं कि एक होना ही चाहिए α जैसे कि यह समुच्चय इसका एक उपसमुच्चय है L_α ∈ L_α+1. तब कोई अलगाव के सिद्धांत का उपयोग कर सकता है L यह दिखाने के लिए कि यह एक तत्व है L.

• पावर सेट का सिद्धांत: किसी भी सेट के लिए x वहां एक सेट मौजूद है y, जैसे कि के तत्व y सटीक रूप से उपसमुच्चय हैं x.

सामान्य तौर पर, एक सेट के कुछ उपसमुच्चय Lअंदर नहीं होगा L. तो एक सेट की पूरी शक्ति सेट में L आमतौर पर अंदर नहीं होगा L. यहां हमें यह दिखाने की जरूरत है कि शक्ति का प्रतिच्छेदन किससे निर्धारित होता है L में है L. में प्रतिस्थापन का प्रयोग करें V यह दिखाने के लिए कि एक α ऐसा है कि प्रतिच्छेदन इसका एक उपसमुच्चय है L_α. फिर प्रतिच्छेदन { हैz | z ∈ L_α और z का एक उपसमुच्चय है x} ∈ L_α+1. इस प्रकार आवश्यक सेट अंदर है L.

• पसंद का सिद्धांत: एक सेट दिया गया है x परस्पर असंयुक्त अरिक्त समुच्चयों का एक समुच्चय होता है y (के लिए एक विकल्प सेट x) के प्रत्येक सदस्य से बिल्कुल एक तत्व शामिल है x.

कोई यह दिखा सकता है कि निश्चित रूप से सुव्यवस्थित है L, विशेष रूप से सभी सेटों को ऑर्डर करने पर आधारित $L$ उनकी परिभाषाओं और जिस रैंक पर वे आते हैं, उसके अनुसार। तो प्रत्येक सदस्य का सबसे छोटा तत्व चुनता है x रूप देना y मिलन और अलगाव के सिद्धांतों का उपयोग करना L.

ध्यान दें कि इसका प्रमाण L ZFC का एक मॉडल है केवल इसकी आवश्यकता है V ZF का एक मॉडल बनें, यानी हम यह नहीं मानते हैं कि पसंद का सिद्धांत कायम है V.

एल पूर्ण और न्यूनतम है

अगर $W$ ZF का कोई भी मानक मॉडल समान क्रम-क्रम साझा करता है $V$, फिर $L$ में परिभाषित किया गया है $W$ के समान ही है $L$ में परिभाषित किया गया है $V$. विशेष रूप से, $L_{\alpha }$ में वही है $W$ और $V$, किसी भी क्रमसूचक के लिए $\alpha$. और वही सूत्र और पैरामीटर $Def(L_{\alpha })$ समान रचनात्मक सेट तैयार करें $L_{\alpha +1}$.

इसके अलावा, तब से $L$ का एक उपवर्ग है $V$ और, इसी तरह, $L$ का एक उपवर्ग है $W$, $L$ सभी ऑर्डिनल्स वाला सबसे छोटा वर्ग है जो ZF का एक मानक मॉडल है। वास्तव में, $L$ ऐसे सभी वर्गों का प्रतिच्छेदन है।

अगर कोई सेट है $W$ में $V$ यह ZF का आंतरिक मॉडल और क्रमसूचक है $\kappa$ यह क्रमादेशों का समूह है जो घटित होता है $W$, तब $L_{\kappa }$ है $L$ का $W$. यदि कोई ऐसा सेट है जो ZF का मानक मॉडल है, तो ऐसा सबसे छोटा सेट है $L_{\kappa }$. इस सेट को ZFC का न्यूनतम मॉडल (सेट सिद्धांत) कहा जाता है। अधोमुखी लोवेनहेम-स्कोलेम प्रमेय का उपयोग करके, कोई यह दिखा सकता है कि न्यूनतम मॉडल (यदि यह मौजूद है) एक गणनीय सेट है।

बेशक, किसी भी सुसंगत सिद्धांत में एक मॉडल होना चाहिए, इसलिए सेट सिद्धांत के न्यूनतम मॉडल के भीतर भी ऐसे सेट हैं जो ZF के मॉडल हैं (यह मानते हुए कि ZF सुसंगत है)। हालाँकि, वे सेट मॉडल गैर-मानक हैं। विशेष रूप से, वे सामान्य तत्व संबंध का उपयोग नहीं करते हैं और वे अच्छी तरह से स्थापित नहीं हैं।

क्योंकि दोनों$L$ भीतर निर्मित $L$और$V$ भीतर निर्मित $L$वास्तविक परिणाम $L$, और दोनों $L$ का $L_{\kappa }$ और यह $V$ का $L_{\kappa }$ असली हैं $L_{\kappa }$, हमें वह मिल गया $V=L$ में सच है $L$ और किसी में भी $L_{\kappa }$ यह ZF का एक मॉडल है. हालाँकि, $V=L$ ZF के किसी अन्य मानक मॉडल में नहीं है।

एल और बड़े कार्डिनल

तब से Ord ⊂ L ⊆ V, ऑर्डिनल्स के गुण जो किसी फ़ंक्शन या अन्य संरचना की अनुपस्थिति पर निर्भर करते हैं (यानी Π₁^ZF सूत्र) से नीचे जाने पर संरक्षित रहते हैं V को L. इसलिए कार्डिनल्स के प्रारंभिक क्रम प्रारंभिक ही रहते हैं L. नियमित क्रम-क्रम नियमित रहते हैं L. कमजोर सीमा कार्डिनल सीमा मजबूत सीमा वाले कार्डिनल बन जाते हैं L क्योंकि सामान्यीकृत सातत्य परिकल्पना कायम है L. कमजोर रूप से [[बड़ा कार्डिनल]] दृढ़ता से दुर्गम हो जाते हैं। कमजोर कार्डिनल आँखें मजबूती से महलो बन जाते हैं। और अधिक सामान्यतः, कोई भी बड़ी कार्डिनल संपत्ति ज़ीरो शार्प|0 से कमज़ोर होती है^# (बड़ी कार्डिनल संपत्तियों की सूची देखें) में बरकरार रखा जाएगा L.

हालाँकि, 0^# में गलत है L भले ही सत्य हो V. तो सभी बड़े कार्डिनल जिनका अस्तित्व 0 दर्शाता है^# उन बड़े कार्डिनल गुणों को बंद कर दें, लेकिन 0 से कमजोर गुणों को बरकरार रखें# जो उनके पास भी है. उदाहरण के लिए, मापने योग्य कार्डिनल मापने योग्य नहीं रह जाते हैं लेकिन महलो बने रहते हैं L.

यदि 0^# धारण करता है V, फिर वहां ऑर्डिनल्स का एक क्लब सेट है जो अविवेकी है L. जबकि इनमें से कुछ प्रारंभिक क्रम-क्रम भी नहीं हैं V, उनके पास सभी बड़े कार्डिनल गुण 0 से कमज़ोर हैं^# में L. इसके अलावा, किसी भी सख्ती से बढ़ते वर्ग फ़ंक्शन को अविभाज्य वर्ग से स्वयं के प्राथमिक एम्बेडिंग के लिए एक अनूठे तरीके से बढ़ाया जा सकता है L में L. यह देता है L दोहराए जाने वाले खंडों की एक अच्छी संरचना।

L सुव्यवस्थित किया जा सकता है

सुव्यवस्थित करने के विभिन्न तरीके हैं L. इनमें से कुछ में गोडेल ऑपरेशन शामिल है| की उत्तम संरचना L, जिसका वर्णन पहली बार रोनाल्ड जेन्सेन ने अपने 1972 के पेपर में किया था जिसका शीर्षक था रचनात्मक पदानुक्रम की उत्कृष्ट संरचना। बारीक संरचना की व्याख्या करने के बजाय, हम कैसे की रूपरेखा देंगे L को केवल ऊपर दी गई परिभाषा का उपयोग करके सुव्यवस्थित किया जा सकता है।

कल्पना करना x और y दो अलग-अलग सेट हैं L और हम यह निर्धारित करना चाहते हैं कि क्या x < y या x > y. अगर x सबसे पहले दिखाई देता है L_α+1 और y सबसे पहले दिखाई देता है L_β+1 और β से भिन्न α, तो करने दें x < y अगर और केवल अगर α < β. अब से, हम ऐसा मानते हैं β = α.

मंच L_α+1 = Def (L_α) से पैरामीटर वाले फ़ार्मुलों का उपयोग करता है L_α सेट को परिभाषित करने के लिए x और y. यदि कोई (फिलहाल) मापदंडों को छूट देता है, तो सूत्रों को प्राकृतिक संख्याओं द्वारा एक मानक गोडेल नंबरिंग दी जा सकती है। अगर Φ सबसे छोटी गोडेल संख्या वाला सूत्र है जिसका उपयोग परिभाषित करने के लिए किया जा सकता है x, और Ψ सबसे छोटी गोडेल संख्या वाला सूत्र है जिसका उपयोग परिभाषित करने के लिए किया जा सकता है y, और Ψ से भिन्न Φ, तो करने दें x < y अगर और केवल अगर Φ < Ψ गोडेल नंबरिंग में। अब से, हम ऐसा मानते हैं Ψ = Φ.

लगता है कि Φ उपयोग करता है n से पैरामीटर L_α. कल्पना करना z₁,...,z_n उन पैरामीटरों का क्रम है जिनका उपयोग किया जा सकता है Φ परिभाषित करने के लिए x, और w₁,...,w_n के लिए भी ऐसा ही करता है y. तो करने दें x < y यदि और केवल यदि दोनों में से कोई एक z_n < w_n या (z_n = w_n और $z_{n-1}<w_{n-1}$) या (z_n = w_n और $z_{n-1}=w_{n-1}$ और $z_{n-2}<w_{n-2}$) आदि। इसे रिवर्स शब्दकोषीय क्रम कहा जाता है; यदि मापदंडों के कई क्रम हैं जो किसी एक सेट को परिभाषित करते हैं, तो हम इस क्रम के तहत सबसे कम एक को चुनते हैं। यह समझा जा रहा है कि प्रत्येक पैरामीटर के संभावित मानों को क्रम के प्रतिबंध के अनुसार क्रमबद्ध किया गया है L को L_α, इसलिए इस परिभाषा में ट्रांसफिनिट रिकर्सन शामिल है α.

एकल मापदंडों के मूल्यों का सुव्यवस्थित क्रम ट्रांसफ़िनिट इंडक्शन की आगमनात्मक परिकल्पना द्वारा प्रदान किया जाता है। के मूल्य n-उत्पाद ऑर्डरिंग द्वारा पैरामीटर्स के टुपल्स को अच्छी तरह से क्रमबद्ध किया जाता है। मापदंडों वाले सूत्र सु-क्रमों के क्रमबद्ध योग (गोडेल संख्याओं द्वारा) द्वारा सुव्यवस्थित होते हैं। और L आदेशित राशि द्वारा सुव्यवस्थित है (द्वारा अनुक्रमित)। α) के आदेश पर L_α+1.

ध्यान दें कि इस सुव्यवस्थितता को भीतर परिभाषित किया जा सकता है L स्वयं सेट सिद्धांत के एक सूत्र द्वारा, जिसमें कोई पैरामीटर नहीं है, केवल मुक्त-चर हैं x और y. और यह सूत्र समान सत्य मान देता है, भले ही इसका मूल्यांकन किया गया हो L, V, या W (समान ऑर्डिनल्स के साथ ZF का कुछ अन्य मानक मॉडल) और हम मान लेंगे कि सूत्र गलत है यदि दोनों में से कोई भी x या y इसमें नहीं है L.

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

==L एक प्रतिबिंब सिद्धांत == है यह साबित करना कि अलगाव का सिद्धांत, प्रतिस्थापन का सिद्धांत, और पसंद का सिद्धांत कायम है L के लिए प्रतिबिंब सिद्धांत के उपयोग की आवश्यकता है (कम से कम जैसा कि ऊपर दिखाया गया है)। L. यहां हम ऐसे सिद्धांत का वर्णन करते हैं।

पर प्रेरण द्वारा n < ω, हम ZF का उपयोग कर सकते हैं V किसी भी क्रमसूचक के लिए इसे साबित करने के लिए α, एक क्रमसूचक है β > α ऐसा कि किसी भी वाक्य के लिए P(z₁,...,z_k) साथ z₁,...,z_k में L_β और से कम युक्त n प्रतीक (के एक तत्व के लिए एक स्थिर प्रतीक की गिनती L_β एक प्रतीक के रूप में) हमें वह मिलता है P(z₁,...,z_k) धारण करता है L_β यदि और केवल यदि यह कायम रहता है L.

सामान्यीकृत सातत्य परिकल्पना कायम है L

होने देना $S\in L_{\alpha }$, और जाने T का कोई भी रचनात्मक उपसमुच्चय हो S. फिर कुछ है β साथ $T\in L_{\beta +1}$, इसलिए $T=\{x\in L_{\beta }:x\in S\wedge \Phi (x,z_{i})\}=\{x\in S:\Phi (x,z_{i})\}$, कुछ सूत्र के लिए Φ और कुछ $z_{i}$ से खींचा $L_{\beta }$. नीचे की ओर लोवेनहेम-स्कोलेम प्रमेय और मोस्टोव्स्की पतन लेम्मा के अनुसार, कुछ सकर्मक सेट होना चाहिए K युक्त $L_{\alpha }$ और कुछ $w_{i}$, और प्रथम-क्रम सिद्धांत के समान ही है $L_{\beta }$ साथ $w_{i}$ के लिए प्रतिस्थापित $z_{i}$; और इस K के समान ही कार्डिनल होगा $L_{\alpha }$. तब से $V=L$ में सच है $L_{\beta }$, यह सच भी है K, इसलिए $K=L_{\gamma }$ कुछ के लिए γ के समान कार्डिनल होना α. और $T=\{x\in L_{\beta }:x\in S\wedge \Phi (x,z_{i})\}=\{x\in L_{\gamma }:x\in S\wedge \Phi (x,w_{i})\}$ क्योंकि $L_{\beta }$ और $L_{\gamma }$ एक ही सिद्धांत है. इसलिए T वास्तव में में है $L_{\gamma +1}$.

अतः अनंत समुच्चय के सभी रचनात्मक उपसमुच्चय S की रैंक (अधिकतम) एक ही कार्डिनल के साथ है κ के पद के रूप में S; यह इस प्रकार है कि यदि δ के लिए प्रारंभिक क्रमसूचक है κ⁺, तब $L\cap {\mathcal {P}}(S)\subseteq L_{\delta }$ के पावर सेट के रूप में कार्य करता है S अंदर L. इस प्रकार यह शक्ति निर्धारित हुई $L\cap {\mathcal {P}}(S)\in L_{\delta +1}$. और बदले में इसका मतलब है कि पावर सेट S में अधिकतम कार्डिनल है ||δ||. यह मानते हुए Sस्वयं में कार्डिनल है κ, पावर सेट में बिल्कुल कार्डिनल होना चाहिए κ⁺. लेकिन यह बिल्कुल सामान्यीकृत सातत्य परिकल्पना है जो सापेक्ष है L.

निर्माण योग्य सेट ऑर्डिनल्स से निश्चित हैं

समुच्चय सिद्धांत का एक सूत्र है जो इस विचार को व्यक्त करता है X = L_α. इसके लिए केवल निःशुल्क चर हैं X और α. इसका उपयोग करके हम प्रत्येक रचनात्मक सेट की परिभाषा का विस्तार कर सकते हैं। अगर s ∈ L_α+1, तब s = {<नोविकी/>y | y ∈ L_α और Φ(y,z₁,...,z_n) में रखता है (L_α,∈)} कुछ सूत्र के लिए Φ और कुछ z₁,...,z_n में L_α. यह यह कहने के बराबर है: सभी के लिए y, y ∈ s यदि और केवल यदि [वहाँ मौजूद है X ऐसा है कि X =L_α और y ∈ X और Ψ(X,y,z₁,...,z_n)] कहाँ Ψ(X,...) प्रत्येक क्वांटिफायर को प्रतिबंधित करने का परिणाम है Φ(...) को X. ध्यान दें कि प्रत्येक z_k ∈ L_β+1 कुछ के लिए β < α. के लिए सूत्रों को संयोजित करें z के लिए सूत्र के साथ है s और इसके ऊपर अस्तित्वगत परिमाणक लागू करें z के बाहर और एक सूत्र मिलता है जो रचनात्मक सेट को परिभाषित करता है s केवल क्रमसूचकों का उपयोग करना α जो जैसे भावों में प्रकट होते हैं X = L_α पैरामीटर के रूप में।

उदाहरण: सेट {5,ω} रचनात्मक है। यह अनोखा सेट है s जो सूत्र को संतुष्ट करता है:

$\forall y(y\in s\iff (y\in L_{\omega +1}\land (\forall a(a\in y\iff a\in L_{5}\land Ord(a))\lor \forall b(b\in y\iff b\in L_{\omega }\land Ord(b)))))$,

कहाँ $Ord(a)$ इसके लिए संक्षिप्त है:

$\forall c\in a(\forall d\in c(d\in a\land \forall e\in d(e\in c))).$

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

सापेक्ष रचनाशीलता

कभी-कभी सेट सिद्धांत का एक ऐसा मॉडल ढूंढना वांछनीय होता है जो संकीर्ण जैसा हो L, लेकिन इसमें एक ऐसा सेट शामिल है या उससे प्रभावित है जो रचनात्मक नहीं है। यह सापेक्ष रचनाशीलता की अवधारणा को जन्म देता है, जिसके दो स्वाद हैं, जिन्हें द्वारा दर्शाया गया है L(A) और L[A].

कक्षा L(A) एक गैर-निर्माण योग्य सेट के लिए A उन सभी वर्गों का प्रतिच्छेदन है जो सेट सिद्धांत के मानक मॉडल हैं और इसमें शामिल हैं A और सभी अध्यादेश।

L(A) को ट्रांसफिनिट रिकर्सन द्वारा निम्नानुसार परिभाषित किया गया है:

• L₀(A) = सबसे छोटा सकर्मक समुच्चय A एक तत्व के रूप में, यानी { का सकर्मक समापन (सेट) A }.
• L_α+1(A) = डेफ़ (L_α(A))
• अगर λ तो फिर एक सीमा क्रमवाचक है $L_{\lambda }(A)=\bigcup _{\alpha <\lambda }L_{\alpha }(A)\!$.
• $L(A)=\bigcup _{\alpha }L_{\alpha }(A)\!$.

अगर L(A) के सकर्मक समापन का एक सुव्यवस्थित क्रम शामिल है A, तो इसे अच्छी तरह से ऑर्डर करने तक बढ़ाया जा सकता है L(A). अन्यथा, पसंद का सिद्धांत विफल हो जाएगा L(A).

एक सामान्य उदाहरण है $L(\mathbb {R} )$, सबसे छोटा मॉडल जिसमें सभी वास्तविक संख्याएँ शामिल हैं, जिसका उपयोग आधुनिक वर्णनात्मक सेट सिद्धांत में बड़े पैमाने पर किया जाता है।

कक्षा L[A] सेटों का वह वर्ग है जिसका निर्माण प्रभावित होता है A, कहाँ A एक (संभवतः गैर-निर्माण योग्य) सेट या एक उचित वर्ग हो सकता है। इस वर्ग की परिभाषा Def का उपयोग करती है_A (X), जो Def के समान है (X) सूत्रों की सत्यता का मूल्यांकन करने के बजाय Φ मॉडल में (X,∈), कोई मॉडल का उपयोग करता है (X,∈,A) कहाँ A एक एकात्मक विधेय है. की इच्छित व्याख्या A(y) है y ∈ A. फिर की परिभाषा L[A] बिलकुल वैसा ही है L केवल Def के साथ Def द्वारा प्रतिस्थापित किया गया_A.

L[A] हमेशा पसंद के सिद्धांत का एक मॉडल होता है। भले ही A एक समुच्चय है, Aजरूरी नहीं कि वह स्वयं इसका सदस्य हो L[A], हालांकि यह हमेशा यदि होता है A ऑर्डिनल्स का एक सेट है।

में सेट L(A) या L[A] आमतौर पर वास्तव में निर्माण योग्य नहीं होते हैं, और इन मॉडलों के गुण इनके गुणों से काफी भिन्न हो सकते हैं L अपने आप।

यह भी देखें

• रचनाशीलता का सिद्धांत
• कथन L में सत्य हैं
• प्रतिबिंब सिद्धांत
• स्वयंसिद्ध समुच्चय सिद्धांत
• सकर्मक समुच्चय
• एल(आर)
• सामान्य निश्चित

संदर्भ

• Barwise, Jon (1975). Admissible Sets and Structures. Berlin: Springer-Verlag. ISBN 0-387-07451-1.
• Devlin, Keith J. (1984). Constructibility. Berlin: Springer-Verlag. ISBN 0-387-13258-9.
• Felgner, Ulrich (1971). Models of ZF-Set Theory. Lecture Notes in Mathematics. Springer-Verlag. ISBN 3-540-05591-6.
• Gödel, Kurt (1938). "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis". Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. 24 (12): 556–557. Bibcode:1938PNAS...24..556G. doi:10.1073/pnas.24.12.556. JSTOR 87239. PMC 1077160. PMID 16577857.
• Gödel, Kurt (1940). The Consistency of the Continuum Hypothesis. Annals of Mathematics Studies. Vol. 3. Princeton, N. J.: Princeton University Press. ISBN 978-0-691-07927-1. MR 0002514.
• Jech, Thomas (2002). Set Theory. Springer Monographs in Mathematics (3rd millennium ed.). Springer. ISBN 3-540-44085-2.