Limits in compact Abelian groups (Q818341): Difference between revisions

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).