आंतरिक समुच्चय सिद्धांत

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

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

सहज औचित्य
जबकि आईएसटी में पूरी तरह से औपचारिक स्वयंसिद्ध योजना है, जिसका वर्णन नीचे किया गया है, मानक शब्द के अर्थ का सहज औचित्य वांछनीय है। यह औपचारिक सिद्धांत का 'नहीं' हिस्सा है, लेकिन एक शैक्षणिक उपकरण है जो छात्र को औपचारिकता की व्याख्या करने में मदद कर सकता है। आवश्यक अंतर, निश्चित संख्याओं की अवधारणा के समान, अवधारणाओं के क्षेत्र की परिमितता के विपरीत है जिसे हम निर्दिष्ट और चर्चा कर सकते हैं, संख्याओं के सेट की असीमित अनंतता के साथ; परिमितवाद की तुलना करें.
 * कोई भी व्यक्ति जिन प्रतीकों से लिखता है उनकी संख्या सीमित है।
 * किसी भी पृष्ठ पर गणितीय प्रतीकों की संख्या सीमित है।
 * एक गणितज्ञ अपने जीवनकाल में गणित के जितने पृष्ठ तैयार कर सकता है, उनकी संख्या सीमित है।
 * कोई भी व्यावहारिक गणितीय परिभाषा आवश्यक रूप से सीमित है।
 * एक गणितज्ञ अपने जीवनकाल में विशिष्ट वस्तुओं की केवल एक सीमित संख्या ही परिभाषित कर सकता है।
 * हमारी (संभवतः सीमित) सभ्यता के दौरान गणितज्ञों की संख्या सीमित होगी।
 * इसलिए पूर्ण संख्याओं का केवल एक सीमित सेट है जिस पर हमारी सभ्यता अपने आवंटित जीवन काल में चर्चा कर सकती है।
 * वास्तव में वह सीमा क्या है, कई आकस्मिक सांस्कृतिक कारकों पर निर्भर होने के कारण, हमारे लिए अज्ञात है।
 * यह सीमा अपने आप में गणितीय जांच के लिए अतिसंवेदनशील नहीं है, लेकिन ऐसी एक सीमा है, जबकि पूर्ण संख्याओं का सेट बिना किसी सीमा के हमेशा के लिए जारी रहता है, यह एक गणितीय सत्य है।

इसलिए मानक शब्द को सहज रूप से सुलभ पूर्ण संख्याओं के कुछ आवश्यक सीमित हिस्से के अनुरूप माना जाता है। इस तर्क को वस्तुओं के किसी भी अनंत सेट पर लागू किया जा सकता है - केवल इतने सारे तत्व हैं जिन्हें कोई प्रतीकों के सीमित सेट का उपयोग करके सीमित समय में निर्दिष्ट कर सकता है और हमेशा ऐसे होते हैं जो हमारे धैर्य और सहनशक्ति की सीमा से परे होते हैं, इससे कोई फर्क नहीं पड़ता हम कैसे दृढ़ रहें. हमें किसी भी अनंत सेट के भीतर गैर-मानक तत्वों की प्रचुरता को स्वीकार करना चाहिए - समझने के लिए बहुत बड़ा या बहुत गुमनाम।

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

आईएसटी के लिए औपचारिक स्वयंसिद्ध
आईएसटी प्रथम-क्रम तर्क में एक स्वयंसिद्ध सिद्धांत है जिसमें एक हस्ताक्षर (तर्क) में समानता होती है जिसमें एक द्विआधारी विधेय प्रतीक ∈ और एक यूनरी विधेय प्रतीक st(x) होता है। जिन सूत्रों में st शामिल नहीं है (अर्थात, सेट सिद्धांत की सामान्य भाषा के सूत्र) आंतरिक कहलाते हैं, अन्य सूत्र बाह्य कहलाते हैं। हम संक्षिप्ताक्षरों का उपयोग करते हैं
 * $$\begin{align}\exists^\mathrm{st}x\,\phi(x)&=\exists x\,(\operatorname{st}(x)\land\phi(x)),\\

