1
$\begingroup$

Define rotation map on $f:S^{1}\rightarrow S^{1}$ such that $\theta \rightarrow \theta +2\pi\alpha, $ where $\alpha$ is some fixed irrational. Is $f\times f$ topologically transitive?

A function $f:X\rightarrow X$ where $(X, d) $ is a metric space, is said to be topologically transitive if for every pair of non-empty disjoint open sets $U$ and $V$ of $X$, there exist some natural number $n$ such that $f^{n} (U) \cap V$ is non empty.

  • 1
    $f$ is topologically transitive. I am trying to show what will happen to direct product. If direct product is not topologically transitive then we need to find such open sets. What will be that? – 2017-02-12
  • 0
    That is not true for $\alpha$ rational. – 2017-02-12
  • 0
    Some definitions for topologically transitive sets do not assume that $U$ and $V$ are disjoint. Just distinct. – 2017-02-12
  • 0
    I edited. Please check, $\alpha $ is irrational. It is transitive as, orbit is dense and $S^{1} $ is thick space. What will happen to its direct product to itself? – 2017-02-12
  • 0
    Any good reference of proof saying torus have have rational slope? – 2018-01-22

2 Answers 2

3

$f\times f$ is not topologically transitive: the slope on the torus is rational and so all orbits of $f\times f$ are contained in a closed curve (a geodesic in the flat metric), which thus is not dense.

  • 0
    Weak mixing imply transitivity but converse need not true.. So even if it is not weak mixing we can not say it is transitive – 2018-01-22
  • 0
    How does your comment relate to my complete answer? – 2018-01-22
1

Irrational rotation on $S^1$ is an isometry and hence not weak mixing. That means $f \times f$ is not transitive.