ज़र्मेलो सेट सिद्धांत

ज़र्मेलो सेट थ्योरी (कभी-कभी जेड - द्वारा निरूपित), जैसा कि 1908 में अर्न्स्ट ज़र्मेलो द्वारा एक सेमिनल पेपर में निर्धारित किया गया था, आधुनिक ज़र्मेलो-फ्रेंकेल सेट थ्योरी (जेडएफ) और इसके एक्सटेंशन, जैसे वॉन न्यूमैन- का पूर्वज है। बर्नेज़-गोडेल सेट सिद्धांत (एनबीजी)। इसमें अपने वंशजों से कुछ अंतर होते हैं, जिन्हें हमेशा समझा नहीं जाता है, और अक्सर गलत उद्धृत किया जाता है। यह लेख मूल पाठ (अंग्रेजी में अनुवादित) और मूल अंकन के साथ मूल स्वयंसिद्धों को निर्धारित करता है।

जर्मेलो के सिद्धांत सेट थ्योरी
ज़र्मेलो सेट सिद्धांत के सिद्धांतों को वस्तुओं के लिए कहा गया है, जिनमें से कुछ (लेकिन जरूरी नहीं कि सभी) सेट हैं, और शेष वस्तुएं यूरेलेमेंट्स हैं और सेट नहीं हैं। ज़र्मेलो की भाषा में अंतर्निहित रूप से एक सदस्यता संबंध ∈, एक समानता संबंध = (यदि यह अंतर्निहित तर्क में शामिल नहीं है), और एक एकल विधेय यह कहते हुए शामिल है कि क्या कोई वस्तु एक सेट है। समुच्चय सिद्धांत के बाद के संस्करणों में अक्सर यह माना जाता है कि सभी वस्तुएँ समुच्चय हैं इसलिए कोई यूरेलेमेंट नहीं हैं और एकात्मक विधेय की कोई आवश्यकता नहीं है।


 * 1) सिद्ध प्रमाण I - विस्तार का सिद्धांत (Axiom der Bestimmtheit) यदि सेट M का प्रत्येक तत्व भी N का एक तत्व है और इसके विपरीत ... तो M $$\equiv$$ एन। संक्षेप में, प्रत्येक सेट अपने तत्वों द्वारा निर्धारित किया जाता है।
 * 2) सिद्ध प्रमाण II - प्रारंभिक समुच्चयों का अभिगृहीत (Axiom der Elementarmengen) एक समुच्चय, शून्य समुच्चय, ∅, मौजूद है जिसमें कोई भी तत्व नहीं है। यदि a डोमेन का कोई ऑब्जेक्ट है, तो एक सेट {a} मौजूद है जिसमें a और केवल a एक तत्व के रूप में है। यदि ए और बी डोमेन की कोई दो वस्तुएं हैं, तो हमेशा एक सेट {ए, बी} मौजूद होता है जिसमें तत्व ए और बी होते हैं लेकिन कोई ऑब्जेक्ट एक्स उन दोनों से अलग नहीं होता है। युग्मन का अभिगृहीत देखें।
 * 3) सिद्ध प्रमाण III - पृथक्करण का अभिगृहीत (Axiom der Aussonderung) जब भी समुच्चय M के सभी तत्वों के लिए प्रस्तावात्मक फलन –(x) परिभाषित होता है, M में एक उपसमुच्चय M'  होता है जिसमें तत्वों के रूप में M के ठीक वे तत्व होते हैं जिनके लिए –(x) सत्य है।
 * 4) सिद्ध प्रमाण IV - शक्ति समुच्चय का अभिगृहीत (Axiom der Potenzmenge) प्रत्येक समुच्चय T के लिए एक समुच्चय T', T का शक्ति समुच्चय होता है, जिसमें तत्वों के रूप में T के सभी उपसमुच्चय होते हैं।
 * 5) सिद्ध प्रमाण V - Axiom of Union (Axiom der Vereinigung) प्रत्येक सेट T के लिए एक सेट ∪T, T का संघ है, जिसमें तत्वों के रूप में T के तत्वों के सभी तत्व शामिल हैं।
 * 6) सिद्ध प्रमाण VI -  पसंद का अभिगृहीत (Axiom der Auswahl) यदि T एक ऐसा समुच्चय है जिसके सभी अवयव ऐसे समुच्चय हैं जो ∅ से भिन्न हैं और पारस्परिक रूप से असंयुक्त हैं, तो इसके संघ ∪T में कम से कम एक उपसमुच्चय S शामिल है1 T के प्रत्येक तत्व के साथ एक और केवल एक तत्व समान है।
 * 7) स्वयंसिद्ध VII - अनन्तता का अभिगृहीत (Axiom des Unendlichen) डोमेन में कम से कम एक सेट Z मौजूद होता है जिसमें एक तत्व के रूप में शून्य सेट होता है और यह इस तरह गठित होता है कि इसके प्रत्येक तत्व के लिए फॉर्म {a} के एक और तत्व से मेल खाता है। दूसरे शब्दों में, इसके प्रत्येक तत्व के साथ इसमें तत्व के रूप में संबंधित सेट {a} भी शामिल है।

