पॉकेट सेट सिद्धांत

पॉकेट समुच्चय सिद्धांत (पीएसटी) एक वैकल्पिक समुच्चय सिद्धांत है जिसमें केवल दो अपरिमित कार्डिनल संख्याएं ℵ0 (एलेफ़-नॉट, सभी प्राकृतिक संख्याओं के समुच्चय का  गणनांक) और c (सातत्य का गणनांक) हैं। इस सिद्धांत का सुझाव सर्वप्रथम रूडी रूकर ने अपनी इन्फिनिटी एंड द माइंड में दिया था। इस प्रविष्टि में दिए गए विवरण अमेरिकी गणितज्ञ रान्डेल एम. होम्स की देन हैं।

पीएसटी का समर्थन करने वाले तर्क
पीएसटी जैसे न्यूनतम समुच्चय सिद्धांत के पक्ष में कम से कम दो स्वतंत्र तर्क हैं। इस प्रकार, यह सोचने के कारण हैं कि कैंटर का असमापिकाओं  का अनंत पदानुक्रम अनावश्यक है। पॉकेट समुच्चय सिद्धांत एक "न्यूनतम" समुच्चय सिद्धांत है जो केवल दो अपरिमित (मानक) प्राकृतिक संख्याओं के गणनांक $$\scriptstyle{\aleph_0}$$और (मानक) वास्तविकताओं की गणनांक $$\scriptstyle{2^{\aleph_0}}$$(मानक) की अनुमति देता है।
 * 1) समुच्चय सिद्धांत के बाहर गणितीय अभ्यास से कोई यह धारणा प्राप्त कर सकता है कि "केवल दो अपरिमित कार्डिनल हैं जो स्पष्ट रूप से 'श्रेणी में होते हैं' (प्राकृतिक संख्याओं के गणनांक और सातत्य के गणनांक)", इसलिए "समुच्चय सिद्धांत चिरसम्मत गणित का समर्थन करने के लिए आवश्यक से कहीं अधिक अधिरचना का उत्पादन करता है।" यद्यपि यह अतिशयोक्ति हो सकती है (कोई ऐसी स्थिति में आ सकता है जिसमें किसी को वास्तविक संख्याओं या वास्तविक फलनों के यादृच्छिक समुच्चय के विषय में विचार विमर्श करना पड़ता है) कुछ तकनीकी युक्तियों के साथ गणित के एक विशाल भाग को पीएसटी के भीतर पुनर्निर्मित किया जा सकता है; निश्चित रूप से इसके अधिकांश समुपयोग के लिए पर्याप्त है।
 * 2) द्वितीय तर्क मूलभूत विचारों से उत्पन्न होता है। अधिकांश गणित को मानक समुच्चय सिद्धांत या इसके बड़े विकल्पों में से एक विकल्प में प्रयुक्त किया जा सकता है। दूसरी ओर, समुच्चय सिद्धांतों को एक तार्किक प्रणाली के संदर्भ में प्रस्तुत किया जाता है; अधिकांश मामलों में यह प्रथम कोटि तर्क है। दूसरी ओर, प्रथम-कोटि तर्क का वाक्यविन्यास और शब्दार्थ समुच्चय-सैद्धांतिक आधार पर बनाया गया है। इस प्रकार, एक मूलभूत वृत्ताकारता है, जो हमें बूटस्ट्रैपिंग के लिए यथासंभव अशक्त सिद्धांत का चयन करने के लिए विवश करती है।

