# On the nonemptiness of approximate cores of large games

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s00199-016-1010-3

- Cite this article as:
- Allouch, N. & Wooders, M. Econ Theory (2017) 63: 191. doi:10.1007/s00199-016-1010-3

- 402 Downloads

## Abstract

We provide a new proof of the nonemptiness of approximate cores of games with many players of a finite number of types. Earlier papers in the literature proceed by showing that, for games with many players, equal-treatment cores of their “balanced cover games,” which are nonempty, can be approximated by equal-treatment \(\varepsilon \)-cores of the games themselves. Our proof is novel in that we develop a limiting payoff possibilities set and rely on a fixed point theorem.

### Keywords

NTU games Core Approximate cores Small group effectiveness Coalition formation Payoff-dependent balancedness### JEL Classification

C71 C78 D71## 1 Introduction

The core is an anchoring concept in game theory going back, in its origins, to Edgeworth’s contract curve, and the contributions of Debreu and Scarf (1963) and Aumann (1964). The core remains a central concept in economics and most recently, in market design; see, for example, Roth (2002). Even in games with many, but finite numbers of players, however, the core may be empty. The addition of a single player to a large game with a nonempty core may result in a game with an empty core. The problem of the emptiness of the core is especially salient in economies with public goods subject to congestion and exclusion (local public goods) or in economies with clubs. Even in pure exchange economies, the nonemptiness of the core can depend on whether commodities are infinitely divisible. It is, however, a remarkable fact that, as established by Wooders (1983) and a number of subsequent papers, games with many players satisfying apparently mild conditions have nonempty approximate cores.

In this paper, inspired by the payoff-dependent balancedness notion^{1} of Herings and Predtetchinski and Herings (2004) and Bonnisseau and Iehlé (2007),^{2} we demonstrate nonemptiness of approximate cores for sequences of games with arbitrary distributions of players. Recall that much of the literature on approximate cores of NTU games, beginning with Wooders (1983) and most recently Kovalenkov and Wooders (2001), Kovalenkov and Wooders (2003) and Wooders (2008), establishes nonemptiness of approximate cores of large games by showing that payoffs in the cores of derived “balanced cover” games can be approximated by feasible payoffs of the original games. Quite surprisingly, a modification of a key construct from the literature on payoff-dependent balancedness, a correspondence from limiting feasible payoffs to distributions of players types^{3} achieving them, enables us to establish that for large games limiting payoffs vary continuously with the distribution of player types. With such a correspondence in hand, we can bypass approximation of the original games by balanced cover games and simply appeal to a fixed point argument rather than to approximating balanced games. An especially interesting aspect of our proof is that we obtain a limiting payoff set that is the analogue of the limiting utility function of Wooders (1994) describing TU games with many players as market games. This paper lays a foundation for further investigation of many player nontransferable utility games as market games.

- 1.
Superadditivity (SA): Any group

*N*of players can realize at least the payoffs achievable by cooperation only within groups in a partition of*N*; - 2.
Players of the same type are substitutes (PSTS): The payoff possibilities set of a group

*N*depends on the types profile of the group and not on the names of its members; - 3.
Convexity (CONV): For each group

*N*the payoff possibilities set is convex; - 4.
Small group effectiveness (SGE): All or almost all gains to group formation can be realized by groups uniformly bounded in size.

Although both Predtetchinski (2005) and Allouch and Predtetchinski (2008) use the notion of payoff-dependent balancedness, their approaches differ in many aspects from that of the current paper. First, the current paper deals with a sequence of games defined in characteristic form with possibly ever-increasing equal-treatment payoff sets. Our framework, as Wooders (1983) and subsequent papers on games with many players, can accommodate a general class of exchange economies including ones with (local) public goods and clubs. In contrast, Predtetchinski (2005) and Allouch and Predtetchinski (2008) treat a pure exchange economy, where equal-treatment payoff sets are identical under replications of the total player set. As a result, in our approach both feasible payoffs and core concepts are defined approximately for large finite games, in contrast to Predtetchinski (2005) and Allouch and Predtetchinski (2008) where feasible payoffs and core concepts are exactly defined. Moreover, the crucial argument in our paper, based on small group effectiveness, is to show that payoffs achieved in the limit by a distribution of player types vary continuously with the distribution of player types. However, in Allouch and Predtetchinski (2008) such a continuity argument is inferred directly from the upper semi-continuity of utility functions over feasible allocations. Finally, in our approach we seek a fixed point for an arbitrary limiting distribution of player types, (both rational and nonrational), unlike Allouch and Predtetchinski (2008) where the distribution of players type is fixed and rational.

