Some Chaos Notions on Dendrites

Abstract

Transitivity is a key element in a chaotic dynamical system. In this paper, we present some relations between transitivity, stronger and alternative notions of it on compact and dendrite spaces. The relation between Auslander and Yorke chaos and Devaney chaos on dendrites is also discussed. Moreover, we prove that Devaney chaos implies strong dense periodicity on dendrites while the converse is not true.

1. Introduction

It is worth mentioning some important notions for our work. By the pair $(X,f)$, we mean a dynamical system where X is a compact metric space and f is a continuous function (map) on X. The symbols $\mathbb{N}$ and $\mathbb{R}$ represent the set of natural and real numbers, respectively. The orbit of a point $x\in X$, denoted by $Orb\left(x\right)$, is the set $\{f^m\left(x\right):m\in \mathbb{N}\cup \left\{0\right\}\}$ and a point that has a dense orbit is called a transitive point. In addition, the boundary (resp. cardinality) of a set $A\subseteq X$ will be denoted by $\partial A$ (resp. $\left|A\right|$).

During the last few decades, chaos has become one of the most crucial topics in the dynamical system. And therefore, many concepts of chaos were presented. However, there is no global agreement on the most accurate chaos concept to describe chaotic behavior. It turns out that Devaney chaos [1] is the most frequently used definition of chaos. In this concept, the Devaney chaotic dynamical system $(X,f)$ poses three conditions:

• transitive (for any non-empty open sets U and V, $\exists m\in \mathbb{N}$ s.t $f^m\left(U\right)\cap V\ne \varnothing$),
• contains a dense set of periodic points,
• sensitive dependence on initial conditions ($SDIC$) ($\exists \alpha >0$, s.t $\forall x\in X$ and $\forall \beta >0$, $\exists y\in X$ and $\exists m\in \mathbb{N}$ s.t $d(x,y)<\beta$ but $d(f^m\left(x\right),f^m\left(y\right))\ge \alpha$).

It was proven that $SDIC$ is redundant on Devaney chaos whenever X is an infinite compact space [2]. Moreover, Vellekoop and Berglund [3] proved that Devaney chaos coincides to transitive on the interval. Another remarkable chaos notion is Auslander and Yorke chaos [4]. The dynamical system $(X,f)$ is called Auslander and Yorke chaos if it is transitive and $SDIC$.

Since transitivity is the main ingredient in a chaotic dynamical system, many stronger or alternative concepts to it were constructed. Some examples of definitions are stronger than transitivity: locally everywhere onto (for every non-empty open set $U\subseteq X$, $\exists m\in \mathbb{N}$ s.t $f^m\left(U\right)=X$), mixing (for any non-empty open sets U, $V\subseteq X$, $\exists M\in \mathbb{N}$ s.t $f^m\left(U\right)\cap V\ne \varnothing$, $\forall m\ge M$), weakly mixing ($f\times f$ is transitive) and totally transitive ($f^m$ is transitive $\forall m\in \mathbb{N}$). The following implication is obvious in any compact metric space:

$$\mathrm{Locally} \mathrm{everywhere} \mathrm{onto}\Rightarrow \mathrm{Mixing}\Rightarrow \mathrm{Weakly} \mathrm{mixing}\Rightarrow \mathrm{Totally} \mathrm{transitive}\Rightarrow \mathrm{Transitive}.$$

In [5], the definitions of strongly and weakly blending were defined as alternative concepts to transitivity, since they are more intuitive. We said that the dynamical system $(X,f)$ is weakly blending if, for any non-empty open sets U and V, $\exists m\in \mathbb{N}$ s.t $f^m\left(U\right)\cap f^m\left(V\right)\ne \varnothing$ and it is strongly blending when $f^m\left(U\right)\cap f^m\left(V\right)$ contains a non-empty open set. On the interval, neither strongly blending nor weakly blending implies transitivity and the converse is also not true [5,6].

A stronger notion of dense periodicity, strong dense periodicity, was introduced by Dzul-Kifli [7]. We say that the system $(X,f)$ has strong dense periodicity, if $\forall m\in \mathbb{N}$, the set

$$P_m\left(f\right)=\{x:x\mathrm{is} \mathrm{periodic} \mathrm{point} \mathrm{of} \mathrm{period} \mathrm{greater} \mathrm{than} \mathrm{or} \mathrm{equal} \mathrm{to}m\}$$

