Convergence set (Q1293294)

For a sequence \((g_n)\) in a locally compact abelian group \(G\) and for a set \(E\) in the unit circle define for every \(\gamma\) in the group of characters \(\Gamma\), \(N_\gamma=\{n;\langle g_n,\gamma\rangle\in E\}\). A measurable \(K\subset\Gamma\) is a set of convergence for \((g_n)\) relative to \(E\), provided for every sequence \((a_n)\), \(a_n > 0\), the condition \(\sum\{a_n;n \in N_\gamma\}<\infty\) a.e. on \(K\) implies that \(\sum a_n <\infty\). The concept is useful in the study of trigonometric transforms. It is shown that \(K\) is a set of convergence for \((g_n)\) rel \(E\) provided \(\lim\inf_{n\to\infty}|K\cap g^{-1}_n(E)|> 0\), where \(|\cdot|\) denotes the Haar measure. Some ramifications and applications of this result are given.