No label defined (Q4240770)

Let \(E\) be a Banach space, \(E^*\) be its topological dual and let \(L^p(\mu,E)\) denote the usual Bochner space of \(p\)-integrable \(E\)-valued functions, \(1\leq p\leq \infty\). A Borel measure \(\mu\) on an extremally disconnected locally compact Hausdorff space is said to be ``perfect if every nonempty open set has positive measure, every nowhere dense Borel set has measure zero, and every nonempty open set contains another nonempty open set with finite measure.'' The main result is the following theorem: Let \(1\leq p<\infty\), \(1<q\leq \infty\): \(1/p+1/q=1\) and \(\mu\) be perfect. Then \(L^p(\mu,E)\) is linearly isometric to \(L^q(\mu,E)\) if and only if \(E^*\) has the Radon-Nikodým property. The author gives a natural form of this isometry.