Definitions
We let m be a measure on the σ-algebra of Borel sets of a Hausdorff topological space X.
The measure m is called inner regular or tight if m(B) is the supremum of m(K) for K a compact set contained in the Borel set B.
The measure m is called outer regular if m(B) is the infimum of m(U) for U an open set containing the Borel set B.
The measure m is called locally finite if every point has a neighborhood of finite measure.
The measure m is called a Radon measure if it is inner regular and locally finite.
(It is possible to extend the theory of Radon measures to non-Hausdorff spaces, essentially by replacing the word "compact" by "closed compact" everywhere. However, there seem to be almost no applications of this extension.)
Read more about this topic: Radon Measure
Famous quotes containing the word definitions:
“What I do not like about our definitions of genius is that there is in them nothing of the day of judgment, nothing of resounding through eternity and nothing of the footsteps of the Almighty.”
—G.C. (Georg Christoph)
“The loosening, for some people, of rigid role definitions for men and women has shown that dads can be great at calming babies—if they take the time and make the effort to learn how. It’s that time and effort that not only teaches the dad how to calm the babies, but also turns him into a parent, just as the time and effort the mother puts into the babies turns her into a parent.”
—Pamela Patrick Novotny (20th century)