🔢 mathematics

Relation-Theoretic Banach Contraction Principle in Topological Spaces with an Application

यह शोध पत्र संबंध-संरक्षण संकुचन मैपिंग (relation-preserving contraction mappings) को पेश करके टोपोलॉजिकल स्पेस में बानाच संकुचन सिद्धांत का विस्तार करता है, एक MATLAB-विज़ुअलाइज़्ड उदाहरण के साथ परिणाम को मान्य करता है, और भिन्नात्मक अवकल समीकरणों (fractional differential equations) को हल करने में इसके अनुप्रयोग को प्रदर्शित करता है।

मूल लेखक: Md Hasanuzzaman, Abhishikta Das, Sumit Som

प्रकाशित 2026-08-18

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Md Hasanuzzaman, Abhishikta Das, Sumit Som

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

गणित के विशाल परिदृश्य में, एक ऐसी शाखा है जो उन बिंदुओं को खोजने के लिए समर्पित है जो किसी नियम को लागू करने पर हिलते नहीं हैं। एक शहर के मानचित्र की कल्पना करें जहाँ प्रत्येक स्थान को एक नया स्थान सौंपा जाता है। एक "फिक्स्ड पॉइंट" (स्थिर बिंदु) एक ऐसा स्थान है जो, जब आप नियम लागू करते हैं, तो स्वयं की ओर ही संकेत करता है। यह अवधारणा केवल एक अमूर्त पहेली नहीं है; यह वास्तविक दुनिया की समस्याओं को हल करने के लिए एक शक्तिशाली उपकरण है, जैसे कि बाजार के संतुलन की भविष्यवाणी करना या यह समझना कि एक तरल पदार्थ कैसे स्थिर होता है। दशकों से, इन अचल बिंदुओं को खोजने के लिए सबसे प्रसिद्ध उपकरण एक दूरी मापने की सख्त प्रणाली पर निर्भर रहा है, जो बिल्कुल एक पैमाने (रूलर) का उपयोग करने जैसा है ताकि यह सुनिश्चित किया जा सके कि समाधान की ओर बढ़ाया गया हर कदम लक्ष्य के करीब पहुँच रहा है। यह विधि, जिसे बानाच कॉन्ट्रैक्शन प्रिंसिपल (Banach contraction principle) के रूप में जाना जाता है, आधुनिक विश्लेषण का एक आधार स्तंभ रही है, जो बहुत विशिष्ट परिस्थितियों में यह गारंटी देती है कि एक समाधान मौजूद है और वह अद्वितीय है।

हालाँकि, दुनिया हमेशा एक एकल पैमाने द्वारा इतनी सुव्यवस्थित नहीं होती है। कई जटिल प्रणालियों में, दूरी के मानक नियम टूट जाते हैं, या स्थान की संरचना इतनी अनियमित होती है कि पारंपरिक उपकरण काम नहीं कर पाते। गणितज्ञों ने लंबे समय से इन शक्तिशाली विचारों को इन अधिक अराजक या अमूर्त वातावरणों में विस्तारित करने के तरीके खोजने की कोशिश की है, जैसे कि सामान्य टोपोलॉजिकल स्पेस (topological spaces) जहाँ दूरी की सामान्य अवधारणा मौजूद भी नहीं हो सकती है। चुनौती एक ऐसी प्रक्रिया को समाधान की ओर निर्देशित करने की थी जो बिना किसी कठोर मापने वाले टेप के काम करे, और इसके बजाय बिंदुओं के बीच के संबंधों पर निर्भर रहे। यहीं पर मोहम्मद हसनुज्जमान, अभिशिक्ता दास और सुमित सोम का कार्य आता है, जो इन अनछुए क्षेत्रों में नेविगेट करने का एक नया तरीका प्रदान करता है।

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

