Published online by Cambridge University Press: 20 November 2018
(a) (ᓂ1 and ᓂ2 will always denote positive bounded measures of equal mass defined on sets X and F respectively. Lp(ᓂ1) and Lp(ᓂ2) will always be complex Lp spaces.
(b) M C L∞(ᓂ1) will always denote a subalgebra of L∞(ᓂ1) containing constants.
(c) Let be a 1 inear map of ikf into Lp(ᓂ2). We shall say that T is a linear isometry in LP norm if
We shall prove the following:
THEOREM B. If 2 < p < ∞ and is a linear isometry in the Lp norm with T(l) = 1 then T is a homomorphism on M; that is