DOCSLIB.ORG

Probabilistic Measure Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Probabilistic Measure Theory Probabilistic Measure Theory Andrew Kobin Spring 2015 Contents Contents Contents 0 Introduction 1 1 Probability and Normal Numbers 4 1.1 The Weak Law of Large Numbers . .6 1.2 The Strong Law of Large Numbers . .8 1.3 Further Properties of Normal Numbers . 14 2 Probability Measures 19 2.1 Fields, σ-fields and Probability Measures . 19 2.2 The Lebesgue Measure on the Unit Interval . 26 2.3 Extension to σ-fields . 27 2.4 π-systems and λ-systems . 32 2.5 Monotone Classes . 34 2.6 Complete Extensions . 35 2.7 Non-Measurable Sets . 37 3 Denumerable Probabilities 38 3.1 Limit Inferior, Limit Superior and Convergence . 38 3.2 Independence . 40 3.3 Subfields . 43 3.4 The Borel-Cantelli Lemmas . 44 4 Simple Random Variables 47 4.1 Convergence in Measure . 49 4.2 Independent Variables . 51 4.3 Expected Value and Variance . 52 4.4 Abstract Laws of Large Numbers . 55 4.5 Second Borel-Cantelli Lemma Revisited . 58 4.6 Bernstein's Theorem . 60 4.7 Gambling . 62 4.8 Markov Chains . 68 4.9 Transience and Persistence . 72 5 Abstract Measure Theory 80 5.1 Measures . 80 5.2 Outer Measure . 83 5.3 Lebesgue Measure on Rn ............................. 87 5.4 Measurable Functions . 91 5.5 Distribution Functions . 93 6 Integration Theory 97 6.1 Measure-Theoretic Integration . 97 6.2 Properties of Integration . 100 i 0 Introduction 0 Introduction These notes were compiled from a course on measure-theoretic probability theory taught by Dr. Sarah Raynor in Spring 2015 at Wake Forest University. The course covers the basic concepts in measure theory and uses them to deepen understanding of probability. The companion text for the course is Probability and Measure, 4th ed., by P. Billingsley. One of the best examples to illustrate the nuance of measure theory is the Cantor set. The Cantor set C is defined as follows. Let A0 = [0; 1], the unit interval. Let A1 be the 1 2 set A0 − 3 ; 3 formed by deleting the middle third of A0. Next, A2 is similarly formed 1 2 7 8 by deleting the middle thirds 9 ; 9 and 9 ; 9 from each component of A1. The process is continued to define a sequence 1 [ 1 + 3k 2 + 3k A = A − ; : n n−1 3n 3n k=0 1 \ Finally, the Cantor set is the subset of [0; 1] given by C = An, that is, the points remaining n=0 in the unit interval after iterating this process over the natural numbers. Length is our first idea of measure, from which many others will stem. If we take the usual length of an interval on the real line to be end point minus starting point, then the unit interval [0; 1] has length 1. One may then ask: How long is the Cantor set? To measure the length of C, we instead calculate the length of its complement and subtract it from 1. This is the following infinite sum: 1 2 4 8 + + + + ::: 3 9 27 81 1=3 which is a geometric series converging to = 1. Thus the complement of the Cantor 1 − 2=3 set has length 1, but the total unit interval has length 1 meaning the Cantor set has length 0. This is our first example of a set of measure zero. Area, volume, hypervolume, etc. are all extensions of length to higher dimensions | these are also examples of measures. For example, the area of an annulus is easy to compute. Consider the following region R. R 1 2 1 0 Introduction We compute the area A by A = 4π − π = 3π. However, one may also want to compute the mass of the annulus, say if it were made of aluminum or steel. Given a density function, e.g. ρ = e−r2 kg=cm2, find the mass of the annular region. This is computed by a double integral, 2π 2 2π ZZ Z Z 2 1 Z ρ dA = e−r r dr dθ = − (e−2 − e−1) dθ = π(e−1 − e−2): R 0 1 2 0 If we think of a double integral as the limit of the process of breaking the region into smaller regions and adding together all their masses, we see the same concept at work as in the Cantor set example. How does this relate to probability? Example 0.0.1. What is the probability of rolling a prime number on a standard six-sided die? This can be computed by the same divide-and-conquer approach: 3 1 P (prime) = P (2) + P (3) + P (5) = = : 6 2 Example 0.0.2. When playing craps (rolling two dice), what is the probability of rolling either a 7 or an 11? 6 2 2 P (7 or 11) = P (7) + P (11) = + = : 36 36 9 Example 0.0.3. Given a dartboard of unit area, the probability of hitting a small region on the board with your dart is precisely the area of that region: There is a common theme among the above examples, which is that the calculation of probability relies on our ability to measure things and compare the relative measures. We generalize this in the following way. Definition. A measure µ on a set S is a function µ : P(S) ! [0; 1] such that µ is 1 [ countably additive, that is, if A is a subset of S of the form An and An \ Am = ? for all n=1 1 X n 6= m, then µ(A) = µ(An). n=1 This isn't quite the full definition yet; we will formalize everything in Chapter 5. However, some interesting questions arise from defining a measure this way: 2 0 Introduction 1 Is every subset of S measurable? When the set is finite, the answer is yes. However, for the unit interval with length as a measure, the answer is no. A counterexample is difficult to produce at this time. 2 The Banach-Tarski Paradox (sometimes called the Banach-Tarski Theorem) says that it is possible to take a solid ball of any size, say the size of a basketball, decompose it into finitely many pieces and put them back together only using rigid motions to get a ball the size of the sun. How is this possible? The domain of a measure must have a special structure, which is called a σ-field (some- times σ-algebra in the literature). Definition. Let S be a set and F a collection of subsets of S. F is a σ-algebra provided (1) S 2 F. (2) If A 2 F then AC 2 F as well. 1 [ (3) If A1;A2;::: 2 F (this may be a countable list) then An 2 F. n=1 It turns out that this is just enough structure to allow us to define a measure on F. This will be the main `universe' in which we work, defining probability measures and developing their applications. The first four chapters may be treated as an extensive case study of probability spaces, that is, spaces with measure 1. In Chapter 5 we finally introduce the terminology and main theorems in abstract measure theory. 3 1 Probability and Normal Numbers 1 Probability and Normal Numbers In these notes we will denote a sample space by Ω and a particular event taken from this sample space by !. Our prototypical example will have Ω = (0; 1]. For technical reasons we will always assume an interval of the real line is of the form (a; b] so that collections of intervals may be chosen disjointly (so they don't overlap at the endpoints). If I = (a; b] we will denote the usual notion of length by jIj = jb − aj. n [ Suppose A = Ii where Ii = (ai; bi] are pairwise disjoint intervals in the sample space i=1 Ω = (0; 1]. We define Definition. The probability of event A occuring within the sample space Ω is n n X X P (A) := jIij = jbi − aij: i=1 i=1 At this point we are carefully avoiding complicated subsets of Ω, such as the Cantor set in the introduction. These will be the focus in later chapters. If A and B are disjoint subsets of Ω and each of A; B is a finite disjoint union of intervals, then P (A [ B) = P (A) + P (B): This is called the finite additivity of probability. So far we have brushed over something important: is our definition of P (A) well-defined? That is, if A has two different represen- tations as finite disjoint unions of intervals in Ω, do they both give the same probability? n m [ [ Well suppose A = Ii = Jj. We create a collection of intervals Kij = Ii \ Jj, called a i=1 j=1 refinement of the Ii and Jj. Notice that m n m n [ [ [ [ A = Kij = (Ii \ Jj): j=1 i=1 j=1 i=1 This implies well-definedness of our definition of P (A). Example 1.0.4. This relates to the Riemann integral in an important way. For a subset A ⊂ Ω which is a disjoint union of finitely many intervals in Ω = (0; 1], define the characteristic function n ( X 1 x 2 Ii fA = χIi where χIi (x) = i=1 0 x 62 Ii: m X Similarly define gB = χJj . Then finite additivity of probability implies the additive j=1 property of Riemann integrals: Z 1 Z 1 Z 1 (fA + gB) dx = fA dx + gB dx: 0 0 0 4 1 Probability and Normal Numbers This is because Z 1 χI (x) dx = jIj = b − a: 0 Keep in mind that for the moment we are only dealing with event spaces that are finite disjoint unions of half-open intervals; when we encounter more complicated subsets of Ω, Riemann integration breaks down.
Load more

Recommended publications
  • Measure-Theoretic Probability I
    Measure-Theoretic Probability I Steven P.Lalley Winter 2017 1 1 Measure Theory 1.1 Why Measure Theory? There are two different views – not necessarily exclusive – on what “probability” means: the subjectivist view and the frequentist view. To the subjectivist, probability is a system of laws that should govern a rational person’s behavior in situations where a bet must be placed (not necessarily just in a casino, but in situations where a decision must be made about how to proceed when only imperfect information about the outcome of the decision is available, for instance, should I allow Dr. Scissorhands to replace my arthritic knee by a plastic joint?). To the frequentist, the laws of probability describe the long- run relative frequencies of different events in “experiments” that can be repeated under roughly identical conditions, for instance, rolling a pair of dice. For the frequentist inter- pretation, it is imperative that probability spaces be large enough to allow a description of an experiment, like dice-rolling, that is repeated infinitely many times, and that the mathematical laws should permit easy handling of limits, so that one can make sense of things like “the probability that the long-run fraction of dice rolls where the two dice sum to 7 is 1/6”. But even for the subjectivist, the laws of probability should allow for description of situations where there might be a continuum of possible outcomes, or pos- sible actions to be taken. Once one is reconciled to the need for such flexibility, it soon becomes apparent that measure theory (the theory of countably additive, as opposed to merely finitely additive measures) is the only way to go.
    [Show full text]
  • Duality for Outer $ L^ P \Mu (\Ell^ R) $ Spaces and Relation to Tent Spaces
    p r DUALITY FOR OUTER Lµpℓ q SPACES AND RELATION TO TENT SPACES MARCO FRACCAROLI p r Abstract. We prove that the outer Lµpℓ q spaces, introduced by Do and Thiele, are isomorphic to Banach spaces, and we show the expected duality properties between them for 1 ă p ď8, 1 ď r ă8 or p “ r P t1, 8u uniformly in the finite setting. In the case p “ 1, 1 ă r ď8, we exhibit a counterexample to uniformity. We show that in the upper half space setting these properties hold true in the full range 1 ď p,r ď8. These results are obtained via greedy p r decompositions of functions in Lµpℓ q. As a consequence, we establish the p p r equivalence between the classical tent spaces Tr and the outer Lµpℓ q spaces in the upper half space. Finally, we give a full classification of weak and strong type estimates for a class of embedding maps to the upper half space with a fractional scale factor for functions on Rd. 1. Introduction The Lp theory for outer measure spaces discussed in [13] generalizes the classical product, or iteration, of weighted Lp quasi-norms. Since we are mainly interested in positive objects, we assume every function to be nonnegative unless explicitly stated. We first focus on the finite setting. On the Cartesian product X of two finite sets equipped with strictly positive weights pY,µq, pZ,νq, we can define the classical product, or iterated, L8Lr,LpLr spaces for 0 ă p, r ă8 by the quasi-norms 1 r r kfkL8ppY,µq,LrpZ,νqq “ supp νpzqfpy,zq q yPY zÿPZ ´1 r 1 “ suppµpyq ωpy,zqfpy,zq q r , yPY zÿPZ p 1 r r p kfkLpppY,µq,LrpZ,νqq “ p µpyqp νpzqfpy,zq q q , arXiv:2001.05903v1 [math.CA] 16 Jan 2020 yÿPY zÿPZ where we denote by ω “ µ b ν the induced weight on X.
    [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]
  • Superadditive and Subadditive Transformations of Integrals and Aggregation Functions
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Portsmouth University Research Portal (Pure) Superadditive and subadditive transformations of integrals and aggregation functions Salvatore Greco⋆12, Radko Mesiar⋆⋆34, Fabio Rindone⋆⋆⋆1, and Ladislav Sipeky†3 1 Department of Economics and Business 95029 Catania, Italy 2 University of Portsmouth, Portsmouth Business School, Centre of Operations Research and Logistics (CORL), Richmond Building, Portland Street, Portsmouth PO1 3DE, United Kingdom 3 Department of Mathematics and Descriptive Geometry, Faculty of Civil Engineering Slovak University of Technology 810 05 Bratislava, Slovakia 4 Institute of Theory of Information and Automation Czech Academy of Sciences Prague, Czech Republic Abstract. We propose the concepts of superadditive and of subadditive trans- formations of aggregation functions acting on non-negative reals, in particular of integrals with respect to monotone measures. We discuss special properties of the proposed transforms and links between some distinguished integrals. Superaddi- tive transformation of the Choquet integral, as well as of the Shilkret integral, is shown to coincide with the corresponding concave integral recently introduced by Lehrer. Similarly the transformation of the Sugeno integral is studied. Moreover, subadditive transformation of distinguished integrals is also discussed. Keywords: Aggregation function; superadditive and subadditive transformations; fuzzy integrals. 1 Introduction The concepts of subadditivity and superadditivity are very important in economics. For example, consider a production function A : Rn R assigning to each vector of pro- + → + duction factors x = (x1,...,xn) the corresponding output A(x1,...,xn). If one has available resources given by the vector x =(x1,..., xn), then, the production function A assigns the output A(x1,..., xn).
    [Show full text]
  • Ernst Zermelo Heinz-Dieter Ebbinghaus in Cooperation with Volker Peckhaus Ernst Zermelo
    Ernst Zermelo Heinz-Dieter Ebbinghaus In Cooperation with Volker Peckhaus Ernst Zermelo An Approach to His Life and Work With 42 Illustrations 123 Heinz-Dieter Ebbinghaus Mathematisches Institut Abteilung für Mathematische Logik Universität Freiburg Eckerstraße 1 79104 Freiburg, Germany E-mail: [email protected] Volker Peckhaus Kulturwissenschaftliche Fakultät Fach Philosophie Universität Paderborn War burger St raße 100 33098 Paderborn, Germany E-mail: [email protected] Library of Congress Control Number: 2007921876 Mathematics Subject Classification (2000): 01A70, 03-03, 03E25, 03E30, 49-03, 76-03, 82-03, 91-03 ISBN 978-3-540-49551-2 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broad- casting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2007 The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant pro- tective laws and regulations and therefore free for general use. Typesetting by the author using a Springer TEX macro package Production: LE-TEX Jelonek, Schmidt & Vöckler GbR, Leipzig Cover design: WMXDesign GmbH, Heidelberg Printed on acid-free paper 46/3100/YL - 5 4 3 2 1 0 To the memory of Gertrud Zermelo (1902–2003) Preface Ernst Zermelo is best-known for the explicit statement of the axiom of choice and his axiomatization of set theory.
    [Show full text]
  • Interim Report IR-07-027 Adaptive Dynamics for Physiologically
    International Institute for Tel: +43 2236 807 342 Applied Systems Analysis Fax: +43 2236 71313 Schlossplatz 1 E-mail: [email protected] A-2361 Laxenburg, Austria Web: www.iiasa.ac.at Interim Report IR-07-027 Adaptive dynamics for physiologically structured population models Michel Durinx ([email protected]) Johan A.J. Metz ([email protected]) Géza Meszéna ([email protected]) Approved by Ulf Dieckmann Leader, Evolution and Ecology Program October 2007 Interim Reports on work of the International Institute for Applied Systems Analysis receive only limited review. Views or opinions expressed herein do not necessarily represent those of the Institute, its National Member Organizations, or other organizations supporting the work. IIASA STUDIES IN ADAPTIVE DYNAMICS NO. 133 The Evolution and Ecology Program at IIASA fosters the devel- opment of new mathematical and conceptual techniques for un- derstanding the evolution of complex adaptive systems. Focusing on these long-term implications of adaptive processes in systems of limited growth, the Evolution and Ecology Program brings together scientists and institutions from around the world with IIASA acting as the central node. EEP Scientific progress within the network is collected in the IIASA Studies in Adaptive Dynamics series. No. 1 Metz JAJ, Geritz SAH, Meszéna G, Jacobs FJA, van No. 11 Geritz SAH, Metz JAJ, Kisdi É, Meszéna G: The Dy- Heerwaarden JS: Adaptive Dynamics: A Geometrical Study namics of Adaptation and Evolutionary Branching. IIASA of the Consequences of Nearly Faithful Reproduction. IIASA Working Paper WP-96-077 (1996). Physical Review Letters Working Paper WP-95-099 (1995).
    [Show full text]
  • A Mini-Introduction to Information Theory
    A Mini-Introduction To Information Theory Edward Witten School of Natural Sciences, Institute for Advanced Study Einstein Drive, Princeton, NJ 08540 USA Abstract This article consists of a very short introduction to classical and quantum information theory. Basic properties of the classical Shannon entropy and the quantum von Neumann entropy are described, along with related concepts such as classical and quantum relative entropy, conditional entropy, and mutual information. A few more detailed topics are considered in the quantum case. arXiv:1805.11965v5 [hep-th] 4 Oct 2019 Contents 1 Introduction 2 2 Classical Information Theory 2 2.1 ShannonEntropy ................................... .... 2 2.2 ConditionalEntropy ................................. .... 4 2.3 RelativeEntropy .................................... ... 6 2.4 Monotonicity of Relative Entropy . ...... 7 3 Quantum Information Theory: Basic Ingredients 10 3.1 DensityMatrices .................................... ... 10 3.2 QuantumEntropy................................... .... 14 3.3 Concavity ......................................... .. 16 3.4 Conditional and Relative Quantum Entropy . ....... 17 3.5 Monotonicity of Relative Entropy . ...... 20 3.6 GeneralizedMeasurements . ...... 22 3.7 QuantumChannels ................................... ... 24 3.8 Thermodynamics And Quantum Channels . ...... 26 4 More On Quantum Information Theory 27 4.1 Quantum Teleportation and Conditional Entropy . ......... 28 4.2 Quantum Relative Entropy And Hypothesis Testing . ......... 32 4.3 Encoding
    [Show full text]
  • Beyond Lebesgue and Baire IV: Density Topologies and a Converse
    Beyond Lebesgue and Baire IV: Density topologies and a converse Steinhaus-Weil Theorem by N. H. Bingham and A. J. Ostaszewski On the centenary of Hausdorff’s Mengenlehre (1914) and Denjoy’s Approximate continuity (1915) Abstract. The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the original topology and a suitable refinement (a density topology). This prompts a systematic study of such density topologies, and the corresponding σ-ideals of negligibles. Such ideas go back to Weil’s classic book, and to Hashimoto’s ideal topologies. We make use of group norms, which cast light on the interplay between the group and measure structures. The Steinhaus- Weil interior-points theorem (‘on AA−1’) plays a crucial role here; so too does its converse, the Simmons-Mospan theorem. Key words. Steinhaus-Weil property, Weil topology, shift-compact, density topology, Hashimoto ideal topology, group norm Mathematics Subject Classification (2000): Primary 26A03; 39B62. 1 Introduction This paper originates from several sources. The first three are our earlier studies ‘Beyond Lebesgue and Baire I-III’ ([BinO1,2], [Ost3]), the general arXiv:1607.00031v2 [math.GN] 8 Nov 2017 theme of which is the similarity (indeed, duality) between measure and ca- tegory, and the primacy of category/topology over measure in many areas. The second three are recent studies by the second author on the Effros Open Mapping Principle ([Ost4,5,6]; §6.4 below). The Steinhaus-Weil property (critical for regular variation: see [BinGT, Th.
    [Show full text]
  • NEGLIGIBLE SETS for REAL CONNECTIVITY FUNCTIONS Jack B
    NEGLIGIBLE SETS FOR REAL CONNECTIVITY FUNCTIONS jack b. brown Introduction. Only functions from the interval 1= [0, l] into I will be considered in this paper, and no distinction will be made be- tween a function and its graph. For real functions / from / into I, the property of connectivity is intermediate to that of continuity and the Darboux property, and is equivalent to the property of / being a connected set in the plane. For some connectivity functions g from I into I, it can be observed that there is a subset Af of / such that every function from / into I which agrees with g on 7 —Af is a connectivity function (in this case, M will be said to be g-negli- gible). For example, if Af is a Cantor subset of I and g is a function from I into I such that if x belongs to some component (a, b) of I— M, g (x) = | si n {cot [tr (x —a) / (b —a ]} |, then M is g-negligible. The following theorems will be proved: Theorem 1. If M is a subset of I, then the following statements are equivalent: (i) there is a connectivity function g from I into I such that M is g-negligible, and (ii) every subinterval of I contains c-many points of I—M (c denotes the cardinality of the continuum). Theorem 2. If g is a connectivity function from I into I, then the following statements are equivalent: (i) g is dense in I2, (ii) every nowhere dense subset of I is g-negligible, and (iii) there exists a dense subset of I which is g-negligible.
    [Show full text]
  • Measure Theory and Probability
    Measure theory and probability Alexander Grigoryan University of Bielefeld Lecture Notes, October 2007 - February 2008 Contents 1 Construction of measures 3 1.1Introductionandexamples........................... 3 1.2 σ-additive measures ............................... 5 1.3 An example of using probability theory . .................. 7 1.4Extensionofmeasurefromsemi-ringtoaring................ 8 1.5 Extension of measure to a σ-algebra...................... 11 1.5.1 σ-rings and σ-algebras......................... 11 1.5.2 Outermeasure............................. 13 1.5.3 Symmetric difference.......................... 14 1.5.4 Measurable sets . ............................ 16 1.6 σ-finitemeasures................................ 20 1.7Nullsets..................................... 23 1.8 Lebesgue measure in Rn ............................ 25 1.8.1 Productmeasure............................ 25 1.8.2 Construction of measure in Rn. .................... 26 1.9 Probability spaces ................................ 28 1.10 Independence . ................................. 29 2 Integration 38 2.1 Measurable functions.............................. 38 2.2Sequencesofmeasurablefunctions....................... 42 2.3 The Lebesgue integral for finitemeasures................... 47 2.3.1 Simplefunctions............................ 47 2.3.2 Positivemeasurablefunctions..................... 49 2.3.3 Integrablefunctions........................... 52 2.4Integrationoversubsets............................ 56 2.5 The Lebesgue integral for σ-finitemeasure.................
    [Show full text]
  • One Concrete Application of Bernstein Sets in Measure Theory
    One Concrete Application of Bernstein Sets in Measure Theory Mariam Beriashvili I. Vekua Institute of Applied Mathematics Tbilisi State Univeristy mariam [email protected] February 4, 2016 Mariam Beriashvili (Tbilisi State University) Short title February 4, 2016 1 / 16 Paradoxical Subsets of R Vitali Set Hamel Bases Bernstein Set Luzini Set Sierpinski Set Mariam Beriashvili (Tbilisi State University) Short title February 4, 2016 2 / 16 Bernstein Sets Definition Let X be a subset of the real line R. We say that X is a Bernstein set in R if, for every non-empty perfect set P ⊂ R, both intersections P \ X and P \ (R n X ) are nonempty. Mariam Beriashvili (Tbilisi State University) Short title February 4, 2016 3 / 16 Relationships between some Paradoxical Sets Theorem There exists a subset X of R such that X is simultaneously a Vitali set and a Bernstein set. Theorem There exists a Hamel basis of R which simultaneously is a Bernstein set. Mariam Beriashvili (Tbilisi State University) Short title February 4, 2016 4 / 16 General Measure Extension Problem Problem of measure extension has a three aspects: Pure set-theoretical Algebraic Topological Mariam Beriashvili (Tbilisi State University) Short title February 4, 2016 5 / 16 The Role of Bernstein Sets In particular, we envisage Bernstein subsets of the real line R from the point of view of their measurability with respect to certain classes of measures on R. The importance of Bernstein sets in various questions of general topology, measure theory an the theory of Boolean algebras is well known. Mariam Beriashvili (Tbilisi State University) Short title February 4, 2016 6 / 16 We shall say that a set Y ⊂ E is relatively measurable with respect to the class M if there exists at least one measure µ 2 M such that Y is measurable with respect to µ.
    [Show full text]
  • An Upper Bound on the Size of Diamond-Free Families of Sets
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Repository of the Academy's Library An upper bound on the size of diamond-free families of sets Dániel Grósz∗ Abhishek Methuku† Casey Tompkins‡ Abstract Let La(n, P ) be the maximum size of a family of subsets of [n] = {1, 2,...,n} not containing P as a (weak) subposet. The diamond poset, denoted Q2, is defined on four elements x,y,z,w with the relations x < y,z and y,z < w. La(n, P ) has been studied for many posets; one of the major n open problems is determining La(n, Q2). It is conjectured that La(n, Q2) = (2+ o(1))⌊n/2⌋, and infinitely many significantly different, asymptotically tight constructions are known. Studying the average number of sets from a family of subsets of [n] on a maximal chain in the Boolean lattice 2[n] has been a fruitful method. We use a partitioning of the maximal chains and n introduce an induction method to show that La(n, Q2) ≤ (2.20711 + o(1))⌊n/2⌋, improving on the n earlier bound of (2.25 + o(1))⌊n/2⌋ by Kramer, Martin and Young. 1 Introduction Let [n]= 1, 2,...,n . The Boolean lattice 2[n] is defined as the family of all subsets of [n]= 1, 2,...,n , and the ith{ level of 2}[n] refers to the collection of all sets of size i. In 1928, Sperner proved the{ following} well-known theorem. Theorem 1.1 (Sperner [24]).
    [Show full text]