Refinement Derivatives and Values of Games

A definition of setwise differentiability for set functions is given through refining the partitions of sets. Such a construction is closely related to the one proposed by Rosenmuller (1977), Epstein (1999), and Epstein and Marinacci (2001). We present several classes of transferable utility (TU) games that are differentiable and study differentiation rules. The last part of this paper applies refinement derivatives to the computation of value of games. Following Hart and Mas–Colell (1989), we define an operator through the refinement derivative of the potential of the game. We show that this operator is a value, when restricted to the spaces pM∞ and POT2. The latter space is closely related to Myerson's balanced contributions axiom.