Definition
A measure-preserving dynamical system is defined as a probability space and a measure-preserving transformation on it. In more detail, it is a system
with the following structure:
- X is a set,
- is a σ-algebra over X,
- is a probability measure, so that μ(X) = 1, and μ(∅) = 0,
- T : X → X is a measurable transformation which preserves the measure μ, i. e. each satisfies μ(T−1A) = μ(A).
This definition can be generalized to the case in which T is not a single transformation that is iterated to give the dynamics of the system, but instead is a monoid (or even a group) of transformations Ts : X → X parametrized by s ∈ Z (or R, or N ∪ {0}, or [0, +∞)), where each transformation Ts satisfies the same requirements as T above. In particular, the transformations obey the rules
- T0 = idX : X → X, the identity function on X;
- , whenever all the terms are well-defined;
- , whenever all the terms are well-defined.
The earlier, simpler case fits into this framework by definingTs = Ts for s ∈ N.
The existence of invariant measures for certain maps and Markov processes is established by the Krylov–Bogolyubov theorem.
Read more about this topic: Measure-preserving Dynamical System
Famous quotes containing the word definition:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)