Entropie metrique

Entropie metrique

Entropie métrique

L'entropie métrique, ou entropie de Kolmogorov (se dit aussi en anglais measure-theoretic entropy) est un outil développé par Kolmogorov vers le milieu des années 1950 issu du concept probabiliste d'entropie de la théorie de l'information de Shannon. Kolmogorov montra comment l'entropie métrique peut être utilisée pour montrer si deux systèmes dynamiques ne sont pas conjugués. C'est un invariant fondamental des systèmes dynamiques mesurés. En outre, l'entropie métrique permet une définition qualitative du chaos : une transformation chaotique peut être vue comme une transformation d'entropie non nulle.

Présentons tout d'abord le cadre mathématique dans lequel on se place. (X, \mathfrak{M}, \mu) est un espace de probabilité, et f
: X \to X est une application mesurable, qui représente la loi d'évolution d'un système dynamique à temps discrets sur l'espace des phases X. On impose à f de préserver la mesure, c'est-à-dire que \forall M \in \mathfrak{M}, \mu(f^{-1}(M)) = \mu(M). Partant d'un état initial x, on peut définir la suite des ses itérés par f : x, f(x), \dots, f^n(x), \dots L'ensemble \{f^n(x) : n \geq 0\} des états par lesquels passe le système s'appelle l'orbite de x.

Sommaire

Construction de l'entropie métrique

Si l'on se donne une partition finie α de X constituée d'ensembles mesurables \alpha = \{A_1, \dots, A_p\} et un état initial x, les états fn(x) (n \geq 0) par lesquels le système passe tombent chacun dans une des parties de la partition α. La suite de ces parties fournit de l'information sur l'état initial x. L'entropie correspond à la quantité moyenne d'information apportée par une itération. La construction de l'entropie métrique est un processus qui se déroule en trois étapes, que nous allons expliciter ci-dessous. Dans un premier temps, on définit l'entropie \mathcal{H}(\alpha) d'une partition α (information moyenne issue de la connaissance de la partie de α dans laquelle se situe un point de x). Puis, on définit l'entropie h(f,α) de la transformation f relativement à la partition α (information moyenne apportée par une itération). Enfin, l'entropie métrique h(f) est la borne supérieure des entropies de f relativement aux partitions de X.

Entropie d'une partition

Soit α une partition finie de X en ensembles mesurables. Un point x \in X est d'autant mieux localisé qu'il se situe dans une partie A \in \alpha de faible mesure μ(A). Ceci justifie l'introduction de la fonction information I(\alpha) : X \to [0 ; +
\infty ] définie par :

\forall x \in X,  I(\alpha)(x) = -\sum_{A \in \alpha} \log \mu(A) \chi_A(x)

c'est-à-dire I(α)(x) = − logμ(A) si x \in A.

L'entropie de la partition α est la moyenne de I(α) :

\mathcal{H}(\alpha) = \frac{1}{\mu(X)} \int_X I(\alpha)(x) d\mu(x) = - \sum_{A \in
\alpha} \mu(A) \log \mu(A)

On prend 0log0 égal à 0. Si α et β sont deux partitions mesurables de X, on définit le joint de α et β, \alpha \vee \beta la plus petite partition plus fine que α et β : \alpha \vee \beta = \{ A \cap B : A \in
\alpha, B \in \beta, A \cap B \neq \emptyset\}. On dit que β est plus fine que α, et on note \beta \geq \alpha si tout élément de A de α s'écrit comme union d'éléments de β.

L'entropie d'une partition vérifie les propriétés intuitives suivantes :

  • Si α et β sont deux partitions mesurables, alors \mathcal{H}(\alpha \vee \beta) \leq \mathcal{H}(\alpha) + \mathcal{H}(\beta).
  • Notons f^{-1}(\alpha) = \{f^{-1}(A) : A \in \alpha\}. On a : \mathcal{H}(\alpha) = \mathcal{H}(f^{-1}(\alpha)).

La première propriété signifie que l'information apportée par la connaissance simultanée des positions des états du système relativement à deux partitions est inférieure à la somme des informations apportées relativement à chacune des partitions. La deuxième propriété provient du fait que f préserve la mesure.

Entropie d'une transformation relativement à une partition

α est une partition mesurable. On définit l'entropie h(f,α) de la transformation f relativement à α par :

h(f, \alpha) = \lim_{n \to + \infty} \frac{1}{n} \mathcal{H} \Bigg(\bigvee_{i=0}^{n-1} f^{-i}(\alpha) \Bigg)

On peut voir la transformation f comme le passage d'un jour au suivant lors d'une expérience. Au temps zéro, on ne parvient pas à distinguer tous les états, on regroupe les états non distinguables par paquets, on forme de cette manière une partition α. \bigvee_{i=0}^{n-1}
f^{-i}(\alpha) représente ainsi tous les résultats possibles au bout de n jours. h(f,α) est donc l'information moyenne quotidienne que l'on obtient en réalisant l'expérience.

