\( \newcommand{\ss}{\mathcal S} \newcommand{\ll}{\mathcal L} \newcommand{\ff}{\mathcal F} \newcommand{\nn}{\mathcal N} \definecolor{cornellred}{RGB}{179,27,27} \newcommand{\cred}[1]{\textcolor{cornellred}{#1}} \newcommand{\tcred}[1]{\textcolor{cornellred}{\textrm{#1}}} \newcommand{\succceq}{\succcurlyeq} \)

Balanced Sets

For each individual $i$ let $\nn(i)$ denote the set of all coalitions containing $i$. A weighting scheme is a collection of weights $\lambda(S)$, each between 0 and 1. A weighting scheme is balanced if for all $i$, $\sum_{S\in\nn(i)}\lambda(S)=1$. A characteristic function is balanced if for every balanced weighting scheme $\{\lambda_S\}$, \begin{equation*} \sum_{S\subset\nn}\lambda_Sv(S)\leq v(\nn). \end{equation*}

Examples.

Theorem. A TU game has a core iff its characteristic function is balanced.