CANTOR AND THE SCIENTIFIC FOUNDATIONS OF INFINITY

जॉर्ज फर्डिनेंड लुडविग फिलिप कैंटर (1845–1918) गणित के इतिहास के उन विरल व्यक्तित्वों में से हैं जिनकी बौद्धिक क्रांति ने न केवल एक नए सिद्धांत को जन्म दिया, बल्कि वास्तविकता की संरचना को समझने के हमारे तरीके को ही परिवर्तित कर दिया। समुच्चय सिद्धांत (Set Theory) का विकास केवल तकनीकी गणितीय उपलब्धि नहीं था; यह ज्ञानमीमांसीय, तर्कशास्त्रीय और दार्शनिक क्रांति भी था। कैंटर से पूर्व “अनंत” को या तो धर्मशास्त्रीय विमर्श का विषय माना जाता था या कलन (Calculus) में सीमा-प्रक्रियाओं के एक औपचारिक उपकरण के रूप में प्रयुक्त किया जाता था। अरस्तू ने “संभावित अनंत” (potential infinity) और “वास्तविक अनंत” (actual infinity) के बीच भेद किया था, और मध्यकालीन परंपरा ने भी वास्तविक अनंत को ईश्वर तक सीमित रखने का प्रयास किया। किंतु उन्नीसवीं शताब्दी में कैंटर ने पहली बार वास्तविक अनंत को गणितीय संरचना के रूप में परिभाषित और तुलनीय बनाया (Dauben, 1979; Ferreirós, 2007)।

कैंटर की सबसे क्रांतिकारी स्थापना यह थी कि सभी अनंत समान नहीं होते। उन्होंने “एक-से-एक अनुरूपता” (bijection) की संकल्पना को कार्डिनैलिटी की औपचारिक परिभाषा का आधार बनाया। यदि दो समुच्चयों के बीच ऐसा युग्मन स्थापित किया जा सके जिसमें प्रत्येक तत्व का एकमात्र समकक्ष हो और कोई तत्व शेष न बचे, तो वे समान परिमाण (cardinality) के माने जाएंगे (Cantor, 1874/1895)। इस सिद्धांत के माध्यम से उन्होंने प्रदर्शित किया कि प्राकृतिक संख्याएँ (ℕ) और परिमेय संख्याएँ (ℚ) समान परिमाण की हैं, यद्यपि परिमेय संख्याएँ प्रत्येक दो पूर्णांकों के बीच अनंत रूप से सघन उपस्थित होती हैं। इस परिणाम ने यह स्पष्ट किया कि “सघनता” और “परिमाण” अलग-अलग अवधारणाएँ हैं।

इसके पश्चात कैंटर ने वास्तविक संख्याओं (ℝ) की संरचना का विश्लेषण किया और सिद्ध किया कि वे गणनीय नहीं हैं। 1874 के उनके शोधपत्र में यह दिखाया गया कि किसी भी संभावित सूचीकरण के प्रयास में वास्तविक संख्याओं का एक उपसमुच्चय सदैव छूट जाएगा (Cantor, 1874)। बाद में 1891 में प्रस्तुत उनका “विकर्ण तर्क” (diagonal argument) इस परिणाम को और अधिक पारदर्शी रूप में सिद्ध करता है: यदि हम मान लें कि 0 और 1 के बीच की सभी वास्तविक संख्याओं की एक पूर्ण सूची बना ली गई है, तो हम प्रत्येक दशमलव विस्तार के nवें अंक को परिवर्तित कर एक नई संख्या निर्मित कर सकते हैं, जो सूची की प्रत्येक संख्या से कम-से-कम एक स्थान पर भिन्न होगी; अतः वह सूची में नहीं होगी (Cantor, 1891)। इस प्रकार वास्तविक संख्याओं का समुच्चय अगणनीय है और उसका परिमाण ℵ₀ से बड़ा है।

