Conjuntos borrosos * por E. Renedo y S.

Guadarrama ,
L. A. Zadeh
Department of Electrical Engineering and Electronics Research Laboratory, University of California, Berkeley, California.

Resumen Un conjunto borroso es una clase de objetos con un grado de pertenencia continuo. Dicho conjunto se caracteriza por una funcin de pertenencia (funcin caracter o o stica) que asigna a cada objeto un grado de pertenencia evaluable entre cero y uno. Las nociones de inclusin, unin, interseccin, complemento, relacin, convexidad, etc. se o o o o extienden a estos conjuntos, a la vez que se establecen diversas propiedades de estas nociones en el contexto de los conjuntos borrosos. En particular, se demuestra un teorema de separacin para conjuntos borrosos convexos sin exigir que sean disjuntos. o

1.

Introduccin o

La mayor de las veces, las clases de objetos que se encuentran en el mundo real a no disponen de un criterio de pertenencia denido con precisin. Por ejemplo, la clase o animales incluye entre sus miembros perros, caballos, pjaros, etc. y excluye claramente a objetos tales como rocas, uidos, plantas, etc. Sin embargo, objetos tales como estrella de mar, bacteria, etc. tienen un status ambiguo en relacin con dicha clase. Esta misma o ambigedad aparece en el caso del nmero 10 en relacin a la clasede los nmeros reales u u o u mucho mayores que 1. Ciertamente, la clase de todos los nmeros reales mucho ms grandes que 1, o la u a clase de la mujeres hermosas, o la clase de los hombres altos, no constituyen clases o conjuntos en sentido matemtico usual. Sin embargo, es un hecho que tales clasesdenidas a de un modo impreciso juegan un papel importante en el razonamiento, en especial en dominios de reconocimiento de patrones, comunicacin de informacin, y abstraccin. o o o Este trabajo tiene el objetivo de explorar de forma preliminar algunas de las propiedades e implicaciones de un concepto util cuando nos ocupamos de las clases citadas. El concep to en cuestin es el de conjunto borroso 1 , esto es, una clase con un grado de pertenencia o
Traducido del art culo Fuzzy Sets, publicado en 1965, Information and Control, 8, 338-353. Una aplicacin de este concepto a la formulacin de un tipo de problemas en reconocimiento de o o patrones se describe en RAND Memorandum RM-4307-PR, Abstraction and Pattern Classication, por R. Bellman, R. Kalaba y L. A. Zadeh, Octubre, 1964.
1 *

continuo. Como veremos ms adelante, la idea de conjunto borroso nos da un conveniente a punto de partida para la construccin de un marco de referencia conceptual que parango ona en muchos aspectos al utilizado en los conjuntos ordinarios, aunque es ms general a que ste y, potencialmente, puede probar que tiene un mayor mbito de aplicacin, en e a o particular, en el campo de la clasicacin de patrones y el proceso de informacin. En o o esencia, este marco proporciona un modo natural de tratar con problemas en los que la imprecisin aparece como consecuencia de la ausencia de criterios de pertenencia denidos o n tidamente en vez de la presencia de variables aleatorias. Empezaremos la discusin sobre conjuntos borrosos con algunas deniciones bsicas. o a

2.

Deniciones

