This question is [cross-posted from MSE](https://math.stackexchange.com/questions/503965/is-topologically-mixing-vs-is-topologically-transitive-in-the-defition-of-c), since it hasn't gotten an answer there for over 72 hours.
  
  
  

[Wikipedia gives](http://en.wikipedia.org/wiki/Chaos_theory#cite_note-9) essentially "is [topologically mixing](http://en.wikipedia.org/wiki/Mixing_(mathematics)#Topological_mixing) and has dense periodic periodic orbits"
  

as the definition of chaos, and [this paper](http://www.jstor.org/stable/2324899?seq=1) shows that its (the paper's) definition of chaos
  
is equivalent to "is topologically transitive and has dense periodic orbits".
  

Clearly, every topologically mixing map is topologically transitive, and there are topologically transitive maps that are not topologically mixing (such as an irrational rotation of the circle).


Is there a map that is topologically transitive *and* has dense periodic orbits
  

but is not topologically mixing? $\:$ If yes, can its space be metrizble?
  
  




“is topologically mixing” vs. “is topologically transitive” in the defition of chaos
The answers to both questions are: yes. There are many examples. The simplest is maybe this: Let $T(x)=1-|1-2x|$ be the tent map. Take the product space $[0,1]\times\{0,1\}$ and the map $F(x,y)=(T(x),1-y)$, that is, take the Cartesian product of the unit interval with two-element set and the map which is a product of the tent map and a cyclic permutation $0\mapsto 1$, $1\mapsto 0$. This is a topologically transitive system with dense set of periodic points on a compact metric space (the verification of this is easy). It is not topologically mixing since its second iterate $F^2$ is not transitive. Another example: define
$$ 
f(x)=\begin{cases}1/2+2x,& 0\le x \le 1/4,\\
3/2-2x,& 1/4<x\le 1/2\\
1-x,&1/2<x \le 1.\end{cases}
$$
This map is transitive and has dense set of periodic points, but the second iterate is not transitive (it is known that for the continuous interval map topological mixing is equivalent to transitivity of the second iterate). 


