Measure-preserving transformation
of a measure space .
2020 Mathematics Subject Classification: Primary: 28D05 [MSN][ZBL]
A measurable mapping such that
for every
;
is called an invariant measure for
. A measurable mapping
between measure spaces
and
such that
for every
is usually called a measure-preserving mapping. A surjective measure-preserving transformation
of a measure space
, i.e.,
maps
onto itself, is often called an endomorphism of
; an endomorphism which is bijective and whose inverse is also measure preserving is called an automorphism of
.
Measure-preserving transformations arise, for example, in the study of classical dynamical systems (cf. (measurable) Cascade; Measurable flow). In that case the transformation is first obtained as a continuous (or smooth) transformation of some, often compact, topological space (or manifold), and the existence of an invariant measure is proved. An example is Liouville's theorem for a Hamiltonian system (cf. also Liouville theorems).
For further information and references see Ergodic theory.
Measure-preserving transformation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Measure-preserving_transformation&oldid=47815