Extension of valuations on locally compact sober spaces (Q1862060)

The main purpose of the paper is to characterise topological spaces where every continuous valuation defined on the lattice of open sets extends uniquely to a Borel measure. This is accomplished in the first part of the paper. Let \(X\) be a topological space and \(\mathcal{G}\) the class of all open subsets of \(X\). Let \(\nu\) be an extended real-valued, non-negative set function defined on \(\mathcal{G}\). We say that \(\nu\) is a valuation on \(X\) if it satisfies (i)\ \(\nu(\emptyset)=0\), (ii)\ \(\nu(G)\leq\nu(H)\) whenever \(G, H\in\mathcal{G}\) and \(G\subset H\), and (iii)\ \(\nu(G\cup H)+\nu(G\cap H)=\nu(G)+\nu(H)\) for all \(G, H\in\mathcal{G}\). A valuation \(\nu\) on \(X\) is said to be continuous if \(\nu(\cup_{j\in J}G_j)=\sup_{j\in J}\nu(G_j)\) whenever \(\{G_j\}_{j\in J}\) is a directed class of sets in \(\mathcal{G}\), and is said to be locally finite if every point in \(X\) has a \(\nu\)-finitely valued neighbourhood. The problem of extending a continuous valuation to a Borel measure is discussed in Section 4, and among others the author proves that if \(X\) is regular or locally compact and sober, then every locally finite continuous valuation on \(X\) extends uniquely to a Borel measure. In the second part of the paper the author explores domain representations for topological spaces and shows in Section 5 that every locally compact sober space endowed with the patch topology can be embedded as the set of maximal elements of a continuous directed complete partial order (for short, dcpo) topologised with the Scott or Lawson topologies. This result together with the extension result imply that every locally finite continuous valuation on the space extends uniquely to a Borel measure and determines a continuous valuation on a continuous dcpo. The last part of the paper is concerned with characterising the order among continuous valuations on stably locally compact spaces. Using the extension results, in Section 7 the author shows that for stably locally compact spaces the order defined as \(\nu(G)\leq\mu(G)\) for all \(G\in\mathcal{G}\) coincides with the standard notion of stochastic order for Borel measures. The paper ends with concluding remarks and future work.