A general framework for level continuous fuzzy-valued functions

إليك ملخص تقني مفصل للورقة البحثية بعنوان "إطار عام للدوال ذات القيم الضبابية المستمرة عند المستوى" (A General Framework for Level Continuous Fuzzy-Valued Functions) للباحثين ج. ج. فونت، س. ماكاريو، وم. سانشيس.

1. بيان المشكلة

تتناول الورقة التحدي الرياضي المتمثل في تحليل الدوال ذات القيم الضبابية المستمرة تحت طوبولوجيا تقارب المستويات ($\tau_\ell$)، وهي طوبولوجيا أضعف من طوبولوجيا متري المتتالية (supremum metric topology) المعيارية ($d_\infty$).

• السياق: يعتمد التحليل الضبابي على الأعداد الضبابية ($E^1$). وبينما تُعد فضاءات الأعداد الضبابية مدروسة جيدًا تحت متري المتتالية $d_\infty$ (مما يجعلها فضاءً مترياً كاملاً)، فإن طوبولوجيا تقارب المستويات تظل متميزة وأضعف.
• الفجوة: نجحت الأبحاث السابقة في دمج الدوال ذات القيم الضبابية في فضاءات باناخ (تحديدًا حواصل ضرب فضاءات $C([0,1])$) عند التعامل مع الأعداد الضبابية المستمرة ($E^1_c$) أو الدوال المستمرة تحت $d_\infty$. ومع ذلك، فإن عمليات الدمج هذه تفشل أو تتطلب تعديلاً عند التعامل مع الأعداد الضبابية العامة (التي قد لا تكون مستمرة) تحت طوبولوجيا تقارب المستويات.
• المشكلة المحددة: الدوال $f: K \to E^1$ التي تكون مستمرة تحت $\tau_\ell$ لا تؤدي بالضرورة إلى تمثيلات حقيقية مستمرة بشكل مشترك. وتحديدًا، قد تفتقر دوال المقاطع العرضية (cross-section functions) إلى الاستمرارية في الإحداثي الأول (مستوى $\lambda$)، مما يستلزم إطارًا وظيفيًا جديدًا.

2. المنهجية

يستخدم المؤلفون نهج التمثيل البارامتري القائم على توصيف غوتشيل-فوكسمان للأعداد الضبابة.

1. التمثيل البارامتري:
   كل عدد ضبابي $u \in E^1$ يتم توصيفه من خلال مجموعات مستواه $\lambda$، وهي $[u]_\lambda = [u^-(\lambda), u^+(\lambda)]$. ويتم تفكيك الدالة ذات القيم الضبابية $f: K \to E^1$ إلى دالتين حقيقيتين بمتغيرين:
   $$f_1(\lambda, t) = [f(t)]^-(\lambda) \quad \text{و} \quad f_2(\lambda, t) = [f(t)]^+(\lambda)$$
   حيث يمثل $\lambda \in [0, 1]$ المستوى، ويمثل $t \in K$ (فضاء متراص) المجال.

2. تحليل الاستمرارية:
   يحلل المؤلفون خصائص الاستمرارية لـ $f_1$ و $f_2$:

   • بالنسبة لـ $f \in C(K, E^1_\infty)$، يكون التقارب منتظمًا في $\lambda$، مما يؤدي إلى خصائص استمرارية معيارية.
   • بالنسبة لـ $f \in C(K, E^1_\ell)$، يكون التقارب نقطيًا في $\lambda$. وهذا ينتج عنه دوال مستمرة منفصلًا في $t$ ولكنها مستمرة من اليسار فقط (أو مستمرة من اليمين عند الصفر) في $\lambda$.

3. بناء فضاء دوال جديد:
   يصيغ المؤلفون فضاءً جديدًا للدوال، يُرمز له بـ $C([0, 1] \times K)$، والذي يتميز بـ:

   • الاستمرار المشترك من اليسار: مستمرة في طوبولوجيا الضرب للمستوى $\lambda \in (0, 1]$.
   • الاستمرار المشترك من اليمين: مستمرة عند $\lambda = 0$.
   • الرتابة (Monotonicity): بالنسبة لـ $t$ ثابت، تكون الدالة رتيبة في $\lambda$ (متزايدة لـ $f_1$ وغير متزايدة لـ $f_2$).

4. استراتيجية الدمج:
   تبني الورقة دمجًا متماثلًا ومتساوي القياس (isometric and isomorphic embedding) لفضاء الدوال ذات القيم الضبابية المستمرة عند المستوى $C(K, E^1_\ell)$ في فضاء الضرب $C([0, 1] \times K) \times C([0, 1] \times K)$.

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

• تعريف $C([0, 1] \times K)$: تقدم الورقة فضاءً جديدًا من الدوال الحقيقية على مجال ضرب يحقق شروط استمرارية مختلطة محددة (استمرار من اليسار/اليمين) والرتابة.
  • الأهمية: هذا الفضاء ليس فضاءً متجهيًا ولا مخروطًا (cone) لأن مجموع دالتين ذات اتجاهات رتابة مختلفة (واحدة متزايدة والأخرى متناقصة) قد لا يكون رتيبًا، مما ينتهك خاصية الانغلاق المطلوبة للفضاءات المتجهية.
• مبرهنة الدمج متساوي القياس (المبرهنة 4.7):
  يثبت المؤلفون أن $(C(K, E^1_\ell), D)$ يمكن دمجه بشكل متماثل ومتساوي القياس في مخروط محدب مغلق داخل فضاء الضرب $(C([0, 1] \times K) \times C([0, 1] \times K), D_\infty)$.
  • تم تعريف المتري $D$ كالتالي: $D(f, g) = \sup_{t \in K} d_\infty(f(t), g(t))$.
• إثبات المحدودية (المبرهنة 4.4):
  ثبت أن الدوال في $C([0, 1] \times K)$ محدودة، بشرط أن يكون $K$ متراصًا. ويعتمد هذا بشكل حاسم على شرط الرتابة؛ فبدون هذا الشرط، يمكن أن تكون هذه الدوال غير محدودة (كما هو موضح في المثال 4.5).
• التمييز بين الطوبولوجيات:
  تميز الورقة بدقة بين $C(K, E^1_\infty)$ و $C(K, E^1_\ell)$ من خلال تحليل سلوك النهايات اليمنى.
  • الدوال في $C(K, E^1_\infty)$ تحقق خاصية "الاستمرار المشترك للنهاية اليمنى".
  • الدوال في $C(K, E^1_\ell)$ تفشل عمومًا في تحقيق هذه الخاصية (كما هو موضح في المثال 5.8)، مما يسلط الضوء على اختلاف بنيوي جوهري بين الفضائين.

4. النتائج الرئيسية

1. التمثيل: كل دالة ذات قيم ضبابية مستمرة عند المستوى تقابل بشكل فريد زوجًا من الدوال $(f_1, f_2)$ في الفضاء الجديد $C([0, 1] \times K)$.
2. التمييز الطوبولوجي: بينما $C(K, E^1_c, \infty) = C(K, E^1_c, \ell)$ (أي أنهما يتطابقان للأعداد الضبابية المستمرة)، فإن الفضاءات تتباعد بالنسبة للأعداد الضبابية العامة. المميز الرئيسي هو التقارب المنتظم للمقاطع العرضية في الإحداثي الأول.
3. سلوك النهايات:
   • التمهيد 5.2 و 5.3: يثبت أن النهايات اليمنى موجودة وتتصرف باستمرار تحت التقارب المنتظم بالنسبة للدوال في $C([0, 1] \times K)$.
   • الأمثلة المضادة: تقدم الورقة أمثلة صريحة (مثل المثال 3.1 والمثال 5.8) توضح أنه بدون التقارب المنتظم (أي في حالة $\tau_\ell$)، يفشل تبادل النهايات (تحديدًا فيما يتعلق بالنهايات اليمنى)، مما يكسر الاستمرار المشترك للنهاية اليمنى.

5. الأهمية والأثر

• التقدم النظري: يوفر هذا العمل أول إطار عام للتعامل مع الدوال ذات القيم الضبابية المستمرة عند المستوى دون قصرها على الأعداد الضبابية المستمرة. وهو يسد فجوة في التحليل الضبابي حيث اعتمدت الطرق السابقة بشكل كبير على متري $d_\infty$ الأقوى.
• كائنات رياضية جديدة: إن تقديم الفضاء $C([0, 1] \times K)$ يوسع أدوات التحليل الكلاسيكي. فهو يوفر بيئة لدراسة الدوال التي تكون رتيبة وتمتلك خصائص استمرار أحادية الجانب محددة، والتي تظهر طبيعيًا في السياقات الضبابية ولكن لم تكن رسمية سابقًا.
• التطبيقات: من خلال دمج هذه الدوال في حاصل ضرب فضاءات الدوال الحقيقية، يُمكّن المؤلفون من تطبيق أدوات التحليل الدالي الكلاسيكية (مثل التكامل، والتفاضل، وتقنيات الأمثلة المتكيفة مع المخاريط) على المعادلات التفاضلية الضبابية، والتحسين الضبابي، ومشكلات اتخاذ القرار التي تنطوي على عدم يقين يتم نمذجته عبر تقارب المستويات.
• الرؤية البنيوية: توضح الورقة أن البنية الجبرية للدوال ذات القيم الضبابية هي أكثر تعقيدًا من مجرد فضاء متجهي بسيط، فهي عبارة عن مخروط داخل فضاء دوال محدد، وتبرز الدور الحاسم للرتابة في ضمان خصائص المحدودية والاستمرار.

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