मानक सेट सिद्धांत के साथ संबंध
सबसे व्यापक रूप से इस्तेमाल किया जाने वाला और स्वीकृत सेट सिद्धांत ZFC के रूप में जाना जाता है, जिसमें ज़र्मेलो-फ्रेंकेल सेट सिद्धांत शामिल है जिसमें पसंद का स्वयंसिद्ध (एसी) शामिल है। लिंक दिखाते हैं कि ज़र्मेलो के सिद्धांत के स्वयंसिद्ध कहाँ मेल खाते हैं। प्राथमिक सेटों के लिए कोई सटीक मेल नहीं है। (यह बाद में दिखाया गया था कि सिंगलटन सेट को उस चीज़ से प्राप्त किया जा सकता है जिसे अब जोड़ों का अभिगृहीत कहा जाता है। यदि a मौजूद है, a और a मौजूद है, तो {a,a} मौजूद है, और इसलिए विस्तार {a,a} = { ए}।) खाली सेट स्वयंसिद्ध पहले से ही अनंत के स्वयंसिद्ध द्वारा ग्रहण किया गया है, और अब इसे इसके भाग के रूप में शामिल किया गया है।

ज़र्मेलो सेट सिद्धांत में प्रतिस्थापन के स्वयंसिद्ध और नियमितता के स्वयंसिद्धों को शामिल नहीं किया गया है। प्रतिस्थापन की स्वयंसिद्ध पहली बार 1922 में अब्राहम फ्रेंकेल और थोराल्फ़ स्कोलेम द्वारा प्रकाशित किया गया था, जिन्होंने स्वतंत्र रूप से पता लगाया था कि ज़र्मेलो के स्वयंसिद्ध सेट के अस्तित्व को साबित नहीं कर सकते {Z0, साथ1, साथ2, ...} जहां Z0 प्राकृतिक संख्या और Z का समुच्चय हैn+1 Z का पावर सेट हैn. उन दोनों ने महसूस किया कि इसे सिद्ध करने के लिए प्रतिस्थापन के स्वयंसिद्ध की आवश्यकता है। अगले वर्ष, जॉन वॉन न्यूमैन ने बताया कि वॉन न्यूमैन क्रमसूचक बनाने के लिए नियमितता का स्वयंसिद्ध आवश्यक है। 1925 में वॉन न्यूमैन द्वारा नियमितता का स्वयंसिद्ध प्रतिपादित किया गया था। आधुनिक ZFC प्रणाली में, पृथक्करण के स्वयंसिद्ध में संदर्भित प्रस्तावनात्मक कार्य की व्याख्या किसी भी संपत्ति के रूप में की जाती है, जिसे पहले-क्रम वाले अच्छी तरह से बनाए गए सूत्र द्वारा मापदंडों के साथ परिभाषित किया जाता है, इसलिए पृथक्करण स्वयंसिद्ध को एक स्वयंसिद्ध स्कीमा द्वारा प्रतिस्थापित किया जाता है। प्रथम क्रम सूत्र की धारणा 1908 में ज्ञात नहीं थी जब ज़र्मेलो ने अपनी स्वयंसिद्ध प्रणाली प्रकाशित की, और बाद में उन्होंने इस व्याख्या को बहुत अधिक प्रतिबंधात्मक होने के रूप में खारिज कर दिया। ज़र्मेलो सेट सिद्धांत को आमतौर पर पहले क्रम के सिद्धांत के रूप में लिया जाता है, जिसमें पृथक्करण स्वयंसिद्ध को प्रत्येक प्रथम-क्रम सूत्र के लिए स्वयंसिद्ध योजना के साथ स्वयंसिद्ध योजना द्वारा प्रतिस्थापित किया जाता है। इसे दूसरे क्रम के तर्क में एक सिद्धांत के रूप में भी माना जा सकता है, जहाँ अब पृथक्करण स्वयंसिद्ध केवल एक स्वयंसिद्ध है। ज़र्मेलो सेट सिद्धांत की दूसरी क्रम की व्याख्या शायद ज़र्मेलो की अपनी अवधारणा के करीब है, और पहले क्रम की व्याख्या से अधिक मजबूत है।

