MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 4 added 4 characters in body

Just to clarify, the set of recurrent points may not be closed. There exists some transitive homeomorphism, whose uniquely ergodic measure is a Dirac measure. For example start with an irrational vector field $X$ on $\mathbb{T}^2$ and put a stop at $o\in\mathbb{T}^2$. That is, $Y=f\cdot X$ with $f(o)=0$. Then let $\phi_1$ be the time-1 map of the flow induced by $Y$. We can choose $f$ such that $\delta_o$ is the only invariant measure of $\phi_1$, and $\phi_1$ is transitive. In particular the set of recurrent points are dense on $\mathbb{T}^2$.

Edit: See the following paper for more detailed some flow-version examples. In particular see Proposition 1 and 2 there.

show/hide this revision's text 3 added 178 characters in body

Just to clarify, the set of recurrent points may not be closed. There exists some transitive homeomorphism, whose uniquely ergodic measure is a Dirac measure. For example start with an irrational vector field $X$ on $\mathbb{T}^2$ and put a stop at $o\in\mathbb{T}^2$. That is, $Y=f\cdot X$ with $f(o)=0$. Then let $\phi_1$ be the time-1 map of the flow induced by $Y$. We can choose $f$ such that $\delta_o$ is the only invariant measure of $\phi_1$, and $\phi_1$ is transitive. In particular the set of recurrent points are dense on $\mathbb{T}^2$.

Edit: See the following paper for more detailed examples. In particular see Proposition 1 and 2 there.

show/hide this revision's text 2 improved formatting

Just to clarify, the set of recurrent points may not be closed. There exists some transitive homeomorphism, but whose uniquely ergodic homeomorphismmeasure is a Dirac measure. For example start with an irrational vector field $X$ on $\mathbb{T}^2$ and put a stop at $o\in\mathbb{T}^2$. That is, $Y=f\cdot X$ with $f(o)=0$. Then let $\phi_1$ be the time-1 map of the flow induced by $Y$. We can choose $f$ such that $\delta_o$ is the only invariant measure of $\phi_1$, and $\phi_1$ is transitive. In particular the set of recurrent points are dense on $\mathbb{T}^2$.

show/hide this revision's text 1