is dense. The works in [6,7,8,9,10,11] discussed the relation between strong dense periodicity and other notions of chaos on intervals, circles and shift of finite space.

Studying which concepts imply the others and finding the minimal sufficient conditions for the relations to be held is one of the most important ideas in dynamical systems. It was proven that a totally transitive map on a compact space that has a dense set of periodic points implies weakly mixing [12]. According to [5], a strongly blending map on a subset $A\subseteq {\mathbb{R}}^n$, whose set of periodic points is dense, implies transitivity. Moreover, on compact space, locally everywhere onto implies strongly blending [10], while mixing is sufficient to imply weakly blending [6]. On the other hand, Banks and Trotta [13] proved that weakly mixing implies strongly blending on the graph.

By a continuum, we mean a non-empty compact connected metric space. A metric space $(X,d)$ is said to be a Peano space if, for any point $x\in X$ and every neighborhood N of x, there exists an open connected set $U\subseteq N$ containing x. A Peano continuum space that contains no simple closed curve is called a dendrite (D). Refs. [14,15] are two important works talking about dendrites. Let $\alpha$ be a cardinal number and let $x\in D$. We said that the point x is of order $\alpha$, denoted by $Ord(x,D)=\alpha$, if, for any open set V containing x and any cardinal number $\beta <\alpha$, there is an open set U containing x contained in V such that $\beta <\left|\partial U\right|\le \alpha$. In dendrites, the order of x is equal to the number of components of $D\backslash \left\{x\right\}$ whenever one of them is finite. The point $x\in D$ whose $Ord(x,D)=1$ is called an endpoint where x is a cut point if $Ord(x,D)\ge 2$ and branch point if $Ord(x,D)\ge 3$.

The two most familiar examples of dendrites are the closed interval and tree (a dendrite with a finite set of endpoints) which are also special cases of graphs. By an arc, we mean any space homeomorphic to the closed interval $[0,1]$. We denote the arc that has two endpoints x and y as $xy$. Every dendrite D admits a taxicab metric, a metric where for every arc $xy$ in D and every point $z\in xy$, $d(x,y)=d(x,z)+d(z,y)$. A set E of topological space X is called a free interval if it is open in X and homeomorphic to an open interval in $\mathbb{R}$. A subset H of a connected space X is a disconnecting interval if it is a free interval and $\forall x\in H$, $X\backslash \left\{x\right\}$ has only two components [16]. A dendrite whose set of branch points is not dense (equivalently, the set of endpoints is not dense) is an example of a space containing a disconnecting interval.

In the study of a one-dimensional dynamical system, it is natural to ask whether we can extend any existing results on the interval to more general spaces. In literature, some results on trees, circles, graphs and dendrites have been discussed as an analogue to the results on intervals. The interest in the study of chaotic behaviour on dendrites has been increasing for a few years. For examples, researches focus on shadowing [17], distributional chaos [18], induced map [19], and relations between some chaotic notions [20,21,22,23]. It turns out that most of the results on the interval do not necessarily hold true on dendrites. However, this is not the case for dendrites with special properties (which relate to its endpoints). For example, on the interval mixing and weakly mixing are equivalent and transitivity implies dense periodic points. However, there is a counterexample on a dendrite, which proved that these results do not hold true on dendrites [22,23]. Surprisingly, these results are true on dendrites whose set of branch points is not dense [16,21]. For dendrites whose set of endpoints is countable, transitivity = Devaney chaos [20].

Let f be a map on the interval $[a,b]$. The endpoint a (resp. b) is said to be accessible if $\exists x\notin \{a,b\}$ and $m\in \mathbb{N}$ s. t $f^m\left(x\right)=a$ (resp. $f^m\left(x\right)=b)$. Blokh [24] constructed a relation between mixing and locally everywhere onto an interval map. He proved that a mixing map on $[a,b]$ is locally everywhere onto if and only if a and b are accessible. In [25], Ruette pointed out that this result can be extended to a graph.

