A revised and extended version of McShane-Whitney extensions for fuzzy Lipschitz maps

यहाँ "A Revised and Extended Version of McShane-Whitney Extensions for Fuzzy Lipschitz Maps" नामक शोध पत्र का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र फजी मीट्रिक स्पेस के एक उपसमुच्चय (subset) से संपूर्ण स्थान तक फजी लिप्सचिट्ज़ मानचित्रों (fuzzy Lipschitz maps) के विस्तार (extension) के संबंध में मौजूदा साहित्य में मौजूद एक महत्वपूर्ण अंतराल को संबोधित करता है। विशेष रूप से, यह उन्हीं लेखकों द्वारा Fuzzy Sets and Systems (2021) में प्रकाशित एक पिछले परिणाम की आलोचना करता है।

• त्रुटि (The Flaw): 2021 के शोध पत्र ने एक यूक्लिडियन फजी मीट्रिक स्पेस $(\mathbb{R}, M_{\phi,g}, *)$ में मानचित्रों के लिए एक McShane-Whitney विस्तार प्रमेय स्थापित किया था। हालाँकि, उस कार्य के प्रमाणों में अंतर्निहित रूप से $\phi^{-1}$ के अस्तित्व पर निर्भरता थी।
• विरोधाभास (The Contradiction): एक यूक्लिडियन फजी मीट्रिक स्पेस की परिभाषा में, फलन $\phi: [0, +\infty) \to [0, +\infty)$ के लिए केवल बढ़ता हुआ (increasing) होना आवश्यक है। यह आवश्यक रूप से एकैकी (bijective/one-to-one and onto) नहीं है। जैसा कि शोध पत्र में उल्लेख किया गया है, $\phi$ परिबद्ध (bounded) भी है, जिसका अर्थ है कि एक मानक व्युत्क्रम (inverse) $\phi^{-1}$ अक्सर अस्तित्व में नहीं होता है।
• लक्ष्य (The Goal): लेखकों का लक्ष्य इन प्रमाणों को सुधारना और प्रमेय का विस्तार करना है, जिसमें गैर-विद्यमान $\phi^{-1}$ को एक गणितीय रूप से कठोर विकल्प से प्रतिस्थापित किया जाए जो सामान्य बढ़ते फलनों के लिए कार्य कर सके।

2. कार्यप्रणाली (Methodology)

लेखक इस समस्या को हल करने के लिए फजी सेट थ्योरी (fuzzy set theory), मीट्रिक ज्योमेट्री (metric geometry), और ऑर्डर थ्योरी (order theory) (विशेष रूप से गैलॉइस कनेक्शन/Galois connections) के उपकरणों का उपयोग करते हैं।

• स्थान की परिभाषा को परिष्कृत करना (Refining the Space Definition): वे एक बाएं-सतत (left-continuous) यूक्लिडियन फजी मीट्रिक स्पेस की अवधारणा पेश करते हैं। इसके लिए यह आवश्यक है कि $\phi$ न केवल बढ़ता हुआ हो, बल्कि बाएं-सतत (left-continuous) भी हो।
• दायां-संलग्न (Right-Adjoint $\phi^*$) का परिचय:
  • चूँकि $\phi$ व्युत्क्रमणीय (invertible) नहीं हो सकता है, इसलिए लेखक $\phi$ के दाएं-संलग्न (right-adjoint) या रेसिडुअल (residual) का उपयोग करते हैं, जिसे $\phi^*$ द्वारा दर्शाया गया है।
  • इसे इस प्रकार परिभाषित किया गया है: $\phi^*(y) = \sup \{x \in [0, +\infty] : \phi(x) \leq y\}$।
  • प्रमुख गुण:
    1. $\text{id} \leq \phi^* \circ \phi$ (संयोजन पहचान (identity) से बड़ा या उसके बराबर है)।
    2. यदि $\phi$ बढ़ता हुआ और बाएं-सतत है, तो $\phi \circ \phi^* \leq \text{id}$।
  • यह लेखकों को व्युत्क्रम की आवश्यकता के बिना, व्युत्क्रम तर्क (inverse logic) को लागू करने की अनुमति देता है।
• परिबद्धता को संभालना (Handling Boundedness): लेखक पहचानते हैं कि यदि $\phi$ परिबद्ध है (जो कि फजी मीट्रिक के लिए सत्य है), तो $\phi^*$ बड़े इनपुट के लिए $+\infty$ का मान ले सकता है। विस्तार को विफल होने से रोकने के लिए, वे लिप्सचिट्ज़ स्थिरांक (Lipschitz constant) के $\phi$ के सुप्रीमम (supremum) के सापेक्ष एक परिबद्धता स्थिति (boundedness condition) पेश करते हैं।

3. मुख्य योगदान (Key Contributions)

A. सैद्धांतिक सुधार (Theoretical Correction)

यह शोध पत्र फजी लिप्सचिट्ज़ मानचित्रों के लिए McShane-Whitney विस्तार प्रमेय के परिभाषा और प्रमाणों को सुधारता है। यह प्रदर्शित करता है कि $\phi$ के व्युत्क्रम होने का अनुमान अनावश्यक और गलत था; $\phi$ की बाएं-निरंतरता (left-continuity) और इसके दाएं-संलग्न $\phi^*$ का उपयोग पर्याप्त है।

B. संशोधित प्रमेय (Revised Theorem - Theorem 5)

