# NONMEASURABLE ALGEBRAIC SUMS OF SETS OF REALS

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 NONMEASURABLE ALGEBRAIC SUMS OF SETS OF REALS MARCIN KYSIAK Abstract. We present a theorem which generalizes some known theorems on the existence of nonmeasurable (in various senses) sets of the form X+Y. Some additional related questions concerning measure, category and the algebra of Borel sets are also studied. Sierpiński showed in [14] that there exist two sets X, Y R of Lebesgue measure zero such that their algebraic sum, i.e. the set X + Y = {x + y : x X, y Y } is nonmeasurable. The analogous result is also true for the Baire property. Sierpiński s construction has been generalized to other σ-algebras and σ-ideals of subsets of R. Kharazishvili proves in [10] that for every σ-ideal I which is not closed under algebraic sums and every σ-algebra A such that the quotient algebra A/I satisfies the countable chain condition, there exist sets X, Y I such that X + Y A. A similar result was proved by Cichoń and Jasiński in [3] for every σ-ideal I with coanalytic base and the algebra Bor[I] (i.e. the smallest algebra containing I and Bor). Ciesielski, Fejzić and Freiling prove in [4] a stronger version of Sierpiński s theorem. They show that for every set C R such that C + C has positive outer measure there exists X C such that X + X is not Lebesgue measurable. In particular, starting with such a set C of measure zero (the middle third Cantor set in [0, 1] for example), we obtain Sierpiński s example as a corollary. In the first section our paper we introduce an elementary notion of the Perfect Set Property of pairs I, A, where I is a σ-ideal of subsets of R and A I is any family of subsets of R. Using a simple argument, we generalize the results of Sierpiński, Cichoń Jasiński and Ciesielski Fejzić Freiling onto pairs with the Perfect Set Property. The main result of the second section is a stronger version of this theorem for measure and category. Namely, we show that if C is a measurable set such that C + C does not have measure zero, then we can find a measure zero set X C such that X + X is nonmeasurable. The analogue for Baire category is also proved. In section 3 similar questions concerning the algebra of Borel sets are studied. Although it is known that this algebra is not closed under taking algebraic sums, we show that there exists an uncountable Borel set P R such that for every pair of Borel sets A, B P the set A + B is Borel. Standard set-theoretic notation and terminology is used throughout the paper. The reader may check [1] or [9] for basic definitions. We work in the space R (as an additive group, with Lebesgue measure). The arguments of the first section can be easily generalized to Polish groups which have a structure of a linear space over a countable field. In particular, they remain valid 2000 Mathematics Subject Classification. Primary: 28A05, 03E15; secondary 54H05. Key words and phrases. Algebraic sum, Lebesgue measure, Baire property, nonmeasurable set. 1

2 2 MARCIN KYSIAK in separable Banach spaces or in the space 2 ω. The results of section 2. remain valid also in 2 ω, but the author does not know how general they are. We denote by M and N the collections of meager and null sets (the space, its topology and measure should be always clear from the context). Similarly, M, N stand for collections of co-meager and full measure sets. BP is the collection of sets with the Baire property and LM is the collection of Lebesgue measurable sets. The symbol Bor denotes the σ-algebra of Borel sets. For a σ-ideal I by Bor[I] we denote the smallest σ-algebra containing Bor and I. Observe that LM = Bor[N ] and BP = Bor[M]. We say that a σ-ideal has co-analytic base, if it has a base consisting of Π 1 1 sets. The results from this paper were obtained during work on the author s Ph.D. thesis. The author would like to thank his advisor, professor Piotr Zakrzewski, for his help during research and preparation of this paper. Many thanks also to Rafa l Filipów for inspiring discussions about Marczewski measurable sets. 1. Perfect Set Property Definition 1.1. Let I be a σ-ideal of subsets of R and let A P(R) be any family of sets containing I. We say that the pair I, A has the Perfect Set Property, if every set X A \ I contains a perfect set. The following theorem is the main result of this section. Theorem 1.2. Suppose that a pair I, A has the Perfect Set Property. Then for every set A R such that A + A I there exists a set X A such that X + X A. for every pair of sets A, B R such that A + B I there exist X A and Y B such that X + Y A. As an immediate corollary we get Corollary 1.3. Suppose that a pair I, A has the Perfect Set Property. Then the following conditions are equivalent: X I X + X I X I X + X A X, Y I X + Y I X, Y I X + Y A To prove the theorem 1.2 we need the following simple observation. Lemma 1.4. There exists a subgroup G R such that R/G = ω and G is a Bernstein set in R. Proof. First observe that if a proper subgroup G R intersects every perfect set then G is a Bernstein set. Indeed, if there exists a perfect set P G then (x + P ) G = for any x G. We inductively construct a linear subspace G of R (as a linear space over Q) which contains Q, intersects every perfect set and does not contain 2. Finally, we can extend G to a maximal subspace G not containing 2. It is easy to check that R/G = ω. Proof of Theorem 1.2. First observe that if G is as in lemma 1.4 then the union of a finite nonempty family T of cosets of G is a Bernstein set. Indeed, each coset