सामान्य वॉन न्यूमैन ब्रह्मांड में वीα ZFC सेट थ्योरी (ऑर्डिनल्स α के लिए), सेट में से कोई एक Vα α के लिए पहले अनंत क्रमसूचक ω (जैसे V&omega;&middot;2) ज़र्मेलो सेट थ्योरी का एक मॉडल बनाता है। तो ज़र्मेलो सेट थ्योरी की संगति ZFC सेट थ्योरी का एक प्रमेय है। जैसा $$V_{\omega\cdot 2}$$ ज़र्मेलो के सिद्धांतों को मॉडल करता है जबकि इसमें शामिल नहीं है $$\aleph_\omega$$ और बड़े अनंत कार्डिनल्स, गोडेल की पूर्णता प्रमेय द्वारा ज़र्मेलो के स्वयंसिद्ध इन कार्डिनल्स के अस्तित्व को साबित नहीं करते हैं। (कार्डिनल्स को ज़र्मेलो सेट थ्योरी में अलग तरह से परिभाषित किया जाना है, क्योंकि कार्डिनल्स और ऑर्डिनल्स की सामान्य परिभाषा बहुत अच्छी तरह से काम नहीं करती है: सामान्य परिभाषा के साथ ऑर्डिनल ω2 के अस्तित्व को साबित करना भी संभव नहीं है।)

अनंत का स्वयंसिद्ध अब आम तौर पर पहली अनंत वॉन न्यूमैन क्रमिक संख्या के अस्तित्व पर जोर देने के लिए संशोधित किया गया है $$\omega$$; मूल ज़र्मेलो स्वयंसिद्ध इस सेट के अस्तित्व को साबित नहीं कर सकते हैं, और न ही संशोधित ज़र्मेलो स्वयंसिद्ध ज़र्मेलो के अनन्तता के स्वयंसिद्ध को सिद्ध कर सकते हैं। ज़र्मेलो के स्वयंसिद्ध (मूल या संशोधित) के अस्तित्व को साबित नहीं कर सकते $$V_{\omega}$$ एक सेट के रूप में और न ही अनंत सूचकांक वाले सेटों के संचयी पदानुक्रम के किसी रैंक के रूप में।

ज़र्मेलो ने यूरेलेमेंट्स के अस्तित्व की अनुमति दी जो सेट नहीं हैं और इसमें कोई तत्व नहीं है; इन्हें अब आमतौर पर सेट सिद्धांतों से हटा दिया जाता है।

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

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

उनका कहना है कि वह दिखाना चाहते हैं कि कैसे जॉर्ज कैंटर और रिचर्ड डेडेकिंड के मूल सिद्धांत को कुछ परिभाषाओं और सात सिद्धांतों या सूक्तियों तक सीमित किया जा सकता है। वह कहता है कि वह सिद्ध नहीं कर पाया है कि अभिगृहीत सुसंगत हैं।

उनकी निरंतरता के लिए एक गैर-रचनात्मक तर्क इस प्रकार है। वी परिभाषित करें&alpha; क्रम संख्या 0, 1, 2, ...,ω, ω+1, ω+2,..., ω·2 में से α एक के लिए निम्नानुसार है: तब ज़र्मेलो सेट सिद्धांत के स्वयंसिद्ध सुसंगत हैं क्योंकि वे मॉडल V में सत्य हैं&omega;·2. जबकि एक गैर-रचनावादी इसे एक वैध तर्क के रूप में मान सकता है, एक रचनावादी शायद नहीं: जबकि V तक के सेट के निर्माण में कोई समस्या नहीं है&omega;, वी का निर्माण&omega;+1 कम स्पष्ट है क्योंकि कोई V के प्रत्येक उपसमुच्चय को रचनात्मक रूप से परिभाषित नहीं कर सकता है&omega;. इस तर्क को ज़र्मेलो सेट थ्योरी के अनंत के एक नए स्वयंसिद्ध के साथ एक वैध प्रमाण में बदल दिया जा सकता है, केवल वी&omega;·2 मौजूद। यह संभवतः एक रचनावादी के लिए आश्वस्त नहीं है, लेकिन यह दर्शाता है कि ज़र्मेलो सेट सिद्धांत की निरंतरता को एक ऐसे सिद्धांत के साथ सिद्ध किया जा सकता है जो ज़र्मेलो सिद्धांत से बहुत अलग नहीं है, केवल थोड़ा अधिक शक्तिशाली है।
 * वि0 खाली सेट है।
 * α के लिए β+1, V के रूप का उत्तराधिकारी&alpha; V के सभी उपसमूहों के संग्रह के रूप में परिभाषित किया गया है&beta;.
 * α के लिए एक सीमा (जैसे ω, ω·2) फिर V&alpha; V के संघ के रूप में परिभाषित किया गया है&beta; β<α के लिए।

