DOCSLIB.ORG

Absolute Measurable Spaces ENCYCLOPEDIAOF MATHEMATICSAND ITS APPLICATIONS

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Absolute Measurable Spaces ENCYCLOPEDIAOF MATHEMATICSAND ITS APPLICATIONS A bsolute M easurable S paces Absolutemeasurablespaceandabsolutenull spaceareveryold topological notions, developed from descriptive set theory, topology, Borel measure theory and analysis. This monograph systematically develops and returns to the topological and geometrical origins of these notions. Motivating the development of the exposition aretheaction of thegroup of homeomorphismsof a spaceon Borelmeasures,the Oxtoby–Ulam theorem on Lebesgue-like measures on the unit cube, and the extensions of this theorem to many other topological spaces. Existence of uncountable absolute null space, extension of the Purves theorem, and recent advances on homeomorphic Borel probability measures on the Cantor space are among the many topics discussed. A brief discussion of set-theoretic results on absolutenull spaceis also given. A four-part appendix aids the reader with topological dimension theory, Hausdorff measure and Hausdorff dimension, and geometric measure theory. The exposition will suit researchers and graduate students of real analysis, set theory and measure theory. Togo Nishiurais Professor Emeritus at Wayne State University, Detroit, andAsso- ciate Fell in Mathematics at Dickinson College, Pennsylvania. ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS All the titles listed bel can be obtained from good booksellers or from Cambridge University Press. For a complete series listing visit http://www.cambridge.org/uk/series/sSeries.asp?code=EOM! 63. A. C. Thompson Minkowski Geometry 64 R. B. Bapat and T. E. S. Raghavan Nonnegative Matrices with Applications 65. K. Engel Sperner Theory 66. D. Cvetkovic, P. Rlinson, and S. Simic Eigenspaces of Graphs 67. F. Bergeron, G. Labelle, and P. Leroux Combinational Species and Tree-Like Structures 68. R. Goodman and N. Wallach Representations and Invariants of the Classical Groups 69. T. Beth, D. Jungnickel, and H. Lenz Design Theory 1, 2nd edn 70. A. Pietsch and J. Wenzel Orthonormal Systems for Banach Space Geometry 71. G. E. Andrews, R. Askey, and R. Roy Special Functions 72. R. Ticciati Quantum Field Theory for Mathematicians 73. M. Stern Semimodular Lattices 74. I. Lasiecka and R. Triggiani Control Theory for Partial Differential Equations I 75. I. Lasiecka and R. Triggiani Control Theory for Partial Differential Equations II 76. A. A. Ivanov Geometry of Sporadic Groups I 77. A. Schinzel Polynomials with Special Regard to Reducibility 78. H. Lenz, T. Beth, and D. Jungnickel Design Theory II, 2nd edn 79. T. Palmer Banach Algebras and the General Theory of ∗-Algebras II 80. O. Stormark Lie’s Structural Approach to PDE Systems 81. C. F. Dunkl and Y. Xu Orthogonal Polynomials of Several Variables 82. J. P. Mayberry The Foundations of Mathematics in the Theory of Sets 83. C. Foias, O. Manley, R. Rosa, and R. Temam Navier–Stokes Equations and Turbulence 84. B. Polster and G. Steinke Geometries on Surfaces 85. R. B. Paris and D. Kaminski Asymptotics and Mellin–Barnes Integrals 86 R. McEliece The Theory of Information and Coding, 2nd edn 87. B. Magurn Algebraic Introduction to K-Theory 88. T. Mora Solving Polynomial Equation Systems I 89. K. Bichteler Stochastic Integration with Jumps 90. M. Lothaire Algebraic Combinatorics on Words 91. A. A. Ivanov and S. V. Shpectorov Geometry of Sporadic Groups II 92 P. McMullen and E. Schulte Abstract Regular Polytopes 93. G. Gierz et al. Continuous Lattices and Domains 94. S. Finch Mathematical Constants 95. Y. Jabri The Mountain Pass Theorem 96. G. Gasper and M. Rahman Basic Hypergeometric Series, 2nd edn 97. M. C. Pedicchio and W. Tholen (eds.) Categorical Foundations 98. M. E. H. Ismail Classical and Quantum Orthogonal Polynomials in One Variable 99. T. Mora Solving Polynomial Equation Systems II 100. E. Olivier and M. Eulália Vares Large Deviations and Metastability 101. A. Kushner, V. Lychagin, and V. Rubtsov Contact Geometry and Nonlinear Differential Equations 102. L. W. Beineke, R. J. Wilson, and P. J. Cameron. (eds.) Topics in Algebraic Graph Theory 103. O. Staffans Well-Posed Linear Systems 104. J. M. Lewis, S. Lakshmivarahan, and S. Dhall Dynamic Data Assimilation 105. M. Lothaire Applied Combinatorics on Words 106. A. Markoe Analytic Tomography 107. P. A. Martin Multiple Scattering 108. R. A. Brualdi Combinatorial Matrix Classes 110. M.-J. Lai and L. L. Schumaker Spline Functions on Triangulations 111. R. T. Curtis Symetric Generation of Groups 112. H. Salzmann, T. Grundhöfer, H. Hähl, and R. Löwen The Classical Fields 113. S. Peszat and J. Zabczyk Stochastic Partial Differential Equations with Lévy Noise 114. J. Beck Combinatorial Games 115. L. Barreira and Y. Pesin Nonuniform Hyperbolicity 116. D. Z. Arov and H. Dym J-Contractive Matrix Valued Functions and Related Topics 117. R. Glinski, J.-L. Lions, and J. He Exact and Approximate Controllability for Distributed Parameter Systems 118. A. A. Borovkov and K. A. Borovkov Asympotic Analysis of Random Walks 119. M. Deza and M. Dutour Sikiri´c Geometry of Chemical Graphs 120. T. Nishiura Absolute Measurable Spaces ENCYCLOPEDIAOF MATHEMATICSAND ITS APPLICATIONS AbsoluteMeasurableSpaces TOGO NISHIURA cambridge university press Cambridge, New York, Melbourne, Madrid, Cape Tn, Singapore, São Paulo, Delhi Cambridge University Press TheEdinburgh Building, CambridgeCB2 8RU, UK Published in the United States of America by Cambridge University Press, New York www.cambridge.org Information on this title: www.cambridge.org/9780521875561 © T. Nishiura 2008 This publication is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproductionof any part may takeplacewithout the written permission of Cambridge University Press. First published 2008 Printed in the United Kingdom at the University Press, Cambridge A catalog record for this publication is available from the British Library ISBN 978-0-521-87556-1 hardback Cambridge University Press has no responsibility for the persistence or accuracy of URLs for external or third-party internet websites referred to in this publication, and does not guarantee that any content on such websites is, or will remain, accurate or appropriate. Contents Preface page ix Acknowledgements xiii 1 The absolute property 1 1.1 Absolutemeasurablespaces 1 1.2 Absolutenull spaces 7 1.3 Existenceofabsolutenull spaces 10 1.4 Grzegorek’s cardinal number κG 18 1.5 Moreon existenceofabsolutenull spaces 24 1.6 Comments 26 Exercises 28 2 The universally measurable property 30 2.1 Universally measurable sets 31 2.2 Positive measures 35 2.3 Universally measurable maps 37 2.4 Symmetric difference of Borel and null sets 39 2.5 Early results 42 2.6 Thehomeomorphismgroup of [0, 1] 43 2.7 Thegroup of B-homeomorphisms 46 2.8 Comments 49 Exercises 52 3 The homeomorphism group of X 53 3.1 A metric for HOMEO(X ) 54 3.2 General properties 56 3.3 One-dimensional spaces 57 3.4 The Oxtoby–Ulam theorem 61 3.5 n-dimensional manifolds 73 3.6 TheHilbertcube 76 3.7 Zero-dimensional spaces 82 vi Contents 3.8 Other examples 88 3.9 Comments 90 Exercises 97 4 Real-valued functions 99 4.1 A solution to Goldman’s problem 100 4.2 Differentiability and B-maps 103 4.3 Radon–Nikodym derivative and Oxtoby–Ulam theorem 105 4.4 Zahorski spaces 112 4.5 Bruckner–Davies–Goffman theorem 115 4.6 Changeof variable 126 4.7 Images of Lusin sets 128 4.8 Comments 130 Exercises 134 5 Hausdorff measure and dimension 136 5.1 Universally null sets in metric spaces 136 5.2 A summary of Hausdorff dimension theory 137 5.3 Cantor cubes 139 5.4 Zindulka’s theorem 143 5.5 Analytic sets in Rn 146 5.6 Zindulka’s opaquesets 151 5.7 Comments 154 Exercises 156 6 Martin axiom 157 6.1 CH and universally null sets: a historical tour 157 6.2 Absolutenull spaceand cardinal numbers 165 6.3 Consequences of the Martin axiom 168 6.4 Topological dimension and MA 171 6.5 Comments 173 Exercises 178 AppendixA Preliminary material 179 A.1 Complete metric spaces 179 A.2 Borel measurable maps 182 A.3 Totally imperfect spaces 185 A.4 Complete Borel measure spaces 186 A.5 The sum of Borel measures 192 A.6 Zahorski spaces 193 A.7 Purves’s theorem 194 A.8 Comments 203 Exercises 203 Contents vii AppendixB Probability theoretic approach 204 B.1 Basic definitions 204 B.2 Separable metrizability 206 B.3 Shortt’s observation 208 B.4 Lusin measurable space 210 B.5 Comments 212 Exercises 213 AppendixC Cantor spaces 214 C.1 Closed and open sets 215 C.2 A metric for k N 217 C.3 Bernoulli measures 219 C.4 Uniform Bernoulli distribution 220 C.5 Binomial Bernoulli distribution 221 C.6 Linear ordering of {0, 1}N and good measures 230 C.7 Refinable numbers 233 C.8 Refinable numbers and good measures 239 C.9 Comments 240 Exercises 242 AppendixD Dimensions and measures 244 D.1 Topological dimension 244 D.2 Measure theoretical dimension 246 D.3 Zindulka’s dimension theorem 249 D.4 Geometric measure theory 253 D.5 Marstrand’s theorem 255 Exercises 257 Bibliography 258 Notation index 267 Author index 270 Subject index 272 Preface This book is about absolutemeasurablespaces.What is an absolutemeasurablespace and why study them? To aner the first question, an absolute measurable space, simply put, is a sep- arablemetrizablespaceX with the property that every topological embedding of X into any separable metrizable space Y results in a set that is µ-measurable for every continuous, complete, finite Borel measure µ on Y . Of course, only Borel measures areconsideredsincethetopology of Y must play a rolein thedefinition. For an aner to the second question, observe that the notion of absolute measurable spaceis a topological onein thespirit of many othernotions of “absolute”such as absolute Borel space, absolute Gδ space, absolute retract and many more. As the definition is topological, one is led to many topological questions about such spaces.
Load more

