A Characterization of Pontryagin Duality.
We define a class of measures having the following properties: (1) the measures are supported on self-similar fractal subsets of the unit cube , with 0 and 1 identified as necessary; (2) the measures are singular with respect to normalized Lebesgue measure m on ; (3) the measures have the convolution property that for some ε = ε(p) > 0 and all p ∈ (1,∞). We will show that if (1/p,1/q) lies in the triangle with vertices (0,0), (1,1) and (1/2,1/3), then for any measure μ in our class.
For 1 ≤ p,q ≤ ∞, we prove that the convolution operator generated by the Cantor-Lebesgue measure on the circle is a contraction whenever it is bounded from to . We also give a condition on p which is necessary if this operator maps into L²().
A convolution operator, bounded on , is bounded on , with the same operator norm, if and are conjugate exponents. It is well known that this fact is false if we replace with a general non-commutative locally compact group . In this paper we give a simple construction of a convolution operator on a suitable compact group , wich is bounded on for every and is unbounded on if .