अलगाव का स्वयंसिद्ध
ज़र्मेलो की टिप्पणी है कि उनकी प्रणाली का स्वयंसिद्ध III एंटीइनोमीज़ को खत्म करने के लिए जिम्मेदार है। यह कैंटर की मूल परिभाषा से इस प्रकार भिन्न है।

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

वह इस प्रमेय के माध्यम से रसेल विरोधाभास का निपटान करता है: हर सेट $$M$$ कम से कम एक उपसमुच्चय रखता है $$M_0$$ यह का एक तत्व नहीं है $$M$$. होने देना $$M_0$$ का उपसमुच्चय हो $$M$$ जिसके लिए, AXIOM III द्वारा, धारणा द्वारा अलग किया गया है$$x \notin x$$. तब $$M_0$$ में नहीं हो सकता $$M$$. के लिए


 * 1) अगर $$M_0$$ में है $$M_0$$, तब $$M_0$$ एक तत्व x है जिसके लिए x x में है (अर्थात $$M_0$$ स्वयं), जो की परिभाषा के विपरीत होगा $$M_0$$.
 * 2) अगर $$M_0$$ इसमें नहीं है $$M_0$$, और मान रहा है $$M_0$$ एम का एक तत्व है, तो $$M_0$$ एम का एक तत्व है जो परिभाषा को संतुष्ट करता है$$x \notin x$$, और इसी में है $$M_0$$ जो एक विरोधाभास है।

इसलिए, धारणा है कि $$M_0$$ में है $$M$$ गलत है, प्रमेय साबित कर रहा है। इसलिए सार्वभौमिक डोमेन बी की सभी वस्तुएं एक और एक ही सेट के तत्व नहीं हो सकती हैं। जहां तक ​​हमारा संबंध है, यह रसेल विरोध को समाप्त करता है।

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

कैंटर का प्रमेय
ज़र्मेलो का पेपर कैंटर के प्रमेय नाम का उल्लेख करने वाला पहला हो सकता है। कैंटोर प्रमेय: यदि एम एक मनमाना सेट है, तो हमेशा एम <पी (एम) [एम का पावर सेट]। हर सेट अपने सबसेट के सेट की तुलना में कम कार्डिनैलिटी का है।

ज़र्मेलो एक फ़ंक्शन φ: M → P(M) पर विचार करके इसे साबित करता है। अभिगृहीत III द्वारा यह निम्नलिखित समुच्चय M' को परिभाषित करता है:


 * एम '= {एम: एम ∉ φ (एम)}।

लेकिन एम का कोई तत्व एम 'एम' के अनुरूप नहीं हो सकता है, यानी ऐसा कि φ(एम' ) = एम'। अन्यथा हम एक विरोधाभास बना सकते हैं:


 * 1) यदि m', M'  में है, तो परिभाषा के अनुसार m'  ∉ φ(m' ) = M', जो विरोधाभास का पहला भाग है


 * 2) अगर m', M'  में नहीं बल्कि M  में है, तो परिभाषा के अनुसार m'  ∉ M'  = φ(m' ) जो परिभाषा के अनुसार दर्शाता है कि m' , M'  में है, जो विरोधाभास का दूसरा भाग है।

इसलिए विरोधाभास से m' मौजूद नहीं है। ज़र्मेलो द्वारा रसेल के विरोधाभास का निपटान करने के तरीके के साथ इस प्रमाण की घनिष्ठ समानता पर ध्यान दें।

यह भी देखें

 * एस (सेट सिद्धांत)

सामान्य संदर्भ

 * . अंग्रेजी अनुवाद:.
 * . अंग्रेजी अनुवाद:.

श्रेणी:सेट थ्योरी की प्रणालियाँ