Skip to content

Invariant measure

A measure preserved by a specified transformation or group action, assigning every measurable set the same measure as its preimage or transformed image.

Version
v2 · 2026-09-19 · History
Domain-specific #
5098
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Ergodic Theory → Mathematics

Core Idea

For a measurable transformation T, a measure μ is invariant when μ(T^{-1}A)=μ(A) for all measurable A, with equivalent formulations dependent on invertibility and action conventions. Pulling observables or sets along the dynamics leaves integrals and total mass unchanged, providing a stationary statistical description of repeated evolution. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

The Always-Balanced Sandbox

Imagine sand spread over a table, and a rule that moves every grain to a new spot, all at once. The grains move around, but if every patch of the table ends up with exactly as much sand as before, the way the sand is spread is invariant. The grains travel; the amounts stay the same.

Moving Points, Steady Amounts

Imagine a rule that moves every point of a space to a new spot, over and over, like stirring. A measure is a way of saying how much 'stuff' or chance is in each region. The measure is invariant if, for every region, the amount of stuff that will land in that region after one move equals the amount already in it. The points themselves do move. What stays fixed is the overall spread, so the system looks statistically steady.

Dynamics-Preserved Measure

Let T be a transformation that moves points of a space. A measure μ assigns sizes or probabilities to sets. μ is invariant under T if μ(T⁻¹A) = μ(A) for every measurable set A. Here T⁻¹A is the set of points that T sends into A. So the amount heading into A matches what A already has. This doesn't mean points stay still. It means the distribution is unchanged by the dynamics, giving a stationary description of repeated motion. Averages of quantities computed with μ also stay the same after applying T.

 

Given a measurable space (X, 𝓕) and a measurable map T: X → X, a measure μ is T-invariant if μ(T⁻¹A) = μ(A) for every measurable A. Equivalently, for integrable observables f, ∫ f∘T dμ = ∫ f dμ: pulling sets or functions back along the dynamics leaves integrals and total mass unchanged. Using preimages makes the definition work for non-invertible maps; for invertible maps or group actions there are equivalent forms, and conventions about the action matter. An invariant measure provides a stationary statistical description of repeatedly applying T, which is the starting point of ergodic theory. To claim invariance you must specify the space, sigma-algebra, transformation or action, measure class, any finiteness assumptions, and the exact invariance equation.

Scope of Application

Invariant measure belongs to ergodic theory and is useful where the analyst can specify the typed ergodic theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate measurable space, transformation or action, sigma algebra, measure class, finiteness assumptions, and the exact invariance equation are declared. The scope is broad within that domain but bounded by the need for measurable space, transformation or action, sigma algebra, measure class, finiteness assumptions, and the exact invariance equation are declared. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity

The abstraction clarifies a crowded vocabulary by making measurable space, transformation or action, sigma algebra, measure class, finiteness assumptions, and the exact invariance equation are declared the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Invariant measure can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Invariant measure. Invariant measure compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

  1. Identify the carrier. State what the elements, states, objects, or observations are: the typed ergodic theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
  2. Lock the constitutive rule. Express measurable space, transformation or action, sigma algebra, measure class, finiteness assumptions, and the exact invariance equation are declared independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of ergodic theory because they reuse the typed ergodic theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, Pulling observables or sets along the dynamics leaves integrals and total mass unchanged, providing a stationary statistical description of repeated evolution., and type the carrier, state every parameter and convention in the definition, test that measurable space, transformation or action, sigma algebra, measure class, finiteness assumptions, and the exact invariance equation are declared, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Local relationship map for Invariant measureParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Invariant measureDOMAINPrime abstraction: Invariance — is a kind ofInvariancePRIMEDomain-specific abstraction: Maximising measure — is a kind ofMaximisingmeasureDOMAIN

Current abstraction Invariant measure Domain-specific

Parents (1) — outgoing typed relations

  • Invariant measure is a kind of Invariance Prime

    What makes it its own entry: the domain-specific identity determined by measurable space, transformation or action, sigma algebra, measure class, finiteness assumptions, and the exact invariance equation are declared.

Children (1) — abstractions linked here by typed relations

  • Maximising measure Domain-specific is a kind of Invariant measure

    Maximising measure is a domain-specific kind of invariant measure under its frozen identity and differentia. Complete-catalog comparison found the corresponding live broader identity.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Invariant measure sits in a crowded region of the domain-specific corpus (8th 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