Abstract
We study average Hewitt–Stromberg measures of typical compact metric spaces belonging to the Gromov–Hausdorff space (of all compact metric spaces) equipped with the Gromov–Hausdorff metric.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recall that a subset E of a metric space M is called co-meagre if its complement is meagre; also recall that if \(\textsf {P}\) is a property that the elements of M may have, then we say that a typical element x in M has property \(\textsf {P}\) if the set \(E=\{ x \in M \, |\,x\text { has property } \textsf {P}\}\) is co-meagre, see Oxtoby [16] for more details. The purpose of this paper is to investigate the average Hewitt–Stromberg measures of a typical compact metric space belonging to the Gromov–Hausdorff space \(K_{\textsf {GH}}\) of all compact metric spaces; the precise definitions of the average Hewitt–Stromberg measures and the Gromov–Hausdorff space \(K_{\textsf {GH}}\) will be given below.
Recall that a dimension function is an increasing and right continuous function \(h:(0,\infty )\rightarrow (0,\infty )\) with \(h(r)\rightarrow 0\) as \(r\rightarrow 0\). The two most important and commonly used fractal measure of a metric space X are the h-dimensional Hausdorff measure \({\mathcal {H}}^{h}(X)\) and the h-dimensional packing measure \({\mathcal {P}}^{h}(X)\) associated with the dimension function h; the precise definitions of \({\mathcal {H}}^{h}(X)\) and \({\mathcal {P}}^{h}(X)\) will be given in Sect. 2.2. It is well-known that these measures satisfy the following inequality,
However, there are two further and (perhaps) equally important but less well-known fractal measures of a metric space X, namely, the lower and upper Hewitt–Stromberg measures associated with the dimension function h; the lower and upper Hewitt–Stromberg measures of X associated with the dimension function h will be denoted by \({\mathcal {U}}^{h}(X)\) and \({\mathcal {V}}^{h}(X)\), respectively. The Hausdorff measure, the packing measure and the Hewitt–Stromberg measures satisfy the following string of inequalities
in particular, the Hewitt–Stromberg measures form a natural interpolation between the Hausdorff measure and the packing measure. Hewitt–Stromberg measures were introduced by Hewitt and Stromberg in an intriguing exercise in their classical textbook from 1965 [10, (10.51)], and have subsequently been investigated further, see, for example [7, 8, 22], highlighting their importance in the study of local properties of fractals and products of fractals. In particular, Edgar’s textbook [2, pp. 32–36] provides an excellent and systematic introduction to Hewitt–Stromberg measures, and the measures also appear explicitly in, for example, Pesin’s monograph [17, 5.3] and implicitly in Mattila’s text [13].
We now return to the main question: what are the fractal measures of a typical compact metric space? We are, of course, not the first to ask this question. Indeed, many different aspects of this problem have been studied by several authors during the past 20 years, including [1, 4, 6, 12] and the references therein, and the question also appears implicitly in [5]. While (almost) all previous work, including, for example, [1, 4,5,6], study fractal measures of typical compact subsets of a given complete metric space, this paper adopts a new and different viewpoint introduced very recently by Rouyer [20] and investigated further in [12], namely, we investigate typical compact metric spaces belonging to the Gromov–Hausdorff space \(K_{\textsf {GH}}\) of all compact metric spaces. For example, in [12] the authors prove the following result about the fractal measures of a typical compact metric spaces belonging to the Gromov–Hausdorff space \(K_{\textsf {GH}}\).
Theorem A
[12] Let h be a continuous dimension function. A typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
We immediately note that the result in Theorem A is qualitatively similar to the behaviour of the Hausdorff measure of a typical compact subset of a fixed complete metric space. Indeed, it follows from [1, Remark 4.3] that if h is a right-continuous dimension function and X is a given fixed complete metric space, then a typical compact subset K of X satisfies \({\mathcal {H}}^{h}(K)=0\). We also note that Theorem A shows that the lower Hewitt–Stromberg measure (and hence the Hausdorff measure and the Hausdorff dimension) of a typical compact metric space is as small as possible and that the upper Hewitt–Stromberg measure (and hence the packing measure and the packing dimension) of a typical compact metric space is as big as possible. Other studies of typical compact sets, see [5, 15, 20], show the same dichotomy. For example, [20] proves that a typical compact metric space has lower box dimension equal to 0 and upper box dimension equal to \(\infty \), and Gruber [5] and Myjak and Rudnicki [15] prove that if X is a metric space, then the lower box dimension of a typical compact subset of X is as small as possible and that the upper box dimension of a typical compact subset of X is (in many cases) as big as possible. The purpose of this paper is to analyse this intriguing dichotomy, and, in particular, the dichotomy in Theorem A, in more detail. We will prove that the behaviour of a typical compact metric space is spectacularly more irregular than suggested by Theorem A and the results in [5, 15, 20]. Namely, there are standard techniques, known as averaging systems, that (at least in some cases) can assign limiting values to divergent functions; the precise definition of an averaging system will be given in Sect. 2.5 below. This technique can be applied to the definition of the Hewitt–Stromberg measures as follows. Namely, for \(E\subseteq X\) and \(r>0\), let \(M_{r}(E)\) denote the largest number of pairwise disjoint closed balls in X with centres in E and radii equal to r, and for a dimension function h, define the h-dimensional box counting function \(F_{E}^{h}(r)\) of E by
The Hewitt–Stromberg measures \({\mathcal {U}}^{h}(E)\) and \({\mathcal {V}}^{h}(E)\) of a subset E of X are defined in terms of the lower and upper limits of the box counting function \(F_{E}^{h}(r)\) of E, namely,
i.e. the measures \({\mathcal {U}}^{h}\) and \({\mathcal {V}}^{h}\) are obtained by applying Munroe’s Method I to the set functions \(E\mapsto \liminf _{r\searrow 0} F_{E}^{h}(r)\) and \(E\mapsto \limsup _{r\searrow 0} F_{E}^{h}(r)\), see [14]. Fixing an averaging system, \(\Pi \) say, and replacing the lower and upper limits of \(F_{E_{i}}^{h}(r)\) in (1.2) by the lower and upper \(\Pi \)-averages of \(F_{E_{i}}^{h}(r)\) yields the lower and upper average Hewitt–Stromberg measures \({\mathcal {U}}_{\Pi }^{h}(X)\) and \({\mathcal {V}}_{\Pi }^{h}(X)\); see Sect. 2.5 for precise definitions of this. The average Hewitt–Stromberg measures form an interpolation between the Hausdoff measure and the packing measure that is finer than the interpolation (1.1) provided by the Hewitt–Stromberg measures; more precisely, we have
The purpose of this paper is to show the following (surprising?) result: not only is the box counting function \(F_{X}^{h}(r)\) of a typical compact metric space X so divergent that \({{\mathcal {U}}}^{h}(X)=0\) and \({{\mathcal {V}}}^{h}(X)=\infty \), but it is so irregular that it remains spectacularly divergent even after being “averaged” or “smoothened out” by very general averaging systems \(\Pi \) (satisfying the mild closure-stability condition in Sect. 2.6). Specifically, if \(\Pi \) is an averaging system, then the associated average Hewitt–Stromberg measures satisfy \({{\mathcal {U}}}_{\Pi }^{h}(X)=0\) and \({{\mathcal {V}}}_{\Pi }^{h}(X)=\infty \) for a typical compact metric space X; more precisely, we prove the following theorem.
Theorem 1.1
(Special case of Theorem 2.5) Let h be a continuous dimension function and let \(\Pi \) be an averaging system satisfying the h-closure stability condition in Sect. 2.6. A typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
We present several applications of this result. For example, as an application of Theorem 1.1 we show that a typical compact metric space X is so irregular that the lower (upper) average Hewitt–Stromberg measures associated with all higher order Hölder averages of the box counting function \(F_{X}^{h}(r)\) equal 0 (\(\infty \)); below we state a precise version of this and refer the reader to Theorem 3.1 for a more general version of the result.
Theorem 1.2
(Special case of Theorem 3.1) Let h be a continuous dimension function and \(n\in \mathbb N\cup \{0\}\). We define the n’th order Hölder averages, denoted by \(F_{E,n}^{h}(t)\), of the box counting function \(F_{E}^{h}(r)\) of a subset E of a metric space X inductively by
and we define the lower and upper n’th order Hölder average Hewitt–Stromberg measures of X by
The higher order Hölder average Hewitt–Stromberg measures form a double infinite hierarchy between the Hausdorff measure and the packing measure in (at least) countably infinite many levels, namely,
and a typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
for all \(n\in \mathbb N\cup \{0\}\).
We emphasise that Theorems 1.1 and 1.2 are special cases of more general results presented in Sect. 2.
The paper is structured as follows. We first recall the definitions of the Gromov–Hausdorff space and the Gromov–Hausdorff metric in Sect. 2.1. In Sects. 2.2–2.3 we recall the definitions of the various fractal measures investigated in the paper. The definitions of the Hausdorff and packing measures are recalled in Sect. 2.2 and the definitions of the Hewitt–Stromberg measures are recalled in Sect. 2.3; while the definitions of the Hausdorff and packing measures are well-known, we have, nevertheless, decided to include these – there are two main reasons for this: firstly, to make it easier for the reader to compare and contrast the Hausdorff and packing measurers with the less well-known Hewitt–Stromberg measures, and secondly, to provide a motivation for the Hewitt–Stromberg measures. Section 2.4 recalls earlier results on the values of the Hausdorff measure, the packing measure and the Hewitt–Stromberg measures of typical compact metric spaces; this discussion is included in order to motivate our main results presented Sects. 2.5–2.6. In Sect. 2.5 we define average Hewitt–Stromberg measures, and in Sect. 2.6 we compute the exact values of average Hewitt–Stromberg measures of typical compact metric spaces. In Sect. 3 we apply the main results from Sects. 2.5–2.6 to the detailed study of average Hewitt–Stromberg measures associated with two of the most important types of averages, namely, higher order Hölder averages and higher order Cesaro averages. Finally, the proofs are given in Sects. 4–6.
2 Statements of results
2.1 The Gromov–Hausdorff space \(K_{\textsf {GH}}\) and the Gromov–Hausdorff metric \(d_{\textsf {GH}}\)
We define the pre-Gromov–Hausdorff space \({\mathcal {K}}_{\textsf {GH}}\) by
Next, we define the equivalence relation \(\sim \) in \({\mathcal {K}}_{\textsf {GH}}\) as follows, namely, for \(X,Y\in {\mathcal {K}}_{\textsf {GH}}\), write
It is clear that \(\sim \) is an equivalence relation in \({\mathcal {K}}_{\textsf {GH}}\), and the Gromov–Hausdorff space \(K_{\textsf {GH}}\) is now defined as the space of equivalence classes, i.e.
While elements of \(K_{\textsf {GH}}\) are equivalence classes of compact metric spaces, we will use the standard convention and identify an equivalence class with it representative, i.e. we will regard the elements of \(K_{\textsf {GH}}\) as compact metric spaces and not as equivalence classes of compact metric spaces. Next, we define the Gromov–Hausdorff metric \(d_{\textsf {GH}}\) on \(K_{\textsf {GH}}\). If Z is a metric space, and A and B are compact subsets of Z, then the Hausdorff distance \(d_{\textsf {H}}(A,B)\) between A and B is defined by
where \( {\text {dist}}(z,E) = \inf _{x\in E}d(z,x) \) for \(z\in Z\) and \(E\subseteq Z\). The Gromov–Hausdorff metric \(d_{\textsf {GH}}\) on \(K_{\textsf {GH}}\) is now define by
for \(X,Y\in K_{\textsf {GH}}\). The reader is referred to [18, Chapter 10] for a detailed discussion of the Gromov–Hausdorff space and the Gromov–Hausdorff metric. In particular, we note that it follows from [18] that the Gromov–Hausdorff space (\(K_\mathrm{GH}\), \(d_\mathrm{GH}\)) is complete (and, hence, not meagre) and the classification of subsets of \(K_\mathrm{GH}\) using Baire category is therefore meaningful.
2.2 Hausdorff measure and packing measure
While the definitions of the Hausdorff and packing measures (and the Hausdorff and packing dimensions) are well-known, we have, nevertheless, decided to briefly recall the definitions below. There are several reasons for this: firstly, since we are working in general (compact) metric spaces, the different definitions that appear in the literature may not all agree and for this reason it is useful to state precisely the definitions that we are using; secondly, and perhaps more importantly, the less well-known Hewitt–Stromberg measures (which will be defined below in Sect. 2.3) play an important part in this paper and to make it easier for the reader to compare and contrast the definitions of the Hewitt–Stromberg measures and the definitions of the Hausdorff and packing measures it is useful to recall the definitions of the latter measures; thirdly, in order to provide a motivation for the Hewitt–Stromberg measures. We start by recalling the definition of a dimension function.
Definition
(Dimension function) A function \(h:(0,\infty )\rightarrow (0,\infty )\) is called a dimension function if h is increasing, right continuous and \(\lim _{r\searrow 0}h(r)=0\).
The Hausdorff measure associated with a dimension function h is defined as follows. Let X be a metric space and \(E\subseteq X\). For \(\delta >0\), we write
The h-dimensional Hausdorff measure \({\mathcal {H}}^h(E)\) of E is now defined by
The reader is referred to Rogers classical text for [19] for an excellent and systematic discussion the Hausdorff measures \({\mathcal {H}}^{h}\).
The packing measure associated with a dimension function h is defined as follows. For \(x\in X\) and \(r>0\), let C(x, r) denote the closed ball in X with centre at x and radius equal to r, and for \(\delta >0\), write
The h-dimensional prepacking measure \(\overline{{\mathcal {P}}}^h(E)\) of E is now defined by
and the h-dimensional packing measure \({\mathcal {P}}^{t}(E)\) of E is defined as follows
2.3 Hewitt–Stromberg measures
Hewitt–Stromberg measures were introduced by Hewitt and Stromberg in their classical textbook [10, (10.51)]. While Hausdorff and packing measures are defined using coverings and packings by families of sets with diameters less than a given positive number, \(\delta \) say, the Hewitt–Stromberg measures are defined using packings of balls with the same diameter \(\delta \).
We will now recall the definition the Hewitt–Stromberg measures. Let X be a metric space and \(E\subseteq X\). We first recall the definition of the packing number of E. For \(r>0\), the packing number \(M_{r}(E)\) of E is defined by
Next, we recall the definition of the Hewitt–Stromberg measures associated with a dimension function h. For a metric space X and \(E\subseteq X\), we define the lower and upper h-dimensional Hewitt–Stromberg pre-measures, denote by \(\overline{{\mathcal {U}}}^{h}\) and \(\overline{{\mathcal {V}}}^{h}\), respectively, by
Finally, we define the lower and upper h-dimensional Hewitt–Stromberg measures, denote by \({{\mathcal {U}}}^{h}\) and \({{\mathcal {V}}}^{h}\), respectively, by
The next result summarises the basic inequalities satisfied by the Hewitt–Stromberg measures, the Hausdorff measure and the packing measure.
Proposition 2.1
Let h be a dimension function. Then we have
for all metric spaces X and all \(E\subseteq X\).
Proof
This follows immediately from the definitions; see also [2, pp. 32–36]. \(\square \)
2.4 Hausdorff measures, packing measures and Hewitt–Stromberg measures of typical compact spaces
Jurina et al [12] have recently computed the Hausdorff measures, the packing measures and the Hewitt–Stromberg measures of typical compact spaces; this is the content of Theorem B below.
Theorem B
[12] Hausdorff measures, packing measures and Hewitt–Stromberg measures of typical compact spaces. Let h be a continuous dimension function.
-
(1)
A typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
$$\begin{aligned} { {\mathcal {H}}}^{h}(X) = { {\mathcal {U}}}^{h}(X) = \overline{ {\mathcal {U}}}^{h}(X) = 0. \end{aligned}$$ -
(2)
A typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
$$\begin{aligned} {\mathcal {V}}^{h}(U) = \overline{{\mathcal {V}}}^{h}(U) = {\mathcal {P}}^{h}(U) = \infty \end{aligned}$$for all non-empty open subsets U of X. In particular, a typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
$$\begin{aligned} {\mathcal {V}}^{h}(X) = \overline{{\mathcal {V}}}^{h}(X) = {\mathcal {P}}^{h}(X) = \infty . \end{aligned}$$
Theorem B shows that the lower Hewitt–Stromberg pre-measure and the lower Hewitt–Stromberg measure of a typical compact metric space are as small as possible and that the upper Hewitt–Stromberg pre-measure and the upper Hewitt–Stromberg measure of a typical compact metric space are as big as possible. We will analyse this intriguing dichotomy in more details by forming different types of averages. In order to do so, we introduce the following notation. Namely, for a dimensions function h and a subset E of a metric space X, we define the h-dimensional box counting function \(f_{E}^{h}:(0,\infty )\rightarrow [0,\infty ]\) of E by
(hence, the h-dimensional box counting function \(f_{E}^{h}(t) = M_{e^{-t}}(E)\,h(2e^{-t})\) in (2.2) is obtained from the h-dimensional box counting function \(F_{E}^{h}(r) = M_{r}(E)\,h(2r)\) in Sect. 1 by introducing the following change of variables, namely, by letting \(r=e^{-t}\); the reason for this change of variables is that it is more convenient to let \(t\rightarrow \infty \) when forming averages than letting \(r\searrow 0\)). Using the notation from (2.1), the Hewitt–Stromberg pre-measures of X are now given by
and Theorem B therefore shows that the h-dimensional box counting function \(f_{X}^{h}(t)\) of a typical compact metric space \(X\in K_{\textsf {GH}}\) diverges in the worst possible way as \(t\rightarrow \infty \). Below we analyse this divergence in detail using average procedures known as average systems.
2.5 Average Hewitt–Stromberg measures
We start by recalling the definition of an averaging (or summability) system; the reader is referred to Hardy’s classical text [9] for a systematic treatment of averaging systems.
Definition
(Average system) An averaging system is a family \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) with \(t_{0}>0\) such that:
-
(i)
\(\Pi _{t}\) is a finite Borel measure on \([t_{0},\infty )\);
-
(ii)
\(\Pi _{t}\) has compact support;
-
(iii)
The Consistency Condition: If \(f:[t_{0},\infty )\rightarrow [0,\infty )\) is a positive measurable function and there is a real number a such that \( f(t)\rightarrow a\,\,\,\,\text {as } t\rightarrow \infty , \) then \( \int f\,d\Pi _{t}\rightarrow a\,\,\,\,\text {as } t\rightarrow \infty . \)
If \(f:[t_{0},\infty )\rightarrow [0,\infty )\) is a positive measurable function, then we define lower and upper \(\Pi \)-average of f by
and
respectively.
Applying averaging systems to the box counting function \(f_{E}^{h}(t)\) in (2.2) leads to the definition of average Hewitt–Stromberg measures.
Definition
(Average Hewitt–Stromberg measures) Let h be a dimension function and let \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) be an averaging system. For a metric space X and \(E\subseteq X\), we define the lower and upper \(\Pi \)-average h-dimensional Hewitt–Stromberg pre-measures of E by
and
We define the lower and upper \(\Pi \)-average h-dimensional Hewitt–Stromberg measures of E by
and
respectively
Note that Hewitt–Stromberg measures are, in fact, average Hewitt–Stromberg measures. Indeed, if X a metric space and we let \(\Pi \) denote the average system defined by \(\Pi =(\delta _{t})_{t\ge 1}\) (where \(\delta _{t}\) denotes the Dirac measure concentrated at t), then clearly
for all subsets E of X. Below we list the basic inequalities satisfied by the average Hewitt–Stromberg measures, the Hausdorff measure and the packing measure.
Proposition 2.2
Let h be a dimension function and let \(\Pi \) be an averaging system. Then we have
for all metric spaces X and all \(E\subseteq X\).
Proof
The statement is not difficult to prove and we have therefore decided to omit the proof. \(\square \)
2.6 Average Hewitt–Stromberg measures of typical compact spaces
In this section we present our main results. Many of our main results are valid for arbitrary averaging systems. However, in order to obtain the most optimal results we occasionally will have to assume that the averaging system satisfies a mild technical condition, namely, the h-closure-stability condition given in the following definition.
Definition
(h-closure-stable) Let h be a dimension function. An averaging system \(\Pi \) is called h-closure-stable if \(\overline{{\mathcal {U}}}_{\Pi }^{h}(\overline{E})=\overline{{\mathcal {U}}}_{\Pi }^{h}(E)\) and \(\overline{{\mathcal {V}}}_{\Pi }^{h}(\overline{E})=\overline{{\mathcal {V}}}_{\Pi }^{h}(E)\) for all metric spaces X and all \(E\subseteq X\).
We immediately note that two important classes of averaging system are closure-stable. Namely, Proposition 2.3 (below) shows that the trivial averaging system \(\Pi =(\delta _{t})_{t\ge 1}\) is h-closure-stable for any dimension function, and Proposition 2.4 (below) shows that if \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) is an averaging system and each measure \(\Pi _{t}\) has a continuous density with respect to Lebesgue measure, then \(\Pi \) is h-closure-stable for any continuous dimension function.
Proposition 2.3
The averaging system \(\Pi =(\delta _{t})_{t\ge 1}\) (where \(\delta _{t}\) denotes the Dirac measure concentrated at t) is h-closure-stable for any dimension function h.
Proof
This follows easily from the definitions and we have therefore decided to omit the proof.
Proposition 2.4
Let \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) be an averaging system and assume that for each t there is a measurable function \(\pi _{t}:[t_{0},\infty )\rightarrow [0,\infty )\) satisfying
for all Borel sets B and such that if we write \(T_{t}=\sup {\text {supp}}\pi _{t}\), then
-
(i)
\({\text {supp}}\pi _{t}=[t_{0},T_{t}]\);
-
(ii)
\(\pi _{t}\) is continuous on \([t_{0},T_{t}]\);
-
(iii)
\(\pi _{t}>0\) on \([t_{0},T_{t}]\).
Then \(\Pi \) is h-closure-stable for any continuous dimension function h.
The proof of Proposition 2.4 is given in Sect. 4. We can now state the main result in this paper, namely, Theorem 2.5 below. Theorem 2.5 provides the following (surprising?) extension of Theorem B: not only is the box counting function \( f_{X}^{h}(t) = M_{e^{-t}}(X)\,h(2e^{-t}) \) of a typical compact metric space X divergent as \(t\rightarrow \infty \), but it is so irregular that it remains spectacularly divergent as \(t\rightarrow \infty \) even after being “averaged” or “smoothened out” using very general averaging systems including, as will be shown in Sect. 3, all higher order Hölder and Cesaro averages.
Theorem 2.5
(Average Hewitt–Stromberg measures of typical compact spaces) Let h be a continuous dimension function and let \(\Pi \) be an averaging system.
-
(1)
A typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
$$\begin{aligned} \overline{ {\mathcal {U}}}_{\Pi }^{h}(X) = 0. \end{aligned}$$ -
(2)
A typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
$$\begin{aligned} \overline{{\mathcal {V}}}_{\Pi }^{h}(U) = \infty \end{aligned}$$for all non-empty open subsets U of X.
-
(3)
If, in addition, \(\Pi \) is h-closure-stable, then a typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
$$\begin{aligned} {{\mathcal {V}}}_{\Pi }^{h}(U) = \infty \end{aligned}$$for all non-empty open subsets U of X.
The proof of Theorem 2.5 is given in Sects. 4–6. Section 4 contains various preliminary auxiliary results; the proof of Theorem 2.5.(1) is given in Sect. 5, and the proofs of Theorem 2.5.(2)–(3) are given in Sect. 6.
Note that if we apply Theorem 2.5 to the trivial average system \(\Pi \) defined by \(\Pi =(\delta _{t})_{t\ge 1}\), then it follows from (2.4) that the statement in Theorem 2.5 reduces to Theorem B.
We will now apply Theorem 2.5 to study average Hewitt–Stromberg measures obtained by considering higher order Hölder and Cesaro averages of the box counting function \( f_{X}^{h}(t) = M_{e^{-t}}(X)\,h(2e^{-t}) \); this is the contents of Sect. 3 below.
3 Hölder and Cesaro averages of Hewitt–Strimborg measurers of a typical compact metric space
Two of the most commonly used averaging system are Hölder averages and Cesaro averages. We will now define these average systems and apply them to the box counting function \( f_{X}^{h}(t) = M_{e^{-t}}(X)\,h(2e^{-t}) \) of a metric space X. For \(a>0\) and a positive measurable function \(f:(a,\infty )\rightarrow [0,\infty )\), we define \(Mf:(a,\infty )\rightarrow [0,\infty )\) by
For a positive integer n, we now define the lower and upper n’th order Hölder averages of f by
The Cesaro averages are defined as follows. First, we define \(If:(a,\infty )\rightarrow [0,\infty )\) by
For a positive integer n, we now define the lower and upper n’th order Cesaro averages of f by
It is well-known that the Hölder and Cesaro averages satisfy the following inequalities, namely,
It is also well-known that the Hölder and Cesaro averages are averaging systems in the sense of the definition in Sect. 2.5. Indeed, if we for a positive integer n, define the averaging system \(\Pi _{n}^{\textsf {H}} = (\Pi _{n,t}^{\textsf {H}})_{t\ge a}\) by
for Borel subsets B of \([a,\infty )\), then
see, for example, [11, p. 675]. Similarly, if we for a positive integer n, define the averaging system \(\Pi _{n}^{\textsf {C}}=(\Pi _{n,t}^{\textsf {C}})_{t\ge a}\) by
then
see, for example, [9, pp. 110-111].
Using Hölder and Cesaro averages we can now introduce average Hölder and Cesaro Hewitt–Stromberg measures by applying the definitions of the Hölder and Cesaro averages to the function \( f_{X}^{h}(t) = M_{e^{-t}}(X)\,h(2e^{-t})\). This is the content of the next definition.
Definition
(Average Hölder and Cesaro Hewitt–Stromberg measures) Let X be a metric space and n an integer with \(n\ge 0\). We define the lower and upper n’th order average Hölder Hewitt–Stromberg measures of a subset E of X, denoted \( {\mathcal {U}}_{n}^{\textsf {H},h}(E)\) and \( {\mathcal {V}}_{n}^{\textsf {H},h}(E)\), by
Similarly, we define the lower and upper n’th order average Cesaro Hewitt–Stromberg measures of a subset E of X, denoted \( {\mathcal {U}}_{n}^{\textsf {C},h}(E)\) and \( {\mathcal {V}}_{n}^{\textsf {C},h}(E)\), by
The higher order average Hölder and Cesaro Hewitt–Stromberg measures form a double infinite hierarchy between the Hausdorff measure and the packing measure in (at least) countably infinite many levels, namely, we have (using (3.1))
As an application of Theorem 2.5, we will now show that the behaviour of a typical compact metric space \(X\in K_{\textsf {GH}}\) is so irregular that not even the hierarchies in (3.2) formed by taking Hölder and Cesaro averages of all orders are sufficiently powerful to “smoothen out” the behaviour of the box counting function \( f_{X}^{h}(t) = M_{e^{-t}}(X)\,h(2e^{-t})\) as \(t\rightarrow \infty \).
Theorem 3.1
Let h be a continuous dimension function. A typical compact metric space \(X\in K_{\textsf {GH}}\) satisfies
for all \(n\in \mathbb N\cup \{0\}\), and
for all non-empty open subsets U of X and all \(n\in \mathbb N\cup \{0\}\).
Proof
This statement follows immediately from Theorem 2.5. \(\square \)
4 Proof of Proposition 2.4
We now turn towards the proof of Proposition 2.4. More precisely, the purpose of this section is threefold. Firstly, we recall a technical auxiliary result due to Gruber [5] and Rouyer [20] about the packing number (defined in (2.1)) and the covering number (defined below) of a metric space; this result plays an important role in Sects. 5, 6 and is stated in Lemma 4.1. Secondly, we prove an auxiliary results about the average h-dimensional Hewitt–Stromberg measures associated with h-closure-stable average systems; this result also plays an important role in Sects. 5, 6 and is proven in Lemma 4.2. Thirdly, and finally, we prove Proposition 2.4 showing that if \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) is an averaging system and each measure \(\Pi _{t}\) has a continuous density with respect to Lebesgue measure, then \(\Pi \) is h-closure-stable for any continuous dimension function h.
We first recall the statement in Lemma 4.1 below; this is a well-known result due to Gruber [5] and Rouyer [20] and lists some useful continuity properties of the packing number and the covering number of a metric space. Recall, that if X is a metric space and \(E\subseteq X\), then the packing number \(M_{r}(E)\) of E is defined by
We also define the covering number \(N_{r}(E)\) of E by
We can now state Lemma 4.1
Lemma 4.1
-
(1)
The function \(N_{r}:K_{\textsf {GH}} \rightarrow \mathbb R\) is lower semi-continuous for all \(r>0\).
-
(2)
The function \(M_{r}:K_{\textsf {GH}} \rightarrow \mathbb R\) is upper semi-continuous for all \(r>0\).
-
(3)
We have \(M_{r}(X)\le N_{r}(X)\le M_{\frac{r}{3}}(X)\) for all \(r>0\) and all \(X\in K_{\textsf {GH}}\).
Proof
This follows from [20, Lemma 9]; see also [5]. \(\square \)
Secondly, we prove Lemma 4.2 providing a useful technique for establishing lower bounds for the average h-dimensional Hewitt–Stromberg measures associated with h-closure-stable average systems. Recall (see Sect. 2.6), that if h is a dimension function, then an average system \(\Pi \) is called h-closure-stable if \( \overline{{\mathcal {U}}}_{\Pi }^{h}(\overline{E}) = \overline{{\mathcal {U}}}_{\Pi }^{h}(E)\) and \( \overline{{\mathcal {V}}}_{\Pi }^{h}(\overline{E}) = \overline{{\mathcal {V}}}_{\Pi }^{h}(E)\) for all metric spaces X and all \(E\subseteq X\). We can now state Lemma 4.2.
Lemma 4.2
Let h be a continuous dimension function and let \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) be an h-closure-stable averaging system. Let X be a complete metric space and let C be a compact subset of X. Fix \(c\ge 0\). Then the following statements hold.
-
(1)
If \( \overline{{\mathcal {U}}}_{\Pi }^{h}(V\cap C) \ge c \) for all open subsets V of X with \(V\cap C\not =\varnothing \), then \( {{\mathcal {U}}}_{\Pi }^{h}(C) \ge c\).
-
(2)
If \( \overline{{\mathcal {V}}}_{\Pi }^{h}(V\cap C) \ge c \) for all open subsets V of X with \(V\cap C\not =\varnothing \), then \( {{\mathcal {V}}}_{\Pi }^{h}(C) \ge c\).
Proof
(1) Assume that \( \overline{{\mathcal {U}}}_{\Pi }^{h}(V\cap C) \ge c \) for all open subsets V of X with \(V\cap C\not =\varnothing \). We must now show that \( {{\mathcal {U}}}_{\Pi }^{h}(C) \ge c\). Let \((E_{i})_{i}\) be a countable family of subsets of X with \(C\subseteq \cup _{i}E_{i}\). Since \(C = \cup _{i}E_{i} \subseteq \cup _{i}\overline{{E_{i}}}\), it follows from Baire’s category theorem that there is an index \(i_{0}\) and an open subset W of X such that \(C\cap W\not =\varnothing \) and \(C\cap W\subseteq \overline{{E_{i_{0}}}}\). We therefore conclude that \( \overline{{\mathcal {U}}}_{\Pi }^{h}(\,\overline{E_{i_{0}}}\,) \ge \overline{{\mathcal {U}}}_{\Pi }^{h}(C\cap W) \ge c\). Since \(\Pi \) is h-closure-stable, it follows from this that
Finally, using (4.3) and taking infimum over all countable families \((E_{i})_{i}\) of subsets of X with \(C\subseteq \cup _{i}E_{i}\), shows that \({\mathcal {U}}_{\Pi }^{h}(E) = \inf _{E\subseteq \cup _{i=1}^\infty E_i}\sum _{i=1}^\infty \overline{{\mathcal {U}}}_{\Pi }^h(E_i)\ \ge c\).
(2) The proof of this statement is identical to the proof of the statement in Part (1) and is therefore omitted. \(\square \)
Thirdly, and finally, we prove Proposition 2.4 from Sect. 2. We start with a small lemma.
Lemma 4.3
Let \(r>0\) and \(0<u<1\). Then
for all compact metric spaces X and all \(E\subseteq X\).
Proof
Write \(\delta =1-u\in (0,1)\). It follows from the definition of the packing number \(M_{r}(\,\overline{E}\,)\) that we can find a family \((C(x_{i},r))_{i=1}^{M_{r}(\,\overline{E}\,)}\) of pairwise disjoint closed balls \(C(x_{i},r)\) in X with radii equal to r and centres \(x_{i}\in \overline{E}\). Since \(x_{i}\in \overline{E}\), there is a point \(y_{i}\in E\) such that \(y_{i}\in B(x_{i},\delta r)\), whence \(C(y_{i},(1-\delta )r) \subseteq C(x_{i},r)\). As the family \((C(x_{i},r))_{i=1}^{M_{r}(\,\overline{E}\,)}\) consists of pairwise disjoint balls, we therefore conclude that \((C(y_{i},(1-\delta )r))_{i=1}^{M_{r}(\,\overline{E}\,)}\) is a family of pairwise disjoint closed balls in X with radii equal to \((1-\delta )r\) and centres \(y_{i}\in E\). This clearly implies that \( M_{r}(\,\overline{E}\,) \le M_{(1-\delta )r}(E) = M_{ur}(E)\). \(\square \)
We can now prove Proposition 2.4.
Proof of Proposition 2.4
Let X be a metric space and \(E\subseteq X\). It is clear that \( \overline{{\mathcal {U}}}_{\Pi }^{h}(E) \le \overline{{\mathcal {U}}}_{\Pi }^{h}(\overline{E})\) and \( \overline{{\mathcal {V}}}_{\Pi }^{h}(E) \le \overline{{\mathcal {V}}}_{\Pi }^{h}(\overline{E})\), and it therefore suffices to prove that \( \overline{{\mathcal {U}}}_{\Pi }^{h}(\overline{E}) \le \overline{{\mathcal {U}}}_{\Pi }^{h}(E)\) and \( \overline{{\mathcal {V}}}_{\Pi }^{h}(\overline{E}) \le \overline{{\mathcal {V}}}_{\Pi }^{h}(E)\). We will now prove these inequalities. Let \(\varepsilon >0\). Fix \(t\ge t_{0}\). Next we define three numbers \(\rho _{t}\), \(\delta _{t}\) and \(u_{t}\) as follows.
Definition of\(\rho _{t}\). Write \( K_{t} = \{ (u,v)\,|\, u\ge t_{0}, \,\, v\ge 0, \,\, t_{0}\le u-v\le T_{t} \}\) and define \(D_{t}:K_{t}\rightarrow [0,\infty )\) by \(D_{t}(u,v)=\frac{\pi _{t}(u-v)}{\pi _{t}(u)}\). Since \(K_{t}\) is compact and \(D_{t}\) is continuous, we conclude that \(D_{t}\) is uniformly continuous, and we can therefore find a positive real number \(\rho _{t}>0\) such that if \((u',v'),(u'',v'')\in K_{t}\) and \(|(u',v')-(u'',v'')|\le \rho _{t}\), then \( |D_{t}(u',v')-D_{t}(u'',v'')|\le \varepsilon \). In particular, this implies that if \((u,v)\in K_{t}\) and \(v\le \rho _{t}\), then \(|(u,v)-(u,0)|=v\le \rho _{t}\), and so \( |D_{t}(u,v)-D_{t}(u,0)|\le \varepsilon \), whence
Definition of \(\delta _{t}\). Since h is continuous, and therefore uniformly continuous on compact subintervals of \((0,\infty )\), we can find a positive real number \(\delta _{t}>0\), such that if \(s',s''\in [t_{0},T_{t}]\) with \(|s'-s''|\le \delta _{t}\), then
Definition of\(u_{t}\). We can clearly choose a positive number \(0<u_{t}<1\) such that
After having defined the numbers \(\rho _{t}\), \(\delta _{t}\) and \(u_{t}\), we put \(v_{t}=|\log u_{t}|\) and note that \(u_{t}e^{-s}=e^{-(s+v_{t})}\) for all real numbers s. Also, if \(s\in [t_{0},T_{t}]\), then we conclude from this and Lemma 4.3 that
However, since \(|(s+v_{t})-s|=v_{t}=|\log u_{t}|\le \delta _{t}\), it follows from (4.5) that \(h(2e^{-s}) \le h(2e^{-(s+v_{t})}) + \frac{ \varepsilon }{ M_{e^{-(T_{t}+1)}}(E) }\), and (4.7) therefore implies that
Next, note that \(e^{-(T_{t}+1)} \le e^{-(s+v_{t})}\) (because \(s\le T_{t}\) and \(v_{t}=|\log u_{t}|\le 1\)), whence \( M_{e^{-(s+v_{t})}}(E) \le M_{e^{-(T_{t}+1)}}(E)\), and so \( \frac{ M_{e^{-(s+v_{t})}}(E) }{ M_{e^{-(T_{t}+1)}}(E) } \le 1\). It follows from this and (4.8) that
for all \(s\in [t_{0},T_{t}]\).
Write \(\varepsilon _{t}=\varepsilon \int \,d\Pi _{t}\) and note that it follows from (4.9) that
Next, it follows from the definition of \(v_{t}=|\log u_{t}|\) and (4.6) that \(v_{t} \, ( \sup _{t_{0}\le s\le T_{t}+1}f_{E}^{h}(s) ) ( \sup _{t_{0}\le s\le T_{t}}\pi _{t}(s) ) \le \varepsilon \), and we therefore conclude from (4.10) that
Also, note that for all \(u\in [t_{0}+v_{t},T_{t}]\), we have \((u,v_{t})\in K_{t}\) and \(v_{t}=|\log u_{t}|\le \rho _{t}\) (by (4.6)), and it therefore follows from (4.4) that \(D_{t}(u,v_{t})\le 1+\varepsilon \). We deduce from this and (4.11) that
Since the consistency condition implies that \(\varepsilon _{t}=\varepsilon \int \,d\Pi _{t}\rightarrow \varepsilon \) as \(t\rightarrow \infty \), we conclude from (4.12) and the definitions of \( \overline{{\mathcal {U}}}_{\Pi }^{h}(\overline{E}) = \liminf _{t} \int f_{\overline{E}}^{h}\,d\Pi _{t}\) and \( \overline{{\mathcal {U}}}_{\Pi }^{h}(E) = \liminf _{t} \int f_{E}^{h}\,d\Pi _{t}\) that \(\overline{{\mathcal {U}}}_{\Pi }^{h}(\overline{E}) \le (1+\varepsilon )\overline{{\mathcal {U}}}_{\Pi }^{h}(E)+2\varepsilon \). Finally, letting \(\varepsilon \searrow 0\), gives \(\overline{{\mathcal {U}}}_{\Pi }^{h}(\overline{E}) \le \overline{{\mathcal {U}}}_{\Pi }^{h}(E)\). Similarly, using (4.12) we also conclude that \(\overline{{\mathcal {V}}}_{\Pi }^{h}(\overline{E}) \le \overline{{\mathcal {V}}}_{\Pi }^{h}(E)\). \(\square \)
5 Proof of Theorem 2.5.(1)
The purpose of this section is to prove Theorem 2.5.(1). Recall, that if h is a dimension function and \(X\in K_{\textsf {GH}}\), then we define the function \(f_{X}^{h}:(0,\infty )\rightarrow (0,\infty )\) by
For a dimension function h, an averaging system \(\Pi =(\Pi _{t})_{t\ge t_{0}}\), and \(t,c>0\), write
Lemma 5.1
Let h be a dimension function and let \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) be an averaging system. Fix \(t,c>0\). Then the set \(L_{t,c}^{h,\Pi }\) is open in \( K_{\textsf {GH}}\).
Proof
Write
We must now prove that F is closed in \(K_{\textsf {GH}}\). In order to show this, we fix a sequence \((X_{n})_{n}\) in F and \(X\in K_{\textsf {GH}}\) with \(X_{n}\rightarrow X\). We must now prove that \(X\in F\), i.e. we must prove that \( \int f_{X}^{h} \,d\Pi _{t} \ge c\). We prove this inequality below. For brevity define functions \(\varphi ,\varphi _{n}:[t_{0},\infty )\rightarrow [0,\infty )\) by
We now prove the following three claims.
Claim 1
We have \(\int \sup _{n}\varphi _{n}\,d\Pi _{t}<\infty \).
Proof of Claim 1
The measure \(\Pi _{t}\) has compact support, and we can therefore find \(T_{0}\ge t_{0}\), such that \({\text {supp}}\Pi _{t}\subseteq [t_{0},T_{0}]\). It follows from Lemma 4.1 that \(M_{e^{-T_{0}}}\) is upper semi-continuous, and so \(\limsup _{n}M_{e^{-T_{0}}}(X_{n})\le M_{e^{-T_{0}}}(X)\). In particular, this implies that there is a constant K such that \(M_{e^{-T_{0}}}(X_{n})\le K\) for all n. For positive integers n and \(s\in [t_{0},T_{0}]\) we therefore conclude that \( \varphi _{n}(s) = M_{e^{-s}}(X_{n})\,h(2e^{-s}) \le M_{e^{-T_{0}}}(X_{n})\,h(2e^{-t_{0}}) \le K\,h(2e^{-t_{0}}) \). Finally, since \({\text {supp}}\Pi _{t}\subseteq [t_{0},T_{0}]\), it therefore follows that \(\int \sup _{n}\varphi _{n}\,d\Pi _{t} = \int _{t_{0}}^{T_{0}} \sup _{n}\varphi _{n}\,d\Pi _{t} \le K\,h(2e^{-t_{0}}) \, \Pi _{t}([t_{0},T_{0}]) <\infty \) This completes the proof of Claim 1.
Claim 2
We have \(c\le \int \limsup _{n}\varphi _{n}\,d\Pi _{t}\).
Proof of Claim 2
Since \(X_{n}\in F\), we conclude that \( c \le \int f_{X_{n}}^{h}\,d\Pi _{t} = \int \varphi _{n} \,d\Pi _{t}\) for all n, whence
It also follows from Claim 1 and the Reverse Fatou Lemma (see, for example, [21, Theorem 3.2.3]) that
The desired result follows immediately from (5.2) and (5.3). This completes the proof of Claim 2.
Claim 3
For all \(s\ge t_{0}\), we have \(\limsup _{n}\varphi _{n}(s)\le \varphi (s)\), and so \(\int \limsup _{n}\varphi _{n}\,d\Pi _{t}\le \int \varphi \,d\Pi _{t}\).
Proof of Claim 3
This follows from the fact that \(M_{r}:K_{\textsf {GH}}\rightarrow \mathbb R\) is upper semi-continuous for all \(r>0\) by Lemma 4.1. This completes the proof of Claim 3.
Finally, we deduce immediately from Claims 2 and 3 that \( c \le \int \limsup _{n}\varphi _{n}\,d\Pi _{t} \le \int \varphi \,d\Pi _{t} = \int f_{X}^{h} \,d\Pi _{t}\). \(\square \)
Proposition 5.2
Let h be a dimension function and let \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) be an averaging system.
-
(1)
For \(c\in \mathbb R^{+}\), write
$$\begin{aligned} T_{c} = \left\{ X\in K_{\textsf {GH}} \,\Big |\, \overline{{\mathcal {U}}}_{\Pi }^{h}(X)\le c \right\} . \end{aligned}$$Then \(T_{c}\) is co-meagre.
-
(2)
Write
$$\begin{aligned} T = \left\{ X\in K_{\textsf {GH}} \,\Big |\, \overline{{\mathcal {U}}}_{\Pi }^{h}(X)=0 \right\} . \end{aligned}$$Then T is co-meagre.
Proof
(1) It suffices to show that there is a countable family \((G_{u})_{u\in {\mathbb {Q}}^{+}}\) of open and dense subsets \(G_{u}\) of \(K_{\textsf {GH}}\) with \(\cap _{u\in {\mathbb {Q}}^{+}}G_{u}\subseteq T_{c}\). For \(u\in {\mathbb {Q}}^{+}\), we define the set \(G_{u}\) by
recall that the set \(L_{t,c}^{h,\Pi }\) is defined in (5.1). Below we prove that the sets \(G_{u}\) are open and dense subsets of \(K_{\textsf {GH}}\) with \(\cap _{u\in {\mathbb {Q}}^{+}}G_{u}\subseteq T_{c}\); this is the contents of the three claims below.
Claim 1
\(G_{u}\) is open in \(K_{\textsf {GH}}\).
Proof of Claim 1
This follows immediately from Lemma 5.1. This completes the proof of Claim 1.
Claim 2
\(G_{u}\) is dense in \(K_{\textsf {GH}}\).
Proof of Claim 2
We first prove that \(\{ X\in K_{\textsf {GH}} \,|\, X \text { is finite} \} \subseteq G_{u}\). Indeed, if X is a finite metric space, then it is clear that \(f_{X}^{h}(t) = M_{e^{-t}}(X)\,h(2e^{-t}) \rightarrow 0\), and the consistency condition therefore implies that \(\int f_{X}^{h}\,d\Pi _{t}\rightarrow 0\). It follows from this that there is a number t with \(t>u\) and \(\int f_{X}^{h}\,d\Pi _{t}<c\), whence \(X\in L_{t,c}^{h,\Pi }\subseteq G_{u}\). This proves that \(\{ X\in K_{\textsf {GH}} \,|\, X \text { is finite} \} \subseteq G_{u}\).
Next, since \(\{ X\in K_{\textsf {GH}} \,|\, X \text { is finite} \} \subseteq G_{u}\) and \( \{ X\in K_{\textsf {GH}} \,|\, X \text { is finite} \}\) is dense in \(K_{\textsf {GH}}\), we conclude that \(G_{u}\) is dense in \(K_{\textsf {GH}}\). This completes the proof of Claim 2.
Claim 3
\(\cap _{u\in {\mathbb {Q}}^{+}}G_{u}\subseteq T_{c}\).
Proof of Claim 3
Let \(X\in \cap _{u\in {\mathbb {Q}}^{+}}G_{u}\). We must now show that \(\overline{{\mathcal {U}}}_{\Pi }^{h}(X)\le c\). Since \(X \in \cap _{u\in {\mathbb {Q}}^{+}}G_{u} \subseteq \cap _{n}G_{n} \), we conclude that for each positive integer n, we can find a positive number \(t_{n}\) with \(t_{n}>n\) such that \(X\in L_{t_{n},c}^{h}\), whence \(\int f_{X}^{h}\,d\Pi _{t_{n}}<c\). It follows immediately from this that \(\overline{{\mathcal {U}}}_{\Pi }^{h}(X) = \liminf _{t}\int f_{X}^{h}\,d\Pi _{t} \le \liminf _{n}\int f_{X}^{h}\,d\Pi _{t_{n}} \le c\), and so \(X\in T_{c}\). This completes the proof of Claim 3.
(2) This statement follows immediately from Part (1) since \(T=\cap _{c\in {\mathbb {Q}}^{+}}T_{c}\). \(\square \)
We can now prove Theorem 2.5.(1).
Proof of Theorem 2.5.(1)
Theorem 2.5.(1) follows immediately from Proposition 5.2.(2). \(\square \)
6 Proof of Theorem 2.5.(2)–(3)
The purpose of this section is to prove Theorem 2.5.(2)–(3). We start by introducing the following notation. First, recall that for a positive real number r, the covering number \(N_{r}(X)\) of a metric space X is defined in (2.1). Next, for a dimension function h and a metric space X, define the function \(g_{X}^{h}:(0,\infty )\rightarrow (0,\infty )\) by
Finally, for a dimension function h, an averaging system \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) and \(r,t,c>0\), write
and
Lemma 6.1
Let h be a dimension function and let \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) be an averaging system. Fix \(t,c>0\). Then the set \(\Lambda _{t,c}^{h,\Pi }\) is open in \( K_{\textsf {GH}}\).
Proof
Write
We must now prove that F is closed in \(K_{\textsf {GH}}\). In order to show this, we fix a sequence \((X_{n})_{n}\) in F and \(X\in K_{\textsf {GH}}\) with \(X_{n}\rightarrow X\). We must now prove that \(X\in F\), i.e. we must prove that \( \int g_{X}^{h} \,d\Pi _{t} \le c\). We prove this inequality below. For brevity define functions \(\varphi ,\varphi _{n}:[t_{0},\infty )\rightarrow [0,\infty )\) by
We now prove the following two claims.
Claim 1
We have \(\int \liminf _{n}\varphi _{n}\,d\Pi _{t}\le c\).
Proof of Claim 1
Since \(X_{n}\in F\), we conclude that \( \int \varphi _{n} \,d\Pi _{t} = \int g_{X_{n}}^{h}\,d\Pi _{t} \le c \) for all n, whence \( \liminf _{n} \int \varphi _{n} \,d\Pi _{t} \le c \). It follows immediately from this and Fatou’s Lemma that \(\int \liminf _{n}\varphi _{n} \,d\Pi _{t} \le \liminf _{n}\int \varphi _{n} \,d\Pi _{t} \le c\). This completes the proof of Claim 1.
Claim 2
For all \(s\ge t_{0}\), we have \(\varphi (s)\le \liminf _{n}\varphi _{n}(s)\), and so \(\int \varphi \,d\Pi _{t}\le \int \liminf _{n}\varphi _{n}\,d\Pi _{t}\).
Proof of Claim 3
This follows from the fact that \(N_{r}:K_{\textsf {GH}}\rightarrow \mathbb R\) is lower semi-continuous for all \(r>0\) by Lemma 4.1. This completes the proof of Claim 2.
Finally, we deduce from Claim 1 and Claim 2 that \( \int g_{X}^{h} \,d\Pi _{t} = \int \varphi \,d\Pi _{t} \le \int \liminf _{n}\varphi _{n}\,d\Pi _{t} \le c\). \(\square \)
Proposition 6.2
Let h be a dimension function and let \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) be an averaging system. Fix \(r,t,c>0\). Then the set \(L_{r,t,c}^{h,\Pi }\) is open in \(K_{\textsf {GH}}\).
Proof
Let \(X\in L_{r,t,c}^{h,\Pi }\) and let \(d_{X}\) denote the metric in X. We must now find \(\rho >0\) such that \(B(X,\rho )\subseteq L_{r,t,c}^{h}\).
Since \(X\in L_{r,t,c}^{h,\Pi }\), we conclude that here is a positive integer N and
such that
Define \(\Phi :X\rightarrow \mathbb R\) by \(\Phi (x)=\min _{i}d_{X}(x,x_{i})\) and note that \(\Phi \) is continuous. Since X is compact, we conclude that there is a point \(x_{0}\in X\) such that \(\Phi (x_{0})=\sup _{x\in X}\Phi (x)\). For brevity write \(r_{0}=\Phi (x_{0})=\sup _{x\in X}\Phi (x)\), and note that since \(x_{0}\in X=\cup _{i}B(x_{i},r)\), we can find \(i_{0}\) with \(x_{0}\in B(x_{i_{0}},r)\), whence
Also, since \(C_{i}\) is compact and \(C_{i}\subseteq B(x_{i},r)\), we conclude that
For brevity write
Finally, since \(C_{i}\in \Lambda _{t_{i},c}^{h,\Pi }\) and \(\Lambda _{t_{i},c}^{h,\Pi }\) is open (by Lemma 6.1), we conclude that there is a positive real number \(\rho _{i}>0\) with
Now put
It follows from (6.4) and (6.5) that \(\rho >0\). We will now prove that
We therefore fix \(Y\in B(X,\rho )\) and proceed to show that \(Y\in L_{r,t,c}^{h,\Pi }\). Let \(d_{Y}\) denote the metric in Y. Since \(d_{\textsf {GH}}(X,Y)<\rho \), it follows that we may assume that there is a complete metric space \((Z,d_{Z})\) with \(X,Y\subseteq Z\) and \(d_{\textsf {H}}(X,Y)<\rho \) such that \(d_{X}(x',x'') = d_{Z}(x',x'')\) for all \(x',x''\in X\), and \(d_{Y}(y',y'') = d_{Z}(y',y'')\) for all \(y',y''\in Y\). Below we use the following notation allowing us to distinguish balls in Y and balls in Z. Namely, we will denote the open ball in Y with radius equal to \(\delta \) and centre at \(y\in Y\) by \(B_{Y}(y,\delta )\), i.e. \(B_{Y}(y,\delta ) = \{y'\in Y\,|\,d_{Y}(y,y')<\delta \}\), and we will denote the open ball in Z with radius equal to \(\delta \) and centre at \(z\in Z\) by \(B_{Z}(z,\delta )\), i.e. \(B_{Z}(z,\delta ) = \{z'\in X\,|\,d_{X}(z,z')<\delta \}\). We must now show that \(Y\in L_{r,t,c}^{h,\Pi }\). Since \(d_{\textsf {H}}(X,Y)<\rho \), we conclude that for each i, there is a point \(y_{i}\in Y\) with \(d_{Z}(x_{i},y_{i})<\rho \). Next, put
It is clear that
Hence, to prove that \(Y\in L_{r,t,c}^{h,\Pi }\), it suffices to show that
The proofs of (6.8)–(6.10) are the contents of the three claims below.
Claim 1
\(Y=\cup _{i}B_{Y}(y_{i},r)\).
Proof of Claim 1
It is clear that \(\cup _{i}B_{Y}(y_{i},r)\subseteq Y\). In order to prove the reverse inclusion, we let \(y\in Y\). Since \(d_{\textsf {H}}(X,Y)<\rho \), we conclude that there is a point \(x\in X\) with \(d_{Z}(x,y)<\rho \). Also, since \(\min _{i}d_{X}(x,x_{i})=\Phi (x)\le r_{0}\), we deduce that there is an index j with \(d_{X}(x,x_{j})\le r_{0}\). Finally, it follows from the definition of \(y_{j}\) that \(d_{Z}(x_{j},y_{j})<\rho \). Hence \(d_{Y}(y,y_{j}) = d_{Z}(y,y_{j}) \le d_{Z}(y,x) + d_{Z}(x,x_{j}) + d_{Z}(x_{j},y_{j}) = d_{Z}(y,x) + d_{X}(x,x_{j}) + d_{Z}(x_{j},y_{j}) < \rho +r_{0}+\rho = 2\rho +r_{0} \le r\), and so \(y\in B_{Y}(y_{j},r)\subseteq \cup _{i}B_{Y}(y_{i},r)\). This completes the proof of Claim 1.
Claim 2
\(K_{i}\subseteq B(y_{i},r)\) for all i.
Proof of Claim 2
Since \(C_{i}\subseteq B_{X}(x_{i},r)\), it follows from the definition of the numbers \( r_{i} = \inf \{ s\,|\,C_{i}\subseteq B(x_{i}s) \}\) and \(d_{i}=r-r_{i}\), that
Next, since \(d_{Z}(x_{i},y_{i}) < \rho \le \tfrac{d_{i}}{16}\le \tfrac{d_{i}}{4}\), it follows that
Finally, combining (6.11) and (6.12) shows that
We can now prove that \(K_{i}\subseteq B_{Y}(y_{i},r)\). Let \(y\in K_{i}\). Since \(y\in K_{i}\), we have \( {\text {dist}}_{Z}(y,C_{i}) \le \rho \le \tfrac{d_{i}}{16} < \tfrac{d_{i}}{8}\), and it therefore follows that there is \(x\in C_{i}\) with \(d_{Z}(x,y)\le \tfrac{d_{i}}{8}\). Also, we deduce from (6.13) that \(x\in C_{i}\subseteq B_{Z}(y_{i},r-\tfrac{d_{i}}{4})\), whence \(d_{Z}(x,y_{i})\le r-\tfrac{d_{i}}{4}\). Combining the previous inequalities we have \(d_{Y}(y,y_{i}) = d_{Z}(y,y_{i}) \le d_{Z}(y,x)+d_{Z}(x,y_{i}) \le \tfrac{d_{i}}{8}+r-\tfrac{d_{i}}{4} < r\), and so \(y\in B_{Y}(y_{i},r)\). This completes the proof of Claim 2.
Claim 3
\(K_{i}\in \Lambda _{t_{i},c}^{h,\Pi }\) for all i.
Proof of Claim 3
It is clear that \(K_{i}\) is a closed subset of Y and so \(K_{i}\in K_{\textsf {GH}}\).
We now prove that
Indeed, let \(x\in C_{i}\). Since \(d_{\textsf {H}}(X,Y)<\rho \), we conclude that there is \(y\in Y\) such that \(d_{Z}(x,y)<\rho \). In particular, since \(x\in C_{i}\), this shows that \({\text {dist}}(y,C_{i})\le d_{Z}(y,x)\le \rho \), and so \(y\in K_{i}\). We deduce from this that \({\text {dist}}(x,K_{i})\le d_{Z}(x,y)\le \rho \). Finally, taking supremum over all \(x\in C_{i}\) shows that \(\sup _{x\in C_{i}}{\text {dist}}(x,K_{i})\le \rho \). This completes the proof of (6.14).
Next, we prove that
Indeed, let \(y\in K_{i}\). Since \(y\in K_{i}\), it follows from the definition of \(K_{i}\) that there is \(x\in C_{i}\) such that \(d_{Z}(y,x)\le \rho \), and so \({\text {dist}}(y,C_{i})\le d_{Z}(y,x)\le \rho \). Finally, taking supremum over all \(y\in K_{i}\) shows that \(\sup _{y\in D_{i}}{\text {dist}}(y,C_{i})\le \rho \). This completes the proof of (6.15).
Combining (6.14) and (6.15), we immediately conclude that \(d_{\textsf {H}}(C_{i},K_{i}) = \max ( \sup _{x\in C_{i}}{\text {dist}}(x,K_{i}), \sup _{y\in K_{i}}{\text {dist}}(y,C_{i}) ) \le \rho \le \tfrac{\rho _{i}}{2} < \rho _{i}\), whence \(K_{i}\in B(C_{i},\rho _{i}) \subseteq \Lambda _{t_{i},c}^{h,\Pi }\). This completes the proof of Claim 3.
It follows immediately from Claims 1–3 that \(Y\in L_{r,t,c}^{h}\). \(\square \)
Proposition 6.3
Let h be a continuous dimension function and let \(\Pi =(\Pi _{t})_{t\ge t_{0}}\) be an averaging system.
-
(1)
For \(c\in \mathbb R^{+}\), write
$$\begin{aligned} T_{c} = \left\{ X\in K_{\textsf {GH}} \,\Big |\, \overline{{\mathcal {V}}}_{\Pi }^{h}(U)\ge c\quad \text {for all open subsets } U \text { of } X \text { with } U\not =\varnothing \right\} . \end{aligned}$$Then \(T_{c}\) is co-meagre.
-
(2)
Write
$$\begin{aligned} T = \left\{ X\in K_{\textsf {GH}} \,\Big |\, \overline{{\mathcal {V}}}_{\Pi }^{h}(U)=\infty \quad \text {for all open subsets } U \text { of } X \text { with } U\not =\varnothing \right\} . \end{aligned}$$Then T is co-meagre.
-
(3)
Write
$$\begin{aligned} S = \left\{ X\in K_{\textsf {GH}} \,\Big |\, {\mathcal {V}}_{\Pi }^{h}(U)=\infty \quad \text {for all open subsets } U \text { of } X \text { with } U\not =\varnothing \right\} . \end{aligned}$$If, in addition, \( \overline{{\mathcal {V}}}_{\Pi }^{h}(\overline{E}) = \overline{{\mathcal {V}}}_{\Pi }^{h}(E)\) for all metric spaces and all \(E\subseteq X\), then S is co-meagre.
Proof
(1) It suffices to show that there is a countable family \((G_{r,u})_{r,u\in {\mathbb {Q}}^{+}}\) of open and dense subsets \(G_{r,u}\) of \(K_{\textsf {GH}}\) such that \(\cap _{r,u\in {\mathbb {Q}}^{+}}G_{r,u}\subseteq T_{c}\). For \(r,u\in {\mathbb {Q}}^{+}\), we define the set \(G_{r,u}\) by
recall, that the set \(L_{r,t,c}^{h,\Pi }\) is defined in (6.2)–(6.3). We now prove that the sets \(G_{r,u}\) are open and dense subsets of \(K_{\textsf {GH}}\) such that \(\cap _{r,u\in {\mathbb {Q}}^{+}}G_{r,u}\subseteq T_{c}\); this is the contents of the three claims below.
Claim 1
\(G_{r,u}\) is open in \(K_{\textsf {GH}}\).
Proof of Claim 1
This follows immediately from Proposition 6.2. This completes the proof of Claim 1.
Claim 2
\(G_{r,u}\) is dense in \(K_{\textsf {GH}}\).
Proof of Claim 2
Let \(X\in K_{\textsf {GH}}\) and \(\rho >0\). Also, let \(d_{X}\) denote the metric in X. We must now find \(Y\in G_{r,u}\) such that \(d_{\textsf {GH}}(X,Y)<\rho \).
Firstly, since X is compact, we can find a finite subset E of X such that
Note that it is clear that we can find a constant \(k>0\) such that for all \(n\in \mathbb N\), all \(s>0\) and all \(\delta >0\), we have
Next, choose real numbers T, t such that \(T>t>u\), and for positive integers n, define \(\varphi _{n}:(t_{0},\infty )\rightarrow (0,\infty )\) by
Note that \(\varphi _{n}\nearrow \infty \), and it therefore follows from the Monotone Convergence theorem that \(\int \varphi _{n}\,d\Pi _{T}\nearrow \int \infty \,d\Pi _{T}=\infty \). In particular, this implies that we can choose a positive integer N with
Put \(\delta _{0}=\min (\frac{\rho }{2},r)\) and let \(C=\{z\in \mathbb R^{N}\,|\,|z|\le \delta _{0}\}\). Finally, we define the space Y by
and equip Y with the supremum metric \(d_{Y}\) induced by \(d_{X}\) and \(|\cdot |\), i.e. \(d_{Y}(\,(x',z'), \,(x'',z'')\,) = \max ( \, d_{X}(x',x'') , \, |z'-z''| \, )\) for \(x',x''\in E\) and \(z',z''\in C\). It is clear that Y is compact, and so \(Y\in K_{\textsf {GH}}\). Below we show that \(d_{\textsf {GH}}(X,Y)<\rho \) and \(Y\in G_{r,u}\).
Proof of\(d_{\textsf {GH}}(X,Y)<\rho \). Define \(f:E\rightarrow Y\) and \(g:Y\rightarrow Y\) by \(f(x)=(x,0)\) and \(g:Y\rightarrow Y\) by \(g(x,z)=(x,z)\). It is clear that f and g are isometries and we therefore conclude that \( d_{\textsf {GH}}(E,Y) \le d_{\textsf {H}}(f(E),g(Y)) = d_{\textsf {H}}(E\times \{0\}\},E\times C) \le \sup _{z\in C}|z| = \delta _{0} \le \tfrac{\rho }{2}\), whence \( d_{\textsf {GH}}(X,Y) \le d_{\textsf {GH}}(X,E) + d_{\textsf {GH}}(E,Y)< d_{\textsf {H}}(X,E) + \tfrac{\rho }{2} < \tfrac{\rho }{2} + \tfrac{\rho }{2} =\rho \). This completes the proof of \(d_{\textsf {GH}}(X,Y)<\rho \).
Proof of\(Y\in G_{r,u}\). Write \(E=\{x_{1},\ldots ,x_{M}\}\) and put
for \(i=1,\ldots ,M\). In order to prove that \(Y\in G_{r,u}\), it suffices the show that \(Y\in L_{r,t,c}^{h,\Pi }\), and in order to show that \(Y\in L_{r,t,c}^{h,\Pi }\), it clearly suffices to prove that
Below we show that the statements in (6.18)–(6.20) are satisfied.
Indeed, it is clear that \(Y = E\times C = \cup _{i}(\{x_{i}\}\times C) = \cup _{i}B(y_{i},r)\); this proves (6.18).
It is also clear that \(C_{i} \subseteq B(y_{i},r)\) for all i; this proves (6.19).
Finally, we prove (6.20). We have
However, it follows from (6.16) that \(N_{e^{-s}}(C)\ge k e^{sN}\), and we therefore conclude from (6.21) that
Finally, combining (6.17) and (6.22), we now deduce that \( \int g_{C_{i}}^{h}\,d\Pi _{t_{i}} \ge k \frac{c}{k} = c \), whence \(C_{i}\in \Lambda _{t_{i},c}^{h,\Pi }\). This completes the proof of (6.20).
It follows immediately from (6.18)–(6.20) that \(Y\in L_{r,t,c}^{h,\Pi }\subseteq G_{r,u}\). This completes the proof of Claim 2.
Claim 3
\(\cap _{r,u\in {\mathbb {Q}}^{+}}G_{r,u}\subseteq T_{c}\).
Proof of Claim 3
Let \(X\in \cap _{r,u\in {\mathbb {Q}}^{+}}G_{r,u}\). We must now show that if U is an open subset of X with \(U\not =\varnothing \), then \(\overline{{\mathcal {V}}}_{\Pi }^{h}(U)\ge c\). We therefore let U be an open subset of X with \(U\not =\varnothing \), and proceed to show that \(\overline{{\mathcal {V}}}_{\Pi }^{h}(U)\ge c\). Since U is non-empty and open there is \(x_{0}\in U\) and \(r_{0}>0\) with \(B(x_{0},r_{0})\subseteq U\). Next, since \(X \in \cap _{r,u\in {\mathbb {Q}}^{+}}G_{r,u} \subseteq \cap _{n}G_{\frac{r_{0}}{2},n} \), we conclude that for each positive integer n, we can find a positive real number \(t_{n}\) with \(t_{n}>n\) such that \(X\in L_{\frac{r_{0}}{2},t_{n},c}^{h,\Pi }\). In particular, this implies that there is a positive integer \(N_{n}\) and
such that
Since \(x_{0}\in X=\cup _{i}B(x_{n,i},\tfrac{r_{0}}{2})\), we can choose an index \(i_{n}\in \{1,\ldots ,N_{n}\}\) such that \(x_{0}\in B(x_{n,i_{n}},\tfrac{r_{0}}{2})\), whence \(B(x_{n,i_{n}},\tfrac{r_{0}}{2}) \subseteq B(x_{0},r_{0})\), and so \(C_{n,i_{n}} \subseteq B(x_{n,i_{n}},\tfrac{r_{0}}{2}) \subseteq B(x_{0},r_{0}) \subseteq U\). Since it follows from Lemma 4.1 that \(f_{U}^{h}(s)\ge g_{U}^{h}(s)\) for all s, we conclude from this combined with the fact that \(C_{n,i_{n}}\in \Lambda _{t_{n,i_{n}},c}^{h,\Pi }\), that \(\int f_{U}^{h}\,d\Pi _{t_{n,i_{n}}} \ge \int g_{U}^{h}\,d\Pi _{t_{n,i_{n}}} \ge \int g_{C_{n,i_{n}}}^{h}\,d\Pi _{t_{n,i_{n}}} \ge c\). Finally, since \(t_{n,i_{n}}> t_{n}>n\) and so \(t_{n,i_{n}}\rightarrow \infty \), we deduce from the previous inequality that \(\overline{{\mathcal {V}}}_{\Pi }^{h}(U) = \limsup _{t}\int f_{U}^{h}\,d\Pi _{t} \ge \limsup _{n}\int f_{U}^{h}\,d\Pi _{t_{n,i_{n}}} \ge c\). This completes the proof of Claim 3.
(2) This statement follows immediately from Part (1) since clearly \(T=\cap _{c\in {\mathbb {Q}}^{+}}T_{c}\).
(3) Using Part (2), it clearly suffices to prove that
We will now prove (6.23). Let \(X\in T\). We must now show that \(X\in S\), i.e. we must show that if U is an open subset of X with \(U\not =\varnothing \), then \({\mathcal {V}}_{\Pi }^{h}(U)=\infty \). We therefore let U be an open subset of X with \(U\not =\varnothing \), and proceed to show that \({\mathcal {V}}_{\Pi }^{h}(U)=\infty \). Since U is non-empty and open there is \(x\in U\) and \(r>0\) such that \(B_{X}(x,r)\subseteq U\). In particular, if we write \(C=\overline{B(x,\tfrac{r}{2})}\), then C is compact and \(C\subseteq B(x,r)\subseteq U\). Next, we prove the following claim.
Claim 4
If V is an open subset of X with \(V\cap C\not =\varnothing \), then \(\overline{{\mathcal {V}}}_{\Pi }^{h}(V\cap C)=\infty \).
Proof of Claim 4
Let V be an open subset of X with \(V\cap C\not =\varnothing \). We must now show that \(\overline{{\mathcal {V}}}_{\Pi }^{h}(V\cap C)=\infty \). As \(V\cap C\not =\varnothing \), it is possible to choose \(y\in V\cap C\). Since \(y\in V\) and V is open, we can choose \(\varepsilon >0\) such that \(B(y,\varepsilon )\subseteq V\). Next, since \(y\in C = \overline{B(x,\tfrac{r}{2})}\), we choose \(z\in B(x,\tfrac{r}{2})\) such that \(z\in B(y,\varepsilon )\). Finally, since \(z\in B(x,\tfrac{r}{2})\cap B(y,\varepsilon )\), we can find \(\delta >0\) with \(B(z,\delta )\subseteq B(x,\tfrac{r}{2})\cap B(y,\varepsilon )\), whence \(B(z,\delta )\subseteq B(x,\tfrac{r}{2})\cap B(y,\varepsilon ) \subseteq C\cap V\), and so
However, since \(B(z,\delta )\) is open and non-empty and \(X\in T\), it follows that \(\overline{{\mathcal {V}}}_{\Pi }^{h}(B(z,\delta ))=\infty \), and we therefore conclude from (6.24) that \( \overline{{\mathcal {V}}}_{\Pi }^{h}(C\cap V)=\infty \). This completes the proof of Claim 4.
Finally, it follows immediately from Claim 4 and Lemma 4.2 that \({\mathcal {V}}_{\Pi }^{h}(C)=\infty \), and since \(C\subseteq U\), this implies that \({\mathcal {V}}_{\Pi }^{h}(U)=\infty \). \(\square \)
We can now prove Theorem 2.5.(2)–(3).
Proof of Theorem 2.5.(2)–(3)
The statements in Theorems 2.5.(2) and 2.5.(3) follow immediately from the statements in Propositions 6.3.(2) and 6.3.(3), respectively. \(\square \)
References
Balka, R., Máthé, A.: Generalized Hausdorff measure for generic compact sets. Ann. Acad. Sci. Fenn. Math. 38, 797–804 (2013)
Edgar, G.: Integral, Probability, and Fractal Measures. Springer, New York (1998)
Falconer, K.J.: Fractal Geometry. Wiley, Chichester (1989)
Feng, D.-J., Wu, J.: Category and dimension of compact subsets of \({\mathbb{R}}^{n}\). Chin. Sci. Bull. 42, 1680–1683 (1997)
Gruber, P.: Dimension and structure of typical compact sets, continua and curves. Monatsh. Math. 108, 149–164 (1989)
Gruber, P., Zamfirescu, T.: Generic properties of compact starshaped sets. Proc. AMS 108, 207–214 (1990)
Haase, H.: A contribution to measure and dimension of metric spaces. Math. Nachr. 124, 45–55 (1985)
Haase, H.: Open-invariant measures and the covering number of sets. Math. Nachr. 134, 295–307 (1987)
Hardy, G.: Divergent Series. Oxford University Press, Oxford (1949)
Hewitt, E., Stromberg, K.: Real and Abstract Analysis. A Modern Treatment of the Theory of Functions of a Real Variable. Springer, New York (1965)
Jacob, M.: Über die Äquivalenz der Cesaroschen und der Hölderschen Mittel für Integrale bei gleicher reeller Ordnung \(k>0\). Math. Z. 26, 672–682 (1927)
Jurina, S., MacGregor, N., Mitchell, A., Olsen, L., Stylianou, A.: On the Hausdorff and packing measures of typical compact metric spaces. Aequ. Math. 92, 709–735 (2018)
Mattila, P.: Geometry of Sets and Measures in Euclidean Spaces, Fractals and Rectifiability, Cambridge Studies in Advanced Mathematics, vol. 44. Cambridge University Press, Cambridge (1995)
Munroe, M.: Introduction to Measure and Integration. Addison-Wesley, Cambridge (1953)
Myjak, J., Rudnicki, R.: Box and packing dimensions of typical compact sets. Monatsh. Math. 131, 223–226 (2000)
Oxtoby, J.: Measure and Category. A Survey of the Analogies Between Topological and Measure Spaces, Graduate Texts in Mathematics, vol. 2. Springer, New York (1971)
Pesin, Y.: Dimension Theory in Dynamical Systems, Contemporary views and applications, Chicago Lectures in Mathematics. University of Chicago Press, Chicago (1997)
Petersen, P.: Riemannian Geometry, 2nd edn. Graduate Texts in Mathematics, vol. 171. Springer, New York (2006)
Rogers, C.A.: Hausdorff Measures. Cambridge University Press, London (1970)
Rouyer, J.: Generic properties of compact metric spaces. Topol. Appl. 158, 2140–2147 (2011)
Stroock, D.: Essentials of Integration Theory for Analysis. Springer, New York (2011)
Zindulka, O.: Packing measures and dimensions on Cartesian products. Publ. Mat. 57, 393–420 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
OpenAccess This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Olsen, L. On average Hewitt–Stromberg measures of typical compact metric spaces. Math. Z. 293, 1201–1225 (2019). https://doi.org/10.1007/s00209-019-02239-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-019-02239-3
Keywords
- Box dimension
- Compact metric space
- The Gromov–Hausdorff metric
- Hewitt–Stromberg measures
- Hausdorff measure
- Packing measure