Résume | The theory of Banach lattices Lp(X,μ) with an automorphism admits a model companion, which is obtained by adding a functional version of the Rokhlin lemma, a fundamental result in ergodic theory. I will discuss some good properties of this theory and an application to the topological group of non-singular transformations of a standard probability space. I will also present a generalisation to the case where the single automorphism is replaced by a free action of an amenable group. |