Robert J. Aumann's (1964) core equivalence theorem states that the set of core allocations in his atomless economy is identical to the set of Walrasian equilibrium allocations, i.e. C(E) = W(E). The method of proof we follow here is not identical to Aumann's original. In particular, we make use of some rather simplifying procedures -- notably, we use Aumann's (1965) definition of "integration of correspondences" and Lyapunov's theorem (introduced into economics by Karl Vind (1964)). However, the essence of the proof is basically the same.

Aumann's (1965) definition of the "integral of a correspondence" was actually one of the few recorded cases where an economist has actually contributed to the mathematical theory. The problem Aumann faced was effectively this: we know how to integrate a function ¦
: X ®
R, where ¦
(x) is a single *point* in R, but there was no standard means to integrate a *correspondence*, j
: X ®
R where j
(x) is a* set* in R rather than a single point. Aumann (1965) provided the following definition:

Integral of Correspondence: Let (H, Á , m ) be a generic measure space and let j : H® R be a correspondence. Then theintegral of correspondencej is:ò

_{H}j = {ò_{H}¦ | ¦ is a measurable selection from j }

In other words, facing a correspondence, j
: H ®
R, take a *measurable* function that passes everywhere through j
. Integrate it (if you can -- but you usually can integrate measurable functions). Put it in a bag. Find another measurable function, integrate it, put in the same bag, etc. Do this again and again for *all* measurable selections from j
. Put them all in the bag. Then the "integral of correspondence j
" is merely this bag, a set of integrals of measurable selections from j
. That's it.

Now, this may not look useful: we just have a set full of numbers (the integrals of the measurable selections, ¦
). However, there is a *very* interesting property of Aumann's integral: namely, it is a *convex set*.

Hello? A convex set? This should sound surprising. Let g and ¦
be measurable selections of j
. Then, ò
_{H} ¦
and ò
_{H} g are numbers, both of them included in the "bag" ò
_{H} j
. But to say the ò
j
is a convex set means that a
(ò
_{H} ¦
) + (1-a
)(ò
_{H}g) Î
ò
_{H} j
for a
Î
(0, 1), i.e. the convex combination between these two numbers, ò
_{H} ¦
and ò
_{H} g, is *also* in the set! This means there must be *some* measurable selection of j
(call it k) where a
(ò
_{H} ¦
) + (1-a
)(ò
_{H}g) = ò
_{H} k. This is not intuitive. How can this be true?

But it is true. And we'll find, time and time again, that things like this are true. This is because infinite numbers of things have a tendency to"convexify" collections of things that, individually, are not convex. It is is easy to visualize this. In simple R^{2} space, take, say, a circle with a slight dent in it, so that it is nearly convex, but not actually so. Take another circle with a slight dent elsewhere in it. Add them together, and you'll get a circle with two dents -- but the "dents" are relatively "smaller" in this big circle than they were in the original. Add up a lot of circles with lots of different dents, and you'll see that, slowly, the dents begin to disappear. In the limiting case of an infinite number of circles, the resulting "sum" will be a completely convex circle.

It is effectively this kind of "convexifying" property of infinite numbers that yields the "convexity" of the integral of a correspondence, ò
_{H} j
, even though it might not seem obvious. To prove this we need to use Lyapunov's theorem, introduced by Vind (1964). We merely state the theorem:

Theorem: (Lyapunov) if {m_{i}}_{i=1}^{n }is a collection of atomless measures on the measurable space (H , Á), then, defining vector l = [m_{1}, m_{2}, ...m_{n}], the set {l (S) Î R^{n}ｽ S Î Á } is a convex subset of R^{n}.

Proof: Omitted. See Vind (1964: Lemma A).

Now we come to the main result:

Lemma: Let j :(H, Á, m ) ® R be a correspondence. Then ò_{H}j as defined by Aumann, is convex.