\forall^\mathrm{st}x\,\phi(x)&=\forall x\,(\operatorname{st}(x)\to\phi(x)).\end{align}$$ आईएसटी में पसंद के सिद्धांत (जेडएफसी) के साथ ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के सभी सिद्धांत शामिल हैं। ध्यान दें कि पृथक्करण के अभिगृहीत और प्रतिस्थापन के अभिगृहीत की ZFC स्कीमाटा को नई भाषा तक विस्तारित नहीं किया गया है, उनका उपयोग केवल आंतरिक सूत्रों के साथ किया जा सकता है। इसके अलावा, आईएसटी में तीन नए स्वयंसिद्ध स्कीमाटा शामिल हैं - सुविधाजनक रूप से इसके नाम के प्रत्येक प्रारंभिक के लिए एक: 'आई'डीलाइजेशन, 'एस'टैंडर्डाइजेशन, और 'टी'ट्रांसफर।

मैं: आदर्शीकरण

 * किसी भी आंतरिक सूत्र के लिए $$\phi$$ z की मुक्त घटना के बिना, निम्नलिखित सूत्र का सार्वभौमिक समापन एक स्वयंसिद्ध है:
 * $$\forall^\mathrm{st}z\,(z\text{ is finite}\to\exists y\,\forall x\in z\,\phi(x,y,u_1,\dots,u_n))\leftrightarrow\exists y\,\forall^\mathrm{st}x\,\phi(x,y,u_1,\dots,u_n).$$
 * शब्दों में: प्रत्येक आंतरिक संबंध आर के लिए, और अन्य सभी मुक्त चर के लिए मनमाने मूल्यों के लिए, हमारे पास यह है कि यदि प्रत्येक मानक, परिमित सेट एफ के लिए, एक जी मौजूद है जैसे कि आर (जी, एफ) एफ में सभी एफ के लिए रखता है, तब एक विशेष G होता है जैसे कि किसी भी मानक f के लिए हमारे पास R(G,f) होता है, और इसके विपरीत, यदि G मौजूद होता है जैसे कि किसी भी मानक f के लिए, हमारे पास R(G, f) होता है, तो प्रत्येक परिमित सेट F के लिए, वहाँ एक जी मौजूद है जैसे कि आर(जी, एफ) एफ में सभी एफ के लिए धारण करता है।

इस स्वयंसिद्ध कथन में दो निहितार्थ शामिल हैं। दाएं से बाएं निहितार्थ को सरल कथन द्वारा पुन: तैयार किया जा सकता है कि मानक परिमित सेट के तत्व मानक हैं। अधिक महत्वपूर्ण बाएं से दाएं निहितार्थ यह व्यक्त करता है कि सभी मानक सेटों का संग्रह एक परिमित (गैरमानक) सेट में निहित है, और इसके अलावा, इस परिमित सेट को सभी मानक परिमित सेटों द्वारा साझा की गई किसी भी आंतरिक संपत्ति को संतुष्ट करने के लिए लिया जा सकता है।

यह सामान्य स्वयंसिद्ध योजना उपयुक्त परिस्थितियों में आदर्श तत्वों के अस्तित्व को कायम रखती है। तीन विशेष अनुप्रयोग महत्वपूर्ण परिणाम प्रदर्शित करते हैं।

संबंध पर लागू ≠
यदि एस मानक और परिमित है, तो हम संबंध आर (जी, एफ) के लिए लेते हैं: जी और एफ बराबर नहीं हैं और जी एस में है। चूंकि प्रत्येक मानक परिमित सेट एफ के लिए एस में एक तत्व जी है जैसे कि g ≠ f क्योंकि F में सभी f गलत है (ऐसा कोई g मौजूद नहीं है)। ), हम आदर्शीकरण का उपयोग यह बताने के लिए कर सकते हैं कि S में एक G है G ≠ f सभी मानक f के लिए भी गलत है, अर्थात S के सभी तत्व मानक हैं।

