🔢 mathematics

Discontinuity at the fixed point in suprametric spaces

यह शोध पत्र पूर्ण सुप्रामेट्रिक स्थानों (complete suprametric spaces) पर क्रम $m$ के उत्तल संकुचन (convex contractions) के लिए फिक्स्ड पॉइंट उपप्रमेय (fixed point theorems) का सामान्यीकरण करता है, यह प्रदर्शित करते हुए कि ऐसे मैपिंग उस बिंदु पर निरंतरता की आवश्यकता के बिना एक फिक्स्ड पॉइंट की गारंटी देते हैं, जिससे रोड्स (Rhoades) की खुली समस्या का एक नया समाधान प्राप्त होता है और क्वासी-संकुचन (quasi-contractions) से संबंधित परिणामों का विस्तार होता है।

मूल लेखक: Nicola Fabiano, Sedigheh Barootkoob, Hossein Lakzian

प्रकाशित 2026-05-11

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

CC BY 4.0

मूल लेखक: Nicola Fabiano, Sedigheh Barootkoob, Hossein Lakzian

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

कल्पना कीजिए कि आप मानचित्र पर एक विशिष्ट स्थान खोजने की कोशिश कर रहे हैं, जहाँ यदि आप वहाँ खड़े होते हैं, तो कदम उठाने पर भी आप हिलते नहीं हैं। गणित में, इस "स्थान" को एक फिक्स्ड पॉइंट (fixed point) कहा जाता है। यदि आपके पास एक नियम (एक फलन/function) है जो आपको बताता है कि एक स्थान से दूसरे स्थान पर कैसे जाना है, तो फिक्स्ड पॉइंट वह स्थान है जहाँ नियम कहता है, "यहीं रुको।"

लंबे समय तक, एक फिक्स्ड पॉइंट खोजने की गारंटी देने के लिए गणितज्ञों के पास एक बहुत ही सख्त नियम था। यह ऐसा था जैसे कहना, "यदि आपके चलने के कदम हर बार छोटे और छोटे होते जा रहे हैं, और आप कभी रुकते नहीं हैं, तो आप अंततः एक फिक्स्ड पॉइंट पर पहुँच जाएंगे।" लेकिन इस नियम के लिए यह आवश्यक था कि चलने का रास्ता पूरी तरह से सुचारू (smooth) और अनुमानित (predictable) हो (सतत/continuous)।

यह शोध पत्र, जो फैबियानो, बारूटकोओब और लकज़ियन द्वारा लिखा गया है, एक थोड़े अधिक ऊबड़-खाबड़ प्रकार के मानचित्र की खोज करता है जिसे सुप्रामेट्रिक स्पेस (Suprametric Space) कहा जाता है।

नया मानचित्र: सुप्रामेट्रिक स्पेस (Suprametric Spaces)

एक सामान्य मानचित्र (एक मानक मेट्रिक स्पेस) की कल्पना करें जहाँ दो बिंदुओं के बीच की दूरी बस एक सीधी रेखा है। अब, कल्पना करें कि एक सुप्रामेट्रिक स्पेस एक ऐसे मानचित्र की तरह है जिसमें "ट्रैफिक जाम" या "उभार" हैं। दो बिंदुओं के बीच की दूरी केवल कदमों का योग नहीं है; यह इस पर भी निर्भर करती है कि रास्ता कितना भीड़भाड़ वाला है। यदि आप एक बड़ा कदम उठाते हैं, तो "लागत" (cost) बढ़ सकती है क्योंकि रास्ते में ट्रैफिक है।

लेखक पूछते हैं: क्या हम अभी भी इस ऊबड़-खाबड़, ट्रैफिक से भरे मानचित्र पर उस विशेष "यहाँ रुको" वाले स्थान को खोज सकते हैं?

"ऊबड़-खाबड़" नियम: कॉनवेक्स कॉन्ट्रैक्शन (Convex Contractions)

आमतौर पर, एक फिक्स्ड पॉइंट खोजने के लिए, आपको एक ऐसे नियम की आवश्यकता होती है जो कहता हो, "हर बार जब आप चलते हैं, तो आप एक निश्चित प्रतिशत द्वारा गंतव्य के करीब पहुँच जाते हैं।"

लेखक एक अधिक जटिल नियम देखते हैं जिसे ऑर्डर m का कॉनवेक्स कॉन्ट्रैक्शन (Convex Contraction of Order m) कहा जाता है।

