Borel regular measure¶

In mathematics, an outer measure μ on n-dimensional Euclidean space R n is called a Borel regular measure if the following two conditions hold.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8250
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Measure Theory → Mathematics

Core Idea¶

Borel regular measure is treated here as the recurring measure theory identity summarized by this source-grounded definition: In mathematics, an outer measure μ on n-dimensional Euclidean space R n is called a Borel regular measure if the following two conditions hold. In mathematics, an outer measure μ on n-dimensional Euclidean space R n is called a Borel regular measure if the following two conditions hold. Every Borel set B ⊆ R n is μ-measurable in the sense of Carathéodory's criterion: for every A ⊆ R n ,. \mu (A) = \mu (A \cap B) + \mu (A \setminus B).

How would you explain it like I'm…

Same-Size Wrapper Ruler

Imagine a special ruler that can measure the size of any blob at all, even very weird ones. With a Borel regular measure, nice blobs cut things cleanly: measure any blob's part inside a nice blob and its part outside, and they add up to the whole. And every weird blob fits inside some nice blob that has exactly the same size.

Two-Test Size Rule

A Borel regular measure is a size rule on ordinary space (a line, a plane, or higher dimensions) that can give a size to any set of points, even weird ones — this kind of rule is called an outer measure. It has to pass two tests. First, every Borel set (a well-behaved set built from open sets) must split every other set cleanly: the size of any set equals the size of its part inside the Borel set plus the size of its part outside. Second, every set, however strange, must fit inside some Borel set with exactly the same size. If only the first test holds it is just called a Borel measure, and if only the second holds (with a measurable set instead of a Borel set) it is called a regular measure.

Borel Measurable with Borel Hulls

A Borel regular measure is an outer measure μ on n-dimensional Euclidean space that satisfies two conditions. First, every Borel set B is μ-measurable in Carathéodory's sense: for every set A, μ(A) = μ(A ∩ B) + μ(A \ B). Second, every set A is contained in some Borel set B with μ(A) = μ(B). The set A need not be measurable itself; μ(A) still makes sense because an outer measure assigns a value to every set. An outer measure satisfying only the first condition is called a Borel measure, while one satisfying only the second (with a measurable set in place of a Borel set) is called a regular measure. Borel regularity demands both at once.

A Borel regular measure is an outer measure μ on ℝⁿ satisfying two conditions. (1) Every Borel set B ⊆ ℝⁿ is μ-measurable in Carathéodory's sense: μ(A) = μ(A ∩ B) + μ(A \ B) for every A ⊆ ℝⁿ. (2) For every A ⊆ ℝⁿ there is a Borel set B with A ⊆ B and μ(A) = μ(B). Condition (2) applies to arbitrary A, which need not be μ-measurable; μ(A) is still defined because μ is an outer measure. The terminology separates the two conditions: an outer measure satisfying only (1) is called a Borel measure, and one satisfying only (2), with a μ-measurable rather than Borel hull, is called a regular measure. Borel regularity therefore requires both the Borel measurability condition and Borel hulls of equal measure.

Scope of Application¶

Documented setting. In mathematics, an outer measure μ on n-dimensional Euclidean space R n is called a Borel regular measure if the following two conditions hold.
Documented setting. Every Borel set B ⊆ R n is μ-measurable in the sense of Carathéodory's criterion: for every A ⊆ R n ,.
Documented setting. For every set A ⊆ R n there exists a Borel set B ⊆ R n such that A ⊆ B and μ(A) = μ(B).
Documented setting. Notice that the set A need not be μ-measurable: μ(A) is however well defined as μ is an outer measure.
Documented setting. 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.

Clarity¶

A clear use of Borel regular measure names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, an outer measure μ on n-dimensional Euclidean space R n is called a Borel regular measure if the following two conditions hold.

Manages Complexity¶

Borel regular measure compresses multiple measure theory details into a stable diagnostic relation. The source shows both the central mechanism—in mathematics, an outer measure μ on n-dimensional Euclidean space R n is called a Borel regular measure if the following two conditions hold.—and the practical consequence—the Lebesgue outer measure on R n is an example of a Borel regular measure.

Abstract Reasoning¶

Type the carrier. Identify the measure theory entities to which the claim applies.
State the relation. Use the source-grounded identity: In mathematics, an outer measure μ on n-dimensional Euclidean space R n is called a Borel regular measure if the following two conditions hold.
Check operation and conditions. Every Borel set B ⊆ R n is μ-measurable in the sense of Carathéodory's criterion: for every A ⊆ R n ,.
Demand recognition evidence.

Knowledge Transfer¶

Within the home domain. Knowledge about Borel regular measure transfers literally when a new case preserves the same carrier type, relation, and recognition test. In mathematics, an outer measure μ on n-dimensional Euclidean space R n is called a Borel regular measure if the following two conditions hold. Every Borel set B ⊆ R n is μ-measurable in the sense of Carathéodory's criterion: for every A ⊆ R n ,. Beyond the home domain. No canonical parent is asserted for Borel regular measure.

Relationships to Other Abstractions¶

Current abstraction Borel regular measure Domain-specific

Parents (1) — more general patterns this builds on

Borel regular measure is a kind of Measure Prime

A Borel regular measure is a measure distinguished by Borel approximation and regularity conditions.

Hierarchy paths (2) — routes to 2 parentless roots

Borel regular measure → Measure → Aggregation → Micro Macro Linkage

Show alternative path (1)

Neighborhood in Abstraction Space¶

Borel regular measure sits in a crowded region of the domain-specific corpus (38^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Measure-Theoretic Constructions (10 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08