La limite définie existe bien. Si on note a_n = \mathcal{H} \Bigg(
\bigvee_{i=0}^{n-1} f^{-i}(\alpha) \Bigg), alors la suite (a_n)_{n
\in \N^*} est sous-additive car :

a_{n+p} = \mathcal{H} \Bigg(\bigvee_{i=0}^{n+p-1} f^{-i}(\alpha) \Bigg) \leq \mathcal{H} \Bigg(\bigvee_{i=0}^{n-1} f^{-i}(\alpha) \Bigg) + \mathcal{H} \Bigg(\bigvee_{i=n}^{n+p-1} f^{-i}(\alpha) \Bigg) \leq a_n + a_p

On a utilisé respectivement les deux propriétés de la section précédente. (a_n/n)_{n \in \N^*} admet donc une limite.

Dernière étape : entropie métrique d'une transformation

L'entropie métrique de f, notée h(f) est la borne supérieure des entropies de f relativement aux partitions finies mesurables de X

h(f) = \sup_{\alpha} h(f, \alpha)

h(f) est éventuellement infinie.

Exemples de systèmes dynamiques et calcul d'entropie

Le calcul de l'entropie métrique est facilité lorsque la borne supérieure est atteinte, i.e lorsqu'il existe une partition α telle que l'entropie métrique et l'entropie relativement à α soient confondues. À titre d'exemple, traitons le cas de l'application identité de X. Alors,

 h(id, \alpha) = \frac{1}{n}\mathcal{H}\Bigg(\bigvee_{i=0}^{n-1} id^{-i}(\alpha) \Bigg) =\frac{1}{n} \mathcal{H}(\alpha) \longrightarrow_{n \to + \infty} 0

L'identité a une entropie nulle, ce qui est prévisible en raison de son caractère peu chaotique.

Article détaillé : Théorème de Kolmogorov-Sinai.

Dans beaucoup de cas moins triviaux, le théorème suivant, de Kolmogorov-Sinai, est l'un des outils les plus pratiques pour calculer une entropie, car il évite de prendre la borne supérieure sur toutes les partitions mesurables de X.

Si α est une partition mesurable de X telle que la suite \Big(\bigvee_{i=0}^{n} f^{-i}(\alpha)\Big)_{n \in \N} engendre la tribu \mathfrak{M}, ou bien si f est inversible (f-1 est mesurable et préserve la mesure) et la suite \Big(\bigvee_{i=-n}^{n} f^{-i}(\alpha)\Big)_{n \in \N} engendre la tribu \mathfrak{M} alors on dit que α est génératrice.

Le théorème de Kolmogorov-Sinai affirme que si α est génératrice, alors h(f) = h(f,α).

Rotations du cercle

\mathbb{U} = \R / \Z est le cercle unité, muni de la mesure d'angle dθ. Analysons l'effet d'une rotation

f : x \mapsto a + z \mod 1

lorsque a = p / q est rationnel. Soit α une partition :

h(f, \alpha) = \lim_{n \to + \infty} \frac{1}{qn}
\mathcal{H}\Bigg(\bigvee_{i=0}^{qn-1} f^{-i}(\alpha)\Bigg) = \lim_{n
\to + \infty} \frac{1}{qn} \Bigg(\bigvee_{i=0}^{q-1}
f^{-i}(\alpha)\Bigg) = 0

Dans le cas où a est irrationnel, on montre également que l'entropie métrique de f est nulle.

Doublement des angles

Toujours sur le cercle unité, on prend cette fois l'application

f : x \mapsto 2x \mod 1

qui double les angles. On considère la même partition

