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 (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. 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.
Read more about this topic: Invariant Measure
Famous quotes containing the word definition:
“... we all know the wags 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 lensif we are unaware that women even have a historywe live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possessafter many mysterieswhat one loves.”
—François, Duc De La Rochefoucauld (16131680)