New properties of recurrent motions and limit sets of dynamical systems

In the earlier article by the authors [A. P. Afanas'ev, S. M. Dzyuba “About new properties of recurrent motions and minimal sets of dynamical systems”, Russian Universities Reports. Mathematics, 26:133 (2021), 5–14] a connection between general motions and recurrent motions in a compact metric space is established, and a very simple behavior of recurrent motions is proved. Based on these results, we introduce here a new definition of recurrent motion which, in contrast to the one widely used in modern literature, provides fairly complete information about the structure of a recurrent motion as a function of time and, therefore, is more illustrative. At the same time, we show that in an abstract metric space, the proposed definition is equivalent to Birkhoff's definition and is equivalent to the generally accepted modern definition in a complete metric space.
Necessary and sufficient conditions for recurrence (in the sense of the definition proposed in the article) of a motion in a compact metric space are obtained. It is proved that $\alpha$- and $\omega$-limit sets of any motion are minimal in a compact metric space (this assertion was announced in an earlier paper by the authors). From the minimality of $\alpha$- and $\omega$-limit sets, it is deduced that in a compact metric space, each positively (negatively) Poisson-stable point lies on the trajectory of a recurrent motion, i.e. is a point of a minimal set, and thus, in a compact metric space with a finite positive invariant measure almost all points are points of minimal sets.