= Recurrent point
{title2=$T^{n_j}x\to x,\quad n_j\to\infty$}
A <recurrent point> of a <discrete dynamical system> returns arbitrarily close to its starting state at arbitrarily late positive times. In a <metric space>, this means that there is a strictly increasing sequence $n_j\to\infty$ with
$$
T^{n_j}x\to x.
$$
Equivalently, every <neighborhood> of $x$ contains $T^nx$ for arbitrarily large $n$. A finite early return near the point does not suffice.
Every <periodic point> is recurrent: if $T^px=x$, take $n_j=jp$. An <irrational rotation of the circle> gives recurrent points that are not periodic. For $T(\theta)=\theta+\alpha\pmod1$ with irrational $\alpha$, the <pigeonhole principle> applied to $0,\alpha,\ldots,N\alpha$ modulo one supplies an integer $1\leq q\leq N$ with distance from $q\alpha$ to an integer at most $1/N$. These approximating $q$ must be unbounded, since no fixed positive multiple of an irrational number is an integer. An increasing subsequence therefore gives the required returns for every starting angle.
Recurrence concerns returning close, whereas convergence to an attracting <equilibrium point> need not give recurrence of any other starting state. The map $T(x)=x/2$ has zero as a <recurrent point>, but a nonzero $x$ converges to zero rather than back to itself.
Back to article page
