Preliminares 31

Definición 1.14 Un jugador i € N es nulo en el juego v si v(S) = v(S \ {i})

para toda coalición S C N que lo contenga.

Se dice que un concepto de solución $ satisface la propiedad del jugador nulo si

vp.-ju] = O para todo juego v en el que i es un jugador nulo.

Sea v un juego con n jugadores y considérese

»} = r ÎÇN E I«(5) - v
E SCN
i€S

El índice de Banzhaf es una aplicación <£ : Gn —> Kn que asigna a cada juego
cooperativo v un vector $[u] = (^[u^^M,— 5 ^nM) y cúmplelas propiedades
de simetría, jugador nulo y aditividad y satisface E^'M = ï? [u].

Teorema 1.15 (Feltkamp, 1995) Existe una única función $ : Gn —> En

que satisface las propiedades de simetría, jugador nulo y aditividad y satisface
«M = T; [w], 7 es Ja dada por

*íM = E WS) - «(5 \ {»})] para cada i e N.

SCN ¿
iÇS

Observaciones 1.16
(a) De hecho, en Feltkamp [1995] se axiomatiza el índice de Banzhaf no normali-
zado

SCN
M-*) -»(¿A {¿»I-
iês
La demostración es análoga para el índice de Banzhaf normalizado e inde-
pendiente de la adición de jugadores nulos, que es el que se estudia en este
trabajo.
(b) El índice de Banzhaf también es una media ponderada de las contribuciones
marginales de cada jugador a las coaliciones a las que pertenece. En este