NOTES ON UNIVERSALLY NULL SETS
|
|
- Sheryl Barrett
- 5 years ago
- Views:
Transcription
1 NOTES ON UNIVERSALLY NULL SETS C. CARUVANA Here, we summarize some results regarding universally null subsets of Polish spaces and conclude with the fact that, following J. Mycielski, one can produce an analytic subfield of R which is not universally null. Many results come from [7] and [8]. 1. Introduction and Preliminaries For a Polish space X, we will let B(X) denote the class of Borel subsets of X. If X is Polish, then the space of Borel probability measures M(X) on X is Polishable with the weak topology. A continuous measure µ M(X) is a measure giving every finite set measure zero. Let M c (X) be the collection of continuous µ M(X). Then M c (X) is a dense G δ subset of M(X) as long as X has no isolated points. Refer to [10] for more details. Definition 1. Let X be a Polish space. We say that A X is universally null if µ (A) = 0 for every µ M c (X) where µ is the outer measure generated by µ. Definition 2. Let X be a Polish space. For A X, we define the annihilator of A to be N (A) = {µ M(X) : µ (A) = 0}. We say that A is residually null if N (A) is co-meager in M(X). For a more in depth discussion of the theory of residually null sets, refer to [3]. Of immediate interest is that all universally null subsets of any Polish space without isolated points are also residually null. Definition 3. Let X be a topological space. We say that a set A X is a Luzin set if it is uncountable and, for every M X which is meager, A M is countable. Theorem 4 (Mahlo [6], Luzin [5]). which is a Luzin set. Assuming CH, there is a set A R Proof. Let {F α : α < ω 1 } be the collection of all closed nowhere dense subsets of R. For each α < ω 1, inductively choose x α {x β : β < α} {F β : β α}. Then the set {x α : α < ω 1 } is as desired. Date: December 20,
2 2 C. CARUVANA One can immediately see that the set produced in Theorem 4 is not meager. Definition 5 (Borel [2]). Let X be a metric space with compatible metric ρ. We say that A X has strong measure zero if, given any sequence {ε n > 0 : n ω}, there exists a sequence {A n X : n ω} so that diam ρ (A n ) < ε n and A {A n : n ω}. In a metric space (X, ρ), since diam ρ (A) = diam ρ (cl(a)), we can cover any strong measure zero set with a countable union of closed sets satisfying the requisite properties. Definition 6 (Besicovitch [1]). Let X be a topological space. We say that A X is concentrated on B X provided that, for every open set U so that B U, A \ U is countable. Theorem 7 (Szpilrajn [14]). Let X be a Polish space. A set A X is a Luzin set if and only if A is uncountable and concentrated on every countable dense set of X. Proof. ( ) Suppose A is a Luzin set and D X is countable and dense. Let U be any open set with D U. Then U is dense so X \ U is closed and nowhere dense. It follows that A (X \ U) = A \ U is countable as A is a Luzin set. ( ) Now, suppose A is uncountable and concentrated on every countable dense subset Q of X. We need only check that A meets every meager set on a countable set. It suffices to check that A meets every closed nowhere dense set on a countable set so let F X be closed and nowhere dense. Let U = X \ F and notice that D := Q U is a countable dense set. Since U is open and D U, we have that A\U is countable. That is, A\(X\F ) = A F is countable, finishing the proof. Theorem 8 (Sierpiński [11]). Let X be a Polish space and suppose A X is concentrated on a countable dense set. Then A has strong measure zero. Proof. Let D = {d n : n ω} be dense in X so that A is concentrated on D. Now, let {ε n > 0 : n ω} and, for n ω, pick an open set U 2n that contains d n and satisfies diam(u 2n ) < ε 2n. Define U = {U 2n : n ω} and, since A is concentrated on D and D U, notice that A \ U is countable. Enumerate A \ U = {x n : n ω} and, for n ω, let U 2n+1 be an open set containing x n which satisfies diam(u 2n+1 ) < ε 2n+1. Finally, notice that the family {U n : n ω} covers A and has the property that, for each n ω, diam(u n ) < ε n. Therefore, A has strong measure zero. Lemma 9. Let X be a metric space and µ be a Borel probability measure on X. If µ is continuous, then, for every ε > 0 and x X, there exists a neighborhood U x of x with µ(u x ) < ε.
3 NOTES ON UNIVERSALLY NULL SETS 3 Lemma 10. Let (X, ρ) be a compact metric space and µ be a continuous Borel probability measure on X. Then, for any ε > 0, there exists a δ > 0 so that, for every closed F X with diam ρ (F ) < δ, µ(f ) < ε. Proof. For each x X, appeal to Lemma 9 to pick r x > 0 so that B ρ (x, 2r x ) satisfies µ(b ρ (x, 2r x )) < ε. As X is compact, pick a finite subset A X so that {B ρ (x, r x ) : x A} covers X. Define δ = min{r x : x A} > 0. Now, let F X be any closed set so that diam ρ (F ) < δ. Fix y F and pick x A so that y B ρ (x, r x ). Now, for any z F, notice that ρ(x, z) ρ(x, y) + ρ(y, z) < r x + δ 2r x. That is, z B ρ (x, 2r x ) and, as z F was arbitrary, we see that F B ρ (x, 2r x ) which provides us with the fact that µ(f ) < ε. Theorem 11 (Szpilrajn [13]). Let X be a Polish space and A X have strong measure zero. Then A is universally null. Proof. Suppose A X is strong measure zero and let µ be any continuous Borel probability on X. Let ε > 0 be arbitrary and define ε n = ε for 2n+2 n ω. By [10, Theorem II.3.2] we can find compact K X so that µ(k) > max {1 ε } 2, 0. Now, notice that ν defined on the Borel sets of K by ν(e) = µ(e) µ(k) is a Borel probability measure on K. So, by Lemma 10, we can pick δ n > 0 so that, whenever F K is closed with diam(f ) < δ n, we have that ν(f ) < ε n. Consider A = A K and notice that A is also strong measure zero. Thus, we can find {A n K : n ω} consisting of closed sets so that diam(a n ) < δ n and A {A n : n ω}. It follows that ν (A ) ν(a n ) ε 2 n+2 = ε 2. Hence, µ (A ) µ(k) = ν (A ) ε 2 = µ (A ) ε 2 µ(k) ε 2. Now, note that 1 ε 2 < µ(k) = µ(x \ K) < ε 2. Finally, we have that µ (A) µ (A \ K) + µ (A ) < ε. As ε was arbitrary, we see that µ (A) = 0, completing the proof. Corollary 12. Every Luzin subset of a Polish space is universally null. Proof. Combine Theorems 7, 8, and 11. Theorem 13. Assuming CH, there exists a set A R which is universally null which fails to have the Baire property.
4 4 C. CARUVANA Proof. Use Theorem 4 to produce a Luzin set A R and notice that Corollary 12 guarantees that A is universally null. Moreover, A is residually null and, since A is non-meager, we appeal to [3, Theorem 14] to conclude that A cannot have the Baire property. Lemma 14 (Sierpiński-Szpilrajn [12]). Let X be a Polish space, A X, and B A = {B A : B B(X)}. Then the following are equivalent. (i) A is universally null; (ii) any continuous measure on (A, B A ) is identically zero. Proof. ((i) (ii)) Suppose µ is a continuous measure on (A, B A ). Define ν on (X, B(X)) by the rule ν(b) = µ(b A) and observe that ν is a measure on X. Moreover, as µ is continuous, ν is continuous. Hence, ν (A) = 0. From this we see that µ must be identically zero. ((ii) (i)) Let µ be a continuous Borel probability measure on X. Now, define ν on (A, B A ) by the rule ν(e) = inf{µ(b) : B B(X), E B}. To see that ν is a measure on (A, B A ), let {E n : n ω} B A be a pair-wise disjoint family. For each n ω, pick B n B(X) so that E n = A B n and E n B(X) so that E n E n and µ(e n) = ν(e n ). Then let B n = B n E n. Now, E := {E n : n ω} {B n : n ω} =: B and B B(X). For n, m ω with n m, notice that B n B m A = (B n A) (B m A) (B n A) (B m A) = E n E m =. From this, we see that E n B n \ B m which gives µ(b n ) = ν(e n ) µ(b n \ B m ) µ(b n ) = µ(b n \ B m ) + µ(b n B m ). Particularly, µ(b n B m ) = 0 for n m. It follows that ν(e) µ(b) = µ(b n ) = ν(e n ).
5 NOTES ON UNIVERSALLY NULL SETS 5 For the other inequality, pick G B(X) so that G A = E and µ(g) = ν(e). Then, since E k E B k G B k, n 1 n 1 ν(e k ) µ(g B k ) k=0 k=0 = µ ((G B 0 ) (G B n 1 )) µ(g) = ν(e). Since this inequality holds for arbitary n ω, ν(e n ) ν(e) which establishes that ν is a measure on (A, B A ). As ν is a continuous measure on (A, B A ), by hypothesis, ν is identically zero. This guarantees that µ (A) = 0, finishing the proof. Lemma 15. Let X be Polish and A X. If A is universally null, then any continuous measure on (A) is identically zero. Proof. Let µ be a continuous measure on (A, (A)). Since µ BA is a measure on (A, B A ), µ BA is identically zero. Now, for any E A and B B A with E B, since µ(e) µ(b) = 0, we see that µ is identically zero. Proposition 16. The class of universally null subsets of a Polish space X is invariant under Borel isomorphisms. Proof. Immediate from Lemma 14. Theorem 17 (Szpilrajn). null. The product of universally null sets is universally Proof. Let X and Y be universally null and suppose µ is a continuous Borel probability measure on X Y. Define a measure ν on Y by ν(b) = µ(x B) for each Borel set B Y. Now, since X is universally null, ν({y}) = µ(x {y}) = 0 for every y Y so ν is continuous. It follows that, as Y is also universally null, ν(y ) = µ(x Y ) = 0, finishing the proof. Lemma 18. Suppose G R is co-meager. Then, for any z R, there exist x, y G so that z = x + y. Proof. Let z R and, since G is co-meager, so is z G. G (z G) and pick x G so that y = z x. Now, let y Theorem 19 (Sierpiński). Assuming CH, there exists a universally null set which is not strong measure zero.
6 6 C. CARUVANA Proof. Let {F α : α < ω 1 } be the collection of all closed nowhere dense subsets of R and {z α : α < ω 1 } be an enumeration of R. Pick x 0, y 0 F 0 so that x 0 + y 0 = z 0. For each 0 < α < ω 1, inductively choose x α, y α {x β : β < α} {y β : β < α} {F β : β α} with the property that x α + y α = z α. Then define X = {x α : α < ω 1 } {y α : α < ω 1 }. Now we argue that X 2 is universally null but not strong measure zero. As X is transparently a Luzin set, it is universally null by Corollary 12. Hence, by Theorem 17, X 2 is universally null in R 2. Now, define p : R 2 R by the rule p(x, y) = x + y. Fix a, b R and let x, y R be so that (x a) 2 + (y b) 2 < ε where ε > 0. Now, (x + y) (a + b) 2 = (x a + y b) 2 = (x a) 2 + 2(x a)(y b) + (y b) 2 < 3 ε 2. From this, we see that p takes ε-balls to 3 ε-balls. Hence, p preserves strong measure zero sets. As p[x 2 ] = R, it can t possibly be the case that X 2 is strong measure zero. Theorem 20 (Grzegorek, Ryll-Nardzewski [4]). There exists a universally measurable set which is not a Borel set modulo a universally null set. Proof. The example here is WO. Since WO Π 1 1, it is universally measurable. Now let B be a Borel set. We will show that WO B is not universally null. Notice that B \ WO Σ 1 1. So if B \ WO were uncountable, it would contain a perfect set ensuring that WO B is not universally null. So B \ WO must be countable. Now, without loss of generality, we can assume that B WO. Since WO is Π 1 1 -complete, WO \ B is Π1 1-complete. Moreover, WO \ B is uncountable. Hence, WO \ B has the perfect set property so WO \ B is not universally null. 2. Subfields of R Theorem 21 (Mycielski [9]). For any meager set Y of irrationals, there exists an uncountable perfect set X so that the field generated by X is disjoint from Y. Corollary 22. There exists an analytic subfield F of R which is not universally null. Incidentally, such an F is meager. Proof. Let Y be a meager set of irrationals, and X be an uncountable perfect set so that the field F generated by X is disjoint from Y by Theorem 21.
7 NOTES ON UNIVERSALLY NULL SETS 7 Immediately, as F is the field generated by X and X is closed, F is analytic. The fact that F supports a non-degenerate Borel probability measure follows from the fact that F contains an uncountable perfect set. That is, F is not universally null. Now, since F is analytic, it has the Baire property. As F contains the rationals, F is dense. If F were non-meager, it would be open. But then, as an open subgroup of R, F would also be closed yielding F = R, a contradiction. Therefore, F is meager. References [1] Abram Samoilovitch Besicovitch, Concentrated and rarified sets of points, Acta Mathematica 62 (1934), [2] Émile Borel, Sur la classification des ensembles de mesure nulle, Bulletin de la Société Mathématique de France 47 (1919), [3] C. Caruvana and R. R. Kallman, An Extension of the Baire Property, arxiv: (2017). [4] Edward Grzegorek and Czes law Ryll-Nardzewski, A remark on absolutely measurable sets, Bulletin de l Académie Polonaise. Série des Sciences Mathématiques 28 (1980), [5] Nikolai Luzin, Sur un problème de M. Baire, C. R. Hebd. Séances Acad. Sci. 158 (1914), [6] Paul Mahlo, Über Teilmengen des Kontinuums von dessen Machtigkeit, Sitzungsberichte der Sachsischen Akademie der Wissenschaften zu Leipzig, Mathematisch- Naturwissenschaftliche Klasse 65 (1913), [7] Arnold W. Miller, Special subsets of the real line, Handbook of Set-Theoretic Topology (Kenneth Kunen and Jerry E. Vaughan, eds.), North Holland, 1984, pp [8], Special sets of reals, Set Theory of the Reals (Haim Judah, ed.), Israel Mathematical Conference Proceedings, vol. 6, American Math Society, 1993, pp [9] Jan Mycielski, Independent sets in topological algebras, Fundamenta Mathematicae 55 (1964), no. 2, [10] K. R. Parthasarathy, Probability Measures on Metric Spaces, AMS Chelsea Publishing Series, Academic Press, [11] Wac law Sierpiński, Sur un ensemble non dénombrable, dont toute image continue est de mesure nulle, Fundamenta Mathematicae 11 (1928), [12] Wac law Sierpiński and Edward Szpilrajn, Remarque sur le problème de la mesure, Fundamenta Mathematicae 26 (1936), [13] Edward Szpilrajn, Remarques sur les fonctions complètement additives d ensemble et sur les ensembles jouissant de la propriété de baire, Fundamenta Mathematicae 22 (1934), [14], The characteristic function of a sequence of sets and some of its applications, Fundamenta Mathematicae 31 (1938),
ON A THEOREM OF BANACH AND KURATOWSKI AND K-LUSIN SETS. Tomek Bartoszyński
ON A THEOREM OF BANACH AND KURATOWSKI AND K-LUSIN SETS Tomek Bartoszyński Department of Mathematics, Boise State University Boise, ID 83725 (U.S.A.) Email: tomek@diamond.boisestate.edu Lorenz Halbeisen
More informationSMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS
SMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS MARCIN KYSIAK AND TOMASZ WEISS Abstract. We discuss the question which properties of smallness in the sense of measure and category (e.g. being a universally
More informationALGEBRAIC SUMS OF SETS IN MARCZEWSKI BURSTIN ALGEBRAS
François G. Dorais, Department of Mathematics, Dartmouth College, 6188 Bradley Hall, Hanover, NH 03755, USA (e-mail: francois.g.dorais@dartmouth.edu) Rafa l Filipów, Institute of Mathematics, University
More informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationUltrafilters with property (s)
Ultrafilters with property (s) Arnold W. Miller 1 Abstract A set X 2 ω has property (s) (Marczewski (Szpilrajn)) iff for every perfect set P 2 ω there exists a perfect set Q P such that Q X or Q X =. Suppose
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationOn the Length of Borel Hierarchies
University of Wisconsin, Madison July 2016 The Borel hierachy is described as follows: open = Σ 0 1 = G closed = Π 0 1 = F Π 0 2 = G δ = countable intersections of open sets Σ 0 2 = F σ = countable unions
More informationint cl int cl A = int cl A.
BAIRE CATEGORY CHRISTIAN ROSENDAL 1. THE BAIRE CATEGORY THEOREM Theorem 1 (The Baire category theorem. Let (D n n N be a countable family of dense open subsets of a Polish space X. Then n N D n is dense
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationOn the Length of Borel Hierarchies
On the Length of Borel Hierarchies Arnold W. Miller November 7, 2016 This is a survey paper on the lengths of Borel hierarchies and related hierarchies. It consists of lecture notes of a lecture given
More informationMeasure and Category. Marianna Csörnyei. ucahmcs
Measure and Category Marianna Csörnyei mari@math.ucl.ac.uk http:/www.ucl.ac.uk/ ucahmcs 1 / 96 A (very short) Introduction to Cardinals The cardinality of a set A is equal to the cardinality of a set B,
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationVitali sets and Hamel bases that are Marczewski measurable
F U N D A M E N T A MATHEMATICAE 166 (2000) Vitali sets and Hamel bases that are Marczewski measurable by Arnold W. M i l l e r (Madison, WI) and Strashimir G. P o p v a s s i l e v (Sofia and Auburn,
More informationMoreover, µ is monotone, that is for any A B which are both elements of A we have
FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from
More informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationON DENSITY TOPOLOGIES WITH RESPECT
Journal of Applied Analysis Vol. 8, No. 2 (2002), pp. 201 219 ON DENSITY TOPOLOGIES WITH RESPECT TO INVARIANT σ-ideals J. HEJDUK Received June 13, 2001 and, in revised form, December 17, 2001 Abstract.
More informationSpaces of continuous functions
Chapter 2 Spaces of continuous functions 2.8 Baire s Category Theorem Recall that a subset A of a metric space (X, d) is dense if for all x X there is a sequence from A converging to x. An equivalent definition
More informationWeakly Infinite Dimensional Subsets of R N
Boise State University ScholarWorks Mathematics Faculty Publications and Presentations Department of Mathematics 6-1-2010 Weakly Infinite Dimensional Subsets of R N Liljana Babinkostova Boise State University
More information4 Choice axioms and Baire category theorem
Tel Aviv University, 2013 Measure and category 30 4 Choice axioms and Baire category theorem 4a Vitali set....................... 30 4b No choice....................... 31 4c Dependent choice..................
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationCombinatorial Variants of Lebesgue s Density Theorem
Combinatorial Variants of Lebesgue s Density Theorem Philipp Schlicht joint with David Schrittesser, Sandra Uhlenbrock and Thilo Weinert September 6, 2017 Philipp Schlicht Variants of Lebesgue s Density
More informationHausdorff measure. Jordan Bell Department of Mathematics, University of Toronto. October 29, 2014
Hausdorff measure Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto October 29, 2014 1 Outer measures and metric outer measures Suppose that X is a set. A function ν :
More informationOn the class of perfectly null sets and its transitive version
On the class of perfectly null sets and its transitive version arxiv:1609.04005v1 [math.lo] 13 Sep 2016 Micha l Korch Institute of Mathematics University of Warsaw 02-097 Warszawa, Poland E-mail: m korch@mimuw.edu.pl
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationUniquely Universal Sets
Uniquely Universal Sets 1 Uniquely Universal Sets Abstract 1 Arnold W. Miller We say that X Y satisfies the Uniquely Universal property (UU) iff there exists an open set U X Y such that for every open
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationThe onto mapping property of Sierpinski
The onto mapping property of Sierpinski A. Miller July 2014 revised May 2016 (*) There exists (φ n : ω 1 ω 1 : n < ω) such that for every I [ω 1 ] ω 1 there exists n such that φ n (I) = ω 1. This is roughly
More informationSOME ADDITIVE DARBOUX LIKE FUNCTIONS
Journal of Applied Analysis Vol. 4, No. 1 (1998), pp. 43 51 SOME ADDITIVE DARBOUX LIKE FUNCTIONS K. CIESIELSKI Received June 11, 1997 and, in revised form, September 16, 1997 Abstract. In this note we
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationPRODUCTS OF SPECIAL SETS OF REAL NUMBERS
Real Analysis Exchange Vol. 30(2), 2004/2005, pp. 819 836 Boaz Tsaban, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel. email: boaz.tsaban@weizmann.ac.il
More informationExamples of non-shy sets
F U N D A M E N T A MATHEMATICAE 144 (1994) Examples of non-shy sets by Randall D o u g h e r t y (Columbus, Ohio) Abstract. Christensen has defined a generalization of the property of being of Haar measure
More informationReal Analysis Chapter 1 Solutions Jonathan Conder
3. (a) Let M be an infinite σ-algebra of subsets of some set X. There exists a countably infinite subcollection C M, and we may choose C to be closed under taking complements (adding in missing complements
More informationA sequential property of C p (X) and a covering property of Hurewicz.
A sequential property of C p (X) and a covering property of Hurewicz. Marion Scheepers 1 Abstract C p(x) has the monotonic sequence selection property if there is for each f, and for every sequence (σ
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationarxiv:math/ v1 [math.ho] 2 Feb 2005
arxiv:math/0502049v [math.ho] 2 Feb 2005 Looking through newly to the amazing irrationals Pratip Chakraborty University of Kaiserslautern Kaiserslautern, DE 67663 chakrabo@mathematik.uni-kl.de 4/2/2004.
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationMeasurable Envelopes, Hausdorff Measures and Sierpiński Sets
arxiv:1109.5305v1 [math.ca] 24 Sep 2011 Measurable Envelopes, Hausdorff Measures and Sierpiński Sets Márton Elekes Department of Analysis, Eötvös Loránd University Budapest, Pázmány Péter sétány 1/c, 1117,
More informationS. Mrówka introduced a topological space ψ whose underlying set is the. natural numbers together with an infinite maximal almost disjoint family(madf)
PAYNE, CATHERINE ANN, M.A. On ψ (κ, M) spaces with κ = ω 1. (2010) Directed by Dr. Jerry Vaughan. 30pp. S. Mrówka introduced a topological space ψ whose underlying set is the natural numbers together with
More informationG δ -sets in topological spaces and games
F U N D A M E N T A MATHEMATICAE 153 (1997) G δ -sets in topological spaces and games by Winfried J u s t (Athens, Ohio), Marion S c h e e p e r s (Boise, Id.), Juris S t e p r ā n s (North York, Ont.)
More informationSection Signed Measures: The Hahn and Jordan Decompositions
17.2. Signed Measures 1 Section 17.2. Signed Measures: The Hahn and Jordan Decompositions Note. If measure space (X, M) admits measures µ 1 and µ 2, then for any α,β R where α 0,β 0, µ 3 = αµ 1 + βµ 2
More informationFragmentability and σ-fragmentability
F U N D A M E N T A MATHEMATICAE 143 (1993) Fragmentability and σ-fragmentability by J. E. J a y n e (London), I. N a m i o k a (Seattle) and C. A. R o g e r s (London) Abstract. Recent work has studied
More informationarxiv: v1 [math.lo] 10 Aug 2015
NAIVELY HAAR NULL SETS IN POLISH GROUPS arxiv:1508.02227v1 [math.lo] 10 Aug 2015 MÁRTON ELEKES AND ZOLTÁN VIDNYÁNSZKY Abstract. Let (G, ) be a Polish group. We say that a set X G is Haar null if there
More informationA thesis. submitted in partial fulfillment. of the requirements for the degree of. Master of Science in Mathematics. Boise State University
THE DENSITY TOPOLOGY ON THE REALS WITH ANALOGUES ON OTHER SPACES by Stuart Nygard A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics Boise
More informationC p (X) and Arkhangel skiǐ s α i spaces. Marion Scheepers 1
C p (X) and Arkhangel skiǐ s α i spaces. Marion Scheepers 1 Department of Mathematics Boise State University Boise, Idaho 83725 Fax: (208) 385-1356 Phone: (208) 385-3436 e-mail: marion@math.idbsu.edu Abstract
More informationMATS113 ADVANCED MEASURE THEORY SPRING 2016
MATS113 ADVANCED MEASURE THEORY SPRING 2016 Foreword These are the lecture notes for the course Advanced Measure Theory given at the University of Jyväskylä in the Spring of 2016. The lecture notes can
More informationA Crash Course in Topological Groups
A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationHaar null sets in non-locally compact groups
Eötvös Loránd University Faculty of Science Kende Kalina Haar null sets in non-locally compact groups Master s Thesis Supervisor: Márton Elekes Department of Analysis Budapest, 2016. Acknowledgments I
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationPREVALENCE OF SOME KNOWN TYPICAL PROPERTIES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXX, 2(2001), pp. 185 192 185 PREVALENCE OF SOME KNOWN TYPICAL PROPERTIES H. SHI Abstract. In this paper, some known typical properties of function spaces are shown to
More informationOn sums of Darboux and nowhere constant continuous functions
On sums of Darboux and nowhere constant continuous functions Krzysztof Ciesielski Department of Mathematics, West Virginia University, Morgantown, WV 26506-6310, USA e-mail: K Cies@math.wvu.edu; web page:
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationBaire measures on uncountable product spaces 1. Abstract. We show that assuming the continuum hypothesis there exists a
Baire measures on uncountable product spaces 1 by Arnold W. Miller 2 Abstract We show that assuming the continuum hypothesis there exists a nontrivial countably additive measure on the Baire subsets of
More information10 Typical compact sets
Tel Aviv University, 2013 Measure and category 83 10 Typical compact sets 10a Covering, packing, volume, and dimension... 83 10b A space of compact sets.............. 85 10c Dimensions of typical sets.............
More informationEvery Lusin set is undetermined in the point-open game
F U N D A M E N T A MATHEMATICAE 144 (1994) Every Lusin set is undetermined in the point-open game by Ireneusz Recław (Gdańsk) Abstract. We show that some classes of small sets are topological versions
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationON A QUESTION OF SIERPIŃSKI
ON A QUESTION OF SIERPIŃSKI THEODORE A. SLAMAN Abstract. There is a set of reals U such that for every analytic set A there is a continuous function f which maps U bijectively to A. 1. Introduction A set
More informationCountable subgroups of Euclidean space
Countable subgroups of Euclidean space Arnold W. Miller April 2013 revised May 21, 2013 In his paper [1], Konstantinos Beros proved a number of results about compactly generated subgroups of Polish groups.
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationDaniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that
Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall 2014 Problem. 1 Give an example of a mapping f : X Y such that 1. f(a B) = f(a) f(b) for some A, B X. 2. f(f 1 (A)) A for
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationarxiv: v1 [math.gn] 27 Oct 2018
EXTENSION OF BOUNDED BAIRE-ONE FUNCTIONS VS EXTENSION OF UNBOUNDED BAIRE-ONE FUNCTIONS OLENA KARLOVA 1 AND VOLODYMYR MYKHAYLYUK 1,2 Abstract. We compare possibilities of extension of bounded and unbounded
More informationMeasure theory and countable Borel equivalence relations
Measure theory and countable Borel equivalence relations Benjamin Miller Kurt Gödel Institute for Mathematical Logic Universität Wien Winter Semester, 2016 Introduction These are the notes accompanying
More information(2) E M = E C = X\E M
10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to
More informationSMALL COMBINATORIAL CARDINAL CHARACTERISTICS AND THEOREMS OF EGOROV AND BLUMBERG
Real Analysis Exchange Vol. 26(2), 2000/2001, pp. 905 911 Krzysztof Ciesielski, Department of Mathematics, West Virginia University, Morgantown, WV 26506-6310, USA, email: K Cies@math.wvu.edu, internet:
More informationMATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1
MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and
More informationON THE LACZKOVICH-KOMJÁTH PROPERTY OF SIGMA-IDEALS. 1. Introduction
ON THE LACZKOVICH-KOMJÁTH PROPERTY OF SIGMA-IDEALS MAREK BALCERZAK AND SZYMON G LA B Abstract. Komjáth in 984 proved that, for each sequence (A n) of analytic subsets of a Polish apace X, if lim sup n
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationAn introduction to Geometric Measure Theory Part 2: Hausdorff measure
An introduction to Geometric Measure Theory Part 2: Hausdorff measure Toby O Neil, 10 October 2016 TCON (Open University) An introduction to GMT, part 2 10 October 2016 1 / 40 Last week... Discussed several
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationTopological groups with dense compactly generated subgroups
Applied General Topology c Universidad Politécnica de Valencia Volume 3, No. 1, 2002 pp. 85 89 Topological groups with dense compactly generated subgroups Hiroshi Fujita and Dmitri Shakhmatov Abstract.
More informationUncountable γ-sets under axiom CPA game
F U N D A M E N T A MATHEMATICAE 176 (2003) Uncountable γ-sets under axiom CPA game by Krzysztof Ciesielski (Morgantown, WV), Andrés Millán (Morgantown, WV) and Janusz Pawlikowski (Wrocław) Abstract. We
More informationON ω-independence AND THE KUNEN-SHELAH PROPERTY. 1. Introduction.
ON ω-independence AND THE KUNEN-SHELAH PROPERTY A. S. GRANERO, M. JIMÉNEZ-SEVILLA AND J. P. MORENO Abstract. We prove that spaces with an uncountable ω-independent family fail the Kunen-Shelah property.
More informationANOTHER PROOF OF HUREWICZ THEOREM. 1. Hurewicz schemes
Ø Ñ Å Ø Ñ Ø Ð ÈÙ Ð Ø ÓÒ DOI: 10.2478/v10127-011-0019-z Tatra Mt. Math. Publ. 49 (2011), 1 7 Miroslav Repický ABSTRACT. A Hurewicz theorem says that every coanalytic non-g δ set C in a Polish space contains
More informationA note on some approximation theorems in measure theory
A note on some approximation theorems in measure theory S. Kesavan and M. T. Nair Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 600 06 email: kesh@iitm.ac.in and mtnair@iitm.ac.in
More informationG δ ideals of compact sets
J. Eur. Math. Soc. 13, 853 882 c European Mathematical Society 2011 DOI 10.4171/JEMS/268 Sławomir Solecki G δ ideals of compact sets Received January 1, 2008 and in revised form January 2, 2009 Abstract.
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationCHRISTENSEN ZERO SETS AND MEASURABLE CONVEX FUNCTIONS1 PAL FISCHER AND ZBIGNIEW SLODKOWSKI
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 79, Number 3, July 1980 CHRISTENSEN ZERO SETS AND MEASURABLE CONVEX FUNCTIONS1 PAL FISCHER AND ZBIGNIEW SLODKOWSKI Abstract. A notion of measurability
More informationA CROSS SECTION THEOREM AND AN APPLICATION TO C-ALGEBRAS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 69, Number 1, April 1978 A CROSS SECTION THEOREM AND AN APPLICATION TO C-ALGEBRAS ROBERT R. KALLMAN1 AND R. D. MAULDIN Abstract. The purpose of this
More informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationReal Analysis II, Winter 2018
Real Analysis II, Winter 2018 From the Finnish original Moderni reaalianalyysi 1 by Ilkka Holopainen adapted by Tuomas Hytönen January 18, 2018 1 Version dated September 14, 2011 Contents 1 General theory
More informationDRAFT MAA6616 COURSE NOTES FALL 2015
Contents 1. σ-algebras 2 1.1. The Borel σ-algebra over R 5 1.2. Product σ-algebras 7 2. Measures 8 3. Outer measures and the Caratheodory Extension Theorem 11 4. Construction of Lebesgue measure 15 5.
More informationBorel complexity and automorphisms of C*-algebras
Martino Lupini York University Toronto, Canada January 15th, 2013 Table of Contents 1 Auto-homeomorphisms of compact metrizable spaces 2 Measure preserving automorphisms of probability spaces 3 Automorphisms
More informationSELF-DUAL UNIFORM MATROIDS ON INFINITE SETS
SELF-DUAL UNIFORM MATROIDS ON INFINITE SETS NATHAN BOWLER AND STEFAN GESCHKE Abstract. We extend the notion of a uniform matroid to the infinitary case and construct, using weak fragments of Martin s Axiom,
More information