Abstract: | Let X be a locally compact topological space and (X, E, Xω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set Xω ⊆ X, such that all internal subsets of Xω are relatively compact in the induced topology and X is homeomorphic to the quotient Xω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function
X ? *\Bbb CX \rightarrow {}{^{\ast}{\Bbb C}}
. The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient
Mw(X)/M0(X){\cal M}_{\omega}(X)/{\cal M}_0(X)
, for certain external subspaces
M0(X), Mw(X){\cal M}_0(X), {\cal M}_{\omega}(X)
of the hyperfinite dimensional Banach space
*\Bbb CX{}{^{\ast}{\Bbb C}}^X
, with the norm ‖f‖1 = ∑x ∈ X |f(x)|. If additionally X = G is a hyperfinite group, Xω = Gω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G0 of Gω, and G is isomorphic to the locally compact group Gω/G0, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and
Mw(G)/M0(G){\cal M}_{\omega}(G)/{\cal M}_0(G)
are isometrically isomorphic as Banach algebras. |