Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-24T04:47:20.024Z Has data issue: false hasContentIssue false

On $C^0$-genericity of distributional chaos

Published online by Cambridge University Press:  15 November 2021

NORIAKI KAWAGUCHI*
Affiliation:
Faculty of Science and Technology, Keio University, 3-14-1 Hiyoshi, Kohoku-ku, Yokohama, Kanagawa 223-8522, Japan
Rights & Permissions [Opens in a new window]

Abstract

Let M be a compact smooth manifold without boundary. Based on results by Good and Meddaugh [Invent. Math. 220 (2020), 715–736], we prove that a strong distributional chaos is $C^0$ -generic in the space of continuous self-maps (respectively, homeomorphisms) of M. The results contain answers to questions by Li, Li and Tu [Chaos 26 (2016), 093103] and Moothathu [Topology Appl. 158 (2011), 2232–2239] in the zero-dimensional case. A related counter-example on the chain components under shadowing is also given.

Type
Original Article
Copyright
© The Author(s), 2021. Published by Cambridge University Press

1 Introduction

Throughout, let X denote a compact metric space endowed with a metric d. We denote by $\mathcal {C}(X)$ (respectively, $\mathcal {H}(X)$ ) the set of continuous self-maps (respectively, homeomorphisms) of X. Let $d_{C^0}\colon \mathcal {C}(X)\times \mathcal {C}(X)\to [0,\infty )$ be the metric defined by

$$ \begin{align*} d_{C^0}(f,g)=\sup_{x\in X}d(f(x),g(x)) \end{align*} $$

for $f,g\in \mathcal {C}(X)$ . A metric $\hat {d}_{C^0}\colon \mathcal {H}(X)\times \mathcal {H}(X)\to [0,\infty )$ is given by

$$ \begin{align*} \hat{d}_{C^0}(f,g)=\max\{d_{C^0}(f,g),d_{C^0}(f^{-1},g^{-1})\} \end{align*} $$

for $f,g\in \mathcal {H}(X)$ . With respect to these metrics, $\mathcal {C}(X)$ and $\mathcal {H}(X)$ are complete metric spaces.

A subset S of X is called a Mycielski set if it is a countable union of Cantor sets. Define $\mathcal {C}_{\mathrm {DC1}_{\ast }}(X)$ to be the set of $f\in \mathcal {C}(X)$ such that there is a Mycielski subset S of X, which is distributionally n- $\delta _n$ -scrambled for all $n\ge 2$ for some $\delta _n>0$ . Let

$$ \begin{align*} \mathcal{H}_{\mathrm{DC1}_{\ast}}(X)=\mathcal{H}(X)\cap\mathcal{C}_{\mathrm{DC1}_{\ast}}(X). \end{align*} $$

We say that a subset F of a complete metric space Z is residual if it contains a countable intersection of open and dense subsets of Z. The aim of this paper is to prove the following theorem.

Theorem 1.1. Given any compact smooth manifold M without boundary, $\mathcal {C}_{\mathrm {DC1}_{\ast }}(M)$ is a residual subset of $\mathcal {C}(M)$ , and if $\dim {M}>1$ , then $\mathcal {H}_{\mathrm {DC1}_{\ast }}(M)$ is also a residual subset of $\mathcal {H}(M)$ .

We recall the definition of distributional n-chaos [Reference Li and Oprocha22, Reference Tan and Fu37].

Definition 1.1. For $f\in \mathcal {C}(X)$ , an n-tuple $(x_1,x_2,\ldots ,x_n)\in X^n$ , $n\ge 2$ , is said to be distributionally n- $\delta $ -scrambled for $\delta>0$ if

$$ \begin{align*} \limsup_{m\to\infty}\frac{1}{m}\Big|\Big\{0\le k\le m-1\colon\max_{1\le i<j\le n}d(f^k(x_i),f^k(x_j))<\epsilon\Big\}\Big|=1 \end{align*} $$

for all $\epsilon>0$ , and

$$ \begin{align*} \limsup_{m\to\infty}\frac{1}{m}\Big|\Big\{0\le k\le m-1\colon\min_{1\le i<j\le n}d(f^k(x_i),f^k(x_j))>\delta\Big\}\Big|=1. \end{align*} $$

Let $\mathrm {DC1}_n^{\delta }(X,f)$ denote the set of distributionally n- $\delta $ -scrambled n-tuples and let $\mathrm {DC1}_n(X,f)=\bigcup _{\delta>0}\mathrm {DC1}_n^{\delta }(X,f)$ . A subset S of X is said to be distributionally n-scrambled (respectively, n- $\delta $ -scrambled) if

$$ \begin{align*} (x_1,x_2,\ldots ,x_n)\in\mathrm{DC1}_n(X,f)\:\quad (\text{respectively}, \mathrm{DC1}_n^{\delta}(X,f)) \end{align*} $$

for any distinct $x_1,x_2,\ldots ,x_n\in S$ . We say that f exhibits the distributional n-chaos of type 1 ( $\mathrm {DC1}_n$ ) if there is an uncountable distributionally n-scrambled subset of X.

For any map $f\in \mathcal {C}(X)$ , let $h_{\mathrm {top}}(f)$ denote the topological entropy of f (see, for example, [Reference Walters38] for its definition). Then, for every compact topological manifold M, possibly with boundary, Yano showed that generic $f\in \mathcal {C}(M)$ (respectively, $f\in \mathcal {H}(M)$ , if $\dim {M}>1$ ) satisfies $h_{\mathrm {top}}(f)=\infty $ [Reference Yano40]. Since the positive topological entropy is a characteristic feature of chaos, generic dynamics on M is, roughly speaking, chaotic. Another definition of chaos is the so-called Li–Yorke chaos derived from [Reference Li and Yorke23]; and in [Reference Blanchard, Glasner, Kolyada and Maass6], any map $f\in \mathcal {C}(X)$ is proved to be Li–Yorke chaotic whenever $h_{\mathrm {top}}(f)>0$ (see [Reference Blanchard, Glasner, Kolyada and Maass6, Corollary 2.4]), so Li–Yorke chaos is topologically generic on manifolds. From a statistical viewpoint, the notion of distributional chaos was introduced by Schweizer and Smítal in [Reference Schweizer and Smítal35] as three variants of Li–Yorke chaos for interval maps. They are numbered in order of decreasing strength ( $\mathrm {DC}\beta _2$ , $\beta \in \{1,2,3\}$ ), therefore $\mathrm {DC1}_2$ is the strongest by definition, and $\mathrm {DC2}_2$ (also called mean Li–Yorke chaos) is still stronger than Li–Yorke chaos. Then it is natural to ask if $\mathrm {DC1}_n$ , $n\ge 2$ , is generic or not. Note that $\mathrm {DC1}_n$ , $n\ge 2$ , does not necessarily imply $\mathrm {DC1}_{n+1}$ [Reference Li and Oprocha22, Reference Tan and Fu37].

For an interval map $f\in \mathcal {C}([0,1])$ , all $\mathrm {DC}\beta _2$ , $\beta \in \{1,2,3\}$ , are equivalent to $h_{\mathrm {top}}(f)>0$ [Reference Schweizer and Smítal35] (see also [Reference Ruette34]). Since there is a Li–Yorke chaotic map $f\in \mathcal {C}([0,1])$ with $h_{\mathrm {top}}(f)=0$ , $\mathrm {DC2}_2$ is strictly stronger than Li–Yorke chaos in general [Reference Smítal36, Reference Xiong39] (see also [Reference Ruette34]). In general, improving the result of [Reference Blanchard, Glasner, Kolyada and Maass6], Downarowicz showed that any map $f\in \mathcal {C}(X)$ with $h_{\mathrm {top}}(f)>0$ exhibits $\mathrm {DC2}_2$ [Reference Downarowicz, Kolyada, Manin and Ward8] (see also [Reference Huang, Li and Ye13]). On the other hand, Pikuła constructed a subshift $(X,f)$ such that $h_{\mathrm {top}}(f)>0$ and $\mathrm {DC1}_2(X,f)=\emptyset $ [Reference Pikuła31]. Since $\mathrm {DC1}_2(X,f)\ne \emptyset $ implies the existence of a distal pair for f (see [Reference Oprocha29, Corollary 15]), any proximal map $f\in \mathcal {C}(X)$ with $h_{\mathrm {top}}(f)>0$ , given in, for example, [Reference Huang, Li and Ye12, Reference Kwietniak19, Reference Oprocha30], does not exhibit $\mathrm {DC1}_2$ . By [Reference Balibrea and Smítal4, Theorem 2], we also know that a minimal map $f\in \mathcal {C}(X)$ with a regularly recurrent point satisfies $\mathrm {DC1}_2(X,f)=\emptyset $ , so every Toeplitz subshift with arbitrary topological entropy does not exhibit $\mathrm {DC1}_2$ (see also [Reference Downarowicz7] and [Reference Kawaguchi15, Remark 2.2]). Thus, some additional assumptions besides $h_{\mathrm {top}}(f)>0$ are needed to ensure $\mathrm {DC1}_n$ , $n\ge 2$ , for a general map $f\in \mathcal {C}(X)$ .

Shadowing is a natural candidate for such an assumption. In [Reference Li, Li and Tu21], Li, Li and Tu proved that for any transitive map $f\in \mathcal {C}(X)$ with the shadowing property, $f\in \mathcal {C}_{\mathrm {DC1}_{\ast }}(X)$ if one of the following properties holds: $(1) \ f$ is non-periodic and has a periodic point; or $(2) \ f$ is non-trivial weakly mixing. Here, we have $h_{\mathrm {top}}(f)>0$ in both cases. This result is extended in [Reference Kawaguchi15] by using a relation defined by Richeson and Wiseman [Reference Richeson and Wiseman33] (see also [Reference Kawaguchi14]). Note that it was previously known that shadowing with (chain) mixing implies the specification and so $\mathrm {DC1}_2$ , except for the degenerate case (see [Reference Kwietniak, Łącka, Oprocha, Kolyada, Möller, Moree and Ward20, Reference Mazur and Oprocha25, Reference Oprocha28]). In [Reference Guihéneuf and Lefeuvre11], for every compact topological manifold M with $\dim {M}>1$ , Guihéneuf and Lefeuvre proved that generic $f\in \mathcal {H}_\mu (M)$ satisfies the shadowing property, where $\mathcal {H}_\mu (M)$ is the set of $f\in \mathcal {H}(M)$ preserving a non-atomic Borel probability measure $\mu $ on M with the full support and $\mu (\partial M)=0$ . Since such $f\in \mathcal {H}_{\mu }(M)$ is also (chain) mixing, $\mathrm {DC1}_n$ , $n\ge 2$ , is generic for the conservative homeomorphisms. As for $\mathcal {H}(M)$ , the situation is very different because, in particular, generic $f\in \mathcal {H}(M)$ has no isolated chain component, at least for any smooth closed M [Reference Akin, Hurley and Kennedy2]. Nevertheless, it is still useful to focus on the chain components. Since shadowing is shown to be generic in $\mathcal {C}(M)$ and $\mathcal {H}(M)$ [Reference Mazur and Oprocha24, Reference Pilyugin and Plamenevskaya32], any consequence of shadowing is a generic property in $\mathcal {C}(M)$ and $\mathcal {H}(M)$ . When we consider the result of Li, Li and Tu, one of the obvious difficulties in proving $\mathrm {DC1}_n$ , $n\ge 2$ , for generic $f\in \mathcal {C}(M)$ (or $f\in \mathcal {H}(M)$ , if $\dim {M}>1$ ) is that even if f has shadowing, its restriction $f|_{C}$ to a chain component C for f does not necessarily have the shadowing property. Another difficulty arises from the additional assumption such as $(1)$ or $(2)$ above. The main results of this paper resolve these difficulties and establish the genericity of $\mathrm {DC1}_n$ , $n\ge 2$ . Note that for generic $f\in \mathcal {C}(M)$ (respectively, $f\in \mathcal {H}(M)$ ), the chain recurrent set $\operatorname {CR}(f)$ is known to be zero-dimensional, or equivalently, totally disconnected [Reference Akin, Hurley and Kennedy2, Reference Krupski, Omiljanowski and Ungeheuer18].

In outline, the proof of Theorem 1.1 goes as follows. In [Reference Good and Meddaugh10], Good and Meddaugh found and investigated a fundamental relationship between subshifts of finite type (SFTs) and shadowing. The following two lemmas are from [Reference Good and Meddaugh10].

Lemma 1.1. Let $\pi =(\pi _n^{n+1}\colon (X_{n+1},f_{n+1})\to (X_n,f_n))_{n\ge 1}$ be an inverse sequence of equivariant maps and let $(X,f)=\lim _\pi (X_n,f_n)$ . If $f_n\colon X_n\to X_n$ has the shadowing property for each $n\ge 1$ , and $\pi $ satisfies the Mittag-Leffler condition $\mathrm{(MLC)}$ , then f has the shadowing property.

Lemma 1.2. Let $f\colon X\to X$ be a continuous map with the shadowing property. If $\dim {X}=0$ , then there is an inverse sequence of equivariant maps

$$ \begin{align*} \pi=(\pi_n^{n+1}\colon(X_{n+1},f_{n+1})\to(X_n,f_n))_{n\ge1} \end{align*} $$

such that the following properties hold:

  1. (1) $\pi $ satisfies the $\mathrm{MLC}$ ;

  2. (2) $(X_n,f_n)$ is an SFT for each $n\ge 1$ ;

  3. (3) $(X,f)$ is topologically conjugate to $\lim _{\pi }(X_n,f_n)$ .

Note that these results concern the so-called Mittag-Leffler condition of an inverse sequence of equivariant maps. Most of this paper is devoted to a study of the MLC focusing on the structure of chain components. By using the above lemmas and a method in [Reference Kawaguchi15] with Mycielski’s theorem, we prove the following lemma. Here, $\mathcal {D}(f)$ is the partition of X with respect to the equivalence relation $\sim _f$ defined by Richeson and Wiseman (see §2.2 for details).

Lemma 1.3. Let $f\colon X\to X$ be a transitive continuous map with the shadowing property such that $h_{\mathrm {top}}(f)>0$ . If there are a compact metric space Y such that $\dim {Y}=0$ , a transitive continuous map $g\colon Y\to Y$ with the shadowing property, and a factor map

$$ \begin{align*} \pi\colon(Y,g)\to(X,f), \end{align*} $$

then there exists a sequence of positive numbers $(\delta _n)_{n\ge 2}$ such that every $D\in \mathcal {D}(f)$ contains a dense Mycielski subset S which consists of transitive points for f and is distributionally n- $\delta _n$ -scrambled for all $n\ge 2$ .

A question in [Reference Li, Li and Tu21] asks whether or not, for any continuous map $f\colon X\to X$ , the shadowing property, transitivity, and positive topological entropy imply $\mathrm {DC1}_n$ , $n\ge 2$ . Lemma 1.3 gives a partial answer to this question. As a direct consequence, we obtain the following corollary, which answers the question in the zero-dimensional case.

Corollary 1.1. Let $f\colon X\to X$ be a transitive continuous map with the shadowing property. If $\dim {X}=0$ and $h_{\mathrm {top}}(f)>0$ , then there exists a sequence of positive numbers $(\delta _n)_{n\ge 2}$ such that every $D\in \mathcal {D}(f)$ contains a dense Mycielski subset S which consists of transitive points for f and is distributionally n- $\delta _n$ -scrambled for all $n\ge 2$ .

Then, by dropping the transitivity assumption through Lemma 4.1, we obtain the following theorem. Here, $\mathcal {C}(f)$ is the set of chain components for f (see §2.2 for the definition).

Theorem 1.2. Given any continuous map $f\colon X\to X$ with the shadowing property, if $\dim {X}=0$ and $h_{\mathrm {top}}(f)>0$ , then there exist $C\in \mathcal {C}(f)$ and a sequence of positive numbers $(\delta _n)_{n\ge 2}$ such that every $D\in \mathcal {D}(f|_C)$ contains a dense Mycielski subset S which consists of transitive points for $f|_C$ and is distributionally n- $\delta _n$ -scrambled for all $n\ge 2$ .

Let

  • $\mathcal {C}_{\mathrm {sh}}(X)=\{f\in \mathcal {C}(X)\colon f \text { has the shadowing property}\}$ ,

  • $\mathcal {C}_{\mathrm{cr}^0}(X)=\{f\in \mathcal {C}(X)\colon \dim \operatorname {CR}(f) = 0 \}$ ,

  • $\mathcal {C}_{h>0}(X)=\{f\in \mathcal {C}(X)\colon h_{\mathrm {top}}(f)>0 \}$ ,

and let $\mathcal {H}_\sigma (X)=\mathcal {H}(X)\cap \mathcal {C}_\sigma (X)$ for $\sigma \in \{\mathrm{sh},\mathrm{cr}^0, {h>0}\}$ . Note that for any

$$ \begin{align*} f\in\mathcal{C}_{\mathrm{sh}}(X)\cap\mathcal{C}_{\mathrm{cr}^0}(X)\cap\mathcal{C}_{h>0}(X), \end{align*} $$

the restriction $f|_{\operatorname {CR}(f)}\colon \operatorname {CR}(f)\to \operatorname {CR}(f)$ has the following properties:

  • the shadowing property;

  • $\dim {\operatorname {CR}(f)}=0$ ;

  • $h_{\mathrm {top}}(f|_{\operatorname {CR}(f)})=h_{\mathrm {top}}(f)>0$ .