3 NONMEASURABLE ALGEBRAIC SUMS OF SETS OF REALS 3 is a Bernstein set, so T intersects every perfect set. On the other hand, as T is finite, there exists a coset T T. But T is also a Bernstein set and T T =, so T cannot contain any perfect set. Now, assume that A+A I and let G be as above. Let us fix a 1 1 enumeration R/G = {T n : n ω} and put A n = A T n. As A + A = n,m ω A n + A m I, there exist n, m ω such that A n + A m I. Let X = A n A m. We have X + X = (A n + A n ) (A n + A m ) (A m + A m ) I. We can see that the set X +X intersects at most three cosets of G, so X +X cannot contain a perfect set. As X + X I, by the perfect set property, X + X A. The proof of the second part is similar. As the pairs N, LM and M, BP have the perfect set property, we immediately obtain the following corollaries. Corollary 1.5 (Ciesielski Fejzić Freiling). If A R is a set such that A + A has positive outer measure then there exists X A such that X + X is nonmeasurable. Corollary 1.6. If A R is a set such that A + A is non-meager then there exists X A such that X + X does not have the Baire property. Remark 1.1. To prove only the preceding two corollaries concerning measure and category, yet simpler argument can be used. In these cases, instead of a group constructed in lemma 1.4 one can use any dense subgroup of R of countable index. Such a group can be easily obtained using a Hamel basis. The further part of the proof follows the same pattern, the only observation needed is the fact that the union of finitely many cosets has inner measure zero (does not contain a non-meager Borel set, respectively). As corollaries we can also obtain a little stronger versions of the main theorem of [3]. Corollary 1.7. Suppose that I P(R) is a σ-ideal with a co-analytic base containing all singletons. Then for every set A 2 ω such that A + A I there exists X A such that X + X Bor[I], for every pair of sets A, B such that A + B I there exists X A and Y B such that X + Y Bor[I]. Corollary 1.8. Let I P(R) be a σ-ideal with a co-analytic base, containing all singletons. Then the following conditions are equivalent: (1) A I A + A I, (2) A I A + A Bor[I], (3) A, B I A + B I, (4) A, B I A + B Bor[I]. Proof. It is enough to observe that the pair I, Bor[I] has the Perfect Set Property. Let X Bor[I] \ I. We can find a Borel set B such that B X I, obviously B I. Let C I be a Π 1 1 set such that B X C. Then B \ C is a Σ 1 1 set which is not in I. In particular, this set is uncountable, so it contains a perfect set P. As P is disjoint from B X, we have P X. Another application of theorem 1.2 concerns Marczewski measurable sets.

