Exhaustive operators and vector measures

Abstract

Let S be a compact Hausdorff space and let Φ: C(S)→E be a linear operator defined on the space of real-valued continuous functions on S and taking values in a (real) topological vector space E. Then Φ is called exhaustive (7) if given any sequence of functions fn ∈ C(S) such that fn ≧ 0 andthen Φ(fn)→0 If E is complete then it was shown in (7) that exhaustive maps are precisely those which possess regular integral extensions to the space of bounded Borel functions on S; this is equivalent to possessing a representationwhere μ is a regular countably additive E-valued measure defined on the σ-algebra of Borel subsets of S.