The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

A triangular map with homoclinic orbits and no infinite ω-limit set containing periodic points

Recently, Forti, Paganoni and Smítal constructed an example of a triangular map of the unite square, F(x,y)=(f(x),g(x,y)), possessing periodic orbits of all periods and such that no infinite ω-limit set of F contains a periodic point. In this note we show that the above quoted map F has a homoclinic orbit. As a consequence, we answer in the negative the problem presented by A.N. Sharkovsky in the eighties whether, for a triangular map of the square, existence of a homoclinic orbit implies the existence of an infinite ω-limit set containing a periodic point. It is well known that, for a continuous map of the interval, the answer is positive.     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

Minimal sets in compact connected subspaces

Let X be a topological space, f:X→X be a continuous map, and Y be a compact, connected and closed subset of X. In this paper we show that, if the boundary X_∂Y contains exactly one point v and f(v)∈Y, then Y contains a minimal set of f.     

Implications of pseudo-orbit tracing property for continuous maps on compacta

We look at the dynamics of continuous self-maps of compact metric spaces possessing the pseudo-orbit tracing property (i.e., the shadowing property). Among other things we prove the following: (i) the set of minimal points is dense in the non-wandering set Ω(f), (ii) if f has either a non-minimal recurrent point or a sensitive minimal subsystem, then f has positive topological entropy, (iii) if X is infinite and f is transitive, then f is either an odometer or a syndetically sensitive non-minimal map with positive topological entropy, (iv) if f has zero topological entropy, then Ω(f) is totally disconnected and f restricted to Ω(f) is an equicontinuous homeomorphism.     

Sharkovsky’s program for the classification of triangular maps is almost completed

For a continuous map of the interval, there are more than 50 conditions characterizing zero topological entropy. Some are applicable to the class of triangular maps (x,y)?(f(x),g_x(y)) of the square, but only a few of them are equivalent in this more general setting. In 1989, A.N. Sharkovsky posed the problem of proving or disproving all possible implications between them. During last 20 years, 32 conditions were considered, and most of the work was done. Only 45 relations out of 992 remained not clear. In this paper we give a survey of known results, provide two new examples disproving another 26 possible implications, and spell out the remaining 19 open problems; all but one concern distributional chaos.     

Topological entropy of maps on regular curves

In [G.T. Seidler, The topological entropy of homeomorphisms on one-dimensional continua, Proc. Amer. Math. Soc. 108 (1990) 1025-1030], G.T. Seidler proved that the topological entropy of every homeomorphism on a regular curve is zero. Also, in [H. Kato, Topological entropy of monotone maps and confluent maps on regular curves, Topology Proc. 28 (2) (2004) 587-593] the topological entropy of confluent maps on regular curves was investigated. In particular, it was proved that the topological entropy of every monotone map on any regular curve is zero. In this paper, furthermore we investigate the topological entropy of more general maps on regular curves. We evaluate the topological entropy of maps f on regular curves X in terms of the growth of the number of components of f−n(y) (y∈X).     

On open problems concerning distributional chaos for triangular maps

We show that in the class T of the triangular maps (x,y)?(f(x),g_x(y)) of the square there is a map of type 2^∞ with non-minimal recurrent points which is not DC3. We also show that every DC1 continuous map of a compact metric space has a trajectory which cannot be (weakly) approximated by trajectories of compact periodic sets. These two results make possible to answer some open questions concerning classification of maps in T with zero topological entropy, and contribute to an old problem formulated by A.N. Sharkovsky.     

Adding machines, kneading maps, and endpoints

Given a unimodal map f, let I=[c₂,c₁] denote the core and set E={(x₀,x₁,…)∈(I,f)|xi∈ω(c,f) for all i∈N}. It is known that there exist strange adding machines embedded in symmetric tent maps f such that the collection of endpoints of (I,f) is a proper subset of E and such that limk→∞Q(k)≠∞, where Q(k) is the kneading map.We use the partition structure of an adding machine to provide a sufficient condition for x to be an endpoint of (I,f) in the case of an embedded adding machine. We then show there exist strange adding machines embedded in symmetric tent maps for which the collection of endpoints of (I,f) is precisely E. Examples of this behavior are provided where limk→∞Q(k) does and does not equal infinity, and in the case where limk→∞Q(k)=∞, the collection of endpoints of (I,f) is always E.     

Distributional chaos and irregular recurrence

For a continuous map φ:X→X of a compact metric space, we study relations between distributional chaos and the existence of a point which is quasi-weakly almost periodic, but not weakly almost periodic. We provide an example showing that the existence of such a point does not imply the strongest version of distributional chaos, DC1. Using this we prove that, even in the class of triangular maps of the square, there are no relations to DC1. This result, among others, contributes to the solution of a problem formulated by A.N. Sharkovsky in the eighties.     

Resolving Extensions of Finitely Presented Systems

In this paper we extend certain central results of zero dimensional systems to higher dimensions. The first main result shows that if (Y,f) is a finitely presented system, then there exists a Smale space (X,F) and a u-resolving factor map π ₊:X→Y. If the finitely presented system is transitive, then we show there is a canonical minimal u-resolving Smale space extension. Additionally, we show that any finite-to-one factor map between transitive finitely presented systems lifts through u-resolving maps to an s-resolving map.     

Ordinals and set-valued zero-selections for hyperspaces

