परिमित समुच्चय

गणित में, विशेष रूप से समुच्चय सिद्धान्त में, एक परिमित समुच्चय एक समुच्चय (गणित) होता है जिसमें अवयवो की एक परिमित संख्या होती है। अनौपचारिक रूप से, एक परिमित समुच्चय एक ऐसा समुच्चय होता है जिसे सैद्धांतिक रूप से कोई भी गिन सकता है और गिनना समाप्त कर सकता है। उदाहरण के लिए,

$\{2,4,6,8,10\}$

यह पाँच अवयवों वाला एक परिमित समुच्चय है। एक परिमित समुच्चय के अवयवो की संख्या एक प्राकृतिक संख्या (संभवतः शून्य) है तथा इसे समुच्चय का गणनांक (या गणन संख्या) कहा जाता है। वह समुच्चय जो परिमित समुच्चय नहीं है, अपरिमित समुच्चय कहलाता है। उदाहरण के लिए, सभी धनात्मक पूर्णांकों का समुच्चय अनंत है,

$\{1,2,3,\ldots \}.$

साहचर्य में, गणना के गणितीय अध्ययन में परिमित समुच्चय विशेष रूप से महत्वपूर्ण हैं। परिमित समुच्चय से जुड़े कई तर्क कोष्ठ सिद्धांत पर भरोसा करते हैं, जो बताता है कि एक बड़े परिमित समुच्चय से एक छोटे परिमित समुच्चय तक एकैकी फलन(गणित) सम्मिलित नहीं हो सकता है।

परिभाषा और शब्दावली

औपचारिक रूप से, समुच्चय S परिमित कहा जाता है यदि किसी प्राकृत संख्या n

$f\colon S\to \{1,\ldots ,n\}$

के लिए एक एकैकी आच्छादन 1 सम्मिलित हो तो। जो संख्या n समुच्चय का गणनांक है, जिसे |S| के रूप में दर्शाया गया है। रिक्त समुच्चय { } या ∅ को गणनांक शून्य के साथ परिमित माना जाता है।

यदि एक समुच्चय परिमित है, तो इसके अवयवों को - कई तरीकों से - एक क्रम में लिखा जा सकता है,

$x_{1},x_{2},\ldots ,x_{n}\quad (x_{i}\in S,\ 1\leq i\leq n).$

साहचर्य में, n अवयवों के साथ एक परिमित समुच्चय को कभी-कभी n-समुच्चय कहा जाता है और k अवयवों वाले सबसमुच्चय को k-सबसमुच्चय कहा जाता है। उदाहरण के लिए, समुच्चय {5,6,7} एक तीन अवयवो वाला समुच्चय है - जो तीन अवयवो वाला परिमित समुच्चय - और {6,7} इसका 2-उपसमुच्चय है।

(प्राकृतिक संख्या की परिभाषा से परिचित जो खुद को समुच्चय सिद्धान्त में परम्परागत मानते हैं, तथाकथि वॉन न्यूमैन संरचना, एकैकी आच्छादन $f\colon S\to n$ के अस्तित्व का उपयोग करना पसंद कर सकते हैं, जो समतुल्य है।)

मूल गुण

परिमित समुच्चय S का कोई भी उचित उपसमुच्चय परिमित होता है और इसमें स्वयं S से कम अवयव होते हैं। परिणामस्वरूप, एक परिमित समुच्चय S और S के उचित उपसमुच्चय के बीच कोई एकैकी आच्छादन नहीं हो सकता है। इस गुण के साथ कोई भी समुच्चय डेडेकाइंड-परिमित कहलाता है। समुच्चय सिद्धांत के लिए मानक ज़र्मेलो-फ्रैंकेल (जेडएफसी) स्वयंसिद्धों का उपयोग करते हुए, प्रत्येक डेडेकिंड-परिमित समुच्चय भी परिमित कहलाता है, लेकिन इस निहितार्थ को केवल जेडएफ ( ज़र्मेलो-फ्रैंकेल स्वयंसिद्ध वरण के स्वयंसिद्ध के बिना ) में सिद्ध नहीं किया जा सकता है। गणनीय वरण का स्वयंसिद्ध, वरण के स्वयंसिद्ध का एक कमजोर संस्करण है, जो इस तुल्यता को साबित करने के लिए पर्याप्त है।

