नियमितता का अभिगृहीत

गणित में, नियमितता की स्वयंसिद्ध (जिसे नींव की स्वयंसिद्ध के रूप में भी जाना जाता है) ज़र्मेलो-फ्रेंकेल सेट सिद्धांत का एक स्वयंसिद्ध है जो बताता है कि प्रत्येक गैर-खाली सेट ए में एक तत्व होता है जो ए से अलग होता है। पहले क्रम के तर्क में, स्वयंसिद्ध पढ़ता है:
 * $$\forall x\,(x \neq \varnothing \rightarrow \exists y(y \in x\ \land y \cap x = \varnothing)).$$

जोड़ी के स्वयंसिद्ध के साथ नियमितता का स्वयंसिद्ध तात्पर्य यह है कि कोई भी सेट स्वयं का एक तत्व नहीं है, और कोई अनंत अनुक्रम नहीं है (एn) जैसे कि एi+1 सभी i के लिए एi का एक तत्व है। निर्भर पसंद के स्वयंसिद्ध (जो पसंद के स्वयंसिद्ध का एक कमजोर रूप है) के साथ, इस परिणाम को उलटा किया जा सकता है: यदि ऐसा कोई अनंत क्रम नहीं है, तो नियमितता का स्वयंसिद्ध सत्य है। इसलिए, इस संदर्भ में नियमितता का स्वयंसिद्ध वाक्य के बराबर है कि नीचे की ओर अनंत सदस्यता श्रृंखलाएं नहीं हैं।

स्वयंसिद्ध द्वारा पेश किया गया था; इसे  द्वारा समकालीन पाठ्यपुस्तकों में पाए जाने वाले फॉर्मूलेशन के निकट इसे अपनाया गया था। नियमितता के अभाव में भी सेट थ्योरी पर आधारित गणित की शाखाओं में लगभग सभी परिणाम पकड़ में आते हैं;  का अध्याय 3 देखें। तथापि, नियमितता से क्रमसूचक संख्या के कुछ गुणों को सिद्ध करना सरल हो जाता है; और यह न केवल सुव्यवस्थित सेटों पर इंडक्शन करने की अनुमति देता है बल्कि उचित वर्गों पर भी होता है जो अच्छी तरह से स्थापित संबंधपरक संरचनाएं हैं जैसे कि लेक्सिकोोग्राफिक ऑर्डरिंग ऑन $$\{ (n, \alpha) \mid n \in \omega \land \alpha \text{ is an ordinal } \} \,.$$ ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के अन्य स्वयंसिद्धों को देखते हुए, नियमितता का स्वयंसिद्ध प्रेरण के स्वयंसिद्ध के बराबर है। अंतर्ज्ञान के सिद्धांतों में नियमितता के स्वयंसिद्ध के स्थान पर प्रेरण के स्वयंसिद्ध का उपयोग किया जाता है (जो बहिष्कृत मध्य के कानून को स्वीकार नहीं करते हैं), जहां दो स्वयंसिद्ध समान नहीं हैं।

नियमितता के स्वयंसिद्ध को छोड़ने के अलावा, गैर-मानक सेट सिद्धांतों ने वास्तव में उन सेटों के अस्तित्व को स्वीकार किया है जो स्वयं के तत्व हैं।

कोई भी सेट स्वयं का एक तत्व नहीं है
A को एक सेट होने दें, और नियमितता के स्वयंसिद्ध को {A} पर लागू करें, जो युग्मन के स्वयंसिद्ध द्वारा एक सेट है। हम देखते हैं कि {ए} का एक तत्व होना चाहिए जो {ए} से अलग है। चूंकि {ए} का एकमात्र तत्व ए है, यह होना चाहिए कि ए {ए} से अलग है। इसलिए, चूंकि $$A \cap \{A\} = \varnothing$$, हमारे पास A ∈ A नहीं हो सकता (विच्छेद की परिभाषा के अनुसार)।

सेट का कोई अनंत अवरोही क्रम उपस्थित नहीं है
मान लीजिए, इसके विपरीत, प्रत्येक n के लिए f(n+1) के तत्व f(n) के साथ प्राकृतिक संख्याओं पर एक फ़ंक्शन, f है। S = {f(n): n एक प्राकृतिक संख्या} परिभाषित करें, f की श्रेणी, जिसे प्रतिस्थापन के स्वयंसिद्ध स्कीमा से एक सेट के रूप में देखा जा सकता है। नियमितता के अभिगृहीत को S पर लागू करते हुए, मान लीजिए B, S का एक अवयव है जो S से असंयुक्त है। S की परिभाषा के अनुसार, B को किसी प्राकृत संख्या k के लिए f(k) होना चाहिए। तथापि, हमें दिया गया है कि f(k) में f(k+1) है जो कि S का भी एक तत्व है। इसलिए f(k+1) f(k) और S के प्रतिच्छेदन में है। यह इस तथ्य का खंडन करता है कि वे असंयुक्त समुच्चय हैं। चूँकि हमारा अनुमान एक विरोधाभास का कारण बना, ऐसा कोई कार्य नहीं होना चाहिए, f।

