सामान्य समुच्चय सिद्धांत: Difference between revisions

Revision as of 17:54, 23 July 2023

सामान्य समुच्चय सिद्धांत (जीएसटी) स्वयंसिद्ध समुच्चय सिद्धांत ज़र्मेलो समुच्चय सिद्धांत के एक खंड के लिए जॉर्ज बूलोस (1998) का नाम है। जीएसटी सभी गणित के लिए पर्याप्त है जिसमें अनंत समुच्चय की आवश्यकता नहीं होती है, और यह सबसे शक्तिहीन ज्ञात समुच्चय सिद्धांत है जिसके प्रमेय में पीनो सूक्ति सम्मिलित हैं।

तात्विकी

जीएसटी की तात्विकी जेडएफसी के समान है, और इसलिए पूरी तरह से विहित है। जीएसटी में एक एकल आदिम धारणा तात्विकी धारणा, समुच्चय (गणित) और एक एकल तात्विकी धारणा सम्मिलित है, अर्थात् संलाप का क्षेत्र में सभी वैयक्तिक (इसलिए सभी गणितीय वस्तुएं) समुच्चय हैं। एक एकल आदिम धारणा द्विआधारी संबंध, तत्व (गणित) है; वह समुच्चय a, समुच्चय b का एक घटक a ∈ b लिखा जाता है (सामान्यतः a पढ़ा जाता है जो b का एक तत्व (गणित) है)।

सूक्ति

नीचे दिए गए प्रतीकात्मक सिद्धांत बूलोस (1998:196) से हैं, और यह नियंत्रित करते हैं कि समुच्चय कैसे व्यवहार करते हैं और परस्पर क्रिया करते हैं। ज़र्मेलो समुच्चय सिद्धांत की तरह, जीएसटी के लिए पृष्ठभूमि तर्क अभिज्ञान (दर्शन) के साथ प्रथम क्रम तर्क है। वास्तव में, जीएसटी, संघ के स्वयंसिद्ध, शक्ति समुच्चय के स्वयंसिद्ध, प्राथमिक समुच्चय (अनिवार्य रूप से युग्मित स्वयंसिद्ध) और अनंत के स्वयंसिद्ध को छोड़कर और फिर Z, अनुबंधी के एक प्रमेय को एक स्वयंसिद्ध के रूप में लेने से प्राप्त जेड का खंड है। स्वयंसिद्धों के प्राकृतिक भाषा संस्करणों का उद्देश्य अंतर्ज्ञान की सहायता करना है।

1) विस्तारशीलता का अभिगृहीत: समुच्चय x और y एक ही समुच्चय हैं यदि उनके सदस्य समान हों।

\forall x\forall y[\forall z[z\in x\leftrightarrow z\in y]\rightarrow x=y].

इस अभिगृहीत का व्युत्क्रम समानता के प्रतिस्थापन गुण से आता है।

2) विशिष्टता (या पृथक्करण या प्रतिबंधित समझ) की स्वयंसिद्ध स्कीमा: यदि z एक समुच्चय है और $\phi$ क्या कोई संपत्ति है जो z के सभी, कुछ, या किसी भी तत्व से संतुष्ट हो सकती है, तो z का एक उपसमुच्चय y मौजूद है जिसमें z में केवल वे तत्व x सम्मिलित हैं जो संपत्ति को संतुष्ट करते हैं $\phi$ . रसेल के विरोधाभास और इसके वेरिएंट से बचने के लिए z पर प्रतिबंध (गणित) आवश्यक है। अधिक औपचारिक रूप से, आइए $\phi (x)$ जीएसटी की भाषा में कोई भी फॉर्मूला हो जिसमें x स्वतंत्र रूप से घटित हो सकता है और y नहीं। फिर निम्नलिखित स्कीमा के सभी उदाहरण स्वयंसिद्ध हैं:

\forall z\exists y\forall x[x\in y\leftrightarrow (x\in z\land \phi (x))].

3) संयोजन का अभिगृहीत: यदि x और y समुच्चय हैं, तो एक समुच्चय w मौजूद है, जो x और y का संयोजक है, जिसके सदस्य सिर्फ y हैं और x के सदस्य हैं।^[1]

\forall x\forall y\exists w\forall z[z\in w\leftrightarrow (z\in x\lor z=y)].

अनुबंधी दो सेटों पर एक प्राथमिक ऑपरेशन को संदर्भित करता है, और गणित में अन्यत्र, सहायक संचालिका सहित, उस शब्द के उपयोग पर इसका कोई प्रभाव नहीं पड़ता है।

एसटी जीएसटी है जिसमें विनिर्देशन की स्वयंसिद्ध स्कीमा को खाली समुच्चय के स्वयंसिद्ध द्वारा प्रतिस्थापित किया गया है।

चर्चा

मेटामैथेमेटिक्स

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

जीएसटी संबंध बीजगणित में व्याख्या योग्य है क्योंकि किसी भी जीएसटी सिद्धांत का कोई भी हिस्सा तीन से अधिक परिमाणक (तर्क)तर्क) के दायरे में नहीं आता है। यह टार्स्की और गिवंत (1987) में दी गई आवश्यक और पर्याप्त शर्त है।

पीनो अंकगणित

φ(x) को पृथक्करण में x≠x पर समुच्चय करना, और यह मानते हुए कि किसी फ़ंक्शन का डोमेन गैर-रिक्त है, खाली समुच्चय के अस्तित्व का आश्वासन देता है। अनुबंधी का तात्पर्य है कि यदि x एक समुच्चय है, तो ऐसा ही है $S(x)=x\cup \{x\}$ . अनुबंधी को देखते हुए, खाली समुच्चय से उत्तराधिकारी ऑर्डिनल्स का सामान्य निर्माण आगे बढ़ सकता है, जिसमें प्राकृतिक संख्याओं को परिभाषित किया गया है $\varnothing ,\,S(\varnothing ),\,S(S(\varnothing )),\,\ldots ,$ . पीनो के अभिगृहीत देखें। जीएसटी पीनो अंकगणित के साथ परस्पर व्याख्या योग्य है (इस प्रकार इसमें पीए के समान प्रमाण-सैद्धांतिक ताकत है)।

एसटी (और इसलिए जीएसटी) के बारे में सबसे उल्लेखनीय तथ्य यह है कि समुच्चय सिद्धांत के ये छोटे खंड ऐसे समृद्ध मेटामैथेमेटिक्स को जन्म देते हैं। जबकि एसटी प्रसिद्ध विहित समुच्चय सिद्धांतों जेडएफसी और वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत, एसटी व्याख्यात्मकता रॉबिन्सन अंकगणित (क्यू) का एक छोटा सा खंड है, ताकि एसटी को क्यू के गैर-तुच्छ मेटामैथेमेटिक्स विरासत में मिले। उदाहरण के लिए, एसटी निर्णायकता है ( तर्क) क्योंकि क्यू है, और प्रत्येक सुसंगत सिद्धांत जिसके प्रमेयों में एसटी स्वयंसिद्ध सम्मिलित हैं, वह भी अनिवार्य रूप से अनिर्णीत है।^[2] इसमें जीएसटी और विचार करने योग्य प्रत्येक स्वयंसिद्ध समुच्चय सिद्धांत सम्मिलित है, यह मानते हुए कि ये सुसंगत हैं। वास्तव में, एसटी की निर्णायकता (तर्क) का तात्पर्य एकल बाइनरी विधेय पत्र के साथ प्रथम-क्रम तर्क की अनिश्चितता से है।^[3] गोडेल के अपूर्णता प्रमेय के अर्थ में भी Q अधूरा है। कोई भी स्वयंसिद्ध सिद्धांत, जैसे कि एसटी और जीएसटी, जिनके प्रमेयों में क्यू स्वयंसिद्ध सम्मिलित हैं, वैसे ही अधूरा है। इसके अलावा, जीएसटी की स्थिरता को जीएसटी के भीतर ही साबित नहीं किया जा सकता, जब तक कि जीएसटी वास्तव में असंगत न हो।

अनंत समुच्चय

जेडएफसी के किसी भी मॉडल M को देखते हुए, M में आनुवंशिक रूप से सीमित सेटों का संग्रह जीएसटी सिद्धांतों को पूरा करेगा। इसलिए, जीएसटी एक गणनीय अनंत समुच्चय के अस्तित्व को भी साबित नहीं कर सकता है, अर्थात एक समुच्चय जिसकी कार्डिनैलिटी ℵ है₀. भले ही जीएसटी ने एक अनगिनत अनंत समुच्चय को वहन किया हो, जीएसटी एक ऐसे समुच्चय के अस्तित्व को साबित नहीं कर सका जिसकी प्रमुखता है $\aleph _{1}$ , क्योंकि जीएसटी में पावर समुच्चय के सिद्धांत का अभाव है। इसलिए जीएसटी गणितीय विश्लेषण और ज्यामिति को आधार नहीं बना सकता है, और गणित की नींव के रूप में काम करने के लिए यह बहुत शक्तिहीन है।

इतिहास

बूलोस को जीएसटी में केवल ज़र्मेलो समुच्चय सिद्धांत के एक खंड के रूप में दिलचस्पी थी जो पीनो अंकगणित की व्याख्या करने के लिए पर्याप्त शक्तिशाली है। उन्होंने कभी भी जीएसटी पर ध्यान नहीं दिया, केवल कई पत्रों में इसका संक्षेप में उल्लेख किया, जिसमें पूछा की अंकगणित की नींव और ग्रुंडगेसेट्ज़ की प्रणालियों पर चर्चा की गई, और रसेल के विरोधाभास को खत्म करने के लिए उन्हें कैसे संशोधित किया जा सकता है। प्रणाली 'Aξ[δ₀] टार्स्की और गिवंत (1987: 223) में अनिवार्य रूप से जीएसटी है जिसमें एक पीनो स्वयंसिद्ध विनिर्देश के स्वयंसिद्ध स्कीमा की जगह लेता है, और एक खाली समुच्चय के अस्तित्व को स्पष्ट रूप से माना जाता है।