उपमा (Analogy): कल्पना कीजिए कि आप एक खजाने तक पहुँचने की कोशिश कर रहे हैं। केवल वर्तमान स्थिति को देखने के बजाय, आपको यह देखना होगा कि आप 1 कदम पहले, 2 कदम पहले, m कदमों तक पीछे कहाँ थे। नियम कहता है कि आपकी वर्तमान स्थिति और अगली स्थिति के बीच की दूरी आपके पिछले सभी कदमों के भारित औसत (weighted average) द्वारा नियंत्रित होती है।
ट्विस्ट: अतीत में, खजाना खोजने की पुष्टि करने के लिए, आपको यह मानना पड़ता था कि मानचित्र पूरी तरह से सुचारू (continuous) है। यदि मानचित्र में अचानक कोई उछाल या ढलान आती थी, तो पुराना गणित कहता था, "खेल खत्म, कोई गारंटी नहीं।"

बड़ी खोज: आपको एक सुचारू मानचित्र की आवश्यकता नहीं है

इस शोध पत्र की मुख्य सफलता यह है कि आपको फिक्स्ड पॉइंट खोजने के लिए मानचित्र का पूरी तरह से सुचारू होने की आवश्यकता नहीं है।

लेखक सिद्ध करते हैं कि भले ही नियम (मैपिंग) में गंतव्य के ठीक पास एक अचानक उछाल या "विच्छिन्नता" (discontinuity) हो, फिर भी आप उस स्थान को खोज सकते हैं।

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

इसे काम करने के लिए, वे "सुचारूता" (smoothness) की आवश्यकता को दो कमजोर, अधिक लचीली शर्तों से बदल देते हैं:

k-निरंतरता (k-continuity): आपको हर जगह सुचारू होने की आवश्यकता नहीं है, बस k कदमों के बाद पर्याप्त सुचारू होना चाहिए।
ऑर्बिटल लोअर सेमी-कंटीन्यूइटी (Orbital lower semi-continuity): यह एक फैंसी तरीका है यह कहने का कि, "जब तक आपके कदम फिनिश लाइन पर अचानक बहुत बड़े नहीं हो जाते, तब तक सब ठीक है।"

एक पुराने रहस्य को सुलझाना

1988 में, रोधीस (Rhoades) नामक एक गणितज्ञ ने एक प्रसिद्ध प्रश्न पूछा था: "क्या कोई नियम इतना मजबूत है जो फिक्स्ड पॉइंट की गारंटी दे सके, लेकिन इतना कमजोर भी है कि वह उस बिंदु पर मानचित्र को सुचारू होने के लिए मजबूर न करे?"

द दशकों तक, किसी के पास इन विशिष्ट प्रकार के मानचित्रों के लिए इसका निश्चित उत्तर नहीं था। यह शोध पत्र कहता है, "हाँ, हमने इसे खोज लिया है!" उन्होंने सिद्ध किया कि ये "कॉनवेक्स कॉन्ट्रैक्शन" नियम उस स्थान को खोजने के लिए पर्याप्त मजबूत हैं, भले ही वह स्थान स्वयं थोड़ा ऊबड़-खाबड़ हो।

अन्य उपकरण जिन्हें उन्होंने धार दी

लेखकों ने केवल कॉनवेक्स कॉन्ट्रैक्शन नियम को ही ठीक नहीं किया; उन्होंने अन्य प्रसिद्ध "खोज उपकरणों" (जैसे कि सेहगल (Sehgal), सीरिक (Ćirić) और फिशर (Fisher) द्वारा बनाए गए उपकरण) को भी अपग्रेड किया ताकि वे इन ऊबड़-खाबड़, ट्रैफिक-भरे सुप्रामेट्रिक मानचित्रों पर काम कर सकें। उन्होंने दिखाया कि ये उपकरण तब भी काम करते हैं जब मानचित्र एक आदर्श, सुचारू रेखा नहीं होता है।

एक वास्तविक दुनिया का उदाहरण (पेपर से)

यह सिद्ध करने के लिए कि उनका गणित काम करता है, उन्होंने इसे एक फ्रेडहोम इंटीग्रल इक्वेशन (Fredholm integral equation) पर लागू किया।

उपमा: इसे कमरे के आदर्श तापमान सेटिंग खोजने की कोशिश के रूप में सोचें, जहाँ गर्मी कमरे के हर दूसरे हिस्से के तापमान पर निर्भर करती है। यह एक जटिल लूप है।
परिणाम: उन्होंने दिखाया कि अपने नए "बंपी मैप" गणित का उपयोग करके, वे यह सिद्ध कर सकते हैं कि इस समस्या को हल करने के लिए ठीक एक सही तापमान सेटिंग मौजूद है। उन्होंने केवल यह नहीं कहा कि "यह काम करता है"; उन्होंने दिखाया कि गणित गारंटी देता है कि एक अद्वितीय समाधान मौजूद है।

सारांश

सरल शब्दों में, यह शोध पत्र कहता है:

हमारे पास एक नया, थोड़ा अव्यवस्थित प्रकार का गणितीय स्थान (सुप्रामेट्रिक) है।
हमने इस स्थान में एक "फिक्स्ड पॉइंट" (एक स्थिर स्थान) खोजने की गारंटी देने का एक तरीका खोज लिया है।
महत्वपूर्ण रूप से, हमने सिद्ध किया कि उस स्थान को खोजने के लिए आपको पथ का पूरी तरह से सुचारू होने की आवश्यकता नहीं है।
यह 30 साल पुराने पहेली को सुलझाता है कि क्या "सुचारूता" (smoothness) वास्तव में आवश्यक है।
हमने इसका उपयोग गर्मी और प्रवाह से संबंधित एक विशिष्ट प्रकार के समीकरण को हल करने के लिए किया, जिससे यह सिद्ध हुआ कि इसका ठीक एक समाधान मौजूद है।

तकनीकी सारांश: सुप्रामेट्रिक स्थानों में फिक्स्ड पॉइंट पर विच्छिन्नता (Discontinuity)

समस्या विवरण और प्रेरणा
यह शोध पत्र पूर्ण सुप्रामेट्रिक स्थानों (complete suprametric spaces) पर स्व-मैपिंग (self-mappings) के लिए फिक्स्ड पॉइंट के अस्तित्व और विशिष्टता को संबोधित करता है, जो बेरज़िग द्वारा प्रस्तुत मेट्रिक स्थानों का एक सामान्यीकरण है। इस कार्य का मुख्य केंद्र बी. ई. रोड्स (1988) द्वारा प्रस्तुत एक खुला प्रश्न है: क्या कोई ऐसा संकुचनकारी (contractive) परिभाषा मौजूद है जो फिक्स्ड पॉइंट उत्पन्न करने के लिए पर्याप्त मजबूत हो, लेकिन मैपिंग को फिक्स्ड पॉइंट पर निरंतर (continuous) होने के लिए बाध्य न करे?

जबकि शास्त्रीय फिक्स्ड पॉइंट प्रमेय (जैसे बानैक-पिकार्ड-कैसिओपोली) अक्सर निरंतरता की आवश्यकता रखते हैं, और इस्ट्रेट्सकू के क्रम 2 के उत्तल संकुचन (convex contractions) के परिणामों में भी वैश्विक निरंतरता पर निर्भरता होती है, यह शोध पत्र जांच करता है कि क्या कमजोर स्थितियां—विशेष रूप से $k$ -निरंतरता या ऑर्बिटल लोअर सेमी-कंटीन्यूटी (orbital lower semi-continuity)—सुप्रामेट्रिक स्थानों के संदर्भ में फिक्स्ड पॉइंट की गारंटी देने के लिए पर्याप्त हैं। लेखक मौजूदा उत्तल संकुचन और क्वाज़ी-संकुचन (सेहगल, सीरिक, और फिशर) के परिणामों को इस व्यापक परिवेश में सामान्यीकृत करने और रोड्स द्वारा उठाए गए निरंतरता के मुद्दे को हल करने का लक्ष्य रखते हैं।

कार्यप्रणाली और ढांचा
लेखक सुप्रामेट्रिक स्थानों $(X, d)$ के ढांचे के भीतर कार्य करते हैं, जिसे एक फलन द्वारा परिभाषित किया गया है जो समरूपता (symmetry), पहचान की अविभेद्यता (identity of indiscernibles), और एक संशोधित त्रिकोण असमानता (modified triangle inequality) का पालन करता है:
$d(x, y) \leq d(x, z) + d(z, y) + \rho d(x, z)d(z, y)$
जहाँ $\rho \geq 0$ एक स्थिरांक है।

कार्यप्रणाली में शामिल हैं:

संकुचनकारी शर्तों का सामान्यीकरण: क्रम $m$ के उत्तल संकुचन और क्वाज़ी-संकुचन (सीरिक और फिशर सहित) की परिभाषाओं को सुप्रामेट्रिक परिवेश में विस्तारित करना।
निरंतरता धारणाओं को शिथिल करना: वैश्विक निरंतरता की आवश्यकता को बदलकर कमजोर स्थितियों द्वारा प्रतिस्थापित करना:
- $k$ -निरंतरता: एक मैपिंग $T$ , $k$ -निरंतर है यदि $T^{k-1}x_n \to z$ होने पर $T^k x_n \to Tz$ होता है।
- $T$ -ऑर्बिटली लोअर सेमी-कंटीन्यूटी: विस्थापन फलन (displacement function) $D(x) = d(x, Tx)$ किसी बिंदु के ऑर्बिट के साथ लोअर सेमी-कंटीन्यूअस है।
- शर्त (C): अनुक्रम के अभिसरण (convergence) और फिक्स्ड पॉइंट गुण के बीच संबंध रखने वाली एक विशिष्ट स्थिति।
पुनरावृत्ति विश्लेषण (Iterative Analysis): पिकार्ड पुनरावृत्तियों ( $x_n = T^n x_0$ ) का उपयोग करना और अनुवर्ती अभ्यंतरों (successive iterates) पर सीमाएं स्थापित करना ताकि अनुक्रम के कॉची (Cauchy) गुण को सिद्ध किया जा सके। प्रमाणों में अक्सर मानक मेट्रिक स्पेस तकनीकों (जैसे लॉगरिदमिक रूपांतरण या समकक्ष मेट्रिक्स का उपयोग करना) के अनुकूल सुप्रामेट्रिक असमानता को रूपांतरित करना शामिल होता है ताकि अभिसरण स्थापित किया जा सके।

