MASS TRANSFERENCE PRINCIPLE: FROM BALLS TO ARBITRARY SHAPES. 1. Introduction. limsupa i = A i.
|
|
- Charlotte Barnett
- 5 years ago
- Views:
Transcription
1 MASS TRANSFERENCE PRINCIPLE: FROM BALLS TO ARBITRARY SHAPES HENNA KOIVUSALO AND MICHA L RAMS arxiv: v1 [math.ca] 20 Dec 2018 Abstract. The mass transference principle, proved by Beresnevich and Velani 2006, is a strong result that gives lower bounds for the Hausdorff dimension of limsup sets of balls. We present a version for limsup sets of open sets of arbitrary shape, and also calculate the packing dimension of these sets. For (A i ) a sequence of subsets of R d, let 1. Introduction limsupa i = A i. n=1i n Geometry of limsup sets is of great importance in dimension theory, as large classes of fractal sets, including attractors of iterated function systems and random covering sets, are limsup sets. See [AT] and [FJJS] for discussion and references. Our main interest is the following, fundamental result on dimensions of limsup sets, from a 2006 paper of Beresnevitch and Velani [BV]: Theorem 1.1 (Mass transference principle). Let (B i ) be a family of balls in [0,1] d such that λ(limsupb i ) = 1. Let for each i E i be a ball with the same center as B i but of diameter (diamb i ) a,a > 1. Then dim H limsupe i d a. Here λ denotes the Lebesgue measure in R d. This theorem found great many applications in calculating the Hausdorff dimension of limsup sets, in particular in metric number theory. It has also been generalized in several directions. For a recent development see [AB], where a version of this result with different, more general assumptions about B i and limsupb i was shown. Of particular interest for us is the generalisation of Wang, Wu, and Xu [WWX]. In their work, the assumption λ(limsupb i ) = 1, the authors let the sets E i to be not balls of diameter (diamb i ) a but ellipsoids with semiaxes (diamb i ) a,1 a 1... a d. Date: December 21, This proect was supported by OeAD grant number PL03/2017. M.R. was supported by National Science Centre grant 2014/13/B/ST1/01033 (Poland). 1
2 They gave the lower bound min 1 d { d+a } i=1 a i a for the Hausdorff dimension of limsupe i. In the current work, we provide the following new interpretation of this formula: there exists s d depending only on a 1,...,a d such that ϕ s (E i ) λ(b i ), and this s is the lower bound for dim H limsupe i. Here ϕ s is what in the dimension theory of iterated function systems is known as Falconer s singular value function, see [F2] and Section 2. In thisnote we will generalize thisresult to completely general shapes E i : we will only assume that E i B i and that they are open and nonempty. We will not only provide Hausdorff dimension bound for these sets, but also calculate their packing dimension. The argument involves a generalisation of the singular value function, see Section 2. Our results are formulated in Section 3, which is then followed by the proof of the results. 2. Singular value function In 1988 Kenneth Falconer [F2] introduced a function, the singular value function, which for an ellipsoid E R d with semiaxes α 1... α d and parameter s [0,d] assigns the value ϕ s (E) = α 1 α 2...α m α s m m+1, where m = s is the largest integer not larger than s. We will generalize this definition for all nonempty, bounded open sets. Denote by B r (x) the ball of radius r and center x. Let E R d be open and bounded. We define ϕ s (E) = sup µ inf inf x E r>0 r s µ(e B r (x)), where the supremum is taken over Borel probability measures supported on E. On a first glance this definition might seem cumbersome to use, but it turns out that it is enough to consider absolutely continuous measures: Lemma 2.1. There exists κ 1 > 0 such that for every open bounded set E R d there exists a probabilistic absolutely continuous measure η of bounded density, such that the support of η is a finite union of disoint d-dimensional cubes contained in E and ϕ s (E) κ 1 inf inf r s x E r>0 η(e B r (x)). Proof. Fix ε > 0. Let µ 1 be a probability measure supported on E such that ϕ s (E) (1+ε) inf inf r s x E r>0 µ 1 (E B r (x)). For δ > 0 let E δ denote the points in E lying at distance greater than δ from E. We choose δ so small that µ 1 (E δ ) 1 ε and define 2
3 Note µ 2 = 1 µ 1 (E δ ) µ 1 Eδ. r s inf inf (1 ε) inf x E r>0 µ 2 (E B r (x)) inf r s x E r>0 µ 1 (E B r (x)). Let f δ be the normalized characteristic function of B δ (0) and define dµ 3 (x) = f δ (x y)dµ 2 (y), whichisanabsolutelycontinuousprobabilitymeasurewithdensityboundedby(λ(b δ (0))) 1. For x E and r δ we have µ 3 (B r (x)) µ 2 (B r+δ (x)) µ 2 (B 2r (x)). For x E and r < δ we have µ 3 (B r (x)) rd δ dµ 2(B r+δ (x)) rd δ dµ 2(B 2δ (x)). Hence, for every x E and r > 0 one can find r > 0 such that r s µ 3 (B r (x)) (r ) s 2 s µ 2 (B r (x)). Finally, we choose some finite union F E of disoint cubes such that µ 3 (F) 1 ε and define We have inf inf x E r>0 which ends the proof. r s η(e B r (x)) η = 1 µ 3 (F) µ 3 F. (1 ε) inf inf r s x E r>0 µ 3 (E B r (x)) We leave to the reader the exercise of checking that our definition of ϕ s (E) is equivalent (up to a multiplicative constant) to the Falconer s definition if E is an ellipsoid. 3. Statement of results Theorem3.1. Let(B i ) be asequence ofballsin [0,1] d R d such thatλ(limsup i B i ) = 1. Let (E i ) be a sequence of open sets, such that E i B i. Define Then and s = sup{t λ(limsup{b i ϕ t (E i ) λ(b i )}) = 1}. dim H limsupe i s dim P limsupe i = d. 3
4 We will actually prove the following result; it is clear that Theorem 3.1 is an immediate corollary. Theorem3.2. Let(B i ) be asequence ofballsin [0,1] d R d such thatλ(limsup i B i ) = 1. Let (E i ) be a sequence of open sets, such that E i B i. Assume that for some s 0 each pair (B i,e i ) satisfies ϕ s (E i ) λ(b i ). Then dim H limsupe i s and dim P limsupe i = d. Remark 3.3. Noticethat, inparticular, thesets (E i ) being ballsasin[bv]orellipsoids as in[wwx] satisfy the assumptions of Theorem 3.1, so that Theorem 3.1 recovers these dimension results. Furthermore, as is the case for these results as well, the lower bound we provide can be sharp, see e.g. [WWX, Corollary 5.1]. The strategy of the proof of Theorem 3.1 is as follows: We will construct a large Cantor subset C of limsupe i, define a mass distribution µ on the construction tree of C and calculate the local dimension of µ. This will give a lower bound to the dimension. 4. Construction of the Cantor subset We note that we can freely assume that the size of balls B i forms a nonincreasing sequence converging to 0. Indeed, the statement of the theorem does not depend on the order of B i s, and moreover if the size of the balls B i has a non-zero lower bound and if ϕ s (E ni ) > λ(b ni ) for some s > 0 and some subsequence E ni then by the definition of ϕ we will have a nonzero lower bound for λ(e ni ), and hence for λ(limsupe ni ) as well. For a ball B, denote by MB a ball of the same center and M times the radius. The following lemma has been proven as [BV, Lemma 5], but for completeness we will present a proof. Lemma 4.1. Assume λ(limsupb i ) = 1. Then there exists κ 2 > 0 such that for every cube C [0,1] d there exists a finite family of balls B ni C such that the balls 3B ni are pairwise disoint and that λ(bni ) κ 2 λ(c). Proof. Let r denote the side of C. As the diameter of balls B i converges to 0, for any positive ε we know that 3B i B i (1 ε)c, i;b i C i;b i C where (1 ε)c denotes a cube of the same center as C but of side (1 ε)r. Applying the 5r-covering theorem [M, Theorem 2.1], we find a (finite or countable) subfamily of balls B ik C such that 15Bik (1 ε)c, 4
5 and that the balls 3B ik are disoint. Hence, λ(bik ) r d (1 ε) d 15 d and we can choose a finite subfamily such that λ(bik ) r d (1 2ε) d 15 d. As λ(c) = r d, we are done. Before we start the proof: for every set E i denote by η i the absolutely continuous measure provided by Lemma 2.1 and by l i the supremum of its density. We will denote by Ẽi the support of η i. It is enough for us to prove the lower bound for dim H limsupẽi and dim P limsupẽi. We will now inductively construct a family of sets F 0 F 1... such that each F ; 1 is a finite union of some Ẽi s. Clearly, F := F limsupẽi limsupe i. We will then proceed by distributing a measure µ on F. Start with the cube F 0 = [0,1] d. By Lemma 4.1 we can find a finite family of disoint balls F 1 {B i } such that B i F 1 λ(b i ) > κ 2. Let F 1 = B i F 1 Ẽ i. Fix some sequence ε ց 0 and let 1 r 1 = min(r 1,(κ 2 min{ l i λ(b i ) ;B i F 1 }) 1/ε 1 ). Recall that each Ẽi is a finite union of cubes. Now divide all the components of all Ẽ i for B i F 1 into cubes D (1) k of diameter between r 1 /2 and r 1 (notice that different components might need to be divided into cubes of different size) and apply Lemma 4.1 to each of them. We obtain a family F 2 of balls B i such that for each D (1) k, B i F 2 ;B i D (1) k λ(b i ) κ 2 λ(d (1) k ). Let F 2 = B i F 2 Ẽ i. We repeat the construction inductively, defining r as the smallest diameter of components in F and setting 1 r = min(r, r 1 (κ 2 min{ l i λ(b i ) ;B i F }) 1/ε ), and then dividing the set F into cubes D () k of diameter approximately r, applying Lemma 4.1 to each of them and obtaining in that way F +1 and F +1. 5
6 5. Construction of the mass distribution Now we will construct the mass distribution on F. Begin by setting the notations F (E) = {B i F B i E} and F (E) = B i F (E) for E F 0. We start with µ 0 defined as the Lebesgue measure λ restricted to F 0. On the first level of construction, F 1, define ν 1 Bi = µ 0 (Bi ) B k F 1 µ 0 (B k ) for all i such that B i F 1, and no mass elsewhere. Then define, for B i F 1 and Ẽ i B i, the measure µ 1 supported on F 1 by setting µ 1 Ẽi = ν 1 (B i ) η i. Continue inthis way; assume that µ n 1 hasbeen defined on thesets Ẽi with B i F n 1, and let B k F n, B k D (n 1) Ẽi. Then define ν n Bk = µ n 1 (D (n 1) )λ Bk λ(b l ), B l F n(e i );B l D (n 1) Ẽ i and for Ẽk B k F n µ n Ẽk = ν n(b k ) η k, obtaining a measure supported on F n. Notice that (µ n ) is a sequence of probability measures supported on the compact set [0,1] d, so that it has a weakly convergent subsequence. Denote the limit of this subsequencebyµ,andnoticethatitisbyconstructionsupportedonf.infact,µ n (B i ) = µ n+k (B i ) for all k 0, for all B i F n, and similarly for Ẽi B i F n. 6. Calculation of the local dimension Pick a point x F and r > 0. We want to give an estimate to the µ-measure of the ball B r (x). Let n be such that r n < r r n 1. Since x F, we can write x B in B in 1... B i1, with B ik F k for all k. There are two cases to consider: diamb in r < r n 1 and r n r < diamb in. Case 1: diamb in r < r n 1. Recall that in the construction we divide the set Ẽi n 1 into the (n 1)-st generation cubes D (n 1) of diameter approximately r n 1, and each of them has the measure where µ(d (n 1) C n 1 (D (n 1) ) = C n 1 (D (n 1) ) λ(d (n 1) ), ) λ(b i 1 ) λ(b in 1 ) l i1 l in 1. 6 κ2 n 1
7 Let D (n 1) be the (n 1)-st generation cube containing x. We will write C n 1 (x) for C n 1 (D (n 1) ). Recall that r n 1 was chosen in such a way that r n 1 1/ε n 1 log( l i n 1 λ(b in 1 ) )+log r n 2 κ 2 = 1/ε 1 log( l i 1 λ(b i1 ) )+ +1/ε n 1 log( l i n 1λ(B in 1) ). κ 2 κ 2 In particular, we have logc n (y) (6.1) lim max = 0. n y log r n Further, in the cube D (n 1) we find by Lemma 4.1 a collection of balls B i F n such that each of them satisfies ν n (B i ) 1 C n 1 (x)λ(b i ) κ2 and 3B i are disoint. Observe that it is enough to estimate µ(b r (x) D (n 1) ) instead of µ(b r (x)) because, as r < r n 1, the ball B r (x) can intersect at most 5 d n 1-st generation cubes, and if y D (n 1) F B r (x) then B r (x) D (n 1) B 2r (y) D (n 1). We can thus write µ(b r (x) D (n 1) ) µ(b i ). B i F n;b i B r(x) However, by the construction, balls 3B in and 3B i are disoint for any i i n, and in particular x / 3B i. Hence, if B r (x) intersects B i then diamb i r, and we have µ(b r (x) D (n 1) ) λ(b 2r (x)) Cn 1(x). κ 2 Summing up the argument, we get µ(b r (x)) 20 d 1 maxc n 1 (y) y and hence for diamb in r < r n 1 we have (6.2) with q n 0. logµ(b r (x)) logr κ2 d q n Case 2: r n r < diamb in. In this case B r (x) is not going to intersect any B i F n,i i n. Hence, µ(b r (x)) = µ(b r (x) Ẽi n ). Consider the distribution of measure µ on Ẽi n. We have (6.3) µ n Ẽin C n 1 (x)κ 1 2 λ(b in ) η in. Hence, for each of the n-th level cubes D (n) we have µ(d (n) ) = µ n (D (n) ) C n 1 (x)κ 1 2 λ(b i n ) η in (D (n) ). 7
8 We note that these are n-th generation cubes, of size approximately r n, not the (n 1)- st generation cubes we considered in the previous case. However, we do not yet know how exactly µ is distributed on each D (n) this will be decided on the following stages of the construction. Nevertheless, we can write µ(b r (x) Ẽi n ) µ(d (n) ) D (n) ;D (n) B r(x) and we also know that if D (n) B r (x) then D (n) B r+ rn (x). Together with (6.3) we get µ(b r (x)) C n 1 (x)κ 1 2 λ(b in )η in (B r+ rn (x) Ẽi n ). Note that r + r n 2r. By the definition of η in we have hence η in (B 2r (x)) (2r)s κ 1 λ(b in ), logµ(b r (x)) (6.4) slog2+logc n 1(x)+logκ 1 logκ 2 +s s+q n logr logr with q n 0. We finish the proof of Theorem 3.2 applying the mass distribution principle [F, Proposition 2.3] to (6.2) and (6.4). References [AB] D. Allen, S. Baker, A General Mass Transference Principle, preprint 2018, arxiv: [AT] D. Allen, S. Troscheit, The Mass Transference Principle: Ten years on, preprint 2016, arxiv: [BV] V. Beresnevich, S. Velani, A mass transference principle and the Duffin-Schaeffer conecture for Hausdorff measures. Ann. of Math. 164 (2006), , 4 [F] K. J. Falconer, Techniques in Fractal Geometry, John Wiley and Sons, Chichester, [F2] K. J. Falconer, The Hausdorff dimension of self-affine fractals, Math. Proc. Cambridge Philos. Soc. 103 (1988), [FJJS] D.-J. Feng, E. Järvenpää, M. Järvenpää, V. Suomala, Dimensions of random covering sets in Riemann manifolds, Ann. of Prob. 46 (2018), [M] P. Mattila, Geometry of Sets and Measures in Euclidean Spaces, Cambridge University Press, Cambridge, [WWX] B.-W. Wang, J. Wu, J. Xu, Mass transference principle for limsup sets generated by rectangles, Math. Proc. Cambridge Philos. Soc. 158 (2015), , 4 Henna Koivusalo, University of Vienna, Oskar Morgensternplatz 1, 1090 Vienna, Austria address: henna.koivusalo@univie.ac.at Micha l Rams, Institute of Mathematics, Polish Academy of Sciences, ul. Śniadeckich 8, Warszawa, Poland address: rams@impan.pl
Packing-Dimension Profiles and Fractional Brownian Motion
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 Packing-Dimension Profiles and Fractional Brownian Motion By DAVAR KHOSHNEVISAN Department of Mathematics, 155 S. 1400 E., JWB 233,
More informationMETRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS
METRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS YANN BUGEAUD, LINGMIN LIAO, AND MICHA L RAMS Abstract Denote by { } the fractional part We establish several new metrical
More informationPACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION
PACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION DAVAR KHOSHNEVISAN AND YIMIN XIAO Abstract. In order to compute the packing dimension of orthogonal projections Falconer and Howroyd 997) introduced
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More informationarxiv: v1 [math.ds] 31 Jul 2018
arxiv:1807.11801v1 [math.ds] 31 Jul 2018 On the interior of projections of planar self-similar sets YUKI TAKAHASHI Abstract. We consider projections of planar self-similar sets, and show that one can create
More informationA NOTE ON CORRELATION AND LOCAL DIMENSIONS
A NOTE ON CORRELATION AND LOCAL DIMENSIONS JIAOJIAO YANG, ANTTI KÄENMÄKI, AND MIN WU Abstract Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit
More informationFAT AND THIN SETS FOR DOUBLING MEASURES IN EUCLIDEAN SPACE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 38, 2013, 535 546 FAT AND THIN SETS FOR DOUBLING MEASURES IN EUCLIDEAN SPACE Wen Wang, Shengyou Wen and Zhi-Ying Wen Yunnan University, Department
More informationSome results in support of the Kakeya Conjecture
Some results in support of the Kakeya Conjecture Jonathan M. Fraser School of Mathematics, The University of Manchester, Manchester, M13 9PL, UK. Eric J. Olson Department of Mathematics/084, University
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More informationWHICH MEASURES ARE PROJECTIONS OF PURELY UNRECTIFIABLE ONE-DIMENSIONAL HAUSDORFF MEASURES
WHICH MEASURES ARE PROJECTIONS OF PURELY UNRECTIFIABLE ONE-DIMENSIONAL HAUSDORFF MEASURES MARIANNA CSÖRNYEI AND VILLE SUOMALA Abstract. We give a necessary and sufficient condition for a measure µ on the
More information1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.
1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. Let E be a subset of R. We say that E is bounded above if there exists a real number U such that x U for
More informationOn some non-conformal fractals
On some non-conformal fractals arxiv:1004.3510v1 [math.ds] 20 Apr 2010 Micha l Rams Institute of Mathematics, Polish Academy of Sciences ul. Śniadeckich 8, 00-950 Warszawa, Poland e-mail: rams@impan.gov.pl
More informationFRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS
FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS MIDTERM SOLUTIONS. Let f : R R be the map on the line generated by the function f(x) = x 3. Find all the fixed points of f and determine the type of their
More informationdynamical Diophantine approximation
Dioph. Appro. Dynamical Dioph. Appro. in dynamical Diophantine approximation WANG Bao-Wei Huazhong University of Science and Technology Joint with Zhang Guo-Hua Central China Normal University 24-28 July
More informationReal Analysis II, Winter 2018
Real Analysis II, Winter 2018 From the Finnish original Moderni reaalianalyysi 1 by Ilkka Holopainen adapted by Tuomas Hytönen January 18, 2018 1 Version dated September 14, 2011 Contents 1 General theory
More informationInvariant measures for iterated function systems
ANNALES POLONICI MATHEMATICI LXXV.1(2000) Invariant measures for iterated function systems by Tomasz Szarek (Katowice and Rzeszów) Abstract. A new criterion for the existence of an invariant distribution
More informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
More informationIGNACIO GARCIA, URSULA MOLTER, AND ROBERTO SCOTTO. (Communicated by Michael T. Lacey)
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 135, Number 10, October 2007, Pages 3151 3161 S 0002-9939(0709019-3 Article electronically published on June 21, 2007 DIMENSION FUNCTIONS OF CANTOR
More informationMeasure on the Real Line
Chapter 2 Measure on the Real Line 2.1 Introduction There are many examples of functions that associate a nonnegative real number or + with a set. There is, for example, the number of members forming the
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationPACKING DIMENSIONS, TRANSVERSAL MAPPINGS AND GEODESIC FLOWS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 489 500 PACKING DIMENSIONS, TRANSVERSAL MAPPINGS AND GEODESIC FLOWS Mika Leikas University of Jyväskylä, Department of Mathematics and
More informationarxiv: v2 [math.ca] 10 Apr 2010
CLASSIFYING CANTOR SETS BY THEIR FRACTAL DIMENSIONS arxiv:0905.1980v2 [math.ca] 10 Apr 2010 CARLOS A. CABRELLI, KATHRYN E. HARE, AND URSULA M. MOLTER Abstract. In this article we study Cantor sets defined
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More informationDIMENSION OF GENERIC SELF-AFFINE SETS WITH HOLES HENNA KOIVUSALO AND MICHA L RAMS
DIMENSION OF GENERIC SELF-AFFINE SETS WITH HOLES HENNA KOIVUSALO AND MICHA L RAMS Abstract. Let (Σ, σ) be a dynamical system, and let U Σ. Consider the survivor set Σ U = {x Σ σ n (x) / U for all n} of
More informationAnnalee Gomm Math 714: Assignment #2
Annalee Gomm Math 714: Assignment #2 3.32. Verify that if A M, λ(a = 0, and B A, then B M and λ(b = 0. Suppose that A M with λ(a = 0, and let B be any subset of A. By the nonnegativity and monotonicity
More informationQUASI-LIPSCHITZ EQUIVALENCE OF SUBSETS OF AHLFORS DAVID REGULAR SETS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 39, 2014, 759 769 QUASI-LIPSCHITZ EQUIVALENCE OF SUBSETS OF AHLFORS DAVID REGULAR SETS Qiuli Guo, Hao Li and Qin Wang Zhejiang Wanli University,
More informationITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XL 2002 ITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES by Joanna Jaroszewska Abstract. We study the asymptotic behaviour
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationNOTIONS OF DIMENSION
NOTIONS OF DIENSION BENJAIN A. STEINHURST A quick overview of some basic notions of dimension for a summer REU program run at UConn in 200 with a view towards using dimension as a tool in attempting to
More informationHausdorff Measure. Jimmy Briggs and Tim Tyree. December 3, 2016
Hausdorff Measure Jimmy Briggs and Tim Tyree December 3, 2016 1 1 Introduction In this report, we explore the the measurement of arbitrary subsets of the metric space (X, ρ), a topological space X along
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationMAT1000 ASSIGNMENT 1. a k 3 k. x =
MAT1000 ASSIGNMENT 1 VITALY KUZNETSOV Question 1 (Exercise 2 on page 37). Tne Cantor set C can also be described in terms of ternary expansions. (a) Every number in [0, 1] has a ternary expansion x = a
More informationCorrelation dimension for self-similar Cantor sets with overlaps
F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider
More informationIntermediate dimensions
Intermediate dimensions Kenneth J. Falconer a, Jonathan M. Fraser a, and Tom Kempton b a Mathematical Institute, University of St Andrews, UK. arxiv:1811.06493v1 [math.mg] 15 Nov 2018 b School of Mathematics,
More informationUSING THE RANDOM ITERATION ALGORITHM TO CREATE FRACTALS
USING THE RANDOM ITERATION ALGORITHM TO CREATE FRACTALS UNIVERSITY OF MARYLAND DIRECTED READING PROGRAM FALL 205 BY ADAM ANDERSON THE SIERPINSKI GASKET 2 Stage 0: A 0 = 2 22 A 0 = Stage : A = 2 = 4 A
More informationarxiv: v1 [math.fa] 13 Apr 2010
A COMPACT UNIVERSAL DIFFERENTIABILITY SET WITH HAUSDORFF DIMENSION ONE arxiv:1004.2151v1 [math.fa] 13 Apr 2010 MICHAEL DORÉ AND OLGA MALEVA Abstract. We give a short proof that any non-zero Euclidean space
More informationTHE SIZES OF REARRANGEMENTS OF CANTOR SETS
THE SIZES OF REARRANGEMENTS OF CANTOR SETS KATHRYN E. HARE, FRANKLIN MENDIVIL, AND LEANDRO ZUBERMAN Abstract. To a linear Cantor set, C, with zero Lebesgue measure there is associated the countable collection
More information1.1. MEASURES AND INTEGRALS
CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationVALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS
VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS JAN DOBROWOLSKI AND FRANZ-VIKTOR KUHLMANN Abstract. Using valuation rings and valued fields as examples, we discuss in which ways the notions of
More informationRandom affine code tree fractals: Hausdorff and affinity dimensions and pressure
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 Random affine code tree fractals: Hausdorff and affinity dimensions and pressure By Esa Järvenpää and Maarit Järvenpää and Meng Wu
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationUPPER CONICAL DENSITY RESULTS FOR GENERAL MEASURES ON R n
UPPER CONICAL DENSITY RESULTS FOR GENERAL MEASURES ON R n MARIANNA CSÖRNYEI, ANTTI KÄENMÄKI, TAPIO RAJALA, AND VILLE SUOMALA Dedicated to Professor Pertti Mattila on the occasion of his 60th birthday Abstract.
More informationON A PROBLEM RELATED TO SPHERE AND CIRCLE PACKING
ON A PROBLEM RELATED TO SPHERE AND CIRCLE PACKING THEMIS MITSIS ABSTRACT We prove that a set which contains spheres centered at all points of a set of Hausdorff dimension greater than must have positive
More informationSimultaneous Accumulation Points to Sets of d-tuples
ISSN 1749-3889 print, 1749-3897 online International Journal of Nonlinear Science Vol.92010 No.2,pp.224-228 Simultaneous Accumulation Points to Sets of d-tuples Zhaoxin Yin, Meifeng Dai Nonlinear Scientific
More informationIntroduction to Dynamical Systems
Introduction to Dynamical Systems France-Kosovo Undergraduate Research School of Mathematics March 2017 This introduction to dynamical systems was a course given at the march 2017 edition of the France
More informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
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 informationTHE VISIBLE PART OF PLANE SELF-SIMILAR SETS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 141, Number 1, January 2013, Pages 269 278 S 0002-9939(2012)11312-7 Article electronically published on May 16, 2012 THE VISIBLE PART OF PLANE SELF-SIMILAR
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationDIMENSIONS OF RANDOM COVERING SETS IN RIEMANN MANIFOLDS
DIMENSIONS OF RANDOM COVERING SETS IN RIEMANN MANIFOLDS DE-JUN FENG 1, ESA JÄRVENPÄÄ2, MAARIT JÄRVENPÄÄ3, AND VILLE SUOMALA 4 Abstract. Let M, N and K be d-dimensional Riemann manifolds. Assume that A
More informationMaximal Functions in Analysis
Maximal Functions in Analysis Robert Fefferman June, 5 The University of Chicago REU Scribe: Philip Ascher Abstract This will be a self-contained introduction to the theory of maximal functions, which
More informationHAUSDORFF DIMENSION AND ITS APPLICATIONS
HAUSDORFF DIMENSION AND ITS APPLICATIONS JAY SHAH Abstract. The theory of Hausdorff dimension provides a general notion of the size of a set in a metric space. We define Hausdorff measure and dimension,
More informationHausdorff dimension of weighted singular vectors in R 2
Hausdorff dimension of weighted singular vectors in R 2 Lingmin LIAO (joint with Ronggang Shi, Omri N. Solan, and Nattalie Tamam) Université Paris-Est NCTS Workshop on Dynamical Systems August 15th 2016
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Approximation and numeration Université Paris Diderot-Paris
More informationAn introduction to Geometric Measure Theory Part 2: Hausdorff measure
An introduction to Geometric Measure Theory Part 2: Hausdorff measure Toby O Neil, 10 October 2016 TCON (Open University) An introduction to GMT, part 2 10 October 2016 1 / 40 Last week... Discussed several
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More informationVARIATIONAL PRINCIPLE FOR THE ENTROPY
VARIATIONAL PRINCIPLE FOR THE ENTROPY LUCIAN RADU. Metric entropy Let (X, B, µ a measure space and I a countable family of indices. Definition. We say that ξ = {C i : i I} B is a measurable partition if:
More informationUNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES
MATH. SCAND. 90 (2002), 152 160 UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES BERND KIRCHHEIM and DAVID PREISS For every complete metric space X there is, up to a constant multiple, at most one Borel
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Hyperbolicity and Dimension CIRM, Luminy December 3rd 2013 Lingmin
More informationFractal Geometry Mathematical Foundations and Applications
Fractal Geometry Mathematical Foundations and Applications Third Edition by Kenneth Falconer Solutions to Exercises Acknowledgement: Grateful thanks are due to Gwyneth Stallard for providing solutions
More informationReal Variables: Solutions to Homework 3
Real Variables: Solutions to Homework 3 September 3, 011 Exercise 0.1. Chapter 3, # : Show that the cantor set C consists of all x such that x has some triadic expansion for which every is either 0 or.
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationMultifractal analysis of Bernoulli convolutions associated with Salem numbers
Multifractal analysis of Bernoulli convolutions associated with Salem numbers De-Jun Feng The Chinese University of Hong Kong Fractals and Related Fields II, Porquerolles - France, June 13th-17th 2011
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 informationTYPICAL BOREL MEASURES ON [0, 1] d SATISFY A MULTIFRACTAL FORMALISM
TYPICAL BOREL MEASURES ON [0, 1] d SATISFY A MULTIFRACTAL FORMALISM Abstract. In this article, we prove that in the Baire category sense, measures supported by the unit cube of R d typically satisfy a
More informationMoreover, µ is monotone, that is for any A B which are both elements of A we have
FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from
More informationDifferentiation of Measures and Functions
Chapter 6 Differentiation of Measures and Functions This chapter is concerned with the differentiation theory of Radon measures. In the first two sections we introduce the Radon measures and discuss two
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationFUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as
FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=
More informationLecture 3: Probability Measures - 2
Lecture 3: Probability Measures - 2 1. Continuation of measures 1.1 Problem of continuation of a probability measure 1.2 Outer measure 1.3 Lebesgue outer measure 1.4 Lebesgue continuation of an elementary
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationLectures on fractal geometry and dynamics
Lectures on fractal geometry and dynamics Michael Hochman June 27, 2012 Contents 1 Introduction 2 2 Preliminaries 3 3 Dimension 4 3.1 A family of examples: Middle-α Cantor sets................ 4 3.2 Minkowski
More informationarxiv: v3 [math.mg] 15 Jan 2019
HAUSDORFF DIMENSION OF FURSTENBERG-TYPE SETS ASSOCIATED TO FAMILIES OF AFFINE SUBSPACES K. HÉRA arxiv:1809.04666v3 [math.mg] 15 Jan 2019 Abstract. We show that if B R n and E A(n, k) is a nonempty collection
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationGENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES
Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February
More informationSMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS
SMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS MARCIN KYSIAK AND TOMASZ WEISS Abstract. We discuss the question which properties of smallness in the sense of measure and category (e.g. being a universally
More informationReview of measure theory
209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More informationA note on some approximation theorems in measure theory
A note on some approximation theorems in measure theory S. Kesavan and M. T. Nair Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 600 06 email: kesh@iitm.ac.in and mtnair@iitm.ac.in
More informationE.7 Alaoglu s Theorem
E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem
More informationSHARP INEQUALITIES FOR MAXIMAL FUNCTIONS ASSOCIATED WITH GENERAL MEASURES
SHARP INEQUALITIES FOR MAXIMAL FUNCTIONS ASSOCIATED WITH GENERAL MEASURES L. Grafakos Department of Mathematics, University of Missouri, Columbia, MO 65203, U.S.A. (e-mail: loukas@math.missouri.edu) and
More informationCompendium and Solutions to exercises TMA4225 Foundation of analysis
Compendium and Solutions to exercises TMA4225 Foundation of analysis Ruben Spaans December 6, 2010 1 Introduction This compendium contains a lexicon over definitions and exercises with solutions. Throughout
More informationLinear distortion of Hausdorff dimension and Cantor s function
Collect. Math. 57, 2 (2006), 93 20 c 2006 Universitat de Barcelona Linear distortion of Hausdorff dimension and Cantor s function O. Dovgoshey and V. Ryazanov Institute of Applied Mathematics and Mechanics,
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationAN EXPLORATION OF FRACTAL DIMENSION. Dolav Cohen. B.S., California State University, Chico, 2010 A REPORT
AN EXPLORATION OF FRACTAL DIMENSION by Dolav Cohen B.S., California State University, Chico, 2010 A REPORT submitted in partial fulfillment of the requirements for the degree MASTER OF SCIENCE Department
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationMath212a1411 Lebesgue measure.
Math212a1411 Lebesgue measure. October 14, 2014 Reminder No class this Thursday Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous
More informationOn a Topological Problem of Strange Attractors. Ibrahim Kirat and Ayhan Yurdaer
On a Topological Problem of Strange Attractors Ibrahim Kirat and Ayhan Yurdaer Department of Mathematics, Istanbul Technical University, 34469,Maslak-Istanbul, Turkey E-mail: ibkst@yahoo.com and yurdaerayhan@itu.edu.tr
More informationEssential Background for Real Analysis I (MATH 5210)
Background Material 1 Essential Background for Real Analysis I (MATH 5210) Note. These notes contain several definitions, theorems, and examples from Analysis I (MATH 4217/5217) which you must know for
More informationRandom measures, intersections, and applications
Random measures, intersections, and applications Ville Suomala joint work with Pablo Shmerkin University of Oulu, Finland Workshop on fractals, The Hebrew University of Jerusalem June 12th 2014 Motivation
More information