Sea X un espacio de puntos (objetos), con un elemento genrico denotado por x. As e , X = {x}. Un conjunto (clase) borroso A en X se caracteriza por una funcin de pertenencia o fA (x) que asocia a cada punto2 de X un nmero real del intervalo [0, 1]3 , donde el valor u fA (x) en x representa el grado de pertenencia de x a A. As cuanto ms se aproxima , a fA (x) a la unidad, tanto mayor es el grado de pertenencia de x a A. Cuando A es un conjunto en el sentido ordinario del trmino, su funcin de pertenencia puede tomar los e o valores 0 y 1 solamente, con fA (x) = 1 0 segn x pertenezca o no a A. De modo que, o u en este caso fA (x) se reduce a la conocida funcin caracter o stica del conjunto A. (Cuando sea necesario diferenciar entre estos conjuntos y los borrosos, los conjuntos con funcin o caracter stica bivaluada se denominarn conjuntos ordinarios o simplemente conjuntos). a Ejemplo. Sea X la recta real R1 y A un conjunto borroso de nmeros mucho mayores u que 1. Se puede dar una caracterizacin precisa, aunque subjetiva, de A especicando o fA (x) como una funcin en R1 . Algunos valores representativos de dicha funcin podr o o an ser: fA (0) = 0, fA (1) = 0, fA (5) = 0,01, fA (10) = 0,2, fA (100) = 0,95, fA (500) = 1. Debe observarse que, aunque la funcin de pertenencia de un conjunto borroso tiene o cierto parecido con una funcin de probabilidad cuando X es un conjunto numerable (o una o funcin de densidad de probabilidad cuando X es continuo), hay diferencias sustanciales o entre ambos conceptos que iremos aclarando a medida que se establezcan las reglas de combinacin de las funciones de pertenencia y sus propiedades bsicas. De hecho, la nocin o a o de conjunto borroso es de naturaleza no estad stica. Comenzamos con algunas deniciones a propsito de los conjuntos borrosos que son o extensiones obvias de las correspondientes en los conjuntos ordinarios. Un conjunto borroso es vac si y slo si su funcin de pertenencia es idnticamente o o o e igual a cero en X.
En general, el dominio de denicin de fA (x) puede ser un subconjunto de X o En un escenario ms general, el rango de la funcin de pertenencia puede ser un conjunto parcialmente a o ordenado P adecuado. Para nuestro propsito es conveniente y suciente limitar el rango de f al intervalo o unidad. Si los valores de fA (x) se interpretan como valores de verdad, esto ultimo se corresponde con una lgica multivaluada con un valor de verdad continuo en [0, 1]. o
3 2

Dos conjuntos borrosos A y B son iguales, lo que escribimos A = B, si y slo si o fA (x) = fB (x) para todo x de X. (En adelante, en lugar de fA (x) = fB (x) para todo x de X, escribiremos simplemente fA = fB .) El complemento de un conjunto borroso A se representa por A y se dene como fA = 1 fA (1)

Anlogamente a los conjuntos ordinarios, la nocin de inclusin juega un papel central a o o en los conjuntos borrosos. Esta nocin junto con las de union e interseccin se denen o o como sigue. Inclusin. A est contenido en B (o su equivalente, A es un subconjunto de B, o A es o a menor o igual que B) si y slo si fA fB . En s o mbolos A B fA fB . (2)

Unin. La unin de dos conjuntos borrosos A y B con funciones de pertenencia fA y o o fB , respectivamente, es un conjunto borroso C, escrito como C = A B, cuya funcin de o pertenencia se relaciona con las de A y B mediante fC (x) = Max[fA (x), fB (x)], o, de forma abreviada fC = fA fB (4) Obsrvese que tiene la propiedad asociativa, es decir, A (B C) = (A B) C. e Nota. Un modo ms intuitivo de denir la unin es el siguiente: La unin de A y B es a o o el menor de los conjuntos borrosos que contienen a A y a B. De modo ms preciso, si D a es un conjunto cualquiera que contiene a A y a B, contiene asimismo la unin de A y B. o Para ver que esta denicin equivale a la dada en (3), observemos, primero, que el o conjunto C as denido contiene a A y a B, ya que Max[fA , fB ] fA y Max[fA , fB ] fB . Por otro lado, si D es un conjunto borroso que contiene tanto a A como a B, entonces fD fA fD fB y por tanto fD Max[fA , fB ] = fC lo que implica que C D. Q.E.D. 3 xX (3)

La nocin de interseccin de conjuntos borrosos puede denirse de forma anloga. o o a Concretamente: Interseccin. La interseccin de dos conjuntos borrosos A y B con funciones de perteo o nencia fA y fB , respectivamente, es un conjunto borroso C, escrito como C = A B, cuya funcin de pertenencia se relaciona con las de A y B mediante o fC (x) = Min[fA (x), fB (x)], o, de forma abreviada fC = fA fB . (6) Como en el caso de la unin, es fcil mostrar que la interseccin de A y B es el mayor o a o conjunto borroso contenido a la vez en A y en B. Como en los conjuntos ordinarios, A y B son disjuntos si A B es vac Tambin , al igual que , tiene la propiedad asociativa. o. e La interseccin y la unin de dos conjuntos borrosos en R1 se ilustran en la Fig. 1. La o o funcin de pertenencia de la unin est formada por los segmentos de curva 1 y 2; la de o o a la interseccin por los segmentos 3 y 4 (linea gruesa). o xX (5)