लेखक एक विशिष्ट बाधा के साथ विस्तार प्रमेय का सुधारा गया संस्करण प्रस्तुत करते हैं:

• शर्त: विस्तार के अस्तित्व के लिए, लिप्सचिट्ज़ स्थिरांक $K(t)$, फलन $g(t)$, और फजी दूरी $(1 - M(x,y,t))$ से संबंधित पद $\phi(+\infty)$ से कम होना चाहिए।
• महत्व: यह सुनिश्चित करता है कि $\phi^*$ में पारित किया गया तर्क ऐसे रेंज के भीतर रहे जहाँ वह परिमित (finite) हो, जिससे विस्तार को अपरिभाषित होने से रोका जा सके।

C. स्पष्ट विस्तार सूत्र (Explicit Extension Formulas)

शोध पत्र McShane और Whitney विस्तारों के सुधारे गए सूत्र प्रदान करता है। $\phi^{-1}$ के बजाय, अब सूत्र $\phi^*$ का उपयोग करते हैं:

• McShane विस्तार ($f^M$):
  $$f^M(x, t) = \sup_{s \in S} \left\{ f(s, t) - \phi^*\left( \frac{K(t)}{g(t)} (1 - M(x, s, t)) \right) \right\}$$
• Whitney विस्तार ($f^W$):
  $$f^W(x, t) = \inf_{s \in S} \left\{ f(s, t) + \phi^*\left( \frac{K(t)}{g(t)} (1 - M(x, s, t)) \right) \right\}$$

D. विशिष्ट उदाहरणों पर अनुप्रयोग (Application to Specific Examples)

लेखक मूल 2021 के शोध पत्र के दो विशिष्ट उदाहरणों की पुनरावृत्ति करते हैं जहाँ $\phi(x) = \min\{x, 1\}$ (जो एकैकी नहीं है) है।

• वे प्रदर्शित करते हैं कि मूल सूत्र अमान्य थे क्योंकि इस फलन के लिए $\phi^{-1}$ अस्तित्व में नहीं है।
• वे $\phi^*$ का उपयोग करके सुधारे गए स्पष्ट सूत्र प्राप्त करते हैं, जो इस विशिष्ट मामले में एक टुकड़ों वाले फलन (piecewise function) के रूप में कार्य करता है (बड़े मानों के लिए परिबद्धता बाधा के अधीन छोटे मानों के लिए 2 से स्केलिंग करता है)।

4. परिणाम (Results)

• अस्तित्व का प्रमाण: यह शोध पत्र सिद्ध करता है कि इस शर्त के तहत कि $\phi$ बाएं-सतत है और लिप्सचिट्ज़ स्थिति परिबद्धता बाधा को संतुष्ट करती है, एक फजी लिप्सचिट्ज़ विस्तार हमेशा अस्तित्व में रहता है।
• गुणों का संरक्षण: निर्मित विस्तार ($f^M$ और $f^W$) पूरे स्थान $X \times (0, +\infty)$ पर फजी लिप्सचिट्ज़ मानचित्र होने सिद्ध होते हैं।
• सामान्यीकरण: परिणाम पहले की तुलना में व्यापक श्रेणी के यूक्लिडियन फजी मीट्रिक स्पेस पर लागू होते हैं, जो $\phi$ के लिए प्रतिबंधात्मक और अक्सर गलत धारणा (एकैकीता) को हटा देते हैं।

5. महत्व (Significance)

• गणितीय कठोरता (Mathematical Rigor): यह शोध पत्र फजी लिप्सचिट्ज़ विस्तारों के आधारभूत सिद्धांत में एक सूक्ष्म लेकिन महत्वपूर्ण तार्किक त्रुटि को सुधारता है। यह सुनिश्चित करता है कि इस क्षेत्र के प्रमेय निहित धारणाओं के बजाय आवश्यक और पर्याप्त शर्तों पर आधारित हों।
• व्यावहारिक प्रयोज्यता (Practical Applicability): गैर-एकैकी $\phi$ फलनों (जैसे $\min\{x, 1\}$) के लिए सही सूत्र प्रदान करके, यह शोध पत्र McShane-Whitney विस्तार प्रमेय को डेटा विश्लेषण, इमेज प्रोसेसिंग और अनुमानित तर्क (approximate reasoning) में उपयोग किए जाने वाले व्यापक व्यावहारिक फजी मीट्रिक स्पेसों के लिए लागू बनाता है।
• सैद्धांतिक ढांचा (Theoretical Framework): गैर-व्युत्क्रमणीय फजी मीट्रिक फलनों को संभालने के लिए एक मानक उपकरण के रूप में दाएं-संलग्न $\phi^*$ का परिचय देना, फजी मीट्रिक स्पेस और फजी लिप्सचिट्ज़ विश्लेषण में भविष्य के अनुसंधान के लिए एक मजबूत ढांचा स्थापित करता है।

संक्षेप में, यह शोध पत्र पिछले कार्य के लिए एक आवश्यक सुधार और विस्तार के रूप में कार्य करता है, जो व्युत्क्रम फलनों पर दोषपूर्ण निर्भरता को दाएं-संलग्नों (right-adjoints) के उपयोग वाले एक कठोर ऑर्डर-थ्योरेटिक दृष्टिकोण से बदलकर, फजी लिप्सचिट्ज़ मानचित्रों को विस्तारित करने के सैद्धांतिक आधार को सुदृढ़ करता है।