Borel Sets and Functions in Topological Spaces

Total Page:16

File Type:pdf, Size:1020Kb

Borel Sets and Functions in Topological Spaces BOREL SETS AND FUNCTIONS IN TOPOLOGICAL SPACES JIRˇ´I SPURNY´ Abstract. We present a construction of the Borel hierarchy in general topo- logical spaces and its relation to Baire hierarchy. We define mappings of Borel class α, prove the validity of the Lebesgue–Hausdorff–Banach characterization for them and show their relation to Baire classes of mappings on compact spaces. Obtained result are used for studying Baire and Borel order of com- pact spaces, answering thus one part of the question asked by R.D. Mauldin. We present several examples showing some natural limits of our results in non-compact spaces. 1. Introduction The Borel hierarchy is a classical topic deeply studied within the framework of metrizable spaces, we refer the reader to [1], [31], [18], [6], [46] and [28] for detailed surveys of results in separable metrizable spaces and [48], [13], [14], [22] and [21] for results in non-separable metrizable spaces. On the other hand, the question how to develop a satisfactory theory of Borel classes in general topological spaces have been studied much less extensively (see e.g. [8], [19], [20], [16], [17], [40], [41] and [23]). The aim of our paper is to present an attempt in this direction. As one expects, we often use well known methods. We have tried to quote all sources known to us that are needed and/or closely related to our work. However, because of the vast amount of work in this area we have not attempted to collect all the references connected with this topic. Since it requires some effort to introduce all notions, we postpone the definitions and results to the relevant sections and just briefly describe the content of the paper. We start by the introduction of Borel classes defined in an abstract way from a general family of sets (see Definition 2.1). Then we introduce abstract classes of mappings defined as pointwise limits from a given family of mappings and prove the Lebesgue–Hausdorff–Banach characterization of these mappings via the preimages of open sets (see Theorem 2.7). The main Section 3 introduces classes of Baire, Borel and resolvable sets in topo- logical spaces. We show their relation to the classical Borel hierarchy in metrizable spaces (Proposition 3.4). The main result formulated in Theorem 3.6 shows coin- cidence of all defined classes for Baire sets in compact spaces. A key method used in the proof of Theorem 3.6 is the selection lemma [23, Lemma 1]. We finish the 2000 Mathematics Subject Classification. 54H05, 28A05. Key words and phrases. Baire sets, Borel sets, H–sets, Baire functions, Borel functions, Baire and Borel order, scattered–K–analytic, Cechˇ analytic and K–analytic spaces, functions of the first Baire and Borel class. The work is a part of the research project MSM 0021620839 financed by MSMT and partly supported by the grants GA CRˇ 201/06/0018, and GA CRˇ 201/07/0388. 1 2 JIRˇ´I SPURNY´ section by presenting a result on “absoluteness” of Baire classes in Theorem 3.7 (cf. [23, Theorem 5]). Results of Section 3 are used in Section 4 for studying order of Baire, Borel and resolvable sets in topological spaces. Theorem 4.2 answers one part of the question asked by R.D. Mauldin in [34, Question, p. 440] and [35, Problem, p. 395]. The next section starts by proving the Lebesgue–Hausdorff–Banach characteriza- tion of mappings on compact spaces (Theorem 5.2). Then we prove in Corollary 5.6 the equality between Baire measurable mappings and mappings of some Baire class for mappings with values in arcwise connected locally arcwise connected metric spaces and provide several characterizations of mappings of the first Baire class on compact spaces (Theorem 5.8). Several examples and questions finish the paper. Let us recall several definitions. If X is a set and F is a family of its subsets, then F is a sublattice, if ∅, X ∈ F and F is closed with respect to finite unions and intersections. The family F is an algebra if F is a sublattice that is closed with respect to complements. If F is a family of sets in a set X, we write Fσ (respectively Fδ) for all countable unions (respectively intersections) of sets from F. We write χA for the characteristic function of a set A and f|A for the restriction of a function f on A. If f : X → Y is a mapping from X to a topological space Y , we say that f is F–measurable, if f −1(U) ∈F for each open U ⊂ Y . All topological spaces are considered to be Tychonoff (see [4, p. 39]. 2. Generation of sets and functions Definition 2.1. If F is a family of sets in a set X, we define Borel classes generated by F as follows: Let Σ1(F) = F, Π1(F) = {X \ F : F ∈ F}, and for α ∈ (1, ω1), let Σα(F) = Πβ(F) σ β<α [ and Πα(F) = Σβ(F) . δ β<α [ The family Σα(F) is termed the sets of additive class α, the family Πα(F) is called the sets of multiplicative class α. The sets in ∆α(F) = Σα(F) ∩ Πα(F) are the sets of ambiguous class α. Remark 2.2. The definition and notation of abstract Borel classes is chosen in such a way that it coincides with the definition of Borel sets in metrizable spaces, see [28, Section 11.B] and Proposition 3.4. The following proposition collects facts on abstract Borel classes that one expects to hold (see [28, Section 11.B, Exercise 22.17 and Proposition 22.15] or [31, §26]). Proposition 2.3. Let F be an algebra of sets in a set X. Then the following assertions hold: (a) Σα(F) ∪ Πα(F) ⊂ ∆β(F), 0 < α < β < ω1, (b) a set A ⊂ X is in Σα(F) if and only if X \ A ∈ Πα(F), α ∈ (0, ω1), (c) the family Σα(F) is stable with respect to countable unions and finite in- tersections, Πα(F) is stable with respect to finite unions and countable in- tersections and ∆α(F) is an algebra, α ∈ (1, ω1), BOREL SETS AND FUNCTIONS IN TOPOLOGICAL SPACES 3 (d) α<ω1 Σα(F) = α<ω1 Πα(F) is the σ–algebra generated by F, (e) Σα(F) = (∆α(F))σ, α ∈ (1, ω ), S S 1 (f) for each α ∈ (1, ω1), Σα(F) has the generalized reduction property, that is, ′ if An ∈ Σα(F), n ∈ N, then there exist pairwise disjoint sets An ∈ Σα(F), ′ ∞ ′ ∞ n ∈ N, such that An ⊂ An and n=1 An = n=1 An, (g) if α ∈ (1, ω1) and A ∈ ∆α+1(F), then there exists a sequence {An} of sets S S such that An ∈ ∆α(F), n ∈ N, and χA = lim χAn , (h) if α ∈ (1, ω1) is limit and A ∈ ∆α+1(F), then there exists a sequence {An} of sets such that An ∈ β<α ∆β(F), n ∈ N, and χA = lim χAn . Proof. Assertions (a), (b) and (c)S follow by a straightforward transfinite induction, (d) follows from (a) and (c), and (e) follows from (a). For the proof of (f), let An ∈ ∞ Σα(F), n ∈ N, be given. Using (e) we write An = k=1 Ank, where Ank ∈ ∆α(F). ′ We enumerate the family {Ank : n, k ∈ N} as {B } and define j S ′ ′ ′ ′ B1 = B1, Bj = Bj \ (B1 ∪ · · · ∪ Bj−1), j ≥ 2. Then the sets Bj are contained in ∆α(F). We set ′ A1 = {Bj : Bj ⊂ A1} and ′ [ ′ ′ An = {Bj : Bj ⊂ An,Bj * A1 ∪ · · · ∪ An−1}, n ≥ 2. ′ [ ′ ′ Then An ⊂ An and An ∈ Σα(F), n ∈ N. Moreover, {An : n ∈ N} is a disjoint ∞ family whose union equals to n=1 An. To verify (g), let A ∈ ∆α+1(F) for some α ∈ (1, ω1) be given. By the definition, ∞ ∞ S A = n=1 Bn = n=1 Cn, where Bn ∈ Πα(F), Cn ∈ Σα(F), n ∈ N. We fix n ∈ N and use (f) for the couple {X \ Bn, Cn} to find a set An ∈ ∆α(F) such that S T Bn ⊂ An ⊂ Cn. Then lim χAn = χA, as required. For the proof of (h), let α be a countable limit ordinal and A ∈ ∆α+1(F). We ∞ ∞ write A = n=1 Bn = n=1 Cn, where Bn ∈ Πα(F), Cn ∈ Σα(F), n ∈ N. By (a), there exists ordinals αnk < α and sets Bnk, Cnk ∈ ∆αnk (F) so that S T ∞ ∞ Bn = Bnk and Cn = Cnk, n, k ∈ N. k k \=1 [=1 Without loss of generality we may assume that the sequences {Bn}, {Cnk} are increasing and the sequences {Cn}, {Bnk} are decreasing. Then the sets n p An = (Bpn ∩ Cjn), n ∈ N, p=1 j=1 [ \ are contained in ∆αn (F) for some αn < α and lim χAn = χA (see [34, proof of Theorem 2.1]). This concludes the proof. Definition 2.4. If Φ is a family of mappings from a set X to a topological space Y , inductively we define Baire classes generated by Φ as follows: Let Φ0 = Φ and for each countable ordinal α ∈ (0, ω1), let Φα be the family of all pointwise limits of sequences from β<α Φβ. S 4 JIRˇ´I SPURNY´ Remark 2.5. Later on (see Theorem 2.7 and Definition 5.1), it will be sometimes convenient to denote the starting family of the inductive definition as Φ1. More precisely, we start from a family denoted as Φ1 and then Φα consists of all pointwise limits of sequences from 1≤β<α Φβ, α ∈ (1, ω1).
Recommended publications
  • Calibrating Determinacy Strength in Levels of the Borel Hierarchy
    CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY SHERWOOD J. HACHTMAN Abstract. We analyze the set-theoretic strength of determinacy for levels of the Borel 0 hierarchy of the form Σ1+α+3, for α < !1. Well-known results of H. Friedman and D.A. Martin have shown this determinacy to require α+1 iterations of the Power Set Axiom, but we ask what additional ambient set theory is strictly necessary. To this end, we isolate a family of Π1-reflection principles, Π1-RAPα, whose consistency strength corresponds 0 CK exactly to that of Σ1+α+3-Determinacy, for α < !1 . This yields a characterization of the levels of L by or at which winning strategies in these games must be constructed. When α = 0, we have the following concise result: the least θ so that all winning strategies 0 in Σ4 games belong to Lθ+1 is the least so that Lθ j= \P(!) exists + all wellfounded trees are ranked". x1. Introduction. Given a set A ⊆ !! of sequences of natural numbers, consider a game, G(A), where two players, I and II, take turns picking elements of a sequence hx0; x1; x2;::: i of naturals. Player I wins the game if the sequence obtained belongs to A; otherwise, II wins. For a collection Γ of subsets of !!, Γ determinacy, which we abbreviate Γ-DET, is the statement that for every A 2 Γ, one of the players has a winning strategy in G(A). It is a much-studied phenomenon that Γ -DET has mathematical strength: the bigger the pointclass Γ, the stronger the theory required to prove Γ -DET.
    [Show full text]
  • Set Theory, Including the Axiom of Choice) Plus the Negation of CH
    ANNALS OF ~,IATltEMATICAL LOGIC - Volume 2, No. 2 (1970) pp. 143--178 INTERNAL COHEN EXTENSIONS D.A.MARTIN and R.M.SOLOVAY ;Tte RockeJ~'ller University and University (.~t CatiJbrnia. Berkeley Received 2 l)ecemt)er 1969 Introduction Cohen [ !, 2] has shown that tile continuum hypothesis (CH) cannot be proved in Zermelo-Fraenkel set theory. Levy and Solovay [9] have subsequently shown that CH cannot be proved even if one assumes the existence of a measurable cardinal. Their argument in tact shows that no large cardinal axiom of the kind present;y being considered by set theorists can yield a proof of CH (or of its negation, of course). Indeed, many set theorists - including the authors - suspect that C1t is false. But if we reject CH we admit Gurselves to be in a state of ignorance about a great many questions which CH resolves. While CH is a power- full assertion, its negation is in many ways quite weak. Sierpinski [ 1 5 ] deduces propcsitions there called C l - C82 from CH. We know of none of these propositions which is decided by the negation of CH and only one of them (C78) which is decided if one assumes in addition that a measurable cardinal exists. Among the many simple questions easily decided by CH and which cannot be decided in ZF (Zerme!o-Fraenkel set theory, including the axiom of choice) plus the negation of CH are tile following: Is every set of real numbers of cardinality less than tha't of the continuum of Lebesgue measure zero'? Is 2 ~0 < 2 ~ 1 ? Is there a non-trivial measure defined on all sets of real numbers? CIhis third question could be decided in ZF + not CH only in the unlikely event t Tile second author received support from a Sloan Foundation fellowship and tile National Science Foundation Grant (GP-8746).
    [Show full text]
  • Lecture Notes
    MEASURE THEORY AND STOCHASTIC PROCESSES Lecture Notes José Melo, Susana Cruz Faculdade de Engenharia da Universidade do Porto Programa Doutoral em Engenharia Electrotécnica e de Computadores March 2011 Contents 1 Probability Space3 1 Sample space Ω .....................................4 2 σ-eld F .........................................4 3 Probability Measure P .................................6 3.1 Measure µ ....................................6 3.2 Probability Measure P .............................7 4 Learning Objectives..................................7 5 Appendix........................................8 2 Chapter 1 Probability Space Let's consider the experience of throwing a dart on a circular target with radius r (assuming the dart always hits the target), divided in 4 dierent areas as illustrated in Figure 1.1. 4 3 2 1 Figure 1.1: Circular Target The circles that bound the regions 1, 2, 3, and 4, have radius of, respectively, r , r , 3r , and . 4 2 4 r Therefore, the probability that a dart lands in each region is: 1 , 3 , 5 , P (1) = 16 P (2) = 16 P (3) = 16 7 . P (4) = 16 For this kind of problems, the theory of discrete probability spaces suces. However, when it comes to problems involving either an innitely repeated operation or an innitely ne op- eration, this mathematical framework does not apply. This motivates the introduction of a measure-theoretic probability approach to correctly describe those cases. We dene the proba- bility space (Ω; F;P ), where Ω is the sample space, F is the event space, and P is the probability 3 measure. Each of them will be described in the following subsections. 1 Sample space Ω The sample space Ω is the set of all the possible results or outcomes ! of an experiment or observation.
    [Show full text]
  • Borel Structure in Groups and Their Dualso
    BOREL STRUCTURE IN GROUPS AND THEIR DUALSO GEORGE W. MACKEY Introduction. In the past decade or so much work has been done toward extending the classical theory of finite dimensional representations of com- pact groups to a theory of (not necessarily finite dimensional) unitary repre- sentations of locally compact groups. Among the obstacles interfering with various aspects of this program is the lack of a suitable natural topology in the "dual object"; that is in the set of equivalence classes of irreducible representations. One can introduce natural topologies but none of them seem to have reasonable properties except in extremely special cases. When the group is abelian for example the dual object itself is a locally compact abelian group. This paper is based on the observation that for certain purposes one can dispense with a topology in the dual object in favor of a "weaker struc- ture" and that there is a wide class of groups for which this weaker structure has very regular properties. If .S is any topological space one defines a Borel (or Baire) subset of 5 to be a member of the smallest family of subsets of 5 which includes the open sets and is closed with respect to the formation of complements and countable unions. The structure defined in 5 by its Borel sets we may call the Borel structure of 5. It is weaker than the topological structure in the sense that any one-to-one transformation of S onto 5 which preserves the topological structure also preserves the Borel structure whereas the converse is usually false.
    [Show full text]
  • On Semicontinuous Functions and Baire Functions
    ON SEMICONTINUOUS FUNCTIONS AND BAIRE FUNCTIONS BY ROBERT E. ZINK(») 1. According to a classical theorem, every semicontinuous real-valued func- tion of a real variable can be obtained as the limit of a sequence of continuous functions. The corresponding proposition need not hold for the semicontinuous functions defined on an arbitrary topological space; indeed, it is known that the theorem holds in the general case if and only if the topology is perfectly normal [6]. For some purposes, it is important to know when a topological measure space has the property that each semicontinuous real-valued function defined thereon is almost everywhere equal to a function of the first Baire class. In the present article, we are able to resolve this question when the topology is completely regular. A most interesting by-product of our consideration of this problem is the discovery that every Lebesgue measurable function is equivalent to the limit of a sequence of approximately continuous ones. This fact enables us to answer a question, posed in an earlier work [7], concerning the existence of topological measure spaces in which every bounded measurable function is equivalent to a Baire function of the first class. 2. We begin the discussion with some pertinent background material. The Blumberg upper measurable boundary, uB, of a real-valued function / defined on Euclidean q-space, Eq, is specified in the following manner: If Ey = {x: fix) > y}, then uBi£) = inf {y: exterior metric density ofEy at £ is zero}. The lower measurable boundary, lB, is similarly defined. Blumberg proved that uB is approximately upper-semicontinuous and that lB is approximately lower-semicontinuous and then observed that approximately semicontinuous functions are Lebesgue measurable.
    [Show full text]
  • The Baire Order of the Functions Continuous Almost Everywhere R
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 41, Number 2, December 1973 THE BAIRE ORDER OF THE FUNCTIONS CONTINUOUS ALMOST EVERYWHERE R. d. MAULDIN Abstract. Let í> be the family of all real-valued functions defined on the unit interval / which are continuous except for a set of Lebesgue measure zero. Let <J>0be <I>and for each ordinal a, let <S>abe the family of all pointwise limits of sequences taken from {Jy<x ÍV Then <Dm is the Baire family generated by O. It is proven here that if 0<a<co1, then O^i^ . The proof is based upon the construction of a Borel measurable function h from / onto the Hubert cube Q such that if x is in Q, then h^ix) is not a subset of an F„ set of Lebesgue measure zero. If O is a family of real-valued functions defined on a set S, then the Baire family generated by O may be described as follows: Let O0=O and for each ordinal <x>0, let Oa be the family of all pointwise limits of sequences taken from \Jy<x î>r Of course, ^o^^V+i* where mx denotes the first uncountable ordinal and 4> is the Baire family generated by O; the family O^, is the smallest subfamily of Rs containing O and which is closed under pointwise limits of sequences. The order of O is the first ordinal a such that 0>X=Q>X+X. Let C denote the family of all real-valued continuous functions on the unit interval I.
    [Show full text]
  • STAT 571 Assignment 1 Solutions 1. If Ω Is a Set and C a Collection Of
    STAT 571 Assignment 1 solutions 1. If Ω is a set and a collection of subsets of Ω, let be the intersection of all σ-algebras that contain . ProveC that is the σ-algebra generatedA by . C A C Solution: Let α α A be the collection of all σ-algebras that contain , and fA j 2 g C set = α. We first show that is a σ-algebra. There are three things to A \ A A α A prove. 2 (a) For every α A, α is a σ-algebra, so Ω α, and hence Ω α A α = . 2 A 2 A 2 \ 2 A A (b) If B , then B α for every α A. Since α is a σ-algebra, we have c 2 A 2 A 2 A c B α. But this is true for every α A, so we have B . 2 A 2 2 A (c) If B1;B2;::: are sets in , then B1;B2;::: belong to α for each α A. A A 2 Since α is a σ-algebra, we have 1 Bn α. But this is true for every A [n=1 2 A α A, so we have 1 Bn . 2 [n=1 2 A Thus is a σ-algebra that contains , and it must be the smallest one since α for everyA α A. C A ⊆ A 2 2. Prove that the set of rational numbers Q is a Borel set in R. Solution: For every x R, the set x is the complement of an open set, and hence Borel.
    [Show full text]
  • (Measure Theory for Dummies) UWEE Technical Report Number UWEETR-2006-0008
    A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 UWEE Technical Report Number UWEETR-2006-0008 May 2006 Department of Electrical Engineering University of Washington Box 352500 Seattle, Washington 98195-2500 PHN: (206) 543-2150 FAX: (206) 543-3842 URL: http://www.ee.washington.edu A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 University of Washington, Dept. of EE, UWEETR-2006-0008 May 2006 Abstract This tutorial is an informal introduction to measure theory for people who are interested in reading papers that use measure theory. The tutorial assumes one has had at least a year of college-level calculus, some graduate level exposure to random processes, and familiarity with terms like “closed” and “open.” The focus is on the terms and ideas relevant to applied probability and information theory. There are no proofs and no exercises. Measure theory is a bit like grammar, many people communicate clearly without worrying about all the details, but the details do exist and for good reasons. There are a number of great texts that do measure theory justice. This is not one of them. Rather this is a hack way to get the basic ideas down so you can read through research papers and follow what’s going on. Hopefully, you’ll get curious and excited enough about the details to check out some of the references for a deeper understanding.
    [Show full text]
  • Baire Sets, Borel Sets and Some Typical Semi-Continuous Functions
    BAIRE SETS, BOREL SETS AND SOME TYPICAL SEMI-CONTINUOUS FUNCTIONS KEIO NAGAMI Recently Hing Tong [3], M. Katetov [4] and C. H. Dowker [2] have es- tablished two sorts of insertion theorems for semi-continuous functions defined on normal and countably paracompact normal spaces. The purpose of this paper is to give the insertion theorem for some typical semi-continuous functions defined on a T-space. The relations between Baire sets and Borel sets in some topological spaces are also studied. Throughout this paper, unless in a special context we explicitly say other- wise, any function defined on a space is real-valued and a sequence of functions means a countable sequence of them. A family of functions defined on a space R is called complete if the limit of any sequence of functions in it is also con- tained in it. The minimal complete family of functions defined on R which con- tains all continuous functions is called the family of Baire functions and its ele- ment a Baire function. A subset of R is called a Baire set if its characteristic function is a Baire function. A subset of R is called respectively elementary- open or elementary-closed if it is written as {x fix) > 0} or {x I fix) ^ 0} by a suitable continuous function fix) defined on R. The minimal completely additive class of sets which contains all open sets in R is called the family of Borel sets and its element a Borel set. It is well known that the family of Borel sets contains the family of Baire sets and that the family of Baire sets coincides with the minimal completely additive class of sets which contains all the elementary open (closed) sets.
    [Show full text]
  • On Borel Measures and Baire's Class 3
    proceedings of the american mathematical society Volume 39, Number 2, July 1973 ON BOREL MEASURES AND BAIRE'S CLASS 3 R. DANIEL MAULDIN Abstract. Let S be a complete and separable metric space and fi a er-finite, complete Borel measure on S. Let <I>be the family of all real-valued functions, continuous /¿-a.e. Let Bx(^) be the func- tions of Baire's class a generated by O. It is shown that if ¡x is not a purely atomic measure whose set of atoms form a dispersed subset of S, then Bt(®)^Bai(<b), where a>i denotes the first uncountable ordinal. If O is a family of real-valued functions defined on a set S, then, B(<&), the Baire system of functions generated by O is the smallest subfamily of Rx which contains O and which is closed under the process of taking pointwise limits of sequences. The family 5(0) can be generated from <I> as follows: Let £„(<!>)=O and for each ordinal a, let -Ba(0) be the family of all pointwise limits of sequences taken from IJy<a ^O^O- Thus, B^ffb) is the Baire system of functions generated by <E>,where u>1 is the first uncountable ordinal. The Baire order of a family O is the first ordinal a such that BX(®)=BX+1(4>). Kuratowski has proved that if S is a metric space and O is the family of all real-valued functions on S which are continuous except for a first category set, then the order of í> is 1 and 2?i(<J>)is the family of all functions which have the Baire property in the wide sense [1, p.
    [Show full text]
  • Probability Measures on Metric Spaces
    Probability measures on metric spaces Onno van Gaans These are some loose notes supporting the first sessions of the seminar Stochastic Evolution Equations organized by Dr. Jan van Neerven at the Delft University of Technology during Winter 2002/2003. They contain less information than the common textbooks on the topic of the title. Their purpose is to present a brief selection of the theory that provides a basis for later study of stochastic evolution equations in Banach spaces. The notes aim at an audience that feels more at ease in analysis than in probability theory. The main focus is on Prokhorov's theorem, which serves both as an important tool for future use and as an illustration of techniques that play a role in the theory. The field of measures on topological spaces has the luxury of several excellent textbooks. The main source that has been used to prepare these notes is the book by Parthasarathy [6]. A clear exposition is also available in one of Bour- baki's volumes [2] and in [9, Section 3.2]. The theory on the Prokhorov metric is taken from Billingsley [1]. The additional references for standard facts on general measure theory and general topology have been Halmos [4] and Kelley [5]. Contents 1 Borel sets 2 2 Borel probability measures 3 3 Weak convergence of measures 6 4 The Prokhorov metric 9 5 Prokhorov's theorem 13 6 Riesz representation theorem 18 7 Riesz representation for non-compact spaces 21 8 Integrable functions on metric spaces 24 9 More properties of the space of probability measures 26 1 The distribution of a random variable in a Banach space X will be a probability measure on X.
    [Show full text]
  • Descriptive Set Theory
    Descriptive Set Theory David Marker Fall 2002 Contents I Classical Descriptive Set Theory 2 1 Polish Spaces 2 2 Borel Sets 14 3 E®ective Descriptive Set Theory: The Arithmetic Hierarchy 27 4 Analytic Sets 34 5 Coanalytic Sets 43 6 Determinacy 54 7 Hyperarithmetic Sets 62 II Borel Equivalence Relations 73 1 8 ¦1-Equivalence Relations 73 9 Tame Borel Equivalence Relations 82 10 Countable Borel Equivalence Relations 87 11 Hyper¯nite Equivalence Relations 92 1 These are informal notes for a course in Descriptive Set Theory given at the University of Illinois at Chicago in Fall 2002. While I hope to give a fairly broad survey of the subject we will be concentrating on problems about group actions, particularly those motivated by Vaught's conjecture. Kechris' Classical Descriptive Set Theory is the main reference for these notes. Notation: If A is a set, A<! is the set of all ¯nite sequences from A. Suppose <! σ = (a0; : : : ; am) 2 A and b 2 A. Then σ b is the sequence (a0; : : : ; am; b). We let ; denote the empty sequence. If σ 2 A<!, then jσj is the length of σ. If f : N ! A, then fjn is the sequence (f(0); : : :b; f(n ¡ 1)). If X is any set, P(X), the power set of X is the set of all subsets X. If X is a metric space, x 2 X and ² > 0, then B²(x) = fy 2 X : d(x; y) < ²g is the open ball of radius ² around x. Part I Classical Descriptive Set Theory 1 Polish Spaces De¯nition 1.1 Let X be a topological space.
    [Show full text]