The paper is organized as follows. In Sect. 2, we present the basic features of games with a finite number of types of players. In Sect. 3, we present our main result on the nonemptiness of approximate cores of a sequence of games with a finite number of types of players. Section 4 provides the proof of our main result, and we conclude in Sect. 5 with a comparison to the literature.

## 2 NTU games with a finite number of types of players

*N*, with a typical group denoted by \(N\subset {\mathcal {N}}\). The

*profile*of

*N*, denoted by \({\mathrm {pro}}(N)\), is defined as follows:

*t*in

*N*. Also, let \(\left| N\right| =\sum _{t\in T}{\mathrm {pro}}_{t}(N)\) denote the number of players in

*N*.

*N*into a subset of \({\mathbb {R}}^{N}\). For each group of players

*N*, the correspondence has the following properties:

\({\mathcal {V}}(N)\) is a closed subset of \({\mathbb {R}}^{N}\);

\(0\in {\mathrm {int}}{\mathcal {V}}(N)\);

\({\mathcal {V}}(N)\) is comprehensive from below (that is, if \(x\in {\mathcal {V}} (N)\) and if \(y\in {\mathbb {R}}^{N}\), \(y\le x\) then \(y \in {\mathcal {V}}(N)\));

\({\mathcal {V}}(N)\cap {\mathbb {R}}_{+}^{N}\) is bounded above.

### 2.1 Superadditivity (SA)

*N*and any partition \({\mathcal {P}}(N)=(N_{k})_{k=1}^{K}\) of

*N*into groups with the property that \(v\in {\mathcal {V}}(N_{k})\times {\mathbb {R}}^{N{\setminus } N_{k}}\) for each

*k*, it holds that \(v\in {\mathcal {V}}(N)\), that is,

The following notion of substitute players in NTU games was introduced in Wooders (1983). For NTU games, to capture the notion of substitutes it is necessary to require not only that substitute players make the same contribution to any group they may join but also that they are interchangeable when they are both in the same group.

### 2.2 Players of the same type are substitutes (PSTS)

For any group of players *N* and any two players (*t*, *q*) and \((t,q^{\prime })\) (a) if \((t,q)\notin N\) and \((t,q^{\prime })\notin N\), given any \(v\in {\mathcal {V}}(N\cup \{(t,q)\})\) it holds that \(v^{\prime }\in {\mathcal {V}}(N\cup \{(t,q^{\prime })\})\), where \(v^{\prime }\) is defined by \( v_{tq^{\prime }}^{\prime }=v_{tq}\) and \(v_{\ell }^{\prime }=v_{\ell }\) for all \(\ell \in N\), \(\ell \ne (t,q)\), \((t,q^{\prime })\) and (b) if (*t*, *q*), \((t,q^{\prime })\in N\), given any \(v\in {\mathcal {V}}(N)\) it holds that \(v^{\prime }\in {\mathcal {V}}(N)\) where \(v_{tq^{\prime }}^{\prime }=v_{tq}\), \(v_{tq}^{\prime }=v_{tq^{\prime }}\) and \(v_{\ell }^{\prime }=v_{\ell }\) for all \(\ell \in N\), \(\ell \ne (t,q),(t,q^{\prime })\).^{4}

*N*define \(v_{N}\in {\mathbb {R}}^{N}\) such that for each \((t,q)\in N\) it holds that \((v_{N})_{tq}=v_{t}\). When \(v_{N}\in {\mathcal {V}}(N)\) we say that

*v*

*represents an equal-treatment payoff*in \({\mathcal {V}}(N)\). Let

*N*. Moreover, in view of PSTS, it holds that the equal-treatment payoff set \({\mathcal {V}}^{{\mathrm {etp}}}(N)\) of a group of players

*N*depends only on the profile \({\mathrm {pro}}(N)\).

^{5}

### 2.3 Convexity (CONV)

For each group \(N\subset {\mathcal {N}}\) the set \({\mathcal {V}}(N)\) is convex.

Convexity of payoff sets is often used in studies of NTU games and is satisfied for the special case of games with transferable utility. For our purposes in this paper, convexity is used to ensure that the average of any finite set of feasible payoffs is feasible.

