Locatedness, Convexity, and Integrability in $\mathbb{R}^N$

अज्ञात का आकार

कल्पना कीजिए कि आप एक मानचित्रकार हैं जो एक रहस्यमय द्वीप का नक्शा बनाने की कोशिश कर रहे हैं। गणित की दुनिया में, यह द्वीप एक आकार है जिसे "सेट" (set) कहा जाता है, और इसके चारों ओर का महासागर संख्याओं का विशाल स्थान है जिसे हम $\mathbb{R}^N$ कहते हैं। कभी-कभी, ये आकार अस्त-व्यस्त, ऊबड़-खाबड़ या ऐसे छेदों वाले होते हैं जिन्हें मापना या निर्धारित करना असंभव होता है। लेकिन अन्य समय में, वे चिकने, ठोस और सुव्यवस्थित होते हैं। यह शोध पत्र गणित के एक विशेष कोने में रहता है जिसे "रचनात्मक विश्लेषण" (constructive analysis) कहा जाता है। इसे इस तरह न सोचें कि गणितज्ञ केवल यह कहते हैं, "यह कहीं न कहीं मौजूद होना चाहिए," बल्कि इसे एक कार्यशाला के रूप में देखें जहाँ वे इस बात पर जोर देते हैं कि चीज़ को वास्तव में कदम-दर-कदम बनाकर ही यह सिद्ध किया जाए कि वह वास्तविक है।

इस कार्यशाला के मुख्य उपकरण मापन (measure - एक आकार का "आकार" या आयतन निकालने का तरीका, जैसे कि बाल्टी में कितना पानी आ सकता है), उत्तलता (convexity - एक गुण जहाँ यदि आप किसी आकार के भीतर कोई भी दो बिंदु चुनते हैं, तो उन्हें जोड़ने वाली सीधी रेखा पूरी तरह से उसके भीतर ही रहती है—जैसे कि एक चिकना संगमरमर, न कि एक स्टारफिश), और स्थानिकता (locatedness - यह बताने की क्षमता कि ब्रह्मांड का कोई भी बिंदु आपके आकार के किनारे से कितनी दूर है)। यह क्यों मायने रखता है? क्योंकि रचनात्मक दुनिया में, आप केवल यह मान नहीं सकते कि किसी आकार की एक सीमा है जिसे आप खोज सकते हैं। आपको यह सिद्ध करना होगा कि आप उसके करीब पहुँच सकते हैं। यदि कोई आकार "स्थानिक" (located) है, तो इसका अर्थ है कि वह गणितीय उपकरण में एक विश्वसनीय, उपयोग योग्य वस्तु है। यदि यह नहीं है, तो यह एक भूत की तरह है: आप जानते हैं कि वह वहाँ है, लेकिन आप उसे छू नहीं सकते या उससे अपनी दूरी नहीं माप सकते।

शोध पत्र की खोज

इस नोट में, डगलस एस. ब्रिजेस $N$ आयामों वाले स्थान में इन आकारों के बारे में एक विशिष्ट पहेली को सुलझाते हैं। वह एक पिछले विचार का सुधरा हुआ संस्करण सिद्ध करना चाहते हैं: यदि आपके पास एक आकार $S$ है जो "लेबेग समाकलनीय" (Lebesgue integrable) है (अर्थात, आप बिना अटके इसके आकार की गणना कर सकते हैं), जिसका आकार धनात्मक है (यह खाली नहीं है), और उसका मुख्य भाग $S_1$ दोनों सीमित (bounded - यह अनंत तक नहीं फैलता) और उत्तल (convex - यह एक चिकना, ठोस पिंड है) है, तो $S_1$ केवल एक अस्पष्ट अवधारणा नहीं है—यह पूर्णतः परिबद्ध (totally bounded) और स्थानिक (located) है। सरल शब्दों में, इसका अर्थ है कि आकार इतना सघन है कि आप इसे सूक्ष्म बिंदुओं की एक सीमित संख्या से ढक सकते हैं, और आप ब्रह्मांड के किसी भी बिंदु से आकार तक की दूरी हमेशा निकाल सकते हैं।

