Beruflich Dokumente
Kultur Dokumente
Correspondences
CANADIAN MATHEMATICAL SOCIETY
SERIES OF MONOGRAPHS
AND ADVANCED TEXTS
EDITORIAL BOARD
Frederick V. Atkinson
Bernhard Banaschewski
Colin W. Qark
Erwin O. Kreyszig (Chairman)
John B. Walsh
A Wiley-Interscience Publication
JOHN WILEY & SONS
New York Chichester • Brisbane . Toronto Singapore
Copyright © 1984 by John Wiley & Sons, Inc.
All rights reserved. Published simultaneously in Canada.
Reproduction or translation of any part of this work
beyond that permitted by Section 107 or 108 of the
1976 United States Copyright Act without the permission
of the copyright owner is unlawful. Requests for
permission or further information should be addressed to
the Permissions Department, John Wiley & Sons, Inc.
Erwin Klein
A nthony C. T hompson
Halifax, Nova Scotia
April 1984
Contents
Chapter 1 Introduction
1.1 Relations 3
1.2 Topology on Partially Ordered Sets 6
1.3 Topologies on Spaces of Subsets 7
1.4 Notes and Remarks 9
1.5 Exercises 10
Chapter 3 Convergence 23
3.1 Definitions 23
3.2 Properties of the Limits 25
3.3 Convergence as a Topological Property 29
3.4 Notes and Remarks 35
3.5 Exercises 35
VII
Contents
Chapter 6 Introduction 65
6.1 Correspondences 65
6.2 Unary Operations on Correspondences 66
6.3 Binary Operations on Correspondences 67
6.4 Notes and Remarks 70
6.5 Exercises 70
Chapter 7 Continuity 72
8.1 Selections 96
8.2 Fixed-Point Theorems 99
8.3 Notes and Remarks 105
8.4 Exercises 107
Bibliography 229
Spaces o f Subsets
Chapter One
Introduction
This first part is devoted almost entirely to topology. We assume that the
reader is familiar with the standard concepts of the subject—topology, open
set, closed set, compactness, connectedness, various separation axioms, base,
and the notion of convergence—such as are dealt with in standard texts like
Kelley (1955), Kuratowski (1961, 1966), and Dugundji (1966). The purpose of
this part as a whole is to apply these notions to topological spaces formed from
collections of subsets of some original space X,
Our approach, to a large extent, will be via partial orders and order
topologies. We shall, therefore, spend some time in this introduction dealing
with the notation and terminology we shall use for relations in general and
partial orders in particular. This will be useful again in Part II when we come
to deal with correspondences (set-valued functions), which are another special
class of relations.
LI RELATIONS
The mathematical notion of a relation follows our intuitive idea quite closely.
Given a set X of elements x, >^,.. ., the idea of a relation between the elements
has to be such that we can say precisely whether or not x is related to y. Since
X may be related to y without y being related (in the same way) to x (e.g., the
relationship may be “ is the son o f ’ or “ is heavier than”), it is the ordered pair
{x, y ) which is important.
LLl Definition
Given two sets X and 7, a relation /between X and 7 is a subset of A" X 7 and
we write xfy if and only if (x, y) e /.
Note that although having two sets X and 7 seems a little more general than
the introductory discussion in the preceding paragraph where we spoke of a
4 Introduction
L I.2 Definitions
Given a relation / between sets X and 7, the image of x is denoted by /*(^)
and is the set of all elements in 7 which are related to x\ thus
= {y^ ^ /} -
f*{y)= [ x ^ X : { x , y ) ^ f ) .
f„{A) = ( y e Y - . { x , y ) ^ / f o r some X in
= ( j e Y : f * { y ) C\A 0 ),
= {x e X : { x , y ) e / f o r s o m e >' in B)
= (x e A': f . { x ) (~\ B ¥= 0 ] .
r(B)=
In the case of functions these are the usual image and inverse image. For a
function <f>we shall use the more usual notation <(>(A) and 4>~\B).
In addition to the weak image there is also the notion of a strong or upper
image:
fM ) =
r{B) = {x ^ X :U {x )^B ).
These concepts will not be needed until Part II.
Again we note that /„,, /^ are functions from ^ { X ) to ^ ( T ) and /*^, /* are
functions from ^ { Y ) to ^ { X ) .
1.1 Relations 5
1.1.3 Definitions
A relation / on AT is said to be reflexive if xfx for all jc in A"; it is said to be
symmetric if xfy imphes yfx; and it is said to be transitive if xfy and yfz
together imply xfz. A relation on X which is reflexive, symmetric, and
transitive is an equivalence relation. A partial order on ATis a relation which is
transitive, antisymmetric (in the sense that at most one of (x, 7 ) and (>^,x) is
in / ) , and nonreflexive (in the sense that, for all x, x is not related to x).
We observe that the terminology for order relations is not entirely standard,
and although it is somewhat arbitrary whether an order is made reflexive or
not, the requirement that it be antisymmetric is not always insisted upon. The
most common examples of partially ordered sets are the real numbers with
their usual order, various subsets of the real numbers, and the power set ^ { X )
of some set X ordered by (strict) inclusion.
For a variety of reasons there is a special notation and vocabulary used
when dealing with partial orders. The relation itself will be denoted either by
< or by c (or possibly by some symbol reminiscent of these). We point out
here that > (with its usual meaning for numbers) and d (with its usual
meaning for sets) are also partial orders—dual to < and c , respectively.
Similarly, the image and preimage of an element x have special symbols and
names:
These sets are called final and initial segments, respectively. If x^ < X2, the
open interval ]xi, X2[ is defined by the equation
We use X < >^ to mean either x < y or x = y and then use the standard closed
Introduction
interval notation:
[%x] = { y : y < x } ,
Note that two elements of [x-^, X ] need not be related. For example, if ATis a
2
(1,2), {1,3}, (1,2,3}}. Certainly {1,2} and {1,3} are not related to each
other. This is also true of ]A^, ^ 2!^ {1’3}}.
When the real line is given the usual topology, the open intervals—open in the
order-theoretic sense—are also topologically open. Indeed, more is true. Every
open set is a countable union of open intervals so that these sets form a base
for the topology. Further, since each open interval is the intersection of an
initial and a final segment, the collection of all segments forms a subbase for
the usual topology.
1.2.1 Definition
Let (2f, <) be a partially ordered set; then the order topology on X is that
generated by taking all initial and final segments as a subbase.
1.2.2 Examples
(i) As was observed above, the order topology on the real line is the usual
topology.
(ii) Let be a set with at least three elements and consider X ) ordered
by inclusion. Now ii A Ei ^ ( X ) , either ^4 or has at least two
elements. In the latter case, if X ^ X \ A , a ^ A, then
2
{ ^} = [ * , ^ U { x i } [ n [ % . 4 u { A : 2 } [ n ] ^ \ ( a } , * ]
SO that the singleton {^} is open. The special case when A is empty is
easily handled since { 0 } = [%{xi}[, A similar argument works for
the former case when X \ A has at most one element. Thus, except
when X has only two elements, the order topology on ^ ( X ) is the
discrete topology.
(iii) Consider with the order relation x = (¿1, 12) ^ (Vv Vi) = J if and
only if < rji and I 2 Vi- Then an interval ]x, y[ is an open
rectangle and the order topology is the usual topology of the plane.
The same construction can be applied in
13 Topologies on Spaces of Subsets 7
L2.3 Definitions
Let (J!f, < ) be a partially ordered set, the upper order topology on X is that
generated by using the final segments as a subbase. The lower order topology is
that generated by using the initial segments as a subbase.
1.3.1 Definition
The upper topology on ^ q( X) is that generated by the base ^ where =
{[•,G]: G This topology is denoted by
^o ( X) \[ %G] = { V ^ ^ ^ { X ) : V n ( X \ G ) ^ 0 )
Introduction
{ F e ^ o ( X ) : F c F } = [-,F]
/c= { C / e ^ o ( Z ) : i / n G # 0 }
and let
L3.2 Definition
The lower topology on ^ q{X) is that generated by the subbase This
topology is denoted by
The designation of which topology is “ upper” and which is “ lower” is
arbitrary. Here we follow Michael (1951). The terminology is convenient since
an “ upper semicontinuous correspondence” will be continuous to the upper
topology, and similarly for “ lower”; on the other hand, this conflicts with the
usual usage on the real hne as seen in Exercise 1.5.8.
1.3.3 Definition
The Vietoris topology ^ o n is that generated by ^ a n d together.
^ ( G j , G 2, U G , and [7 n G ,# 0 |;
then the family of all such collections ^(G^, G2, . .. ,G„) is a subbase for
That the two are equivalent is easily checked because
[*,G] = ^ ( G ) , and Ia = ^ { X , G ) .
1.4 N otes and Remarks 9
The intuitive ideas behind the upper and lower topologies on ^ q{X) are
that, given an element ^ in ^ basic neighbourhood of ^ in ^ consists
of sets B which are not much larger than A, and a basic neighbourhood of A in
^ c o n s is ts of sets C which are not much smaller than A. In the case when
( X, is a metric space there is, as Hausdorff first observed, a different way
to achieve this. A discussion of this case is postponed to Chapter 4.
The three topologies have been defined on ^o(A'). It is often
preferable to restrict these topologies to various subsets. In particular, we shall
consider
3^ç^{X) = {F disclosed},
Jfo(A^) = [ K ^ ^ ç ^ { X ) \ is compact).
The relative topologies on these subsets will still be denoted by .5^, and so
forth.
/.5 EXERCISES
Af = [ x ^ X : { x , y ) E : f Vy G ^ } = n /*( 7).
y^A
Aj = [ y ^ X : { x , y ) ^ f V x G ^ } = fl A(^),
xeA
1.53 Give an example to show that the following argument, which purports
to show that symmetry and transitivity together imply reflexivity, is
false. Let x e if / is symmetric, then xfy and yfx, and hence if / is
transitive, xfx.
1.5.4 Show that the number of distinct (i.e., non-order-isomorphic) partial
orders on a set with four elements is 16.
1.5.5 A finite (or countable) partially ordered set is often pictured by means
of a “ tree” diagram
where the dots indicate elements and rising line segments indicate a
relationship in the partial order. Draw such diagrams for
(i) ^ { 1 , 2,3} ordered by inclusion;
(ii) { « e i V : i < n < i 8} partially ordered by n < m if and only if n
divides m.
1.5.6 An element a in a partially ordered set is a minimal element if
b < a implies h = a; an element c is a least element if c < x for all x
in X. Construct a partially ordered set with no least element and
precisely one minimal element. Show that if X has a least element then
it is unique and there can be no other minimal element.
1.5.7 Let and denote the upper and lower order topologies on R,
respectively. Show that both and are 7^ but not (and
hence not Hausdorfi) topologies on R.
1.5.8 Show that a function <p from i? to is lower [respectively, upper]
semicontinuous if and only if it is continuous from R with the usual
topology to (R, .^®) [respectively, (R,
1.5.9 With the notation of Exercise 1.5.7, show that the subbase (1^ : 0 ^
is actually equal to the topology (.^°)jif. Show that the base
{[ ♦, G ]: (7 € } is not equal to the topology (^°),a-.
1.5.10 With the notation of the preceding questions, show that
{G„: a e i?} where G^, = (A c R : sup^ > a}. Give similar char
acterizations for ( ^ ° ) ^ , and
Chapter Two
Separation, Compactness,
Connectedness
2.1.1 Proposition
The upper topology is the coarsest topology on ^ q( X) in which all sets of the form
[•, G] are open. The lower topology is the coarsest topology in which all sets of the
form [•, F] are closed.
Proof The first part is entirely obvious. The second is nearly so, since
[•, F] is closed if and only if ^ q(X)\[% F] = is open. But these latter
sets are a subbase for the lower topology. □
12
2.1 Fundamental Properties 13
2./.2 Corollary
The Vietoris topology is the coarsest topology on ^ q{X) for which [%G] is open
for all open sets G and [%F] is closed for all closed sets F.
2.L3 Proposition
(i) The upper topology on is the coarsest one in which every set of the
form Ip is closed.
(ii) The lower topology on ^ q( X) is the coarsest topology for which every set of
the form I q is open.
(iii) The Vietoris topology on ^ o ( X ) is the coarsest topology for which I q is
open and Ip is closed for all open sets G and closed sets F.
2.L4 Proposition
Let i denote the natural injection of X into ^ o ( X ) defined by i { x) = (x). Then
the mapping i from {X, J ') to ^ o ( X ) is continuous if ^ q{X) is given either the
upper, the lower, or the Vietoris topology.
= { x ^ X : {x} c G}
= G.
rV c, • n I c J = {x ^ X : i { x ) e n n ••• n
= 0 ; k = l, 2,...,n)
= n Gk-
k =\
2 ./.5 Example
The Vietoris topology is not the finest topology to make / continuous.
Let A" be an infinite set and let »^denote the cofinite topology. Letc^Tdenote
the collection of all finite subsets of X\ then
(i) is open;
(ii) every open subset of contains some infinite sets, hence
^ i s not in «5^;
(iii) i is still continuous if we consider the finer topology on ^ q( X)
obtained by adding ^ t o the subbase.
2.L6 Proposition
I f (X, is a topological space and if ^denotes the collection of all finite subsets
of X, then ^ i s dense in { ^ q{ X \
2. L 7 Proposition
I f (X, is separable then so is { ^ q{ X \ STy\
2.2 SEPARATION
As was shown in Example 1.2.2, the order topology on ^ q( X) is, in most cases,
the discrete topology and is therefore too fine to be interesting. On the other
hand, the upper and lower topologies, while they depend on the topology of X
in interesting ways (Section 2.1), are too coarse for good separation properties.
This is because they are not designed to distinguish between sets with the same
closure. The best possible general result is Proposition 2.2.1. On the other
hand, if we restrict attention to subspaces of ^ oi X) , in particular to X' QiXf
things are much better, as shown in Theorem 2.2.5.
2.2.7 Proposition
I f {X, is a Ti topological space^ then ( ^ q(X), is Tq and hence so is
2.2 Separation 15
2.2.2 Proposition
For an arbitrary topological space {X, is a Tqspace and hence
so is
2.2.5 Proposition
If {X, is a regular topological space, then { ^ q{ X \ is Hausdorff. I f
{X, J ') is a topological space and if { ^ q{X), STy.) is Hausdorff, then {X, ST)
is regular {and hence T^,).
2.2.4 Remark
The proof of the second part of Proposition 2.2.3 shows that if { ^ q, {X), STy)
is Hausdorff, then ( X, is discrete. For if we consider any set A and a point
a i ^ the argument shows that there is an open set G such that a ^ G and
A n G = 0 which implies that a is not in the closure of A and hence that A is
closed. Thus every nonempty subset of X is closed.
16 Separation, Compactness, Connectedness
2.2.5 Theorem
For any topological space {X, the space ( X ‘q( X \ is Hausdorff if and
only i f (X, is Hausdorff.
2.5 COMPACTNESS
In this section the main theorem is 2.3.4 which was originally proved in
Vietoris (1921).
2.5./ Proposition
I f ( X, is a regular topological space and if ^ is a compact subset of
( ^ q(X% then U cs«’ C is closed.
2.5.2 Proposition
I f {X, is an arbitrary topological space and if ^ is a compact subset of
(JTq, then Uc€<g’C is compact.
that C c U x^NcGx- Let = U x^NcG^ and consider the family of open sets
{[%G^ ] : C e in Since C c G^-, it is again clear that this family covers
Therefore, there is a finite subfamily ([% Gq ] : A: = 1 ,2 ,... } which covers
Let iV = U Then iV is a finite subset of the original index set and
B = Uce-g' C c U x^ n Gx- Thus, -6 is compact in (X, ^ ) .
2.3.3 Corollary
2.3.4 Theorem
For any topological space, (X, is compact only if is compact.
Conversely, if {X, is and (J ^ , is compact, then {X, J ') is compact.
2.3.5 Theorem
Let {X, be a topological space. The following statements are equivalent:
(i) X is a compact Hausdorff space.
(ii) (^Q, is a compact Hausdorff space and X is T^.
(iii) {X' q, ^ ) is a compact Hausdorff space.
18 Separation, Compactness, Connectedness
Proof. That (i) is equivalent to (ii) follows from Sections 2.2.3 and 2.3.4.
That (iii) implies (i) follows from 2.2.5 and 2.3.3(h), where we take X'q
and conclude that since ^ contains all the singletons Uc€<g’C = ^ i s compact.
That (i) implies (iii) is obvious from the equivalence of (i) and (ii), for in this
case JTq coincide. □
2.3.6 Remark
Since Jfo is not, in general, a closed subset of in the Vietoris topology, there
seems to be no simple direct proof that (ii) implies (iii) in Theorem 2.3.5.
Indeed, since JTq contains all the finite subsets, is dense in (see
Proposition 2.1.6). The next proposition shows that X q can be open in
2.3.7 Proposition
I f ( X, is locally compact, then X q is an open subset of
2.4 CONNECTEDNESS
2.4.1 Proposition
I f ^ is a connected subset of { ^ q{ X \ ^ ) and if each member of ^ is connected
[in (X, then A = Uce-g’C is connected.
Proof Suppose that A is disconnected. Then there are open sets G^ and G 2
2.4.2 Proposition
I f ^ is a connected subset of and if each member of is connected,
then Uce-g'C is connected.
Proof Again suppose that Uce'g’C is disconnected. Then there are open
sets and G as in Proposition 2.4.1. To save subscripts, let
2
If, instead of »5^ and we use the Vietoris topology, a much stronger
statement is true.
2.4.3 Theorem
I f ^ is a connected subset of {^^{X), and if some element of ^ is connected,
then Uce'g’C is connected.
G2 and hence these open sets separate ^ unless [•, G J is empty (we
cannot have ^ C\ I empty for then A <z Gf)- Similarly, by considering [%G2]
2
2.4.4 Theorem
If {X, is connected then (A^, is connected.
continuity, we need only look at the inverse images of sets in the subbase.
20 Separation, Compactness, Connectedness
2.4.5 Remark
Since it is clear from the proof of Theorem 2.4.4 that p is continuous if the
coarser topologies ^ or ^ are imposed on follows that u4^is connected
in these topologies also.
2.4.6 Theorem
If ^ is any subset of ^ ^ { X ) which c o n t a i n s t h e n ^ is connected in the Vietoris
topology if and only if X is connected.
2.4.7 Remark
As applications of Theorem 2.4.6, we point out that »/Tc and, if {X, is
Ti, then j V'cz
We can add to both (i) and (ii) if X is 7\. The reason T^ is necessary
when discussing is because we make frequent use of the singleton subsets
which, in disguised form, is the mapping i from X to ^ q{X) defined in
Proposition 2.1.4.
For the results of this chapter we are most indebted to the paper of Michael
(1951), the major source for results of the kind discussed here. Most of that
paper is concerned with the Vietoris topology (which he terms the finite
2.6 Exercises 21
topology), but in the appendix he also discusses the upper and lower topolo
gies. We have, however, also made use of the works of Berge (1963), Debreu
(1969), and Hildenbrand (1970a, 1974). Results of this kind can also be found
in Bourbaki (1966). Kuratowski (1968) has a full discussion of results like these
in the metric space case.
Results dealing with connectedness, hke those in Section 2.4, can be found
in Mazurkiewicz (1932) and, much more completely, in Kelley (1942). Theorem
2.3.4 can be found in Otchan (1943) where it is attributed to Alexandrov and
Urysohn. In discussing fixed-point theorems and other properties of continu
ous correspondences, both Flachsmeyer (1964) and Strother (1953,1955b) have
rather full discussions of the topological properties of spaces of subsets, as does
Ponomarev (1964a).
Among the more recent work which we have not included is the set of
important papers by KeesUng (1970a, 1970b, 1970c), which discuss the ques
tion of normahty in ( ^ o(X) , ^ ) . He proves (1970a) that the following are
equivalent: X is compact, ^ ( Z ) is compact, i^ (2 f) is Lindelof, ^ ( 2 f ) is
paracompact, i^ (2 f) is metacompact, and .^ ( X ) is meta-Lindelof. He then
(1970b, 1970c) shows that, assuming the continuum hypothesis, X is compact if
and only if ^ q( X) is normal. A survey of these results is given in (1970d)
together with a theorem on compactifications.
Ponomarev (1964b) has discussed the question of which topological proper
ties are preserved under continuous mappings while, in a quite different
direction, Granas (1959a), Jaworowski (1956, 1958), and Strother (1955a,
1955b), have discussed the algebraic topological properties of ^ q(X).
The question of the metrizabiUty of spaces of subsets has been discussed by
Stone (1956) using the classic result of Alexandrov (1924).
16 EXERCISES
2.6.1 Show that the range of the mapping i from X to ^ q{X) is dense in
subsets of defined by ^ ^
2
^ q(X)\[% G], Show that there exist disjoint open sets and ^2
such that c (/ = 1,2).
2.6.6 Show that, since is dense in if is compact and is
Hausdorff, then Z is compact. (This applies whether and are
given the upper, lower, or Vietoris topologies.)
2.6.7 We know that is dense in ( ^ , ^ ) . Show further that any cover of
by subbasic open sets in ^ is a cover for Hence show that, if X
is HausdorfT, then is compact only if ( is compact
(without appeal to Theorem 2.3.5).
2.6.8 Let A" be a noncompact, connected Hausdorff space. Let ^ b e a family
of sets in X' q( X) such that the family defined by {X \ K : K
^ is compact in ( ^ q{X), Show that if (G;^) is a family of
open sets which covers C = then there is a finite subfamily
which covers no member of
2.6.9 Prove the converse of Theorem 2.4.4.
2.6.10 Give an alternative direct proof of the fact that if (X, is connected
then ^ ) is connected, as follows. If J^is disconnected by open
sets Gf = U/€/[% GJ and Gj = Uye/[% Gy] then consider A =
{ x :(x } e Gf} and ¿ = (x :{ x } G G y } .
Chapter Three
Convergence
3.1 DEFINITIONS
The whole chapter concerns nets of subsets of X. In deahng with nets we shall
use the notation and terminology of Kelley (1955, pp. 65ff.). In particular,
(/> ,> ) will denote a directed set whose elements will be indicated by the
letters / , 7,...,« .
We begin by recalling the elementary set-theoretic concept of convergence
which does not rely on any topological considerations.
3.1.1 Definition
Let \ « e Z)) be a net of subsets of X, then limsup^„ =
and liminfy4„ = U n^D n' 'm > A If limsupy4„ = liminf then we say that
the net {A^ :n ^ D) converges and write lim A„ for the common value of the
upper and lower limits.
It is clear that limsupyl^ consists of all those points a ’m X such that there is
a cofinal subset E oi D with a ^ A„ for all n in E. Also, it is clear that
lim inf A„ consists of all those a in X such that a is in A„ for all n belonging to
some final segment of D. In the special case when the net is a sequence,
23
24 Convergence
lim sup^„ consists of all a which are in infinitely many of the and liminf
consists of all a which are in all but finitely many of the
5.7.2 Example
For each n 'mN,\QiA^ = {k ^ N: к < n and the highest common factor of к
and n is either 1 or A:} and let = [к E: N : k < n and к e Then,
since for every integer m there are infinitely many multiples of m (and primes
larger than w), lim sup = N, Similarly, it is easy to see that liminf =
(A: G iV: A: is prime}, hmsup^„ = (A: g TV: A: is not prime), l i m i n f = 0 .
Before the next step, it is worthwhile to recall the definitions of limit point
and cluster point for nets in a topological space.
5.7.5 Definition
Let {X, J ' ) be a topological space and let (x„ : « g D) be a net in X, Then x is
a limit point of (x„ : « G D) if, for every neighbourhood U of x, there is an n in
D such that g [/ for all m > n. Also, x is a cluster point of (x „: « g 7)) if
for every neighbourhood U o ix and every n in D there is an m in Z> such that
m > n and x^ g U.
In other words, x is a limit point if x„ g U for all n in some final segment of
D and X is a cluster point if x„ g {/ for all n in some cofinal subset of D.
We finally arrive at the definitions of lim sup and liminf for nets of sets in a
topological space (Л", ^ ) .
3.1.4 Definition
Let {X, be a topological space and let {A^ : « g I>) be a net of subsets
of X
(i) A point X in X is a limit point of ( у4„ : « g Z)) if, for every neighbour
hood U of X, there is an « in Z> such that for all m > w, П U Ф 0.
(ii) A point X in X is a cluster point of {A^ \ n ^ D) if, for every
neighbourhood U of x, and every n in D, there is an w > w such that
А ^пиФ 0 .
(iii) liminf A„ is the set of all Unfit points of {A„ : n g D).
(iv) lim sup is the set of all cluster points of {A„ : n g D).
(v) If Umsupyl„ = liminf = A, then we say A is the limit of the net
(A „ : n G D), the net (A ^ : n ^ D) converges to A, and we write
A = lim A„.
3.1.5 Remark
If a set X is given the discrete topology so that ( x } is a neighbourhood of x,
then it is clear that the definitions of Uminf and lim sup in Definitions 3.1.1
and 3.1.4 coincide.
3.2 Properties of the Lim its 25
3.2.1 Proposition
I f (A„: n ^ D) and (B„: n ^ D) are nets of subsets of X, then, using Definition
3.1.1, we have
(i) Urn inf{A„ n B^) = Urn infA„ Pi Urn infB„\
(ii) Urn sup(A„ U B„) = Urn supA„ U Urn sup B„;
(iii) Urn i n f ( X \ A „ ) = X \ lim sup A„;
(iv) Um s up( X\ A„) = X \U rn infA„.
We observe that (iii) and (iv) readily follow from each other and that (i) and
(iii) imply (ii) by DeMorgan’s laws.
The next sequence of propositions and examples show to what extent these
types of equations hold for Definition 3.1.4. These are followed by two
propositions (3.2.9 and 3.2.10) which show clearly the connection (and dif
ference) between Definitions 3.1.1 and 3.1.4. The final part of the section
shows the connection between Definition 3.1.4 and the topology of X
3.2.2 Proposition
If(A„ : n ^ D) is a net of subsets of a topological space X, then, using Definition
3.1.4, we have
X \ Um sup A„ c: Um inf{ X \ ^„ ).
3.2.3 Example
To see that equality does not hold in general in Proposition 3.2.2, consider the
following sequence of sets: A^ = [ { - \ y / n , { —\yoo[ as subsets of the real hne
26 Convergence
with the usual topology. Then each open set intersects infinitely many A„ so
that hm sup^„ = R and the complement is empty. On the other hand,
lim inf(^\y4„) = {0}.
The reason for the discrepancy between Propositions 3.2.1(iii) and 3.2.2 is
that the duality in Definition 3.1.4 is not complete. The definitions of both
liminf and limsup involve nonempty intersections with neighbourhoods U
rather than one of them requiring containment in t/.
3.2.4 Proposition
I f (A„ : n e D) and : n ^ D) are nets of subsets of a topological space then,
using Definition 3.1.4, we have
(i) Urn sup(A„ U B^) = Urn sup A^ U Urn sup B„\
(ii) Urn inf{A^ n B^) c Urn infA^ Pi Urn inf B^.
Proof (i) It is clear from the definition of cluster point that if c C„ for
all n, then limsupy4„ c lim supQ. Thus, we have limsup./l„ U limsupi?„ c
limsup(^„ U B^). To prove the reverse inclusion, let Xq e limsup(^„ U B„)
and suppose Xq is not in hmsupy4„. Then there is a neighbourhood Uq and an
element « q in D such that for all m > n^, A ^ O Uq = 0 . Now let U be any
neighbourhood of Xq and let n ^ D. Then there is a neighbourhood U' c: U n
Uq and an n' in D with n' > nQ and n' > n. Now because Xq is in hmsup(y4„
U there is an w > n' such that (A ^ U B^) n U' ^ 0 . Since m > nQ and
U' c Uq and A^C\ U = 0 , we must have B ^ n U' . Therefore, B^ n
0
3.2.5 Example
Let X, A^ be the same as in Example 3.2.3 and let B^ = Then A^
0 and so hminf(y4„ n B„) = 0 . However, hminfy4„ = hminf = {0}.
Hence, it is possible to have strict inclusion in Proposition 3.2.4(ii).
This same example shows that lim sup is as badly behaved as possible with
respect to intersection. For we have limsup(^„ n B„)= while lim s u p n
0
limsupJ?„ = R.
It is, however, possible to be more specific with the relationship between
liminf and union.
3.2.6 Lemma
I f (A^ : n ^ D) is a net of subsets, then Urn infA^ c Um supA„.
5.2.7 Proposition
With the notation of Proposition 3.2.4, we have
(i) Urn inf{A„ U B„) D lim infA„ U lim inf
(ii) lim inf{A^ U B„) c lim infA„ U lim inf B„ U [lim supA„ n lim sup B^].
These propositions imply that limit behaves well with respect to the union
operation.
3.2.8 Corollary
(i) I f the net {B^ \ n ^ D) converges then limsup(A„ U B„) = lim sup A ^ U
limB^ and lim inf {A^ KJ B^) = lim sup A ^ U UmB„.
(ii) I f the nets {A^ \ n ^ D) and {B„ \ n ^ D) both converge then so does
{A^ \J B^ \ n Ei D) and lim(A^ U B^) = UmA„ U HmB„.
Proof These statements all follow directly from Propositions 3.2.4 and
3.2.7. □
3.2.9 Corollary
I f the net {A^ U B^ \ n E D) converges and if lim sup n lim sup = 0 , then
both the nets (A„: n E D) and {B^ : n E D) converge.
Proof In this case it follows from the hypotheses and Propositions 3.2.4
and 3.2.7 that liminf U liminf = limsup^„ U limsup5„. Now, by
Lemma 3.2.6 we have liminf c lim sup If this inclusion were strict, the
previous equality would imply that lim sup n lim inf =5^ 0 . But this is
impossible since limsup^„ n limsupi?„ = 0 by hypothesis. Similarly, we
must have lim inf B^ = lim sup B„. □
Previous examples have shown that intersection does not behave well with
respect to these limits. That this is so under quite stringent conditions of the
existence of limits is shown by the next example.
28 Convergence
3.2.10 Example
Let = { -1 } U [1 + 1/«, oo[ and =] —oo, —1 —1/«] U {1}. Then
MmA^ = { -1 } U [1, +oo[ and =] - oo, -1 ] U {1}; \imA^ n lim
= { - l } U { + l } . But A^C\ B^= 0 so that lim(^„ n B^) = 0 .
The next two propositions give formulae which show how Definition 3.1.4
compares with 3.1.1. They will also be useful for the final three results which
are concerned with the connection between the limit operations and the
topology of X,
3.2.11 Proposition
I f (A„: n E: D) is a net of subsets of X, then Urn sup A^ =
3.2.12 Proposition
I f (A„:n e D) is a net of subsets of X, then UminfA„ =
where H denotes an arbitrary cofinal subset of D and the intersection is over all
such H.
3.2.13 Corollary
With the notation of Definition 3.1.4, Urn infA„ and Urn sup A^ are closed subsets
ofX,
3.2.14 Corollary
Again with the notation of Definition 3.1.4, we have Urn infA„ = Urn infA„ and
Urn sup A„ = Urn sup A„,
33 Convergence as a Topological Property 29
3.2.15 Corollary
I f {A^ :n ^ D) is a wnstant net, that is, ifA„ = A q for all n D, then limA^
exists and limA„ = A q.
3.3.1 Criteria
3.3.2 Remark
In view of Corollary 3.2.15, we cannot expect to satisfy Criterion 3.3.l(i) on
(unless we use the discrete topology on X). In view of this, we shall,
from now on, consider shall, however, continue to use :n e D\
(B„ : n ^ D) to denote nets ini^o(^)* Thus, for the rest of this section,
will denote nonempty closed subsets of X This leaves us free to use F as the
product net as in the preceding notation.
3.3.3 Proposition
Convergence in the sense of Definition 3.1.4 in ^ q{X) satisfies Criterion 3.3.1(/).
3.3.4 Lemma
I f {B^ : m ^ E) is a subnet of {A^ : n e /)), then Urn infA^ c Um infB^.
3.3.3 Lemma
With the same notation as in Lemma 3.3.4, Urn sup A^ 3 Um sup B^,
3.3.6 Proposition
Convergence in the sense of Definition 3.1.4 satisfies Criterion 3.3.1(//).
For the third criterion, we also need two lemmas which strengthen the
previous two and give further characterizations of lim inf and hmsup remi
niscent of those for cluster points and hmit points of sequences in terms of
limits of subsequences.
3.3.7 Lemma
I f {A^ \ n E: D) is a net of subsets of X, then lim infA„ = CMim sup B^ where
(B^: m ^ E ) is an arbitrary subnet and the intersection is taken over all possible
subnets.
Proof. Since, by Lemmas 3.3.4 and 3.2.6, we have lim inf c lim inf
c lim sup B^, we clearly have lim inf c n lim sup B^.
For the opposite inclusion, suppose that x is not in lim inf A^. Then there is
a neighbourhood U o ix such that, for all m in D, we can choose n ^ > m with
A„^ n U = 0 . Let (B ^ : m ^ D) h c defined by B^ = A„^. Then (B^ : m ^ D)
is a subnet and, since B^C\ U = 0 for all m in Z), clearly x is not in
lim sup □
3.3.8 Lemma
I f {A n e D) is a net of subsets of X, then lim sup A ^ = U/zw inf B^ where B^
is an arbitrary subnet of (A„: n ^ D) and the union is taken over all possible
subnets.
3.3.9 Proposition
Convergence in the sense of Definition 3.1.4 satisfies Criterion 3.3.l(m ).
Proof We demonstrate the contrapositive of Criterion 3.3.1(iii),
namely that if every subnet of {A^ : n ^ D) has a subnet converg
ing to A q, then lim ^„ = A q. Let (5 ^: m g £ ) be an arbitrary subnet of
{A^ : n e D), Then this, in turn, has a subnet (Ci’.l ^ F) with limit A q. Thus
A q = limC/ = hminfC/ d lim inf5^ (by Lemma 3.3.4). Hence A q d
uUminf = limsup^„ (by Lemma 3.3.8). On the other hand, A q = limC/ =
lim sup Cl c hm sup B^ (by Lemma 3.3.5), and hence A q C: Pilim sup =
lim inf^„ (by Proposition 3.3.9). Finally (by Lemma 3.2.6) we have
that hm inf^„ = limsup^„ = A q. □
We next show that convergence in the sense of Definition 3.1.4 does not in
general satisfy Criterion 3.3.1(iv). The result in this form is due to Mrowka
(1958) and we give his proof. Though the ideas are not difficult, the notation is
cumbersome. This, in view of the nature of the criterion, seems inevitable.
3.3.10 Theorem
I f {X, is not a locally compact topological space, then covergence of nets in
does not satisfy Criterion 3.3.1(/i;) and hence, in this case, there is no topology on
which generates this convergence.
Proof To show that Criterion 3.3.1(iv) is not satisfied requires the con
struction of a counterexample, that is, a family of nets of subsets for which the
iterated limit is not equal to the “diagonal” hmit.
Since {X, is not locally compact, there is a point Xq in X which has no
compact neighbourhood. Let ^ be a neighbourhood base for Xq and let be
the directed set ( ^ , c ). Since X is not compact, there is a net (>^^ : /: e />2) in
X which has no cluster points. The directed set D which will be used for the
construction is the product X D (ordered coordinatewise). Thus each n in
2
Clearly X is not a singleton so we fix ¥= Xq. For the final stage of the
construction, let
^nm= {xi) ^ { x „ ) n ^ D , m ^ E „ .
Since the net (z „ „ : m e £„) has no cluster points, it is clear from Definition
3.1.4 and Remark 3.1.5 that the net (A„„: m e E„) converges in the sense of
Definition 3.1.4 to {x^} U {x„}; that is,
On the other hand, using the notation of Criterion 3.3.1(iv), we set F = X> X
n„e/)^n and let («, <p) G F. Then
= A „ H n ) = { ^1 } { ^n<Kn) }
and, since <f>(n) e ^n^n) ^ U where n = (i/. A:). Now let Uq be any
neighbourhood of x^ and choose so that (7^ e and i/i c I/q. Let be
an arbitrary element of D and set = (i/^,
2 Further, let <i>i be any element
of Then, if («2»<¡>) ^ (^i>
2 we have «2 ^ so «2 = (^2»^ 2)
with U <^ Ui <z Uq. Hence,
2 which is an element of U , is in Uq. Thus
2
3.3.11 Theorem
I f (X, is a compact Hausdorff space and if (A„ : n ^ D) is a net in
Urn A^ = A if and only if A^ A{X^).
3.3.12 Remark
Parts (ii) and (iii) of the above proof are true in general. Part (i) only requires
compactness in a very subsidiary role, regularity is what is actually needed.
Part (iv) is the only one where compactness is needed in an essential way.
The definitions of upper and lower limits are due to Hausdorff (1962). The
investigation of many of the properties given in Section 3.2 was done by
Kuratowski (1966, 1968). As we said in Section 1.4, earlier investigations of
these hmits were usually for the purpose of discussing continuity of correspon
dences; see, for example. Hill (1927) and R. L. Moore (1925). Theorem 3.3.11
was proved by Kuratowski (1932) for metric spaces. Most of the material in
Section 3.2 can be found in either Kuratowski (1966) or Berge (1963), but
other references are Choquet (1947) and Bourbaki (1966). In particular.
Proposition 3.2.7 is taken from Berge (1963).
The question of whether this convergence is topological or not was first
settled (for metric spaces) by Watson (1953) and, in general, by Mrowka
(1958). Even when this convergence is not topological, Mrowka (1970) estab
lishes the interesting fact that nets in ^ { X ) have convergent subnets. The
locally compact case in which the convergence is topological but does not arise
from the Vietoris topology has been discussed by Fell (1962), Effros (1965),
and also by Flachsmeyer (1964) (among others). We discuss this topology only
in the metric space case and so postpone its discussion until the next chapter.
5.5 EXERCISES
M etric Spaces
This chapter is concerned with the special situation which arises when the
topological space under consideration is a metric space. Historically, this case
was the first to be considered—both in general and with respect to particular
topics. The whole idea of putting a topology on collections of subsets originated
with HausdorfT and the concept of what is now called the Hausdorff metric.
Subsequently, some of the general theorems proved in Chapters 2 and 3 were
first proved for metric spaces; for example, the theorem that if X is compact
then so is and Mrowka’s theorem on the topological nature of closed
convergence if and only if X is locally compact.
In Chapter 1 we remarked that the intuitive ideas behind the upper and
lower topologies are that a set A is “close to” a set B in the former if A is “ not
much larger than” B and, in the latter, if A is “ not much smaller” than B. In a
metric space there is a different way to achieve this. In general, it is genuinely
different but under certain conditions the topologies coincide with the earlier
ones.
The chapter is divided into five sections. The first deals with definitions,
the second deals with the comparison between these new topologies and the
ones defined earlier. The third and fourth reexamine the topics of Chapters 2
and 3, respectively, in this new context. The last consists of a discussion
of the topology of closed convergence. Throughout the chapter, { X, d) will
denote a metric space in which the metric d generates, in the usual way, a
topology
37
38 M etric Spaces
4.1.1 Definition
A metric on A"is a function d from X x X io the nonnegative real numbers
such that
4.1.2 Definition
A pseudometric on A" is a function which satisfies all the axioms for a metric
except (iv). An extended metric (respectively, extended pseudometric) on A" is a
function which satisfies all the axioms for a metric (respectively, pseudometric)
except that it takes values in the extended nonnegative real numbers; that is,
we allow + 00 as a possible value of the function.
4.1.3 Definition
A hemimetric on A" is a function from AT X A" to the extended nonnegative real
numbers such that axioms (i) and (iii) of Definition 4.1.1 are satisfied; that is, it
is an extended pseudometric which fails to be symmetric.
exercise.
4.1.4 Proposition
Let { X , ) be a hemimetric space. I f interior points and open sets are defined
8
the usual way for metric spaces, then the set of all open sets is a topology on
Also an open ball is an open set.
4.2 Comparison of Topologies 39
4.L5 Definition
Given A, B in ^ q(X% the Hausdorff extended pseudometric S(A, B) is defined
by S(A, B) = max{S/(.^, B), S^(A, B)}, The Hausdorff topology is that gener
ated by this pseudometric.
Some of the elementary properties of this function are given in the exercises
in Section 4.7, but we mention here (since it is explicitly used in Chapter 17)
the following obvious fact.
4.1.6 Proposition
The functions 6, 8/, and 8„ are all uniformly continuous on ^ q( X ) X ^ q( X ) with
the product topology derived from , 8
4.2.1 Proposition
(i) Let ^ be a subset of ^ q{X) which is open in the upper hemimetric topology,
then it is open in the upper topology. The converse is not true in general,
(ii) Let ^ be a subset of ^ q{X) which is open in the lower topology, then it is
open in the lower hemimetric topology. The converse is not true in general.
40 M etric Spaces
Note that the counterexamples in the proof of Proposition 4.2.1 are chosen
to show that the topologies do not coincide if we restrict them to ^ q(X). It is
also true that since the inclusions go in opposite directions there is no simple
relationship between the Hausdorff topology and the Vietoris topology on
^ q{X) and on^Q(X).
4.2.2 Proposition
Let JFq denote the set of nonempty compact subsets of the metric space {X^d)\
then
(i) the upper and upper hemimetric topologies coincide on
(ii) the lower and lower hemimetric topologies coincide on X'q.
4.3 Uniform Properties of the Hausdorff Hemimetric 41
+ K (Z[% G] and so K' g [•, G], Thus, K is an interior point of [•, G] n Jfo
the upper hemimetric topology.
(ii) Let an open subset of in the lower hemimetric topology and
let K Eif". Then there exists € > 0 such that B { K , e) c and hence if
K e + K' then K' e , Now, since K is compact, there is a finite z/ 2 net
{xi, X , . . . , x „ ) for K (Xy E K for each /). Let G^ = B(x^, e/2). Then
2 n
n ••• n is a basic neighbourhood of K in the lower topology. Finally,
let K ' E n . Then K ' n G^ ^ 0 for each /. Hence, e + K '
D B(x^, e/2) for each i and so e K ' :d K which implies K ' e Y'. Thus
n • • • C\Iq E Y and Y is open in the lower topology. □
4.23 Corollary
I f (X, d) is a metric space, then the Vietoris topology and the Hausdorff metric
topology coincide on
4.2.4 Corollary
I f (X, d) is a compact metric space, then (/) the upper topology and the upper
hemimetric topology, {ii) the lower topology and the lower hemimetric topology,
and {in) the Vietoris topology and the Hausdorff topology coincide on^Q (= j Tq).
For the lower topologies, a little more is true. Since the proof of Proposition
4.2.2(ii) only requires total boundedness, it is true for any subset of a compact
metric space.
4.2.5 Corollary
I f {X, d) is a compact metric space, then the lower topology and the lower
hemimetric topology coincide on ^^{X).
The first thing to point out in a discussion of the HausdorfT metric is that it is
not a topological construction. By this we mean that if is a set with two
equivalent metrics, d^ and ¿2 and ¿2 the same topology) and if 5,
is the Hausdorff metric induced on A") by d^{i = 1,2), then and need 8 2
4.3.1 Example
Let X = {(a, jS) ^ : a e N, jS e [0,1]} and let i/j be the usual metric on X
as a subset of R^ and define i/j as follows: if Xj = (n^, j8j), X = (« 2>/^ )’ then
2 2
d i^l,X )
2 2 = =
It is clear that the two metrics are equivalent on each component (line
segment) in X and also that a sequence (x„: n ^ N) in X converges to x if and
only if x„ is in the same component as x for all large n. Hence (x„: n ^ N)
converges to x with respect to di if and only if it does so with respect to (¿2 and
so the two topologies are equivalent.
Now consider the following sequence of closed sets in X: A q = ((a, /i) e
X:I3 = 0}, A„ = {(A:,i8;^) ^ X: k ^ N, ¡3^ = 0 ii k < n, = 1 ii k > n},
« = 1,2 ,3 ,... . Then ^(A„, A q) = 1 but {A^, A q) = 1 / a2 + 1 so that (A„ : n
8 8 2
4.3.2 Remark
It is, however, clear from Corollary 4.2.3 that if and i/2 ^^e equivalent
metrics on X, then and generate the same topology—the Vietoris
8 2
topology—on X q{X), This is another reason why C^q{X) is used more fre
quently than connection with the Hausdorff metric. Even in this case,
however, the uniformities generated by ^ and need not be the same; a slight
8 8 2
( ^ q(X), ) are compact metric spaces and the identity map is continuous and
8 2
4.3.3 Theorem
I f the metrics d^ and ¿2 on X generate the same uniformity, then the correspond
ing Hausdorff metrics and generate the same uniformity on ^ q{X).
8 2
Proof Suppose that, for each e > 0, there exists i] > 0 ( tj depending on e)
such that d {x, y) < e whenever d^(x, y) < rj. Suppose also that A and B are
2
closed sets in X with Si(y4, B) < rj. Then A cz rj B and B <z rj -\- A. Thus, for
each a ^ A, there exists b ^ B with d^(a, b) < rj, and, conversely, for each
b' G B, there exists a' ^ A with di(a\ b') < t j . N ow consider d 2 - By hypothe
sis, d (a, b) < e, d (b\ a') < e and so A a e + B, B cz e + A; that is.
2 2
4.3 Uniform Properties of the Hausdorff Hemimetric 43
{ A , B ) < e (note that the addition operation here depends on the metric). By
8 2
4.3.4 Lemma
If {Xyd) is a metric space and if {A^: n e N ) is a sequence of nonempty subsets
of X, then
n U n (e + ^m)<=n
e>0 n ^ N m>n
U
n m>n
Proof Suppose that x is in the set on the left; then, for all e > 0 there is an
n{e) such that if m > «(s), x g e + A^. Now let n be given; then there is an m
such that m > n and m > n(e) and x ^ e -h A ^ c e -h But now e is
arbitrary and so x e Thus x is a member of the right-hand side. □
4.3.S Theorem
If {Xy d) is a metric space and if {A ^: n ^ N ) is a sequence in (J^(A"), 5)
which converges to A ^ A"), then
^=nU^m=n
n m>n
U n(« + ^m)-
6>0 n ^ N m>n
4.3.6 Corollary
I f {Xy d) is a metric space and if {A^ \ n d N ) is a sequence in ^ o ( X ) which
converges in both the metric space (J^(A"), 6) and in the sense of Definition
3.1.4, then the two limits are the same.
4,3.7 Remark
Since A = ri^m>n^m dearly depends only on the topology generated by d.
Example 4.3.1 shows that the converse of Theorem 4.3.5 is false in general;
that is, if ^ ^m>n^m ^ we cannot conclude that (A ^:n e N )
converges to A. Also, since convergence in the sense of Definition 3.1.4 is not
always topological, we cannot expect a stronger statement than Corollary 4.3.6.
The value of Theorem 4.3.5 is obvious in that it identifies the only possible
limit of a sequence of sets. We make use of this in the next theorem.
4,3,8 Theorem
I f ( X , d) is a complete metric space, then (J^(A"), ) is complete.
8
The next theorem should be compeu’ed with Proposition 2.3.7. Both are true
if X = R". Although the Hausdorff topology on ^ q( X) does not necessarily
coincide with the Vietoris topology, it is true that v ^(2f)—which consists of
the bounded sets in ^ ( X ) when X = R "—is a component of the hemimetric
space (.^ q(X), ).
8
43 Uniform Propertíes of the Hausdorff Hemimetric 45
4.3.9 Theorem
If{X, d) is a complete metric space, thenJfQ^X) is a closed subset of ( AT), 6)
and therefore Jf ^i X) is also complete.
4.3.10 Proposition
If (X, d) is a metric space, the set of nonempty closed and bounded subsets of X
is a closed subset of ( ^ q(X), S).
Proof The proof is like, but even simpler than, that of Theorem 4.3.9. □
4.3.11 Proposition
I f (X, II* II) is a normed linear space and if ^ ^ { X ) denotes the set of nonempty
closed convex subsets of X, then^Q{X) is a closed subset < ? /(^ ( A"), ). Here is
8 8
4.3.12 Corollary
I f {X, II • II) is a Banach space, the following sets are all complete in (J^,(AT), ):8
4.3.13 Theorem
I f X is a compact subset of a {finite dimensional) Banach space and if (K„: n e
N) is a sequence of closed convex nonempty subsets of X, then there exists a
subsequence {K^ \ i Ei N ) which converges to a closed, nonempty, convex subset
of X.
46 M etric Spaces
Proof. Since A" is a compact metric space, by Corollary 4.2.4 the Hausdorff
topology coincides with the Vietoris topology on ^ q{X). N ow by Theorem
2.3.5 ( 8 ) is compact; moreover, on a compact set AT, the function 8 is a
metric, and so by the well-known fact that in a metric space compactness and
sequential compactness coincide, \ n E: N) has a subsequence which con
verges to a nonempty closed subset of X. Finally, Proposition 4.3.11 imphes
that this limit is convex. □
The last statements of this section are not uniform properties of the
Hausdorff hemimetric; rather, they are properties of 8/ in the case when the
original metric space is a normed hnear space. It seems appropriate to insert
them here since the last few propositions have also been in this context.
4.3.14 Definition
If ATis a linear space and A, B ^ then the sum A + B = { x ^ X : x =
a + b, a ^ A, b ^ B}; and for /j>^ fiA = {x ^ X: x = /xa, a ^ A}.
4.3.15 Proposition
I f {X,\\*\\) is a normed linear space and 8/ is the Hausdorff hemimetric on ^ q( X)
derived from the norm, then
(i) 8 ,{iiA, ¡iB) = ¡idi(A, B)\
(ii) 5/(-^x -^2> ^1 -^2 ) — -®l) ^/(-^2> ^ 2 )-
4.3.16 Corollary
The function Sf is convex on ^ q{X) X ^ q( X) in the following sense: [{pA^ + (1
8
4.3.17 Remark
Proposition 4.3.15 and Corollary 4.3.16 obviously apply to and 5 also.
4.2.3 that if (A", (¿) is a metric space, then the Hausdorff topology on ^ q{X)
coincides with the Vietoris topology so that on this space the topological
properties are those of ^ for which we refer to Chapter 2. We have also seen,
in Example 4.3.1, that on the larger space, cannot properly speak of
the Hausdorff topology since equivalent metrics on X may generate different
topologies on ^ q{X). Nevertheless, these different topologies share some
common properties and so we can make some general statements. We begin
with the counterpart of Proposition 2.1.4 and part of the proof of Theorem
2.4.4.
4.4.1 Proposition
The mapping i of X into^Q(X) defined by i(x) = {x} w continuous. Further^ the
mappingPn from A"" into^Q(X) defined by Pn{^\^ X2, . .. ,x„) = {x^, X2, . .. , a:„}
is continuous.
Proof We need only prove the second, more general, statement. The set
X” with the product topology is metrizable and we may take the metric to be
d„ defined by X2, . .. ,x„), (x{, x' , . . . ,x'„)) = max{if(x„ x ' ) : i =
2
1, 2,. .. , n}. Now, given e > 0, let S = e and suppose ¿„((xj, X2, . . . ,x„),
x' , . . . ,x'„)) < , then d(Xj, x<) < e for aU i and so
2 8 ce +
{x^,x^, .. ., x;,} and vice versa, so 6({xi, X2, . . . ,x„}, {xi, X2, . . . , x ' })
< e. □
4.4.2 Proposition
If {X, d) is a metric space and z / ( ^ , 8) w compact, then X is compact.
Proof Since we are deaUng with a metric space, we may use sequential
compactness rather than compactness. Let (x„: « e iV) be a sequence in
{X, d). Then ({x„} : « e iV) is a sequence in 8) which has a convergent
subsequence ({^„ } : i ^ N ) with limit A (see Exercise 4.7.7). Now, given
£ > 0, ^ c B(x„ , e) for large values of i. Hence, the diameter of A is less than
or equal to 2e, but e is arbitrary and so is a single point [a). Consequently,
we have (x„ ) a B{a, e) for large values of i and so the sequence (x„ : i ^ N)
converges to a. n
4.4.3 Theorem
I f (X, d) is a metric space and if ^ is a compact subset of(.^Q, 8), then .C
is closed in X.
function on ^ and therefore attains its minimum on the compact set Let e
be this positive minimum. Then a ^ e + and so d{a, > 0.
Thus, is closed. □
4.4.4 Theorem
I f { X, d ) is a metric space, j V* (the set of finite subsets of X ) is dense in
( ^ q(X), S) if and only if X is totally bounded.
4.4.5 Theorem
I f (X, d) is a metric space and if ^ is a family of closed, connected, nonempty
subsets of Xsuch that ^ is connected in ^ q(X), then A = U i s a connected
subset of X.
Proof The proof is like that of Proposition 2.4.2 and uses Proposition
4.2.1(ii). Suppose, if possible, that A is disconnected. Then there are open sets
Gi and G in X such that A
2 G iU G , A n
2 0 , A n G ^ 0 , and
2
A O Gi n G = 0 . Now if C <
2 C o A a G iD G and so either C n G^
2
and are open in the lower hemimetric topology and hence open in the
finer Hausdorff topology. We have c u Moreover, since /1 n G, #
0 , there exists C in such that C n G, ¥= 0 , i = 1,2, that is, C e and so
n I q + 0 for i = 1,2. Since ^ is connected, we must have n 1^^
¥= 0 ; that is, there is a C e such that C r\ 0 and C n G2 # 0 . But
then C is disconnected by Gj and G2. □
Most of the material in this section would fit appropriately in earher chapters.
We begin by defining yet another topology and compare it with the Vietoris
topology (Chapter 1); then we look at compactness and separation (Chapter 2).
The raison d 'être for this topology is that in locally compact spaces it is the
one referred to in Chapter 3 as the one generated by the convergence defined
there. Finally, and this is the reason for placing it all together here in Chapter
4, we show that if the original space is metrizable then so is this topology.
Let (AT, be a topological space. In defining the upper topology on
we considered {',G] = [A c. X\ A G). Clearly, [*,G] = {A (z X: A
n ( X \ G ) = 0 } and so we may define the base for to be {2)^: F ^ . ^ ( X ) )
where D f = {A c X: A Ci F = 0 ) . Now we may modify this slightly and
replace closed sets by compact sets. It is clear that the family { Df^ : K e j f ( X ) }
(like the former one) satisfies the axioms for being a base for a topology.
4.5.1 Definition
The topology of closed convergence, denoted by is defined to be the smallest
topology containing both and the family { Df^ : K e JT(X)}.
4.5,2 Proposition
If is a locally compact Hausdorff space, then the mapping a of
onto { ^ ir ) defined above is a homeomorphism.
Proof Suppose Iç and Dj^ are subbasic open sets in Then G is open in
X and hence also open in X' and F n G ^ 0 for F closed in X if and only if
a{F) C\G 0 inX'. Thus and so is open in the Vietoris topology
o n ^ ( X ') . The set K is compact in X\ therefore G ^j^=(A "\F')U {oo}is open
in X' and F n K = 0 (for F closed in X) if and only if a(F) c G^. Thus
a(Dfr)= [•, G^] and so is open in the Vietoris topology on This
proves that a is an open mapping.
Conversely, if and [%G'] are subbasic open sets in ^ ^ { X ' \ then G' is
either an open subset of ATor G' = ( X \ K ) U {oo} for some compact set K in
X. In the first case [•, G'] = 0 [in J^(A"')] and, as we saw above, n
= a(/^, n ^ ( X ) ) ; in the second case = ^ ^ ( X ' ) and, again as in the first
part of the proof, [•, G'] = cl{Dj^). Thus, in all four cases a subbasic open set in
{^{X'\ is the image under a of an open set in (J^(A"), and so a is
continuous. □
4.5.3 Theorem
I f (X, T ) is a locally compact Hausdorff space, then (J^(AT), is a compact
Hausdorff space and ( A^), is a locally compact Hausdorff space.
The next theorem deals with the question of convergence and completes the
discussion of Mrowka’s result (1958). This result also explains the name
“ topology of closed convergence.”
4.5.4 Theorem
Let {A^ : n ^ D) be a net of closed sets in a locally compact Hausdorff space
{X, then lim„A^ = A (in the sense of Definition 3.1.4) if and only if A^
converges to A in the topology of closed convergence on ^ ( X ) ,
Proof Let a be the mapping of J^( X ) onto * ^ ( A"') defined above. Then it
is clear from Definition 3.1.4 and the definition of the topology on X' that
a(liminfy4„) = liminf(a(^„)) and a(lim sup^„) = limsup(a(^„)). Hence,
lim„^„ = ^ if and only if lim„a(^„) = a(A). Now, by Theorem 3.3.11 and
the fact that J^(A^') is closed, this is so if and only if a(A^J a(A) in
4.6 N otes and Remarks 51
4.5.5 Theorem
Let (X, be a locally compact^ separable metric space. Then { ^ { X ) , is a
compact, metrizable topological space.
For the sake of easy reference, we summarize the last three theorems in the
following statement.
4.5.6 Corollary
I f {X, is a locally compact, separable metric space, then the topology of closed
convergence on ^ {X) has the following properties:
(i) ^ is metrizable.
(ii) The space ( ^ ( X ) , ^ ) is a compact Hausdorff space.
(iii) A sequence of closed sets (F„: n ^ N ) converges to F in the sense of
Definition 3.1.4 if and only if it converges to F with respect to
This chapter is the oldest part of the subject. The Hausdorff metric was defined
by Hausdorff (1962) and some of its properties explored about 70 years ago.
These studies were continued, largely by the Polish school, and a full exposi
tion is given by Kuratowski (1966, 1968). The paper by Kelley (1942) is a
thorough discussion of connectedness and contractibility properties for subsets
of a metric space.
The approach in Sections 4.1 and 4.2 follows that of Ichiishi (1974) in
distinguishing between the upper and lower topologies and the upper and
lower hemimetric topologies. In Sections 4.3 and 4.4 we are indebted to
Kuratowski and also to the recent book by Castaing and Valadier (1977) which
contains some of this material, in particular, the proof of the important
Theorem 4.3.8 on completeness.
Blaschke’s selection theorem, which is so important in the study of convex
ity, can be found in Eggleston (1958). There are several papers which discuss
52 M etric Spaces
metrics for, and compactness of, spaces of convex sets. Among them, we
mention Shephard and Webster (1965) and Macbeath (1951). The metric A
introduced in Exercise 4.7.10 was first defined by Banach (1932); a good
discussion of the relationships between these metrics, as well as interesting
applications of Blaschke’s theorem to normed spaces, can be found in Schaffer
(1967), especially Section 6.
In his complete discussion of the question of whether convergence (in the
sense of Definition 3.1.4) is topological or not, Mrowka (1958) discussed the
topology of closed convergence on a locally compact space and proved
the simple but crucial fact that a is a homeomorphism which leads to the main
results of Section 4.5. Fell (1962) defined the same topology on an arbitrary
topological space and showed that, if X is locally compact but not necessarily
Hausdorff, (J^(A"), is still compact and Hausdorff. Both he (1961) and
Effros (1965) are interested in applications to C*-algebras for which the
relevant topology is not Hausdorff and hence this result is significant.
4.7 EXERCISES
4.7.9 Blaschke’s selection theorem says, in part, that a limit of convex sets is
convex. In Proposition 4.4.2 it was shown that a limit of singletons is a
singleton. Let \n E: N) be a sequence of closed convex sets
contained in a closed bounded subset A" of a finite-dimensional normed
linear space which converges to a set
(i) Show that if each is balanced, then A is balanced.
(ii) Show that if each is a fine segment, then ^ is a line segment.
(iii) Show that if the space is two dimensional and if each is a
parallelogram (ellipse), then ^ is a parallelogram (ellipse).
4.7.10 Let A" be a real, finite-dimensional linear space and let SSq denote the
set of closed, bounded, balanced convex bodies in X (here “ bounded”
means with respect to the unique HausdorfT linear topology on AT).
(i) If Ci,C2 ^ ^ 0’ p CQj Q ) = inf{logAjii: Q c XC2', C2 c juCi).
Show that p is equivalent to the Hausdorff metric on
(ii) Each B ^ SSq defines a norm H-H^ on X\ let A(^^, ^^2) =
inf(log||ril||r“ ^||: r is an isomorphism from X^ to X ] where
2
Applications:
Mathematical Economics I
54
5.1 Economie System s 55
= ;Y).
(Al) For every a ^ A the consumption set X(a) is closed, convex, bounded
from below by a fixed vector b, and it has a nonempty intersection
with a fixed compact subset K of R^, The set of all such consumption
sets is denoted
For two vectors x, x' e Rf we use the following inequality symbols in this
book: X > x' to mean that x, > x ' for every z = l,2 ,...,zf; x > x ' to mean
that X > x ' and x # x'; and x » x' to mean that Xy > x ' for every z =
1 ,2 ,...,^ .
5.1 Economic System s 57
In the sequel we shall use the letter Q, with the appropriate verbal
quahflcations, to denote the set of all preference or preference-indifference
relations of a certain kind whose consumption sets belong to
To complete the “consumption sector” of an economy, t is a function from
Aio R+ which assigns to each agent a ^ A the agent’s initial endowment vector
t(a) E: X(a). The function ¿ is called the initial allocation.
An agent or consumer a of the economy is now fully characterized by the
triple { X{ a\ i{a)) or { X{ a\ In certain special situations we
regard the wealth of the agent a as exogenously given—a real number w{a). In
such cases we disregard the function l and directly identify a consumer with a
triple (Ar(a), ^ ( 0)) or (Xia), w(a)).
The “ production sector” of the coahtion production economy—for models
of production economies based upon alternative institutional frameworks the
reader is referred to Hildenbrand (1970), Ichiishi (1977), and Sondermann
(1974)—is described by the countably additive, convex-valued production set
correspondence Y from to R^. This correspondence Y assigns to each
coahtion E i\,s> production possibihty set T (^). A vector y e Y{E)
represents a possible production plan for E, where negative components
represent inputs and positive components represent outputs. We shall postpone
the discussion of these and other properties of Y until Chapter 20.
Very often a theory is only concerned with the economic exchange process
—the markets—with total independence of what happens in the production
sector. This is best represented by an economic system without production
(e.g., we may imagine Y to be constantly equal to {0}) called in the hterature a
pure exchange economy and conceived as a structure:
5.2.1 Theorem
Let (Q, STcg') represent the space of all irreflexive, transitive, and continuous
preferences = {X{a) X X{a))\F{a), endowed with the topology of closed
convergence. Then the following statements hold true:
(i) (0 ,* ^ ) is compact and metrizable;
(ii) a sequence {{X^, > ^) \ n ^ N ) converges to an element {X, >) in {Q, STc^')
if and only if Urn^ W K = F = lim„ sup F^\
(iii) SFc^is the coarsest Hausdorff topology for which the set {{X, > ) ^ Q X R^
X R^\ X, y ^ X, X y] is closed.
Proof It is easy to see that the notation ( A", >-) simply denotes a prefer
ence in Q, that is, the relation > on the underlying consumption set X, Since
{X, X) in g is described by the closed set F = {(x, y ) ^ X X X: x ^ y] in
R^^, Q may be regarded as a subset of
(i) We already know that {^{R ^^), is compact and metrizable—see
Corollary 4.5.6. Hence, we can prove the first assertion by simply showing that
Q is closed in ^ ).
Identify the sequence ((X„, >„): n ^ N) in Q with the sequence of closed
sets (F„: n ^ N) where F„ = {(x, y) ^ X„ X X„: x „y}. Let F be the limit
of (F„: n ^ N) in the sense of Definition 3.1.4. Recalling that ^ is the
collection of all consumption sets satisfying assumption A1 (Section 5.1), one
must prove that ( A", x ) is in Q, that is, that X g .^and that x is an irreflexive
and transitive relation on X,
From liminf F„ = F = limsupF^ we obtain liminf X„ = X = limsup X^,
Since every AT„ is nonempty and belongs to it is easily shown that X is
nonempty and belongs to Let us deal with x .
To prove the irreflexivity of x , choose a bundle x g X Then there exists a
sequence (x„ g A"„: « g A^) with x = lim„x„. Now x„ ^„x„ (irreflexivity)
implies (x„, x„) g F„; and since F = liminf one obtains (x, x) g F, It
follows X ^ X.
To prove the transitivity of x , choose bundles x, z g A" such that x x j;
and y > z. Then suppose x > z. Since (x, z) is now in F, and F = liminf/;,,
there must exist a sequence {{x^, z^) E: F,^\ n ^ N) which converges to
60 Applications: M athematical Economics 1
As stated in the text, there exist several different models which include
production. The notion of a “coalition production economy” was introduced
by Hildenbrand (1970b) as an aid to the study of economies with a measure
space of consumers and production; a quite different model of a productive
economic system has been examined by Sondermann (1974). There are two
other institutional set-ups that must be mentioned here. A “ private ownership
economy” is characterized and analyzed by Debreu (1959) in the context of
finite economies and later redefined by Hildenbrand (1970b) to fit the case of
economies with a measure space of consumers. The model of a “ labour-
managed market-economy” is the subject of Ichiishi’s investigations (1977).
For an introduction to the analysis of “ pure exchange economies,” the
reader may consult Hildenbrand and Kirman (1976).
The space of agents’ characteristics is dealt with by Hildenbrand (1970a,
1974). The idea to impose an appropriate topology on the space of preferences
seems to go back to Kannai (1970). A survey of the problem will be found in
Grodal (1974). The use of the topology of closed convergence has, apparently,
been first suggested by Mertens (1970) and then extensively applied by
Hildenbrand (1970a, 1974). Previously, Debreu (1969) had topologized the set
of negatively transitive preferences by means of the Hausdorff metric topology.
The characterization we give of the space of preferences with the topology of
closed convergence (Theorem 5.2.1) is from Hildenbrand (1974 pp. 96 ff).
Part Two
Continuous
Correspondences
Chapter Six
Introduction
6.1 CORRESPONDENCES
6.1.1 Definition
A correspondence between sets X and 7 is a relation between X and Y whose
domain is the whole of X
65
66 Introduction
recall, in particular, the definitions of image and inverse image of a point, and
those of weak and strong image and inverse image of a set which were given in
Section 1.1.2. In addition to these we also need the notion of the graph of a
correspondence. It is at this level that we consider a correspondence to be a
relation rather than a function from X to ^ q(Y) since we define the graph to
be a subset of A" X 7 [rather than of A" X ^ q(Y)],
6.L2 Definition
If / is a correspondence from X to 7, the graph of / , Gr / , is defined by the
equation G r / = {(x, y) e A' X 7 : y e /(x)}.
If one refers back to Section 1.1, one sees that there is little real distinction
between / and its graph. It is, however, occasionally convenient to consider that
if 7, say, is enlarged, then the correspondence changes (since it is now between
different sets) but the graph does not—it is the same set, only now part of a
larger one.
We now come to various operations which can be performed on correspon
dences. Some of these are available (and famihar) in deahng with functions,
others are special to this context.
6.2.1 Definition
If / is a correspondence from A to 7, then we may consider the complement of
/, \ /, defined by ( \ / ) ( x ) = 7 \ / ( x ) (for all x in A). This is another
correspondence provided that, for all x, /( x ) =5^ 7. The graph of \ / is the
complement (in A X 7 ) of the graph of /.
6.2.2 Definition
If 7 is a topological space, then we may define the closure of /, cl /, by the
equation cl /( x ) = / ( x ) for all x in A. This is again a correspondence.
6.2.3 Example
Take X = 7 = [0,1] with the usual topology and let
/[ 0 ,i] if X is rational
\ [0,1] if a: is irrational.
Or we may take the more usual example of the characteristic function of the
rationals. In both of these cases there are strong extra conditions of compact
ness and connectedness.
The converse is true; that is, if Gr / is closed in the product topology, then
/(x ) is closed for each x in X. The proof is evident since, ii Xq ^ X and j is a
closure point of / ( xq) which is not in / ( xq), then ( xq, y) is a closure point of
Gr / which is not in Gr /.
6.2.4 Definition
In the case when X and 7 are topological spaces, it is possible, therefore, to
define a stronger closure operation, /, by the equation Gr / = Gr /.
It is not easy to specify the image of a point x under this new mapping since
it depends not only on the image of x but on the images of neighbouring
points. We do, of course, have the containment/(x) z) / ( x ) .
6.2.5 Definition
In the case when 7 is a hnear space, an important operation is that of “convex
hull,” defined by (co /)(x ) = co /(x ).
6.2.6 Definition
In the case when 7 is a totally ordered space (in particular when 7 = i^), we
may consider the correspondence whose graph is the epigraph of /. Thus,
(^pi/X ^) = {y ^ Y: y > /(x)}. It is understood here that y > /( x ) means
that y > y ' for some y ' in /(x ).
correspondences into Y. However, this type of operation will not be used much
in the sequel.
6.3.1 Definition
If / and g are correspondences from X to 7, then we may define / U g, / n g,
by the equations
(/U g )(x ) =f{x )yj g{ x), ( / n g){x) = / ( x ) n g ( x ) .
The relation / U g will always be a correspondence (if / and g are); / n g is not,
in general, another correspondence.
6.3.2 Definition
If / is a correspondence from AT to 7 and g is a correspondence from Y to Z,
then we can define the composition g ° f by the equation ( g ° /) ( x ) =
Uy^f(x) siy)-
Again it is clear that the composition of two correspondences is always
another correspondence.
There are a number of relations between these operations and the inverse
images of sets.
6.3.3 Proposition
I f f and g are correspondences between X and Y and if B <z Y, then
(i) { f \ j g y { B ) = r { B ) K j g - { B ) -
(ii) (/n g)-(B )c/-(B )n g-(B );
(ui) ( /U g ) ^ ( B ) = A B ) n g ^ ( B ) ;
(iv) { f C ^ g n B ) z > f % B ) K j g \ B ) .
Proof
(i) A point X in AT is in ( / u g y ( B ) if and only if ( /U g)(x) n B ¥=
0 , —i.e., if and only if B intersects f ( x ) U g(x). But this is so if and
only if either f ( x ) intersects B [in which case x is in f^(B)] or g(x)
intersects B [in which case x is in g’^(B)].
(ii) If X is in ( / n gy{B) , then B n ( /( x ) n g(x)) # 0 and hence both
B n /( x ) and B n g(x) are nonempty. However, it is possible for B to
intersect both /( x ) and g(x) without intersecting /( x ) n g(x).
(iii) If X is in ( / U g ) \ B ) , then /( x ) U g(x) c B and hence both /( x ) c B
and g(x) c B. Thus x e f \ B ) n g \ B ) and similarly for the reverse
implication.
(iv) If X is in f \ B ) , then /( x ) c J? and hence /( x ) n g(x) c B. Similarly, if
xis in g \B ) . □
More importantly, these inverse images work well with respect to composi
tion.
63 Binary Operations on Correspondences 69
6.3.4 Proposition
I f f is a correspondence from X to Y and g is a correspondence from Y to Z and if
C then
(i) ( g ° / r ( C ) = / ‘^(g’^(C));
(ii) ( g o /y ( C ) = Ag^(C)).
Similarly, ( g ° /) ^ ( C ) = { x :( g ° /) ( x ) c C)
= ( x ; g{y) c C for all^ in /(x )}
= { x : / ( x ) c g"(C)}
= /^(g^(C )). □
There are some other relationships between these strong and weak inverse
images which are quite immediate but which are convenient to have listed.
6.3.5 Proposition
I f f is a correspondence from X to 7, if B is a subset of 7, and if i ^ I ] is a
family of subsets of 7, then
(i) X \ f \ B ) = r { Y \ B ) ; X \ r ( B ) = n Y \ B ) ;
(ii) / - ( U , , , 5 , ) = U ,,,/- ( S ,) ;
(iii) U ,^ ,A 5 ,);
(iv) / - ( 0 , ^ , 5 ,) c n , , , / - ( 5 , ) ;
(V ) A O ,,,5 ,) =
6.3.6 Definition
If /i and /2 are correspondences from X to 7^ and 72, respectively, then
/ = / 1 X / 2 is defined by f { x ) = ( / 1 X f ){x) = / i ( x ) X f {x) and is a corre
2 2
6.3.7 Proposition
With the notation of Definition 6.3.6, if A o Yi and B Y , then
2
(i) f ( A x B ) = f { ( A ) n f { i B y ,
(ii) r { A x B ) = f ^ { A ) r \ f ^ { B ) .
70 Introduction
As with Chapter 1, the main problems here are notational and terminological.
Dieudonné (1960) rightly condemns the use of a noun (“ function” or “ map
ping”) modified by an adjective (“ multivalued”) to mean, together, something
more general than the unmodified noun. “Set-valued function” is rather better
since it emphasizes that we are dealing with functions whose range is in
it should, however, force the graph to be a subset of A" X ^ q{X). We follow
Bourbaki (1968) in this case and use the term correspondence. There is also no
agreement in the literature on the symbols for weak and strong inverse images.
Most of the operations discussed in this chapter are elementary and obvious
as are most of the propositions dealing with inverse images under these various
operations. It seemed to us to be convenient to have them gathered together in
one place but it is obviously unnecessary to try and detail their origins.
6.5 EXERCISES
6.5.4 Let </) be a real-valued function of a real variable, and let / = epi <J>be
defined by 6.2.6. If denotes the usual inverse image map, show
that ^[) = oo[) ^ ~ 0O5b[). Hence, show that <J) is
continuous if and only if the strong inverse image under / of each
upper interval and the weak inverse image of each lower interval are
open. Give similar statements characterizing upper and lower semicon
tinuity of <t>.
6.5.5 Let / be a correspondence from a set X to a. normed linear space Y
and g be the constant correspondence which assigns to each x in X
the closed unit ball B = 5 [0 ,1] in 7. Then, if ^ c 7, x g ( / -h gY(A)
only if inf«^^inf^^y^(^)i/(7 ,a ) > 1, and x ^ ( f g ) ^ { A ) only if
d( A, f ( x ) ) = ini{d{y, a): y ^ f { ^ \ a ^ A] < \ , Show that, in gen
eral, neither implication can be reversed.
6.5.6 Let / and g be correspondences from a set A" to a hnear space 7. Show
that (co / + COg) is convex-valued. Show also that if 7 is a topological
linear space, then cl co / is convex-valued.
6.5.7 Prove Proposition 6.5.3.
6.5.8 State and prove the indicated generalization of Proposition 6.3.7 to an
arbitrary family of correspondences.
6.5.9 A correspondence / is said to be injective if x^ ^ x^ implies /(x j) Pi
/(JC2) = 0 . Show that if either / or g is injective, then both / n g and
/ X g are injective (Berge, 1963).
6.5.10 If / is a correspondence on X, then we may iterate / and, for each
X e AT, consider /(x ), /^ /(x ), A ;A ,/(x),... (here notation is from
1.1.2). We let 0(x), the orbit of x, denote the union ( x ) U /(x ) U
/w /(x )... . Show that the correspondence Ö defines a closure opera
tion, that is, 0(A) o A; if A B then 0(A) c 0(B), and 0(0(A)) =
6(A).
Chapter Seven
Continuity
72
7.1 Types of Continuity and Their Relationships 73
7.L1 Definition
If X and Y are topological spaces, the correspondence / from AT to 7 is said to
be
7.L2 Definition
With the same notation, the correspondence is said to be closed if Gr / is a
closed subset of A" X 7 (in the product topology).
7.L3 Definition
Let A" be a topological space, 7 a metric space, and / a correspondence from
A"to 7. Then / is said to be
The reader is warned that this terminology is not completely standard and
varies somewhat from writer to writer.
We begin the work of using these definitions by listing various equivalent
ways of formulating the concepts. This will be followed by relationships among
the seven definitions. Some of these will be easy to establish using the
information already given in Section 4.2.
74 Continuity
7.L4 Theorem
Let X and Y be topological spaces and f a correspondence from X to Y; then the
following are equivalent:
(i) / is upper semicontinuous,
(ii) For every open set G in Y, f \ G ) is open in X.
(iii) For every closed set F in Y, f^ ( F ) is closed in X.
(iv) For every x in X and every net (x„: n ^ D) in X which converges to x, and
every open set G in Y with f ( x ) c G, /(x „) c G for all sufficiently large n.
Proof We use f~^{a) to denote the inverse image of a (in the usual sense)
under the function / from X to ^ q{Y), N ow a basic open set in (^o (7 ),
is of the form [%G] and f~\[%G])= {x e X: f(x)<z G); that is, f-\[%G]) =
ffi{G). Hence the equivalence of (i) and (ii) follows from the fact that a
function is continuous if and only if the inverse image of every basic open
set is open. That (ii) is equivalent to (iii) is immediate from the fact that
X\ffi^{F) = f f i ( Y \ F ) [see Proposition 6.3.5(i)]. To prove that (ii) imphes (iv),
suppose that (x„ :n ^ D)isa. net converging to x and that G is an open set in
Y with f ( x ) c G. Then, by (ii) f \ G ) is open in X and x g ffi(G). Hence,
x„ ^ ffi(G) for all sufficiently large n. Consequently, f(x„) c G for all suffi
ciently large n. Finally we show that (iv) implies (ii). Let B be open in 7. If
f \ G ) is not open, then there is a point Xq e f \ G ) which is not an interior
point of G. Consider the directed set Dq of all neighbourhoods of Xq partially
ordered by inclusion. Corresponding to each n ^ Dq there is an x„ with x„
not in f%G) [since Xq is not interior to ffi(G)]. Thus (x„: n ^ D) is a. net
converging to Xq and / ( xq) c G. Therefore, by (iv), f(x„) c G for all
sufficiently large «, which contradicts the fact that, for all n, x„ is not in
r(G ). □
7.7.5 Remark
If the correspondence / is a function, then f \ G ) = f~^{G) and so Theorem
7.1.4(ii) shows that / i s upper semicontinuous if and only if / i s continuous in
the usual sense.
7.7.6 Example
Consider, for both X and 7, the real line R with the usual topology. Let <#>and
\p be functions from jR to 7^ with the following properties: <i>is lower semicon
tinuous (in the sense of Exercise 1.5.8), i// is upper semicontinuous (in the sense
of Exercise 1.5.8), and <i>(x) < \l^(x) for all x. Define a correspondence /fro m
7^ to 7^ by f ( x ) = ( y : <l>(x) < y < ^(x)}. Then the correspondence / i s upper
semicontinuous (in the sense of Definition 7.1.1). The proof of this assertion is
left as an exercise (see Exercise 7.7.2). The correspondence/ may be pictured as
in Figure 7.1.
There is a sequence of statements corresponding to Theorem 7.1.4, Remark
7.1.5, and Example 7.1.6 which applies to lower semicontinuity.
7.1 Types of Continuity and Their Relationships 75
7.1.7 Theorem
Let X and Y be topological spaces and f a correspondence from X to Y; then the
following are equivalent:
(i) / is lower semicontinuous.
(ii) For every open set G in Y, f ^{G) is open in X.
(iii) For every closed set F in Y, f \ F ) is closed in X.
(iv) For every x in X and every net (x„: n ^ D) in X which converges to x, and
every open set G in Y with f ( x ) Pi G ^ 0 , f(x„) C\ G ^ 0 for all
sufficiently large n.
7.1.8 Remark
If / is a function from X to T, then again ffi^(G) = f~^(G) and so / is lower
semicontinuous if and only if it is continuous in the usual sense.
7.1.9 Example
With precisely the same notation and conditions as Example 7.1.6 with the
exception that suppose now \p(x) < <i>(x% define a correspondence g by
76 Continuity
suddenly expands.
It is evident that Theorems 7.1.4 and 7.1.7 can be combined to yield a
theorem deahng with continuity. It is also evident that the analogue of
Remarks 7.1.5 and 7.1.8 holds, but we refrain from repeating it.
7.1.10 Theorem
Let X and Y be topological spaces and f a correspondence from X to Y\ then the
following are equivalent:
(i) / is continuous.
(ii) For every open set G in Y both p^{G) and f \ G ) are open in X.
(iii) For every closed set F in Y both f^ ( F ) and f \ F ) are closed in X.
(iv) For every x in X and every net (x„ : n ^ D) in X which converges to x, and
every open set G in Yfor which either/( x ) c G or, respectively, f{x„) Pi G
# 0 , then /(x „) c G, respectively, f(x„) Pi G # 0 , for all sufficiently
large n.
In the case when 7 is a metric space, the relationships between semicontinu
ity and hemicontinuity (both upper and lower) follow from the relationships,
given in Chapter 4, between the topologies.
7.1 Types of Continuity and Their Relationships 77
7.L11 Theorem
Let X be a topological space and Y a metric space and let f be a correspondence
from X to Y,
(i) I f f is upper semicontinuous, then f is upper hemicontinuous,
(ii) I f f is lower hemicontinuous, then f is lower semicontinuous.
In both cases, the converse is not necessarily true.
Proof Statements (i) and (ii) are inmiediate consequences of Proposition
4.2.1. The last assertion is proved by the next two examples. □
7.L12 Example
Let X and Y both be the real hne R with the usual topology and consider the
correspondence / from Y to 7 which assigns to each x in R the interval
]x - I, X + 1[. Then it is clear that if \xi - X2I < c then ^ ^
[indeed, S /(/(x i),/(x 2)) < e and 8 ( f ( x i ) , f ( x ))<e] so that / is up
2
7.L13 Example
Let Y = (0 ,1 ,1 /2 ,..., 1 /« ,...} and let 7 = (both with the usual topology).
Let / be defined by
f { l / n ) = ( 0 ,1 ,2 ,...,« } ,
/(0 ) = N.
Then / is lower semicontinuous since any open set G which intersects N also
intersects/ ( ! / « ) for all sufficiently large «. However,/is not lower hemicon-
tinuous at 0 since S/(/(0), /( ! /« ) ) = + 00 for all values of n.
This shows that the converse of Theorem 7.1.11(ii) is false in general.
7.LI4 Theorem
Let Xbe a topological space and Y a metric space. Let fb e a correspondence from
X to 7.
(i) I f f is upper hemicontinuous and f { x ) is compact for each x in X, then f is
upper semicontinuous.
(ii) I f f is lower semicontinuous and f { x ) is totally bounded for each x in X, then
f is lower hemicontinuous.
78 Continuity
7. L I 5 Theorem
Let X and Y be topological spaces with Y regular. I f f is an upper semicontinuous
correspondence from X to Y with /( x ) closed for each x, then f is closed.
Proof Let ((x„, 7„ ) : « e Z)) be a net in G r / converging to (x, y) in
A" X 7. To prove that / is closed we need to show that (x, y ) e G r / . If not,
then); G 7 \ / ( x ) . N ow /(x) is closed and so, by the regularity of 7, there are
disjoint open sets Gi, G with y ^ Gi and /( x ) c G . Now (x„: n ^ D)
2 2
7.1.16 Theorem
Let X and Y be topological spaces with Y compact. I f f is a closed correspondence
from X to 7, then f is upper semicontinuous.
Proof We again use criterion (iv) of Theorem 7.1.4. Let x g AT and let
(x „ : « G D) be a net converging to x in X. Let G be an open set in 7 with
/( x ) c G. Supposef{x^)<t G for all large n, then there is a subnet (x^: m ^
D') with f ( x ^ ) n ( Y \ G ) # 0 for all m g D \ For each m, choose y^ in
/( x ^ ) n ( 7 \ G). Then {y^ : m g D') is a net in the compact set 7 \ G and so
has a subnet (yj^: k ^ D") converging to J; in 7 \ G. Now ((xy^, yj^)-. k ^ D")
is a net in G r/w hich converges to (x, J^) which is not in G r/. This contradicts
the hypothesis that / is closed. □
7.2 Som e Special Correspondences and Functions 79
7.L17 Example
When Y is not compact, it is rather simple to construct examples of closed
correspondences which are not upper semicontinuous. Let X = Y ^ R^. De
fine / by
f( \= / ^ i f ^ > 0
\{0} ifjc = 0
(see Figure 7.3). Then / is compact valued, the graph of / is closed but / is
not upper semicontinuous at 0 since /(0) c [0,1[, but /^([0,1[) = {0} which is
not open in X.
We remark that the proof of Theorem 7.1.6 requires that the complement of
every open neighbourhood of /( x ) be compact (rather than the compactness of
f {x) itself).
7,2.1 Theorem
(i) I f X is a topological space, the function cl from ^ q( X) to .^q( X) defined by
cl(A) = A {the closure of A) is a retraction with respect to the lower
topology on ^ q( X) and^Q{X).
(ii) I f X is a normal topological space, the function cl from ^ q{X) t o ^ ^ i X ) is a
retraction with respect to the upper and Vietoris topologies.
7.2.2 Definition
With the preceding notation, if is a topological space, by the upper topology
on ^ q{ ^ q{X)) we understand the to p o lo g y .^ (.^ ); by the lower topology we
understand and by the Vietoris topology we mean .5 ^ ( .^ ) .
7.2.3 Theorem
Let X be a topological space. With the preceding notation and terminology, the
mapping u is continuous with respect to the upper {respectively, lower) topologies
on both ^ o { X ) a n d ^ q{ ^ q{X)).
7.2.4 Corollary
The mapping co is continuous with respect to the Vietoris topologies on ^ q{ ^ q(X))
and^o(X),
Proof. This follows from Theorem 7.2.3 and the fact that if one puts a finer
topology on the domain space, the mapping remains continuous. □
For the next two theorems and corollaries, we assume that ( 2i, ll*!!) is a
normed hnear space. The topology is, of course, the metric topology induced
by the norm on X. The reason for the extra structure is in order to discuss the
continuity properties of the map co from ^ q{X) to ^ q{X) which assigns to
each nonempty subset its convex hull.
7.2.5 Theorem
The mapping co is uniformly continuous with respect to the upper hemimetric,
lower hemimetric, and Hausdorff topologies on ^ q(X).
7.2.6 Corollary
I f X is complete., the mapping co is continuous with respect to the upper topology
onJiToiXf
We did not include the lower topology in the statement of Corollary 7.2.6
because a stronger statement is true.
82 Continuity
7.2.7 Theorem
The mapping co is continuous with respect to the lower topology on ^ q(X).
7.2.8 Corollary
If X is complete, the mapping co is continuous with respect to the Vietoris
topology on ^o(^)*
and here we shall use this notation rather than the more familiar f(A).
7.2.9 Proposition
I f f is a function of X onto 7, then the correspondence /* from Y to X is
(i) upper semicontinuous if and only if f is closed;
(ii) lower semicontinuous if and only if f is open;
(iii) continuous if and only if f is both open and closed.
7.3 Operations on Continuous Correspondences 83
Proof.
(i) n G ) = { y ^ Y : r ( y ) c z G }
= { y ^ Y : P ( y ) n { X \ G ) = 0}
= Y\U X \G ).
Thus, for each open set G in X, f * \ G ) is open in Y if and only if the
image of every closed set is closed.
(ii) Since f*^(G) = { y ^ Y: f *{y) D G ^ 0 ] = L(G), this result is evi
dent.
(iii) This now becomes trivial. □
7.2.10 Proposition
Let f be a function from X to Y. I f f is open, then f~^ is continuous for the lower
topology. I f f is closed, then f~^ is continuous for the upper topology.
7.2.11 Proposition
Let f be a function from X to Y. I f f is continuous, then f^. is continuous from
^ q( X) to ^ q(Y) with either the upper, lower, or Vietoris topologies.
Proof Since f^{A ) c G if and only if ^ c f~^{G), the inverse image of
[•, G] is the open set [•, f~^{G)\ in {^^{X), ^ ) . Similarly, since f^{A) O G ¥= 0
In this section we consider again the operations defined in Sections 6.2 and 6.3
and discuss their relationship with the concepts of continuity defined in this
chapter. We discuss them in the order in which they came in Sections 6.2
and 6.3.
First, then, recall the definition of the complement, \ / , of a correspondence
/. It is clear from Examples 7.1.6 and 7.1.9 that the complement of an upper
semicontinuous correspondence need not be upper semicontinuous and that
the complement of a lower semicontinuous correspondence need not be lower
semicontinuous. It might appear from these examples, however, that the
complement of an upper semicontinuous correspondence is lower semicontinu
ous and vice versa. To see that this is not so, we construct the following
example.
84 Continuity
7.3.1 Example
Let Y = {1,2,3} be made into a topological space with the following open
sets: 0 ,7 , (1,3), (2,3}, (3). Moreover, let the correspondence / from i? to 7
be defined by
if X < 0
if X > 0
(see Figure 7.4). For all open sets G not equal to either Y or {1,3), we have
f \ G ) = 0 , while f \ Y ) = R and /^({1,3}) =]0,*]. Similarly, for all open sets
G * (3), / 7 G ) = R, and /*"({3}) =]0,*]. Hence / is both upper and lower
semicontinuous (and hence continuous). On the other hand, \ / is a function g
(we do not distinguish here between x and {x }).
if X < 0
g (^ ) = if X > 0,
7.3.2 Example
With reference to Example 7.3.1, g is a correspondence which is neither upper
nor lower semicontinuous but whose complement is both.
73 Operations on Continuous Correspondences 85
7.5.5. Proposition
A correspondence f is lower semicontinuous if and only if cl f is lower semicontinu-
ous.
Proof In one direction this follows from Theorem 7.2.1(i); however the
proof is immediate in both directions since, if G is open in 7, for any set
A c Y,AD G ^ if m d only if J n G ^ 0 so that/"'(G ) = (cl /)^(G ). □
0
7.3.4 Example
Let X and Y be as in Example 7.3.1 and let
I Y if X > 0,
7.5.5 Proposition
I f Y is a normal topological space and if f is an upper semicontinuous correspon
dence from a topological space X to 7, then cl f is upper semicontinuous.
7.3.6 Remark
The above proposition apphes with continuity in place of upper semicontinu-
ity.
7. 5.7 Proposition
Let X and Y be topological spaces with Y compact. Let f be any correspondence
from X to Y, Then f is upper semicontinuous.
7.3.8 Theorem
Let X and Y be topological spaces and let f and g be correspondences from X to Y,
(i) I f f and g are upper semicontinuous, then so is / U g.
(ii) I f f and g are lower semicontinuous, then so is / U g.
(iii) I f f and g are closed, then so is / U g.
7.3.9 Remark
The inclusions in Proposition 6.3.3 show that intersections do not work so well
for continuity. But, of course, if / and g are closed, then so is / n g since
G r ( / n g ) = (G r/)n (G r g ) .
The first two parts of the following theorem dealing with upper semicontinu
ity and intersection are found in Hildenbrand (1974, pp. 23, 24). The third
part, which is quite ad hoc, is needed for Theorem 8.1.8.
7.3.10 Theorem
Let X and Y be topological spaces and f and g be correspondences from X to Y
such that f ( x ) O g(x) for each x in X,
0
ous, there are open neighbourhoods Fj and V of x such that if x' e V^,
2
f (x' ) c Gi, and if x' e V , then g(x') c G2. Therefore, if x' e Fj n Fj, we
2
7.3 Operations on Continuous Correspondences 87
7.3.12 Theorem
Let [ f ^ \ i ^ I ] b e a family of correspondences from X to Y-. Let f = Yli^jfi be
defined from X to by f ( x ) = Tli^ffix). I f f is lower semicontinuous for
each i, then f is lower semicontinuous with respect to the product topology on
Y=
88 Continuity
7.3.13 Lemma
Let ^ I ] be a family of topological spaces and let
{ ¥ ¿ ’. 1 be a compact subset
of for each i. Let G be an open set in O/ ^ i^i FI/ ^ r^i ^ G. Then there is
a basic open set U = ^ G^ ^ for only finitely
many values of i such that ll/e/-^/ a U G.
Proof The case when / = {1,2} is a standard exercise (see, e.g., Bourbaki,
1966, p. 142, whose proof is a technical but straightforward covering argu
ment). It is then an elementary induction argument to extend to any finite set
I. When / is infinite, if pr^ denotes the ith projection on then
prj(G) = y; for all but finitely many values of i. Hence, in all but these finitely
many coordinates we may take Gy = Y^, The problem is now reduced to the
finite case. □
7.3.14 Theorem
With the notation of Theorem 7.3.12, let {/ : / e / } be a family of correspon
dences such that each f is compact-valued in Y^ and upper semicontinuous. I f f is
defined as in Theorem 7.3.12, then f is upper semicontinuous with respect to the
product topology on Y.
This is a short section dealing with the following question. If X and 7 are
topological spaces and if / is a correspondence from X to 7, what can be said
about the image f^(A ) (see Section 1.1.2) of a subset ^ in A" if is either
compact or connected and / is continuous in one of the several senses we have
defined?
90 Continuity
7A.1 Theorem
I f Y is a regular topological space and f is a closed-valued correspondence which is
upper semicontinuous, then the image f^ (K ) of a compact subset K of X is closed.
7A.2 Theorem
I f Y is a topological space and if f is a compact-valued correspondence from X to
Y which is upper semicontinuous, then the image f^{K ) of a compact subset K of
X is compact.
Proof The proof is identical to that of Theorem 7.4.1 except that we use
Proposition 2.3.2. □
7.4.3 Remark
In Theorems 7.4.1 and 7.4.2 we may, obviously, replace upper semicontinuity
by continuity. Also, if y is a metric space, we may replace upper semicontinu
ity in Theorem 7.4.2 by Hausdorff continuity since these topologies coincide on
7.4.4 Theorem
I f X and Y are topological spaces and if f is a connected-valued correspondence
from X to Y which is either upper or lower semicontinuous, then the image of a
connected subset of X is connected.
Proof Again, the proof is the same as that for Theorem 7.4.1 but it now
makes use of Proposition 2.4.1 or 2.4.2. □
7.4.5 Remark
In the case when / is continuous, we can use Theorem 2.4.3 to obtain a similar
theorem but now, instead of requiring f { x ) to be connected for all x in the
connected subset C of X, we would only require f { x ) connected for some x
in C.
There are two theorems, both given by Hildenbrand (1974), which are im
portant because they are of the type under which semicontinuity implies
continuity. They both require some special conditions and so we place them
together in this separate section.
7.5 Conditions under which Sem icontinuity Im plies Continuity 91
The first shows that under certain, rather stringent, conditions a lower
semicontinuous correspondence is also upper semicontinuous. In some respects
it is a relative of Theorem 7.1.16 and so might equally well have been placed at
the end of Section 7.1.
The second is rather different in style in that it shows that under certain
conditions an upper semicontinuous correspondence is ‘‘almost” lower semi
continuous “ almost” everywhere. There is a different way of looking at this
second theorem. It is well known that a real-valued function of a real variable
is continuous on a set. One way to prove this is to consider the “oscillation”
of the function at each point, the function is continuous at Xq if and only if the
oscillation at jcq is zero. The set of such points is the intersection of those sets
where the oscillation is less than 1 / n and the proof is completed by showing
that each of these sets is open. Theorem 7.5.3 can be thought of as an analogue
of this.
As we said above, this section relies on the work of Hildenbrand (1974) and
the proofs given here are due to him.
7.5.1 Theorem
Let X be a metric space and let f be a correspondence from X to {with the
usual topology) such that for each x , f ( x ) is compact and arcwise connected. [In
particular, f { x ) could be convex.] I f f is both lower semicontinuous and closed,
then f is continuous.
7.5.2 Definition
If A" is a metric space and if / is a correspondence from X io Y and ii A e X,
the oscillation of / over A, z>{f. A) is defined by ^ { f , A ) = sup{8(f{ai).
92 Continuity
7.5.5 Theorem
Let X be a metric space and let Y be a totally bounded metric space. Let f be a
compact-valued, upper hemicontinuous correspondence from X to Y. Then, for
each e > 0, Q (/, e) is a dense, open subset of X. Consequently, the set of points at
which f is {Hausdorff) continuous is a set.
(2) 5 „(/(x „), /(x „+ i)) = 5 ,(/(^ „ + i), f{x„)) > a„.
Now, because F is a finite set, it has only finitely many different subsets.
This means that F„ = F„ for two different integers m and n. Finally,
< (f(x„), F„) + S(F„, /(x „ )) < a j/2 + a i/2 =
8 which
contradicts (3). Thus we must have Q (/, e) dense in X □
7.7 EXERCISES
Selections and
Fixed-Point Theorems
In this chapter we come to some of the most important theorems in the subject
—important both from the mathematical point of view and from the point of
view of apphcations. This chapter, then, marks the transition from the prepara
tory work to being able to achieve some of the goals of the subject.
The concept of a selection was first systematically studied by Michael
(1956a, 1956b, 1956c) but it is, of course, related to other fundamental notions
which originate much earlier. In its simplest form, the existence of a selection is
the axiom of choice: on a set / there is a correspondence which assigns to each
/ in / a nonempty set ^4(0 and one asks for a function <i>defined on I such that
</)(/) e ^(z) for all i. The status of this proposition as an independent axiom of
set theory is well known and in this form we have used it and will continue to
do so without exphcit mention. When more mathematical structure is present,
one asks for extra conditions on the choice function. In the present topological
situation we look for continuous choice functions. In this chapter that is what
is understood by the word selection', we shall not repeat the adjective continu
ous. In a later chapter we will be concerned with measurable choice functions
and there the term measurable selection will not imply continuity.
There are two places where the existence of a selection is immediately
useful. The first is to estabhsh the existence of a continuous inverse function: if
<f)is a function from Y to X, then any selection a for / = <l>* is a right inverse of
<l>in the sense that <i><>a is the identity on X. The second is to establish the
existence of a continuous extension. Let X^ a X and let <i> be a continuous
function from Xi to Y. Then one may readily extend <i>to a correspondence /
from to y by / ( x ) = <l>(x) if X G and f { x ) = 7 if x g X \ X ^ . Any
selection for / is a continuous extension of <f> to the whole of X. These
consequences suffice to show that the existence of a selection is not a trivial
problem.
95
96 Selections and Fixed-Point Theorems
8.1 SELECTIONS
In this section we present two theorems (together with corollaries and addi
tional remarks). The first, though not quite stated in this form, is due to
Browder (1968); it is relatively straightforward and needs a minimal amount of
preliminary material. It does, however, well-motivate the second, due to
Michael (1956a, 1956c) and shows that the setting of paracompactness which
Michael uses is the “ right” one.
8.1.1 Definition
Let A" be a topological space and let { e / } be a cover of X by open sets.
Then a partition of unity subordinate to the cover (G^} is a family of continuous
real-valued functions <l>^ from X to [0,1] such that <f>i(x) = 0 for all x in X \ G,
and such that, for all x, E/e/<i>/(^) = 1 -
8.1.2 Lemma
Let X be normal and let ( G^, G2, . .., G„ } be a finite open cover of X, Then there
exists a partition of unity subordinate to this cover.
8.1.6 Definition
A topological space is said to be paracompact if it is Hausdorff and if every
open cover has a locally finite open refinement.
8.1.7 Lemma
I f {Gi \ i ^ I ] is a locally finite open cover for a normal space X, then there
exists a partition of unity subordinate to it.
8.1.8 Theorem
Let X be a paracompact space and let f be a correspondence from X to a Banach
space Y whose values are closed and convex. Suppose, further, that f is lower
semicontinuous. Then f has a selection.
Proof We first show that for each positive real number )8, there exists a
continuous function <i>^ from X io Y such that ^^(x) e )8 + /( x ) for each x in
X (here we use the additive notation of Chapter 4). The desired selection will
then be constructed as a hmit of a suitable sequence of such functions.
For each>^ E: Y ,\ q\ Uy = f^{B{y, p)). Then, since / i s lower semicontinu
ous and B(y, is open in Y, Uy is open in X. Also, each x is in some Uy so
that the family {Uy'. y ^ Y} is an open cover of X. Since X is paracompact,
there is a locally finite refinement : z g / } which, by Lemma 8.1.7, has a
partition of unity {TTy: / G / } subordinate to it.
Let <i>^ be defined by <#>^(x) = E ,e/^ /(^ )7 (0 where >^(/) is chosen in such a
way that c for each i (this is possible because the family {G,} is a
refinement of the family {t^}).
Since, for each x, there is a neighbourhood which intersects only finitely
many of the sets G^, <i>^(x) is a sum of only finitely many nonzero continuous
functions. Hence <i>^ is continuous at each point and is therefore a continuous
function from X to Y.
Now, as in the proof of Theorem 8.1.3, <l>^ is a convex combination of those
points>^(z) for which is nonzero. But 7Ty(x) # 0 only if x g G( z) c
Thus /( x ) n B(y(i), j8) ^ 0 and so y(i) ^ + /(x ). Thus, is a convex
linear combination of those points y(i) which he in the convex set )8 + /( x )
and so is also in that set as required.
Next we construct a sequence of such functions (¡>^ to satisfy the following
two conditions:
(i)
(ii) 4>i(x) 2 - '+ / ( x ) , i = 1 ,2 ,3 ,....
For <Pi we take the function already constructed with /3 = 2~^. Suppose that
<i>i,<i>2,...,<i)„ have already been constructed. Let /„+i(^) = /( x ) n (2“ ” +
<f>„(x)). Then, since <f>„(x) satisfies condition (ii), f„+i(x) is nonempty and,
being the intersection of two convex sets, is convex. Moreover,/„^.i(x) is lower
8.2 Fixed-Point Theorems 99
i G N), Now (i) states that ||<i)„+i(x) - ^„(x)|| < 2“ "“^^ for all n and all x.
Therefore sup^^;^l|<i)^(x) - </>„(x)|| < 2“ "'^^ for all «, m with m > n. Thus the
sequence (<i>^: / g A/^) is a Cauchy sequence in the space of 7-valued continu
ous functions on X equipped with the uniform norm and so converges (7 is
complete) to a continuous function (¡> from X to 7. Since (ii) states that
l|<i)„(x)-/(x)l| < 2 ~” for all n, it follows that the limit function <#> has the
property that <j>(x) g / ( x ) for all n. Finally we make use of the assumption
that / is closed-valued to complete the proof. □
8.1.9 Remark
Michael has shown that the existence of such selections is equivalent to
paracompactness in the following sense: if A" is a topological space with the
property that every correspondence from A" to a Banach space 7 whose values
are closed and convex has a selection, then X is necessarily paracompact. It is
also the case that lower semicontinuity is necessary for the existence (in a
rather strong sense) of selections; see Parthasarathy (1972) and Exercise 8.4.10.
8.1.10 Corollary
Let X and Y be Banach spaces and let \l/ be a continuous linear function from Y
onto X\ then there exists a continuous function from X to Y {not usually linear)
such that x// o is the identity on X.
As was said in the introduction, there are a variety of types of theorems which
are all labelled “ fixed-point theorems” for correspondences. For any of these
fixed-point theorems it is, of course, necessary that the correspondence map a
set X into the subsets of itself. In this case, we speak of a correspondence on X,
100 Selections and Fixed-Point Theorems
8.2.1 Theorem
I f X is a compact topological space and if f is a closed-valued^ upper semicontinu-
ous correspondence on Xy then there exists a nonempty compact subset C of X
such that f^(C ) = C.
The next type of fixed-point theorem is the one which asserts the existence
of a point Xq such that Xq g / ( xq). The first one of this type which we present
is due to Browder (1968) and is a corollary of Theorem 8.1.3. Like Theorem
8.1.3, we give it to motivate the arguments used in the subsequent theorems.
8.2.2 Theorem
Let K be a compacty convex subset of a topological vector space Y and let f be a
convex-valued correspondence on K. Suppose also that for each y in Ky f ' ^ d y ] )
is a relatively open subset of K\ then f has a fixed point Xq [/.e., Xq e / ( xq)].
The next theorem is the one which is most widely used in apphcations and is
due to Kakutani (1941). The pattern of proof is similar to that of Theorem
8.2.2. We use Michael’s selection theorem to obtain a function to which we
may apply one of the well-known fixed-point theorems. This means that we
need a lower semicontinuous correspondence. Kakutani’s theorem is usually
stated with the condition that the correspondence / be upper semicontinuous
and closed-valued. However, since we are also deahng with a compact set Ky
8.2 Fixed-Point Theorems 101
Theorems 7.1.15 and 7.1.16 show that upper semicontinuity and the closed
valued property are equivalent to having a closed graph. It seems that this
condition is somewhat easier to state and check so that that is the one we use.
In order to make the switch from closed to lower semicontinuous, we begin
with the following lemma; this lemma and this proof of Kakutani’s theorem
are due to Celina (1969) and may also be found in Hildenbrand and Kirman
(1976).
8.2.3 Lemma
Let X and Y be compact subsets of a finite-dimensional normed linear space
say) and let f be a convex-valued correspondence from X to Y which has a closed
graph. Then, given > 0, there exists a lower semicontinuous, convex-valued
correspondence g from X to Y such that Grg c + Grf.
Proof Consider first the new correspondences g ' defined for all e > 0 by
To see that g ' is lower semicontinuous, consider an open set G with g '(^) ^ G
# 0 . Then there exists x ' in X with ||x' —x|| < e and /( x ') n G 0 . If tj is
sufficiently small (17 < e - ||x' - x||) and if ||xo - x|| < 77, then ||x' - XqH< e
and so g'(^o) n G ^ 0 because /( x ') c g'(^o)- follows from Theorem
7.3.17 that gg = COg' is also lower semicontinuous. Then g^ is certainly
convex-valued so that the proof is finished by showing that Gr g^ c ^ -h G r /if
e is sufficiently small. Suppose this is not so, that is, for some > 0 and all
natural numbers n, Grg^^^ ^ Gxf. Then there exists a sequence
iix„, y„):n ^ N ) m X x Y such that (x„, y„) e G rgi/„ but d{{x„, y„),Gxf)
> ys. To say that {x„, y„) e G rgi/„ means thaty„ = with A„ , >
0, Er=V^n,/ = 1 and y„ i e /(x^ ,) where \\x'„j - x„|| < \ / n . In order to have
each sum over the same set of natural numbers ( l , 2,...,m + 1 }, we have
used a well-known result of Caratheodory which states that if, in y„ is a
convex linear combination of certain points, it can always be expressed as a
convex linear combination of at most m + 1 of these points. This is the only
place where finite-dimensionality is used, but it is crucial in the next part of the
proof.
Since X and Y are compact and g [0,1] we assume (pass to a subse
quence if necessary) that all the above sequences converge; that is, x„ -> x,
yn y^ '^n.i ^i^yn.i yi’ and x'„j x'. However, since \\x'„j - x„|l < 1/«,
x ' = X . We also have that = 1 andy„ = ^ = y-
Now (x'_„ y„j) e G r/a n d so (x(, y¡) = (x, g G rJ = Grf. Thusy,. g / ( x )
and, since /( x ) is convex, y ^ f ( x )—that is, (x, 7 ) e G r/. But since
d((x^, y„),Gxf) > P for all n this is impossible. This contradiction completes
the proof. □ ~
102 Selections and Fixed-Point Theorems
8.2.4 Corollary
In Lemma 8.2.3 we may take g to be closed-valued also.
8.2.5 Theorem
Let K be a nonempty, compact, convex subset of some finite-dimensional space
jR"* and let f be a convex-valued correspondence on K which has a closed graph.
Then f has a fixed point.
Proof By Lemma 8.2.3 and Corollary 8.2.4, for each natural number n
there exists a lower semicontinuous correspondence g„ on K such that Gr g„ c
n~^ + G r/ and g„ has values which are closed and convex. Then, by Theorem
8.1.8, there is a selection a„ for g„. The function is a continuous mapping of
K into itself and so, by the Brouwer fixed-point theorem, there exists x„ ^ K
with o^(x^) = x^. The compactness of K means that the sequence (x„: n e N)
has a limit point x. Since (x„, x„) e Grg„ c + G r/, it follows that
(x, x) G G r / = G r/. Thus X e /( x ) and the proof is complete. □
8.2.6 Theorem
Let K) be a family of compact convex sets {each in some Banach space
Y^) and let X = For each X, let f^ be a closed and convex-valued, lower
semicontinuous correspondence from X to X^. Then there exists x in X such that
pr^{x) G /x(x) for each X.
8.2.7 Remark
There is clearly the possibility of some variation in the conditions of this
theorem. One may use Theorem 8.1.3 rather than 8.1.8; or, with the assump
tion of a closed graph for each /x, it is possible to use Corollary 8.2.4 again in
order to approximate each /x by a lower semicontinuous correspondence.
Finally, in this section, we give three examples from the large family of
fixed-point theorems which follow the general pattern of Banach’s contraction
8.2 Fixed-Point Theorems 103
8.2.8 Definition
If / is a correspondence on a set X, an orbit (9(x) for / at x is a sequence
(x„ \ n Ei N ) such that x„ e /(x „_ i) for « = 1 ,2 ,3 ,..., and Xq = x.
If (X, d) is a metric space, a correspondence f is said to be contractive if
5 (/(x ), /(x ')) < d{x, x') for all x, x ' in X with x x'.
If ( ¿/) is a metric space, the orbit 6?(x) for / at x is said to be contractive
if and S (/(^«X /U «+ i)) for
all n.
8.2.9 Theorem
Let (X, d) be a metric space and let f be a contractive, closed-valued correspon
dence on X. I f there is a contractive orbit &{x) for f with the property that &{x)
has a subsequence (x„ : i e N ) such that both (x„ ) and (x„ +i) converge, then f
has a fixed point.
ad(x„ , +/). Furthermore, using the first part of the condition for a contrac
tive orbit, d(x„^^^, + ^ < < ^(^„,+1, ^„,+2)*
Combining these inequalities, we get d(x„,^^, ^/z,+i +i) ^ ^w,+i) for all
i > r. Iterating this inequality, one obtains +1) < a:^“ y(x„ , +1)
for all j > i > r.
In particular, d(x„ , +1) < a-'“ 'i/(x„ , +1) for all J > r. Lettingy -» 00,
we get that d(x„ , 0 which is a contradiction of (*). This establishes
that Jo = yi and hence that J q ^ f(yo)-
8.2.10 Corollary
I f f is a closed-valued, contractive correspondence on a compact metric space X,
then f has a fixed point.
8.2.11 Remark
It is interesting that if / is a closed-valued contractive correspondence on a
metric space, then / need be neither upper nor lower semicontinuous. Also, /
need not have a continuous selection. Thus the method of proof via a selection
argument fails. However, if / is a compact-valued, contractive correspondence,
then / is upper semicontinuous.
8.2.12 Theorem
Let { X, d ) be a complete metric space which satisfies the following convexity
condition: for each x, y in A", x ¥= j , there exists z in X (z ¥= x, z y) such that
d(x, y) = d(x, z) + d(z, y). Let F G AT) and let f b e a correspondence from
F to X which satisfies the Lipschitz condition 8 ( f ( x ) , f ( y ) ) < ad(x, y) for some
a < 1 and whose values are closed and bounded. I f also f ( x ) c z F for each x in
the boundary of F, then f has a fixed point in F.
For the definition of uniform convexity which is used in the next theorem
due to Lim (1974), we refer the reader to Dunford and Schwartz (1958, p. 74).
8.2.13 Theorem
Let Y be a uniformly convex Banach space and let X be a closed, convex,
nonempty bounded subset of Y. Let f be a nonexpansive {i.e., 8{f{x), f ( y) ) <
d(x, y)] compact-valued correspondence on X. Then f has a fixed point.
Though this chapter is shorter than some of the preceding ones and has the
fewest number of sections, the great majority of the papers on correspondences
in the mathematical hterature are concerned with the topics presented here,
especially with the question of the existence of fixed points. Obviously, in such
a small number of pages we have only presented a small sample of the
theorems available.
The question of continuous selection has been explored most extensively by
Michael beginning with the paper “ Continuous Selections I” (1956a) and
continuing with a series of papers (1956b, 1956c, 1970). The paper “ Selected
Selection Theorems” (1956c) gives a very readable summary of the main results
of the earlier two. The book by Parthasarathy (1972) is a good survey of the
present literature. The work of Celina is somewhat different in that he does not
demand that the functions be selections, only that they be close (in some sense)
to the correspondence. This also seems to give a very fruitful approach to the
study of fixed points; (for this view, see Cehna, 1969,1970,1971). Sion (1960a)
uses the term uniformization to mean a selection but here, as in a great deal of
other literature on selections, the emphasis is on measurability and not on
continuity. Some of this literature will, therefore, be surveyed in Part III.
Theorem 8.2.1 is found in Berge (1963) and is due to Strother (1955b).
In the theory of fixed points, there are three main branches in the literature.
The first uses some linear structure, especially convex sets, and is closely
connected with the fixed-point theorems of Brouwer, Schauder, and Tychonoff.
The second uses topological properties alone and obtains fixed-point theorems
in the case of “ trees,” “dendrites,” and so forth. The third uses metric
properties and obtains fixed-point theorems for contractive correspondences
allied to the Banach contraction mapping principle. We deal with these in turn.
The first fixed-point theorem for correspondences is due to von Neumann
(1937) and can be found in the book by von Neumann and Morgenstem
(1947). This fact clearly shows the origins of the problem in economic theory.
The next in historical sequence is that of Kakutani (1941) (Theorem 8.2.5
above) and Kakutani again refers to von Neumann and economic theory. A
generalization of Kakutani’s theorem but using much more machinery from
algebraic topology is that of Eilenberg and Montgomery (1946). While
Kakutani’s theorem is a generahzation of the Brouwer fixed-point theorem, the
generalization of the Schauder fixed-point theorem to correspondences was
proved by Bohnenblust and KarUn (1950) and by Ghcksberg (1952). The
106 Selections and Fixed-Point Theorems
begins, of course, with von Neumann. The work of Celina (1970, 1971) was
largely motivated by work in differential equations and many of Browder’s
papers also have applications to partial differential equations. The paper by
Wehausen (1945) is also concerned with apphcations of this theory to ordinary
differential equations. Fuller (1961) gives an interesting survey of the subject
which concludes with two applications (one in algebraic topology and one in
ordinary differential equations).
8.4 EXERCISES
Correspondences and
Order Relations
Functions and their epigraphs are not discussed in great generality. In Remark
9.1.5 we indicate how its scope might be broadened.
9.1.1 Definition
Let <i>be a real-valued function on a set X, the correspondence epi <l>is defined
by (epi<i>)(x) = { a: < a).
109
no Correspondences and Order Relations
In this section we shall explore the relationship between <i>and epi <i>in the
case when X i s sl normed hnear space. First we recall the definition of a convex
function.
9.1.2 Definition
A real-valued function <|) on a linear space X is said to be convex if <j>(Xxi +
(1 — A)x 2) < + (1 —A)<|>(^2) ^ ^ with 0 < A
< 1.
9.1.3 Proposition
A real-valued function ^ on a linear space X is convex if and only if Gr epi <f>is a
convex set.
(1 - A)x2). The last inequality uses the convexity of <#>. Hence, (Ax^ +
(1 - A)x2, A«i + (1 - A)«2) = A(xi,ai) + (1 - A)(x2,« 2) is in the graph of
epi<i).
Conversely, if Grepi<#> is convex and if Xi, X ^ X, then (x^ <i>(xi)),
2
Recall (see, e.g.. Exercise 1.5.8) that a real-valued function is upper (respec
tively, lower) semicontinuous if it is continuous to the real fine equipped with
the lower (respectively, upper) order topology. In order to lessen the confusion
with the different concepts of semicontinuity for correspondences, in this
chapter we shall refer to the former as order-upper (respectively, -lower)
semicontinuity and abbreviate it as o-upper (respectively, o-lower) semicon
tinuity.
9.1.4 Proposition
(i) A real-valued function <f>on a topological space X is o-upper semicontinuous
if and only if epi <l>is lower semicontinuous.
(ii) Similarly, <i>is o-lower semicontinuous if and only if epi <i>is upper semicon
tinuous.
Proof (i) Let G be an open set in R and suppose Xq ^ (epi <t>)'^(G) so that
there exists a e (epi<i))(xo) n G—that is, a e G and a > ^ ( xq). Moreover,
since G is open, we may assume that a > <#>(xq). Thus <i>(xo) ^ [•, a[. Since <i>
is o-upper semicontinuous, there is an open set U containing Xq such that if
X ^ U then <f)(x) e [% a[. Hence a > <l>(x) and so a e (epi<i>)(x) O G. In
<í>” ^([% ol[) and since epi <l>is lower semicontinuous this set is open and so <i>is
o-upper semicontinuous.
(ii) The proof of this is similar. If G is open in R and Xq g (epi <¡>y(G), then
epi <I>(xq) c G And hence G must be of the form ]a, •] with a < <I>(xq). Since (p
is o-lower semicontinuous there exists an open set U with Xq ^ U such that if
X Ei U, <i)(x) > a and hence epi</)(x) c G. Conversely, (epi <i>)^(]a, •]) =
(jc: <}>(x) > a} = <J)“ ^(]a, •]) and the proof is finished as before. □
9.1.5 Remark
These properties can be generalized to a much wider situation. If the range
space of the function </> is an ordered linear space (see, e.g., Schaefer, 1966)
with positive cone K we may define convexity relative to this order (denoted by
<^) by the equation ^(Xx^ + (1 —A)^2) + (1 “ ^)<í>(^2)- Then,
since the order is compatible with the linear structure the proof of Proposition
9.1.3 remains unchanged. One needs to be more careful with the definition of
upper and lower interval topologies and, since the order relation is no longer a
total one, while the proof of Proposition 9.1.4(i) remains valid, that of 9.1.4(ii)
does not.
9.1.6 Corollary
I f a real-valued function <¡>is continuous, then epi <t>is continuous.
9.1.7 Theorem
If (p is a real-valued convex function on a finite dimensional linear space X, then
Gr epi <p is a closed convex set.
Proof It is well known (see, e.g., Roberts and Varberg, 1973) that a convex
function on a finite dimensional space is necessarily continuous. Hence, by
Corollary 9.1.6, cp i< p is continuous. Also, epi<|)(x) is closed for each jc;
therefore, by Theorem 7.1.15, G rep i^ is closed. We have already proved in
Proposition 9.1.3 that Gr epi <p is convex. □
In the previous section we began with a function ^ whose range was an ordered
space and considered the correspondence epi <p derived from it. In this section
we begin with a correspondence /whose range is also ordered in some way and
consider the function (or correspondence) obtained by selecting maximal (or
possibly minimal) elements out of each f(x). Our discussion is limited to two
main theorems which have proven to be appropriate for certain apphcations.
Both of these theorems are found in Hildenbrand (1974 pp. 28 ff), which also
contains a discussion of their application to economic theory. We continue to
use the terminology of the previous section.
112 Correspondences and Order Relations
9.2.1 Theorem
Let X and Y be topological spaces and let f be a lower semicontinuous correspon
dence from X to Y. I f ^ is an o-upper {respectively, o-lower) semicontinuous
real-valued function on X X Y, then the function defined by =
^ f{ ^ )] {respectively, the function ip {x) defined by
2 ^
sup{<l>{x, y): y ^ f{^)}) Is also o-upper {respectively, o-lower) semicontinuous.
Proof Let G = [•, a[ bea lower interval in R and let Xq e \l/i\G ), that is,
^i(^o) Then, from the definition of ipi, there exists J q in /(^o ) ^nch that
<p{xo, >^o) ^ Now since <t>is o-upper semicontinuous, there exists a basic
open set [/ X F in A" X y such that Xq ^ U, yQ ^ V, and <J>(x, y) < a for all
{x, y ) ^ U X V. Moreover, since J q e / ( xq) D V and / i s lower semicontinu
ous, there is a neighbourhood C/' of Xq such that if x ' e U', th en /(x ') n V ¥=
0 . To conclude the proof, suppose that Xj e (/ n U'. Then f(x{) D V¥= 0.
Let^^i e / ( x i ) n F so that (xj, y { ) ^ U X V. We then have <i>(xi, < a and
hence »i'i(xi) = inf{<i>(xi, y) : y ^ ^ J i) < Therefore
U D U' <z and hence is o-upper semicontinuous.
The proof that >/'2 is o-lower semicontinuous when ^ is o-lower semicontinu
ous is entirely analogous. □
9.2 Maximum Theorems 113
9.2.2 Corollary
With the notation of Theorem 9.2.1, if f is compact-valued and if<f>is continuous,
then = min{<i>{x, y ) \ y ^ /( ^ ) ) Is o-upper semicontinuous and ~
max{^(x, y): y ^ f ( ^ ) } Is o-lower semicontinuous,
9.2.3 Remark
The statement of Theorem 9.2.1 avoids the question of whether is well
defined on the whole of X or not. The proof is equally valid whether we insist
that ip is bounded below so that xpi is a well-defined real number for all x in X,
or whether we restrict the domain of to those x for which it is defined, or
whether we consider ipi to he an extended real-valued function possibly taking
the value —oo at certain points.
Before we come to the final theorem of this chapter and its corollaries, some
discussion of the situation is appropriate.
As in the preceding theorem / is a correspondence from a topological space
A"to a topological space Y. For each x the elements of f ( x ) are ordered by a
preference or priority ordering. This certainly need not be a total-order and, in
fact, does not have to be a partial order as the term was defined in Section 1.1.
The properties required are that it be transitive and nonreflexive (see Defini
tion 1.1.3). We emphasize that this order depends on x and is only defined on
f(x); we shall use the symbol < ;^ denote it. Another way of viewing this
preference relation is as a correspondence p from X to Y X Y defined by
p { x ) = { ( y , y ' ) : y <^y'}.
We also recall here the distinction between maximal elements and greatest
elements (in partially ordered and preordered sets). If (Z, < ) is an ordered set,
Zq is said to be maximal if there is no element with Zq < z^. An element Z2 is
said to be a greatest element if z < Z2 for all z e Z, z # Z2. Clearly a greatest
element is maximal but not necessarily conversely. A greatest element is
necessarily unique but there may be many maximal elements. (See also
Exercise 1.5.6.)
With this introduction, we are ready to present the next theorem.
9.2.4 Theorem
Let X and Y be topological spaces and let f be a compact-valued continuous
correspondence from X to Y, Suppose that, for each x in X, there is a transitive,
nonreflexive preference relation on f(x). Suppose further that the graph of
this preference relation is relatively open in the sense that if
Proof We first examine the connection between the relations and the
topology on f{x). Since F \ P is closed, it follows (as was remarked in Section
6.2) that for each fixed x in X, {( y\ y) e f ( x ) X f ( x ) • y' <xy) is closed in
f ( x ) X /(x ). Further, for each x in X and eachjv e /(x ), ( y ' ^ /( x ) y' <xy}
is closed. In other words, for each x ^ X and7 e /(x ), the set [•, = [ y' ^
f ( x ) : y' <^y} is open in /(x ).
Next, we show that for each x the set m(x) is nonempty. Suppose, on the
contrary, that there exists Xq with m(xQ) = 0 . For eachy e / ( xq), [% y[x^ is
open and since m(xo) = 0 , every member of / ( xq) belongs to [ \ yl^^ for
some;;. Thus, these sets form an open cover of the compact s e t/( xq). Hence
there exists a finite set { yi, yi^• • • ^yn) such that the family {[% i^
1 ,2 ,...,« } covers/( xq). N ow this finite set certainly has a maximal element
(say) and it is clear (because < ;^ is nonreflexive) that such an element is not in
[•, for all i contradicting the fact that this family is a cover.
Now m(x) = / ( x ) \ y[x since [•, y[^ is relatively open in
/(x ), it follows that m(x) is a relatively closed subset of the compact set /(x )
and hence is compact. This fact also follows from the next step where we
prove, further, that the graph of the correspondence m is closed.
Suppose that {(x„, y ^ ) : n ^ D } i s a. net in Gr m which converges to (x, y ) .
We need to show th a t;; g m ( x ) . Let z be in /(x ). For each open neighbour
hood U of z, /(x ) D U 0 and, since x„ x, it follows from Theorem 7.1.7
that / ( x „ ) n U 0 for all sufficiently large n . Now if we denote by the
directed set of all open neighbourhoods of z and let Z)' = X and use j to
denote the elements of D \ we obtain nets (x^: j g D ' ) , ( y j i j e /)'), and
{ z j : j G D ' ) as follows: for each j = ( n , U) let X j = x„ and y j = y^ and choose
Zj from the nonempty set /(x „) n U. Then X j x, y j y , and Zj z;
moreover, Zj g f{xj) and yj g m{xj). Since yj is maximal in f{xj), yj < ^,Zj.
Therefore the net ((xy, jVy, Zy): y g Z)') in X 7 X F is in the closed W
F \ P . Consequently, (x, y, z) g F \ P , that is, ;; < ^z. Since this is true for all
zin /(x ), y is maximal in /( x ) and Gxm is closed.
The proof that m is upper semicontinuous is completed by observing that
m(x) = /( x ) n m(x) and using Theorem 7.3.10(ii). □
9.2.5 Remark
Rather than assuming/is continuous everywhere, it is possible to prove that m
is upper semicontinuous at those points of X where / is continuous. (See, e.g.,
Hildenbrand, 1974).
9.2.6 Corollary
With the notation and conditions of Corollary 9.2.2, let m \ x ) — {yEi
/ ( x ) : <i>(x, y) = ^ 2(^)}* Then m' is a compact-valued, upper semicontinuous
correspondence from X to Y.
9.2 Maximum Theorems 115
Proof. Define an order on f { x ) byjy < ^y' if only if <l>(x, y) < <J>(x, y').
Then <;c is transitive and nonreflexive. Also the continuity of <l>ensures that
the graph of this relation is relatively open in the sense of Theorem 9.2.4,
which can be applied to yield the result. □
9.2.7 Corollary
With the notation and conditions of Corollary 9.2.2, the function -^ 2 continuous.
In the case when 7 is a normed linear space, it may be useful to know that
the set of maximal elements is convex. In the case of Corollary 9.2.6, it is
rather easy to give a natural sufficient condition for m '(^) to be convex.
9.2.8 Definition
A real-valued function <i> on a linear space is said to be concave if +
(1 —X)x ) > A<i>(^i) + (1 ” ^)<i>(-^2)
2 ^2 domain and all \
with 0 < \ < 1 .
9.2.9 Proposition
With the conditions and notation of Corollary 9.2.6, if X and Y are linear spaces,
if f is convex-valued and if <J) is concave on X X Y, then m \ x ) is convex for
each X.
Hence, either z > ^y^^ or z > ^y 2 contradicting the fact that both are
maximal. □
116 Correspondences and Order Relations
One of our aims in writing this book has been to make the theory of
correspondences as self-contained as possible. We have deliberately avoided, as
far as was consistent with presenting the theory, those parts which need a
considerable amount of machinery from other branches of mathematics. This,
of course, inevitably leads to substantial gaps. For example, in Section 9.1 we
only touch on the theory of partially ordered vector spaces. Those readers who
wish to read the background material for a study of the theory of correspon
dences in such spaces are referred to the books by Jameson (1970), Peressini
(1967), and Schaefer (1966).
The two main theorems of Section 9.2 can be found in Hildenbrand (1974
pp. 28 ff). Similar results are given by Berge (1963) and Debreu (1959).
9.4 EXERCISES
9.4.1 Let c be the real linear space of all convergent sequences. Let K =
{x = d i, ¿2. Is»---) ^ c: > 0, i = 1 ,2,3,...}. Show that the rela
tion <fr defined by x <fry if and only if y - x e A' is a partial order
on c. Show also that x </^y, z e e , imply x + z <fry + z and x < ^ 7,
a > 0, imply ax <Kay. Finally show that this relation is “antisymmet
ric,” that is, X <f^y and y <j^x together imply x = y,
9.4.2 Let a: = (x = (¿1, ¿2»-- • »1«) ^ with ¿, > 0 and ly = 0,
1 < y < /}. Show that K is convex and that the order induced by K (in
the same way as in Exercise 9.4.1) has the properties listed in Exercise
9.4.1.
9.4.3 Show that the cone K in Exercise 9.4.1 is closed in the usual sup norm
topology on c and hence that if x„ < x„ x ,y „ ^ y, then x <j^y.
Show that the cone K in Exercise 9.4.2 does not have this property (for
the usual topology on A"). The order is said to be normal (with respect
to the norm topology) if there is a constant y such that 0 < x <
implies ||x|| < y||7 ||. Show that K in Exercise 9.4.1 gives a normal order
and that in Exercise 9.4.2 it does not.
9.4.4 Let A" = (x = (li, ¿2»I 3 ) ^ • 1/ > 0, / = 1,2,3). Let <i>i, <f>2 be de
fined on E? by <|)i(x) = X, <l>(x) = 2x. With the order
2 defined as
in Exercise 9.4.1, describe epi <i>i. Let / be the correspondence from A
to defined by /( x ) = { y ^ R ^ : <j>i(x) <f.y < k <1>2(^)- Show th at/
is compact and convex-valued and describe the image sets /( x ) geo
metrically.
9.4.5 With the notation of Exercise 9.4.1, let / be the correspondence from
[0, 1 ] to c (with the supremum norm) defined by f ( t ) = { x =
(li, ^ ^ ^ 0 - Show that / is con
9.4 Exercises 117
Applications:
Mathematical Economics I I
118
10.1 Individual Demand: Continuity 119
10.1.1 Definition
Let the price system p prevail, and consider the agent a ^ A characterized
by the triple { X{ a\ vv(«)) in g X The budget set and the demand set
of ¿2 at /7 are defined by b{X{a), w{a\ /?) = (x e X{a): p • x < w(iz)},
and d{X{a), w {a\ p ) = ( z e b{ X{ a\ w {a\ p) : there is no x g
b{ X{ a\ w(a), p) such that x respectively.
120 Applications: Mathematical Economics II
10.1.2 Remark
The consumption set correspondence X from Q to is closed and lower
hemicontinuous. Note also that since Theorem 5.2.1(i) says that Q is compact
and metrizable, for closed-valued correspondences lower (respectively, upper)
hemicontinuity coincides with lower (respectively, upper) semicontinuity—see
Theorem 7.1.14.
I0.L3 Theorem
Assume that for every p ^ P, inf^^xP ’ ^ everywhere on Q X R X P. Then
(i) the budget set relation b from Q X R X P to is a continuous correspon
dence',
(ii) the demand relation d from Q X R X P to R^is a compact-valued and upper
hemicontinuous correspondence.
10Л.4 Remark
The assumption ini^^xP ' x < wis crucial in the proof of Theorem 10.1.3. It is
easy to show a discontinuity for b when ini^^xP ’ x = w.
of the general formulation of Section 10.1 the assignment {a, p)\-^ d{a, p)
designates here a demand correspondence for a fixed preference-indifference
relation in g. As a consequence, we do not need in this section to refer to
any particular topology on g.
For price systems p ^ P wc define the total demand correspondence by
t{p) = the total excess demand correspondence by e{p) =
Kp)-{r).
10.2,1 Definition
A Walras or competitive equilibrium for a finite economy ê is an allocation <i>
and a price system p such that
10.2.2 Proposition
Let S be a pure exchange economy from A to Q X as described in the
preceding paragraphs, and assume p ^ P. Let a ^ A. Then
(i) the demand set d{a, p) is nonempty, compact, and convex;
(ii) the demand correspondence d{a,*) is homogeneous of degree zero in prices
— that is, d{a, p) = d{a, Xp) for \ > 0;
(iii) the demand correspondence d{a,*) is upper hemicontinuous;
(iv) let (p/^: k ^ N ) be a sequence of prices in P which converges to p ^ P \P ,
and let ||x|l denote the norm Ef=i|x,|. Then, if p • i{a)> 0 it follows
m/{l|x|l ^ R \ X ^ d{a, p^)] ^ ^ 00— that is, demand tends to infinity.
Proof The proofs of statements (i) and (ii) are easy and left as exercises,
(iii) We give a proof independently of Theorem 10.1.3. We show that for
every sequence (/?„:« g A/') of price vectors {p^^,... ,p^^) = p^ converging to
p ^ P, and for commodity bundles (x:„i,... ,x„^) = g d{a, p„), there exists
a subsequence of (x„ : n ^ N ) with limit in d(a, p).
124 Applications: Mathematical Economics II
10.2.3 Proposition
Let S be the pure exchange economy from A to Q X of Proposition 10.2.2, and
assume r 0. Let p ^ P, Then
(i) the total demand correspondence t is homogeneous of degree zero— that is,
t(p) = t { \ p ) f o r \ > 0;
(ii) for every x e t(p) one has p • x = p • r\
(iii) the correspondence t is compact-valued, convex-valued, and upper hemi-
continuous; _
(iv) let (pi^: k ^ N ) be a sequence of prices in P which converges to p ^ P \ P ,
Then m/{l|A:|| ^ R :x ^ KPn)} n ^ d e m a n d tends to
infinity.
10.2.4 Corollary
Let S'be the pure exchange economy from A to Q X of Proposition 10.2.2, and
assume r » 0. Let p ^ P, Then
(i) the total excess demand correspondence e is homogeneous of degree
zero— that is, e(p) = e(Xp) for \ > 0;
(ii) for every z ^ e(p) one has /? • z = 0;
(iii) the correspondence e is bounded from below, compact-valued, convex
valued, and upper hemicontinuous;
(iv) let {pi^\ k G N ) be a sequence of prices in P which converges to p ^ P \P .
Then the sequence {zj^ ^ e{pjf) \ k ^ N) is unbounded.
10.2.5 Lemma
Let g be a convex-valued correspondence from a closed convex subset S of P to
satisfying the following conditions: (i) there exists a bounded subset B of R^such
that g{p) c. B for every p ^ S and (ii) for every p ^ S and for every z g g(p),
P z < 0. Then there exist p* ^ S and z* g g(p*) such that p • z* < 0 for every
P E 5.
Proof We may assume that the bounding set B of (i) is convex. Consider
the correspondence / from ^ to 5 defined by f { z ) = { p ^ S: p • z =
max^es^ • z }. We may invoke Theorem 9.2.4 to claim that/ is compact-valued
and upper hemicontinuous on B and hence has a closed graph. Furthermore, /
can be shown to be convex-valued.
Define next a correspondence h from the Cartesian product S X B io itself
by the assignment {p, z)|-> h{p, z) = / ( z ) X g{p). It is clear that h inherits
the relevant properties of the coordinate correspondences / and g, namely it is
compact-valued, convex-valued, and has a closed graph. Hence, by Kakutani’s
fixed-point theorem (8.2.5) it has a fixed point (/?*, z*) ^ h { p * , z*) where
p* G /(z * ) and z* G g{p*).
By definition of the correspondence / , /?* g / ( z*) imphes p • z* < p* • z*.
By assumption (ii) above, z* g g(;?*) implies /? • z* < 0 for all p ^ S. This
completes the proof of the lemma. □
10.2.6 Theorem
Let S be the finite pure exchange economy from A to Q X of Proposition
10.2.2 and assume r » 0. Then S' has a Walras equilibrium p*) with
p* G P.
It should be noted that what Theorem 10.2.6 states is simply that S has a
competitive equilibrium; that is, that there exists an allocation <l>* = (<l>*(a):
a E: A) and a price p* g P for which excess demand is zero in each market. It
does not explain, on the other hand, how such an equilibrium may come about.
Theorem 10.1.3 puts together two propositions from Hildenbrand (1974 pp. 99
fT), but adapted here in a less general formulation than in the original. Debreu
(1969) proved the upper hemicontinuity of the demand correspondence in a
framework where the set of preferences is endowed with the topology induced
by the HausdorfT metric. So far as we know, a similar result using the coarser
topology of closed convergence was first estabhshed by Hildenbrand (1970a).
For an earher result on upper hemicontinuity where the demand correspon
dences depend on prices and wealth only—preferences are kept fixed—the
reader is referred to Debreu (1959). Demand correspondences without the
assumption of transitivity of preferences are the subject of a pioneer paper by
Sonnenschein (1971).
The theory of general economic equilibrium and, in particular, equihbrium
existence theorems, have a most distinguished place in the development of
10.3 Notes and Remarks 127
M easurable
Correspondences
Chapter Eleven
Introduction
The first two parts of this book have been devoted to topology. The topological
theory of “ hyperspaces,” interesting in itself but also important as a frame
work for the study of correspondences, has been the subject of Part I.
Correspondences are, of course, the central object of investigation of this book.
This is the reason why, after having given the theory of “ hyperspaces” the
place it deserves due to its foundational nature, we looked in Part II at
correspondences from a topological point of view.
In Part III we shall continue to regard the study of correspondences as our
main concern. However, our point of view will be different: measure theoreti
cal instead of topological. The object is the same, but the glass through which
we observe it is different.
It could, perhaps, be said that Part II included two central topics: the first
was the characterization of the notions of continuity for correspondences; the
other was the problem of the existence of continuous selections. As we shall
soon see. Part III offers a certain parallel to the preceding part. Our main
topics are the characterization of the notions of measurabihty for correspon
dences and the problem of the existence of measurable selections. Further
more, the study of these two subjects constitutes the stepping stone for the
theory of integration of correspondences to be developed in Part IV.
We use this section to introduce the measure theoretical notation and terminol
ogy to which we shall adhere throughout the book.
We do not intend to survey standard measure theory. The reader is assumed
to possess a basic knowledge of the abstract theory at the level of, say, Royden
(1968, Part Three). However, most references in this book relate to Halmos
(1950) and Dunford and Schwartz (1958). Occasionally, some use is
131
132 Introduction
1L2.I Theorem
Let {X, s / ) be a measurable space, and let p be a finite atomless measure on
with values in a real finite-dimensional normed vector space Y, Then the set
{fi(A) ^ Y: A is closed and convex.
The basic literature on measure theory is, of course, very extensive. Most
references in this book are made to Halmos (1950), Dinculeanu (1967), and
Dunford and Schwartz (1958). The latter work is also the indispensable source
of function-analytic concepts. For readers of French, we recommend Marie
(1974) as a very comprehensive and detailed treatment of measure and
integration theory. It not only covers the abstract theory, but it also gives a
most satisfactory introduction to the Daniell approach and the theory of
Radon measures.
For Lyapunov’s theorem, see Lyapunov (1940), Halmos (1948), and
Lindenstrauss (1966). Generalizations and applications can be found in
Arbib (1966), Chemoff(1951), and Halkin (1962, 1964, 1965).
11.4 EXERCISES
11.4.1 Prove: If {X, s/), (7, ^ ) , and (Z, ^ ) are measurable spaces, and if
<i): A" -> 7 and \p: Y Z are j^^measurable and ^-measurable map
pings, respectively, then ip <
><l>: X Z is an js^measurable mapping.
134 Introduction
It has been suggested more than once in the hterature that for the theory of
integration of correspondences the proper class of objects to be considered is
that of correspondences with analytic or Sushn graphs. The main reason for
this may be found in the central role which is played in the context of
integration theory by the selection theorem. This theorem will be discussed in
Chapter 14. There is, however, at least one other instance where the notion of
analyticity appears to be crucial in the study of correspondences. This is in
connection with a classic projection theorem—which we will discuss in Section
12.3—whose pivotal role in the theory of measurable correspondences will
become evident in Chapter 13.
The points raised above seem important enough to justify the inclusion of
this chapter on Sushn sets in a book on correspondences. However, the reader
who is wilhng to accept some important results without getting involved in a
discussion of their foundation may omit this chapter without too serious
consequences. Or, better, the reader may decide to skip the chapter on a first
reading of the book and return to it later.
In Section 12.1 we explain the Sushn operation and discuss two characteri
zations of Sushn sets. The main result of Section 12.2 is the projection theorem
for Sushn sets. Section 12.3 deals with the projection theorem for measurable
sets mentioned above. Finally, Section 12.4 introduces the notion of Choquet
capacity and shows that Sushn sets are capacitable.
135
136 Suslin Sets, Projections, and Capacities
tions (5), finite unions (s), and countable unions (a), respectively. The
symbols and so on, will denote the classes obtained by the
successive application of the indicated operations in the obvious (left to right)
order. Note that and so forth.
When ^ is a class of subsets of X and ^ is a class of subsets of Y, we denote
by X ^ the class of all sets of the form A y . B where A belongs to ^ and B
belongs to We may, of course, apply the operations s, a, a5, and so on, to
the class SCY'W and obtain the resulting classes denoted by ^ )j, ( ^ x
and so on. In general, these will be different from X and so
forth, as can be seen by taking, for example, X = Y = R and letting both ^
and be the class of all intervals.
In order not to be continually using the phrase “a class of subsets of,” we
shall refer to a class 3Cof subsets of a set A' as a paving on X if it satisfies the
mild conditions that 0 e and X The pair ( X , ^ ) will then be called a
paved set.
Let {Xj\ j e / ) be a family of sets. We recall that the disjoint union of the
family is the union of the family ( X j X {J}: j ^ J). Formally we write
U °^y= U ^ , X { y } .
j ^J J^J
12, L I Definition
Let {X, 3^) be a paved set. The paving ^ is said to be semicompact if every
countable subclass of .^has the finite intersection property; that is, if for every
sequence {Aj^\ k ^ N ) of elements of 0 for each r ^ N
together imply that
12,1,2 Proposition
Let ^ be a semicompact paving on a set X. Then the pavings and are
semicompact.
Proof. The proof for is trivial and is omitted. Let (5^: e A^) be a
sequence of elements of and suppose 0 for each r. Then each
is of the form Bj^ = with^^ ^ e Now since ^ 0 , we
may choose z^(r) with 1 < /^(r) < such that ^ 0 . However,
12.1 The Suslin Operation and Suslin Sets 137
since for each r, there is only a finite choice for at least one index must
be chosen infinitely often; for these infinitely many values of r there is only a
finite choice for and so at least one of these must be chosen infinitely
often; and so on. Thus we may suppose that i^ir) is independent of r for each
k\ that is, # 0 for every r. Consequently, ^ 0 and, a
fortiori, 0. □
12.1.3 Proposition
L e t (^X j : J^ J ) be a family of paved sets with semicompact pavings SCj. Then the
product paving Ylj^jSCj and sum paving VJj^jSCj are both semicompact.
Proof We leave the property for Ylj^jSCj as an exercise and prove the
case of yjJ^jSCj.
Let S be the paving on which consists of the whole set and those
subsets of the form VJJ^jAj with Aj ^ 0 for all indices except one. It is
evident that if a countable subset of has the finite intersection property then
each member must have its nonempty entry in the same coordinate j. Thus by
the semicompactness of SCj, S is semicompact. Now = S, and the
result follows from Proposition 12.1.2. □
12.1.4 Proposition
Let {X, SC) be a paved set. I f ^ is a function from X to a set Y such that for every
y in Y the paving A : A ^ SC] KJ [ X ] is semicompact; then for any
decreasing sequence (A/^ \ k E: N ) in SCone has
12.1.5 Definition
A Suslin scheme on a set is a function e from the set P of multi-indices into
the power set ^ { X ) .
138 Suslin Sets, Projections, and Capacities
12.L6 Definition
The Suslin operation on ^ { X ) is the function a from the collection of all Suslin
schemes on X to ^ { X ) defined by
«(e) = U k^N
n
We remark that, unlike P, the set is not countable. In case the other
view of a Suslin scheme prevails—that is, as an indexed family we use a
different symbol, A(*), for the Sushn operation; thus
We also observe that the above definition of a Suslin set has more form than
content for, given any P c X, we may consider the constant Suslin scheme
e(pi, ;?2>- • • ^Pk) = forp G P. Then obviously a(e) = P so that every set is a
Suslin set! The definition has more content if we now consider a paving ^ on X
and restrict our attention to those Suslin schemes with range in Then A (^)
will denote the class of all Suslin sets obtained by applying the operation A(*)
to this restricted set of Suslin schemes. Thus A (^ ) = (a(e) : e from P to
We shall call the elements of A (^ ) the ^-Suslin sets or, when no danger of
confusion arises, simply Suslin sets.
The remark made above about constant Suslin schemes still applies and it
affords the trivial proof of the following.
12.L7 Proposition
Let {X, in') be a paved set. Then A (^).
{q^N-^:q\k=p}
where q\k is the initial segment (q^, ^2’*• • P = iPi^ Pi^-^ ^Pk) ^ F. A
moment’s reflection shows that this is indeed a semicompact paving. There is a
sense in which it is used as a “ universal” semicompact paving in what follows.
12.L8 Lemma
If A = then A c Hence every Suslin set
is a subset of an set.
We observe that the last sentence of the lemma is still true if we do not
make the assumption that X ^
12.1.9 Theorem
Let {X, be a paved set such that if ^ is a topology). Then for
any subset S of X, the following statements are equivalent.
(i) S belongs to A (^); that is, S is an ^-Suslin set.
(ii) S = prxC where C (z X X and C ^ ( ^ X
(iii) There exists a set Y with a semicompact paving ^ and a set C <z X X Y,
such that S = prxC.
Proof (i) => (ii). Since 5 e A (^), 5 = A(<f), for some Sushn scheme
^ ill Consider the subset of A" X defined by
c — U f^^{pi,Pi,...,Pk) ^ ^ { p \ ^ p i ^ --^Pk)
p^№° k^N
Now set
k k
/= 1 /■—
=1
(1) C= U n£p,.x£;„.
k^N
Observe also that since ^ and ^ are closed under finite intersections,
Ep\k ^ ^5 ^p\k ^ ^ ' Therefore, if for fixed p g we define Dj^ = Ep^j^ X
Ep^!^, we have Z)^ g ^ x
It remains to show that pr;^C is a Sushn set. Since projections behave well
with respect to unions, we have from (1 )
In order to finish the proof, we apply Proposition 12.1.4 to the mapping pr;j- in
the following way. Consider the paving ^ x ^ on ATX 7. If x e for all
.<4 X S in X ^ we have
P^X^ P i — n P^X^A:
k^N k^N
12.1 The Suslin Operation and Suslin Sets 141
12.1.10 Remark
The significance of this theorem is twofold. On the one hand, it is a valuable
characterization of Suslin sets (whose definition involves an uncountable
union) as projections of o8 sets (i.e., sets obtained by countable operations).
But also, since products of semicompact pavings are semicompact, it will allow
us to handle further products rather easily.
We now come to the closure properties of the class A (^). The following
theorem asserts that A (^ ) is closed under both a and 8. Later, in Section 12.2,
we shall show that it is closed under the Suslin operator A(*).
12.1.11 Theorem
I f (X, 9^) is a paved set such that ^ then the class A (^ ) of Suslin sets is
closed under the operations of countable intersections and countable unions.
U°Q= n
k^N m^Nk^N
12.1.12 Example
Let be a fixed nonempty set and denote by W the set of all rationals between
0 and 1. A mapping which assigns to every w e IT a set c A" is called a
Lusin sieve. Alternatively, one may identify the sieve with the collection of
assigned sets and denote it by [E^]. A set ^ c A" is said to be sifted by the
sieve [E^] if it is a set of all elements x for which there exists an infinite
decreasing sequence (dependent on x) > W2 > • • • in W such that x e E^^
( a2 = 1,2,...). It will be shown that the set A may be regarded as the result of
performing the Suslin operation on the sets of [£^].
Denote by (r„ : « e TV) the sequence of all different numbers of W, and set
E^ = *, then proceed by induction as follows. Assume one has defined all
sets E, of [E^] where A: is a given integer, and «2?* • •
represents any combination of k integers. One can then set E^^ = »«a)
for a certain r/in \ n ^ N). Similarly, for a combination of A + 1 integers
( «1, «2»--*»'^A:» ^k + \ ) ^ i^n’ ^ ^ ^et E^ =
Call # the resulting collection of sets We need
to show that A = A((f).
(i) Let X ^ A. Then there exists an infinite sequence {rrij-. j ^ N ) such that
r™nil > r„^2 > and x ^ E j . for j e N.
Using the definition = E^^ set to obtain E^^^ = E^^^y From the
definition of and from it follows that By a
similar procedure we get -
Finally, since x e E^ for
- j - N,
there exists a sequence such that x for k N.
Hence X g A (^) and so ^ c A(^).
(ii) Let X e A(<^). Then there exists an infinite sequence - such
that X e „2, A e TV. Furthermore, due to the existence of an
infinite sequence (m^: j e TV) one can set E^^^ = ^(„^,„2. k ^ N.
Now, from the definition of A and the fact that x^ e E^^ for A e TV, it follows
that X ^ A and thus A (^) c Therefore A = A(<^). ^
Three important results are given in this section. The first says that the product
of the classes of Suslin sets generated by two different pavings is contained in
the class of Sushn sets generated by the product paving. The second result is
the main proposition of the section; it states that under rather weak conditions,
projections of Suslin sets are Suslin sets. We then use these two results to prove
that the class of Suslin sets is closed under the Suslin operation.
Since all the results from now on depend on Theorem 12.1.9, we shall
suppose throughout the remainder of the chapter that all pavings are closed
12.2 Proj^tions of Suslin Sets 143
12.2A Proposition
Let {X, SC) and (7, be two paved sets; then A (^ ) X A ( ^ ) c A{SCx ^ ) .
12.2.2 Theorem
Let {X, 9C) and (7, be two paved sets where the paving Sy is semicompact.
Then pr^S e A (^ ) for all 5 in A{SCx ^ ) .
Proof The fact that 5 is in A (^X together with Theorem 12.1.9 imply
that there exists a semicompact paved set {Z,2C) and a subset C of
(AT X 7 ) X Z which belongs to ((^ X X S^)„^ such that 5 = pr;^^xy^*
Now the paving ^ X .S^is semicompact (by Proposition 12.1.3); furthermore,
C can be regarded as a subset of AT X (7 X Z) and then is in {SJCx {fS/X
Thus we may identify pr;^5 and pr;^C and apply Theorem 12.1.9 again to
obtain the result. □
We now come to what Hausdorff calls the most important fact about Suslin
sets. We have seen in Theorem 12.1.11 that A (^ ) is closed under countable
unions and intersections; we can now show that A (^ ) is also closed under the
Suslin operation.
/2.2.5 Theorem
Let {X, SC) be a paved set. Then A{A{SC)) = A{SC),
(i) the projection theorem for Suslin sets which we already have (Theo
rem 12.2.2);
(ii) the fact that Sushn sets are universally measurable—in our case this
means that = and
(iii) the proof that the product a-algebra 0 .^ (7 ) is contained in the
Suslin sets X ^(Y)).
It should be pointed out that each of these steps did constitute, in its time, a
major contribution to the field we are here surveying.
Since step (i) has been dealt with above, we move on to the second stage and
show that if <f = ( £ p : /7 G P} is a Suslin scheme in then the Suslin set
A(<i') is in One of the major problems here is a notational one. We
introduce an abbreviated notation to reduce the total number of symbols.
Recall that if s = (^i, 52,.. .) is a sequence of natural numbers, s\k is the initial
segment 52, . . . , 5^). Given a Suslin scheme we have
by definition
(1) A(^)= u n
zN^ k^N
s\k = U ^s\l ^ ^s\2 ^ n n
Now, for every multi-indexp = (/?i, • • ^Pr)’ will denote the union in
(1) extended over all sequences s g which satisfy the condition that Sj < Pi
(i = l , 2, . . . , r); that is.
(2 ) U
ssN“’ keN
s\rsp
where < denotes the usual pointwise order in i?'". If p = (h) is a single
number, we shall write S ’’ rather than and if p ' = P , . .. ,Pr, h),
2
We denote this hmit by Sp. It is clear that since the union is taken over a subset
of №° that Sp c A (^) for every sequence p.
We now come to the statement of the theorem.
12.3.1 Theorem
Let {X, j / , v) be a measure space and let be the Lebesgue extension of
Then A ( = j/p.
corresponding to this sequence, we have, using (5), the sequence 5^^.. Now this
sequence in (S')j„ is a sequence of measurable sets since Thus, for
every k, we have p(T n 5;,,^) > > p (T n A(#)) - ij (the first in-
equahty is because 5^'* c 5^,;^). Therefore, p(T) = p( T n S.,*) + ix(T n X \
Spl^) > p(T n A(^)) + p (T n Z \ Sp^„) - V-
Now, as stated above in (6), the sequence 5^^ decreases to and c A(^).
Hence AT\ 5^^. increases to Z \ and X \ S p 3 X \ A(^). Thus, letting k ^ oo
in the inequality above, we get
Our next step will be to show that under suitable conditions a product
a-algebra ^ ( Y ) is contained in the Suslin class generated by ^(Y).
It will be sulHSicient for our purposes to prove this inclusion for the case when Y
is a compact metric space.
/2.5.2 Theorem
Let be a o-algebra of subsets of the set and let ^ ( Y ) be the Borel o-algebra
of a compact metric space Y, Then the product o-algebra s / S S { Y ) is contained
in the Suslin class A (j/X ^ (7 )).
/2.5.5 Corollary
Let be a o-algebra of subsets of the set X and let Y be a compact metric space.
The product o-algebra 3S{Y) is contained in the Suslin class A(j 2^X J f )
where JTdenotes the compact subsets of 7.
12.3.4 Theorem
Let {X, s / , v) be a measurable space and let Y be a complete separable metric
space. Then,, for every set M in 0 ^ { Y \ one has that pr^M is in
We now come to the last topic of this chapter. We first introduce the notion of
an ^capacity (or Choquet ^capacity) on a paved set {X, SC), Then we go on
to prove the one result of this section which states that the .^Suslin sets are
capacitable. This theorem (12.4.4 below), known in the literature as the
Choquet capacity or capacitability theorem, will become an essential piece of
the discussion concerning the existence of measurable selections in Chapter 14.
12.4.1 Definition
Let {X, SC) be a paved set such that ^ An SC-cap^city is a function y
from the power set ^ { X ) to the extended real numbers R such that
y(U = supy(£„) = U m y (£ j;
n^N n n
12.4.2 Example
Let (X, i') be a finite measure space. The outer measure ju associated with v
is an J2^capacity.
148 Suslin Sets, Projections, and Capacities
The capacitability theorem asserts that for “ many” subsets E oi X one may
approximate the capacity y{E) by means of sets in In order to state the
theorem precisely, we have one more definition first.
12.4.3 Definition
Let y be an S^capacity on the paved set {X, SC). An element E of ^ { X ) is said
to be capacitable for y if
y( ^ ) = s u p { y ( Z > ) : Z ) c £ , Z ) e ^ , } .
Note that in Definition 12.4.1 we assumed only that SS = SC^^. In 12.4.3 the
approximating sets are taken from the larger class Of course, if SC^^
then the approximating sets are in SC.
The proof of the following theorem is very much like that of Theorem
12.3.1. We shall use the notation and ideas which were established just before
that theorem. In particular, we recall equations (2)-(6) from the beginning of
Section 12.3.
12.4.4 Theorem
Let y be an Si-capacity on the set X and assume that the paving SCsatisfies the
condition SC= SC^^. Then any set S in P<{SC) is capacitable for y.
(1 ) F’ P
^(Pl,P2,--,Pk-n) (Pl.P2<-<Pk)'
We also assume that y{S) < oo since the other case is straightforward. Let ij
be an arbitrary positive number. By condition (ii) of Definition 12.4.1, and
using equations (2), (3), and (4) from the beginning of Section 12.3 in the same
way as in the proof of 12.3.1, we define inductively a sequencep = (Pj '- j ^ N)
of natural numbers such that > y{S) —t; for all A: e N. Next let
5 , =r=l
n U E,
s ^ N ’’
s<p\r
k
=
k
U r^N
n 5.
s< p
Thus, Sp G and Sp a S and y(S^) > y(S) - 17. Since rj is arbitrary, the
assertion of the theorem is estabhshed. □
12.4.5 Example
Classical potential theory provides examples of capacities that are, in a sense,
special cases of the more general situation discussed in Theorem 12.4.4. These
are the so-called Newtonian and Greenian capacities where the paving ^ is the
collection J?Tof compact subsets of (« > 3).
Let E be an open subset of (« > 3) which possesses a Green function
(see, e.g.. Helms, 1969), and let /x be a Radon measure on a compact subset K
of E. Then
defines the potential of p for the kernel <t>(x, y). A positive measure p is said to
be admissible if < 1. Then the capacity of K relative to E is the
supremum of the total masses / dp of admissible measures on K, Denoting by
Pf. the corresponding unique measure, one defines y ( K) = Pk ( K) with
y (0 ) = 0. (For details, see, e.g.. Helms, 1969.)
As pointed out by Sierpinski (1950), the birth of the theory of Sushn sets est
assez curieuse. In 1916 the Russian mathematician N. Lusin asked his student
M. Suslin to read an important study by Lebesgue (1905). The article con
tained the mistaken “ proposition” (given without proof) that in projections
of Borel measurable sets onto one of the axes are Borel measurable. To
construct a counterexample, Sushn (1917) invented then what we now call the
Suslin operation and created a whole new theory that he called the theory of
analytic sets.
The theory of analytic or Sushn sets owes its initial development mainly to
scholars of the Russian and Polish schools. Among the main initial contribu
tors who also wrote comprehensive expositions of the theory, we mention
Lusin (1927) and Sierpinski (1934, 1950). The subject is also dealt with by
Kuratowski (1966) and, among mathematicians who did not belong to the
above-mentioned schools, by Hausdorff (1962). For a list of the major contrib
utors during the initial stages, the reader is referred to Sierpinski (1950).
150 Suslin S ets, Projections, and Capacities
12.6 EXERCISES
Measurable Correspondences
from an A bstract
Measure Space to a
M etric Space
There is of course more than one notion of measurability that could be used as
the basis for a definition of a measurable correspondence. A function ^ from X
to Y is usually said to be s^-measurable—this is the basic definition we shall
conform to in this book—if for every set B e ^ { Y ) one has
Since a correspondence / from X i o Y may be regarded as a function <f>from X
to ^ o ( Y \ one may wish to say that / i s an j^measurable correspondence every
time that <t>is an je^measurable function.
152
13.2 O osed-Valued Correspondences 153
We shall follow a different path in this book, since we would like to have a
definition of measurabihty which directly applies to the correspondence /
without having to resort to the function </> from X to ^o(Y). Nevertheless,
under certain conditions (see, e.g., Section 13.3) the two approaches may lead
to equivalent results.
Next we give the basic definition we adhere to in this book.
13.1.1 Definition
A correspondence / from X to the metric space Y is said to be s0-measurable if
f^ ( F ) = [x ^ X: f ( x ) O F # 0 } e for every closed subset F of Y.
Let the measure space {X, complete, the metric space Y complete and
separable, and the correspondence / (from X io Y) closed valued. In essence,
the main result of this section (Theorem 13.2.7) asserts that in this situation the
following statements are equivalent:
(i) The correspondence / is measurable in the sense of Definition 13.1.1.
(ii) The set f ^ ( G) belongs to s / f or every open subset G of Y.
(iii) The function which assigns to every element x oi X the distance from
a point y in Y io the set f ( x ) is j^^measurable for every y in 7.
(iv) The set G r/, the graph of the correspondence / , belongs to the
product a-algebra s / ^ ^ ( Y ) .
(v) The set belongs to j^^for every Borel subset B of 7.
13.2.2 Proposition
Let f be a correspondence from X to the separable metric space Y. Then the
following statements are equivalent:
(i) /'^(G) e j / for every open subset G of Y,
(ii) The function x\-^ d{y, f{x)) is ^/-measurable for every element y of Y.
Proof (i) => (ii): For every open subset G of 7, one has, by assumption,
f^{G ) Eis/. In particular for B{y, a), the open ball in Y with centre y and
radius a > 0, one obtains f ^{B{y, a)) g s/. However, for a > 0, f ^ ( B ( y , a))
= {x ^ X: d{y, f (x)) < a}. Hence x\-^ d(y, f i x) ) is j^measurable, and in
deed so for every y in Y.
(ii) => (i): By assumption [x ^ X : d(y, f(x)) < a} is now j^^measurable
for a > 0 for every j e Y. But since {x ^ X: d{y, f(x)) < a] = f ^ i B { y , a)\
it follows that f ^ i B i y , a)) belongs to j/ . Moreover, since any open subset G of
Y may be written as G = a„) for a sequence (Biy„, a„): n ^ N)
of open balls in 7, one finally gets that/"^(G) = ^n)) belongs
to the a-algebra j/ . □
13.2.3 Lemma
Let {X, s / ) be a measurable spacey Y a separable metric spacey and Z a metric
space. Let \¡/ be a function from the product space X X Y to Z which is
s/-measurable for every element y ^ Yy and continuous in y. Then i¡/ is
^(Y)-measurable.
Now for each fixed «, the function (jc, y)\-^ ipixy y„) is clearly ^ (7 )-
measurable; and since on the set A" X [^ ( ^ „ , a “ ^ ) \ a “ ^)] the
function \pa(Xy y) coincides with (x, y)\-^ ;//(x, y^) it follows that ^«(x, y) is,
as well, ^(7)-measurable. Therefore, by (1 ) above, xpiXy y) is ^(Y)-
measurable. □
The preceding lemma greatly facilitates the proof of the following important
result.
13.2 Q osed-Valued Correspondences 155
13.2.4 Proposition
Let f be a closed-valued correspondence from X to the separable metric space Y. I f
the function x\-^ d{y, f{x)) is s^-measurable for every y e 7 , then the graph o ff
belongs to the product o-algebra ^ ^ ( Y ) .
All previous results of this section did not require the (measure-theoretical)
completeness of the space (X, s/, v). The next proposition and Theorem 13.2.7
do require it. However, to be able to continue our discussion in the same
framework as the one used so far, we will proceed as follows: we shall not
directly require ( X , s / , v ) to be complete; instead, we shall carry on the
argument with reference to the extension of j/w ith respect to v. In later
chapters, however, we shall often assume the completness of (X, s /, v).
The proof of Proposition 13.2.5 necessitates a classical result, namely the
projection theorem for measurable sets as given in Theorem 12.3.4.
13.2.5 Proposition
Let f be a correspondence from X to the complete separable metric space Y such
that Gr f belongs to ^ ( 7 ) . Then f'^(B) belongs to for every Borel set
B<zY,
Since all the closed and open subsets of 7 belong to ^ ( 7 ) , the following
result trivially follows.
13.2.6 Proposition
Let g be a correspondence from X to the metric space Y such that f'^(B) is in
for every Borel set B Y. Then f^ { F ) [respectively^ /"^(G)] belongs to for
every closed F <z Y [respectively, open G c 7].
11.2.7 Theorem
Let f be a closed-valued correspondence from X to the complete separable metric
space Y. Then the following five statements are equivalent:
(i) / is s/j^-measurable, that is, f^ ( F ) belongs to for every closed subset
FdY.
(ii) r^{G) belongs to for every open subset G (z Y.
(iii) The function d{y, f{x)) is s^^-measurable for every element y in Y.
(iv) / has an 0 SS{Yymeasurable graph, that is, the set G rf belongs to
< 0 SS{Y).
(v) r^{B ) belongs to for every Borel subset B <z Y,
Proof (i) => (ii): by Proposition 13.2.1; (ii) => (iii): by Proposition 13.2.2;
(iii) => (iv): by Proposition 13.2.4; (iv) => (v): by Proposition 13.2.5; finally,
(v) => (i): by Proposition 13.2.6. □
13.2.8 Example
Suppose A" is a subset of and let /b e a closed-valued correspondence from
X to Rockafellar (1969) calls the correspondence / Lebesgue (respectively,
Borel) measurable if / is js^measurable and j / is the collection of all Lebesgue
(respectively, Borel) measurable subsets of X. The following special situations
result from Theorem 13.2.7.
13.2.9 Example
Let V be Lebesgue measure on [0,1], and let /f be a nonmeasurable subset of
[0,1] with inner measure 0 and outer measure 1. The correspondence / from
[0,1] to R defined by f ( x ) = {X ^(x), 3}—where is the characteristic
function of H —can be seen to fail to have a measurable graph.
133 Compact-Valued Correspondences 157
It is obvious that all the measurabihty results of Section 13.2 apply when the
relevant correspondence / is compact-valued.
This section introduces an alternative measurabihty criterion formulated
under the exphcit assumption that / is compact-valued. We then relate this
criterion to those we have examined in the preceding section.
As in other parts of this book, ^ q( Y )—or simply when there is no
danger of ambiguity—denotes the nonempty compact subsets of a metric
space Y. We assume JíTq to be endowed with the Hausdorff topology which in
this instance coincides with the Vietoris topology (Corollary 4.2.3).
For an open subset G of y, we recall the following definitions: we define the
classes [%G]= ( AT e : A' c G }, and = {K ^ K n G 0 ) . Fur
thermore, we use and to denote the a-algebras generated by the classes
([•, G] : G open) and {I g ‘ G open), respectively.
Let be the Borel a-algebra of subsets of ^ ( F ) . Our first objective
is to find a suitable characterization of by means of the classes
and
13.3.1 Theorem
Let y be a separable metric space. Then the Borel o-algebra coincides
with both the a-algebras and
Proof. We spht the proof into three steps. First we show that is
contained in Since G c 7 is open, one can choose a sequence (F„: n ^ N)
of closed subsets F„= [ y ^ Y: d(y, Y \ G ) > n~^}, and then set G =
It follows that Ic = K nF„¥= 0 } =
{/sT: is: c y \F „ } ], and hence c
Next we prove that is contained in By defining the sets G„ = [y ^
Y : d(y, Y \ G ) < n~^} we can clearly write Y \ G = G„. Consider now
the intersection K Pi ( Y \ G ) . It is immediate that if A n ( y \ G ) is nonempty
then K D G„ will be nonempty for every n ^ N. Let us show that the converse
holds too. Suppose A n G„ is nonempty for every n ^ N, and choose a point
in each set A Pi G„: one has determined a sequence {y^ \ n ^ N \ and any
cluster point of it belongs to both A and Y \ G . It then follows that j Tq\
{K: K<z G) = n „ ^ ^ { A G A n G„ ^ 0 ) , and hence c
Finally, to complete the proof of the theorem, one shows that any open set
U of Jfo belongs to both and On the one hand, since {[•, G ]: G open)
and [ I g ’ G open) form a subbase for the Vietoris topology, U is the union of a
class ^ o f finite intersections of sets belonging to the subbase, and hence to
and On the other hand, 7 being separable, so is This implies that U is
the union of a countable subclass of and therefore it itself belongs to
and This completes the proof that coincide. □
158 M easurable Correspondences from an Abstract M easure Space to a M etric Space
13.3.2 Theorem
Let f be a compact-valued correspondence from the set X to the separable metric
space Y. Then the following statements are equivalent:
(i) The function f from X to X'q is s^^measurable,
(ii) f^{G ) belongs to for every open subset G c 7 .
(iii) r^{F ) belongs to for every closed subset F Y.
Proof (i) => (ii): Let G be any open subset of 7, and observe that
/" (G ) = f - \ { K ^ X ' Q : K n G ¥ ^ 0 }) = f - \ l G f Since the function / is s/-
measurable by assumption, and since the set = { K ^ X'qI K n G ¥= 0 }
belongs to ^ ( ^ q) by Theorem 13.3.1, it follows that f'^(G) belongs to j / .
(ii) => (i): Observe once more that P^{G) = f~^{{K g j Tq : A' Pi G ^ 0 })
= ®y Theorem 13.3.1 the class {/(7: G open) generates the a-algebra
which coincides with ^ (Ji^ ). Hence, / “ H^g) belongs to
(i) => (iii): Let A be a closed subset of 7 so that G = 7 \ F is open and, as
before, define [•, G] = ( A ' g : AT c G}. By Theorem 13.3.1 [•, G] is in
^ ( j To)» since / is »¿^measurable by assumption, one has /~H[%G]) in
That r ^ ( F ) belongs to follows now from the simple fact that f'^(F) = X \
r\[%G]).
(iii) => (i): Use again Theorem 13.3.1 and the fact that f'^(F) = X \
r\ [%G]), □
13.3.3 Theorem
Let f be a compact-valued correspondence from a set X to the complete separable
metric space 7. Then the statement ""the function f from X to * ^ (7 ) is
s^-measurable'" is equivalent to each of the statements (0~(i^) of Theorem 13.2.7.
13.3.4 Theorem
Let f be a compact-valued correspondence from a set X to the complete separable
metric space Y, Then the following statements are equivalent:
(i) / is s/^-measurable, that is, belongs to for every closed subset
Far,
(ii) The function f from X w X' q{Y) is s/^-measurable, that is,f~^{B) ^ s/^ fo r
every Borel subset ^
(iii) There exists a sequence (f„: n ^ N) of s/^-simple functions from X to X'q
converging to the function f a.e. in A.
(iv) There exists a sequence {h^ \ n ^ N ) of s^^-simple functions from X to
converging in measure to the function /.
Proof (i) <=> (ii) is Theorem 13.3.2. (ii) <=> (iii) <=> (iv) are standard theo
rems regarding functions from a measure space to a metric space (e.g., see
Dunford and Schwartz, 1958, Lemma 9, p. 147; and Corollary 13, p. 150). □
13.3.5 Example
Suppose / is an upper semicontinuous compact-valued correspondence from a
topological space A" to a separable metrizable space Y, The correspondence is
clearly Borel measurable since P^{F) is closed—and hence belongs to
SS{X)—for every closed subset F a Y. It is also easy to show (Exercise
13.5.10) that if a compact-valued correspondence /between the above spaces is
lower semicontinuous, then it is ^(A")-measurable.
13.3.6 Example
The correspondence / defined in Example 7.1.6 is easily seen to be Borel
measurable.
13.5 EXERCISES
Measurable Selections
162
14.2 Closed-Valued and Compact-Valued Correspondences 163
14.L1 Definition
Let (X, 1') be a measure space and let /b e a correspondence from the set X
to a metric space Y, An s/-measurable selection (respectively, almost everywhere
selection) of / is an j^^measurable function a from X to 7 such that a(x)
belongs to f { x ) for every x in X (respectively, for almost every x in X).
We can now move on to the central theme of this chapter, namely to the
discussion of conditions that guarantee the existence of measurable selections
or almost everywhere selections.
14.L2 Example
(i) Let V be Lebesgue measure on R and consider the correspondence / defined
in Example 7.1.6. It is clear that ^ is a selection of /. Furthermore, as an upper
semicontinuous function, \l/ is Lebesgue measurable; (ii) Again consider Exam
ple 7.1.6. Given the definition of / , one easily constructs an almost everywhere
continuous function y such that \p(x) < y(x) at its points of discontinuity, and
otherwise <J>(x) < y(x) < ^(x). It is obvious that y is an almost everywhere
selection of /; since y is almost everywhere continuous, it is also Lebesgue
measurable.
14.2.1 Theorem
Let f be a closed-valued correspondence from a set X to a complete separable
metric space Y. I f f is s/-measurable, then it has an s/-measurable selection.
14.2.2 Corollary
Let (X, , v) be a complete measure space, A closed-valued correspondence from
X to the complete separable metric space Y which satisfies any of the measurabil
ity criteria (i)-(v) of Theorem 13.2.7 has an s^-measurable (/.e., by assumption^
s/^-measurable) selection.
14.2.3 Corollary
Let (X, s /, v) be a complete measure space. A compact-valued correspondence
from X to a complete separable metric space Y which satisfies any of the
measurability criteria of Theorem 13.3.3 has an s/-measurable (i.e., by assump
tion, s/^-measurable) selection.
14.2.4 Example
(i) Let {X, s^, v) be a complete measure space and consider the correspon
dence epi^ of Definition 9.1.1. Observe that if epi<i> is lower semicontinuous
then the function <f>is o-upper semicontinuous (Proposition 9.1.4). Hence <j>is
an J2^measurable selection of epi<f>. (ii) Let r be Lebesgue measure on R.
14 3 A General Existence Theorem 165
14.3.1 Lemma
Let f be a correspondence from the set X to the complete separable metric space Y
such that the graph of f belongs to A ( s / X ^ ( Y) ) . Then there exists a compact
valued correspondence g from X to Y such that its graph belongs to ^ (T ),
and almost everywhere in X, g(x) c f{x).
Proof Suppose first that Y is compact and, without loss of generaUty, let
v{X) = 1. Let Jfb e the class of compact subsets of 7. It is well known that
^ ( 7 ) is here the a-algebra generated by J f.
Denote by {s^X SS{Y))^^ the class of subsets of j / X ^ ( 7 ) closed under
finite unions and countable intersections, and note that {s^X ^(7))^^ is
contained in ^ ( 7 ) , A ( s / X ^ ( 7 ) ) coincides with A ( s / X X'), and
^ ( 7 ) is contained in A ( X X ^ ( 7 ) ) —see Theorem 12.3.2 in Chapter 12.
166 M easurable Selections
14.3.2 Theorem
Let f be a correspondence from the set X to the complete separable metric space Y
such that the graph of f belongs to A{s^X SS{Y)). Then f has an s0-measurable
almost everywhere selection.
14.3.3 Corollary
Let fb e a correspondence from the set X to the complete separable metric space Y
such that the graph of f belongs to s ^ ^ ^ ( 7 ) . Then fhas an s^-measurable almost
everywhere selection.
14.4 M easurability and the Existence of Selections 167
14.4.1 Theorem
Let f be a closed-valued correspondence from X to the complete separable metric
space Y. Then the following statements are equivalent:
(i) / is ¿¡^-measurable.
(ii) There exists a countable family n ^ N ) of measurable selections of f
such that f { x ) = c/(a„(x) : n e N) for every x in X.
Proof (i) => (ii) Suppose / is j?i^measurable, that is, satisfies Definition
13.1.1. Let {y^ : m e A/^) be a sequence dense in 7, and let {B[y^, 2"'"]: n ^ N)
be the countable family of closed balls of radius 2“ " centered at>^^.
Since/ is J2^measurable so is the set „ = {x ^ X: f ( x ) Pi ^
0 } for every index pair (m, «).
Construct next a family of closed-valued correspondences from A" to 7 as
follows:
That each correspondence „ is also j^^measurable follows from the fact that
for any closed subset F of Y one has f ^ „(F) = [x E: X: f ^ „(x) n F # 0 }
= [x E X : f { x ) ( ^ { F C ^ B [ y ^ , 2 ~ ^ ] ) i ^ ' 0 ] U [x E A^^^: f { x ) n F ^ 0 ) ,
which set belongs to j^.
Invoking Theorem 14.2.1, we choose an j^^measurable selection „ for
each correspondence And, having done so, we show that the countable
family (a„j „ (x ): (m, n) E N^) is dense in /( x ) for each x in X.
Let X be in A" and y in /(x ). Then for every n e N one can find a y^ in
{ym'^rn E N) for which d{y, y^) < Hence, by construction, there
must exist an index pair {m,n) such that d{y^,o^ „(x)) < Thus
< d { y , y j + d{y^.o„,„{x)) < = 2-\
168 M easurable Selections
14,4.2 Remark
Let ( A", j / , i') be a complete measure space and / a closed-valued correspon
dence from X to the complete separable metric space Y. The statement “ there
exists a countable family (a„: w g iV) of measurable selections of / such that
/( x ) = cl(a„(x): « G AT) for every x in A"” is equivalent to any of the
statements (i)-(v) of Theorem 13.2.7.
14.6 EXERCISES
14.6.10 This exercise departs from the basic line followed in the text in that
we require a topological structure for the domain space of /. Let X be
a locally compact space, v a Radon measure on X, and / a compact
valued correspondence, measurable with respect to v, from A" to a
separable metric space Y. Then / has a selection measurable with
respect to v. {Hint: use the metric of Y to construct a suitable
sequence of measurable correspondences.)
Chapter Fifteen
Applications:
M athematical Economics III
We assume here that Sis the same pure exchange economy discussed in Section
10.1. We identify a consumer with a triple (X, > ,w ) of Q x R, that is, we
take the wealth distribution as exogenously determined and focus on the
demand relation d of S, However, in contrast to Section 10.1, we allow the
price system p to vary over the whole of Euclidean space and we do not
assume that the wealth distribution is such that the condition inf^^xP *^
is satisfied everywhere on 0 X X It is clear that under these weaker
assumptions the budget set p) may not always be compact, and the
demand relation d may fail to be a correspondence.
15.1.1 Theorem
The demand relation d from Q X R X R^ to R^ has a SS{Q X R X R^X R"^)-
measurable graph.
m
172 Applications: M athematical Economics III
the actions of the agents as individuals. The agents take the prices as given,
and at these prices they are now able to buy or sell in the markets any amount
of commodities—that is to say, the supply or demand of an agent is negligible
when compared with the total volume traded in the corresponding market and
hence does not influence its price. A solution concept which depicts the
outcome of exchange in a perfectly competitive (pure exchange) economy is the
Walras equilibrium, the existence of which was discussed in Section 10.2.
What conditions should be satisfied by an economic system so that the
result of the exchange activity will necessarily be a Walras equihbrium? As a
first approximation, we may answer this question by saying that the economy
should be large enough so that each individual agent—in particular the agent’s
resources—should be negligible.
We shall continue to move in this section within the framework of a pure
exchange economy. For such an economy, as we know, the result of the
exchange activity always consists of a redistribution of the total resources. An
equilibrium allocation, if it exists, is a possible outcome.
There is an alternative road that leads to a deeper characterization of the
notion of perfect competition. We say that a set of agents—henceforth called a
coalition—can improve upon a certain allocation if all of its members can be
made better off by trading among themselves with their initial endowments
(i. e., the coalition’s total resources) and regardless of the actions of the agents
who do not belong to the coalition. Then we focus on the set of allocations
that cannot be improved upon by any coalition and call it the core of the
economy.
It is natural to think of an allocation in the core as a possible outcome of
the exchange activity, since such allocations cannot be improved upon by
groups or individual traders. It is also intuitive that the “ size” of the core will
decrease with the increase of the “ size” of the economy, for the larger the
economy becomes the greater the number of “ improving” coahtions that can
be formed.
Of course, these intuitive ideas can be given formal expression. It is possible
to show, for instance, that if we allow the number of agents of the finite
economy of Section 10.2 to increase in an appropriate manner, then its core
shrinks. Interestingly enough, it shrinks in the hmit to the set of equilibrium
allocations, a set that otherwise, as we shall see later, is always contained in the
core. Hence, it is only in the hmit, with an infinite number of agents each of
whom is now indeed negligible that the competitive solution, the Walras
equihbrium, is assured to prevail.
There is a more direct and much more abstract method of modelling the
perfectly competitive conditions. We can at once construct a “ hmit” economy
^endowed with an atomless measure space of consumers {A, v)—that is,
with a continuum of traders. We shall follow this path in this section, and show
that for such an economy the two solution concepts are equivalent: the core
coincides with the set of equihbrium allocations. The result seems rather
174 Applications: M athematical Econom ics III
natural since there does not appear to be a more extreme way of expressing the
“ negligibihty” of an individual agent than to identify it with a set of measure
zero.
Following our notational convention of Section 5.1, we recall that A stands
for the set of agents, j/ is interpreted as the set of all possible coahtions, and v
is an atomless probabihty measure on j / . Thus, v(E) indicates the fraction of
the totality of agents contained in the coahtion E
An allocation <t> for ^ is an integrable function from A to such that
<l)(a) ^ X(a) a.e. in it is feasible or attainable if ¡A^dv =
Let us formaUze the ideas we previously discussed.
15.2.1 Definition
Let <i) be an allocation for the pure exchange economy S from (A, s / , v ) to
QX The coahtion E e j2^can improve upon the allocation <¡) if there is an
allocation \l/ for ^ such that
15.2.2 Definition
The core C(<f) of the economy <?is the set of all feasible allocations of that
no coahtion in can improve upon.
15.2.3 Definition
A Walras or competitive equilibrium for an economy S is an allocation <f>and a
price system p such that
15.2.4 Lemma
There exists a set U ^ A of full measure such that 0 i int co g(U).
and = g(af^) for all k. This implies and from the fact that
each G [/, it follows that € T. Hence, v{g~^ i^k)) ^ ® for each k, and
one can find disjoint subsets Sj^ of a sufficiently small tj > 0 such
that j'(S^) = Tja*.
Consider the coalitions S = and the allocation t{/ defined by
We use the above result in the proof of the second part of the following
equivalence theorem.
15.2.5 Theorem
Let Sbe a pure exchange economy with the previously prescribed properties. Then
C((f) = IV(^).
Proof, (i) We prove first that W {^)c . C{S). Let (<i>,/?) be a Walras
equilibrium, and suppose <j>^ C(<f). Then there exists a coalition S and an
allocation such that J^\l/(a)dv = ¡^i{a)dv, and ^(a) (¡>(a) a.e. in S.
Now since <i> is an equilibrium allocation, p • \l/(a) > p • c(a) a.e. in S. This
implies p ' l s ^ ( a ) d r = IsP • \p(a)dv > IsP • i(a)dv = p • y ( a ) d v , con
trary to l^\p(a)dv = ¡^i{a)dv.
(ii) We prove next that C (^) c W{S). As in Lemma 15.2.4, let the set
{/ c ^ be of full measure. Since by definition i ' ( ^ \ f / ) = 0, we may confine
ourselves to the agents in U.
Since 0 ^ intcog(i7), by the supporting hyperplane theorem (see, e.g.,
Lang 1966) there exists a hyperplane /? • x = 0 supporting co g(U). Each g(a)
is at one side of this hyperplane and hence we have /? • x > 0 for x e g(a);
that is, /? • X > /? • i(a) for x e f(o). Note that monotonicity imphes p > 0.
We show next that the core allocation <f> together with the price system p
constitute a Walras equihbrium. We do this in two steps.
First, we prove that <i> is in the budget set /? • ¿(a), p) = ( x e :
p ’ X < p ' c(a)} for almost all agents in U. Observe that by monotonicity it is
possible to find a bundle x arbitrarily close to <l>(a) such that x <i>(<3). So
(¡>{a) e c l/(a ), and therefore p • <l>(a) > p • i{a). Notice that if p • <l>(a) >
/7 • ¿(¿3) on a set of positive measure we would obtain f^p • <l>dr > f^p • tdr,
and (j) would not be in C(<f) for lack of feasibility.
Second, we prove that <i> is maximal for in agent a ’s budget set. This
can be done by showing that p - x > p ■i(a) for every x e /( a ) can be
strengthened to p • x > p • i(a) for every x e f(a).
We leave it as an exercise to prove that /? » 0. Let x e /(a), and suppose
i(a) > 0. Since /? » 0 it follows p • i{a) > 0, and so /? • x > 0. Hence, for
some coordinate i = 1,2 ,... ,72 one has x^ > 0. Let z = 1. From continuity and
for a sufficiently small tj > 0 we obtain x - (i],0 ,... ,0) e /(¿2). And so
p • i{a) < p - [ x - ( t/,0,...,0)] = p • X - PiV < p ' X . Hence p • x > p • i{a)
when X e f{a). Now suppose i{a) = 0, and x > 0. Then /? • x > 0 = ;? • i{a),
and the inequality holds again. Finally, suppose ¿(<2) = 0, and x = 0. We have
in this case i{a) = f) since x ^ f (a). Suppose this is true for a set S of
traders with r ( S ) > 0. Then it would follow that ¿(¿z) <i>(iz) for the traders
in 5, contrary to our assumption <i>e C (# ). This completes the proof. □
extend the theory to imperfectly competitive economies, and thus to study the
relation core-equilibria under more general conditions, have not been totally
absent. Interesting results have been obtained in this regard by Jaskold-
Gabszewicz and Mertens (1970), Shitovitz (1973, 1974), and Greenberg and
Shitovitz (1977) for economies where the measure space of agents contains
some atoms (interpreted, as the case may be, as “ large traders,” monopolists,
or oligopolists) side by side with an atomless part (the “ small,” competitive
agents); by Jaskold-Gabszewicz (1977), with a sequence of economies of the
Debreu and Scarf (1963) type, but where one or a few agents increase their
relative size while the rest “ multiply” without limit in a way that individuals
become negligible; and by Kahn (1976), making use of nonstandard analysis.
The study of imperfectly competitive systems, nevertheless, appears to be still
at its very beginning, and the results, though interesting, are not always fully
satisfactory.
Further applications and extensive references will be found in Arrow and
Intriligator (1983). .
Part Four
Integrable
Correspondences
Chapter Sixteen
Introduction
The fourth and last part of this book deals with the integration of correspon
dences. Chapter 17 introduces the basic notions and investigates rather general
properties of the integral. Chapter 18 narrows the perspective to a special but
important case. Chapter 19 is an introduction to Radon-Nikodym derivatives
of correspondences.
181
182 Introduction
We conclude this introductory chapter with some results that will be important
later, when discussing correspondences, and that are usually not covered in
standard textbooks. Let us begin with a definition.
16.2.1 Definition
For A: = 1 ,2 ,..., let (A"^, v¡^) be a measure space and a function from
A"^ to R. The sequence (<i>^: g iV) is said to be uniformly integrable if and
only if (i) s u y > < 00 and (ii) 0 for every sequence
{ A ^ : k ^ N ) with ^ 0.
16.2.2 Proposition
I f each of the functions (<¡>k-k^N)is defined on the same measure space, then
the sequence k ^ N ) is uniformly integrable if there exists an integrable
function x[/ such that < \¡/ for all k.
16.2.3 Theorem
Let (AT, j / , v) be a measure space and : k ^ N ) a sequence of integrable
functions from X to R ". Assume that limf^fx<t>k exists. Then there exists an
integrable function ^ from X to R" such that (i) <l>(x) G Urn 5m;?{^^(x )} almost
everywhere in X and (ii) ¡x ^ d v < Umj^jx^k
If, additionally, the sequence {^j^ \ k ^ N ) is uniformly integrable and if
almost everywhere in X the set {<i>i^{x): k ^ N ) is bounded, then there exists a
function <¡>from X to R" such that <i>(x) e lim sup{^j^{x)} almost everywhere in
X, and Jx4> dv = lim/^Jx<t>k
16.4 Exercises 183
I f for every function ^ from X to jR" with properties (i) and (ii) above it follows
that Jx<l>dv = limi^fx<i>k sequence : k ^ N ) is uniformly integra
ble.
As basic references for this chapter, we mention once more Halmos (1950),
Dinculeanu (1967), and Dunford and Schwartz (1958). As stated in Section
11.3, Marie (1974) gives a very complete presentation of measure and integra
tion theory. A classic work on integration theory is Saks (1937). A very
exhaustive treatment of integration relative to Radon measures is to be found
in Bourbaki (1952).
16.4 EXERCISES
The Integral of a
Correspondence
17.1.1 Definition
Let / b e a correspondence from the set X to & real Banach space Y. The set
f x f d p = [ y ^ Y: y = ¡x<Jdr, a ^ S ( f ) ] is called the Aumann integral— ox,
briefly, the integral—of the correspondence/. The correspondence is said to be
integrable—more precisely, r-integrable—if f x f d p ^ 0 -
185
186 The Integral of a Correspondence
17.L2 Definition
Let / be a correspondence from X to Y. The correspondence is said to be
integrably bounded if there exists a function ^ ^ L^{Xy R )—the space of
integrable real-valued functions on X —such that \\y\\ < <j>(x) for all y and x
such that>^ e f (x).
17.L3 Theorem
Let f be a correspondence form X to the separable real Banach space Y. I f f has a
Suslin graph and is integrably bounded, then it is integrable.
17.1.4 Corollary
Let f be a correspondence from X to the real separable Banach space Y. I f f has a
measurable graph and is integrably bounded, then it is integrable.
17.1.5 Remark
It is clear that a closed-valued, j?^measurable, integrably bounded correspon
dence from A" to a real separable Banach space Y is integrable even if the
measure space {X, s f , v ) is>not complete.
17.L6 Theorem
Let f be a correspondence from the set X to the real finite-dimensional space Y, I f
the measure v on the o-algebra s / of X is atomless, then the integral f f d v is a
convex set.
Proof Let yi and y be two points in j f dv. Then one can find two
2
17.1.17 Example
Let ^ be a Lebesgue measure on the interval [0,1] and let /b e a correspondence
from [0,1] to the real hne R defined by f { x ) = {2,3} for every x e [0,1] (see
Figure 17.1).
4>
3
1
0 1
Figure 17.1
188 The Integral of a Correspondence
interval ¡f dv = [2,3].
17.L8 Example
On the interval [0,1] let v be Lebesgue measure; then let {1} be an atom with
measure i'({l}) = 5. Suppose / is the same correspondence as in Example
17.1.7. Consider all partitions of [0,1] of the form {A^, The selec
tions of / are now typified by the collection of functions of the forms
®= ^ • + ’/' • + ■X{1} and a = ^ • + 'I' • + V' • X{i} with in
tegrals j a d v = 2 - r(y4i) 3 • v{A2) + 2 ■»-({I}) = 2X -I- 3(1 - X) -h 2 • 5
(0 X 1), and j(jdv = 2- viA^) + 3 • r ( ^ 2> -I- 3 • r((l}) = 2X + 3(1 - X)
+ 3 - 5 (0 < A < 1), respectively. Hence the integral of / over [0,1 ] is the
disconnected set Jf dv = [12,13] U [17,18].
A different integral will now be defined. The class to which the definition
applies is this time restricted to those correspondences whose values are
compact and convex subsets of a real Banach space. In a sense that will be
made clear soon, the procedure to be followed consists in treating correspon
dences as functions and then in developing the theory of the integral of
correspondences as a case within the theory of the integral of functions.
Use will be made in this section of some standard embedding operations. To
facilitate the discussion, we shall review here, briefly, some of the main
concepts involved.
Let y be a real normed vector space, and let be the collection of
nonempty compact convex subsets of Y. We denote by || • || the norm of an
element. The symbol 0 will stand for the origin of 7, and 0 will denote the
element {0} of 31q.
Let be the space of nonempty compact subsets of Y. As we know from
Section 4.1, on the Hausdorff hemimetric 8/ satisfies the triangle inequality
S f ( K \ K " ) < Si(K, K' ) + di(K, K" X is continuous (see Proposition 4.1.6),
and satisfies the inequality |8/(A^, L) - Si (K\ L')| < 8{K, S(L, L') (see
Exercise 4.7.3). In the special case of the collection of X'q, one additionally
has that, for any nonnegative real number a, Si(aK, aK' ) = ad^(K, K' ) for
any pair K, K ' in (see Proposition 4.3.15); and 8f is convex on the set of
pairs of elements of (see Corollary 4.3.16).
17.2 The Debreu Integral 189
Use will be made in this section of the following embedding theorem due to
Radstrom (1952), given here without proof.
17.2.1 Theorem
Let ^0 the space of nonempty compact convex subsets of a normed real vector
space Y with the Hausdorff metric 5. Then can be embedded as a convex cone
with vertex 6 in a normed real vector space such that the following conditions
are satisfied:
(i) The embedding is isometric.
(ii) Addition in ^0 induces addition in
(iii) Multiplication by nonnegative real numbers in induces the correspond
ing operation in
(iv) spans
(v) The greatest subspace of contained in the cone i^
one-element subsets of SIq {which can be identified with Y).
17.2.2 Definition
A sequence { f^ \m ^ N ) oí j^simple functions from X to is said to be
^-Cauchy if A (/„,/„) ^ 0 as m, az ^ oo.
17.2.3 Definition
A function / from X to is said to be Debreu integrable if the function / *
from X to is integrable in the following sense: there exists a A-Cauchy
sequence (/„: « e A) of j^^simple functions from X to converging in
190 The Integral of a Correspondence
17.2.4 Proposition
Let f be a Debreu-integrable function from the set X to 31q. Then there exists a
sequence {gm'- ^ ^ of s/simple functions from X to 3i^ which determines /.
( 2) \\SB,„-Ts,J\<m -\
Sn) = f llgm(^) -
= U n , - gnix)\\dv{x)
(5) / ¡ ¡ / ( x j udr i x ) + 2n h ( X ) .
(6) / l
•'A l g m ( ^ ) = 0-
17.2.5 Proposition
Let the two Debreu-integrable functions f and g, from X to Siq, be determined by
the sequences of s/simple functions from X to {f^ \ m ^ N ) and (g^ : m e
N \ respectively. Then the function 5/(/(x), g(x)) is integrable, and determined
by the sequence (8/(/;„(x), g ^ (x )): m e N \ and furthermore ^¡{ffdv, f gdv )
^ g{x)) dv[x).
Proof. The fact that \8,{K, L ) - 8, {K\ L')\ < 8(K, K' ) + 5(L, U) (see
Exercise 4.7.3) implies that for every x in X, |5 /(/(x ), g(x)) —
W m ix ) , g„(x))| < 8(/(x ), f„(x)) + 8{g(x), g„(x)). And this being so im
plies that for any number e > 0, the set (x e Z : 18/(/(x), g(x)) -
^/(/m(^X?m(^))l > «} is a subset of {x e X: 8{f {x), f„(x)) > 2~^e] U
{x e Z : 8(g (x ),g ^ (x ))> It follows that S,( f„(x), g„(x)) converges
in measure to the number 8,(f{x), g(x)).
Having proved convergence of i8,(f„, g „ ) : m e N), it remains to show
that the sequence is A-Cauchy. But this follows from the fact that
i W M , g„{x)) - 8,(/„(x), g„{x))\dv{x) < A(/„, /„) + A(g„, g j .
Since the function 8, is convex on the set of pairs of nonempty convex
subsets of Y (see Corollary 4.3.16) one obtains that 8i i f f mdv, f g^ dp) <
f^iifmix), gm(x)) dv{x)—note that on the left-hand side of the inequahty the
symbol <f>is used instead of / because one is deaUng with functions with values
in ^ 0- Hence 8, being continuous (see Proposition 4.1.6) it is clear that
dv, <j>g„dv) = 8,(ffdv, <f>gdv). □
Proof Observe that the functions 8,(f„(x), /(x )) and 8,(f{x), foix)) are
integrable by Proposition 17.2.5. Now J8,(fo{x), f ( x) ) d v ( x ) 0 [respec-
173 Equivalence of the Integrals 193
As pointed out at the beginning of this chapter, the notion of integral adhered
to in this book is that given in Aumann’s definition. It has the advantage of
being direct 2md, what is perhaps more important, it does not depend on the
^o'Valuedness of the class of correspondences to which it applies.
On the other hand, the Debreu integral has a special appeal; it is a rather
“orthodox” concept which, in a natural fashion, extends to a wide class of
correspondences, the well-known results of standard integration theory. It is of
interest, therefore, to know that for the class of correspondences for which
Debreu’s definition applies, the Aumann integral and the Debreu integral
coincide. This equivalence is the subject of the last theorem of this chapter.
Before approaching this point, we need the following result due to Byme
(1978) and given here without proof.
17.3.1 Lemma
Let f be a Debreu-integrable function from X to and let (f„: m ^ N) be a
sequence of s/-simple functions from X to converging pointwise to f. Then the
union of the sets S ( f ) and U„°lj5(/„) is relatively weakly compact in the space
L, (X, Y).
17.3.2 Theorem
Let the function f from X to be Debreu-integrable. Then f f dv — f f dv.
Using Lemma 17.3.1, one may now assume, perhaps after reindexing, that
the sequence { ^ ^ \ m ^ N) converges weakly to the function <i>^ L^{X,Y).
This would then imply that j ^ ^ d v ^ ¡<i>dvy and so >^ = j<j>dp. li remains to
show that <(>(x) e f (x) almost everywhere in X, and hence ^ e 5 ( /) .
For this, begin by letting e be a positive real number. Choose an m such that
whenever« > m one has /||/^ ( ^ ) - /( x ) l|r f i'( x ) < e. By Dunford and Schwartz
(1958), Corollary 14, p. 422), there exists a convex combination \p of elements
(with « > m) of the weakly converging sequence (<i>^: m e N), yp = Ef=iA^<#)y
where ^ every i e ( 1 , 2,... ,A:}, > 0,j] > m, such that
(1) /ll'l'(^) - ^
Thus, by (2)
However, by (1)
Combining (3) and (4), and using the triangle inequahty for the function 8„
one obtains
(6) J8,i<t>ix), f i x ) ) d v i x ) = 0.
17.5 EXERCISES
The Integral o f a
^g(R")- Valued
Correspondence
197
198 The Integral of a dlwed Correspondence
18. LI Proposition
Let fb e a correspondence from the set X to I f the measure v on the o-algebra
of X is atomless, then the integral j f d v is a convex subset of
18.L2 Corollary
Let fb e a correspondence from the set X to such that the set f ( x ) is convex for
every X belonging to an atom. Then f f d v is a convex subset of
Proof Call the union of the set of all atoms of j / , and let X q = X\X-^
be the atomless part of X. Denote by / q a n d t h e restrictions of / to X q and X^,
respectively. Then one has f f d v = f x j d v + f x j d v . Of this sum fxQfdv is
convex by Proposition 18.1.1, and f x j d v is convex as a direct consequence of
the assumption about the convexity of f { x ) on atoms. Therefore f f d v is
convex. □
18.L3 Example
On the interval [0,1[ let v be Lebesgue measure; then let (1} be an atom with
measure ^'({1}) = 5. Consider the correspondence/ from [0,1] to R defined by
f { x ) = (2 ,3 ) forx e [0, 1 [,
f { x ) = [2,3] for X = 1 .
Compare with Example 17.1.8 and observe that, in the present case, the
integral of / over [0, 1 ] is the interval f f d v = [12,18].
A convexity result that has shown remarkable usefulness in applied analysis
(see, e.g., Vind, 1964) is the following.
I8.L4 Proposition
Let f b e a correspondence from the set X to R^. I f the measure v on the a-algebra
s /o f X is atomless, then the set Z = { f^<I>dv : <t>^ S( f ) , > 0} is a convex
subset of R"".
Proof Let Zi, Z2 ^ Z. Then for some <t>\, <t ^ S( f ) , and some A^,
>2
The proposition will be proved if one can show that z = Xz^ + (1 ~ X)z 2
E e
2 such that fEp dv = (l - X)f^^^^it dv.
2 >2
18.1 Convexity of the Integral 199
The main result of this section states that for a ^ o (^ + )‘Valued correspon
dence with a measurable graph, the convex hull of its integral coincides with
the integral of a new correspondence whose values are the convex hulls of the
values of the original one; that is, if / is the correspondence in question, then
COj f d v = / CO/ d v where co/ is the correspondence x \ - ^ co f { x ) . It follows
that when v is atomless, one even has j f d v = f c o f d v due to the convexity of
the integral.
Before we can prove these statements we need a few intermediate results.
Let Z denote a new metric space with Borel a-algebra ^ (Z ) . Observe that the
following proposition is not restricted to the case of a ^QiR'^ywaluQd corre
spondence.
18.1.5 Proposition
Let f be a correspondence from the set X to a complete separable metric space Y
such that G r f ^ and let <¡>be a SS{Yy measurable function from Y to
a separable metric space Z. Then the composition g = <i>° f defined by x\-^
<l>(f(x)) is a correspondence from X to Z with Grg ^ ^{Y)),
Proof It is obvious that g is a correspondence from X to Z. Let x, 7, z
denote points in X, 7, Z, respectively. Consider the set W = {(x, y, z ) ^ X x
7 X Z : 7 e /( x ) and z = <i>(7 )}. Clearly 3S{Y) 0 38{Z),
Now observe that the graph Gr g is obtained by projecting the set W on the
product space X X Z. Since 7 is complete and separable, it follows from
Corollary 12.3.3 and the proof of Theorem 12.3.4 that G rg is Suslin, that is,
G rg e A(j 2^X SS{Z)y □
18.1.6 Corollary
Let f be a correspondence from X to jR" such that Gr f belongs to
Then the correspondence co f has its graph in A ( s / X ^(/^")).
18.L7 Proposition
Let f be a correspondence from X to a complete separable metric space Y with a
measurable {respectively, Suslin) graph, and let <f>be a ^{Yymeasurable func
tion from Y to R. Then the function sup^{f{*)) from Y to R defined by
sup[<l>{y): y ^ f{x)} is measurable, and the relation from X to Y
defined by x[-^ {y ^ /( ^ ) • ^ ( y ) = sup (¡){f(x))} has a measurable {respec
tively, Suslin) graph.
18.1.8 Proposition
Let f be a correspondence from the set X to R^, and such that its graph G rf
belongs to SS{Ry \ and its integral f f d v is not empty. Let tt be a linear form
on R^. Then sup ^ { j f d v ) = / sup ^ (/(x )) dv{x).
18.1.9 Theorem
Let f b e a correspondence from the set X to such that its graph Gr /belongs to
Then C O I f dv = j co f dv.
(1) j COf dv = j
0 if and only if co f dv = 0 .
J sup 7t( / ) dv. Hence one obtains sup 7t( / co f d v ) = / sup ^(co/ ) =
/ sup 7t( / ) = sup 7t( / / ¿ i;) = sup 7t( / C O = sup 77(co/ / ¿i'). Ttiis fact
together with the convexity of the two sets implies the equality of their
closures.
Let 77- be a linear form on jR", and define
First, let €i be the vector in R" having the value 1 as its zth component and 0
elsewhere. Then the vectors (0(^2), co(e3) ,... ,io(e„) constitute a basis for the
hyperplane H —recall that the axis yi was assumed not be be contained in H.
Now, with respect to {<0(62), ^0(63),,... ,<o(e„)} the correspondence co(/’")
becomes a correspondence/ ’" from A" to R"“ ^
Since io (/’^) has clearly a measurable graph, the same holds for and
since / is ^^iR'D-waiucdy it follows that / ’" is ^o (R "“ ^)-valued. By the
induction hypothesis, therefore, coff'^dv = f cof^'dv.
Now let T be the function from R"“ ^ into R defined by the assignment
(y , >^3,... ,yn)\^ E7/Co(e,). The function r so defined is a linear injection, and
2
<0( № ) ) = T (r(x )) = T o r ( x ) .
Observing that / co[ t ° f'']dv = T{jcof''dv) = ri coff' dv) = cofr ° dv,
one obtains (5) and hence (4). Therefore (3), and therewith the theorem, has
been proved. □
I8.L10 Corollary
Let f be a correspondence from the set X to such that the graph of f belongs to
^ (R "). I f the measure v onsets atomless, then f f dv = J co f dv.
18.L11 Example
Let / be the correspondence defined in Example 17.1.7. Consider now the
correspondence co/ defined by co f { x ) = [2,3] for every x e [0,1]. It easily
follows that i f dv = j c o f d v = [2,3] over the interval [0,1].
204 The Integral of a Valued Correspondence
18.L12 Example
It is easy to construct examples that show that the measurability of the graph
of the correspondence, its nonnegativity, and the atomless property of the
measure space are essential requirements for the vahdity of Corollary 18.1.10.
In what follows, V will denote Lebesgue measure on [0,1] or [0,1[, and / will be
a correspondence from [0, 1 ] to
(i) Let i f be a nonmeasurable subset of [0,1] with inner measure 0 and outer
measure 1. Let /b e defined b y /(x ) = 3} where X// is the characteris
tic function of H. Integrating over [0,1] one obtains f f dv = {3} and J c o f d v
= [1,3].
(ii) L et/b e defined by f ( x ) = { l / x , - 1 / x ) . Note th a t/is not integrable in
the sense of Definition 17.1.1 because Jf dv = 0 . However, one has that
/ COfdv =] —00, oo[.
(iii) Let V be Lebesgue measure on [0,1[, and let {1} be an atom with
measure v({l}) = 5. If/is defined by f ( x ) = {2,3} for every x e [0,1] one has
f f d v = [12,13] U [17,18] and / cof d v = [12,18].
18.2.1 Proposition
Let (f/^: k ^ N ) be a sequence of correspondences from the set X to R% and
assume that there exists a sequence (<i>^: k ^ N ) of functions from X to R+ such
that the following conditions are satisfied:
(i) fk{x) < <t>f^{x) a.e. in X, that is, y < ^¡^(x) for ally e /^(x) a,e. in X.
(ii) The sequence : k ^ N ) is uniformly integrable, and the set (<l>ic(x): k ^
N ) is bounded a.e. in X.
Proof Таксу in lim sup( //^ dv). Then there exists a sequence (y^^,: j N)
with li m it s u c h t h a t = j<t>jdv with фу(х) e ficj(x)J = 1 , 2,... .
18.2 Fatou’s Lemma and Dominated Convergence 205
18.2.2 Corollary
Let k ^ N ) be a set of correspondences from the set X to and assume
each is bounded by the same function xp e Li(X, R ”). Then Urn sup(fff^ dv) c
/ Urn sup{fj^) dv.
We next give another analogue of Patou’s lemma in a formulation which is
close to that of the above corollary.
18.2.3 Proposition
Let (fi^: k ^ N ) be a sequence of correspondences with measurable graphs from
the set X to R^, and assume each fj^ is bounded by the same function ip e
Li(X, /Î"). Then j lim inf{fjf) dv c Um inf{jfj^ dv).
Proof Take y in /hm in f(/^) dv. Then one has y = f<pdv where <p(x) e
lim inf(/^(x)) a.e. in X. The function <p is measurable and hence has a
measurable graph.
Now consider the space R ” X R"" x ... . It can be metrized so that
it is complete, and so that its topology is the product topology (refer to
Kuratowski; 1966, pp. 405, 406). Define a relation g from the set X to
X X . .. by assigning to each x in X the set g(x) = {(ji» ^2»• • •) ^
X R"" X ... : yi ^ fi(x% y ^ f i i ^ X • • • »
2 ^^kyk Observe that
(p(x) Œ hminf(/^(x)) if and only if g(x) # 0 . Now g is clearly a correspon
dence since one obtains g(x) 0 for each x in X. It is easily seen that the
graph of g is measurable, and in consequence g has a measurable almost
everywhere selection y from X to iî" X X ... (Corollary 14.3.3). Hence,
there exists a sequence k ^ N) of measurable functions from 2Í to
such that <i>^(x) belongs to f^(x) a.e. in X, and lim^<i)y^(x) = <p(x).
Now since each correspondence is bounded by the same integrable function
ip, so are the 4>^. Hence lim^/<i)^ ¿/ï' = f<pdv = y, by the Lebesgue bounded
convergence theorem. Finally, since ¡<pj^dv ^ ffk ^ ^ (see Definition
3.1.4) that y G hminf(//^ dv). Summarizing, y g. /h m in f(/^) dv implies y g
hminf(/4 d v \ and therefore /hm in f(/^) dv c liminf(//)^ dv). □
18.2.4 Example
The assumption regarding the measurability of the graphs cannot be dispensed
with in Proposition 18.2.3. Let /f be a nonmeasurable subset of [0,1] with
inner measure 0 and outer measure 1. Consider the sequence { f ¡ ^ : k G N ) o i
206 The Integral of a Valued Correspondence
18.2.5 Theorem
Let (ff^: k ^ N ) be a sequence of correspondences with measurable graphs from
the set X to such that for each x in X lim¡^ff^(x) = f (x), and assume each f/^ is
bounded by the same function \l/ e Li(X, Then limkifk ^ Jfdv.
18.3.1 Proposition
Let T be a metric space, and let f be a correspondence from the product space
X X T to R"^ such that (i) there exists a function ij/ e Li(X, R) satisfying
IIj|l < ^ (x ) for all y G: f ( x, t) and for every t in T\ (ii) for almost all x in X the
correspondence /(x , •) is closed at t. Then the relation that assigns to every t in T
the integral f f { *, t ) dv i s closed at t.
We now end this chapter with a theorem that gives sufficient conditions for
the compactness of the integral of a closed-valued correspondence.
18.3.2 Theorem
Let f be a closed-valued and integrably bounded correspondence from the set X to
jR". Then its integral j f d v is a compact subset of R ”.
18.5 Exercises 207
Proof. For fc = 1 ,2 ,..., set = /. The set f { x ) being closed, one then
obtains that hmsup(/^(A:)) = cl f ( x ) = f (x), and limsup(//^ dv) = cl / / dv.
Now, using Proposition 18.2.1, one sees that cl f f d v = limsup(//^ c
/limsup(/;^) dv = jf dv. Hence j f dv is closed. On the other hand, sin ce/is
bounded by an integrable real-valued function it follows that f f d v is
bounded by the integral f\l/ dv. Therefore f f d v is compact. □
18.3.3 Example
The following counterexample given by Aumann (1965) shows that the integra
ble boundedness condition of Theorem 18.3.2 cannot be dispensed with even if
the values of the correspondences are confined to subsets of R \. Let / b e the
correspondence from [0,1] to defined by f ( x ) = {0, <i>(x)} where <t>(x) =
((1 —x ) / x , ( l — x)/ x). In this case, f f d v is not even a closed set.
For the genealogy of Proposition 18.1.1, the reader is referred to what was said
in Section 17.4 in regard to Theorem 17.1.6. Proposition 18.1.3 was first proved
by Vind (1964).
This chapter depends extensively on Hildenbrand (1974), from where we
have adapted Propositions 18.1.4-18.1.10. Proposition 18.1.8 is proved in
Hildenbrand (1974 pp. 63 if). The proof of Theorem 18.1.9 is given in
Hildenbrand (1974 pp. 64 ff) and is based on an idea of Debreu and
Schmeidler (1972).
The use of Fatou’s lemma in n dimensions (a remarkable result due
independently to Schmeidler, 1970, and Hildenbrand and Mertens, 1971) in
the proof of Fatou’s lemma for correspondences (Proposition 18.2.1) is, once
again, Hildenbrand’s (1974 pp. 68 ff) result. It is a generalization of what is
given here as Corollary 18.2.2, a proposition that was first proved in Aumann’s
(1965) pioneer paper on integration of correspondences. Proposition 18.2.3 and
the Lebesgue dominated convergence theorem for correspondences (Theorem
18.2.4) are Aumann’s (1965) too. A different version of Lebesgue’s theorem is
given by Debreu (1967b) and is discussed in this book as Theorem 17.2.6.
Proposition 18.3.1 comes from Hildenbrand (1974 pp. 73 ff). Theorem
18.3.2 was first proved by Aumann (1965).
18.5 EXERCISES
Radon-Nikodym Derivative
of a Correspondence
In the preceding six chapters our concern has been with correspondences
having an abstract set X as domain, and taking on their values in a metric
space y. In Chapter 18 we narrowed our study to the case of valued
correspondences. In this chapter we continue discussing correspondences whose
values are subsets of i?”. However, in contrast to the preceding chapter, our
special interest will focus on correspondences whose domain is the o-algebra
of the measure space (X, s /, v).
We shall not introduce any novel terminology to denote our new object of
analysis. It is clear, however, that if a correspondence from X to -R” may be
viewed as a function from A" to same token, one may treat
a correspondence from to R" as a set function from to Section
19.4 contains the most important material of this chapter, namely two
Radon-Nikodym theorems for correspondences. This is preceded by an ex
amination of some (for us) indispensable properties of support functions in
Section 19.2. In Section 19.1 the concept of a countably additive correspon
dence is introduced; selections of such correspondences, indeed measures, will
be called selectors, and will be studied in Section 19.3.
Although not always required, we shall assume in this chapter as in other
parts of the book that is a nonnegative measure. Later, after Proposition
19.2.4 of Section 19.2, we shall additionally require that {X, v) be a finite
measure space.
From the difTerent concepts that appear in this chapter, the following one will
attract our special attention.
209
210 Radon-Nikodym Derivative of a Correspondence
19. LI Definition
A correspondence/ from j:/to i?" is said to be countably additive if / ( iN^^k)
= ^very sequence {Aj^: k ^ N ) oi pairwise disjoint elements
of The right-hand side of this equation is, by definition, [y E: \y =
Lk&Nyk^ y k ^ fi^ k \^ k ^ N \\y k \\^ 00}. Since the left-hand side is nonempty
(the value of a correspondence), so is the right-hand side.
19.L2 Proposition
Let f be a countably additive correspondence from to jR", and let p be an
element of R^. For every set A in s^let (i) Pp(A) = sup{p • y ^ / ( ^ ) ) ^f^d
(ii) fp(A) = [ y Ei f ( A ) : p • y = iXp{A)]. Then (i) defines a {R-valued) measure
Pp on s^and (ii) defines a countably additive relation fp from s^to R^.
19.1.3 Remark
The relation)^ need not be a correspondence since fp{A) could be empty. On
the other hand, if / is compact-valued, A is a correspondence.
19.2 Support Functions 211
19.2 SUPPORT FUNCTIONS
19.2.1 Definition
Let / be a correspondence from X to R^. The support function of / is the
mapping K from R^ X X i o R defined by k(/?, x ) = sup{ p ■ y : y ^ f { x ) ) .
19.2.2 Proposition
The support function k of a subset B of R^ is a convex, lower semicontinuous, and
positively homogeneous— that is, K(Xp, B) = Xk( p , B) for every p ^ R^ and
0 < X—function from R^ to oo, oo]. Conversely, if k is a convex, lower
semicontinuous, and positively homogeneous function from R^ to] — oo, oo] it is
the support function of the closed and convex set B = ^ • P *7 ^
«(/»)}•
19.2.3 Proposition
Let kK be the support function of a subset B of R". Let p, q be in R" with
K{q, B) < 00. Then if = k~^q + (1 —k~^)p and A: = 1 ,2 ,..., one obtains
k ( p , B ) = l i m^ K ( q ^ , B).
19.2.4 Proposition
Let Q = (qi^: k ^ N ) be a sequence dense in a subspace L of and let k be a
function from Q to ] — such that its positively homogeneous extension on
the set {z ^ R ”: z = Xq for q ^ Q and X > 0} is well defined and convex. Call
P the convex cone spanned by {q ^ Q: K{q) < oo}. Then there exists a closed
and convex set B = ^ k ^ N i y ‘ ' y — (0 every q in
Q n ri P, K(q, B) = K{q) and (ii) P{B) is contained in cl P.
Proof We notice that for every q ^ n P{B), ¡K(q, x) dv = K(q, B). In
deed, on the one hand /c(^,*) is measurable (Exercise 13.5.1), while on the
other hand, /c(^, x) is convex for every x in X. It follows that //c(^, x) dv is a
convex function, finite on a dense subset of P{B)\ hence, it is finite and
continuous on nP{B).
Now we know (Proposition 19.2.3) that ii p ^ ^ ^ riP(i^), and
qj^ = + (1 - k~^)p, then K{q, B) = hmy^ic(^^, B). It remains to prove
that k(^^, x ) = / k(^^, x ) d v f K ( q , B ) dv.
First we have that lim^sup//c(^y^., x)dv < ¡K(q, x) dv, because of the con
vexity of ¡K(q, x) dv; and due to the fact that K(q, x) = hm^/c(^^, x) for every
jc in X, one has that ¡K{q,x)dv < hmy^.inf//c(^^, x) by Fatou’s lemma.
This completes the proof of the lemma. □
jf k(^, x ) dv = x) dv = fi^(A).
(
Ja \ e
K(p,x)dv= f
‘'A\EF
4>{p,x) dv = p { A \ E ) .
f^K{qk, x ) dp = x ) dr = lig^(E)
for every k ^ N. The fact that k(^*, a:) ^ K{q, x) together with Patou’s lemma
imply
It follows that
j k { p , x ) dv = lim/i j £ ) =
The equahty holds for A since, as it has been shown, it holds for E and
^ \£ . □
19.2.7 Lemma
Let f be a countably additive correspondence from sd to R", absolutely continuous
with respect to v. Then there exists an s^-measurable correspondence g from X to
R" such that
(i) the set g{x) is closed and convex for every x in X;
(ii) for the support function Kof g one has f^K^p, x) dv = p^{A) for each A in
s i and every p in R ”.
the condition L{f {Af ) = M for every A c. X with v(A) > 0 of Lemma 19.2.6
by the following one: X = Uj^j^Xj for some ( X j : j ^ N ) such that L{f{A))
= Mj holds for every A Xj with ^(^1) > 0 and for each j. Lemma 19.2.6 still
holds on each Xj.
Let j / q = {A c: X: v(A) > 0}, and set n^ = max^gj^^dim L{f{A)).
Denote by JSfthe set { L { f { A f f ) : dim L( f (A^)) = Wq for an A„ e jj^with
v(A^) > 0}. Since «0 is maximal one has that A c A„ and v(A) > 0 imply
L( f ( A) ) = L(f(AJi ). Suppose, furthermore, that L( f ( A^) ) ^ L(f(Ap)).
193 Selectors of Countably Additive Correspondences 215
19.3.1 Lemma
Let g be the closed- and convex-valued^ s^-measurable correspondence from X to
of Lemma 19.2.7. Define the correspondence h from X to R ” by setting
h{x) = rig{x) for every x ^ X. Then S ( h f the set of integrable almost every
where selections of h (see Section 17.1), is nonempty.
Proof. It will be sufficient to deal with the case A = X. Note that since h is
convex-valued, j h d v is a. convex set regardless of whether contains atoms or
not. Furthermore, by Lemma 19.3.1, h has an integrable selection.
First we prove that
j h d v <znf{X).
ri/(A^) c j h d v .
19.3.4 Example
Let V be Lebesgue measure on the interval [0,1], and consider the correspon
dence / defined by f ( A ) = {0,1,2,...} when v(A) > 0, and f ( A ) = {0} when
v(A) = 0, The correspondence / , which is not convex-valued, is absolutely
continuous with respect to v. Any selector 0 of / is atomless since 0 v too.
Now suppose 0([0,1]) = 1; it follows that the range of 0 is the interval [0,1],
clearly a contradiction. Hence, the only selector of / is the measure 0 with
0(A) = 0 for every measurable A.
19.3.5 Example
Let V be Lebesgue measure on the interval [0,1 ], and consider the correspon
dence / defined by f ( A ) = {0} when A is countable, and f ( A ) =]0, oo[ when
A is a, Lebesgue-measurable but uncountable set. Since it is possible to con
struct an uncountable set of Lebesgue measure zero, it follows that / has no
selector.
218 Radon-Nikodym Derivative o f a Correspondence
19.4.1 Definition
Let / be a countably additive correspondence from s / to ii", absolutely
continuous with respect to v, A correspondence g from X to is a
Radon-Nikodym derivative of / with respect to if fy^g{x) dv = f {A) iox every
for every A
Suppose now / is a given countably additive convex-valued correspondence
on The letter J t will denote the collection of all countably additive
convex-valued correspondences h on j/w hich satisfy the condition cl h{A) =
cl f {A) for every A in j / . The greatest and the smallest element in with
respect to inclusion ( c ) , when they exist, will be denoted by / and / ,
respectively.
We study next a first Radon-Nikodym-type theorem for correspondences.
19.4.2 Theorem
Let f be a countably additive convex-valued correspondence from ^ to R",
absolutely continuous with respect to v. Then J i has a greatest element / , and f has
an s/-measurable closed- and convex-valued Radon-Nikodym derivative.
19.4.3 Theorem
Let f be a countably additive convex-valued correspondence from ^ to R”,
absolutely continuous with respect to v. Then J ( has a smallest element /, and f
has an s^-measurable relatively open- and convex-valued Radon-Nikodym deriva
tive.
This chapter follows closely the work of Artstein (1972). The preliminary
results that led to Section 19.4 on Radon-Nikodym derivatives can also be
found in the latter author’s paper. For a detailed study of convexity and of
support functions in a context most suitable to the problems discussed in this
chapter, the reader is referred to Rockafellar (1970).
Countably additive correspondences—set-valued measures in Artstein’s
terminology—have been the subjects of earher studies by Debreu and
Schmeidler (1972), Schmeidler (1971), and Vind (1964). The paper by Debreu
and Schmeidler centers on the subject of the Radon-Nikodym theorems; the
same subject has also a very important place in Artstein’s article.
Theorems 19.4.2 and 19.4.3 are due, in their present form, to Artstein. The
first of the two propositions is a partial extension of an earher result by Debreu
and Schmeidler to the effect that a countably additive, nonnegative, absolutely
continuous, and convex-valued correspondence / from j / to an ordered, finite
dimensional, real vector space Y has a Radon-Nikodym derivative if and only
if / = /. As is shown by Artstein by means of a counterexample, the ‘'only i f ’
part of the Debreu and Schmeidler theorem cannot be extended in this fashion
if one drops the assumption that / admits nonnegative values only.
In the same paper, using the continuum hypothesis, Artstein is also able to
prove the following general proposition: a convex-valued correspondence from
s / to R", absolutely continuous with respect to v, has a Radon-Nikodym
derivative.
220 Radon-Nikodym Derivative of a Correspondence
19.6 EXERCISES
Applications:
Mathematical Economics I V
20.1 MEANDEMAND
For a finite (i.e., the number of agents is finite) pure exchange economy
like the one we met in Section 10.2, the definition of mean demand—demand
per head—is straightforward:
m{p) = ^ E d{ a , p ) .
a^A
221
222 Applications: Mathematical Econom ics IV
m { p ) = j d{ X{ a ) , >^ , w{ a ) , p ) d v .
20*L1 Definition
An economy ^ o r is said to be atomless if {A, j / , v ) is an atomless measure
space; it is said to be convex if it is atomless or if almost all agents belonging to
an atom have convex preferences.
The following result shows that the properties of mean demand depend, in
general, on the preference-wealth distribution and the number of agents in A.
We assume here a distribution pure exchange economy from ^ to g x
where Q is once more the space of irreflexive, transitive, and continuous
preferences, and X{a) satisfies A1 (Section 5.1) for all a e A.
20. L 2 Theorem
Let be as described above, and assume p » 0. Then
(i) com(p) = cofQ^^d{% p)dp,
where ¡x is the preference-wealth distribution v°
(ii) I f the economy is convex then the mean demand set m{p) is convex',
(iii) If, for almost all a ^ A, p • x < w{a) for all x e X(a), then m( p) is
nonempty and compact.
owns an initial endowment nor a title on profit, then the agent’s budget
constraint is simply p • x <Q. Now, the second component is the value of
that is, /? * £(«). Without any claim on profit, the agent’s budget constraint
would thus h&p ' X < p ' i{a) = w{a).
The determination of the third component, share in profit, is less straight
forward in the case of a coalition production economy. Suppose that 7 ^ Y{ A)
is the total production of the economy, and let p be the prevailing price system.
It is easy to see, by our sign convention, that the total profit for the economy,
as a whole, is given hy p • y, \i y is not the zero vector, then we need a
reasonable mechanism to distribute profit p *y among the agents in A, Con
sider a coalition S with production possibihty 7 (5 ) and let p be the
prevailing price system. Assuming profit maximization, that is, that 5 chooses a
production plan in Y(S) that maximizes profit at p —a standard behavioural
assumption in economic analysis—we conclude that 5 can obtain the sum
^^Py^Y(S)P *Y' Returning now to the description of a suitable mechanism for
the distribution of the total profit p • y{y e Y(A)), it seems reasonable to
expect that 5 would lay a claim to no less than what it can obtain by its own
productive effort, that is, supy^Y(S)P ' Y- Except in one special case, namely
when the correspondence Y from s / to is countably additive, there
is no guarantee that a distribution mechanism exists which satisfies the
condition that every coalition 5 e j / receives a share in total profit equal to
• Y' We thus assume that the production set correspondence Y is
countably additive, that is, = E~=i7(5^), and, additionally, that it
is absolutely continuous with respect to v, that is, 7 (5 ) = {0} if v(S) = 0.
20.2.1 Proposition
Let {S^Y ) be a coalition production economy where S and Y satisfy the
assumptions previously described. Then there exists a function p) from A to
U ( 00}, called the individual profit distribution, uniquely determined up to
v-equivalence.
^ { S ,p ) = jTr{',p)dv.
•'C
20.2.2 Definition
Let <i> be an allocation for the coalition production economy (<f, Y), The
coahtion E e j^can improve upon the allocation if there is an aUocation ij/ for
(<f, Y) such that
(i) xl^(a) >^<t>(a) a.e. in A;
(ii) r(E) > 0 and ¡Ei'dv e + Y{E).
20.2.3 Definition
The core C{ S , Y ) of the economy (^, 7 ) is the set of all feasible allocations of
( ^ , 7 ) that no coalition in J2^can improve upon.
20.2.4 Definition
A Walras or competitive equilibrium for an economy (^ , 7 ) is an aUocation a
production plan 7 * e Y( A), and a price vector p ^ p ¥= 0, such that
(i) <t>(a) ^ d ( X ( a f /?) a.e. in A;
(ii) p • y* = • y;
(iii) J^<l)dv = j^idv + y*.
20.2.5 Theorem
Let ( ^ , 7 ) be a coalition production economy with the previously prescribed
properties. Then C (^, 7 ) = W{S, Y).
226 Applications: M athematical Econom ics IV
For the theory of mean demand the reader is referred to Hildenbrand (1974
pp. 109 ff), from where Theorem 20.1.2 has been borrowed. Mean demand has
20.3 N otes and Remarks 227
Alexandrov, P. S. (1924). Über die Métrisation der im kleinen kompakten topologischen Räume,
M a t h . A n n . 92, 294-301.
Allen, R. G. D. and A. L. Bowley (1935). F a m il y E x p e n d itu r e : A S t u d y o f I t s V a r ia tio n ^ Staples
Press, London.
Arbib, M. A. (1966). Generalizations of Lyapunov’s theorem on the range of a vector measure, J .
M a t h . M e c h . 15, 611-616.
Arrow, K. J. and G. Debreu (1954). Existence, of equilibrium for a competitive economy,
E c o n o m e tr i c a 22, 265-290.
Arrow, K. J. and F. H. Hahn (1971). G e n e r a l C o m p e ti tiv e A n a l y s i s , Holden-Day, San Francisco.
Arrow, K. J. and M. D. Intriligator (eds.) (1983). H a n d b o o k o f M a t h e m a t i c a l E c o n o m ic s , Vol. 2,
North-Holland, Amsterdam.
Artstein, Z. (1972). Set valued measures, T r a n s . A m . M a t h . S o c . 165,103-121.
Assad, N. A. and W. A. Kirk (1972). Fixed point theorems for set-valued mappings of contractive
type. P a c i f i c ! . M a t h . 43, 553-562.
Aumann, R. (1964). Markets with a continuum of traders, E c o n o m e tr i c a 32, 39-50.
______(1965). Integrals of set-valued functions,/. M a t h . A n a l . A p p l . 12,1-12.
______ (1966). Existence of competitive equilibria in markets with a continuum of traders,
E c o n o m e tr i c a 34, 1-17.
(1969). Measurable utility and the measurable choice theorem. L a D e c is io n , C o llo q u e
I n t e r n a t i o n a u x d u C . N . R . S . , Paris 171,15-26.
Banach, S. (1932). T h é o r ie d e s O p é r a tio n s L in é a ir e s , Monografje Matematyczne, Warsaw.
Banks, H. T. and M. Q. Jacobs (1970). A differential calculus for multifunctions, J . M a t h . A n a l .
A p p l . 29, 246-272.
Berge, C. (1963). E s p a c e s T o p o lo g iq u e s , Dunod, Paris, Transi. E. M. Patterson, T o p o lo g ic a l S p a c e s ,
Oliver and Boyd, Edinburgh.
Bewley, T. (1972). Existence of equilibria in economies with infinitely many commodities, J .
E c o n o m ic T h e o r y 4, 514-540.
______(1973). The equality of the core and the set of equilibria in economies with infinitely many
commodities and a continuum of agents. I n te r n a t i o n a l E c o n o m ic R e v ie w 14, 383-394.
Bierlein, D. (1961). Der Graph messbarer Funktionen mit abstrakten Definitionsbereich, M a t h .
Z e i t . 76, 468-471.
229
230 Bibliography
Fraser, R. B. and S. B. Nadler (1969). Sequences of contractive maps and fixed points, P a c ific J .
M a t h . 31, 659-667.
Houthakker, H. S. (195i>). The Pareto distribution and the Cobb-Douglas production function in
activity analysis. R e v ie w o f E c o n o m ic S t u d ie s 23, 27-31.
Ichiishi, T. (1974). S o m e g e n e r ic p r o p e r tie s o f s m o o t h e c o n o m ie s , Ph.D. thesis, Univ. Calif., Berkeley.
______ (1977). Coalition structure in a labor-managed market economy, E c o n o m e tr i c a 45,
341-360.
Jacobs, M. Q. (1969). On the approximation of integrals of multi-valued functions, S I A M J .
C o n tr o l 7,158-177.
Ponomarev, V. I. (1958). On a common invariant set for two continuous multivalued mappings of
a bicompactum into itself (Russian), D o k l. A k a d . N a u k . S . S . S . R . 118, 1081-1084.
______(1964a). A new space of closed sets and multivalued continuous mappings of bicompacta
(Russian), M a t . S b o r n i k 48(90), 191-212, 1959. A m . M a t h . S o c . T r a n s i. (2) 38, 95-118.
(1964b). Properties of topological spaces preserved under multivalued continuous map-
pings. M a t . S b o r n i k 51(93), 515-536, 1960. A m . M a t h . S o c . T r a n s l. (2) 38, 119-140.
Price, G. B. (1940). The theory of integration, T ra n s. A m . M a th . S o c. 47, 1-50.
Rädström, H. (1952). An embedding theorem for spaces of convex sets, P roc. A m . M a th . S o c. 3,
165-169.
Richter, H. (1963). Verallgemeinerung eines in der Statistik benötigten Satzes der Masstheorie,
M a t h . A n n . 150, 85-90, and Beweisergänzung, 440-441.
Shubik, M. (1959). Edgeworth market games, in R. D. Luce and A. W. Tucker (eds.), C o n tr ib u tio n s
to th e T h e o r y o f G a m e s , IV, Ann. of Math. Studies, 40, Princeton Univ. Press, Princeton,
267-278.
Sierpinski, H. W. (1934). I n tr o d u c tio n to G e n e r a l T o p o lo g y , Toronto University Press, Toronto.
______ (1950). Les Ensembles Projectifs et Analytiques, M e m . d e s S c ie n . M a t h . Ease. CXII,
Gauthier-Villars, Paris.
Sion, M. (1960a). On uniformization of sets in topological spaces, T r a n s . A m . M a t h . S o c . 96,
237-246.
______ (1960b). Topological and measure-theoretic properties of analytic sets, P r o c . A m . M a t h .
S o c . 11, 769-776.
______(1960c). On analytic sets in topological spaces, T r a n s . A m . M a t h . S o c . 96, 341-354.
Smithson, R. E. (1965). Some general properties of multivalued functions. P a c ific J . M a t h . 15,
681-703.
______(1971). Fixed points for contractive multifunctions, P r o c . A m . M a t h . S o c . 27, 192-194.
Sondermann, D. (1974). Economies of scale and equilibria in coalition production economies, J.
E c o n o m ic T h e o r y 8, 259-291.
Sonnenschein, H. F. (1971). Demand theory without transitive preferences, with applications to the
theory of competitive equilibrium, J. S. Chipman, L. Hurwicz, M. K. Richter, and H. F.
Sonnenschein (eds.). P r e fe r e n c e s , U tility , a n d D e m a n d , Harcourt Brace Jovanovich, New
York.
Stone, A. H. (1956). Metrizability of decomposition spaces, P roc. A m . M a th . S o c . 7, 690-700.
Strother, W. (1953). On an open question concerning fixed points, P roc. A m . M a th . S o c . 4,
988-993.
______(1955a). Multi-homotopy, D u k e M a t h . J . 22, 281-285.
______(1955b). Fixed points, fixed sets and M retracts, D u k e M a t h . J . 22, 551-556.
______(1958). Continuous multivalued functions, B o l. d a S o c . d e S a o P a u l o 10, 87-120.
Suppes, P. (1960). A comparison of the meaning and uses of models in mathematics and the
empirical sciences, S y n t h e s e 12, 283-301.
______ (1967). S e t - T h e o r e t i c a l S tr u c t u r e s in S c ie n c e , Institute for Mathematical Studies in the
Social Sciences, Stanford University, Stanford, California.
Suslin, M. (1917). Sur une définition des ensembles mesurables B sans nombres transfinies, C .R .
A c a d , d e s S e i e n ., P a r is 164, 88-91.
Uzawa, H. (1962). Walras’ existence theorem and Brouwer’s fixed point theorem. E c o n o m ie S t u d i e s
Q u a r te r ly 13, 59-62.
von Neumann, J. (1937). Über ein ökonomisches Gleichungssystem und eine Verallgemeinerung
des Brouwerschen Fixpunktsatzes, E r g e b n is s e e in e s M a th e m a tis c h e n K o llo q u iu m s , V ie n n a 8,
73-83.
______(1949). On rings of operators. Reduction theory, A n n . M a t h . 50, 401-485.
von N eu m an , J. and O. Morgenstern (1947). T h e o r y o f G a m e s a n d E c o n o m ic B e h a v io r , Princeton
University Press, Princeton.
Wald, A. (1935). Ü b e r d ie P r o d u k tio n s g le ic h u n g e n d e r ö k o n o m is c h e n W e r tle h r e , Ergebnisse eines
Mathematischen Kolloquiums, Vienna.
Bibliography 237
Ward, L. E. (1961). Characterizations of the fixed point property for a class of set-valued
mappings. F u n d . M a t h . 50, 159-164.
______ (1970). Set-valued mappings on partially ordered sets, in W. M. Fleischman, (ed.),
S e t - V a l u e d M a p p i n g s , S e le c tio n s a n d T o p o lo g ic a l P r o p e r tie s o f 2 ^ , Lecture Notes in Math. 171,
Springer, Berlin, New York.
Watson, P. L. (1953). On the limits of sequences of sets. Q u a r t. J . M a t h (2), 4, 1-3.
Wehausen, J. V. (1945). Transformations in metric spaces and ordinary differential equations. B u ll.
A m . M a t h . S o c . 51, 113-119.
Notation Index
The following index lists the first appearance of the various special symbols
which are used frequently in the book. For the most part, we have adhered to
the following conventions. Sets are denoted by capital itaUc letters like
A, B , . . . , F , G , . . . , X, Y, Z] collections of sets by script letters like
correspondences by small itahc letters like f , g , h ,
and, in the economics chapters, also by boldface italic letters like b , d , . . . , . . . ;
finally, functions are denoted by small Greek letters like <j>,i(/, y, ... .
Symbol Page
A B 46
{A„-.n^D) 23
A„^A{^) 33
Af , Af 10
(A,j/,v) 55
s i ® SS{Y) 132
K 132
A(-) 138
A 196
#A 221
aff 169
B(x, X) 38
8
157
^ (7 ) 132
^0 53
b 119
c 116
C (#) 174
239
240 Notation Index
C( <f , V ) 225
c l/ 66
co/ 67
d 37
d{a,C) A1
d„ 47
(A >) 23
^ ^ rinspA 29
d 119
diam 164
dim 214
138
[EJ 142
i (an economy) 118
i (a paving) 137
E*
189
222
55
e 123
e p i/ 67
/ 3
fn 159
fp 210
f s J \ L , r 4
r 200
V 66
/ 67
4
f* 189
f j 218
r 203
/ U g, / n g 68
/ 1 ^ /2 69
F 8
SF{X) 10
^o(X) 9
g 68
G 7
[%G] 7
G\ 16
157
g °f 68
Notation Index 241
66
Gig 255
K 159
h{x) 215
i (an index) 8
i (natural injection) 13
/ 147
Ig 8
J 80
K (compact set) 9
K (positive cone) 111
Jf(X) 10
Jfo(X) 9
111
L 70
Loo 196
L(B) 211
L,(X,Y) 181
8
lim inf A„ (no topology) 23
limsup^„ (no topology) 23
liminM „ (with topology) 24
lim sup (with topology) 24
m(x) 113
M 212
J( 218
m 221
N 14
30
139
14
14
19
^P 139
91
e>{x) 103
242 Notation Index
p (a correspondence) 113
P= (element of R ‘•) 58
Pn 47
P (positive cone) 120
P (set of multi-indices) 137
P(B) 211
P 122
4
^ o (^ ) 7
^ o (^ o (^ )) 80
pr, 88
q 211
q\k 139
Q (set of preference relations) 57
Q (sequence in /? " ) 211
^ o (^ ) 45
R, R” 6
R^ 55
38
^0* 188,189
ri 169
S ’’,SP,S^P'’’'> 144
Rp> Rp\k 145
S(f) 185
To^Ti^T, 15
7
11
7,8
37
t 123
u 30
98
^ (base for upper topology) 7
(base for Vietoris topology) 157
114
Vr 210
r 41
Notation Index 243
w(a) 57
W 142
W( ^ ) 123
W{S’, Y) 125
W
''a 200
X 3
[Xi,X2],[Xi,X2[,... 5
X (consumption set correspondence) 56
XXY 3
{X, < ) , X \ A 6
( X, d ) 37
i x, \ \ - \ \ ) 45
X' = XKJ {00} 49
132
Of Of Of Of
135
{X,^) 136
Alexandrov, P.S., 21, 229 Debreu, G., 21, 54, 60, 61, 116, 126, 127,
Allen, R.G.D., 177, 229 150, 159, 160, 177, 178, 185, 195, 196,
Arbib, M.A., 133, 229 202, 207, 219, 220, 227, 231
Arrow, K.J., 54, 127, 178, 227, 229 Dellacherie, C., 235
Artstein, Z., 1 9 5 ,2 1 1 ,2 1 5 ,2 1 7 ,2 1 9 ,2 2 0 , Dierker, E., 127, 231
229 Diestel, J., 195, 231
Assad, N.A., 104, 106, 229 Dieudonne', J., 70, 231
Aumann, R., 60, 127, 160, 168, 177, 185, Dinculeanu, N., 132, 133, 183, 218, 231
195, 207, 227, 229 Dugundji, J., 3, 10, 97, 98, 100, 231
Duncan, J., 107, 230
Banach, S., 52, 229 Dunford, N., 81, 100, 102, 104, 131, 132,
Banks, H.T., 195, 229 133, 159, 181, 183, 190, 193, 194, 231
Berge, C , 10, 21, 35, 71, 93, 105, 116, 229
Bewley, T., 127, 177, 229 Edelstein, M., 103, 106, 231
Bierlein, D., 150, 229 Edgeworth, F., 177, 231
Blackwell, D., 197, 230 Effros, E.G ., 35, 52, 231
Böhm, V., 227, 230 Eggleston, H .G ., 51, 231
Bohnenlust, H., 105, 230 Eilenberg, S., 9, 105, 231
Bonsall, F.F., 107, 230
Borges, C.J.R., 93, 230 Fan, K., 96, 106, 231
Bose, R.K., 106, 230 Fell, J.M .G., 3 5 ,5 2 , 231
Bourbaki, N., 10, 21, 35, 70, 88, 93, 150,153, Flachsmeyer, J., 21, 35, 93, 106, 231
183, 230 Fort, M.K., 10, 93, 106, 231
Bowley, A.L., 177, 229 Fraser, R.B., 106, 232
Brelot, M., 150, 230 Frink, O., 9, 232
Bressler, D.W ., 150, 230 Fuller, F.B., 107, 232
Bridgland, T.F., 195, 230
Browder, F.E., 96, 100, 106, 230 Gale, D., 60, 102, 127, 232
Brown, D., 177, 230 Gillies, D.B., 177
Byrne, C.L., 193, 195, 196, 230 Glicksberg, I.L., 105, 232
Granas, A., 21, 106, 232
Castaing, C , 51, 132, 160, 168, 169, 195, Greenberg, G.J., 178, 232
196,230 Grodal, B., 61, 232
Celina, A., 101, 105, 107, 230
Champsaur, P., 227, 230 Hahn, F.H ., 54, 127, 227, 229
Chemoff, H., 133, 230 Hahn, H., 10, 232
Choquet, G., 10, 35, 93, 150, 230 Halkin, H., 133, 232
Christensen, J.P.R., 150, 231 Halmos, P .R , 131, 133, 146, 181, 183, 201,
Cornwall, R , 177,231 232
245
246 Author Index
249
250 Subject Index
Coalition, 55, 173, 223 Continuum of agents, economy with, 127, 177
improving, 173, 225 Continuum hypothesis, 21, 219
production economy, 55, 58, 61, 221, 223 Contract curve, 177
profit distribution mapping, 224 Contractive:
Codomain of relation, 5 correspondence, 103
Cofinal subset, 24, 28 orbit, 103
Collection of: Convergence:
all finite subsets, 14, 19 criteria for, 30ff
compact convex subsets of real normed in mean, 184
vector space, 45, 188, 189 of nets, 24
Commodity: of subsets, 23, 24, 27, 29, 50
bundle, 56, 119 in non-locally compact spaces, 32
space, 56 of sequences of subsets of metric space, 43ff
infinite, 127 in Vietoris topology, 33, 34
Compact: Convex:
convex set, 45, 100 economy, 222
HausdorfF space, 17, 33, 50, 51 function, 110
paving, 150, 151 hull of correspondence, 67, 89, 201
set, image under correspondence of, 90 relation, 57
Compactification, one-point, 49 sets, 45
Compactness, 16fF Convex-valued correspondence, 97, 100, 101
of integral of correspondence, 206 Core:
sequential, 46, 47 of coalition production economy, 225ff
Compact-valued correspondences, 157ff of pure-exchange economy, 171, 173, 174,
and selections, 164 176
Competitive equilibrium, 121, 123, 173, Core-equilibrium equivalence theorem:
225 for economies with production, 225,
existence of, 126, 127 227
set of, 123 for pure exchange economy, 176, 177
theory of, 177 Correspondence, 3, 65fF, 105
Complement of correspondence, 66, 83, 84 absolutely continuous, 212 ff
Complete: Borel measurable, 156, 159
measure space, 132, 153, 155 budget set, 120, 121
separable metric space, 153 closed, 73, 78, 93
Composition of correspondences, 68, 87 closed-valued, 153, 154, 156
Concave function, 115 and convex-valued, 98, 99
Connectedness, 18ff, 21, 48 and selections, 163fF
Connected set, image under correspondence of, closure of, 66, 67, 85
90 compact-valued, 157fF
Consumer(s), 118, 120, 122, 173, 222 and selections, 164
earnings of, 223 consumption set, 56, 120
measure space of, 55, 173, 222 continuous, 73ff, 93
types of, 177 convex-valued, 97, 100, 101
Consumption: demand, 120, 121
sector, 222 properties of, 123
set, 56 without transitivity assumption, 126
assumptions for, 56, 120ff HausdorfF continuous, 73
Consumption-set correspondence, 56, 120 injective, 71
Continuous: integrable, 185fF, 189
correspondence, 73ff, 93 integrably bounded, 186, 223
absolutely, 212 ff Lebesgue measurable, 156
extension, 95 lower hemicontinuous, 73ff
relation, 56 lower semicontinuous, 8, 73fF, 159, 161
selections, 96fF measurable, 153, 156
Subject Index 251
Price { C o n t i n u e d ) indifference, 56
system, 58, 171 monotonic, 57
Private ownership economy, 61 negatively transitive, 56
Probability measure, 55 nonreflexive, 5
atomless, 55 preference, 56, 113
Product: preference-indifference, 56
(7-algebra, 132, 144 range of, 5
of correspondences, 69, 87 reflexive, 5
paving, 136 symmetric, 5
Production possibility set, 57 transitive, 5
Production set correspondence, 57, 223 Relative interior, 169, 211
Profit maximization assumption, 224 Retraction, 80
Projections:
of measurable sets, 144ff Schauder-Tychonoff fixed point theorem, 100,
of Suslin sets, 142, 143 102, 105
Projection theorem: Segment
for measurable sets, 135, 144, 147, 150, final, 5ff, 24
155, 199, 200 initial, 5ff
for Suslin sets, 135, 143, 144, 150 Selection, 95, 97ff, 105, 215
Properties of set of preferences, 59 as continuous choice function, 95
of total demand correspondence, 124 Selection theorem, 135, 163, 165flf
of total excess demand correspondence, Selector, 209, 215, 216, 220
125 Semicompact paving, 136, 139, 150
Pseudometric, 38 Semicontinuity, relationship with
extended, 38 hemicontinuity, 77fif
Hausdorff extended, 39ff, 52 Separable metric space, 51
Separation, 14fif
Radon measure, 149, 168, 170, 196 Sequence of subsets, 24
Radon-Nikodym derivative: Sequential compactness, 46, 47
of correspondence, 218ff S et
of measure, 213 analytic, 138, 150, 160
Radon-Nikodym Theorem: balanced, 53
for correspondences, 218ff, 226 capacitable, 148
for measures, 184, 224 compact convex, 45, 100
M dstrom’s embedding theorem, 189, 195 consumption, 56
Range of relation, 5 convex, 45
Real normed vector space, 188, 189. S e e a l s o demand, 120, 122
Normed linear space directed, 23, 29, 32
collection of compact convex subsets of, 45, expanded, 39
188, 189 partially ordered, 6ff
Rectangle, open, 6 paved, 136
Refinement of cover, 97 power, 6, 7ff
Reflexive Banach space, 195, 196 sifted, 142
Reflexive relation, 5 Suslin, 135ff, 138, 150, 162, 165, 186, 199
Relation: characterization of, 139ff, 160
antisymmetric, 5 totally bounded, 48
budget set, 120, 121, 172 universally measurable, 144
codomain of, 5 Set of:
continuous, 56 closed, bounded, convex, nonempty subsets,
convex, 57 45
countably additive, 210 closed, bounded, nonempty subsets, 45
demand, 120, 171 closed, convex, nonempty subsets, 45
domain of, 5 compact, convex, nonempty subsets, 45,
equivalence, 5, 38, 53 188, 189
Subject Index 255
Erwin Klein was born in 1935 in Buenos Aires. He obtained his doctorate in
economics from the University of Hamburg; he is also a law graduate from the
University of Buenos Aires and has an M.Sc. in mathematics from Dalhousie
University.
Professor Klein has been with the Department of Economics at Dalhousie
University since 1967. He has lectured and done research in his fields—
mathematical economics, mathematical methods in theoretical economics, and
foundations of economic theories—in Argentina, Canada, the Federal Repub
lic of Germany, and Sweden. In particular, he has been a visiting researcher at
the Institute of International Economic Studies, University of Stockholm, and
at the Instituto Torcuato Di Telia, Buenos Aires.