गणनीय समुच्चय

गणित में, समुच्चय (गणित) गणनीय है यदि परिमित समुच्चय है या इसे प्राकृतिक संख्याओं के समुच्चय के साथ पत्राचार में बनाया जा सकता है। समान रूप से, समुच्चय गणनीय होता है यदि उसमें से प्राकृतिक संख्याओं में कोई विशेषण फलन उपस्थित हो; इसका आशय यह है कि समुच्चय में प्रत्येक तत्व अद्वितीय प्राकृतिक संख्या से जुड़ा हो सकता है, या समुच्चय के तत्वों को समय में गिना जा सकता है, चूँकि तत्वों की अनंत संख्या के कारण गिनती कभी अंत नहीं हो सकती है।

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

इस अवधारणा का श्रेय जॉर्ज कैंटर को दिया जाता है, जिन्होंने अनगिनत समुच्चय के अस्तित्व को सिद्ध किया, ऐसे समुच्चय जो गिनने योग्य नहीं हैं; उदाहरण के लिए वास्तविक संख्याओं का समुच्चय आदि।

शब्दावली पर एक नोट

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

गिनती योग्य शर्तें और संख्यात्मक का भी उपयोग किया जा सकता है, दाहरण के लिए क्रमशः गणनीय और गणनीय अनंत का विचार करते हुए I किन्तु चूँकि परिभाषाएँ भिन्न-भिन्न होती हैं, इसलिए पाठक को पुनः उपयोग में आने वाली परिभाषा का परिक्षण करने की राय दी जाती है।

परिभाषा

समुच्चय $S$ गणनीय है यदि:

• इसकी प्रमुखता $|S|$ से कम या $\aleph _{0}$ (एलेफ़-नल) के समान है, प्राकृतिक संख्याओं के समुच्चय की प्रमुखता $\mathbb {N}$ हैI
• $S$ की $\mathbb {N}$ से अन्तःक्षेपण फलन उपस्थित है I
• $S$ रिक्त है या वहां से कोई विशेषण फलन उपस्थित है I $\mathbb {N}$ से $S$ के मध्य विशेषण मानचित्रण $S$ और $\mathbb {N}$ का उपसमुच्चय उपस्थित है I
• $S$ या तो परिमित समुच्चय ($|S|<\aleph _{0}$) है, या गणनीय रूप से अनंत समुच्चय है। ये सभी परिभाषाएँ समतुल्य हैं।

समुच्चय $S$ गणनीय रूप से अनंत समुच्चय है यदि:

• इसकी प्रमुखता $|S|$ बिलकुल $\aleph _{0}$है
• विशेषण और विशेषण (और इसलिए आक्षेप) के मध्य $S$ और $\mathbb {N}$ मानचित्रण है।
• $S$ के साथ वन-टू-वन पत्राचार $\mathbb {N}$ है।
• $S$ के तत्व को अनंत क्रम $a_{0},a_{1},a_{2},\ldots$, में व्यवस्थित किया जा सकता है, जहां $a_{i}$ से भिन्न है $a_{j}$ के लिए $i\neq j$ और प्रत्येक तत्व $S$ सूचीबद्ध है।

समुच्चय अपरिमित है यदि वह गणनीय नहीं है, अर्थात उसकी प्रमुखता $\aleph _{0}$ इससे अधिक है।

इतिहास

1874 में, जॉर्ज कैंटर के प्रथम समुच्चय सिद्धांत लेख में, कैंटर ने सिद्ध किया कि वास्तविक संख्याओं का समुच्चय अपरिमित है, इस प्रकार सभी अपरिमित समुच्चय गणनीय नहीं हैं। 1878 में, उन्होंने कार्डिनैलिटी को परिभाषित करने और तुलना करने के लिए अनेक पत्राचार का उपयोग किया। 1883 में, उन्होंने अपनी अनंत क्रमसूचक संख्या के साथ प्राकृतिक संख्याओं का विस्तार किया, और भिन्न-भिन्न अपरिमित कार्डिनलिटी वाले अपरिमित समुच्चयों का उत्पादन करने के लिए क्रमसूचकों के समुच्चय का उपयोग किया।

