एकरमैन सेट सिद्धांत

This article is about समुच्चयों का गणितीय सिद्धांत. For other uses, see एकरमैन (बहुविकल्पी).

गणित एवं तर्कशास्त्र में, एकरमैन समुच्चय सिद्धांत (एएसटी) 1956 में विल्हेम रमैन द्वारा प्रस्तावित स्वयंसिद्ध समुच्चय सिद्धांत है।

भाषा

एएसटी प्रथम-क्रम तर्क में प्रस्तुत किया गया है। औपचारिक भाषा $L_{\{\in ,V\}}$ एएसटी में द्विआधारी संबंध होता है $\in$/समुच्चय सदस्यता एवं स्थिरांक को को दर्शाने में (गणित) $V$ सभी समुच्चयो के वर्ग को दर्शाता है (एकरमैन ने विधेय का उपयोग किया, इसके अतिरिक्त $M$ )।

अभिगृहीत

एएसटी के अभिगृहीत निम्नलिखित हैं:

1. विस्तारता का सिद्धांत
2. आनुवंशिकता का सिद्धांत: $(x\in y\lor x\subseteq y)\land y\in V\to x\in V$
3. बुद्धि का सिद्धांत $V$: किसी भी सूत्र के लिए $\phi$ जहाँ $x$ मुक्त चर नहीं है, $\exists x\forall y(y\in x\leftrightarrow y\in V\land \phi )$
4. रमैन की स्कीमा: किसी भी सूत्र के लिए $\phi$ निःशुल्क चर के साथ $a_{1},\ldots ,a_{n},x$ एवं कोई घटना नहीं $V$, $a_{1},\ldots ,a_{n}\in V\land \forall x(\phi \to x\in V)\to \exists y{\in }V\forall x(x\in y\leftrightarrow \phi )$

वैकल्पिक स्वयंसिद्धीकरण निम्नलिखित स्वयंसिद्धों का उपयोग करता है:

1. विस्तारता
2. वंशागति
3. बुद्धि
4. प्रतिबिंब सिद्धांत: किसी भी सूत्र के लिए $\phi$ निःशुल्क चर के साथ $a_{1},\ldots ,a_{n}$, $a_{1},\ldots ,a_{n}{\in }V\to (\phi \leftrightarrow \phi ^{V})$
5. नियमितता का सिद्धांत

$\phi ^{V}$ के सापेक्षीकरण को दर्शाता है $\phi$ को $V$, जो सभी परिमाणक (तर्क) को प्रतिस्थापित करता है, $\phi$ रूप का $\forall x$ एवं $\exists x$ द्वारा उपस्थित है $\forall x{\in }V$ एवं $\exists x{\in }V$, क्रमशः उपस्थित है।

जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत से संबंध

मान लीजिये $L_{\{\in \}}$ उन सूत्रों की भाषा बनें, जिनका उल्लेख $V$ नहीं है।

1959 में, अज्रिएल लेवी ने यह प्रमाणित कर दिया कि यदि $\phi$ का सूत्र है $L_{\{\in \}}$ एवं एएसटी सिद्ध होता है $\phi ^{V}$, तो ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत प्रमाणित $\phi$ होता है।1970 में, विलियम एन. रेनहार्ड्ट ने यह सिद्ध कर दिया कि यदि $\phi$ का सूत्र है $L_{\{\in \}}$ एवं ZF प्रमाणित करता है $\phi$, तो एएसटी सिद्ध होता है $\phi ^{V}$. इसलिए, एएसटी एवं जेडएफ दूसरे के रूढ़िवादी विस्तार में परस्पर व्याख्यात्मक हैं। इस प्रकार वे समसंगत हैं।

एएसटी की उल्लेखनीय विशेषता यह है कि, वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत एवं इसके वेरिएंट के विपरीत, उचित वर्ग दूसरे उचित वर्ग का तत्व हो सकता है।

एएसटी एवं श्रेणी सिद्धांत

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

यह भी देखें

• गणित की नींव
• ज़र्मेलो समुच्चय सिद्धांत
• वैकल्पिक समुच्चय सिद्धांत