इस रिलेशनल स्ट्रक्चर (संबंधात्मक संरचना) को पेश करके, लेखक यह सिद्ध करने में सक्षम रहे कि एक फिक्स्ड पॉइंट अभी भी मौजूद है, भले ही उन स्थितियों में जहाँ पिछले सिद्धांत एक की गारंटी नहीं दे सकते थे। उन्होंने प्रदर्शित किया कि यदि कोई स्थान एक विशिष्ट अर्थ में पर्याप्त पूर्ण (complete) है और बिंदुओं के बीच के संबंध लागू किए जा रहे नियम द्वारा संरक्षित हैं, तो एक समाधान अपरिहार्य है। इसे ठोस बनाने के लिए, उन्होंने दो-आयामी स्थान से संबंधित एक विशिष्ट उदाहरण बनाया जहाँ दूरी के मानक नियम समाधान सुनिश्चित करने में विफल रहे। इस परिदृश्य में, पुराने तरीकों ने समस्या को अनसुलझा छोड़ दिया होता, यह दावा करते हुए कि फिक्स्ड पॉइंट की उपस्थिति की कोई गारंटी नहीं दी जा सकती। फिर भी, उनके नए रिलेशनल दृष्टिकोण को लागू करके, उन्होंने दिखाया कि एक अद्वितीय समाधान वास्तव में मौजूद था। उन्होंने कंप्यूटर सिमुलेशन का उपयोग करके इस अभिसरण (convergence) को दृश्य रूप दिया, यह दिखाते हुए कि कैसे बिंदुओं का एक अनुक्रम, नए नियमों द्वारा निर्देशित, धीरे-धीरे और तेजी से एक एकल, अचल गंतव्य की ओर बढ़ता है।

इस नए दृष्टिकोण की शक्ति इसकी लचीलेपन में निहित है। यह गणितज्ञों को उन स्थानों में समस्याओं को हल करने की अनुमति देता है जो पारंपरिक दूरी-आधारित उपकरणों के लिए बहुत अनियमित हैं, बशर्ते कि तत्वों को जोड़ने वाली एक तार्किक संरचना मौजूद हो। लेखक केवल सिद्धांत तक ही सीमित नहीं रहे; उन्होंने अपने निष्कर्षों को आर्थिक विकास को मॉडल करने के लिए उपयोग किए जाने वाले एक जटिल समीकरण पर लागू किया। ये समीकरण, जो स्मृति (memory) और गैर-स्थानीय प्रभावों वाले सिस्टम का वर्णन करते हैं, हल करने के लिए अत्यंत कठिन होते हैं। अपनी नई रिलेशनल स्पेस के भीतर समस्या को फ्रेम करके, टीम ने सिद्ध किया कि इस आर्थिक मॉडल का एक समाधान मौजूद है और इसे एक विशिष्ट पुनरावृत्ति प्रक्रिया (iterative process) के माध्यम से खोजा जा सकता है। उन्होंने इस आर्थिक मॉडल का एक संख्यात्मक सिमुलेशन चलाया, एक साधारण अनुमान से शुरू किया और बार-बार नियम लागू किया। परिणामों ने दिखाया कि चरणों के बीच का त्रुटि स्तर नाटकीय रूप से गिर गया, जिससे पुष्टि हुई कि प्रक्रिया एक स्थिर समाधान की ओर अभिसरित हो रही थी, ठीक वैसे ही जैसा कि उनके सिद्धांत ने भविष्यवाणी की थी।

यह कार्य गणितीय क्षमता के एक शांत लेकिन महत्वपूर्ण विस्तार का प्रतिनिधित्व करता है। यह पुराने, विश्वसनीय तरीकों को त्यागता नहीं है बल्कि एक पुल बनाता है जहाँ वे पहले दीवार से टकरा जाते थे। यह दिखाकर कि हर संभावित दूरी को कम करने की सख्त आवश्यकता को केवल संबंधित बिंदुओं के बीच की दूरियों को कम करने तक शिथिल किया जा सकता है, लेखकों ने समस्याओं के एक व्यापक वर्ग को हल करने का द्वार खोल दिया है। उनके निष्कर्ष सुझाव देते हैं कि कई जटिल प्रणालियों में, एक स्थिर समाधान खोजने की कुंजी केवल यह मापना नहीं है कि चीजें एक-दूसरे से कितनी दूर हैं, बल्कि यह समझना है कि वे कैसे जुड़ी हुई हैं। यह अंतर्दृष्टि शुद्ध गणित से लेकर अनुप्रयुक्त अर्थशास्त्र (applied economics) तक के क्षेत्रों में काम करने वाले शोधकर्ताओं के लिए एक मजबूत नया उपकरण प्रदान करती है, यह सुनिश्चित करती है कि सबसे अनियमित स्थानों में भी, समाधान तक एक मार्ग खोजा जा सकता है।