Motivated by these studies, in this paper, we discuss the generalization of Blokh’s result on a dendrite map. We prove that locally everywhere onto implies accessibility of endpoints if the set of branch points of dendrites is not dense and provide a counterexample to show that it is not true in general. For the converse, we give a prove to show that, if f is a tree mixing map and the set of endpoints is accessible, then f is locally everywhere onto. As far as we are concerned, our proof is a new proof for this result on intervals. Furthermore, we generalize the previous result to any dendrite with a taxicab metric. Our main results are about some chaotic concepts on compact and dendrite spaces. On compact space, we prove that the existence of a transitive point, whose every open set containing it covers the space after some iterations, is sufficient for the space to be locally everywhere onto. We also found that transitivity and strongly blending are sufficient for a compact map to be mixing. We also show that weakly mixing implies weakly blending on any dendrite and weakly mixing implies strongly blending for dendrites that do not have a dense set of branch points. In addition, the relation between Devaney chaos and Auslander and Yorke chaos on dendrites is also discussed. It is well known that Devaney chaos implies Auslander and Yorke chaos for any compact space. We show that the converse is not true on dendrites or compact space. Finally, we prove that Devaney chaos implies strong dense periodicity on dendrites, but the converse is not true. These results are contained in the next section.

This paper is arranged as follows. Section 2 contains our results while the conclusion is presented in Section 3.

2. Results

Our contributions in this paper are some implication relations of chaos notions on dendrites. In some cases, the implications only hold true for special cases of dendrites: dendrites whose set of branch points is not dense, interval, and tree. Some examples are also provided to show untrue implications. However, we also prove some implications on more general space: compact space.

Relations we are going to discuss are between locally everywhere onto, mixing and accessibility of endpoints.

Definition 1.

Let $f:D\to D$ be a dendrite map and e be an endpoint of D. Then, e is said to be accessible if $\exists x\in D\backslash End\left(D\right)$ and $m\in \mathbb{N}$ such that $f^m\left(x\right)=e$.

Theorem 1.

Let $f:D\to D$ be a map on a dendrite whose set of branch points is not dense. Then, locally everywhere onto implies the accessibility of each endpoint of D.

Proof. 

Let D be a dendrite whose set of branch points is not dense. Then, the set of endpoints is also not dense. Thus, there exists a non-empty open set U in D such that U does not contain any endpoint of D. Since f is locally everywhere onto then $\forall x\in D$, $\exists a\in U$ and $m\in \mathbb{N}$ s.t $f^m\left(a\right)=x$. For each endpoint of D, such a is a cut point. Therefore, each endpoint is accessible. □

Now, we illustrate that the previous theorem is not valid in general.

Proposition 1.

Let $f:D\to D$ be a dendrite map. Then, locally everywhere onto does not imply that every endpoint of D is accessible.

Proof. 

In [23], the authors constructed a locally everywhere onto map on a dendrite whose set of transitive points (points with dense orbit) is a subset from the set of endpoints. We claim that there exist some endpoints in that example which are not accessible. Assume that every endpoint is accessible. Let e be a transitive endpoint, since e is accessible then $\exists a\in D\backslash End\left(D\right)$ and $m\in \mathbb{N}$ such that $f^m\left(a\right)=e$. Since e is a transitive point, so is a, which contradicts the fact that every transitive point is an endpoint. □

Ruette [25] pointed out that the mixing graph map whose every endpoint is accessible implies locally everywhere onto. In the following part, we will construct a proof for this theorem on tree map. Our proof can also be used on an interval map.

Theorem 2.

Let $f:T\to T$ be a mixing tree map. f is locally everywhere onto if and only if every endpoint of T is accessible.

Proof. 

First, suppose T contains n endpoints. Let

$$End\left(T\right)=\{e_i:i=1,2,\dots ,n\}$$

be the set of endpoints of T and

$$A=\{a_i:i=1,2,\dots ,n\}$$

be a set of cut points, where $\forall i=1,2,\dots ,n,\exists n_i\in \mathbb{N}$ s.t $n_i$ is the least natural number that satisfies $f^{n_i}\left(a_i\right)=e_i$. Since T is normal, for each $e_i:i=1,2,\dots ,n$, we can find an open set $U_i$ containing $e_i$ and disjoint with the set $A\bigcup End\left(T\right)\backslash \left\{e_i\right\}$. Now, choose W to be any non-empty open set, f is mixing so, for every open set $U_i,\exists m_i\in \mathbb{N}$ s.t

$$f^{M_i}\left(W\right)\cap U_i\ne \varnothing ,\forall M_i\ge m_i.$$

Next, let $k=max\{m_i:i=1,2,..,n\}$. Then, $\forall l\ge k$, $f^l\left(W\right)$ is a connected set containing the set A. Finally, if $t=max\{n_i:i=1,2,..,n\}$, then $f^{k+t}\left(W\right)=T$. Conversely, the same way as the proof in Theorem 1. □

