Invariant measure

Invariant measure

In mathematics, an invariant measure is a measure that is preserved by some function. Invariant measures are of great interest in the study of 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 Σ,

:mu left( f^{-1} (A) ight) = mu (A).

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 "M""f"("X"). The collection of ergodic measures, "E""f"("X"), is a subset of "M""f"("X"). Moreover, any convex combination of two invariant measures is also invariant, so "M""f"("X") is a convex set; "E""f"("X") consists precisely of the extreme points of "M""f"("X").

In the case of a dynamical system ("X", "T", "φ"), 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". Explicity, "μ" is invariant if and only if

:mu left( varphi_{t}^{-1} (A) ight) = mu (A) forall t in T, A in Sigma.

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

Examples

* Consider the real line R with its usual Borel σ-algebra; fix "a" ∈ R and consider the translation map "T""a" : R → R given by:

::T_{a} (x) = x + a.

: Then one-dimensional Lebesgue measure "λ" is an invariant measure for "T""a".

* More generally, on "n"-dimensional Euclidean space R"n" 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" : R"n" → R"n" that can be written as

::T(x) = A x + b

: for some "n" × "n" orthogonal matrix "A" ∈ O("n") and a vector "b" ∈ R"n".


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Quasi-invariant measure — In mathematics, a quasi invariant measure mu; with respect to a transformation T , from a measure space X to itself, is a measure which, roughly speaking, is multiplied by a numerical function by T . An important class of examples occurs when X… …   Wikipedia

  • Measure (mathematics) — Informally, a measure has the property of being monotone in the sense that if A is a subset of B, the measure of A is less than or equal to the measure of B. Furthermore, the measure of the empty set is required to be 0. In mathematical analysis …   Wikipedia

  • Invariant (mathematics) — In mathematics, an invariant is a property of a class of mathematical objects that remains unchanged when transformations of a certain type are applied to the objects. The particular class of objects and type of transformations are usually… …   Wikipedia

  • Invariant theory — is a branch of abstract algebra that studies actions of groups on algebraic varieties from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit description of polynomial functions that do not …   Wikipedia

  • Measure-preserving dynamical system — In mathematics, a measure preserving dynamical system is an object of study in the abstract formulation of dynamical systems, and ergodic theory in particular. Contents 1 Definition 2 Examples 3 Homomorphisms 4 …   Wikipedia

  • Invariant speed — The invariant speed or observer invariant speed is the speed an object or particle must be traveling at for its speed to have the same measure in all reference frames. The invariance of the speed of light is a consequence of the postulates of… …   Wikipedia

  • Haar measure — In mathematical analysis, the Haar measure is a way to assign an invariant volume to subsets of locally compact topological groups and subsequently define an integral for functions on those groups.This measure was introduced by Alfréd Haar, a… …   Wikipedia

  • There is no infinite-dimensional Lebesgue measure — In mathematics, it is a theorem that there is no analogue of Lebesgue measure on an infinite dimensional space. This fact forces mathematicians studying measure theory on infinite dimensional spaces to use other kinds of measures: often, the… …   Wikipedia

  • Pushforward measure — In mathematics, a pushforward measure (also push forward or push forward) is obtained by transferring ( pushing forward ) a measure from one measurable space to another using a measurable function.DefinitionGiven measurable spaces ( X 1, Sigma;1) …   Wikipedia

  • Trivial measure — In mathematics, specifically in measure theory, the trivial measure on any measurable space ( X , Σ) is the measure μ which assigns zero measure to every measurable set: μ ( A ) = 0 for all A in Σ.Properties of the trivial measureLet μ denote the …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”