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. بيان المشكلة

تتناول الورقة فجوة حرجة في الأدبيات الحالية المتعلقة بامتداد الخرائط الليبشيتزية الضبابية (fuzzy Lipschitz maps) من مجموعة جزئية من فضاء متري ضبابي إلى الفضاء بأكته. وتحديداً، تنتقد الورقة نتيجة سابقة نُشرت في مجلة Fuzzy Sets and Systems (2021) من قبل المؤلفين أنفسهم.

• الخلل: أثبتت ورقة عام 2021 وجود امتداد "مكشين-ويتني" للخرائط في فضاء متري إقليدي ضبابي $(\mathbb{R}, M_{\phi,g}, *)$، إلا أن البراهين في ذلك العمل اعتمدت ضمنياً على وجود الدالة العكسية $\phi^{-1}$.
• التناقض: في تعريف الفضاء المتري الإقليدي الضبابي، يُشترط في الدالة $\phi: [0, +\infty) \to [0, +\infty)$ أن تكون متزايدة فقط، وليست بالضرورة تقابلية (أي ليست شرطاً أن تكون متباينة وشاملة). وكما أشارت الورقة، فإن $\phi$ تكون أيضاً محدودة، مما يعني أن الدالة العكسية القياسية $\phi^{-1}$ غالباً ما تكون غير موجودة.
• الهدف: يسعى المؤلفون لتصحيح هذه البراهين وتوسيع النظرية عبر استبدال $\phi^{-1}$ غير الموجودة ببديل رياضي دقيق يعمل مع الدوال المتزايدة العامة $\phi$.

2. المنهجية

يستخدم المؤلفون أدوات من نظرية المجموعات الضبابية، الهندسة المترية، ونظرية الترتيب (وتحديداً الروابط الجالوا - Galois connections) لحل هذه المشكلة.

• تنقيح تعريف الفضاء: قدموا مفهوم الفضاء المتري الإقليدي الضبابي ذو الاتصال اليساري (left-continuous Euclidean fuzzy metric space). وهذا يتطلب أن تكون $\phi$ ليست فقط متزايدة، بل متصلة من اليسار أيضاً.
• تقديم الملحق الأيمن ($\phi^*$):
  • نظراً لأن $\phi$ قد لا تكون قابلة للعكس، استخدم المؤلفون الملحق الأيمن (أو المتبقي) لـ $\phi$، ويرمز له بـ $\phi^*$.
  • ويُعرف كالتالي: $\phi^*(y) = \sup \{x \in [0, +\infty] : \phi(x) \leq y\}$.
  • الخصائص الرئيسية:
    1. $\text{id} \leq \phi^* \circ \phi$ (التركيب أكبر من أو يساوي الدالة المحايدة).
    2. إذا كانت $\phi$ متزايدة ومتصلة من اليسار، فإن $\phi \circ \phi^* \leq \text{id}$.
  • يتيح ذلك للمؤلفين "عكس" منطق المتباينة دون اشتراط كون $\phi$ تقابلية.
• التعامل مع المحدودية: حدد المؤلفون أنه إذا كانت $\phi$ محدودة (وهو أمر صحيح في المقاييس الضبابية)، فإن $\phi^*$ يمكن أن تأخذ القيمة $+\infty$ للمدخلات الكبيرة. ولمنع هذا من إفساد الامتداد، قدموا شرط محدودية على ثابت ليبشيتز بالنسبة لـ $\sup \phi$.

3. المساهمات الرئيسية

أ. التصحيح النظري

تصحح الورقة تعريف وبراهين نظرية امتداد مكشين-ويتني للخرائط الليبشيتزية الضبابية. وتثبت أن افتراض كون $\phi$ قابلة للعكس كان غير ضروري وغير صحيح؛ حيث إن الاتصال من اليسار لـ $\phi$ واستخدام ملحقها الأيمن $\phi^*$ كافيان.