Theorem 3

([22]). Let f be a map on a continuum space X. f is mixing if and only if $\forall ϵ>0$ and for all non-empty open set U, $\exists M\in \mathbb{N}$ such that

$$d_H(f^m\left(U\right),X)<ϵ,\forall m\ge M,$$

where $d_H(f^m\left(U\right),X)$ is the Hausdorff distance.

Theorem 4.

Let d be a taxicab metric on a dendrite D and f be a mixing map on D. If every endpoint of D is accessible, then f is locally everywhere onto.

Proof. 

Without loss of generality, let U be any non-empty open connected set in D with a taxicab metric, A be a set defined as

$$A=\{x\in D\backslash End\left(D\right):f^n\left(x\right)\in End\left(D\right)\mathrm{for} \mathrm{some}n\in \mathbb{N}\}$$

and $\delta =min\left\{d\right(e,A):e\in End(D\left)\right\}$.

Choose $ϵ=\delta /2$. Then, since f is mixing, $\exists M\in \mathbb{N}$ s.t

$$d_H(f^m\left(U\right),X)<ϵ,\forall m\ge M.$$

Claim $A\subseteq f^m\left(U\right)$, $\forall m\ge M$. Assuming not, $\exists a\in A$ and $a\notin f^m\left(U\right)$ for some $m\ge M$. Then, there exists an endpoint e such that $ea\cap f^m\left(U\right)=\varnothing$. $e\notin f^m\left(U\right)$, therefore $\exists y\in f^m\left(U\right)$ s.t $d(e,y)<ϵ$. Now, $e,a$ and y are in the same arc (otherwise, $ea\cup ay\cup ey$ is a closed curve in D). Since d is taxicab,

$$d(e,y)=d(e,a)+d(a,y).$$

We know that

$$d(e,y)<ϵ\mathrm{where}d(e,a)+d(a,y)>2ϵ+d(a,y).$$

This implies that

$$2ϵ<d(e,y)<ϵ,$$

which is a contradiction. Therefore,

$$A\subseteq f^m\left(U\right),\forall m\ge M.$$

Thus,

$$\exists n\in \mathbb{N}\mathrm{s}.\mathrm{t}{f}^n\left(U\right)=D.$$

 □

In the next part, we construct a theorem connecting transitivity and locally everywhere onto on a compact space.

Theorem 5.

Let $(X,f)$ be a transitive dynamical system on a compact space and $x\in X$ be a transitive point. If, for each open set V containing x, there exists $n\in \mathbb{N}$ such that $f^n\left(V\right)=X$, then f is locally everywhere onto.

Proof. 

Let U be any non-empty open set in D and x is a transitive point satisfying the condition in the theorem. Since the orbit of x is dense, there exist $n\in \mathbb{N}$ such that $f^n\left(x\right)\in U$. Thus, $V=f^{-n}\left(U\right)$ is an open set containing x. Therefore, $\exists m\in \mathbb{N}$ such that

$$X=f^m\left(V\right)=f^m\left(f^{-n}\left(U\right)\right)\subseteq f^{m-n}\left(U\right).$$

Thus, f is locally everywhere onto. □

The following theorem, which is related to weakly mixing, is due to Banks [26].

Theorem 6

([26]). Let f be a map on a space X. f is weakly mixing if and only if, for any non-empty open sets U and V, $\exists m\in \mathbb{N}$ s.t $f^m\left(V\right)\cap U\ne \varnothing$ and $f^m\left(V\right)\cap V\ne \varnothing .$

Next, there are relations among mixing, blending and transitivity.

Theorem 7.

Let f be a map on a compact metric space X. If f is transitive and strongly blending, then f is weakly mixing.

Proof. 

Let U and V be two non-empty open sets. f is strongly blending, so there exists $k\in \mathbb{N}$ such that $f^k\left(U\right)\cap f^k\left(V\right)\supseteq M$, where M is a non-empty open set. Now, f is transitive and M, V are two non-empty open sets; therefore, there exists $l\in \mathbb{N}$ such that $f^l\left(M\right)\cap V\ne \varnothing$. Since

$$M\subseteq f^k\left(U\right)\cap f^k\left(V\right),$$

we have

$$f^l\left(M\right)\subseteq f^l(f^k\left(U\right)\cap f^k\left(V\right))\subseteq f^{l+k}\left(U\right)\cap f^{l+k}\left(V\right).$$

