Skip to content

Invariant Sigma-Algebra

The sub-sigma-algebra of measurable events unchanged by a specified measurable transformation or action—exactly or modulo null sets—encoding all event-level information that the dynamics cannot alter.

Version
v4 · 2026-09-19 · History · 1 correction
Domain-specific #
2096
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Ergodic Theory and Probability, Invariant Events and Ergodic Decomposition → Mathematics
Aliases
Sigma-algebra of invariant events, Invariant sigma-field

Core Idea

Given a measurable space and a specified measurable transformation or action, the invariant sigma-algebra collects the measurable events whose truth is unchanged by that dynamics. For a measurable map \(T:X\to X\), the strict form is

\[ \mathcal I_T=\{A\in\mathcal F:T^{-1}A=A\}. \]

On a probability space, ergodic theory commonly works modulo null sets:

\[ \mathcal I_T^{\mu}=\{A\in\mathcal F:\mu(T^{-1}A\triangle A)=0\}. \]

Both collections are sigma-algebras. They contain the empty set and the whole space and are closed under complements and countable unions because inverse images commute with those operations.

How would you explain it like I'm…

Questions That Never Change

Imagine a toy that keeps moving marbles around by a rule. Some yes-or-no questions, like "is the marble in the red zone?", might get a different answer after a move. But some questions always give the same answer, move after move. The collection of all those never-changing questions is what this idea is about.

Events That Stay Put

Imagine a system that keeps moving by a fixed rule. An 'event' is a yes/no question about where things are. Some events are invariant: the rule never changes their answer. If a point is in the set, it stays in; if it's out, it stays out. The invariant sigma-algebra gathers all of these unchanging questions into one neat package. You always have to say which rule you mean, because a question that never changes under one kind of move might change under another.

Sigma-Algebra of Invariant Events

Given a space with measurable sets (events) and a transformation T, the invariant sigma-algebra is the family of events A with T⁻¹A = A: the points that map into A are exactly the points of A, so the event's truth never changes under the dynamics. In probability, one often relaxes this to sets that are invariant except for a probability-zero difference. This family is itself a sigma-algebra: it includes the empty set and the whole space, and it's closed under complements and countable unions. It must always be tied to a specific action; a different transformation can give a different invariant sigma-algebra on the same space. A system is ergodic exactly when every invariant event has probability 0 or 1.

 

Given a measurable space (X, 𝓕) and a measurable map T: X → X, the invariant sigma-algebra in its strict form is 𝓘_T = {A ∈ 𝓕 : T⁻¹A = A}. On a probability space, ergodic theory commonly uses the version modulo null sets: 𝓘_T^μ = {A ∈ 𝓕 : μ(T⁻¹A △ A) = 0}. Both are sigma-algebras, because preimages commute with complements and countable unions, and both contain ∅ and X. Rather than listing isolated invariant sets, this object packages every measurable yes/no question that survives the dynamics into a single information structure. The action must always be specified: a set can be invariant under a time shift but not under a coordinate permutation, or under a subgroup but not a larger group, so one space carries many invariant sigma-algebras. In measure-preserving dynamics, the system is ergodic exactly when the invariant sigma-algebra is trivial modulo μ, i.e. every invariant event has measure 0 or 1.

Scope of Application

The home domain is ergodic theory, probability, and stationary stochastic processes. The construction applies to measure-preserving transformations, measurable group actions, shifts on path or sequence spaces, coordinate permutations, and related kernels under appropriately stated definitions.

In the strict measurable-space version no probability measure is required. Once a measure is present, null-set completion and almost-sure equality become central because random variables and conditional expectations are identified modulo null sets. Authors may use the same notation \(\mathcal I\) for strict events, almost-invariant events, or the completed sigma-algebra; a reference-grade account must state the convention.

Clarity

A recognition test asks:

  1. What is the measurable space and ambient sigma-algebra?
  2. Which transformation, semigroup, monoid, or group acts?
  3. Does invariance mean strict equality, equality modulo null sets, or equality in the measure algebra?
  4. Must an event be fixed by one generator or by every action element?
  5. Is the measure preserved, nonsingular, or merely present?
  6. What invariant random variables or factor does the sub-sigma-algebra encode?
  7. Is a claimed triviality exact or only modulo probability-zero events?

Manages Complexity

A dynamical system generates indefinitely many time-indexed observations. The invariant sigma-algebra compresses that evolution into the information no amount of time shifting changes. Rather than analyze each invariant function separately, one conditions on a single sub-sigma-algebra that contains all invariant event information.

This compression clarifies ergodic decomposition. Nontrivial invariant events separate components that dynamics cannot mix across; conditioning on the invariant sigma-algebra records which component a state occupies.

Abstract Reasoning

If the acting family grows, the invariant sigma-algebra can only shrink: an event fixed by more transformations must satisfy more conditions. If the acting family is restricted to a subgroup, more events may become invariant. This order-reversing relation makes action scope load-bearing.

For two actions with invariant sigma-algebras \(\mathcal I_1\) and \(\mathcal I_2\), invariance under both lies in their intersection. Because intersections of sigma-algebras are sigma-algebras, common invariant information is again measurable structure.

Knowledge Transfer

Within ergodic theory, the same construction transfers from a single transformation to flows, \(\mathbb Z^d\)-actions, group actions, and stationary processes. The action changes; inverse-image fixed events and sigma closure remain.

In probability, finite-permutation invariance yields the symmetric or exchangeable event sigma-algebra used in the Hewitt–Savage zero-one law for independent identically distributed sequences. Shift invariance supplies the invariant information for stationary processes and time averages.

Relationships to Other Abstractions

Local relationship map for Invariant Sigma-AlgebraParents 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.InvariantSigma-AlgebraDOMAINPrime abstraction: Invariance — is a kind ofInvariancePRIME

Current abstraction Invariant Sigma-Algebra Domain-specific

Parents (1) — outgoing typed relations

  • Invariant Sigma-Algebra is a kind of Invariance Prime

    Invariant Sigma-Algebra is a strict instance of Invariance.

Hierarchy path (1) — routes to 1 parentless root

  • Invariant Sigma-Algebra → is a kind of Invariance

Neighborhood in Abstraction Space

Invariant Sigma-Algebra sits in a sparse region of the domain-specific corpus (81st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

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