एक ही गणनांक के दो परिमित समुच्चयों के बीच कोई भी अंतःक्षेपी फलन भी एक विशेषण फलन (एक आच्छादान) है। इसी तरह, एक ही गणनांक के दो परिमित समुच्चयों के बीच कोई भी आच्छादान एक अंतःक्षेपण है।

साथ में, दो परिमित समुच्चयों का मिलन परिमित होता है,

$|S\cup T|\leq |S|+|T|.$

वास्तव में, समावेश-बहिष्करण सिद्धांत द्वारा,

$|S\cup T|=|S|+|T|-|S\cap T|.$

सामान्यतः अधिक, परिमित समुच्चयों की किसी भी परिमित संख्या का मिलन परिमित होता है। इसके साथ,परिमित समुच्चयों का कार्तीय गुणन भी परिमित है,

$|S\times T|=|S|\times |T|.$

इसी प्रकार, बहुत से परिमित समुच्चयों का कार्तीय गुणनफल परिमित होता है। n अवयवों वाले परिमित समुच्चय में 2ⁿ विशिष्ट उपसमुच्चय होते हैं। अर्थात्, एक परिमित समुच्चय S का घात समुच्चय P(S) परिमित है, जिसकी प्रधानता 2 ^|S| है।

परिमित समुच्चय का कोई भी उपसमुच्चय परिमित होता है। परिमित समुच्चय के अवयवों पर लागू होने पर किसी फलन के मानों का समुच्चय परिमित होता है।

सभी परिमित समुच्चय गणनीय हैं, लेकिन सभी गणनीय समुच्चय परिमित नहीं हैं। (हालांकि, कुछ लेखक, "गणनीय" का अर्थ "गणनीय रूप से अनंत" करने के लिए उपयोग करते हैं, इसलिए परिमित समुच्चयों को गणनीय नहीं मानते हैं।)

एक परिमित समुच्चय पर मुक्त अर्धजलिका इसके गैर-रिक्त उपसमुच्चयों का समुच्चय है, जिसमें समुच्चय संयोजन द्वारा दिए गए संयोजित संचालन सम्मिलित हैं।

परिमितता के लिए आवश्यक और पर्याप्त शर्तें

ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में वरण के स्वयंसिद्ध (जेडएफ) के बिना, निम्नलिखित सभी स्थितियाँ समतुल्य हैं,

1. S एक परिमित समुच्चय है। अर्थात्, S को एकैकी पत्राचार में उन प्राकृतिक संख्याओं के समुच्चयो के साथ रखा जा सकता है जो कुछ विशिष्ट प्राकृतिक संख्या से कम हैं।
2. ( काज़िमिर्ज़ कुराटोस्की ) S में वे सभी गुण हैं जो गणितीय प्रेरण द्वारा सिद्ध किये जा सकते है जो रिक्त समुच्चय से शुरू होते है और एक समय में एक नये अवयव को जोड़ते है। (कुराटोस्की परिमितता के समुच्चय-सैद्धांतिक सूत्रीकरण के लिए नीचे देखें।)
3. (पॉल स्टैकेल) S को सुक्रमित किया या जा सकता है जो आगे और पीछे दोनों ओर से सुव्यवस्थित है। अर्थात्, S के प्रत्येक गैर-रिक्त उपसमुच्चय में न्यूनतम उपसमुच्चय और सबसे बड़े उपसमुच्चय दोनों अवयव होते हैं।
4. P(P(S)) से स्वयं में प्रत्येक एकैकी फलन आच्छादक है। अर्थात्, S के घातांक का घात डेडेकाइंड-परिमित है (नीचे देखें)।
5. P(P(S)) से स्वयं पर प्रत्येक विशेषण फलन एकैकी है।
6. (अल्फ्रेड टार्स्किक) S के उपसमुच्चय के प्रत्येक गैर-रिक्त परिवार में समावेश के संबंध में एक न्यूनतम अवयव है। (समान रूप से, S के उपसमुच्चय के प्रत्येक गैर-रिक्त परिवार में समावेश के संबंध में एक अधिकतम अवयव होता है।)
7. S को अच्छी तरह से व्यवस्थित किया जा सकता है और इस पर कोई भी दो सुव्यवस्थित आदेश समरूपी हैं। दूसरे शब्दों में, S पर सुव्यवस्थित में बिल्कुल एक समरूपी आदेश होता है।

