A representation theorem for maxitive measures

A maxitive measure is a nonnegative function η on a σ-algebra Σ and such that η(Uj Aj ) = supj η(Aj) for all countable disjoint families of sets (Aj) in Σ. A representation theorem for such measures is established, and next applied to represent Köthe function M-spaces as L∞-spaces.