By applying Theorem 1.2 to $f|_{\operatorname {CR}(f)}$ , we obtain $f\in \mathcal {C}_{\mathrm {DC1}_{\ast }}(X)$ ; therefore,

$$ \begin{align*} \mathcal{C}_{\mathrm{sh}}(X)\cap\mathcal{C}_{\mathrm{cr}^0}(X)\cap\mathcal{C}_{h>0}(X)\subset\mathcal{C}_{\mathrm{DC1}_{\ast}}(X) \end{align*} $$

and so

$$ \begin{align*} \mathcal{H}_{\mathrm{sh}}(X)\cap\mathcal{H}_{\mathrm{cr}^0}(X)\cap\mathcal{H}_{h>0}(X)\subset\mathcal{H}_{\mathrm{DC1}_{\ast}}(X). \end{align*} $$

Let M be a compact smooth manifold without boundary. Then Theorem 1.1 follows from the previous claims and the following results in the literature:

The proof also gives an insight into how the distributionally scrambled sets exist in the chain recurrent set. As shown in the proof of Lemma 4.1 in §4, any chain component with positive topological entropy is approximated by one also with the shadowing property. The latter component is partitioned into the equivalence classes of the relation by Richeson and Wiseman. Then Corollary 1.1 implies that all equivalence classes densely contain distributionally scrambled Mycielski sets within them. It deepens the understanding about the chaotic aspect of $C^0$ -generic dynamics on manifolds.

We remark that for generic $f\in \mathcal {H}(M)$ with $\dim {M}>1$ , the set of $x\in \operatorname {CR}(f)$ which is contained in some $C\in \mathcal {C}(f)$ , such that $(C,f|_C)$ has a non-trivial subshift of finite type as a factor, is dense in $\operatorname {CR}(f)$ [Reference Akin, Hurley and Kennedy2]; therefore,

$$ \begin{align*} \bigsqcup\{C\in\mathcal{C}(f)\colon h_{\mathrm{top}}(f|_C)>0\} \end{align*} $$

is a dense subset of $\operatorname {CR}(f)$ . We also recall from [Reference Akin, Hurley and Kennedy2] that for generic $f\in \mathcal {H}(M)$ with $\dim {M}>1$ , the set of $x\in \operatorname {CR}(f)$ which lies in some $C\in \mathcal {C}(f)$ such that C is initial or terminal, implying, if $\dim {\operatorname {CR}(f)}=0$ , that C is a periodic orbit or $(C,f|_C)$ is topologically conjugate to an odometer, is a residual subset of $\operatorname {CR}(f)$ . Thus, for such $f\in \mathcal {H}(M)$ with shadowing, the distributionally scrambled Mycielski sets should be contained in intermediate chain components, and the distributional chaos occurs in a dense but meager subset of $\operatorname {CR}(f)$ .

Lastly, Theorem 1.2 also provides a method to prove the genericity of $\mathrm {DC1}_n$ , $n\ge 2$ , for continuous self-maps or homeomorphisms of various underlying spaces which are not necessarily manifolds. We can find many results on the genericity of shadowing, zero-dimensionality of the chain recurrent set, and positive topological entropy in the context of topological dynamics (see, for example, [Reference Glasner and Weiss9, Reference Kościelniak, Mazur, Oprocha and Kubica17, Reference Krupski, Omiljanowski and Ungeheuer18]). Here, let us mention only the case where X is the Cantor set. In this case, it is shown that $\mathcal {H}(X)$ has a residual conjugacy class [Reference Akin, Glasner and Weiss1, Reference Kechris and Rosendal16]. Then generic $f\in \mathcal {H}(X)$ has the shadowing property but satisfies $h_{\mathrm {top}}(f)=0$ and has no Li–Yorke pair [Reference Bernardes and Darji5, Reference Glasner and Weiss9]; therefore, the generic homeomorphisms of X are not chaotic.

This paper consists of six sections. The basic notation, definitions, and facts are briefly collected in §2. In §3 we prove some preparatory lemmas. In §4 we prove Lemma 4.1 to reduce Theorem 1.2 to Lemma 1.3. In §5 we prove Lemma 1.3. In §6, as a bi-product of the proof of Lemma 4.1, we answer a question by Moothathu [Reference Moothathu26] in the zero-dimensional case, and give a related counter-example showing that the chain components with the shadowing property can be relatively few.

2 Preliminaries

In this section we collect some basic definitions, notations, facts, and prove some lemmas which will be used in what follows.

2.1 Chains, cycles, pseudo-orbits and the shadowing property

Given a continuous map $f\colon X\to X$ , a finite sequence $(x_i)_{i=0}^{k}$ of points in X, where $k>0$ is a positive integer, is called a $\delta $ -chain of f if $d(f(x_i),x_{i+1})\le \delta $ for every $0\le i\le k-1$ . A $\delta $ -chain $(x_i)_{i=0}^{k}$ of f is said to be a $\delta $ -cycle of f if $x_0=x_k$ . Let $\xi =(x_i)_{i\ge 0}$ be a sequence of points in X. For $\delta>0$ , $\xi $ is called a $\delta $ -pseudo-orbit of f if $d(f(x_i),x_{i+1})\le \delta $ for all $i\ge 0$ . For $\epsilon>0$ , $\xi $ is said to be $\epsilon $ -shadowed by $x\in X$ if $d(f^i(x),x_i)\leq \epsilon $ for all $i\ge 0$ . We say that f has the shadowing property if, for any $\epsilon>0$ , there is $\delta>0$ such that every $\delta $ -pseudo-orbit of f is $\epsilon $ -shadowed by some point of X.

2.2 Chain components and a relation

2.2.1 Chain recurrence and chain transitivity

Given a continuous map $f\colon X\to X$ , a point $x\in X$ is called a chain recurrent point for f if, for any $\delta>0$ , there is a $\delta $ -cycle $(x_i)_{i=0}^{k}$ of f with $x_0=x_k=x$ . We denote by $\operatorname {CR}(f)$ the set of chain recurrent points for f. It is a closed f-invariant subset of X, and the restriction $f|_{\operatorname {CR}(f)}\colon \operatorname {CR}(f)\to \operatorname {CR}(f)$ satisfies $\operatorname {CR}(f|_{\operatorname {CR}(f)})=\operatorname {CR}(f)$ . It is known that if f has the shadowing property, then so does $f|_{\operatorname {CR}(f)}$ [Reference Moothathu26]. We call f chain recurrent if $X=\operatorname {CR}(f)$ . For any $x,y\in X$ and $\delta>0$ , the notation $x\rightarrow _{f,\delta } y$ means that there is a $\delta $ -chain $(x_i)_{i=0}^k$ of f with $x_0=x$ and $x_k=y$ . Then f is said to be chain transitive if $x\rightarrow _{f,\delta } y$ for any $x,y\in X$ and $\delta>0$ . We say that f is transitive if, for any two non-empty open subsets U, Vof X, there is $n>0$ such that $f^n(U)\cap V\ne \emptyset $ . If f is transitive, then f is chain transitive, and the converse holds when f has the shadowing property.

2.2.2 Chain components

For any continuous map $f\colon X\to X$ , $\operatorname {CR}(f)$ admits a decomposition with respect to a relation $\leftrightarrow _f$ in $\operatorname {CR}(f)^2=\operatorname {CR}(f)\times \operatorname {CR}(f)$ defined as follows: for any $x,y\in \operatorname {CR}(f)$ , $x\leftrightarrow _f y$ if and only if $x\rightarrow _{f,\delta } y$ and $y\rightarrow _{f,\delta } x$ for every $\delta>0$ . Note that $\leftrightarrow _f$ is a closed $(f\times f)$ -invariant equivalence relation in $\operatorname {CR}(f)^2$ . An equivalence class C of $\leftrightarrow _f$ is called a chain component for f. We denote by $\mathcal {C}(f)$ the set of chain components for f. Then the following properties hold.

  1. (1) $\operatorname {CR}(f)=\bigsqcup _{C\in \mathcal {C}(f)}C$ , here $\bigsqcup $ denotes the disjoint union.

  2. (2) Every $C\in \mathcal {C}(f)$ is a closed f-invariant subset of $\operatorname {CR}(f)$ .

  3. (3) $f|_C\colon C\to C$ is chain transitive for all $C\in \mathcal {C}(f)$ .

Note that f is chain transitive if and only if f is chain recurrent and satisfies $\mathcal {C}(f)=\{X\}$ .

2.2.3 A relation

Let $f\colon X\to X$ be a chain transitive map. For $\delta>0$ and a $\delta $ -cycle $\gamma =(x_i)_{i=0}^k$ of f, k is called the length of $\gamma $ . Let $m=m(f,\delta )>0$ be the greatest common divisor of all the lengths of $\delta $ -cycles of f. We define a relation $\sim _{f,\delta }$ in $X^2$ as follows: for any $x,y\in X$ , $x\sim _{f,\delta }y$ if and only if there is a $\delta $ -chain $(x_i)_{i=0}^k$ of f with $x_0=x$ , $x_k=y$ , and $m|k$ . Then the following properties hold.

  1. (1) $\sim _{f,\delta }$ is an open and closed $(f\times f)$ -invariant equivalence relation in $X^2$ .

  2. (2) For any $x\in X$ and $n\ge 0$ , $x\sim _{f,\delta }f^{mn}(x)$ .

  3. (3) There exists $N>0$ such that, for any $x,y\in X$ with $x\sim _{f,\delta }y$ and $n\ge N$ , there is a $\delta $ -chain $(x_i)_{i=0}^k$ of f with $x_0=x$ , $x_k=y$ and $k=mn$ .

Following [Reference Richeson and Wiseman33], define a relation $\sim _f$ in $X^2$ as follows: for any $x,y\in X$ , $x\sim _f y$ if and only if $x\sim _{f,\delta }y$ for every $\delta>0$ . This is a closed $(f\times f)$ -invariant equivalence relation in $X^2$ . We denote by $\mathcal {D}(f)$ the set of equivalence classes of $\sim _f$ . This gives a closed partition of X. A pair $(x,y)\in X^2$ is said to be chain proximal if, for any $\delta>0$ , there is a pair $((x_i)_{i=0}^k,(y_i)_{i=0}^k)$ of $\delta $ -chains of f such that $(x_0,y_0)=(x,y)$ and $x_k=y_k$ . As claimed in [Reference Richeson and Wiseman33, Remark 8], for any $(x,y)\in X^2$ , $(x,y)$ is chain proximal if and only if $x\sim _f y$ .

2.3 Inverse limit

2.3.1 Inverse limit spaces

Given an inverse sequence of continuous maps

$$ \begin{align*} \pi=(\pi_n^{n+1}\colon X_{n+1}\to X_n)_{n\ge1}, \end{align*} $$

where $(X_n)_{n\ge 1}$ is a sequence of compact metric spaces, define $\pi _n^m\colon X_m\to X_n$ by

$$ \begin{align*} \pi_n^m= \begin{cases}\mathrm{id}_{X_n}&\text{if } m=n,\\\pi_n^{n+1}\circ\pi_{n+1}^{n+2}\circ\cdots\circ\pi_{m-1}^m&\text{if } m>n,\end{cases} \end{align*} $$

for all $m\ge n\ge 1$ . Note that $\pi _n^l=\pi _n^m\circ \pi _m^l$ for any $l\ge m\ge n\ge 1$ . The inverse limit space $X=\lim _\pi X_n$ is defined by

$$ \begin{align*} X=\bigg\{x=(x_n)_{n\ge1}\in\prod_{n\ge1}X_n\colon\pi_n^{n+1}(x_{n+1})=x_n, \text{for all } n\ge1\bigg\}, \end{align*} $$

which is a compact metric space.

For any $n\ge 1$ , note that $\pi _n^m(X_m)\supset \pi _n^{m+1}(X_{m+1})$ for every $m\ge n$ , and let

$$ \begin{align*} \hat{X}_n=\bigcap_{m\ge n}\pi_n^m(X_m). \end{align*} $$

By compactness, we easily see that, for any $n\ge 1$ and $x\in X_n$ , $x\in \hat {X}_n$ if and only if there is a sequence

$$ \begin{align*} (x_m)_{m\ge n}\in\prod_{m\ge n}X_m \end{align*} $$

with $\pi _m^{m+1}(x_{m+1})=x_m$ for every $m\ge n$ . For each $n\ge 1$ , $\pi _n^{n+1}(\hat {X}_{n+1})=\hat {X}_n$ , that is, $\hat {\pi }_n^{n+1}=(\pi _n^{n+1})|_{\hat {X}_{n+1}}\colon \hat {X}_{n+1}\to \hat {X}_n$ is surjective. Let

$$ \begin{align*} \hat{\pi}=(\hat{\pi}_n^{n+1}\colon\hat{X}_{n+1}\to\hat{X}_n)_{n\ge1} \end{align*} $$

and $\hat {X}=\lim _{\hat {\pi }}\hat {X}_n$ . Since any $x=(x_n)_{n\ge 1}\in X$ satisfies $x_n\in \hat {X}_n$ for every $n\ge 1$ , we see that the inclusion $i\colon \hat {X}\to X$ is a homeomorphism.

2.3.2 The Mittag-Leffler condition

Given $\pi =(\pi _n^{n+1}\colon X_{n+1}\to X_n)_{n\ge 1}$ , an inverse sequence of continuous maps, $\pi $ is said to satisfy the Mittag-Leffler Condition if, for any $n\ge 1$ , there is $N\ge n$ such that $\pi _n^N(X_N)=\pi _n^m(X_m)$ for all $m\ge N$ . We say that $\pi $ satisfies $\operatorname {MLC}(1)$ if

$$ \begin{align*} \pi_n^{n+1}(X_{n+1})=\pi_n^{n+2}(X_{n+2}) \end{align*} $$

for any $n\ge 1$ .

Lemma 2.1. Let $\pi =(\pi _n^{n+1}\colon X_{n+1}\to X_n)_{n\ge 1}$ be an inverse sequence of continuous maps. Then the following properties are equivalent.

  1. (1) $\pi $ satisfies $\operatorname {MLC}(1)$ .

  2. (2) For any $n\ge 1$ and $m\ge n+1$ , $\pi _n^{n+1}(X_{n+1})=\pi _n^m(X_m)$ .

  3. (3) For every $n\ge 1$ , $\hat {X}_n=\pi _n^{n+1}(X_{n+1})$ .

Proof. $(1)\Rightarrow (2)$ : We use an induction on m. For $m=n+1$ , $\pi _n^{n+1}(X_{n+1})=\pi _n^m(X_m)$ is trivially true. Assume $\pi _n^{n+1}(X_{n+1})=\pi _n^m(X_m)$ for some $m\ge n+1$ . Then we have

$$ \begin{align*} \pi_n^{m+1}(X_{m+1})=\pi_n^{m-1}(\pi_{m-1}^{m+1}(X_{m+1}))=\pi_n^{m-1}(\pi_{m-1}^m(X_m))=\pi_n^m(X_m)=\pi_n^{n+1}(X_{n+1}), \end{align*} $$

completing the induction.

$(2)\Rightarrow (1)$ : Put $m=n+2$ in (2).

$(2)\Rightarrow (3)$ : Property (2) implies

$$ \begin{align*} \hat{X}_n=\pi_n^n(X_n)\cap\bigcap_{m\ge n+1}\pi_n^m(X_m)=X_n\cap\pi_n^{n+1}(X_{n+1})=\pi_n^{n+1}(X_{n+1}) \end{align*} $$

for every $n\ge 1$ .

$(3)\Rightarrow (2)$ : Since $\pi _n^{n+1}(X_{n+1})\supset \pi _n^{n+2}(X_{n+2})\supset \cdots \supset \hat {X}_n$ , $\hat {X}_n=\pi _n^{n+1}(X_{n+1})$ implies $\pi _n^m(X_m)=\hat {X}_n=\pi _n^{n+1}(X_{n+1})$ for any $m\ge n+1$ , completing the proof.

Remark 2.1. Property (2) in the above lemma implies that $\pi $ satisfies the MLC.

Lemma 2.2. Let $\pi =(\pi _n^{n+1}\colon X_{n+1}\to X_n)_{n\ge 1}$ be an inverse sequence of continuous maps. If $\pi $ satisfies the $\operatorname {MLC}$ , then there is a sequence $1\le n(1)<n(2)<\cdots $ such that, letting $\pi '=(\pi _{n(j)}^{n(j+1)}\colon X_{n(j+1)}\to X_{n(j)})_{j\ge 1}$ , $\pi '$ satisfies $\operatorname {MLC}(1)$ .

Proof. Put $n(0)=1$ . Inductively, define a sequence $1=n(0)<n(1)<n(2)<\cdots $ as follows: given $j\ge 0$ and $n(j)$ , take $n(j+1)>n(j)$ such that $\pi _{n(j)}^{n(j+1)}(X_{n(j+1)})=\pi _{n(j)}^m(X_m)$ for every $m\ge n(j+1)$ . Then, for each $j\ge 1$ , $\pi _{n(j)}^{n(j+1)}(X_{n(j+1)})=\pi _{n(j)}^{n(j+2)}(X_{n(j+2)})$ since $n(j+2)>n(j+1)$ , implying that $\pi '$ satisfies $\operatorname {MLC}(1)$ .

2.3.3 Equivariance, factor and the topological conjugacy