यदि एस अनंत है, तो हम संबंध आर (जी, एफ) के लिए लेते हैं: जी और एफ बराबर नहीं हैं और जी एस में है। चूंकि प्रत्येक मानक परिमित सेट एफ के लिए एस में एक तत्व जी है जैसे कि g ≠ f F में सभी f के लिए (अनंत समुच्चय S, परिमित समुच्चय F का उपसमुच्चय नहीं है), हम यह प्राप्त करने के लिए आदर्शीकरण का उपयोग कर सकते हैं कि S में एक G है जैसे कि G ≠ f सभी मानक एफ के लिए। दूसरे शब्दों में, प्रत्येक अनंत सेट में एक गैरमानक तत्व (वास्तव में कई) होते हैं।

एक मानक परिमित सेट का पावर सेट मानक (स्थानांतरण द्वारा) और परिमित होता है, इसलिए मानक परिमित सेट के सभी उपसमुच्चय मानक होते हैं।

यदि S अमानक है, तो हम संबंध R(g,f) लेते हैं: g और f बराबर नहीं हैं और g, S में है। चूँकि प्रत्येक मानक परिमित समुच्चय F के लिए S में एक तत्व g होता है, जिससे g ≠ f एफ में सभी एफ के लिए (गैरमानक सेट एस मानक और परिमित सेट एफ का उपसमुच्चय नहीं है), हम प्राप्त करने के लिए आदर्शीकरण का उपयोग कर सकते हैं एस में एक जी है जैसे कि G ≠ f सभी मानक एफ के लिए। दूसरे शब्दों में, प्रत्येक गैरमानक सेट में एक गैरमानक तत्व होता है।

इन सभी परिणामों के परिणामस्वरूप, समुच्चय S के सभी तत्व मानक हैं यदि और केवल यदि S मानक और परिमित है।

संबंध पर लागू <
चूँकि प्रत्येक मानक, प्राकृतिक संख्याओं के परिमित समुच्चय F के लिए एक प्राकृतिक संख्या g होती है g > f एफ में सभी एफ के लिए - कहें, - हम आदर्शीकरण का उपयोग यह प्राप्त करने के लिए कर सकते हैं कि एक प्राकृतिक संख्या G ऐसी है G > f सभी मानक प्राकृतिक संख्याओं के लिए एफ। दूसरे शब्दों में, प्रत्येक मानक प्राकृतिक संख्या से बड़ी एक प्राकृतिक संख्या मौजूद होती है।

संबंध पर लागू ∈
अधिक सटीक रूप से हम R(g,f) के लिए लेते हैं: g एक परिमित समुच्चय है जिसमें तत्व f है। चूँकि प्रत्येक मानक, परिमित समुच्चय F के लिए, एक परिमित समुच्चय g होता है f ∈ g एफ में सभी एफ के लिए - चुनकर कहें स्वयं - हम आदर्शीकरण का उपयोग यह प्राप्त करने के लिए कर सकते हैं कि एक परिमित समुच्चय G है f ∈ G सभी मानक एफ के लिए। किसी भी सेट एस के लिए, सेट जी के साथ एस का प्रतिच्छेदन एस का एक सीमित उपसमुच्चय है जिसमें एस का प्रत्येक मानक तत्व शामिल है। जी आवश्यक रूप से गैरमानक है।