Recommended publications
  • D-18 Theˇcech–Stone Compactifications of N and R
    d-18 The Cech–Stoneˇ compactifications of N and R 213 d-18 The Cech–Stoneˇ Compactifications of N and R c It is safe to say that among the Cech–Stoneˇ compactifica- The proof that βN has cardinality 2 employs an in- tions of individual spaces, that of the space N of natural dependent family, which we define on the countable set numbers is the most widely studied. A good candidate for {hn, si: n ∈ N, s ⊆ P(n)}. For every subset x of N put second place is βR. This article highlights some of the most Ix = {hn, si: x ∩ n ∈ s}. Now if F and G are finite dis- striking properties of both compactifications. T S joint subsets of P(N) then x∈F Ix \ y∈G Iy is non-empty – this is what independent means. Sending u ∈ βN to the P( ) ∗ point pu ∈ N 2, defined by pu(x) = 1 iff Ix ∈ u, gives us a 1. Description of βN and N c continuous map from βN onto 2. Thus the existence of an independent family of size c easily implies the well-known The space β (aka βω) appeared anonymously in [10] as an N fact that the Cantor cube c2 is separable; conversely, if D is example of a compact Hausdorff space without non-trivial c dense in 2 then setting Iα = {d ∈ D: dα = 0} defines an converging sequences. The construction went as follows: for ∗ ∈ independent family on D. Any closed subset F of N such every x (0, 1) let 0.a1(x)a2(x)..
    [Show full text]
  • Dense Subgroups of Compact Groups
    Open Problems in Topology II – Edited by E. Pearl © 2007 Elsevier B.V. All rights reserved Dense subgroups of compact groups W. W. Comfort 1. Introduction The symbol G here denotes the class of all infinite groups, and TG denotes the class of all infinite topological groups which satisfy the T0 separation prop- erty. Each element of TG is, then, a Tychonoff space (i.e., a completely regular, Hausdorff space) [50, 8.4]. We say that G = (G, T ) ∈ TG is totally bounded (some authors prefer the expression pre-compact) if for every U ∈ T \ {∅} there is a finite set F ⊆ G such that G = FU. Our point of departure is the following portion of Weil’s Theorem [77]: Every totally bounded G ∈ TG embeds as a dense topological subgroup of a compact group G; this is unique in the sense that for every compact group Ge containing G densely there is a homeomorphism-and- isomorphism ψ : G Ge fixing G pointwise. As usual, a space is ω-bounded if each of its countable subsets has compact closure. For G = (G, T ) ∈ TG we write G ∈ C [resp., G ∈ Ω; G ∈ CC; G ∈ P; G ∈ TB] if (G, T ) is compact [resp., ω-bounded; countably compact; pseudocompact; totally bounded]. And for X ∈ {C, Ω, CC, P, TB} and G ∈ G we write G ∈ X0 if G admits a group topology T such that (G, T ) ∈ X. The class-theoretic inclusions C ⊆ Ω ⊆ CC ⊆ P ⊆ TB ⊆ TG and C0 ⊆ Ω0 ⊆ CC0 ⊆ P0 ⊆ TB0 ⊆ TG0 = G are easily established. (For P ⊆ TB, see [31].
    [Show full text]
  • Topology Proceedings
    Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: [email protected] ISSN: 0146-4124 COPYRIGHT °c by Topology Proceedings. All rights reserved. TOPOLOGY PROCEEDINGS Volume 27, No. 2, 2003 Pages 545{558 THE TOPOLOGY OF COMPACT GROUPS SIDNEY A. MORRIS∗ Abstract. This paper is a slightly expanded version of a plenary ad- dresss at the 2002 Summer Topology Conference in Auckland, New Zealand. The aim in this paper is not to survey the vast literature on compact groups, or even the topological group structure of compact groups which is described in considerable detail in the 1998 book \The Structure of Compact Groups: A Primer for the Student { A Handbook for the Expert" by Karl Heinrich Hofmann and this author. Rather, the much more modest purpose in this article is to focus on point-set topology and, in a gentle fashion, describe the topological structure of compact groups, most of which can be extracted or derived from that large book. 1. Fundamental Facts Portions of the material presented here can be found in various papers and books. The book ([3],[4]) by Karl Heinrich Hofmann and the author is a comfortable reference. However, this is not meant to imply that all the results in [3] were first proved by Hofmann and/or Morris, although often the presentation and approach in the book are new. Definition 1.1. Let G be a group with a topology τ. Then G is said to be a topological group if the maps G G given by g g 1 and G G G ! 7! − × ! given by (g1; g2) g1:g2 are continuous.
    [Show full text]
  • A B S T R a C T. We Show That There Is a Scattered Compact Subset K of The
    Bulletin T.CXXXI de l’Acad´emieserbe des sciences et des arts ¡ 2005 Classe des Sciences math´ematiqueset naturelles Sciences math´ematiques, No 30 REPRESENTING TREES AS RELATIVELY COMPACT SUBSETS OF THE FIRST BAIRE CLASS S. TODORCEVIˇ C´ (Presented at the 7th Meeting, held on October 29, 2004) A b s t r a c t. We show that there is a scattered compact subset K of the first Baire class, a Baire space X and a separately continuous mapping f : X £ K ¡! R which is not continuous on any set of the form G £ K, where G is a comeager subset of X. We also show that it is possible to have a scattered compact subset K of the first Baire class which does have the Namioka property though its function space C(K) fails to have an equivalent Fr´echet-differentiable norm and its weak topology fails to be σ-fragmented by the norm. AMS Mathematics Subject Classification (2000): 46B03, 46B05 Key Words: Baire Class-1, Function spaces, Renorming Recall the well-known classical theorem of R.Baire which says that for ev- ery separately continuous real function defined on the unit square [0; 1]£[0; 1] is continuous at every point of a set of the form G£[0; 1] where G is a comea- ger subset of [0; 1]. This result was considerably extended by I.Namioka [12] who showed that the same conclusion can be reached for separately contin- uous functions on products of the form X £ K where X is a Cech-complete space and where K is a compact space.
    [Show full text]
  • TOPOLOGICAL DYNAMICS 1. Introduction Definition 1.1. A
    TOPOLOGICAL DYNAMICS STEFAN GESCHKE 1. Introduction Definition 1.1. A topological semi-group is a topological space S with an associative continuous binary operation ·. A topological semi-group (S; ·) is a topological group if (S; ·) is a group and taking inverses is continuous. Now let S be a topological semi-group and X a topological space. Given a map ' : S ×X ! X, we write sx for '(s; x). ' is a continuous semi-group action if it is continuous and for all s; t 2 S we have s(tx) = (st)x. A dynamical system is a topological semi-group S together with a compact space X and a continuous semi-group action of S on X. X is the phase space of the dynamical system. Sometimes we say that X together with the S-action is an S-flow. Exercise 1.2. Let S be a topological semi-group acting continuously on a compact space X. Show that for all s 2 S the map fs : X ! X; x 7! sx is continuous. Exercise 1.3. Let G be a topological group acting continuously on a compact space X. Show that for all g 2 G the map fg : X ! X; x 7! gx is a homeomorphism. Example 1.4. Let X be a compact space and let f : X ! X be a continuous map. We define a semi-group action of (N; +) on X by letting nx = f n(x) for each n 2 N. This action is continuous with respect to the discrete topology on N. If f : X ! X is a homeomorphism, we can define nx = f n(x) for all nZ and obtain a group action of (Z; +) on X.
    [Show full text]
  • A Product of Compact Normal Spaces Is Normal
    Poorly Separated Infinite Normal Products N. Noble* Abstract From the literature: a product of compact normal spaces is normal; the product of a countably infinite collection of non-trivial spaces is normal if and only if it is countably paracompact and each of its finite sub-products is normal; if all powers of a space X are normal then X is compact – provided in each case that the spaces involved are T1. Here I examine the situation for infinite products not required to be T1 (or regular), extending or generalizing each of these facts. In addition, I prove some related results, give a number of examples, explore some alternative proofs, and close with some speculation regarding potential applications of these findings to category theory and lattice theory. I plan to consider the normality of poorly separated finite products in a companion paper currently in preparation. Summary of principal results Calling a space vacuously normal if it does not contain a pair of nonempty disjoint closed subsets, and using the notation Πα SXα = XS, I show: • A product of vacuously normal spaces is vacuously normal. • A product of compact normal spaces is compact normal. • All powers of X are normal if and only if X is vacuously normal or compact normal. • If X is vacuously normal, Y normal, and the projection from X x Y to Y is closed, then X x Y is normal; the converse holds for Y a T1 space, but not in general. • A countable product with no factor vacuously normal is normal if and only if it is countably paracompact and each of its finite sub-products is normal.
    [Show full text]
  • AN INJECTIVE CHARACTERIZATION OF' PEANO SPACES Burkhard
    Topology and its Applications 11 (1980) 37-46 @ North-Holland Publishing Company AN INJECTIVE CHARACTERIZATION OF’ PEANO SPACES Burkhard HOFFMANN Mathematical Institute, Oxford, England Received 20 November 1978 Revised 26 April 1979 It is shown that a continuous map defined on a closed zero-dimensional sabspace S of a compact space 7’ into a Peano space X can be continuously extended over T or, equivalently, X is an AE(0, OO),and this property precisely characterizesPeano spaces within the class of compact metric spaces. Surjectively, a compact AE(0, ~a)of arbitraryweight is proved to be the continuous image of a Tychonoff cube by a map satisfying the zero-dimensional lifting property. AMS (MOS) Subj. Class. (1970): Primary 54F25,54ClO Peano space zero-dimensional lifting propel :y AE(m, n) 0. Introduction Locally connected, connected metric spaces or Peano spaces were characterized by Hahn and Mazurkiewicz in their celebrated theorem as the continuous images of the unit interval. Although considerable effort has been made in various directions to generalize their theorem to non-met&able spaces (see e.g. [ 111, [ 121 and their references), no satisfactnry solution has yet been fcund. Combining the standard technique of the proof of the Hahn-Mazurkiewicz theorem with the concept of zero-dimensional lifting property or z.d.1.p. we prove that, in the category of compact spaces and continuous maps, Peano spaces are precisely the metrizable absolute extensors for zero- to infinite-dimensional spaces (Theorem 2.2). This result furnishes us with an injective characterization of Peano spaces which seems to be suitable for a generalization to compact spaces of uncountable weight.
    [Show full text]
  • The Universal Minimal Space for Groups of Homeomorphisms of H
    THE UNIVERSAL MINIMAL SPACE FOR GROUPS OF HOMEOMORPHISMS OF H-HOMOGENEOUS SPACES ELI GLASNER AND YONATAN GUTMAN To Anatoliy Stepin with great respect. Abstract. Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G = Homeo(X), is the space of maximal chains on X introduced in [Usp00]. If X is metrizable then clearly X is homeomorphic to the Cantor set and the result was already known (see [GW03]). However many new examples arise for non-metrizable spaces. These include, among others, the generalized Cantor sets X = {0, 1}κ for non-countable cardinals κ, and the corona or remainder of ω, X = βω \ ω, where βω denotes the Stone-Cˇech compactification of the natural numbers. 1. Introduction The existence and uniqueness of a universal minimal G dynamical system, corre- sponding to a topological group G, is due to Ellis (see [Ell69], for a new short proof see [GL11]). He also showed that for a discrete infinite G this space is never metrizable, arXiv:1106.0121v2 [math.DS] 13 Oct 2011 and the latter statement was generalized to the locally compact non-compact case by Kechris, Pestov and Todorcevic in the appendix to their paper [KPT05]. For Polish groups this is no longer the case and we have such groups with M(G) being trivial (groups with the fixed point property or extremely amenable groups) and groups with 1 1 metrizable, easy to compute M(G), like M(G)= S for the group G = Homeo+(S ) 2010 Mathematics Subject Classification.
    [Show full text]
  • Topological Properties of the Cantor Spaces
    الجـامعــــــــــة اﻹســـــﻼميــة بغــزة The Islamic University of Gaza عمادة البحث العلمي والدراسات العليا Deanship of Research and Graduate Studies كـليــــــــــــــــــــة العـلـــــــــــــــــــــوم Faculty of Science Master of Mathematical Science ماجستيـــــــر العلـــــــوم الـريـاضـيــة Topological Properties of the Cantor Spaces الخصائص التبولوجية لفضاءات كانتور By Ahamed M. Alnajjar Supervised by Prof. Dr. Hisham B. Mahdi Professor of Mathematices A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematical Sciences. October/2018 إقــــــــــــــرار أنا الموقع أدناه مقدم الرسالة التي تحمل العنوان: Topological Properties of the Cantor Spaces ﺍلﺨﺼائص ﺍلتبولوﺟﻴة لﻔضاءات ﻛانتوﺭ أقر بأن ما اشتملت عليو ىذه الرسالة إنما ىه نتاج جيدي الخاص، باستثناء ما تمت اﻹشارة إليو حيثما ورد، وأن ىذه الرسالة ككل أو أي جزء منيا لم يقدم من قبل اﻻخرين لنيل درجة أو لقب علمي أو بحثي لدى أي مؤسدة تعليمية أو بحثية أخرى. Declaration I understand the nature of plagiarism, and I am aware of the University’s policy on this. The work provided in this thesis, unless otherwise referenced, is the researcher's own work, and has not been submitted by others elsewhere for any other degree or qualification. اسم الطالب: أحمد دمحم خالد النجار Student's name: Ahamed M. Alnajjar التهقيع: :Signature التاريخ: :Date i Abstract ﻓﻲ هذه الرسالة ، نتحدث بشكل رئيسﻲ عن ﻓضاءات كانتور ومكعب كانتور ﻷية مجموعات غير منتهيه ﻓﻲ X ﻓان مكعب كانتور تم تعريفه على انه مجموعات الطاقة من (P(X من X. وهذا الفضاء له تمثيﻼت أخرى ويتكون اﻷساس لهذا الفضاء من كل الفترات التﻲ تكون على شكل [ك, م] حيث ان ك منتهيه و م غير منتهيه وحيث تم استخدام هذا اﻷساس بفعاليه ودرسنا خصائص الفضاءات الكانتور و مكعب كانتور وأنواع مختلفه من مكعب كانتور ,وأثبتنا أن الفضاء كانتور هو الفضاء الوحيد (ما يصل إلى التماثل) التﻲ تجمع بين خصائص الفضاء المنفصل ، والكمال ، والمدمج ، والمتر المترابط تما ًما وأثبتنا أن µ تكون تبولوجﻲ ألكساندر وف ﻓإنها تكون مغلقه ﻓﻲ 푿 .
    [Show full text]
  • F-9 Topological Characterizations of Separable Metrizable Zero-Dimensional Spaces
    hart v.2003/06/18 Prn:20/06/2003; 9:30 F:hartf10.tex; VTEX/J p. 1 334 Section F: Special properties f-9 Topological Characterizations of Separable Metrizable Zero-Dimensional Spaces A space X is called zero-dimensional if it is nonempty theorems give us homogeneity for free. (This phenomenon is and has a base consisting of clopen sets, i.e., if for every not uncommon in topology.) point x ∈ X and for every neighbourhood U of x there The following example of a zero-dimensional compact exists a clopen subset C ⊆ X such that x ∈ C ⊆ U.It space is of particular interest. From I =[0, 1] remove the 1 2 is clear that a nonempty subspace of a zero-dimensional interval ( /3, /3), i.e., the ‘middle-third’ interval. From the space is again zero-dimensional and that products of zero- remaining two intervals, again remove their ‘middle-thirds’, dimensional spaces are zero-dimensional. and continue in this way infinitely often. What remains of I We say that a space X is totally disconnected if for all at the end of this process is called the Cantor middle-third distinct points x,y in X there exists a clopen set C in set, C. A space homeomorphic to C is called a Cantor set. ∈ ∈ X such that x C but y/C. It is clear that every zero- It is easy to see that C is the subspace of I consisting of dimensional space is totally disconnected. The question nat- all points that have a triadic expansion in which the digit 1 urally arises whether every totally disconnected space is does not occur, i.e., the set zero-dimensional.
    [Show full text]
  • A Note on the $ Luc-$ Compactification of Locally Compact Groups
    A NOTE ON THE LUC-COMPACTIFICATION OF LOCALLY COMPACT GROUPS SAFOURA JAFAR-ZADEH Abstract. Let G be a locally compact non-compact topological group. We show that Gluc (G∗) is an F-space if and only if G is a discrete group. 1. Introduction Let G be a Hausdorff locally compact group and Cb(G) denote the Banach space of bounded continuous functions on G with the uniform norm. An element f in Cb(G) is called left uniformly continuous if g 7→ lgf, where lgf(x)= f(gx) is a continuous map from G to Cb(G). Let LUC(G) denote the Banach space of left uniformly continuous functions with the uniform norm. It can be seen that Cc(G) the space of continuous compactly supported functions on G is a subspace of LUC(G). The dual space of LUC(G), LUC(G)∗, with the following Arens-type product forms a Banach algebra: < m.n, f >=< m, nf > and < nf, g >=< n,lg(f) >, where m, n ∈ LUC(G)∗, f ∈ LUC(G) and g ∈ G. In fact this product is an extension to LUC(G)∗ of the convolution product on M(G). The luc-compactification of a locally compact group G, denoted by Gluc can be regarded as a generalization to locally compact groups, of the familiar Stone-Cech compactification for discrete groups. As a topological space, Gluc is the Gelfand spectrum of the unital commutative C∗−algebra of left uniformly continuous func- tions on G, i.e., LUC(G) = C(Gluc). The restriction of the product on LUC(G)∗ arXiv:1401.4775v1 [math.FA] 20 Jan 2014 to the subset Gluc of LUC(G)∗ turns Gluc into a semigroup.
    [Show full text]
  • Author's Review of His Research, Achievements and Publications
    Author's review of his research, achievements and publications 1. Name: Szymon Zeberski_ 2. Obtained diplomas and academic degrees: • M.Sc. in Mathematics, Mathematical Institute, University of Wroc law, 2000 • Ph.D. in Mathematics, Mathematical Institute, University of Wroc law, 2004 3. Employment in scientific institutions: • Assistant Lecturer, Mathematical Institute, University of Wroc law, 2004{2005, • Assistant Professor, Mathematical Institute, University of Wroc law, 2005{2007, • Assistant Professor, Institute of Mathematics and Computer Science, Wroc law University of Technology, 2007{2014, • Assistant Professor, Department of Computer Science, Faculty of Fundamental Problems of Technology, Wroc law University of Technology, since 2014. 4. Achievements in the form of series of publications under the title Nonmeasurability in Polish spaces with respect to Article 16 Paragraph 2 of the Act of 14 March 2003 on Academic Degrees and Title and on Degrees and Title in the Field of Art. List of publications included in the achievement mentioned above [H1] Sz. Zeberski_ , On weakly measurable functions, Bulletin of the Polish Academy of Sciences, Mathematics, 53 (2005), 421-428, [H2] Sz. Zeberski_ , On completely nonmeasurable unions, Mathematical Logic Quar- terly, 53 (1) (2007), 38-42, [H3] R. Ra lowski, Sz. Zeberski_ , Complete nonmeasurability in regular families, Houston Journal of Mathematics, 34 (3) (2008), 773-780, [H4] R. Ra lowski, Sz. Zeberski_ , On nonmeasurable images, Czechoslovak Mathemati- cal Journal, 60 (135) (2010), 424-434, [H5] R. Ra lowski, Sz. Zeberski_ , Completely nonmeasurable unions, Central European Journal of Mathematics, 8 (4) (2010), 683-687, [H6] Sz. Zeberski_ , Inscribing nonmeasurable sets, Archives for Mathematical Logic, 50 (3) (2011), 423-430, [H7] R.
    [Show full text]