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

v2 · 2026-09-06 · History

Domain-specific #

2096

Origin domain

ergodic theory and probability

Subdomain

invariant events and ergodic decomposition

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.

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

Current abstraction Invariant Sigma-Algebra Domain-specific

Parents (1) — more general patterns this builds on

• 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 → Invariance

Neighborhood in Abstraction Space

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

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

• Accessibility Relation — 0.83
• Automorphism Group — 0.83
• Schröder–Bernstein Property — 0.83
• Prime Graph — 0.82
• Freiling's Axiom of Symmetry — 0.81

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