Limits in compact Abelian groups

From MaRDI portal
(Redirected from Publication:818341)



Abstract: Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi in B> converges to 1. If F is a free filter on G, let D_F be the union of all the C_B for B in F. The sets C_B and D_F are subgroups of X. C_B always has Haar measure 0, while the measure of D_F depends on F. We show that there is a filter F such that D_F has measure 0 but is not contained in any C_B. This generalizes previous results for the special case where X is the circle group.


The authors study the pointwise convergence of sequences of characters of compact Abelian groups and its relation to Bohr topologies. For \(X\) a compact Abelian group, \(B\) an inifinite subset of its dual \(\widehat X\), and \(\zeta\in \mathbb T\), let \(C_B(\zeta)\) be the set of all \(x\in X\) such that \(\langle\varphi (x): \varphi\in B\rangle\) converges to \(\zeta\) (that is, every neighborhood of \(\zeta\) contains \(\varphi (x)\) for all but finitely many \(\varphi\in B\)). \(C_B(1)\) is denoted shortly by \(C_B\). \(\widetilde{\mathcal C}_B:=\cup_{\zeta\in \mathbb T} C_B(\zeta)\). If \(\mathcal F\) is a free filter on \(\widehat X\), let \({\mathcal D}_{\mathcal F}=\cup\{C_B: B\in {\mathcal F}\}\). The sets \(C_B\) and \({\mathcal D}_{\mathcal F}\) are subgroups of \(X\). \(C_B\) has always Haar measure 0, while the measure of \({\mathcal D}_{\mathcal F}\) depends on \(\mathcal F\). The authors show that for any infinite compact Abelian group \(X\), there is \(D\) such that: (1) \(D\) is a Haar null subgroup of \(X\); (2) \(D\) is dense in \(X\); (3) \(D\) is not a subset of any countable union of the form \(\cup_n \widetilde{\mathcal C}_{B_n}\), where each \({B_n}\) is an infinite subset of \(\widehat X\); (4) \(D=\mathcal D_{{\mathcal F}_\varphi}\) for some sequence of distinct characters \({\varphi}=\langle\varphi_n :n\in \omega\rangle\) (here \({\mathcal F}_\varphi\) is the filter \(\mathcal F\) generated by all the sets of the form \(\{\varphi_n: n\in E\}\), where \(E\) is a subset of \(\omega\) of asymptotic density 1).











This page was built for publication: Limits in compact Abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q818341)