Uniqueness of the Shapley Value
From Theory
[edit]
Proof of the Uniqueness
For any
, we define VA,a(S) to be of value a when
, zero otherwise. One can check that this VA,a(S) is valid for a cooperation game. Also, the only possible way (by the axioms) to assign φ(V) for each player i is as following: if
, then
; otherwise zero. Now, we claim that
form a basis of the space
. This is because for any v, it can be uniquely written as:
, where Si is the i'th coordinate of the indicating vector of the set S.
So v(S) can be written as a polynomial over the variables Si. Now, it is easy to see that
is the same as VA,1, and by the axiom 5 (additivity), φ(v) is unique. Actually, we use a little bit stronger axiom here: φi(av + bw) = aφi(v) + bφi(w)