4 4 MARCIN KYSIAK Definition 1.9. A set X is Marczewski-null (X (s 0 )), if for every perfect set P there exists a perfect set Q P such that Q X =, Marczewski-measurable (X (s)), if for every perfect set P there exists a perfect set Q P such that either Q X =, or Q X. Additive properties of Marczewski measurable sets have been already studied in the literature. It is known that the σ-ideal (s 0 ) is not closed under algebraic sums. This fact is probably a part of folklore, it follows easily from some results from [11]. Filipów and Dorais in [5] construct a set X (s 0 ) such that X + X (s). As the pair (s 0 ), (s) clearly has the perfect set property, we obtain the following. Corollary For every set A R such that A + A (s 0 ) there exists X A such that X + X (s), For every pair of sets A, B R such that A + B (s 0 ) there exist X A and Y B such that X + Y (s). This argument can be also generalized for some other σ-ideals and σ-algebras having similar definitions. For instance, the pair (cr 0 ), (cr) of completely Ramseynull and completely Ramsey subsets of 2 ω (see [9]) has the Perfect Set Property. 2. More on measure and category The starting point of our paper was Sierpiński s example: there exist two measure zero sets X, Y such that X +Y is nonmeasurable. In the previous section we showed that given any pair of sets A, B such that A + B has positive measure we can find X A and Y B such that X +Y is nonmeasurable (and the analogue for category as well). One may ask whether we can strengthen our theorems to obtain measure zero (or meager) subsets X, Y of given sets A, B such that A + B has positive outer measure (is non-meager, respectively). This turns out to be false with an obvious counterexample of A = Q and B = R. Also, under CH, a Sierpiński set X such that X + X = R is a counterexample for measure and a Lusin set with this property is a counterexample for category (see [1] for constructions of such sets). In this section, we obtain positive answer imposing some additional restrictions on A and B. Our underlying space will still be R. One can easily see from the proofs that the arguments work in the Cantor space as well. We begin with the results for the Baire category. Theorem 2.1. Let A, B be non-meager sets with the Baire property. Then there exist meager sets X A and Y B such that X + Y does not have the Baire property. Proof. We will need the following lemma: Lemma 2.2. Let G R be co-meager. Then there exist meager sets F 0, F 1 G such that F 0 + F 1 = R. Proof. Without loss of generality we can assume that G = G + Z. By routine argument, this allows us to work in [0, 1] with addition mod 1 instead of R. Let ϕ : 2 ω [0, 1] be given by the formula x(n) ϕ(x) = 2 n+1. n=0

5 NONMEASURABLE ALGEBRAIC SUMS OF SETS OF REALS 5 Then G = ϕ 1 [G] is a co-meager subset of 2 ω. Thus, by lemma of [1] there exists a partition of ω into consecutive finite intervals I n : n ω and x G 2 ω such that G {x 2 ω : n x I n = x G I n }. Let F 0 = {x 2 ω : n ω x I 2n = x G I 2n } and F 1 = {x 2 ω : n ω x I 2n+1 = x G I 2n+1 }. We put F 0 = ϕ[f 0 ] and F 1 = ϕ[f 1 ]. Let z [0, 1] and y = z ϕ(x G ). Fix y 2 ω such that ϕ(y ) = y. We define x 0 F 0 and x 1 F 1 as follows { x y 0 I n = I n for n odd, x G I n for n even. { x x 1 I n = G I n for n odd, y I n for n even. It is easy to check that ϕ(x 0) + ϕ(x 1) = ϕ(y ) + ϕ(x G ) = y + ϕ(x G ) = z. First observe that we can assume that A, B are co-meager. Indeed, let us consider A = A + Q, B = B + Q. If we can find meager sets X A and Y B such that X + Y is nonmeasurable, we put X q = X (A + q), Y q = Y (B + q), for q Q. Then there exist p, q Q such that X p + Y q is nonmeasurable. We put X = X p p and Y = Y q q. Assuming that A, B are co-meager, we apply lemma 2.2 to G = A B. We obtain meager sets F 0 A and F 1 B such that F 0 + F 1 = R. Now we apply theorem 1.2 to F 0 and F 1 to obtain X and Y as needed. Corollary 2.3. Suppose that a set A R has the Baire property and A + A is non-meager. Then there exists a meager set X A such that X + X does not have the Baire property. Proof. If A is meager we simply apply corollary 1.6. If not, from the previous theorem we get two meager sets X 0, X 1 A such that X 0 + X 1 is non-meager. Then X = X 0 X 1 A is meager as well and X + X is non-meager. Now apply corollary 1.6 to X. Now we are going to prove the analogue of theorem 2.1 for measure. The proof is more complicated than for category. We will use the following theorem. Theorem 2.4 (Carlson, [2]). Let M = ZFC and let c R be a Cohen real over M. Then in M[c] there exists a full measure set D R such that t R (t + D) (R) M ω. The following fact follows from Lemma 9 from [6] as well as from Lemma 3 from [12]. Lemma 2.5. For every measure zero set N R there exists a perfect set P R such that 0 P and P + N N. Theorem 2.6. Let A, B be measurable sets with positive measure. Then there exist null sets X A, Y B such that X + Y is nonmeasurable.

6 6 MARCIN KYSIAK Proof. The proof is analogous to the category case. We only need to prove (a weaker) analogue of lemma 2.2. Lemma 2.7. For every set G N there exists a measure zero set H G such that H + H has full measure. Proof. Without loss of generality we can assume that G = G and G + Q = G. Let M be a countable transitive model of ZFC such that G M (precisely: we assume that G is a full measure Borel set coded in M). Let P M be a perfect set such that 0 P and (R \ G) P N. Working in M, consider the set p P (G p) G. By the choice of P this set has full measure, so we can find a full measure Borel set G p P (G p) G. Observe that for every p P we have p + G G. Indeed, if x G then x G p so p + x p p + G = G. Moreover, for a fixed p P M this property of the sets G, G holds in every generic extension of M. Let c R be a Cohen real over M. Working in M[c], let D N be as in theorem 2.4. We put H 0 = G \ D and H 1 = G M = G (R) M. Both sets have measure zero, the first as a difference between two full measure sets, the second as a subset of (R) M which is known to have measure zero in M[c] (see [1]). We want to show that (in M[c]) the set H 0 + H 1 = {t R : (t + H 0 ) H 1 } has full measure. Observe that, from the choice of D and H 1 we have {t R : (t + G) H 1 ω 1 } {t R : (t + H 0 ) H 1 }, so it is sufficient to show that the first set has full measure. To get this, fix an arbitrary x G M = G M and take any t x G. Observe that x (t + G) G M, so for every p P M we have x + p (t + G) G M. Thus x + P M (t + G) G M. As M[c] = P M > ω, this shows that for every t x G the set (t + G) H 1 is uncountable, so H 0 +H 1 = {t R : (t+h 0 ) H 1 } {t R : (t+g) H 1 ω 1 } x G N. Finally, we put H = H 0 H 1. Enlarging H if necessary we may assume that it is Borel and Q invariant, i.e. Q + H = H. Clearly H + H is analytic and Q invariant, thus M[c] = H + H N. As having positive measure is a Σ 1 1 property of a code of an analytic set (by Kondô Tugué theorem applied to a universal Σ 1 1 set, see [9]), also in V we have H + H N. Corollary 2.8. Suppose that A R is a measurable set. measure zero set X A such that X + X is nonmeasurable. Proof. Analogous to the proof of corollary 2.3. Then there exists a Remark 2.1. The proof of lemma 2.7 seems to be too complicated compared with lemma 2.2. We were not able to give a simpler general argument. In particular we could not find any variation of Sierpiński s argument from [14] which would work in this case. To give an example of measure zero sets X, Y such that X +Y is nonmeasurable, Sierpiński considers a Hamel basis which has measure zero. He finds such a basis as a maximal linearly independent subset of a measure zero set N such that N + N = R. To adapt this argument for our purposes, we would need to find such a set N being a subset of a given full measure set G, but

7 NONMEASURABLE ALGEBRAIC SUMS OF SETS OF REALS 7 this is even stronger than the lemma we are proving. A similar problem appears when one tries to modify arguments from [3]. Corollaries 2.8 and 2.3 seem to give us the full picture when considering algebraic sums of the form A + A. In theorems 2.1 and 2.6 we assume that both sets A, B considered there are positive (non-meager or of positive measure). Of course, if both sets are meager (for category) or null (for measure) theorem 1.2 gives us the same conclusion. There remains, however, the case when both sets are measurable (or have the Baire property) but only one is positive. An obvious example of A = Q and B = R shows that we need to assume that both sets are somehow large. It is a reasonable conjecture that it is enough to assume that one of the sets is positive and the other contains a perfect set. This motivates the following questions. Question 1. Suppose that A R is non-meager set with the Baire property and P is perfect. Do there exist meager sets X A, Y P such that X + Y is non-meager? Question 2. Suppose that A R is measurable set with positive measure and P is perfect. Do there exist measure zero sets X A, Y P such that X + Y is not null? Recall also that it is not so trivial to prove that for every perfect set P there exists a (closed) measure zero set H such that P + H = R (see [6]). This result may suggest that rather positive answers to these questions are to be expected. A natural attempt to answer these questions positively would be to construct such a set H as a subset of a given positive set A, it is not clear, however, how to modify the proof from [6] for this purpose. 3. Borel sets One might ask whether some analogous results are true for the algebra of Borel sets. Erdős and Stone in [7] and, independently, Rogers in [13], gave an example of two Borel sets whose algebraic sum is not Borel. This topic was also considered recently by Cichoń and Jasiński in [3]. Obviously, if sets A, B are Borel, nonempty, and one of them is uncountable then there exist X A and Y B such that X + Y is not Borel. Assuming that B is uncountable, simply take X = {x} for any x A and Y any non-borel subset of B. Using theorem 1.2 we can also show that Proposition 3.1. For every uncountable set A R there exists a set X A such that X + X is not analytic. Proof. The pair [R] ω, Σ 1 1 has the Perfect Set Property. The main disadvantage of this proposition is that it does not give us any information on descriptive complexity of X, even if we assume that A is Borel. One might, however, conjecture that for every pair A, B of uncountable Borel sets there exist Borel X A, Y B such that X + Y is not Borel. We show that the answer to this question is negative. Our argument is largely inspired by arguments of Rec law from [12] (similar arguments are also used in [3]). Proposition 3.2. There exists a perfect set P R such that for every pair of Borel sets A, B P the set A + B is Borel. In particular, for every Borel A P the set A + A is Borel.

8 8 MARCIN KYSIAK Proof. Let P R be a perfect set linearly independent over Q. It is a matter of simple calculation that for all pairs p 0, q 0, p 1, q 1 from P 2, if p 0 + q 0 = p 1 + q 1 then either p 0, q 0 = p 1, q 1, or p 0, q 0 = q 1, p 1. Let C = { p, q P 2 : p q} and C = { p, q P 2 : p > q}. If A, B P are Borel, then A + B = {a + b : a, b (A B) C } {a + b : a, b (A B) C }. As the function p, q p + q is restricted to C, as well as to C, is 1 1, A + B is the union of two 1 1 continuous images of Borel sets, thus Borel. References [1] T. Bartoszyński and H. Judah, Set Theory: On the Structure of the Real Line, A K Peters, Ltd, Wellesley, Massachusetts, [2] T. J. Carlson, Strong measure zero and strongly meager sets, Proceedings of the American Mathematical Society 118 (1993), no. 2, [3] J. Cichoń and A. Jasiński, A note on algebraic sums of sets of reals, Real Analysis Exchange 28 (2003), no. 2, [4] K. Ciesielski, H. Fejzić, and Ch. Freiling, Measure zero sets with nonmeasurable sum, Real Analysis Exchange 27 ( ), no. 2, [5] F. Dorais and R. Filipów, On Marczewski measurable additive functions and algebraic sums of Marczewski measurable sets, (2003), Preprint. [6] P. Erdős, K. Kunen, and R. Mauldin, Some additive properties of sets of real numbers., Fundamenta Mathematicae 113 (1981), no. 3, [7] P. Erdős and A. H. Stone, On the sum of two Borel sets, Proceedings of the American Mathematical Society 25 (1970), [8] T. Jech, Set theory, Academic Press, [9] A. S. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics, vol. 156, Springer - Verlag, [10] A. Kharazishvili, Some remarks on additive properties of invariant σ-ideals on the real line, Real Analysis Exchange 21 ( ), no. 2, [11] A. Nowik, Some topological characterizations of omega-covering sets, Czechoslovak Mathematical Journal 50 (2000), no. 125, [12] Ireneusz Rec law, Some additive properties of special sets of reals, Colloquium Mathematicum 62 (1991), no. 2, [13] C. A. Rogers, A linear Borel set whose difference set is not a Borel set, Bull. London Math. Soc. 2 (1970), [14] W. Sierpiński, Sur la question de la measurabilité de la base de M. Hamel, Fundamenta Mathematicae 1 (1920), Institute of Mathematics of the Polish Academy of Sciences, ul. Śniadeckich 8, P.O. Box 21, Warszawa 10, Poland address:

### Recursion Theory in Set Theory

Contemporary Mathematics Recursion Theory in Set Theory Theodore A. Slaman 1. Introduction Our goal is to convince the reader that recursion theoretic knowledge and experience can be successfully applied

### Math212a1010 Lebesgue measure.

Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.

### An example of a computable

An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

### SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

### REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

### LEARNING OBJECTIVES FOR THIS CHAPTER

CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

### 1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

### MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.

MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on

### Extension of measure

1 Extension of measure Sayan Mukherjee Dynkin s π λ theorem We will soon need to define probability measures on infinite and possible uncountable sets, like the power set of the naturals. This is hard.

### FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### CONTRIBUTIONS TO ZERO SUM PROBLEMS

CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg

### Our goal first will be to define a product measure on A 1 A 2.

1. Tensor product of measures and Fubini theorem. Let (A j, Ω j, µ j ), j = 1, 2, be two measure spaces. Recall that the new σ -algebra A 1 A 2 with the unit element is the σ -algebra generated by the

### THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

### Elementary Number Theory We begin with a bit of elementary number theory, which is concerned

CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,

### arxiv:math/0510680v3 [math.gn] 31 Oct 2010

arxiv:math/0510680v3 [math.gn] 31 Oct 2010 MENGER S COVERING PROPERTY AND GROUPWISE DENSITY BOAZ TSABAN AND LYUBOMYR ZDOMSKYY Abstract. We establish a surprising connection between Menger s classical covering

### Quotient Rings and Field Extensions

Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

### 11 Ideals. 11.1 Revisiting Z

11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

### Lecture Notes on Measure Theory and Functional Analysis

Lecture Notes on Measure Theory and Functional Analysis P. Cannarsa & T. D Aprile Dipartimento di Matematica Università di Roma Tor Vergata cannarsa@mat.uniroma2.it daprile@mat.uniroma2.it aa 2006/07 Contents

### INTRODUCTION TO DESCRIPTIVE SET THEORY

INTRODUCTION TO DESCRIPTIVE SET THEORY ANUSH TSERUNYAN Mathematicians in the early 20 th century discovered that the Axiom of Choice implied the existence of pathological subsets of the real line lacking

### CHAPTER 5. Product Measures

54 CHAPTER 5 Product Measures Given two measure spaces, we may construct a natural measure on their Cartesian product; the prototype is the construction of Lebesgue measure on R 2 as the product of Lebesgue

### GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.

Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the

### MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

### Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

### Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

### SET-THEORETIC CONSTRUCTIONS OF TWO-POINT SETS

SET-THEORETIC CONSTRUCTIONS OF TWO-POINT SETS BEN CHAD AND ROBIN KNIGHT AND ROLF SUABEDISSEN Abstract. A two-point set is a subset of the plane which meets every line in exactly two points. By working

### The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit

The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),

### ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

### NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

### Tree sums and maximal connected I-spaces

Tree sums and maximal connected I-spaces Adam Bartoš drekin@gmail.com Faculty of Mathematics and Physics Charles University in Prague Twelfth Symposium on General Topology Prague, July 2016 Maximal and

### THE UNIQUENESS OF HAAR MEASURE AND SET THEORY

C O L L O Q U I U M M A T H E M A T I C U M VOL. 74 1997 NO. 1 THE UNIQUENESS OF HAAR MEASURE AND SET THEORY BY PIOTR Z A K R Z E W S K I (WARSZAWA) Let G be a group of homeomorphisms of a nondiscrete,

### 3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

### Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

### Group Theory. Contents

Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

### SOME USES OF SET THEORY IN ALGEBRA. Stanford Logic Seminar February 10, 2009

SOME USES OF SET THEORY IN ALGEBRA Stanford Logic Seminar February 10, 2009 Plan I. The Whitehead Problem early history II. Compactness and Incompactness III. Deconstruction P. Eklof and A. Mekler, Almost

### MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete

### The sum of digits of polynomial values in arithmetic progressions

The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France E-mail: stoll@iml.univ-mrs.fr

### Finite dimensional topological vector spaces

Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

### Vector Spaces II: Finite Dimensional Linear Algebra 1

John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition

### ON A GLOBALIZATION PROPERTY

APPLICATIONES MATHEMATICAE 22,1 (1993), pp. 69 73 S. ROLEWICZ (Warszawa) ON A GLOBALIZATION PROPERTY Abstract. Let (X, τ) be a topological space. Let Φ be a class of realvalued functions defined on X.

### Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),

### COFINAL MAXIMAL CHAINS IN THE TURING DEGREES

COFINA MAXIMA CHAINS IN THE TURING DEGREES WEI WANG, IUZHEN WU, AND IANG YU Abstract. Assuming ZF C, we prove that CH holds if and only if there exists a cofinal maximal chain of order type ω 1 in the

### Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under

### There is no degree invariant half-jump

There is no degree invariant half-jump Rod Downey Mathematics Department Victoria University of Wellington P O Box 600 Wellington New Zealand Richard A. Shore Mathematics Department Cornell University

### k, then n = p2α 1 1 pα k

Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

### MINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFT-INVARIANT SUBSPACES OF L 2 (R n )

MINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFT-INVARIANT SUBSPACES OF L 2 (R n ) MARCIN BOWNIK AND NORBERT KAIBLINGER Abstract. Let S be a shift-invariant subspace of L 2 (R n ) defined by N generators

### No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

### x if x 0, x if x < 0.

Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

### AN ANALYSIS OF A WAR-LIKE CARD GAME. Introduction

AN ANALYSIS OF A WAR-LIKE CARD GAME BORIS ALEXEEV AND JACOB TSIMERMAN Abstract. In his book Mathematical Mind-Benders, Peter Winkler poses the following open problem, originally due to the first author:

### INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES

INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES FERNANDO BOMBAL AND IGNACIO VILLANUEVA Abstract. We study and characterize the integral multilinear operators on a product of C(K) spaces in terms of the

### 4.6 Null Space, Column Space, Row Space

NULL SPACE, COLUMN SPACE, ROW SPACE Null Space, Column Space, Row Space In applications of linear algebra, subspaces of R n typically arise in one of two situations: ) as the set of solutions of a linear

### Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Samarjit Chakraborty Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zürich March

### BASIS THEOREMS FOR NON-POTENTIALLY CLOSED SETS AND GRAPHS OF UNCOUNTABLE BOREL CHROMATIC NUMBER

Journal of Mathematical Logic c World Scientific Publishing Company & Singapore University Press BASIS THEOREMS FOR NON-POTENTIALLY CLOSED SETS AND GRAPHS OF UNCOUNTABLE BOREL CHROMATIC NUMBER DOMINIQUE

### DEFINABLE TYPES IN PRESBURGER ARITHMETIC

DEFINABLE TYPES IN PRESBURGER ARITHMETIC GABRIEL CONANT Abstract. We consider the first order theory of (Z, +,

### 9 More on differentiation

Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......

### CONTENTS 1. Peter Kahn. Spring 2007

CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................

### Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

### Metric Spaces. Chapter 7. 7.1. Metrics

Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

### ZORN S LEMMA AND SOME APPLICATIONS

ZORN S LEMMA AND SOME APPLICATIONS KEITH CONRAD 1. Introduction Zorn s lemma is a result in set theory that appears in proofs of some non-constructive existence theorems throughout mathematics. We will

### Chapter 1. Metric Spaces. Metric Spaces. Examples. Normed linear spaces

Chapter 1. Metric Spaces Metric Spaces MA222 David Preiss d.preiss@warwick.ac.uk Warwick University, Spring 2008/2009 Definitions. A metric on a set M is a function d : M M R such that for all x, y, z

### ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZ-PÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that

### FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

### GENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH

GENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH Abstract. We produce a model of ZFC in which there are no locally compact first countable S spaces, and in which 2 ℵ 0 < 2 ℵ 1. A

### 5. Linear algebra I: dimension

5. Linear algebra I: dimension 5.1 Some simple results 5.2 Bases and dimension 5.3 Homomorphisms and dimension 1. Some simple results Several observations should be made. Once stated explicitly, the proofs

### Foundations of Mathematics I Set Theory (only a draft)

Foundations of Mathematics I Set Theory (only a draft) Ali Nesin Mathematics Department Istanbul Bilgi University Kuştepe Şişli Istanbul Turkey anesin@bilgi.edu.tr February 12, 2004 2 Contents I Naive

### Sec 4.1 Vector Spaces and Subspaces

Sec 4. Vector Spaces and Subspaces Motivation Let S be the set of all solutions to the differential equation y + y =. Let T be the set of all 2 3 matrices with real entries. These two sets share many common

### Mathematics for Econometrics, Fourth Edition

Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents

### Finite and discrete probability distributions

8 Finite and discrete probability distributions To understand the algorithmic aspects of number theory and algebra, and applications such as cryptography, a firm grasp of the basics of probability theory

### INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

### Lebesgue 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

### Applications of Methods of Proof

CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The set-theoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are

### 160 CHAPTER 4. VECTOR SPACES

160 CHAPTER 4. VECTOR SPACES 4. Rank and Nullity In this section, we look at relationships between the row space, column space, null space of a matrix and its transpose. We will derive fundamental results

### 3. Equivalence Relations. Discussion

3. EQUIVALENCE RELATIONS 33 3. Equivalence Relations 3.1. Definition of an Equivalence Relations. Definition 3.1.1. A relation R on a set A is an equivalence relation if and only if R is reflexive, symmetric,

### Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

### The Markov-Zariski topology of an infinite group

Mimar Sinan Güzel Sanatlar Üniversitesi Istanbul January 23, 2014 joint work with Daniele Toller and Dmitri Shakhmatov 1. Markov s problem 1 and 2 2. The three topologies on an infinite group 3. Problem

GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors

### Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note 11

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note Conditional Probability A pharmaceutical company is marketing a new test for a certain medical condition. According

### The Lebesgue Measure and Integral

The Lebesgue Measure and Integral Mike Klaas April 12, 2003 Introduction The Riemann integral, defined as the limit of upper and lower sums, is the first example of an integral, and still holds the honour

### arxiv:0908.3127v2 [math.gt] 6 Sep 2009

MINIMAL SETS OF REIDEMEISTER MOVES arxiv:0908.3127v2 [math.gt] 6 Sep 2009 MICHAEL POLYAK Abstract. It is well known that any two diagrams representing the same oriented link are related by a finite sequence

### Open and Closed Sets

Open and Closed Sets Definition: A subset S of a metric space (X, d) is open if it contains an open ball about each of its points i.e., if x S : ɛ > 0 : B(x, ɛ) S. (1) Theorem: (O1) and X are open sets.

### Descriptive Set Theory

Descriptive Set Theory David Marker Fall 2002 Contents I Classical Descriptive Set Theory 2 1 Polish Spaces 2 2 Borel Sets 14 3 Effective Descriptive Set Theory: The Arithmetic Hierarchy 27 4 Analytic

### Regular Languages and Finite Automata

Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University Sep 16, 2010 In 1943, McCulloch and Pitts [4] published a pioneering work on a

### Mikołaj Krupski. Regularity properties of measures on compact spaces. Instytut Matematyczny PAN. Praca semestralna nr 1 (semestr zimowy 2010/11)

Mikołaj Krupski Instytut Matematyczny PAN Regularity properties of measures on compact spaces Praca semestralna nr 1 (semestr zimowy 2010/11) Opiekun pracy: Grzegorz Plebanek Regularity properties of measures

### 13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcs-ftl 2010/9/8 0:40 page 379 #385

mcs-ftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite

### ZERO-DIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS

ZERO-DIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We

### (x + a) n = x n + a Z n [x]. Proof. If n is prime then the map

22. A quick primality test Prime numbers are one of the most basic objects in mathematics and one of the most basic questions is to decide which numbers are prime (a clearly related problem is to find

### 4.5 Linear Dependence and Linear Independence

4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then

### POWER SETS AND RELATIONS

POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty

### Orthogonal Diagonalization of Symmetric Matrices

MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding

### This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but