बर्गेस (2005), पी में जीएसटी को एसटीजेड कहा जाता है। 223.^[4] बर्गेस का सिद्धांत एस.टी^[5] जीएसटी खाली समुच्चय के स्वयंसिद्ध के साथ विनिर्देश के स्वयंसिद्ध स्कीमा की जगह ले रहा है। जीएसटी में एसटी अक्षर भी अंकित होना एक संयोग है।

फ़ुटनोट

↑ Adjunction is seldom mentioned in the literature. Exceptions are Burgess (2005) passim, and QIII in Tarski and Givant (1987: 223).
↑ Burgess (2005), 2.2, p. 91.
↑ Tarski et al. (1953), p. 34.
↑ The Empty Set axiom in STZ is redundant, because the existence of the empty set is derivable from the axiom schema of Specification.
↑ Called S' in Tarski et al. (1953: 34).

संदर्भ

George Boolos (1999) Logic, Logic, and Logic. Harvard Univ. Press.
Burgess, John, 2005. Fixing Frege. Princeton Univ. Press.
Richard Montague (1961) "Semantical closure and non-finite axiomatizability" in Infinistic Methods. Warsaw: 45-69.
Alfred Tarski, Andrzej Mostowski, and Raphael Robinson (1953) Undecidable Theories. North Holland.
Tarski, A., and Givant, Steven (1987) A Formalization of Set Theory without Variables. Providence RI: AMS Colloquium Publications, v. 41.

बाहरी संबंध

Stanford Encyclopedia of Philosophy: Set Theory—by Thomas Jech.

[1] Adjunction is seldom mentioned in the literature. Exceptions are Burgess (2005) passim, and QIII in Tarski and Givant (1987: 223).

[2] Burgess (2005), 2.2, p. 91.

[3] Tarski et al. (1953), p. 34.

[4] The Empty Set axiom in STZ is redundant, because the existence of the empty set is derivable from the axiom schema of Specification.

[5] Called S' in Tarski et al. (1953: 34).

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
 {{Short description|System of mathematical set theory}}