Proof: From Debreu (1967: p.369-70) (originally attributed to H. Richter). Let x, y Î ò_{H} j
. By Aumann痴 definition, there are measurable selections ¦
and g such that x = ò_{H} ¦
dm
and y = ò_{H} g dm
, where m
is an atomless measure. It is an easy matter to recall that if ¦
and g are integrable, then the integrals ò
_{H} ¦
and ò
_{H} g also serve as measures, i.e. given S Î
Á
, then we can measure it with ò
_{S} ¦
or ò
_{S} g. Thus, let us define the vector l
(S) = (ò
_{S} ¦
, ò
_{S} g). We skip the part proving l
is atomless, so take this on faith. Now, by Lyapunov痴 Theorem, the set {l
(S) = (ò_{S} ¦
, ò_{S }g) Î R^{2 } ｽ S Î Á } is convex. Now, as Æ
, H Î
Á
, then l
(Æ
) = (0, 0) and l
(H) = (x, y). Since both (0, 0) and (x, y) belong to this set, so does their convex combination a(x, y) + (1-a)(0, 0) = (ax, ay), for any a
Î
[0, 1]. Thus, there must be a set E Î Á such that l
(E) = (a
x, a
y), i.e. there is an E where ax = ò_{E ¦
} dm
and a
y = ò_{E }g dm
. Define function k(h) = ¦
(h) if h Î E and k(h) = g(h) if h Ï E. Then:

ò

_{H}k = ò_{E }k + ò_{H/E}k= ò

_{E}¦ + ò_{H\E }g= ò

_{E}¦ + ò_{H}g - ò_{E }g= a x + (1 - a )y

Now, as k is composed of measurable selection ¦
over E and of another measurable selection g over H\E, then k is itself a measurable selection of j
, and so ò
_{H} k Î
ò
_{H j
}. However, as we have just shown, ò
_{H} k = a
x + (1-a
)y, thus a
x + (1-a
)y Î
ò
_{H} j
. So ò
_{H} j
is convex.§

Why do we need this anyway? Well, we shall be integrating correspondences very soon. In particular, we shall consider a rather important correspondence -- the strict upper contour set of preferences. For an individual, the strict preference set, which we shall label simply P(h), is the set of allocations individual h strictly prefers to his current allocation, x(h), i.e.

P(h) = {y Î R

^{n}| y >_{h}x(h)}

Thus, P(h) is the set of points in R^{n} *above* the indifference curve of agent h that passes through x(h). As we have *not* assumed convexity of preferences in this model, then P(h) is *not* necessarily a convex set. (see Figure 1 below).

Varying the household name, h, we vary the consequent upper contour set, P(h). Thus, we can define a correspondence:

P: (H, Á , m ) ® R

^{n}

which maps household names to subsets of R^{n}. We will be using this in the core equivalence theorem that follows.

Theorem: (Aumann)Let E: (H, Á , m ) ® Ã´ R^{n}_{+}be an atomless economy with ò_{H}e dm >> 0. Then W(E) = C(E)

Proof: Originally Aumann (1964). We effectively take the version in Hildenbrand (1974: p.133-5). [For an alternative proof which does not use the integral of a correspondence, see Hildenbrand (1982: p.843-5).] As this is an equivalence theorem, we must prove that W(E) Ì C(E) and that C(E) Ì W(E). The first we are already familiar with:

(i) *W(E) Ì C(E)*: Suppose not. Then, $ x Î W(E) such that x Ï C(E). Then there is some coalition S Ì H and a bundle y such that y(h) >_{h }x(h) for all h Î S and ò
_{H} y £
ò
_{H} x. But, if so, then multiplying by p ｹ 0, it will be true that: ò
_{H} py £
ò
_{H} px. But then this violates the definition of a Walrasian equilibrium as we have found a bundle y and at least one agent h such that y(h) >_{h} x(h) does *not* imply ò
_{H} py > ò
_{H} px. Therefore, x Ï
W(E). A contradiction.

(ii) *C(E) Ì W(E)*: We shall undertake the rest of the proof of Aumann in several steps. Firstly, let us define the correspondence Y(h) = {P(h)^{ }- {e(h)}}È {0}, i.e.

