Category measures, the dual of $C(K{)}^{\delta }$ and hyper-Stonean spaces

Abstract

For a compact Hausdorff space $K$, we give descriptions of the dual of $C(K{)}^{\delta }$, the Dedekind completion of the Banach lattice $C(K)$ of continuous, real-valued functions on $K$. We characterize those functionals which are $\sigma$-order continuous and order continuous, respectively, in terms of Oxtoby's category measures. This leads to a purely topological characterization of hyper-Stonean spaces.

10 pages