### 2.4 Small group effectiveness (SGE)

*k*, and

Small group effectiveness ensures that, given arbitrarily small \( \varepsilon \), almost all (within \(\varepsilon \)) gains to group formation can be realized by a partition of the group of players into groups uniformly bounded in size.^{6}

## 3 The limiting utility possibilities set for NTU games

Following Scarf’s (1967) definition of an NTU game, with every group \(N\subset {\mathcal {N}}\) we associate an NTU game (*N*, *V*) defined by the property that for each nonempty subset *S* of *N* it holds that \(V(S)={\mathcal {V}}(S)\times {\mathbb {R}}^{N{\setminus }S}\). Thus, given the player set *N*, the correspondence \({\mathcal {V}}\) determines the *NTU game* (in coalitional function form) (*N*, *V*), where *N* is a finite set (the set of *players*) and *V* is a set-valued function that assigns to each nonempty subset *S* of *N* (a *group* or *coalition* ) a nonempty subset *V*(*S*) of \({\mathbb {R}}^{N}\), called a *payoff possibilities set* or simply a *payoff set*.

A *payoff vector for the game* (*N*, *V*) is a vector *x* in \(\mathbb {R }^{N}\). A payoff vector *x* is *feasible* for *N* if \(x\in V(N)\). A payoff vector *x* is in the \(\varepsilon \)*-core* of the game (*N*, *V*) if it is feasible for *N* and if, for every subset *S* of *N*, \( x+\varepsilon {\mathbf {1}}_{N}\)\(\notin \) int *V*(*S*). Informally, a feasible payoff vector *x* is in the \(\varepsilon \)-core if no group of players can improve upon *x* by more than \(\varepsilon \) for each player in the group.^{7}

During the proof of the following theorem, we will use the following notation: Denote by \(\left\| \cdot \right\| \) the sum-metric in \( {\mathbb {R}}^{T}\); that is, for \(s\in {\mathbb {R}}^{T}\) we have \(\left\| s\right\| =\sum _{t=1}^{T}|s_{t}|\). For each point \(s\in {\mathbb {R}}^{T}\) let \({\mathrm {supp}}(s)\) denote the set \(\{t\in T\,\vert \, s_{t}>0\}\), called the *support of**s*. Let \(\varDelta \) denote the simplex in \({\mathbb {R}}^{T}\) : \(\varDelta {=}\{s\in {\mathbb {R}}_{+}^{T}\,\vert \, \left\| s\right\| =1\}\) and let \({\mathrm {int}}\varDelta \) denote its (relative) interior.

### Theorem

Our novel proof is contained in the next section. In the remainder of this section, we introduce some notation used in the proof and indicate how the result is obtained.

*approximately achieves*

*v*.

Note that given \(v\in \varGamma \) it may be that there does not exist a group *N* that can fully achieve *v*, that is, there need not exist a group *N* such that \(v\in {\mathcal {V}}^{{\mathrm {etp}}}(N)\); there will exist such a group only if *all* gains to group formation can be exhausted by groups bounded in size.^{8} Note also that, by SA, if \((v-\varepsilon {\mathbf {1}})\in {{\mathcal {V}}}^{{\mathrm {etp}}}(N_{\varepsilon })\) then \((v-\varepsilon {\mathbf {1 }})\in {\mathcal {V}}^{{\mathrm {etp}}}(N_{\varepsilon }^{\prime })\) for every group \(N_{\varepsilon }^{\prime }\) containing a positive integer multiple of players of each type as \(N_{\varepsilon }\), that is, for every group *N* such that \({\mathrm {pro}}(N_{\varepsilon }^{\prime })=k{{\mathrm {pro}} (N_{\varepsilon })}\) for any positive integer *k*.

*v*. Thus, we define the correspondence \( \varPi :\varGamma \rightrightarrows \varDelta \) as follows:

*s*of player types for which

*v*is approximately feasible, that is, those distributions of player types that, in the definition of \(\varGamma \) are required to exist. Note that the groups \(N_{\varepsilon }\) may need to become arbitrarily large as \(\varepsilon \) becomes small. Note also that nonemptiness of the set \( \varPi (v)\) follows immediately from the definitions of \(\varGamma \) and \(\varPi \).

Let \({{G}}({\widetilde{\varPi }})\) denote the graph of the correspondence \( {\widetilde{\varPi }}\). We will show that \({{G}}(\widetilde{\varPi })\) is the closure of \({{G}}(\varPi )\) with respect to \({\mathbb {R}}^{T}\times \varDelta \).

Our proof proceeds by showing that limiting payoffs vary continuously with the distribution of player types. That is, we show that \({\widetilde{\varPi }}\) is a continuous correspondence from distributions of player types to limiting equal-treatment payoffs achievable, or almost achievable, by large games with close distributions of players types. We can then appeal to a fixed point theorem to obtain the result that there is a point \(v^{*}\in \partial (cl(\varGamma ))\) such that \(s^{*}\in \widetilde{\varPi }(v)\), which turns out to be sufficient to prove our main theorem.

## 4 The proof of the main result

### Proposition 1

*v*,

*s*) :

- (1)
If \(s\in \varDelta \cap {\mathbb {Q}}^T\) then \((v,s)\in {{G}}(\varPi ). \)

- (2)
For any sequence of groups \(\{N^{n}\}_{n}\) satisfying \( \lim _{n\rightarrow +\infty }\frac{{\mathrm {pro}}(N^{n})}{\left| N^{n}\right| }=s\in {\mathrm {int }}\varDelta \) (with possibly \(\frac{{\mathrm { pro}}(N^{n})}{\left| N^{n}\right| }\ne s^{n}\)) and \(\left| N^{n}\right| \rightarrow \infty \), for every \(\varepsilon >0\) there exists \(r_{\varepsilon }\) such that for each \(n\ge r_{\varepsilon }\), it holds that \((v-\varepsilon {\mathbf {1}})\in {\mathcal {V}}^{{\mathrm {etp}} }(N^{n})\).

### Proof of Proposition 1

(1) The proof of (1) has two parts. In Part (a), given the sequence \(\{(v^{n},s^{n})\}_{n}\ \) converging to (*v*, *s*), using SGE, we determine a finite collection of distributions of player types such that for any distribution \(s^{\prime }\ \)in the collection it holds that \((v-\frac{ 2\varepsilon }{3}{\mathbf {1}})\in {\mathcal {V}}^{etp}(S^{\prime })\) for any group \(S^{\prime }\) with distrbution of types equal to \(s^{\prime }\). Let \( {\mathcal {M}}^{{*}}\) denote this collection of profiles. We use this result in Part (b) where it is shown that we can restrict attention to distributions in the collection \({\mathcal {M}}^{{*}}\).

*N*satisfying \(\left| N\right| \le \tau (\frac{\varepsilon }{3})\), we can denote their number by a finite integer

*M*and let \( p_{1},\ldots ,p_{m},\ldots ,p_{M}\) be a list of these profiles. Thus, we can write

*N*such that \({\mathrm {pro}}(N)=p_{m}\) for some \(m\in {\mathcal {M}}^{{*}}\), for all

*n*sufficiently large, it holds that

*d*such that

*ds*has integer components. In view of (2), for each

*n*, the set

*n*sufficiently large, it holds that

*D*in \(E_{\varepsilon }^{n,{s}}\) with \({\mathrm {pro}}(D)={\mathrm {pro}}(N_{\varepsilon }^{n,{*}})\). Consider the payoff vector

*D*, which yields an equal-treatment payoff vector that belongs to \({\mathcal {V}}(E_{\varepsilon }^{n,{s}})\) since CONV.

^{9}For sufficiently large

*n*, this average payoff vector will be greater than \((v-\varepsilon {\mathbf {1}})_{E_{\varepsilon }^{n, {s}}}\). Hence, it holds that

(2) In the following, we will show that for any sequence of groups \(\{N^{n}\}_{n}\) with a limiting distribution of player types given by *s*, for all *n* sufficiently large, \(N^{n}\) can be approximated (in terms of numbers of players of each type) by groups with profiles in the collection \((p_{m})_{m\in {\mathcal {M}}^{{*}}}\), which, in turn, implies that \(N^{n}\) can approximately achieve the payoff *v*.

We require the following theorem about projections on a convex set.

### 4.1 Projection theorem

*C*be a nonempty closed convex set of \({\mathbb {R}}^T\).

- (i)
For any \(x\in {\mathbb {R}}^{T}\) there exists a unique vector \( P_{C}(x)={\mathrm {arg}}\ \underset{z\in {C}}{{\mathrm {min}}}\left\| z-x\right\| _{2}\) called the projection of

