Système dynamique mesuré

Un article de Wikipédia, l'encyclopédie libre.

Un système dynamique mesuré est un objet mathématique, représentant un espace de phase muni d'une loi d'évolution, particulièrement étudié en théorie ergodique.

[modifier] Définition

Un système dynamique mesuré est la donnée d'un espace probabilisé (X, \mathfrak{B}, \mu) et d'une application mesurable f : X \to X. On exige que f préserve la mesure, ceci veut dire que :

\forall B \in \mathfrak{B}, \mu(f^{-1}(B)) = \mu(B)

X est donc un ensemble, \mathfrak{B} est une tribu, μ est une mesure de probabilité (μ(X) = 1).

Il semble surprenant d'imposer à une transformation f de préserver la mesure. Mais cette propriété est très riche et permet l'obtention de puissants théorèmes. Par ailleurs, un théorème affirme qu'il existe pour toute transformation continue X \to X d'un espace topologique compact X une mesure de probabilité, borélienne, préservant cette transformation. (C'est une application du théorème de représentation de Riesz-Fischer).

[modifier] Exemples

  • On peut étudier la fonction logistique : on prend X = [0,1] et f(x) = 4x(1 − x). On munit X de sa tribu borélienne et prend comme mesure \frac{dx}{\pi \sqrt{x(1-x)}}.
  • Les rotations du cercle constituent des exemples plus évidents puisque la mesure d'angle normalisée dθ/2π est une mesure de probabilité invariante par toute rotation.
  • On peut généraliser la transformation précédente en introduisant pour tout groupe topologique compact une mesure borélienne appelée mesure de Haar qui est invariante par toute rotation (i.e par toute application de la forme x \mapsto a \cdot x)

[modifier] Voir aussi

  • On peut attribuer à chaque système dynamique mesuré un nombre appelé entropie métrique mesurant quantitativement sa complexité dynamique. C'est de plus un invariant de conjugaison.
Autres langues