FIG. 1.4 Ilustracin de la unin e interseccin de conjuntos borrosos en R1 o o o Nota. La nocin de pertenenciajuega un papel fundamental en los conjuntos ordio narios, no siendo as en el caso de los borrosos. As no es signicativo decir que el punto , x pertenece al conjunto borroso A salvo en el sentido trivial de que fA (x) sea positivo. Menos trivialmente, se pueden introducir dos niveles y (0 < < 1, 0 < < 1, > ) y convenir que (1) x pertenece a Asi fA (x) ; (2) x no pertenece a A si fA (x) ; y (3) x tiene un status indeterminado en relacin con Asi < fA (x) < . Esto nos o lleva a una lgica tri-valuada (Kleene, 1952) con tres valores de verdad: T (fA (x) ), F o (fA (x) ), y U ( < fA (x) < ).
Nota del traductor: Las guras son reproduccin facs o mil del original, por lo que se conserva el idioma original.
4

3.

Algunas propiedades de , y complementacin o

Con las operaciones de unin, interseccin y complementacin denidas en (3), (5), y o o o (1), es sencillo extender a los conjuntos borrosos muchas de las identidades bsicas vlidas a a en los ordinarios. Como ejemplo, tenemos Leyes de De Morgan (A B) = A B (A B) = A B Leyes distributivas C (A B) = (C A) (C B) C (A B) = (C A) (C B) (9) (10) (7) (8)

Estas y otras igualdades similares pueden establecerse en seguida comprobando que las relaciones correspondientes para las funciones de pertenencia de A, B y C son identidades. Por ejemplo, en el caso de la ley (7), tendremos 1 Max[fA , fB ] = Min[1 fA , 1 fB ] (11)

identidad facilmente comprobable en los dos casos posibles : fA (x) < fB (x) y fA (x) > fB (x). De manera similar, en el caso de la expresin (10), la relacin correspondiente en o o trminos de fA , fB , y fC es: e Max[fC , Min[fA , fB ]] = Min[Max[fC , fA ], Max[fC , fB ]] (12)

que de nuevo es vericable considerando los seis casos posibles: fA (x) > fB (x) > fC (x), fA (x) > fC (x) > fB (x), fB (x) > fA (x) > fC (x) fB (x) > fC (x) > fA (x), fC (x) > fA (x) > fB (x), fC (x) > fB (x) > fA (x). En esencia, los conjuntos borrosos forman un ret culo distributivo con 0 y 1 (Birkho, 1948).

3.1.

Una interpretacin de la unin y la interseccin o o o

En el caso de los conjuntos ordinarios, un conjunto C expresado en trminos de una e familia de conjuntos A1 , . . . , Ai , . . . , An a travs de los conectivos y , puede repree sentarse por medio de un circuito de conmutadores 1 , . . . , n , donde Ai Aj y Ai Aj corresponden a las combinaciones en serie y en paralelo de i y j respectivamente. En el caso de los conjuntos borrosos se puede hacer una interpretacin anloga en trminos de o a e cribas. En concreto, representemos por fi (x), i = 1, . . . , n, el valor que toma la funcin de o pertenencia de Ai en x. Se asocia con fi (x) una criba Si (x) cuyas mallas son de tamao n fi (x). Entonces, fi (x) fj (x) y fi (x) fj (x) corresponden a las combinaciones en paralelo y en serie de Si (x) y Sj (x), respectivamente, tal como se muestra en la Fig. 2. 5

En general, una expresin bien-formada que incluya A1 , . . . , An , y corresponde a o una red de cribas S1 (x), . . . , Sn (x) que pueden obtenerse con una tcnica convencional de e s ntesis de circuitos de conmutacin. Veamos un ejemplo sencillo, o C = [(A1 A2 ) A3 ] A4 corresponde a la red mostrada en Fig. 3. (13)

FIG. 2 Conexin de cribas en serie y paralelo que simulan y o Obsrvese que el tamao de la malla de las cribas en red depende de x y que la red en e n conjunto es equivalente a una criba cuya malla tiene un tamao fC (x) n

FIG. 3 Red de cribas para simular {[f1 (x) f2 (x)] f3 (x)} f4 (x)

4.

Operaciones algebraicas con conjuntos borrosos

