![Page 1: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/1.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Packing dimensions and cartesian products
Ondrej Zindulka
Czech Technical University Prague
Glasgow 2007
Ondrej Zindulka Packing dimensions and cartesian products
![Page 2: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/2.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hausdorff measure
Lebesgue measure:
L (E) = supδ>0
inf{∑
i
diam Ii : {Ii} a cover of E by intervals of length 6 δ}
s-dimensional Hausdorff measure (s > 0):
H s(E) = supδ>0
inf{∑
i
(diam Ei)s : {Ei} is a δ-cover of E
}Hausdorff dimension: Unique s0 such that:
if s < s0, then H s(E) = ∞if s > s0, then H s(E) = 0
dimH E = inf{s : H sE = 0} = sup{s : H sE = ∞}
Koch curve – heuristic calculation:
n-th stage: 4n many intervals of length(
13
)n
s = dimH K should satisfy 0 < 4n(
13
)ns< ∞ for all n
hence dimH K = log 4/ log 3
Ondrej Zindulka Packing dimensions and cartesian products
![Page 3: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/3.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hausdorff measure
Lebesgue measure:
L (E) = supδ>0
inf{∑
i
diam Ii : {Ii} a cover of E by intervals of length 6 δ}
s-dimensional Hausdorff measure (s > 0):
H s(E) = supδ>0
inf{∑
i
(diam Ei)s : {Ei} is a δ-cover of E
}Hausdorff dimension: Unique s0 such that:
if s < s0, then H s(E) = ∞if s > s0, then H s(E) = 0
dimH E = inf{s : H sE = 0} = sup{s : H sE = ∞}
Koch curve – heuristic calculation:
n-th stage: 4n many intervals of length(
13
)n
s = dimH K should satisfy 0 < 4n(
13
)ns< ∞ for all n
hence dimH K = log 4/ log 3
Ondrej Zindulka Packing dimensions and cartesian products
![Page 4: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/4.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hausdorff measure
Lebesgue measure:
L (E) = supδ>0
inf{∑
i
diam Ii : {Ii} a cover of E by intervals of length 6 δ}
s-dimensional Hausdorff measure (s > 0):
H s(E) = supδ>0
inf{∑
i
(diam Ei)s : {Ei} is a δ-cover of E
}Hausdorff dimension: Unique s0 such that:
if s < s0, then H s(E) = ∞if s > s0, then H s(E) = 0
dimH E = inf{s : H sE = 0} = sup{s : H sE = ∞}
Koch curve – heuristic calculation:
n-th stage: 4n many intervals of length(
13
)n
s = dimH K should satisfy 0 < 4n(
13
)ns< ∞ for all n
hence dimH K = log 4/ log 3
Ondrej Zindulka Packing dimensions and cartesian products
![Page 5: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/5.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hausdorff measure
Lebesgue measure:
L (E) = supδ>0
inf{∑
i
diam Ii : {Ii} a cover of E by intervals of length 6 δ}
s-dimensional Hausdorff measure (s > 0):
H s(E) = supδ>0
inf{∑
i
(diam Ei)s : {Ei} is a δ-cover of E
}Hausdorff dimension: Unique s0 such that:
if s < s0, then H s(E) = ∞if s > s0, then H s(E) = 0
dimH E = inf{s : H sE = 0} = sup{s : H sE = ∞}
Koch curve – heuristic calculation:
n-th stage: 4n many intervals of length(
13
)n
s = dimH K should satisfy 0 < 4n(
13
)ns< ∞ for all n
hence dimH K = log 4/ log 3
Ondrej Zindulka Packing dimensions and cartesian products
![Page 6: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/6.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Packing measure
Packing of E ⊆ X: Disjoint collection of balls B(x, r) with x ∈ E.
s-dimensional packing pre-measure:
Ps0 (E) = inf
δ>0sup
{∑i
(2ri)s : {B(xi, ri)} is a δ-packing of E
}s-dimensional packing measure:
Ps(E) = inf{∑
n
Ps(En) : {En} is a cover of E}
Packing dimension:
dimP E = inf{s : Ps(E) = 0} = sup{s : Ps(E) = ∞}.
Fact
H s(E) 6 Ps(E)
dimH E 6 dimP E
Ondrej Zindulka Packing dimensions and cartesian products
![Page 7: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/7.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Packing measure
Packing of E ⊆ X: Disjoint collection of balls B(x, r) with x ∈ E.
s-dimensional packing pre-measure:
Ps0 (E) = inf
δ>0sup
{∑i
(2ri)s : {B(xi, ri)} is a δ-packing of E
}s-dimensional packing measure:
Ps(E) = inf{∑
n
Ps(En) : {En} is a cover of E}
Packing dimension:
dimP E = inf{s : Ps(E) = 0} = sup{s : Ps(E) = ∞}.
Fact
H s(E) 6 Ps(E)
dimH E 6 dimP E
Ondrej Zindulka Packing dimensions and cartesian products
![Page 8: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/8.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Packing measure
Packing of E ⊆ X: Disjoint collection of balls B(x, r) with x ∈ E.
s-dimensional packing pre-measure:
Ps0 (E) = inf
δ>0sup
{∑i
(2ri)s : {B(xi, ri)} is a δ-packing of E
}s-dimensional packing measure:
Ps(E) = inf{∑
n
Ps(En) : {En} is a cover of E}
Packing dimension:
dimP E = inf{s : Ps(E) = 0} = sup{s : Ps(E) = ∞}.
Fact
H s(E) 6 Ps(E)
dimH E 6 dimP E
Ondrej Zindulka Packing dimensions and cartesian products
![Page 9: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/9.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Packing measure
Packing of E ⊆ X: Disjoint collection of balls B(x, r) with x ∈ E.
s-dimensional packing pre-measure:
Ps0 (E) = inf
δ>0sup
{∑i
(2ri)s : {B(xi, ri)} is a δ-packing of E
}s-dimensional packing measure:
Ps(E) = inf{∑
n
Ps(En) : {En} is a cover of E}
Packing dimension:
dimP E = inf{s : Ps(E) = 0} = sup{s : Ps(E) = ∞}.
Fact
H s(E) 6 Ps(E)
dimH E 6 dimP E
Ondrej Zindulka Packing dimensions and cartesian products
![Page 10: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/10.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Cartesian product inequalities
X, Y separable metric spaces.
Provide X × Y with a maximum metric: Balls are squares.
Theorem (Marstrand, Tricot, Howroyd. . . )
dimH X + dimH Y 6 dimH X × Y
6 dimH X + dimP Y 6 dimP X × Y 6 dimP X + dimP Y
Ondrej Zindulka Packing dimensions and cartesian products
![Page 11: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/11.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Cartesian product inequalities
X, Y separable metric spaces.
Provide X × Y with a maximum metric: Balls are squares.
Theorem (Marstrand, Tricot, Howroyd. . . )
dimH X + dimH Y 6 dimH X × Y
6 dimH X + dimP Y 6 dimP X × Y 6 dimP X + dimP Y
Ondrej Zindulka Packing dimensions and cartesian products
![Page 12: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/12.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hu & Taylor’s question
dimH X + dimP Y 6 dimP X × Y
dimH X 6 dimP X × Y − dimP Y
dimH X 6 infY {dimP X × Y − dimP Y }
Question (Hu & Taylor ’94)
Given X ⊆ Rn, does the value
aDim X = inf{dimP X × Y − dimP Y : Y ⊆ Rn Borel}
equal to dimH X?
We know: dimH X 6 aDim X
Question (Hu & Taylor): Is dimH X = aDim X?
Answer (Bishop & Peres, Xiao ’96): No, it is not.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 13: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/13.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hu & Taylor’s question
dimH X + dimP Y 6 dimP X × Y
dimH X 6 dimP X × Y − dimP Y
dimH X 6 infY {dimP X × Y − dimP Y }
Question (Hu & Taylor ’94)
Given X ⊆ Rn, does the value
aDim X = inf{dimP X × Y − dimP Y : Y ⊆ Rn Borel}
equal to dimH X?
We know: dimH X 6 aDim X
Question (Hu & Taylor): Is dimH X = aDim X?
Answer (Bishop & Peres, Xiao ’96): No, it is not.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 14: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/14.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hu & Taylor’s question
dimH X + dimP Y 6 dimP X × Y
dimH X 6 dimP X × Y − dimP Y
dimH X 6 infY {dimP X × Y − dimP Y }
Question (Hu & Taylor ’94)
Given X ⊆ Rn, does the value
aDim X = inf{dimP X × Y − dimP Y : Y ⊆ Rn Borel}
equal to dimH X?
We know: dimH X 6 aDim X
Question (Hu & Taylor): Is dimH X = aDim X?
Answer (Bishop & Peres, Xiao ’96): No, it is not.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 15: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/15.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Upper box-counting dimension
Box-counting function:
NE(δ) = min{|A| : A is a δ-cover of E}
Upper box-counting dimension:
dimB E = lim supδ→0
log NE(δ)
|log δ|
Upper packing dimension:
dimP E = infSEn=X
supn
dimB En
Theorem (Tricot ’82)
dimP X = dimP X
Ondrej Zindulka Packing dimensions and cartesian products
![Page 16: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/16.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Upper box-counting dimension
Box-counting function:
NE(δ) = min{|A| : A is a δ-cover of E}
Upper box-counting dimension:
dimB E = lim supδ→0
log NE(δ)
|log δ|
Upper packing dimension:
dimP E = infSEn=X
supn
dimB En
Theorem (Tricot ’82)
dimP X = dimP X
Ondrej Zindulka Packing dimensions and cartesian products
![Page 17: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/17.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Upper box-counting dimension
Box-counting function:
NE(δ) = min{|A| : A is a δ-cover of E}
Upper box-counting dimension:
dimB E = lim supδ→0
log NE(δ)
|log δ|
Upper packing dimension:
dimP E = infSEn=X
supn
dimB En
Theorem (Tricot ’82)
dimP X = dimP X
Ondrej Zindulka Packing dimensions and cartesian products
![Page 18: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/18.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Upper box-counting dimension
Box-counting function:
NE(δ) = min{|A| : A is a δ-cover of E}
Upper box-counting dimension:
dimB E = lim supδ→0
log NE(δ)
|log δ|
Upper packing dimension:
dimP E = infSEn=X
supn
dimB En
Theorem (Tricot ’82)
dimP X = dimP X
Ondrej Zindulka Packing dimensions and cartesian products
![Page 19: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/19.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Lower box-counting dimension
Box-counting function:
NE(δ) = min{|A| : A is a δ-cover of E}
Lower box-counting dimension:
dimB E = lim infδ→0
log NE(δ)
|log δ|
Lower packing dimension:
dimP E = infSEn=X
supn
dimB En
Theorem (Tricot ’82)
dimP X > dimH X (but not dimP X = dimH X).
Ondrej Zindulka Packing dimensions and cartesian products
![Page 20: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/20.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Lower box-counting dimension
Box-counting function:
NE(δ) = min{|A| : A is a δ-cover of E}
Lower box-counting dimension:
dimB E = lim infδ→0
log NE(δ)
|log δ|
Lower packing dimension:
dimP E = infSEn=X
supn
dimB En
Theorem (Tricot ’82)
dimP X > dimH X (but not dimP X = dimH X).
Ondrej Zindulka Packing dimensions and cartesian products
![Page 21: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/21.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Improving dimH X 6 aDim X
Theorem (Bishop & Peres, Xiao ’96)
If X ⊆ Rn is compact and Y ⊆ Rn is Borel, then
dimP X + dimP Y 6 dimP X × Y
hence dimP X 6 aDim X
But not dimP X = aDim X.
Limitations of the proofs:
B&P: Rather special representation of compact sets in Rn
Xiao: Baire category theorem
Both about dimension rather than measures
Ondrej Zindulka Packing dimensions and cartesian products
![Page 22: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/22.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Improving dimH X 6 aDim X
Theorem (Bishop & Peres, Xiao ’96)
If X ⊆ Rn is compact and Y ⊆ Rn is Borel, then
dimP X + dimP Y 6 dimP X × Y
hence dimP X 6 aDim X
But not dimP X = aDim X.
Limitations of the proofs:
B&P: Rather special representation of compact sets in Rn
Xiao: Baire category theorem
Both about dimension rather than measures
Ondrej Zindulka Packing dimensions and cartesian products
![Page 23: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/23.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Goals
Define lower packing measure so that
dimP X = inf{s : Ps(X) = 0} = sup{s : Ps(X) = ∞}
Show, for arbitrary metric spaces,
Ps(X) ·Pt(Y ) 6 Ps+t(X × Y )
It would follow that dimP X + dimP Y 6 dimP X × Y .
Modify dimP so that
dimP X 6 aDim X becomes dim−→P X = aDim X
Ondrej Zindulka Packing dimensions and cartesian products
![Page 24: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/24.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Goals
Define lower packing measure so that
dimP X = inf{s : Ps(X) = 0} = sup{s : Ps(X) = ∞}
Show, for arbitrary metric spaces,
Ps(X) ·Pt(Y ) 6 Ps+t(X × Y )
It would follow that dimP X + dimP Y 6 dimP X × Y .
Modify dimP so that
dimP X 6 aDim X becomes dim−→P X = aDim X
Ondrej Zindulka Packing dimensions and cartesian products
![Page 25: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/25.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Goals
Define lower packing measure so that
dimP X = inf{s : Ps(X) = 0} = sup{s : Ps(X) = ∞}
Show, for arbitrary metric spaces,
Ps(X) ·Pt(Y ) 6 Ps+t(X × Y )
It would follow that dimP X + dimP Y 6 dimP X × Y .
Modify dimP so that
dimP X 6 aDim X becomes dim−→P X = aDim X
Ondrej Zindulka Packing dimensions and cartesian products
![Page 26: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/26.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hewitt-Stromberg measure
Lower box-counting pre-measure:
Ps0(E) = lim inf
δ→0NE(δ) · δs
Lower box-counting measure = Hewitt-Stromberg measure:
Ps(E) = inf{∑
n
Ps0(En) : {En} is a cover of E
}Directed lower box-counting pre-measure:
P−→s(E) = inf
{supn
Ps0(En) : En↗E
}Facts
Ps0(E) = Pg
0(E)
Ps(E) is a Borel regular measure
Proposition
dimP X = inf{s : Ps(X) = 0} = sup{s : Ps(X) = ∞}
Ondrej Zindulka Packing dimensions and cartesian products
![Page 27: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/27.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hewitt-Stromberg measure
Lower box-counting pre-measure:
Ps0(E) = lim inf
δ→0NE(δ) · δs
Lower box-counting measure = Hewitt-Stromberg measure:
Ps(E) = inf{∑
n
Ps0(En) : {En} is a cover of E
}Directed lower box-counting pre-measure:
P−→s(E) = inf
{supn
Ps0(En) : En↗E
}Facts
Ps0(E) = Pg
0(E)
Ps(E) is a Borel regular measure
Proposition
dimP X = inf{s : Ps(X) = 0} = sup{s : Ps(X) = ∞}
Ondrej Zindulka Packing dimensions and cartesian products
![Page 28: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/28.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hewitt-Stromberg measure
Lower box-counting pre-measure:
Ps0(E) = lim inf
δ→0NE(δ) · δs
Lower box-counting measure = Hewitt-Stromberg measure:
Ps(E) = inf{∑
n
Ps0(En) : {En} is a cover of E
}Directed lower box-counting pre-measure:
P−→s(E) = inf
{supn
Ps0(En) : En↗E
}Facts
Ps0(E) = Pg
0(E)
Ps(E) is a Borel regular measure
Proposition
dimP X = inf{s : Ps(X) = 0} = sup{s : Ps(X) = ∞}
Ondrej Zindulka Packing dimensions and cartesian products
![Page 29: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/29.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hewitt-Stromberg measure
Lower box-counting pre-measure:
Ps0(E) = lim inf
δ→0NE(δ) · δs
Lower box-counting measure = Hewitt-Stromberg measure:
Ps(E) = inf{∑
n
Ps0(En) : {En} is a cover of E
}Directed lower box-counting pre-measure:
P−→s(E) = inf
{supn
Ps0(En) : En↗E
}Facts
Ps0(E) = Pg
0(E)
Ps(E) is a Borel regular measure
Proposition
dimP X = inf{s : Ps(X) = 0} = sup{s : Ps(X) = ∞}
Ondrej Zindulka Packing dimensions and cartesian products
![Page 30: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/30.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Hewitt-Stromberg measure
Lower box-counting pre-measure:
Ps0(E) = lim inf
δ→0NE(δ) · δs
Lower box-counting measure = Hewitt-Stromberg measure:
Ps(E) = inf{∑
n
Ps0(En) : {En} is a cover of E
}Directed lower box-counting pre-measure:
P−→s(E) = inf
{supn
Ps0(En) : En↗E
}Facts
Ps0(E) = Pg
0(E)
Ps(E) is a Borel regular measure
Proposition
dimP X = inf{s : Ps(X) = 0} = sup{s : Ps(X) = ∞}
Ondrej Zindulka Packing dimensions and cartesian products
![Page 31: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/31.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Product formula for measures
X, Y separable metric spacesCross sections of E ⊆ X × Y : Ex = {y ∈ Y : (x, y) ∈ E}
Theorem
Let E ⊆ X × Y . Then∫ ∗P−→
s(Ex) dPt(x) 6 Ps+t(E)
Corollary (rectangles)
P−→s(X) ·Pt(Y ) 6 Ps+t(X × Y )
Main issue:∫ ∗
versus∫∗
Is x 7→ P−→s(Ex) measurable? (cf. Falconer & Mauldin 2000)
Lemma
If E is compact, then x 7→ Ps0(Ex) is Borel measurable.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 32: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/32.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Product formula for measures
X, Y separable metric spacesCross sections of E ⊆ X × Y : Ex = {y ∈ Y : (x, y) ∈ E}
Theorem
Let E ⊆ X × Y . Then∫ ∗P−→
s(Ex) dPt(x) 6 Ps+t(E)
Corollary (rectangles)
P−→s(X) ·Pt(Y ) 6 Ps+t(X × Y )
Main issue:∫ ∗
versus∫∗
Is x 7→ P−→s(Ex) measurable? (cf. Falconer & Mauldin 2000)
Lemma
If E is compact, then x 7→ Ps0(Ex) is Borel measurable.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 33: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/33.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Product formula for measures
X, Y separable metric spacesCross sections of E ⊆ X × Y : Ex = {y ∈ Y : (x, y) ∈ E}
Theorem
Let E ⊆ X × Y . Then∫ ∗P−→
s(Ex) dPt(x) 6 Ps+t(E)
Corollary (rectangles)
P−→s(X) ·Pt(Y ) 6 Ps+t(X × Y )
Main issue:∫ ∗
versus∫∗
Is x 7→ P−→s(Ex) measurable? (cf. Falconer & Mauldin 2000)
Lemma
If E is compact, then x 7→ Ps0(Ex) is Borel measurable.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 34: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/34.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Product formula for measures
X, Y separable metric spacesCross sections of E ⊆ X × Y : Ex = {y ∈ Y : (x, y) ∈ E}
Theorem
Let E ⊆ X × Y . Then∫ ∗P−→
s(Ex) dPt(x) 6 Ps+t(E)
Corollary (rectangles)
P−→s(X) ·Pt(Y ) 6 Ps+t(X × Y )
Main issue:∫ ∗
versus∫∗
Is x 7→ P−→s(Ex) measurable? (cf. Falconer & Mauldin 2000)
Lemma
If E is compact, then x 7→ Ps0(Ex) is Borel measurable.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 35: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/35.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Proof
1 infx∈X
Ps0(Ex) ·Pt(X) 6 Ps+t
0 (E)
2∫
Ps0(Ex) dPt(x) 6 Ps+t0(E) if E is compact
May assume: Pt{x : Ps0(Ex) > 0} < ∞
A simple function s =Pm
i=1 ciχAi 6 Ps0(Ex)
Ai’s may be approximated by compact sets Ki
Ki’s are disjoint, hence separatedPs
0 is “superadditive” on separated sets
3∫ ∗
Ps0(Ex) dPt(x) 6 Ps+t
0 (E) for any E
May assume X, Y completeMay assume Ps+t
0 (E) < ∞. Hence E is compact.Ps+t
0 (E) = Ps+t0 (E)
4∫ ∗
P−→s(Ex) dPt(x) 6
−−−→Ps+t
0 (E) = Ps+t(E)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 36: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/36.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Proof
1 infx∈X
Ps0(Ex) ·Pt(X) 6 Ps+t
0 (E)
2∫
Ps0(Ex) dPt(x) 6 Ps+t0(E) if E is compact
May assume: Pt{x : Ps0(Ex) > 0} < ∞
A simple function s =Pm
i=1 ciχAi 6 Ps0(Ex)
Ai’s may be approximated by compact sets Ki
Ki’s are disjoint, hence separatedPs
0 is “superadditive” on separated sets
3∫ ∗
Ps0(Ex) dPt(x) 6 Ps+t
0 (E) for any E
May assume X, Y completeMay assume Ps+t
0 (E) < ∞. Hence E is compact.Ps+t
0 (E) = Ps+t0 (E)
4∫ ∗
P−→s(Ex) dPt(x) 6
−−−→Ps+t
0 (E) = Ps+t(E)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 37: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/37.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Proof
1 infx∈X
Ps0(Ex) ·Pt(X) 6 Ps+t
0 (E)
2∫
Ps0(Ex) dPt(x) 6 Ps+t0(E) if E is compact
May assume: Pt{x : Ps0(Ex) > 0} < ∞
A simple function s =Pm
i=1 ciχAi 6 Ps0(Ex)
Ai’s may be approximated by compact sets Ki
Ki’s are disjoint, hence separatedPs
0 is “superadditive” on separated sets
3∫ ∗
Ps0(Ex) dPt(x) 6 Ps+t
0 (E) for any E
May assume X, Y completeMay assume Ps+t
0 (E) < ∞. Hence E is compact.Ps+t
0 (E) = Ps+t0 (E)
4∫ ∗
P−→s(Ex) dPt(x) 6
−−−→Ps+t
0 (E) = Ps+t(E)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 38: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/38.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Proof
1 infx∈X
Ps0(Ex) ·Pt(X) 6 Ps+t
0 (E)
2∫
Ps0(Ex) dPt(x) 6 Ps+t0(E) if E is compact
May assume: Pt{x : Ps0(Ex) > 0} < ∞
A simple function s =Pm
i=1 ciχAi 6 Ps0(Ex)
Ai’s may be approximated by compact sets Ki
Ki’s are disjoint, hence separatedPs
0 is “superadditive” on separated sets
3∫ ∗
Ps0(Ex) dPt(x) 6 Ps+t
0 (E) for any E
May assume X, Y completeMay assume Ps+t
0 (E) < ∞. Hence E is compact.Ps+t
0 (E) = Ps+t0 (E)
4∫ ∗
P−→s(Ex) dPt(x) 6
−−−→Ps+t
0 (E) = Ps+t(E)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 39: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/39.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Product formulas for dimension
Recall: dimP X = inf{s : Ps(X) = 0} = infSEn=X
supn
dimB En
Definition and fact
dim−→P X = inf{s : P−→s(X) = 0}
Theorem
dim−→P X + dimP Y 6 dimP X × Y
If X ⊆ Rn, then dim−→P X = aDim X, i.e. the above inequality is thebest possible.
(Actually holds for “finite dimensional” spaces X.)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 40: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/40.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Product formulas for dimension
Recall: dimP X = inf{s : Ps(X) = 0} = infSEn=X
supn
dimB En
Definition and fact
dim−→P X = inf{s : P−→s(X) = 0}
Theorem
dim−→P X + dimP Y 6 dimP X × Y
If X ⊆ Rn, then dim−→P X = aDim X, i.e. the above inequality is thebest possible.
(Actually holds for “finite dimensional” spaces X.)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 41: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/41.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Product formulas for dimension
Recall: dimP X = inf{s : Ps(X) = 0} = infSEn=X
supn
dimB En
Definition and fact
dim−→P X = inf{s : P−→s(X) = 0} = lim inf
En↗XdimB En
Theorem
dim−→P X + dimP Y 6 dimP X × Y
If X ⊆ Rn, then dim−→P X = aDim X, i.e. the above inequality is thebest possible.
(Actually holds for “finite dimensional” spaces X.)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 42: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/42.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Product formulas for dimension
Recall: dimP X = inf{s : Ps(X) = 0} = infSEn=X
supn
dimB En
Definition and fact
dim−→P X = inf{s : P−→s(X) = 0} = lim inf
En↗XdimB En
Theorem
dim−→P X + dimP Y 6 dimP X × Y
If X ⊆ Rn, then dim−→P X = aDim X, i.e. the above inequality is thebest possible.
(Actually holds for “finite dimensional” spaces X.)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 43: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/43.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Sets with small dimension are thin
Thin Sets
A set X ⊆ R is thin if X + T 6= R whenever |T | < c.
Question (Mauldin)
Is a compact set with dimH X < 1 thin?
Theorem (Gruenhage, Darji & Keleti ’03, OZ ’05)
If dimH X2008 < 2007, then X is thin.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 44: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/44.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Sets with small dimension are thin
Thin Sets
A set X ⊆ R is thin if X + T 6= R whenever |T | < c.
Question (Mauldin)
Is a compact set with dimH X < 1 thin?
Theorem (Gruenhage, Darji & Keleti ’03, OZ ’05)
If dimH X2008 < 2007, then X is thin.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 45: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/45.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Sets with small dimension are thin
Thin Sets
A set X ⊆ R is thin if X + T 6= R whenever |T | < c.
Question (Mauldin)
Is a compact set with dimH X < 1 thin?
Theorem (Gruenhage, Darji & Keleti ’03, OZ ’05)
If dimH X2008 < 2007, then X is thin.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 46: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/46.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
A proof
X . . . middle three-fifths set.
dimH X2 = ln 4/ ln 5 < 1. Hence dimH X2 × R < 2.
Set Y = {(x + t, y + t) : x, y ∈ X, t ∈ R} ⊆ R2.
Y is a Lipschitz image of X2 × R. Hence Y is Lebesgue null.
Mycielski Thm: There is C ⊆ R perfect s.t. C × C ∩ Y ⊆ ∆.
Hence |(X + t) ∩ C| 6 1 for all t ∈ RHence X is thin.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 47: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/47.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
A proof
X . . . middle three-fifths set.
dimH X2 = ln 4/ ln 5 < 1. Hence dimH X2 × R < 2.
Set Y = {(x + t, y + t) : x, y ∈ X, t ∈ R} ⊆ R2.
Y is a Lipschitz image of X2 × R. Hence Y is Lebesgue null.
Mycielski Thm: There is C ⊆ R perfect s.t. C × C ∩ Y ⊆ ∆.
Hence |(X + t) ∩ C| 6 1 for all t ∈ RHence X is thin.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 48: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/48.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Goal
Wishful thinking: If dimH X × Y 6 dimH X + dimH Y . . .. . . dimH X < 1 would imply X be thin.
Goal
Given s > 0, find a simple intrinsic characterization of
dimH(Xn) 6 ns for all n
Ondrej Zindulka Packing dimensions and cartesian products
![Page 49: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/49.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Goal
Wishful thinking: If dimH X × Y 6 dimH X + dimH Y . . .. . . dimH X < 1 would imply X be thin.
Goal
Given s > 0, find a simple intrinsic characterization of
dimH(Xn) 6 ns for all n
Ondrej Zindulka Packing dimensions and cartesian products
![Page 50: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/50.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
H s(X) = 0 vs. Ps0(X) = 0
H s(X) = 0 Ps0(X) = 0
There is a large cover E s.t.∑E∈E
(diam E)s < ∞.
There is a sequence of covers En s.t.
|En|(diam En)s 6 2−n.
There is a sequence {En} of “partial covers” s.t.∑n
|En|(diam En)s < ∞
and each x ∈ X is covered by
infinitely many En’s. all En’s.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 51: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/51.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
H s(X) = 0 vs. Ps0(X) = 0
H s(X) = 0 Ps0(X) = 0
There is a large cover E s.t.∑E∈E
(diam E)s < ∞.
There is a sequence of covers En s.t.
|En|(diam En)s 6 2−n.
There is a sequence {En} of “partial covers” s.t.∑n
|En|(diam En)s < ∞
and each x ∈ X is covered by
infinitely many En’s. all En’s.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 52: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/52.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and dimensions
Partial cover: A finite family E of subsets of X
Net: A sequence E = {En} of partial covers.
x ∈ X 7→ Jx(E) = {n : x ∈⋃En} ⊆ N
J (E) = {Jx(E) : x ∈ X}
Dyadic net E = {En}: diam En 6 2−n
dim E = lim suplog2|En|
n
Theorem
X = infE
dim E,
the infimum over all dyadic nets such that
Ondrej Zindulka Packing dimensions and cartesian products
![Page 53: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/53.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and dimensions
Partial cover: A finite family E of subsets of X
Net: A sequence E = {En} of partial covers.
x ∈ X 7→ Jx(E) = {n : x ∈⋃En} ⊆ N
J (E) = {Jx(E) : x ∈ X}
Dyadic net E = {En}: diam En 6 2−n
dim E = lim suplog2|En|
n
Theorem
X = infE
dim E,
the infimum over all dyadic nets such that
Ondrej Zindulka Packing dimensions and cartesian products
![Page 54: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/54.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and dimensions
Partial cover: A finite family E of subsets of X
Net: A sequence E = {En} of partial covers.
x ∈ X 7→ Jx(E) = {n : x ∈⋃En} ⊆ N
J (E) = {Jx(E) : x ∈ X}
Dyadic net E = {En}: diam En 6 2−n
dim E = lim suplog2|En|
n
Theorem
X = infE
dim E,
the infimum over all dyadic nets such that
Ondrej Zindulka Packing dimensions and cartesian products
![Page 55: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/55.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and dimensions
Partial cover: A finite family E of subsets of X
Net: A sequence E = {En} of partial covers.
x ∈ X 7→ Jx(E) = {n : x ∈⋃En} ⊆ N
J (E) = {Jx(E) : x ∈ X}
Dyadic net E = {En}: diam En 6 2−n
dim E = lim suplog2|En|
n
Theorem
dimH X = infE
dim E,
the infimum over all dyadic nets such that
J (E) consists of infinite sets
Ondrej Zindulka Packing dimensions and cartesian products
![Page 56: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/56.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and dimensions
Partial cover: A finite family E of subsets of X
Net: A sequence E = {En} of partial covers.
x ∈ X 7→ Jx(E) = {n : x ∈⋃En} ⊆ N
J (E) = {Jx(E) : x ∈ X}
Dyadic net E = {En}: diam En 6 2−n
dim E = lim suplog2|En|
n
Theorem
dimB X = infE
dim E,
the infimum over all dyadic nets such that
J (E) has an infinite intersection
Ondrej Zindulka Packing dimensions and cartesian products
![Page 57: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/57.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and dimensions
Partial cover: A finite family E of subsets of X
Net: A sequence E = {En} of partial covers.
x ∈ X 7→ Jx(E) = {n : x ∈⋃En} ⊆ N
J (E) = {Jx(E) : x ∈ X}
Dyadic net E = {En}: diam En 6 2−n
dim E = lim suplog2|En|
n
Theorem
dim−→P X = infE
dim E,
the infimum over all dyadic nets such that
J (E) has an infinite pseudointersection
Ondrej Zindulka Packing dimensions and cartesian products
![Page 58: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/58.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and dimensions
Partial cover: A finite family E of subsets of X
Net: A sequence E = {En} of partial covers.
x ∈ X 7→ Jx(E) = {n : x ∈⋃En} ⊆ N
J (E) = {Jx(E) : x ∈ X}
Dyadic net E = {En}: diam En 6 2−n
dim E = lim suplog2|En|
n
Theorem
dimP X = infE
dim E,
the infimum over all dyadic nets such that
J (E) is a union of countably many sets with infinite intersections
Ondrej Zindulka Packing dimensions and cartesian products
![Page 59: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/59.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Productive dimensions
Definition
dimπH X = lim 1n dimH Xn
dimσπH X = infSEk=X
supk dimπH Ek
Theorem (on thin sets)
Let A ⊆ X + T be analytic. If |T | < c, then
dimP A 6 dimP X
dimπH A 6 dimπH X
dimH A 6 dimσπH X
Corollary
If dimσπH X < 1, the X is thin.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 60: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/60.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Productive dimensions
Definition
dimπH X = lim 1n dimH Xn
dimσπH X = infSEk=X
supk dimπH Ek
Theorem (on thin sets)
Let A ⊆ X + T be analytic. If |T | < c, then
dimP A 6 dimP X
dimπH A 6 dimπH X
dimH A 6 dimσπH X
Corollary
If dimσπH X < 1, the X is thin.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 61: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/61.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Productive dimensions
Definition
dimπH X = lim 1n dimH Xn
dimσπH X = infSEk=X
supk dimπH Ek
Theorem (on thin sets)
Let A ⊆ X + T be analytic. If |T | < c, then
dimP A 6 dimP X
dimπH A 6 dimπH X
dimH A 6 dimσπH X
Corollary
If dimσπH X < 1, the X is thin.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 62: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/62.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and productive dimensions
Theorem
Let E = {En} be a dyadic net.
If J (E) is centered, then dimπH X 6 dim EIf J (E) is σ-centered, then dimσπH X 6 dim E
Corollary
dimπH X 6 dim−→P X
dimσπH X 6 dimP X
Theorem
dimπH X = 0 iff there is a dyadic net E s.t. J (E) is centered anddim E = 0.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 63: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/63.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and productive dimensions
Theorem
Let E = {En} be a dyadic net.
If J (E) is centered, then dimπH X 6 dim EIf J (E) is σ-centered, then dimσπH X 6 dim E
Corollary
dimπH X 6 dim−→P X
dimσπH X 6 dimP X
Theorem
dimπH X = 0 iff there is a dyadic net E s.t. J (E) is centered anddim E = 0.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 64: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/64.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Nets and productive dimensions
Theorem
Let E = {En} be a dyadic net.
If J (E) is centered, then dimπH X 6 dim EIf J (E) is σ-centered, then dimσπH X 6 dim E
Corollary
dimπH X 6 dim−→P X
dimσπH X 6 dimP X
Theorem
dimπH X = 0 iff there is a dyadic net E s.t. J (E) is centered anddim E = 0.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 65: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/65.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Enlargement theorem for dimσπH fails
Enlargement Theorem
For each set E there is G ⊇ E such that dimH G = dimH E.
Proposition (Assume nonM < c)
If G ⊆ R is Gδ dense, then dimσπH G = 1.
Proof:
If G is comeager and T nonmeager, then G + T = R.
Hence G is not thin.
Hence dimσπH G = 1.
Example (Assume nonM < c)
There is a countable set D ⊆ R s.t. dimσπH G = 1 for each Gδ setG ⊇ D.
There is a Gδ set G ⊆ R s.t. dimH G = 0 < 1 = dimσπH G.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 66: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/66.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Enlargement theorem for dimσπH fails
Enlargement Theorem
For each set E there is G ⊇ E such that dimH G = dimH E.
Proposition (Assume nonM < c)
If G ⊆ R is Gδ dense, then dimσπH G = 1.
Proof:
If G is comeager and T nonmeager, then G + T = R.
Hence G is not thin.
Hence dimσπH G = 1.
Example (Assume nonM < c)
There is a countable set D ⊆ R s.t. dimσπH G = 1 for each Gδ setG ⊇ D.
There is a Gδ set G ⊆ R s.t. dimH G = 0 < 1 = dimσπH G.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 67: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/67.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Enlargement theorem for dimσπH fails
Enlargement Theorem
For each set E there is G ⊇ E such that dimH G = dimH E.
Proposition (Assume nonM < c)
If G ⊆ R is Gδ dense, then dimσπH G = 1.
Proof:
If G is comeager and T nonmeager, then G + T = R.
Hence G is not thin.
Hence dimσπH G = 1.
Example (Assume nonM < c)
There is a countable set D ⊆ R s.t. dimσπH G = 1 for each Gδ setG ⊇ D.
There is a Gδ set G ⊆ R s.t. dimH G = 0 < 1 = dimσπH G.
Ondrej Zindulka Packing dimensions and cartesian products
![Page 68: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/68.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Examples of strict inequalities
Recall: dimH X 6 dimσπH X 6 dimP X
Examples mentioned:
dimP X < dimπH X (X ⊆ R compact)
dimH X < dimσπH X (X ⊆ R Gδ, only consistency)
Examples not mentioned:
dimH X < dimP X (X ⊆ R compact)
dimπH X < dimP X (X ⊆ R)
Ondrej Zindulka Packing dimensions and cartesian products
![Page 69: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/69.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Example
The space X:
For p ∈ 2<N put
ι(p) = max{j < |p| : p(j) = 1}
χ(p) =1
|p|ι(p)!
For f, g ∈ 2N put ρ(f, g) = χ(f ∧ g)
The net E:
En = {Up : |p| = ι(p) + 1 = n}|En| = 2n−1
diam En =1
n!∑n|En|(diam En)s < ∞ for each s > 0
Ondrej Zindulka Packing dimensions and cartesian products
![Page 70: Packing dimensions and cartesian productsmat.fsv.cvut.cz/Zindulka/papers/Glasgow.pdf · Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers](https://reader033.vdocument.in/reader033/viewer/2022051605/600cbdd9f3a60714a930444a/html5/thumbnails/70.jpg)
Product inequalities Hewitt-Stromberg measure Product formula Thin sets Dimension of powers Examples
Example
Claim
Jf (E) = f for all f ∈ 2N
J (E∣∣A) = A for all A ⊆ 2N.
Theorem
dimH X = 0
If E ⊆ 2N is a filter, then dimπH E = 0
If E ⊆ 2N is nonmeager, then dimP E > 1
If E ⊆ 2N is an ultrafilter, then dimπH E < dimP E
The Lipschitz mapping f 7→∑
n f(n)χ(f�n0) maps X onto the set{∑n
1
nk!(nk+1 + 1): (nk) ∈ NN increasing
}⊆ R
Ondrej Zindulka Packing dimensions and cartesian products