एस: मानकीकरण

 * अगर $$\phi$$ क्या कोई भी सूत्र (यह बाहरी हो सकता है) बिना y की मुक्त घटना के, सार्वभौमिक समापन के बिना है
 * $$\forall^\mathrm{st}x\,\exists^\mathrm{st}y\,\forall^\mathrm{st}t\,(t\in y\leftrightarrow(t\in x\land\phi(t,u_1,\dots,u_n)))$$
 * एक स्वयंसिद्ध है.


 * शब्दों में: यदि ए एक मानक सेट है और पी कोई संपत्ति है, आंतरिक या अन्यथा, तो ए का एक अद्वितीय, मानक उपसमुच्चय बी है जिसके मानक तत्व बिल्कुल ए के मानक तत्व हैं जो पी को संतुष्ट करते हैं (लेकिन बी का व्यवहार ' s गैरमानक तत्व निर्धारित नहीं हैं)।

टी: स्थानांतरण

 * अगर $$\phi(x,u_1,\dots,u_n)$$ यह एक आंतरिक सूत्र है जिसमें संकेतित चर के अलावा कोई अन्य मुक्त चर नहीं है
 * $$\forall^\mathrm{st}u_1\dots\forall^\mathrm{st}u_n\,(\forall^\mathrm{st}x\,\phi(x,u_1,\dots,u_n)\to\forall x\,\phi(x,u_1,\dots,u_n))$$
 * एक स्वयंसिद्ध है.


 * शब्दों में: यदि आंतरिक सूत्र F के सभी पैरामीटर A, B, C, ..., W में मानक मान हैं F(x, A, B,..., W) सभी x के लिए धारण करता है' जैसे ही यह सभी मानक x के लिए धारण करता है'एस-जिससे यह निष्कर्ष निकलता है कि शास्त्रीय गणित के भीतर सभी विशिष्ट रूप से परिभाषित अवधारणाएं या वस्तुएं मानक हैं।

स्वसिद्धांतों के लिए औपचारिक औचित्य
ऊपर सुझाई गई सहज प्रेरणाओं के अलावा, यह उचित ठहराना आवश्यक है कि अतिरिक्त आईएसटी सिद्धांतों से तर्क में त्रुटियां या विसंगतियां पैदा नहीं होती हैं। गॉटफ्राइड लीबनिज, जोहान बर्नौली, लियोनहार्ड यूलर, ऑगस्टिन-लुई कॉची और अन्य के कार्यों में अनंत संख्याओं के बारे में तर्क करने में गलतियाँ और दार्शनिक कमजोरियाँ यही कारण थीं कि उन्हें मूल रूप से अधिक बोझिल के लिए छोड़ दिया गया था। वास्तविक संख्या-आधारित तर्क जॉर्ज कैंटर, रिचर्ड डेडेकाइंड और कार्ल वीयरस्ट्रैस द्वारा विकसित किए गए, जिन्हें वीयरस्ट्रैस के अनुयायियों द्वारा अधिक कठोर माना गया।

आंतरिक सेट सिद्धांत के लिए दृष्टिकोण किसी भी नई स्वयंसिद्ध प्रणाली के समान है - हम एक सरल, अधिक विश्वसनीय, स्वयंसिद्ध योजना के तत्वों का उपयोग करके नए स्वयंसिद्धों के लिए एक मॉडल सिद्धांत का निर्माण करते हैं। यह अण्डाकार ज्यामिति गैर-यूक्लिडियन ज्यामिति के सिद्धांतों की स्थिरता को उचित ठहराने के समान है, यह ध्यान में रखते हुए कि उन्हें सामान्य 3-स्थान में एक गोले पर बड़े वृत्तों की उचित व्याख्या द्वारा मॉडल किया जा सकता है।

वास्तव में एक उपयुक्त मॉडल के माध्यम से ZFC की तुलना में IST की सापेक्ष स्थिरता का प्रमाण दिया जा सकता है: यदि ZFC सुसंगत है, तो IST सुसंगत है। वास्तव में, एक मजबूत बयान दिया जा सकता है: IST ZFC का एक रूढ़िवादी विस्तार है: कोई भी आंतरिक सूत्र जिसे आंतरिक सेट सिद्धांत के भीतर सिद्ध किया जा सकता है, उसे अकेले पसंद के स्वयंसिद्ध के साथ ज़र्मेलो-फ्रेंकेल सिद्धांतों में सिद्ध किया जा सकता है।

संबंधित सिद्धांत
संबंधित सिद्धांत कारेल हर्बासेक और अन्य द्वारा विकसित किए गए थे।

संदर्भ

 * Robert, Alain (1985). Nonstandard analysis. John Wiley & Sons. ISBN 0-471-91703-6.
 * Internal Set Theory, a chapter of an unfinished book by Nelson.