तकनीकी सारांश: टोपोलॉजिकल स्पेस में संबंध-सिद्धांतिक बानाच संकुचन सिद्धांत और एक अनुप्रयोग

समस्या विवरण
मेट्रिक फिक्स्ड पॉइंट थ्योरी, जो बानाच संकुचन सिद्धांत (BCP) पर आधारित है, नॉनलीनर विश्लेषण में एक मौलिक उपकरण है। हालांकि, कई अनुप्रयोग ऐसे सेटिंग्स में उत्पन्न होते हैं जहाँ मेट्रिक संरचना अनुपस्थित या अपर्याप्त होती है, जिससे सामान्य टोपोलॉजिकल स्पेस में मैपिंग का अध्ययन करना आवश्यक हो जाता है। सोम एट अल. [9] के पिछले कार्य द्वारा, एक निरंतर फलन $g: \Omega \times \Omega \to \mathbb{R}$ का उपयोग करके टोपोलॉजिकल स्पेस में BCP का विस्तार किया गया था, लेकिन कुछ मैपिंग उन संकुचन शर्तों को पूरा करने में विफल रहती हैं जो इन मौजूदा प्रमेयों के लिए आवश्यक हैं। इसके अलावा, शास्त्रीय परिणाम अक्सर यह मांग करते हैं कि संकुचन की शर्तें स्थान के सभी युग्मों (pairs) के लिए लागू हों, जो अत्यधिक प्रतिबंधात्मक हो सकता है। लेखक एक अधिक लचीले ढांचे की आवश्यकता को संबोधित करते हैं जो उन टोपोलॉजिकल स्पेस में फिक्स्ड पॉइंट के अस्तित्व और अद्वितीयता (uniqueness) की गारंटी दे सके जहाँ मानक मेट्रिक-आधारित या टोपोलॉजिकल BCP विफल हो सकते हैं।

कार्यप्रणाली (Methodology)
यह शोध पत्र एक ऐसा ढांचा प्रस्तुत करता है जो तीन अलग-अलग संरचनाओं को एकीकृत करता है:

टोपोलॉजिकल स्पेस ( $\Omega$ ): वह आधारभूत स्थान जहाँ किसी मेट्रिक की धारणा नहीं की गई है।
निरंतर फलन ( $g$ ): एक फलन $g: \Omega \times \Omega \to \mathbb{R}$ जो विशिष्ट गुणों (समरूपता और त्रिकोण असमानता) को संतुष्ट करता है ताकि अभिसरण (convergence) और कॉची अनुक्रमों ( $g$ -convergence और $g$ -completeness) को परिभाषित किया जा सके। मुख्य प्रमेय के लिए $g(r,s)=0 \implies r=s$ की स्थिति आवश्यक है, लेकिन इसे सभी दृष्टांतों (illustrative examples) में सार्वभौमिक रूप से लागू नहीं माना गया है (उदाहरण के लिए, उदाहरण 3.4 एक ऐसा मामला प्रदर्शित करता है जहाँ इस स्थिति का उल्लंघन होता है, जिससे फिक्स्ड पॉइंट परिणाम को पुनः प्राप्त करने के लिए संबंधात्मक संरचना की आवश्यकता होती है)।
बाइनरी रिलेशन ( $R$ ): एक बाइनरी रिलेशन $R \subseteq \Omega \times \Omega$ जो स्थान पर एक संबंधात्मक संरचना आरोपित करता है।