स्वयं को समाहित करने वाले समुच्चय का अनस्तित्व एक विशेष मामले के रूप में देखा जा सकता है जहां अनुक्रम अनंत और स्थिर है।

ध्यान दें कि यह तर्क केवल उन कार्यों पर लागू होता है जिन्हें अपरिभाषित वर्गों के विपरीत सेट के रूप में प्रदर्शित किया जा सकता है। आनुवंशिक रूप से परिमित सेट, वीω, नियमितता के स्वयंसिद्ध (और अनंत के स्वयंसिद्ध को छोड़कर जेडएफC के अन्य सभी स्वयंसिद्धों) को संतुष्ट करते हैं। इसलिए यदि कोई वीω की गैर-तुच्छ अल्ट्रापावर बनाता है, तो यह नियमितता के स्वयंसिद्ध को भी संतुष्ट करेगा। परिणामी मॉडल में गैर-मानक प्राकृतिक संख्या कहलाने वाले तत्व सम्मिलित होंगे, जो उस मॉडल में प्राकृतिक संख्याओं की परिभाषा को पूरा करते हैं लेकिन वास्तव में प्राकृतिक संख्या नहीं हैं। वे "नकली" प्राकृतिक संख्याएँ हैं जो किसी भी वास्तविक प्राकृतिक संख्या से "बड़ी" हैं। इस मॉडल में तत्वों के अनंत अवरोही क्रम होंगे। उदाहरण के लिए, मान लीजिए n एक गैर-मानक प्राकृतिक संख्या है, तो $$(n-1) \in n$$ और $$(n-2) \in (n-1)$$, और इसी तरह। किसी वास्तविक प्राकृतिक संख्या k के लिए, $$(n-k-1) \in (n-k)$$. यह तत्वों का कभी न खत्म होने वाला अवरोही क्रम है। लेकिन यह अनुक्रम मॉडल में निश्चित नहीं है और इस प्रकार सेट नहीं है। तो नियमितता के लिए कोई विरोधाभास सिद्ध नहीं किया जा सकता है।

आदेशित जोड़ी की सरल सेट-सैद्धांतिक परिभाषा
नियमितता का स्वयंसिद्ध क्रमित युग्म (a,b) को { a, { a,b }} के रूप में परिभाषित करने में सक्षम बनाता है; विशिष्टताओं के लिए आदेशित जोड़ी देखें। यह परिभाषा कैनोनिकल कुराटोव्स्की परिभाषा (a,b) = {{ a }, { a,b }} से ब्रेसिज़ की एक जोड़ी को समाप्त करती है।

हर सेट में एक क्रमिक रैंक होती है
यह वास्तव में वॉन न्यूमैन के स्वयंसिद्धकरण में स्वयंसिद्ध का मूल रूप था।

मान लीजिए x कोई समुच्चय है। मान लीजिए कि {x} का सकर्मक संवरण है। मान लीजिए कि आप टी का उपसमुच्चय हैं जिसमें बिना रैंक वाले समुच्चय हैं। यदि u खाली है, तो x को स्थान दिया गया है और हमारा काम हो गया। अन्यथा, u का तत्व w प्राप्त करने के लिए नियमितता के स्वयंसिद्ध को u पर लागू करें जो u से अलग है। चूंकि w यू में है, w अनरैंक है। सकर्मक संवरण की परिभाषा के अनुसार w, t का एक उपसमुच्चय है। चूँकि w, u से असंयुक्त है, w का प्रत्येक अवयव श्रेणीबद्ध है। डब्ल्यू के तत्वों के रैंकों को जोड़ने के लिए प्रतिस्थापन और संघ के स्वयंसिद्धों को लागू करने के लिए, हम डब्ल्यू के लिए एक क्रमसूचक रैंक प्राप्त करते हैं $$\textstyle \operatorname{rank} (w) = \cup \{ \operatorname{rank} (z) + 1 \mid z \in w \}$$. यह इस निष्कर्ष का खंडन करता है कि w रैंक नहीं है। तो यह धारणा कि u खाली नहीं था गलत होना चाहिए और x का रैंक होना चाहिए।

