This is a quote from the wikipedia entry on regular measures:

Any Borel probability measure on a locally compact Hausdorff space with a countable base for its topology ... is regular.

Is this actually true? If so could someone point me to a reference where I could find a proof of the statement?

Edit: I should add that the definition of regularity used in wikipedia is that $\mu$ is regular if

$$\mu(A)=\sup\{\mu(F):F\subset A\text{ and $F$ is compact}\}=\inf\{\mu(B):A\subset B\text{ and $B$ is open}\}$$

where the infimum/supremum is taken over the space's Borel sigma algebra.

  • $\begingroup$ Related: math.stackexchange.com/q/258407/8157 $\endgroup$ Commented Jan 8, 2014 at 18:34
  • $\begingroup$ @jkn Did you try the references on the Wikipedia page? $\endgroup$
    – user940
    Commented Jan 8, 2014 at 18:39
  • $\begingroup$ @Bryon Schmuland no I didn't--I don't have ready access to them (this is why I asked for someone to provide one which contains the statement for certain). Sorry for any inconveniences. $\endgroup$
    – jkn
    Commented Jan 8, 2014 at 18:45

1 Answer 1


Proposition 7.2.3. in Measure Theory by Donald L. Cohn.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .