On Busemann-Feller extensions of translation invariant density differentiation bases (Q6111382)

A~differentiation basis is a~mapping~\(B\) such that for each \(x\in\mathbb{R}^n\), \(B(x)\) is a~collection of bounded measurable sets of positive measure which contain~\(x\) and there is a~sequence \((R_k)\) of sets from~\(B(x)\) with \(\lim_{k\to\infty}\mathrm{diam}(R_k)=0\). The Busemann-Feller extension of the basis~\(B\) is the differentiation basis~\(B_\mathrm{BF}\) defined by \(B_\mathrm{BF}(x)=\{R\in\overline{B}:x\in R\}\) where \(\overline{B}=\bigcup_{x\in\mathbb{R}^n}B(x)\) is the spread of the basis~\(B\). For \(f\in L(\mathbb{R}^n)\) and \(x\in\mathbb{R}^n\) we denote by \(\overline{D}_B({\int}f,x)\) and \(\underline{D}_B({\int}f,x)\) the upper and the lower limit of the integral means \(\frac1{|R|}\int_Rf\) for \(R\in B(x)\), respectively. We say that \(B\)~differentiates \({\int}f\) if \(\overline{D}_B({\int}f,x)=\underline{D}_B({\int}f,x)=f(x)\) for almost all \(x\in\mathbb{R}^n\). \(B\)~is said to be a~density basis if \(B\)~differentiates \({\int}\chi_E\) for every bounded measurable set \(E\subseteq\mathbb{R}^n\). \textit{G. Oniani} [Fundam. Math. 246, No. 2, 205--216 (2019; Zbl 1423.28007)] has proved that if \(B\)~is a~translation invariant convex density basis then its Busemann-Feller extension~\(B_\mathrm{BF}\) is a~density basis and it differentiates the same class of non-negative functions as~\(B\). In the paper under review the author proves that for every \(n\ge2\) there exists a~homothecy invariant basis~\(B\) in~\(\mathbb{R}^n\) which differentiates the integrals of all summable functions on~\(\mathbb{R}^n\) but its Busemann-Feller extension~\(B_\mathrm{BF}\) is not a~density basis.