Equivalence (measure theory)¶

Treat two measures on one measurable space as equivalent exactly when each is absolutely continuous with respect to the other, so they have the same null sets.

Version: v4 · 2026-09-28 · History
Domain-specific #: 1782
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Measure Theory, Absolute Continuity and Measure Classes → Mathematics

Core Idea¶

Measures \(\mu\) and \(\nu\) on \((X,\mathcal A)\) are equivalent, written \(\mu\sim\nu\), when \(\mu\ll\nu\) and \(\nu\ll\mu\); equivalently, \(\mu(A)=0\) if and only if \(\nu(A)=0\) for every \(A\in\mathcal A\). Absolute continuity in each direction makes every negligible event for either measure negligible for the other, partitioning measures into classes with one shared notion of almost-everywhere truth while allowing positive masses and densities to differ.

Its autonomous residual is mutual absolute continuity and equality of null-set families, not equality of measure values, equivalent metrics, isomorphism of measure spaces, or one-way absolute continuity.

How would you explain it like I'm…

Same Empty Spots

Imagine two kids sprinkling sand on the same garden. One might pile on lots of sand where the other puts only a little. But if they always agree on exactly which spots get no sand at all, their sprinklings count as equivalent.

Same Zeros, Different Amounts

In math, a measure is a rule that says how much 'stuff' sits on each part of a space, like weight or probability. Two measures are equivalent when any region one measure calls 'empty' (size zero), the other also calls empty, and the other way around. They can still give different sizes to regions that aren't empty. You must check both directions, not just one. Then both measures agree on what counts as 'happens almost everywhere'.

Shared Null Sets

In measure theory, two measures on the same collection of sets are equivalent when a set has measure zero under one exactly when it has measure zero under the other. This does not mean they give equal values; one could weigh a set ten times more heavily than the other. The key point is that they share the same 'negligible' sets. Because of that, anything true 'almost everywhere', meaning everywhere except on a zero-size set, is true almost everywhere for both. One-way agreement is not enough: you must check both directions.

Fix a measurable space (X, 𝒜). Measures μ and ν on it are equivalent, μ∼ν, if μ≪ν and ν≪μ. Equivalently, they have exactly the same null sets in 𝒜. This is an equivalence relation, and its classes are called measure classes. Within a class, almost-everywhere statements, essential supports, and a.e. equalities transfer freely, while actual masses and densities may differ. When the Radon–Nikodym hypotheses hold, for instance σ-finiteness, μ∼ν means dμ/dν exists and is positive ν-almost everywhere. A density that vanishes on a set of positive reference measure breaks equivalence. Common errors include proving only one direction, checking null sets only on selected events, and comparing measures on different σ-algebras. Another is quietly assuming σ-finiteness to use a density criterion. The concept is distinct from equality of measures and from isomorphism of measure spaces.

Scope of Application¶

Equivalence (measure theory) applies when the analyst can specify two measures \(\mu\) and \(\nu\) defined on the same measurable space \((X,\mathcal A)\) and establish that both measures share a carrier sigma-algebra and mutual absolute continuity holds, or equivalently their null-set ideals are identical. The entry uses the standard same-measurable-space definition. Claims about stochastic-process laws, local equivalence, completions, or supporting measures require their additional index, filtration, and finiteness conventions.

Clarity¶

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because equivalent can mean equal, isomorphic, mutually absolutely continuous, or statistically indistinguishable in neighboring literatures, while the symbol for absolute continuity has a directional reading. The disciplined statement is that the object counts as Equivalence (measure theory) exactly when both measures share a carrier sigma-algebra and mutual absolute continuity holds, or equivalently their null-set ideals are identical

Manages Complexity¶

The abstraction compresses finite and sigma-finite measures, probability laws, positive density changes, completed measures, supporting measures, locally equivalent processes, and equivalence restricted to a time horizon into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Abstract Reasoning¶

Type the carrier. Establish two measures \(\mu\) and \(\nu\) defined on the same measurable space \((X,\mathcal A)\) and reject examples from a different problem.
Lock the rule. Express that both measures share a carrier sigma-algebra and mutual absolute continuity holds, or equivalently their null-set ideals are identical independently of one notation or implementation. 3.

Knowledge Transfer¶

Transfer within measure theory is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from On \([0,1]\), Lebesgue measure \(\mu\) and the measure \(\nu(A)=\int_A x^2\,d\mu\) are equivalent even though their values differ. to Two probability models with strictly positive densities relative to the same dominating measure belong to the same measure class. demonstrates that continuity.

Relationships to Other Abstractions¶

Current abstraction Equivalence (measure theory) Domain-specific

Parents (1) — outgoing typed relations

Equivalence (measure theory) is a kind of Equivalence Relation Prime

Mutual absolute continuity is reflexive, symmetric, and transitive on measures sharing a measurable space and therefore literally partitions them into measure-equivalence classes; null-set semantics supply the specialization.

Hierarchy path (1) — routes to 1 parentless root

Equivalence (measure theory) → is a kind of Equivalence Relation

Neighborhood in Abstraction Space¶

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

Family — Measure & Probability Foundations (42 abstractions)

Nearest neighbors

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