Given two continuous maps $f\colon X\to X$ and $g\colon Y\to Y$ , where X and Y are compact metric spaces, a continuous map $\pi \colon X\to Y$ is said to be equivariant if $g\circ \pi =\pi \circ f$ , and such $\pi $ is also denoted by $\pi \colon (X,f)\to (Y,g)$ . An equivariant map $\pi \colon (X,f)\to (Y,g)$ is called a factor map (respectively, topological conjugacy) if it is surjective (respectively, a homeomorphism). Two systems $(X,f)$ and $(Y,g)$ are said to be topologically conjugate if there is a topological conjugacy $h\colon (X,f)\to (Y,g)$ .

2.3.4 Inverse limit systems

For an inverse sequence of equivariant maps

$$ \begin{align*} \pi=(\pi_n^{n+1}\colon(X_{n+1},f_{n+1})\to(X_n,f_n))_{n\ge1}, \end{align*} $$

the inverse limit system $(X,f)=\lim _\pi (X_n,f_n)$ is well defined by $X=\lim _\pi X_n$ , and $f(x)=(f_n(x_n))_{n\ge 1}$ for all $x=(x_n)_{n\ge 1}\in X$ .

For every $n\ge 1$ , note that $\hat {X}_n$ is a closed $f_n$ -invariant subset of $X_n$ , and let $\hat {f}_n=(f_n)|_{\hat {X}_n}\colon \hat {X}_n\to \hat {X}_n$ . For all $n\ge 1$ , $\hat {\pi }_n^{n+1}=(\pi _n^{n+1})|_{\hat {X}_{n+1}}\colon \hat {X}_{n+1}\to \hat {X}_n$ gives a factor map

$$ \begin{align*} \hat{\pi}_n^{n+1}\colon(\hat{X}_{n+1},\hat{f}_{n+1})\to(\hat{X}_n,\hat{f}_n). \end{align*} $$

Let

$$ \begin{align*} \hat{\pi}=(\hat{\pi}_n^{n+1}\colon(\hat{X}_{n+1},\hat{f}_{n+1})\to(\hat{X}_n,\hat{f}_n))_{n\ge1} \end{align*} $$

and $(\hat {X},\hat {f})=\lim _{\hat {\pi }}(\hat {X}_n,\hat {f}_n)$ . Then the inclusion $i\colon \hat {X}\to X$ is a topological conjugacy $i\colon (\hat {X},\hat {f})\to (X,f)$ .

Lemma 2.3. Let $\pi =(\pi _n^{n+1}\colon (X_{n+1},f_{n+1})\to (X_n,f_n))_{n\ge 1}$ be an inverse sequence of equivariant maps and let $(X,f)=\lim _\pi (X_n,f_n)$ . If $f_n\colon X_n\to X_n$ is chain recurrent (respectively, chain transitive) for each $n\ge 1$ , then $f\colon X\to X$ is chain recurrent (respectively, chain transitive).

Proof. Let $n\ge 1$ . Then, for any $m\ge n$ , since $f_m\colon X_m\to X_m$ is chain recurrent (respectively, chain transitive), and $\pi _n^m\colon (X_m,f_m)\to (X_n,f_n)$ is an equivariant map,

$$ \begin{align*} (f_n)|_{\pi_n^m(X_m)}\colon\pi_n^m(X_m)\to\pi_n^m(X_m) \end{align*} $$

is chain recurrent (respectively, chain transitive). Because $\hat {X}_n=\bigcap _{m\ge n}\pi _n^m(X_m)$ ,

$$ \begin{align*} \hat{f}_n\colon\hat{X}_n\to\hat{X}_n \end{align*} $$

is chain recurrent (respectively, chain transitive). Since

$$ \begin{align*} \hat{\pi}=(\hat{\pi}_n^{n+1}\colon(\hat{X}_{n+1},\hat{f}_{n+1})\to(\hat{X}_n,\hat{f}_n))_{n\ge1} \end{align*} $$

is a sequence of factor maps, we see that $\hat {f}\colon \hat {X}\to \hat {X}$ is chain recurrent (respectively, chain transitive). Thus, $f\colon X\to X$ is chain recurrent (respectively, chain transitive), because $(X,f)$ and $(\hat {X},\hat {f})$ are topologically conjugate, completing the proof.

For an inverse sequence of equivariant maps

$$ \begin{align*} \pi=(\pi_n^{n+1}\colon(X_{n+1},f_{n+1})\to(X_n,f_n))_{n\ge1} \end{align*} $$

and a sequence $1\le n(1)<n(2)<\cdots $ , $\pi _{n(j)}^{n(j+1)}\colon X_{n(j+1)}\to X_{n(j)}$ is an equivariant map for each $j\ge 1$ . Letting

$$ \begin{align*} \pi'=(\pi_{n(j)}^{n(j+1)}\colon(X_{n(j+1)},f_{n(j+1)})\to(X_{n(j)},f_{n(j)}))_{j\ge1} \end{align*} $$

