Computable Riesz Representation for Locally Compact Hausdorff Spaces

摘要

By the Riesz Representation Theorem for locally compact Hausdorff spaces, for every positive linear functional I on K(X) there is a measure μ such that I(f) =∫ f dμ where K(X) is the set of continuous real functions wit