प्रमुख योगदान और परिणाम

क्रम $m$ के उत्तल सं autrement (Convex Contractions) के लिए फिक्स्ड पॉइंट प्रमेय:
शोध पत्र प्रमेय 2.1 को स्थापित करता है, जो यह सिद्ध करता है कि एक पूर्ण सुप्रामेट्रिक स्थान पर एक स्व-मैपिंग $T$ , जो क्रम $m$ की उत्तल संकुचन स्थिति को संतुष्ट करती है (जहाँ $d(T^m x, T^m y) \leq \sum_{i=0}^{m-1} a_i d(T^i x, T^i y)$ और $\sum a_i < 1$ ), एक अद्वितीय फिक्स्ड पॉइंट रखती है। महत्वपूर्ण रूप से, यह प्रमेय तब भी मान्य है जब $T$ निम्नलिखित में से किसी भी एक को संतुष्ट करता है:
- $T$ , $k$ -निरंतर है।
- विस्थापन फलन $D(x)$ , $T$ -ऑर्बिटली लोअर सेमी-कंटीन्यूअस है।
- $T$ , शर्त (C) को संतुष्ट करता है।
  यह परिणाम इस्ट्रेट्सकू के क्रम 2 के प्रमेय को सामान्यीकृत करता है और सुप्रामेट्रिक स्थानों में इसे क्रम $m$ तक विस्तारित करता है।
रोड्स के खुले प्रश्न का समाधान:
लेखक दावा करते हैं कि उनके परिणाम रोड्स के खुले प्रश्न का "एक नया और विशिष्ट समाधान" प्रदान करते हैं। यह प्रदर्शित करके कि उत्तल संकुचन क्रम $m$ (ऊपर सूचीबद्ध कमजोर स्थितियों पर निर्भर करते हुए) बिना फिक्स्ड पॉइंट पर निरंतरता की आवश्यकता के अद्वितीय फिक्स्ड पॉइंट उत्पन्न करते हैं, वे ऐसे संकुचनकारी परिभाषाओं के अस्तित्व की पुष्टि करते हैं।
क्वाज़ी-संकुचन का सामान्यीकरण:
- सीरिक का क्वाज़ी-संकुचन: प्रमेय 3.1 सुप्रामेट्रिक स्थानों में सीरिक के परिणाम को सामान्यीकृत करता है, जो $n(x)$ के अभ्यंतरों (iterates) से जुड़ी एक सामान्यीकृत क्वाज़ी-संकत्रक्टिव असमानता के लिए एक अद्वितीय फिक्स्ड पॉइंट सिद्ध करता है।
- सेहगल का परिणाम: प्रमेय 3.2 इस परिवेश में संकुचन सिद्धांत के 1969 के सामान्यीकरण को विस्तारित करता है।
- फिशर का क्वाज़ी-संकुचन: प्रमेय 4.1 दो निश्चित पूर्णांकों $n$ और $m$ और विभिन्न अभ्यंतरों के अधिकतम (maximum) से संबंधित फिशर के 1979 के परिणामों को विस्तारित करता है, फिर से शिथिल निरंतरता स्थितियों के तहत विशिष्टता को सिद्ध करता है।
अनुप्रयोग:
शोध पत्र द्वितीय प्रकार के फ्रेडहोम इंटीग्रल समीकरण (Fredholm integral equation) के समाधान के अस्तित्व और विशिष्टता के लिए अपने मुख्य सैद्धांतिक परिणामों को लागू करता है:
$f(x) = \int_a^b K(x, t)f(t) dt$
निरंतर फलनों के स्थान $C[a, b]$ पर एक विशिष्ट सुप्रामेट्रिक को परिभाषित करके, लेखक दिखाते हैं कि इंटीग्रल ऑपरेटर उत्तल संकुचन क्रम 2 को संतुष्ट करता है, जिससे पारंपरिक अर्थों में ऑपरेटर के फिक्स्ड पॉइंट पर निरंतर होने की आवश्यकता के बिना एक अद्वितीय समाधान सुनिश्चित होता है (हालांकि यह लिप्सचिट्ज़ निरंतर है, जो $k$ -निरंतरता की स्थिति को संतुष्ट करता है)।

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