*x*on \({\ C}\).^{10} - (ii)The vector \(P_{C}(x)\) can be defined as the only vector with the property$$\begin{aligned} (y-P_{C}(x))\cdot (x-P_{C}(x))\le 0,\quad \forall y\in {\ C}. \end{aligned}$$

*n*

*n*, let \({{\mathcal {F}}}^{n}=\{\theta \in [0,1]\,\vert \, {\mathrm { pro}}(N^{n})-\theta \ {{c}}(N^{n})\ge 0\}\), which is nonempty since it contains 0. Let \(\theta ^{n}={\mathrm {max}}\ {{\mathcal {F}}}^{n}\). We claim that \(\lim _{n\rightarrow +\infty }\theta ^{n}=1\). Suppose not. Then passing to a subsequence if necessary, we may assume that \(\lim _{n\rightarrow +\infty }\theta ^{n}=\theta ^{*}\) for some \(\theta ^{*}\in [0,1[\). Hence,

*n*sufficiently large, it holds that

*n*sufficiently large, it holds that \(\theta ^{n}<\frac{(\theta ^{n}+1)}{2}\).

*u*] denotes the integer part of

*u*. Let \(\widehat{N^{n}}\subset N^{n}\) be a group satisfying \( {\mathrm {pro}}(\widehat{N^{n}})= {\mathrm {Integer}}(\theta ^{n}{{c}}(N^{n}))\). Note that

### Proposition 2

There is a bound \(B\in {\mathbb {R}}_{+}\) such that for all \((v,s)\in {{G}}(\varPi )\), for each \(t\in {\mathrm {supp}} (s)\) it holds that \(v_{t}<B\).

### Proof of Proposition 2

*B*is well defined and finite. Let \(t\in {\mathrm {supp}}(s)\). From (2) it follows that \(t\in {\mathrm {supp}}(p_{m})\) for some \(m\in {\mathcal {M}}^{{*}}\), which in view of PSTS and (3), implies that \(v_{t}\le B\). \(\square \)

### Proposition 3

\({{G}}({\widetilde{\varPi }})={\mathrm {cl }}({{G}}(\varPi ))\).

### Proof of Proposition 3

Indeed, \({{G}}({\widetilde{ \varPi }})= {\mathrm {cl}}( {{G}}(\varPi ))\) holds from the definition of \({ \widetilde{\varPi }}\). \(\square \)

### Proposition 4

For each \(v\in {\mathrm {cl}}(\varGamma )\) the set \({\widetilde{\varPi }}(v)\) is nonempty and convex.

### Proof of Proposition 4

Let \(v\in {\mathrm {cl}}(\varGamma )\). Then, there exists a sequence \(\{v^{n}\}_{n} \in \varGamma \) that converges to *v*. This implies that there exists a sequence \(\{(v^{n},s^{n})\}_{n}\) satisfying \(s^{n}\in \varDelta \) and \(s^{n}\in \varPi (v^{n})\). Since \(\varDelta \) is compact, passing to a subsequence if necessary, we may assume that \( \lim _{n\rightarrow +\infty }s^{n}=s\in \varDelta \). Hence, \(s\in {\widetilde{\varPi }}(v)\). Hence, \({\widetilde{\varPi }}(v)\) is nonempty.

*n*. This implies that \(v^{n}_{1}, v^{n}_{2} \in \varGamma \). Then, there exists two groups \(N^1_{\varepsilon }\) and \( N^2_{\varepsilon }\) satisfying

*v*. Moreover, given that \({\mathcal {V}}^{{\mathrm {etp}}}(N^{1}_{\varepsilon })\) and \({\mathcal {V}}^{{\mathrm {etp}}}(N^{2}_{\varepsilon })\) are comprehensive from below it holds that

*W*as the set

*B*is defined in Proposition 2. A point \(v\in W\) belongs to the boundary of

*W*if and only if either \(v\in \partial ({\mathrm {cl}}(\varGamma ))\) or has \(v_{t}=B+1\) for some \(t=1,\ldots ,T\).

### Proposition 5

There is a homeomorphism *h* from the space \(\varDelta \) to the space \(\partial W\cap [-1,+\infty [^{T}\) such that \(h(s)_{t}=-1\) whenever \(s\in \varDelta \) and \(t\in T{\setminus } {\mathrm {supp}}(s)\).

### Proof of Proposition 5

Let \(s\in \varDelta \) be given. Let *R* be the ray emanating from \(-{\mathbf {1}}=(-1,\ldots ,-1)\) in the direction of *s*. Thus, every point \(\rho \) of *R* is of the form \(\rho = -{\mathbf {1}}+ \sigma s \) for some nonnegative real number \(\sigma \). It is clear that, since *W* is closed, comprehensive from below, and bounded from above, *R* intersects the boundary of *W* at exactly one point.

To see that *R* does intersect \(\partial W\), observe that \(-{\mathbf {1}}\) belongs to both the set *W* and the ray *R*. Thus, the set \(R_{1}=R\cap W\) is nonempty. Furthermore, there is a \(\rho \in R\) such that \(\rho _{t}\ge B+1\) for some \(t\in {\mathrm {supp}}(s)\), so that \(\rho \) lies outside the interior of *W*. Therefore, the set \(R_{2}=R\cap ({\mathbb {R}}^{T}\backslash \,{\mathrm {{int}}W)}\) is nonempty. Thus, \(R_{1}\) and \(R_{2}\) are nonempty closed subsets of *R* whose union is *R*. By connectedness of *R*, the set \( R_{1}\cap R_{2}=R\cap \partial W\) is nonempty.

*R*and

*W*is a singleton, suppose that the set \(R\cap \partial W\) contains two distinct points \(\underline{v}\) and \( \overline{v}\). Thus, \(\underline{v}=-{\mathbf {1}}+\underline{\sigma }s\) and \(\overline{v}=-{\mathbf {1}}+\overline{\sigma }s\) for some nonnegative reals \( \underline{\sigma }\) and \(\overline{\sigma }\). Without loss of generality, we can assume that \(\underline{\sigma }<\overline{\sigma }\). For each \(t\in {\mathrm {supp}}(s)\), we have \(\underline{v}_{t}<\overline{v}_{t}<B+1\). For each \(t\in T{\setminus } {\mathrm {supp}}(s)\) (possibly empty), we then have \({\underline{v}}_{t}={\overline{v}}_{t}=-1\). Note that since \( \overline{v}\in {\mathrm {cl}}(\varGamma ), \) it is easy to check that

*W*, which is a contradiction.

*h*from \(\varDelta \) to \(\partial W\cap [-1, +\infty [^T\) by letting

*h*(

*s*) be the unique point in the intersection of the ray

*R*and the set \(\partial W\). We now demonstrate that

*h*has an inverse. Let

*g*denote the map from \(\partial W\cap [-1, +\infty [^T\) to \(\varDelta \) given by the equation

*g*is well defined since the point \(-{\mathbf {1}}\) lies in the interior of

*W*. It is easy to see that

*g*is indeed the inverse of

*h*, that is, \(h\circ g\) and \(g\circ h\) are equal to the respective identity maps. Clearly,

*g*is a continuous map. Furthermore, because its domain is compact and the codomain is Hausdorff, it carries closed sets to closed sets. Therefore,

*h*is also a continuous map. This proves that

*h*is a homeomorphism. \(\square \)

The rest of the proof relies on the Talman and Yang (2009) version of the well-known Fan’s coincidence theorem, as stated below. That theorem addresses a domain consisting of a nonempty and convex subset *Y* of \( {\mathbb {R}}^{N}\). For ease of translation of the theorem to our context, we restrict the domain to be the simplex in \({\mathbb {R}}^{T}\). Let \(N(\varDelta ,s)=\{z\in {\mathbb {R}}^{N}\,\vert \, (s-s^{\prime })^{\top }z\ge 0\ \text {for each} \ s^{\prime }\in \varDelta \}\) denote the normal cone of the set \(\varDelta \) at the point *s*. A zero point of a correspondence \(\varPhi :\varDelta \rightrightarrows {\mathbb {R}}^{T}\) is a point *s* of \(\varDelta \) such that \( \varPhi (y)\) contains the zero point.

For ease in reading, we state the following result using the simplex rather than an arbitrary compact convex set.

### Theorem

(Talman and Yang) Let \(\varPhi :\varDelta \rightrightarrows {\mathbb {R}}^{T}\) be a correspondence with nonempty convex values having a compact graph. Suppose that for each \(s\in \varDelta \) and for each \(z\in N(\varDelta ,s)\) there exists a \(\phi \in \varPhi (s)\) such that \( z^{\top }\phi \le 0\). Then, \(\varPhi \) has a zero point.

### Proposition 6

There exists \(v^{{*}}\in \partial ({\mathrm {cl}}(\varGamma ))\) such that \(s^{*}\in {\widetilde{\varPi }} (v^{{*}})\).

### Proof of Proposition 6

Define the correspondence \(\varPhi :\varDelta \rightrightarrows {\mathbb {R}}^{T}\) by letting \(\varPhi (s)={\widetilde{ \varPi }}(h(s))-\{s^{*}\}\) for each \(s\in \varDelta \). Clearly, the correspondence \(\varPhi \) has nonempty and convex values. Its graph is closed, because *h* is continuous and the graph of \({\widetilde{\varPi }}\) is closed. Since \(\varPhi \) maps a compact set \(\varDelta \) into a compact set \(\varDelta -\{s^{*}\}\), its graph is, in fact, a compact set.

*v*denote the vector

*h*(

*s*). Then, the normal cone of \(\varDelta \) at

*s*is the set

*n*, which implies \({\hat{s}} \in { \widetilde{\varPi }}(v)= {\widetilde{\varPi }}(h(s))\). The vector \(\phi ={\hat{s}} -s^{*}\) is therefore an element of \(\varPhi (s)\). Since \(0\le \phi _{t}\) for each \(t\in T{\setminus } {\mathrm {supp}}(s)\), the inequality \(z^{\top }\phi \le 0\) holds for each \(z\in N(\varDelta ,s)\). By Fan’s coincidence theorem, the correspondence \(\varPhi \) has a zero point, say \(\tilde{s}\). Letting \(v^{{ *}}\) be equal to \(h( \tilde{s})\), we see that \(v^{{*}}\in \partial W\) and \(s^{*} \in {\widetilde{\varPi }}(v^{{*}})\). Since \(s^{*}\in {\mathrm {int}}\varDelta \) it follows from (taking the limit in) Proposition 2 that \(v_{t}^{{*}}<B+1\) for each

*t*and thus \(v^{{*}}\in \partial ( {\mathrm {cl}}( \varGamma ))\). \(\square \)

Finally, Proposition 6, together with (2) in Proposition 1, implies that for every \(\varepsilon >0\) there exists \(r_{\varepsilon }\) such that for each \( n\ge r_{\varepsilon }\), \((v^{*}-\varepsilon {\mathbf {1}})_{N^{n}}\) is in the \(\varepsilon \)-core of \((N^{n},V)\). \(\square \)

## 5 Some relationships to the literature

To relate our work to the literature, we begin with Wooders (1983). We note that the results of that paper have played a role in much subsequent work on cooperative games with many players (see, for example, Wooders (1994) and Kovalenkov and Wooders (2001, 2003) and on economies with clubs or local public goods (see, for example, Wooders 1997; Conley and Wooders 2001; Allouch and Wooders 2008).

Before proceeding we require another definition:

### 5.1 Per capita boundedness (PCB)

The correspondence \({\mathcal {V}}\) satisfies per capita boundedness if there is a constant *K* such that if \(v\in {\mathcal {V}}^{{\mathrm {etp}}}(N)\) then \(v_{t}\le K\) for each *t* such that \((t,q)\in N\) for some *q*.

Note that PCB is less restrictive than SGE, but when there are many players of each type then the two concepts are closely related. Following is a restatement of the main theorem of Wooders (1983) using the notation of this paper and Lemmas in Wooders’s proof.

### Theorem

*n*,

Note that *s* can be any vector in \({\mathrm {int}}\varDelta \cap {\mathbb {Q}}^{T}\). Thus, for sequences of games where all games in the sequence have the same percentage of players of each type, the main theorem of Wooders (1983) implies the result of this paper. The proof, however, is quite different. In some sense, Wooders (1983) approaches the limiting payoff \(v^{*}\) “from below” while the current paper starts with defining a limiting set for every possible player profile. Essentially, Wooders’s proof shows that the limit of the set of equal-treatment payoff vectors achievable by a sequence of games with a fixed distribution of player types is the same as the limit of those equal-treatment games achievable by the associated sequence of balanced cover games. In contrast, we look directly at the limiting sets. We also show that the sets of equal-treatment payoffs vary continuously with as the distribution of player types varies. Our result also extends that of Wooders (1983) since she treats a fixed distribution of player types while we treat all sequences of growing games converging to the same limiting distribution of player types; this difference is reflected in the part of our proof using the projection theorem.

Our work in this paper also relates to Wooders (2008) which considers a compact metric space of player types and demonstrates nonemptiness of approximate cores for *all* sufficiently large (but finite) games derived from the structure. That paper uses somewhat different conditions than the current paper and has a different purpose—namely to relax the finite-type assumption, so we will not discuss the relationships in any detail.

## 6 Conclusions

We present an extension of the main result of Wooders (1983). In work in progress, we use our approach in this paper to relate the Aumann-core (with coalitions of positive measure) and the *f*-core of Kaneko and Wooders (1986) and Kaneko and Wooders (1996)^{11} and show their equivalence for games with many players. We also establish the equivalence of core outcomes for other models allowing “large” players (or positive measure).

In conclusion, we note that the theory of cooperative games satisfying either per capita boundedness or small group effectiveness has found application in club theory and the theory of local public goods (c.f., Allouch and Wooders (2008) and references therein), in the study of market games (Wooders 1994), and recently, in security exchanges (Faias and Luque 2016). All these papers advance the notion that large cooperative games, with a compact metric space of player types, are market games. The general theories of approximate cores of games with many players can also be used to obtain a special case of a non-emptiness result due to Gersbach et al. (2015) on household formation. While we require convexity of payoff sets, if we had instead allowed a “left-over” set of players as in Shubik and Wooders (1983) or Kovalenkov and Wooders (2003), then a result analogous to that of this paper could be immediately applied to matching markets, as in the celebrated volume of Roth and Sotomayer (1990) and in multiple extensions of matching markets such as Legros and Newman (2002). Another application, in progress, uses SGE in the study of economies with incomplete information (see Kamishiro et al. 2016). In view of the multiplicity of applications already in the literature, we anticipate that our work in this paper will help in the development of yet further applications.

Payoff-dependent balancedness generalizes the well-known notion of Scarf balancedness for NTU games.

As they discuss, the intuition behind the Bonnisseau and Iehlé (2007) result comes from the existence of a general pricing rule equilibrium in an economy with a nonconvex production sectors, as in Bonnisseau and Cornet (1988), Bonnisseau et al. (1991) and Bonnisseau (1997), which show that core payoffs correspond to equilibrium allocations of a suitably constructed two-production-set auxiliary economy.

In interpretation, a distribution of player types is simply a list of percentages of players of each type. For large games it also reflects a set of players *á la* Aubin (1979), where players have different participation rates (see also Florenzano 1990; Allouch and Florenzano 2004).

For the reader familiar with Wooders (2008), we note with this requirement, that players of the same type are substitutes, the correspondence \(\mathcal {V}\) determines a “pregame” with a finite number of types.

To see this, let *N* and \(N^{\prime }\) be groups of players with the same profiles. Let \(\tau \) be a type-preserving one-to-one mapping from *N* onto \( N^{\prime }\) (that is, if \((t,q)\in N\) then \(\tau ((t,q))=(t,q^{\prime })\) for some \(q^{\prime }\) such that \((t,q^{\prime })\in N^{\prime }\)). Given a set \(Y\subset {\mathbb {R}}^{N}\), let \(\sigma _{\tau }(Y)\subset {\mathbb {R}}^{N^{\prime }}\) denote the set formed from *Y* by substituting the values of the coordinates according to the mapping \(\tau \). In view of PSTS, it holds that \({\mathcal {V}}(N)=\sigma _{\tau }^{-1}({\mathcal {V}}(N^{\prime }))\), which implies that \({\mathcal {V}}^{{\mathrm {etp}}}(N)={\mathcal {V}}^{{\mathrm {etp}} }(N^{\prime })\). Hence, PSTS implies that the equal-treatment payoff set \({ {\mathcal {V}}}^{{\mathrm {etp}}}(N)\) of a group of players *N* depends only on the profile \({\mathrm {pro}}(N)\).

While other related conditions appear in the literature, such as boundedness of the set of equal-treatment payoffs and strict small group effectiveness, the condition of SGE, which precisely limits the power of small groups, was introduced in Wooders (2008) for NTU games and in Wooders (1992) for TU games. Our notion here of SGE is slightly more restrictive than that of Wooders (2008), but the difference is simply for convenience.

## Funding information

Funder Name | Grant Number | Funding Note |
---|---|---|

Queen Mary University of London |

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.