-{{Use dmy dates|date=April 2022}}
+'''सामान्य समुच्चय सिद्धांत''' (जीएसटी) स्वयंसिद्ध समुच्चय सिद्धांत [[ज़र्मेलो सेट सिद्धांत|ज़र्मेलो समुच्चय सिद्धांत]] के एक खंड के लिए [[जॉर्ज बूलोस]] (1998) का नाम है। जीएसटी सभी गणित के लिए पर्याप्त है जिसमें [[अनंत सेट|अनंत समुच्चय]] की आवश्यकता नहीं होती है, और यह सबसे शक्तिहीन ज्ञात समुच्चय सिद्धांत है जिसके [[प्रमेय]] में पीनो सूक्ति सम्मिलित हैं।
-सामान्य सेट सिद्धांत (जीएसटी) स्वयंसिद्ध सेट सिद्धांत [[ज़र्मेलो सेट सिद्धांत]] के एक टुकड़े के लिए [[जॉर्ज बूलोस]] (1998) का नाम है। जीएसटी सभी गणित के लिए पर्याप्त है जिसमें [[अनंत सेट]] की आवश्यकता नहीं होती है, और यह सबसे कमजोर ज्ञात सेट सिद्धांत है जिसके [[प्रमेय]]ों में पीनो स्वयंसिद्ध शामिल हैं।
-==ओन्टोलॉजी==
+==तात्विकी==
-जीएसटी की [[ आंटलजी ]] [[ZFC]] के समान है, और इसलिए पूरी तरह से विहित है। जीएसटी में एक एकल [[आदिम धारणा]] ऑन्कोलॉजी धारणा, [[सेट (गणित)]] और एक एकल ऑन्टोलॉजिकल धारणा शामिल है, अर्थात् [[प्रवचन के ब्रह्मांड]] में सभी व्यक्ति (इसलिए सभी [[गणितीय वस्तु]]एं) सेट हैं। एक एकल आदिम धारणा [[द्विआधारी संबंध]], [[तत्व (गणित)]] है; वह समुच्चय a, समुच्चय b का एक सदस्य है, a ∈ b लिखा जाता है (आमतौर पर a पढ़ा जाता है जो b का एक तत्व (गणित) है)।
+जीएसटी की [[ आंटलजी |तात्विकी]] [[ZFC|जेडएफसी]] के समान है, और इसलिए पूरी तरह से विहित है। जीएसटी में एक एकल [[आदिम धारणा]] तात्विकी धारणा, [[सेट (गणित)|समुच्चय (गणित)]] और एक एकल तात्विकी धारणा सम्मिलित है, अर्थात् [[प्रवचन के ब्रह्मांड|संलाप का क्षेत्र]] में सभी वैयक्तिक (इसलिए सभी [[गणितीय वस्तु]]एं) समुच्चय हैं। एक एकल आदिम धारणा [[द्विआधारी संबंध]], [[तत्व (गणित)]] है; वह समुच्चय a, समुच्चय b का एक घटक a ∈ b लिखा जाता है (सामान्यतः a पढ़ा जाता है जो b का एक तत्व (गणित) है)।
-==स्वसिद्धांत==
+==सूक्ति==
-नीचे दिए गए प्रतीकात्मक सिद्धांत बूलोस (1998:196) से हैं, और यह नियंत्रित करते हैं कि सेट कैसे व्यवहार करते हैं और बातचीत करते हैं।
+नीचे दिए गए प्रतीकात्मक सिद्धांत बूलोस (1998:196) से हैं, और यह नियंत्रित करते हैं कि समुच्चय कैसे व्यवहार करते हैं और परस्पर क्रिया करते हैं। ज़र्मेलो समुच्चय सिद्धांत की तरह, जीएसटी के लिए पृष्ठभूमि तर्क [[पहचान (दर्शन)|अभिज्ञान (दर्शन)]] के साथ [[प्रथम क्रम तर्क]] है। वास्तव में, जीएसटी, संघ के स्वयंसिद्ध, शक्ति समुच्चय के स्वयंसिद्ध, प्राथमिक समुच्चय (अनिवार्य रूप से युग्मित स्वयंसिद्ध) और अनंत के स्वयंसिद्ध को छोड़कर और फिर Z, अनुबंधी के एक प्रमेय को एक स्वयंसिद्ध के रूप में लेने से प्राप्त जेड '''का खंड है। स्वयंसिद्धों के प्राकृतिक भाषा संस्करणों का उद्देश्य अंतर्ज्ञान की सहायता करना है।'''
-ज़र्मेलो सेट सिद्धांत की तरह, जीएसटी के लिए पृष्ठभूमि तर्क [[पहचान (दर्शन)]] के साथ [[प्रथम क्रम तर्क]] है। वास्तव में, जीएसटी, संघ के स्वयंसिद्ध, शक्ति सेट के स्वयंसिद्ध, प्राथमिक सेट (अनिवार्य रूप से युग्मित स्वयंसिद्ध) और अनंत के स्वयंसिद्ध को छोड़कर और फिर जेड, एडजंक्शन के एक प्रमेय को एक स्वयंसिद्ध के रूप में लेने से प्राप्त जेड का टुकड़ा है।
-स्वयंसिद्धों के प्राकृतिक भाषा संस्करणों का उद्देश्य अंतर्ज्ञान की सहायता करना है।
+'''1) विस्तारशीलता का अभिगृहीत: स'''मुच्चय x और y एक ही समुच्चय हैं यदि उनके सदस्य समान हों।
- <!-- The symbolic axioms should not be changed without discussion on the talk page. Altering these axioms would constitute original research. However the English descriptions may be changed. The choice of Boolos is open for discussion on the talk page. -->
-) विस्तारशीलता का अभिगृहीत: समुच्चय x और y एक ही समुच्चय हैं यदि उनके सदस्य समान हों।
 :<math>\forall x \forall y [\forall z [z \in x \leftrightarrow z \in y] \rightarrow x = y].</math>
 इस अभिगृहीत का व्युत्क्रम समानता के प्रतिस्थापन गुण से आता है।
