Non-commutative L^P-spaces

Abstract

1. Introduction . The spaces L 1 and L 2 of unbounded operators associated with a regular gauge space (von Neumann algebra equipped with a faithful normal semi-finite trace) are defined by Segal(5) definitions 3.3, 3.7. The spaces L p (1 < p < ∞, p ± 2) are defined by Dixmier(2) as the abstract completions of their bounded parts. Dixmier makes use of the Riesz convexity theorem to prove the Hölder inequality, and the uniform convexity, and hence reflexivity, of L L p (2 < p < ∞).