Adems de las operaciones de unin e interseccin, se pueden denir otras maneras a o o de obtener combinaciones de conjuntos borrosos y relacionarlas con otro. Entre las ms a importantes se encuentran las siguientes. Producto algebraico. El producto algebraico de A y B se escribe AB y se dene a partir de las funciones de pertenencia de A y de B mediante la relacin o fAB = fA fB . 6 (14)

Claramente, AB A B (15) Suma algebraica.5 La suma algebraica de A y B se escribe A + B y se dene como fA+B = fA + fB (16)

a condicin de que la suma fA + fB sea menor o igual que la unidad. As a diferencia o , del producto algebraico, la suma algebraica cobra sentido slo a condicin de que fA (x) + o o fB (x) 1 se satisfaga para todo x. Diferencia absoluta. La diferencia absoluta de A y B se denota como |A B| y se dene por f|AB| = |fA fB | Obsrvese que en el caso de los conjuntos ordinarios |A B| se reduce al complemento e relativo de A B respecto a A B. Combinacin convexa Se entiende habitualmente por combinacin convexa de dos veco o tores f y g una combinacin lineal de f y g de la forma f + (1 g), con 0 1. o Esta forma de combinar se puede generalizar a los conjuntos borrosos del modo siguiente. Sean A, B y tres conjuntos borrosos arbitrarios. La combinacin convexa de A, B y o se denota por (A, B; ) y se dene por la relacin o (A, B; ) = A + B donde es el complemento de Escrita con funciones de pertenencia, (17) tiene la forma f(A,B;) (x) = f (x)fA (x) + [1 f (x)]fB (x), x X (18) (17)

Una propiedad bsica de la combinacin convexa de A, B, es la que se expresa por a o A B (A, B; ) A B para todo . (19)

Esta propiedad es consecuencia inmediata de las desigualdades Min[fA (x), fB (x)] fA (x) + (1 )fB (x) Max[fA (x), fB (x)], x X (20)

que se cumplen para cualesquiera de [0, 1]. Es interesante observar que, dado un conjunto borroso C que verique A B C A B, es posible hallar un conjunto borroso tal que C = (A, B; ). La funcin de pertenencia de dicho conjunto viene dada por o f (x) =
5

fC (x) fB (x) , xX fA (x) fB (x)

(21)

El dual del producto algebraico es la suma A B = (A B ) = A + B AB.(Esto fue sealado por T. n Cover). Obsrvese que para conjuntos ordinarios y el producto algebraico son operaciones equivalentes, e lo mismo sucede con y .

Relacin borrosa. El concepto de relacin (el cual es una generalizacin del de funcin) o o o o tiene una extensin natural a los conjuntos borrosos y desempea -tal como sucede en el o n caso de los conjuntos ordinarios- un papel importante en la teor de tales conjuntos y a sus aplicaciones . A continuacin, deniremos unicamente la nocin de relacin borrosa y o o o mencionaremos algunos conceptos relacionados. De ordinario, una relacin se dene como un conjunto de pares ordenados (Halmos, o 1960); e.g., el conjunto de todos los pares de nmeros reales x e y tales que x y. En u el contexto de los conjuntos borrosos, una relacin borrosa en X es un conjunto borroso o o y, x, y R1 , en el espacio producto cartesiano X X. Por ejemplo, la relacin x 2 , con una funcin de pertenencia, f (x, y), puede verse como un conjunto borroso A en R o A que tiene los siguientes valores representativos (subjetivos): fA (10, 5) = 0; fA (100, 10) = 0,7; fA (100, 1) = 1; etc. Generalizando, se puede denir una relacin borrosa n-aria en X como un conjunto o borroso A en el espacio producto X X X. Para esta relaciones, la funcin de o pertenencia es de la forma fA (x1 , . . . , xn ), donde xi X, i = 1, . . . , n. En el caso de las relaciones borrosas binarias, la composicin de dos relaciones borrosas o A y B se escribe B A y se dene como una relacin borrosa en X cuya funcin de o o pertenencia se relaciona con las de A y B por fBA (x, y) = Supv Min[fA (x, v), fB (v, y)]. Obsrvese que la operacin de composicin verica la propiedad asociativa e o o A (B C) = (A B) C. Conjuntos borrosos inducidos por aplicaciones. Sea T una aplicacin de X sobre el o espacio Y . Sea B un conjunto borroso en Y cuya funcin de pertenencia es fB (y). La o o aplicacin inversa T 1 induce un conjunto borroso A en X cuya funcin de pertenencia o se dene como (22) fA (x) = fB (y), y Y para todos los x de X aplicados en y mediante T . Considrese el problema contrario e donde A es un conjunto borroso en X y T , como antes, una aplicacin de X sobre Y . La o pregunta es: Cul es la funcin de pertenencia del conjunto borroso B en Y inducida por a o esta aplicacin? o Si T no es uno a uno, aparece una ambigedad cuando dos o ms puntos distintos, u a digamos x1 y x2 , con grados de pertenencia diferentes en A se aplican sobre el mismo punto y de Y . En este caso la pregunta es: Qu grado de pertenencia en B se debe asignar a y? e Para zanjar esta ambigedad, convenimos asignar a y el mayor de los dos grados de u pertenencia. En general, la funcion de pertenencia para B se denir mediante a fB (y) = MaxxT 1 (y) fA (x), y Y donde T 1 (y) es el conjunto inicial de la aplicacin T o 8 (23)