प्रत्येक दो समुच्चयों के लिए, केवल एक ही दूसरे का अवयव हो सकता है
माना X और Y समुच्चय हैं। फिर सेट {एक्स, वाई} (जो युग्मन के स्वयंसिद्ध द्वारा मौजूद है) के लिए नियमितता के स्वयंसिद्ध को लागू करें। हम देखते हैं कि {X,Y} का एक तत्व होना चाहिए जो इससे अलग भी है। यह या तो एक्स या वाई होना चाहिए। तब डिजॉइंट की परिभाषा के अनुसार, हमारे पास या तो वाई एक्स का तत्व नहीं है या इसके विपरीत होना चाहिए।

निर्भर पसंद का स्वयंसिद्ध और सेटों का कोई अनंत अवरोही क्रम नियमितता का अर्थ नहीं है
बता दें कि गैर-खाली सेट एस नियमितता के स्वयंसिद्ध के लिए एक प्रति-उदाहरण है; अर्थात्, S के प्रत्येक तत्व का S के साथ एक गैर-रिक्त चौराहा है। हम S पर एक द्विआधारी संबंध R को परिभाषित करते हैं $$aRb :\Leftrightarrow b \in S \cap a$$, जो धारणा द्वारा संपूर्ण है। इस प्रकार, आश्रित पसंद के स्वयंसिद्ध द्वारा, S में कुछ क्रम (a) है जो N में सभी n के लिए anRan+1 को संतुष्ट करता है। चूँकि यह एक अनंत अवरोही श्रृंखला है, हम एक विरोधाभास पर पहुँचते हैं और इसलिए, ऐसा कोई S मौजूद नहीं है।

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

नियमितता के स्वयंसिद्ध को भी जेडएफ(C) के अन्य स्वयंसिद्धों से स्वतंत्र दिखाया गया था, यह मानते हुए कि वे सुसंगत हैं। परिणाम 1941 में पॉल बर्नेज़ द्वारा घोषित किया गया था, यद्यपि उन्होंने 1954 तक एक सबूत प्रकाशित नहीं किया था। सबूत में सम्मिलित है (और अध्ययन के लिए) रिगर-बर्नेज़ क्रमचय मॉडल (या विधि), जो स्वतंत्रता के अन्य प्रमाणों के लिए उपयोग किए गए थे गैर-स्थापित प्रणालियाँ ( और ).

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

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

यदि एक सिद्धांत को एक स्वयंसिद्ध या स्वयंसिद्ध जोड़कर विस्तारित किया जाता है, तो मूल सिद्धांत के कोई भी (संभवतः अवांछनीय) परिणाम विस्तारित सिद्धांत के परिणाम बने रहते हैं। विशेष रूप से, यदि बिना नियमितता के जेडएफ को जेडएफ प्राप्त करने के लिए नियमितता जोड़कर बढ़ाया जाता है, तो कोई भी विरोधाभास (जैसे कि रसेल का विरोधाभास) जो मूल सिद्धांत से अनुसरण करता है, अभी भी विस्तारित सिद्धांत में अनुसरण करेगा।

क्विन परमाणुओं का अस्तित्व (सेट जो सूत्र समीकरण x = {x} को संतुष्ट करता है, यानी स्वयं को उनके एकमात्र तत्व के रूप में रखता है) जेडएफसी से नियमितता के स्वयंसिद्ध को हटाकर प्राप्त सिद्धांत के अनुरूप है। रसेल के विरोधाभास के माध्यम से असंगत हुए बिना, विभिन्न गैर-सुधारित सेट सिद्धांत "सुरक्षित" परिपत्र सेट, जैसे कि क्विन परमाणु की अनुमति देते हैं।

नियमितता, संचयी पदानुक्रम, और प्रकार
जेडएफ में यह सिद्ध किया जा सकता है कि class $$ \bigcup_{\alpha} V_\alpha $$, जिसे वॉन न्यूमैन ब्रह्मांड कहा जाता है, सभी सेटों के वर्ग के बराबर है। यह कथन नियमितता के स्वयंसिद्ध के समतुल्य है (यदि हम जेडएफ में इस स्वयंसिद्ध को छोड़े गए हैं)। किसी भी मॉडल से जो नियमितता के स्वयंसिद्ध को संतुष्ट नहीं करता है, एक मॉडल जो इसे संतुष्ट करता है केवल सेट लेकर बनाया जा सकता है $$ \bigcup_{\alpha} V_\alpha $$.

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

आगे जाकर दावा किया कि:

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

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

