Ensemble flou

Ensemble flou

La théorie des sous-ensembles flous[1] est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh[2] en 1965 afin de représenter mathématiquement l'imprécision relative à certaines classes d'objets et sert de fondement à la logique floue.

Sommaire

Présentation

Les sous-ensembles flous (ou parties floues) ont été introduits afin de modéliser la représentation humaine des connaissances, et ainsi améliorer les performances des systèmes de décision qui utilisent cette modélisation.

Les sous-ensembles flous sont utilisés soit pour modéliser l'incertitude et l'imprécision, soit pour représenter des informations précises sous forme lexicale assimilable par un système expert.

Définition

Ensemble flou. Le niveau de gris indique le degré d'appartenance.

Une partie A d'un ensemble E est usuellement associée à sa fonction caractéristique. Celle-ci s'applique sur les éléments x de E. Elle prend la valeur 0 si x n'appartient pas à A et 1 si x appartient à A.

On souhaite définir une partie A floue de E en attribuant aux éléments x de E un degré d'appartenance, d'autant plus élevé qu'on souhaite exprimer avec certitude le fait que x est élément de A. Cette valeur vaudra 0 si on souhaite exprimer que x de façon certaine n'est pas élément de A, elle vaudra 1 si on souhaite exprimer que x appartient à A de façon certaine, et elle prendra une valeur comprise entre 0 et 1 suivant qu'on estime plus ou moins certain l'appartenance de x à A. On est donc amené à définir une partie floue de la façon suivante :

Une partie floue (ou sous-ensemble flou) d'un ensemble E est une application de E dans [0,1].

Plus généralement, si L est un treillis complet, distributif et complémenté, on définit une partie L-floue comme étant une application de E dans L. Si L = [0,1], on retrouve la définition précédente de partie floue, et si L = {0,1}, on retrouve la notion usuelle de partie de E.

Propriétés

  • Une partie floue A de E est caractérisée par une application de E dans [0,1]. Cette application, appelée fonction d'appartenance et notée μA représente le degré de validité de la proposition « x appartient à A » pour chacun des éléments x de E. Si μA(x) = 1, l'objet x appartient totalement à A, et si μA(x) = 0, il ne lui appartient pas du tout. Pour un élément x donné, la valeur de la fonction d'appartenance μA(x) est appelée degré d'appartenance de l'élément x au sous-ensemble A.
  • L'ensemble E est donné par la fonction d'appartenance identiquement égale à 1. L'ensemble vide est donné par la fonction d'appartenance identiquement nulle.
  • Le noyau d'une partie floue A est l'ensemble des éléments qui appartiennent totalement à A c'est-à-dire dont le degré d'appartenance à A vaut 1.
    n(A) = \{x \in E \mid \mu_A(x)=1 \}
  • Le support d'une partie floue A est l'ensemble des éléments appartenant, même très peu, à A c'est-à-dire dont le degré d'appartenance à A est différent de 0.
    \operatorname{supp}(A) = \{x \in E \mid \mu_A(x)>0 \}
  • La hauteur d'un sous-ensemble flou A de E est définie par
    h(A)=\sup\{\mu_A(x) \mid x\in E\}.
  • Une partie floue A de E peut aussi être caractérisée par l'ensemble de ses α-coupes. Une α-coupe d'une partie floue A est le sous-ensemble net (classique) des éléments ayant un degré d'appartenance supérieur ou égal à α.
    \operatorname{\alpha-coupe}(A) = \{x\in E \mid \mu_A(x) \geqslant \alpha\}
  • Un ensemble fini possède un nombre fini de sous-ensembles L-flous si et seulement si le treillis L est fini[3]. Si L = [0,1], un ensemble fini possède une infinité de sous-ensembles flous.

Opérations

En observant comment les opérations usuelles se comportent vis-à-vis des fonctions caractéristiques de parties, on étend ces opérations aux fonctions d'appartenance des parties floues.

Réunion

Soient \mu_i, i \in I une famille de parties floues d'un ensemble E, données par leur fonction d'appartenance. On définit la réunion de ces parties au moyen de la fonction d'appartenance suivante :

\mu(x) = \sup\{ \mu_i(x), i \in I\}, ce qui sera noté \mu = \bigvee_{i \in I} \mu_i

Intersection

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

\mu(x) = \inf\{ \mu_i(x), i \in I\}, ce qui sera noté \mu = \bigwedge_{i \in I} \mu_i

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

Complémentaire

Le complémentaire d'une partie floue donnée par sa fonction d'appartenance μ est la partie floue dont la fonction d'appartenance est 1 − μ.

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 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 F de E donnée par la fonction d'appartenance: \forall x \in E, \mu(x) = 1/2

Cette partie floue est égale à son complémentaire car sa fonction d'appartenance vérifie μ = 1 − μ.

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

Image réciproque

Soient E et F deux ensembles et f une application de E dans F. Considérons une partie floue de F donnée par sa fonction d'appartenance μ. On appelle image réciproque de cette partie floue par f la partie floue de E donnée par la fonction d'appartenance suivante, notée f − 1(μ) :

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

Image directe

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

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

Topologie floue

Dès 1968, Chang[4] a appliqué la théorie des ensembles flous à la topologie, donnant naissance à la topologie floue.

Définition

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

(i) les fonctions 0 et 1 appartiennent à la collection δ
(ii) La borne inférieure d'un nombre fini d'éléments de δ est élément de δ
(iii) La borne supérieure d'un nombre quelconque d'éléments de δ est élément de δ.

