Resumen del artculo: Fuzzy Sets por L. A.

Zadeh
Un conjunto difuso es una clase de objetos con un grado continuo de
membresa.
Un conjunto difuso est caracterizado por una funcin de membresa lo
cual asigna a cada objeto un grado de membresa el cual se encuentra
dentro del intervalo entre [ 0,1 ] .
Definicin 1: Sea X un espacio de puntos (objetos) con un elemento
genrico de X denotado por x . Entonces X ={ x } .
Un conjunto difuso (clase) A en X esta caracterizado por una
funcin de membresa (funcin caracterstica) f A ( x ) la cual asocia a
cada punto en X un valor real en el intervalo [ 0,1 ] ; el valor de
f A ( x ) en x , representa el grado de membresa de x en A .
Entre ms cercano este el valor de f A ( x ) de 1, mayor el grado de
membresa de x en A .
Ejemplo 1: Sea X la lnea real R y sea A un conjunto
difuso de nmeros los cuales son mucho ms grandes que 1. Se
f A (x )
A
caracteriza al conjunto
especificando
como una
funcin sobre R . Algunos de valores representativos de tal
f A ( 0 )=0 ;
f A (1 ) =0 ;
f A (5 )=0.01 ;
funcin pueden
ser:
f A (10 )=0.2 ;
f A (100 )=0.95 ;
f A (500 )=1.
A= { ( 0, 0 ) , ( 1, 0 ) , (5, 0.01 ) , ( 10,0.2 ) , ( 100,0.95 ) , ( 500,1 ) } ,
Entonces
donde
cada elemento del conjunto es un par de valores ( w 1 , w 2 ) tales
que w 1 es el x X en y w 2=f A ( x ) en ese momento.

Definicin 2: Un conjunto difuso est vaco si y solo si su funcin de

membresa es igual a cero sobre X .
Definicin 3: Dos conjuntos difusos A y B son iguales, lo cual se
escribe A=B si y solo si f A ( x )=f B ( x ) para todo x X . Tambin se
puede escribir f A =f B .
Definicin 4: El complemento de un conjunto difuso
A ' y queda definido por f A =1f A .

se denota por

'

Definicin 5: Un conjunto difuso A est contenido en otro conjunto

difuso B ( A es un subconjunto de B o A es ms pequeo o igual
a B ) si y solo si f A f B o que es lo mismo A B f A f B .

Definicin 6: La unin de dos conjuntos difusos A y B con sus

respectivas funciones de membresa f A y f B es un conjunto difuso
C , es cual se denota por C=A B y cuya funcin de membresa
est relacionada con A y B por f C ( x )=max [ f A ( x ) , f B ( x ) ] , x X . Lo
anterior se puede abreviar como f C =f A f B .
La unin de dos conjuntos difusos tiene la propiedad de ser asociativa.
La unin de dos conjuntos difusos puede definirse tambin como el
conjunto difuso ms pequeo que contiene a ambos conjuntos difusos
A y B
Definicin 7: La interseccin de dos conjuntos difusos A y B con
sus respectivas funciones de membresa f A y f B es un conjunto
difuso C , denotado por C=A B cuya funcin de membresa esta
relaciona con A y B por f C ( x )=min [ f A ( x ) , f B ( x ) ] , x X . Lo anterior se
puede abreviar como f C =f A f B .
La interseccin de los conjuntos A y B es el conjunto difuso ms
grande el cual est contenido en ambos A y B . Y de manera
anloga que en los conjuntos tradicionales, A y B son disjuntos si
A B esta vaco.
Es posible introducir dos niveles y donde 0< <1, 0< <1, > y
decir que x A si f A ( x ) , que x A si f A ( x ) y que x tiene
A
un estado indeterminado relativo al conjunto difuso
cuando
< f A ( x ) < lo cual da lugar los siguiente tres valores de verdad T , F
y U:
-

T ( f A ( x ) ) .
F ( f A ( x ) ) .
U ( < f A ( x ) < ) .

Operaciones algebraicas

Producto algebraico: Sean dos conjuntos difusos A y B , su

producto algebraico denotado por AB se define en trminos de
sus correspondientes funciones de membresa por la relacin:
f AB =f A f B . Por lo anterior tambin se deduce que AB A B .
Suma algebraica: La suma algebraica de dos conjuntos difusos
A
B
A+B
y
denotada por
se define por sus
correspondientes funciones de membresa por la relacin:
f A + B=f A + f B , f A+ B 1.
Una suma algebraica de dos conjuntos
difusos es de utilidad o es vlida siempre y cuando se satisfaga
f A +f B 1, x X .
Diferencia absoluta: Dados dos conjuntos difusos A y B la
diferencia absoluta de estos denotada por | AB| queda definida

por sus correspondientes funciones de membresa por la relacin:

f |A B|=|f A f B|.
Combinacin convexa:
Una combinacin convexa es una combinacin lineal de
puntos donde todos los coeficientes son no-negativos y la
suma de estos es igual a 1.
- Si dentro de un espacio vectorial real existen los puntos
x 1 , x 2 , x 3 , , x n una combinacin convexa de estos puntos es
otro punto de la forma: 1 x 1+ 2 x2 ++ n x n donde todo i
cumple con 1 0 y 1+ 2 ++ n=1.
- Toda combinacin convexa de dos puntos cae sobre el
segmento de lnea formada por esos dos puntos.
- Un conjunto convexo es una regin tal que para cada par de
puntos dentro de esta regin, cada punto dentro de la lnea
que forman estos dos puntos, esta tambin dentro de la
regin.
- La envoltura y/0 cascaron convexo de un conjunto X de
puntos en el plano euclidiano o espacio euclidiano es el
conjunto convexo ms pequeo que contiene X .
- Es espacios vectoriales. Sea S un espacio vectorial sobre
los nmeros reales. Un conjunto C S se dice que es
convexo si x , y C y t [ 0, 1 ] , el punto ( 1t ) x +ty C .
Dicho de otra forma, cualquier punto que cae en el
x he
y tambin se
segmento de lnea que une a
encuentra en C .