An axiomatic definition of the entropy of a -action on a Lebesgue space
A new formula for entropy of doubly stochastic operators is presented. It is also checked that this formula fulfills the axioms of the axiomatic definition of operator entropy, introduced in an earlier paper of Downarowicz and Frej. As an application of the formula the 'product rule' is obtained, i.e. it is shown that the entropy of a product is the sum of the entropies of the factors. Finally, the proof of continuity of the new 'static' entropy as a function of the measure is given.
Soit un nombre de Pisot de degré ; nous avons montré précédemment que l’endomorphisme du tore dont est valeur propre est facteur du -shift bilatéral par une application continue ; nous prouvons ici (théorème 1) que l’application conserve l’entropie de toute mesure invariante sur le -shift. Ceci permet de définir l’entropie d’un nombre dans la base et d’en étudier la stabilité. Nous généralisons également des résultats de Kamae, Rauzy et Bernay.