लेखक टोपोलॉजिकली $R$ -प्रिजर्विंग संकुचन मैपिंग (topologically $R$ -preserving contraction mappings) को परिभाषित करते हैं। एक मैपिंग $S: \Omega \to \Omega$ एक टोपोलॉजिकली $R$ -प्रिजर्विंग संकुचन है यदि एक $\alpha \in (0, 1)$ मौजूद है कि:
$|g(S\mu_1, S\mu_2)| \leq \alpha |g(\mu_1, \mu_2)|$
सभी $\mu_1, \mu_2 \in \Omega$ के लिए, जहाँ $(\mu_1, \mu_2) \in R$ है।

परिभाषित की गई प्रमुख परिभाषाएं शामिल हैं:

$g$ - $R$ -निरंतरता (continuity): $R$ -प्रिजर्विंग अनुक्रमों के सापेक्ष मैपिंग की निरंतरता।
$g$ - $R$ -पूर्णता (completeness): $R$ -प्रिजर्विंग $g$ -कॉची अनुक्रमों के सापेक्ष स्थान की पूर्णता।
$S$ -क्लोजनेस (closedness): वह गुण कि यदि $(r, s) \in R$ , तो $(Sr, Ts) \in R$ ।
$g$ -सेल्फ-क्लोजनेस (self-closedness): अभिसारी अनुक्रमों के उप-अनुक्रमों के संबंध में संबंध $R$ का एक गुण।

प्रमुख योगदान और परिणाम
प्राथमिक योगदान प्रमेय 3.2 है, जो निम्नलिखित शर्तों के तहत एक टोपोलॉजिकल स्पेस $\Omega$ पर मैपिंग $S$ के लिए फिक्स्ड पॉइंट के अस्तित्व को स्थापित करता है:

$\Omega$ $g$ - $R$ -पूर्ण है।
$R$ $S$ -क्लोज है।
सेट $\Omega(S; R) = \{u \in \Omega : (u, Su) \in R\}$ गैर-रिक्त है।
या तो $S$ $g$ - $R$ -निरंतर है या $R$ $g$ -सेल्फ-क्लोज है।
$S$ $g$ के सापेक्ष एक टोपोलॉजिकली $R$ -प्रpreserving संकुचन है।
फलन $g$ संतुष्ट करता है $g(r, u) = 0 \implies r = u$ , समरूपता, और प्रासंगिक तत्वों के लिए त्रिकोण असमानता।

यह प्रमेय गारंटी देता है कि पिकाड अनुक्रम (Picard sequence) $\{S^n(r_0)\}$ किसी भी $r_0 \in \Omega(S; R)$ के लिए एक फिक्स्ड पॉइंट की ओर अभिसरित होता है। प्रमेय 3.3 आगे यह स्थापित करता है कि यदि इमेज $S(\Omega)$ $g$ - $R_s$ -कनेक्टेड है, तो इस फिक्स्ड पॉइंट की अद्वितीयता सुनिश्चित होती है।

शोध पत्र इस ढांचे की उपयोगिता को निम्नलिखित माध्यमों से प्रदर्शित करता है:

काउंटर-एग्जांपल्स (Counterexamples): उदाहरण (3.4 और 3.5) उन परिदृश्यों को दर्शाते हैं जहाँ सोम एट अल. [9] (प्रमेय 2.7) का टोपोलॉजिकल BCP फिक्स्ड पॉइंट की गारंटी देने में विफल रहता है क्योंकि संकुचन की शर्त $\Omega$ के सभी युग्मों के लिए लागू नहीं होती है या क्योंकि फलन $g$ 'इंडिस्कर्नेबल्स की पहचान' ( $g(a,u)=0 \implies a=u$ ) को वैश्विक रूप से संतुष्ट नहीं करता है। हालाँकि, एक विशिष्ट बाइनरी रिलेशन $R$ द्वारा संकुचन की शर्त को सीमित करके (और यह सुनिश्चित करके कि $g$ उस प्रासंगिक संबंधात्मक संदर्भ के भीतर आवश्यक गुणों को संतुष्ट करता है), नया प्रमेय सफलतापूर्वक एक फ yaitu फिक्स्ड पॉइंट की गारंटी देता है।
विज़ुअलाइज़ेशन (Visualization): प्रस्तावित मैपिंग के तहत $y$ -कोऑर्डिनेट के ज्यामितीय अभिसरण को विज़ुअलाइज़ करने के लिए MATLAB सिमुलेशन प्रदान किए गए हैं, जो विश्लेतिक परिणामों की पुष्टि करते हैं।
सामान्यीकरण (Generalization): लेखक दिखाते हैं कि उनके परिणाम मौजूदा साहित्य का सामान्यीकरण करते हैं। $R$ को यूनिवर्सल रिलेशन के रूप में चुनकर, यह प्रमेय 2.7 (सोम एट अल. [9]) में बदल जाता है। $g$ को एक मेट्रिक $d$ के रूप में चुनकर, यह आलम और इमदाद [2] के संबंध-सिद्धांतिक BCP में बदल जाता है।

अनुप्रयोग
सैद्धांतिक परिणामों को आर्थिक विकास को मॉडल करने वाले एक फ्रैक्शनल डिफरेंशियल इक्वेशन के समाधान के अस्तित्व के लिए लागू किया गया है:
$D^\zeta(f(t)) = h(t, f(t)), \quad t \in [0, 1], \quad 1 < \zeta \leq 2$
जो इंटीग्रल बाउंड्री कंडीशंस के अधीन है। लेखक स्पेस $\Omega = C[0, 1]$ को सुप-मेट्रिक टोपोलॉजी के साथ और एक बाइनरी रिलेशन $R$ को पॉइंटवाइज ऑर्डरिंग ( $p_1 \leq p_2$ ) के आधार पर परिभाषित करते हैं। वे एक इंटीग्रल ऑपरेटर $T$ का निर्माण करते हैं और सत्यापित करते हैं कि यह प्रमेय 3.2 की शर्तों को पूरा करता है। एक इटरेटिव स्कीम ( $u_{n+1} = T u_n$ ) के साथ संख्यात्मक चित्रण, जहाँ $h(t, u) = \frac{1}{16}u + \sin(t)$ , अद्वितीय समाधान की ओर तीव्र अभिसरण को प्रदर्शित करता है, जो सैद्धांतिक निष्कर्षों की पुष्टि करता है।

महत्व
शोध पत्र का दावा है कि इसका ढांचा टोपोलॉजिकल स्पेस में फिक्स्ड पॉइंट थ्योरी के लिए अधिक कुशल और लचीला दृष्टिकोण प्रदान करता है। एक बाइनरी रिलेशन को शामिल करके, संकुचन की शर्त को केवल "संबंधित" तत्वों पर लागू होने के लिए शिथिल (relax) किया गया है। यह लेखकों को उन मामलों में फिक्स्ड पॉइंट सिद्ध करने की अनुमति देता है जहाँ शास्त्रीय या पहले से सामान्यीकृत टोपोलॉजिकल बानाच संकुचन सिद्धांत विफल हो जाते हैं, विशेष रूप से तब जब अंतर्निहित फलन $g$ वैश्विक स्तर पर 'इंडिस्कर्नेबल्स की पहचान' को संतुष्ट नहीं करता है। यह कार्य संबंधात्मक संरचनाओं का उपयोग करके मेट्रिक फिक्स्ड पॉइंट थ्योरी और टोपोलॉजिकल स्पेस के बीच के अंतर को पाटता है, जो फ्रैक्शनल डिफरेंशियल इक्वेशंस जैसे गैर-रेखीय समस्याओं के विश्लेषण के लिए एक मजबूत उपकरण प्रदान करता है जहाँ मेट्रिक संरचनाएं अपर्याप्त हो सकती हैं या जहाँ ऑर्डर रिलेशंस महत्वपूर्ण भूमिका निभाते हैं।

इसी तरह के और पेपर