Décalage de Bernoulli (langage formel)
Un décalage de Bernoulli (en anglais Bernoulli shift) est une transformation opérant sur des mots de longueur infinie, étudiée en dynamique symbolique. Étant donné un alphabet Λ, c'est-à-dire un ensemble fini. Un mot infini est une suite à valeurs dans l'alphabet Λ. Le décalage de Bernoulli est l'application qui décale un mot d'un cran vers la gauche :
On peut définir de même les décalages de Bernoulli pour des mots infinis indexés sur et les résultats et propriétés énoncés sont similaires.
Le décalage de Bernoulli vu comme système dynamique topologique
Il faut munir l'ensemble des mots infinis d'une structure topologique pour laquelle σ soit continue. Pour cela, on définit la distance d par :
- et si
Cette structure rend compact et σ est alors 2-lipschitzienne donc continue.
Le décalage de Bernoulli vu comme système dynamique mesuré
Munissons d'une structure d'espace de probabilité , ce qui revient à assigner à chaque lettre une fréquence d'apparition . On introduit ensuite le produit d'espaces de probabilité :
σ est alors une application mesurable et on peut même montrer que l'entropie métrique d'un décalage de Bernoulli vaut :
