Henstock type integral in compact zero-dimensional metric space and quasi-measures representations (Q355287)

Let \(X\) be a compact zero-dimensional metric space, \(\{ C_{n}: n \in \mathbb{N} \}\) coverings of \(X\) by mutually disjoint clopen subsets of \(X\) such that each element of \(C_{n}\) is contained in some element of \(C_{n-1}\) and \( \mathcal{I} = \cup C_{n} \) forms a basis of the topology of \(X\). \(\mu\) is a Borel probability measure on \(X\). For each \(x \in X\) and \(n \in \mathbb{N}\) there is unique \(K^{n}_{x} \in C_{n}\) such that \(x \in K^{n}_{x}\). For an arbitrary function \(\nu: X \to \mathbb{N}\), \(\beta_{\mu}= \{ (I, x): x \in X,~I=K^{n}_{x},~ n \geq \nu(x) \}\). \(\mathcal{B}= \{\beta_{\mu} \}_{\nu}\), as \(\nu\) varies as functions \( \nu: X \to \mathbb{N}\), is called derivation basis. In one of their earlier papers [Georgian Math. J. 16, No. 3, 575--582 (2009; Zbl 1179.26031)], the authors defined Henstock-Kurzweil integrability and the integral \(H_{\mathcal{B}} \int_{L} f\) for a real-valued function \(f\) and for an \( L \in \mathcal{I}\). This integral gives an additive set-valued function \(F, \; F(A)= H_{\mathcal{B}} \int_{A} f\), the so-called indefinite integral. For a set function \(F\) on \(\mathcal{I}\), they define upper and lower \(\mathcal{B}\) functions: \(\overline{D}_{\mathcal{B}}F(x)= \limsup \frac{F(K^{n}_{x})}{\mu(K^{n}_{x})}, \;\underline{D}_{\mathcal{B}}F(x)= \liminf \frac{F(K^{n}_{x})}{\mu(K^{n}_{x})}\). The linear space generated by \(\{ \chi_{A}: A \in \mathcal{I}\) is denoted by \(P(X)\) and the elements of its algebraic dual are called quasi-measures. For a quasi-measure \(S\), the \(n\)th partial sum of the Fourier series at \(x\), \(s_{n}(S, x) \), of its ``Fourier series'' is defined as \( S(\chi_{K^{n}_{x}}) / \mu({K^{n}_{x}})\). An \(H_{\mathcal{B}} \)-integrable function \(f\) gives a quasi-measure \(S\): \(S( \chi_{A})= H_{\mathcal{B}} \int _{A} f\). Two main results are: I. Let \(f\) be an \(H_{\mathcal{B}} \)-integrable and \(F\) an additve function on \(\mathcal{I}\) satisfying \( \underline{D}_{\mathcal{B}}F(x) \leq f(x) \leq \overline{D}_{\mathcal{B}}F(x) \) everywhere on \(X\). Then \(D_{\mathcal{B}}F(x)= f(x) \; a.e\) and \(F\) is the indefinite \(H_{\mathcal{B}}\)-integral of \(f\). II. If an \(H_{\mathcal{B}} \)-integrable function \(f\) and the Fourier series partial sums \(s_{n}(S, x) \), corresponding to a quasi-measure \(S\), satisfy \(\liminf s_{n}(S, x) \leq f(x) \leq \limsup s_{n}(S, x)\) everywhere on \(X\), then the sequence \( s_{n}(S, x)\) converges to \(f(x) \; a.e.\) and the quasi-measure \(S\) is generated by the \(H_{\mathcal{B}} \)-integrable function \(f\). When the measure \(\mu\) is non-atomic, some extensions of these results are also given. Some additional related results are proved.