# Conjunto difuso

Un conjunto difuso (en inglés: fuzzy set) es un conjunto que puede contener elementos de forma parcial, es decir, que la propiedad de que un elemento $x$ pertenezca al conjunto $A$ ($x\in A$) puede ser cierta con un grado parcial de verdad. Este grado de pertenencia es una proposición en el contexto de la lógica difusa, y no de la lógica usual binaria, que solo admite dos valores: cierto o falso.
El grado de pertenencia de $x$ a $A$, o el grado de verdad de pertenecer al conjunto, se mide con un número real $\mu _{A}(x)$ comprendido entre 0 y 1, ambos inclusive. De forma rigurosa, el valor correspondiente a cada elemento define una función indicatriz $\mu _{A}(x):X\rightarrow [0,1]$, donde $X$ representa el conjunto universal del que el conjunto $A$ toma sus elementos. Por ello se suele hablar de subconjuntos difusos y no de conjuntos difusos.
Si el valor de esta función es 0, $x$ no pertenece a $A$. Si es 1, entonces $x\in A$ totalmente, y si $0<\mu _{A}(x)<1$ entonces $x$ pertenece a $A$ de una manera parcial.

## Historia

La teoría de los subconjuntos difusos fue desarrollada por Lofti A. Zadeh en 1965 con el fin de representar matemáticamente la imprecisión intrínseca de ciertas categorías de objetos.
Los subconjuntos difusos (o partes borrosas de un conjunto) permiten modelar la representación humana de los conocimientos (por ejemplo para medir nuestra ignorancia o una imprecisión objetiva) y mejorar así los sistemas de decisión, de ayuda a la decisión, y de inteligencia artificial.

## Operaciones

Con los conjuntos difusos se pueden realizar las mismas acciones que con los conjuntos clásicos. Siendo dos conjuntos difusos $A$ y $B$ se definen las operaciones usuales:
| Conjuntos $A$ y $B$ | Definidos por $\mu _{A}(x)$ y $\mu _{B}(x)$ |
| Intersección usual | $\mu _{A\cap B}(x)=\min\{\mu _{A}(x),\mu _{B}(x)\}$ |
| Unión usual | $\mu _{A\cup B}(x)=\max\{\mu _{A}(x),\mu _{B}(x)\}$ |
| Complementario usual | $\mu _{\bar {A}}(x)=1-\mu _{A}(x)$ |

## Otros conceptos

* El núcleo de un subconjunto difuso $~A$ es el conjunto de los elementos $~x$ que pertenecen totalmente a $A$, es decir que verifican $\mu _{A}(x)=1$.
* El soporte de subconjunto difuso $A$ es el conjunto de los $x$ que pertenecen, en cierta medida, a $~A$. Es decir que verifican $\mu _{A}(x)>0$.
* Sean $~A$ y $~B$ dos subconjuntos difusos del conjunto $~C$. Se dice que $~A$ está incluido en $~B$ si para todo $x\in ~C$, tenemos $\mu _{A}(x)\leq \mu _{B}(x)$, es decir que los elementos de $A$ siempre pertenecen en mayor medida a $~B$ que a $~A$.
* Partiendo del subconjunto difuso $A$, se puede definir la familia de los conjuntos clásicos $~A_{t}$, con $t$ variando en $[0,1]$, por $A_{t}=\{x\in ~X/\mu _{A}(x)\geq t\}$. El conocimiento de esta familia define totalmente $A$.
Por lo tanto, un conjunto difuso equivale, en concepto de información, a una familia infinita no numerable de conjuntos clásicos. La teoría de los subconjuntos difusos es por lo tanto muy distinta y mucho más compleja que la teoría de los conjuntos usuales. Por ejemplo, un conjunto finito clásico tiene un número finito de subconjuntos clásicos, pero un número infinito de subconjuntos difusos.