ب. النظرية المنقحة (المبرهنة 5)

يقدم المؤلفون نسخة مصححة من نظرية الامتداد مع قيد محدد:

• الشرط: لكي يوجد الامتداد، يجب أن يكون الحد الذي يتضمن ثابت ليبشيتز $K(t)$، والدالة $g(t)$، والمسافة الضبابية $(1 - M(x,y,t))$ أقل تماماً من $\phi(+\infty)$.
• الأهمية: يضمن هذا بقاء الوسيط الممرر إلى $\phi^*$ ضمن نطاق يكون فيه حقيقياً، مما يمنع الامتداد من أن يصبح غير معرف.

ج. صيغ الامتداد الصريحة

تقدم الورقة صيغاً مصححة لامتدادات مكشين (McShane) وويتني (Whitney). وبدلاً من استخدام $\phi^{-1}$، تستخدم الصيغ الآن $\phi^*$:

• امتداد مكشين ($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\}$$
• امتداد ويتني ($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\}$$

د. التطبيق على أمثلة محددة

راجع المؤلفون مثالين محددين من ورقة عام 2021 الأصلية حيث $\phi(x) = \min\{x, 1\}$ (وهي دالة ليست تقابلية).

• أظهروا أن الصيغ الأصلية كانت غير صالحة لأن $\phi^{-1}$ غير موجودة لهذه الدالة.
• اشتقوا الصيغ الصريحة المصححة باستخدام $\phi^*$، والتي تعمل في هذه الحالة المحددة كدالة مجزأة (تضاعف القيمة بمقدار 2 للقيم الصغيرة وتصبح لانهائية للقيم الكبيرة، مع مراعاة شرط المحدودية).

4. النتائج

• إثبات الوجود: تثبت الورقة أنه تحت شرط كون $\phi$ متصلة من اليسار وتحقق شرط المحدودية لثابت ليبشيتز، فإن الامتداد الضبابي الليبشيتزي موجود دائماً.
• الحفاظ على الخصائص: تم إثبات أن الامتدادات المشتقة ($f^M$ و $f^W$) هي خرائط ليبشيتزية ضبابية على كامل الفضاء $X \times (0, +\infty)$.
• التعميم: تنطبق النتائج على فئة أوسع من الفضاءات المترية الإقليدية الضبابية مما كان يُعتقد سابقاً، مما يزيل الافتراض المقيد (والخاطئ غالباً) حول تقابلية $\phi$.

5. الأهمية

• الدقة الرياضية: تصحح الورقة خطأً منطقياً دقيقاً وهاماً في النظرية التأسيسية للامتدادات الليبشيتزية الضبابية. وهي تضمن أن النظريات في هذا المجال تعتمد على شروط ضرورية وكافية بدلاً من الافتراضات الضمنية.
• القابلية للتطبيق العملي: من خلال تقديم صيغ صحيحة للدوال $\phi$ غير التقابلية (مثل $\min\{x, 1\}$)، تجعل هذه الورقة نظرية امتداد مكشين-ويتني قابلة للتطبيق على نطاق أوسع من الفضاءات المترية الضبابية المستخدمة في تحليل البيانات، ومعالجة الصور، والاستدلال التقريبي.
• الإطار النظري: إن تقديم الملحق الأيمن $\phi^*$ كأداة قياسية للتعامل مع دوال المقاييس الضبابية غير القابلة للعكس يؤسس إطاراً قوياً للأبحاث المستقبلية في الفضاءات المترية الضبابية وتحليل ليبشيتز الضبابي.

باختصار، تعمل هذه الورقة كتصحيح وتوسيع ضروري للعمل السابق، حيث استبدلت الاعتماد المعيب على الدوال العكسية بنهج رصين يعتمد على نظرية الترتيب باستخدام الملحقات اليمنى، مما عزز الأساس النظري للامتدادات للخرائط الليبشيتزية الضبابية.