See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/220579884

Topological transitivity

Article in Scholarpedia · January 2009

DOI: 10.4249/scholarpedia.5802 · Source: DBLP

CITATIONS READS

7 2,610

2 authors:

Sergiy Kolyada L'ubomír Snoha

National Academy of Sciences of Ukraine Univerzita Mateja Bela v Banskej Bystrici
50 PUBLICATIONS 1,853 CITATIONS 75 PUBLICATIONS 1,285 CITATIONS

SEE PROFILE SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Dynamical Topology: Dynamical Compactness and Slovak Spaces View project

All content following this page was uploaded by Sergiy Kolyada on 27 September 2014.

The user has requested enhancement of the downloaded file.

Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

Topological transitivity Ви поставили +1

Sergiy Kolyada and Ľubomír Snoha (2009), Scholarpedia, 4(2):5802. doi:10.4249/scholarpedia.5802 revision #91880 [link to/cite this article]

Sergiy Kolyada, Institute of Mathematics, NASU, Ukraine

Ľubomír Snoha, Department of Mathematics, Faculty of Natural Sciences, Matej Bel University, Banská Bystrica, Slovakia

The concept of topological transitivity goes back to G. D. Birkhoff [1] (http://en.wikipedia.org/wiki/George_David_Birkhoff) who introduced it in 1920 (for
flows). This article will concentrate on topological transitivity of dynamical systems given by continuous mappings in metric spaces. Intuitively, a
topologically transitive dynamical system has points which eventually move under iteration from one arbitrarily small open set to any other. Consequently,
such a dynamical system cannot be decomposed into two disjoint sets with nonempty interiors which do not interact under the transformation.

Contents
1 Topological transitivity versus the existence of a dense orbit
2 Some of the equivalent definitions of transitivity
3 Some examples of transitive maps
4 Transitivity of a map and its iterates
5 Transitive and intransitive points
6 Hitting times and notions related to transitivity
7 Transitivity and chaos
8 Transitivity and topological entropy
9 Transitivity of (semi)group actions
10 References
11 See also
12 External links

Topological transitivity versus the existence of a dense orbit

1 of 9 09/27/2014 09:12 AM
Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

Let X be a metric space with the metric d and f : X → X be continuous. The dynamical system (X, f ) is called topologically transitive if it satisfies the
following condition.
(TT) For every pair of non-empty open sets U and V in X, there is a non-negative integer n such that f n (U) ∩ V ≠ ∅.
However, some authors choose, instead of (TT), the following condition as the definition of topological transitivity.

(DO) There is a point x0 ∈ X such that the orbit {x0 , f (x0 ), … f n (x0 ), …} is dense in X.
Unfortunately, the two conditions are independent in general. To see that (DO) does not imply (TT), consider X = {0} ∪ {1/n : n ∈ ℕ} endowed with the
usual metric and f : X → X defined by f (0) = 0 and f (1/n) = 1/(n + 1), n = 1, 2, … .To show that (TT) does not imply (DO), start with I = [0, 1] and
the standard tent map g(x) = 1 − |2x − 1| from I to itself. Then let X be the union of all periodic orbits of g and f = g|X . The system (X, f ) does not satisfy
the condition (DO), since X is infinite (dense in I ) while the orbit of any periodic point is finite. On the other hand, every pair of subintervals of I shares a
periodic orbit of the tent map and so (X, f ) satisfies (TT).

Nevertheless, under some additional assumptions on the phase space (or on the map) the two conditions (TT) and (DO) are equivalent. In fact, if X has no
isolated point then (DO) implies (TT) and if X is separable and second category then (TT) implies (DO) ([Silv]).

The systems satisfying (DO) are sometimes called point transitive. In the sequel, when speaking on transitivity, we have topological transitivity in mind.

Some of the equivalent definitions of transitivity

For subsets A and B of X define the hitting time set n(A, B) = {n ≥ 0 : A ∩ f −n (B) ≠ ∅} . Let (X, f ) be a dynamical system. Then the following are
equivalent:
f is topologically transitive (i.e., (TT) is fulfilled),
for every pair of non-empty open sets U and V in X the hitting time set n(U, V) is infinite,
for every non-empty open set U in X, the (forward) orbit of U is dense in X ,
for every non-empty open set U in X, the backward orbit of U is dense in X ,
every proper closed (forward) invariant subset of X is nowhere dense,
every backward invariant subset of X with non-empty interior is dense.
When studying topological transitivity, it is not restrictive to consider only phase spaces without isolated points. In fact, if a transitive system has an isolated
point then the system is trivial, consisting of just one periodic orbit.

