La teoría de los subconjuntos flojos fue desarrollada por L.Zadeh en 1965 con el fin de representar matemáticamente la imprecisión intrínseca de ciertas categorías de objetos. Los subconjuntos flojos (o partes flojas de un conjunto) fueron inventados para modelizar la representación humana de los conocimientos ( p. ej para medir nuestra ignorancia o una imprecisión objectiva) y mejorar así los sistemas de decisión, de ayuda a la decisión, y de inteligencia artificial. Participan al auge de estas ramas de la informática.

II Definición

Una parte floja, o un subconjunto flojo, es un conjunto que puede contener elementos de forma parcial, es decir que la propiedad puede ser cierta, falsa o solamente posible. Se mide esta posibilidad de pertenecer (o pertenencia) con un número μ_A(x) entre 0 y 1, llamado grado de pertenencia de x a A. Si es 0, x no pertenece a A, si es 1, entonces , totalmente, y si 0< μ_A(x) <1, x pertenece a A de una manera parcial.

Un subconjunto A de B es por lo tanto caracterizado por esta función de pertencia μ_A, de B hacia [0;1]. Es preciso fijar el conjunto B para definir la función μ_A que a su vez define A. Por eso se habla de subconjunto flojo, y no de conjunto flojo.

Habrán notado que μ_A es una proposición en el contexto de la Lógica floja, y no de la lógica usual binaria, que sólo admite dos valores: cierto o falso.

III Otros conceptos

• El núcleo de una parte floja A es el conjunto de los elementos x que pertenecen totalmente a A, es decir que verifican μ_A(x) = 1.
• El soporte de una parte floja A es el conjunto de los x que pertenecen, aunque muy poco, a A, es decir que verifican μ_A(x) ≥ 0.
• Sean A y B dos partes flojas del conjunto C. Se dice que A está incluido en B si para todo x de C, tenemos μ_A(x)≤ μ_B(x), es decir que los elementos de A siempre pertenecen en mayor medida a B que a A.
• Partiendo de subconjunto flojo A, se puede definir la familia de los conjuntos clásicos A_t , con t variando en [0;1], por :

Por lo tanto, Una parte floja equivale (en concepto de información) a una familia infinita de partes clásicas. La teoría de los subconjuntos flojos 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 flojos.

Este artículo es una traducción libre del artículo correspondiente en francés ( sous-ensemble flou) Aunque "flojo" no sea una buena traducción de "flou", el sentido matemático de ambos términos es el mismo.