यह परिणाम केवल तकनीकी उपलब्धि नहीं था; इसने गणितीय ब्रह्मांड की पदानुक्रमिक संरचना का उद्घाटन किया। कैंटर ने ट्रांसफाइनाइट संख्याओं (transfinite numbers) का सिद्धांत विकसित किया, जिसमें कार्डिनल और ऑर्डिनल संख्याओं की व्यवस्थित व्याख्या की गई (Cantor, 1895–1897)। ℵ₀ सबसे छोटी अनंत कार्डिनैलिटी है, और उससे बड़ी कार्डिनैलिटियाँ भी संभव हैं। “सततता परिकल्पना” (Continuum Hypothesis) — कि ℵ₀ और सततता (|ℝ|) के बीच कोई मध्यवर्ती कार्डिनैलिटी नहीं है — ने बीसवीं सदी में तर्कशास्त्र और गणित की नींव को गहराई से प्रभावित किया। बाद में गोडेल (1940) और कोहेन (1963) ने दिखाया कि यह परिकल्पना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत (ZF) के साथ स्वतंत्र (independent) है (Gödel, 1940; Cohen, 1963)।

कैंटर के विचारों का तत्काल स्वागत नहीं हुआ। लियोपोल्ड क्रोनेकर ने केवल “निर्मेय” गणित को वैध माना और वास्तविक अनंत को अस्वीकार किया (Edwards, 1977)। इस बौद्धिक संघर्ष ने उन्नीसवीं सदी के जर्मन गणित में गहरे दार्शनिक मतभेदों को उजागर किया। तथापि, डेविड हिल्बर्ट जैसे गणितज्ञों ने बाद में कैंटर के कार्य को गणित का स्वर्ग कहा—“कोई हमें उस स्वर्ग से बाहर नहीं निकाल सकेगा” (Hilbert, 1926/1931)।

आधुनिक गणित में कैंटर की विरासत सर्वव्यापी है। माप सिद्धांत (Lebesgue measure) इस तथ्य पर आधारित है कि गणनीय समुच्चयों का माप शून्य हो सकता है, जबकि अगणनीय समुच्चयों का नहीं (Halmos, 1950)। फलन विश्लेषण, टोपोलॉजी और प्रायिकता सिद्धांत में भी कार्डिनैलिटी की अवधारणा केंद्रीय है। उदाहरणार्थ, चूँकि बीजगणितीय संख्याएँ गणनीय हैं और वास्तविक संख्याएँ अगणनीय, इसलिए “अधिकांश” वास्तविक संख्याएँ परातीत (transcendental) हैं—यह निष्कर्ष सीधे कैंटर के परिणाम से निकलता है (Liouville, 1844; Cantor, 1874)। संगणना सिद्धांत में भी यह स्थापित है कि किसी भी एल्गोरिद्मिक प्रक्रिया से उत्पन्न की जा सकने वाली संख्याएँ अधिकतम गणनीय होंगी; अतः अधिकांश वास्तविक संख्याएँ संगणनातीत (non-computable) हैं (Turing, 1936)।

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

संदर्भ

Cantor, G. (1874). Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Journal für die reine und angewandte Mathematik, 77, 258–262.

Cantor, G. (1891). Über eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutschen Mathematiker-Vereinigung, 1, 75–78.

Cantor, G. (1895–1897). Beiträge zur Begründung der transfiniten Mengenlehre. Mathematische Annalen, 46–49.

Cohen, P. (1963). The independence of the continuum hypothesis. Proceedings of the National Academy of Sciences, 50(6), 1143–1148.

Dauben, J. W. (1979). Georg Cantor: His Mathematics and Philosophy of the Infinite. Harvard University Press.

Edwards, H. M. (1977). Kronecker’s views on the foundations of mathematics. In Historia Mathematica, 4(3), 289–302.

Ferreirós, J. (2007). Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Birkhäuser.

Gödel, K. (1940). The Consistency of the Continuum Hypothesis. Princeton University Press.

Halmos, P. R. (1950). Measure Theory. D. Van Nostrand Company.

Hilbert, D. (1926/1931). Über das Unendliche. Mathematische Annalen.

Liouville, J. (1844). Sur des classes très étendues de quantités dont la valeur n’est ni algébrique ni même réductible à des irrationnelles algébriques. Journal de Mathématiques Pures et Appliquées.

Turing, A. M. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society.