BOREL SPACES SK Berberian the University of Texas At
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
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. -
Minimally Separating Sets, Mediatrices, and Brillouin Spaces
MINIMALLY SEPARATING SETS, MEDIATRICES, AND BRILLOUIN SPACES J.J.P. VEERMAN AND JAMES BERNHARD Abstract. Brillouin zones and their boundaries were studied in [16] because they play an important role in focal decomposition as first defined by Peixoto in [9] and in physics ([1] and [3]). In so-called Brillouin spaces, the boundaries of the Brillouin zones have certain regularity properties which imply that they consist of pieces of mediatrices (or equidistant sets). The purpose of this note is two-fold. First, we give some simple conditions on a metric space which are sufficient for it to be a Brillouin space. These con- ditions show, for example, that all compact, connected Riemannian manifolds with their usual distance functions are Brillouin spaces. Second, we exhibit a restriction on the Z2-homology of mediatrices in such manifolds in terms of the Z2-homology of the manifolds themselves, based on the fact that they are Bril- louin spaces. (This will used to obtain a classification up to homeomorphim of surface mediatrices in [15]). This note begins with some preliminaries in Section 1, where we define the relevant concepts and provide some background and motivation for the questions being considered here. In Section 2, we list a simple set of conditions on a metric space and prove that these conditions suffice for it to be a Brillouin space. In Section 3, we give some examples and mention a result for use in a later paper. We then investigate in Section 4 the homological restrictions placed on a mediatrix by the topology of the surrounding Brillouin space. -
Tauberian Theorems and Spectral Theory in Topological Vector Spaces
Glasgow Math. J. 55 (2013) 511–532. C Glasgow Mathematical Journal Trust 2013. doi:10.1017/S0017089512000699. TAUBERIAN THEOREMS AND SPECTRAL THEORY IN TOPOLOGICAL VECTOR SPACES RICHARD J. DE BEER Internal Box 209, School of Computer, Statistics & Mathematical Sciences North-West University (Potchefstroom Campus) Pvt. Bag X6001, Potchefstroom 2520, South Africa e-mail: [email protected] (Received 1 February 2012; revised 9 August 2012; accepted 28 November 2012; first published online 25 February 2013) Abstract. We investigate the spectral theory of integrable actions of a locally compact abelian group on a locally convex vector space. We start with an analysis of various spectral subspaces induced by the action of the group. This is applied to analyse the spectral theory of operators on the space, generated by measures on the group. We apply these results to derive general Tauberian theorems that apply to arbitrary locally compact abelian groups acting on a large class of locally convex vector spaces, which includes Frechet´ spaces. We show how these theorems simplify the derivation of Mean Ergodic theorems. 2010 Mathematics Subject Classification. 37A30, 40E05, 43A45 1. Introduction. The aim of this paper is to develop enough spectral theory of integrable group actions on locally convex vector spaces to prove Tauberian theorems, which are applicable to ergodic theory. The Tauberian theorems proved in Section 5 apply to the situation where a general locally compact abelian group acts on certain types of barrelled spaces, and in particular all Frechet´ spaces. This generalises the Tauberian theorem shown in [4], which applies only to the action of the integers on a Banach space. -
COUNTABLE BOREL EQUIVALENCE RELATIONS Introduction. These
COUNTABLE BOREL EQUIVALENCE RELATIONS SIMON THOMAS AND SCOTT SCHNEIDER Introduction. These notes are based upon a day-long lecture workshop presented by Simon Thomas at the University of Ohio at Athens on November 17, 2007. The workshop served as an intensive introduction to the emerging theory of countable Borel equivalence relations. These notes are an updated and slightly expanded version of an earlier draft which was compiled from the lecture slides by Scott Schneider. 1. First Session 1.1. Standard Borel Spaces and Borel Equivalence Relations. A topological space is said to be Polish if it admits a complete, separable metric. If B is a σ-algebra of subsets of a given set X, then the pair (X, B) is called a standard Borel space if there exists a Polish topology T on X that generates B as its Borel σ-algebra; in which case, we write B = B(T ). For example, each of the sets R, [0, 1], NN, and 2N = P(N) is Polish in its natural topology, and so may be viewed, equipped with its corresponding Borel structure, as a standard Borel space. The abstraction involved in passing from a topology to its associated Borel structure is analagous to that of passing from a metric to its induced topology. Just as distinct metrics on a space may induce the same topology, distinct topologies may very well generate the same Borel σ-algebra. In a standard Borel space, then, one “remembers” only the Borel sets, and forgets which of them were open; it is natural therefore to imagine that any of them might have been, and indeed this is the case: Theorem 1.1.1. -
4 from Random Borel Functions to Random Closed Sets
Tel Aviv University, 2012 Measurability and continuity 63 4 From random Borel functions to random closed sets 4a Random measurable maps . 63 4b Random continuous functions revisited . 65 4c Random semicontinuous functions . 66 4d Randomclosedsets ................. 70 Hints to exercises ....................... 75 Index ............................. 75 A random Borel set is not a random element of the Borel σ-algebra, but a random closed set is a random element of a standard Borel space of closed sets. 4a Random measurable maps Indicators of random Borel sets are a special case of random Borel functions. The supremum of a random Borel function is measurable due to Sect. 3. In Sect. 2c random functions were treated as random elements of some spaces of functions (see 2c10–2c13), much more restricted than all functions or all Borel functions. And indeed, the indicator of a random Borel set cannot be treated in this way (since the random Borel set cannot, recall Sect. 2d). Now we proceed in the spirit of 2d3. A probability space (Ω, F,P ) is assumed to be given, but rarely mentioned.1 4a1 Definition. A random Borel function is an equivalence class of maps Ω → RR that contains the map ω → x → f(ω, x) for some (F × B(R))-measurable f : Ω × R → R. As before, “equivalent” means “differ on a negligible set only”. As before, it is convenient to denote both objects by f; just denote f(ω) = f(ω, ·) = x → f(ω, x). You may easily give an equivalent definition in the spirit of 2d2. Compare it with 1d26–1d27 and 2c10–2c13. -
Some Properties of Certain Subsets of Infinite Dimensional Spaces. William Philip Barit Louisiana State University and Agricultural & Mechanical College
Louisiana State University LSU Digital Commons LSU Historical Dissertations and Theses Graduate School 1971 Some Properties of Certain Subsets of Infinite Dimensional Spaces. William Philip Barit Louisiana State University and Agricultural & Mechanical College Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_disstheses Recommended Citation Barit, William Philip, "Some Properties of Certain Subsets of Infinite Dimensional Spaces." (1971). LSU Historical Dissertations and Theses. 2023. https://digitalcommons.lsu.edu/gradschool_disstheses/2023 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Historical Dissertations and Theses by an authorized administrator of LSU Digital Commons. For more information, please contact [email protected]. 72-3459 BARIT, William Philip, 1945- SOME PROPERTIES OF CERTAIN SUBSETS OF INFINITE DIMENSIONAL SPACES. The Louisiana State University and Agricultural and Mechanical College, Ph.D., 1971 Mathematics University Microfilms. A XEROX Company, Ann Arbor, Michigan THIS DISSERTATION HAS BEEN MICROFILMED EXACTLY AS RECEIVED SOME PROPERTIES OF CERTAIN SUBSETS OF INFINITE DIMENSIONAL SPACES A dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Mathematics by William Philip Barit B.S.t Wayne State University, 1967 August, 1971 PLEASE NOTE: Some Pages have indistinct print. Filmed as received. UNIVERSITY MICROFILMS ACKNOWLEDGEMENT The author wishes to thank Professor R.D. Anderson for making it possible to travel with him to Amsterdam on his sabbatical, and for his advice and encouragement while directing this dissertation. -
Stationary Probability Measures and Topological Realizations
ISRAEL JOURNAL OF MATHEMATICS ?? (2013), 1{14 DOI: 10.1007/s??????-??????-?????? STATIONARY PROBABILITY MEASURES AND TOPOLOGICAL REALIZATIONS BY Clinton T. Conley∗ 584 Malott Hall Cornell University Ithaca, NY 14853 USA e-mail: [email protected] URL: http://www.math.cornell.edu/People/Faculty/conley.html AND Alexander S. Kechris∗∗ Mathematics 253-37 Caltech Pasadena, CA 91125 USA e-mail: [email protected] URL: http://www.math.caltech.edu/people/kechris.html AND Benjamin D. Miller∗ Institut f¨urmathematische Logik und Grundlagenforschung Fachbereich Mathematik und Informatik Universit¨atM¨unster Einsteinstraße 62 48149 M¨unster Germany e-mail: [email protected] URL: http://wwwmath.uni-muenster.de/u/ben.miller 1 2 C.T. CONLEY, A.S. KECHRIS AND B.D. MILLER Isr. J. Math. ABSTRACT We establish the generic inexistence of stationary Borel probability mea- sures for aperiodic Borel actions of countable groups on Polish spaces. Using this, we show that every aperiodic continuous action of a countable group on a compact Polish space has an invariant Borel set on which it has no σ-compact realization. 1. Introduction It is well known that every standard Borel space is Borel isomorphic to a σ- compact Polish space (see [Kec95, Theorem 15.6]), and that every Borel action of a countable discrete group on a standard Borel space is Borel isomorphic to a continuous action on a Polish space (see [Kec95, Theorem 13.1]). Here we consider obstacles to simultaneously achieving both results. In x2, we give elementary examples of continuous actions of countable groups on Polish spaces which are not Borel isomorphic to continuous actions on σ- compact Hausdorff spaces. -
Hyperfiniteness of Boundary Actions of Cubulated Hyperbolic Groups
Hyperfiniteness of Boundary Actions of Cubulated Hyperbolic Groups Forte Shinko Department of Mathematics and Statistics McGill University, Montreal March 2017 A thesis submitted to McGill University in partial fulfillment of the requirements of the degree of Master of Science in Mathematics ⃝c Forte Shinko 2017 Abstract A classical result due to Dougherty, Jackson and Kechris states that tail equivalence on Cantor space is a hyperfinite Borel equivalence relation, that is to say that it is the increasing union of finite Borel equivalence relations. This tail equivalence relation is Borel bireducible with the orbit equivalence relation induced by a free group on the boundary of its Cayley graph. We generalize this result to a wider class of hyperbolic groups. Namely, we prove that if a hyperbolic group acts geometrically on a CAT(0) cube complex, then the induced action on the Gromov boundary is hyperfinite. i Abrégé Un résultat classique dû à Dougherty, Jackson et Kechris affirme que l’équivalence de queue sur l’espace de Cantor est une relation d’équivalence borélienne hyperfinie, c’est-à-dire qu’elle est la réunion croissante de relations d’équivalence boréliennes finies. Cette relation d’équivalence de queue est Borel biréductible avec la relation d’équivalence d’orbite induite par l’action d’un groupe libre sur le bord de son graphe de Cayley. On généralise ce résultat à une classe de groupes hyperboliques plus large. À savoir, on prouve que si un groupe hyperbolique agit géométriquement sur un complexe cubique CAT(0), alors l’action induite sur le bord de Gromov est hyperfinie. -
Notes on Countable Borel Equivalence Relations
Countable Borel equivalence relations Filippo Calderoni These notes cover an introduction to countable Borel equivalence relations. The theory of countable Borel equivalence relation is a huge subject. It has a broad impact in several areas of mathematics like ergodic theory, operator algebras, and group theory, and has raised many chal- lenging open problems. We focus on some results about the (anti)classification of torsion-free abelian groups, some applications of Popa’s cocycle superrigidity theorem, and Martin’s conjec- ture. These notes are from a class I taught in Spring 2020. They may include typos and inaccuracies. Thanks to Will Adkins, John Baldwin, Paolo Degiorgi, Ozkan Demir, Yanlong Hao, Yexin Lin, Noah Schoem, and Kevin Zhou for helpful comments. Contents 1 Background 2 2 Smoothness 7 3 Structural results 14 4 Hyperfiniteness 17 5 Treeability 24 6 Torsion-free abelian group of finite rank 27 7 Popa’s cocycle superrigidity 31 8 (Anti)classification of torsion-free abelian groups of finite rank 36 9 The algebraic structure of bireducibility degrees 41 1 10 Martin’s conjecture 45 A Reductions and absoluteness 53 Concept index 54 References 56 1 Background Polish spaces In this section we introduce the central notions of Polish and standard Borel spaces, and we list some fundamental theorems about them. For an extensive exposition on this topics and other fundamental aspects of descriptive set theory we refer the interested reader to Kechris’ book [23] or the excellent lecture notes of Tserunyan [46]. Definition 1.1. A topological space (X, t) is said to be Polish if it is separable and metrizable (i.e., there is a complete metric that generates t). -
Arxiv:1809.05186V1 [Math.GN] 13 Sep 2018 Emnlg Ewl Olw[]Ad[]Rcl Htafnto Set Function a Nota That in Recall [1] Tychonov
A NOTE ON MINIMAL SEPARATING FUNCTION SETS RAUSHAN BUZYAKOVA AND OLEG OKUNEV Abstract. We study point-separating function sets that are minimal with respect to the property of being separating. We first show that for a compact space X having a minimal separating function set in Cp(X) is equivalent to having a minimal separating collection of functionally open sets in X. We also identify a nice visual property of X2 that may be responsible for the existence of a minimal separating function family for X in Cp(X). We then discuss various questions and directions around the topic. 1. Introduction In this discussion we assume that all spaces are Tychonov. In notations and terminology we will follow [2] and [1] Recall that a function set F ⊂ Cp(X) is point separating if for every distinct x, y ∈ X there exists f ∈ F such that f(x) =6 f(y). We will refer to such sets as separating function sets. Ample research has been done on separating function sets. It is natural to look for separating sets that have additional nice properties such as compactness, metrizability, etc. Note that it is quite likely that a randomly rendered sep- arating function set contains a proper separating subset with perhaps better topological properties. With this in mind we would like to take a closer look at minimal separating function sets. Definition A set F ⊂ Cp(X) is a minimal separating function set if F is arXiv:1809.05186v1 [math.GN] 13 Sep 2018 separating for X and no proper subset of F is separating. -
Criteria for Closedness of Spectral Measures and Completeness of Boolean Algebras of Projections
Journal of Mathematical Analysis and Applications 232, 197᎐221Ž. 1999 Article ID jmaa.1998.6262, available online at http:rrwww.idealibrary.com on Criteria for Closedness of Spectral Measures and Completeness of Boolean Algebras of Projections S. Okada View metadata, citation and similar10 McDonaldpapers at core.ac.uk A¨e., Cooma, NSW 2630, Australia brought to you by CORE provided by Elsevier - Publisher Connector and U W. J. Ricker School of Mathematics, Uni¨ersity of New South Wales, Sydney, NSW, 2052, Australia Submitted by John Hor¨ath Received April 13, 1998 The intimate connection between spectral measures and -complete Boolean algebras of projections in Banach spaces was intensively investigated by W. Bade in the 1950s,w ``Linear Operators III: Spectral Operators,'' Wiley-Interscience, New York, 1971; Chap. XVIIx . It is well known that the most satisfactory situation occurs when the Boolean algebra is actually complete rather than just -complete. This makes it desirable to have available criteriaŽ not just in Banach spaces but also in the nonnormable setting. which can be used to determine the completeness of Boolean algebras of projections. Such criteria, which should be effective and applicable in practice, as general as possible and apply to extensive classes of spaces, are presented in this article. A series of examples shows that these criteria are close to optimal. ᮊ 1999 Academic Press Key Words: closed spectral measures; complete Boolean algebra of projections. Spectral measures are extensions to BanachŽ and more general locally convex. spaces of the fundamental notion of the resolution of the identity of a self-adjoint or normal operator in a Hilbert space. -
Stone–Weierstrass Theorems Revisited Vlad Timofte∗ University of Mississippi, Department of Mathematics, 305 Hume Hall, P.O
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Approximation Theory 136 (2005) 45–59 www.elsevier.com/locate/jat Stone–Weierstrass theorems revisited Vlad Timofte∗ University of Mississippi, Department of Mathematics, 305 Hume Hall, P.O. Box 1848, University, MS 38677, USA Received 19 July 2003; accepted 24 May 2005 Communicated by Frank Deutsch Available online 11 August 2005 Abstract We prove strengthened and unified forms of vector-valued versions of the Stone–Weierstrass the- orem. This is possible by using an appropriate factorization of a topological space, instead of the traditional localizability. Our main Theorem 7 generalizesand unifiesnumber of known results. Applications from the last section include new versions in the scalar case, as well as simultaneous approximation and interpolation under additional constraints. © 2005 Elsevier Inc. All rights reserved. 1. Introduction and notations Throughout thispaper, T denotesa topological space, X a Hausdorff locally convex space over the scalar field ∈{R, C}, and C(T,X) the linear space of all X-valued continuous functionson T. Many generalized Stone–Weierstrass theorems are intended to describe the closure of a subset E ⊂ H, in vector subspaces H ⊂ C(T,X) endowed with variouslinear topologies. Typically, such results consider a nonempty subset S ⊂ C(T,), subject to one of the following conditions: E + (1 − )E ⊂ E for every ∈ S, (1) S · E ⊂ E. (2) The generality of this approach also consists in the fact that one may take S = E in the case of a subalgebra E ⊂ C(T,).