A continuous zero-selection f for the Vietoris hyperspace F(X) of the nonempty closed subsets of a space X is a Vietoris continuous map f:F(X)→X which assigns to every nonempty closed subset an isolated point of it. It is well known that a compact space X has a continuous zero-selection if and only if it is an ordinal space, or, equivalently, if X can be mapped onto an ordinal space by a continuous one-to-one surjection. In this paper, we prove that a compact space X has an upper semi-continuous set-valued zero-selection for its Vietoris hyperspace F(X) if and only if X can be mapped onto an ordinal space by a continuous finite-to-one surjection.     

Nielsen periodic point theory for periodic maps on orientable surfaces

Let denote a periodic self map of minimal period m on the orientable surface of genus g with g>1. We study the calculation of the Nielsen periodic numbers NPn(f) and NΦn(f). Unlike the general situation of arbitrary maps on such surfaces, strong geometric results of Jiang and Guo allow for straightforward calculations when n≠m. However, determining NPm(f) involves some surprises. Because fm=idFg, fm has one Nielsen class Em. This class is essential because L(idFg)=χ(Fg)=2−2g≠0. If there exists k<m with L(fk)≠0 then Em reduces to the essential fixed points of fk. There are maps g (we call them minLef maps) for which L(gk)=0 for all k<m. We show that the period of any minLef map must always divide 2g−2. We prove that for such maps Em reduces algebraically iff it reduces geometrically. This result eliminates one of the most difficult problems in calculating the Nielsen periodic point numbers and gives a complete trichotomy (non-minLef, reducible minLef, and irreducible minLef) for periodic maps on Fg.We prove that reducible minLef maps must have even period. For each of the three types of periodic maps we exhibit an example f and calculate both NPn(f) and NΦn(f) for all n. The example of an irreducible minLef map is on F₄ and is of maximal period 6. The example of a non-minLef map is on F₂ and has maximal period 12 on F₂. It is defined geometrically by Wang, and we provide the induced homomorphism and analyze it. The example of an irreducible minLef map is a map of period 6 on F₄ defined by Yang. No algebraic analysis is necessary to prove that this last example is an irreducible minLef map. We explore the algebra involved because it is intriguing in its own right. The examples of reducible minLef maps are simple inversions, which can be applied to any Fg. Using these examples we disprove the conjecture from the conclusion of our previous paper.     

Realcompactness of hyperspaces and extensions of open-closed maps

In response to questions of Ginsburg [9, 10], we prove that if cf(c)>ω₁, then there exists an open-closed, continuous map f from a normal, realcompact space X onto a space Y which is not realcompact. By his result the hyperspace 2^x of closed subsets of X is then not realcompact, and the extension μf(vf) of f to the topological completion (the Hewitt realcompactification) of X is not onto. The latter fact solves problems raised by Morita [16] and by Isiwata [12] both negatively. We also consider the problem whether or not the hyperspace of a hereditarily Lindelöf space is hereditarily realcompact.     

P-chaos implies distributional chaos and chaos in the sense of Devaney with positive topological entropy

Let f be a continuous map from a compact metric space X to itself. The map f is called to be P-chaotic if it has the pseudo-orbit-tracing property and the closure of the set of all periodic points for f is equal to X. We show that every P-chaotic map from a continuum to itself is chaotic in the sense of Devaney and exhibits distributional chaos of type 1 with positive topological entropy.     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

Fixed points on model solvmanifold pairs

In this paper we define model solvmanifold pairs and their diagonal type selfmaps in the tradition of Heath and Keppelmann. We derive an explicit formula for computing the relative Nielsen number N(F;X,A) on these spaces and selfmaps F:(X,A)→(X,A). We find that model solvmanifold pairs often exhibit interesting Schirmer theory, meaning N(F;X,A)>max{N(F),N(F|_A)}.     

A note on chaos via Furstenberg family couple

The concepts of the first type of distributional chaos in the Tan-Xiong sense (Abbrev. DC1 in the Tan-Xiong sense), the second type of strong-distributional chaos (Abbrev. strong DC2) and the third type of strong-distributional chaos (Abbrev. strong DC3) were introduced by Tan et al. [F. Tan, J. Xiong. Chaos via Furstenberg family couple, Topology Appl. (2008), doi:10.1016/j.topol.2008.08.006] for continuous maps of a metric space. However, it turns out that, for continuous maps of a compact metric space, the three mutually nonequivalent versions of distributional chaos can be discussed. Let X be a compact metric space and f:X→X a continuous map. In this paper, we show that for any integer N>0, f is strong DC2 (resp. strong DC3) if and only if f^N is strong DC2 (resp. strong DC3). We also show that the above three versions of distributional chaos are topological conjugacy invariant. In addition, as an application, we present an example.     

Algorithms for finding connected separators between antipodal points

A set (or a collection of sets) contained in the Euclidean space Rm is symmetric if it is invariant under the antipodal map. Given a symmetric unicoherent polyhedron X (like an n-dimensional cube or a sphere) and an odd real function f defined on vertices of a certain symmetric triangulation of X, we algorithmically construct a connected symmetric separator of X by choosing a subcollection of the triangulation. Each element of the subcollection contains the vertices v and u such that f(v)f(u)?0.     

On chaotic extensions of dynamical systems

In this paper, inspired by some results in linear dynamics, we will show that every dynamical system (X,f), where f is a continuous self-map on a separable metric space X, can be extended to a chaotic (in the sense of Devaney) dynamical system in an isometric way.