DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-10

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Measure-preserving transformations and systems

Definition

Let $(X, A, μ)$ be a measure space. A measurable self-map $T : X \to X$ is measure preserving if $μ (T^{- 1} E) = μ (E)$ for every $E \in A$ . The quadruple $(X, A, μ, T)$ is a measure-preserving system; it is a probability system if $μ (X) = 1$ . Here $T^{- 1} E = {x : T (x) \in E}$ denotes an inverse image, whether or not $T$ is invertible. Neither completeness nor finiteness is implicit. The measure-space and measurable-map conventions are Measure spaces and A measurable function between measurable spaces.

Depends on

Dependency tree · 2 levels

Sources

E–W Definition 2.1, pp.13–14