Extreme points of the set of elements majorised by an integrable function: Resolution of a problem by Luxemburg and of its noncommutative counterpart

Abstract

Let $f$ be an arbitrary integrable function on a finite measure space $(X,\Sigma ,\nu )$. We characterise the extreme points of the set $\Omega (f)$ of all measurable functions on $(X,\Sigma ,\nu )$ majorised by $f$, providing a complete answer to a problem raised by W.A.J. Luxemburg in 1967. Moreover, we obtain a noncommutative version of this result.

some minor typos are corrected; to appear in Advances in Mathematics