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

गणित में, नियमितता की अभिगृहीत (जिसे नींव की अभिगृहीत के रूप में भी जाना जाता है) ज़र्मेलो-फ्रेंकेल सेट सिद्धांत का एक अभिगृहीत है जो बताता है कि प्रत्येक गैर-खाली सेट ए में एक तत्व होता है जो ए से अलग होता है। पहले क्रम के तर्क में, अभिगृहीत पढ़ता है:
 * $$\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