Computable Riesz Representation for Locally Compact Hausdorff Spaces
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 @m such that I(f)=@!fd@m, where K(X) is the set of continuous real functions with compact support on the locally compact Hausdorff space X. In this article we prove …