In mathematics, an outer measure μ on n-dimensional Euclidean space Rn is called Borel regular if the following two conditions hold:
- Every Borel set B ⊆ Rn is μ-measurable in the sense of Carathéodory's criterion: for every A ⊆ Rn,
- For every set A ⊆ Rn (which need not be μ-measurable) there exists a Borel set B ⊆ Rn such that A ⊆ B and μ(A) = μ(B).
An outer measure satisfying only the first of these two requirements is called a Borel measure, while an outer measure satisfying only the second requirement is called a regular measure.
The Lebesgue outer measure on Rn is an example of a Borel regular measure.
It can be proved that a Borel Regular measure, although introduced here as an outer measure (only countably subadditive), becomes a full measure (countably additive) if restricted to the Borel sets.
Famous quotes containing the words regular and/or measure:
“While you’re playing cards with a regular guy or having a bite to eat with him, he seems a peaceable, good-humoured and not entirely dense person. But just begin a conversation with him about something inedible, politics or science, for instance, and he ends up in a deadend or starts in on such an obtuse and base philosophy that you can only wave your hand and leave.”
—Anton Pavlovich Chekhov (1860–1904)
“I do seriously believe that if we can measure among the States the benefits resulting from the preservation of the Union, the rebellious States have the larger share. It destroyed an institution that was their destruction. It opened the way for a commercial life that, if they will only embrace it and face the light, means to them a development that shall rival the best attainments of the greatest of our States.”
—Benjamin Harrison (1833–1901)