Regularity of group valued Baire and Borel measures

Abstract

It is known that a real valued measure (1) on the a-ring of Baire sets of a locally compact Hausdorff space, or (2) on the Borel sets of a complete separable metric space is regular. Recently Dinculeanu and Kluvanek used regularity of nonnegative Baire measures to prove that any Baire measure with valies in a locally convex Hausdorff topological vector space (TVS) is regular. Subsequently a direct proof of the same result was offered by Dinculeanu and Lewis. Here we show just as directly that any measure defined as in (1) or (2) is regular, even when it takes values in a Hausdorff topological group. In particular, when the group is a Hausdorff TVS, our result improves the Dinculeanu-KluvanekLewis theorem.