5.

Convexidad

Como se ver a continuacin, la nocin de convexidad puede extenderse fcilmente a a o o a los conjuntos borrosos conservando muchas de las propiedades que tiene en el contexto de los conjuntos ordinarios. Esta nocin es particularmente util en clasicacin de patrones, o o optimizacion y problemas relacionados. En adelante, en aras de la concrecin asumimos que X es un espacio real euclidiano o n. E

5.1.

Deniciones

Convexidad. Un conjunto borroso es convexo si y slo si los conjuntos denidos o como = {x|fA (x) } (24) son convexos para todo en el intervalo (0, 1]. Una denicin alternativa y ms directa de convexidad es la siguiente6 : A es convexo o a si y slo si o (25) fA [x1 + (1 )x2 ] Min[fA (x1 ), fA (x2 )] para todo x1 y x2 de X y todo de [0, 1]. Advirtase que esta denicin no implica e o o que fA (x) deba ser una funcin convexa. Esto se ilustra en la Fig. 4 para el caso n = 1.

FIG. 4 Conjuntos borrosos convexo y no convexo en E 1 Para comprobar la equivalencia entre ambas deniciones obsrvese que si A es convexo e en el sentido de la primera denicin y = fA (x1 ) fA (x2 ), entonces x2 y x1 + o (1 )x2 por la convexidad de . De lo cual fA [x1 + (1 )x2 ] = fA (x1 ) = Min[fA (x1 ), fA (x2 )]. Rec procamente, si A es convexo en el sentido de la segunda denicin y = fA (x1 ), o entonces puede verse como el conjunto de puntos x2 para los cuales fA (x2 ) fA (x1 ).
6

Esta manera de expresar la convexidad fue sugerida al autor por su colega E. Berlekamp