Les éléments de δ sont les ouverts flous. Leurs complémentaires sont les fermés flous. La propriété (i) exprime que l'ensemble 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 E muni d'une topologie τ au sens usuel, on peut lui associer une topologie floue naturelle ω(τ) en prenant pour δ 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 τ de E. Réciproquement, si δ est une topologie floue définie sur E, on peut lui associer une topologie ι(δ) au sens usuel, à savoir la topologie la moins fine rendant toutes les fonctions de δ semi-continues inférieurement.

Notions topologiques

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

Continuité

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.

Compacité

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 Tychonov 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 L un treillis complet, distributif et complémenté d'élément maximum 1, soit α un nombre cardinal et soit (X_i)_{i\in I} une famille de compacts en topologie L-floue, où I est de cardinal α. Alors le produit des Xi est compact pour la topologie produit L-floue si et seulement si 1 vérifie la propriété suivante : pour toute famille (a_i)_{i\in I} d'éléments de L strictement inférieurs à 1, \sup\{ a_i, i\in I\} est strictement inférieur à 1 (théorème de Tychonov pour la topologie L-floue). Dans le cas où L = {0,1}, donnant la topologie usuelle, cette propriété est vérifiée pour tout cardinal α et un produit quelconque de compacts est compact. Mais si 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 \mu_i = {i \over i+1} sont telles que \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 E est compact pour la topologie floue au sens de Lowen si, pour toute fonction d'appartenance constante ν, tout \epsilon > 0 et toute famille d'ouverts flous (\mu_i)_{i \in I} telle que \bigvee_{i \in I} \mu_i \ge \nu, il existe une sous-famille finie J \subset I telle que \bigvee_{i \in J} \mu_i \ge \nu - \epsilon. Avec cette définition, un espace muni d'une topologie τ usuelle est compact si et seulement s'il est compact muni de la topologie floue ω(τ) engendrée par τ, et un produit quelconque d'espaces compacts est compact (théorème de Tychonov pour la topologie floue au sens de Lowen).

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

Notes et références

  1. ↑ En anglais : « Fuzzy sets ». Fuzzy sets est également le titre d'un roman de Claude Ollier.
  2. ↑ L. A. Zadeh, Fuzzy sets, Information and Control 8 (1965) 338-353
  3. ↑ A. Kaufmann Introduction à la théorie des sous-ensembles flous à l'usage des ingénieurs, Vol. 1 Eléments théoriques de base, Masson, Paris 1977, ISBN 2 225 45804 9 p.31
  4. ↑ C. L. Chang, Fuzzy topological spaces, J. Math. Anal. Appl. 24 (1968) 182-190
  5. ↑ J. A. Goguen, The fuzzy Tychonoff theorem, J. Math. Anal. Appl. 43 (1973) 734-742
  6. ↑ Stephan C. Carlson, The quest for a fuzzy Tychonoff theorem, Amer. Math. Monthly 115 (2008) 871-887
  7. ↑ R Lowen, Fuzzy topological spaces and fuzzy compactness, J. Math. Anal. Appl. 56 (1976) 621-633

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ensemble flou de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Ensemble Flou — La théorie des sous ensembles flous[1] est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh[2] en 1965 afin de représenter mathématiquement l imprécision relative à certaines classes d objets et… …   Wikipédia en Français

  • Sous-ensemble flou — Ensemble flou La théorie des sous ensembles flous[1] est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh[2] en 1965 afin de représenter mathématiquement l imprécision relative à certaines classes… …   Wikipédia en Français

  • Sous-ensemble flou — ● Sous ensemble flou couple formé d une partie F d un ensemble E et de la loi de probabilité pour chaque élément de E d appartenir à F …   Encyclopédie Universelle

  • flou — flou, floue [ flu ] adj. et n. m. • 1676, répandu au XVIIIe; repris de l a. fr. flo, flou « fatigué »; lat. flavus « jauni », d où « fané, flétri » → fluet 1 ♦ Arts Dont les contours sont adoucis, estompés. ⇒ fondu, vaporeux. Dessin flou. Subst.… …   Encyclopédie Universelle

  • Ensemble — Pour les articles homonymes, voir Ensemble (homonymie). En théorie des ensembles, un ensemble désigne intuitivement[1] une collection d’objets (les éléments de l ensemble), « une multitude qui peut être comprise comme un tout » (au sens …   Wikipédia en Français

  • Flou, Netteté Et Contraste — Note : Il est vivement conseillé de consulter également les articles suivants : Diaphragme Performances de l œil Iris et diaphragme Distance orthoscopique Flou, netteté et contraste Profondeur de foyer Profondeur de champ qui forment un …   Wikipédia en Français

  • Flou, nettete et contraste — Flou, netteté et contraste Note : Il est vivement conseillé de consulter également les articles suivants : Diaphragme Performances de l œil Iris et diaphragme Distance orthoscopique Flou, netteté et contraste Profondeur de foyer… …   Wikipédia en Français

  • sous-ensemble — [ suzɑ̃sɑ̃bl ] n. m. • av. 1937; de sous et ensemble ♦ Math. Sous ensemble de l ensemble E : ensemble dont tous les éléments appartiennent à E. L intersection de deux ensembles forme un sous ensemble de chaque ensemble. ● sous ensemble, sous… …   Encyclopédie Universelle

  • Sopor Aeternus & The Ensemble of Shadows — Sopor Aeternus The Ensemble of Shadows Sopor Aeternus The Ensemble of Shadows (contracté également sous la forme de Sopor Aeternus ou bien Sopor ) est un projet musical aux influences dark folk, gothiques, Darkwave et néoclassiques dont la… …   Wikipédia en Français

  • Sopor aeternus & the ensemble of shadows — Sopor Aeternus The Ensemble of Shadows Sopor Aeternus The Ensemble of Shadows (contracté également sous la forme de Sopor Aeternus ou bien Sopor ) est un projet musical aux influences dark folk, gothiques, Darkwave et néoclassiques dont la… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”