Professional Documents
Culture Documents
A Course On Borel Sets
A Course On Borel Sets
Editorial Board
S. Axler F.W. Gehring K.A. Ribet
S.M. Srivastava
A Course on
Borel Sets
With 11 D1ustrations
~ Springer
S.M. Srivastava
Stat-Math Unit
Indian Statistical Institute
203 B.T. Road
Calcutta, 700 035
India
Editorial Board
S. Axler F.W. Gehring K.A. Ribet
Department of Department of Department of
Mathematics Mathematics Mathematics
San Francisco State University of Michigan University of California
University Ann Arbor, MI 48109 at Berkeley
San Francisco, CA 94132 USA Berkelq, CA 94720
USA USA
ISBN 978-3-642-85475-0
All rights reserved. No part of this publication may be reproduced, stored in any
electronic or mechanical form, including photocopy, recording or otherwise,
without the prior written permission of the publisher.
"This edition is licensed for sale only in India, Pakistan, Bangladesh, Sri Lanka and
Nepal. Circulation of this edition outside of these territories is UNAUTHORIL:ED
AND STRICTLY PROHIBITED."
S. M. SriVb8tava
Contents
Acknowledgments vii
Introduction xi
2 Topological Preliminaries 39
2.1 Metric Spaces . . . . . . 39
2.2 Polish Spaces ...... 52
2.3 Compact Metric Spaces 57
2.4 More Examples . . . . . 63
x Contents
References 241
Glossary 251
Index 253
Introduction
The roots of Borel sets go back to the work of Baire [8]. He was trying to
come to grips with the abstract notion of a function introduced by Dirich-
let and Riemann. According to them, a function was to be an arbitrary
correspondence between objects without giving any method or procedure
by which the correspondence could be established. Since all the specific
functions that one studied were determined by simple analytic expressions,
Baire delineated those functions that can be constructed starting from con-
tinuous functions and iterating the operation 0/ pointwise limit on a se-
quence 0/ functions. These functions are now known as Baire functions.
Lebesgue [65] and Borel [19] continued this work. In [19], Borel sets were
defined for the first time. In his paper, Lebesgue made a systematic study
of Baire functions and introduced many tools and techniques that are used
even today. Among other results, he showed that Borel functions coincide
with Baire functions. The study of Borel sets got an impetus from an error
in Lebesgue's paper, which was spotted by Souslin. Lebesgue was trying to
prove the following:
Suppose / : )R2 - - R is a Baire function such that for every x, the
equation
/(x,y) = 0
has a. unique solution. Then y as a function 0/ x defined by the above
equation is Baire.
The wrong step in the proof was hidden in a lemma stating that a set
of real numbers that is the projection of a Borel set in the plane is Borel.
(Lebesgue left this as a trivial fact!) Souslin called the projection of a
Borel set analytic because such a set can be constructed using analytical
operations of union and intersection on intervals. He showed that there are
xii Introduction
analytic sets that are not Borel. Immediately after this, Souslin [111 J and
Lusin [67J made a deep study of analytic sets and established most of the
basic results about them. Their results showed that analytic sets are of
fundamental importance to the theory of Borel sets and give it its power.
For instance, Souslin proved that Borel sets are precisely those analytic sets
whose complements are also analytic. Lusin showed that the image of a
Borel set under a one-to-one Borel map is BoreL It follows that Lebesgue's
thoerem-though not the proof-was indeed true.
Around the same time Alexandrov was working on the continuum hy-
pothesis of Cantor: Every uncountable set of real numbers is in one-to-one
correspondence with the real line. Alexandrov showed that every uncount-
able Borel set of reals is in one-to-one correspondence with the real line [2J.
In other words, a Borel set cannot be a counterexample to the continuum
hypothesis.
Unfortunately, Souslin died in 1919. The work on this new-found topic
was continued by Lusin and his students in Moscow and by Sierpinski and
his collaborators in Warsaw.
The next important step was the introduction of projective sets by
Lusin [68J, [69], [70J and Sierpinski [105J in 1925: A set is called projective
if it can be constructed starting with Borel sets and iterating the operations
of projection and complementation. Since Borel sets as well as projective
sets are sets that can be described using simple sets like intervals and
simple set operations, their theory came to be known as descriptive set
theory. It was clear from the beginning that the theory of projective sets
was riddled with problems that did not seem to admit simple solutions. As
it turned out, logicians did show later that most of the regularity properties
of projective sets, e.g., whether they satisfy the continuum hypothesis or
not or whether they are Lebesgue measurable and have the property of
Baire or not, are independent of the axioms of classical set theory.
Just as Alexandrov was trying to determine the status of the continuum
hypothesis within Borel sets, Lusin [71J considered the status of the axiom
of choice within "Borel families." He raised a very fundamental and difficult
question on Borel sets that enriched its theory significantly. Let B be a
subset of the plane. A subset C of B uniformizes B if it is the graph of a
function such that its projection on the line is the same as that of B. (See
Figure 1.)
Lusin asked, When does a Borel set B in the plane admit a Borel uni-
formization? By Lusin's theorem stated earlier, if B admits a Borel uni-
formization, its projection to the line must be Borel. In [16] Blackwell [16]
showed that this condition is not sufficient. Several authors considered this
problem and gave sufficient conditions under which Lusin's question has
a positive answer. For instance, a Borel set admits a Borel uniformization
if the sections of B are countable (Lusln [71j) or compact (Novikov [90J)
or CT-compact (Arsenin [$J ancl Kunugui [60j) or nonmeager (Kechris [SfJ
and Sarbadhikari [100]). Even today these results are ranked among the
Introduction xiii
y c
X
Figure 1. Uniformization
finest results on Borel sets. For the uniformization of Borel sets in general,
the most important result proved before the war is due to Von Neumann
[124): For every Borel subset B 0/ the square [0,1) x [0,1), there is a null
set N a!ld a Borel function / : [0,1) \ N - + [0,1) whose graph is contained
in B. As expected, this result has found important applications in several
branches of mathematics.
So far we have mainly been giving an account of the theory developed
before the war; i.e., up to 1940. Then for some time there was a lull, not
only in the theory of Borel sets, but in the whole of descriptive set theory.
This was mainly because most of the mathematicians working in this area
at that time were trying to extend the theory to higher projective classes,
which, as we know now, is not possible within Zermelo - Fraenkel set theory.
Fortunately, around the same time significant developments were taking
place in logic that brought about a great revival of descriptive set theory
that benefited the theory of Borel sets too. The fundamental work of Gooel
on the incompleteness of formal systems [44) ultimately gave rise to a rich
and powerful theory of recursive functions. Addison [1) established a strong
connection between descriptive set theory and recursive function theory.
This led to the development of a more general theory called effective
descriptive set theory. (The theory as developed by Lusin and others
has become known as classical descriptive set theory.)
From the beginning it was apparent that the effective theory is more
powerful than the classical theory. However, the first concrete evidence of
this came in the late seventies when Louveau [66) proved a beautiful the-
orem on Borel sets in product spaces. Since then several classical results
have been proved using effective methods for which no classical proof is
known yet; see, e.g., [47). Forcing, a powerful set-theoretic technique (in-
vented by Cohen to show the independence of the continuum hypothesis
and the axiom of choice from other axioms of set theory [31)), and other
set-theoretic tools such as determinacy and constructibility, have been very
effectively used to make the theory of Borel sets a very powerful theory.
(See Bartoszynski and Judah [9), Jech [49), Kechris [53), and Moschovakis
[88).)
xiv Introduction
Much of the interest in Borel sets also stems from the applications that
its theory has found in areas such as probability theory, mathematical
statistics, functional analysis, dynamic programming, harmonic analysis,
representation theory of groups, and C·-algebras. For instance, Blackwell
showed the importance of these sets in avoiding certain inherent pathologies
in Kolmogorov's foundations of probability theory [13J; in Blackwell's model
of dynamic programming [14J the existence of optimal strategies has been
shown to be related to the existence of measurable selections (Maitra [74]);
Mackey made use of these sets in problems regarding group representations,
and in particular in defining topologies on measurable groups [72J; Choquet
[3OJ, [34J used these sets in potential theory; and 80 on. The theory of Borel
sets has found uses in diverse applied areas such as optimization, control
theory, mathematical economics, and mathematical statistics [5J, [10J, [32J,
[42J, [91), [55). These applications, in turn, have enriched the theory of
Borel sets itself considerably. For example, most of the measurable selection
theorems arose in various applications, and now there is a rich supply of
them. Some of these, such as the cross-section theorems for Borel partitions
of Polish spaces due to Mackey, Effros, and Srivastava are basic results on
Borel sets.
Thus, today the theory of Borel sets stands on its own as a powerful,
deep, and beautiful theory. This book is an introduction to this theory.
About This Book
This book can be used in various ways. It can be used as a stepping stone
to descriptive set theory. From this point of view, our audience can be
undergraduate or beginning graduate students who are still exploring areas
of mathematics for their research. In this book they will get a reasonably
thorough introduction to Borel sets and measurable selections. They will
also find the kind of questions that a descriptive set theorist asks. Though
we stick to Borel sets only, we present quite a few important techniques,
such as universal sets, prewellordering, and scales, used in descriptive set
theory. We hope that students will find the mathematics presented in this
book solid and exciting.
Secondly, this book is addressed to mathematicians requiring Borel sets,
measurable selections, etc., in their work. Therefore, we have tried our best
to make it a convenient reference book. Some applications are also given
just to show the way that the results presented here are used.
Finally, we desire that the book be accessible to all mathematicians.
Hence the book has been made self-contained and has been written in
an easygoing style. We have refrained from displaying various advanced
techniques such as games, recursive functions, and forcing. We use only
naive set theory, general topology, some analysis, and some algebra, which
are commonly known.
The book is divided into five chapters. In the first chapter we give the set-
theoretic preliminaries. In the first part of this chapter we present cardinal
arithmetic, methods of transfinite induction, and ordinal numbers. Then
we introduce trees and the Souslin operation. Topological preliminaries are
presented in Chapter 2. We later develop the theory of Borel sets in the
xvi About This Book