Definition 20.1.1 (Radon Measure).label Let $X$ be a LCH space and $\mu: \cb_{X} \to [0, \infty]$ be a Borel measure, then $\mu$ is a Radon measure if:
- (R1)
For any $K \subset X$ compact, $\mu(K) < \infty$.
- (R2)
$\mu$ is outer regular on all Borel sets.
- (R3’)
$\mu$ is inner regular on all open sets.