Some regular properties of the Hewitt-Stromberg measures with respect to doubling gauges (Q6081108)

A gauge \(g\colon [0,\infty)\longrightarrow [0,\infty)\) is said to be doubling if there are numbers \(c,\delta>0\) such that \(g(2t)\leq cg(t)\) for \(0<t<\delta\). Put \[g_*:= \lim_{x\nearrow 1}\liminf_{t\searrow 0}\frac{g(xt)}{g(t)}.\] Let \(X\) be a metric space and \(E\subset X\) be (totally) bounded. The Hewitt-Stromberg lower (upper, resp.) pre-measures with respect to the gauge \(g\) are defined \[\overline{H}^g(E)=\liminf_{r\to 0}N_r(E)g(2r),\ \ \bigl(\overline{P}^g(E)=\limsup_{r\to 0}N_r(E)g(2r),\ \text{resp}.\bigr),\] where \(N_r(E)\) is the supremum of cardinalities of the disjoint families of closed balls \(B(x_i,r)\) with the radius \(r\) and \(x_i\in E\). Finally, the lower (upper, resp.) Hewitt-Stromberg measures with respect to the gauge \(g\) are \[H^g(E)=\inf\Bigl\{\sum_i \overline{H}^g(E_i) \Bigm\vert E\subset \bigcup_iE_i\Bigr\},\] \[\Bigl(P^g(E)=\inf\Bigl\{\sum_i \overline{P}^g(E_i) \Bigm\vert E\subset \bigcup_iE_i\Bigr\},\ \text{resp.}\Bigr). \] \par The main results are the following.\par (1) Given a metric space \(X\) with \(\overline{H}^g(X)<\infty\), then for any compact \(F\subset X\), \[g_*\cdot\inf\{ \overline{H}^g(U) \mid U \text{ open},\,F\subset U\}\leq \overline{H}^g(F)\] \[\leq \inf\{\overline{H}^g(U) \mid U\,\text{open},\,F\subset U\}.\] \par (2) If \(X\) is a complete separable metric space, \(\overline{H}^g\) is finitely subadditive and the measure \(H^g\) satisfies that for any compact \(E\) with \(H^g(E)>0\) there is a compact \(F\subset E\) with \(0<H^g(F) <\infty\), then \[g_*^2\cdot\sup\overline{H}^g(F)\leq H^g(B)\leq \sup \overline{H}^g(F),\] where \(B\subset X\) is a Borel set and the supremum is taken over all compact subsets \(F\subset B\) with \(\overline{H}^g(F)<\infty\).\par The result (1) holds for the upper Hewitt-Stromberg pre-measure \(\overline{P}^g\), as well. As for the estimate in the statement (2), it holds for the upper Hewitt-Stromberg pre-measure \( \overline{P}^g\) and the Hewitt-Stromberg measure \(P^g\) provided \(P^g\) is inner regular and the sets \(B\) belong to the Carathéodory-measurable \(\sigma\)-algebra.