गणनीय अनंत (Countable Infinity)
“गणनीय अनंत वह है जिसे 'गिना जा सकता है'; वास्तविक संख्याएँ इससे बड़ा अनंत हैं जिन्हें गिना भी नहीं जा सकता।”
सूत्र
|ℕ| = |ℤ| = |ℚ| = ℵ₀ < |ℝ|कैसे पढ़ें: प्राकृत संख्याओं, पूर्णांकों और परिमेय संख्याओं को 1,2,3,… गिना जा सकता है, इसलिए इन सबका अनंत आकार ℵ₀ बराबर है, पर वास्तविक संख्याएँ इससे बड़ा अनंत हैं
- ℵ₀
- — Aleph-null — सबसे छोटा अनंत, 'गणनीय (countable)' अनंत का आकार
- ℕ
- — प्राकृत संख्याओं का समुच्चय — गणनीय अनंत का मानक
- ℝ
- — वास्तविक संख्याओं का समुच्चय — एक अगणनीय (uncountable) यानी बड़ा अनंत
शुरुआत
आप सोच सकते हैं कि सभी अनंत बराबर रूप से अनंत हैं — पर ऐसा नहीं है। गणनीय अनंत और अगणनीय अनंत होते हैं: अलग-अलग आकार के अनंत मौजूद हैं।
सरल शब्दों में
अगर किसी अनंत समुच्चय के सभी अवयवों को 1,2,3,… क्रम में गिना जा सके, कोई छूटे नहीं, तो वह 'गणनीय अनंत' है। प्राकृत संख्याएँ, पूर्णांक, और परिमेय संख्याएँ — सब इसमें आते हैं। फिर भी वास्तविक संख्याओं को इस तरह गिनना सैद्धांतिक रूप से भी संभव नहीं है — वे बड़ा अनंत हैं।
अंतर्ज्ञान
दो अनंत 'बराबर आकार' के तब कहलाते हैं जब उन्हें बिना कुछ छोड़े एक-दूसरे से जोड़ा (one-to-one correspondence) जा सके। हिल्बर्ट के होटल की कल्पना करें — इसमें अनंत कमरे हैं, सभी भरे हुए, फिर भी जब एक नया मेहमान आता है, तो आप हर मेहमान को अगले कमरे (n→n+1) में भेज देते हैं, जिससे कमरा 1 खाली हो जाता है। एक 'भरा हुआ अनंत' भी जगह बना सकता है! अगर ऐसी जोड़ी संभव है, तो दोनों बराबर अनंत हैं।
कैसे बनता है
सम संख्याएँ भी अकेले प्राकृत संख्याओं जितनी ही हैं: n↔2n इन्हें पूरी तरह जोड़ देता है (एक हिस्सा पूरे के बराबर — अनंत का विरोधाभास/paradox)। पूर्णांकों को भी 0,1,−1,2,−2,… क्रम में लाइन में लगाकर गिना जा सकता है। परिमेय संख्याओं को भी एक तालिका में तिरछा (diagonal) सफ़ाई करके गिना जा सकता है। इसके उलट, वास्तविक संख्याएँ कैंटर के 'डायगोनल तर्क' से अगणनीय सिद्ध होती हैं।
उदाहरण
मान लीजिए आप हर वास्तविक संख्या सूचीबद्ध करते हैं — 0.a₁a₂a₃…, 0.b₁b₂b₃…, … अब हर डायगोनल अंक (पहली संख्या का पहला अंक, दूसरी का दूसरा, …) बदलकर एक नई संख्या बनाइए। यह संख्या सूची की हर संख्या से कम से कम एक जगह अलग है, इसलिए यह सूची में नहीं है — कोई भी सूची सभी वास्तविक संख्याओं को नहीं समेट सकती। इसलिए |ℝ| > ℵ₀।
आम ग़लतफ़हमी
एक आम गलती है 'अनंत + 1 = अनंत, इसलिए सभी अनंत बराबर हैं'। जोड़ने से यह बड़ा नहीं होता, पर वास्तविक संख्याओं जैसा 'अलग स्तर' का अनंत कभी प्राकृत संख्याओं से एक-एक करके जोड़ा नहीं जा सकता। अनंत में सचमुच का पदानुक्रम (hierarchy) है।
कहाँ उपयोग होता है
कोई एल्गोरिद्म कौन-सी समस्याएँ हल कर सकता है (computability), ज़्यादातर वास्तविक संख्याएँ 'नाम न दी जा सकने वाली' हैं यह तथ्य, प्रायिकता में 'लगभग हर' संख्या अपरिमेय होना, तर्कशास्त्र के अनंत पदानुक्रम — आधुनिक गणित और कंप्यूटर विज्ञान की एक आधारशिला।
कहाँ से आया
1874 में जॉर्ज कैंटर ने साबित किया कि 'अनंत के भी आकार होते हैं', जिससे सेट थ्योरी की नींव पड़ी। अपने समय में इसे विधर्म माना गया, पर हिल्बर्ट ने इसका बचाव करते हुए कहा: 'कोई हमें कैंटर द्वारा रचे इस स्वर्ग से बाहर नहीं निकाल सकता।'
पूर्वापेक्षाएँ
त्वरित जाँच
इनमें से कौन-सा 'अगणनीय' (बड़ा) अनंत समुच्चय है?
- सभी पूर्णांक
- सभी सम संख्याएँ
- सभी परिमेय संख्याएँ
- सभी वास्तविक संख्याएँ✓
अभ्यास
हिल्बर्ट के होटल में अनंत कमरे हैं और सभी भरे हैं। जब एक नया मेहमान आता है, तो जगह बनाने के लिए मेहमानों को कैसे शिफ़्ट किया जाना चाहिए?
उत्तर: 3
- हर मेहमान को कमरा n से कमरा n+1 में शिफ़्ट करें
- इससे कमरा 1 नए मेहमान के लिए खाली हो जाता है
- एक भरा हुआ अनंत भी जगह बना सकता है
मुख्य बात: गणनीय अनंत 'सबको एक-एक आगे खिसकाकर' नई जगह बनाता है — अनंत का विरोधाभास।
प्राकृत संख्याओं और सम संख्याओं के बीच n ↔ 2n के one-to-one correspondence में, n=7 का साथी क्या है?
उत्तर: 14
- नियम है n ↔ 2n
- 7 ↔ 2·7 = 14
मुख्य बात: एक उपसमुच्चय (सम संख्याएँ) पूरे (प्राकृत संख्याओं) के बराबर आकार का है — यह सिर्फ़ इसलिए संभव है क्योंकि यह अनंत है।
क्या सभी परिमेय संख्याओं का समुच्चय एक 'गणनीय' अनंत है?
उत्तर: 0
- भिन्नों को एक तालिका में सजाकर zigzag में तिरछा सफ़ाई करके 1,2,3,… गिनें
- दोहराई गई (सरलीकृत होने वाली) भिन्नों को छोड़ दें, कोई नहीं छूटता
- इसलिए परिमेय संख्याएँ गणनीय हैं, आकार ℵ₀
मुख्य बात: परिमेय संख्याएँ घनी दिखती हैं, फिर भी गिनी जा सकती हैं — प्राकृत संख्याओं जितना ही आकार।
अपनी नोटबुक में समझाएँ कि कैंटर का डायगोनल तर्क वास्तविक संख्याओं को अगणनीय क्यों सिद्ध करता है।
उत्तर: undefined
- मान लें आपने हर वास्तविक संख्या सूचीबद्ध कर ली है (पूरी सूची बना ली है)
- हर डायगोनल अंक को अलग मान में बदलकर एक नई वास्तविक संख्या बनाएँ
- यह संख्या nवीं सूचीबद्ध संख्या से nवें स्थान पर अलग है, इसलिए किसी से मेल नहीं खाती → यह सूची में नहीं है
- विरोधाभास → कोई भी सूची सभी वास्तविक संख्याओं को नहीं समेट सकती (अगणनीय)
मुख्य बात: डायगोनल तर्क: 'पूरी सूची' मान लीजिए, और आप हमेशा एक छूटी हुई संख्या बना सकते हैं → |ℝ| > ℵ₀।