सिद्धांत
पीएसटी सर्वसमिका और द्विआधारी संबंध प्रतीक $$\scriptstyle{ \in }$$ के साथ मानक प्रथम-कोटि भाषा का उपयोग करता है। साधारण चर बड़ा अक्षर X, Y आदि हैं। अभीष्ट व्याख्या में, ये चर वर्ग (समुच्चय सिद्धांत) के लिए हैं तथा परमाणु सूत्र $$\scriptstyle{ X \in Y }$$ का अर्थ है "वर्ग X, वर्ग Y का एक तत्व है"। समुच्चय एक वर्ग है जो वर्ग का एक तत्व है। छोटे केस वेरिएबल x, y, आदि समुच्चय के लिए हैं। एक उचित वर्ग वह वर्ग है जो समुच्चय नहीं है। दो वर्ग समसंख्य हैं यदि उनके मध्य एक द्विअंतथक्षेपण उपस्थित है। एक वर्ग अपरिमित है यदि वह अपने उचित उपवर्गों में से एक के साथ समतुल्य है। पीएसटी के सिद्धांत हैं
 * '(A1)' (विस्तारात्मकता) - जिन वर्गों में समान तत्व होते हैं वे समान होते हैं।
 * $$ \forall z \, ( z \in X \leftrightarrow z \in Y ) \rightarrow X = Y $$
 * (A2) (वर्ग बोध) - यदि $$ \scriptstyle{\phi (x)} $$ एक सूत्र है तो एक वर्ग उपस्थित है जिसके तत्व यथार्थत: वे समुच्चय x हैं जो $$ \scriptstyle{\phi (x)} $$ को संतुष्ट करते हैं।
 * $$ \exists Y \forall x \, ( x \in Y \leftrightarrow \phi (x)) $$
 * (A3) (अपरिमित सिद्धांत) - एक अपरिमित समुच्चय है और सभी अपरिमित समुच्चय समसंख्यक हैं।
 * $$ \exists x \, ( \mathrm{inf}(x) \land \forall y \, ( \mathrm{inf}(y) \rightarrow x \approx y ) ) $$
 * (inf(x) का अर्थ है "x परिमित है"; $$\scriptstyle{ x \approx y }$$ संक्षेप में प्रदर्शित करता है कि x, y के समान है।)
 * '(A4)' (आकार की सीमा) - एक वर्ग तभी उचित वर्ग होता है जब वह सभी उचित वर्गों के साथ समतुल्य हो।


 * $$ \forall X \forall Y \, ( ( \mathrm{pr}(X) \land \mathrm{pr}(Y) ) \leftrightarrow ( \mathrm{pr}(X) \land X \approx Y ) )$$
 * (pr(X) का अर्थ है "X एक उचित वर्ग है"।)

सिद्धांतों पर टिप्पणियाँ

 * हालाँकि वर्गों और समुच्चयों के लिए विभिन्न प्रकार के चर का उपयोग किया जाता है, फिर भी भाषा अधिक वर्गीकृत नहीं होती है; समुच्चय की पहचान समान एक्सटेंशन वाले वर्गों से की जाती है। छोटे केस चरों का उपयोग विभिन्न संदर्भों के लिए मात्र अक्षरों के संक्षिप्त रूप में किया जाता है; जैसे,
 * $$\forall x \, \phi (x) \Leftrightarrow_{\mathrm{def}} \forall X \, ( \mathrm{set}(X) \rightarrow \phi (X) )$$


 * चूँकि A2 में परिमाणीकरण वर्गों के आधार पर भिन्न-भिन्न होता है जैसे कि $$ \scriptstyle{\phi (x)} $$ समुच्चय-बाउंड नहीं होता है वहां A2 मोर्स-केली समुच्चय सिद्धांत की समझ की योजना है न कि वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत की। A2 की यह अतिरिक्त गुण ऑर्डिनल्स की परिभाषा में नियोजित है (यहां प्रस्तुत नहीं है)।
 * चूँकि युग्म का कोई स्वयंसिद्ध सिद्धांत नहीं है, इसलिए यह सिद्ध किया जाना चाहिए कि किन्हीं दो समुच्चयों x और y के लिए कुराटोस्की युग्म {{x},{x,y}} उपस्थित है तथा एक समुच्चय है। इसलिए यह सिद्ध करना कि दो वर्गों के मध्य प्रत्येक के लिए अलग अलग समानता उपस्थित है इससे यह सिद्ध नहीं होता है कि वे समसंख्यक हैं।
 * पॉकेट समुच्चय सिद्धांत तीसरे क्रम के अंकगणित के अनुरूप है जिसमें प्राकृतिक संख्याओं के उपसमुच्चय और प्राकृतिक संख्याओं के पावरसमुच्चय के उपसमुच्चय के समरूपी समुच्चय और वर्ग होते हैं।
 * पॉकेट समुच्चय सिद्धांत हेतु पॉकेट समुच्चय सिद्धांत मॉडल के समुच्चय को HC के रचनात्मक तत्व (आनुवंशिक रूप से गणनीय समुच्चय का समुच्चय) और वर्गों को HC के निर्माण योग्य उपसमुच्चय के रूप में लेते हुए दिया गया है।