वहाँ तक पहुँचने के लिए, ब्रिजेस कुछ चतुर युक्तियों का उपयोग करके एक तार्किक सीढ़ी बनाते हैं। सबसे पहले, वह दिखाते हैं कि यदि आप अपने $N-आयामी$ स्थान का एक सपाट स्लाइस लेते हैं (जैसे 3D कमरे में कागज का एक टुकड़ा), तो उस स्लाइस का आयतन शून्य होता है। यह स्पष्ट लगता है, लेकिन रचनात्मक गणित के सख्त नियमों में, आपको यह सिद्ध करना होगा कि आप वास्तव में उस स्लाइस को बना सकते हैं और दिखा सकते हैं कि उसमें कोई "मोटाई" नहीं है। फिर वह सिद्ध करते हैं कि यदि आपके पास एक धनात्मक आकार वाला आकार है, तो उसमें पूरे स्थान को थामे रखने के लिए पर्याप्त "रीढ़" होनी चाहिए—विशेष रूप से, इसमें $N$ स्वतंत्र दिशाएँ होनी चाहिए, जैसे कि 3D कमरे में $x$, $y$, और $z$ अक्ष।

असली जादू तब होता है जब वह इन दिशाओं को मिलाते हैं। वह दिखाते हैं कि यदि आपके पास एक धनात्मक आकार वाला एक उत्तल आकार है, तो उसका एक "कोर" या आंतरिक भाग होगा जो इतना घना होगा कि आप उसके भीतर बिंदुओं का एक छोटा गोला पा सकते हैं। एक बार जब आपके पास यह ठोस कोर आ जाता है, तो वह एक "बॉल" (एक पूर्ण गोला) से जुड़ी एक ज्यामितीय युक्ति का उपयोग करके यह दिखाते हैं कि आकार का आंतरिक भाग पूरे आकार में "समान रूप से सघन" (uniformly dense) है। कल्पना कीजिए कि आकार एक स्पंज है; यह लेम्मा सिद्ध करता है कि आप स्पंज में जहाँ भी छेद करेंगे, आप हमेशा पास में ही स्पंज सामग्री का एक छोटा, ठोस गोला पा सकते हैं।

अंत में, वह इस घनत्व का उपयोग मुख्य परिणाम को सिद्ध करने के लिए करते हैं। वह तर्क देते हैं कि क्योंकि आकार बिंदुओं से इतना भरा हुआ है, इसलिए ऐसा नहीं हो सकता कि इसका कोई हिस्सा बिंदुओं के सीमित संग्रह से "बहुत दूर" हो। यदि आप बिंदुओं के अपने मानचित्र से दूर एक बिंदु खोजने का प्रयास करते हैं, तो गणित एक विरोधाभास पैदा करता है: आपके बिंदुओं और आकार के बीच का "खाली" स्थान इतना बड़ा होना चाहिए कि वह आकार के संपूर्ण आयतन को खा जाएगा, जिसे हम पहले से ही असंभव जानते हैं। इसलिए, आकार "पूर्णतः परिबद्ध" (आप इसे बिंदुओं के एक सीमित समूह से ढक सकते हैं) और "स्थानिक" (आप हमेशा इसकी दूरी माप सकते हैं) होना चाहिए।

यह शोध पत्र केवल यह सुझाव नहीं देता कि यह सत्य हो सकता है; यह एक कठोर, चरण-दर-चरण रचनात्मक प्रमाण प्रदान करता है। यह इस संभावना को खारिज करता है कि एक सीमित, उत्तल, धनात्मक-आकार वाला आकार "अस्थानिक" या अनुमान लगाने में असंभव हो सकता है। लेम्मा के तर्क का पालन करते हुए, निष्कर्ष दृढ़ रहता है: ऐसे आकार विश्वसनीय, मापने योग्य और पूरी तरह से हमारी पकड़ में हैं।