Published online by Cambridge University Press: 24 October 2008
Let G be a locally compact topological group, and let μ be the left Haar measure on G, with μ the corresponding outer measure. If R' denotes the non-negative extended real numbers, B (G) the Borel subsets of G, and V = {μ(C):C ∈ B(G)}, then we can define ΦG: V × V → R' by
where AB denotes the product set of A and B in G. Then clearly
so that a knowledge of ΦG will give us some idea of how the outer measure of the product set AB compares with the measures of the sets A and B.