इतिहास
एक सेट की अच्छी तरह से नींव और रैंक दोनों की अवधारणा दिमित्री मिरिमानॉफ (1917) द्वारा पेश की गई थी। सी.एफ. और । मिरिमनॉफ़ ने समुच्चय x को "नियमित" (फ्रेंच: "ऑर्डिनेयर") कहा है यदि प्रत्येक अवरोही श्रृंखला x ∋ x1 ∋ एक्स2 ∋ ... परिमित है। मिरिमानॉफ ने तथापि नियमितता (और अच्छी तरह से स्थापित) की अपनी धारणा को सभी सेटों द्वारा देखे जाने वाले स्वयंसिद्ध के रूप में नहीं माना; बाद के पत्रों में मिरिमनॉफ़ ने यह भी पता लगाया कि अब गैर-अच्छी तरह से स्थापित सेट ("असाधारण" मिरिमानॉफ शब्दावली के रूप में क्या कहा जाता है)।

और ने बताया कि गैर-अच्छी तरह से स्थापित सेट अनावश्यक हैं (पृष्ठ 404 पर) और उसी प्रकाशन में वॉन न्यूमैन एक स्वयंसिद्ध (अनुवाद में पृष्ठ 412) देता है जिसमें कुछ, लेकिन सभी गैर-स्थापित सेट सम्मिलित नहीं हैं। बाद के प्रकाशन में,  निम्नलिखित स्वयंसिद्ध (ए। रिगर द्वारा आधुनिक संकेतन में प्रस्तुत) दिया:


 * $$\forall x\,(x \neq \emptyset \rightarrow \exists y \in x\,(y \cap x = \emptyset))$$.

यूरेलेमेंट्स की उपस्थिति में नियमितता
यूरेलेमेंट ऐसी वस्तुएं हैं जो सेट नहीं हैं, लेकिन जो सेट के तत्व हो सकते हैं। जेडएफ सेट थ्योरी में, कोई यूरेलेमेंट्स नहीं हैं, लेकिन कुछ अन्य सेट थ्योरी जैसे जेडएफए में होते हैं। इन सिद्धांतों में, नियमितता के स्वयंसिद्ध को संशोधित किया जाना चाहिए। कथन $$x \neq \emptyset$$ को एक वर्णन के साथ प्रतिस्थापित करने की जरूरत है जो $$x$$ खाली नहीं है और यूरेलमेंट नहीं है। एक उपयुक्त प्रतिस्थापन है $$(\exists y)[y \in x]$$, जो बताता है कि x आबाद सेट है।

यह भी देखें

 * गैर- अच्छी तरह से स्थापित सिद्धांत
 * स्कॉट की युक्ति
 * एप्सिलॉन-प्रेरण

स्रोत

 * में पुनर्मुद्रित
 * स्टीफन बाउर-मेंगलबर्ग द्वारा अंग्रेजी अनुवाद में फ्रॉम फ्रेज टू गोडेल, वैन हाइजेनोर्ट, 1967 में पुनर्मुद्रित, पीपी। 291–301।
 * में अनुवाद
 * में अनुवाद
 * स्टीफन बाउर-मेंगलबर्ग द्वारा अंग्रेजी अनुवाद में फ्रॉम फ्रेज टू गोडेल, वैन हाइजेनोर्ट, 1967 में पुनर्मुद्रित, पीपी। 291–301।
 * में अनुवाद
 * में अनुवाद
 * स्टीफन बाउर-मेंगलबर्ग द्वारा अंग्रेजी अनुवाद में फ्रॉम फ्रेज टू गोडेल, वैन हाइजेनोर्ट, 1967 में पुनर्मुद्रित, पीपी। 291–301।
 * में अनुवाद
 * में अनुवाद
 * स्टीफन बाउर-मेंगलबर्ग द्वारा अंग्रेजी अनुवाद में फ्रॉम फ्रेज टू गोडेल, वैन हाइजेनोर्ट, 1967 में पुनर्मुद्रित, पीपी। 291–301।
 * में अनुवाद
 * में अनुवाद
 * स्टीफन बाउर-मेंगलबर्ग द्वारा अंग्रेजी अनुवाद में फ्रॉम फ्रेज टू गोडेल, वैन हाइजेनोर्ट, 1967 में पुनर्मुद्रित, पीपी। 291–301।
 * में अनुवाद
 * में अनुवाद
 * स्टीफन बाउर-मेंगलबर्ग द्वारा अंग्रेजी अनुवाद में फ्रॉम फ्रेज टू गोडेल, वैन हाइजेनोर्ट, 1967 में पुनर्मुद्रित, पीपी। 291–301।
 * में अनुवाद
 * में अनुवाद
 * में अनुवाद
 * में अनुवाद
 * में अनुवाद
 * में अनुवाद

बाहरी संबंध

 * Inhabited set and the axiom of foundation on nLab
 * Inhabited set and the axiom of foundation on nLab