MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $M$ be a compact manifold without boundary, $f:M\to M$ be a diffeomorphism. Then $f$ is said to be (topologically) transitive if $\bigcup_{\mathbb{Z}}f^nU$ is dense for every nonempty open set $U\subset M$.

Assume $f$ is transitive and $\lbrace U_k:k\ge1\rbrace$ is a subbasis of the topology on $M$. Then define the transitive set of $f$ to be $T_f=\bigcap_{k\ge1}(\bigcup_{\mathbb{Z}}f^nU_k)$. Clearly $T_f$ is a dense $G_\delta$ subset of $M$ (so topologically large).

Let $m$ be the Lebesgue measure on $M$. My question is:

  • Could $T_f$ be measure-theoretically meager, say $m(T_f)=0$, for some transitive $f$?

Thank you!

share|cite|improve this question
up vote 1 down vote accepted

Dear Pengfei,

Such examples exist and they can be obtained by the so-called Anosov-Katok method (see, e.g., Theorem 5.1 of the article "Constructions in elliptic dynamics" of B. Fayad and A. Katok).



share|cite|improve this answer
Thank you! They asked and answered above question there. – Pengfei Jul 21 '12 at 2:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.