यदि वरण का स्वयंसिद्ध भी माना जाता है (गणनीय वरण का स्वयंसिद्ध पर्याप्त है), तो निम्नलिखित सभी स्थितियाँ समतुल्य हैं,

1. S एक परिमित समुच्चय है।
2. (रिचर्ड डेडेकिंड ) S से स्वयं में प्रत्येक एकैकी फलन आच्छादक है।
3. S से स्वयं पर प्रत्येक विशेषण फलन एकैकी है।
4. S रिक्त है या S के प्रत्येक आंशिक क्रम में एक अधिकतम अवयव है।

मूलभूत मुद्दे

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

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

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

एक औपचारिकतावादी (गणित) प्रणाली से प्रणाली में अलग-अलग समुच्चय के अर्थ को देखा जा सकता है। कुछ प्रकार के गणितीय प्लेटोवादियों विशेष औपचारिक प्रणालियों को एक अंतर्निहित वास्तविकता के अनुमान के रूप में देख सकते हैं।

परिमितता की समुच्चय-सैद्धांतिक परिभाषाएं

ऐसे संदर्भों में जहां प्राकृतिक संख्या की धारणा समुच्चय की किसी भी धारणा से पहले तार्किक रूप से बैठती है, तो एक समुच्चय S को परिमित के रूप में परिभाषित किया जा सकता है क्योकि S विधि $\{x\,|\,x<n\}$ के प्राकृतिक संख्याओं के कुछ समुच्चय पर आक्षेप स्वीकार करता है। गणितज्ञ सामान्यतः अधिक समुच्चय सिद्धांतो में संख्या की आधार धारणाओं को चुनते हैं, उदाहरण के लिए वे परिमित सुव्यवस्थित समुच्चयों के क्रम प्रकारों द्वारा प्राकृतिक संख्याओं को प्रतिरूप कर सकते हैं। इस तरह के दृष्टिकोण के लिए परिमितता की संरचनात्मक परिभाषा की आवश्यकता होती है जो प्राकृतिक संख्याओं पर निर्भर नहीं करती है।

विभिन्न गुण जो जेडएफसी सिद्धांत में सभी समुच्चयों के बीच परिमित समुच्चयों को एकल करते हैं, कमजोर प्रणालियों जैसे जेडएफ या अंतर्ज्ञानवादी समुच्चय सिद्धांतों में तार्किक रूप से असमान हो जाते हैं। साहित्य में दो परिभाषाएँ, एक रिचर्ड डेडेकिंड के कारण, दूसरी काज़िमिर्ज़ कुराटोस्की के कारण प्रमुखता से दिखाई देती हैं। ( ऊपर प्रयोग की गई परिभाषा कुरातोव्स्की की है।)

एक समुच्चय S को डेडेकिंड अनंत कहा जाता है यदि कोई अंतःक्षेपक, गैर-आक्षेपिक फलन $f:S\rightarrow S$ सम्मिलित हो। ऐसा फलन S और S के उचित उपसमुच्चय के बीच एक आक्षेप प्रदर्शित करता है, अर्थात् f का प्रतिबिम्ब। एक डेडेकाइंड अनंत समुच्चय S, एक फलन f , और एक अवयव x दिया गया है जो f के प्रतिबिम्ब में नहीं है, हम S के अलग-अलग अवयवों का एक अनंत अनुक्रम बना सकते हैं, अर्थात् $x,f(x),f(f(x)),...$ । इसके विपरीत, अलग-अलग अवयवो $x_{1},x_{2},x_{3},...$ से युक्त S में एक अनुक्रम दिया गया हैं, तथा हम एक फलन f को परिभाषित कर सकते हैं जैसे कि अनुक्रम $f(x_i$