Locally finite measure

Summary

A Borel measure on a topological space is locally finite if every point has an open neighbourhood of finite measure. It may give infinite measure to the whole space, but never to a small region. On locally compact Hausdorff spaces this is the same as being finite on compact sets. Local finiteness is part of the definition of a Radon measure.