कुछ पीएसटी प्रमेय

 * 1. रसेल वर्ग $$\scriptstyle{ \mathrm{R}}$$ एक उचित वर्ग है। ($$\scriptstyle{ \mathrm{R} =_{\mathrm{def}} \{ x\,|\,x\notin x\} }$$)
 * प्रमाण: $$\scriptstyle{ \mathrm{R}}$$ रसेल के विरोधाभास द्वारा समुच्चय नहीं हो सकता। ∎


 * 2. रिक्त वर्ग $$\scriptstyle{ \emptyset }$$ एक समुच्चय है। ($$\scriptstyle{ \emptyset =_{\mathrm{def}} \{ x\,|\,x\neq x\} }$$)
 * प्रमाण: मान लीजिए (प्रतिवाद की ओर) कि $$\scriptstyle{ \emptyset }$$ एक उचित वर्ग है। (A4) के अनुसार, $$\scriptstyle{ \emptyset }$$ को $$\scriptstyle{ \mathrm{R}}$$ के समान होना चाहिए जिस स्थिति में $$\scriptstyle{ \mathrm{R}}$$ रिक्त है। मान लीजिए i एक अपरिमित समुच्चय है और वर्ग $$\scriptstyle{ \{ i\} }$$ पर विचार करें। यह $$\scriptstyle{ \emptyset }$$, के समतुल्य नहीं है इसलिए यह एक समुच्चय है। यह सीमित है किन्तु इसका एक तत्व अपरिमित है इसलिए यह स्वयं का एक तत्व नहीं हो सकता। इसलिए, यह $$\scriptstyle{ \mathrm{R}}$$ का एक तत्व है। यह इस बात का खंडन करता है कि $$\scriptstyle{ \mathrm{R}}$$ रिक्त है। ∎


 * 3. एकल वर्ग $$\scriptstyle{ \{\emptyset\} }$$ समुच्चय है।
 * प्रमाण: मान लीजिए कि $$\scriptstyle{ \{\emptyset\} }$$ एक उचित वर्ग है। फिर (A4) द्वारा प्रत्येक उचित वर्ग एक एकल है। माना कि i एक अनंत समुच्चय है और वर्ग $$\scriptstyle{\{\emptyset,i\}}$$ पर विचार करें। यह न तो एक उचित वर्ग है (क्योंकि यह एकल नहीं है) और न ही स्वयं का एक तत्व है (क्योंकि यह न तो रिक्त है और न ही अपरिमित है)। इस प्रकार $$\scriptstyle{\{\emptyset,i\}\in R}$$ की परिभाषा यह है कि $$\scriptstyle{ \mathrm{R}}$$ में कम से कम दो तत्व $$\scriptstyle{ \emptyset }$$ और $$\scriptstyle{\{\emptyset,i\}}$$ हैं। यह प्रारंभिक धारणा का खंडन करता है कि उचित वर्ग एकल हैं। ∎


 * 4. $$\scriptstyle{ \mathrm{R}}$$ अपरिमित है।
 * प्रमाण: मान लीजिए $$\scriptstyle{\mathrm{R}^- =_{\mathrm{def}} \mathrm{R} \setminus \{\emptyset\}}$$। मान लीजिए कि यह वर्ग एक समुच्चय है। तत्पश्चात $$\scriptstyle{\mathrm{R}^- \in \mathrm{R}^-}$$ या $$\scriptstyle{\mathrm{R}^- \notin \mathrm{R}^-}$$। प्रथम स्थिति में $$\scriptstyle{\mathrm{R}^-}$$की परिभाषा का तात्पर्य यह है कि $$\scriptstyle{\mathrm{R}^- \in \mathrm{R}}$$ जिससे यह निष्कर्ष निकलता है कि $$\scriptstyle{\mathrm{R}^- \notin \mathrm{R}^-}$$ एक प्रतिवाद है। द्वितीय स्थिति में $$\scriptstyle{\mathrm{R}^-}$$ की परिभाषा या तो $$\scriptstyle{\mathrm{R}^- \notin \mathrm{R}}$$ को दर्शाती है और इसलिए $$\scriptstyle{\mathrm{R}^- \in \mathrm{R}^-}$$,एक प्रतिवाद या $$\scriptstyle{\mathrm{R}^- = \emptyset}$$ है। किन्तु $$\scriptstyle{\mathrm{R}^-}$$ रिक्त नहीं हो सकता क्योंकि इसमें कम से कम एक तत्व $$\scriptstyle{\{\emptyset\}}$$ है। ∎


 * 5. प्रत्येक परिमित वर्ग एक समुच्चय है।
 * प्रमाण: माना कि X एक उचित वर्ग है। (A4) द्वारा, एक $$\scriptstyle{F:X\longrightarrow \mathrm{R}}$$ इस प्रकार उपस्थित है कि F एक द्विअंतथक्षेपण है। इसमें एक युग्म $$\scriptstyle{\langle x_0,\emptyset \rangle}$$ सम्मिलित है तथा $$\scriptstyle{\mathrm{R}^-}$$ के प्रत्येक सदस्य r के लिए एक युग्म $$\scriptstyle{\langle x,r\rangle}$$ है। मान लीजिए $$\scriptstyle{X^-=X\setminus \lbrace x_0\rbrace}$$ और $$\scriptstyle{F^-=F\setminus \lbrace \langle x_0,\emptyset \rangle \rbrace}$$। (A4) के अनुसार, ये दोनों वर्ग उपस्थित हैं। अब, $$\scriptstyle{F^-:X^-\longrightarrow \mathrm{R}^-}$$ एक द्विअंतथक्षेपण है। इस प्रकार (A4) द्वारा $$\scriptstyle{X^-}$$ भी एक उचित वर्ग है। स्पष्ट रूप से, $$\scriptstyle{X^-\subseteq X}$$ और $$\scriptstyle{X^-\neq X}$$। अब (A4) का एक अन्य अनुप्रयोग प्रदर्शित करता है कि एक द्विअंतथक्षेपण $$\scriptstyle{G:X\longrightarrow X^-}$$ उपस्थित है। इससे सिद्ध होता है कि X अपरिमित है। ∎

एक बार उपरोक्त तथ्य निश्चित हो जाने पर निम्नलिखित परिणाम सिद्ध किये जा सकते हैं:
 * 6. समुच्चय ($$ \scriptstyle{\mathrm{V} =_{\mathrm{def}} \{ x\,|\mathrm{set}(x)\}} $$) के वर्ग V में सभी अनुवांशिक गणनीय समुच्चय सम्मिलित हैं।
 * 7. प्रत्येक उचित वर्ग में गणनांक $${\mathfrak c}$$ होता है।
 * प्रमाण: मान लीजिए कि i एक अपरिमित समुच्चय है, ऐसी स्थिति में वर्ग $$ \scriptstyle{\mathcal{P}(i)} $$ का गणनांक $$\scriptstyle{2^{\aleph_0}}$$ हैं। (A4) के अनुसार, सभी उचित वर्गों में $$\scriptstyle{2^{\aleph_0}}$$ गणनांक होता है। ∎


 * 8. समुच्चय का संघ वर्ग समुच्चय है।

पीएसटी यह भी सत्यापित करता है:
 * सांतत्यक प्राक्कल्पना. यह उपरोक्त (5) और (6) से अनुसरण करता है;
 * प्रतिस्थापन का सिद्धांत. यह (A4) का परिणाम है;
 * चयन सिद्धांत. प्रमाण: सभी अध्यादेशों का वर्ग ऑर्ड परिभाषा के अनुसार सुव्यवस्थित है। बुराली-फोर्टी विरोधाभास और कैंटर के विरोधाभास के कारण क्रमशः सभी समुच्चयों के ऑर्ड और वर्ग V दोनों उचित वर्ग हैं। इसलिए वी और ऑर्ड के मध्य एक आपत्ति उपस्थित है जो V को अच्छी तरह से निर्देश देती है। ∎

पीएसटी में सभी समुच्चयों की सुदृढता न तो सिद्ध करने योग्य है और न ही अस्वीकार्य है।

संभावित विस्तार

 * 'पीएसटी' में मुक्त निर्माण के तथाकथित सिद्धांतों को जोड़ने से समुच्चय-सैद्धांतिक सिद्धांतों की किसी भी सुसंगत प्रणाली के परिणामस्वरूप प्रणाली में एक आंतरिक मॉडल होगा।
 * यह पीएसटी की एक प्रतिकूल विशेषता है कि यह वास्तविक संख्याओं के समुच्चयों के वर्गों या वास्तविक फलनों के समुच्चयों के वर्गों को नियंत्रण नहीं कर सकता है। हालाँकि, यह आवश्यक नहीं है। (A3) को सांतत्यक प्राक्कल्पना के समर्थन के साथ या उसके बिना अपरिमित के सामान्य पदानुक्रम के विभिन्न भागों की अनुमति देने के लिए विभिन्न प्रकारों से संशोधित किया जा सकता है। एक उदाहरण है
 * $$ \exists x \exists y \,( \mathrm{inf}(x) \land \mathrm{inf}(y) \land |\mathcal{P}(x)| \neq |\mathcal{P}(y)| \land \forall z ( \mathrm{inf}(z) \rightarrow ( |z|=|x| \lor |z|=|y| ) ) ) $$
 * इस संस्करण में एक अपरिमित समुच्चय का गणनांक या तो $$\aleph_0$$ या $$2^{\aleph_0}$$ है तथा एक उचित वर्ग का गणनांक $$2^{2^{\aleph_0}}$$(जिसका अर्थ है कि सामान्यीकृत सांतत्यक प्राक्कल्पना मान्य है)।

यह भी देखें

 * बड़ी गणनसंख्या

बाहरी संबंध

 * Randall Holmes: Notes on "Pocket Set Theory"