En virtud de (25), cada punto de la forma x1 + (1 )x2 , 0 1, est tambin en a e y por tanto es un conjunto convexo. Q.E.D. Una propiedad bsica de los conjuntos borrosos convexos es la expresada por el a Teorema 5.1. Si A y B son convexos, su interseccin tambi lo es. o n Demostracin. Sea C = A B. Entonces o fC [x1 + (1 )x2 ] = Min[fA [x1 + (1 )x2 ], fB [x1 + (1 )x2 ]] Ahora, como A y B son convexos fA [x1 + (1 )x2 ] Min[fA (x1 ), fA (x2 )] fB [x1 + (1 )x2 ] Min[fB (x1 ), fB (x2 )] y por lo tanto fC [x1 + (1 )x2 ] Min[Min[fA (x1 ), fA (x2 )], Min[fB (x1 ), fB (x2 )]] o su equivalente fC [x1 + (1 )x2 ] Min[Min[fA (x1 ), fB (x1 ], Min[fA (x2 ), fB (x2 )]] y as fC [x1 + (1 )x2 ] Min[fC (x1 , fC (x2 ]. (30) (29) (28) (27) (26)

Acotacin. Un Conjunto borroso A est acotado si y slo si los conjuntos = o a o {x|fA (x) } estn acotados para todo > 0; es decir, por cada > 0 existe un a R() nito tal que x R() para todo x de . Si A es un conjunto acotado, para cada > 0 existe un hiperplano H tal que fA (x) para todos los x del lado de H que no contiene al origen. Considrese el conjunto = e {x|fA (x) }. Por hiptesis, este conjunto est contenido en una esfera S de radio R( ). o a Lema 5.2. Sea A un conjunto borroso acotado y sea M = Supx fA (x). (Nos referiremos a a M como el grado maximal de A). Hay al menos un punto x0 en el cual M es bsicamente alcanzado en el sentido de que, para cada > 0 todos los entornos esfricos de x0 contienen e puntos del conjunto Q( ) = {x|fA (x) M }. Demostracin. 7 Considrese una sucesin anidada de conjuntos acotados 1 , 2 , . . . , donde o e o n = {x|fA (x) M m/(n+1)}, n = 1, 2 . Obsrvese que n no es vac para cualquier e o n nito como consecuencia de la denicin de M como M = Supx fA (x). (Asumimos que o M > 0.)
7

Esta prueba fue sugerida por A. Thomasian.

10

Sea xn un punto de n elegido arbitrariamente, n = 1, 2, . Entonces, x1 , x2 , , es una sucesin de puntos en un conjunto cerrado acotado 1 . Por el teorema de Bolzanoo Weierstrss, esta sucesin debe tener al menos un punto de acumulacin, pongamos que x0 , o o en 1 . En consecuencia, cada entorno esfrico de x0 contiene innitos puntos de la sucesin e o x1 , x2 , , y, en particular, de la sucesin xN +1 , xN +2 , , donde N M/ . Como los o puntos de esta subsucesin caen dentro del conjunto Q( ) = {x|fA (x) M } el lema o queda demostrado. Convexidad estricta y fuerte. Un conjunto borroso es estrictamente convexo si los conjuntos , 0 < 1 son estrictamente convexos (es decir, si el punto medio de dos puntos cualesquiera de permanece en el interior de ). Ntese que esta denicin se reduce o o a la de convexidad estricta para conjuntos ordinarios cuando A es uno de tales conjuntos. Un conjunto borroso es fuertemente convexo si, para dos puntos cualesquiera x1 y x2 , y cualquier del intervalo (0,1), se verica que fA [x1 + (1 )x2 ] > Min[fA (x1 ), fA (x2 )] Nota. La convexidad fuerte no implica la estricta, y viceversa. Asimismo si A y B son acotados, tambin lo es su unin y su interseccin. De manera similar si A y B e o o son estrictamente (fuertemente) convexos, su interseccin es estrictamente (fuertemente) o convexa. Sea A un conjunto borroso convexo y M = Supx fA (x). Si A es acotado, tal como u se muestra arriba, o bien M se alcanza para algn x, pongamos que para x0 , o hay al a menos un punto x0 para el cual se alcanza bsicamente M en el sentido de que, para cualquier > 0, todos los entornos esfricos de x0 contienen puntos en el conjunto Q( ) = e {x|fA (x) M }. En particular, si A es fuertemente convexo y se alcanza x0 , entonces x0 es unico. En efecto, si M = fA (x0 ) y M = fA (x1 ), con x0 = x1 , entonces fA > M para x = 0,5x0 + 0,5x1 , lo que contradice M = Maxx fA (x). En general, denotaremos por C(A) el conjunto de los puntos de X en los que se alcanza M . Nos referiremos a este conjunto como ncleo de A. En el caso de los conjuntos borrosos u convexos, C(A) verica la propiedad siguiente. Teorema 5.3. SI A es un conjunto borroso convexo, su ncleo tambin es convexo. u e Demostracin. Basta con probar que si M se alcanza bsicamente en x0 y x1 , y x0 = x1 , o a entonces se alcanza bsicamente en todos los x de la forma x = x0 +(1)x1 , 0 1. a A tal n, sea P un cilindro de radio cuyo eje es la recta que pasa por x1 y x2 . Sean x0 un punto de la esfera de radio con centro en x0 y x1 un punto de una de igual radio y centrada en x1 tales que fA (x0 ) M y fA (x1 ) M . Entonces, debido a la convexidad de A, para cada punto u del segmento x0 x1 tendremos que fA (u) M . Adems, a causa de la convexidad de P , todos los puntos del segmento x0 x1 estarn en a a P. Sea x ahora un punto cualquiera del segmento x0 x1 . La distancia de este punto al segmento x0 x1 ha de ser menor o igual que , ya que x0 x1 est en P . Consecuentemente, a 11

una esfera de radio con centro en x contendr al menos un punto del segmento x0 x1 y a por tanto contendr al menos un punto, pongamos que w, en el cual fA (w) M . Esto a conrma que M se alcanza bsicamente en x y por tanto se demuestra el teorema. a Corolario 5.4. Si X = E 1 y A es fuertemente convexo, M es alcanzado bsicamente en a un unico punto. Sombra de un conjunto borroso. Sea A un conjunto borroso en E n con funcin de o pertenencia fA (x) = fA (x1 , , xn ). Por simplicidad, la nocion de sombra (proyeccin) o de A sobre un hiperplano se denir en adelante para el caso especial en que H es un a hiperplano de coordenadas, e.g., H = {x|x1 = 0}. Espec camente, la sombra de A sobre H = {x|x1 = 0} se dene como el conjunto borroso SH (A) en E n1 con fSH (A) (x) dado por fSH (A) (x) = fSH (A) (x2 , , xn ) = Supx1 fA (x1 , , xn ). Obsrvese que esta denicin es consistente con (23) e o Cuando A es un conjunto borroso convexo, la propiedad siguiente es una consecuencia inmediata de la denicin de sombra: Si A es un conjunto borroso convexo, su sombra o sobre un hiperplano es tambin un conjunto borroso convexo. e Una propiedad interesante de las sombras de dos conjuntos borrosos convexos es la expresada por la siguiente implicacin o SH (A) = SH (B) para todo H A = B. Para probar esta propiedad,8 basta con mostrar que si existe un punto, digamos x0 , tal que fA (x0 ) = fB (x0 ), entonces existe un hiperplano H tal que fSH (A) (x ) = fSH (B) (x ), 0 0 donde x es la proyeccin de x0 sobre H. o 0 Supongamos que fA (x0 ) = > fB (x0 ) = . Como B es un conjunto borroso convexo, el conjunto = {x|fB (x) > } es convexo, y por tanto existe un hiperplano F soporte de que pasa por x0 . Sea H un hiperplano ortogonal a F , y x la proyeccin de x0 sobre o 0 H. Entonces, dado que fB (x) para todo x de F , tenemos fSH (B) (x ) . Por otra 0 parte, fSH (A) (x ) . En consecuencia, fSH (B) (x ) = fSH (A) (x ), y anlogamente para el a 0 0 0 caso en que sea < . Una forma un tanto ms general del aserto anterior es la siguiente: Sea A, pero no a necesariamente B, un conjunto borroso convexo y sea SH (A) = SH (B) para todo H. Entonces A = conv B, donde conv B es el recubrimiento convexo de B, es decir, el menor de los conjuntos convexos que contienen a B. En general, SH (A) = SH (B) para todo H implica conv A = conv B Separacin de conjuntos borrosos convexos. El teorema de la separacin para conjuno o tos ordinarios convexos dice, en esencia, que si A y B son conjuntos convexos disjuntos, entonces existe un hiperplano separador H tal que A est a un lado de H y B en el otro. a
8 Esta demostracin se basa en una idea sugerida por G. Dantzig para el caso en que A y B son conjuntos o ordinarios convexos.

12

Es natural preguntar si este teorema se podr extender a los conjuntos borrosos cona vexos, sin requerir que A y B fueran disjuntos, ya que esta condicin es demasiado restrico tiva en el caso de los conjuntos borrosos. Resulta, como veremos a continuacin, que la o respuesta es s . Previamente, hay que dar algunas deniciones. Sean A y B dos conjuntos borrosos acotados y H una hipersupercie en E n denida por la ecuacin h(x) = 0, de modo que o todos los puntos para los que h(x) 0 estn en a lado de H y aquellos para los que es a u h(x) < 0 estn al otro.9 Sea KH un nmero que depende de H tal que fA (x) KH en un a lado de H y fB (x) KH en el otro. Sea MH el Inf KH . Llamaremos grado de separacin o de A y B por H al nmero DH = 1 MH . u En general, no tratamos con una hipersupercie H dada, sino con una familia de hipersupercies {H }, con recorriendo E m . El problema, entonces, es encontrar un miembro de esta familia que proporcione el grado ms alto de separacin. a o Un caso especial de este problema se produce cuando los H son hiperplanos en E n , con en E n . En este caso, denimos el grado de separabilidad de A y B por la relacin o D =1M donde M = InfH MH (31) (32)

con el sub ndice omitido por simplicidad. Entre las diversas armaciones que pueden hacerse sobre D, la siguiente10 es, en realidad, una extensin del teorema de separacin para conjuntos borrosos convexos. o o Teorema 5.5. Sean A y B conjuntos borrosos convexos acotados en E n , con grados maximales MA y MB , respectivamente [MA = Supx fA (x), MB = Supx fB (x)]. Sea M el grado maximal de la interseccin AB(M = Supx Min[fA (x), fB (x)]). Entonce D = 1M . o Nota. Lisa y llanamente, el teorema expresa que el grado ms alto de separacin entre a o dos conjuntos borrosos convexos A y B que se puede conseguir mediante un hiperplano en E n es uno menos el grado maximal de la interseccin A B. Esto se ilustra en la Fig. o 5 para el caso n = 1.

9 10

Ntese que los conjuntos en cuestin tienen en comn a H o o u Esta frase se basa en una sugerencia de E. Berlekamp

13

FIG. 5 Ilustracin del teorema de separacin de conjuntos borrosos en E 1 o o Demostracin. Conviene considerar por separado los dos casos siguientes: o (1) M = Min(MA , MB ) y (2) M < Min(MA , MB ). Represe en que el segundo caso excluye a A B o B A. Caso 1. Supongamos, por concrecin, que MA < MB , de modo que M = MA . Por la o propiedad de los conjuntos acotados expuesta anteriormente existe un hiperplano H tal que fB (x) M para todo x de un lado de H. En el otro lado de H, fA (x) M ya que fA (x) MA = M para todo x. Queda por ver que no existen un M < M y un hiperplano H tales que fA (x) M en un lado de H y fB (x) M en el otro lado. Esto se sigue de inmediato de la observacin siguiente. Supongamos que tale H y M o existen , y que el ncleo de A (esto es, el conjunto de puntos en los que MA = M es u bsicamente alcanzado) est en el lado positivo de H . Esto excluye que sea fA (x) M a a para todo x en el lado positivo de H , y por tanto exige que fA (x) M para todo x en el lado negativo de H , y fB (x) M para todo x en el lado positivo de H . En consecuencia, en todos los x del lado positivo de H Supx Min[fA (x), fB (x)] M e igualmente para todos los x del lado negativo de H . Esto implica que, en todos los x de o X, el Supx Min[fA (x), fB (x)] M , lo que contradice la hiptesis Supx Min[fA (x), fB (x)] = M >M . Caso 2. Considrense los conjuntos convexos A = {x|fA (x) > M } y B = {x|fB (x) > e M }. Estos conjuntos son no vac y disjuntos, de lo contrario habr un punto, u, tal que os a fA (u) > M y fB (u) > M y por tanto fAB (u) > M , que contradice la suposicin de que o M = Supx fAB (x). Como A y B son disjuntos, el teorema de separacin de conjuntos ordinarios convexos o nos dice que existe un hiperplano H tal que A est en un lado de H (supongamos que el a lado positivo) y B en el otro (el lado negativo). Adems, por la denicin de A y B , a o para todos los puntos del lado negativo de H es fA (x) M , y para todos los del lado positivo fB (x) M . De este modo, hemos visto que existe un hiperplano H que hace que el grado de separacin entre A y B sea 1 M . El argumento dado en el caso 1 nos lleva a concluir o que no puede haber un grado de separacin entre A y B mayor que ste. Esto concluye la o e demostracin del teorema. o El teorema de separacin para conjuntos borrosos convexos parece ser particularmente o relevante para el problema de discriminacin de patrones. Su aplicacin a esta clase de o o problemas as como a los de optimizacin ser objeto de exploracin en trabajos sucesivos o a o sobre los conjuntos borrosos y sus propiedades.

14

Referencias
[1] Birkho, G. (1948), Lattice Theory Am. Math. Soc. Colloq. Publ. , Vol. 25, New York. [2] Halmos, P.R. (1960), Naive Set Theory, Van Nostrand, New York. [3] Kleene, S.C. (1952), Introduction to Metamathematics, p. 334. Van Nostrand, New York.

15