-) विशिष्टता (या पृथक्करण या प्रतिबंधित समझ) की स्वयंसिद्ध स्कीमा: यदि z एक सेट है और <math>\phi</math> क्या कोई संपत्ति है जो z के सभी, कुछ, या किसी भी तत्व से संतुष्ट हो सकती है, तो z का एक उपसमुच्चय y मौजूद है जिसमें z में केवल वे तत्व x शामिल हैं जो संपत्ति को संतुष्ट करते हैं <math>\phi</math>. रसेल के विरोधाभास और इसके वेरिएंट से बचने के लिए z पर [[प्रतिबंध (गणित)]] आवश्यक है। अधिक औपचारिक रूप से, आइए <math>\phi(x)</math> जीएसटी की भाषा में कोई भी फॉर्मूला हो जिसमें x स्वतंत्र रूप से घटित हो सकता है और y नहीं। फिर निम्नलिखित स्कीमा के सभी उदाहरण स्वयंसिद्ध हैं:
+) विशिष्टता (या पृथक्करण या प्रतिबंधित समझ) की स्वयंसिद्ध स्कीमा: यदि z एक समुच्चय है और <math>\phi</math> क्या कोई संपत्ति है जो z के सभी, कुछ, या किसी भी तत्व से संतुष्ट हो सकती है, तो z का एक उपसमुच्चय y मौजूद है जिसमें z में केवल वे तत्व x सम्मिलित हैं जो संपत्ति को संतुष्ट करते हैं <math>\phi</math>. रसेल के विरोधाभास और इसके वेरिएंट से बचने के लिए z पर [[प्रतिबंध (गणित)]] आवश्यक है। अधिक औपचारिक रूप से, आइए <math>\phi(x)</math> जीएसटी की भाषा में कोई भी फॉर्मूला हो जिसमें x स्वतंत्र रूप से घटित हो सकता है और y नहीं। फिर निम्नलिखित स्कीमा के सभी उदाहरण स्वयंसिद्ध हैं:
 :<math>\forall z \exists y \forall x [x \in y \leftrightarrow ( x \in z \land \phi(x))].</math>
 ) संयोजन का अभिगृहीत: यदि x और y समुच्चय हैं, तो एक समुच्चय w मौजूद है, जो x और y का संयोजक है, जिसके सदस्य सिर्फ y हैं और x के सदस्य हैं।<ref>''Adjunction'' is seldom mentioned in the literature. Exceptions are Burgess (2005) ''passim'', and QIII in Tarski and Givant (1987: 223).</ref>
 <!-- :<math> \forall x \forall z \exist y \forall v [v \in y \leftrightarrow (v \in z \lor v=x)].</math>-->
 :<math>\forall x \forall y \exist w \forall z [ z \in w \leftrightarrow (z \in x \lor z=y)].</math>
-एडजंक्शन दो सेटों पर एक प्राथमिक ऑपरेशन को संदर्भित करता है, और गणित में अन्यत्र, [[सहायक संचालिका]] सहित, उस शब्द के उपयोग पर इसका कोई प्रभाव नहीं पड़ता है।
+अनुबंधी दो सेटों पर एक प्राथमिक ऑपरेशन को संदर्भित करता है, और गणित में अन्यत्र, [[सहायक संचालिका]] सहित, उस शब्द के उपयोग पर इसका कोई प्रभाव नहीं पड़ता है।
-एसटी जीएसटी है जिसमें विनिर्देशन की स्वयंसिद्ध स्कीमा को खाली सेट के स्वयंसिद्ध द्वारा प्रतिस्थापित किया गया है।
+एसटी जीएसटी है जिसमें विनिर्देशन की स्वयंसिद्ध स्कीमा को खाली समुच्चय के स्वयंसिद्ध द्वारा प्रतिस्थापित किया गया है।
 ==चर्चा==
 ===मेटामैथेमेटिक्स===
-ध्यान दें कि विशिष्टता एक स्वयंसिद्ध स्कीमा है। इन स्वयंसिद्धों द्वारा दिया गया सिद्धांत स्वयंसिद्ध स्कीमा नहीं है। मोंटेग्यू (1961) ने दिखाया कि ZFC अंतिम रूप से स्वयंसिद्ध नहीं है, और उनका तर्क जीएसटी पर लागू होता है। इसलिए जीएसटी के किसी भी स्वयंसिद्धीकरण में कम से कम एक स्वयंसिद्ध स्कीमा शामिल होना चाहिए।
+ध्यान दें कि विशिष्टता एक स्वयंसिद्ध स्कीमा है। इन स्वयंसिद्धों द्वारा दिया गया सिद्धांत स्वयंसिद्ध स्कीमा नहीं है। मोंटेग्यू (1961) ने दिखाया कि जेडएफसी अंतिम रूप से स्वयंसिद्ध नहीं है, और उनका तर्क जीएसटी पर लागू होता है। इसलिए जीएसटी के किसी भी स्वयंसिद्धीकरण में कम से कम एक स्वयंसिद्ध स्कीमा सम्मिलित होना चाहिए।
-अपने सरल सिद्धांतों के साथ, जीएसटी भोले सेट सिद्धांत के तीन महान विरोधाभासों से भी प्रतिरक्षित है: रसेल का विरोधाभास|रसेल का, बुराली-फोर्टी विरोधाभास|बुराली-फोर्टी का, और कैंटर का विरोधाभास|कैंटर का।
+अपने सरल सिद्धांतों के साथ, जीएसटी भोले समुच्चय सिद्धांत के तीन महान विरोधाभासों से भी प्रतिरक्षित है: रसेल का विरोधाभास|रसेल का, बुराली-फोर्टी विरोधाभास|बुराली-फोर्टी का, और कैंटर का विरोधाभास|कैंटर का।
 जीएसटी [[संबंध बीजगणित]] में व्याख्या योग्य है क्योंकि किसी भी जीएसटी सिद्धांत का कोई भी हिस्सा तीन से अधिक [[परिमाणक (तर्क)]]तर्क) के दायरे में नहीं आता है। यह टार्स्की और गिवंत (1987) में दी गई आवश्यक और पर्याप्त शर्त है।
 ===पीनो अंकगणित===
