Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Invariant measure
Résumé
In mathematics, an invariant measure is a measure that is preserved by some function. The function may be a geometric transformation. For examples, circular angle is invariant under rotation, hyperbolic angle is invariant under squeeze mapping, and a difference of slopes is invariant under shear mapping.
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.
Let be a measurable space and let be a measurable function from to itself. A measure on is said to be invariant under if, for every measurable set in
In terms of the pushforward measure, this states that
The collection of measures (usually probability measures) on that are invariant under is sometimes denoted The collection of ergodic measures, is a subset of Moreover, any convex combination of two invariant measures is also invariant, so is a convex set; consists precisely of the extreme points of
In the case of a dynamical system where is a measurable space as before, is a monoid and is the flow map, a measure on is said to be an invariant measure if it is an invariant measure for each map Explicitly, is invariant if and only if
Put another way, is an invariant measure for a sequence of random variables (perhaps a Markov chain or the solution to a stochastic differential equation) if, whenever the initial condition is distributed according to so is for any later time
When the dynamical system can be described by a transfer operator, then the invariant measure is an eigenvector of the operator, corresponding to an eigenvalue of this being the largest eigenvalue as given by the Frobenius-Perron theorem.
Consider the real line with its usual Borel σ-algebra; fix and consider the translation map given by: Then one-dimensional Lebesgue measure is an invariant measure for
More generally, on -dimensional Euclidean space with its usual Borel σ-algebra, -dimensional Lebesgue measure is an invariant measure for any isometry of Euclidean space, that is, a map that can be written as for some orthogonal matrix and a vector
The invariant measure in the first example is unique up to trivial renormalization with a constant factor.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique