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

गणित में, गणनीय समुच्चय (countable set) वह समुच्चय है जिसमें प्राकृत संख्याओं के समुच्चय के किसी उपसमुच्चय के समान गणनांक (अवयवों की संख्या) है। गणनीय समुच्चय या तो परिमित समुच्चय होता है अथवा गणनीय अनन्त समुच्चय होता है। या तो अपरिमित या फिर अनन्त, अर्थात किसी गणनीय समुच्चय के अवयव या तो एक बार में गिने जा सकते हैं अथवा गणना कभी भी समाप्त न हो जिसमें समुच्चय का प्रत्येक अवयव किसी एक प्राकृत संख्या से सम्बद्ध हो।

कुछ लेखकों के अनुसार गणनीय समुच्चय का अर्थ केवल अनन्त गणनीय होता है।^[1] इस अस्पष्टता से बचने के लिए, परिमित समुच्चयों के लिए अधिक से अधिक गणनीय शब्द का प्रयोग किया जा सकता है और अन्य स्थितियों में अनन्त गणनीय, संख्येय अथवा प्रगणनीय शब्द प्रयुक्त किये जाते हैं।^[2]

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

एक समुच्चय S गणनीय कहलाता है यदि S से प्राकृत संख्याओं N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,...} में एकैकी फलन f उपलब्ध हो।^[3]