Integration of functions ranging in complex Riesz space and some applications in harmonic analysis (Q887471): Difference between revisions

Let \(G\) be a zero-dimensional compact metrizable Abelian group, \((G_n)_{n\in\mathbb{N}}\) a decreasing sequence of open subgroups forming a zero-neighbourhood base and \(\mathcal{T}=\{x+G_n : x\in G , n\in\mathbb{N}\}.\) Let \(R_\mathbb{C}\) be the complexification of a real Riesz space \(R\) and \(L\in\mathcal{T}\). For a function \(f:L\rightarrow R_\mathbb{C}\) the authors define an integral \(\int_L f\) in the sense of Henstock-Kurzweil. Moreover, for \(F:\mathcal{T}\rightarrow R_\mathbb{C}\) there is defined a type of derivation \(DF\), and it is proved under suitable assumptions the formula \(F(L)=\int_L DF\). Let \(\Gamma\) be the character group of \(G\). If \(a_\gamma\in R_\mathbb{C}\) and the series \(f=\sum_{\gamma\in\Gamma}a_\gamma \gamma\) converges in a certain sense, it is proved the formula \(a_\gamma=\int_G f\gamma\).