46 .

Formación de coaliciones en los juegos cooperativos y juegos con múltiples alternativas

dientes xo,Xk+i,... ,x„ y la EML fa- Entonces,

SCNK ÍÇS

= E *o n *«• nú - *j) M.?) + E n *i na -

oes tes JÉÉS ogs¿es

Los subconjuntos S C N tales que O ^ S se escriben también como 5" \ {0} con
O G S. De esta forma (2.2) queda así:
1 1
E *o ü *.-
oes íes j$s
IK - *j) M-?) + E II
oes ¿es
*«• IK - *¿)(i - *o) MS \ {o}). (2.3)
'

Recordando que ««-(5) = v(S \ {0} U K) y u^(5 \ {0}) = v(S \ K) si O € 5, de

(2.3) se obtiene

oes ¿es j¿s oes ¿es

En las expresiones anteriores se ha cometido un pequeño abuso de notación, ya

que cuando se escribe v¡f(S)i S es un subconjunto de NK', cuando se pone v(S),
S es un subconjunto de TV. Sin embargo, no hay ninguna ambigüedad porque
los subconjuntos 5" de NK que contienen al jugador O están en correspondencia
biunívoca con los subconjuntos S' de N que contienen a K, y ademas VK(S] =
v(S'). Por lo tanto, la última suma se puede escribir de la manera siguiente:

E x0¿esnxíi[(i-x
S: Kcs jas
j)v(s)+ s-.E n^na-^-xi-zoHsuo.
KCS ¿es j¿s
itK ~W
Comparando esta fórmula con (2.1) se observa la igualdad que se deseaba com-
probar: / = jK. D

Teorema 2.7 Sean (N, v) un juego cooperativo de n jugadores, f ( x i , x 2 , ..., xn)

su extensión multilineal y B = {Sì, 5*2, ..., Sm} una estructura de coaliciones sobre