2 of 9 09/27/2014 09:12 AM
Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

Some examples of transitive maps

Every minimal dynamical system is transitive (a system is minimal if all orbits are dense).

Example 1. Consider a homeomorphism of the 2-torus, S : 𝕋 → 𝕋 , of the form S(x, y) = (x + α, y + β) , where 1, α, β ∈ ℝ are rationally independent
and + : ℝ/ℤ × ℝ → ℝ/ℤ is defined in the obvious way. Then S is minimal (and ergodic with respect to Lebesgue measure). M. Rees [R] found a minimal
homeomorphism S1 which is an extension of S (i.e., φ ∘ S1 = S ∘ φ for some continuous surjection φ of 𝕋 ) such that S1 has positive topological entropy. In
fact every n-manifold, n ≥ 2 , which carries a minimal homeomorphism also carries a minimal homeomorphism with positive topological entropy [BCLR].

Example 2. Let K = (kn )n>0 be a sequence of integers kn ≥ 2 . Let ΣK be the set of all one-sided infinite sequences (in )n>0 for which 0 ≤ in ≤ kn . Think
of these sequences as 'integers' in multibase notation, the base of the nth digit in being kn . With the natural (product) topology, ΣK is homeomorphic to the
Cantor set. Define a map αK : ΣK → ΣK which informally may be described as 'add 1 and carry' where the addition is performed at the leftmost term i1 and
the carry proceeds to the right in multibase notation. Then αK is a minimal homeomorphism and is called a generalized adding machine or an odometer.

Non-minimal transitive systems.

Example 3. The logistic map g(x) = 4x(1 − x) defined on the interval [0, 1] is topologically transitive. This follows from the fact that the tent map
f (x) = 1 − |2x − 1| is topologically conjugate to g , the conjugating homeomorphism being h(x) = sin2 (πx/2) .
Example 4. Symbolic dynamics provides many examples of transitive dynamical systems. A subshift of finite type is topologically transitive if and only if its
transition matrix M is irreducible which means that for every (i, j) there is a positive integer n such that the (i, j)th entry of the matrix power M n is strictly
positive.
Every compact, connected n-manifold (possibly with boundary), n ≥ 2 , admits a transitive homeomorphism [Al]. Moreover, such homeomorphisms are
typical, with respect to the uniform topology, in the space of all measure preserving homeomorphisms [DF]. The first results of this kind were [Ox] and [OU]
(see also [AnK] and [AP]).

Concerning noncompact manifolds, Besicovitch [Bes] gave the first explicit example of a transitive homeomorphism of the plane. Transitive
homeomorphisms exist in fact on σ -compact connected n-manifolds, n ≥ 2 , and in some cases they are dense, in the compact open topology, in the space of
all measure preserving homeomorphisms [AP1]. See also [AP].

There are spaces, even metric continua, which do not admit transitive maps. Though for instance a characterization of locally compact subspaces of the real
line admitting a transitive map is known (see [NK]), no characterization of compact metric spaces admitting transitive maps is known. However, in [AC] it is
proved that every finite union of disjoint nondegenerate Peano continua in ℝn admits a transitive map.

3 of 9 09/27/2014 09:12 AM
Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

Transitivity of a map and its iterates

A system (X, f ) is called totally transitive, if the system (X, f n ) is transitive for every n ≥ 1 . If (X, f ) is topologically transitive but (X, f n ) is not, then there
are an integer k ≥ 2 dividing n and sets X 0 , X 1 , . . . , X k−1 such that:
X = X0 ∪ X1 ∪. . . ∪Xk−1 ,
each X i is regular closed (i.e., it is the closure of its interior),
Xi ∩ Xj is nowhere dense whenever i ≠ j ,
f (Xi ) ⊆ Xi+1( mod k) ,
f n (hence also f k ) is transitive on each Xi .
For more details on this topic see [Ban].

Transitive and intransitive points

Any point with dense orbit is called a transitive point. A point which is not transitive is called intransitive. The image of an intransitive point is intransitive
and if the phase space has no isolated point then also the image of a transitive point is transitive. Further, if the phase space of a system (X, f ) has a countable
i=1 of open sets then the set of transitive points can be expressed in the form ⋂k=1 (⋃n=0 f (U k )) and so it is a Gδ set.
∞ ∞
base {U i }∞ −n

