4
$\begingroup$

Suppose first that $D=[0,1]$ is equipped with the usual Lebesgue measure, and that $\varphi$ is a measure-preserving transformation $\varphi:D\to D$ that is bijective and whose inverse is also measure preserving (called automorphism).

Is it true that there exists a sequence of continuous measure-preserving transformations $\varphi_n:D\to D$ converging in measure to $\varphi$?

Improve this question
$\endgroup$
3
  • $\begingroup$ If you want the continuous measure-preserving transformations to be automorphisms also, then certainly not... $\endgroup$
    – Anthony Quas
    Commented Jun 20, 2018 at 15:34
  • $\begingroup$ @AnthonyQuas I know, I removed that condition $\endgroup$
    – Exodd
    Commented Jun 20, 2018 at 15:35
  • $\begingroup$ You probably should edit the title also. One interesting example to keep in mind is where $\phi$ is the map that takes a point $x$ and interchanges the $2n-1$st and $2n$th binary digit of $x$ for all $n$. This is an automorphism, and I believe it can be approximated by continuous mpts. $\endgroup$
    – Anthony Quas
    Commented Jun 20, 2018 at 17:52

1 Answer 1

Reset to default
5
$\begingroup$

In fact, sequences of continuous piecewise linear transformations of $[0,1]$ suffice to approximate a.e. any measure preserving transformation of $[0,1]$ as proved in thm 2.1 in this paper (therefore in measure, by Severini-Egorov theorem; but in fact in that proof convergence in measure is first proved).

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .