अनंत on kenji.blog

क्या इसे पेंट से भरा जा सकता है, लेकिन सतह को रंगा नहीं जा सकता?: गेब्रियल का हॉर्न

Thu, 10 Sep 2026 21:00:00 +0900

क्या होगा यदि कोई ऐसा बर्तन हो जिसका “आयतन सीमित हो, लेकिन पृष्ठीय क्षेत्रफल अनंत हो”? सहज रूप से यह असंभव लग सकता है, लेकिन गणित की दुनिया में वास्तव में एक ऐसा आकार मौजूद है। यह वह आकार है जिसे “गेब्रियल का हॉर्न (Gabriel’s Horn)” या “टॉरिसिली का ट्रम्पेट (Torricelli’s Trumpet)” कहा जाता है।

1641 में इतालवी गणितज्ञ इवेंजेलिस्टा टॉरिसिली द्वारा खोजे गए इस आकार ने उस समय के गणितज्ञों और दार्शनिकों को झकझोर कर रख दिया था और “अनंत” की प्रकृति पर एक तीव्र बहस छेड़ दी थी।

पेंटिंग का विरोधाभास

यदि हम इस आकार के गुणों की तुलना रोज़मर्रा के “पेंट” से करते हैं, तो निम्नलिखित विचित्र विरोधाभास उत्पन्न होता है:

हॉर्न को पेंट से भरने पर： हॉर्न का आयतन सीमित है (सटीक रूप से $\pi$), इसलिए इसमें केवल $\pi$ लीटर (लगभग 3.14 लीटर) पेंट डालकर इसके अंदरूनी हिस्से को पूरी तरह से भरा जा सकता है।
हॉर्न की सतह को पेंट से रंगने पर： हॉर्न का पृष्ठीय क्षेत्रफल अनंत है। इसलिए, यदि आप ब्रश से हॉर्न की अंदरूनी (या बाहरी) सतह को रंगने का प्रयास करते हैं, तो चाहे आप कितना भी पेंट तैयार कर लें, आप इसे कभी भी पूरा नहीं रंग पाएंगे।

“आप 3.14 लीटर पेंट से अंदरूनी हिस्से को भर सकते हैं, लेकिन सतह को रंगने के लिए आपको अनंत मात्रा में पेंट की आवश्यकता होगी।” हमारी सहज बुद्धि (intuition) के विपरीत यह स्थिति क्यों उत्पन्न होती है?

