A short proof of an existence theorem in constructive measure theory
Author: Y. K. Chan
Journal: Proc. Amer. Math. Soc. 48 (1975), 435-437
MSC: Primary 28A30; Secondary 02E99
MathSciNet review: 0364590
Abstract: The most important example of an integration space in the constructive measure theory of Bishop and Cheng is the couple , where is a locally compact metric space and is a nonnegative linear function on the space of continuous functions of compact support on . Bishop and Cheng's proof that is indeed an integration space is rather involved. In this paper a much simpler proof is given.