On Lebesgue measure preserving Besicovitch functions

TL;DR

This paper studies Lebesgue measure-preserving continuous functions on [0,1], called Besicovitch functions, proving they are non-invertible almost everywhere, have positive entropy, and are dense in the space of such functions.

Contribution

It establishes the non-invertibility and positive entropy of Besicovitch functions and proves their density in the space of Lebesgue measure-preserving continuous maps.

Findings

Besicovitch functions are non-invertible $ ext{a.e.}$ with respect to Lebesgue measure.

All Besicovitch functions have positive measure-theoretic entropy.

Besicovitch functions are dense in the space of Lebesgue measure-preserving continuous maps.

Abstract

We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral derivative. It is known that the set of Besicovitch functions in $C_{\lambda}$ is nonempty and meager. We prove that no Besicovitch function is invertible $\lambda$-almost everywhere. As a consequence, every Besicovitch function in $C_{\lambda}$ has positive measure-theoretic entropy with respect to $\lambda$. Furthermore, we show that Besicovitch functions are dense in $C_{\lambda}$ and, consequently, also dense in the class of interval maps with a dense set of periodic points.