-φ(x) को पृथक्करण में x≠x पर सेट करना, और यह मानते हुए कि [[किसी फ़ंक्शन का डोमेन]] गैर-रिक्त है, [[खाली सेट]] के अस्तित्व का आश्वासन देता है। एडजंक्शन का तात्पर्य है कि यदि x एक सेट है, तो ऐसा ही है <math>S(x) = x \cup \{x\}</math>. एडजंक्शन को देखते हुए, खाली सेट से उत्तराधिकारी ऑर्डिनल्स का सामान्य निर्माण आगे बढ़ सकता है, जिसमें [[प्राकृतिक संख्या]]ओं को परिभाषित किया गया है <math>\varnothing,\,S(\varnothing),\,S(S(\varnothing)),\,\ldots,</math>. पीनो के अभिगृहीत देखें।
+φ(x) को पृथक्करण में x≠x पर समुच्चय करना, और यह मानते हुए कि [[किसी फ़ंक्शन का डोमेन]] गैर-रिक्त है, [[खाली सेट|खाली समुच्चय]] के अस्तित्व का आश्वासन देता है। अनुबंधी का तात्पर्य है कि यदि x एक समुच्चय है, तो ऐसा ही है <math>S(x) = x \cup \{x\}</math>. अनुबंधी को देखते हुए, खाली समुच्चय से उत्तराधिकारी ऑर्डिनल्स का सामान्य निर्माण आगे बढ़ सकता है, जिसमें [[प्राकृतिक संख्या]]ओं को परिभाषित किया गया है <math>\varnothing,\,S(\varnothing),\,S(S(\varnothing)),\,\ldots,</math>. पीनो के अभिगृहीत देखें।
 जीएसटी [[पीनो अंकगणित]] के साथ परस्पर व्याख्या योग्य है (इस प्रकार इसमें पीए के समान प्रमाण-सैद्धांतिक ताकत है)।
-एसटी (और इसलिए जीएसटी) के बारे में सबसे उल्लेखनीय तथ्य यह है कि सेट सिद्धांत के ये छोटे टुकड़े ऐसे समृद्ध मेटामैथेमेटिक्स को जन्म देते हैं। जबकि एसटी प्रसिद्ध विहित सेट सिद्धांतों जेडएफसी और वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत, एसटी व्याख्यात्मकता [[रॉबिन्सन अंकगणित]] (क्यू) का एक छोटा सा टुकड़ा है, ताकि एसटी को क्यू के गैर-तुच्छ मेटामैथेमेटिक्स विरासत में मिले। उदाहरण के लिए, एसटी निर्णायकता है ( तर्क) क्योंकि क्यू है, और प्रत्येक सुसंगत सिद्धांत जिसके प्रमेयों में एसटी स्वयंसिद्ध शामिल हैं, वह भी अनिवार्य रूप से अनिर्णीत है।<ref>Burgess (2005), 2.2, p. 91.</ref> इसमें जीएसटी और विचार करने योग्य प्रत्येक स्वयंसिद्ध सेट सिद्धांत शामिल है, यह मानते हुए कि ये सुसंगत हैं। वास्तव में, एसटी की निर्णायकता (तर्क) का तात्पर्य एकल बाइनरी विधेय पत्र के साथ [[प्रथम-क्रम तर्क]] की अनिश्चितता से है।<ref>Tarski et al. (1953), p. 34.</ref>
+एसटी (और इसलिए जीएसटी) के बारे में सबसे उल्लेखनीय तथ्य यह है कि समुच्चय सिद्धांत के ये छोटे खंड ऐसे समृद्ध मेटामैथेमेटिक्स को जन्म देते हैं। जबकि एसटी प्रसिद्ध विहित समुच्चय सिद्धांतों जेडएफसी और वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत, एसटी व्याख्यात्मकता [[रॉबिन्सन अंकगणित]] (क्यू) का एक छोटा सा खंड है, ताकि एसटी को क्यू के गैर-तुच्छ मेटामैथेमेटिक्स विरासत में मिले। उदाहरण के लिए, एसटी निर्णायकता है ( तर्क) क्योंकि क्यू है, और प्रत्येक सुसंगत सिद्धांत जिसके प्रमेयों में एसटी स्वयंसिद्ध सम्मिलित हैं, वह भी अनिवार्य रूप से अनिर्णीत है।<ref>Burgess (2005), 2.2, p. 91.</ref> इसमें जीएसटी और विचार करने योग्य प्रत्येक स्वयंसिद्ध समुच्चय सिद्धांत सम्मिलित है, यह मानते हुए कि ये सुसंगत हैं। वास्तव में, एसटी की निर्णायकता (तर्क) का तात्पर्य एकल बाइनरी विधेय पत्र के साथ [[प्रथम-क्रम तर्क]] की अनिश्चितता से है।<ref>Tarski et al. (1953), p. 34.</ref>
-गोडेल के अपूर्णता प्रमेय के अर्थ में भी Q अधूरा है। कोई भी स्वयंसिद्ध सिद्धांत, जैसे कि एसटी और जीएसटी, जिनके प्रमेयों में क्यू स्वयंसिद्ध शामिल हैं, वैसे ही अधूरा है। इसके अलावा, जीएसटी की स्थिरता को जीएसटी के भीतर ही साबित नहीं किया जा सकता, जब तक कि जीएसटी वास्तव में असंगत न हो।
+गोडेल के अपूर्णता प्रमेय के अर्थ में भी Q अधूरा है। कोई भी स्वयंसिद्ध सिद्धांत, जैसे कि एसटी और जीएसटी, जिनके प्रमेयों में क्यू स्वयंसिद्ध सम्मिलित हैं, वैसे ही अधूरा है। इसके अलावा, जीएसटी की स्थिरता को जीएसटी के भीतर ही साबित नहीं किया जा सकता, जब तक कि जीएसटी वास्तव में असंगत न हो।
 ===अनंत समुच्चय===
