Ensemble flou

Soient ${\displaystyle (\mu _{i})_{i\in I}}$ une famille de parties floues d'un ensemble ${\displaystyle E}$ indexées selon un ensemble ${\displaystyle I}$, données par leur fonction d'appartenance ${\displaystyle \mu _{i}}$. On définit la réunion ${\displaystyle \mu }$ de ces parties au moyen de la fonction d'appartenance suivante :

${\displaystyle \mu (x)=\sup\{\mu _{i}(x),i\in I\}}$, ce qui sera noté ${\displaystyle \mu =\bigvee _{i\in I}\mu _{i}}$

De même, on définit l'intersection de ces parties au moyen de la fonction d'appartenance suivante :

${\displaystyle \mu (x)=\inf\{\mu _{i}(x),i\in I\}}$, ce qui sera noté ${\displaystyle \mu =\bigwedge _{i\in I}\mu _{i}}$

Réunion et intersection restent distributives l'une par rapport à l'autre.

Le complémentaire d'une partie floue donnée par sa fonction d'appartenance ${\displaystyle \mu }$ est la partie floue dont la fonction d'appartenance est ${\displaystyle 1-\mu }$.

Le complémentaire d'une intersection reste égal à la réunion des complémentaires, et le complémentaire d'une réunion est l'intersection des complémentaires. Le complémentaire du complémentaire redonne la partie initiale.

Cependant, la réunion d'une partie floue et de son complémentaire ne donne pas toujours l'ensemble ${\displaystyle E}$, et l'intersection d'une partie floue et de son complémentaire ne donne pas l'ensemble vide.

En effet, considérons, par exemple, la partie floue ${\displaystyle F}$ de ${\displaystyle E}$ donnée par la fonction d'appartenance: ${\displaystyle \forall x\in E,\mu (x)=1/2}$

Cette partie floue est égale à son complémentaire car sa fonction d'appartenance vérifie ${\displaystyle \mu =1-\mu }$.

On déduit alors de ${\displaystyle F={\overline {F}}}$ que ${\displaystyle F\cup {\overline {F}}=F\cap {\overline {F}}=F}$

Soient ${\displaystyle E}$ et ${\displaystyle F}$ deux ensembles et ${\displaystyle f}$ une application de ${\displaystyle E}$ dans ${\displaystyle F}$. Considérons une partie floue de ${\displaystyle F}$ donnée par sa fonction d'appartenance ${\displaystyle \mu }$. On appelle image réciproque de cette partie floue par ${\displaystyle f}$ la partie floue de ${\displaystyle E}$ donnée par la fonction d'appartenance suivante, notée ${\displaystyle f^{-1}(\mu )}$ :

${\displaystyle \forall x\in E,f^{-1}(\mu )(x)=\mu (f(x))}$

Soient ${\displaystyle E}$ et ${\displaystyle F}$ deux ensembles et ${\displaystyle f}$ une application de ${\displaystyle E}$ dans ${\displaystyle F}$. Considérons une partie floue de ${\displaystyle E}$ donnée par sa fonction d'appartenance ${\displaystyle \mu }$. On appelle image directe de cette partie floue par ${\displaystyle f}$ la partie floue de ${\displaystyle F}$ donnée par la fonction d'appartenance suivante, notée ${\displaystyle f(\mu )}$ :

${\displaystyle \forall y\in F,f(\mu )(y)=\sup\{\mu (x),x\in f^{-1}(\{y\})\}}$

