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:
“My attitude toward punctuation is that it ought to be as conventional as possible. The game of golf would lose a good deal if croquet mallets and billiard cues were allowed on the putting green. You ought to be able to show that you can do it a good deal better than anyone else with the regular tools before you have a license to bring in your own improvements.”
—Ernest Hemingway (1899–1961)
“With us justice is the true measure of religion.”
—Marcus Minucius Felix (2nd or 3rd cen. A.D.)