View source for Topological dynamics

{{TEX|done}}
The branch of the theory of dynamical systems in which one studies topological dynamical systems (cf. [[Dynamical system|Dynamical system]]; [[Topological dynamical system|Topological dynamical system]]). The basic situation is the case where the [[Phase space|phase space]] is a metric compactum, and time runs through $\mathbf R$, $\mathbf Z$ or $\mathbf N$ (this is assumed throughout).

The origins of topological dynamics (1920–1930) were connected with the fact that a series of concepts concerning the limiting behaviour of a trajectory (for example, the [[Limit set|limit set]] and the [[Centre|centre]] of a topological dynamical system) and the "repetitiveness" of motion can usefully be discussed in the general context of topological dynamics, although these concepts themselves arose in the study of more concrete objects — differentiable dynamical systems. Various "repetitiveness" properties are (in increasing order of generality): periodicity, almost-periodicity (in the sense of Bohr), recurrence (in the sense of Birkhoff, cf. [[Minimal set|Minimal set]], 2)), [[Poisson stability|Poisson stability]], non-wanderingness (cf. [[Wandering point|Wandering point]]), and [[Chain recurrence|chain recurrence]]. As time increases, any trajectory approaches the set formed by "repetitive" trajectories; from this point of view the special attention given to the latter is completely justified.

In the 1960's the study of minimal sets and their extensions led to a significant development of topological dynamics as an independent discipline. (This was primarily connected with distal dynamical systems, cf. [[Distal dynamical system|Distal dynamical system]].) However, one must bear in mind that the study of the limiting behaviour of trajectories does not reduce simply to the study of minimal sets.

Up to the end of the 1960's, topological dynamics dealt mainly with the questions listed above (cf. also the following paragraph, and [[#References|[1]]], [[#References|[6]]], [[#References|[11]]], – in [[Dynamical system|Dynamical system]]). However, in many cases it turned out to be necessary to take account of "non-repetitive" trajectories as well. (Thus, there is often interest in separatrices.) In particular, they can describe waves of a certain special kind, irrespective of whether or not they are chain recurrent. The gradient dynamical systems (cf. [[Gradient dynamical system|Gradient dynamical system]]) corresponding to functions with non-degenerate critical points are used in the study of manifolds; however, in this case the set of "repetitive" trajectories has a trivial structure. Therefore, later the behaviour of trajectories outside the set of "repetitive" motions was also studied, as were compact invariant sets which are isolated, or locally maximal: in some neighbourhood $U$ of the set there is no larger invariant set. Among the trajectories in such a set, there may be "non-repetitive" ones. For such sets one can introduce a certain analogue of the [[Morse index|Morse index]] (no longer a number, but a more complicated object) and establish a relationship that generalizes the [[Morse inequalities|Morse inequalities]] (just as in the corresponding result for a [[Morse–Smale system|Morse–Smale system]]). One discusses also the behaviour of such sets under continuous changes in the system. (Since one is not interested in these questions in the future of a trajectory which leaves $U$, it is possible, and sometimes even necessary, to consider "local dynamical systems" , in which the "motion" of a point need not be defined for all values of time. The precise formulation is somewhat unwieldy. Cf. [[#References|[1]]], [[#References|[10]]].)

