विस्तारात्मकता का अभिगृहीत

[[स्वयंसिद्ध सेट सिद्धांत]] और तर्क, गणित और कंप्यूटर विज्ञान की शाखाओं में जो इसका उपयोग करते हैं, विस्तार का स्वयंसिद्ध या विस्तार का स्वयंसिद्ध ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के स्वयंसिद्धों में से एक है। यह कहता है कि समान अवयवों वाले समुच्चय समान समुच्चय होते हैं।

औपचारिक वक्तव्य
ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों की औपचारिक भाषा में, स्वयंसिद्ध पढ़ता है:


 * $$\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \implies A = B)$$

या शब्दों में:
 * किसी भी सेट (गणित) ए और किसी भी सेट बी को देखते हुए, यदि प्रत्येक सेट एक्स के लिए, एक्स ए का सदस्य है और केवल अगर एक्स बी का सदस्य है, तो ए बी के बराबर (गणित) है।
 * (यह वास्तव में आवश्यक नहीं है कि एक्स यहां एक सेट हो - लेकिन 'जेडएफ' में, सब कुछ है। नीचे '#In set theory with ur-elements|Ur-elements' देखें, जब इसका उल्लंघन होता है।)

संभाषण, $$\forall A \, \forall B \, (A = B \implies \forall X \, (X \in A \iff X \in B) ),$$ समानता (गणित) की प्रतिस्थापन संपत्ति से इस स्वयंसिद्ध का अनुसरण होता है।

व्याख्या
इस स्वयंसिद्ध को समझने के लिए, ध्यान दें कि उपरोक्त प्रतीकात्मक कथन में कोष्ठकों में खंड केवल यह बताता है कि A और B में बिल्कुल समान सदस्य हैं। इस प्रकार, अभिगृहीत वास्तव में यह कह रहा है कि दो समुच्चय समान हैं यदि और केवल यदि उनके ठीक समान सदस्य हैं। इसका सार यह है:
 * एक सेट अपने सदस्यों द्वारा विशिष्ट रूप से निर्धारित किया जाता है।

एक्सटेंशन के स्वयंसिद्ध का उपयोग प्रपत्र के किसी भी कथन के साथ किया जा सकता है $$\exists A \, \forall X \, (X \in A \iff P(X) \, )$$, जहाँ P कोई एकल विधेय (गणित) है जिसमें A का उल्लेख नहीं है, एक अद्वितीय सेट को परिभाषित करने के लिए $$A$$ जिसके सदस्य सटीक रूप से विधेय को संतुष्ट करने वाले समुच्चय हैं $$P$$. इसके बाद हम इसके लिए एक नया प्रतीक पेश कर सकते हैं $$A$$; यह इस तरह से है कि सामान्य गणित में परिभाषाएँ अंततः तब काम करती हैं जब उनके बयानों को विशुद्ध रूप से सेट-सैद्धांतिक शर्तों तक सीमित कर दिया जाता है।

गणित की सेट-सैद्धांतिक नींव में व्यापकता का सिद्धांत आम तौर पर विवादास्पद नहीं है, और यह या समकक्ष सेट सिद्धांत के किसी भी वैकल्पिक स्वयंसिद्धता के बारे में प्रकट होता है। हालाँकि, इसमें कुछ उद्देश्यों के लिए संशोधन की आवश्यकता हो सकती है, जैसा कि नीचे दिया गया है।

समानता के बिना विधेय तर्क में
ऊपर दिया गया अभिगृहीत मानता है कि विधेय तर्क में समानता एक आदिम प्रतीक है। स्वयंसिद्ध सेट सिद्धांत के कुछ उपचार इसके बिना करना पसंद करते हैं, और इसके बजाय उपरोक्त कथन को स्वयंसिद्ध नहीं बल्कि समानता की परिभाषा के रूप में मानते हैं। फिर इस परिभाषित प्रतीक के बारे में स्वयंसिद्धों के रूप में विधेय तर्क से समानता के सामान्य स्वयंसिद्धों को शामिल करना आवश्यक है। समानता के अधिकांश स्वयंसिद्ध अभी भी परिभाषा से अनुसरण करते हैं; शेष एक प्रतिस्थापन संपत्ति है,
 * $$\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \implies \forall Y \, (A \in Y \iff B \in Y) \, ),$$

और यह यह स्वयंसिद्ध बन जाता है जिसे इस संदर्भ में विस्तार की स्वयंसिद्धता के रूप में जाना जाता है।

उर-तत्वों के साथ सेट सिद्धांत में
एक उर-तत्व एक सेट का सदस्य है जो स्वयं एक सेट नहीं है। ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों में, कोई उर-तत्व नहीं हैं, लेकिन वे सेट सिद्धांत के कुछ वैकल्पिक स्वयंसिद्धों में शामिल हैं। उर-तत्वों को सेट से भिन्न तार्किक प्रकार के रूप में माना जा सकता है; इस मामले में, $$B \in A$$ अगर कोई मतलब नहीं है $$A$$ एक उर-तत्व है, इसलिए विस्तार का स्वयंसिद्ध केवल सेटों पर ही लागू होता है।

वैकल्पिक रूप से, अप्रकाशित तर्क में, हम आवश्यकता कर सकते हैं $$B \in A$$ जब भी झूठा होना $$A$$ उर-तत्व है। इस मामले में, विस्तार की सामान्य स्वयंसिद्धता का अर्थ यह होगा कि प्रत्येक उर-तत्व खाली सेट के बराबर है। इस परिणाम से बचने के लिए, हम केवल गैर-खाली सेटों पर लागू करने के लिए विस्तार के स्वयंसिद्ध को संशोधित कर सकते हैं, ताकि यह पढ़ सके:


 * $$\forall A \, \forall B \, ( \exists X \, (X \in A) \implies [ \forall Y \, (Y \in A \iff Y \in B) \implies A = B ] \, ).$$

वह है:
 * किसी भी सेट ए और किसी भी सेट बी को देखते हुए, यदि ए एक गैर-खाली सेट है (यानी, यदि ए का सदस्य एक्स मौजूद है), तो यदि ए और बी के समान सदस्य हैं, तो वे बराबर हैं।

अनटाइप्ड लॉजिक में एक अन्य विकल्प परिभाषित करना है $$A$$ स्वयं का एकमात्र तत्व होना $$A$$ जब कभी भी $$A$$ उर-तत्व है। जबकि यह दृष्टिकोण विस्तार के स्वयंसिद्ध को संरक्षित करने के लिए काम कर सकता है, नियमितता के स्वयंसिद्ध को इसके बजाय समायोजन की आवश्यकता होगी।

यह भी देखें

 * सामान्य अवलोकन के लिए व्यापकता।

संदर्भ

 * Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
 * Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer.  ISBN 3-540-44085-2.
 * Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.