The set of transitive or intransitive points of (X, f ) will be denoted by tr(f ) or intr(f ) , respectively. Assume that X is a compact metric space without isolated
points. Then one of the following holds (see [Kin] or [KS]):

tr(f ) = ∅ and intr(f ) = X,

tr(f ) = X and intr(f ) = ∅ (in this case the system (X, f ) is called minimal),
tr(f ) is dense Gδ and intr(f ) is dense F σ .

Hitting times and notions related to transitivity

A system (X, f ) is called topologically weakly mixing when the product system (X × X, f × f ) is topologically transitive. An equivalent definition is that for
every pair of non-empty open subsets U and V of X the hitting time set n(U, V) contains arbitrarily long intervals of positive integers ([Fur], see also [Ak1]).
Some stronger notions of mixing in topological dynamics can also be characterized in terms of hitting time sets (see [GW]).

4 of 9 09/27/2014 09:12 AM
Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

Transitivity and chaos

Transitivity is a widely accepted feature of chaos. It is often required in definitions of chaos as one of several ingredients. However, transitivity alone is pretty
compatible with a very regular behavior of trajectories --- in fact, a transitive system is either very regular or very non-regular. To describe this dichotomy in
more details, we need to recall some definitions.
A point x ∈ X is called Lyapunov stable if, for any ϵ > 0 , there exists δ > 0 such that the inequality d(x, y) < δ yields d(f n (x), f n (y) ≤ ϵ for all integers
n > 0 . This condition means that the iteration sequence {f n : n ≥ 0} is equicontinuous at the point x . A point of this type is therefore also called an
equicontinuity point. The system (X, f ) is called almost equicontinuous if there is a dense Gδ set of equicontinuity points.
So, a point x ∈ X is not Lyapunov stable if there is ϵ > 0 such that arbitrarily close to x there are points y ∈ X with d(f n (x), f n (y) > ϵ for some n > 0 .
We then say that x is Lyapunov ϵ-unstable. A system (X, f ) is said to exhibit sensitive dependence on initial conditions (or is shortly called sensitive) if there
exists ϵ > 0 such that every point x ∈ X is Lyapunov ϵ-unstable. The notion of sensitivity for a system (X, f ) is equivalent to the condition that there exists
ϵ > 0 such that for every non-empty open set U in X there exist x, y ∈ U with lim supn→∞ d(f n (x), f n (y)) > ϵ .
A transitive system (X, f ) is either sensitive or almost equicontinuous. In the latter case the set of equicontinuity points coincides with the set of transitive
points and the map f is a homeomorphism and is uniformly rigid (see [AAB]). For more information on the relation between transitivity and various concepts
of chaos see [AK], [Bl], [Kol], [XJ].

Transitivity and topological entropy

In compact metric spaces in general there is no connection between topological transitivity and topological entropy. A system with positive topological
entropy need not of course be transitive (transitivity is a global property of a system while a system may have positive topological entropy on some small
invariant subset, without being transitive). On the other hand, a transitive system may have zero topological entropy. However, in some spaces topologically
transitive maps have necessarily positive topological entropy. For instance, on a real compact interval every transitive map has topological entropy at least
(1/2) log 2 and there is a transitive map with topological entropy equal (1/2) log 2 . For more information on best lower bounds for the topological entropy of
transitive maps in various spaces see [AKLS], [BS].

Transitivity of (semi)group actions

Topological transitivity can be studied in a more general setting. An action of a semigroup G on a space X is called topologically transitive if, for every pair of

5 of 9 09/27/2014 09:12 AM
Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

non-empty open sets U and V in X , there is an element g ∈ G such that g(U) ∩ V ≠ ∅ . Usually it is at least assumed that the action is separately
continuous in the space variable which means that, for each element g ∈ G , the corresponding map g : X → X is continuous. When G is a group, usually it
is required that for each element g ∈ G , the corresponding map g : X → X be a homeomorphism, see e.g. [CKN].

However, note that the required partial continuity of an action of a (semi)group is just the minimum requirement in topological dynamics. In fact, abstract
topological dynamics is usually developed in the context of (semi)flows. A (semi)flow is a jointly continuous action of a topological (semi)group G on a space
X.
In this article we have in fact considered topological transitivity of ℤ+ -actions where ℤ+ is the additive semigroup {0, 1, 2, …} . Such an action is given by
a map f : X → X . We have assumed continuity of f and so our dynamical system was a particular case of a semiflow ( ℤ+ is a topological semigroup with
respect to the discrete topology).
For more information on topological transitivity of flows see [GH] and [dV] (in [GH] it is called regional transitivity and in [dV] it is called topological
ergodicity). Topological transitivity of partially continuous actions of groups is discussed in [CKN].

The financial support from VEGA, grant 1/0855/08 is highly appreciated.

References

[AC] S. Agronsky and J. G. Ceder: Each Peano subspace of E k is an ω-limit set, Real Anal. Exchange 17 (1991/92), no. 1, 371-378.

[Al] S. Alpern: Combinatorial approximation by Devaney-chaotic or periodic volume preserving homeomorphisms, Internat. J. Bifur. Chaos Appl. Sci. Engrg.
9 (1999), no. 5, 843-848.

[AP] S. Alpern and V. S. Prasad: Typical dynamics of volume preserving homeomorphisms. Cambridge Tracts in Mathematics, 139, Cambridge University
Press, Cambridge, 2000.

[AP1] S. Alpern and V. S. Prasad: Maximally chaotic homeomorphisms of sigma-compact manifolds, Topology Appl. 105 (2000), no. 1, 103-112.

[AKLS] Ll. Alseda, S. Kolyada, J. Llibre and Ľ. Snoha: Entropy and periodic points for transitive maps, Trans. Amer. Math. Soc. 351 (1999), no. 4,
1551-1573.

[AnK] D.V. Anosov and A.B. Katok: New examples in smooth ergodic theory. Ergodic diffeomorphisms. Trans. Moccow Math. Soc. 23 (1970), 1-35.
[AH] N. Aoki and K. Hiraide: Topological theory of dynamical systems. Recent advances, North-Holland Mathematical Library 52, North-Holland Publishing
Co., Amsterdam, 1994.

6 of 9 09/27/2014 09:12 AM
Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

[Ak] E. Akin: The general topology of dynamical systems, Graduate Studies in Mathematics 1, American Mathematical Society, Providence, RI, 1993.
[Ak1] E. Akin: Recurrence in topological dynamics. Furstenberg families and Ellis actions, The University Series in Mathematics, Plenum Press, New York,
1997.

[AAB] E. Akin, J. Auslander and K. Berg: When is a transitive map chaotic? Convergence in ergodic theory and probability (Columbus, OH, 1993), 25-40,
Ohio State Univ. Math. Res. Inst. Publ., 5, de Gruyter, Berlin, 1996.

[AK] E. Akin and S. Kolyada: Li-Yorke sensitivity, Nonlinearity 16 (2003), 1421-1433.

[BS] F. Balibrea and Ľ. Snoha: Topological entropy of Devaney chaotic maps, Topology Appl. 133 (2003), no. 3, 225-239.
[Ban] J. Banks: Regular periodic decompositions for topologically transitive maps, Ergodic Theory Dynam. Systems 17 (1997), 505-529.
[BCLR] F. Béguin, S. Crovisier and F. Le Roux: Construction of curious minimal uniquely ergodic homeomorphisms on manifolds: the Denjoy-Rees
technique, Ann. Sci. École Norm. Sup. (4) 40 (2007), no. 2, 251-308.

[Bes] A. S. Besicovitch: A problem on topological transformation of the plane, Fund. Math. 28(1937), 61-65.

[Bl] F. Blanchard: Topological chaos: what may this mean?, J. Difference Equ. Appl. 15 (2009), no. 1, 23-46.
[CKN] G. Cairns, A. Kolganova and A. Nielsen: Topological transitivity and mixing notions for group actions. Rocky Mountain J. Math. 37 (2007), no. 2,
371-397.
[DF] F. Daalderop and R. Fokkink: Chaotic homeomorphisms are generic, Topology Appl. 102 (2000), no. 3, 297-302.

[dV] J. de Vries: Elements of topological dynamics, Mathematics and its Applications 257, Kluwer Academic Publishers Group, Dordrecht, 1993.
[Fur] H. Furstenberg: Disjointness in ergodic theory, minimal sets and a problem in Diophantine approximation, Math. Syst. Theory 1 (1967), 1-49.

[Fur1] H. Furstenberg: Recurrence in ergodic theory and combinatorial number theory, M. B. Porter Lectures, Princeton University Press, Princeton, N.J.,
1981.

[GW] E. Glasner and B. Weiss: On the interplay between measurable and topological dynamics, Handbook of dynamical systems, Vol. 1B, 597-648, Elsevier
B. V., Amsterdam, 2006.
[GH] W. H. Gottschalk and G. A. Hedlund: Topological dynamics, American Mathematical Society Colloquium Publications, Vol. 36, American Mathematical
Society, Providence, R. I., 1955.
[Kin] S. Kinoshita: On orbits of homeomorphisms, Colloq. Math. 6 (1958), 49-53.

7 of 9 09/27/2014 09:12 AM
Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

[Kol] S.F. Kolyada: Li-Yorke sensitivity and other concepts of chaos. Ukr. Mat. Zh. 56 (2004), 1043-1061; translation in Ukr. Math. J. 56 (2004), 1242-1257.
[KS] S. Kolyada and Ľ. Snoha: Some aspects of topological transitivity - a survey, Grazer Math. Ber. 334 (1997), 3-35.

[NK] A. Nagar and V. Kannan: Topological transitivity for discrete dynamical systems, pp.410 - 454, in J. C. Misra (Ed.) Applicable Mathematics in the
Golden Age, Narosa Publ. House, New Delhi 2003.
[Ox] J. C. Oxtoby: Note on transitive transformations, Proc. Nat. Acad. Sci. USA 23(1937), 443-446.

[OU] J. C. Oxtoby and S. M. Ulam: Measure-preserving homeomorphisms and metrical transitivity, Ann. of Math. (2) 42, (1941), 874-920.
[R] M. Rees: A minimal positive entropy homeomorphism of the 2-torus, J. London Math. Soc. (2) 23 (1981), no. 3, 537-550.

[Silv] S. Silverman: On maps with dense orbits and the definition of chaos, Rocky Mountain Jour. Math. 22 (1992), 353-375.

[XJ] J. Xiong: Chaos in a topologically transitive system. Sci. China Ser. A 48 (2005), no. 7, 929-939.
Internal references

Olaf Sporns (2007) Complexity. Scholarpedia, 2(10):1623.

Yuri A. Kuznetsov (2007) Conjugate maps. Scholarpedia, 2(12):5420.
James Meiss (2007) Dynamical systems. Scholarpedia, 2(2):1629.
Tomasz Downarowicz (2007) Entropy. Scholarpedia, 2(11):3901.
Jeff Moehlis, Kresimir Josic, Eric T. Shea-Brown (2006) Periodic orbit. Scholarpedia, 1(7):1358.
Philip Holmes and Eric T. Shea-Brown (2006) Stability. Scholarpedia, 1(10):1838.
David H. Terman and Eugene M. Izhikevich (2008) State space. Scholarpedia, 3(3):1924.
Brian Marcus and Susan Williams (2008) Symbolic dynamics. Scholarpedia, 3(11):2923.
Joseph Auslander (2008) Topological dynamics. Scholarpedia, 3(6):3449.
Roy Adler, Tomasz Downarowicz, Michał Misiurewicz (2008) Topological entropy. Scholarpedia, 3(2):2200.

See also

Chaos, Complexity, Entropy, Entropy in Chaotic Dynamics, Ergodic theory, Topological dynamics, Topological entropy.

8 of 9 09/27/2014 09:12 AM
Topological transitivity - Scholarpedia http://www.scholarpedia.org/article/Topological_transitivity

External links

Wikipedia
Wikipedia: (http://en.wikipedia.org/wiki/Butterfly_effect) Butterfly effect
Wikipedia: Chaos theory (http://en.wikipedia.org/wiki/Chaos_theory)

Wikipedia: Topological entropy (http://en.wikipedia.org/wiki/Topological_entropy)

Wikipedia: Topological entropy (in physics) (http://en.wikipedia.org/wiki/Topological_entropy_(in_physics))

PlanetMath: Topological entropy (http://planetmath.org/encyclopedia/TopologicalEntropy.html)

Sponsored by: Prof. James Meiss, Applied Mathematics University of Colorado, Boulder, CO, USA
Reviewed by (http://www.scholarpedia.org/w/index.php?title=Topological_transitivity&oldid=58148) : Anonymous
Accepted on: 2009-02-18 08:28:25 GMT (http://www.scholarpedia.org/w/index.php?title=Topological_transitivity&oldid=58176)

Categories: Mappings Topological Dynamics Multiple Curators

This page was last modified on 21 October 2011, at 04:18.

This page has been accessed 21,854 times.
"Topological transitivity" by Sergiy Kolyada and Ľubomír Snoha is licensed under a
Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.
Permissions beyond the scope of this license are described in the Terms of Use

9 of 9 09/27/2014 09:12 AM

View publication stats