Measuring sets with translation invariant Borel measures
|
|
- Jared Harrison
- 7 years ago
- Views:
Transcription
1 Measuring sets with translation invariant Borel measures University of Warwick Fractals and Related Fields III, 21 September 2015
2 Measured sets Definition A Borel set A R is called measured if there is a translation invariant Borel measure µ on R which assigns positive and σ-finite measure to A. sets with translation invariant measures 2 / 18
3 Measured sets Definition A Borel set A R is called measured if there is a translation invariant Borel measure µ on R which assigns positive and σ-finite measure to A. Question Is there a non-empty set which is not measured? sets with translation invariant measures 2 / 18
4 Measured sets Definition A Borel set A R is called measured if there is a translation invariant Borel measure µ on R which assigns positive and σ-finite measure to A. Question Is there a non-empty set which is not measured? translation invariant: µ(b + x) = µ(b) for every x R and Borel set B; µ(a) > 0 and µ restricted to A is σ-finite; µ on R need not be σ-finite. sets with translation invariant measures 2 / 18
5 Measured sets Definition A Borel set A R is called measured if there is a translation invariant Borel measure µ on R which assigns positive and σ-finite measure to A. Question Is there a non-empty set which is not measured? translation invariant: µ(b + x) = µ(b) for every x R and Borel set B; µ(a) > 0 and µ restricted to A is σ-finite; µ on R need not be σ-finite. Examples Any set of positive Lebesgue measure is measured by the Lebesgue measure; Cantor set is measured by the Hausdorff measure of dimension log 2/ log 3. sets with translation invariant measures 2 / 18
6 Measured sets Definition A Borel set A R is called measured if there is a translation invariant Borel measure µ on R which assigns positive and σ-finite measure to A. Question Is there a non-empty set which is not measured? translation invariant: µ(b + x) = µ(b) for every x R and Borel set B; µ(a) > 0 and µ restricted to A is σ-finite; µ on R need not be σ-finite. Examples Any set of positive Lebesgue measure is measured by the Lebesgue measure; Cantor set is measured by the Hausdorff measure of dimension log 2/ log 3. Nice examples of translation invariant measures: Hausdorff measures H s, generalised Hausdorff H g and packing measures P g with gauge function g. sets with translation invariant measures 2 / 18
7 Sets which have zero or infinite measure for every translation invariant Borel measure sets with translation invariant measures 3 / 18
8 Sets which have zero or infinite measure for every translation invariant Borel measure any infinite countable set; sets with translation invariant measures 3 / 18
9 Sets which have zero or infinite measure for every translation invariant Borel measure any infinite countable set; R. sets with translation invariant measures 3 / 18
10 A set which is not measured Theorem (Davies 1971) There is a non-empty compact set which is not measured. sets with translation invariant measures 4 / 18
11 A set which is not measured Theorem (Davies 1971) There is a non-empty compact set which is not measured. Sketch of proof. A = B (B + B) (B + B + B) (B + B + B + B)... sets with translation invariant measures 4 / 18
12 A set which is not measured Theorem (Davies 1971) There is a non-empty compact set which is not measured. Sketch of proof. A = B (B + B) (B + B + B) (B + B + B + B)... Let B [1, 2] be an uncountable compact set for which these unions are all disjoint. sets with translation invariant measures 4 / 18
13 A set which is not measured Theorem (Davies 1971) There is a non-empty compact set which is not measured. Sketch of proof. A = B (B + B) (B + B + B) (B + B + B + B)... Let B [1, 2] be an uncountable compact set for which these unions are all disjoint. B + B = b B (B + b). these as well sets with translation invariant measures 4 / 18
14 A set which is not measured Theorem (Davies 1971) There is a non-empty compact set which is not measured. Sketch of proof. A = B (B + B) (B + B + B) (B + B + B + B)... Let B [1, 2] be an uncountable compact set for which these unions are all disjoint. B + B = b B (B + b). these as well Lemma: If µ is translation invariant, µ(e) > 0 and F contains uncountably many disjoint translates of E, then µ is not σ-finite on F. sets with translation invariant measures 4 / 18
15 Other examples Theorem (Elekes Keleti 2006) The set of Liouville numbers L = {x R \ Q : for every n there are p, q with x p/q < 1/q n } is not measured. sets with translation invariant measures 5 / 18
16 Other examples Theorem (Elekes Keleti 2006) The set of Liouville numbers L = {x R \ Q : for every n there are p, q with x p/q < 1/q n } is not measured. Any non-f σ additive subgroup of R is not measured. sets with translation invariant measures 5 / 18
17 Other examples Theorem (Elekes Keleti 2006) The set of Liouville numbers L = {x R \ Q : for every n there are p, q with x p/q < 1/q n } is not measured. Any non-f σ additive subgroup of R is not measured. Remark σ-finite Borel measures on a Borel set A R are inner regular. sets with translation invariant measures 5 / 18
18 Theorem/Observation (Elekes Keleti) Let ν be a measure on A. Then ν has a translation invariant extension to R if and only if ν(a + t) = ν(a ) whenever A A and A + t A sets with translation invariant measures 6 / 18
19 Theorem/Observation (Elekes Keleti) Let ν be a measure on A. Then ν has a translation invariant extension to R if and only if ν(a + t) = ν(a ) whenever A A and A + t A Proof. { } µ(b) = inf ν(a i ) : A i A, B i (A i + t i ). i=1 sets with translation invariant measures 6 / 18
20 Theorem/Observation (Elekes Keleti) Let ν be a measure on A. Then ν has a translation invariant extension to R if and only if ν(a + t) = ν(a ) whenever A A and A + t A Proof. { } µ(b) = inf ν(a i ) : A i A, B i (A i + t i ). i=1 Remark If A is such that A (A + t) is at most 1 point for all t R, then any non-atomic measure on A is extendable. sets with translation invariant measures 6 / 18
21 Theorem/Observation (Elekes Keleti) Let ν be a measure on A. Then ν has a translation invariant extension to R if and only if ν(a + t) = ν(a ) whenever A A and A + t A Proof. { } µ(b) = inf ν(a i ) : A i A, B i (A i + t i ). i=1 Remark If A is such that A (A + t) is at most 1 point for all t R, then any non-atomic measure on A is extendable. Corollary If A is an uncountable Borel set such that A (A + t) is at most 1 point for all t R, then A is measured. sets with translation invariant measures 6 / 18
22 Questions (Elekes Keleti) 1 Is it true that the union of two measured sets is measured? sets with translation invariant measures 7 / 18
23 Questions (Elekes Keleti) 1 Is it true that the union of two measured sets is measured? 2 Is it true that every non-empty Borel set is a union of countably many measured sets? sets with translation invariant measures 7 / 18
24 Questions (Elekes Keleti) 1 Is it true that the union of two measured sets is measured? 2 Is it true that every non-empty Borel set is a union of countably many measured sets? 3 Is it true that every measured set is measured by a Hausdorff measure? sets with translation invariant measures 7 / 18
25 Questions (Elekes Keleti) 1 Is it true that the union of two measured sets is measured? 2 Is it true that every non-empty Borel set is a union of countably many measured sets? 3 Is it true that every measured set is measured by a Hausdorff measure? First aim: Find a set which is not measured but can be divided into two measured sets. sets with translation invariant measures 7 / 18
26 Union of measured sets in R The Hausdorff measure with gauge function g is { } H g (A) = lim inf g(diam U i ) : A i=1u i and diam U i < δ δ 0+ i=1 Here g is monotone increasing right continuous function g : [0, ) [0, ). sets with translation invariant measures 8 / 18
27 Union of measured sets in R The Hausdorff measure with gauge function g is { } H g (A) = lim inf g(diam U i ) : A i=1u i and diam U i < δ δ 0+ i=1 Here g is monotone increasing right continuous function g : [0, ) [0, ). Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. sets with translation invariant measures 8 / 18
28 Union of measured sets in R The Hausdorff measure with gauge function g is { } H g (A) = lim inf g(diam U i ) : A i=1u i and diam U i < δ δ 0+ i=1 Here g is monotone increasing right continuous function g : [0, ) [0, ). Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. Then there are Borel partitions B = B 1 B 2, A = A 1 A 2 and gauge functions g 1, g 2 such that the Hausdorff measures satisfy sets with translation invariant measures 8 / 18
29 Union of measured sets in R The Hausdorff measure with gauge function g is { } H g (A) = lim inf g(diam U i ) : A i=1u i and diam U i < δ δ 0+ i=1 Here g is monotone increasing right continuous function g : [0, ) [0, ). Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. Then there are Borel partitions B = B 1 B 2, A = A 1 A 2 and gauge functions g 1, g 2 such that the Hausdorff measures satisfy H g1 (B 1 ) = 1, H g1 (A 1 ) = 0, H g2 (B 2 ) = 1, H g2 (A 2 ) = 0. sets with translation invariant measures 8 / 18
30 Union of measured sets in R The Hausdorff measure with gauge function g is { } H g (A) = lim inf g(diam U i ) : A i=1u i and diam U i < δ δ 0+ i=1 Here g is monotone increasing right continuous function g : [0, ) [0, ). Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. Then there are Borel partitions B = B 1 B 2, A = A 1 A 2 and gauge functions g 1, g 2 such that the Hausdorff measures satisfy H g1 (B 1 ) = 1, H g1 (A 1 ) = 0, H g2 (B 2 ) = 1, H g2 (A 2 ) = 0. The theorem holds even if A = B; or when B has Hausdorff dimension zero and A has Hausdorff dimension 1. sets with translation invariant measures 8 / 18
31 Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. sets with translation invariant measures 9 / 18
32 Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. Then there are Borel partitions B = B 1 B 2, A = A 1 A 2 and gauge functions g 1, g 2 such that the Hausdorff measures satisfy sets with translation invariant measures 9 / 18
33 Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. Then there are Borel partitions B = B 1 B 2, A = A 1 A 2 and gauge functions g 1, g 2 such that the Hausdorff measures satisfy H g1 (B 1 ) = 1, H g1 (A 1 ) = 0, H g2 (B 2 ) = 1, H g2 (A 2 ) = 0. sets with translation invariant measures 9 / 18
34 Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. Then there are Borel partitions B = B 1 B 2, A = A 1 A 2 and gauge functions g 1, g 2 such that the Hausdorff measures satisfy H g1 (B 1 ) = 1, H g1 (A 1 ) = 0, H g2 (B 2 ) = 1, H g2 (A 2 ) = 0. Corollary Every Lebesgue nullset of the second category is a union of two measured sets. sets with translation invariant measures 9 / 18
35 Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. Then there are Borel partitions B = B 1 B 2, A = A 1 A 2 and gauge functions g 1, g 2 such that the Hausdorff measures satisfy H g1 (B 1 ) = 1, H g1 (A 1 ) = 0, H g2 (B 2 ) = 1, H g2 (A 2 ) = 0. Corollary Every Lebesgue nullset of the second category is a union of two measured sets. There are Lebesgue nullsets of the second category which are not measured (e.g. set of Liouville numbers). sets with translation invariant measures 9 / 18
36 Theorem (M) Let A, B R be Borel sets of zero Lebesgue measure and assume that B is of the second category. Then there are Borel partitions B = B 1 B 2, A = A 1 A 2 and gauge functions g 1, g 2 such that the Hausdorff measures satisfy H g1 (B 1 ) = 1, H g1 (A 1 ) = 0, H g2 (B 2 ) = 1, H g2 (A 2 ) = 0. Corollary Every Lebesgue nullset of the second category is a union of two measured sets. There are Lebesgue nullsets of the second category which are not measured (e.g. set of Liouville numbers). Corollary The union of two measured sets need not be measured. sets with translation invariant measures 9 / 18
37 How to divide a set into two sets with translation invariant measures 10 / 18
38 How to divide a set into two Lemma (M) Let A R be a Borel set. Let g 1, g 2 be two gauge functions such that H min(g1,g2) (A) = 0. Then there are disjoint Borel sets A 1, A 2 such that A = A 1 A 2 and H g1 (A 1 ) = H g2 (A 2 ) = 0. sets with translation invariant measures 10 / 18
39 How to divide a set into two Lemma (M) Let A R be a Borel set. Let g 1, g 2 be two gauge functions such that H min(g1,g2) (A) = 0. Then there are disjoint Borel sets A 1, A 2 such that A = A 1 A 2 and H g1 (A 1 ) = H g2 (A 2 ) = 0. Proof. g(x) = min(g 1 (x), g 2 (x)). Cover A with intervals I 1, I 2,... such that j=1 g(i j) < ε. sets with translation invariant measures 10 / 18
40 How to divide a set into two Lemma (M) Let A R be a Borel set. Let g 1, g 2 be two gauge functions such that H min(g1,g2) (A) = 0. Then there are disjoint Borel sets A 1, A 2 such that A = A 1 A 2 and H g1 (A 1 ) = H g2 (A 2 ) = 0. Proof. g(x) = min(g 1 (x), g 2 (x)). Cover A with intervals I 1, I 2,... such that j=1 g(i j) < ε. Let S {1, 2,...} be the set of those j for which g(i j ) = g 1 (I j ). sets with translation invariant measures 10 / 18
41 How to divide a set into two Lemma (M) Let A R be a Borel set. Let g 1, g 2 be two gauge functions such that H min(g1,g2) (A) = 0. Then there are disjoint Borel sets A 1, A 2 such that A = A 1 A 2 and H g1 (A 1 ) = H g2 (A 2 ) = 0. Proof. g(x) = min(g 1 (x), g 2 (x)). Cover A with intervals I 1, I 2,... such that j=1 g(i j) < ε. Let S {1, 2,...} be the set of those j for which g(i j ) = g 1 (I j ). Then g 1 (I j ) + g 2 (I j ) < ε. j S j S sets with translation invariant measures 10 / 18
42 How to divide a set into two Lemma (M) Let A R be a Borel set. Let g 1, g 2 be two gauge functions such that H min(g1,g2) (A) = 0. Then there are disjoint Borel sets A 1, A 2 such that A = A 1 A 2 and H g1 (A 1 ) = H g2 (A 2 ) = 0. Proof. g(x) = min(g 1 (x), g 2 (x)). Cover A with intervals I 1, I 2,... such that j=1 g(i j) < ε. Let S {1, 2,...} be the set of those j for which g(i j ) = g 1 (I j ). Then g 1 (I j ) + g 2 (I j ) < ε. j S j S A 1 j S I j A 2 j S I j (use limsup and liminf sets) sets with translation invariant measures 10 / 18
43 Technical part of the proof Proposition (M) Let B R be a Borel set of the second Baire category and let A R have Lebesgue measure zero. Then there are gauge functions g 1, g 2 such that H g1 (B) > 0, H g2 (B) > 0, and H min(g1,g2) (A) = 0. sets with translation invariant measures 11 / 18
44 Technical part of the proof Proposition (M) Let B R be a Borel set of the second Baire category and let A R have Lebesgue measure zero. Then there are gauge functions g 1, g 2 such that H g1 (B) > 0, H g2 (B) > 0, and H min(g1,g2) (A) = 0. About the proof: sets with translation invariant measures 11 / 18
45 Technical part of the proof Proposition (M) Let B R be a Borel set of the second Baire category and let A R have Lebesgue measure zero. Then there are gauge functions g 1, g 2 such that H g1 (B) > 0, H g2 (B) > 0, and H min(g1,g2) (A) = 0. About the proof: 1 It is very easy to construct compact sets in dense G δ sets. sets with translation invariant measures 11 / 18
46 Technical part of the proof Proposition (M) Let B R be a Borel set of the second Baire category and let A R have Lebesgue measure zero. Then there are gauge functions g 1, g 2 such that H g1 (B) > 0, H g2 (B) > 0, and H min(g1,g2) (A) = 0. About the proof: 1 It is very easy to construct compact sets in dense G δ sets. 2 Two compact sets K i and gauge functions g i are constructed such that H gi (K i ) = 1. sets with translation invariant measures 11 / 18
47 Technical part of the proof Proposition (M) Let B R be a Borel set of the second Baire category and let A R have Lebesgue measure zero. Then there are gauge functions g 1, g 2 such that H g1 (B) > 0, H g2 (B) > 0, and H min(g1,g2) (A) = 0. About the proof: 1 It is very easy to construct compact sets in dense G δ sets. 2 Two compact sets K i and gauge functions g i are constructed such that H gi (K i ) = 1. 3 min(g 1, g 2 ) will be linear on long intervals, [ε, δ], ε δ. sets with translation invariant measures 11 / 18
48 Technical part of the proof Proposition (M) Let B R be a Borel set of the second Baire category and let A R have Lebesgue measure zero. Then there are gauge functions g 1, g 2 such that H g1 (B) > 0, H g2 (B) > 0, and H min(g1,g2) (A) = 0. About the proof: 1 It is very easy to construct compact sets in dense G δ sets. 2 Two compact sets K i and gauge functions g i are constructed such that H gi (K i ) = 1. 3 min(g 1, g 2 ) will be linear on long intervals, [ε, δ], ε δ. 4 Linear gauge functions define constant times Lebesgue measure, so we will have H min(g1,g2) (A) = 0. sets with translation invariant measures 11 / 18
49 Technical part of the proof Proposition (M) Let B R be a Borel set of the second Baire category and let A R have Lebesgue measure zero. Then there are gauge functions g 1, g 2 such that H g1 (B) > 0, H g2 (B) > 0, and H min(g1,g2) (A) = 0. About the proof: 1 It is very easy to construct compact sets in dense G δ sets. 2 Two compact sets K i and gauge functions g i are constructed such that H gi (K i ) = 1. 3 min(g 1, g 2 ) will be linear on long intervals, [ε, δ], ε δ. 4 Linear gauge functions define constant times Lebesgue measure, so we will have H min(g1,g2) (A) = 0. Lemma + Proposition Theorem sets with translation invariant measures 11 / 18
50 Polish groups G is a Polish group if it is topological group homeomorphic to a separable complete metric space. sets with translation invariant measures 12 / 18
51 Polish groups G is a Polish group if it is topological group homeomorphic to a separable complete metric space. Example: Banach spaces; closed subgroups of Banach spaces. sets with translation invariant measures 12 / 18
52 Polish groups G is a Polish group if it is topological group homeomorphic to a separable complete metric space. Example: Banach spaces; closed subgroups of Banach spaces. Definition A Borel set A G is measured if there is a (both left and right) translation invariant Borel measure µ on G which assigns positive and σ-finite measure to A. sets with translation invariant measures 12 / 18
53 Polish groups G is a Polish group if it is topological group homeomorphic to a separable complete metric space. Example: Banach spaces; closed subgroups of Banach spaces. Definition A Borel set A G is measured if there is a (both left and right) translation invariant Borel measure µ on G which assigns positive and σ-finite measure to A. Theorem (M) A non-locally compact Polish group G is not a union of countably many measured sets. sets with translation invariant measures 12 / 18
54 Polish groups G is a Polish group if it is topological group homeomorphic to a separable complete metric space. Example: Banach spaces; closed subgroups of Banach spaces. Definition A Borel set A G is measured if there is a (both left and right) translation invariant Borel measure µ on G which assigns positive and σ-finite measure to A. Theorem (M) A non-locally compact Polish group G is not a union of countably many measured sets. Beginning of the proof. Assume it is. G = i A i. µ i. small diameter such that µ i (K i ) > 0. Choose compact sets K i A i of sets with translation invariant measures 12 / 18
55 Polish groups G is a Polish group if it is topological group homeomorphic to a separable complete metric space. Example: Banach spaces; closed subgroups of Banach spaces. Definition A Borel set A G is measured if there is a (both left and right) translation invariant Borel measure µ on G which assigns positive and σ-finite measure to A. Theorem (M) A non-locally compact Polish group G is not a union of countably many measured sets. Beginning of the proof. Assume it is. G = i A i. µ i. small diameter such that µ i (K i ) > 0. Take K = K 1 + K 2 + K , Choose compact sets K i A i of sets with translation invariant measures 12 / 18
56 Polish groups G is a Polish group if it is topological group homeomorphic to a separable complete metric space. Example: Banach spaces; closed subgroups of Banach spaces. Definition A Borel set A G is measured if there is a (both left and right) translation invariant Borel measure µ on G which assigns positive and σ-finite measure to A. Theorem (M) A non-locally compact Polish group G is not a union of countably many measured sets. Beginning of the proof. Assume it is. G = i A i. µ i. Choose compact sets K i A i of small diameter such that µ i (K i ) > 0. Take K = K 1 + K 2 + K , and consider the infinite convolution of the normalised measures µ i Ki µ i (K i ).... sets with translation invariant measures 12 / 18
57 Haar null (shy) sets On locally compact groups we have Haar measures. sets with translation invariant measures 13 / 18
58 Haar null (shy) sets On locally compact groups we have Haar measures. On non-locally compact groups there is no Haar measure, but there is a σ-ideal of Haar null sets. Definition (Christensen) A Borel set A G is called Haar null if there is a Borel probability measure µ such that µ(g + A + h) = 0 for all g, h G. sets with translation invariant measures 13 / 18
59 Haar null (shy) sets On locally compact groups we have Haar measures. On non-locally compact groups there is no Haar measure, but there is a σ-ideal of Haar null sets. Definition (Christensen) A Borel set A G is called Haar null if there is a Borel probability measure µ such that µ(g + A + h) = 0 for all g, h G. If G is locally compact, Haar null sets are the sets of zero Haar measure. sets with translation invariant measures 13 / 18
60 Haar null (shy) sets On locally compact groups we have Haar measures. On non-locally compact groups there is no Haar measure, but there is a σ-ideal of Haar null sets. Definition (Christensen) A Borel set A G is called Haar null if there is a Borel probability measure µ such that µ(g + A + h) = 0 for all g, h G. If G is locally compact, Haar null sets are the sets of zero Haar measure. Haar null sets are closed under countable unions. sets with translation invariant measures 13 / 18
61 Haar null (shy) sets On locally compact groups we have Haar measures. On non-locally compact groups there is no Haar measure, but there is a σ-ideal of Haar null sets. Definition (Christensen) A Borel set A G is called Haar null if there is a Borel probability measure µ such that µ(g + A + h) = 0 for all g, h G. If G is locally compact, Haar null sets are the sets of zero Haar measure. Haar null sets are closed under countable unions. prevalent sets. sets with translation invariant measures 13 / 18
62 Haar null (shy) sets On locally compact groups we have Haar measures. On non-locally compact groups there is no Haar measure, but there is a σ-ideal of Haar null sets. Definition (Christensen) A Borel set A G is called Haar null if there is a Borel probability measure µ such that µ(g + A + h) = 0 for all g, h G. If G is locally compact, Haar null sets are the sets of zero Haar measure. Haar null sets are closed under countable unions. prevalent sets. The proof that Haar null sets form a non-trivial σ-ideal is essentially the same as the previous Beginning of the proof. sets with translation invariant measures 13 / 18
63 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. sets with translation invariant measures 14 / 18
64 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. Consider a Banach space X = l p, 1 p <, and let (e n ) be the standard basis. sets with translation invariant measures 14 / 18
65 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. Consider a Banach space X = l p, 1 p <, and let (e n ) be the standard basis. (Or let X be a Banach space with a normalised Schauder basis (e n ).) sets with translation invariant measures 14 / 18
66 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. Consider a Banach space X = l p, 1 p <, and let (e n ) be the standard basis. (Or let X be a Banach space with a normalised Schauder basis (e n ).) Let G = { n=1 k n n e n X : k n Z } sets with translation invariant measures 14 / 18
67 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. Consider a Banach space X = l p, 1 p <, and let (e n ) be the standard basis. (Or let X be a Banach space with a normalised Schauder basis (e n ).) Let G = { n=1 k n n e n X : k n Z } = ( Z 1 Z 2 Z ) 3... X. sets with translation invariant measures 14 / 18
68 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. Consider a Banach space X = l p, 1 p <, and let (e n ) be the standard basis. (Or let X be a Banach space with a normalised Schauder basis (e n ).) Let G = { n=1 k n n e n X : k n Z This is the closure of the subgroup generated by (e n /n). } = ( Z 1 Z 2 Z ) 3... X. sets with translation invariant measures 14 / 18
69 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. Consider a Banach space X = l p, 1 p <, and let (e n ) be the standard basis. (Or let X be a Banach space with a normalised Schauder basis (e n ).) Let G = { n=1 k n n e n X : k n Z This is the closure of the subgroup generated by (e n /n). Note: if the sum converges, then kn n } = ( Z 1 Z 2 Z ) 3... X. kn is bounded and n C k n n=1 n e n. sets with translation invariant measures 14 / 18
70 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. Consider a Banach space X = l p, 1 p <, and let (e n ) be the standard basis. (Or let X be a Banach space with a normalised Schauder basis (e n ).) Let G = { n=1 k n n e n X : k n Z This is the closure of the subgroup generated by (e n /n). Note: if the sum converges, then kn n n=1 } = ( Z 1 Z 2 Z ) 3... X. kn is bounded and n C k n n=1 n e n. Define a projection f : G R by setting ( ) k n f n e k n n = n!. n=1 sets with translation invariant measures 14 / 18
71 Theorem (M) There is a non-empty compact set in R which is not a union of countably many measured sets. Consider a Banach space X = l p, 1 p <, and let (e n ) be the standard basis. (Or let X be a Banach space with a normalised Schauder basis (e n ).) Let G = { n=1 k n n e n X : k n Z This is the closure of the subgroup generated by (e n /n). Note: if the sum converges, then kn n n=1 } = ( Z 1 Z 2 Z ) 3... X. kn is bounded and n C k n n=1 n e n. Define a projection f : G R by setting ( ) k n f n e k n n = n!. f is a (restriction of a) bounded linear functional. n=1 sets with translation invariant measures 14 / 18
72 X = l p, 1 p <, with standard basis (e n ). { } ( k n Z G = n e n X : k n Z = 1 Z 2 Z ) 3... X. n=1 Define a projection f : G R by ( f n=1 k n n e n ) = n=1 k n n!. sets with translation invariant measures 15 / 18
73 X = l p, 1 p <, with standard basis (e n ). { } ( k n Z G = n e n X : k n Z = 1 Z 2 Z ) 3... X. n=1 Define a projection f : G R by ( f X r = {x X : x r}. n=1 k n n e n ) = n=1 k n n!. sets with translation invariant measures 15 / 18
74 X = l p, 1 p <, with standard basis (e n ). { } ( k n Z G = n e n X : k n Z = 1 Z 2 Z ) 3... X. n=1 Define a projection f : G R by ( f X r = {x X : x r}. n=1 k n n e n ) = n=1 k n n!. f is a bounded linear functional, f (G) is an additive subgroup of R. sets with translation invariant measures 15 / 18
75 X = l p, 1 p <, with standard basis (e n ). { } ( k n Z G = n e n X : k n Z = 1 Z 2 Z ) 3... X. n=1 Define a projection f : G R by ( f X r = {x X : x r}. n=1 k n n e n ) = n=1 k n n!. f is a bounded linear functional, f (G) is an additive subgroup of R. f is locally injective (injective on G X r for small enough r) sets with translation invariant measures 15 / 18
76 X = l p, 1 p <, with standard basis (e n ). { } ( k n Z G = n e n X : k n Z = 1 Z 2 Z ) 3... X. n=1 Define a projection f : G R by ( f X r = {x X : x r}. n=1 k n n e n ) = n=1 k n n!. f is a bounded linear functional, f (G) is an additive subgroup of R. f is locally injective (injective on G X r for small enough r) f (G X r ) is Borel; thus f (G) R is Borel. sets with translation invariant measures 15 / 18
77 X = l p, 1 p <, with standard basis (e n ). { } ( k n Z G = n e n X : k n Z = 1 Z 2 Z ) 3... X. n=1 Define a projection f : G R by ( f X r = {x X : x r}. n=1 k n n e n ) = n=1 k n n!. f is a bounded linear functional, f (G) is an additive subgroup of R. f is locally injective (injective on G X r for small enough r) f (G X r ) is Borel; thus f (G) R is Borel. G is a non-locally compact Polish space: not a union of countably many measured sets. sets with translation invariant measures 15 / 18
78 X = l p, 1 p <, with standard basis (e n ). { } ( k n Z G = n e n X : k n Z = 1 Z 2 Z ) 3... X. n=1 Define a projection f : G R by ( f X r = {x X : x r}. n=1 k n n e n ) = n=1 k n n!. f is a bounded linear functional, f (G) is an additive subgroup of R. f is locally injective (injective on G X r for small enough r) f (G X r ) is Borel; thus f (G) R is Borel. G is a non-locally compact Polish space: not a union of countably many measured sets. By local injectivity, we can pull back measures on f (G) to measures on G. Therefore A = f (G) is not a union of countably many measured sets. sets with translation invariant measures 15 / 18
79 X = l p, 1 p <, with standard basis (e n ). { } ( k n Z G = n e n X : k n Z = 1 Z 2 Z ) 3... X. n=1 Define a projection f : G R by ( f X r = {x X : x r}. n=1 k n n e n ) = n=1 k n n!. f is a bounded linear functional, f (G) is an additive subgroup of R. f is locally injective (injective on G X r for small enough r) f (G X r ) is Borel; thus f (G) R is Borel. G is a non-locally compact Polish space: not a union of countably many measured sets. By local injectivity, we can pull back measures on f (G) to measures on G. Therefore A = f (G) is not a union of countably many measured sets. If (e n ) is boundedly complete, A = f (G) is σ-compact. sets with translation invariant measures 15 / 18
80 Typical compact sets Non-empty compact subsets of R with the Hausdorff distance form a complete separable metric space. sets with translation invariant measures 16 / 18
81 Typical compact sets Non-empty compact subsets of R with the Hausdorff distance form a complete separable metric space. A typical compact set in R is measured. sets with translation invariant measures 16 / 18
82 Typical compact sets Non-empty compact subsets of R with the Hausdorff distance form a complete separable metric space. A typical compact set in R is measured. A typical compact set K satisfies that for all t R, K (K + t) is at most 1 point. sets with translation invariant measures 16 / 18
83 Typical compact sets Non-empty compact subsets of R with the Hausdorff distance form a complete separable metric space. A typical compact set in R is measured. A typical compact set K satisfies that for all t R, K (K + t) is at most 1 point. All such sets are measured. sets with translation invariant measures 16 / 18
84 Typical compact sets Non-empty compact subsets of R with the Hausdorff distance form a complete separable metric space. A typical compact set in R is measured. A typical compact set K satisfies that for all t R, K (K + t) is at most 1 point. All such sets are measured. Theorem (Balka M) For a typical compact set K R there is a gauge function g with H g (K) = 1. sets with translation invariant measures 16 / 18
85 A measured set which is not measured by Hausdorff measures sets with translation invariant measures 17 / 18
86 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). sets with translation invariant measures 17 / 18
87 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). Find disjoint perfect sets P i (i = 1, 2,...) in P. sets with translation invariant measures 17 / 18
88 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). Find disjoint perfect sets P i (i = 1, 2,...) in P. Let A = P 1 P 2 P n n=1 sets with translation invariant measures 17 / 18
89 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). Find disjoint perfect sets P i (i = 1, 2,...) in P. Let B = log A = A = P 1 P 2 P n n=1 (log P 1 + log P log P n ) n=1 sets with translation invariant measures 17 / 18
90 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). Find disjoint perfect sets P i (i = 1, 2,...) in P. Let B = log A = A = P 1 P 2 P n n=1 (log P 1 + log P log P n ) n=1 Since P is algebraically independent, the equation x y = u v in A only has trivial solutions. Therefore A is measured. sets with translation invariant measures 17 / 18
91 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). Find disjoint perfect sets P i (i = 1, 2,...) in P. Let B = log A = A = P 1 P 2 P n n=1 (log P 1 + log P log P n ) n=1 Since P is algebraically independent, the equation x y = u v in A only has trivial solutions. Therefore A is measured. B is not measured: this is basically Davies s example. sets with translation invariant measures 17 / 18
92 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). Find disjoint perfect sets P i (i = 1, 2,...) in P. Let B = log A = A = P 1 P 2 P n n=1 (log P 1 + log P log P n ) n=1 Since P is algebraically independent, the equation x y = u v in A only has trivial solutions. Therefore A is measured. B is not measured: this is basically Davies s example. B is a bi-lipschitz image of A. sets with translation invariant measures 17 / 18
93 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). Find disjoint perfect sets P i (i = 1, 2,...) in P. Let B = log A = A = P 1 P 2 P n n=1 (log P 1 + log P log P n ) n=1 Since P is algebraically independent, the equation x y = u v in A only has trivial solutions. Therefore A is measured. B is not measured: this is basically Davies s example. B is a bi-lipschitz image of A. If there was g such that H g (A) is positive and σ-finite, the same would hold for B. sets with translation invariant measures 17 / 18
94 A measured set which is not measured by Hausdorff measures John von Neumann: there is an algebraically independent non-empty perfect set P in (2, ). Find disjoint perfect sets P i (i = 1, 2,...) in P. Let B = log A = A = P 1 P 2 P n n=1 (log P 1 + log P log P n ) n=1 Since P is algebraically independent, the equation x y = u v in A only has trivial solutions. Therefore A is measured. B is not measured: this is basically Davies s example. B is a bi-lipschitz image of A. If there was g such that H g (A) is positive and σ-finite, the same would hold for B. So A is measured but not by Hausdorff measures. sets with translation invariant measures 17 / 18
95 A measured set which is not measured by packing measures Unfortunately 0 < P g (A) < and B is a bi-lipschitz image of A 0 < P g (B) < sets with translation invariant measures 18 / 18
96 A measured set which is not measured by packing measures Unfortunately 0 < P g (A) < and B is a bi-lipschitz image of A 0 < P g (B) < (Reference?) sets with translation invariant measures 18 / 18
97 A measured set which is not measured by packing measures Unfortunately 0 < P g (A) < and B is a bi-lipschitz image of A 0 < P g (B) < (Reference?) Fortunately Results of Peres and Elekes Keleti imply that some Befrod McMullen carpets are measured but not measured by packing measures. sets with translation invariant measures 18 / 18
How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra
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
More informationExtension 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.
More informationSOLUTIONS 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
More information9 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......
More informationINDISTINGUISHABILITY 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
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites
More information1. 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
More informationLecture 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
More informationFUNCTIONAL 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
More informationMathematics 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
More informationMetric Spaces Joseph Muscat 2003 (Last revised May 2009)
1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of
More informationThe Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line
The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,
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 informationCHAPTER 1 BASIC TOPOLOGY
CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is
More informationINTRODUCTION 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
More informationMetric 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
More informationand s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space
RAL ANALYSIS A survey of MA 641-643, UAB 1999-2000 M. Griesemer Throughout these notes m denotes Lebesgue measure. 1. Abstract Integration σ-algebras. A σ-algebra in X is a non-empty collection of subsets
More informationMA651 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
More informationMathematical 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.............................
More informationBasic Measure Theory. 1.1 Classes of Sets
1 Basic Measure Theory In this chapter, we introduce the classes of sets that allow for a systematic treatment of events and random observations in the framework of probability theory. Furthermore, we
More informationNotes on descriptive set theory and applications to Banach spaces. Th. Schlumprecht
Notes on descriptive set theory and applications to Banach spaces Th. Schlumprecht Contents Chapter 1. Notation 5 Chapter 2. Polish spaces 7 1. Introduction 7 2. Transfer Theorems 9 3. Spaces of compact
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationPoint Set Topology. A. Topological Spaces and Continuous Maps
Point Set Topology A. Topological Spaces and Continuous Maps Definition 1.1 A topology on a set X is a collection T of subsets of X satisfying the following axioms: T 1.,X T. T2. {O α α I} T = α IO α T.
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationThe Banach-Tarski Paradox
University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible
More informationMASSACHUSETTS 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
More informationRANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis
RANDOM INTERVAL HOMEOMORPHISMS MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis This is a joint work with Lluís Alsedà Motivation: A talk by Yulij Ilyashenko. Two interval maps, applied
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More informationSOLUTIONS 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
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationINTEGRAL 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
More informationAn 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
More informationINTRODUCTION TO TOPOLOGY
INTRODUCTION TO TOPOLOGY ALEX KÜRONYA In preparation January 24, 2010 Contents 1. Basic concepts 1 2. Constructing topologies 13 2.1. Subspace topology 13 2.2. Local properties 18 2.3. Product topology
More informationMath 104: Introduction to Analysis
Math 104: Introduction to Analysis Evan Chen UC Berkeley Notes for the course MATH 104, instructed by Charles Pugh. 1 1 August 29, 2013 Hard: #22 in Chapter 1. Consider a pile of sand principle. You wish
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationPSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2
PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2 Abstract. We prove a Bruckner-Garg type theorem for the fiber structure of a generic map from a continuum X into the unit interval I. We
More informationNo: 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
More informationLinear 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)),
More informationComments on Quotient Spaces and Quotient Maps
22M:132 Fall 07 J. Simon Comments on Quotient Spaces and Quotient Maps There are many situations in topology where we build a topological space by starting with some (often simpler) space[s] and doing
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationThe 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
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationOn Nicely Smooth Banach Spaces
E extracta mathematicae Vol. 16, Núm. 1, 27 45 (2001) On Nicely Smooth Banach Spaces Pradipta Bandyopadhyay, Sudeshna Basu Stat-Math Unit, Indian Statistical Institute, 203 B.T. Road, Calcutta 700035,
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationHow To Know The Limit Set Of A Fuchsian Group On A Boundary Of A Hyperbolic Plane
Reading material on the limit set of a Fuchsian group Recommended texts Many books on hyperbolic geometry and Kleinian and Fuchsian groups contain material about limit sets. The presentation given here
More informationOrthogonal 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
More informationLECTURE NOTES IN MEASURE THEORY. Christer Borell Matematik Chalmers och Göteborgs universitet 412 96 Göteborg (Version: January 12)
1 LECTURE NOTES IN MEASURE THEORY Christer Borell Matematik Chalmers och Göteborgs universitet 412 96 Göteborg (Version: January 12) 2 PREFACE These are lecture notes on integration theory for a eight-week
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationDISINTEGRATION OF MEASURES
DISINTEGRTION OF MESURES BEN HES Definition 1. Let (, M, λ), (, N, µ) be sigma-finite measure spaces and let T : be a measurable map. (T, µ)-disintegration is a collection {λ y } y of measures on M such
More informationA Topology Primer. Preface. Lecture Notes 2001/2002. Klaus Wirthmüller. http://www.mathematik.uni-kl.de/ wirthm/de/top.html
A Topology Primer Lecture Notes 2001/2002 Klaus Wirthmüller http://www.mathematik.uni-kl.de/ wirthm/de/top.html Preface These lecture notes were written to accompany my introductory courses of topology
More informationDescriptive 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
More information16.3 Fredholm Operators
Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this
More informationA domain of spacetime intervals in general relativity
A domain of spacetime intervals in general relativity Keye Martin Department of Mathematics Tulane University New Orleans, LA 70118 United States of America martin@math.tulane.edu Prakash Panangaden School
More informationGambling Systems and Multiplication-Invariant Measures
Gambling Systems and Multiplication-Invariant Measures by Jeffrey S. Rosenthal* and Peter O. Schwartz** (May 28, 997.. Introduction. This short paper describes a surprising connection between two previously
More informationFinite 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
More informationI. 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
More informationLogic, Combinatorics and Topological Dynamics, II
Logic, Combinatorics and Topological Dynamics, II Alexander S. Kechris January 9, 2009 Part II. Generic symmetries Generic properties Let X be a topological space and P X a subset of X viewed as a property
More informationFollow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu
COPYRIGHT NOTICE: Ariel Rubinstein: Lecture Notes in Microeconomic Theory is published by Princeton University Press and copyrighted, c 2006, by Princeton University Press. All rights reserved. No part
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationTHE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
More informationAN INTRODUCTION TO DIMENSION THEORY AND FRACTAL GEOMETRY: FRACTAL DIMENSIONS AND MEASURES
AN INTRODUCTION TO DIMENSION THEORY AND FRACTAL GEOMETRY: FRACTAL DIMENSIONS AND MEASURES ERIN PEARSE 1. Historical context and motivation Poincaré s topological reinterpretation of Euclid s initial concept
More informationThe Ergodic Theorem and randomness
The Ergodic Theorem and randomness Peter Gács Department of Computer Science Boston University March 19, 2008 Peter Gács (Boston University) Ergodic theorem March 19, 2008 1 / 27 Introduction Introduction
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationA CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE
A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semi-locally simply
More informationGROUPS ACTING ON A SET
GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for
More informationA CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT
Bol. Soc. Mat. Mexicana (3) Vol. 12, 2006 A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT F. MONTALVO, A. A. PULGARÍN AND B. REQUEJO Abstract. We present some internal conditions on a locally
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More information(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties
Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry
More informationTopological properties of Rauzy fractals
Topological properties of Rauzy fractals Anne Siegel (IRISA-CNRS, Rennes) Joerg Thuswaldner (Univ. Leoben, Autriche) Kanazawa April 2008 Many shapes for Rauzy fractals... Several properties on examples
More informationON 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
More informationGroup 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
More informationHedging bounded claims with bounded outcomes
Hedging bounded claims with bounded outcomes Freddy Delbaen ETH Zürich, Department of Mathematics, CH-892 Zurich, Switzerland Abstract. We consider a financial market with two or more separate components
More informationarxiv: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
More informationDIFFERENTIABILITY OF CONE-MONOTONE FUNCTIONS ON SEPARABLE BANACH SPACE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 132, Number 4, Pages 1067 1076 S 0002-9939(03)07149-1 Article electronically published on July 14, 2003 DIFFERENTIABILITY OF CONE-MONOTONE FUNCTIONS
More informationFixed Point Theorems
Fixed Point Theorems Definition: Let X be a set and let T : X X be a function that maps X into itself. (Such a function is often called an operator, a transformation, or a transform on X, and the notation
More informationUniversity of Miskolc
University of Miskolc The Faculty of Mechanical Engineering and Information Science The role of the maximum operator in the theory of measurability and some applications PhD Thesis by Nutefe Kwami Agbeko
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationOn the Palis Conjecture
On the Palis Conjecture Sebastian van Strien (Warwick) Unless stated otherwise, the results are joint with a subset of {H. Bruin, J. Rivera-Letelier, W. Shen, O Kozlovski.} January 10, 2007 1 Contents
More informationORIENTATIONS. Contents
ORIENTATIONS Contents 1. Generators for H n R n, R n p 1 1. Generators for H n R n, R n p We ended last time by constructing explicit generators for H n D n, S n 1 by using an explicit n-simplex which
More informationRate of growth of D-frequently hypercyclic functions
Rate of growth of D-frequently hypercyclic functions A. Bonilla Departamento de Análisis Matemático Universidad de La Laguna Hypercyclic Definition A (linear and continuous) operator T in a topological
More informationFinite covers of a hyperbolic 3-manifold and virtual fibers.
Claire Renard Institut de Mathématiques de Toulouse November 2nd 2011 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group
More informationDEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism
More informationAHLFORS DAVID REGULAR SETS AND BILIPSCHITZ MAPS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 34, 2009, 487 502 AHLFORS DAVID REGULAR SETS AND BILIPSCHITZ MAPS Pertti Mattila Pirjo Saaranen University of Helsinki, Department of Mathematics
More informationTHE REGULAR OPEN CONTINUOUS IMAGES OF COMPLETE METRIC SPACES
PACIFIC JOURNAL OF MATHEMATICS Vol 23 No 3, 1967 THE REGULAR OPEN CONTINUOUS IMAGES OF COMPLETE METRIC SPACES HOWARD H WICKE This article characterizes the regular T o open continuous images of complete
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,
More informationGeneric measures for geodesic flows on nonpositively curved manifolds
Generic measures for geodesic flows on nonpositively curved manifolds Yves Coudène, Barbara Schapira 6th November 2014 Laboratoire de mathématiques, UBO, 6 avenue le Gorgeu, 29238 Brest, France LAMFA,
More informationOperator-valued version of conditionally free product
STUDIA MATHEMATICA 153 (1) (2002) Operator-valued version of conditionally free product by Wojciech Młotkowski (Wrocław) Abstract. We present an operator-valued version of the conditionally free product
More informationImprecise probabilities, bets and functional analytic methods in Lukasiewicz logic
Imprecise probabilities, bets and functional analytic methods in Lukasiewicz logic Martina Fedel, Klaus Keimel, Franco Montagna and Walter Roth February 22, 2011 Abstract In his foundation of probability
More informationCODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES
CODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES PAUL SHAFER Abstract. We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik degrees, and the third-order
More informationThe sample space for a pair of die rolls is the set. The sample space for a random number between 0 and 1 is the interval [0, 1].
Probability Theory Probability Spaces and Events Consider a random experiment with several possible outcomes. For example, we might roll a pair of dice, flip a coin three times, or choose a random real
More informationSMALL SKEW FIELDS CÉDRIC MILLIET
SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite
More informationMathematics 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
More informationFUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 2. OPERATORS ON HILBERT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 2. OPERATORS ON HILBERT SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples First recall the basic definitions regarding operators. Definition 1.1 (Continuous
More informationInterplay between polynomial and transcendental entire dynamics
and Interplay and transcendental Department of Mathematical Sciences, University of Liverpool Oberwolfach, October 2008 Outline and 1 and 2 3 4 Outline and 1 and 2 3 4 Outline and 1 and 2 3 4 Outline and
More information160 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
More informationMath/Stats 425 Introduction to Probability. 1. Uncertainty and the axioms of probability
Math/Stats 425 Introduction to Probability 1. Uncertainty and the axioms of probability Processes in the real world are random if outcomes cannot be predicted with certainty. Example: coin tossing, stock
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationMinimal R 1, minimal regular and minimal presober topologies
Revista Notas de Matemática Vol.5(1), No. 275, 2009, pp.73-84 http://www.saber.ula.ve/notasdematematica/ Comisión de Publicaciones Departamento de Matemáticas Facultad de Ciencias Universidad de Los Andes
More information