Borel and Analytic Sets in Locales

Total Page:16

File Type:pdf, Size:1020Kb

Borel and Analytic Sets in Locales Borel and analytic sets in locales Ruiyuan Chen Abstract We systematically develop analogs of basic concepts from classical descriptive set theory in the context of pointless topology. Our starting point is to take the elements of the free complete Boolean algebra generated by the frame O(X) of opens to be the \1-Borel sets" in a locale X. We show that several known results in locale theory may be interpreted in this framework as direct analogs of classical descriptive set-theoretic facts, including e.g., the Lusin separation, Lusin{Suslin, and Baire category theorems for locales; we also prove several extensions of these results, such as an ordered Novikov separation theorem. We give a detailed analysis of various notions of image, and prove that a continuous map need not have an 1-Borel image. We introduce the category of \analytic 1-Borel locales" as the regular completion under images of the category of locales and 1-Borel maps (as a unary site), and prove analogs of several classical results about analytic sets, such as a boundedness theorem for well-founded analytic relations. We also consider the \positive 1-Borel sets" of a locale, formed from opens without using :. In fact, we work throughout in the more refined context of κ-copresented κ-locales and κ-Borel sets for arbitrary regular !1 ≤ κ ≤ 1; taking κ = !1 then recovers the classical context as a special case. The basis for the aforementioned localic results is a detailed study of various known and new methods for presenting κ-frames, κ-Boolean algebras, and related algebraic structures. In particular, we introduce a new type of \two-sided posite" for presenting (κ, κ)-frames A, meaning both A and Aop are κ-frames, and use this to prove a general κ-ary interpolation theorem for (κ, κ)-frames, which dualizes to the aforementioned separation theorems. Contents 1 Introduction 2 1.1 Overview of localic results . .4 1.2 Overview of algebraic results . .8 1.3 Future directions . 11 1.4 Structure of paper . 12 arXiv:2011.00437v1 [math.LO] 1 Nov 2020 2 Frames and Boolean algebras 13 2.1 The main categories . 13 2.2 General remarks on presentations and adjunctions . 16 2.3 Ideals . 18 2.4 Quotients . 20 2.5 Products and covers . 23 2.6 Posites . 27 2.7 Colimits of frames . 30 2.8 Adjoining complements . 32 2.9 Zero-dimensionality and ultraparacompactness . 36 1 2.10 Free complete Boolean algebras . 45 2.11 Distributive polyposets . 48 2.12 Interpolation . 52 3 Locales and Borel locales 58 3.1 The main categories . 58 3.2 Spatialization . 63 3.3 The Borel hierarchy . 66 3.4 Borel images and sublocales . 69 3.5 Standard σ-locales . 79 3.6 The internal logic . 83 3.7 Positive Borel locales and partial orders . 86 3.8 Baire category . 89 4 Analytic sets and locales 91 4.1 The main categories . 92 4.2 Separation theorems . 97 4.3 Inverse limit representations . 99 4.4 Ill-founded relations . 104 A Appendix: nice categories of structures 107 A.1 Limit theories and locally presentable categories . 107 A.2 Algebraic theories and monadic categories . 111 A.3 Ordered theories and categories . 114 References 117 1 Introduction In this paper, we study the connection between descriptive set theory and locale theory, two areas which can each be thought of as providing a \non-pathological" version of point-set topology. Descriptive set theory can be broadly described as the study of simply-definable sets and functions. The standard framework is to begin with a well-behaved topological space, namely a Polish space, i.e., a separable, completely metrizable space. One then declares open sets to be “simply-definable”, and builds up more complicated sets by closing under simple set-theoretic operations, e.g., countable Boolean operations (yielding the Borel sets), continuous images (yielding the analytic sets), etc. The definability restriction rules out many general point-set pathologies, yielding powerful structural and classification results which nonetheless apply to typical topological contexts encountered in mathematical practice. This has led in recent decades to an explosion of fruitful connections and applications to many diverse branches of mathematics, such as dynamical systems, operator algebras, combinatorics, and model theory. See [Kec95], [Kec99], [Mos09], [Gao09], [KM20] for general background on descriptive set theory and its applications. Locale theory, also known as pointless or point-free topology, is the \dual" algebraic study of topological spaces and generalizations thereof via their lattices of open sets; see [Joh82], [PP12]. A frame is a complete lattice with finite meets distributing over arbitrary joins; the motivating example is the frame O(X) of open sets of a topological space X. In locale theory, one formally 2 regards an arbitrary frame O(X) as the \open sets" of a generalized \space" X, called a locale. One then proceeds to study algebraically-defined analogs of various topological notions. A key insight due to Isbell [Isb72] is that such analogies are not perfect, but that this is a feature, not a bug: where it differs from point-set topology, locale theory tends to be less pathological. The starting point for this paper is an observation \explaining" this feature of locale theory: it seems to behave like a formal generalization of descriptive set theory, with countability restrictions removed. This observation is supported by many results scattered throughout the literature, e.g.: • A fundamental construction of Isbell [Isb72] is to freely adjoin complements to an arbitrary frame O(X), yielding a bigger frame N (O(X)), whose elements are in canonical bijection with 0 the sublocales of X. This is analogous to the Σ2 (i.e., Fσ) sets in a Polish space X, the closure of the open and closed sets under finite intersections and countable unions; the complements 0 0 of Σ2 sets, the Π2 (i.e., Gδ) sets, are precisely the Polish subspaces of X [Kec95, 3.11]. • Isbell [Isb72] also showed that dense sublocales of an arbitrary locale are closed under arbitrary intersections, just as dense Polish subspaces of Polish spaces are closed under countable intersections, by the Baire category theorem [Kec95, 8.4]. • Transfinitely iterating the N (−) construction yields a \Borel hierarchy" for an arbitrary locale X, the union of which is the free complete Boolean algebra generated by the frame O(X). By a classical result of Gaifman [Gai64] and Hales [Hal64], free complete Boolean algebras are generally proper classes, whence the \Borel hierarchy of locales is proper". • Ball [Bal18] developed a \Baire hierarchy of real-valued functions" on an arbitrary locale, via a transfinite construction closely related to the aforementioned N functor. • Isbell [Isb91] proved an analog of the classical Hausdorff–Kuratowski theorem [Kec95, 22.27]: 0 any complemented sublocale (i.e., \∆2 set") can be written as (((F0 n F1) [ F2) n F3) [··· for some transfinite decreasing sequence F0 ⊇ F1 ⊇ · · · of closed sublocales. • The closed subgroup theorem of Isbell{Kˇr´ıˇz{Pultr{Rosick´y[IKPR88] states that every closed localic subgroup of a localic group is closed, just as every Polish subgroup of a Polish group is closed [Gao09, 2.2.1]. Moreover, the proof of the closed subgroup theorem by Johnstone [Joh89] uses a localic version of Pettis's theorem [Gao09, 2.3.2], itself proved via an analog of the classical proof based on (what we are calling) localic Baire category. • The dual formulation of measure theory is well-known, via measure algebras. Explicit connections with general locales have been made by Simpson [Sim12] and Pavlov [Pav20]. • De Brecht [deB13] introduced quasi-Polish spaces, a well-behaved non-Hausdorff gener- alization of Polish spaces sharing many of the same descriptive set-theoretic properties. Heckmann [Hec15] proved that the category of these is equivalent to the category of locales X whose corresponding frame O(X) is countably presented. Thus, \locale = (Polish space) − (countability restrictions) − (separation axioms)". • In [Ch19a], we explicitly used this correspondence to transfer a known result from locale theory (the Joyal{Tierney representation theorem [JT84] for Grothendieck toposes via localic groupoids) to the classical descriptive set-theoretic context (a Makkai-type strong conceptual completeness theorem for the infinitary logic L!1! in terms of Borel groupoids of models). 3 • In [Ch19b], we gave an intrinsic categorical characterization of the classical category SBor of standard Borel spaces (Polish spaces with their topologies forgotten, remembering only the Borel sets). This characterization was proved for \standard κ-Borel locales" for all regular cardinals κ ≥ !, using algebraic techniques; taking κ = !1 then yielded the classical result. In spite of these and other results, the known analogy between locale theory and descriptive set theory has been on a largely ad hoc basis to date, without a complete or coherent locale-theoretic account of even basic descriptive set-theoretic notions such as Borel sets. The goal of this paper is to provide the beginnings of such an account. 1.1 Overview of localic results Our main focus of study is on the two categories κLoc of κ-locales, and κBorLoc of κ-Borel locales, for each infinite regular cardinal κ (or κ = 1). These are defined as the formal duals of the respective algebraic categories κFrm of κ-frames, meaning frames but required only to have κ-ary joins, and κBool of κ-(complete )Boolean algebras. Thus, a κ-locale X is, formally, the same thing as a κ-frame Oκ(X), whose elements we call the κ-open sets in X; while a κ-Borel 1 locale X is formally a κ-Boolean algebra Bκ(X), whose elements we call the κ-Borel sets in X. A morphism f : X ! Y in any of these categories is a homomorphism f ∗ between the respective algebras, in the opposite direction, thought of as taking preimage of sets under f.
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]
  • Measure Theory (Graduate Texts in Mathematics)
    PaulR. Halmos Measure Theory Springer-VerlagNewYork-Heidelberg-Berlin Managing Editors P. R. Halmos C. C. Moore Indiana University University of California Department of Mathematics at Berkeley Swain Hall East Department of Mathematics Bloomington, Indiana 47401 Berkeley, California 94720 AMS Subject Classifications (1970) Primary: 28 - 02, 28A10, 28A15, 28A20, 28A25, 28A30, 28A35, 28A40, 28A60, 28A65, 28A70 Secondary: 60A05, 60Bxx Library of Congress Cataloging in Publication Data Halmos, Paul Richard, 1914- Measure theory. (Graduate texts in mathematics, 18) Reprint of the ed. published by Van Nostrand, New York, in series: The University series in higher mathematics. Bibliography: p. 1. Measure theory. I. Title. II. Series. [QA312.H26 1974] 515'.42 74-10690 ISBN 0-387-90088-8 All rights reserved. No part of this book may be translated or reproduced in any form without written permission from Springer-Verlag. © 1950 by Litton Educational Publishing, Inc. and 1974 by Springer-Verlag New York Inc. Printed in the United States of America. ISBN 0-387-90088-8 Springer-Verlag New York Heidelberg Berlin ISBN 3-540-90088-8 Springer-Verlag Berlin Heidelberg New York PREFACE My main purpose in this book is to present a unified treatment of that part of measure theory which in recent years has shown itself to be most useful for its applications in modern analysis. If I have accomplished my purpose, then the book should be found usable both as a text for students and as a source of refer­ ence for the more advanced mathematician. I have tried to keep to a minimum the amount of new and unusual terminology and notation.
    [Show full text]
  • Version of 21.8.15 Chapter 43 Topologies and Measures II The
    Version of 21.8.15 Chapter 43 Topologies and measures II The first chapter of this volume was ‘general’ theory of topological measure spaces; I attempted to distinguish the most important properties a topological measure can have – inner regularity, τ-additivity – and describe their interactions at an abstract level. I now turn to rather more specialized investigations, looking for features which offer explanations of the behaviour of the most important spaces, radiating outwards from Lebesgue measure. In effect, this chapter consists of three distinguishable parts and two appendices. The first three sections are based on ideas from descriptive set theory, in particular Souslin’s operation (§431); the properties of this operation are the foundation for the theory of two classes of topological space of particular importance in measure theory, the K-analytic spaces (§432) and the analytic spaces (§433). The second part of the chapter, §§434-435, collects miscellaneous results on Borel and Baire measures, looking at the ways in which topological properties of a space determine properties of the measures it carries. In §436 I present the most important theorems on the representation of linear functionals by integrals; if you like, this is the inverse operation to the construction of integrals from measures in §122. The ideas continue into §437, where I discuss spaces of signed measures representing the duals of spaces of continuous functions, and topologies on spaces of measures. The first appendix, §438, looks at a special topic: the way in which the patterns in §§434-435 are affected if we assume that our spaces are not unreasonably complex in a rather special sense defined in terms of measures on discrete spaces.
    [Show full text]
  • 1 Sets and Classes
    Prerequisites Topological spaces. A set E in a space X is σ-compact if there exists a S1 sequence of compact sets such that E = n=1 Cn. A space X is locally compact if every point of X has a neighborhood whose closure is compact. A subset E of a locally compact space is bounded if there exists a compact set C such that E ⊂ C. Topological groups. The set xE [or Ex] is called a left translation [or right translation.] If Y is a subgroup of X, the sets xY and Y x are called (left and right) cosets of Y . A topological group is a group X which is a Hausdorff space such that the transformation (from X ×X onto X) which sends (x; y) into x−1y is continuous. A class N of open sets containing e in a topological group is a base at e if (a) for every x different form e there exists a set U in N such that x2 = U, (b) for any two sets U and V in N there exists a set W in N such that W ⊂ U \ V , (c) for any set U 2 N there exists a set W 2 N such that V −1V ⊂ U, (d) for any set U 2 N and any element x 2 X, there exists a set V 2 N such that V ⊂ xUx−1, and (e) for any set U 2 N there exists a set V 2 N such that V x ⊂ U. If N is a satisfies the conditions described above, and if the class of all translation of sets of N is taken for a base, then, with respect to the topology so defined, X becomes a topological group.
    [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]
  • On Measure-Compactness and Borel Measure-Compactness
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Osaka City University Repository Okada, S. and Okazaki, Y. Osaka J. Math. 15 (1978), 183-191 ON MEASURE-COMPACTNESS AND BOREL MEASURE-COMPACTNESS SUSUMU OKADA AND YOSHIAKI OKAZAKI (Received December 6, 1976) 1. Introduction Moran has introduced "measure-compactness' and "strongly measure- compactness' in [7], [8], For measure-compactness, Kirk has independently presented in [4]. For Borel measures, "Borel measure-compactness' and "property B" are introduced by Gardner [1], We study, defining "a weak Radon space", the relation among these proper- ties at the last of §2. Furthermore we investigate the stability of countable unions in §3 and the hereditariness in §4. The authors wish to thank Professor Y. Yamasaki for his suggestions. 2. Preliminaries and fundamental results All spaces considered in this paper are completely regular and Hausdorff. Let Cb(X) be the space of all bounded real-valued continuous functions on a topological space X. By Z(X] we mean the family of zero sets {/" \0) / e Cb(X)} c and U(X) the family of cozero sets {Z \ Z<=Z(X)}. We denote by &a(X) the Baίre field, that is, the smallest σ-algebra containing Z(X) and by 1$(X) the σ-algebra generated by all open subsets of X, which is called the Borel field. A Baire measure [resp. Borel measure} is a totally finite, non-negative coun- tably additive set function defined on Άa(X) [resp. 3)(X)]. For a Baire measure μ, the support of μ is supp μ = {x^Xm, μ(U)>0 for every U^ U(X) containing x} .
    [Show full text]
  • Descriptive Set Theory and Ω-Powers of Finitary Languages Olivier Finkel, Dominique Lecomte
    Descriptive Set Theory and !-Powers of Finitary Languages Olivier Finkel, Dominique Lecomte To cite this version: Olivier Finkel, Dominique Lecomte. Descriptive Set Theory and !-Powers of Finitary Languages. Adrian Rezus. Contemporary Logic and Computing, 1, College Publications, pp.518-541, 2020, Land- scapes in Logic. hal-02898919 HAL Id: hal-02898919 https://hal.archives-ouvertes.fr/hal-02898919 Submitted on 14 Jul 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Descriptive Set Theory and ω-Powers of Finitary Languages Olivier FINKEL and Dominique LECOMTE1 March 18, 2020 • CNRS, Universit´ede Paris, Sorbonne Universit´e, Institut de Math´ematiques de Jussieu-Paris Rive Gauche, Equipe de Logique Math´ematique Campus des Grands Moulins, bˆatiment Sophie-Germain, case 7012, 75205 Paris cedex 13, France fi[email protected] •1 Sorbonne Universit´e, Universit´ede Paris, CNRS, Institut de Math´ematiques de Jussieu-Paris Rive Gauche, Equipe d’Analyse Fonctionnelle Campus Pierre et Marie Curie, case 247, 4, place Jussieu, 75 252 Paris cedex 5, France [email protected] •1 Universit´ede Picardie, I.U.T. de l’Oise, site de Creil, 13, all´ee de la fa¨ıencerie, 60 107 Creil, France Abstract.
    [Show full text]
  • Borel Hierarchy and Omega Context Free Languages Olivier Finkel
    Borel Hierarchy and Omega Context Free Languages Olivier Finkel To cite this version: Olivier Finkel. Borel Hierarchy and Omega Context Free Languages. Theoretical Computer Science, Elsevier, 2003, 290 (3), pp.1385-1405. hal-00103679v2 HAL Id: hal-00103679 https://hal.archives-ouvertes.fr/hal-00103679v2 Submitted on 18 Jan 2011 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. BOREL HIERARCHY AND OMEGA CONTEXT FREE LANGUAGES Olivier Finkel ∗ Equipe de Logique Math´ematique CNRS et Universit´eParis 7, U.F.R. de Math´ematiques 2 Place Jussieu 75251 Paris cedex 05, France. Abstract We give in this paper additional answers to questions of Lescow and Thomas [Logi- cal Specifications of Infinite Computations, In:”A Decade of Concurrency”, Springer LNCS 803 (1994), 583-621], proving topological properties of omega context free lan- guages (ω-CFL) which extend those of [O. Finkel, Topological Properties of Omega Context Free Languages, Theoretical Computer Science, Vol. 262 (1-2), 2001, p. 669-697]: there exist some ω-CFL which are non Borel sets and one cannot decide whether an ω-CFL is a Borel set. We give also an answer to a question of Niwin- ski [Problem on ω-Powers Posed in the Proceedings of the 1990 Workshop ”Logics and Recognizable Sets”] and of Simonnet [Automates et Th´eorie Descriptive, Ph.D.
    [Show full text]
  • Category-Measure Duality: Convexity, Mid- Point Convexity and Berz Sublinearity
    N. H. Bingham, A. J. Ostaszewski Category-measure duality: convexity, mid- point convexity and Berz sublinearity Article (Published version) (Refereed) Original citation: Bingham, N. H. and Ostaszewski, Adam (2017) Category-measure duality: convexity, mid-point convexity and Berz sublinearity. Aequationes Mathematicae. ISSN 0001-9054 DOI: 10.1007/s00010-017-0486-7 Reuse of this item is permitted through licensing under the Creative Commons: © 2017 The Authors CC BY 4.0 This version available at: http://eprints.lse.ac.uk/68940/ Available in LSE Research Online: July 2017 LSE has developed LSE Research Online so that users may access research output of the School. Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. You may freely distribute the URL (http://eprints.lse.ac.uk) of the LSE Research Online website. Aequat. Math. c The Author(s) 2017. This article is an open access publication Aequationes Mathematicae DOI 10.1007/s00010-017-0486-7 Category-measure duality: convexity, midpoint convexity and Berz sublinearity N. H. Bingham and A. J. Ostaszewski Abstract. Category-measure duality concerns applications of Baire-category methods that have measure-theoretic analogues. The set-theoretic axiom needed in connection with the Baire category theorem is the Axiom of Dependent Choice, DC rather than the Axiom of Choice, AC. Berz used the Hahn–Banach theorem over Q to prove that the graph of a measurable sublinear function that is Q+-homogeneous consists of two half-lines through the origin. We give a category form of the Berz theorem.
    [Show full text]
  • The Strict Topology in a Completely Regular Setting: Relations to Topological Measure Theory
    Can. J. Math., Vol. XXIV, No. 5, 1972, pp. 873-890 THE STRICT TOPOLOGY IN A COMPLETELY REGULAR SETTING: RELATIONS TO TOPOLOGICAL MEASURE THEORY STEVEN E. MOSIMAN AND ROBERT F. WHEELER 1. Introduction. Let X be a locally compact Hausdorff space, and let C*(X) denote the space of real-valued bounded continuous functions on X. An interesting and important property of the strict topology /3 on C*(X) was proved by Buck [2]: the dual space of (C*(X), 13) has a natural representation as the space of bounded regular Borel measures on X. Now suppose that X is completely regular (all topological spaces are assumed to be Hausdorff in this paper). Again it seems natural to seek locally convex topologies on the space C*(X) whose dual spaces are (via the integration pairing) significant classes of measures. Motivated by this idea, Sentilles [24] has considered locally convex topologies /30, 0, and fii on C*(X) which yield as dual spaces the tight, r-additive, and cr-additive Baire measures of Vara- darajan [30]. If X is locally compact, the topologies /30 and fi coincide and are precisely the original strict topology of Buck. The topology /30 on C*(X) has an intuitively appealing description: it is the finest locally convex topology which, when restricted to sets bounded in the supremum norm, coincides with the compact-open topology. However, it is defective with respect to a desirable property of the dual space: a weak*- compact set of tight measures need not be /30-equicontinuous. This bears on a question posed by Buck in the locally compact setting: when is (C*(X),/3) a Mackey space? A partial answer can be found in the work of LeCam [15] and, independently, Conway [4]: if X is cr-compact locally compact, then (C*(X), /3) is a strong Mackey space (i.e., weak*-compact subsets of the dual space are /3-equicon- tinuous).
    [Show full text]
  • Structural Dichotomy Theorems in Descriptive Set Theory
    Structural dichotomy theorems in descriptive set theory Benjamin Miller Universit¨atWien Winter Semester, 2019 Introduction The goal of these notes is to provide a succinct introduction to the primary structural dichotomy theorems of descriptive set theory. The only prerequisites are a rudimentary knowledge of point-set topology and set theory. Working in the base theory ZF + DC, we first discuss trees, the corresponding representations of closed, Borel, and Souslin sets, and Baire category. We then consider consequences of the open dihypergraph dichotomy and variants of the G0 dichotomy. While pri- marily focused upon Borel structures, we also note that minimal modi- fications of our arguments can be combined with well-known structural consequences of determinacy (which we take as a black box) to yield generalizations into the projective hierarchy and beyond. iii Contents Introduction iii Chapter 1. Preliminaries 1 1. Closed sets 1 2. Ranks 2 3. Borel sets 3 4. Souslin sets 4 5. Baire category 9 6. Canonical objects 13 Chapter 2. The box-open dihypergraph dichotomy 27 1. Colorings of box-open dihypergraphs 27 2. Partial compactifications 31 3. Separation by unions of closed hyperrectangles 34 Chapter 3. The G0 dichotomy, I: Abstract colorings 39 1. Colorings within cliques 39 2. Discrete perfect sets within cliques 42 3. Scrambled sets 45 Chapter 4. The G0 dichotomy, II: Borel colorings 49 1. Borel colorings 49 2. Index two subequivalence relations 52 3. Perfect antichains 54 4. Parametrization and uniformization 56 Chapter 5. The (G0; H0) dichotomy 61 1. Borel local colorings 61 2. Linearizability of quasi-orders 67 Bibliography 71 Index 73 v CHAPTER 1 Preliminaries 1.
    [Show full text]
  • The Limit View of Infinite Computations
    BRICS BRICS RS-94-14 N. Klarlund: The Limit View of Infinite Computations Basic Research in Computer Science The Limit View of Infinite Computations Nils Klarlund BRICS Report Series RS-94-14 ISSN 0909-0878 May 1994 Copyright c 1994, BRICS, Department of Computer Science University of Aarhus. All rights reserved. Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS Department of Computer Science University of Aarhus Ny Munkegade, building 540 DK - 8000 Aarhus C Denmark Telephone:+45 8942 3360 Telefax: +45 8942 3255 Internet: [email protected] The Limit View of Innite Computations Nils Klarlund y BRICS Department of Computer Science University of Aarhus Ny Munkegade DK Arhus Denmark klarlunddaimiaaudk Abstract We showhow to view computations involving very general liveness prop erties as limits of nite approximation s This computational mo del do es not require intro duction of innite nondeterminism as with most traditional approaches Our results allow us directly to relate nite computations in order to infer prop erties ab out innite computations Thus we are able to provide a mathematical understanding of what sim ulations and bisimulation s are when liveness is involved In addition we establish links b etween verication theory and classical results in descriptive set theory Our result on simulations is the essential
    [Show full text]