MathGloss

Let (X,T)(X,\mathcal T) be a Hausdorff topological space and let Σ\Sigma be a σ-algebra containing T\mathcal T (so that Σ\Sigma is at least as fine as the Borel σ-algebra on XX). A measure μ\mu on Σ\Sigma is locally finite if for all pXp \in X, there exists an open neighborhood NpN_p of pp such that the μ\mu-measure of NpN_p is finite. That is, pX,NpT s.t. pNp and μ(Np)<.\forall p \in X, \exists N_p \in T \text{ s.t. } p \in N_p \text{ and } \vert \mu(N_p)\vert < \infty.

Wikidata ID: Q2136937