Assouad type dimensions and homogeneity of...
Transcript of Assouad type dimensions and homogeneity of...
![Page 1: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/1.jpg)
Assouad type dimensions and homogeneity offractals
Jonathan M. Fraser
The University of St Andrews
Jonathan M. Fraser Assouad type dimensions
![Page 2: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/2.jpg)
Dimension theory
A ‘dimension’ is a function that assigns a (usually positive, finite real)number to a metric space which attempts to quantify how ‘large’ the setis.
In particular, it usually studies how much space the set takes up onsmall scales.
Common examples of ‘dimensions’ are the Hausdorff, packing and boxdimensions.
Fractals are sets with a complex structure on small scales and thus theymay have fractional dimension!
People working in dimension theory and fractal geometry are often
concerned with the rigorous computation of the dimensions of abstract
classes of fractal sets.
Jonathan M. Fraser Assouad type dimensions
![Page 3: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/3.jpg)
Dimension theory
A ‘dimension’ is a function that assigns a (usually positive, finite real)number to a metric space which attempts to quantify how ‘large’ the setis. In particular, it usually studies how much space the set takes up onsmall scales.
Common examples of ‘dimensions’ are the Hausdorff, packing and boxdimensions.
Fractals are sets with a complex structure on small scales and thus theymay have fractional dimension!
People working in dimension theory and fractal geometry are often
concerned with the rigorous computation of the dimensions of abstract
classes of fractal sets.
Jonathan M. Fraser Assouad type dimensions
![Page 4: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/4.jpg)
Dimension theory
A ‘dimension’ is a function that assigns a (usually positive, finite real)number to a metric space which attempts to quantify how ‘large’ the setis. In particular, it usually studies how much space the set takes up onsmall scales.
Common examples of ‘dimensions’ are the Hausdorff, packing and boxdimensions.
Fractals are sets with a complex structure on small scales and thus theymay have fractional dimension!
People working in dimension theory and fractal geometry are often
concerned with the rigorous computation of the dimensions of abstract
classes of fractal sets.
Jonathan M. Fraser Assouad type dimensions
![Page 5: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/5.jpg)
Dimension theory
A ‘dimension’ is a function that assigns a (usually positive, finite real)number to a metric space which attempts to quantify how ‘large’ the setis. In particular, it usually studies how much space the set takes up onsmall scales.
Common examples of ‘dimensions’ are the Hausdorff, packing and boxdimensions.
Fractals are sets with a complex structure on small scales and thus theymay have fractional dimension!
People working in dimension theory and fractal geometry are often
concerned with the rigorous computation of the dimensions of abstract
classes of fractal sets.
Jonathan M. Fraser Assouad type dimensions
![Page 6: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/6.jpg)
Dimension theory
A ‘dimension’ is a function that assigns a (usually positive, finite real)number to a metric space which attempts to quantify how ‘large’ the setis. In particular, it usually studies how much space the set takes up onsmall scales.
Common examples of ‘dimensions’ are the Hausdorff, packing and boxdimensions.
Fractals are sets with a complex structure on small scales and thus theymay have fractional dimension!
People working in dimension theory and fractal geometry are often
concerned with the rigorous computation of the dimensions of abstract
classes of fractal sets.
Jonathan M. Fraser Assouad type dimensions
![Page 7: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/7.jpg)
Dimension theory
However, fractals and dimensions often crop up in a wide variety ofcontexts, with links and applications being found in diverse areas ofmathematics, for example, geometric measure theory, dynamical systems,probability theory and differential equations.
Jonathan M. Fraser Assouad type dimensions
![Page 8: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/8.jpg)
Geometric measure theory
Figure: A Kakeya needle set.
Jonathan M. Fraser Assouad type dimensions
![Page 9: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/9.jpg)
Dynamical systems
Figure: Chaotic solution to the Lorenz system.
Jonathan M. Fraser Assouad type dimensions
![Page 10: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/10.jpg)
Probability theory
Figure: Fractal percolation.
Jonathan M. Fraser Assouad type dimensions
![Page 11: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/11.jpg)
Differential equations: fluid dynamics
Figure: Kelvin-Helmholtz instability
Jonathan M. Fraser Assouad type dimensions
![Page 12: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/12.jpg)
Dimension
Consider a unit line segment.
How many balls of diameter 1/8 do we need to cover it?
In general we will need roughly r−1 balls of diameter r to cover the linesegment . . .
. . . and the ‘dimension’ of the line segment is 1.
Jonathan M. Fraser Assouad type dimensions
![Page 13: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/13.jpg)
Dimension
Consider a unit line segment.
How many balls of diameter 1/8 do we need to cover it?
In general we will need roughly r−1 balls of diameter r to cover the linesegment . . .
. . . and the ‘dimension’ of the line segment is 1.
Jonathan M. Fraser Assouad type dimensions
![Page 14: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/14.jpg)
Dimension
Consider a unit line segment.
How many balls of diameter 1/8 do we need to cover it? . . . 8 = (1/8)−1
In general we will need roughly r−1 balls of diameter r to cover the linesegment . . .
. . . and the ‘dimension’ of the line segment is 1.
Jonathan M. Fraser Assouad type dimensions
![Page 15: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/15.jpg)
Dimension
Consider a unit line segment.
How many balls of diameter 1/8 do we need to cover it? . . . 8 = (1/8)−1
In general we will need roughly r−1 balls of diameter r to cover the linesegment . . .
. . . and the ‘dimension’ of the line segment is 1.
Jonathan M. Fraser Assouad type dimensions
![Page 16: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/16.jpg)
Dimension
Consider a unit line segment.
How many balls of diameter 1/8 do we need to cover it? . . . 8 = (1/8)−1
In general we will need roughly r−1 balls of diameter r to cover the linesegment . . .
. . . and the ‘dimension’ of the line segment is 1.
Jonathan M. Fraser Assouad type dimensions
![Page 17: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/17.jpg)
Dimension
Let (X , d) be a compact metric space. For any non-empty subset F ⊆ Xand r > 0, let Nr (F ) be the smallest number of open sets with diameterless than or equal to r required to cover F .
Heuristically,
Nr (F ) ≈ r− dim F .
In fact, solving for dim F formally yields the upper and lower box
dimensions.
Jonathan M. Fraser Assouad type dimensions
![Page 18: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/18.jpg)
Dimension
Let (X , d) be a compact metric space. For any non-empty subset F ⊆ Xand r > 0, let Nr (F ) be the smallest number of open sets with diameterless than or equal to r required to cover F . Heuristically,
Nr (F ) ≈ r− dim F .
In fact, solving for dim F formally yields the upper and lower box
dimensions.
Jonathan M. Fraser Assouad type dimensions
![Page 19: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/19.jpg)
Dimension
Let (X , d) be a compact metric space. For any non-empty subset F ⊆ Xand r > 0, let Nr (F ) be the smallest number of open sets with diameterless than or equal to r required to cover F . Heuristically,
Nr (F ) ≈ r− dim F .
In fact, solving for dim F formally yields the upper and lower box
dimensions.
Jonathan M. Fraser Assouad type dimensions
![Page 20: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/20.jpg)
The Assouad dimension
I The Assouad dimension was introduced by Assouad in the 1970s
I Important tool in the study of quasi-conformal mappings,embeddability problems and PDEs
I In fact the initial motivation was to prove the following theorem: ametric space can be quasisymmetrically embedded into someEuclidean space if and only if it has finite Assouad dimension.
Robinson: Dimensions, Embeddings, and AttractorsHeinonen: Lectures on Analysis on Metric Spaces.
Jonathan M. Fraser Assouad type dimensions
![Page 21: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/21.jpg)
The Assouad dimension
I The Assouad dimension was introduced by Assouad in the 1970s
I Important tool in the study of quasi-conformal mappings,embeddability problems and PDEs
I In fact the initial motivation was to prove the following theorem: ametric space can be quasisymmetrically embedded into someEuclidean space if and only if it has finite Assouad dimension.
Robinson: Dimensions, Embeddings, and AttractorsHeinonen: Lectures on Analysis on Metric Spaces.
Jonathan M. Fraser Assouad type dimensions
![Page 22: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/22.jpg)
The Assouad dimension
I The Assouad dimension was introduced by Assouad in the 1970s
I Important tool in the study of quasi-conformal mappings,embeddability problems and PDEs
I In fact the initial motivation was to prove the following theorem: ametric space can be quasisymmetrically embedded into someEuclidean space if and only if it has finite Assouad dimension.
Robinson: Dimensions, Embeddings, and AttractorsHeinonen: Lectures on Analysis on Metric Spaces.
Jonathan M. Fraser Assouad type dimensions
![Page 23: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/23.jpg)
The Assouad dimension
I The Assouad dimension was introduced by Assouad in the 1970s
I Important tool in the study of quasi-conformal mappings,embeddability problems and PDEs
I In fact the initial motivation was to prove the following theorem: ametric space can be quasisymmetrically embedded into someEuclidean space if and only if it has finite Assouad dimension.
Robinson: Dimensions, Embeddings, and AttractorsHeinonen: Lectures on Analysis on Metric Spaces.
Jonathan M. Fraser Assouad type dimensions
![Page 24: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/24.jpg)
The Assouad dimension
I Minimal attention in the literature on fractals,
until recently...
2011 - Mackay: Assouad dimension of Lalley-Gatzouras carpets2011 - Olsen: Assouad dimension of graph-directed Moran fractals2012 - Kaenmaki-Lehrback-Vuorinen: Relationships with Whitneycovers and tubular neighbourhoods2013 - F.: Assouad dimension of Baranski carpets, quasi-self-similarsets and self-similar sets with overlaps
I The Assouad dimension gives ‘coarse but local’ information about aset, unlike the Hausdorff dimension which gives ‘fine but global’information.
Jonathan M. Fraser Assouad type dimensions
![Page 25: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/25.jpg)
The Assouad dimension
I Minimal attention in the literature on fractals, until recently...
2011 - Mackay: Assouad dimension of Lalley-Gatzouras carpets2011 - Olsen: Assouad dimension of graph-directed Moran fractals2012 - Kaenmaki-Lehrback-Vuorinen: Relationships with Whitneycovers and tubular neighbourhoods2013 - F.: Assouad dimension of Baranski carpets, quasi-self-similarsets and self-similar sets with overlaps
I The Assouad dimension gives ‘coarse but local’ information about aset, unlike the Hausdorff dimension which gives ‘fine but global’information.
Jonathan M. Fraser Assouad type dimensions
![Page 26: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/26.jpg)
The Assouad dimension
I Minimal attention in the literature on fractals, until recently...
2011 - Mackay: Assouad dimension of Lalley-Gatzouras carpets
2011 - Olsen: Assouad dimension of graph-directed Moran fractals2012 - Kaenmaki-Lehrback-Vuorinen: Relationships with Whitneycovers and tubular neighbourhoods2013 - F.: Assouad dimension of Baranski carpets, quasi-self-similarsets and self-similar sets with overlaps
I The Assouad dimension gives ‘coarse but local’ information about aset, unlike the Hausdorff dimension which gives ‘fine but global’information.
Jonathan M. Fraser Assouad type dimensions
![Page 27: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/27.jpg)
The Assouad dimension
I Minimal attention in the literature on fractals, until recently...
2011 - Mackay: Assouad dimension of Lalley-Gatzouras carpets2011 - Olsen: Assouad dimension of graph-directed Moran fractals
2012 - Kaenmaki-Lehrback-Vuorinen: Relationships with Whitneycovers and tubular neighbourhoods2013 - F.: Assouad dimension of Baranski carpets, quasi-self-similarsets and self-similar sets with overlaps
I The Assouad dimension gives ‘coarse but local’ information about aset, unlike the Hausdorff dimension which gives ‘fine but global’information.
Jonathan M. Fraser Assouad type dimensions
![Page 28: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/28.jpg)
The Assouad dimension
I Minimal attention in the literature on fractals, until recently...
2011 - Mackay: Assouad dimension of Lalley-Gatzouras carpets2011 - Olsen: Assouad dimension of graph-directed Moran fractals2012 - Kaenmaki-Lehrback-Vuorinen: Relationships with Whitneycovers and tubular neighbourhoods
2013 - F.: Assouad dimension of Baranski carpets, quasi-self-similarsets and self-similar sets with overlaps
I The Assouad dimension gives ‘coarse but local’ information about aset, unlike the Hausdorff dimension which gives ‘fine but global’information.
Jonathan M. Fraser Assouad type dimensions
![Page 29: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/29.jpg)
The Assouad dimension
I Minimal attention in the literature on fractals, until recently...
2011 - Mackay: Assouad dimension of Lalley-Gatzouras carpets2011 - Olsen: Assouad dimension of graph-directed Moran fractals2012 - Kaenmaki-Lehrback-Vuorinen: Relationships with Whitneycovers and tubular neighbourhoods2013 - F.: Assouad dimension of Baranski carpets, quasi-self-similarsets and self-similar sets with overlaps
I The Assouad dimension gives ‘coarse but local’ information about aset, unlike the Hausdorff dimension which gives ‘fine but global’information.
Jonathan M. Fraser Assouad type dimensions
![Page 30: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/30.jpg)
The Assouad dimension
I Minimal attention in the literature on fractals, until recently...
2011 - Mackay: Assouad dimension of Lalley-Gatzouras carpets2011 - Olsen: Assouad dimension of graph-directed Moran fractals2012 - Kaenmaki-Lehrback-Vuorinen: Relationships with Whitneycovers and tubular neighbourhoods2013 - F.: Assouad dimension of Baranski carpets, quasi-self-similarsets and self-similar sets with overlaps
I The Assouad dimension gives ‘coarse but local’ information about aset, unlike the Hausdorff dimension which gives ‘fine but global’information.
Jonathan M. Fraser Assouad type dimensions
![Page 31: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/31.jpg)
The Assouad dimension
The Assouad dimension of a non-empty subset F of X is defined by
dimA F = inf
{α : there exists constants C , ρ > 0 such that,
for all 0 < r < R 6 ρ, we have
supx∈F
Nr
(B(x ,R) ∩ F
)6 C
(R
r
)α }.
Jonathan M. Fraser Assouad type dimensions
![Page 32: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/32.jpg)
The lower dimension
We will also be concerned with the natural dual to Assouad dimension,which we call the lower dimension.
The lower dimension of F is definedby
dimL F = sup
{α : there exists constants C , ρ > 0 such that,
for all 0 < r < R 6 ρ, we have
infx∈F
Nr
(B(x ,R) ∩ F
)> C
(R
r
)α }.
This quantity was introduced by Larman in the 1960s, where it was called
the minimal dimensional number. It has also been referred to by other
names, for example: the lower Assouad dimension by Kaenmaki,
Lehrback and Vuorinen and the uniformity dimension (Tuomas Sahlsten,
personal communication).
Jonathan M. Fraser Assouad type dimensions
![Page 33: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/33.jpg)
The lower dimension
We will also be concerned with the natural dual to Assouad dimension,which we call the lower dimension. The lower dimension of F is definedby
dimL F = sup
{α : there exists constants C , ρ > 0 such that,
for all 0 < r < R 6 ρ, we have
infx∈F
Nr
(B(x ,R) ∩ F
)> C
(R
r
)α }.
This quantity was introduced by Larman in the 1960s, where it was called
the minimal dimensional number.
It has also been referred to by other
names, for example: the lower Assouad dimension by Kaenmaki,
Lehrback and Vuorinen and the uniformity dimension (Tuomas Sahlsten,
personal communication).
Jonathan M. Fraser Assouad type dimensions
![Page 34: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/34.jpg)
The lower dimension
We will also be concerned with the natural dual to Assouad dimension,which we call the lower dimension. The lower dimension of F is definedby
dimL F = sup
{α : there exists constants C , ρ > 0 such that,
for all 0 < r < R 6 ρ, we have
infx∈F
Nr
(B(x ,R) ∩ F
)> C
(R
r
)α }.
This quantity was introduced by Larman in the 1960s, where it was called
the minimal dimensional number. It has also been referred to by other
names, for example: the lower Assouad dimension by Kaenmaki,
Lehrback and Vuorinen and the uniformity dimension (Tuomas Sahlsten,
personal communication).
Jonathan M. Fraser Assouad type dimensions
![Page 35: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/35.jpg)
Relationships between dimensions
For a totally bounded subset F of a metric space, we have
dimL F 6 dimBF 6 dimBF 6 dimA F .
The lower dimension is in general not comparable to the Hausdorffdimension or packing dimension. However, if F is compact, then
dimP F
6 6
dimL F 6 dimH F dimBF 6 dimA F .6 6
dimBF
Jonathan M. Fraser Assouad type dimensions
![Page 36: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/36.jpg)
Relationships between dimensions
For a totally bounded subset F of a metric space, we have
dimL F 6 dimBF 6 dimBF 6 dimA F .
The lower dimension is in general not comparable to the Hausdorffdimension or packing dimension. However, if F is compact, then
dimP F
6 6
dimL F 6 dimH F dimBF 6 dimA F .6 6
dimBF
Jonathan M. Fraser Assouad type dimensions
![Page 37: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/37.jpg)
Basic properties
Property dimH dimP dimB dimB dimL dimA
Monotone X X X X × XFinitely stable X X × X × XCountably stable X X × × × ×Lipschitz stable X X X X × ×Bi-Lipschitz stable X X X X X XStable under taking closures × × X X X XOpen set property X X X X × XMeasurable X × X X X X
Jonathan M. Fraser Assouad type dimensions
![Page 38: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/38.jpg)
Basic properties: products
‘Dimension pairs’ are intimately related to the dimension theory ofproduct spaces and there is a pleasant symmetry in the formulae.
Wehave
dimH X + dimH Y 6 dimH(X × Y ) 6 dimH X + dimP Y
6 dimP(X × Y ) 6 dimP X + dimP Y ,
dimBX + dimBY 6 dimB(X × Y ) 6 dimBX + dimBY
6 dimB(X × Y ) 6 dimBX + dimBY
Jonathan M. Fraser Assouad type dimensions
![Page 39: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/39.jpg)
Basic properties: products
‘Dimension pairs’ are intimately related to the dimension theory ofproduct spaces and there is a pleasant symmetry in the formulae. Wehave
dimH X + dimH Y 6 dimH(X × Y ) 6 dimH X + dimP Y
6 dimP(X × Y ) 6 dimP X + dimP Y ,
dimBX + dimBY 6 dimB(X × Y ) 6 dimBX + dimBY
6 dimB(X × Y ) 6 dimBX + dimBY
Jonathan M. Fraser Assouad type dimensions
![Page 40: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/40.jpg)
Basic properties: products
‘Dimension pairs’ are intimately related to the dimension theory ofproduct spaces and there is a pleasant symmetry in the formulae. Wehave
dimH X + dimH Y 6 dimH(X × Y ) 6 dimH X + dimP Y
6 dimP(X × Y ) 6 dimP X + dimP Y ,
dimBX + dimBY 6 dimB(X × Y ) 6 dimBX + dimBY
6 dimB(X × Y ) 6 dimBX + dimBY
Jonathan M. Fraser Assouad type dimensions
![Page 41: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/41.jpg)
Basic properties: products
The Assouad dimension and lower dimension are also a natural‘dimension pair’.
Theorem (Assouad ’77-’79, F. ’13)For metric spaces X and Y , we have
dimL X + dimL Y 6 dimL(X × Y ) 6 dimL X + dimA Y
6 dimA(X × Y ) 6 dimA X + dimA Y .
Note: there are many natural ‘product metrics’ to impose on the productspace X × Y , but any reasonable choice is bi-Lipschitz equivalent to themetric dX×Y on X × Y defined by
dX×Y((x1, y1), (x2, y2)
)= max{dX (x1, x2), dY (y1, y2)}.
Jonathan M. Fraser Assouad type dimensions
![Page 42: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/42.jpg)
Basic properties: products
The Assouad dimension and lower dimension are also a natural‘dimension pair’.
Theorem (Assouad ’77-’79, F. ’13)For metric spaces X and Y , we have
dimL X + dimL Y 6 dimL(X × Y ) 6 dimL X + dimA Y
6 dimA(X × Y ) 6 dimA X + dimA Y .
Note: there are many natural ‘product metrics’ to impose on the productspace X × Y , but any reasonable choice is bi-Lipschitz equivalent to themetric dX×Y on X × Y defined by
dX×Y((x1, y1), (x2, y2)
)= max{dX (x1, x2), dY (y1, y2)}.
Jonathan M. Fraser Assouad type dimensions
![Page 43: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/43.jpg)
Iterated function systems
Iterated function systems (IFSs) provide many of the basic ‘toy models’of fractals. It is a natural way of creating the self-similarity seen in manyexamples of real life and theoretical fractals.
Let (X , d) be a compact metric space. An iterated function system (IFS)is a finite collection {Si}i∈I of contracting self maps on X . It is afundamental result in fractal geometry that for every IFS there exists aunique non-empty compact set F , called the attractor, which satisfies
F =⋃i∈I
Si (F ).
If an IFS consists solely of similarity transformations, then the attractor is
called a self-similar set. Likewise, if X is a Euclidean space and the
mappings are all translate linear (affine) transformations, then the
attractor is called self-affine.
Jonathan M. Fraser Assouad type dimensions
![Page 44: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/44.jpg)
Iterated function systems
Iterated function systems (IFSs) provide many of the basic ‘toy models’of fractals. It is a natural way of creating the self-similarity seen in manyexamples of real life and theoretical fractals.
Let (X , d) be a compact metric space. An iterated function system (IFS)is a finite collection {Si}i∈I of contracting self maps on X . It is afundamental result in fractal geometry that for every IFS there exists aunique non-empty compact set F , called the attractor, which satisfies
F =⋃i∈I
Si (F ).
If an IFS consists solely of similarity transformations, then the attractor is
called a self-similar set. Likewise, if X is a Euclidean space and the
mappings are all translate linear (affine) transformations, then the
attractor is called self-affine.
Jonathan M. Fraser Assouad type dimensions
![Page 45: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/45.jpg)
Iterated function systems
Iterated function systems (IFSs) provide many of the basic ‘toy models’of fractals. It is a natural way of creating the self-similarity seen in manyexamples of real life and theoretical fractals.
Let (X , d) be a compact metric space. An iterated function system (IFS)is a finite collection {Si}i∈I of contracting self maps on X . It is afundamental result in fractal geometry that for every IFS there exists aunique non-empty compact set F , called the attractor, which satisfies
F =⋃i∈I
Si (F ).
If an IFS consists solely of similarity transformations, then the attractor is
called a self-similar set. Likewise, if X is a Euclidean space and the
mappings are all translate linear (affine) transformations, then the
attractor is called self-affine.
Jonathan M. Fraser Assouad type dimensions
![Page 46: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/46.jpg)
Iterated function systems
Figure: Left: The self-similar Sierpinski Triangle. Right: The self-affineBarnsley Fern.
Jonathan M. Fraser Assouad type dimensions
![Page 47: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/47.jpg)
Self-similar sets
Self-similar sets are in a certain sense the most basic type of fractal. Letci ∈ (0, 1) denote the contraction ratio for the similarity map Si . Thenthe solution s to the famous Hutchinson-Moran formula∑
i∈I
csi = 1
is known as the similarity dimension of the system and is the ‘best guess’for the Hausdroff dimension of the attractor F .
Jonathan M. Fraser Assouad type dimensions
![Page 48: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/48.jpg)
Self-similar sets with overlaps
It is well-known that any self-similar set (regardless of overlaps) satisfies:
dimH F = dimBF = dimBF = dimP F 6 s
where s is the similarity dimension.
It is also well-known that self-similarsets satisfying the OSC are Ahlfors regular and that Ahlfors regular setshave equal Assouad dimension and lower dimension, so if a self-similarset satisfies the OSC, then
dimL F = dimH F = dimBF = dimBF = dimP F = dimA F = s.
Olsen (’12) asked if the Assouad dimension of a self-similar set with
overlaps can ever exceed the upper box dimension.
Jonathan M. Fraser Assouad type dimensions
![Page 49: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/49.jpg)
Self-similar sets with overlaps
It is well-known that any self-similar set (regardless of overlaps) satisfies:
dimH F = dimBF = dimBF = dimP F 6 s
where s is the similarity dimension. It is also well-known that self-similarsets satisfying the OSC are Ahlfors regular and that Ahlfors regular setshave equal Assouad dimension and lower dimension,
so if a self-similarset satisfies the OSC, then
dimL F = dimH F = dimBF = dimBF = dimP F = dimA F = s.
Olsen (’12) asked if the Assouad dimension of a self-similar set with
overlaps can ever exceed the upper box dimension.
Jonathan M. Fraser Assouad type dimensions
![Page 50: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/50.jpg)
Self-similar sets with overlaps
It is well-known that any self-similar set (regardless of overlaps) satisfies:
dimH F = dimBF = dimBF = dimP F 6 s
where s is the similarity dimension. It is also well-known that self-similarsets satisfying the OSC are Ahlfors regular and that Ahlfors regular setshave equal Assouad dimension and lower dimension, so if a self-similarset satisfies the OSC, then
dimL F = dimH F = dimBF = dimBF = dimP F = dimA F = s.
Olsen (’12) asked if the Assouad dimension of a self-similar set with
overlaps can ever exceed the upper box dimension.
Jonathan M. Fraser Assouad type dimensions
![Page 51: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/51.jpg)
Self-similar sets with overlaps
It is well-known that any self-similar set (regardless of overlaps) satisfies:
dimH F = dimBF = dimBF = dimP F 6 s
where s is the similarity dimension. It is also well-known that self-similarsets satisfying the OSC are Ahlfors regular and that Ahlfors regular setshave equal Assouad dimension and lower dimension, so if a self-similarset satisfies the OSC, then
dimL F = dimH F = dimBF = dimBF = dimP F = dimA F = s.
Olsen (’12) asked if the Assouad dimension of a self-similar set with
overlaps can ever exceed the upper box dimension.
Jonathan M. Fraser Assouad type dimensions
![Page 52: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/52.jpg)
Self-similar sets with overlaps
Answer:
Yes!
Theorem (F. ’13)Any self-similar set satisfies
dimL F = dimH F = dimBF = dimBF = dimP F 6 dimA F
and the final inequality can be strict.
Jonathan M. Fraser Assouad type dimensions
![Page 53: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/53.jpg)
Self-similar sets with overlaps
Answer: Yes!
Theorem (F. ’13)Any self-similar set satisfies
dimL F = dimH F = dimBF = dimBF = dimP F 6 dimA F
and the final inequality can be strict.
Jonathan M. Fraser Assouad type dimensions
![Page 54: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/54.jpg)
Self-similar sets with overlaps
Answer: Yes!
Theorem (F. ’13)Any self-similar set satisfies
dimL F = dimH F = dimBF = dimBF = dimP F 6 dimA F
and the final inequality can be strict.
Jonathan M. Fraser Assouad type dimensions
![Page 55: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/55.jpg)
Proof
We need to prove two things:
(1) Any self-similar set satisfies dimL F = dimH F
and
(2) There exists a self-similar set with dimBF < dimA F
(1) is easy and in fact we can prove this relationship for a more generalclass of quasi-self-similar sets (in the sense of McLaughlin ’87, Falconer’89).
We will now prove (2) by constructing an example.
Jonathan M. Fraser Assouad type dimensions
![Page 56: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/56.jpg)
Proof
We need to prove two things:
(1) Any self-similar set satisfies dimL F = dimH F
and
(2) There exists a self-similar set with dimBF < dimA F
(1) is easy and in fact we can prove this relationship for a more generalclass of quasi-self-similar sets (in the sense of McLaughlin ’87, Falconer’89).
We will now prove (2) by constructing an example.
Jonathan M. Fraser Assouad type dimensions
![Page 57: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/57.jpg)
Proof
We need to prove two things:
(1) Any self-similar set satisfies dimL F = dimH F
and
(2) There exists a self-similar set with dimBF < dimA F
(1) is easy and in fact we can prove this relationship for a more generalclass of quasi-self-similar sets (in the sense of McLaughlin ’87, Falconer’89).
We will now prove (2) by constructing an example.
Jonathan M. Fraser Assouad type dimensions
![Page 58: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/58.jpg)
Proof
Let α, β, γ ∈ (0, 1) be such that (log β)/(logα) /∈ Q and define similaritymaps S1,S2,S3 on [0, 1] as follows
S1(x) = αx , S2(x) = βx and S3(x) = γx + (1− γ).
Let F be the self-similar attractor of {S1,S2,S3}. We will now prove thatdimA F = 1 and, in particular, the Assouad dimension is independent ofα, β, γ provided they are chosen with the above property. We will use thefollowing proposition due to Mackay and Tyson.
PropositionLet X ⊂ R be compact and let F be a compact subset of X . Let Tk be asequence of similarity maps defined on R and suppose thatTk(F ) ∩ X →dH F for some non-empty compact set F . ThendimA F 6 dimA F . The set F is called a weak tangent to F .
Jonathan M. Fraser Assouad type dimensions
![Page 59: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/59.jpg)
Proof
Let α, β, γ ∈ (0, 1) be such that (log β)/(logα) /∈ Q and define similaritymaps S1,S2,S3 on [0, 1] as follows
S1(x) = αx , S2(x) = βx and S3(x) = γx + (1− γ).
Let F be the self-similar attractor of {S1,S2,S3}. We will now prove thatdimA F = 1 and, in particular, the Assouad dimension is independent ofα, β, γ provided they are chosen with the above property.
We will use thefollowing proposition due to Mackay and Tyson.
PropositionLet X ⊂ R be compact and let F be a compact subset of X . Let Tk be asequence of similarity maps defined on R and suppose thatTk(F ) ∩ X →dH F for some non-empty compact set F . ThendimA F 6 dimA F . The set F is called a weak tangent to F .
Jonathan M. Fraser Assouad type dimensions
![Page 60: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/60.jpg)
Proof
Let α, β, γ ∈ (0, 1) be such that (log β)/(logα) /∈ Q and define similaritymaps S1,S2,S3 on [0, 1] as follows
S1(x) = αx , S2(x) = βx and S3(x) = γx + (1− γ).
Let F be the self-similar attractor of {S1,S2,S3}. We will now prove thatdimA F = 1 and, in particular, the Assouad dimension is independent ofα, β, γ provided they are chosen with the above property. We will use thefollowing proposition due to Mackay and Tyson.
PropositionLet X ⊂ R be compact and let F be a compact subset of X . Let Tk be asequence of similarity maps defined on R and suppose thatTk(F ) ∩ X →dH F for some non-empty compact set F . ThendimA F 6 dimA F . The set F is called a weak tangent to F .
Jonathan M. Fraser Assouad type dimensions
![Page 61: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/61.jpg)
Proof
We will now show that [0, 1] is a weak tangent to F in the above sense.Let X = [0, 1] and assume without loss of generality that α < β. Foreach k ∈ N let Tk be defined by
Tk(x) = β−kx .
Since
Ek :={αmβn : m ∈ N, n ∈ {−k, . . . ,∞}
}∩ [0, 1] ⊂ Tk(F ) ∩ [0, 1]
for each k it suffices to show that Ek →dH [0, 1]. Indeed, we have
Ek →dH
⋃k∈N
Ek ∩ [0, 1]
= {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1]
= [0, 1].
Jonathan M. Fraser Assouad type dimensions
![Page 62: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/62.jpg)
Proof
We will now show that [0, 1] is a weak tangent to F in the above sense.Let X = [0, 1] and assume without loss of generality that α < β. Foreach k ∈ N let Tk be defined by
Tk(x) = β−kx .
Since
Ek :={αmβn : m ∈ N, n ∈ {−k , . . . ,∞}
}∩ [0, 1] ⊂ Tk(F ) ∩ [0, 1]
for each k it suffices to show that Ek →dH [0, 1].
Indeed, we have
Ek →dH
⋃k∈N
Ek ∩ [0, 1]
= {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1]
= [0, 1].
Jonathan M. Fraser Assouad type dimensions
![Page 63: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/63.jpg)
Proof
We will now show that [0, 1] is a weak tangent to F in the above sense.Let X = [0, 1] and assume without loss of generality that α < β. Foreach k ∈ N let Tk be defined by
Tk(x) = β−kx .
Since
Ek :={αmβn : m ∈ N, n ∈ {−k , . . . ,∞}
}∩ [0, 1] ⊂ Tk(F ) ∩ [0, 1]
for each k it suffices to show that Ek →dH [0, 1]. Indeed, we have
Ek →dH
⋃k∈N
Ek ∩ [0, 1]
= {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1]
= [0, 1].
Jonathan M. Fraser Assouad type dimensions
![Page 64: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/64.jpg)
Proof
We will now show that [0, 1] is a weak tangent to F in the above sense.Let X = [0, 1] and assume without loss of generality that α < β. Foreach k ∈ N let Tk be defined by
Tk(x) = β−kx .
Since
Ek :={αmβn : m ∈ N, n ∈ {−k , . . . ,∞}
}∩ [0, 1] ⊂ Tk(F ) ∩ [0, 1]
for each k it suffices to show that Ek →dH [0, 1]. Indeed, we have
Ek →dH
⋃k∈N
Ek ∩ [0, 1]
= {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1]
= [0, 1].
Jonathan M. Fraser Assouad type dimensions
![Page 65: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/65.jpg)
Proof
We will now show that [0, 1] is a weak tangent to F in the above sense.Let X = [0, 1] and assume without loss of generality that α < β. Foreach k ∈ N let Tk be defined by
Tk(x) = β−kx .
Since
Ek :={αmβn : m ∈ N, n ∈ {−k , . . . ,∞}
}∩ [0, 1] ⊂ Tk(F ) ∩ [0, 1]
for each k it suffices to show that Ek →dH [0, 1]. Indeed, we have
Ek →dH
⋃k∈N
Ek ∩ [0, 1]
= {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1]
= [0, 1].
Jonathan M. Fraser Assouad type dimensions
![Page 66: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/66.jpg)
Proof
To see why {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1] = [0, 1] we apply Dirichlet’sTheorem in the following way.
It suffices to show that
{m logα + n log β : m ∈ N, n ∈ Z}
is dense in (−∞, 0). We have
m logα + n log β = (n logα)
(m
n+
log β
logα
)and Dirichlet’s Theorem gives that there exists infinitely many n such that∣∣∣m
n+
log β
logα
∣∣∣ < 1/n2
for some m. Since log β/ logα is irrational, we may choose m, n to make
0 < |m logα + n log β| < |logα|n
with n arbitrarily large. We can thus make m logα + n log β arbitrarily
small and this gives the result.
Jonathan M. Fraser Assouad type dimensions
![Page 67: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/67.jpg)
Proof
To see why {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1] = [0, 1] we apply Dirichlet’sTheorem in the following way. It suffices to show that
{m logα + n log β : m ∈ N, n ∈ Z}
is dense in (−∞, 0).
We have
m logα + n log β = (n logα)
(m
n+
log β
logα
)and Dirichlet’s Theorem gives that there exists infinitely many n such that∣∣∣m
n+
log β
logα
∣∣∣ < 1/n2
for some m. Since log β/ logα is irrational, we may choose m, n to make
0 < |m logα + n log β| < |logα|n
with n arbitrarily large. We can thus make m logα + n log β arbitrarily
small and this gives the result.
Jonathan M. Fraser Assouad type dimensions
![Page 68: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/68.jpg)
Proof
To see why {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1] = [0, 1] we apply Dirichlet’sTheorem in the following way. It suffices to show that
{m logα + n log β : m ∈ N, n ∈ Z}
is dense in (−∞, 0). We have
m logα + n log β = (n logα)
(m
n+
log β
logα
)
and Dirichlet’s Theorem gives that there exists infinitely many n such that∣∣∣mn
+log β
logα
∣∣∣ < 1/n2
for some m. Since log β/ logα is irrational, we may choose m, n to make
0 < |m logα + n log β| < |logα|n
with n arbitrarily large. We can thus make m logα + n log β arbitrarily
small and this gives the result.
Jonathan M. Fraser Assouad type dimensions
![Page 69: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/69.jpg)
Proof
To see why {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1] = [0, 1] we apply Dirichlet’sTheorem in the following way. It suffices to show that
{m logα + n log β : m ∈ N, n ∈ Z}
is dense in (−∞, 0). We have
m logα + n log β = (n logα)
(m
n+
log β
logα
)and Dirichlet’s Theorem gives that there exists infinitely many n such that∣∣∣m
n+
log β
logα
∣∣∣ < 1/n2
for some m.
Since log β/ logα is irrational, we may choose m, n to make
0 < |m logα + n log β| < |logα|n
with n arbitrarily large. We can thus make m logα + n log β arbitrarily
small and this gives the result.
Jonathan M. Fraser Assouad type dimensions
![Page 70: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/70.jpg)
Proof
To see why {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1] = [0, 1] we apply Dirichlet’sTheorem in the following way. It suffices to show that
{m logα + n log β : m ∈ N, n ∈ Z}
is dense in (−∞, 0). We have
m logα + n log β = (n logα)
(m
n+
log β
logα
)and Dirichlet’s Theorem gives that there exists infinitely many n such that∣∣∣m
n+
log β
logα
∣∣∣ < 1/n2
for some m. Since log β/ logα is irrational, we may choose m, n to make
0 < |m logα + n log β| < |logα|n
with n arbitrarily large.
We can thus make m logα + n log β arbitrarily
small and this gives the result.
Jonathan M. Fraser Assouad type dimensions
![Page 71: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/71.jpg)
Proof
To see why {αmβn : m ∈ N, n ∈ Z} ∩ [0, 1] = [0, 1] we apply Dirichlet’sTheorem in the following way. It suffices to show that
{m logα + n log β : m ∈ N, n ∈ Z}
is dense in (−∞, 0). We have
m logα + n log β = (n logα)
(m
n+
log β
logα
)and Dirichlet’s Theorem gives that there exists infinitely many n such that∣∣∣m
n+
log β
logα
∣∣∣ < 1/n2
for some m. Since log β/ logα is irrational, we may choose m, n to make
0 < |m logα + n log β| < |logα|n
with n arbitrarily large. We can thus make m logα + n log β arbitrarily
small and this gives the result.
Jonathan M. Fraser Assouad type dimensions
![Page 72: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/72.jpg)
Proof
If we choose α, β, γ such that s < 1, then
dimL F = dimH F = dimB F 6 s < 1 = dimA F .
Jonathan M. Fraser Assouad type dimensions
![Page 73: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/73.jpg)
Self-affine carpets
The dimension theory of certain classes of planar self-affine sets,commonly referred to as self-affine carpets, has attracted enormousattention in the literature in the last 30 years.
This began with the Bedford-McMullen carpets with numerous
generalisations being introduced by, for example, Lalley-Gatzouras (’92),
Baranski (’07), Feng-Wang (’05) and F. (’12).
Jonathan M. Fraser Assouad type dimensions
![Page 74: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/74.jpg)
Self-affine carpets
The dimension theory of certain classes of planar self-affine sets,commonly referred to as self-affine carpets, has attracted enormousattention in the literature in the last 30 years.
This began with the Bedford-McMullen carpets with numerous
generalisations being introduced by, for example, Lalley-Gatzouras (’92),
Baranski (’07), Feng-Wang (’05) and F. (’12).
Jonathan M. Fraser Assouad type dimensions
![Page 75: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/75.jpg)
Self-affine carpets
Figure: A self-affine Bedford-McMullen carpet with m = 4, n = 5. Theshaded rectangles on the left indicate the 6 maps in the IFS.
Jonathan M. Fraser Assouad type dimensions
![Page 76: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/76.jpg)
Self-affine carpets
Jonathan M. Fraser Assouad type dimensions
![Page 77: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/77.jpg)
Self-affine carpets
Some notation . . .
Jonathan M. Fraser Assouad type dimensions
![Page 78: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/78.jpg)
Self-affine carpets
Jonathan M. Fraser Assouad type dimensions
![Page 79: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/79.jpg)
Self-affine carpets
Jonathan M. Fraser Assouad type dimensions
![Page 80: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/80.jpg)
Self-affine carpets
Jonathan M. Fraser Assouad type dimensions
![Page 81: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/81.jpg)
Self-affine carpets
Jonathan M. Fraser Assouad type dimensions
![Page 82: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/82.jpg)
Self-affine carpets
Jonathan M. Fraser Assouad type dimensions
![Page 83: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/83.jpg)
Self-affine carpets
Jonathan M. Fraser Assouad type dimensions
![Page 84: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/84.jpg)
Self-affine carpets
Jonathan M. Fraser Assouad type dimensions
![Page 85: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/85.jpg)
Self-affine carpets
Theorem (Mackay ’11)Let F be a self-affine carpet in the Bedford-McMullen orLalley-Gatzouras class. Then
dimA F = s1 + maxi∈C1
t1,i
Theorem (F. ’13)Let F be a self-affine carpet in the Bedford-McMullen orLalley-Gatzouras class. Then
dimL F = s1 + mini∈C1
t1,i
Jonathan M. Fraser Assouad type dimensions
![Page 86: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/86.jpg)
Self-affine carpets
Theorem (Mackay ’11)Let F be a self-affine carpet in the Bedford-McMullen orLalley-Gatzouras class. Then
dimA F = s1 + maxi∈C1
t1,i
Theorem (F. ’13)Let F be a self-affine carpet in the Bedford-McMullen orLalley-Gatzouras class. Then
dimL F = s1 + mini∈C1
t1,i
Jonathan M. Fraser Assouad type dimensions
![Page 87: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/87.jpg)
Self-affine carpets
Theorem (F. ’13)Let F be a self-affine carpet in the Baranski class (and not in theLalley-Gatzouras class). Then
dimA F = maxj=1,2
maxi∈Cj
(sj + tj,i
)and
dimL F = minj=1,2
mini∈Cj
(sj + tj,i
)
Jonathan M. Fraser Assouad type dimensions
![Page 88: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/88.jpg)
Thank you!
Jonathan M. Fraser Assouad type dimensions
![Page 89: Assouad type dimensions and homogeneity of …homepages.warwick.ac.uk/~masmas/talk_edinburgh.pdfAssouad type dimensions and homogeneity of fractals Jonathan M. Fraser The University](https://reader033.fdocuments.us/reader033/viewer/2022060308/5f09ffa87e708231d429851b/html5/thumbnails/89.jpg)
Main references
J. M. Fraser. On the packing dimension of box-like self-affine sets inthe plane, Nonlinearity, 25, (2012), 2075–2092.
J. M. Fraser. Assouad type dimensions and homogeneity of fractals,submitted (2013).
J. M. Mackay. Assouad dimension of self-affine carpets, Conform.Geom. Dyn. 15, (2011), 177–187.
L. Olsen. On the Assouad dimension of graph directed Moranfractals, Fractals, 19, (2011), 221–226.
Jonathan M. Fraser Assouad type dimensions