विस्तारात्मकता का अभिगृहीत: Difference between revisions
(Created page with "{{short description|Concept of axiomatic set theory}} {{no footnotes|date=March 2013}} [[स्वयंसिद्ध सेट सिद्धांत]] और त...") |
(text) |
||
| Line 1: | Line 1: | ||
{{short description|Concept of axiomatic set theory}} | {{short description|Concept of axiomatic set theory}} | ||
[[स्वयंसिद्ध]] सेट सिद्धांत और [[तर्क]], गणित और [[कंप्यूटर विज्ञान]] की शाखाओं में जो इसका उपयोग करते हैं, विस्तार का स्वयंसिद्ध या विस्तार का स्वयंसिद्ध ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के स्वयंसिद्धों में से एक है। यह कहता है कि समान अवयवों वाले समुच्चय समान समुच्चय होते हैं। | |||
== औपचारिक वक्तव्य == | == औपचारिक वक्तव्य == | ||
| Line 8: | Line 7: | ||
:<math>\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \implies A = B)</math> | :<math>\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \implies A = B)</math> | ||
या शब्दों में: | या शब्दों में: | ||
: किसी भी [[सेट (गणित)]] ए और किसी भी सेट बी को देखते हुए, यदि प्रत्येक सेट एक्स के लिए, एक्स ए का सदस्य है और केवल अगर एक्स बी का सदस्य है, तो ए बी के | : किसी भी [[सेट (गणित)]]ए और किसी भी सेट बी को देखते हुए, यदि प्रत्येक सेट एक्स के लिए, एक्स ए का सदस्य है और केवल अगर एक्स बी का सदस्य है, तो ए बी के बराबर है। | ||
:(यह वास्तव में | :(यह वास्तव में जरूरी नहीं है कि एक्स यहां एक सेट हो - लेकिन जेडएफ में, सबकुछ है। इसका उल्लंघन होने पर नीचे उर-तत्व देखें।) | ||
संभाषण, <math>\forall A \, \forall B \, (A = B \implies \forall X \, (X \in A \iff X \in B) ),</math> [[समानता (गणित)]] की प्रतिस्थापन संपत्ति से इस स्वयंसिद्ध का अनुसरण होता है। | संभाषण, <math>\forall A \, \forall B \, (A = B \implies \forall X \, (X \in A \iff X \in B) ),</math> [[समानता (गणित)]] की प्रतिस्थापन संपत्ति से इस स्वयंसिद्ध का अनुसरण होता है। | ||
== व्याख्या == | == व्याख्या == | ||
इस स्वयंसिद्ध को समझने के लिए, ध्यान दें कि उपरोक्त प्रतीकात्मक कथन में कोष्ठकों में खंड केवल यह बताता है कि A और B में बिल्कुल समान सदस्य हैं। | इस स्वयंसिद्ध को समझने के लिए, ध्यान दें कि उपरोक्त प्रतीकात्मक कथन में कोष्ठकों में खंड केवल यह बताता है कि A और B में बिल्कुल समान सदस्य हैं। इस प्रकार, अभिगृहीत वास्तव में यह कह रहा है कि दो समुच्चय समान हैं यदि और केवल यदि उनके ठीक समान सदस्य हैं। इसका सार यह है: | ||
इस प्रकार, अभिगृहीत वास्तव में यह कह रहा है कि दो समुच्चय समान हैं यदि और केवल यदि उनके ठीक समान सदस्य हैं। | |||
इसका सार यह है: | |||
: एक सेट अपने सदस्यों द्वारा विशिष्ट रूप से निर्धारित किया जाता है। | : एक सेट अपने सदस्यों द्वारा विशिष्ट रूप से निर्धारित किया जाता है। | ||
एक्सटेंशन के स्वयंसिद्ध का उपयोग प्रपत्र के किसी भी कथन के साथ किया जा सकता है | एक्सटेंशन के स्वयंसिद्ध का उपयोग प्रपत्र के किसी भी कथन के साथ किया जा सकता है<math>\exists A \, \forall X \, (X \in A \iff P(X) \, )</math>, जहां P कोई एकल [[विधेय (गणित)]] है जिसमें A का उल्लेख नहीं है, एक अद्वितीय सेट को परिभाषित करने के लिए <math>A</math> जिसके सदस्य सटीक रूप से विधेय को संतुष्ट करने वाले समुच्चय हैं<math>P</math>। हम इसके लिए एक नया प्रतीक पेश कर सकते हैं <math>A</math>; यह इस तरह से है कि सामान्य गणित में [[परिभाषा]]एँ अंततः तब काम करती हैं जब उनके बयानों को विशुद्ध रूप से सेट-सैद्धांतिक शर्तों तक सीमित कर दिया जाता है। | ||
<math>\exists A \, \forall X \, (X \in A \iff P(X) \, )</math>, | |||
गणित की सेट-सैद्धांतिक नींव में व्यापकता का सिद्धांत आम तौर पर विवादास्पद नहीं है, और यह या समकक्ष सेट सिद्धांत के किसी भी वैकल्पिक स्वयंसिद्धता के बारे में प्रकट होता है। | गणित की सेट-सैद्धांतिक नींव में व्यापकता का सिद्धांत आम तौर पर विवादास्पद नहीं है, और यह या समकक्ष सेट सिद्धांत के किसी भी वैकल्पिक स्वयंसिद्धता के बारे में प्रकट होता है। हालाँकि, इसमें कुछ उद्देश्यों के लिए संशोधन की आवश्यकता हो सकती है, जैसा कि नीचे दिया गया है। | ||
हालाँकि, इसमें कुछ उद्देश्यों के लिए संशोधन की आवश्यकता हो सकती है, जैसा कि नीचे दिया गया है। | |||
== समानता के बिना [[विधेय तर्क]] में == | == समानता के बिना [[विधेय तर्क]] में == | ||
ऊपर दिया गया अभिगृहीत मानता है कि विधेय तर्क में समानता एक आदिम प्रतीक है। | ऊपर दिया गया अभिगृहीत मानता है कि विधेय तर्क में समानता एक आदिम प्रतीक है। स्वयंसिद्ध सेट सिद्धांत के कुछ उपचार इसके बिना करना पसंद करते हैं, और इसके बजाय उपरोक्त कथन को स्वयंसिद्ध नहीं बल्कि समानता की परिभाषा के रूप में मानते हैं। फिर इस परिभाषित प्रतीक के बारे में स्वयंसिद्धों के रूप में विधेय तर्क से समानता के सामान्य स्वयंसिद्धों को शामिल करना आवश्यक है। समानता के अधिकांश स्वयंसिद्ध अभी भी परिभाषा से अनुसरण करते हैं; शेष एक प्रतिस्थापन संपत्ति है, | ||
स्वयंसिद्ध सेट सिद्धांत के कुछ उपचार इसके बिना करना पसंद करते हैं, और इसके बजाय उपरोक्त कथन को स्वयंसिद्ध नहीं बल्कि समानता की परिभाषा के रूप में मानते हैं। | |||
फिर इस परिभाषित प्रतीक के बारे में स्वयंसिद्धों के रूप में विधेय तर्क से समानता के सामान्य स्वयंसिद्धों को शामिल करना आवश्यक है। समानता के अधिकांश स्वयंसिद्ध अभी भी परिभाषा से अनुसरण करते हैं; शेष एक प्रतिस्थापन संपत्ति है, | |||
:<math>\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \implies \forall Y \, (A \in Y \iff B \in Y) \, ),</math> | :<math>\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \implies \forall Y \, (A \in Y \iff B \in Y) \, ),</math> | ||
और यह यह स्वयंसिद्ध बन जाता है जिसे इस संदर्भ में विस्तार की स्वयंसिद्धता के रूप में जाना जाता है। | :और यह यह स्वयंसिद्ध बन जाता है जिसे इस संदर्भ में विस्तार की स्वयंसिद्धता के रूप में जाना जाता है। | ||
== [[उर-तत्व|उर-तत्वों]] के साथ सेट सिद्धांत में == | |||
एक उर-तत्व एक सेट का सदस्य है जो स्वयं एक सेट नहीं है। ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों में, कोई उर-तत्व नहीं हैं, लेकिन वे सेट सिद्धांत के कुछ वैकल्पिक स्वयंसिद्धों में शामिल हैं। उर-तत्वों को सेट से भिन्न [[तार्किक प्रकार]] के रूप में माना जा सकता है; इस मामले में, <math>B \in A</math> अगर कोई मतलब नहीं है <math>A</math> एक उर-तत्व है, इसलिए विस्तार का सिद्धांत केवल सेट पर ही लागू होता है। | |||
वैकल्पिक रूप से, अप्रकाशित तर्क में, हम आवश्यकता कर सकते हैं <math>B \in A</math> जब भी झूठा होना <math>A</math> उर-तत्व है। इस मामले में, विस्तार की सामान्य स्वयंसिद्धता का अर्थ यह होगा कि प्रत्येक उर-तत्व [[खाली सेट]] के बराबर है। इस परिणाम से बचने के लिए, हम केवल गैर-खाली सेटों पर लागू करने के लिए विस्तार के स्वयंसिद्ध को संशोधित कर सकते हैं, ताकि यह पढ़ सके: | |||
वैकल्पिक रूप से, अप्रकाशित तर्क में, हम आवश्यकता कर सकते हैं <math>B \in A</math> जब भी झूठा होना <math>A</math> उर-तत्व है। | |||
इस मामले में, विस्तार की सामान्य स्वयंसिद्धता का अर्थ यह होगा कि प्रत्येक उर-तत्व [[खाली सेट]] के बराबर है। | |||
इस परिणाम से बचने के लिए, हम केवल गैर-खाली सेटों पर लागू करने के लिए विस्तार के स्वयंसिद्ध को संशोधित कर सकते हैं, ताकि यह पढ़ सके: | |||
:<math>\forall A \, \forall B \, ( \exists X \, (X \in A) \implies [ \forall Y \, (Y \in A \iff Y \in B) \implies A = B ] \, ).</math> | :<math>\forall A \, \forall B \, ( \exists X \, (X \in A) \implies [ \forall Y \, (Y \in A \iff Y \in B) \implies A = B ] \, ).</math> | ||
वह है: | वह है: | ||
: किसी भी सेट ए और किसी भी सेट बी को देखते हुए, यदि ए एक गैर-खाली सेट है (यानी, यदि ए का सदस्य एक्स मौजूद है), तो यदि ए और बी के समान सदस्य हैं, तो वे बराबर हैं। | : किसी भी सेट ए और किसी भी सेट बी को देखते हुए, यदि ए एक गैर-खाली सेट है (यानी, यदि ए का कोई सदस्य एक्स मौजूद है), तो यदि ए और बी के समान सदस्य हैं, तो वे बराबर हैं। | ||
अनटाइप्ड लॉजिक में एक अन्य विकल्प परिभाषित करना है <math>A</math> स्वयं का एकमात्र तत्व होना <math>A</math> | अनटाइप्ड लॉजिक में एक अन्य विकल्प परिभाषित करना है <math>A</math> स्वयं का एकमात्र तत्व होना <math>A</math>जब कभी भी <math>A</math> उर-तत्व है। जबकि यह दृष्टिकोण विस्तार के स्वयंसिद्ध को संरक्षित करने के लिए काम कर सकता है, नियमितता के स्वयंसिद्ध को इसके बजाय समायोजन की आवश्यकता होगी। | ||
जब कभी भी <math>A</math> उर-तत्व है। जबकि यह दृष्टिकोण विस्तार के स्वयंसिद्ध को संरक्षित करने के लिए काम कर सकता है, नियमितता के स्वयंसिद्ध को इसके बजाय समायोजन की आवश्यकता होगी। | |||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 10:56, 15 February 2023
स्वयंसिद्ध सेट सिद्धांत और तर्क, गणित और कंप्यूटर विज्ञान की शाखाओं में जो इसका उपयोग करते हैं, विस्तार का स्वयंसिद्ध या विस्तार का स्वयंसिद्ध ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के स्वयंसिद्धों में से एक है। यह कहता है कि समान अवयवों वाले समुच्चय समान समुच्चय होते हैं।
औपचारिक वक्तव्य
ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों की औपचारिक भाषा में, स्वयंसिद्ध पढ़ता है:
या शब्दों में:
- किसी भी सेट (गणित)ए और किसी भी सेट बी को देखते हुए, यदि प्रत्येक सेट एक्स के लिए, एक्स ए का सदस्य है और केवल अगर एक्स बी का सदस्य है, तो ए बी के बराबर है।
- (यह वास्तव में जरूरी नहीं है कि एक्स यहां एक सेट हो - लेकिन जेडएफ में, सबकुछ है। इसका उल्लंघन होने पर नीचे उर-तत्व देखें।)
संभाषण, समानता (गणित) की प्रतिस्थापन संपत्ति से इस स्वयंसिद्ध का अनुसरण होता है।
व्याख्या
इस स्वयंसिद्ध को समझने के लिए, ध्यान दें कि उपरोक्त प्रतीकात्मक कथन में कोष्ठकों में खंड केवल यह बताता है कि A और B में बिल्कुल समान सदस्य हैं। इस प्रकार, अभिगृहीत वास्तव में यह कह रहा है कि दो समुच्चय समान हैं यदि और केवल यदि उनके ठीक समान सदस्य हैं। इसका सार यह है:
- एक सेट अपने सदस्यों द्वारा विशिष्ट रूप से निर्धारित किया जाता है।
एक्सटेंशन के स्वयंसिद्ध का उपयोग प्रपत्र के किसी भी कथन के साथ किया जा सकता है, जहां P कोई एकल विधेय (गणित) है जिसमें 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.
| अवलोकन |  | |
|---|---|---|
| स्वयंसिद्ध | ||
| संचालन |
| |
| ||
| सेट प्रकार | ||
| सिद्धांतों | ||
| ||
| सिद्धांतकार सेट | ||