परिचय

समुच्चय (गणित) तत्वों का संग्रह होता है, और इसे कई तरीकों से वर्णित किया जा सकता है। एक तरीका बस इसके सभी तत्वों को सूचीबद्ध करना है; उदाहरण के लिए, पूर्णांक 3, 4 और 5 से युक्त समुच्चय को दर्शाया जा सकता है $\{3,4,5\}$, जिसे रोस्टर फॉर्म कहा जाता है। हालाँकि, यह केवल छोटे समुच्चयों के लिए प्रभावी है; बड़े समुच्चयों के लिए, यह समय लेने वाला और त्रुटि-प्रवण होगा। हर एक तत्व को सूचीबद्ध करने के बजाय, कभी-कभी किसी समुच्चय में प्रारंभिक तत्व और अंतिम तत्व के बीच कई तत्वों को दर्शाने के लिए एक दीर्घवृत्त (...) का उपयोग किया जाता है, यदि लेखक का मानना ​​​​है कि पाठक आसानी से अनुमान लगा सकता है कि ... क्या दर्शाता है; उदाहरण के लिए, $\{1,2,3,\dots ,100\}$ संभवतः 1 से 100 तक पूर्णांकों के समुच्चय को दर्शाता है। हालाँकि, इस मामले में भी, सभी तत्वों को सूचीबद्ध करना अभी भी संभव है, क्योंकि समुच्चय में तत्वों की संख्या सीमित है। यदि हम समुच्चय के तत्वों को 1, 2, इत्यादि तक क्रमांकित करते हैं $n$, यह हमें आकार के समुच्चय की सामान्य परिभाषा देता है $n$.

पूर्णांक से सम संख्याओं तक विशेषण मानचित्रण

कुछ समुच्चय अनंत हैं; इन समुच्चयों में इससे भी अधिक है $n$ तत्व कहाँ $n$ कोई पूर्णांक है जिसे निर्दिष्ट किया जा सकता है। (कोई फर्क नहीं पड़ता कि निर्दिष्ट पूर्णांक कितना बड़ा है $n$ है, जैसे $n=10^{1000}$, अनंत समुच्चय से अधिक है $n$ तत्व।) उदाहरण के लिए, प्राकृतिक संख्याओं का समुच्चय, द्वारा निरूपित $\{0,1,2,3,4,5,\dots \}$, में अनंत रूप से कई तत्व हैं, और हम इसका आकार देने के लिए किसी प्राकृतिक संख्या का उपयोग नहीं कर सकते हैं। समुच्चयों को अलग-अलग वर्गों में विभाजित करना स्वाभाविक लग सकता है: एक तत्व वाले सभी समुच्चयों को एक साथ रखें; सभी समुच्चय जिनमें दो तत्व एक साथ हैं; ...; अंत में, सभी अनंत समुच्चयों को एक साथ रखें और उन्हें समान आकार का मानें। यह दृश्य अनगिनत अनंत समुच्चयों के लिए अच्छा काम करता है और जॉर्ज कैंटर के काम से पहले यह प्रचलित धारणा थी। उदाहरण के लिए, अपरिमित रूप से अनेक विषम पूर्णांक, अपरिमित रूप से अनेक सम पूर्णांक और कुल मिलाकर अपरिमित रूप से अनेक पूर्णांक होते हैं। हम इन सभी समुच्चयों को एक ही आकार का मान सकते हैं क्योंकि हम चीजों को इस तरह व्यवस्थित कर सकते हैं कि, प्रत्येक पूर्णांक के लिए, एक अलग सम पूर्णांक हो:

$$\ldots \,-\!2\!\rightarrow \!-\!4,\,-\!1\!\rightarrow \!-\!2,\,0\!\rightarrow \!0,\,1\!\rightarrow \!2,\,2\!\rightarrow \!4\,\cdots$$

या, अधिक सामान्यतः, $n\rightarrow 2n$ (तस्वीर देखने)। हमने यहां जो किया है वह पूर्णांकों और सम पूर्णांकों को एक-से-एक पत्राचार (या आक्षेप) में व्यवस्थित कर