graph TD A["गेब्रियल का हॉर्न"] --> B["आयतन की गणना (समाकलन)"] A --> C["पृष्ठीय क्षेत्रफल की गणना (समाकलन)"] B --> B1["आयतन = π (सीमित)"] B1 --> B2["अंदरूनी हिस्से को पेंट से भरा जा सकता है"] C --> C1["पृष्ठीय क्षेत्रफल = ∞ (अनंत)"] C1 --> C2["सतह को पूरी तरह से रंगा नहीं जा सकता"] B2 --> D{"विरोधाभास!"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

गणितीय प्रमाण: कैलकुलस का जादू

गेब्रियल का हॉर्न, फ़ंक्शन $y = \frac{1}{x}$ के ग्राफ़ (जहाँ $x \ge 1$) को $x$-अक्ष के चारों ओर घुमाकर (rotate) बनाया जाता है। आइए कैलकुलस का उपयोग करके इस 3D आकार के आयतन $V$ और पृष्ठीय क्षेत्रफल $A$ की गणना करें।

1. आयतन की गणना (यह सीमित क्यों है?)

घूर्णन वाले ठोस (solid of revolution) का आयतन $V$, अनुप्रस्थ-काट के क्षेत्रफल (त्रिज्या $\frac{1}{x}$ वाला वृत्त) का समाकलन (integration) करके प्राप्त किया जा सकता है।

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

इस निश्चित समाकल (definite integral) की गणना करने पर:

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

परिणाम सीमित मान $\pi$ तक अभिसरित (converge) हो जाता है।

2. पृष्ठीय क्षेत्रफल की गणना (यह अनंत क्यों है?)

दूसरी ओर, पृष्ठीय क्षेत्रफल $A$ की गणना इस प्रकार है:

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$ $$ \frac{dy}{dx} = -\frac{1}{x^2} $$

है, इसलिए वर्गमूल (square root) के अंदर का हिस्सा $1 + \frac{1}{x^4}$ हो जाता है। चूँकि सभी $x \ge 1$ के लिए $\sqrt{1 + \frac{1}{x^4}} > 1$ होता है, इसलिए निम्नलिखित असमिका (inequality) सत्य है:

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

प्राकृतिक लघुगणक $\ln x$, $x \to \infty$ होने पर अनंत तक अपसरित (diverge) हो जाता है। इसलिए, पृष्ठीय क्षेत्रफल $A$ जो कि इससे बड़ा है, वह भी स्वाभाविक रूप से अनंत तक अपसरित होगा।

इस विरोधाभास का “रहस्योद्घाटन”

भले ही इसे गणितीय रूप से सही साबित किया जा सकता है, लेकिन वास्तविक दुनिया की समझ के अनुसार इसे स्वीकार करना मुश्किल हो सकता है। “यदि इसे पेंट से भरा जा सकता है, और चूँकि वह पेंट अंदरूनी सतह को छू रहा है, तो सतह भी तो रंगी जानी चाहिए, है न?”

अंतर्ज्ञान (intuition) का यह अंतर, गणितीय अवधारणाओं और भौतिक वास्तविकता के सम्मिश्रण (confusion) से उत्पन्न होता है।

गणित की दुनिया में, पेंट की “मोटाई” को शून्य तक असीमित रूप से पतला किया जा सकता है। गेब्रियल का हॉर्न आगे बढ़ने पर असीमित रूप से पतला होता जाता है, लेकिन गणितीय पेंट कितना भी पतला होकर उस पतले सिरे की गहराई तक बह सकता है, और यह अनंत पृष्ठीय क्षेत्रफल को सीमित आयतन से कोट (coat) कर सकता है (हालाँकि, पेंट की परत की मोटाई सिरे की ओर बढ़ने पर शून्य के करीब होती जाती है)।

हालाँकि, भौतिक वास्तविक दुनिया में, पेंट परमाणुओं और अणुओं (सीमित आकार वाले कणों) से बना होता है। यदि आप वास्तविक पेंट डालते हैं, तो उस बिंदु पर जहाँ हॉर्न की नली “पेंट के अणु के व्यास” से अधिक पतली हो जाती है, पेंट उससे आगे नहीं जा पाएगा। दूसरे शब्दों में, भौतिक रूप से हॉर्न को सिरे तक भरना या उसकी अनंत सतह को रंगना असंभव है।

गेब्रियल का हॉर्न एक सुंदर उदाहरण है जो हमें यह सिखाता है कि मानव अंतर्ज्ञान “सीमित दुनिया के नियमों” से बंधा हुआ है और यह हमेशा “अनंत” को संभालने वाली कैलकुलस की दुनिया से मेल नहीं खाता है।

क्या उड़ता हुआ तीर स्थिर है?: ज़ेनो का 'उड़ता हुआ तीर' विरोधाभास

Thu, 10 Sep 2026 21:00:00 +0900

धनुष से छूटा एक तीर हवा में उड़ रहा है। यह तीर निश्चित रूप से गति कर रहा है। लेकिन 5वीं शताब्दी ईसा पूर्व के ग्रीक दार्शनिक ज़ेनो (Zeno) ने निम्नलिखित भयानक तर्क प्रस्तुत किया:

“उड़ता हुआ तीर वास्तव में स्थिर है”

यह कोई मज़ाक या कुतर्क नहीं है, बल्कि “उड़ते हुए तीर का विरोधाभास” (Arrow paradox) है, जिस पर 2500 वर्षों से गणितज्ञों और दार्शनिकों द्वारा गंभीरता से बहस की जाती रही है।

ज़ेनो का तर्क (Zeno’s Argument)

ज़ेनो का तर्क “समय के क्षण” (instant of time) की अवधारणा से शुरू होता है।

समय “क्षणों” की एक श्रृंखला है।
यदि आप एक ही क्षण (शून्य समय लंबाई वाला एक बिंदु) को एक “तस्वीर” की तरह काटते हैं, तो तीर अंतरिक्ष के एक विशिष्ट बिंदु पर “स्थित” होता है।
उस क्षण, तीर केवल उस स्थान को “घेर” रहा होता है और चल नहीं रहा होता है। (यदि यह चल रहा होता, तो इसे एक “क्षण” नहीं बल्कि एक “समय अंतराल” की आवश्यकता होती)
आप जो भी क्षण लेते हैं, यह वही रहता है।
यदि समय के हर क्षण में तीर स्थिर है, तो तीर गति कब करता है?

graph TD A["उड़ता हुआ तीर"] --> B["समय क्षणों की एक श्रृंखला है"] B --> C["क्षण t1: तीर स्थान A पर स्थिर है"] B --> D["क्षण t2: तीर स्थान B पर स्थिर है"] B --> E["क्षण t3: तीर स्थान C पर स्थिर है"] C --> F{"हर क्षण में तीर स्थिर है"} D --> F E --> F F --> G["निष्कर्ष: तीर गति नहीं कर रहा है!"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

अंतर्ज्ञान (Intuition) बनाम तर्क (Logic)

“यह बेतुका है। तीर तो सच में उड़ रहा है, है ना?” यह शायद ज़्यादातर लोगों की पहली प्रतिक्रिया होगी। हालाँकि, ज़ेनो के तर्क में तार्किक रूप से क्या गलत है, यह बताना वास्तव में बहुत मुश्किल है।

कहा जाता है कि प्राचीन यूनानी दार्शनिक डायोजनीज (Diogenes) ने ज़ेनो के सामने केवल खड़े होकर और कमरे में घूम कर यह दिखाया कि “देखो, मैं चल रहा हूँ।” लेकिन यह ज़ेनो के तर्क का खंडन नहीं था। ज़ेनो यह नहीं पूछ रहा है कि “क्या हम गति कर सकते हैं?”, बल्कि “क्या हम बिना किसी विरोधाभास के अपने तर्क से समझा सकते हैं कि गति करने का क्या अर्थ है?"।

कैलकुलस (Calculus) द्वारा समाधान (का प्रयास)

17वीं शताब्दी में न्यूटन और लाइबनिज़ द्वारा आविष्कृत कैलकुलस ने इस विरोधाभास का गणितीय उत्तर (कम से कम आंशिक रूप से) प्रदान किया।

कैलकुलस में, “एक निश्चित क्षण में वेग (तात्कालिक वेग)” को निम्नानुसार परिभाषित किया गया है:

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

यानी, वेग को एक “सीमा” (limit) के रूप में परिभाषित किया जाता है जहां स्थिति में परिवर्तन $\Delta x$ को समय में परिवर्तन $\Delta t$ से विभाजित किया जाता है, और $\Delta t$ शून्य के असीमित रूप से करीब पहुंचता है।

यहाँ महत्वपूर्ण बात यह है कि “तात्कालिक वेग” शून्य समय अंतराल में तय की गई दूरी नहीं है। यह एक मात्रा है जिसे उस समय के आसपास सूक्ष्म परिवर्तनों की “प्रवृत्ति” के रूप में परिभाषित किया गया है, अर्थात “सीमा” (limit)।

इसलिए, कैलकुलस के दृष्टिकोण से उत्तर इस प्रकार है:

“यह सच है कि यदि आप शून्य लंबाई वाले एक क्षण को काटते हैं, तो उस क्षण के ‘भीतर’ तीर नहीं चल रहा है। लेकिन उस क्षण में भी तीर में ‘तात्कालिक वेग (एक गैर-शून्य सीमा मूल्य)’ का गुण होता है। ‘स्थिर होने’ का अर्थ है ‘तात्कालिक वेग शून्य होना’, लेकिन चूंकि उड़ते हुए तीर का तात्कालिक वेग शून्य नहीं होता है, इसलिए यह नहीं कहा जा सकता कि तीर ‘स्थिर’ है।”

शेष दार्शनिक प्रश्न (Remaining Philosophical Questions)

यद्यपि कैलकुलस ने ज़ेनो के विरोधाभास का एक व्यावहारिक समाधान प्रदान किया, लेकिन दार्शनिक रूप से यह पूरी तरह से सुलझा नहीं है।

क्योंकि “सीमा” (limit) की अवधारणा केवल एक गणितीय उपकरण (एक गणना प्रक्रिया) है, यह वास्तव में मूलभूत सवालों का उत्तर नहीं देती है जैसे “भौतिक रूप से समय (क्षण) की सबसे छोटी इकाई क्या है?”, “निरंतरता (continuity) क्या है?”, और “गति का सार क्या है?”।

आधुनिक भौतिकी (क्वांटम यांत्रिकी) में, इस संभावना पर चर्चा की जाती है कि समय और स्थान में भी न्यूनतम इकाइयाँ (प्लैंक समय, प्लैंक लंबाई) मौजूद हैं, और यदि समय “निरंतर” के बजाय “असतत (डिजिटल)” है, तो ज़ेनो के विरोधाभास को पूरी तरह से अलग संदर्भ में पुनर्मूल्यांकन करने की आवश्यकता हो सकती है।

2500 साल बाद भी, ज़ेनो का तीर हमसे यह पूछना जारी रखता है कि “गति करने का क्या अर्थ है?” और “समय क्या है?"।

ब्रिटेन की तटरेखा कितनी लंबी है?: तटरेखा का विरोधाभास

Thu, 10 Sep 2026 21:00:00 +0900

ब्रिटेन की तटरेखा की लंबाई आखिर कितने किलोमीटर है? आपको लग सकता है कि अगर आप किसी विश्वकोश या भूगोल की पाठ्यपुस्तक में देखेंगे तो आपको इसका जवाब मिल जाएगा। लेकिन, असलियत में एक अजीब तथ्य यह है कि “आप इसे कैसे मापते हैं, इस पर निर्भर करते हुए इसका उत्तर बदल जाता है, और सैद्धांतिक रूप से यह अनंत हो जाता है।”

यही तटरेखा का विरोधाभास (Coastline Paradox) है। इसी खोज ने बाद में “फ्रैक्टल ज्यामिति” नामक गणित के एक बिल्कुल नए क्षेत्र को जन्म दिया।

पैमाना जितना छोटा होगा, दूरी उतनी ही बढ़ेगी

तटरेखा कोई सीधी रेखा नहीं होती, बल्कि यह अनगिनत खाड़ियों, अंतरीपों और चट्टानी सतहों के ऊबड़-खाबड़ हिस्सों से बनी होती है।

मान लीजिए कि आप ब्रिटेन की तटरेखा को 100 किमी लंबे एक विशाल पैमाने (सीधी रेखा) से मापते हैं। इस पैमाने के साथ, 100 किमी से छोटी छोटी खाड़ियाँ और प्रायद्वीपों के टेढ़े-मेढ़े हिस्से नज़रअंदाज़ हो जाएंगे, और उन्हें दरकिनार कर दिया जाएगा।

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

इसके अलावा, क्या होगा अगर आप 1 मीटर लंबे पैमाने से हर एक चट्टान के ऊबड़-खाबड़ हिस्सों को मापें, 1 सेंटीमीटर लंबे पैमाने से कंकड़ की सतह को मापें, और 1 मिलीमीटर लंबे पैमाने से रेत के कणों की रूपरेखा को मापें?

graph TD A["तटरेखा का मापन"] --> B["100 किमी का पैमाना"] A --> C["1 किमी का पैमाना"] A --> D["1 मीटर का पैमाना"] B --> B1["छोटी खाड़ियों को नज़रअंदाज़ करना"] B1 --> B2["माप का परिणाम: लगभग 2,800 किमी"] C --> C1["खाड़ियों के आकार का अनुसरण करना"] C1 --> C2["माप का परिणाम: लगभग 3,400 किमी"] D --> D1["चट्टानों के ऊबड़-खाबड़ हिस्सों तक मापना"] D1 --> D2["माप का परिणाम: और भी अधिक वृद्धि (सैद्धांतिक रूप से अनंत)"] style B2 fill:#FFCDD2,stroke:#333 style C2 fill:#E57373,stroke:#333 style D2 fill:#F44336,stroke:#333,color:#fff

लुईस फ्राई रिचर्डसन ने 1951 में अनुभवजन्य रूप से इस घटना की खोज की थी। जैसे-जैसे माप की इकाई (पैमाने की लंबाई) छोटी होती जाती है, मापी जाने वाली तटरेखा की लंबाई असीम रूप से बढ़ती जाती है।

फ्रैक्टल आयाम: 1-आयाम और 2-आयाम के बीच

गणितज्ञ बेनोइट मैंडलब्रॉट ने इस विरोधाभास का गणितीय स्पष्टीकरण दिया। 1967 में, उन्होंने विज्ञान (Science) पत्रिका में एक प्रसिद्ध पेपर प्रकाशित किया जिसका नाम था: “ब्रिटेन की तटरेखा कितनी लंबी है? सांख्यिकीय स्व-समानता और भिन्नात्मक आयाम (Statistical Self-Similarity and Fractional Dimension)"।

मैंडलब्रॉट ने बताया कि तटरेखाओं जैसी प्राकृतिक आकृतियों में स्व-समानता (फ्रैक्टल) होती है, जिसका अर्थ है कि “चाहे आप इसे कितना भी बड़ा (ज़ूम इन) कर लें, एक ही प्रकार की जटिल संरचना दिखाई देती है।”

यदि यह शुद्ध गणितीय सीधी रेखा (1-आयामी) होती, तो पैमाने को आधा करने पर भी लंबाई नहीं बदलती। हालांकि, तटरेखा इतनी टेढ़ी-मेढ़ी होती है कि यह 1-आयामी रेखा से कहीं अधिक जटिल होती है, लेकिन यह कोई 2-आयामी सतह भी नहीं है जिसमें क्षेत्रफल होता है।

मैंडलब्रॉट ने ऐसी आकृतियों की जटिलता को व्यक्त करने के लिए “फ्रैक्टल आयाम (Hausdorff dimension)” की अवधारणा पेश की। ब्रिटेन की तटरेखा का फ्रैक्टल आयाम $D \approx 1.25$ अनुमानित है। दूसरे शब्दों में, ब्रिटेन की तटरेखा एक रहस्यमयी इकाई है जिसका आयाम “1-आयामी रेखा से अधिक और 2-आयामी सतह से कम” है।

यदि पैमाने की लंबाई $s$ है और मापी गई तटरेखा की लंबाई $L(s)$ है, तो फ्रैक्टल आयाम $D$ के साथ निम्नलिखित संबंध स्थापित होता है:

$$ L(s) \propto s^{1-D} $$

ब्रिटेन की तटरेखा के मामले में, चूंकि $D = 1.25$ है, इसलिए $1 - D = -0.25$ होगा।

$$ L(s) \propto s^{-0.25} $$

यह गणितीय रूप से दर्शाता है कि जैसे-जैसे पैमाने की लंबाई $s$, 0 के करीब पहुंचती है, माप का परिणाम $L(s)$ अनंत $\infty$ की ओर बढ़ता जाता है।

अंतिम निष्कर्ष: लंबाई को परिभाषित नहीं किया जा सकता

“लंबाई” की जिस अवधारणा का हम हर रोज़ इस्तेमाल करते हैं, वह केवल चिकनी सीधी रेखाओं या वक्रों (curves) के लिए ही काम करती है। प्रकृति में मौजूद फ्रैक्टल आकृतियों (जैसे तटरेखाएँ, बादल, पर्वत श्रृंखलाएं, रक्त वाहिकाओं की शाखाएं आदि) के लिए “पूर्ण लंबाई” पूछना, वास्तव में गणितीय रूप से कोई अर्थ नहीं रखता।

“ब्रिटेन की तटरेखा कितनी लंबी है?”

इसका सही उत्तर है, “यह मापने वाले पैमाने की लंबाई पर निर्भर करता है,” और सैद्धांतिक रूप से यह “अनंत” है। यह तथ्य कि एक सीमित छोटी सी जगह के भीतर अनंत लंबाई छिपी हुई है, हमारी अंतरिक्ष की समझ के बारे में एक सुंदर विरोधाभास कहा जा सकता है。

हिल्बर्ट का अनंत होटल: एक भरे हुए होटल में और अधिक अनंत मेहमानों को ठहराने का तरीका

Thu, 10 Sep 2026 06:00:00 +0900

1. अंतिम होटल में आपका स्वागत है

महान जर्मन गणितज्ञ डेविड हिल्बर्ट ने एक दिलचस्प वैचारिक प्रयोग (thought experiment) तैयार किया ताकि यह समझाया जा सके कि “अनंत” की अवधारणा मानव की सहज समझ (intuition) से कितनी दूर है।

कल्पना करें कि ब्रह्मांड में कहीं “हिल्बर्ट का अनंत होटल” नामक एक होटल है। इस होटल में 1, 2, 3… नंबर वाले अनंत कमरे हैं।

एक दिन, ब्रह्मांड में एक बहुत बड़ा कार्यक्रम हुआ और इस अनंत होटल के सभी कमरे भर गए और यह “फुल” (Full) हो गया। तभी, एक थका हुआ यात्री वहां पहुंचा और रिसेप्शन से पूछा, “क्या मुझे एक कमरा मिल सकता है?”

सामान्य होटल होता तो कहता, “क्षमा करें, हमारे पास कोई कमरा खाली नहीं है।” लेकिन, यह अनंत होटल है। मैनेजर ने मुस्कुराते हुए कहा, “बिल्कुल, मैं आपके लिए तुरंत एक कमरा तैयार करता हूँ।” जब होटल पूरा भरा हुआ है, तो वह नए मेहमान को कैसे ठहराएगा?

2. स्थिति 1: एक नए मेहमान को कैसे ठहराएं

मैनेजर ने होटल के इंटरकॉम के माध्यम से सभी मौजूदा मेहमानों के लिए एक घोषणा की:

“प्रिय मेहमानों, कृपया अपने वर्तमान कमरा नंबर में ‘प्लस 1 (1 जोड़कर)’ वाले कमरा नंबर में चले जाएं।”

तो क्या होगा?

कमरा 1 का मेहमान कमरा 2 में चला जाएगा।
कमरा 2 का मेहमान कमरा 3 में चला जाएगा।
कमरा 3 का मेहमान कमरा 4 में चला जाएगा।
कमरा $n$ का मेहमान कमरा $n+1$ में चला जाएगा।

graph LR subgraph "स्थानांतरण से पहले (भरा हुआ)" R1["कमरा 1
(मेहमान A)"] R2["कमरा 2
(मेहमान B)"] R3["कमरा 3
(मेहमान C)"] R4["..."] end subgraph "स्थानांतरण के बाद" NewR1["कमरा 1
(खाली!)"] NewR2["कमरा 2
(मेहमान A)"] NewR3["कमरा 3
(मेहमान B)"] NewR4["कमरा 4
(मेहमान C)"] end R1 -->|स्थानांतरण| NewR2 R2 -->|स्थानांतरण| NewR3 R3 -->|स्थानांतरण| NewR4 NewGuest["नया मेहमान"] -->|चेक-इन| NewR1 style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px

चूंकि कमरे अनंत हैं, इसलिए “आखिरी कमरे के मेहमान को बाहर निकाल दिया जाएगा” ऐसा कभी नहीं होता। हर कोई सुरक्षित रूप से अपने से अगले कमरे में जा सकता है। और आश्चर्यजनक रूप से, कमरा 1 खाली हो गया। नया यात्री सुरक्षित रूप से कमरा 1 में ठहर सका।

अनंत की दुनिया में, $\infty + 1 = \infty$ मान्य होता है। अगर आप “संपूर्ण (अनंत)” में से “एक” निकाल भी लें या जोड़ दें, तो समग्र आकार नहीं बदलता है।

3. स्थिति 2: अनंत नए मेहमानों को कैसे ठहराएं

खैर, अगले दिन। होटल फिर से पूरी तरह भर गया। तभी, एक अनंत बस आ पहुंची जिसमें “अनंत यात्री” सवार थे। बस से उतरे यात्रियों ने रिसेप्शन पर आकर मांग की, “हम सभी के लिए कमरा तैयार करो!”

अगर मैनेजर ने कल की तरह “प्लस 1” करने के लिए कहा होता, तो इसमें हमेशा के लिए समय लग जाता। लेकिन, मैनेजर घबराया नहीं। उसने फिर से एक घोषणा की:

“प्रिय मेहमानों, कृपया अपने वर्तमान कमरा नंबर को ‘2 से गुणा’ करके प्राप्त हुए कमरा नंबर में चले जाएं।”

तो क्या होगा?

कमरा 1 का मेहमान कमरा 2 में चला जाएगा।
कमरा 2 का मेहमान कमरा 4 में चला जाएगा।
कमरा 3 का मेहमान कमरा 6 में चला जाएगा।
कमरा $n$ का मेहमान कमरा $2n$ में चला जाएगा।

इस स्थानांतरण के द्वारा, होटल में पहले से मौजूद अनंत मेहमान सुरक्षित रूप से “सभी सम संख्या (Even number) वाले कमरों” में समा गए। और चमत्कारिक रूप से, “सभी विषम संख्या (Odd number) वाले कमरे (कमरा 1, 3, 5…)” पूरी तरह से खाली हो गए!

चूंकि विषम संख्याएँ भी अनंत हैं, मैनेजर अनंत बस के यात्रियों को एक-एक करके 1, 3, 5… कमरों में भेजकर सभी को ठहरा सकता है।

अनंत की दुनिया में, $\infty + \infty = \infty$ मान्य होता है। अनंत में अनंत को जोड़ने पर भी, आकार समान “अनंत” ही रहता है।

4. स्थिति 3: यदि अनंत मेहमानों वाली अनंत बसें आ जाएं तो क्या होगा?

उसके अगले दिन। होटल फिर से भरा हुआ है। तभी, “अनंत यात्रियों वाली अनंत बसें” एक के बाद एक आ पहुंचीं।

बस नंबर 1 में अनंत लोग, बस नंबर 2 में अनंत लोग, बस नंबर 3 में अनंत लोग… यह सिलसिला अनंत तक चलता रहता है। यह देखकर कोई भी मैनेजर घबरा सकता है, लेकिन वह गणित का जीनियस था। उसने “अभाज्य संख्याओं (Prime numbers)” का उपयोग करने का सोचा।

मैनेजर ने निम्नलिखित निर्देश दिए:

होटल में पहले से मौजूद मेहमानों का स्थानांतरण यदि वर्तमान कमरा नंबर $n$ है, तो उन्हें कमरा “$2^n$” में जाने के लिए कहें। (कमरा 1 $\rightarrow$ कमरा 2, कमरा 2 $\rightarrow$ कमरा 4, कमरा 3 $\rightarrow$ कमरा 8…) इससे सभी वर्तमान मेहमान समा गए।
बस नंबर 1 के मेहमानों (अनंत) का मार्गदर्शन यदि यात्री का सीट नंबर $n$ है, तो उसे कमरा “$3^n$” में निर्देशित करें। (कमरा 3, 9, 27…)
बस नंबर 2 के मेहमानों (अनंत) का मार्गदर्शन अगली अभाज्य संख्या 5 का उपयोग करें और उन्हें कमरा “$5^n$” में निर्देशित करें। (कमरा 5, 25, 125…)
बस $k$ के मेहमानों (अनंत) का मार्गदर्शन $k+1$ वीं अभाज्य संख्या $P$ का उपयोग करें और उन्हें कमरा “$P^n$” में निर्देशित करें।

“अभाज्य गुणनखंडन की विशिष्टता (Unique factorization theorem - किसी भी संख्या को अभाज्य संख्याओं के गुणनफल के रूप में केवल एक ही तरीके से दर्शाया जा सकता है)” के शक्तिशाली गणितीय प्रमेय के कारण, $2^n, 3^n, 5^n, 7^n \dots$ कमरा नंबर कभी भी किसी अन्य के साथ नहीं टकराएंगे (डुप्लिकेट नहीं होंगे)।

इस प्रकार मैनेजर ने “अनंत $\times$ अनंत” की अविश्वसनीय संख्या वाले मेहमानों को एक ही अनंत होटल में सफलतापूर्वक ठहरा दिया!

5. अनंत के “आकार” में अंतर (कैंटर का प्रमेय)

हिल्बर्ट का अनंत होटल हमें सिखाता है कि “गणनीय अनंत (Countably infinite - वह अनंत जिसे 1, 2, 3… के रूप में गिना जा सकता है)” को आप चाहे कितनी भी बार जोड़ें या गुणा करें, वह अंततः उसी ‘गणनीय अनंत’ के आकार में समा जाता है।

हालाँकि, गणितज्ञ जॉर्ज कैंटर ने इससे भी अधिक भयानक सच्चाई की खोज की। “प्राकृतिक संख्याएं (Natural numbers)” और “भिन्न (Fractions)” सभी इस अनंत होटल में ठहराए जा सकते हैं। लेकिन, यदि “वास्तविक संख्याएं (Real numbers - सभी दशमलव जिनमें अपरिमेय संख्याएं भी शामिल हैं)” मेहमान के रूप में आ जाएं, तो इस अनंत होटल का उपयोग करने पर भी सभी को ठहराना बिल्कुल असंभव है।

यह सिद्ध हो चुका है कि वास्तविक संख्याओं की संख्या मौलिक रूप से अनंत होटल के कमरों की संख्या (गणनीय अनंत) से “बड़ा (उच्च स्तर का) अनंत” है। हालांकि हम अक्सर “अनंत” शब्द का उपयोग एक ही अर्थ में करते हैं, लेकिन वास्तव में अनंत के भीतर भी एक पदानुक्रमित संरचना (cardinality) मौजूद है, जैसे “छोटा अनंत” और “इतना बड़ा अनंत जहाँ तक पहुँचना असंभव है”।

6. निष्कर्ष: मानव सहज समझ को नष्ट करने वाला “अनंत”

हिल्बर्ट का अनंत होटल यह स्पष्ट रूप से दर्शाता है कि कैसे हमारे दैनिक जीवन में विकसित “सीमित सामान्य ज्ञान (Finite common sense)” “अनंत की दुनिया” में बिल्कुल काम नहीं आता है।

“संपूर्ण (Whole) अपने हिस्से (Part) से बड़ा होता है” “भरे हुए होटल में कोई नहीं जा सकता” “अनंत में अनंत जोड़ने पर, वह और बड़ा हो जाता है”

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

अगली बार जब आपसे कहा जाए कि “होटल भरा हुआ है”, तो कृपया यह कल्पना जरूर करें कि “अगर यह हिल्बर्ट का अनंत होटल होता तो क्या होता।”

बनाख-तार्स्की विरोधाभास: एक गोले को काटने से दो समान आकार के गोले बनते हैं?

Thu, 10 Sep 2026 02:00:00 +0900

1. जादू जैसा प्रमेय: 1 = 1 + 1 ?

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

हालाँकि, जब आप पूरी हो चुकी पहेली को देखते हैं, तो आप पाते हैं कि “मूल गोले के समान आकार के दो शुद्ध सोने के गोले” बन गए हैं।

आप सोच सकते हैं, “क्या बकवास है! यह द्रव्यमान के संरक्षण के नियम के विरुद्ध है, और यह एक कीमियागर का भ्रम है!” वास्तविक भौतिक दुनिया में यह बिल्कुल असंभव है। हालाँकि, शुद्ध गणित (ज्यामिति और समुच्चय सिद्धांत) की दुनिया में, यह तार्किक रूप से 100% सही प्रमेय के रूप में सिद्ध हो चुका है।

यही “बनाख-तार्स्की विरोधाभास” है, जिसे 1924 में स्टीफन बनाख और अल्फ्रेड तार्स्की नामक दो गणितज्ञों द्वारा सिद्ध किया गया था।

2. विरोधाभास के दावे को ठीक से समझना

बनाख और तार्स्की द्वारा सिद्ध किए गए प्रमेय को गणितीय रूप से सटीक शब्दों में इस प्रकार व्यक्त किया जा सकता है:

बनाख-तार्स्की प्रमेय 3-आयामी अंतरिक्ष में किसी भी गोले $S$ को परिमित संख्या में टुकड़ों में विभाजित किया जा सकता है। और फिर, उन टुकड़ों को (केवल घुमाव और स्थानांतरण द्वारा) पुनर्व्यवस्थित करके, मूल गोले $S$ के बिल्कुल समान त्रिज्या वाले दो गोले बनाए जा सकते हैं।

और भी आश्चर्यजनक बात यह है कि इस प्रमेय को लागू करने पर हम निम्नलिखित भी कह सकते हैं:

एक मटर के दाने को परिमित संख्या में टुकड़ों में विभाजित करके और उसे फिर से जोड़कर, बिल्कुल सूर्य के आकार का एक गोला बनाया जा सकता है। (इसे मटर और सूर्य का विरोधाभास भी कहा जाता है)

गणितीय रूप से ऐसा जादू कैसे संभव है? इसका रहस्य दो मुख्य शब्दों: “अनंत” और “चयन का स्वयंसिद्ध” में छिपा है।

3. “अनंत” की अद्भुत प्रकृति

इस विरोधाभास को समझने का पहला कदम “अनंत समुच्चय” की अजीब प्रकृति को जानना है।

“परिमित” दुनिया में जिसका हम आमतौर पर सामना करते हैं, पूर्ण हमेशा उसके हिस्से से बड़ा होता है। उदाहरण के लिए, यदि आप 1 से 10 तक की संख्याओं (10 संख्याएँ) में से सम संख्याओं (5 संख्याएँ) को बाहर निकालते हैं, तो संख्याओं की मात्रा आधी हो जाएगी।

हालाँकि, “अनंत” की दुनिया में यह सामान्य ज्ञान काम नहीं करता है। सभी “प्राकृतिक संख्याओं” (1, 2, 3, 4, …) और सभी “सम संख्याओं” (2, 4, 6, 8, …) में से कौन सी अधिक हैं? सहज रूप से, चूँकि सम संख्याएँ प्राकृतिक संख्याओं की आधी होती हैं, इसलिए ऐसा लगता है कि प्राकृतिक संख्याएँ अधिक हैं। लेकिन, कृपया नीचे दिए गए अनुसार जोड़े बनाने का प्रयास करें:

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

इस तरह, प्रत्येक प्राकृतिक संख्या के लिए, हम ठीक दोगुनी सम संख्या के साथ एक जोड़ा बना सकते हैं (एक-से-एक पत्राचार)। कोई संख्या नहीं बचेगी। अर्थात गणितीय रूप से, “प्राकृतिक संख्याओं की मात्रा (अनंत)” और “सम संख्याओं की मात्रा (अनंत)” बिल्कुल एक ही आकार की हैं!

यद्यपि हमने पूर्ण (प्राकृतिक संख्या) में से आधा (सम संख्या) निकाल लिया है, फिर भी आकार मूल के समान ही रहता है। अनंत समुच्चयों में, यह संभव है कि “एक भाग पूर्ण के बराबर हो जाए”। बनाख-तार्स्की प्रमेय को इस “अनंत के जादू” का अंतिम रूप कहा जा सकता है जिसे 3-आयामी अंतरिक्ष में “बिंदुओं” के समुच्चय पर लागू किया गया है।

4. अंतरिक्ष के बिंदुओं को “अमापनीय” रूप में काटा जाता है

जब वास्तविक वस्तुओं (सोना या सेब) को चाकू से काटा जाता है, तो टुकड़ों का हमेशा एक “आयतन” होता है। हालाँकि, गणित में एक गोला “बिना आयतन वाले अनंत बिंदुओं का संग्रह” होता है।

बनाख और तार्स्की ने इन अनंत बिंदुओं को एक बहुत ही विशिष्ट और जटिल तरीके से समूहीकृत (विभाजित) किया। वह विभाजन इतना जटिल और बिखरा हुआ होता है कि वे ऐसी स्थिति में पहुँच जाते हैं जहाँ “आयतन को मापा नहीं जा सकता (अमापनीय समुच्चय)"।

graph TD S["मूल गोला S (आयतन V)"] -->|विशिष्ट विभाजन| P1["टुकड़ा 1 (आयतन अमापनीय)"] S --> P2["टुकड़ा 2 (आयतन अमापनीय)"] S --> P3["टुकड़ा 3 (आयतन अमापनीय)"] S --> P4["टुकड़ा 4 (आयतन अमापनीय)"] S --> P5["टुकड़ा 5 (आयतन अमापनीय)"] P1 -->|घुमाव/स्थानांतरण| S1["नया गोला 1 (आयतन V)"] P2 -->|घुमाव/स्थानांतरण| S1 P3 -->|घुमाव/स्थानांतरण| S1 P4 -->|घुमाव/स्थानांतरण| S2["नया गोला 2 (आयतन V)"] P5 -->|घुमाव/स्थानांतरण| S2 style S fill:#ffddaa,stroke:#333,stroke-width:2px style S1 fill:#aaddff,stroke:#333,stroke-width:2px style S2 fill:#aaddff,stroke:#333,stroke-width:2px

यदि प्रत्येक टुकड़ा बिंदुओं का एक धुंधला संग्रह बन जाता है जिसका “कोई आयतन नहीं है (मापा नहीं जा सकता)”, तो हम भौतिकी के नियम (माप की योगात्मकता) के प्रतिबंध से बच सकते हैं, जो कहता है कि “यदि आप भागों को जोड़ते हैं, तो उन्हें मूल आयतन के बराबर होना चाहिए”।

और फिर, जब इन धुंधले बिंदु वाले टुकड़ों को घुमाया जाता है और कुशलता से एक साथ जोड़ा जाता है, तो “अनंत के जादू” के माध्यम से, मूल गोले के समान घने बिंदुओं से भरे दो गोले बन जाते हैं। वास्तव में, यह सिद्ध हो चुका है कि यह “एक गोले से दो गोले बनाने” का ऑपरेशन मूल गोले को केवल 5 टुकड़ों में विभाजित करके ही संभव है।

5. सभी का मूल कारण: “चयन का स्वयंसिद्ध” क्या है?

तो, गणितीय रूप से “इतना जटिल विभाजन कि आयतन को मापा न जा सके” कैसे संभव है? ऐसा इसलिए है क्योंकि हम “चयन का स्वयंसिद्ध (Axiom of Choice)” नामक एक नियम को स्वीकार करते हैं, जो आधुनिक गणित की नींव है।

चयन का स्वयंसिद्ध, मोटे तौर पर, निम्नलिखित नियम है:

चयन के स्वयंसिद्ध की अवधारणा जब कई बक्सों में वस्तुएं होती हैं, तो नियम यह है कि “आप प्रत्येक बक्से से ठीक एक वस्तु चुनकर एक नया सेट (समुच्चय) बना सकते हैं”।

यदि बक्सों की संख्या परिमित है, तो कोई भी इसे आसानी से कर सकता है। हालाँकि, यदि बक्सों की संख्या “अनंत” है, तो एक इंसान अनंत बार “एक-एक करके चुनने” के ऑपरेशन को पूरा नहीं कर सकता है। फिर भी, “चुनकर बनाए गए सेट का अस्तित्व माना जा सकता है” इस बात को स्वीकार करना ही चयन का स्वयंसिद्ध है।

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

हालाँकि, यदि हम इस चयन के स्वयंसिद्ध को स्वीकार करते हैं, तो हमें उन “धुंधले बिंदुओं के समुच्चय जो इतने बिखरे हुए हैं कि उनके आयतन को मापा नहीं जा सकता (अमापनीय समुच्चय)” के अस्तित्व को भी स्वीकार करना होगा। और परिणामस्वरूप, “एक गोला दो बन जाता है” का बनाख-तार्स्की प्रमेय एक तार्किक अनिवार्यता के रूप में सामने आता है।

6. निष्कर्ष: गणित द्वारा चित्रित “सहज ज्ञान से परे दुनिया”

बनाख-तार्स्की विरोधाभास इस अर्थ में विरोधाभास नहीं है कि “तर्क में कोई अंतर्विरोध है”। यह इस अर्थ में एक विरोधाभास है कि तर्क 100% सही है, लेकिन निकाला गया निष्कर्ष मानव अंतर्ज्ञान और भौतिकी के नियमों के साथ गहराई से विरोधाभास करता है।

जब यह प्रमेय प्रकाशित हुआ, तो कुछ गणितज्ञों ने तर्क दिया, “यदि ऐसा बेतुका निष्कर्ष निकलता है, तो चयन का स्वयंसिद्ध गलत होना चाहिए!” हालाँकि, आज, अधिकांश गणितज्ञ चयन के स्वयंसिद्ध को स्वीकार करते हैं, और बनाख-तार्स्की प्रमेय को “3-आयामी अंतरिक्ष और अनंत समुच्चयों की एक अजीब लेकिन सुंदर संपत्ति” के रूप में भी स्वीकार किया जाता है।

चूँकि जिस भौतिक दुनिया में हम रहते हैं वह परमाणुओं से बनी है, जो “आकार वाले कण (परिमित)” हैं, इसलिए मटर के दाने को सूर्य के आकार का नहीं बनाया जा सकता। हालाँकि, मानव मस्तिष्क द्वारा बनाए गए “गणित” के कैनवास पर, एक बिंदु का आकार शून्य होता है, और अनंत ऑपरेशनों की अनुमति होती है।

बनाख-तार्स्की विरोधाभास को आधुनिक गणित की महानतम कृतियों में से एक कहा जा सकता है, जो हमें सिखाता है कि “अनंत” की अवधारणा मानव के सरल अंतर्ज्ञान को कितनी आसानी से पार कर जाती है।

दो लिफाफों का विरोधाभास: कैसे अनंत की उम्मीद तर्क को नष्ट करती है और निर्णय लेने में फँसाती है

Thu, 10 Sep 2026 00:00:00 +0900

1. अंतिम विकल्प: बदलें या न बदलें?

आप एक गेम शो के अंतिम चरण में हैं। आपके सामने टेबल पर दो बिल्कुल एक जैसे दिखने वाले लिफाफे (A और B) रखे हैं। होस्ट कहता है:

“एक लिफाफे में दूसरे लिफाफे की तुलना में दोगुना पैसा है। कृपया किसी एक को चुनें।”

काफी सोचने के बाद, आप लिफाफा A चुनते हैं। जैसे ही आप इसे खोलने वाले होते हैं, होस्ट एक शैतानी प्रस्ताव रखता है।

“अगर आप चाहें, तो आप अपने लिफाफा A को बचे हुए लिफाफा B के साथ बदल सकते हैं। क्या आप बदलना चाहेंगे?”

तो, क्या आपको अपना लिफाफा बदलना चाहिए?

2. अपेक्षित मूल्य की गणना से उत्पन्न “अनंत लूप”

आइए यहाँ थोड़ा गणितीय रूप से सोचें। मान लीजिए कि आपके लिफाफे A में मौजूद राशि $X$ येन है। लिफाफे B में मौजूद राशि, नियम के अनुसार या तो “$X$ येन का आधा ($\frac{X}{2}$)” हो सकती है या “$X$ येन का दोगुना ($2X$)"। दोनों की प्रायिकता $\frac{1}{2}$ (50%) है।

तो, आइए लिफाफा बदलने की स्थिति में अपेक्षित मूल्य (अनुमानित औसत राशि) की गणना करें।

$$ E = \frac{1}{2} \times \left(\frac{X}{2}\right) + \frac{1}{2} \times (2X) $$ $$ E = \frac{X}{4} + X = \frac{5}{4}X = 1.25X $$

एक आश्चर्यजनक परिणाम सामने आता है। सिर्फ लिफाफा बदलने से, अपेक्षित मूल्य मूल $X$ येन से बढ़कर $1.25$ गुना (25% अधिक) हो जाता है। निष्कर्ष यह निकलता है कि “गणितीय रूप से सोचें, तो बदलना निश्चित रूप से फायदेमंद है!”

लेकिन, यहीं पर तर्क का पतन होता है। मान लीजिए कि आप लिफाफा B में बदल लेते हैं। इसके तुरंत बाद, अगर होस्ट फिर से पूछे “क्या आप वापस A पर जाना चाहेंगे?” तो क्या होगा? बिल्कुल यही समीकरण लागू होगा, और इस बार इसका मतलब होगा “अगर आप B से A में बदलते हैं, तो अपेक्षित मूल्य 1.25 गुना हो जाएगा।”

यानी, केवल “A से B” और “B से A” में बदलते रहने से, सैद्धांतिक अपेक्षित मूल्य अनंत तक बढ़ता रहेगा। यह स्पष्ट रूप से वास्तविकता का खंडन करता है (लिफाफों के अंदर की राशि शुरू से तय होती है, और यह बदलने से नहीं बढ़ती)।

graph TD Start["आप लिफाफा A चुनते हैं (अंदर X येन हैं)"] --> Think["गणना करते हैं कि बदलना फायदेमंद है या नहीं"] Think --> Case1["लिफाफा B में आधी राशि (X/2 येन) : प्रायिकता 50%"] Think --> Case2["लिफाफा B में दोगुनी राशि (2X येन) : प्रायिकता 50%"] Case1 --> Calc["अपेक्षित मूल्य = (X/4) + X = 1.25X"] Case2 --> Calc Calc --> SwitchToB["लिफाफा B में बदलते हैं! (अंदर Y येन हैं)"] SwitchToB --> ThinkAgain["फिर से गणना करते हैं"] ThinkAgain --> Case3["लिफाफा A में आधी राशि (Y/2 येन) : प्रायिकता 50%"] ThinkAgain --> Case4["लिफाफा A में दोगुनी राशि (2Y येन) : प्रायिकता 50%"] Case3 --> Calc2["अपेक्षित मूल्य = 1.25Y"] Case4 --> Calc2 Calc2 --> SwitchToA["फिर से लिफाफा A में बदलते हैं!"] SwitchToA --> Start style Calc fill:#ff9999,stroke:#333,stroke-width:2px style Calc2 fill:#ff9999,stroke:#333,stroke-width:2px style SwitchToA fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

आखिर क्यों एक पूरी तरह से सही दिखने वाली अपेक्षित मूल्य की गणना ने ऐसा अजीब विरोधाभास पैदा किया?

3. गणितीय चाल को समझना: चरों (variables) की अदला-बदली

इस विरोधाभास का जाल “यादृच्छिक चर $X$ के उपयोग” में निहित है।

पिछली गणना में, हमने लिफाफा A की राशि $X$ को एक निश्चित स्थिरांक के रूप में माना, और यह मान लिया कि लिफाफा B “$\frac{X}{2}$ या $2X$” है। हालांकि, जो मूल रूप से निश्चित है वह “दोनों लिफाफों में मौजूद राशि का योग” है, या “छोटी राशि” है।

मान लीजिए कि छोटी राशि वाले लिफाफे में $S$ है। तो, बड़ी राशि वाले लिफाफे में $2S$ होगा। खेल के कुल परिदृश्य केवल निम्नलिखित 2 पैटर्न हो सकते हैं (प्रत्येक की प्रायिकता $\frac{1}{2}$ है)।

पैटर्न 1: आपके द्वारा चुना गया लिफाफा A छोटा वाला ($S$) है, और लिफाफा B बड़ा वाला ($2S$) है।
पैटर्न 2: आपके द्वारा चुना गया लिफाफा A बड़ा वाला ($2S$) है, और लिफाफा B छोटा वाला ($S$) है।

यहाँ, हम “न बदलने” और “बदलने” की स्थितियों के लिए अपेक्षित मूल्य की सही गणना करते हैं।

न बदलने की स्थिति में अपेक्षित मूल्य $E_{stay}$:

$$ E_{stay} = \frac{1}{2} \times S + \frac{1}{2} \times 2S = \frac{3}{2}S = 1.5S $$

बदलने की स्थिति में अपेक्षित मूल्य $E_{switch}$: पैटर्न 1 में आपको $2S$ मिलते हैं, और पैटर्न 2 में आपको $S$ मिलते हैं।

$$ E_{switch} = \frac{1}{2} \times 2S + \frac{1}{2} \times S = \frac{3}{2}S = 1.5S $$ $$ E_{stay} = E_{switch} $$

अपेक्षित मूल्य पूरी तरह से मेल खाते हैं! पहली गलत गणना में, हमने पैटर्न 1 के समय के $X$ (जो वास्तव में $S$ है) और पैटर्न 2 के समय के $X$ (जो वास्तव में $2S$ है) जैसे अलग-अलग मानों को एक ही चर $X$ के रूप में मान लिया था, जिसके कारण “बदलने पर अपेक्षित मूल्य बढ़ता है” का भ्रम पैदा हुआ।

pie title "अपेक्षित मूल्य की सच्चाई (छोटी राशि को S मानने पर)" "न बदलने का अपेक्षित मूल्य (1.5S)" : 50 "बदलने का अपेक्षित मूल्य (1.5S)" : 50

4. अगर आप लिफाफा खोल लें तो क्या होगा?

ऐसा लगता है कि विरोधाभास हल हो गया है। लेकिन, एक और गहरी समस्या इंतजार कर रही है।

क्या होगा अगर आप लिफाफा बदलने से पहले, अपने लिफाफे A के अंदर देख लें? जब आप लिफाफा A खोलते हैं, तो उसमें “10,000 येन” होते हैं।

इस क्षण, यह $X = 10000$ का एक निश्चित मान बन जाता है। लिफाफे B में या तो “5,000 येन” हैं या “20,000 येन”। अगर हम यहां पहला समीकरण लागू करें तो क्या होगा?

$$ E_{switch} = \frac{1}{2} \times 5000 + \frac{1}{2} \times 20000 = 2500 + 10000 = 12500 $$

अपेक्षित मूल्य 12,500 येन है। यह वर्तमान 10,000 येन से निश्चित रूप से अधिक है। इसके अलावा, चूंकि इस बार $X$ 10,000 येन का “विशिष्ट स्थिरांक” बन गया है, इसलिए पिछले “चरों की अदला-बदली” वाला प्रतिवाद काम नहीं करेगा। तो क्या इसका मतलब यह है कि बदलना निश्चित रूप से फायदेमंद है?

बेयसियन अनुमान द्वारा खंडन: “पूर्व वितरण (Prior Distribution)” का अभाव

गणितज्ञों ने इसके जवाब में “राशि का पूर्व वितरण (पूर्व प्रायिकता)” की अवधारणा पेश की। सवाल यह है कि क्या हम वास्तव में कह सकते हैं कि 5,000 येन और 20,000 येन में से प्रत्येक के होने की प्रायिकता $\frac{1}{2}$ है?

उदाहरण के लिए, मान लीजिए कि शो का अधिकतम बजट 100 मिलियन येन है। यदि आप लिफाफा A खोलते हैं और उसमें “60 मिलियन येन” पाते हैं, तो लिफाफा B में “120 मिलियन येन” होने की प्रायिकता शून्य है (क्योंकि यह बजट से बाहर है)। दूसरे शब्दों में, लिफाफा A की राशि जितनी बड़ी होगी, लिफाफा B के “दोगुना” होने की प्रायिकता उतनी ही कम हो जाएगी, और इसके “आधा” होने की प्रायिकता बढ़ जानी चाहिए।

जब हम किसी यादृच्छिक पूर्व वितरण $P(x)$ को मानते हैं और बेयस प्रमेय का उपयोग करके अपेक्षित मूल्य की गणना करते हैं, तो यह गणितीय रूप से सिद्ध हो चुका है कि चाहे कोई भी यथार्थवादी प्रायिकता वितरण (जिसका योग 1 हो) क्यों न हो, ऐसा कोई जादुई वितरण मौजूद नहीं है जहाँ सभी राशियों $X$ के लिए “बदलना फायदेमंद” हो।

5. अनंत का जाल: सेंट पीटर्सबर्ग विरोधाभास (St. Petersburg paradox) से संबंध

केवल एक ही स्थिति मौजूद है जहाँ “सभी $X$ के लिए बदलना फायदेमंद” होता है। यह केवल तब होता है जब हम मानते हैं कि शो का बजट अनंत है, और एक “अनुचित प्रायिकता वितरण (improper probability distribution, जिसका योग अनंत होता है)” है जहाँ सभी राशियाँ (1 येन, 2 येन, 4 येन, 8 येन… अनंत) समान रूप से दिखाई देती हैं।

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

6. निष्कर्ष: प्रायिकता और अपेक्षित मूल्य का डर

यद्यपि “दो लिफाफों का विरोधाभास” केवल सरल गुणा और जोड़ से बना है, यह हमें निम्नलिखित सबक सिखाता है:

परिभाषा की अस्पष्टता से उत्पन्न त्रुटियां: यदि यह स्पष्ट नहीं किया जाता है कि चर क्या दर्शाता है (क्या $X$ हमेशा एक ही राशि को दर्शाता है), तो तर्क आसानी से ढह जाता है।
“कोई जानकारी नहीं = 50% प्रायिकता” का भ्रम: यह धारणा कि “चूंकि हम नहीं जानते, इसलिए यह आधा-आधा होना चाहिए” (अपर्याप्त कारण का सिद्धांत) कभी-कभी घातक गणना त्रुटियों का कारण बन सकती है।
अनंत को संभालने की कठिनाई: जब “अनंत” की अवधारणा, जिसे वास्तविक दुनिया पर लागू नहीं किया जा सकता, गणना सूत्र में पेश की जाती है, तो यह सामान्य ज्ञान के विपरीत परिणाम उत्पन्न करती है।

अगली बार जीवन में जब आपको लगे कि “दूर के ढोल सुहावने लगते हैं, और चीजें बदलने में ही फायदा है”, तो इस विरोधाभास को याद करें। हो सकता है कि आपके गणना सूत्र में चर आपस में बदल गए हों।