Y(h) = {{y Î R

^{n}ｽ y >_{h}x(h) } - {e(h)}} È {0}

So, Y (h) is the net trade version of the strict upper contour set for preferences of agent h seen from his equilibrium allocation, x(h), plus the (no trade) origin. See Figure 1 for intuition. Thus, integrating this:

L = ò

_{H}Y(h) dm

for which we are using the Aumann definition of an integral of a correspondence. By the assumption that (H, Á , m ) is atomless, then L is convex by the previous Lemma (Lyapunov's Theorem, etc.). Furthermore, as 0 Î L, it is non-empty.

Fig. 1- Upper Contour Sets

This L is analogous to the one we used in Debreu-Scarf (1963). In fact, the subsequent method of proof follows the same logical steps. Our first step is to prove that L Ç R^{n}_{-} = {0}, i.e. L does not intersect the interior of the negative quadrant. To prove this, suppose not. Suppose there exists a z Î L, where z << 0. Then by the Aumann definition of the integral L, there is a measurable selection y in Y
such that z = ò_{H} y(h) << 0. Consider then a set of agents S = {h Î H ｽ y(h) ｹ 0} where m
(S) > 0. This will serve as our coalition. As z = ò_{H} y(h) = ò
_{H\S} y(h) + ò
_{S} y(h), then as y(h) = 0 for all h Ï
S, then ò_{H} y(h) = ò
_{S} y(h) << 0. But now as z Î L, then we can construct a bundle (y + e) such that y(h) + e(h) >_{h} x(h) for all h Î
S. Then integrating over S, we get ò
_{S} [y(h) + e(h)], which is the average allocation received in the coalition. However, as ò
_{S} y(h) << 0, then:

ò

_{S}[y(h) + e(h)] << ò_{S}e(h)

which is another way of saying that the allocation (y + e) is feasible for the coalition S. But as we constructed it, (y(h) + e(h)) is also preferred to x(h) by the members of the coalition h Î S. And, by construction, m (S) > 0. So x(h) cannot be in the core. A contradiction.

So far so good. Now, in the second step, we want to use the separating hyperplane theorem as we did in the
Debreu-Scarf case and separate L from the interior of the negative orthant. Now, as L Ç R^{n}_{-} = {0}, then L Ç
-R^{n}_{++} = Æ. We also know that L is non-empty (as 0 Î
L) and, by Lyapunov's theorem, convex. As a result we can employ the separating hyperplane theorem to separate L from the strictly negative
orthant, i.e. by the SHT, there is a vector p and a scalar c such that py ｳ c " y Î L and py ｣ c for every y Î
-{R^{n}_{++}}. But by construction, 0 Î L, thus, py ｳ 0 " y Î L. Now, if y Î L then y = ò_{H} Y(h). Following Hildenbrand (1974: p.63, Prop. 6), we can interchange infimum and integral:

inf p{zｽ z Î ò

_{H}Y(h)}= ò_{H}inf p{zｽ z Î Y(h)}

but by SHT, py ｳ 0 " y Î L = ò_{H} Y(h). Thus,

ò

_{H}inf p{zｽ z Î Y(h)} ³ 0

Since, by definition, 0 Î L, then 0 Î Y(h) a.e. in H. Consequently, inf pｷ Y(h) £
0. Combining, then, we see that inf pｷY(h) = 0 almost everywhere in H. Notice that this implies that for all y Î
P(h), then pｷy ³
pｷe(h), i.e. if y >_{h} x(h), then pｷy ³
e(h) almost everywhere in H. Thus, we have a quasi-equilibrium. As we know, by ò
_{H} e(h) >> 0 and strong monotonicity of preferences, it is a simple matter to transform this result into a Walrasian equilibrium, i.e. almost everywhere in H, y >_{h} x(h) implies pｷy > pｷe(h). §

In sum, Aumann's theorem has proved that C(E) = W(E), that in the atomless economy, the set of core allocations *is* the set of Walrasian equilibrium allocations. Through these elaborate mathematical means, Edgeworth's conjecture (b) is proved.

Back | Top | Selected References |