Nonstandard analysis and compact Abelian groups (Q1177542)

The present paper is a continuation of the author's publications in Sib. Mat. Zh. 29, No. 2(168), 45-59 (1988; Zbl 0718.47037) and Izv. Vyssh. Uchebn. Zaved., Mat. 1989, No. 2(321), 17-25 (1989; Zbl 0694.42018). It is shown that for every uniform space \(X\) there exist an internal hyperfinite set \(M\) and an external equivalence relation \(R\) on \(M\) such that \(X\) is uniformly isomorphic to \(M^ \#=M/R\). For every compact Abelian group \(X\) there exist an inner hyperfinite group \(G\) and its external subgroup \(G_ 0\) such that \(G^ \#=G/G_ 0\) is topologically isomorphic to \(X\). Let \(X\) be a compact separable Abelian group, \(f:X\to\mathbb{C}\) a bounded function such that the set of points of discontinuity of \(f\) is a null set. Let \(\mu_ x\) be a Haar measure on \(X\) such that \(\mu_ x=1\). Then \(\int_ Xf d\mu_ x\) is equal to the standard part of a finite sum of the form \({1\over N}\sum^ N_{i=1} {}^*f(a_ i)\). It is proved that Hilbert-Schmidt operators on \(L_ 2(G^ \#)\) have nonstandard finite-dimensional analogues. The author studies correspondence between the eigenvalues of a Hilbert-Schmidt operator and the eigenvalues of its nonstandard finite-dimensional analogue.