Countably Expansiveness for Continuous Dynamical Systems

: Expansiveness is very closely related to the stability theory of the dynamical systems. It is natural to consider various types of expansiveness such as countably-expansive, measure expansive, N -expansive, and so on. In this article, we introduce the new concept of countably expansiveness for continuous dynamical systems on a compact connected smooth manifold M by using the dense set D of M , which is di ﬀ erent from the weak expansive ﬂows. We establish some examples having the countably expansive property, and we prove that if a vector ﬁeld X of M is C 1 stably countably expansive then it is quasi-Anosov.

In among the notions, a remarkable notion is measure expansiveness (which was introduced by Morales [2]). It is exactly same as countably expansiveness (see [3]). That is, Artigue and Carrasco-Olivera [3] considered a relationship between the measure expansiveness and the countably expansiveness.
Let M be a compact connected smooth manifold, and let Diff 1 (M) be the space of diffeomorphisms of M endowed with the C 1 topology. Denote by d the distance on M induced from a Riemannian metric · on the tangent bundle TM. In dynamical systems, the concept of expansiveness [1] is a useful notion for studying stability theory. In fact, Mañé [4] showed that if a diffeomorphism f of M is C 1 stably expansive then it is quasi-Anosov. Here, we say that f is quasi-Anosov if, for all v ∈ TM \ {0}, the set { D f n (v) : n ∈ Z} is unbounded.
Later, many mathematicians studied stability theory using the various types of expansiveness [5][6][7][8]. For instance, Moriaysu, Sakai, and Yamamoto [8] showed that if a diffeomorphism f of M is C 1 stably measure expansive then it is quasi-Anosov. The result is a generalization of the result of Mañé [4].
On the other hand, it is very important to extend from diffeomorphisms to vector fields (flows). In fact, many researchers studied the various aspects of flows, such as thermodynamics-Hamiltonian systems [9], nonlinear systems [10], and chaos systems [11,12].
From the result of [4], Moriyasu, Sakai, and Sun [7] extended expansive diffeomorphisms to vector fields about the C 1 stably point of view. That is, they showed that if a vector field X is C 1 stably expansive then it is quasi-Anosov. Lee and Oh [5] showed that if a vector field X is C 1 stably measure expansive then it is quasi-Anosov (We refer to the basic definitions related to the vector fields below.).
In this article, we introduce another type of countably expansive vector fields which is different than weak expansiveness in [6]. In addition, we establish some examples of the countably expansiveness for homeomorphisms and flows, such as shift map and suspension flow by applying the rotation map on the circle. Moreover, we prove that if a vector field X of a compact connected manifold M is C 1 stably countably expansive, then it is quasi-Anosov which is a general result of Moriyasu, Sakai, and Sun [7]. Furthermore, we have that if a vector field X of a compact connected manifold M is C 1 stably expansive, weak expansive, and countably expansive then it is quasi-Anosov.

Countably Expansiveness for Suspension Flows
In this paper, we focus on countably expansiveness which is defined as the following remark.

Remark 2.
In general, according to the Baire Category Theorem, there is a dense subset in a compact metric space X. Especially, we consider a dense subset to define the countably expansiveness on this space X.

Definition 4.
We say that a homeomphism f : X → X is countably expansive if there is δ > 0 such that for all is countable, where A is the closure of A.