Cette opération a été introduite en 2017 par Javier Perez-Capdevila comme suit: Étant donné les ensembles flous, W1 = {(w11, f (w11)), (w12, f (w12),…, (w1i, f (w1i)}, W2 = {(w21, f (w21)), (w22, f (w22),…, (w2j, f (w2j)}, ..., Wm = {(wm1, f (wm1)), (wm2, f (wm2),…, (w2k, f (w2k)} si on obtient à partir de ces ensembles un ensemble M = {(m1, f (m1)), (m2, f (m2),…, (mn, f (mn)}, tel que chaque mi, i = 1, 2,…, n, est une combinaison d'éléments appartenant à chaque Wk, k = 1, 2,…, m, chaque élément de chaque Wk fait partie d'au moins un mi, et les valeurs de f (mi) sont la moyenne arithmétique des valeurs de fonction des éléments qui forment chaque mi, l'ensemble M est appelé ensemble complet flou complet.

Soit ${\displaystyle E}$ un ensemble. Une topologie floue est donnée par une collection ${\displaystyle \delta }$ de fonctions d'appartenance vérifiant les propriétés suivantes :

(i) les fonctions 0 et 1 appartiennent à la collection ${\displaystyle \delta }$

(ii) La borne inférieure d'un nombre fini d'éléments de ${\displaystyle \delta }$ est élément de ${\displaystyle \delta }$

(iii) La borne supérieure d'un nombre quelconque d'éléments de ${\displaystyle \delta }$ est élément de ${\displaystyle \delta }$.

Les éléments de ${\displaystyle \delta }$ sont les ouverts flous. Leurs complémentaires sont les fermés flous. La propriété (i) exprime que l'ensemble ${\displaystyle E}$ et l'ensemble vide sont des ouverts flous, la propriété (ii) qu'une intersection finie d'ouverts flous est un ouvert flou et la propriété (iii) qu'une réunion quelconque d'ouverts flous est un ouvert flou.

Par exemple, étant donné un espace ${\displaystyle E}$ muni d'une topologie ${\displaystyle \tau }$ au sens usuel, on peut lui associer une topologie floue naturelle ${\displaystyle \omega (\tau )}$ en prenant pour ${\displaystyle \delta }$ la collection des fonctions semi-continues inférieurement à valeurs dans [0,1]. La topologie floue ainsi définie est dite engendrée par la topologie initiale ${\displaystyle \tau }$ de ${\displaystyle E}$. Réciproquement, si ${\displaystyle \delta }$ est une topologie floue définie sur ${\displaystyle E}$, on peut lui associer une topologie ${\displaystyle \iota (\delta )}$ au sens usuel, à savoir la topologie la moins fine rendant toutes les fonctions de ${\displaystyle \delta }$ semi-continues inférieurement.

On peut alors introduire des notions plus complexes de topologie floue.

Ainsi une fonction est continue floue si et seulement si l'image réciproque d'un ouvert flou de l'ensemble d'arrivée est un ouvert flou de l'ensemble de départ. Les fonctions constantes sont continues floues si et seulement si la topologie floue de l'espace de départ contient tous les ouverts flous définis par des fonctions d'appartenance constantes.

Par analogie à la notion topologique usuelle, un espace topologique flou est compact si, de tout recouvrement par des ouverts flous, on peut extraire un recouvrement fini. Si l'image d'un compact par une application continue floue est compacte, en revanche, le théorème de Tychonoff n'admet qu'une version limitée : seul le produit fini de compacts en topologie floue est compact[5]^,[6]. Plus généralement, soit ${\displaystyle L}$ un treillis complet, distributif et complémenté d'élément maximum 1, soit ${\displaystyle \alpha }$ un nombre cardinal et soit ${\displaystyle (X_{i})_{i\in I}}$ une famille de compacts en topologie L-floue, où ${\displaystyle I}$ est de cardinal ${\displaystyle \alpha }$. Alors le produit des ${\displaystyle X_{i}}$ est compact pour la topologie produit L-floue si et seulement si 1 vérifie la propriété suivante : pour toute famille ${\displaystyle (a_{i})_{i\in I}}$ d'éléments de ${\displaystyle L}$ strictement inférieurs à 1, ${\displaystyle \sup\{a_{i},i\in I\}}$ est strictement inférieur à 1 (théorème de Tychonoff pour la topologie L-floue). Dans le cas où ${\displaystyle L=\{0,1\}}$, donnant la topologie usuelle, cette propriété est vérifiée pour tout cardinal ${\displaystyle \alpha }$ et un produit quelconque de compacts est compact. Mais si ${\displaystyle L=[0,1]}$, donnant la topologie floue, la propriété n'est vérifiée que pour les cardinaux finis.

Lowen[7] a proposé une autre définition des compacts en topologie floue. En effet, si la topologie floue comprend toutes les fonctions d'appartenance constantes, il n'existe pas de compact au sens précédent : les fonctions ${\displaystyle \mu _{i}={i \over i+1}}$ sont telles que ${\displaystyle \bigvee _{i\in \mathbb {N} }\mu _{i}=1}$ donc ces fonctions définissent un recouvrement de l'espace mais il n'en existe pas de sous-recouvrement fini. Un espace ${\displaystyle E}$ est compact pour la topologie floue au sens de Lowen si, pour toute fonction d'appartenance constante ${\displaystyle \nu }$, tout ${\displaystyle \epsilon >0}$ et toute famille d'ouverts flous ${\displaystyle (\mu _{i})_{i\in I}}$ telle que ${\displaystyle \bigvee _{i\in I}\mu _{i}\geq \nu }$, il existe une sous-famille finie ${\displaystyle J\subset I}$ telle que ${\displaystyle \bigvee _{i\in J}\mu _{i}\geq \nu -\epsilon }$. Avec cette définition, un espace muni d'une topologie ${\displaystyle \tau }$ usuelle est compact si et seulement s'il est compact muni de la topologie floue ${\displaystyle \omega (\tau )}$ engendrée par ${\displaystyle \tau }$, et un produit quelconque d'espaces compacts est compact (théorème de Tychonoff pour la topologie floue au sens de Lowen).

Enfin, on montre que le théorème de Tychonoff pour la topologie L-floue et le théorème de Tychonoff pour la topologie floue au sens de Lowen sont, comme le théorème de Tychonoff usuel, équivalents à l'axiome du choix.