Skip to main content
2 of 3
added 821 characters in body
rpotrie
  • 3.9k
  • 24
  • 27

Not sure if it is related, but in Lemma 1 of this paper (A.Avila, J. Bochi, A C1 generic map has no invariant absolutely continuous probability measure) it is proved that if a map has no invariant absolutely continuous probability measure, then, there exists a compact set $K$ of measure abitrarily close to $1$ which has an iterate with arbitrarily small measure.

Sorry if this has nothing to do, but from how I understood the question, at least this should be useful.

EDIT: Re-reading the question, I've noticed that you are maybe more concerned about balls. For this, it depends on what you want. For example, if you want, for any $\varepsilon$ a ball of smaller radius that has iterates with volume close to the manifold, it is easy to get (say, for example a north-south map). However, if you look for every ball at a time, this won't be true in general, for, example, if $f$ is not transitive, you get a reppeling neighborhood, so you won't aproach the total volume never. If $f$ is transitive, I believe you can manage to prove the same (that some balls won't increase their volume arbitrarily close to that of the manifold) but I have not an argument at the moment (it is clear if it is volume preserving, and otherwise, you will get some regions which are kind of ``repelling'').

rpotrie
  • 3.9k
  • 24
  • 27