A general framework for level continuous fuzzy-valued functions

1. Problématique et Contexte

L'analyse floue, fondée sur la notion de nombres flous et de fonctions à valeurs floues, s'écarte de l'analyse classique en raison des propriétés algébriques et structurelles différentes des nombres réels et des nombres flous. Le papier aborde un problème central : fournir un cadre général robuste pour étudier les fonctions continues à valeurs floues par rapport à la convergence par niveaux (level convergence), notée $\tau_\ell$.

Jusqu'à présent, la littérature s'est principalement concentrée sur :

• La métrique du supremum ($d_\infty$), qui induit une topologie plus forte.
• Les nombres flous continus ($E^1_c$), où les fonctions de paramétrisation sont continues.

Cependant, l'espace des nombres flous $E^1$ muni de la topologie de convergence par niveaux $\tau_\ell$ est plus large que celui induit par $d_\infty$. Une difficulté majeure réside dans le fait que, dans ce contexte général (nombres flous non nécessairement continus), les représentations paramétriques classiques des fonctions à valeurs floues ne sont pas nécessairement continues par rapport à la première variable (le niveau $\lambda$). Il manque donc un cadre fonctionnel adapté pour caractériser ces fonctions et distinguer leurs propriétés de celles des fonctions continues au sens de $d_\infty$.

2. Méthodologie

Les auteurs adoptent une approche de représentation paramétrique basée sur la caractérisation de Goetschel-Voxman des nombres flous.

• Représentation par deux variables : Pour une fonction $f : K \to E^1$ (où $K$ est un espace compact), ils définissent deux fonctions réelles à deux variables $f_1, f_2 : [0, 1] \times K \to \mathbb{R}$ :
  $$f_1(\lambda, t) = [f(t)]^-(\lambda) \quad \text{et} \quad f_2(\lambda, t) = [f(t)]^+(\lambda)$$
  où $[f(t)]^\pm(\lambda)$ sont les bornes de l'ensemble de niveau $\lambda$ du nombre flou $f(t)$.

• Analyse de la continuité : Ils étudient finement le comportement de ces fonctions $f_i$ en fonction des deux variables :

  • Par rapport à $t$ (l'espace compact $K$) : continuité classique.
  • Par rapport à $\lambda$ (le niveau) : continuité à gauche (left-continuity) et existence de limites à droite, mais pas nécessairement de continuité globale.

• Construction d'un nouvel espace fonctionnel : Pour gérer ce comportement mixte, ils introduisent un nouvel espace de fonctions, noté $\mathcal{C}([0, 1] \times K)$, composé de fonctions réelles satisfaisant des conditions spécifiques de continuité séparée et conjointe, ainsi que de monotonie.

3. Contributions Clés

A. Définition de l'espace $\mathcal{C}([0, 1] \times K)$

Les auteurs définissent rigoureusement l'espace des fonctions $f : [0, 1] \times K \to \mathbb{R}$ telles que :

1. $f$ est jointement continue à gauche (jointly left continuous) en tout point $(\lambda, t) \in (0, 1] \times K$.
2. $f$ est jointement continue à droite (jointly right continuous) en tout point $(0, t) \in \{0\} \times K$.
3. Pour tout $t \in K$, la section $f(\cdot, t)$ est monotone (non décroissante ou non croissante).

Résultat technique important : Ils démontrent que, bien que cet espace ne soit ni un espace vectoriel ni un cône (il n'est pas stable par somme, car la somme de deux fonctions monotones de sens opposés n'est pas monotone), il est un sous-ensemble fermé et complet de l'espace des fonctions bornées muni de la norme du supremum.

B. Théorème d'Embedding Isométrique et Isomorphe

Le résultat principal (Théorème 4.7) établit que l'espace des fonctions continues à valeurs floues par rapport à la topologie $\tau_\ell$, noté $C(K, E^1_\ell)$, peut être plongé isométriquement et isomorphiquement dans un produit de deux copies de l'espace $\mathcal{C}([0, 1] \times K)$.

• L'application de plongement $\Phi(f) = (f_1, f_2)$ préserve la structure métrique.
• L'image de ce plongement est un cône convexe fermé dans le produit.

C. Distinction entre $C(K, E^1_\ell)$ et $C(K, E^1_\infty)$

L'article met en lumière des différences fondamentales entre les fonctions continues pour la métrique $d_\infty$ et celles pour la topologie $\tau_\ell$ :

• Continuité des nombres flous : Une fonction $f \in C(K, E^1_\infty)$ n'implique pas que $f(t)$ soit un nombre flou continu pour tout $t$.
• Comportement des limites à droite : La propriété clé réside dans la continuité conjointe des limites à droite. Pour $f \in C(K, E^1_\infty)$, les fonctions associées $f_1, f_2$ satisfont une condition de continuité conjointe pour les limites à droite (Lemme 5.6). En revanche, pour $f \in C(K, E^1_\ell)$, cette propriété n'est pas garantie, comme le montrent les contre-exemples (Exemple 5.8).

4. Résultats Principaux

1. Borne des fonctions : Tout $f \in \mathcal{C}([0, 1] \times K)$ est borné (Théorème 4.4), grâce à la combinaison de la compacité de $K$, de la monotonie en $\lambda$ et des propriétés de continuité.
2. Stabilité de la limite : L'espace $\mathcal{C}([0, 1] \times K)$ est fermé dans l'espace des fonctions bornées pour la convergence uniforme (Proposition 4.6).
3. Caractérisation des limites : Le Lemme 5.6 montre que la convergence uniforme par rapport à $\lambda$ est nécessaire pour obtenir la propriété de continuité conjointe des limites à droite, une propriété qui distingue les espaces $E^1_\infty$ et $E^1_\ell$.
4. Contre-exemples : L'article fournit des exemples explicites (basés sur l'exemple 3.1) montrant qu'une fonction peut être continue par niveaux sans être continue pour la métrique $d_\infty$, et que les fonctions associées peuvent manquer de régularité dans la première variable.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Cadre Général : Il offre le premier cadre général pour traiter les fonctions à valeurs floues continues par niveaux, au-delà du cas restrictif des nombres flous continus ou de la métrique $d_\infty$.
• Nouveauté Mathématique : L'introduction de l'espace $\mathcal{C}([0, 1] \times K)$ comble un vide dans la littérature de l'analyse classique. Cet espace, bien que n'étant ni un espace vectoriel ni un cône, possède une structure topologique riche (complet, fermé) adaptée aux problèmes d'analyse floue.
• Applications Potentielles : Ce cadre permet d'étendre les résultats d'analyse fonctionnelle (intégrabilité, mesurabilité, optimisation, équations différentielles floues) à des contextes plus larges où la continuité stricte n'est pas garantie.
• Distinction Topologique : Il clarifie mathématiquement les différences de comportement entre les topologies de convergence par niveaux et de métrique du supremum, en identifiant la continuité des limites à droite comme le critère discriminant.

En résumé, l'article établit une fondation solide pour l'analyse des fonctions floues dans des contextes d'incertitude plus généraux, en traduisant les problèmes flous en problèmes d'analyse de fonctions réelles à deux variables avec des contraintes de régularité spécifiques.