-ZFC के किसी भी मॉडल M को देखते हुए, M में आनुवंशिक रूप से सीमित सेटों का संग्रह जीएसटी सिद्धांतों को पूरा करेगा। इसलिए, जीएसटी एक गणनीय अनंत सेट के अस्तित्व को भी साबित नहीं कर सकता है, अर्थात एक सेट जिसकी कार्डिनैलिटी ℵ है<sub>0</sub>. भले ही जीएसटी ने एक अनगिनत अनंत सेट को वहन किया हो, जीएसटी एक ऐसे सेट के अस्तित्व को साबित नहीं कर सका जिसकी [[प्रमुखता]] है <math>\aleph_1</math>, क्योंकि जीएसटी में पावर सेट के सिद्धांत का अभाव है। इसलिए जीएसटी [[गणितीय विश्लेषण]] और [[ज्यामिति]] को आधार नहीं बना सकता है, और [[गणित की नींव]] के रूप में काम करने के लिए यह बहुत कमजोर है।
+जेडएफसी के किसी भी मॉडल M को देखते हुए, M में आनुवंशिक रूप से सीमित सेटों का संग्रह जीएसटी सिद्धांतों को पूरा करेगा। इसलिए, जीएसटी एक गणनीय अनंत समुच्चय के अस्तित्व को भी साबित नहीं कर सकता है, अर्थात एक समुच्चय जिसकी कार्डिनैलिटी ℵ है<sub>0</sub>. भले ही जीएसटी ने एक अनगिनत अनंत समुच्चय को वहन किया हो, जीएसटी एक ऐसे समुच्चय के अस्तित्व को साबित नहीं कर सका जिसकी [[प्रमुखता]] है <math>\aleph_1</math>, क्योंकि जीएसटी में पावर समुच्चय के सिद्धांत का अभाव है। इसलिए जीएसटी [[गणितीय विश्लेषण]] और [[ज्यामिति]] को आधार नहीं बना सकता है, और [[गणित की नींव]] के रूप में काम करने के लिए यह बहुत शक्तिहीन है।
 ==इतिहास==