Example 1.
Assume that X is a separable space and f : X → X is a homeomorphism. Then, it is clear that f is "countable expansive" (according to Definition 4).
Example 2. Let f : S 1 → S 1 be an irrational rotation map. For all x ∈ S 1 , we consider the set where Q is the rational numbers. Then, it is clear that is not a finite set. Therefore, the map is neither expansive nor N-expansive.
Symbolic systems can be used to "code" some smooth systems. Indeed, to study of symbolic dynamics is the research of a specific class of the shift transformation in a sequence space. In addition, it provides more motivation of the relationships between topological and smooth dynamics. The properties of symbolic dynamical systems give a rich source of examples and counterexamples for topological dynamics and ergodic theory.
The set of all infinite sequences of 0s and 1s is called the sequence space of 0 and 1 or the symbol space of 0 and 1 is denoted by Σ 2 . More precisely, Σ 2 = {(s 0 s 1 s 2 · · · )| s i = 0 or s i = 1 (∀i)}. We often refer to elements of Σ 2 as points in Σ 2 . Shift map σ : Σ 2 → Σ 2 is defined by σ(s 0 s 1 s 2 s 3 · · · ) = s 1 s 2 s 3 · · · In short, the shift map "deletets" is the first coordinate of the sequence, for example σ(01110101 · · · ) = 1110101 · · · (for more details, see [13]). Definition 5 ([13] Definition 11.2). Let s = s 0 s 1 s 2 s 3 · · · and t = t 0 t 1 t 2 t 3 · · · be points in Σ 2 . We denote the distance between s and t as d(s, t) and define it by Since |s i − t i | is either 0 or 1, we know that The shift map is continuous; it is clear that two points are close if and only if their initial coordinates are same. The more the coordinates are the same before they are different, the closer they are to each other. Then, we know that the set of periodic points of the shift map is dense in Σ 2 (the shift map has 2 n periodic points of period n). We put the set D = {s 0 s 1 s 2 · · · ∈ Σ 2 | ∃ N such that s i = 0 ∀ i ≥ N}, then D = Σ 2 where D is a dense set of D. In fact, we can check the above facts by the following example. Example 3. Let s, t ∈ Σ 2 and δ = 1. Then, Γ σ δ (s) = {y ∈ D ⊂ Σ : d(σ n (s), σ n (t)) ≤ δ, ∀n ∈ Z and D is dense in Σ} is countable.
For two cases, we consider the cardinality of j, where j is countably many. This means that Γ σ δ (s) is a countable set.
On the other hand, we need to check some properties of countably expansive homeomorphism, which are used to prove the lemmas and theorems below. Proof of (a). (⇒) For fixed k, since X is compact we can choose 0 < < δ such that if d(x, y) ≤ then is countable as well. Therefore, f k is countably expansive.
(⇐) Let D ⊂ X be dense in X and δ > 0 be the countably expansive constant for f k for some k ∈ Z \ {0}.
This means that f is countably expansive.
Proof of (b). Suppose that f is the identity map I d . Then, there exists x ∈ X such that Γ I d δ (x) = B[x, δ] for any δ > 0. As we know that the set is uncountable, f is not countably expansive.
Remark 3. In Lemma 2, (b) says that if the identity is countable expansive then the space is countable (there are countable compact metric spaces).
Lee, Morales, and Thach [6] characterized the countably expansive flows in measure-theoretical terms, which is extended the result of [3] in the discrete case, called weak expansive flows. They showed that a flow is countably expansive if and only if the flow is weak measure expansive. Definition 6 ([6] Definition 1.1). A flow φ on a compact metric space X is countably expansive if there is an expansive constant δ > 0 such that for any x ∈ X and c ∈ C there is an at most countable subset Here, C denotes the set of continuous maps c : φ Definition 7. We say that a flow φ of X is countably expansive if there exist an expansive constant δ > 0 and and H denotes the set of increasing continuous maps h : R → R with h(0) = 0. Now, let τ : Σ 2 → R be a continuous function and consider the space More precisely, for all x ∈ Σ 2 , σ 0 (x) = 0 and σ n+1 (x) = σ n (x) + σ(τ(x)) for all n ∈ Z. For all (x, s) ∈ Y τ, f and t ∈ R, there is a unique n ∈ Z such that σ n ( The Bowen-Walters distance (Definition 2 of [14]) makes Y τ, f a compact metric space where a neighborhood of a point (x, s) ∈ Y contains all the points of φ τ, f t (w, s) ∈ Y τ, f where |t| is small and w is close to x. With respect to the topology generated, φ τ, f t is a homeomorphism on Y τ, f for all t ∈ R. Carrasco-Olivera and Morales [15] extended the concept of expansive measure from homeomorphism [2] to flows. They (respectively [6]) showed that a homeomorphism of a compact metric space is measure expansive (respectively, countable expansive) if its suspension flow is. The following theorem says that the case of countably expansiveness, which is defined in this paper, is also satisfied.
Theorem 1. Let f : X → X be a homeomorphism. Then, f is countably expansive if and only if there is a continuous map τ : X → (0, ∞) such that the suspension flow φ τ, f t on Y τ, f over f with height function τ is countably expansive.
Proof. It is enough to show that "only if" part. Let τ : X → (0, ∞) be given by τ(x) = 1 for all x ∈ X. Then, the quotient space Y τ, f associated with X and τ, the suspension flow φ Now, we claim that φ τ, f t is countably expansive. It is sufficient to show that there are a constant δ > 0 and a dense subset D of Y τ, f such that is a countable set. Therefore, the suspension flow φ τ, f t on Y τ, f over f with height function τ is countably expansive.
By the following examples, it is easy to see that a suspension flow over an irrational rotation map on the unit circle S 1 is countably expansive by applying the Theorem 1.

Example 5.
Consider a flow φ on the unit circle S 1 given by φ(e is , t) = e (s+t)i f or e is ∈ S 1 , t ∈ R.
Then φ is countably expansive.
In addition, we can see that the following example satisfies Theorem 1. On the other hand, we can find a dense subset of Σ 2 as following remark.

Remark 4. As we know that
In fact there exists N > 0 such that d(σ n (x), σ n (x 0 )) ≤ 1 2 n for all n ≥ N then B (y) ∩ D ∅. This means that D is a dense subset of Σ 2 × [0, 1].
Moreover, we can show that Theorem 1 holds by using the above remark for the case of the suspension flow over a shift map as following example. Example 7. If σ : Σ 2 → Σ 2 is countably expansive if and only if there is a continuous map τ : Σ 2 → (0, ∞) such that the suspension flow φ τ,σ t on Y τ,σ over σ with height function τ is countably expansive.
Proof. Let τ : Σ 2 → (0, ∞) be given by τ(x) = 1 for all x ∈ Σ 2 . Then, the quotient space Y τ,σ corresponding to Σ and τ, the suspension flow φ 1,σ t on Y τ,σ given by Now, we claim that φ τ,σ t is countably expansive. It is enough to show that there are a constant δ > 0 and a dense subset D of Y τ,σ such that Thus Γ φ 1,σ

C 1 Stably Countably Expansive Vector Fields
Recall that M is a compact connected smooth manifold, d is the distance on M induced from a Riemannian metric · on the tangent bundle TM. Denote by X 1 (M) the set of all C 1 vector fields of M endowed with the C 1 topology. Then, every X ∈ X 1 (M) generates a C 1 flow X t : M × R → M satisfying X s • X t = X s+t for all s, t ∈ R, X 0 = 1 d and dX t (x)/dt| t=0 = X(x) for any x ∈ M. Here, X t is called the integrated flow of X. Throughout this paper, for X, Y, . . . ∈ X 1 (M), denote the integrated flows by X t , Y t , . . ., respectively.
Note: To study of dynamical systems, the properties of orbits (or points) are important: singular, periodic, non-wandering, etc. If a flow has a periodic orbit or singularity, then it causes a chaos phenomenon (for example, Geometric Lorenz attractor). This means that we cannot control the system. Especially, the countably expansive flow which we present in this paper does not have a singularity. Thus, we could investigate the stability of countably expansive flows.
Sing(X) denotes the set of singular points of X. It is said that a point p is periodic if X π(p) (p) = p for some π(p) > 0, but X t (p) p for all 0 < t < π(p), PO(X t ) denotes the set of periodic points of X. A point p is regular if x PO(X t ) and x Sing(X). The set of non-wandering points of X, denoted by Ω(X t ) then we can see that A flow X t of M is expansive if for given > 0 there is a expansive constant δ > 0 such that if x, y ∈ X satisfying d(X t (x), X h(t) (y)) ≤ δ for some h ∈ H and all t ∈ R then y ∈ X [− , ] (x), where H denotes the set of increasing continuous maps h : R → R fixing 0. Definition 8. We say that X ∈ X 1 (M) is countably expansive if there exists δ > 0 such that where Γ δ (x) = {y ∈ D ⊂ M : d(X h(t) (y), X t (x)) ≤ δ, f or all t ∈ R, some h ∈ H and D is dense in M}.
First, we can check some properties of countably expansive flows as following lemmas. Lemma 3. If X ∈ X 1 (M) is countably expansive, then Sing(X) is totally disconnected.
Proof. Assume that Sing(X) is not totally disconnected. Take x, y ∈ M. For any δ > 0, let I be a closed small arc with two end points x and y such that the length of I is less than δ. Let e = δ/2 be an expansive constant. We can take a local chart (U, φ) satisfying I ⊂ U(⊂ R n ). Then, I ∩ Q c = D. Thus, we consider the dense set D ⊂ I and we can easily see that D = I and D is uncountable. For any x ∈ I, This means that X is not countably expansive. This contradicts to complete the proof.
We can see that the singular points of countably expansive flows are isolated by the below lemma. Lemma 4. Let X ∈ X 1 (M). If the flow X t is countably expansive, then every singular points of X is isolated.
Proof. Suppose that there exist x y ∈ Sing(X) which are not isolated. Let I be a closed small arc with two endpoints x and y. By Lemma 3, this is a contradiction. Thus, every singular points is isolated.
A closed X t -invariant subset Λ is hyperbolic if there exist constants C > 0, λ > 0 and a splitting T x M = E s x ⊕ X(x) ⊕ E u x (x ∈ Λ) satisfying the tangent flow DX t : TM → TM has invariant continuous splitting and DX t | E s x ≤ Ce λt and DX −t | E u x ≤ Ce −λt for x ∈ Λ and t > 0. We say that X ∈ X 1 (M) is Anosov when M is hyperbolic for X t .
We say that a vector field X is Axiom A if PO(X t ) is dense in Ω(X t ) \ Sing(X) and Ω(X t ) is hyperbolic. For Axiom A vector field X, we know that Ω(X t ) is equal to the union of each basic set Λ i (1 ≤ i ≤ l) of X. Note that the basic set is closed, invariant, and transitive. A collection of basic sets Λ i 1 , · · · , Λ i k of X is called a cycle if, for each j = 1, 2, · · · , k, there exists a j ∈ Ω(X t ) such that α(a j ) ⊂ Λ i j and ω(a j ) ⊂ Λ i j+1 (k + 1 ≡ 1). We say that a vector field X has no cycle if there exist no cycles among the basic sets of X.
For any hyperbolic periodic point x of X, the sets are the stable manifold and unstable manifold of x, respectively. For Axiom A vector field X ∈ X 1 (M), we say that X has the quasi-transversality condition if T The exponential map defined by exp x : where N x (r) = N x ∩ T x M(r) for 0 < r ≤ 1.
Let N = x∈M X N x be the normal bundle on M X . Then, we present a linear Poincaré flow for X on N by where π N x : T x M → N x is the natural projection along the direction of X(x), and D x X t is the derivative map of X t . We say that Definition 9. We say that the integrated flow X t of X ∈ X 1 (M) is C 1 stably countably expansive if there is a C 1 neighborhood U(X) of X such that the integrated flow Y t of Y ∈ U(X) is countably expansive.
The main theorem of this paper stated as follows.
Theorem 2. If a vector field X is C 1 stably countably expansive, then it satisfies Axiom A without cycle condition.
Put I v = {ηv : 0 < η < 0 8 } and exp p (I v ) = I p . Then, I p is an invariant small arc such that and so Z T (I p ) = I p , where Z T is the time T-map of the flow Z t . Since Z T is the identity on I p , Z T is not countably expansive. Thus, this contradict to that X is C 1 stably countably expansive. Therefore, we completed the proof.
For given > 0, we denote by N (Π p,r ) the set of diffeomorphisms ξ : Π p,r → Π p,r satisfying supp(ξ) ⊂ Π p, r 2 and d C 1 (ξ, I d ) < . Here, d C 1 is the C 1 metric, I d : Π p,r → Π p,r is the identity map and supp(ξ) = Π p,r where it differs from I d .

Lemma 6.
Suppose that X ∈ X 1 (M) and Sing(X) = ∅. For the Poincaré map f : Π x,r 0 → Π x (x = X t 0 (x)) and X t (x) x (0 < t ≤ t 0 ), let U(X) ⊂ X 1 (M) be C 1 neighborhood of X and 0 < r ≤ r 0 . Then, there is > 0 with the property that for any ξ ∈ N (Π x,r ), there exists Y ∈ U(X) such that Proof. By Remark 2 of [18]. Theorem 3. If a vector field X is C 1 stably countably expansive, then X is quasi-Anosov.
Proof. It is enough to show that if the flow X t of X ∈ X 1 (M) is C 1 stably countably expansive then X satisfies the quasi-transversality condition by applying Theorem A of [7] and Theorem 2.
Assume that there exists X such that it does not satisfy the quasi-transversality condition. Then, there exists x ∈ M such that T x W s (x) ∩ T x W u (x) {0 x }, and thus we have x Ω(X t ). By Lemma 6 with a small C 1 perturbation of X at x, we can construct Y ∈ U(X) and an arc L x centered at x. There exists a local chart (U, Y t ) such that L x ⊂ U and L x is diffeomorphic to [0, 1]. Now, we consider the set Γ We can check that the set is uncountable, easily. Therefore, Y t is not countably expansive. The contradiction completes the proof.

Conclusions
The theory of dynamical systems is motivated by the search of knowledge about the orbits of a given dynamical systems. To describe the dynamics on the underlying space, it is usual to use the notion of expansiveness. In the various type of expansiveness for a homeomorphism of a compact metric space X, Artigue and Carrasco-Olivera proved that a homeomorphism f : X → X is countably expansive if and only if f is measure expansive (Theorem 2.1 [3]).
In this article, we extend the countably expansiveness to the continuous dynamical systems. However, there is a problem to define the countably expansiveness for flows caused by reparameterization for each point in Γ δ (x) of Definition 8. Therefore, we define a suitable concept of countably expansiveness for flows as an improvement of the problem. By using this concept, we apply the results for expansiveness and measure expansiveness to the countably expansive flows. More precisely, we prove that, if a vector field X is C 1 stably countably expansive, then it satisfies Axiom A without cycle condition. Furthermore, it is quasi-Anosov.