\alpha = \Big\{\Big[0, \displaystyle\frac{1}{2}\Big[,
\Big[\displaystyle\frac{1}{2}, 1\Big[\Big\}

On observe que :

\alpha \vee f^{-1}(\alpha) = \Big\{\Big[0, \frac{1}{4}\Big[,
\Big[\frac{1}{4}, \frac{1}{2}\Big[, \Big[\frac{1}{2},
\frac{3}{4}\Big[, \Big[\frac{3}{4},1\Big[\Big\}

Puis par récurrence, on déduit plus généralement que :

 \bigvee_{i=0}^{n-1}
f^{-i}(\alpha) = \Big\{\Big[\frac{i}{2^n},\frac{i+1}{2^n}\Big[ : 0
\leq i \leq 2^n -1 \Big\}

Comme les ensembles du type \Big[\displaystyle\frac{i}{2^n},\displaystyle\frac{i+1}{2^n}\Big[ engendrent la tribu \mathfrak{M}, le théorème de Kolmogorov-Sinai montre que h(f) = h(f,α) et :

\mathcal{H}\Bigg(\bigvee_{i=0}^{n-1} f^{-i}(\alpha)\Bigg) = -
\sum_{i=0}^{2^n - 1}
\mu\Bigg(\Big[\frac{i}{2^n},\frac{i+1}{2^n}\Big[\Bigg) \log \mu
\Bigg(\Big[\frac{i}{2^n},\frac{i+1}{2^n}\Big[\Bigg) = n \log 2

L'entropie métrique de f est donc log 2.

Décalage de Bernoulli

On dispose d'un alphabet fini \Lambda = \{1, \dots, k\}. Soit (p_i)_{1 \leq i \leq k} des nombres strictement positifs de somme 1. On assigne à chaque lettre i la probabilité m({i}) = pi d'apparition. (Λ,2Λ,m) est un espace de probabilité. On introduit l'espace des mots infinis (\Lambda^\Z, \mathfrak{M}, \mu) =
\displaystyle\prod_{-\infty}^{+\infty} (\Lambda, 2^\Lambda, m). On définit l'application décalage σ par σ(x)n = xn + 1 pour n \in \Z. (\Lambda^\Z, \mathfrak{M}, \mu, \sigma) est un système dynamique inversible. On partitionne \Lambda^\Z en \alpha
= \{P_i\}_{1 \leq i \leq k}Pi est l'ensemble des mots (x_n)_{n \in \Z} tels que x0 = i. \bigvee_{i=-n}^n
f^{-i}(\alpha) est la partition par les cylindres \mathcal{C}_{\lambda_{-n}, \dots, \lambda_n} = \{ (x_n) \in
\Lambda^\Z : x_i = \lambda_i, -n \leq i \leq n\}. L'ensemble de ces cylindres engendrent la tribu de \Lambda^\Z et le théorème de Kolmogorov-Sinai s'applique. On calcule alors facilement :

 \mathcal{H}\Bigg( \bigvee_{i=0}^{n-1} \sigma^{-i}(\alpha) \Bigg) = - \sum_{(\lambda_0, \dots, \lambda_{n-1}) \in
\Lambda^n} p_{\lambda_0}p_{\lambda_1}\cdots p_{\lambda_{n-1}} \log
(p_{\lambda_0}p_{\lambda_1}\cdots p_{\lambda_{n-1}}) = - n
\sum_{\lambda \in \Lambda} p_\lambda \log p_\lambda

Donc h(\sigma) = h(\sigma, \alpha) = - \displaystyle\sum_{\lambda \in
\Lambda} p_\lambda \log p_\lambda.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Entropie m%C3%A9trique ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Entropie metrique de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Entropie Métrique — L entropie métrique, ou entropie de Kolmogorov (se dit aussi en anglais measure theoretic entropy) est un outil développé par Kolmogorov vers le milieu des années 1950 issu du concept probabiliste d entropie de la théorie de l information de… …   Wikipédia en Français

  • Entropie métrique — En mathématiques et plus précisément, dans la théorie des systèmes dynamiques, l entropie métrique, ou entropie de Kolmogorov (appelée également en anglais measure theoretic entropy) est un outil développé par Kolmogorov vers le milieu des années …   Wikipédia en Français

  • Entropie (Mathématiques) — Pour les articles homonymes, voir Entropie (homonymie). En mathématiques, l entropie est une quantité réelle mesurant en un certain sens la complexité d un système dynamique. Entropie topologique Article détaillé : entropie topologique.… …   Wikipédia en Français

  • Entropie (mathematiques) — Entropie (mathématiques) Pour les articles homonymes, voir Entropie (homonymie). En mathématiques, l entropie est une quantité réelle mesurant en un certain sens la complexité d un système dynamique. Entropie topologique Article détaillé :… …   Wikipédia en Français

  • Entropie Topologique — En mathématiques et plus précisément, dans la théorie des systèmes dynamiques, l entropie topologique est un réel associé à tout homéomorphisme d un espace topologique séparé et compact. Ce réel caractérise l action induite de l homéomorphisme… …   Wikipédia en Français

  • Entropie (thermodynamique) — Entropie Pour les articles homonymes, voir Entropie (homonymie). En thermodynamique, l entropie est une fonction d état introduite en 1865[1] par Rudolf Clausius dans le cadre du deuxième principe, d après les travaux de Sadi Carnot[ …   Wikipédia en Français

  • Entropie De Shannon — L entropie de Shannon, due à Claude Shannon, est une fonction mathématique qui, intuitivement, correspond à la quantité d information contenue ou délivrée par une source d information. Cette source peut être un texte écrit dans une langue donnée …   Wikipédia en Français

  • Entropie de shannon — L entropie de Shannon, due à Claude Shannon, est une fonction mathématique qui, intuitivement, correspond à la quantité d information contenue ou délivrée par une source d information. Cette source peut être un texte écrit dans une langue donnée …   Wikipédia en Français

  • Entropie (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Entropie (mathématiques) — Pour les articles homonymes, voir Entropie (homonymie). En mathématiques, l entropie est une quantité réelle mesurant en un certain sens la complexité d un système dynamique. Entropie topologique Article détaillé : entropie topologique.… …   Wikipédia en Français

Share the article and excerpts

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