Related to topological dynamics are questions about invariant measures (cf. [[Invariant measure|Invariant measure]]); topological entropy; asymptotic cycles (cf. [[#References|[2]]], [[#References|[3]]]); or the question to which class in the sense of [[Descriptive set theory|descriptive set theory]] some subset or other of the phase space, naturally determined by its properties, belongs (cf. , [[#References|[5]]]). In topological dynamics, as generally in the theory of dynamical systems, one asks questions about those properties of dynamical systems which are in a certain sense "generic" (cf. [[#References|[9]]], [[#References|[10]]] in [[General position|General position]], and [[#References|[3]]] in [[Chain recurrence|Chain recurrence]], and also [[#References|[6]]], [[#References|[7]]]). (In fact, topological dynamics is only concerned with "genericity" in the $C^0$-topology, and for differentiable dynamical systems, $C^r$-topology, $r\geq1$, is appropriate on a correspondingly smaller set of systems.) In the framework of topological dynamics one can discuss the relationship between [[Lyapunov stability|Lyapunov stability]] and various related notions.

The application of topological dynamics to concrete dynamical systems or classes of them is largely connected with the use of concepts and results of topological dynamics in the theory of differentiable dynamical systems (partly also in [[Ergodic theory|ergodic theory]]). In such applications of topological dynamics one often has to consider systems in which the phase space is not a manifold. (This happens when topological dynamics is applied to the restriction of a dynamical system to an invariant set which is not a manifold, or in the use of [[Symbolic dynamics|symbolic dynamics]], or when both these situations are combined.) From the middle of the 1960's, and especially in the 1980's, a lot of work was done on cascades obtained by iterating a continuous mapping $S$ of an interval or circle. A lot of this does not depend on $S$ being smooth, and is not connected with invariant measures, so relates to "pure" topological dynamics.

Topological dynamics has been used (cf. [[#References|[8]]], [[#References|[11]]]) for a unified approach to a series of number-theoretical results (although for the deepest of them one has to refer to ergodic theory). Finally, although the definition of a topological flow recalls many of the properties of an [[Autonomous system|autonomous system]] of ordinary differential equations, topological dynamics can sometimes also be applied indirectly in the study of non-autonomous systems (here the system is considered along with a continuum of other systems obtained from it by a certain limiting process, and a construction arises analogous to that of a [[Skew product (ergodic theory)|skew product]]), cf. [[#References|[9]]]).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> C. Conley, "Isolated invariant sets and the Morse index" , Amer. Math. Soc. (1978) {{MR|0511133}} {{ZBL|0397.34056}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S. Schwartzman, "Asymptotic cycles" ''Ann. of Math.'' , '''66''' (1957) pp. 270–284 {{MR|0088720}} {{ZBL|0207.22603}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> F. Rhodes, "Asymptotic cycles for continuous curves on geodesic spaces" ''J. London Math. Soc.'' , '''6''' (1973) pp. 247–255 {{MR|0341457}} {{ZBL|0295.53037}} </TD></TR><TR><TD valign="top">[4a]</TD> <TD valign="top"> O.M. Sharkovskii, "On cycles and the structure of a continuous mapping" ''Ukr. Mat. Zh.'' , '''17''' : 3 (1965) pp. 104–111 (In Russian)</TD></TR><TR><TD valign="top">[4b]</TD> <TD valign="top"> O.M. Sharkovskii, "A classification of fixed points" ''Ukr. Mat. Zh.'' , '''17''' : 5 (1965) pp. 80–95 (In Russian)</TD></TR><TR><TD valign="top">[4c]</TD> <TD valign="top"> O.M. Sharkovskii, "The behaviour of an iteration in a neighbourhood of a fixed point" ''Ukr. Mat. Zh.'' , '''18''' : 2 (1966) pp. 60–83 (In Russian)</TD></TR><TR><TD valign="top">[4d]</TD> <TD valign="top"> O.M. Sharkovskii, "Attractive sets not containing limit cycles" ''Ukr. Math. J.'' , '''20''' : 1 (1968) pp. 131–134 ''Ukr. Mat. Zh.'' , '''20''' : 1 (1968) pp. 136–142</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> O.M. Sharkovskii, "The convergence set of one-dimensional iterations" ''Dop. Akad. Nauk. UkrSSR'' : 7 (1966) pp. 866–870 ((in Ukrainian. English abstract))</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> V.A. Dobrynskii, "Genericity of dynamical systems with stable propagation" , ''Dynamical systems and stability questions in the solution of differential equations'' , Kiev (1973) pp. 43–53 (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> J. Palis, C. Pugh, M. Shub, D. Sullivan, "Genericity theorems in topological dynamics" A. Manning (ed.) , ''Dynamical systems (Warwick, 1974)'' , ''Lect. notes in math.'' , '''468''' , Springer (1975) pp. 241–250 {{MR|0650665}} {{ZBL|0341.54053}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> H. Furstenberg, "Poincaré recurrence and number theory" ''Bull. Amer. Math. Soc.'' , '''5''' : 3 (1981) pp. 211–234 {{MR|0628658}} {{ZBL|0481.28013}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> V.M. Millionshchikov, "Les systèmes linéaires d'équations différentielles ordinaires" , ''Proc. Internat. Congress Mathematicians (Nice, 1970)'' , '''1''' , Gauthier-Villars (1971) pp. 915–920</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> D. Salamon, "Connected simple systems and the Conley index of isolated invariant sets" ''Trans. Amer. Math. Soc.'' , '''291''' : 1 (1985) pp. 1–41 {{MR|0797044}} {{ZBL|0573.58020}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> H. Furstenberg, "Recurrence in ergodic theory and combinatorial number theory" , Princeton Univ. Press (1981) {{MR|0603625}} {{ZBL|0459.28023}} </TD></TR></table>



====Comments====
The study of minimal sets and their extensions is carried out also for the case that the phase space is not metric (but still compact) and "time" runs through an arbitrary topological group; see also [[#References|[a1]]]. For cascades obtained by iterating a continuous mapping of the interval or circle, see e.g. [[#References|[a2]]]–[[#References|[a4]]], [[#References|[a6]]].

For non-autonomous systems, see also [[#References|[a5]]] and Chapt. IV in

of [[Dynamical system|Dynamical system]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Auslander, "Minimal flows and their extensions" , North-Holland (1988) {{MR|0956049}} {{ZBL|0654.54027}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Bowen, J. Franks, "The periodic points of maps of the disk and the interval" ''Topology'' , '''15''' (1976) pp. 337–342 {{MR|0431282}} {{ZBL|0346.58010}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> M. Martens, S. van Strien, W. de Melo, "Julia—Fatou—Sullivan theory for real one-dimensional dynamics" ''Acta Math.'' (To appear) {{MR|1161268}} {{ZBL|0761.58007}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> B. Thurston, "On iterated maps of the interval" J.C. Alexander (ed.) , ''Dynamical Systems (Proc. Maryland, 1986–7)'' , ''Lect. notes in math.'' , '''1342''' , Springer (1988) pp. 465–563 {{MR|0970571}} {{ZBL|0664.58015}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> G.R. Sell, "Topological dynamics and ordinary differential equations" , v. Nostrand (1971) {{MR|0442908}} {{ZBL|0212.29202}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> A.N. Sharkovskii, "Coexistence of cycles of continuous maps of a line into itself" ''Ukrain. Mat. Zh.'' , '''16''' (1964) pp. 61–71 (In Russian)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> G.A. Hecklund, "Topological dynamics" , Amer. Math. Soc. (1955)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> S. Smale, "The mathematics of time" , Springer (1980) {{MR|0607330}} {{ZBL|0451.58001}} </TD></TR></table>