Hence,

$$f^{l+k}\left(U\right)\cap f^{l+k}\left(V\right)\cap V\ne \varnothing .$$

It follows that

$$f^{l+k}\left(U\right)\cap V\ne \varnothing \mathrm{and}{f}^{l+k}\left(V\right)\cap V\ne \varnothing .$$

Thus, f is weakly mixing. □

Since weakly mixing and mixing are equivalent on dendrites whose branch points are not dense, we get the following theorem.

Theorem 8.

Let f be a transitive map on a dendrite whose set of branch points is not dense. Then, strongly blending implies mixing.

The following example will be important for our work.

Example 1.

Let $h:[0,1]\to [0,1]$ be defined as

$$h\left(x\right)=\left\{\begin{array}{cc}2x+2,\hfill & if-1\le x<\frac{-1}{2},\hfill \\ -2x,\hfill & if\frac{-1}{2}\le x<\frac{1}{2},\hfill \\ 2x-2,\hfill & if\frac{1}{2}\le x\le 1.\hfill \end{array}\right.$$

Remark 1.

Strongly blending is essential in Theorem 7 and can not be replaced by weakly blending. To illustrate this, let $h\left(x\right)$ be the map defined on Example 1. Crannell [5] investigated that h is transitive weakly blending but not a strongly blending map. It follows that, since h does not have a periodic point of odd period greater than 1, h is not weakly mixing. Therefore, transitive weakly blending compact map is not weakly mixing.

Now, two crucial definitions for our following work will be presented.

Definition 2.

Let A and B be two non-empty connected disjoint sets in a dendrite. An arc C is called a connected arc of A and B if $A\cup B\cup C$ is a connected set.

Definition 3.

Let A and B be two non-empty connected disjoint sets in a dendrite. An arc H is called the minimal connected arc of A and B if H is a connected arc of A and B and, for any connected arc C of A and B, $H\subseteq C$.

We will now show that the minimal connected arc defined in Definition 3 is unique.

Lemma 1.

Let A, B be two non-empty connected disjoint sets in a dendrite D and for any $x\in D$, $A\cup B\cup \left\{x\right\}$ is a disconnected set. Then, A and B has a minimal connected arc and it is unique.

Proof. 

Let A and B be two non-empty connected disjoint sets in a dendrite D. Define the set

$$H=\{\cap J_{\alpha }:\alpha \in \Delta ,J_{\alpha }\mathrm{is} \mathrm{a}\mathrm{connected} \mathrm{arc} \mathrm{of}A\mathrm{and}B\}.$$

Claim, if $H\ne \left\{x\right\}$, where $x\in D$, then it is the minimal connected arc of A and B.

Notation: Sometimes, we will write the connected arc $J_{\alpha }$ of A and B as $xy$, where $x,y\in D$.

First, we will show that $H\ne \varnothing$. To do this, we need to prove that every two connected arcs of A and B are not disjoint. Now, let $xy$ and $x_1{y}_1$ be two disjoint connecting arcs of A and B. Then,

$$[A\cup B\cup xy]\cup [A\cup B\cup x_1{y}_1]$$

is a connected set. Thus, there exists two arcs $x{x}_1$ and $y{y}_1$ in it. Now,

$$xy\cup x{x}_1\cup x_1{y}_1\cup y{y}_1$$

is a closed curve, which contradicts the definition of dendrites.

Now, to prove that $H\ne \varnothing$. Assume the opposite i.e., $H=\varnothing$. Then, $\exists x\in ab$, where $ab$ is a connected arc of A and B, $a\in A$, $b\in B$ and $x\notin A\cup B$. We can find another connected arc of A and B say $a_1{b}_1$, where $a_1\in A$, $b_1\in B$ and $x\notin a_1{b}_1$. Since any two arcs are not mutually disjoint, $\exists y\in a_1{b}_1\cap ab$. Three cases for the position of y can be found.

Case 1: $y\in A$, in this case, we get the closed curve $yb\cup b{b}_1\cup y{b}_1$ in $A\cup B\cup ab\cup a_1{b}_1$, which is a contradiction.

Case 2: $y\in B$, in this case, we get the closed curve $ya\cup a{a}_1\cup y{a}_1$ in $A\cup B\cup ab\cup a_1{b}_1$, which is a contradiction.

Finally: if $y\notin A\cup B$, then either we have $yb\cup b{b}_1\cup y{b}_1$ or $ya\cup a{a}_1\cup y{a}_1$ as a closed curve in $A\cup B\cup ab\cup a_1{b}_1$, which is also a contradiction. Therefore, $H\ne \varnothing$.

Next, to prove that H is connected, suppose that H is a disconnected set. Then, $H=U\cup V$, where $U\cap V=\varnothing$. Let $u\in U$ and $v\in V$. Since u and $v\in H$, then u, $v\in J_{\alpha }$, $\forall \alpha \in \Delta$, which is a connected set so there exists an arc $uv\subseteq J_{\alpha }$, $\forall \alpha \in \Delta$. It follows, since the arc $uv$ is unique in D, that $uv\subseteq H=U\cup V$, which contradicts the fact that U and V are disjoint and their union is disconnected. Hence, H is connected. Clearly, H is a closed set.

We proved that H is a continuum set in D so it is a subdendrite since every subcontinuum of dendrite is a dendrite. Now, we need to show that C is an arc. By the fact, if Y is a subdendrite of D, then $\left|End\left(Y\right)\right|\le \left|End\left(D\right)\right|$; we can say that, for all $\alpha$, $\left|End\left(H\right)\right|\le \left|End\left(J_{\alpha }\right)\right|$. Therefore, $\left|End\left(H\right)\right|\le 2$, which implies that H is an arc.

To prove that H is connected arc of A and B, we need to show that $L=A\cup B\cup H$ is a connected set:

$$L=A\cup B\cup H=A\cup B\cup {\bigcap }_{\alpha \in \Delta }{J}_{\alpha }={\bigcap }_{\alpha \in \Delta }(A\cup B\cup J_{\alpha })={\bigcap }_{\alpha \in \Delta }{L}_{\alpha }.$$

For each $\alpha \in \Delta$, $L_{\alpha }$ is a connected set and any two sets are not disjoint. Thus, by the same strategy which was used to prove that H is connected, we can prove that L is also connected.

Finally, we will show the uniqueness of H. Suppose that H and I are two minimal connected arcs of A and B. H is minimal; then, $H\subseteq I$ and also I is minimal, so $H\subseteq I$. Thus, $H=I$. □

The next theorem that relates to weakly mixing is due to Furstenberg [27].

Theorem 9

([27]). Let f be a weakly mixing map on a space X; then,

$$\forall m\in \mathbb{N},\left(\underset{m}{\underbrace{X\times X\times \dots \times X}},\underset{m}{\underbrace{f\times f\times \dots \times f}}\right)$$

is transitive.

Next, we prove that weakly mixing implies weakly blending on dendrites.

Theorem 10.

On dendrites, weakly mixing implies weakly blending.

Proof. 

Let U and V be two non-empty open sets and, without loss of generality, assume they are disjoint connected sets (If $U\cap V\ne \varnothing$, then $f^n\left(U\right)\cap f^n\left(V\right)\ne \varnothing$, $\forall n\in \mathbb{N}$). f is weakly mixing, so there exists $k\in \mathbb{N}$ such that

$${(f\times f\times f\times f)}^k(U\times U\times V\times V)\cap U\times V\times U\times V\ne \varnothing .$$

We obtain that

$$f^k\left(U\right)\cap U\ne \varnothing \mathrm{and}{f}^k\left(U\right)\cap V\ne \varnothing ,$$

$$f^k\left(V\right)\cap U\ne \varnothing \mathrm{and}{f}^k\left(V\right)\cap V\ne \varnothing .$$

Therefore, $f^k\left(U\right)$ is a connected set that intersects the two connected sets U and V. Thus, it contains the point $x\in D$ which satisfies that $U\cup V\cup \left\{x\right\}$ is a connected set or the minimal connected arc of U and V. It is the same situation for $f^k\left(V\right)$. We thus have $f^k\left(U\right)\cap f^k\left(V\right)\ne \varnothing$. Hence, f is weakly blending. □

Remark 2.

On dendrites, weakly mixing does not imply strongly blending. To illustrate this, we use (Example 17) in [22], which is a weakly mixing but not mixing dendrite map. Without loss of generality, let U and V be two open, connected and disjoint sets. According to the definition of the map, $\forall m\in \mathbb{N},f^m\left(U\right)\cap f^m\left(V\right)=\varnothing$ or $\left\{o\right\}$, where o is the only periodic point of the map. Therefore, the map is not strongly blending.

Now, we show that weakly mixing does not only imply weakly blending but also strongly blending whenever D is a dendrite whose branch points are not dense.

Theorem 11.

On dendrites whose sets of branch points is not dense, weakly mixing implies strongly blending.

Proof. 

Without loss of generality, assume that U and V are two non-empty connected open sets in D whose branch points are not dense. Let E be a disconnecting interval in D and $E_1$, $E_2$ and $E_3$ are three disjoint open sets in E, where $E_2$ lies between $E_1$ and $E_3$. Since f is weakly mixing, there exists $m\in \mathbb{N}$ such that

$${(f\times f\times f\times f)}^m(U\times U\times V\times V)\cap E_1\times E_3\times E_1\times E_3\ne \varnothing .$$

This implies that

$$f^m\left(U\right)\cap E_i\ne \varnothing \mathrm{and}{f}^m\left(V\right)\cap E_i\ne \varnothing \mathrm{for}i=1,3.$$

Now, $f^m\left(U\right)$ is a connected set that intersects the two connected sets $E_1$ and $E_3$ so it contains $E_2$. It is the same case for $f^m\left(V\right)$. Therefore, $f^m\left(U\right)\cap f^m\left(V\right)\supseteq E_2$, which is an open set. Thus, f is strongly blending. □

Theorem 12.

Let f be an interval map. Then, f is weakly mixing if and only if f is strongly blending and transitive.

Proof. 

From Theorems 7 and 11. □

Finally, some results relate to Devaney chaos.

Theorem 13

([28]). Let $(X,f)$ be a non-trivial dynamical system. Then, weakly mixing implies $SDIC$.

Proposition 2.

On dendrites, Auslander and Yorke chaos does not imply Devaney chaos.

Proof. 

In [22], Hohen and Mouron constructed a weakly mixing dendrite map that contains only one periodic point [23]. This map is chaotic in the sense of Auslander and Yorke, since it is transitive and has $SDIC$ by Theorem 13. Therefore, Auslander Yorke chaos does not imply Devaney chaos. □

Theorem 14

([8]). Let f be a map on a compact metric space with no isolated points. Then, Devaney chaos implies strong dense periodicity.

Theorem 15.

On dendrites, Devaney chaos implies strong dense periodicity.

Proof. 

Since D is infinite, compact and f is transitive, the space D has no isolated points. By Theorem 14, f has a strong dense periodicity. □

Proposition 3.

On dendrites, strong dense periodicity does not imply Devaney chaos.

Proof. 

Let $f\left(x\right)=-h\left(x\right)$, which was represented in Example 1. ${f|}_{[0,1]}$ and ${f|}_{[-1,0]}$ are Devaney chaotic, so $P_m\left(f{|}_{[0,1]}\right)$ and $P_m\left(f{|}_{[-1,0]}\right)$ are dense $\forall m\in \mathbb{N}$ on $[0,1]$ and $[-1,0]$, respectively. Hence,

$$P_m\left(f\right)=P_m\left(f{|}_{[0,1]}\right)\bigcup P_m\left(f{|}_{[-1,0]}\right)$$

is dense $\forall m\in \mathbb{N}$ on $[-1,1]$. It was proven that f is not transitive, since $f\left(\right[0,1\left]\right)=[0,1])$, which means that $[0,1]$ is invariant under f [7]. Therefore, f is not Devaney chaotic. □

3. Conclusions

We know that, on interval maps, mixing coincides with locally everywhere onto if and only if the endpoints of the interval are accessible. In our paper, we discussed this relation on dendrites. We proved that locally everywhere onto implies mixing and accessibility of endpoints for dendrites that do not have a dense set of branch points. A counterexample was given to show that this result does not hold for every dendrite. The converse was proven on trees, intervals and also on dendrites with a taxicab metric.

For compact space, we proved that any map has a transitive point whose every open set containing it covers all the space after some iteration is locally everywhere onto. Moreover, we showed that a strongly blending transitive compact map implies weakly mixing.

On dendrites, we investigated that weakly mixing implies weakly blending and strongly blending on dendrites whose branch points are not dense. In addition, we concluded that Devaney chaos implies strong dense periodicity while the converse is not true, which is the same as intervals. However, unlike intervals, Auslander and Yorke chaos does not imply Devaney chaos on dendrites.