and $(Y,g)=\lim _{\pi '}(X_{n(j)},f_{n(j)})$ , we have a topological conjugacy $h\colon (X,f)\to (Y,g)$ given by $h(x)=(x_{n(j)})_{j\ge 1}$ for all $x=(x_n)_{n\ge 1}\in X$ . By this and Lemma 2.2, we obtain the following lemma.

Lemma 2.4. Let $\pi =(\pi _n^{n+1}\colon (X_{n+1},f_{n+1})\to (X_n,f_n))_{n\ge 1}$ be an inverse sequence of equivariant maps. If $\pi $ satisfies the $\operatorname {MLC}$ , then there is a sequence $1\le n(1)<n(2)<\cdots $ such that, letting $\pi '=(\pi _{n(j)}^{n(j+1)}\colon (X_{n(j+1)},f_{n(j+1)})\to (X_{n(j)},f_{n(j)}))_{j\ge 1}$ , $\pi '$ satisfies $\operatorname {MLC}(1)$ , and $\lim _\pi (X_n,f_n)$ is topologically conjugate to $\lim _{\pi '}(X_{n(j)},f_{n(j)})$ .

2.4 Subshifts

2.4.1 Subshifts of finite type

Let S be a finite set with the discrete topology. The shift map $\sigma \colon S^{\mathbb {N}}\to S^{\mathbb {N}}$ is defined by $\sigma (x)=(x_{n+1})_{n\ge 1}$ for all $x=(x_n)_{n\ge 1}\in S^{\mathbb {N}}$ . Note that $\sigma $ is continuous with respect to the product topology of $S^{\mathbb {N}}$ . The product space $S^{\mathbb {N}}$ (and also $(S^{\mathbb {N}},\sigma )$ ) is called the (one-sided) full-shift over S. A closed $\sigma $ -invariant subset X of $S^{\mathbb {N}}$ (and also the subsystem $(X,\sigma |_X)$ of $(S^{\mathbb {N}},\sigma )$ ) is called a subshift. A subshift X of $S^{\mathbb {N}}$ (and also $(X,\sigma |_X)$ of $(S^{\mathbb {N}},\sigma )$ ) is called a subshift of finite type if there are $N>0$ and $F\subset S^{N+1}$ such that, for any $x=(x_n)_{n\ge 1}\in S^{\mathbb {N}}$ , $x\in X$ if and only if $(x_i,x_{i+1},\ldots ,x_{i+N})\in F$ for all $i\ge 1$ . The shift map $\sigma \colon S^{\mathbb {N}}\to S^{\mathbb {N}}$ is positively expansive and has the shadowing property. We know that a subshift X of $S^{\mathbb {N}}$ is of finite type if and only if $\sigma |_X\colon X\to X$ has the shadowing property [Reference Aoki and Hiraide3].

2.4.2 Some properties of SFTs

Let $(X,\sigma |_X)$ be an SFT (of some full-shift over S) and put $f=\sigma |_X$ . Then f has the following properties.

  1. (1) $\operatorname {CR}(f)=\overline {\operatorname {Per}(f)}$ , where $\operatorname {Per}(f)$ denotes the set of periodic points for f.

  2. (2) For any $x\in X$ , there is $y\in \operatorname {CR}(f)$ such that $\lim _{n\to \infty }d(f^n(x),f^n(y))=0$ .

In fact, these two properties are consequences of the positive expansiveness and the shadowing property of $f\colon X\to X$ . Since the restriction $f|_{\operatorname {CR}(f)}\colon \operatorname {CR}(f)\to \operatorname {CR}(f)$ is surjective and positively expansive, it is c-expansive. Also, it has the shadowing property. Applying [Reference Aoki and Hiraide3, Theorem 3.4.4] to $f|_{\operatorname {CR}(f)}$ , we obtain the following property.

  1. (3) There is a finite set $\mathcal {C}$ of clopen f-invariant subsets of $\operatorname {CR}(f)$ such that

    $$ \begin{align*} \operatorname{CR}(f)=\bigsqcup_{C\in\mathcal{C}}C, \end{align*} $$
    and $f|_{C}\colon C\to C$ is transitive for every $C\in \mathcal {C}$ .

An element of $\mathcal {C}$ is called a basic set. We easily see that $\mathcal {C}=\mathcal {C}(f)$ , that is, the basic sets coincide with the chain components for f. For every $C\in \mathcal {C}$ , $f|_C$ has the shadowing property, so C (or $(C,f|_C)$ ) is a transitive SFT.

Consider the case where f is transitive (or $(X,f)$ is a transitive SFT). Then we have $X=\operatorname {CR}(f)$ and $\mathcal {C}=\mathcal {C}(f)=\{X\}$ . Again by [Reference Aoki and Hiraide3, Theorem 3.4.4], X admits a decomposition

$$ \begin{align*} X=\bigsqcup_{i=0}^{m-1}f^i(D), \end{align*} $$

where $m>0$ is a positive integer, such that $f^i(D)$ , $0\le i\le m-1$ , are clopen $f^m$ -invariant subsets of X, and

$$ \begin{align*} f^m|_{f^i(D)}\colon f^i(D)\to f^i(D) \end{align*} $$

is mixing for every $0\le i\le m-1$ . Here, a continuous map $g\colon Y\to Y$ is said to be mixing if, for any two non-empty open subsets U, V of Y, there is $N>0$ such that $g^n(U)\cap V\ne \emptyset $ for all $n\ge N$ . In this case, we easily see that $\mathcal {D}(f)=\{f^i(D)\colon 0\le i\le m-1\}$ .

3 Preparatory lemmas

In this section we prove some preparatory lemmas needed for the proofs of the main results. The first two lemmas give an expression of the chain recurrent set (respectively, chain components) for the inverse limit system.

Lemma 3.1. Let $\pi =(\pi _n^{n+1}\colon (X_{n+1},f_{n+1})\to (X_n,f_n))_{n\ge 1}$ be an inverse sequence of equivariant maps and let $(X,f)=\lim _\pi (X_n,f_n)$ . Then

$$ \begin{align*} \operatorname{CR}(f)=\{x=(x_n)_{n\ge1}\in X\colon x_n\in \operatorname{CR}(f_n),\text{ for all } n\ge 1\}. \end{align*} $$

Proof. Let R denote the right-hand side of the equation. $\operatorname {CR}(f)\subset R$ is clearly true. Let us prove $R\subset \operatorname {CR}(f)$ . Note that $\pi _n^{n+1}(\operatorname {CR}(f_{n+1}))\subset \operatorname {CR}(f_n)$ for every $n\ge 1$ . Let $Y_n=\operatorname {CR}(f_n)$ , $g_n=(f_n)|_{Y_n}\colon Y_n\to Y_n$ , and $\tilde {\pi }_n^{n+1}=(\pi _n^{n+1})|_{Y_{n+1}}\colon Y_{n+1}\to Y_n$ for each $n\ge 1$ . Consider the inverse sequence of equivariant maps

$$ \begin{align*} \tilde{\pi}=(\tilde{\pi}_n^{n+1}\colon(Y_{n+1},g_{n+1})\to(Y_n,g_n))_{n\ge1} \end{align*} $$

and let $(Y,g)=\lim _{\tilde {\pi }}(Y_n,g_n)$ . Since $g_n$ is chain recurrent for all $n\ge 1$ , by Lemma 2.3, g is chain recurrent. On the other hand, R is a closed f-invariant subset of X and satisfies $Y=R$ . The inclusion $i\colon Y\to R$ gives a topological conjugacy $i\colon (Y,g)\to (R,f|_R)$ , and so $f|_R\colon R\to R$ is chain recurrent, which clearly implies $R\subset \operatorname {CR}(f)$ ; therefore, the lemma has been proved.

Let $\pi =(\pi _n^{n+1}\colon (X_{n+1},f_{n+1})\to (X_n,f_n))_{n\ge 1}$ be an inverse sequence of equivariant maps and let $(X,f)=\lim _\pi (X_n,f_n)$ . Note that for any $n\ge 1$ and $C_{n+1}\in \mathcal {C}(f_{n+1})$ , there is $C_n\in \mathcal {C}(f_n)$ such that $\pi _n^{n+1}(C_{n+1})\subset C_n$ . Let

$$ \begin{align*} \mathcal{C}_\pi=\bigg\{C_{\ast}=(C_n)_{n\ge1}\in\prod_{n\ge1}\mathcal{C}(f_n)\colon \pi_n^{n+1}(C_{n+1})\subset C_n,\text{ for all } n\ge1\bigg\}. \end{align*} $$

Also, for any $C_{\ast }=(C_n)_{n\ge 1}\in \mathcal {C}_\pi $ , let

$$ \begin{align*} [C_{\ast}]=\{x=(x_n)_{n\ge1}\in X\colon x_n\in C_n,\text{ for all } n\ge1\}. \end{align*} $$

The next lemma gives an expression of $\mathcal{C}(f)$ .

Lemma 3.2. It holds that $\mathcal {C}(f)=\{[C_{\ast }]\colon C_{\ast }\in \mathcal {C}_\pi \}$ , where $\mathcal{C}(f)$ is the set of chain components for f.

Proof. For any $C_{\ast }=(C_n)_{n\ge 1}\in \mathcal {C}_\pi $ , $[C_{\ast }]$ is a closed f-invariant subset of X. We prove that $f|_{[C_{\ast }]}\colon [C_{\ast }]\to [C_{\ast }]$ is chain transitive. For each $n\ge 1$ , let $g_n=f|_{C_n}\colon C_n\to C_n$ and let

$$ \begin{align*} \tilde{\pi}_n^{n+1}=(\pi_n^{n+1})|_{C_{n+1}}\colon C_{n+1}\to C_n. \end{align*} $$

Consider the inverse sequence of equivariant maps

$$ \begin{align*} \tilde{\pi}=(\tilde{\pi}_n^{n+1}\colon(C_{n+1},g_{n+1})\to(C_n,g_n))_{n\ge1} \end{align*} $$

and let $(Y,g)=\lim _{\tilde {\pi }}(C_n,g_n)$ . Since $g_n$ is chain transitive for all $n\ge 1$ , by Lemma 2.3, g is chain transitive. On the other hand, we have $Y=[C_{\ast }]$ . The inclusion $i\colon Y\to [C_{\ast }]$ gives a topological conjugacy $i\colon (Y,g)\to ([C_{\ast }],f|_{[C_{\ast }]})$ , which implies that $f|_{[C_{\ast }]}$ is chain transitive.

Given any $C_{\ast }=(C_n)_{n\ge 1}\in \mathcal {C}_\pi $ , from what is shown above, there is $C\in \mathcal {C}(f)$ such that $[C_{\ast }]\subset C$ . Fix $x=(x_n)_{n\ge 1}\in [C_{\ast }]$ . Then, for every $y=(y_n)_{n\ge 1}\in C$ , we easily see that $\{x_n,y_n\}\in C_n$ for all $n\ge 1$ ; therefore, $y\in [C_{\ast }]$ . This implies $C\subset [C_{\ast }]$ and so $[C_{\ast }]=C$ , proving

$$ \begin{align*} \{[C_{\ast}]\colon C_{\ast}\in\mathcal{C}_\pi\}\subset\mathcal{C}(f). \end{align*} $$

To prove

$$ \begin{align*} \mathcal{C}(f)\subset\{[C_{\ast}]\colon C_{\ast}\in\mathcal{C}_\pi\}, \end{align*} $$

for any $C\in \mathcal {C}(f)$ , fix $x=(x_n)_{n\ge 1}\in C$ , and take $C_n\in \mathcal {C}(f_n)$ with $x_n\in C_n$ for each $n\ge 1$ . Then $C_{\ast }=(C_n)_{n\ge 1}\in \mathcal {C}_\pi $ and $x\in [C_{\ast }]\subset C$ . Similarly to the argument above, we obtain $C=[C_{\ast }]$ , completing the proof.

The next lemma gives an expression for $\mathcal {D}(f)$ , which was introduced in §2.2, for the inverse limit system under $\operatorname {MLC}(1)$ . Given

$$ \begin{align*} \pi=(\pi_n^{n+1}\colon(X_{n+1},f_{n+1})\to(X_n,f_n))_{n\ge1}, \end{align*} $$

an inverse sequence of equivariant maps, let $(X,f)=\lim _\pi (X_n,f_n)$ and suppose that $f_n\colon X_n\to X_n$ is chain transitive for all $n\ge 1$ . Then, by Lemma 2.3, $f\colon X\to X$ is chain transitive. Note that, for any $n\ge 1$ and $D_{n+1}\in \mathcal {D}(f_{n+1})$ , there is $D_n\in \mathcal {D}(f_n)$ such that $\pi _n^{n+1}(D_{n+1})\subset D_n$ . Let

$$ \begin{align*} \mathcal{D}_\pi=\bigg\{D_{\ast}=(D_n)_{n\ge1}\in\prod_{n\ge1}\mathcal{D}(f_n)\colon \pi_n^{n+1}(D_{n+1})\subset D_n,\text{ for all } n\ge1\bigg\}. \end{align*} $$

Also, for any $D_{\ast }=(D_n)_{n\ge 1}\in \mathcal {D}_\pi $ , let

$$ \begin{align*} [D_{\ast}]=\{x=(x_n)_{n\ge1}\in X\colon x_n\in D_n,\text{ for all } n\ge1\}. \end{align*} $$

Lemma 3.3. If $\pi $ satisfies $\operatorname {MLC}(1)$ , then $\mathcal {D}(f)=\{[D_{\ast }]\colon D_{\ast }\in \mathcal {D}_\pi \}$ .

Proof. Let $D_{\ast }=(D_n)_{n\ge 1}\in \mathcal {D}_\pi $ and let $x=(x_n)_{n\ge 1},y=(y_n)_{n\ge 1}\in [D_{\ast }]$ . We prove that $(x,y)\in X^2$ is chain proximal for f. Fix any $N>0$ and $\delta>0$ . Since $\{x_{N+1},y_{N+1}\}\subset D_{N+1}\in \mathcal {D}(f_{N+1})$ , $(x_{N+1},y_{N+1})\in X_{N+1}^2$ is chain proximal for $f_{N+1}$ , implying that there is a pair

$$ \begin{align*} ((x_{N+1}^{(i)})_{i=0}^{k},(y_{N+1}^{(i)})_{i=0}^{k}) \end{align*} $$

of $\delta $ -chains of $f_{N+1}$ such that $(x_{N+1}^{(0)},y_{N+1}^{(0)})=(x_{N+1},y_{N+1})$ and $x_{N+1}^{(k)}=y_{N+1}^{(k)}$ . Let $(z^{(0)},w^{(0)})=(x,y)\in X^2$ and note that

$$ \begin{align*} (z_n^{(0)},w_n^{(0)})=(x_n,y_n)=(\pi_n^{N+1}(x_{N+1}),\pi_n^{N+1}(y_{N+1}))=(\pi_n^{N+1}(x_{N+1}^{(0)}),\pi_n^{N+1}(y_{N+1}^{(0)})) \end{align*} $$

for every $1\le n\le N$ . For each $0<i\le k$ , since

$$ \begin{align*} \{\pi_N^{N+1}(x_{N+1}^{(i)}),\pi_N^{N+1}(y_{N+1}^{(i)})\}\subset\pi_N^{N+1}(X_{N+1})=\hat{X}_N\quad \end{align*} $$

by $\operatorname {MLC}(1)$ (see Lemma 2.1), there are $(z^{(i)},w^{(i)})\in X^2$ , $0<i \le k-1$ , and $z^{(k)}=w^{(k)}\in X$ such that

$$ \begin{align*} (z_n^{(i)},w_n^{(i)})=(\pi_n^{N+1}(x_{N+1}^{(i)}),\pi_n^{N+1}(y_{N+1}^{(i)})) \end{align*} $$

and also

$$ \begin{align*} z_n^{(k)}=w_n^{(k)}=\pi_n^{N+1}(x_{N+1}^{(k)})=\pi_n^{N+1}(y_{N+1}^{(k)}) \end{align*} $$

for every $1\le n\le N$ . Let $d_n$ , $n\ge 1$ , be the metric on $X_n$ . For any $0\le i\le k-1$ and $1\le n\le N$ , we have

$$ \begin{align*} \begin{aligned} d_n(f(z^{(i)})_n,z_n^{(i+1)})&=d_n(f_n(z_n^{(i)}),z_n^{(i+1)})\\ &=d_n(f_n(\pi_n^{N+1}(x_{N+1}^{(i)})),\pi_n^{N+1}(x_{N+1}^{(i+1)}))\\ &=d_n(\pi_n^{N+1}(f_{N+1}(x_{N+1}^{(i)})),\pi_n^{N+1}(x_{N+1}^{(i+1)})) \end{aligned} \end{align*} $$

with $d_{N+1}(f_{N+1}(x_{N+1}^{(i)}),x_{N+1}^{(i+1)})\le \delta $ , and similarly,

$$ \begin{align*} d_n(f(w^{(i)})_n,w_n^{(i+1)})=d_n(\pi_n^{N+1}(f_{N+1}(y_{N+1}^{(i)})),\pi_n^{N+1}(y_{N+1}^{(i+1)})) \end{align*} $$

with $d_{N+1}(f_{N+1}(y_{N+1}^{(i)}),y_{N+1}^{(i+1)})\le \delta $ . Therefore, for every $\epsilon>0$ , if N is large enough, and then $\delta $ is sufficiently small,

$$ \begin{align*} ((z^{(i)})_{i=0}^{k},(w^{(i)})_{i=0}^{k}) \end{align*} $$

is a pair of $\epsilon $ -chains of f with $(z^{(0)},w^{(0)})=(x,y)$ and $z^{(k)}=w^{(k)}$ , proving that $(x,y)\in X^2$ is chain proximal for f.

Given any $D_{\ast }=(D_n)_{n\ge 1}\in \mathcal {D}_\pi $ , from what is shown above, we have $[D_{\ast }]\subset D$ for some $D\in \mathcal {D}(f)$ . The rest of the proof is identical to that of Lemma 3.2.

The final lemma gives a sufficient condition for an inverse sequence of subsystems to continue satisfying condition $\operatorname {MLC}(1)$ .

Lemma 3.4. Let $\pi =(\pi _n^{n+1}\colon (X_{n+1},f_{n+1})\to (X_n,f_n))_{n\ge 1}$ be an inverse sequence of equivariant maps with $\operatorname {MLC}(1)$ . Let $(X,f)=\lim _\pi (X_n,f_n)$ and suppose that a sequence of closed $f_n$ -invariant subsets $Y_n$ of $X_n$ , $n\ge 1$ , has the following properties:

  1. (1) $\pi _n^{n+1}(Y_{n+1})\subset Y_n$ for every $n\ge 1$ ;

  2. (2) any $x=(x_n)_{n\ge 1}\in X$ satisfies $x_n\in Y_n$ for all $n\ge 1$ .

For each $n\ge 1$ , let $g_n=(f_n)|_{Y_n}\colon Y_n\to Y_n$ and let $\tilde {\pi }_n^{n+1}=(\pi _n^{n+1})|_{Y_{n+1}}\colon Y_{n+1}\to Y_n$ . Then the inverse sequence of equivariant maps

$$ \begin{align*} \tilde{\pi}=(\tilde{\pi}_n^{n+1}\colon(Y_{n+1},g_{n+1})\to(Y_n,g_n))_{n\ge1} \end{align*} $$

satisfies $\operatorname {MLC}(1)$ .

Proof. For any $n\ge 1$ and $q\in X_{n+1}$ , since $\pi _n^{n+1}(q)\in \pi _n^{n+1}(X_{n+1})=\hat {X}_n$ by $\operatorname {MLC}(1)$ of $\pi $ (see Lemma 2.1), we have $x_n=\pi _n^{n+1}(q)$ for some $x=(x_j)_{j\ge 1}\in X$ . Since $\pi _n^{n+1}(q)=x_n=\pi _n^{n+2}(x_{n+2})$ , by property (2), we obtain $\pi _n^{n+1}(q)\in \pi _n^{n+2}(Y_{n+2})$ , implying $\pi _n^{n+1}(X_{n+1})\subset \pi _n^{n+2}(Y_{n+2})$ . Then

$$ \begin{align*} \pi_n^{n+1}(Y_{n+1})\subset\pi_n^{n+1}(X_{n+1})\subset\pi_n^{n+2}(Y_{n+2})\subset\pi_n^{n+1}(Y_{n+1}), \end{align*} $$

therefore $\pi _n^{n+1}(Y_{n+1})=\pi _n^{n+2}(Y_{n+2})$ . Since $n\ge 1$ is arbitrary, $\tilde {\pi }$ satisfies $\operatorname {MLC}(1)$ .

4 Reduction of Theorem 1.2 to Lemma 1.3

The aim of this section is to prove the following lemma to reduce Theorem 1.2 to Lemma 1.3.

Lemma 4.1. Let $f\colon X\to X$ be a continuous map with the shadowing property. If $\dim {X}=0$ and $h_{\mathrm {top}}(f)>0$ , then there is $C\in \mathcal {C}(f)$ such that $f|_{C}\colon C\to C$ has the shadowing property and satisfies $h_{\mathrm {top}}(f|_C)>0$ .

A lemma is needed for the proof. It states that, for an inverse sequence of SFTs, we can consider the inverse sequence of chain recurrent sets without losing $\operatorname {MLC}(1)$ .

Lemma 4.2. Let $\pi =(\pi _n^{n+1}\colon (X_{n+1},f_{n+1})\to (X_n,f_n))_{n\ge 1}$ be an inverse sequence of equivariant maps with $\operatorname {MLC}(1)$ . Let $(X,f)=\lim _{\pi }(X_n,f_n)$ and suppose that $(X_n,f_n)$ is an SFT for each $n\ge 1$ . Let $Y_n=\operatorname {CR}(f_n)$ , $g_n=(f_n)|_{Y_n}\colon Y_n\to Y_n$ , and $\tilde {\pi }_n^{n+1}=(\pi _n^{n+1})|_{Y_{n+1}}\colon Y_{n+1}\to Y_n$ for every $n\ge 1$ . Then the inverse sequence of equivariant maps

$$ \begin{align*} \tilde{\pi}=(\tilde{\pi}_n^{n+1}\colon(Y_{n+1},g_{n+1})\to(Y_n,g_n))_{n\ge1} \end{align*} $$

satisfies $\operatorname {MLC}(1)$ .

Proof. Let $n\ge 1$ . Since $Y_{n+1}=\overline {\operatorname {Per}(f_{n+1})}$ and $\pi _n^{n+1}(\operatorname {Per}(f_{n+1}))\subset \operatorname {Per}(f_n)$ ,

$$ \begin{align*} \pi_n^{n+1}(Y_{n+1})=\pi_n^{n+1}(\overline{\operatorname{Per}(f_{n+1})})\subset\overline{\pi_n^{n+1}(\operatorname{Per}(f_{n+1}))}\subset\overline{\pi_n^{n+1}(Y_{n+1})\cap \operatorname{Per}(f_n)}. \end{align*} $$

By $\operatorname {MLC}(1)$ of $\pi $ , $\pi _n^{n+1}(Y_{n+1})\subset \pi _n^{n+1}(X_{n+1})=\pi _n^{n+2}(X_{n+2})$ ; therefore, for any $p\in \pi _n^{n+1}(Y_{n+1})\cap \operatorname {Per}(f_n)$ , there is $q\in X_{n+2}$ such that $p=\pi _n^{n+2}(q)$ . Then there is $r\in Y_{n+2}$ such that

$$ \begin{align*} \lim_{k\to\infty}d_{n+2}(f_{n+2}^k(q),f_{n+2}^k(r))=0, \end{align*} $$

implying

$$ \begin{align*} \begin{aligned} \lim_{k\to\infty}d_n(f_n^k(p),f_n^k(\pi_{n}^{n+2}(r)))&=\lim_{k\to\infty}d_n(f_n^k(\pi_{n}^{n+2}(q)),f_n^k(\pi_{n}^{n+2}(r)))\\ &=\lim_{k\to\infty}d_n(\pi_{n}^{n+2}(f_{n+2}^k(q)),\pi_{n}^{n+2}(f_{n+2}^k(r)))\\ &=0, \end{aligned} \end{align*} $$

where $d_n$ , $d_{n+2}$ are the metrics on $X_n$ , $X_{n+2}$ . Note that $\pi _{n}^{n+2}(r)\in \pi _n^{n+2}(Y_{n+2})$ . From $p\in \operatorname {Per}(f_n)$ and the $f_n$ -invariance of $\pi _n^{n+2}(Y_{n+2})$ , it follows that $p\in \overline {\pi _n^{n+2}(Y_{n+2})}=\pi _n^{n+2}(Y_{n+2})$ . Since $p\in \pi _n^{n+1}(Y_{n+1})\cap \operatorname {Per}(f_n)$ is arbitrary, we obtain

$$ \begin{align*} \pi_n^{n+1}(Y_{n+1})\cap \operatorname{Per}(f_n)\subset\pi_n^{n+2}(Y_{n+2}) \end{align*} $$

and so

$$ \begin{align*} \pi_n^{n+1}(Y_{n+1})\subset\overline{\pi_n^{n+1}(Y_{n+1})\cap \operatorname{Per} (f_n)} \subset\overline{\pi_n^{n+2}(Y_{n+2})}=\pi_n^{n+2}(Y_{n+2}). \end{align*} $$

Thus, $\pi _n^{n+1}(Y_{n+1})=\pi _n^{n+2}(Y_{n+2})$ , proving the lemma.

We now prove Lemma 4.1. The proof is based on Lemma 1.2 and by carefully choosing an inverse sequence of chain components with $\operatorname {MLC}(1)$ .

Proof of Lemma 4.1

By Lemmas 1.2 and 2.4, we may assume $(X,f)=\lim _{\pi }(X_n,f_n)$ , where $(X_n,f_n)$ , $n\ge 1$ , are SFTs, and

$$ \begin{align*} \pi=(\pi_n^{n+1}\colon(X_{n+1},f_{n+1})\to(X_n,f_n))_{n\ge1} \end{align*} $$

is an inverse sequence of equivariant maps with $\operatorname {MLC}(1)$ . Let $Y_n=\operatorname {CR}(f_n)$ , $g_n=(f_n)|_{Y_n}\colon Y_n\to Y_n$ , and $\tilde {\pi }_n^{n+1}=(\pi _n^{n+1})|_{Y_{n+1}}\colon Y_{n+1}\to Y_n$ for every $n\ge 1$ . Then $(Y_n,g_n)$ , $n\ge 1$ , are chain recurrent SFTs, and by Lemma 4.2,

$$ \begin{align*} \tilde{\pi}=(\tilde{\pi}_n^{n+1}\colon(Y_{n+1},g_{n+1})\to(Y_n,g_n))_{n\ge1} \end{align*} $$

satisfies $\operatorname {MLC}(1)$ . Letting $(Y,g)=\lim _{\tilde {\pi }}(Y_n,g_n)$ and

$$ \begin{align*} R=\{x=(x_n)_{n\ge1}\in X\colon x_n\in \operatorname{CR}(f_n),\text{ for all } n\ge 1\}, \end{align*} $$

we have $R=\operatorname {CR}(f)$ by Lemma 3.1, and as in the proof of Lemma 3.1, the inclusion $i\colon Y\to \operatorname {CR}(f)$ is a topological conjugacy $i\colon (Y,g)\to (\operatorname {CR}(f),f|_{\operatorname {CR}(f)})$ . By this, again without loss of generality, we may assume that f and $f_n$ , $n\ge 1$ , are chain recurrent.

Since $h_{\mathrm {top}}(f)>0$ , there is $C^\dagger \in \mathcal {C}(f)$ such that $h_{\mathrm {top}}(f|_{C^\dagger })>0$ . A proof of this fact is as follows. By the variational principle, there is an ergodic f-invariant Borel probability measure $\mu $ on X such that the measure-theoretical entropy $h_\mu (f)$ is positive. Since $f|_{\mathrm {supp}(\mu )}\colon \mathrm {supp}(\mu )\to \mathrm {supp}(\mu )$ , the restriction of f to the support of $\mu $ , is transitive, there is $C^\dagger \in \mathcal {C}(f)$ such that $\mathrm {supp}(\mu )\subset C^\dagger $ . By the variational principle again, we obtain

$$ \begin{align*} h_{\mathrm{top}}(f|_{C^\dagger})\ge h_{\mathrm{top}}(f|_{\mathrm{supp}(\mu)})\ge h_\mu(f|_{\mathrm{supp}(\mu)})=h_\mu(f)>0. \end{align*} $$

Then, by Lemma 3.2, there is $C_{\ast }=(C_n)_{n\ge 1}\in \mathcal {C}_\pi $ such that $C^\dagger =[C_{\ast }]$ . Letting $\Gamma =\prod _{n\ge 1}\pi _n^{n+1}(C_{n+1})$ , a closed F-invariant subset of $\prod _{n\ge 1}X_n$ where $F=\prod _{n\ge 1}f_n$ is the product map, since $C^\dagger \subset \Gamma $ , we have

$$ \begin{align*} 0<h_{\mathrm{top}}(f|_{C^\dagger})=h_{\mathrm{top}}(F|_{C^\dagger})&\le h_{\mathrm{top}}(F|_\Gamma)\\ &=h_{\mathrm{top}}\bigg(\prod_{n\ge1}(f_n)|_{\pi_n^{n+1}(C_{n+1})}\bigg)=\sum_{n\ge1}h_{\mathrm{top}}((f_n)|_{\pi_n^{n+1}(C_{n+1})}) \end{align*} $$

implying $h_{\mathrm {top}}((f_n)|_{\pi _n^{n+1}(C_{n+1})})>0$ for some $n\ge 1$ .

Note that $\mathcal {C}(f_m)$ , $m\ge 1$ , are finite sets, and for any $m\ge 1$ and $D\in \mathcal {C}(f_m)$ , $(f_m)|_{D}\colon D\to D$ is transitive (see §2.4). Let us prove the following claim.

Claim. There is $C^{\prime }_{\ast }=(C^{\prime }_m)_{m\ge n}\in \prod _{m\ge n}\mathcal {C}(f_m)$ with the following properties:

  1. (1) $C^{\prime }_n=C_n$ ;

  2. (2) $\pi _n^{n+1}(C_{n+1})\subset \pi _n^{n+1}(C^{\prime }_{n+1})$ ;

  3. (3) $\pi _m^{m+1}(C^{\prime }_{m+1})\subset C^{\prime }_m$ for every $m\ge n$ ;

  4. (4) $\pi _m^{m+1}(C^{\prime }_{m+1})=\pi _m^{m+2}(C^{\prime }_{m+2})$ for all $m\ge n$ .

Proof of the claim

Step 1. Let $C^{\prime }_n=C_n$ . Take $D_{n+1}\in \mathcal {C}(f_{n+1})$ such that

(P1) $$ \begin{align} \pi_n^{n+1}(C_{n+1})\subset\pi_n^{n+1}(D_{n+1})\subset C^{\prime}_n \end{align} $$

and $\pi _n^{n+1}(D_{n+1})$ is maximal among

$$ \begin{align*} \{\pi_n^{n+1}(E_{n+1})\colon E_{n+1}\in\mathcal{C}(f_{n+1}),\pi_n^{n+1}(C_{n+1})\subset\pi_n^{n+1}(E_{n+1})\subset C^{\prime}_n\} \end{align*} $$

with respect to the inclusion relation.

Step 2. Note that $(f_n)|_{\pi _n^{n+1}(D_{n+1})}$ is transitive, and take a transitive point $p_1\in \pi _n^{n+1}(D_{n+1})$ , that is, $\pi _n^{n+1}(D_{n+1})=\omega (p_1,f_n)$ , the $\omega $ -limit set. Since

$$ \begin{align*} p_1\in\pi_n^{n+1}(D_{n+1})\subset\pi_n^{n+1}(X_{n+1})=\pi_n^{n+2}(X_{n+2}), \end{align*} $$

we have $p_1=\pi _n^{n+2}(q_1)$ for some $q_1\in X_{n+2}$ . Take $C^{\prime }_{n+1}\in \mathcal {C}(f_{n+1})$ with $\pi _{n+1}^{n+2}(q_1) \in C^{\prime }_{n+1}$ . Then choose $D_{n+2}\in \mathcal {C}(f_{n+2})$ such that

(P2) $$ \begin{align} \pi_{n+1}^{n+2}(q_1)\in\pi_{n+1}^{n+2}(D_{n+2})\subset C^{\prime}_{n+1} \end{align} $$

and $\pi _{n+1}^{n+2}(D_{n+2})$ is maximal among

$$ \begin{align*} \{\pi_{n+1}^{n+2}(E_{n+2})\colon E_{n+2}\in\mathcal{C}(f_{n+2}),\pi_{n+1}^{n+2}(q_1)\in\pi_{n+1}^{n+2}(E_{n+2})\subset C^{\prime}_{n+1}\} \end{align*} $$

with respect to the inclusion relation. By (P2), we have

$$ \begin{align*} p_1\in\pi_n^{n+2}(D_{n+2})\subset\pi_n^{n+1}(C^{\prime}_{n+1}), \end{align*} $$

implying

$$ \begin{align*} \pi_n^{n+1}(D_{n+1})\subset\pi_n^{n+2}(D_{n+2})\subset\pi_n^{n+1}(C^{\prime}_{n+1}) \end{align*} $$

since $\pi _n^{n+1}(D_{n+1})=\omega (p_1,f_n)$ , and $\pi _n^{n+2}(D_{n+2})$ is $f_n$ -invariant. By (P1) and $p_1\in \pi _n^{n+1}(D_{n+1})$ , we see that $\pi _n^{n+1}(C_{n+1})\subset \pi _n^{n+1}(D_{n+1})$ and $p_1\in C^{\prime }_n\cap \pi _n^{n+1}(C^{\prime }_{n+1})$ ; therefore,

$$ \begin{align*} \pi_n^{n+1}(C_{n+1})\subset\pi_n^{n+1}(D_{n+1})\subset\pi_n^{n+2}(D_{n+2})\subset\pi_n^{n+1}(C^{\prime}_{n+1})\subset C^{\prime}_n. \end{align*} $$

By the maximality of $\pi _n^{n+1}(D_{n+1})$ in Step 1, we obtain

(Q1) $$ \begin{align} \pi_n^{n+1}(D_{n+1})=\pi_n^{n+2}(D_{n+2})=\pi_n^{n+1}(C^{\prime}_{n+1}). \end{align} $$

Step 3. Note that $(f_{n+1})|_{\pi _{n+1}^{n+2}(D_{n+2})}$ is transitive, and take a transitive point $p_2\in \pi _{n+1}^{n+2}(D_{n+2})$ , that is, $\pi _{n+1}^{n+2}(D_{n+2})=\omega (p_2,f_{n+1})$ . Since

$$ \begin{align*} p_2\in\pi_{n+1}^{n+2}(D_{n+2})\subset\pi_{n+1}^{n+2}(X_{n+2})=\pi_{n+1}^{n+3}(X_{n+3}), \end{align*} $$

we have $p_2=\pi _{n+1}^{n+3}(q_2)$ for some $q_2\in X_{n+3}$ . Take $C^{\prime }_{n+2}\in \mathcal {C}(f_{n+2})$ with $\pi _{n+2}^{n+3}(q_2)\in C^{\prime }_{n+2}$ . Then choose $D_{n+3}\in \mathcal {C}(f_{n+3})$ such that

(P3) $$ \begin{align} \pi_{n+2}^{n+3}(q_2)\in\pi_{n+2}^{n+3}(D_{n+3})\subset C^{\prime}_{n+2} \end{align} $$

and $\pi _{n+2}^{n+3}(D_{n+3})$ is maximal among

$$ \begin{align*} \{\pi_{n+2}^{n+3}(E_{n+3})\colon E_{n+3}\in\mathcal{C}(f_{n+3}),\pi_{n+2}^{n+3}(q_2)\in\pi_{n+2}^{n+3}(E_{n+3})\subset C^{\prime}_{n+2}\} \end{align*} $$

with respect to the inclusion relation. By (P3), we have

$$ \begin{align*} p_2\in\pi_{n+1}^{n+3}(D_{n+3})\subset\pi_{n+1}^{n+2}(C^{\prime}_{n+2}), \end{align*} $$

implying

$$ \begin{align*} \pi_{n+1}^{n+2}(D_{n+2})\subset\pi_{n+1}^{n+3}(D_{n+3})\subset\pi_{n+1}^{n+2}(C^{\prime}_{n+2}) \end{align*} $$

since $\pi _{n+1}^{n+2}(D_{n+2})=\omega (p_2,f_{n+1})$ , and $\pi _{n+1}^{n+3}(D_{n+3})$ is $f_{n+1}$ -invariant. By (P2) and $p_2\in \pi _{n+1}^{n+2}(D_{n+2})$ , we see that $\pi _{n+1}^{n+2}(q_1)\in \pi _{n+1}^{n+2}(D_{n+2})$ and $p_2\in C^{\prime }_{n+1}\cap \pi _{n+1}^{n+2}(C^{\prime }_{n+2})$ ; therefore,

$$ \begin{align*} \pi_{n+1}^{n+2}(q_1)\in\pi_{n+1}^{n+2}(D_{n+2})\subset\pi_{n+1}^{n+3}(D_{n+3})\subset\pi_{n+1}^{n+2}(C^{\prime}_{n+2})\subset C^{\prime}_{n+1}. \end{align*} $$

By the maximality of $\pi _{n+1}^{n+2}(D_{n+2})$ in Step 2, we obtain

(Q2) $$ \begin{align} \pi_{n+1}^{n+2}(D_{n+2})=\pi_{n+1}^{n+3}(D_{n+3})=\pi_{n+1}^{n+2}(C^{\prime}_{n+2}). \end{align} $$

Assertions (Q1) and (Q2) yield $\pi _n^{n+1}(C^{\prime }_{n+1})=\pi _n^{n+2}(C^{\prime }_{n+2})$ .

Step 4. Note that $(f_{n+2})|_{\pi _{n+2}^{n+3}(D_{n+3})}$ is transitive, and take a transitive point $p_3\in \pi _{n+2}^{n+3}(D_{n+3})$ , that is, $\pi _{n+2}^{n+3}(D_{n+3})=\omega (p_3,f_{n+2})$ . Since

$$ \begin{align*} p_3\in\pi_{n+2}^{n+3}(D_{n+3})\subset\pi_{n+2}^{n+3}(X_{n+3})=\pi_{n+2}^{n+4}(X_{n+4}), \end{align*} $$

we have $p_3=\pi _{n+2}^{n+4}(q_3)$ for some $q_3\in X_{n+4}$ . Take $C^{\prime }_{n+3}\in \mathcal {C}(f_{n+3})$ with $\pi _{n+3}^{n+4}(q_3)\in C^{\prime }_{n+3}$ . Then choose $D_{n+4}\in \mathcal {C}(f_{n+4})$ such that

(P4) $$ \begin{align} \pi_{n+3}^{n+4}(q_3)\in\pi_{n+3}^{n+4}(D_{n+4})\subset C^{\prime}_{n+3} \end{align} $$

and $\pi _{n+3}^{n+4}(D_{n+4})$ is maximal among

$$ \begin{align*} \{\pi_{n+3}^{n+4}(E_{n+4})\colon E_{n+4}\in\mathcal{C}(f_{n+4}),\pi_{n+3}^{n+4}(q_3)\in\pi_{n+3}^{n+4}(E_{n+4})\subset C^{\prime}_{n+3}\} \end{align*} $$

with respect to the inclusion relation. By (P4), we have

$$ \begin{align*} p_3\in\pi_{n+2}^{n+4}(D_{n+4})\subset\pi_{n+2}^{n+3}(C^{\prime}_{n+3}), \end{align*} $$

implying

$$ \begin{align*} \pi_{n+2}^{n+3}(D_{n+3})\subset\pi_{n+2}^{n+4}(D_{n+4})\subset\pi_{n+2}^{n+3}(C^{\prime}_{n+3}) \end{align*} $$

since $\pi _{n+2}^{n+3}(D_{n+3})=\omega (p_3,f_{n+2})$ , and $\pi _{n+2}^{n+4}(D_{n+4})$ is $f_{n+2}$ -invariant. By (P3) and $p_3\in \pi _{n+2}^{n+3}(D_{n+3})$ , we see that $\pi _{n+2}^{n+3}(q_2)\in \pi _{n+2}^{n+3}(D_{n+3})$ and $p_3\in C^{\prime }_{n+2}\cap \pi _{n+2}^{n+3}(C^{\prime }_{n+3})$ ; therefore,

$$ \begin{align*} \pi_{n+2}^{n+3}(q_2)\in\pi_{n+2}^{n+3}(D_{n+3})\subset\pi_{n+2}^{n+4}(D_{n+4})\subset\pi_{n+2}^{n+3}(C^{\prime}_{n+3})\subset C^{\prime}_{n+2}. \end{align*} $$

By the maximality of $\pi _{n+2}^{n+3}(D_{n+3})$ in Step 3, we obtain

(Q3) $$ \begin{align} \pi_{n+2}^{n+3}(D_{n+3})=\pi_{n+2}^{n+4}(D_{n+4})=\pi_{n+2}^{n+3}(C^{\prime}_{n+3}). \end{align} $$

Assertions (Q2) and (Q3) yield $\pi _{n+1}^{n+2}(C^{\prime }_{n+2})=\pi _{n+1}^{n+3}(C^{\prime }_{n+3})$ .

Continuing inductively, we obtain a sequence $C^{\prime }_{\ast }=(C^{\prime }_m)_{m\ge n}\in \prod _{m\ge n}\mathcal {C}(f_m)$ . Then properties (1) and (2) are ensured in Steps 1 and 2. For any $k\ge 0$ , $\pi _{n+k}^{n+k+1}(C^{\prime }_{n+k+1})\subset C^{\prime }_{n+k}$ and $\pi _{n+k}^{n+k+1}(C^{\prime }_{n+k+1})=\pi _{n+k}^{n+k+2}(C^{\prime }_{n+k+2})$ are established in Steps $k+2$ and $k+3$ , respectively. Thus, $C^{\prime }_{\ast }$ satisfies the required properties, and so the claim has been proved.

We continue the proof of Lemma 4.1. Define $C^{\prime \prime }_{\ast }=(C^{\prime \prime }_j)_{j\ge 1}\in \prod _{j\ge 1}\mathcal {C}(f_j)$ by

$$ \begin{align*} C^{\prime\prime}_j= \begin{cases} C_j&\text{if } 1\le j<n,\\ C^{\prime}_j&\text{if } n\le j. \end{cases} \end{align*} $$

By properties (1) and (3) in the claim, we see that $C^{\prime \prime }_{\ast }\in \mathcal {C}_\pi $ . By Lemma 3.2, letting $C=[C^{\prime \prime }_{\ast }]$ , we obtain $C\in \mathcal {C}(f)$ . Let

$$ \begin{align*} \pi''=((\pi_j^{j+1})|_{C^{\prime\prime}_{j+1}}\colon(C^{\prime\prime}_{j+1},(f_{j+1})|_{C^{\prime\prime}_{j+1}})\to(C^{\prime\prime}_j,(f_j)|_{C^{\prime\prime}_j}))_{j\ge1} \end{align*} $$

and

$$ \begin{align*} \pi'=((\pi_m^{m+1})|_{C^{\prime}_{m+1}}\colon(C^{\prime}_{m+1},(f_{m+1})|_{C^{\prime}_{m+1}})\to(C^{\prime}_m,(f_m)|_{C^{\prime}_m}))_{m\ge n}. \end{align*} $$

Then $(C,f|_C)$ (respectively, $\lim _{\pi ''}(C^{\prime \prime }_j,(f_j)|_{C^{\prime \prime }_j})$ ) is topologically conjugate to

$$ \begin{align*} \lim_{\pi''}(C^{\prime\prime}_j,(f_j)|_{C^{\prime\prime}_j}) \end{align*} $$

(respectively, $\lim _{\pi '}(C^{\prime }_m,(f_m)|_{C^{\prime }_m})$ ), so $(C,f|_C)$ is topologically conjugate to

$$ \begin{align*} \lim_{\pi'}(C^{\prime}_m,(f_m)|_{C^{\prime}_m}). \end{align*} $$

Let $(Y,g)=\lim _{\pi '}(C^{\prime }_m,(f_m)|_{C^{\prime }_m})$ . By property (4) in the claim, $\pi '$ satisfies $\operatorname {MLC}(1)$ . Since $(f_m)|_{C^{\prime }_m}$ has the shadowing property for each $m\ge 1$ , due to Lemma 1.1, g has the shadowing property. Let us prove $h_{\mathrm {top}}(g)>0$ . Again by $\operatorname {MLC}(1)$ of $\pi '$ , we have $\hat {C}^{\prime }_n=\pi _n^{n+1}(C^{\prime }_{n+1})$ (see Lemma 2.1). Then a map $\phi \colon Y\to \pi _n^{n+1}(C^{\prime }_{n+1})$ , defined by $\phi (y)=y_n$ for all $y=(y_m)_{m\ge n}\in Y$ , gives a factor map

$$ \begin{align*} \phi\colon(Y,g)\to(\pi_n^{n+1}(C^{\prime}_{n+1}),(f_n)|_{\pi_n^{n+1}(C^{\prime}_{n+1})}). \end{align*} $$

Property (2) in the claim ensures that $\pi _n^{n+1}(C_{n+1})$ is a closed $f_n$ -invariant subset of $\pi _n^{n+1}(C^{\prime }_{n+1})$ , therefore,

$$ \begin{align*} h_{\mathrm{top}}(g)\ge h_{\mathrm{top}}((f_n)|_{\pi_n^{n+1}(C^{\prime}_{n+1})})\ge h_{\mathrm{top}}((f_n)|_{\pi_n^{n+1}(C_{n+1})})>0. \end{align*} $$

Thus, $f|_C$ has the shadowing property and satisfies $h_{\mathrm {top}}(f|_C)>0$ , completing the proof of the lemma.

5 Proof of Lemma 1.3

In this section we prove Lemma 1.3. Let

$$ \begin{align*} \pi=(\pi_n^{n+1}\colon(X_{n+1},f_{n+1})\to(X_n,f_n))_{n\ge1} \end{align*} $$

be an inverse sequence of equivariant maps with $\operatorname {MLC}(1)$ and suppose that $(X_n,f_n)$ is a transitive SFT for each $n\ge 1$ . For every $n\ge 1$ , note that $\mathcal {D}(f_n)$ is a finite set, and let $m_n=|\mathcal {D}(f_n)|$ . Then $m_n|m_{n+1}$ for all $n\ge 1$ , and for any $n\ge 1$ and $E\in \mathcal {D}(f_n)$ , $(f_n^{m_n})|_E\colon E\to E$ is mixing. The proof of the first lemma is similar to that of Lemma 4.1.

Lemma 5.1. There is $D_{\ast }=(D_n)_{n\ge 1}\in \mathcal {D}_\pi $ such that

$$ \begin{align*} \tilde{\pi}=((\pi_n^{n+1})|_{D_{n+1}}\colon D_{n+1}\to D_n)_{n\ge1} \end{align*} $$

satisfies $\operatorname {MLC}(1)$ .

Proof. We argue as in the proof of Lemma 4.1.

Step 1. Fix $D_1\in \mathcal {D}(f_1)$ with $\pi _1^2(F_2)\subset D_1$ for some $F_2\in \mathcal {D}(f_2)$ . Take $E_2\in \mathcal {D}(f_2)$ such that

(P1) $$ \begin{align} \pi_1^2(E_2)\subset D_1 \end{align} $$

and $\pi _1^2(E_2)$ is maximal among

$$ \begin{align*} \{\pi_1^2(F_2)\colon F_2\in\mathcal{D}(f_2),\pi_1^2(F_2)\subset D_1\} \end{align*} $$

with respect to the inclusion relation.

Step 2. Note that $(f_1^{m_2})|_{\pi _1^2(E_2)}$ is mixing, so $(f_1^{m_3})|_{\pi _1^2(E_2)}$ is transitive, and take a transitive point $p_1\in \pi _1^2(E_2)$ , that is, $\pi _1^2(E_2)=\omega (p_1,f_1^{m_3})$ , the $\omega $ -limit set. Since

$$ \begin{align*} p_1\in\pi_1^2(E_2)\subset\pi_1^2(X_2)=\pi_1^3(X_3), \end{align*} $$

we have $p_1=\pi _1^3(q_1)$ for some $q_1\in X_3$ . Take $D_2\in \mathcal {D}(f_2)$ with $\pi _2^3(q_1)\in D_2$ . Then choose $E_3\in \mathcal {D}(f_3)$ such that

(P2) $$ \begin{align} \pi_2^3(q_1)\in\pi_2^3(E_3)\subset D_2 \end{align} $$

and $\pi _2^3(E_3)$ is maximal among

$$ \begin{align*} \{\pi_2^3(F_3)\colon F_3\in\mathcal{D}(f_3),\pi_2^3(q_1)\in\pi_2^3(F_3)\subset D_2\} \end{align*} $$

with respect to the inclusion relation. By (P2), we have

$$ \begin{align*} p_1\in\pi_1^3(E_3)\subset\pi_1^2(D_2), \end{align*} $$

implying

$$ \begin{align*} \pi_1^2(E_2)\subset\pi_1^3(E_3)\subset\pi_1^2(D_2) \end{align*} $$

since $\pi _1^2(E_2)=\omega (p_1,f_1^{m_3})$ , and $\pi _1^3(E_3)$ is $f_1^{m_3}$ -invariant. By (P1) and $p_1\in \pi _1^2(E_2)$ , we see that $p_1\in D_1\cap \pi _1^2(D_2)$ ; therefore,

$$ \begin{align*} \pi_1^2(E_2)\subset\pi_1^3(E_3)\subset\pi_1^2(D_2)\subset D_1. \end{align*} $$

By the maximality of $\pi _1^2(E_2)$ in Step 1, we obtain

(Q1) $$ \begin{align} \pi_1^2(E_2)=\pi_1^3(E_3)=\pi_1^2(D_2). \end{align} $$

Step 3. Note that $(f_2^{m_3})|_{\pi _2^3(E_3)}$ is mixing, so $(f_2^{m_4})|_{\pi _2^3(E_3)}$ is transitive, and take a transitive point $p_2\in \pi _2^3(E_3)$ , that is, $\pi _2^3(E_3)=\omega (p_2,f_2^{m_4})$ . Since

$$ \begin{align*} p_2\in\pi_2^3(E_3)\subset\pi_2^3(X_3)=\pi_2^4(X_4), \end{align*} $$

we have $p_2=\pi _2^4(q_2)$ for some $q_2\in X_4$ . Take $D_3\in \mathcal {D}(f_3)$ with $\pi _3^4(q_2)\in D_3$ . Then choose $E_4\in \mathcal {D}(f_4)$ such that

(P3) $$ \begin{align} \pi_3^4(q_2)\in\pi_3^4(E_4)\subset D_3 \end{align} $$

and $\pi _3^4(E_4)$ is maximal among

$$ \begin{align*} \{\pi_3^4(F_4)\colon F_4\in\mathcal{D}(f_4),\pi_3^4(q_2)\in\pi_3^4(F_4)\subset D_3\} \end{align*} $$

with respect to the inclusion relation. By (P3), we have

$$ \begin{align*} p_2\in\pi_2^4(E_4)\subset\pi_2^3(D_3), \end{align*} $$

implying

$$ \begin{align*} \pi_2^3(E_3)\subset\pi_2^4(E_4)\subset\pi_2^3(D_3) \end{align*} $$

since $\pi _2^3(E_3)=\omega (p_2,f_2^{m_4})$ , and $\pi _2^4(E_4)$ is $f_2^{m_4}$ -invariant. By (P2) and $p_2\in \pi _2^3(E_3)$ , we see that $\pi _2^3(q_1)\in \pi _2^3(E_3)$ and $p_2\in D_2\cap \pi _2^3(D_3)$ ; therefore,

$$ \begin{align*} \pi_2^3(q_1)\in\pi_2^3(E_3)\subset\pi_2^4(E_4)\subset\pi_2^3(D_3)\subset D_2. \end{align*} $$

By the maximality of $\pi _2^3(E_3)$ in Step 2, we obtain

(Q2) $$ \begin{align} \pi_2^3(E_3)=\pi_2^4(E_4)=\pi_2^3(D_3). \end{align} $$

Assertions (Q1) and (Q2) yield $\pi _1^2(D_2)=\pi _1^3(D_3)$ .

Step 4. Note that $(f_3^{m_4})|_{\pi _3^4(E_4)}$ is mixing, so $(f_3^{m_5})|_{\pi _3^4(E_4)}$ is transitive, and take a transitive point $p_3\in \pi _3^4(E_4)$ , that is, $\pi _3^4(E_4)=\omega (p_3,f_3^{m_5})$ . Since

$$ \begin{align*} p_3\in\pi_3^4(E_4)\subset\pi_3^4(X_4)=\pi_3^5(X_5), \end{align*} $$

we have $p_3=\pi _3^5(q_3)$ for some $q_3\in X_5$ . Take $D_4\in \mathcal {D}(f_4)$ with $\pi _4^5(q_3)\in D_4$ . Then choose $E_5\in \mathcal {D}(f_5)$ such that

(P4) $$ \begin{align} \pi_4^5(q_3)\in\pi_4^5(E_5)\subset D_4 \end{align} $$

and $\pi _4^5(E_5)$ is maximal among

$$ \begin{align*} \{\pi_4^5(F_5)\colon F_5\in\mathcal{D}(f_5),\pi_4^5(q_3)\in\pi_4^5(F_5)\subset D_4\} \end{align*} $$

with respect to the inclusion relation. By (P4), we have

$$ \begin{align*} p_3\in\pi_3^5(E_5)\subset\pi_3^4(D_4), \end{align*} $$

implying

$$ \begin{align*} \pi_3^4(E_4)\subset\pi_3^5(E_5)\subset\pi_3^4(D_4) \end{align*} $$

since $\pi _3^4(E_4)=\omega (p_3,f_3^{m_5})$ , and $\pi _3^5(E_5)$ is $f_3^{m_5}$ -invariant. By (P3) and $p_3\in \pi _3^4(E^4)$ , we see that $\pi _3^4(q_2)\in \pi _3^4(E_4)$ and $p_3\in D_3\cap \pi _3^4(D_4)$ ; therefore,

$$ \begin{align*} \pi_3^4(q_2)\in\pi_3^4(E_4)\subset\pi_3^5(E_5)\subset\pi_3^4(D_4)\subset D_3. \end{align*} $$

By the maximality of $\pi _3^4(E_4)$ in Step 3, we obtain

(Q3) $$ \begin{align} \pi_3^4(E_4)=\pi_3^5(E_5)=\pi_3^4(D_4). \end{align} $$

Assertions (Q2) and (Q3) yield $\pi _2^3(D_3)=\pi _2^4(D_4)$ .

Continuing inductively, we obtain a sequence $D_{\ast }=(D_n)_{n\ge 1}\in \prod _{n\ge 1}\mathcal {D}(f_n)$ . For any $n\ge 1$ , $\pi _n^{n+1}(D_{n+1})\subset D_n$ and $\pi _n^{n+1}(D_{n+1})=\pi _n^{n+2}(D_{n+2})$ are established in Steps $n+1$ and $n+2$ , respectively. Thus, $D_{\ast }\in \mathcal {D}_\pi $ , and

$$ \begin{align*} \tilde{\pi}=((\pi_n^{n+1})|_{D_{n+1}}\colon D_{n+1}\to D_n)_{n\ge1} \end{align*} $$

satisfies $\operatorname {MLC}(1)$ , completing the proof.

The next lemma relates the previous lemma to a method developed in [Reference Kawaguchi15]. Let $\pi =(\pi _n^{n+1}\colon (X_{n+1},f_{n+1})\to (X_n,f_n))_{n\ge 1}$ be an inverse sequence of equivariant maps with $\operatorname {MLC}(1)$ and let $(X,f)=\lim _\pi (X_n,f_n)$ . Suppose that $(X_n,f_n)$ , $n\ge 1$ , are transitive SFTs, and for $D_{\ast }=(D_n)_{n\ge 1}\in \mathcal {D}_\pi $ ,

$$ \begin{align*} \tilde{\pi}=((\pi_n^{n+1})|_{D_{n+1}}\colon D_{n+1}\to D_n)_{n\ge1} \end{align*} $$

satisfies $\operatorname {MLC}(1)$ . By Lemma 3.3, letting $D=[D_{\ast }]$ , we have $D\in \mathcal {D}(f)$ . Let d, $d_n$ , $n\ge 1$ , be the metrics on X, $X_n$ .

Lemma 5.2. For any $\epsilon>0$ , there is $\delta>0$ such that every $\delta $ -pseudo-orbit $(x^{(i)})_{i\ge 0}$ of f with $x^{(0)}\in D$ is $\epsilon $ -shadowed by some $x\in D$ .

Proof. Fix any $N>0$ and $\epsilon '>0$ . Note that $f_{N+1}\colon X_{N+1}\to X_{N+1}$ has the shadowing property, and $\mathcal {D}(f_{N+1})$ is a clopen partition of $X_{N+1}$ ; therefore, there is $\delta '>0$ such that, for any $E_{N+1}\in \mathcal {D}_{N+1}$ , every $\delta '$ -pseudo-orbit $(y_{N+1}^{(i)})_{i\ge 0}$ of $f_{N+1}$ with $y_{N+1}^{(0)}\in E_{N+1}$ is $\epsilon '$ -shadowed by some $y_{N+1}\in E_{N+1}$ .

If $\delta>0$ is small enough, then, for every $\delta $ -pseudo-orbit $\xi =(x^{(i)})_{i\ge 0}$ of f with $x^{(0)}\in D$ , $\xi _{N+1}=(x_{N+1}^{(i)})_{i\ge 0}$ is a $\delta '$ -pseudo-orbit of $f_{N+1}$ with $x_{N+1}^{(0)}\in D_{N+1}$ , which is $\epsilon '$ -shadowed by some $x_{N+1}\in D_{N+1}$ . Since

$$ \begin{align*} \pi_N^{N+1}(x_{N+1})\in\pi_N^{N+1}(D_{N+1})=\hat{D}_N \end{align*} $$

by $\operatorname {MLC}(1)$ of $\tilde {\pi }$ (see Lemma 2.1), there is $x=(x_n)_{n\ge 1}\in D=[D_{\ast }]$ such that $x_n=\pi _n^{N+1}(x_{N+1})$ for each $1\le n\le N$ . Then, for any $i\ge 0$ and $1\le n\le N$ , we have

$$ \begin{align*} \begin{aligned} d_n(f^i(x)_n,x_n^{(i)})&=d_n(f_n^i(x_n),x_n^{(i)})\\ &=d_n(f_n^i(\pi_n^{N+1}(x_{N+1})),\pi_n^{N+1}(x_{N+1}^{(i)}))\\ &=d_n(\pi_n^{N+1}(f_{N+1}^i(x_{N+1})),\pi_n^{N+1}(x_{N+1}^{(i)})) \end{aligned} \end{align*} $$

with $d_{N+1}(f_{N+1}^i(x_{N+1}),x_{N+1}^{(i)})\le \epsilon '$ . Therefore, for every $\epsilon>0$ , if N is large enough, and then $\epsilon '$ is sufficiently small, we have $d(f^i(x),x^{(i)})\le \epsilon $ for all $i\ge 0$ , that is, $\xi $ is $\epsilon $ -shadowed by $x\in D$ . Since $\xi $ is arbitrary, the lemma has been proved.

For the proof of Lemma 1.3, we need a sequence of lemmas. Let $f\colon X\to X$ be a chain transitive continuous map. For $\epsilon ,\delta>0$ , we denote by $\mathcal {D}^{\epsilon ,\delta }(f)$ the set of $D\in \mathcal {D}(f)$ for which every $\delta $ -pseudo-orbit $(x_i)_{i\ge 0}$ of f with $x_0\in D$ is $\epsilon $ -shadowed by some $x\in D$ . We set

$$ \begin{align*} \mathcal{D}_{\mathrm{sh}}(f)=\bigcap_{\epsilon>0}\bigcup_{\delta>0}\mathcal{D}^{\epsilon,\delta}(f). \end{align*} $$

Lemma 5.3. Let $f\colon X\to X$ be a chain transitive continuous map and let $\epsilon ,\delta>0$ . For any $D\in \mathcal {D}(f)$ , if $D\in \mathcal {D}^{\epsilon ,\delta }(f)$ , then $f(D)\in \mathcal {D}^{\epsilon ,\delta }(f)$ .

Proof. Let $D\in \mathcal {D}^{\epsilon ,\delta }(f)$ . For any $\delta $ -pseudo-orbit $\xi =(x_i)_{i\ge 0}$ of f with $x_0\in f(D)$ , take $y\in D$ with $f(y)=x_0$ and consider

$$ \begin{align*} (y,x_0,x_1,x_2,\ldots), \end{align*} $$

a $\delta $ -pseudo-orbit of f, which is $\epsilon $ -shadowed by $x\in D$ . Then $\xi $ is $\epsilon $ -shadowed by $f(x)\in f(D)$ . Since $\xi $ is arbitrary, we obtain $f(D)\in \mathcal {D}^{\epsilon ,\delta }(f)$ , proving the lemma.

Lemma 5.4. Let $f\colon X\to X$ be a chain transitive continuous map and let $\epsilon ,\gamma>0$ . If $\mathcal {D}_{\mathrm {sh}}(f)\cap \mathcal {D}^{\epsilon ,\gamma }(f)\ne \emptyset $ , then $\mathcal {D}(f)=\mathcal {D}^{\epsilon ,\delta }(f)$ holds for every $0<\delta <\gamma $ .

Proof. Fix $D_0\in \mathcal {D}_{\mathrm {sh}}(f)\cap \mathcal {D}^{\epsilon ,\gamma }(f)$ , $x\in D_0$ , and a sequence $0<\epsilon _1>\epsilon _2>\cdots \to 0$ . Since $D_0\in \mathcal {D}_{\mathrm {sh}}(f)$ , there is a sequence $0<\delta _1>\delta _2>\cdots \to 0$ such that $D_0\in \mathcal {D}^{\epsilon _n,\delta _n}(f)$ for every $n\ge 1$ . Given any $D\in \mathcal {D}(f)$ and any $\delta $ -pseudo-orbit $\xi =(x_i)_{i\ge 0}$ of f with $x_0\in D$ , since f is chain transitive, for every $n\ge 1$ , there is a $\delta _n$ -chain $(x_i^{(n)})_{i=0}^{k_n}$ of f with $x_0^{(n)}=x$ and $x_{k_n}^{(n)}=x_0$ . Then, for each $n\ge 1$ , because $D_0\in \mathcal {D}^{\epsilon _n,\delta _n}(f)$ and $x_0^{(n)}=x\in D_0$ , we have $x_n\in D_0$ with $d(f^i(x_n),x_i^{(n)})\le \epsilon _n$ for all $0\le i\le k_n$ . Since

$$ \begin{align*} d(f^{k_n}(x_n),x_0)=d(f^{k_n}(x_n),x_{k_n}^{(n)})\le\epsilon_n, \end{align*} $$

$n\ge 1$ , $\lim _{n\to \infty }\epsilon _n=0$ , and $\delta <\gamma $ , there exists $N>0$ such that for all $n\ge N$ ,

$$ \begin{align*} \xi_n=(f^{k_n}(x_n),x_1,x_2,\ldots) \end{align*} $$

is a $\gamma $ -pseudo-orbit of f with $f^{k_n}(x_n)\in f^{k_n}(D_0)$ . For any $n\ge N$ , because $D_0\in \mathcal {D}^{\epsilon ,\gamma }(f)$ , by Lemma 5.3, we have $f^{k_n}(D_0)\in \mathcal {D}^{\epsilon ,\gamma }(f)$ , so $\xi _n$ is $\epsilon $ -shadowed by some $y_n\in f^{k_n}(D_0)$ . Taking a sequence $N\le n_1<n_2<\cdots $ such that $\lim _{j\to \infty }y_{n_j}=y$ for some $y\in X$ , we easily see that $\xi $ is $\epsilon $ -shadowed by y. Note that, for each $n\ge N$ , $\{f^{k_n}(x_n),y_n\}\subset f^{k_n}(D_0)$ and so $f^{k_n}(x_n)\sim _f y_n$ . Because $\sim _f$ is closed in $X^2$ , by

$$ \begin{align*} \lim_{j\to\infty}(f^{k_{n_j}}(x_{n_j}),y_{n_j})=(x_0,y), \end{align*} $$

we obtain $x_0\sim _f y$ and thus $y\in D$ . In other words, $\xi $ is $\epsilon $ -shadowed by $y\in D$ . Since $\xi $ and then $D\in \mathcal {D}(f)$ are arbitrary, we conclude that $\mathcal {D}(f)=\mathcal {D}^{\epsilon ,\delta }(f)$ .

As a consequence of Lemma 5.4, we obtain the following corollary.

Corollary 5.1. For any chain transitive continuous map $f\colon X\to X$ , if $\mathcal {D}_{\mathrm {sh}}(f)\ne \emptyset $ , then $\mathcal {D}(f)=\mathcal {D}_{\mathrm {sh}}(f)$ .

The next lemma is needed for the proof of Lemma 5.6.

Lemma 5.5. Let $f\colon X\to X$ be a chain transitive continuous map and let $D\in \mathcal {D}(f)$ . If, for any $x\in D$ and $\epsilon>0$ , there is $\delta (x,\epsilon )>0$ such that every $\delta (x,\epsilon )$ -pseudo-orbit $(x_i)_{i\ge 0}$ of f with $x_0=x$ is $\epsilon $ -shadowed by some $y\in D$ , then $D\in \mathcal {D}_{\mathrm {sh}}(f)$ .

Proof. Fix $\epsilon>0$ and, for any $x\in D$ , take $\delta (x,\epsilon /2)>0$ as in the assumption. Then, for each $x\in D$ , there is $0<\delta (x)<\epsilon /2$ such that, for every $\delta (x)$ -pseudo-orbit $\xi =(x_i)_{i\ge 0}$ of f with $d(x,x_0)<\delta (x)$ ,

$$ \begin{align*} \xi'=(x,x_1,x_2,x_3,\ldots) \end{align*} $$

is a $\delta (x,\epsilon /2)$ -pseudo-orbit of f, $\epsilon /2$ -shadowed by some $y\in D$ . This clearly implies that $\xi $ is $\epsilon $ -shadowed by $y\in D$ . Take a finite subset $F\subset D$ such that

$$ \begin{align*} D\subset\bigcup_{x\in F}B_{\delta(x)}(x) \end{align*} $$

where $B_{\delta (x)}(x)$ denotes the $\delta (x)$ -ball. Let $\delta =\min \{\delta (x)\colon x\in F\}$ . It follows that every $\delta $ -pseudo-orbit $(x_i)_{i\ge 0}$ of f with $x_0\in D$ is a $\delta (x)$ -pseudo-orbit of f with $x_0\in B_{\delta (x)}(x)$ for some $x\in F$ , and so $\epsilon $ -shadowed by some $y\in D$ . Since $\epsilon>0$ is arbitrary, we obtain $D\in \mathcal {D}_{\mathrm {sh}}(f)$ , proving the lemma.

Lemma 5.6. Let $f\colon X\to X$ be a chain transitive continuous map with the shadowing property. Let Y be a compact metric space and let $g\colon Y\to Y$ be a chain transitive continuous map. If there is a factor map $\pi \colon (Y,g)\to (X,f)$ , and if $\mathcal {D}_{\mathrm {sh}}(g)\ne \emptyset $ , then $\mathcal {D}_{\mathrm {sh}}(f)\ne \emptyset $ .

Proof. Fix $D\in \mathcal {D}(f)$ . By Lemma 5.5, it suffices to show that, for any $x\in D$ and $\epsilon>0$ , there exists $\delta>0$ such that every $\delta $ -pseudo-orbit $(x_i)_{i\ge 0}$ of f with $x_0=x$ is $\epsilon $ -shadowed by some $q\in D$ , because this implies $D\in \mathcal {D}_{\mathrm {sh}}(f)$ .

Let $d_Y$ denote the metric on Y. For any $\epsilon '>0$ , Lemma 5.4 with $\mathcal {D}_{\mathrm {sh}}(g)\ne \emptyset $ implies $\mathcal {D}(g)=\mathcal {D}^{\epsilon ',\delta '}(g)$ for some $\delta '>0$ . For any $\gamma>0$ , take $0<\epsilon ''<\epsilon /2$ such that $d(x,y)\le \epsilon ''$ implies

$$ \begin{align*} \pi^{-1}(y)\subset B_\gamma(\pi^{-1}(x))=\{z\in Y\colon d_Y(z,\pi^{-1}(x))<\gamma\} \end{align*} $$

for all $y\in X$ . Since f has the shadowing property, there is $\delta>0$ such that every $\delta $ -pseudo-orbit $\xi =(x_i)_{i\ge 0}$ of f with $x_0=x$ is $\epsilon ''$ -shadowed by some $y\in X$ . Take $z\in \pi ^{-1}(y)$ and note that $d(x,y)=d(x_0,y)\le \epsilon ''$ . By the choice of $\epsilon ''$ , we obtain $w\in \pi ^{-1}(x)$ such that $d_Y(z,w)<\gamma $ . If $\gamma $ is sufficiently small, then

$$ \begin{align*} \xi'=(y_i)_{i\ge0}=(w,g(z),g^2(z),g^3(z),\ldots) \end{align*} $$

is a $\delta '$ -pseudo-orbit of g. By $\mathcal {D}(g)=\mathcal {D}^{\epsilon ',\delta '}(g)$ , $\xi '$ is $\epsilon '$ -shadowed by some $p\in Y$ with $w\sim _g p$ . Here, $w\sim _g p$ implies $\pi (w)\sim _f \pi (p)$ , so, putting $q=\pi (p)$ , we have $x\sim _f q$ , that is, $q\in D$ . Note that

$$ \begin{align*} d(q,x_0)=d(q,x)=d(\pi(p),\pi(w))=d(\pi(p),\pi(y_0)), \end{align*} $$

and

$$ \begin{align*} d(f^i(q),x_i)&\le d(f^i(q),f^i(y))+d(f^i(y),x_i)\\ &=d(f^i(\pi(p)),f^i(\pi(z)))+d(f^i(y),x_i)\\ &=d(\pi(g^i(p)),\pi(g^i(z)))+d(f^i(y),x_i)\\ &=d(\pi(g^i(p)),\pi(y_i))+d(f^i(y),x_i)\\ &\le d(\pi(g^i(p)),\pi(y_i))+\epsilon'' \\ &<d(\pi(g^i(p)),\pi(y_i))+\epsilon/2 \end{align*} $$

for each $i\ge 1$ . Since $\xi '$ is $\epsilon '$ -shadowed by p, we have $d_Y(g^i(p),y_i)\le \epsilon '$ , $i\ge 0$ , so if $\epsilon '$ is sufficiently small, then $d(f^i(q),x_i)\le \epsilon $ for all $i\ge 0$ , that is, $\xi $ is $\epsilon $ -shadowed by $q\in D$ . Since $\xi $ is arbitrary, this shows the existence of $\delta $ , and thus the lemma has been proved.

For any chain transitive continuous map $f\colon X\to X$ , we denote by $T(f)$ the set of transitive points for f:

$$ \begin{align*} T(f)=\{x\in X\colon X=\omega(x,f)\} \end{align*} $$

where $\omega (\cdot ,f)$ denotes the $\omega $ -limit set.

Lemma 5.7. Let $f\colon X\to X$ be a chain transitive continuous map. For any $D\in \mathcal {D}(f)$ , if $D\in \mathcal {D}_{\mathrm {sh}}(f)$ , then $D\cap T(f)$ is a dense $G_\delta $ -subset of D.

Proof. Let $\{U_n\colon n\ge 1\}$ be a countable basis for the topology of X. Then

$$ \begin{align*} D\cap T(f)=\bigcap_{n\ge1}\bigcap_{j\ge0}\bigg[D\cap\bigcup_{k\ge j}f^{-k}(U_n)\bigg], \end{align*} $$

a $G_\delta $ -subset of D. For any $n\ge 1$ , take $p_n\in U_n$ and $\epsilon _n>0$ such that

$$ \begin{align*} B_{\epsilon_n}(p_n)=\{y\in X\colon d(p_n,y)<\epsilon_n\}\subset U_n. \end{align*} $$

Let $n\ge 1$ and $j\ge 0$ . For any $x\in D$ and $0<\epsilon <\epsilon _n$ , since $D\in \mathcal {D}_{\mathrm {sh}}(f)$ , we have $D\in \mathcal {D}^{\epsilon ,\delta }(f)$ for some $\delta>0$ . Then the chain transitivity of f gives a $\delta $ -chain $(x_i)_{i=0}^k$ of f with $x_0=x$ , $x_k=p_n$ , and also $k\ge j$ . By $x\in D$ and $D\in \mathcal {D}^{\epsilon ,\delta }(f)$ , we obtain $d(f^i(y),x_i)\le \epsilon $ for all $0\le i\le k$ for some $y\in D$ . Note that $d(y,x)=d(y,x_0)\le \epsilon $ , $d(f^k(y),p_n)=d(f^k(y),x_k)\le \epsilon <\epsilon _n$ , and so $f^k(y)\in U_n$ , implying

$$ \begin{align*} y\in D\cap\bigcup_{k\ge j}f^{-k}(U_n). \end{align*} $$

Since $x\in D$ and $0<\epsilon <\epsilon _n$ are arbitrary, this shows that

$$ \begin{align*} D\cap\bigcup_{k\ge j}f^{-k}(U_n) \end{align*} $$

is dense in D. Since $n\ge 1$ and $j\ge 0$ are arbitrary, we conclude that $D\cap T(f)$ is a dense $G_\delta $ -subset of D, completing the proof.

To prove Lemma 1.3, we use the method in [Reference Kawaguchi15]. The next lemma is a modification of [Reference Kawaguchi15, Lemma 2.6].

Lemma 5.8. Let $f\colon X\to X$ be a chain transitive continuous map and let $D\in \mathcal {D}(f)$ . If $D\in \mathcal {D}_{\mathrm {sh}}(f)$ , then, for any $y,z\in D$ and $\epsilon>0$ , there is $w\in D$ such that $d(z,w)\le \epsilon $ and $\limsup _{k\to \infty }d(f^k(y),f^k(w))\le \epsilon $ .

Proof. Given any $\epsilon>0$ , take $\delta>0$ so small that $D\in \mathcal {D}^{\epsilon ,\delta }(f)$ . For this $\delta $ , choose $N>0$ as in property (3) of $\sim _{f,\delta }$ (see §2.2.3). Note that $y,z\in D$ implies $y\sim _f z$ and so $y\sim _{f,\delta }z$ . Since $y\sim _{f,\delta }f^{mN}(y)$ , we have $z\sim _{f,\delta }f^{mN}(y)$ . Then the choice of N gives a $\delta $ -chain $\alpha =(y_i)_{i=0}^{mN}$ of f with $y_0=z$ and $y_{mN}=f^{mN}(y)$ . Let

$$ \begin{align*} \beta=(f^{mN}(y),f^{mN+1}(y),\ldots) \end{align*} $$

and $\xi =\alpha \beta =(x_i)_{i\ge 0}$ . Then $\xi $ is a $\delta $ -pseudo-orbit of f with $x_0=z\in D$ , so is $\epsilon $ -shadowed by some $w\in D$ . Note that $d(z,w)=d(x_0,w)\le \epsilon $ . Also, we have

$$ \begin{align*} d(f^i(y),f^i(w))=d(x_i,f^i(w))\le\epsilon \end{align*} $$

for every $i\ge mN$ , so $\limsup _{k\to \infty }d(f^k(y),f^k(w))\le \epsilon $ . This completes the proof.

Let $f\colon X\to X$ be a continuous map. For $n\ge 2$ and $r>0$ , we say that an n-tuple $(x_1,x_2,\ldots ,x_n)\in X^n$ is r-distal if

$$ \begin{align*} \inf_{k\ge0}\min_{1\le i<j\le n}d(f^k(x_i),f^k(x_j))\ge r. \end{align*} $$

Then the following lemma is a consequence of [Reference Kawaguchi15, Lemmas 2.4 and 2.5].

Lemma 5.9. Suppose that a continuous map $f\colon X\to X$ is chain transitive and has the shadowing property. If $h_{\mathrm {top}}(f)>0$ , then, for any $n\ge 2$ , there is $r_n>0$ such that, for every $D\in \mathcal {D}(f)$ , there is an $r_n$ -distal n-tuple $(x_1,x_2,\ldots ,x_n)\in X^n$ with $\{x_1,x_2,\ldots ,x_n\}\subset D$ .

We recall a simplified version of Mycielski’s theorem [Reference Mycielski27, Theorem 1]. A topological space is said to be perfect if it has no isolated point.

Lemma 5.10. Let X be a perfect complete metric space. If $R_n$ is a residual subset of $X^n$ for each $n\ge 2$ , then there is a Mycielski set S which is dense in X and satisfies $(x_1,x_2,\ldots ,x_n)\in R_n$ for any $n\ge 2$ and distinct $x_1,x_2,\ldots ,x_n\in S$ .

Finally, we complete the proof of Lemma 1.3.

Proof of Lemma 1.3

Due to Lemmas 1.2 and 2.4, $(Y,g)$ is topologically conjugate to $(Z,h)=\lim _{\pi }(X_j,f_j)$ where $(X_j,f_j)$ , $j\ge 1$ , are SFTs, and

$$ \begin{align*} \pi=(\pi_j^{j+1}\colon(X_{j+1},f_{j+1})\to(X_j,f_j))_{j\ge1} \end{align*} $$

is an inverse sequence of equivariant maps with $\operatorname {MLC}(1)$ . Since g is transitive and so is h, we have $Z\in \mathcal {C}(h)$ , so by Lemma 3.2, $Z=[C_{\ast }]$ for some $C_{\ast }=(C_j)_{j\ge 1}\in \mathcal {C}_\pi $ . Then any $z=(x_j)_{j\ge 1}\in Z$ satisfies $x_j\in C_j$ for all $j\ge 1$ , and $(Z,h)$ is topologically conjugate to $\lim _{\pi '}(C_j,(f_j)|_{C_j})$ , where

$$ \begin{align*} \pi'=((\pi_j^{j+1})|_{C_{j+1}}\colon(C_{j+1},(f_{j+1})|_{C_{j+1}})\to(C_j,(f_j)|_{C_j}))_{j\ge1}. \end{align*} $$

Note that $(C_j,(f_j)|_{C_j})$ , $j\ge 1$ , are transitive SFTs, and by Lemma 3.4, $\pi '$ satisfies $\operatorname {MLC}(1)$ ; therefore, without loss of generality, we may assume that $f_j$ is transitive for every $j\ge 1$ . Then, by Lemma 5.1, there is $D_{\ast }=(D_j)_{j\ge 1}\in \mathcal {D}_\pi $ such that

$$ \begin{align*} \tilde{\pi}=((\pi_j^{j+1})|_{D_{j+1}}\colon D_{j+1}\to D_j)_{j\ge1} \end{align*} $$

satisfies $\operatorname {MLC}(1)$ . Letting $E=[D_{\ast }]\in \mathcal {D}(h)$ , by Lemma 5.2, we see that $E\in \mathcal {D}_{\mathrm {sh}}(h)$ , which implies $\mathcal {D}_{\mathrm {sh}}(h)\ne \emptyset $ and so $\mathcal {D}_{\mathrm {sh}}(g)\ne \emptyset $ . From Lemma 5.6 and Corollary 5.1, it follows that $\mathcal {D}(f)=\mathcal {D}_{\mathrm {sh}}(f)$ . For any $D\in \mathcal {D}(f)$ , since $D\in \mathcal {D}_{\mathrm {sh}}(f)$ , D satisfies the conclusions of Lemmas 5.7 and 5.8. Note that the conclusion of Lemma 5.9 is also satisfied. Similarly to the proof of [Reference Kawaguchi15, Theorem 1.1], it can be shown that there exists a sequence of positive numbers $(\delta _n)_{n\ge 2}$ for which

$$ \begin{align*} D^n\cap[T(f)^n\cap\mathrm{DC1}_n^{\delta_n}(X,f)] \end{align*} $$

is a residual subset of $D^n$ for all $D\in \mathcal {D}(f)$ and $n\ge 2$ . By Lemma 5.10, we conclude that every $D\in \mathcal {D}(f)$ contains a dense Mycielski subset S which is included in $T(f)$ and distributionally n- $\delta _n$ -scrambled for all $n\ge 2$ , completing the proof.

6 A remark on the chain components under shadowing

Given any continuous map $f\colon X\to X$ , $\mathcal {C}(f)$ can be seen as a quotient space of $\operatorname {CR}(f)$ with respect to the closed $(f\times f)$ -invariant equivalence relation $\leftrightarrow _f$ in $\operatorname {CR}(f)^2$ . Then $\mathcal {C}(f)=\operatorname {CR}(f)/\leftrightarrow _f$ is a compact metric space.

In the case of $\dim {X}=0$ , if f has the shadowing property, then by Lemmas 1.2 and 2.4, $(X,f)$ is topologically conjugate to $\lim _\pi (X_n,f_n)$ , where $(X_n,f_n)$ , $n\ge 1$ , are SFTs, and

$$ \begin{align*} \pi=(\pi_n^{n+1}\colon(X_{n+1},f_{n+1})\to(X_n,f_n))_{n\ge1} \end{align*} $$

is an inverse sequence of equivariant maps with $\operatorname {MLC}(1)$ . Without loss of generality, we consider the case where $(X,f)=\lim _\pi (X_n,f_n)$ . For any $C\in \mathcal {C}(f)$ , by Lemma 3.2, we have $C=[C_{\ast }]$ for some $C_{\ast }=(C_n)_{n\ge 1}\in \mathcal {C}_\pi $ . As in the proof of Lemma 4.1, it can be shown that for each $N>0$ , there is $C^{\prime }_{\ast }=(C^{\prime }_m)_{m\ge N}\in \prod _{m\ge N}\mathcal {C}(f_m)$ with the following properties:

  1. (1) $C^{\prime }_N=C_N$ ;

  2. (2) $\pi _m^{m+1}(C^{\prime }_{m+1})\subset C^{\prime }_m$ for every $m\ge N$ ;

  3. (3) $\pi _m^{m+1}(C^{\prime }_{m+1})=\pi _m^{m+2}(C^{\prime }_{m+2})$ for all $m\ge N$ .

Define $C^{\prime \prime }_{\ast }=(C^{\prime \prime }_n)_{n\ge 1}\in \prod _{n\ge 1}\mathcal {C}(f_n)$ by

$$ \begin{align*} C^{\prime\prime}_n= \begin{cases} C_n&\text{if } 1\le n<N,\\ C^{\prime}_n&\text{if } N\le n. \end{cases} \end{align*} $$

Properties (1) and (2) ensure $C^{\prime \prime }_{\ast }\in \mathcal {C}_\pi $ . By Lemma 3.2, letting $C''=[C^{\prime \prime }_{\ast }]$ , we obtain $C''\in \mathcal {C}(f)$ , and by property (3), similarly to the proof of Lemma 4.1, it can be seen that $f|_{C''}\colon C''\to C''$ has the shadowing property. Note that for any neighborhood U of C in $\operatorname {CR}(f)$ , by property (1) above, if N is sufficiently large, then $C''\subset U$ . Thus, letting

$$ \begin{align*} \mathcal{C}_{\mathrm{sh}}(f)=\{C\in\mathcal{C}(f)\colon f|_C \text{ has the shadowing property}\}, \end{align*} $$

we conclude that $\mathcal {C}_{\mathrm {sh}}(f)$ is dense in $\mathcal {C}(f)$ . In other words, we obtain the following theorem.

Theorem 6.1. Let $f\colon X\to X$ be a continuous map with the shadowing property. If $\dim {X}=0$ , then $\mathcal {C}(f)=\overline {\mathcal {C}_{\mathrm {sh}}(f)}$ .

This theorem gives a positive answer to a question by Moothathu [Reference Moothathu26] in the zero-dimensional case. Note that, for any $C\in \mathcal {C}_{\mathrm {sh}}(f)$ , by the shadowing property of $f|_C$ , we have $C=\overline {M(f|_C)}$ , where $M(f|_C)$ denotes the set of minimal points for $f|_C$ (see [Reference Moothathu26] for details).

As a complement to Theorem 6.1, we give an example of a continuous map $f\colon X\to X$ with the following properties:

  1. (1) X is a Cantor space;

  2. (2) f has the shadowing property;

  3. (3) $\mathcal {C}(f)$ is a Cantor space;

  4. (4) $\mathcal {C}_{\mathrm {sh}}(f)$ is a countable set and so is a meager subset of $\mathcal {C}(f)$ .

Example 6.1. For any closed interval $I=[a,b]$ and $c\in (0,1/2)$ , let $\hat {I}=\{a,b\}$ , $I_c^{(0)}=[a,a+c(b-a)]$ , and $I_c^{(1)}=[b-c(b-a),b]$ . Let $(c_j)_{j\ge 1}$ be a sequence of positive numbers with $1/2>c_1>c_2>\cdots $ . For any $s=(s_j)_{j\ge 1}\in \{0,1\}^{\mathbb {N}}$ , let

$$ \begin{align*} i(s)=\bigcap_{j\ge0}I(s,j), \end{align*} $$

where $I(s,j)$ is defined by $I(s,0)=[0,1]$ , and $I(s,j+1)=I(s,j)_{c_{j+1}}^{(s_{j+1})}$ for every $j\ge 0$ . Let

$$ \begin{align*} C=\{i(s)\colon s\in\{0,1\}^{\mathbb{N}}\}\subset[0,1] \end{align*} $$

and note that $i\colon \{0,1\}^{\mathbb {N}}\to C$ is a homeomorphism, so C is a Cantor space. For any $j\ge 1$ , let

$$ \begin{align*} \hat{I}_j=\bigcup_{s\in\{0,1\}^{\mathbb{N}}}[I(s,j)]^{\hat{}} \end{align*} $$

and note that $\hat {I}_1\subset \hat {I}_2\subset \cdots $ . Also, let $A_1=\hat {I}_1$ , $A_{j+1}=\hat {I}_{j+1}\setminus \hat {I}_j$ , $j\ge 1$ , and

$$ \begin{align*} A=\bigsqcup_{j\ge1}A_j\subset C. \end{align*} $$

Let $\sigma \colon \{0,1\}^{\mathbb {N}}\to \{0,1\}^{\mathbb {N}}$ be the shift map. For each $k\ge 1$ , define

$$ \begin{align*} \Sigma_k&=\{x=(x_i)_{i\ge1}\in\{0,1\}^{\mathbb{N}}\colon\text{ for all } i\ge1,\text{ for all } j\in\{i+1,\ldots,i+k\},\\ &\quad \ x_i=1\Rightarrow x_j=0\}, \end{align*} $$

which is a mixing SFT, so $\sigma |_{\Sigma _k}\colon \Sigma _k\to \Sigma _k$ has the shadowing property. Note that $\Sigma _1\supset \Sigma _2\supset \cdots $ and consider

$$ \begin{align*} \Sigma_\infty=\bigcap_{k\ge1}\Sigma_k=\{0^\infty,10^\infty\}\cup\{0^m10^\infty\colon m\ge1\}. \end{align*} $$

Then it is easily seen that $\sigma |_{\Sigma _\infty }\colon \Sigma _\infty \to \Sigma _\infty $ does not have the shadowing property. Let $\hat {\Sigma }_k=i(\Sigma _k)$ , $k\ge 1$ , and $\hat {\Sigma }_\infty =i(\Sigma _\infty )$ ; here, $i\colon \{0,1\}^{\mathbb {N}}\to C$ is the homeomorphism defined above. Let

$$ \begin{align*} X=[(C\setminus A)\times\hat{\Sigma}_\infty]\sqcup\bigsqcup_{k\ge1}[A_k\times\hat{\Sigma}_k], \end{align*} $$

which is a perfect compact subset of $C\times C$ and so is a Cantor space.

Let $\hat {\sigma }=i\circ \sigma \circ i^{-1}\colon C\to C$ and

$$ \begin{align*} f=(\mathrm{id}_{C}\times\hat{\sigma})|_X\colon X\to X. \end{align*} $$

To ensure the shadowing property of f, we define a sequence of positive numbers $(c_j)_{j\ge 1}$ with $1/2>c_1>c_2>\cdots $ as follows. Fix a sequence of positive numbers $(\epsilon _k)_{k\ge 1}$ with $\lim _{k\to \infty }\epsilon _k=0$ . Denote by $\pi \colon X\to C$ the projection onto the first coordinate. Let

$$ \begin{align*} B_k=\bigsqcup_{j=1}^k A_j, \end{align*} $$

$k\ge 1$ . For each $k\ge 1$ , since $\pi ^{-1}(B_k)$ is a finite disjoint union of SFTs,

$$ \begin{align*} f|_{\pi^{-1}(B_k)}\colon\pi^{-1}(B_k)\to\pi^{-1}(B_k) \end{align*} $$

has the shadowing property, implying the existence of $\delta ^{\prime }_k>0$ such that every $\delta ^{\prime }_k$ -pseudo-orbit $(x_i)_{i\ge 0}$ of $f|_{\pi ^{-1}(B_k)}$ is $\epsilon _k/2$ -shadowed by some $x\in \pi ^{-1}(B_k)$ . Fix any $c_1\in (0,1/2)$ and assume that $c_k$ , $k\ge 1$ , is given. For any $\delta _k\in (0,\epsilon _k/2)$ , if $c_{k+1}\in (0,c_k)$ is small enough, then X is contained in the $\delta _k$ -neighborhood of $\pi ^{-1}(B_k)$ . Then, for every $\delta _k$ -pseudo-orbit $(y_i)_{i\ge 0}$ of f, we have

$$ \begin{align*} d(x_i,y_i)=\inf\{d(y_i,z_i)\colon z_i\in\pi^{-1}(B_k)\}\le\delta_k \end{align*} $$

for all $i\ge 0$ for some $x_i\in \pi ^{-1}(B_k)$ . Since

$$ \begin{align*} d(f(x_i),x_{i+1})\le d(f(x_i),f(y_i))+d(f(y_i),y_{i+1})+d(y_{i+1},x_{i+1}) \end{align*} $$

for every $i\ge 0$ , if $\delta _k$ is small enough, then $(x_i)_{i\ge 0}$ is a $\delta ^{\prime }_k$ -pseudo-orbit of $f|_{\pi ^{-1}(B_k)}$ , $\epsilon _k/2$ -shadowed by some $x\in \pi ^{-1}(B_k)$ . This implies

$$ \begin{align*} d(f^i(x),y_i)\le d(f^i(x),x_i)+d(x_i,y_i)\le\epsilon_k/2+\epsilon_k/2=\epsilon_k \end{align*} $$

for all $i\ge 0$ , that is, $(y_i)_{i\ge 0}$ is $\epsilon _k$ -shadowed by x. By defining $(c_j)_{j\ge 1}$ in this way, we conclude that f has the shadowing property.

Note that $X=\operatorname {CR}(f)$ and

$$ \begin{align*} \mathcal{C}_{\mathrm{sh}}(f)=\{\pi^{-1}(u)\colon u\in A\}, \end{align*} $$

which is a countable set. It remains to show that $\mathcal {C}(f)$ is a Cantor space. Let $\pi _{\leftrightarrow _f}\colon X\to \mathcal {C}(f)$ be the quotient map. For any $x,y\in X$ , we easily see that $x\leftrightarrow _f y$ if and only if $\pi (x)=\pi (y)$ . This implies that there is a continuous map $h\colon \mathcal {C}(f)\to C$ with $\pi =h\circ \pi _{\leftrightarrow _f}$ , which is bijective and so is a homeomorphism. Thus, $\mathcal {C}(f)$ is a Cantor space.

Acknowledgements

The author would like to thank the anonymous reviewer for helpful comments and suggestions. The author is a JSPS Research Fellow. This work was supported by JSPS KAKENHI grant number JP20J01143.

References

Akin, E., Glasner, E. and Weiss, B.. Generically there is but one self homeomorphism of the Cantor set. Trans. Amer. Math. Soc. 360 (2008), 36133630.CrossRefGoogle Scholar
Akin, E., Hurley, M. and Kennedy, J.. Dynamics of topologically generic homeomorphisms. Mem. Amer. Math. Soc. 164 (2003), 783.Google Scholar
Aoki, N. and Hiraide, K.. Topological Theory of Dynamical Systems: Recent Advances. (North-Holland Mathematical Library, 52). North-Holland, Amsterdam, 1994.Google Scholar
Balibrea, F. and Smítal, J.. Strong distributional chaos and minimal sets. Topology Appl. 156 (2009), 16731678.CrossRefGoogle Scholar
Bernardes, N. C. Jr. and Darji, U. B.. Graph theoretic structure of maps of the Cantor space. Adv. Math. 231 (2012), 16551680.CrossRefGoogle Scholar
Blanchard, F., Glasner, E., Kolyada, S. and Maass, A.. On Li–Yorke pairs. J. Reine Angew. Math. 547 (2002), 5168.Google Scholar
Downarowicz, T.. Survey of odometers and Toeplitz flows. Algebraic and Topological Dynamics (Contemporary Mathematics, 385). Eds Kolyada, S., Manin, Y. and Ward, T.. American Mathematical Society, Providence, RI, 2005, pp. 737.CrossRefGoogle Scholar
Downarowicz, T.. Positive topological entropy implies chaos DC2. Proc. Amer. Math. Soc. 142 (2014), 137149.CrossRefGoogle Scholar
Glasner, E. and Weiss, B.. The topological Rohlin property and topological entropy. Amer. J. Math. 123 (2001), 10551070.CrossRefGoogle Scholar
Good, C. and Meddaugh, J.. Shifts of finite type as fundamental objects in the theory of shadowing. Invent. Math. 220 (2020), 715736.CrossRefGoogle Scholar
Guihéneuf, P. A. and Lefeuvre, T.. On the genericity of the shadowing property for conservative homeomorphisms. Proc. Amer. Math. Soc. 146 (2018), 42254237.CrossRefGoogle Scholar
Huang, W., Li, H. and Ye, X.. Family-independence for topological and measurable dynamics. Trans. Amer. Math. Soc. 364 (2012), 52095245.CrossRefGoogle Scholar
Huang, W., Li, J. and Ye, X.. Stable sets and mean Li–Yorke chaos in positive entropy systems. J. Funct. Anal. 266 (2014), 33773394.CrossRefGoogle Scholar
Kawaguchi, N.. Distributionally chaotic maps are ${C}^0$ -dense. Proc. Amer. Math. Soc. 147 (2019), 53395348.CrossRefGoogle Scholar
Kawaguchi, N.. A type of shadowing and distributional chaos. Dyn. Syst., to appear; doi:10.1080/14689367.2021.1957083.CrossRefGoogle Scholar
Kechris, A. S. and Rosendal, C.. Turbulence, amalgamation, and generic automorphisms of homogeneous structures. Proc. Lond. Math. Soc. (3) 94 (2007), 302350.CrossRefGoogle Scholar
Kościelniak, P., Mazur, M., Oprocha, P. and Kubica, Ł.. Shadowing is generic on various one-dimensional continua with a special geometric structure. J. Geom. Anal. 30 (2020), 18361864.CrossRefGoogle Scholar
Krupski, P., Omiljanowski, K. and Ungeheuer, K.. Chain recurrent sets of generic mappings on compact spaces. Topology Appl. 202 (2016), 251268.CrossRefGoogle Scholar
Kwietniak, D.. Topological entropy and distributional chaos in hereditary shifts with applications to spacing shifts and beta shifts. Discrete Contin. Dyn. Syst. 33 (2013), 24512467.CrossRefGoogle Scholar
Kwietniak, D., Łącka, M. and Oprocha, P.. A panorama of specification-like properties and their consequences. Dynamics and Numbers (Contemporary Mathematics, 669). Eds Kolyada, S., Möller, M., Moree, P. and Ward, T.. American Mathematical Society, Providence, RI, 2016, pp. 155186.CrossRefGoogle Scholar
Li, J., Li, J. and Tu, S.. Devaney chaos plus shadowing implies distributional chaos. Chaos 26 (2016), 093103, 6 p.CrossRefGoogle ScholarPubMed
Li, J. and Oprocha, P.. On $n$ -scrambled tuples and distributional chaos in a sequence. J. Difference Equ. Appl. 19 (2013), 927941.CrossRefGoogle Scholar
Li, T. Y. and Yorke, J. A.. Period three implies chaos. Amer. Math. Monthly 82 (1975), 985992.CrossRefGoogle Scholar
Mazur, M. and Oprocha, P.. S-limit shadowing is ${C}^0$ -dense. J. Math. Anal. Appl. 408 (2013), 465475.CrossRefGoogle Scholar
Mazur, M. and Oprocha, P.. Subshifts, rotations and the specification property. Topol. Methods Nonlinear Anal. 46 (2015), 799812.Google Scholar
Moothathu, T. K. S.. Implications of pseudo-orbit tracing property for continuous maps on compacta. Topology Appl. 158 (2011), 22322239.CrossRefGoogle Scholar
Mycielski, J.. Independent sets in topological algebras. Fund. Math. 55 (1964), 139147.CrossRefGoogle Scholar
Oprocha, P.. Specification properties and dense distributional chaos. Discrete Contin. Dyn. Syst. 17 (2007), 821833.CrossRefGoogle Scholar
Oprocha, P.. Distributional chaos revisited. Trans. Amer. Math. Soc. 361 (2009), 49014925.CrossRefGoogle Scholar
Oprocha, P.. Families, filters and chaos. Bull. Lond. Math. Soc. 42 (2010), 713725.CrossRefGoogle Scholar
Pikuła, R.. On some notions of chaos in dimension zero. Colloq. Math. 107 (2007), 167177.CrossRefGoogle Scholar
Pilyugin, S. Y. and Plamenevskaya, O. B.. Shadowing is generic. Topology Appl. 97 (1999), 253266.CrossRefGoogle Scholar
Richeson, D. and Wiseman, J.. Chain recurrence rates and topological entropy. Topology Appl. 156 (2008), 251261.CrossRefGoogle Scholar
Ruette, S.. Chaos on the Interval (University Lecture Series, 67). American Mathematical Society, Providence, RI, 2017.CrossRefGoogle Scholar
Schweizer, B. and Smítal, J.. Measures of chaos and a spectral decomposition of dynamical systems on the interval. Trans. Amer. Math. Soc. 344 (1994), 737754.CrossRefGoogle Scholar
Smítal, J.. Chaotic functions with zero topological entropy. Trans. Amer. Math. Soc. 297 (1986), 269282.CrossRefGoogle Scholar
Tan, F. and Fu, H.. On distributional $n$ -chaos. Acta Math. Sci. 34 (2014), 14731480.CrossRefGoogle Scholar
Walters, P.. An Introduction to Ergodic Theory (Graduate Texts in Mathematics, 79). Springer, New York, 1982.CrossRefGoogle Scholar
Xiong, J.. A chaotic map with topological entropy zero. Acta Math. Sci. 6 (1986), 439443.CrossRefGoogle Scholar
Yano, K.. A remark on the topological entropy of homeomorphisms. Invent. Math. 59 (1980), 215220.CrossRefGoogle Scholar