-बूलोस को जीएसटी में केवल ज़र्मेलो सेट सिद्धांत के एक टुकड़े के रूप में दिलचस्पी थी जो पीनो अंकगणित की व्याख्या करने के लिए पर्याप्त शक्तिशाली है। उन्होंने कभी भी जीएसटी पर ध्यान नहीं दिया, केवल कई पत्रों में इसका संक्षेप में उल्लेख किया, जिसमें [[पूछा]] की [[अंकगणित की नींव]] और ग्रुंडगेसेट्ज़ की प्रणालियों पर चर्चा की गई, और रसेल के विरोधाभास को खत्म करने के लिए उन्हें कैसे संशोधित किया जा सकता है। प्रणाली 'Aξ[δ<sub>0</sub>] टार्स्की और गिवंत (1987: 223) में अनिवार्य रूप से जीएसटी है जिसमें एक पीनो स्वयंसिद्ध विनिर्देश के स्वयंसिद्ध स्कीमा की जगह लेता है, और एक खाली सेट के अस्तित्व को स्पष्ट रूप से माना जाता है।
+बूलोस को जीएसटी में केवल ज़र्मेलो समुच्चय सिद्धांत के एक खंड के रूप में दिलचस्पी थी जो पीनो अंकगणित की व्याख्या करने के लिए पर्याप्त शक्तिशाली है। उन्होंने कभी भी जीएसटी पर ध्यान नहीं दिया, केवल कई पत्रों में इसका संक्षेप में उल्लेख किया, जिसमें [[पूछा]] की [[अंकगणित की नींव]] और ग्रुंडगेसेट्ज़ की प्रणालियों पर चर्चा की गई, और रसेल के विरोधाभास को खत्म करने के लिए उन्हें कैसे संशोधित किया जा सकता है। प्रणाली 'Aξ[δ<sub>0</sub>] टार्स्की और गिवंत (1987: 223) में अनिवार्य रूप से जीएसटी है जिसमें एक पीनो स्वयंसिद्ध विनिर्देश के स्वयंसिद्ध स्कीमा की जगह लेता है, और एक खाली समुच्चय के अस्तित्व को स्पष्ट रूप से माना जाता है।
-बर्गेस (2005), पी में जीएसटी को एसटीजेड कहा जाता है। 223.<ref>The [[axiom of empty set|Empty Set]] axiom in STZ is redundant, because the existence of the empty set is derivable from the axiom schema of Specification.</ref> बर्गेस का सिद्धांत एस.टी<ref>Called S' in Tarski et al. (1953: 34).</ref> जीएसटी खाली सेट के स्वयंसिद्ध के साथ विनिर्देश के स्वयंसिद्ध स्कीमा की जगह ले रहा है। जीएसटी में एसटी अक्षर भी अंकित होना एक संयोग है।
+बर्गेस (2005), पी में जीएसटी को एसटीजेड कहा जाता है। 223.<ref>The [[axiom of empty set|Empty Set]] axiom in STZ is redundant, because the existence of the empty set is derivable from the axiom schema of Specification.</ref> बर्गेस का सिद्धांत एस.टी<ref>Called S' in Tarski et al. (1953: 34).</ref> जीएसटी खाली समुच्चय के स्वयंसिद्ध के साथ विनिर्देश के स्वयंसिद्ध स्कीमा की जगह ले रहा है। जीएसटी में एसटी अक्षर भी अंकित होना एक संयोग है।
 == फ़ुटनोट ==

v t e समुच्चय सिद्धान्त
अवलोकन	सेट (गणित)
स्वयंसिद्ध	adjunction पसंद गणना योग्य आश्रित ग्लोबल निर्माण (v = l) निर्धारण एक्सटेंशनलिटी अनंत आकार की सीमा जोड़ी पावर सेट नियमितता संघ मार्टिन का स्वयंसिद्ध स्वयंसिद्ध स्कीमा प्रतिस्थापन विनिर्देश
संचालन	कार्तीय गुणन पूरक (यानी सेट अंतर) डे मॉर्गन के कानून असंतुष्ट संघ पहचान चौराहा सत्ता स्थापित सममित अंतर संघ
Concepts Methods	लगभग कार्डिनैलिटी कार्डिनल नंबर ( बड़ा) वर्ग रचनात्मक ब्रह्मांड सातत्य परिकल्पना विकर्ण तर्क तत्व क्रमित युग्म ट्यूपल परिवार फोर्सिंग एक-से-एक पत्राचार क्रमसूचक संख्या सेट-बिल्डर नोटेशन ट्रांसफिनाइट इंडक्शन वेन आरेख
सेट प्रकार	अनाकार काउंट करने योग्य खाली परिमित ( वंशानुगत रूप से) फ़िल्टर आधार सबबेस अल्ट्राफिल्टर फजी अनंत पुनरावर्ती सिंगलटन सबसेट⧼dot-separator⧽सुपरसेट सकर्मक बेशुमार यूनिवर्सल
सिद्धांतों	वैकल्पिक स्वयंसिद्ध भोला कैंटर का प्रमेय* Zermelo** सामान्य* प्रिंसिपिया मैथमेटिक '** नई नींव* Zermelo -fraenkel न्यूमैन से - बर्नेज़ - गोडेल* मोर्स -केली क्रिपे-प्लेटेक टार्स्की -ग्रोथेन्डीक
Paradoxes Problems	रसेल का विरोधाभास सुस्लिन की समस्या Burali-Forti विरोधाभास
सिद्धांतकार सेट	अब्राहम फ्रेंकेल बर्ट्रेंड रसेल अर्नस्ट ज़रमेलो जॉर्ज कैंटर जॉन वॉन न्यूमैन कर्ट गोडेल पॉल बर्नस पॉल कोहेन रिचर्ड डेडेकिंड थॉमस जेक थोरलफ स्कोलेम विलार्ड क्वीन लोरेंज हैलबिसेन

Anonymous

Search

सामान्य समुच्चय सिद्धांत: Difference between revisions

Namespaces

More

Page actions

Revision as of 17:54, 23 July 2023

Contents

तात्विकी

सूक्ति