Parity game

From formulasearchengine
Revision as of 14:39, 2 January 2014 by en>Yoghurt (Make it clear that both players share the same token)
Jump to navigation Jump to search

In mathematics, an invariant measure is a measure that is preserved by some function. Ergodic theory is the study of invariant measures in dynamical systems. The Krylov–Bogolyubov theorem proves the existence of invariant measures under certain conditions on the function and space under consideration.

Definition

Let (X, Σ) be a measurable space and let f be a measurable function from X to itself. A measure μ on (X, Σ) is said to be invariant under f if, for every measurable set A in Σ,

In terms of the push forward, this states that f(μ) = μ.

The collection of measures (usually probability measures) on X that are invariant under f is sometimes denoted Mf(X). The collection of ergodic measures, Ef(X), is a subset of Mf(X). Moreover, any convex combination of two invariant measures is also invariant, so Mf(X) is a convex set; Ef(X) consists precisely of the extreme points of Mf(X).

In the case of a dynamical system (XTφ), where (X, Σ) is a measurable space as before, T is a monoid and φ : T × X → X is the flow map, a measure μ on (X, Σ) is said to be an invariant measure if it is an invariant measure for each map φt : X → X. Explicitly, μ is invariant if and only if

Put another way, μ is an invariant measure for a sequence of random variables (Zt)t≥0 (perhaps a Markov chain or the solution to a stochastic differential equation) if, whenever the initial condition Z0 is distributed according to μ, so is Zt for any later time t.

Examples

Squeeze mapping leaves hyperbolic angle invariant as it moves a purple hyperbolic sector to one of the same area. Blue and green rectangles also keep the same area
  • Consider the real line R with its usual Borel σ-algebra; fix aR and consider the translation map Ta : RR given by:
Then one-dimensional Lebesgue measure λ is an invariant measure for Ta.
  • More generally, on n-dimensional Euclidean space Rn with its usual Borel σ-algebra, n-dimensional Lebesgue measure λn is an invariant measure for any isometry of Euclidean space, i.e. a map T : RnRn that can be written as
for some n × n orthogonal matrix A ∈ O(n) and a vector bRn.

See also

References

  • Invariant measures, John Von Neumann, AMS Bookstore, 1999, ISBN 978-0-8218-0912-9