In mathematics, an outer measure μ on n-dimensional Euclidean space Rn is called a Borel regular measure 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 there exists a Borel set B ⊆ Rn such that A ⊆ B and μ(A) = μ(B).
Notice that the set A need not be μ-measurable: μ(A) is however well defined as μ is an outer measure.
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 (with the Borel set B replaced by a measurable set B) 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.
and 26 Related for: Borel regular measure information
other Borel sets is a Borel probability measure that is neither inner regular nor outer regular. Borelregularmeasure Radon measure Regularity theorem for...
specifically in measure theory, a Borelmeasure on a topological space is a measure that is defined on all open sets (and thus on all Borel sets). Some authors...
all compact sets, outer regular on all Borel sets, and inner regular on open sets. These conditions guarantee that the measure is "compatible" with the...
Regular semigroup, related to the previous sense *-regular semigroup Borelregularmeasure Cauchy-regular function (or Cauchy-continuous function,) a continuous...
its radius and not on its centre. By convention, the measure is also required to be Borelregular, and to take positive and finite values on open balls...
s\in S\}.} Left and right translates map Borel sets onto Borel sets. A measure μ {\displaystyle \mu } on the Borel subsets of G {\displaystyle G} is called...
is at least as fine as the Borel σ-algebra on X). Then a measure μ on the measurable space (X, Σ) is called inner regular if, for every set A in Σ, μ...
Lebesgue-measurable sets than there are Borel measurable sets. The Borelmeasure is translation-invariant, but not complete. The Haar measure can be defined on any locally...
Since δx is probability measure, it is also a locally finite measure. If X is a Hausdorff topological space with its Borel σ-algebra, then δx satisfies...
specifically, in geometric measure theory — spherical measure σn is the "natural" Borelmeasure on the n-sphere Sn. Spherical measure is often normalized so...
In mathematics, Gaussian measure is a Borelmeasure on finite-dimensional Euclidean space R n {\displaystyle R^{n}} , closely related to the normal distribution...
Formally, a metric measure space is a metric space equipped with a Borelregularmeasure such that every ball has positive measure. For example Euclidean...
the counting measure on the real line with its usual Borel topology is not. Inner regularmeasure – borelmeasure which its value on a borel set is determined...
as fine as the Borel σ-algebra on X {\displaystyle X} .) Let M {\displaystyle M} be a collection of (possibly signed or complex) measures defined on Σ {\displaystyle...
locally compact Hausdorff space X . {\displaystyle X.} Consider a Borelregularmeasure μ {\displaystyle \mu } on X , {\displaystyle X,} and a functional...
\}.} regular if it is both inner regular and outer regular. a Borelregularmeasure if it is a Borelmeasure that is also regular. a Radon measure if it...
space and μ is an inner regular (or tight) measure on X, then (X, BX, μ) is a perfect measure space, where BX denotes the Borel σ-algebra on X. Parthasarathy...
μ(X) = 0, μ is always a finite measure, and hence a locally finite measure. If X is a Hausdorff topological space with its Borel σ-algebra, then μ trivially...
{\displaystyle \Omega } (that is a probability measure defined on a Radon space endowed with the Borel sigma-algebra) and a real-valued random variable...
called a metric outer measure. Theorem. If φ is a metric outer measure on X, then every Borel subset of X is φ-measurable. (The Borel sets of X are the elements...
{\mathcal {A}}} is the Borel σ {\displaystyle \sigma } -algebra, then every finite measure is a regularmeasure and therefore a Radon measure. If X {\displaystyle...
mathematics as well as computer science. BorelmeasureBorelregularmeasure Swift, George (1955), "Irregular Borelmeasures on topological spaces", Duke Mathematical...