Namespaces
Variants
Actions

Difference between revisions of "Topological dynamics"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (better)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930301.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930302.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930303.png" /> (this is assumed throughout).
+
{{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.
+
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.
 
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930304.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930305.png" />, 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]]].)
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930306.png" />-topology, and for differentiable dynamical systems, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930307.png" />-topology, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930308.png" />, 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.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t0930309.png" /> of an interval or circle. A lot of this does not depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093030/t09303010.png" /> being smooth, and is not connected with invariant measures, so relates to "pure" topological dynamics.
+
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|skew product]] 2), cf. [[#References|[9]]]).
+
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====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> C. Conley,   "Isolated invariant sets and the Morse index" , Amer. Math. Soc. (1978)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S. Schwartzman,   "Asymptotic cycles" ''Ann. of Math.'' , '''66''' (1957) pp. 270–284</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</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</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</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</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)</TD></TR></table>
+
<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====
 
====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]]].
+
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
 
For non-autonomous systems, see also [[#References|[a5]]] and Chapt. IV in
Line 26: Line 27:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Auslander,   "Minimal flows and their extensions" , North-Holland (1988)</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</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)</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</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> G.R. Sell,   "Topological dynamics and ordinary differential equations" , v. Nostrand (1971)</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)</TD></TR></table>
+
<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>

Latest revision as of 22:03, 10 December 2017

The branch of the theory of dynamical systems in which one studies topological dynamical systems (cf. Dynamical system; Topological dynamical system). The basic situation is the case where the 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 and the 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, 2)), Poisson stability, non-wanderingness (cf. Wandering point), and 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.) 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 [1], [6], [11], – in 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) 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 (no longer a number, but a more complicated object) and establish a relationship that generalizes the Morse inequalities (just as in the corresponding result for a 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. [1], [10].)

Related to topological dynamics are questions about invariant measures (cf. Invariant measure); topological entropy; asymptotic cycles (cf. [2], [3]); or the question to which class in the sense of descriptive set theory some subset or other of the phase space, naturally determined by its properties, belongs (cf. , [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. [9], [10] in General position, and [3] in Chain recurrence, and also [6], [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 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). 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, 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. [8], [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 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), cf. [9]).

References

[1] C. Conley, "Isolated invariant sets and the Morse index" , Amer. Math. Soc. (1978) MR0511133 Zbl 0397.34056
[2] S. Schwartzman, "Asymptotic cycles" Ann. of Math. , 66 (1957) pp. 270–284 MR0088720 Zbl 0207.22603
[3] F. Rhodes, "Asymptotic cycles for continuous curves on geodesic spaces" J. London Math. Soc. , 6 (1973) pp. 247–255 MR0341457 Zbl 0295.53037
[4a] O.M. Sharkovskii, "On cycles and the structure of a continuous mapping" Ukr. Mat. Zh. , 17 : 3 (1965) pp. 104–111 (In Russian)
[4b] O.M. Sharkovskii, "A classification of fixed points" Ukr. Mat. Zh. , 17 : 5 (1965) pp. 80–95 (In Russian)
[4c] 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)
[4d] 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
[5] O.M. Sharkovskii, "The convergence set of one-dimensional iterations" Dop. Akad. Nauk. UkrSSR : 7 (1966) pp. 866–870 ((in Ukrainian. English abstract))
[6] 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)
[7] 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 MR0650665 Zbl 0341.54053
[8] H. Furstenberg, "Poincaré recurrence and number theory" Bull. Amer. Math. Soc. , 5 : 3 (1981) pp. 211–234 MR0628658 Zbl 0481.28013
[9] 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
[10] D. Salamon, "Connected simple systems and the Conley index of isolated invariant sets" Trans. Amer. Math. Soc. , 291 : 1 (1985) pp. 1–41 MR0797044 Zbl 0573.58020
[11] H. Furstenberg, "Recurrence in ergodic theory and combinatorial number theory" , Princeton Univ. Press (1981) MR0603625 Zbl 0459.28023


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 [a1]. For cascades obtained by iterating a continuous mapping of the interval or circle, see e.g. [a2][a4], [a6].

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

of Dynamical system.

References

[a1] J. Auslander, "Minimal flows and their extensions" , North-Holland (1988) MR0956049 Zbl 0654.54027
[a2] R. Bowen, J. Franks, "The periodic points of maps of the disk and the interval" Topology , 15 (1976) pp. 337–342 MR0431282 Zbl 0346.58010
[a3] M. Martens, S. van Strien, W. de Melo, "Julia—Fatou—Sullivan theory for real one-dimensional dynamics" Acta Math. (To appear) MR1161268 Zbl 0761.58007
[a4] 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 MR0970571 Zbl 0664.58015
[a5] G.R. Sell, "Topological dynamics and ordinary differential equations" , v. Nostrand (1971) MR0442908 Zbl 0212.29202
[a6] A.N. Sharkovskii, "Coexistence of cycles of continuous maps of a line into itself" Ukrain. Mat. Zh. , 16 (1964) pp. 61–71 (In Russian)
[a7] G.A. Hecklund, "Topological dynamics" , Amer. Math. Soc. (1955)
[a8] S. Smale, "The mathematics of time" , Springer (1980) MR0607330 Zbl 0451.58001
How to Cite This Entry:
Topological dynamics. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Topological_dynamics&oldid=17008
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article