ScalingStacks

Definition 4.9 . [05AQ]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 4.9.

Let XX be a Hausdorff topological space. A measure μ\mu on the σ\sigma-algebra of Borel sets of XX is called a Radon measure if

  1. i)

    for every x∈Xx\in X there exists an open neighbourhood UU of XX with μ⁡(U)<∞\mu(U)<\infty,

  2. ii)

    for every open set U⊆XU\subseteq X we have μ(U)=sup{μ(K)|K⊆U,K compact}\mu(U)=\sup\left\{\mu(K)\;\Big|\;K\subseteq U,\;K\text{ compact}\right\},

  3. iii)

    for every Borel set BB of XX we have μ(B)=inf{μ(U)|B⊆U,U open}\mu(B)=\inf\left\{\mu(U)\;\Big|\;B\subseteq U,\;U\text{ open}\right\}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.