Radon Integrals

In topological measure theory, Radon measures are the most important objects. In the context of locally compact spaces, there are two equivalent canonical definitions. As a set function, a Radon measure is an inner compact regular Borel measure, finite on compact sets. As a functional, it is simply a positive linear form, defined on the vector lattice of continuous real-valued functions with compa...