Let $(T,X)$ be a discrete dynamical system. By this I mean that $X$ is a compact Hausdorff space and $T: X \to X$ a homeomorphism.


For example, take $X$ to be the sequence space $2^{\mathbb{Z}}$ and $T$ the Bernoulli shift. Then there is a dense set of periodic points, and there is another (disjoint) dense set of points whose orbits are dense (in view of topological transitivity). However, there are also points of $X$ that belong to neither of these sets---for instance, the sequence $(\dots, 1, 1, 1, 0, 0, 0, \dots )$.


This led to me the following:



> 
> **Question:** Is there a discrete dynamical system $(T,X)$ such that
> every point has either a finite or a
> dense orbit? (Cf. the below caveats.)
> 
> 
> 


There are a few caveats to add. We want both periodicity and topological transitivity to occur; this rules out examples such as rotations of the circle (where every point is of the same type, either periodic or with a dense orbit). So assume:


1. there is at least a point with dense orbit;
2. there is at least a periodic point;
3. also, assume there is no isolated point.


I've been thinking on and off about this question for a couple of days, and the basic examples of dynamical systems that I learned (shift spaces, toral endomorphisms, etc.) don't seem to satisfy this condition, and intuitively it feels like the compactness condition should imply that there are points which are "almost periodic," but not, kind of like the $(\dots, 1, 1, 1, 0, 0,0, \dots)$ example mentioned earlier. Nevertheless, I don't see how to prove this.



Is there a dynamical system such that every orbit is either periodic or dense?
I believe you will find such examples for $X=\mathbb{C}$ and $T$ a rational map in


[Mary Rees](http://www.liv.ac.uk/~maryrees/maryrees.homepage.html), **Ergodic rational maps with dense critical point forward orbit**, *Ergodic Theory and Dynamical Systems* 4 (1984), 311-322. [official version](http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=2123740).


In my Ph.D. thesis, I showed that some of these even support a metric with respect to which these dynamical systems are ``hyperbolic''. This metric gives a notion of length of curves comparable to the usual metric on the Riemann sphere, but is defined by a function which is singular on a dense set of points on the sphere (the forward orbit of the critical point).


